29718 (sh) R 29717 27426 24421 34816 27426 4194304 135 0 0 0 0 0 0 0 25 0 1 0 10027297 1236992 49 4294967295 134512640 135191968 3218404672 3218402296 3086196868 0 0 4096 0 0 0 0 17 0 0 0 0
29718 (sh) R 29717 27426 24421 34816 27426 4194304 314 0 0 0 0 0 0 0 25 0 1 0 10027297 3088384 207 4294967295 134512640 135191968 3218404672 3218394572 3084685272 0 0 4096 0 0 0 0 17 0 0 0 0
29718 (gecode-qwh) R 29717 27426 24421 34816 27426 4194304 736 0 0 0 0 0 0 0 25 0 1 0 10027297 6987776 270 4294967295 134512640 134538271 3215555232 3215553668 3086513365 0 0 4096 0 0 0 0 17 0 0 0 0
29718 (gecode-qwh) R 29717 27426 24421 34816 27426 4202496 952 0 0 0 0 0 0 0 25 0 1 0 10027297 7168000 467 4294967295 134512640 134538271 3215555232 3215553952 3082904903 0 0 4096 0 0 0 0 17 0 0 0 0
29718 (gecode-qwh) R 29717 27426 24421 34816 27426 4202496 952 0 0 0 1 0 0 0 25 0 1 0 10027297 7168000 467 4294967295 134512640 134538271 3215555232 3215554304 3086367440 0 0 4096 0 0 0 0 17 0 0 0 0
