29770 (sh) R 29769 27426 24421 34816 27426 4194304 435 0 0 0 0 0 0 0 25 0 1 0 10027393 3649536 324 4294967295 134512640 135191968 3219041760 3219040688 135100662 0 0 4100 65536 0 0 0 17 1 0 0 0
29770 (gecode-qwh) R 29769 27426 24421 34816 27426 4194304 737 0 0 0 0 0 0 0 25 0 1 0 10027393 6991872 273 4294967295 134512640 134538271 3216739264 3216737936 3086490051 0 0 4096 0 0 0 0 17 1 0 0 0
29770 (gecode-qwh) R 29769 27426 24421 34816 27426 4202496 945 0 0 0 1 0 0 0 25 0 1 0 10027393 7168000 462 4294967295 134512640 134538271 3216739264 3216737984 3082876248 0 0 4096 0 0 0 0 17 1 0 0 0
29770 (gecode-qwh) R 29769 27426 24421 34816 27426 4202496 945 0 0 0 1 0 0 0 25 0 1 0 10027393 7168000 462 4294967295 134512640 134538271 3216739264 3216737732 3082878567 0 0 4096 0 0 0 0 17 0 0 0 0
