73.17/73.96 c CPU-LOAD 67.84
73.17/73.96 c LOADED 4617 V (2 E), 4389 ExtensionConstraint2D, 890 PredicateConstraint, arity 23, 67.84 cpu
77.61/78.46 v 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
77.61/78.46 s SATISFIABLE
77.61/78.46 d NODES 4617
77.61/78.46 d CHECKS 93265
77.61/78.46 c gac3-effective-revisions: 3503
77.61/78.46 c gac3-useless-revisions: 188073
77.61/78.46 c heuristic-cpu: 0.00999999
77.61/78.46 c prepro-constraint-ccks: 52562
77.61/78.46 c prepro-constraint-presenceccks: 10617
77.61/78.46 c prepro-cpu: 0.87
77.61/78.46 c prepro-matrix2d-ccks: 17556
77.61/78.46 c prepro-matrix2d-presenceccks: 17556
77.61/78.46 c prepro-removed: 0
77.61/78.46 c search-cpu: 3.2600002
77.61/78.46 c total-assgn: 4617
77.61/78.46 c total-constraint-ccks: 72856
77.61/78.46 c total-constraint-presence-ccks: 237122
77.61/78.46 c total-cpu: 4.15
77.61/78.46 c total-matrix2d-ccks: 20409
77.61/78.46 c total-matrix2d-presence-ccks: 32977
77.61/78.46 c tuples: 0
77.61/78.46 c tuples-collisions: 0
77.61/78.46 c TOTAL-NODES 4617
77.61/78.46 c TOTAL-CPU 4.15
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1049072-1215044311/watcher-1049072-1215044311 -o /tmp/evaluation-result-1049072-1215044311/solver-1049072-1215044311 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1049072-1215044311.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.03 1.96 4/81 11168
/proc/meminfo: memFree=1564576/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5260 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) R 11166 11168 9807 0 -1 4194304 68 0 0 0 0 0 0 0 20 0 1 0 1983399965 5386240 51 996147200 4194304 4889804 548682068800 18446744073709551615 233399449737 0 0 4096 0 0 0 0 17 1 0 0
/proc/11168/statm: 1315 51 37 169 0 14 0
[startup+0.106295 s]
/proc/loadavg: 2.08 2.03 1.96 4/81 11168
/proc/meminfo: memFree=1564576/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201313 s]
/proc/loadavg: 2.08 2.03 1.96 4/81 11168
/proc/meminfo: memFree=1564576/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30133 s]
/proc/loadavg: 2.08 2.03 1.96 4/81 11168
/proc/meminfo: memFree=1564576/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701403 s]
/proc/loadavg: 2.08 2.03 1.96 4/81 11168
/proc/meminfo: memFree=1564576/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50255 s]
/proc/loadavg: 2.08 2.03 1.96 3/91 11179
/proc/meminfo: memFree=1551888/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=844876 CPUtime=1.47
/proc/11171/stat : 11171 (java) S 11168 11168 9807 0 -1 0 5841 0 1 0 142 5 0 0 18 0 9 0 1983399966 865153024 5140 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 211219 5140 1900 9 0 205780 0
[pid=11171/tid=11172] ppid=11168 vsize=844876 CPUtime=1.16
/proc/11171/task/11172/stat : 11172 (java) R 11168 11168 9807 0 -1 64 3427 0 1 0 114 2 0 0 25 0 9 0 1983399967 865153024 5140 996147200 134512640 134550740 4294956032 18446744073709551615 4125231180 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11173] ppid=11168 vsize=844876 CPUtime=0.08
/proc/11171/task/11173/stat : 11173 (java) S 11168 11168 9807 0 -1 64 978 0 0 0 8 0 0 0 16 0 9 0 1983399968 865153024 5140 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11168 vsize=844876 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983399968 865153024 5140 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=844876 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1983399969 865153024 5140 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=844876 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983399971 865153024 5140 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=844876 CPUtime=0.19
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 704 0 0 0 19 0 0 0 16 0 9 0 1983399971 865153024 5140 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=844876 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983399971 865153024 5140 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=844876 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1983399971 865153024 5140 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 850232
[startup+3.10184 s]
/proc/loadavg: 2.08 2.03 1.96 3/91 11179
/proc/meminfo: memFree=1549264/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=845008 CPUtime=3.05
/proc/11171/stat : 11171 (java) S 11168 11168 9807 0 -1 0 7480 0 1 0 298 7 0 0 18 0 9 0 1983399966 865288192 6461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 211252 6461 2574 9 0 205813 0
[pid=11171/tid=11172] ppid=11168 vsize=845008 CPUtime=2.59
/proc/11171/task/11172/stat : 11172 (java) R 11168 11168 9807 0 -1 64 3558 0 1 0 256 3 0 0 25 0 9 0 1983399967 865288192 6461 996147200 134512640 134550740 4294956032 18446744073709551615 4126033312 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11173] ppid=11168 vsize=845008 CPUtime=0.24
/proc/11171/task/11173/stat : 11173 (java) S 11168 11168 9807 0 -1 64 2486 0 0 0 22 2 0 0 16 0 9 0 1983399968 865288192 6461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11168 vsize=845008 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983399968 865288192 6461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=845008 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1983399969 865288192 6461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=845008 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983399971 865288192 6461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=845008 CPUtime=0.19
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 704 0 0 0 19 0 0 0 16 0 9 0 1983399971 865288192 6461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=845008 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983399971 865288192 6461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=845008 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1983399971 865288192 6461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 850364
[startup+6.30241 s]
/proc/loadavg: 2.07 2.03 1.96 3/92 11180
/proc/meminfo: memFree=1536968/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=851016 CPUtime=6.22
/proc/11171/stat : 11171 (java) S 11168 11168 9807 0 -1 0 11449 0 1 0 609 13 0 0 18 0 10 0 1983399966 871440384 9583 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 212754 9583 2576 9 0 207315 0
[pid=11171/tid=11172] ppid=11168 vsize=851016 CPUtime=5.02
/proc/11171/task/11172/stat : 11172 (java) R 11168 11168 9807 0 -1 64 3781 0 1 0 497 5 0 0 25 0 10 0 1983399967 871440384 9583 996147200 134512640 134550740 4294956032 18446744073709551615 4125231223 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11173] ppid=11168 vsize=851016 CPUtime=0.62
/proc/11171/task/11173/stat : 11173 (java) S 11168 11168 9807 0 -1 64 4671 0 0 0 58 4 0 0 16 0 10 0 1983399968 871440384 9583 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11168 vsize=851016 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1983399968 871440384 9583 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=851016 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1983399969 871440384 9583 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=851016 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983399971 871440384 9583 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=851016 CPUtime=0.55
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 2260 0 0 0 53 2 0 0 16 0 10 0 1983399971 871440384 9583 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=851016 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983399971 871440384 9583 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=851016 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1983399971 871440384 9583 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11180] ppid=11168 vsize=851016 CPUtime=0
/proc/11171/task/11180/stat : 11180 (java) S 11168 11168 9807 0 -1 64 5 0 0 0 0 0 0 0 24 0 10 0 1983400412 871440384 9583 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 856372
[startup+12.7046 s]
/proc/loadavg: 2.15 2.05 1.96 4/92 11180
/proc/meminfo: memFree=1290248/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=851020 CPUtime=12.55
/proc/11171/stat : 11171 (java) S 11168 11168 9807 0 -1 0 73808 0 1 0 1206 49 0 0 18 0 10 0 1983399966 871444480 70783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 212755 70783 2584 9 0 207315 0
[pid=11171/tid=11172] ppid=11168 vsize=851020 CPUtime=7.73
/proc/11171/task/11172/stat : 11172 (java) R 11168 11168 9807 0 -1 64 6925 0 1 0 766 7 0 0 25 0 10 0 1983399967 871444480 70783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11173] ppid=11168 vsize=851020 CPUtime=4.18
/proc/11171/task/11173/stat : 11173 (java) S 11168 11168 9807 0 -1 64 63843 0 0 0 380 38 0 0 15 0 10 0 1983399968 871444480 70783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1983399968 871444480 70783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1983399969 871444480 70783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983399971 871444480 70783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=851020 CPUtime=0.61
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 2302 0 0 0 59 2 0 0 15 0 10 0 1983399971 871444480 70783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983399971 871444480 70783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) R 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1983399971 871444480 70783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11180] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11180/stat : 11180 (java) S 11168 11168 9807 0 -1 64 5 0 0 0 0 0 0 0 24 0 10 0 1983400412 871444480 70783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 856376
[startup+25.5029 s]
/proc/loadavg: 2.11 2.04 1.96 3/92 11181
/proc/meminfo: memFree=1290304/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=851020 CPUtime=25.22
/proc/11171/stat : 11171 (java) S 11168 11168 9807 0 -1 0 73922 0 1 0 2472 50 0 0 18 0 10 0 1983399966 871444480 70857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 212755 70857 2587 9 0 207315 0
[pid=11171/tid=11172] ppid=11168 vsize=851020 CPUtime=20.04
/proc/11171/task/11172/stat : 11172 (java) R 11168 11168 9807 0 -1 64 6987 0 1 0 1996 8 0 0 25 0 10 0 1983399967 871444480 70857 996147200 134512640 134550740 4294956032 18446744073709551615 4127474843 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11173] ppid=11168 vsize=851020 CPUtime=4.45
/proc/11171/task/11173/stat : 11173 (java) S 11168 11168 9807 0 -1 64 63843 0 0 0 407 38 0 0 16 0 10 0 1983399968 871444480 70857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1983399968 871444480 70857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1983399969 871444480 70857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983399971 871444480 70857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=851020 CPUtime=0.7
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 2352 0 0 0 68 2 0 0 16 0 10 0 1983399971 871444480 70857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983399971 871444480 70857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1983399971 871444480 70857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11181] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11181/stat : 11181 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1983401353 871444480 70857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
################
# More data... #
################
[pid=11171/tid=11174] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1983399968 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1983399969 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983399971 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=851020 CPUtime=0.7
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 2358 0 0 0 68 2 0 0 16 0 10 0 1983399971 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983399971 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1983399971 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11181] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11181/stat : 11181 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1983401353 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 69.7
Current children cumulated vsize (KiB) 856376
[startup+73.6025 s]
/proc/loadavg: 2.05 2.03 1.96 3/92 11181
/proc/meminfo: memFree=1290496/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=851020 CPUtime=72.87
/proc/11171/stat : 11171 (java) S 11168 11168 9807 0 -1 0 74021 0 1 0 7236 51 0 0 18 0 10 0 1983399966 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 212755 70863 2587 9 0 207315 0
[pid=11171/tid=11172] ppid=11168 vsize=851020 CPUtime=67.58
/proc/11171/task/11172/stat : 11172 (java) R 11168 11168 9807 0 -1 64 7080 0 1 0 6750 8 0 0 25 0 10 0 1983399967 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4125374856 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11173] ppid=11168 vsize=851020 CPUtime=4.54
/proc/11171/task/11173/stat : 11173 (java) S 11168 11168 9807 0 -1 64 63843 0 0 0 416 38 0 0 16 0 10 0 1983399968 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1983399968 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1983399969 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983399971 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=851020 CPUtime=0.7
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 2358 0 0 0 68 2 0 0 16 0 10 0 1983399971 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983399971 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1983399971 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11181] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11181/stat : 11181 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1983401353 871444480 70863 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.87
Current children cumulated vsize (KiB) 856376
[startup+76.8021 s]
/proc/loadavg: 2.05 2.03 1.96 3/91 11182
/proc/meminfo: memFree=1308416/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=851020 CPUtime=76.04
/proc/11171/stat : 11171 (java) S 11168 11168 9807 0 -1 0 74069 0 1 0 7553 51 0 0 18 0 9 0 1983399966 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 212755 66340 2587 9 0 207315 0
[pid=11171/tid=11172] ppid=11168 vsize=851020 CPUtime=70.46
/proc/11171/task/11172/stat : 11172 (java) R 11168 11168 9807 0 -1 64 7109 0 1 0 7038 8 0 0 25 0 9 0 1983399967 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4127613203 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11173] ppid=11168 vsize=851020 CPUtime=4.81
/proc/11171/task/11173/stat : 11173 (java) S 11168 11168 9807 0 -1 64 63843 0 0 0 442 39 0 0 17 0 9 0 1983399968 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983399968 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 7 0 0 0 0 0 0 0 15 0 9 0 1983399969 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=851020 CPUtime=0.74
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 2375 0 0 0 71 3 0 0 16 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.04
Current children cumulated vsize (KiB) 856376
[startup+77.6022 s]
/proc/loadavg: 2.05 2.03 1.96 3/91 11182
/proc/meminfo: memFree=1308416/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=851020 CPUtime=76.82
/proc/11171/stat : 11171 (java) S 11168 11168 9807 0 -1 0 74069 0 1 0 7631 51 0 0 18 0 9 0 1983399966 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 212755 66340 2587 9 0 207315 0
[pid=11171/tid=11172] ppid=11168 vsize=851020 CPUtime=71.25
/proc/11171/task/11172/stat : 11172 (java) R 11168 11168 9807 0 -1 64 7109 0 1 0 7117 8 0 0 25 0 9 0 1983399967 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4127615400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11173] ppid=11168 vsize=851020 CPUtime=4.81
/proc/11171/task/11173/stat : 11173 (java) S 11168 11168 9807 0 -1 64 63843 0 0 0 442 39 0 0 16 0 9 0 1983399968 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983399968 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 7 0 0 0 0 0 0 0 15 0 9 0 1983399969 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=851020 CPUtime=0.75
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 2375 0 0 0 72 3 0 0 16 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.82
Current children cumulated vsize (KiB) 856376
[startup+78.0023 s]
/proc/loadavg: 2.05 2.03 1.96 3/91 11182
/proc/meminfo: memFree=1308416/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=851020 CPUtime=77.22
/proc/11171/stat : 11171 (java) S 11168 11168 9807 0 -1 0 74069 0 1 0 7671 51 0 0 18 0 9 0 1983399966 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 212755 66340 2587 9 0 207315 0
[pid=11171/tid=11172] ppid=11168 vsize=851020 CPUtime=71.64
/proc/11171/task/11172/stat : 11172 (java) R 11168 11168 9807 0 -1 64 7109 0 1 0 7156 8 0 0 25 0 9 0 1983399967 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4127615492 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11173] ppid=11168 vsize=851020 CPUtime=4.81
/proc/11171/task/11173/stat : 11173 (java) S 11168 11168 9807 0 -1 64 63843 0 0 0 442 39 0 0 16 0 9 0 1983399968 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983399968 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 7 0 0 0 0 0 0 0 15 0 9 0 1983399969 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=851020 CPUtime=0.75
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 2375 0 0 0 72 3 0 0 16 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 77.22
Current children cumulated vsize (KiB) 856376
[startup+78.4024 s]
/proc/loadavg: 2.05 2.03 1.96 3/91 11182
/proc/meminfo: memFree=1308416/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=851020 CPUtime=77.61
/proc/11171/stat : 11171 (java) S 11168 11168 9807 0 -1 0 74069 0 1 0 7710 51 0 0 18 0 9 0 1983399966 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 212755 66340 2587 9 0 207315 0
[pid=11171/tid=11172] ppid=11168 vsize=851020 CPUtime=72.04
/proc/11171/task/11172/stat : 11172 (java) R 11168 11168 9807 0 -1 64 7109 0 1 0 7196 8 0 0 25 0 9 0 1983399967 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4127615419 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11173] ppid=11168 vsize=851020 CPUtime=4.81
/proc/11171/task/11173/stat : 11173 (java) S 11168 11168 9807 0 -1 64 63843 0 0 0 442 39 0 0 16 0 9 0 1983399968 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11174/stat : 11174 (java) S 11168 11168 9807 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983399968 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11168 11168 9807 0 -1 64 7 0 0 0 0 0 0 0 15 0 9 0 1983399969 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11168 11168 9807 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11168 vsize=851020 CPUtime=0.75
/proc/11171/task/11177/stat : 11177 (java) S 11168 11168 9807 0 -1 64 2375 0 0 0 72 3 0 0 16 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11178/stat : 11178 (java) S 11168 11168 9807 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11168 vsize=851020 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11168 11168 9807 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1983399971 871444480 66340 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 77.61
Current children cumulated vsize (KiB) 856376
[startup+78.503 s]
/proc/loadavg: 2.05 2.03 1.96 3/91 11182
/proc/meminfo: memFree=1308416/2055920 swapFree=4110344/4192956
[pid=11168] ppid=11166 vsize=5356 CPUtime=0
/proc/11168/stat : 11168 (concrete.sh) S 11166 11168 9807 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1983399965 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11168/statm: 1339 242 201 169 0 50 0
[pid=11171] ppid=11168 vsize=0 CPUtime=77.7
/proc/11171/stat : 11171 (java) Z 11168 11168 9807 0 -1 12 74080 0 1 0 7717 53 0 0 16 0 2 0 1983399966 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 77.7
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 78.5383
CPU time (s): 77.7462
CPU user time (s): 77.1763
CPU system time (s): 0.569913
CPU usage (%): 98.9914
Max. virtual memory (cumulated for all children) (KiB): 857660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.1763
system time used= 0.569913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74533
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8643
involuntary context switches= 11535
runsolver used 0.098984 second user time and 0.285956 second system time
The end
Begin job on node70 at 2008-07-03 02:18:31
IDJOB=1049072
IDBENCH=54604
IDSOLVER=305
FILE ID=node70/1049072-1215044311
PBS_JOBID= 7875036
Free space on /tmp= 66436 MiB
SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/pseudo/radar/normalized-radar-30-30-4.5-0.95-100.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1049072-1215044311/watcher-1049072-1215044311 -o /tmp/evaluation-result-1049072-1215044311/solver-1049072-1215044311 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1049072-1215044311.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 269e5a26469c119f4cacb5a771763471
RANDOM SEED=1006058902
node70.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1565056 kB
Buffers: 51796 kB
Cached: 246844 kB
SwapCached: 76448 kB
Active: 201716 kB
Inactive: 215328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1565056 kB
SwapTotal: 4192956 kB
SwapFree: 4110344 kB
Dirty: 2176 kB
Writeback: 0 kB
Mapped: 134424 kB
Slab: 58772 kB
Committed_AS: 4092488 kB
PageTables: 2008 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66436 MiB
End job on node70 at 2008-07-03 02:19:50