[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 |
|