29479 (sh) R 29478 27426 24421 34816 27426 4194304 314 0 0 0 0 0 0 0 25 0 1 0 10026959 3088384 206 4294967295 134512640 135191968 3217314864 3217304764 3084491243 0 0 4096 0 0 0 0 17 1 0 0 0
29479 (gecode-qwh) R 29478 27426 24421 34816 27426 4194304 723 0 0 0 0 0 0 0 25 0 1 0 10026959 6987776 257 4294967295 134512640 134538271 3220772752 3220771188 3086423288 0 0 4096 0 0 0 0 17 1 0 0 0
