Constraint: AllDiff.
12-12
Perform Latin Hypercube sampling.
Number of solutions: 1000
Space size: 8916100448256
Percent solutions: 0.00539087
Percent explored space: 2.24313e-08
Elapsed time: 3992.71ms
