3663 (gecode-nqueens) R 3662 3650 3367 34816 3650 4194304 686 0 0 0 0 0 0 0 22 0 1 0 467118 6995968 222 4294967295 134512640 134541752 3216874528 3216873200 3086343354 0 0 4096 0 0 0 0 17 1 0 0 0
3663 (gecode-nqueens) R 3662 3650 3367 34816 3650 4202496 985 0 0 0 1 0 0 0 22 0 1 0 467118 7528448 502 4294967295 134512640 134541752 3216874528 3216873168 3084076618 0 0 4096 0 0 0 0 17 1 0 0 0
3663 (gecode-nqueens) R 3662 3650 3367 34816 3650 4202496 1415 0 0 0 2 0 0 0 22 0 1 0 467118 9318400 932 4294967295 134512640 134541752 3216874528 3216873616 3084090402 0 0 4096 0 0 0 0 17 1 0 0 0
