30206 (sh) R 30205 27426 24421 34816 27426 4194304 352 0 0 0 0 0 0 0 25 0 1 0 10028114 3112960 241 4294967295 134512640 135191968 3216642960 3216641816 3086488592 0 0 4100 0 0 0 0 17 1 0 0 0
30206 (gecode-qwh) R 30205 27426 24421 34816 27426 4194304 728 0 0 0 0 0 0 0 25 0 1 0 10028114 6987776 263 4294967295 134512640 134538271 3213310064 3213308500 3086603512 0 0 4096 0 0 0 0 17 1 0 0 0
30206 (gecode-qwh) R 30205 27426 24421 34816 27426 4202496 937 0 0 0 1 0 0 0 25 0 1 0 10028114 7028736 453 4294967295 134512640 134538271 3213310064 3213308832 3084695453 0 0 4096 0 0 0 0 17 1 0 0 0
