30074 (gecode-qwh) R 30073 27426 24421 34816 27426 4194304 613 0 0 0 0 0 0 0 25 0 1 0 10027915 6987776 148 4294967295 134512640 134538271 3220563808 3220562244 3086464213 0 0 4096 0 0 0 0 17 1 0 0 0
30074 (gecode-qwh) R 30073 27426 24421 34816 27426 4202496 948 0 0 0 0 0 0 0 25 0 1 0 10027915 7176192 464 4294967295 134512640 134538271 3220563808 3220562576 3084556189 0 0 4096 0 0 0 0 17 1 0 0 0
30074 (gecode-qwh) R 30073 27426 24421 34816 27426 4202496 950 0 0 0 1 0 0 0 25 0 1 0 10027915 7176192 466 4294967295 134512640 134538271 3220563808 3220562768 3086394982 0 0 4096 0 0 0 0 17 1 0 0 0
30074 (gecode-qwh) R 30073 27426 24421 34816 27426 4202496 954 0 0 0 1 0 0 0 25 0 1 0 10027915 7176192 470 4294967295 134512640 134538271 3220563808 3220562448 3084568603 0 0 4096 0 0 0 0 17 0 0 0 0
30074 (gecode-qwh) R 30073 27426 24421 34816 27426 4202496 954 0 0 0 2 0 0 0 25 0 1 0 10027915 7176192 470 4294967295 134512640 134538271 3220563808 3220562576 3085609185 0 0 4096 0 0 0 0 17 0 0 0 0
30074 (gecode-qwh) R 30073 27426 24421 34816 27426 4202496 954 0 0 0 2 0 0 0 25 0 1 0 10027915 7176192 470 4294967295 134512640 134538271 3220563808 3220562576 3085609173 0 0 4096 0 0 0 0 17 0 0 0 0
30074 (gecode-qwh) R 30073 27426 24421 34816 27426 4202496 954 0 0 0 2 0 0 0 25 0 1 0 10027915 7176192 470 4294967295 134512640 134538271 3220563808 3220562684 3080263215 0 0 4096 0 0 0 0 17 0 0 0 0
30074 (gecode-qwh) R 30073 27426 24421 34816 27426 4202496 955 0 0 0 3 0 0 0 25 0 1 0 10027915 7176192 471 4294967295 134512640 134538271 3220563808 3220562272 3082856782 0 0 4096 0 0 0 0 17 0 0 0 0
30074 (gecode-qwh) R 30073 27426 24421 34816 27426 4202496 955 0 0 0 3 0 0 0 25 0 1 0 10027915 7176192 471 4294967295 134512640 134538271 3220563808 3220562748 3080263212 0 0 4096 0 0 0 0 17 0 0 0 0
30074 (gecode-qwh) R 30073 27426 24421 34816 27426 4202496 956 0 0 0 4 0 0 0 25 0 1 0 10027915 7176192 472 4294967295 134512640 134538271 3220563808 3220562576 3084556012 0 0 4096 0 0 0 0 17 0 0 0 0
