29787 (gecode-qwh) R 29786 27426 24421 34816 27426 4194304 594 0 0 0 0 0 0 0 25 0 1 0 10027424 6987776 130 4294967295 134512640 134538271 3219779232 3219777904 3086733163 0 0 4096 0 0 0 0 17 1 0 0 0
29787 (gecode-qwh) R 29786 27426 24421 34816 27426 4202496 935 0 0 0 0 0 0 0 25 0 1 0 10027424 7028736 452 4294967295 134512640 134538271 3219779232 3219778192 3086657126 0 0 4096 0 0 0 0 17 1 0 0 0
29787 (gecode-qwh) R 29786 27426 24421 34816 27426 4202496 945 0 0 0 0 0 0 0 25 0 1 0 10027424 7163904 462 4294967295 134512640 134538271 3219779232 3219778128 3083117055 0 0 4096 0 0 0 0 17 1 0 0 0
