30894 (gecode-qwh) R 30893 27426 24421 34816 27426 4202496 915 0 0 0 0 0 0 0 25 0 1 0 10034107 7028736 430 4294967295 134512640 134538271 3216134944 3216133156 3080406254 0 0 4096 0 0 0 0 17 1 0 0 0
30894 (gecode-qwh) R 30893 27426 24421 34816 27426 4202496 989 0 0 0 0 0 0 0 25 0 1 0 10034107 7294976 504 4294967295 134512640 134538271 3216134944 3216133408 3083003988 0 0 4096 0 0 0 0 17 1 0 0 0
30894 (gecode-qwh) R 30893 27426 24421 34816 27426 4202496 989 0 0 0 1 0 0 0 25 0 1 0 10034107 7294976 504 4294967295 134512640 134538271 3216134944 3216133776 3086545228 0 0 4096 0 0 0 0 17 1 0 0 0
30894 (gecode-qwh) R 30893 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 25 0 1 0 10034107 7458816 510 4294967295 134512640 134538271 3216134944 3216133664 3083003232 0 0 4096 0 0 0 0 17 1 0 0 0
