29959 (gecode-qwh) R 29958 27426 24421 34816 27426 4194304 609 0 0 0 0 0 0 0 25 0 1 0 10027717 6991872 145 4294967295 134512640 134538271 3215456896 3215455568 3086392591 0 0 4096 0 0 0 0 17 1 0 0 0
29959 (gecode-qwh) R 29958 27426 24421 34816 27426 4202496 904 0 0 0 0 0 0 0 25 0 1 0 10027717 7032832 421 4294967295 134512640 134538271 3215456896 3215455412 3080180974 0 0 4096 0 0 0 0 17 1 0 0 0
29959 (gecode-qwh) R 29958 27426 24421 34816 27426 4202496 964 0 0 0 0 0 0 0 25 0 1 0 10027717 7176192 481 4294967295 134512640 134538271 3215456896 3215455896 3086345232 0 0 4096 0 0 0 0 17 1 0 0 0
