Constraint: AllDiff.
Perform Latin Hypercube sampling.
Number of solutions: 100000
Space size: 437893890380859392
Percent solutions: 2.28366e-11
Percent explored space: 4.56732e-11
Elapsed time: 7.80207e+06ms
