31233 (gecode-qwh) R 31232 27426 24421 34816 27426 4194304 610 0 0 0 0 0 0 0 25 0 1 0 10039893 6991872 145 4294967295 134512640 134538271 3218517360 3218516032 3085991183 0 0 4096 0 0 0 0 17 1 0 0 0
31233 (gecode-qwh) R 31232 27426 24421 34816 27426 4202496 974 0 0 0 0 0 0 0 25 0 1 0 10039893 7331840 490 4294967295 134512640 134538271 3218517360 3218515824 3082377978 0 0 4096 0 0 0 0 17 1 0 0 0
31233 (gecode-qwh) R 31232 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10039893 7331840 496 4294967295 134512640 134538271 3218517360 3218516128 3084076875 0 0 4096 0 0 0 0 17 1 0 0 0
31233 (gecode-qwh) R 31232 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10039893 7331840 496 4294967295 134512640 134538271 3218517360 3218516080 3082376629 0 0 4096 0 0 0 0 17 0 0 0 0
31233 (gecode-qwh) R 31232 27426 24421 34816 27426 4202496 998 0 0 0 3 0 0 0 25 0 1 0 10039893 7495680 514 4294967295 134512640 134538271 3218517360 3218515824 3082377618 0 0 4096 0 0 0 0 17 0 0 0 0
31233 (gecode-qwh) R 31232 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 25 0 1 0 10039893 7495680 514 4294967295 134512640 134538271 3218517360 3218516000 3084087578 0 0 4096 0 0 0 0 17 0 0 0 0
31233 (gecode-qwh) R 31232 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 25 0 1 0 10039893 7495680 514 4294967295 134512640 134538271 3218517360 3218516248 3084048800 0 0 4096 0 0 0 0 17 0 0 0 0
