3695 (gecode-nqueens) R 3694 3650 3367 34816 3650 4194304 542 0 0 0 0 0 0 0 25 0 1 0 467182 6885376 78 4294967295 134512640 134541752 3218959888 3218957288 3086356612 0 0 4096 0 0 0 0 17 0 0 0 0
3695 (gecode-nqueens) R 3694 3650 3367 34816 3650 4202496 942 0 0 0 1 0 0 0 25 0 1 0 467182 7036928 458 4294967295 134512640 134541752 3218959888 3218959080 3084032742 0 0 4096 0 0 0 0 17 0 0 0 0
3695 (gecode-nqueens) R 3694 3650 3367 34816 3650 4202496 942 0 0 0 2 0 0 0 25 0 1 0 467182 7036928 458 4294967295 134512640 134541752 3218959888 3218959120 3081693988 0 0 4096 0 0 0 0 17 0 0 0 0
3695 (gecode-nqueens) R 3694 3650 3367 34816 3650 4202496 942 0 0 0 2 0 0 0 25 0 1 0 467182 7036928 458 4294967295 134512640 134541752 3218959888 3218959192 3086267408 0 0 4096 0 0 0 0 17 0 0 0 0
3695 (gecode-nqueens) R 3694 3650 3367 34816 3650 4202496 942 0 0 0 3 0 0 0 25 0 1 0 467182 7036928 458 4294967295 134512640 134541752 3218959888 3218958960 3082701121 0 0 4096 0 0 0 0 17 1 0 0 0
3695 (gecode-nqueens) R 3694 3650 3367 34816 3650 4202496 942 0 0 0 4 0 0 0 25 0 1 0 467182 7036928 458 4294967295 134512640 134541752 3218959888 3218959192 3086267408 0 0 4096 0 0 0 0 17 1 0 0 0
3695 (gecode-nqueens) R 3694 3650 3367 34816 3650 4202496 942 0 0 0 5 0 0 0 25 0 1 0 467182 7036928 458 4294967295 134512640 134541752 3218959888 3218959152 3086239899 0 0 4096 0 0 0 0 17 1 0 0 0
