29734 (sh) R 29733 27426 24421 34816 27426 4194304 351 0 0 0 0 0 0 0 25 0 1 0 10027327 3117056 240 4294967295 134512640 135191968 3219070432 3219069444 3086427152 0 0 4100 0 0 0 0 17 0 0 0 0
29734 (gecode-qwh) R 29733 27426 24421 34816 27426 4194304 680 0 0 0 0 0 0 0 25 0 1 0 10027327 6991872 216 4294967295 134512640 134538271 3219967696 3219966368 3085909263 0 0 4096 0 0 0 0 17 0 0 0 0
29734 (gecode-qwh) R 29733 27426 24421 34816 27426 4202496 946 0 0 0 0 0 0 0 25 0 1 0 10027327 7172096 463 4294967295 134512640 134538271 3219967696 3219966416 3082294654 0 0 4096 0 0 0 0 17 0 0 0 0
29734 (gecode-qwh) R 29733 27426 24421 34816 27426 4202496 950 0 0 0 0 0 0 0 25 0 1 0 10027327 7172096 467 4294967295 134512640 134538271 3219967696 3219966160 3082296835 0 0 4096 0 0 0 0 17 0 0 0 0
29734 (gecode-qwh) R 29733 27426 24421 34816 27426 4202496 950 0 0 0 1 0 0 0 25 0 1 0 10027327 7172096 467 4294967295 134512640 134538271 3219967696 3219966160 3082296859 0 0 4096 0 0 0 0 17 0 0 0 0
