3715 (gecode-nqueens) R 3714 3650 3367 34816 3650 4202496 941 0 0 0 0 0 0 0 25 0 1 0 467238 7036928 456 4294967295 134512640 134541752 3219090992 3219090296 3085947920 0 0 4096 0 0 0 0 17 1 0 0 0
3715 (gecode-nqueens) R 3714 3650 3367 34816 3650 4202496 943 0 0 0 1 0 0 0 25 0 1 0 467238 7036928 458 4294967295 134512640 134541752 3219090992 3219090128 3085922787 0 0 4096 0 0 0 0 17 1 0 0 0
3715 (gecode-nqueens) R 3714 3650 3367 34816 3650 4202496 943 0 0 0 2 0 0 0 25 0 1 0 467238 7036928 458 4294967295 134512640 134541752 3219090992 3219090080 3083742289 0 0 4096 0 0 0 0 17 0 0 0 0
3715 (gecode-nqueens) R 3714 3650 3367 34816 3650 4202496 943 0 0 0 2 0 0 0 25 0 1 0 467238 7036928 458 4294967295 134512640 134541752 3219090992 3219090296 3085947920 0 0 4096 0 0 0 0 17 0 0 0 0
3715 (gecode-nqueens) R 3714 3650 3367 34816 3650 4202496 943 0 0 0 3 0 0 0 25 0 1 0 467238 7036928 458 4294967295 134512640 134541752 3219090992 3219090052 3079780967 0 0 4096 0 0 0 0 17 0 0 0 0
3715 (gecode-nqueens) R 3714 3650 3367 34816 3650 4202496 943 0 0 0 4 0 0 0 25 0 1 0 467238 7036928 458 4294967295 134512640 134541752 3219090992 3219090192 3082379853 0 0 4096 0 0 0 0 17 0 0 0 0
