Constraint: AllDiff.
Perform Latin Hypercube sampling.
Number of solutions: 10000
Space size: 437893890380859392
Percent solutions: 2.28366e-12
Percent explored space: 4.56732e-12
Elapsed time: 770789ms
