29503 (gecode-qwh) R 29502 27426 24421 34816 27426 4194304 488 0 0 0 0 0 0 0 25 0 1 0 10026992 245760 26 4294967295 134512640 134538271 3216225088 3216222472 3086831748 0 0 4096 0 0 0 0 17 1 0 0 0
29503 (gecode-qwh) R 29502 27426 24421 34816 27426 4202496 938 0 0 0 0 0 0 0 25 0 1 0 10026992 7028736 453 4294967295 134512640 134538271 3216225088 3216223808 3083175256 0 0 4096 0 0 0 0 17 1 0 0 0
