3723 (sh) R 3722 3650 3367 34816 3650 4194304 395 0 0 0 0 0 0 0 25 0 1 0 467260 3637248 284 4294967295 134512640 135191968 3214791200 3214789752 3084916519 0 0 4100 0 0 0 0 17 1 0 0 0
3723 (gecode-nqueens) R 3722 3650 3367 34816 3650 4202496 939 0 0 0 0 0 0 0 25 0 1 0 467260 7036928 456 4294967295 134512640 134541752 3216612304 3216611608 3086357520 0 0 4096 0 0 0 0 17 1 0 0 0
3723 (gecode-nqueens) R 3722 3650 3367 34816 3650 4202496 941 0 0 0 1 0 0 0 25 0 1 0 467260 7036928 458 4294967295 134512640 134541752 3216612304 3216611548 3082779623 0 0 4096 0 0 0 0 17 1 0 0 0
3723 (gecode-nqueens) R 3722 3650 3367 34816 3650 4202496 941 0 0 0 1 0 0 0 25 0 1 0 467260 7036928 458 4294967295 134512640 134541752 3216612304 3216610464 3080183233 0 0 4096 0 0 0 0 17 0 0 0 0
3723 (gecode-nqueens) R 3722 3650 3367 34816 3650 4202496 941 0 0 0 2 0 0 0 25 0 1 0 467260 7036928 458 4294967295 134512640 134541752 3216612304 3216611548 3080197679 0 0 4096 0 0 0 0 17 0 0 0 0
3723 (gecode-nqueens) R 3722 3650 3367 34816 3650 4202496 941 0 0 0 3 0 0 0 25 0 1 0 467260 7036928 458 4294967295 134512640 134541752 3216612304 3216611552 3084124506 0 0 4096 0 0 0 0 17 0 0 0 0
3723 (gecode-nqueens) R 3722 3650 3367 34816 3650 4202496 941 0 0 0 4 0 0 0 25 0 1 0 467260 7036928 458 4294967295 134512640 134541752 3216612304 3216611568 3086329475 0 0 4096 0 0 0 0 17 0 0 0 0
