30391 (sh) R 30390 27426 24421 34816 27426 4194304 125 0 0 0 0 0 0 0 25 0 1 0 10028408 1232896 40 4294967295 134512640 135191968 3218302240 3218299528 3085966271 0 0 4096 0 0 0 0 17 1 0 0 0
30391 (gecode-qwh) R 30390 27426 24421 34816 27426 4202496 953 0 0 0 0 0 0 0 25 0 1 0 10028408 7032832 469 4294967295 134512640 134538271 3218302256 3218301256 3085874192 0 0 4096 0 0 0 0 17 1 0 0 0
