29852 (gecode-qwh) R 29851 27426 24421 34816 27426 4194304 512 0 0 0 0 0 0 0 25 0 1 0 10027532 5238784 51 4294967295 134512640 134538271 3220137712 3220134816 3086863295 0 0 4096 0 0 0 0 17 1 0 0 0
29852 (gecode-qwh) R 29851 27426 24421 34816 27426 4202496 939 0 0 0 0 0 0 0 25 0 1 0 10027532 7032832 455 4294967295 134512640 134538271 3220137712 3220136464 3083204193 0 0 4096 0 0 0 0 17 1 0 0 0
