3687 (sh) R 3686 3650 3367 34816 3650 4194304 436 0 0 0 0 0 0 0 25 0 1 0 467166 3649536 325 4294967295 134512640 135191968 3218015536 3218014880 134977721 0 0 4100 65536 0 0 0 17 0 0 0 0
3687 (gecode-nqueens) R 3686 3650 3367 34816 3650 4202496 947 0 0 0 0 0 0 0 25 0 1 0 467166 7327744 463 4294967295 134512640 134541752 3218015552 3218014096 3082819599 0 0 4096 0 0 0 0 17 0 0 0 0
3687 (gecode-nqueens) R 3686 3650 3367 34816 3650 4202496 1284 0 0 0 1 0 0 0 25 0 1 0 467166 8650752 800 4294967295 134512640 134541752 3218015552 3218014320 3082528518 0 0 4096 0 0 0 0 17 0 0 0 0
