3675 (gecode-nqueens) R 3674 3650 3367 34816 3650 4194304 530 0 0 0 0 0 0 0 25 0 1 0 467142 5451776 67 4294967295 134512640 134541752 3218591184 3218588596 3086082497 0 0 4096 0 0 0 0 17 0 0 0 0
3675 (gecode-nqueens) R 3674 3650 3367 34816 3650 4202496 978 0 0 0 1 0 0 0 25 0 1 0 467142 7331840 494 4294967295 134512640 134541752 3218591184 3218589824 3083773514 0 0 4096 0 0 0 0 17 0 0 0 0
3675 (gecode-nqueens) R 3674 3650 3367 34816 3650 4202496 1406 0 0 0 2 0 0 0 25 0 1 0 467142 9318400 922 4294967295 134512640 134541752 3218591184 3218590272 3083787298 0 0 4096 0 0 0 0 17 1 0 0 0
