30046 (gecode-qwh) R 30045 27426 24421 34816 27426 4194304 629 0 0 0 0 0 0 0 25 0 1 0 10027851 6991872 164 4294967295 134512640 134538271 3218230560 3218228996 3086640341 0 0 4096 0 0 0 0 17 1 0 0 0
30046 (gecode-qwh) R 30045 27426 24421 34816 27426 4202496 949 0 0 0 0 0 0 0 25 0 1 0 10027851 7180288 465 4294967295 134512640 134538271 3218230560 3218229200 3084740791 0 0 4096 0 0 0 0 17 1 0 0 0
30046 (gecode-qwh) R 30045 27426 24421 34816 27426 4202496 951 0 0 0 1 0 0 0 25 0 1 0 10027851 7180288 467 4294967295 134512640 134538271 3218230560 3218229280 3083031849 0 0 4096 0 0 0 0 17 1 0 0 0
30046 (gecode-qwh) R 30045 27426 24421 34816 27426 4202496 955 0 0 0 1 0 0 0 25 0 1 0 10027851 7180288 471 4294967295 134512640 134538271 3218230560 3218229328 3085785267 0 0 4096 0 0 0 0 17 1 0 0 0
30046 (gecode-qwh) R 30045 27426 24421 34816 27426 4202496 955 0 0 0 2 0 0 0 25 0 1 0 10027851 7180288 471 4294967295 134512640 134538271 3218230560 3218229328 3085785310 0 0 4096 0 0 0 0 17 1 0 0 0
30046 (gecode-qwh) R 30045 27426 24421 34816 27426 4202496 955 0 0 0 2 0 0 0 25 0 1 0 10027851 7180288 471 4294967295 134512640 134538271 3218230560 3218229280 3083032242 0 0 4096 0 0 0 0 17 1 0 0 0
30046 (gecode-qwh) R 30045 27426 24421 34816 27426 4202496 955 0 0 0 2 0 0 0 25 0 1 0 10027851 7180288 471 4294967295 134512640 134538271 3218230560 3218229200 3084740851 0 0 4096 0 0 0 0 17 1 0 0 0
30046 (gecode-qwh) R 30045 27426 24421 34816 27426 4202496 956 0 0 0 3 0 0 0 25 0 1 0 10027851 7180288 472 4294967295 134512640 134538271 3218230560 3218229200 3084744731 0 0 4096 0 0 0 0 17 1 0 0 0
30046 (gecode-qwh) R 30045 27426 24421 34816 27426 4202496 956 0 0 0 3 0 0 0 25 0 1 0 10027851 7180288 472 4294967295 134512640 134538271 3218230560 3218229536 3085301942 0 0 4096 0 0 0 0 17 1 0 0 0
30046 (gecode-qwh) R 30045 27426 24421 34816 27426 4202496 957 0 0 0 4 0 0 0 25 0 1 0 10027851 7180288 473 4294967295 134512640 134538271 3218230560 3218229328 3085785303 0 0 4096 0 0 0 0 17 1 0 0 0
