0-9

[6,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 2 status stop: max solutions reached		[10,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 5 status DONE		[8,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 1 status DONE
[7,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 2 status DONE		[9,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 58 status DONE		[8,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 1 status DONE
[8,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 3 status DONE		[9,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 48 status DONE		[7,12,1] 00:00:00.1 first solution 00:00:00.1 uniq 28 status DONE
[8,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 3 status DONE