29935 (sh) R 29934 27426 24421 34816 27426 4194304 404 0 0 0 0 0 0 0 25 0 1 0 10027677 3637248 293 4294967295 134512640 135191968 3220635488 3220634040 3085080359 0 0 4100 0 0 0 0 17 1 0 0 0
29935 (gecode-qwh) R 29934 27426 24421 34816 27426 4194304 717 0 0 0 0 0 0 0 25 0 1 0 10027677 6987776 253 4294967295 134512640 134538271 3213279344 3213277780 3086701781 0 0 4096 0 0 0 0 17 1 0 0 0
29935 (gecode-qwh) R 29934 27426 24421 34816 27426 4202496 949 0 0 0 0 0 0 0 25 0 1 0 10027677 7168000 466 4294967295 134512640 134538271 3213279344 3213278064 3083093518 0 0 4096 0 0 0 0 17 1 0 0 0
