29750 (sh) R 29749 27426 24421 34816 27426 4194304 435 0 0 0 0 0 0 0 25 0 1 0 10027357 3649536 324 4294967295 134512640 135191968 3217476704 3217475632 135100662 0 0 4100 65536 0 0 0 17 1 0 0 0
29750 (gecode-qwh) R 29749 27426 24421 34816 27426 4194304 723 0 0 0 0 0 0 0 25 0 1 0 10027357 6991872 258 4294967295 134512640 134538271 3219578480 3219576916 3086730488 0 0 4096 0 0 0 0 17 1 0 0 0
29750 (gecode-qwh) R 29749 27426 24421 34816 27426 4202496 951 0 0 0 0 0 0 0 25 0 1 0 10027357 7172096 467 4294967295 134512640 134538271 3219578480 3219577200 3083121982 0 0 4096 0 0 0 0 17 1 0 0 0
29750 (gecode-qwh) R 29749 27426 24421 34816 27426 4202496 951 0 0 0 1 0 0 0 25 0 1 0 10027357 7172096 467 4294967295 134512640 134538271 3219578480 3219577116 3083111399 0 0 4096 0 0 0 0 17 0 0 0 0
