30898 (sh) R 30897 27426 24421 34816 27426 4194304 436 0 0 0 0 0 0 0 25 0 1 0 10034116 3653632 325 4294967295 134512640 135191968 3220623200 3220622128 135100662 0 0 4100 65536 0 0 0 17 1 0 0 0
30898 (gecode-qwh) R 30897 27426 24421 34816 27426 4202496 988 0 0 0 0 0 0 0 25 0 1 0 10034116 7299072 504 4294967295 134512640 134538271 3219812000 3219810720 3083089491 0 0 4096 0 0 0 0 17 1 0 0 0
30898 (gecode-qwh) R 30897 27426 24421 34816 27426 4202496 989 0 0 0 1 0 0 0 25 0 1 0 10034116 7299072 505 4294967295 134512640 134538271 3219812000 3219810464 3083091459 0 0 4096 0 0 0 0 17 1 0 0 0
30898 (gecode-qwh) R 30897 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 25 0 1 0 10034116 7462912 511 4294967295 134512640 134538271 3219812000 3219810764 3083089152 0 0 4096 0 0 0 0 17 1 0 0 0
