30874 (gecode-qwh) R 30873 27426 24421 34816 27426 4194304 638 0 0 0 0 0 0 0 24 0 1 0 10034061 6991872 173 4294967295 134512640 134538271 3214787040 3214785476 3086927061 0 0 4096 0 0 0 0 17 1 0 0 0
30874 (gecode-qwh) R 30873 27426 24421 34816 27426 4202496 989 0 0 0 1 0 0 0 24 0 1 0 10034061 7299072 505 4294967295 134512640 134538271 3214787040 3214785808 3086072030 0 0 4096 0 0 0 0 17 1 0 0 0
30874 (gecode-qwh) R 30873 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 24 0 1 0 10034061 7299072 505 4294967295 134512640 134538271 3214787040 3214785680 3085027759 0 0 4096 0 0 0 0 17 1 0 0 0
30874 (gecode-qwh) R 30873 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 24 0 1 0 10034061 7462912 511 4294967295 134512640 134538271 3214787040 3214785808 3086072012 0 0 4096 0 0 0 0 17 1 0 0 0
