30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4194304 617 0 0 0 0 0 0 0 25 0 1 0 10034426 6987776 151 4294967295 134512640 134538271 3220543312 3220541748 3086243029 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10034426 7327744 495 4294967295 134512640 134538271 3220543312 3220542080 3085387955 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10034426 7327744 495 4294967295 134512640 134538271 3220543312 3220541952 3084345603 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10034426 7327744 495 4294967295 134512640 134538271 3220543312 3220542080 3085387991 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 988 0 0 0 3 0 0 0 25 0 1 0 10034426 7327744 503 4294967295 134512640 134538271 3220543312 3220542272 3086173643 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 988 0 0 0 4 0 0 0 25 0 1 0 10034426 7327744 503 4294967295 134512640 134538271 3220543312 3220542080 3085387991 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 25 0 1 0 10034426 7327744 509 4294967295 134512640 134538271 3220543312 3220542080 3085387980 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 25 0 1 0 10034426 7327744 509 4294967295 134512640 134538271 3220543312 3220541952 3084347484 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 999 0 0 0 6 0 0 0 25 0 1 0 10034426 7491584 514 4294967295 134512640 134538271 3220543312 3220542272 3086173643 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10034426 7491584 515 4294967295 134512640 134538271 3220543312 3220542076 3082634827 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034426 7491584 515 4294967295 134512640 134538271 3220543312 3220542032 3082634682 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10034426 7491584 515 4294967295 134512640 134538271 3220543312 3220542080 3085387991 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10034426 7491584 515 4294967295 134512640 134538271 3220543312 3220542032 3082634639 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10034426 7491584 515 4294967295 134512640 134538271 3220543312 3220542032 3082634786 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10034426 7491584 515 4294967295 134512640 134538271 3220543312 3220542068 3082634850 0 0 4096 0 0 0 0 17 1 0 0 0
30982 (gecode-qwh) R 30981 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034426 7491584 515 4294967295 134512640 134538271 3220543312 3220542080 3085388020 0 0 4096 0 0 0 0 17 1 0 0 0
