3683 (gecode-nqueens) R 3682 3650 3367 34816 3650 4194304 571 0 0 0 0 0 0 0 25 0 1 0 467158 6995968 105 4294967295 134512640 134541752 3216124784 3216123024 3086960480 0 0 4096 0 0 0 0 17 0 0 0 0
3683 (gecode-nqueens) R 3682 3650 3367 34816 3650 4202496 964 0 0 0 0 0 0 0 25 0 1 0 467158 7331840 479 4294967295 134512640 134541752 3216124784 3216123424 3084650058 0 0 4096 0 0 0 0 17 0 0 0 0
3683 (gecode-nqueens) R 3682 3650 3367 34816 3650 4202496 1366 0 0 0 0 1 0 0 25 0 1 0 467158 9121792 881 4294967295 134512640 134541752 3216124784 3216123872 3084663842 0 0 4096 0 0 0 0 17 0 0 0 0
