29915 (sh) R 29914 27426 24421 34816 27426 4194304 332 0 0 0 0 0 0 0 25 0 1 0 10027643 3084288 221 4294967295 134512640 135191968 3215936224 3215935596 134704336 0 0 4100 0 0 0 0 17 1 0 0 0

29915 (gecode-qwh) R 29914 27426 24421 34816 27426 4194304 690 0 0 0 0 0 0 0 25 0 1 0 10027643 6991872 224 4294967295 134512640 134538271 3217321040 3217319712 3086187706 0 0 4096 0 0 0 0 17 1 0 0 0
29915 (gecode-qwh) R 29914 27426 24421 34816 27426 4202496 952 0 0 0 0 0 0 0 25 0 1 0 10027643 7172096 467 4294967295 134512640 134538271 3217321040 3217320000 3086113167 0 0 4096 0 0 0 0 17 1 0 0 0
29915 (gecode-qwh) R 29914 27426 24421 34816 27426 4202496 956 0 0 0 0 0 0 0 25 0 1 0 10027643 7172096 471 4294967295 134512640 134538271 3217321040 3217319680 3084282011 0 0 4096 0 0 0 0 17 1 0 0 0
