29947 (sh) R 29946 27426 24421 34816 27426 4194304 152 0 0 0 0 0 0 0 25 0 1 0 10027697 2678784 65 4294967295 134512640 135191968 3217777824 3217776712 3086911040 0 0 4096 0 0 0 0 17 1 0 0 0
29947 (gecode-qwh) R 29946 27426 24421 34816 27426 4194304 684 0 0 0 0 0 0 0 25 0 1 0 10027697 6991872 218 4294967295 134512640 134538271 3217777840 3217776512 3086892218 0 0 4096 0 0 0 0 17 1 0 0 0
29947 (gecode-qwh) R 29946 27426 24421 34816 27426 4202496 952 0 0 0 0 0 0 0 25 0 1 0 10027697 7172096 467 4294967295 134512640 134538271 3217777840 3217776752 134529143 0 0 4096 0 0 0 0 17 1 0 0 0
