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