3711 (gecode-nqueens) R 3710 3650 3367 34816 3650 4202496 940 0 0 0 0 0 0 0 25 0 1 0 467227 7041024 456 4294967295 134512640 134541752 3213531360 3213530664 3086746640 0 0 4096 0 0 0 0 17 1 0 0 0
3711 (gecode-nqueens) R 3710 3650 3367 34816 3650 4202496 942 0 0 0 1 0 0 0 25 0 1 0 467227 7041024 458 4294967295 134512640 134541752 3213531360 3213530624 3086718431 0 0 4096 0 0 0 0 17 1 0 0 0
3711 (gecode-nqueens) R 3710 3650 3367 34816 3650 4202496 942 0 0 0 1 0 0 0 25 0 1 0 467227 7041024 458 4294967295 134512640 134541752 3213531360 3213530664 3086746640 0 0 4096 0 0 0 0 17 0 0 0 0
3711 (gecode-nqueens) R 3710 3650 3367 34816 3650 4202496 942 0 0 0 2 0 0 0 25 0 1 0 467227 7041024 458 4294967295 134512640 134541752 3213531360 3213530664 3086746640 0 0 4096 0 0 0 0 17 0 0 0 0
3711 (gecode-nqueens) R 3710 3650 3367 34816 3650 4202496 942 0 0 0 3 0 0 0 25 0 1 0 467227 7041024 458 4294967295 134512640 134541752 3213531360 3213530608 3084513551 0 0 4096 0 0 0 0 17 0 0 0 0
3711 (gecode-nqueens) R 3710 3650 3367 34816 3650 4202496 942 0 0 0 4 0 0 0 25 0 1 0 467227 7041024 458 4294967295 134512640 134541752 3213531360 3213530664 3086746640 0 0 4096 0 0 0 0 17 0 0 0 0
