28341 (sh) R 28340 27426 24421 34816 27426 4194304 304 0 0 0 0 0 0 0 25 0 1 0 10025418 3084288 196 4294967295 134512640 135191968 3215397472 3215388108 3086476304 0 0 4096 0 0 0 0 17 1 0 0 0
28341 (gecode-qwh) R 28340 27426 24421 34816 27426 4194304 720 0 0 0 0 0 0 0 25 0 1 0 10025418 6987776 255 4294967295 134512640 134538271 3218029808 3218028244 3085931768 0 0 4096 0 0 0 0 17 1 0 0 0
