Array Packing Challenge

You are given n arrays A₁..A_n of n_k elements each, of which each element in A_n is either 0 or n. Your goal is to find an arrangement of the arrays such that no two nonzero elements of the arrays may share the same position, and the total length of the arrangement is minimised. For example, given the input file containing the lines

1010101
20002
303

One possible optimal arrangement is

121012303

Your program must read an input file of the form specified above from standard input and print out the optimal arrangement to standard output.

You have until 2012-07-01 00:00:00 4chan time.

>>26
Branch-and-bound.

>>29
Reduction from 3SAT might be more direct, and here's a hint: the position of each array within the solution matrix represents the truth value of a variable in the 3SAT instance.