29895 (sh) R 29894 27426 24421 34816 27426 4194304 426 0 0 0 0 0 0 0 25 0 1 0 10027601 3641344 316 4294967295 134512640 135191968 3215303248 3215300696 3084866672 0 0 4100 0 0 0 0 17 0 0 0 0
29895 (gecode-qwh) R 29894 27426 24421 34816 27426 4194304 712 0 0 0 0 0 0 0 25 0 1 0 10027601 6991872 247 4294967295 134512640 134538271 3213603008 3213601680 3086392509 0 0 4096 0 0 0 0 17 0 0 0 0
29895 (gecode-qwh) R 29894 27426 24421 34816 27426 4202496 951 0 0 0 0 0 0 0 25 0 1 0 10027601 7172096 467 4294967295 134512640 134538271 3213603008 3213601920 134529139 0 0 4096 0 0 0 0 17 0 0 0 0

29895 (gecode-qwh) R 29894 27426 24421 34816 27426 4202496 955 0 0 0 1 0 0 0 25 0 1 0 10027601 7172096 471 4294967295 134512640 134538271 3213603008 3213602048 3080177684 0 0 4096 0 0 0 0 17 0 0 0 0
29895 (gecode-qwh) R 29894 27426 24421 34816 27426 4202496 969 0 0 0 1 0 0 0 25 0 1 0 10027601 7176192 485 4294967295 134512640 134538271 3213603008 3213601856 3081700096 0 0 4096 0 0 0 0 17 0 0 0 0
