29758 (sh) R 29757 27426 24421 34816 27426 4194304 437 0 0 0 0 0 0 0 25 0 1 0 10027372 3649536 326 4294967295 134512640 135191968 3214342496 3214341524 3084620495 0 0 4100 65536 0 0 0 17 0 0 0 0
29758 (gecode-qwh) R 29757 27426 24421 34816 27426 4194304 721 0 0 0 0 0 0 0 25 0 1 0 10027372 6991872 255 4294967295 134512640 134538271 3218826688 3218825124 3086902520 0 0 4096 0 0 0 0 17 0 0 0 0
29758 (gecode-qwh) R 29757 27426 24421 34816 27426 4202496 947 0 0 0 0 0 0 0 25 0 1 0 10027372 7168000 462 4294967295 134512640 134538271 3218826688 3218825328 3085006892 0 0 4096 0 0 0 0 17 0 0 0 0
29758 (gecode-qwh) R 29757 27426 24421 34816 27426 4202496 947 0 0 0 1 0 0 0 25 0 1 0 10027372 7168000 462 4294967295 134512640 134538271 3218826688 3218825328 3085002995 0 0 4096 0 0 0 0 17 0 0 0 0
