29169 (sh) R 29168 27426 24421 34816 27426 4194304 131 0 0 0 0 0 0 0 25 0 1 0 10026534 1236992 45 4294967295 134512640 135191968 3219359280 3219356644 3086860420 0 0 4096 0 0 0 0 17 1 0 0 0
29169 (gecode-qwh) R 29168 27426 24421 34816 27426 4194304 684 0 0 0 0 0 0 0 25 0 1 0 10026534 6991872 218 4294967295 134512640 134538271 3219359296 3219357968 3086818490 0 0 4096 0 0 0 0 17 1 0 0 0
