28932 (sh) R 28931 27426 24421 34816 27426 4194304 134 0 0 0 0 0 0 0 25 0 1 0 10026212 1241088 48 4294967295 134512640 135191968 3216200480 3216197640 3086398227 0 0 4096 0 0 0 0 17 1 0 0 0
28932 (gecode-qwh) R 28931 27426 24421 34816 27426 4194304 685 0 0 0 0 0 0 0 25 0 1 0 10026212 6987776 220 4294967295 134512640 134538271 3216200496 3216198752 3086348081 0 0 4096 0 0 0 0 17 1 0 0 0
