29939 (gecode-qwh) R 29938 27426 24421 34816 27426 4194304 690 0 0 0 0 0 0 0 25 0 1 0 10027684 6991872 224 4294967295 134512640 134538271 3217966304 3217964976 3085909178 0 0 4096 0 0 0 0 17 0 0 0 0
29939 (gecode-qwh) R 29938 27426 24421 34816 27426 4202496 944 0 0 0 0 0 0 0 25 0 1 0 10027684 7172096 459 4294967295 134512640 134538271 3217966304 3217965072 3085048023 0 0 4096 0 0 0 0 17 0 0 0 0
