29911 (sh) R 29910 27426 24421 34816 27426 4194304 437 0 0 0 0 0 0 0 25 0 1 0 10027636 3653632 326 4294967295 134512640 135191968 3215067664 3215066592 135100662 0 0 4100 65536 0 0 0 17 1 0 0 0
29911 (gecode-qwh) R 29910 27426 24421 34816 27426 4202496 818 0 0 0 0 0 0 0 25 0 1 0 10027636 6897664 333 4294967295 134512640 134538271 3220879280 3220879132 3086225424 0 0 4096 0 0 0 0 17 1 0 0 0
29911 (gecode-qwh) R 29910 27426 24421 34816 27426 4202496 952 0 0 0 0 0 0 0 25 0 1 0 10027636 7172096 467 4294967295 134512640 134538271 3220879280 3220877744 3083295139 0 0 4096 0 0 0 0 17 1 0 0 0
29911 (gecode-qwh) R 29910 27426 24421 34816 27426 4202496 956 0 0 0 1 0 0 0 25 0 1 0 10027636 7172096 471 4294967295 134512640 134538271 3220879280 3220878048 3086047447 0 0 4096 0 0 0 0 17 1 0 0 0
