30005 (sh) R 30004 27426 24421 34816 27426 4194304 435 0 0 0 0 0 0 0 25 0 1 0 10027791 3649536 324 4294967295 134512640 135191968 3217972432 3217971668 3084991160 0 0 4100 65536 0 0 0 17 1 0 0 0
30005 (gecode-qwh) R 30004 27426 24421 34816 27426 4202496 873 0 0 0 0 0 0 0 25 0 1 0 10027791 7032832 389 4294967295 134512640 134538271 3214995984 3214995040 3080227776 0 0 4096 0 0 0 0 17 1 0 0 0
30005 (gecode-qwh) R 30004 27426 24421 34816 27426 4202496 959 0 0 0 0 0 0 0 25 0 1 0 10027791 7172096 475 4294967295 134512640 134538271 3214995984 3214994944 3086390675 0 0 4096 0 0 0 0 17 1 0 0 0
