31153 (gecode-qwh) R 31152 27426 24421 34816 27426 4194304 615 0 0 0 0 0 0 0 23 0 1 0 10039655 6991872 149 4294967295 134512640 134538271 3214922240 3214920676 3086353621 0 0 4096 0 0 0 0 17 1 0 0 0
31153 (gecode-qwh) R 31152 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 23 0 1 0 10039655 7331840 495 4294967295 134512640 134538271 3214922240 3214921008 3085498509 0 0 4096 0 0 0 0 17 1 0 0 0
