28892 (sh) R 28891 27426 24421 34816 27426 4194304 143 0 0 0 0 0 0 0 25 0 1 0 10026158 1249280 55 4294967295 134512640 135191968 3220909984 3220907168 3086471955 0 0 4096 0 0 0 0 17 1 0 0 0
28892 (gecode-qwh) R 28891 27426 24421 34816 27426 4194304 691 0 0 0 0 0 0 0 25 0 1 0 10026158 6987776 226 4294967295 134512640 134538271 3220910000 3220908436 3086423288 0 0 4096 0 0 0 0 17 1 0 0 0
