30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4194304 625 0 0 0 0 0 0 0 24 0 1 0 10032637 6987776 159 4294967295 134512640 134538271 3216669600 3216668036 3086554325 0 0 4096 0 0 0 0 17 1 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 963 0 0 0 0 0 0 0 24 0 1 0 10032637 7163904 478 4294967295 134512640 134538271 3216669600 3216668320 3082945854 0 0 4096 0 0 0 0 17 1 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 24 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668592 3086483216 0 0 4096 0 0 0 0 17 1 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668240 3084654775 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668592 3086483331 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668368 3084646316 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668560 3086485088 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668560 3084659137 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668368 3084646193 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668368 3084646303 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668560 3086485096 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668064 3082947202 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668064 3082948592 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668560 3086485088 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668368 3085699287 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032637 7327744 502 4294967295 134512640 134538271 3216669600 3216668368 3085699287 0 0 4096 0 0 0 0 17 0 0 0 0
30749 (gecode-qwh) R 30748 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10032637 7331840 516 4294967295 134512640 134538271 3216669600 3216668600 3086513168 0 0 4096 0 0 0 0 17 0 0 0 0
