29539 (sh) R 29538 27426 24421 34816 27426 4194304 130 0 0 0 0 0 0 0 25 0 1 0 10027043 1232896 44 4294967295 134512640 135191968 3219615328 3219612692 3086692484 0 0 4096 0 0 0 0 17 0 0 0 0
29539 (gecode-qwh) R 29538 27426 24421 34816 27426 4194304 675 0 0 0 0 0 0 0 25 0 1 0 10027043 6987776 211 4294967295 134512640 134538271 3219615344 3219613780 3086644437 0 0 4096 0 0 0 0 17 0 0 0 0
29539 (gecode-qwh) R 29538 27426 24421 34816 27426 4202500 957 0 0 0 0 0 0 0 25 0 1 0 10027043 0 0 4294967295 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 0
