30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4194304 615 0 0 0 0 0 0 0 25 0 1 0 10032661 6987776 149 4294967295 134512640 134538271 3213527216 3213525652 3086005461 0 0 4096 0 0 0 0 17 1 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 957 0 0 0 0 0 0 0 25 0 1 0 10032661 7163904 472 4294967295 134512640 134538271 3213527216 3213525984 3085150425 0 0 4096 0 0 0 0 17 1 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213526048 3085939026 0 0 4096 0 0 0 0 17 1 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525972 3082396932 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525936 3082397027 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525936 3082397114 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525936 3082397056 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213526128 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525984 3084097439 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525936 3082397062 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213526176 3085936025 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213526288 3085859528 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525936 3082396981 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525936 3082396948 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525936 3082397107 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525856 3084106129 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032661 7327744 502 4294967295 134512640 134538271 3213527216 3213525936 3082397362 0 0 4096 0 0 0 0 17 0 0 0 0
30757 (gecode-qwh) R 30756 27426 24421 34816 27426 4202500 1002 0 0 0 6 0 0 0 25 0 1 0 10032661 0 0 4294967295 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 0
