31487 (gecode-qwh) R 31486 27426 24421 34816 27426 4194304 618 0 0 0 0 0 0 0 25 0 1 0 10043014 6991872 152 4294967295 134512640 134538271 3216329552 3216327988 3086025941 0 0 4096 0 0 0 0 17 1 0 0 0
31487 (gecode-qwh) R 31486 27426 24421 34816 27426 4202496 969 0 0 0 0 0 0 0 25 0 1 0 10043014 7331840 484 4294967295 134512640 134538271 3216329552 3216328320 3085170903 0 0 4096 0 0 0 0 17 1 0 0 0
