31249 (gecode-qwh) R 31248 27426 24421 34816 27426 4194304 617 0 0 0 0 0 0 0 25 0 1 0 10039938 6987776 152 4294967295 134512640 134538271 3215026704 3215025140 3086283989 0 0 4096 0 0 0 0 17 1 0 0 0
31249 (gecode-qwh) R 31248 27426 24421 34816 27426 4202496 974 0 0 0 1 0 0 0 25 0 1 0 10039938 7327744 490 4294967295 134512640 134538271 3215026704 3215025472 3084375965 0 0 4096 0 0 0 0 17 1 0 0 0
31249 (gecode-qwh) R 31248 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10039938 7327744 496 4294967295 134512640 134538271 3215026704 3215025472 3085428915 0 0 4096 0 0 0 0 17 0 0 0 0
31249 (gecode-qwh) R 31248 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10039938 7327744 496 4294967295 134512640 134538271 3215026704 3215025616 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31249 (gecode-qwh) R 31248 27426 24421 34816 27426 4202496 998 0 0 0 3 0 0 0 25 0 1 0 10039938 7491584 514 4294967295 134512640 134538271 3215026704 3215025424 3082675515 0 0 4096 0 0 0 0 17 0 0 0 0
31249 (gecode-qwh) R 31248 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 25 0 1 0 10039938 7491584 514 4294967295 134512640 134538271 3215026704 3215025472 3085428880 0 0 4096 0 0 0 0 17 0 0 0 0
31249 (gecode-qwh) R 31248 27426 24421 34816 27426 4202496 1012 0 0 0 5 0 0 0 25 0 1 0 10039938 7495680 528 4294967295 134512640 134538271 3215026704 3215025704 3086242832 0 0 4096 0 0 0 0 17 0 0 0 0
