30866 (gecode-qwh) R 30865 27426 24421 34816 27426 4202496 972 0 0 0 0 0 0 0 22 0 1 0 10034043 7299072 487 4294967295 134512640 134538271 3214010656 3214009120 3082656518 0 0 4096 0 0 0 0 17 1 0 0 0
30866 (gecode-qwh) R 30865 27426 24421 34816 27426 4202496 990 0 0 0 1 0 0 0 22 0 1 0 10034043 7299072 505 4294967295 134512640 134538271 3214010656 3214009424 3085408471 0 0 4096 0 0 0 0 17 1 0 0 0
30866 (gecode-qwh) R 30865 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 22 0 1 0 10034043 7462912 511 4294967295 134512640 134538271 3214010656 3214009424 3084355423 0 0 4096 0 0 0 0 17 1 0 0 0
30866 (gecode-qwh) R 30865 27426 24421 34816 27426 4202496 1009 0 0 0 3 0 0 0 22 0 1 0 10034043 7467008 524 4294967295 134512640 134538271 3214010656 3214009184 3081812424 0 0 4096 0 0 0 0 17 1 0 0 0
