77.84/78.66 c CPU-LOAD 13.78
77.84/78.66 c LOADED 144 V (4 E), 1 ExtensionConstraint2D, 63 PredicateConstraint, arity 16, 13.78 cpu
78.04/78.89 s SATISFIABLE
78.04/78.89 o 24
78.04/78.89 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 0 1 0 1 2 3 0 2 0 2 2 0 3 3 0 0 2 1 0 0 1 1 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 1 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 3 0 2 1 2 0 0 2 1 0 2 2 3 2 2 2 3 3 0 3 0 3 0 0 2 3
78.13/78.90 o 27
78.13/78.90 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 0 2 2 0 3 3 0 0 2 1 0 0 1 1 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 1 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 3 0 2 1 2 0 0 2 1 0 2 2 3 2 2 2 3 3 0 3 0 3 0 0 2 3
78.13/78.90 o 30
78.13/78.90 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 0 3 3 0 0 2 1 0 0 1 1 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 1 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 3 0 2 1 2 0 0 2 1 0 2 2 3 2 2 2 3 3 0 3 0 3 0 0 2 3
78.13/78.90 o 33
78.13/78.90 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 0 3 3 0 0 2 1 0 0 1 1 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 1 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 0 0 2 1 2 0 0 2 1 0 2 2 3 2 2 2 3 3 0 3 0 3 0 0 2 3
78.13/78.91 o 35
78.13/78.91 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 1 1 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 1 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 0 0 2 1 2 0 0 2 1 0 2 2 3 2 2 2 3 3 0 3 0 3 0 0 2 3
78.13/78.91 o 36
78.13/78.91 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 1 1 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 1 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 0 0 2 1 2 0 0 2 1 0 2 2 3 2 2 2 3 3 0 3 1 3 0 0 2 3
78.13/78.91 o 37
78.13/78.91 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 1 1 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 1 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 0 0 2 1 2 0 0 2 1 0 2 2 3 2 2 2 3 3 1 3 1 3 0 0 2 3
78.13/78.92 o 38
78.13/78.92 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 1 1 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 2 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 0 0 2 1 2 0 0 2 1 0 2 2 3 2 2 2 3 3 1 3 1 3 0 0 2 3
78.13/78.92 o 39
78.13/78.92 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 1 1 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 2 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 2 2 3 3 1 3 1 3 0 0 2 3
78.13/78.92 o 40
78.13/78.92 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 1 1 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 2 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 3 0 0 2 3
78.13/78.93 o 41
78.13/78.93 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 1 0 0 0 3 0 2 1 3 0 0 0 0 0 2 1 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 2 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 3 0 0 2 3
78.13/78.93 o 42
78.13/78.93 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 1 0 0 0 3 0 2 1 3 0 0 0 0 0 2 0 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 2 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 3 0 0 2 3
78.13/78.93 o 43
78.13/78.93 v 3 2 3 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 0 0 0 0 3 0 2 1 3 0 0 0 0 0 2 0 3 2 0 0 0 1 0 3 2 1 0 2 1 0 3 1 0 1 3 2 3 3 1 1 3 3 3 0 2 3 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 3 0 0 2 3
78.13/78.94 o 45
78.13/78.94 v 3 2 0 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 0 0 0 0 3 0 2 1 3 0 0 0 0 0 2 0 3 2 0 0 0 1 0 1 2 1 0 2 1 0 3 1 0 1 3 2 3 3 1 3 3 3 3 0 2 2 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 3 0 0 2 3
78.13/78.94 o 46
78.13/78.94 v 3 2 0 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 2 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 2 3 2 2 3 3 3 0 0 2 1 0 0 0 0 0 0 3 0 2 1 3 0 0 0 0 0 2 0 3 0 0 0 0 1 0 1 2 1 0 2 1 0 3 1 0 1 3 2 3 3 1 3 3 3 3 0 2 2 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 3 0 0 2 3
78.13/78.94 o 47
78.13/78.94 v 3 2 0 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 0 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 3 3 2 2 3 3 3 0 0 2 1 0 0 0 0 0 0 3 0 2 1 3 0 0 0 0 0 2 0 3 0 0 0 0 1 0 1 2 1 0 2 1 0 3 1 0 1 3 2 3 3 1 3 3 3 3 0 2 1 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 3 0 0 2 3
78.13/78.94 o 48
78.13/78.94 v 3 2 0 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 0 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 3 3 2 2 3 3 3 0 0 2 1 0 0 0 0 0 0 3 0 2 1 3 0 0 0 0 0 2 0 3 0 0 0 0 1 0 1 2 1 0 2 1 0 3 1 0 1 3 2 3 3 2 3 3 3 3 0 2 1 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 2 0 0 2 3
78.13/78.94 o 49
78.13/78.94 v 3 2 0 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 0 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 3 3 2 2 3 3 3 0 0 2 1 0 0 0 0 0 0 3 0 2 1 3 0 0 0 0 0 2 0 3 0 0 0 0 1 0 1 2 1 0 2 1 0 3 1 0 1 3 2 3 0 2 3 3 3 3 0 2 1 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 2 0 0 2 3
78.13/78.94 o 50
78.13/78.94 v 3 2 0 1 3 3 0 2 0 3 2 0 3 2 0 2 3 1 2 3 2 1 0 2 1 2 0 0 2 3 0 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 1 0 1 2 3 0 3 3 2 1 3 3 3 0 0 2 1 0 0 0 0 0 0 3 0 2 1 3 0 0 0 0 0 2 0 3 0 0 0 0 1 0 1 2 1 0 2 1 0 3 1 0 1 3 2 3 0 2 3 3 3 3 0 2 1 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 2 0 0 2 3
78.13/78.95 o 51
78.13/78.95 v 3 2 0 1 3 3 0 2 1 3 1 0 3 2 0 2 0 1 2 3 2 1 0 2 1 2 0 0 2 3 0 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 3 0 1 2 3 0 3 3 2 1 3 3 3 0 0 2 1 0 0 0 0 0 0 3 0 2 1 3 0 0 0 0 0 2 0 3 0 0 0 0 1 0 1 2 1 0 2 1 0 3 1 0 1 3 2 3 0 2 3 3 3 3 0 2 1 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 2 0 0 2 3
78.13/78.95 o 52
78.13/78.95 v 3 1 0 1 3 3 0 2 1 3 1 0 3 2 0 2 0 1 2 3 2 1 0 2 1 2 0 0 2 3 0 1 0 1 3 3 1 2 1 1 2 1 2 0 0 0 3 3 0 1 2 3 0 3 3 2 1 3 3 3 0 0 2 1 0 0 0 0 0 0 3 0 2 1 3 0 0 0 0 0 2 0 3 0 0 0 0 1 0 1 2 1 0 2 1 0 3 1 0 1 3 2 3 0 2 3 3 3 3 0 2 1 0 0 1 0 2 2 0 0 2 1 2 1 0 2 1 0 2 2 3 2 1 2 3 3 1 3 1 2 0 0 2 3
78.43/79.26 o 53
78.43/79.26 v 2 2 1 3 3 2 3 0 2 0 2 2 0 1 0 3 3 3 3 3 0 1 3 1 3 2 0 1 1 3 2 0 1 0 0 1 2 1 1 0 1 1 0 1 2 1 3 3 0 1 2 0 0 0 3 2 0 1 1 3 0 2 3 3 1 1 3 0 3 1 2 2 0 0 3 2 1 1 0 0 1 0 3 1 2 1 0 3 2 0 3 0 0 3 3 2 0 1 1 0 3 2 3 1 2 0 0 0 0 2 3 2 0 0 1 1 0 0 2 0 2 0 3 0 0 0 2 0 0 1 1 3 3 3 0 0 1 2 1 1 1 2 3 1
78.43/79.27 o 54
78.43/79.27 v 2 2 1 3 3 2 3 0 2 0 2 2 0 1 0 3 3 3 3 3 0 1 3 1 3 2 0 1 1 3 2 0 1 0 0 1 2 1 1 0 1 1 0 1 2 1 3 3 0 1 2 0 0 0 3 2 0 1 1 3 0 2 3 3 1 1 3 0 3 1 2 2 0 0 3 2 1 1 0 0 1 0 3 1 2 1 0 3 2 0 3 0 0 3 3 2 0 1 1 0 3 2 3 1 2 0 0 0 0 2 3 2 0 0 1 1 1 0 2 0 2 0 3 0 0 0 2 0 0 1 1 3 3 3 0 0 1 2 1 1 1 2 3 1
78.43/79.27 o 55
78.43/79.27 v 2 2 1 3 3 2 3 0 2 0 2 2 0 0 0 3 3 3 3 3 0 1 3 1 3 2 0 1 1 3 2 0 1 0 0 1 2 1 1 0 1 1 0 1 2 1 3 3 0 1 2 0 0 0 3 2 0 1 1 3 0 2 3 3 1 1 3 0 3 1 2 2 0 0 3 2 1 1 0 0 1 0 3 1 2 1 0 3 2 0 3 0 0 3 3 2 0 1 1 0 3 2 3 1 2 0 0 0 0 2 3 2 0 0 1 1 1 0 2 0 2 0 3 0 0 0 2 0 0 1 1 3 3 3 0 0 1 2 1 1 1 2 3 1
78.43/79.27 o 56
78.43/79.27 v 2 2 1 3 3 2 3 0 2 0 2 2 0 0 0 3 3 3 3 3 0 1 3 1 3 2 0 1 1 3 2 0 1 0 0 1 2 1 1 0 1 1 0 1 2 1 3 3 0 1 2 0 0 0 3 2 0 1 1 3 0 2 3 3 1 1 3 0 2 1 2 2 0 0 3 2 1 1 0 0 1 0 3 1 2 1 0 3 2 0 3 0 0 3 3 2 0 1 1 0 3 2 3 1 2 1 0 0 0 2 3 2 0 0 1 1 1 0 2 0 2 0 3 0 0 0 2 0 0 1 1 3 3 3 0 0 1 2 1 1 1 2 3 1
78.43/79.27 o 57
78.43/79.27 v 2 2 1 3 3 2 3 0 2 0 2 2 0 0 0 3 3 3 3 3 0 1 3 1 3 2 0 1 1 3 2 0 1 0 0 1 2 1 1 0 1 1 0 1 2 1 3 3 0 1 1 0 0 0 3 2 0 1 1 3 0 2 3 3 1 1 3 0 2 1 2 2 0 1 3 2 1 1 0 0 1 0 3 1 2 1 0 3 2 0 3 0 0 3 3 2 0 1 1 0 3 2 3 1 2 1 0 0 0 2 3 2 0 0 1 1 1 0 2 0 2 0 3 0 0 0 2 0 0 1 1 3 3 3 0 0 1 2 1 1 1 2 3 1
87.45/88.33 o 58
87.45/88.33 v 2 1 0 2 3 1 2 0 1 0 2 0 1 0 1 0 3 2 3 0 1 3 1 0 3 0 2 1 3 1 3 2 2 2 3 3 3 3 2 0 0 1 2 0 0 0 0 0 3 0 1 0 0 3 0 1 1 1 1 0 0 1 1 0 0 1 0 0 3 0 0 2 1 0 3 0 1 0 1 3 0 0 3 3 0 0 0 3 1 0 2 3 0 2 0 1 3 1 3 1 3 0 0 2 3 1 0 0 3 1 1 0 3 0 0 0 0 3 2 1 0 1 2 1 2 2 3 0 2 0 1 3 3 2 1 3 2 1 0 2 0 3 1 0
87.45/88.33 o 59
87.45/88.33 v 2 0 0 3 3 1 2 0 0 0 2 0 1 0 1 0 2 2 3 0 1 3 1 0 3 0 2 1 3 1 3 2 2 2 2 3 3 3 2 0 0 1 2 0 0 0 3 3 3 0 1 0 0 3 0 1 1 1 1 0 0 1 1 0 0 1 0 0 3 0 0 2 1 0 3 0 1 0 1 3 0 0 3 3 0 0 0 3 1 0 0 3 0 2 0 1 3 1 3 1 3 0 0 2 3 1 0 0 3 1 1 0 3 0 0 0 0 3 2 1 0 1 2 1 2 2 3 0 2 0 1 3 3 2 1 3 2 1 0 2 0 3 1 0
101.22/102.29 o 60
101.22/102.29 v 0 0 0 3 3 0 0 2 0 3 1 2 0 3 0 1 2 3 3 0 0 1 1 1 3 1 3 2 1 3 2 0 0 1 3 3 3 1 1 2 0 2 0 3 3 0 1 3 1 3 1 0 3 3 1 0 3 1 1 1 2 0 1 3 0 0 2 0 1 0 2 2 0 0 0 1 1 1 0 2 3 3 3 0 0 0 0 0 0 0 1 1 0 3 0 1 0 0 1 1 3 2 0 0 3 1 3 2 0 0 1 0 0 0 0 0 3 0 0 1 2 0 2 2 3 2 3 2 2 1 1 2 0 1 3 1 3 1 3 3 3 3 0 0
101.22/102.29 o 61
101.22/102.29 v 0 0 0 3 3 0 0 2 0 3 2 2 0 3 0 1 2 3 3 0 0 1 1 1 3 1 3 2 1 3 2 0 0 1 2 3 3 1 1 2 0 2 0 3 3 0 0 3 1 3 1 0 3 3 1 0 3 1 1 1 2 0 1 3 0 0 2 0 1 0 2 2 0 0 0 1 1 1 0 2 3 3 3 0 0 0 0 0 0 0 3 1 0 3 0 1 0 0 1 1 3 2 0 0 3 1 3 2 0 0 1 0 0 0 0 0 3 0 0 1 2 0 2 2 3 2 3 2 2 1 1 2 0 1 3 1 3 1 3 3 3 3 0 0
182.90/184.65 o 62
182.90/184.65 v 3 0 0 3 1 0 2 0 0 3 2 1 1 3 1 2 2 0 3 1 1 1 0 3 1 3 0 1 3 2 1 1 0 1 2 3 3 0 1 1 0 0 2 0 0 2 3 3 0 0 1 2 1 3 0 1 3 2 3 0 2 1 3 3 2 3 0 0 0 1 1 0 1 3 0 0 2 0 0 1 0 3 3 0 0 0 0 2 0 1 1 3 0 2 0 3 3 0 1 0 3 1 1 3 2 3 3 0 0 1 3 0 3 0 1 3 3 2 1 0 0 2 2 3 0 0 1 1 3 3 2 2 0 0 3 2 3 1 0 3 1 0 1 0
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112126-1215862426/watcher-1112126-1215862426 -o /tmp/evaluation-result-1112126-1215862426/solver-1112126-1215862426 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112126-1215862426.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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: 1.92 1.98 1.99 3/73 15433
/proc/meminfo: memFree=1577920/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=18572 CPUtime=0
/proc/15433/stat : 15433 (runsolver) R 15431 15433 15013 0 -1 4194368 15 0 0 0 0 0 0 0 24 0 1 0 42945358 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15433/statm: 4643 292 257 25 0 2626 0
[startup+0.0700171 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 15433
/proc/meminfo: memFree=1577920/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.100865 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 15433
/proc/meminfo: memFree=1577920/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301885 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 15433
/proc/meminfo: memFree=1577920/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701925 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 15433
/proc/meminfo: memFree=1577920/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50201 s]
/proc/loadavg: 1.92 1.98 1.99 4/84 15445
/proc/meminfo: memFree=1546856/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
[pid=15436] ppid=15433 vsize=847344 CPUtime=1.47
/proc/15436/stat : 15436 (java) S 15433 15433 15013 0 -1 0 18643 0 1 0 137 10 0 0 25 0 10 0 42945359 867680256 17748 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15436/statm: 211836 17748 2578 9 0 206396 0
[pid=15436/tid=15437] ppid=15433 vsize=847344 CPUtime=0.54
/proc/15436/task/15437/stat : 15437 (java) R 15433 15433 15013 0 -1 64 5025 0 1 0 50 4 0 0 21 0 10 0 42945360 867680256 17748 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15438] ppid=15433 vsize=847344 CPUtime=0.67
/proc/15436/task/15438/stat : 15438 (java) R 15433 15433 15013 0 -1 64 11868 0 0 0 63 4 0 0 19 0 10 0 42945361 867680256 17748 996147200 134512640 134550740 4294956000 18446744073709551615 101588326 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15439] ppid=15433 vsize=847344 CPUtime=0
/proc/15436/task/15439/stat : 15439 (java) S 15433 15433 15013 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 42945361 867680256 17748 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15440] ppid=15433 vsize=847344 CPUtime=0
/proc/15436/task/15440/stat : 15440 (java) S 15433 15433 15013 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 42945361 867680256 17748 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15441] ppid=15433 vsize=847344 CPUtime=0
/proc/15436/task/15441/stat : 15441 (java) S 15433 15433 15013 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 42945363 867680256 17748 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15442] ppid=15433 vsize=847344 CPUtime=0.23
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1014 0 0 0 23 0 0 0 16 0 10 0 42945363 867680256 17748 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=847344 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 42945363 867680256 17748 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=847344 CPUtime=0
/proc/15436/task/15444/stat : 15444 (java) S 15433 15433 15013 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 42945363 867680256 17748 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15445] ppid=15433 vsize=847344 CPUtime=0
/proc/15436/task/15445/stat : 15445 (java) S 15433 15433 15013 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 42945410 867680256 17748 996147200 134512640 134550740 4294956000 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) 852700
[startup+3.10217 s]
/proc/loadavg: 1.92 1.98 1.99 3/84 15445
/proc/meminfo: memFree=1348520/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
[pid=15436] ppid=15433 vsize=849516 CPUtime=3.05
/proc/15436/stat : 15436 (java) S 15433 15433 15013 0 -1 0 87481 0 1 0 267 38 0 0 25 0 10 0 42945359 869904384 86567 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15436/statm: 212379 86567 2580 9 0 206939 0
[pid=15436/tid=15437] ppid=15433 vsize=849516 CPUtime=1.21
/proc/15436/task/15437/stat : 15437 (java) R 15433 15433 15013 0 -1 64 51189 0 1 0 98 23 0 0 25 0 10 0 42945360 869904384 86567 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15438] ppid=15433 vsize=849516 CPUtime=1.53
/proc/15436/task/15438/stat : 15438 (java) R 15433 15433 15013 0 -1 64 34474 0 0 0 140 13 0 0 17 0 10 0 42945361 869904384 86567 996147200 134512640 134550740 4294956000 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15439] ppid=15433 vsize=849516 CPUtime=0
/proc/15436/task/15439/stat : 15439 (java) S 15433 15433 15013 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 42945361 869904384 86567 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15440] ppid=15433 vsize=849516 CPUtime=0
/proc/15436/task/15440/stat : 15440 (java) S 15433 15433 15013 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 42945361 869904384 86567 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15441] ppid=15433 vsize=849516 CPUtime=0
/proc/15436/task/15441/stat : 15441 (java) S 15433 15433 15013 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 42945363 869904384 86567 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15442] ppid=15433 vsize=849516 CPUtime=0.27
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1082 0 0 0 27 0 0 0 16 0 10 0 42945363 869904384 86567 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=849516 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 42945363 869904384 86567 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=849516 CPUtime=0
/proc/15436/task/15444/stat : 15444 (java) S 15433 15433 15013 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 42945363 869904384 86567 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15445] ppid=15433 vsize=849516 CPUtime=0
/proc/15436/task/15445/stat : 15445 (java) S 15433 15433 15013 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 42945410 869904384 86567 996147200 134512640 134550740 4294956000 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) 854872
[startup+6.30249 s]
/proc/loadavg: 2.01 2.00 2.00 3/84 15445
/proc/meminfo: memFree=1027624/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
[pid=15436] ppid=15433 vsize=863116 CPUtime=6.22
/proc/15436/stat : 15436 (java) S 15433 15433 15013 0 -1 0 154582 0 1 0 557 65 0 0 25 0 10 0 42945359 883830784 153660 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15436/statm: 215779 153660 2580 9 0 210339 0
[pid=15436/tid=15437] ppid=15433 vsize=863116 CPUtime=1.7
/proc/15436/task/15437/stat : 15437 (java) R 15433 15433 15013 0 -1 64 56291 0 1 0 145 25 0 0 16 0 10 0 42945360 883830784 153660 996147200 134512640 134550740 4294956000 18446744073709551615 101444646 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15438] ppid=15433 vsize=863116 CPUtime=4.22
/proc/15436/task/15438/stat : 15438 (java) R 15433 15433 15013 0 -1 64 96473 0 0 0 384 38 0 0 25 0 10 0 42945361 883830784 153660 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15439] ppid=15433 vsize=863116 CPUtime=0
/proc/15436/task/15439/stat : 15439 (java) S 15433 15433 15013 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 42945361 883830784 153660 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15440] ppid=15433 vsize=863116 CPUtime=0
/proc/15436/task/15440/stat : 15440 (java) S 15433 15433 15013 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 42945361 883830784 153660 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15441] ppid=15433 vsize=863116 CPUtime=0
/proc/15436/task/15441/stat : 15441 (java) S 15433 15433 15013 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 42945363 883830784 153660 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15442] ppid=15433 vsize=863116 CPUtime=0.27
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1082 0 0 0 27 0 0 0 16 0 10 0 42945363 883830784 153660 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=863116 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 42945363 883830784 153660 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=863116 CPUtime=0
/proc/15436/task/15444/stat : 15444 (java) S 15433 15433 15013 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 42945363 883830784 153660 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15445] ppid=15433 vsize=863116 CPUtime=0
/proc/15436/task/15445/stat : 15445 (java) S 15433 15433 15013 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 42945410 883830784 153660 996147200 134512640 134550740 4294956000 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) 868472
[startup+12.7021 s]
/proc/loadavg: 2.01 2.00 2.00 3/84 15445
/proc/meminfo: memFree=802608/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
[pid=15436] ppid=15433 vsize=873192 CPUtime=12.57
/proc/15436/stat : 15436 (java) S 15433 15433 15013 0 -1 0 196743 0 1 0 1174 83 0 0 25 0 10 0 42945359 894148608 195816 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15436/statm: 218298 195816 2580 9 0 212858 0
[pid=15436/tid=15437] ppid=15433 vsize=873192 CPUtime=2.08
/proc/15436/task/15437/stat : 15437 (java) S 15433 15433 15013 0 -1 64 58732 0 1 0 182 26 0 0 17 0 10 0 42945360 894148608 195816 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15438] ppid=15433 vsize=873192 CPUtime=10.18
/proc/15436/task/15438/stat : 15438 (java) R 15433 15433 15013 0 -1 64 136193 0 0 0 964 54 0 0 25 0 10 0 42945361 894148608 195816 996147200 134512640 134550740 4294956000 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15439] ppid=15433 vsize=873192 CPUtime=0
/proc/15436/task/15439/stat : 15439 (java) S 15433 15433 15013 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 42945361 894148608 195816 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15440] ppid=15433 vsize=873192 CPUtime=0
/proc/15436/task/15440/stat : 15440 (java) S 15433 15433 15013 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 42945361 894148608 195816 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15441] ppid=15433 vsize=873192 CPUtime=0
/proc/15436/task/15441/stat : 15441 (java) S 15433 15433 15013 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 42945363 894148608 195816 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15442] ppid=15433 vsize=873192 CPUtime=0.27
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1082 0 0 0 27 0 0 0 16 0 10 0 42945363 894148608 195816 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=873192 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 42945363 894148608 195816 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=873192 CPUtime=0
/proc/15436/task/15444/stat : 15444 (java) S 15433 15433 15013 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 42945363 894148608 195816 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15445] ppid=15433 vsize=873192 CPUtime=0
/proc/15436/task/15445/stat : 15445 (java) S 15433 15433 15013 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 42945410 894148608 195816 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 878548
[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15445
/proc/meminfo: memFree=802416/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
[pid=15436] ppid=15433 vsize=873064 CPUtime=25.23
/proc/15436/stat : 15436 (java) S 15433 15433 15013 0 -1 0 196823 0 1 0 2440 83 0 0 25 0 10 0 42945359 894017536 195866 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15436/statm: 218266 195866 2580 9 0 212826 0
[pid=15436/tid=15437] ppid=15433 vsize=873064 CPUtime=5.09
/proc/15436/task/15437/stat : 15437 (java) S 15433 15433 15013 0 -1 64 58766 0 1 0 482 27 0 0 17 0 10 0 42945360 894017536 195866 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15438] ppid=15433 vsize=873064 CPUtime=19.8
/proc/15436/task/15438/stat : 15438 (java) R 15433 15433 15013 0 -1 64 136206 0 0 0 1925 55 0 0 25 0 10 0 42945361 894017536 195866 996147200 134512640 134550740 4294956000 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15439] ppid=15433 vsize=873064 CPUtime=0
/proc/15436/task/15439/stat : 15439 (java) S 15433 15433 15013 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 42945361 894017536 195866 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15440] ppid=15433 vsize=873064 CPUtime=0
/proc/15436/task/15440/stat : 15440 (java) S 15433 15433 15013 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 42945361 894017536 195866 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15441] ppid=15433 vsize=873064 CPUtime=0
/proc/15436/task/15441/stat : 15441 (java) S 15433 15433 15013 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 42945363 894017536 195866 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15442] ppid=15433 vsize=873064 CPUtime=0.32
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1115 0 0 0 32 0 0 0 16 0 10 0 42945363 894017536 195866 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=873064 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 42945363 894017536 195866 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=873064 CPUtime=0
################
# More data... #
################
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1225 0 0 0 54 1 0 0 16 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=860152 CPUtime=0.02
/proc/15436/task/15444/stat : 15444 (java) S 15433 15433 15013 0 -1 64 2 0 0 0 1 1 0 0 15 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3325.62
Current children cumulated vsize (KiB) 865508
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15492
/proc/meminfo: memFree=1401328/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
[pid=15436] ppid=15433 vsize=860152 CPUtime=3385.6
/proc/15436/stat : 15436 (java) S 15433 15433 15013 0 -1 0 305664 0 1 0 337908 652 0 0 25 0 9 0 42945359 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15436/statm: 215038 10100 2585 9 0 209598 0
[pid=15436/tid=15437] ppid=15433 vsize=860152 CPUtime=3309.58
/proc/15436/task/15437/stat : 15437 (java) R 15433 15433 15013 0 -1 64 87324 0 1 0 330545 413 0 0 25 0 9 0 42945360 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4126736128 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15436/tid=15438] ppid=15433 vsize=860152 CPUtime=75.41
/proc/15436/task/15438/stat : 15438 (java) S 15433 15433 15013 0 -1 64 216377 0 0 0 7306 235 0 0 16 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15436/tid=15439] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15439/stat : 15439 (java) S 15433 15433 15013 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15440] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15440/stat : 15440 (java) S 15433 15433 15013 0 -1 64 7 0 0 0 0 0 0 0 15 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15441] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15441/stat : 15441 (java) S 15433 15433 15013 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15442] ppid=15433 vsize=860152 CPUtime=0.55
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1225 0 0 0 54 1 0 0 16 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=860152 CPUtime=0.02
/proc/15436/task/15444/stat : 15444 (java) S 15433 15433 15013 0 -1 64 2 0 0 0 1 1 0 0 15 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3385.6
Current children cumulated vsize (KiB) 865508
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15492
/proc/meminfo: memFree=1401328/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
[pid=15436] ppid=15433 vsize=860152 CPUtime=3445.57
/proc/15436/stat : 15436 (java) S 15433 15433 15013 0 -1 0 306092 0 1 0 343896 661 0 0 25 0 9 0 42945359 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15436/statm: 215038 10100 2585 9 0 209598 0
[pid=15436/tid=15437] ppid=15433 vsize=860152 CPUtime=3369.4
/proc/15436/task/15437/stat : 15437 (java) R 15433 15433 15013 0 -1 64 87752 0 1 0 336520 420 0 0 25 0 9 0 42945360 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4126736113 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15436/tid=15438] ppid=15433 vsize=860152 CPUtime=75.56
/proc/15436/task/15438/stat : 15438 (java) S 15433 15433 15013 0 -1 64 216377 0 0 0 7319 237 0 0 16 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15436/tid=15439] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15439/stat : 15439 (java) S 15433 15433 15013 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15440] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15440/stat : 15440 (java) S 15433 15433 15013 0 -1 64 7 0 0 0 0 0 0 0 15 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15441] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15441/stat : 15441 (java) S 15433 15433 15013 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15442] ppid=15433 vsize=860152 CPUtime=0.55
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1225 0 0 0 54 1 0 0 16 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=860152 CPUtime=0.02
/proc/15436/task/15444/stat : 15444 (java) S 15433 15433 15013 0 -1 64 2 0 0 0 1 1 0 0 15 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3445.57
Current children cumulated vsize (KiB) 865508
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15492
/proc/meminfo: memFree=1401264/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
[pid=15436] ppid=15433 vsize=860152 CPUtime=3505.55
/proc/15436/stat : 15436 (java) S 15433 15433 15013 0 -1 0 306507 0 1 0 349885 670 0 0 25 0 9 0 42945359 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15436/statm: 215038 10100 2585 9 0 209598 0
[pid=15436/tid=15437] ppid=15433 vsize=860152 CPUtime=3429.16
/proc/15436/task/15437/stat : 15437 (java) R 15433 15433 15013 0 -1 64 88167 0 1 0 342489 427 0 0 25 0 9 0 42945360 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4126736113 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15436/tid=15438] ppid=15433 vsize=860152 CPUtime=75.78
/proc/15436/task/15438/stat : 15438 (java) S 15433 15433 15013 0 -1 64 216377 0 0 0 7339 239 0 0 16 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15436/tid=15439] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15439/stat : 15439 (java) S 15433 15433 15013 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15440] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15440/stat : 15440 (java) S 15433 15433 15013 0 -1 64 7 0 0 0 0 0 0 0 15 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15441] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15441/stat : 15441 (java) S 15433 15433 15013 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15442] ppid=15433 vsize=860152 CPUtime=0.55
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1225 0 0 0 54 1 0 0 16 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=860152 CPUtime=0.02
/proc/15436/task/15444/stat : 15444 (java) S 15433 15433 15013 0 -1 64 2 0 0 0 1 1 0 0 15 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3505.55
Current children cumulated vsize (KiB) 865508
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15492
/proc/meminfo: memFree=1401264/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
[pid=15436] ppid=15433 vsize=860152 CPUtime=3565.53
/proc/15436/stat : 15436 (java) S 15433 15433 15013 0 -1 0 306921 0 1 0 355872 681 0 0 25 0 9 0 42945359 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15436/statm: 215038 10100 2585 9 0 209598 0
[pid=15436/tid=15437] ppid=15433 vsize=860152 CPUtime=3488.97
/proc/15436/task/15437/stat : 15437 (java) R 15433 15433 15013 0 -1 64 88581 0 1 0 348461 436 0 0 25 0 9 0 42945360 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4126736483 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15436/tid=15438] ppid=15433 vsize=860152 CPUtime=75.95
/proc/15436/task/15438/stat : 15438 (java) S 15433 15433 15013 0 -1 64 216377 0 0 0 7354 241 0 0 16 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15436/tid=15439] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15439/stat : 15439 (java) S 15433 15433 15013 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15440] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15440/stat : 15440 (java) S 15433 15433 15013 0 -1 64 7 0 0 0 0 0 0 0 15 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15441] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15441/stat : 15441 (java) S 15433 15433 15013 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15442] ppid=15433 vsize=860152 CPUtime=0.55
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1225 0 0 0 54 1 0 0 16 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=860152 CPUtime=0.02
/proc/15436/task/15444/stat : 15444 (java) S 15433 15433 15013 0 -1 64 2 0 0 0 1 1 0 0 15 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3565.53
Current children cumulated vsize (KiB) 865508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3616.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15492
/proc/meminfo: memFree=1401200/2055920 swapFree=4192956/4192956
[pid=15433] ppid=15431 vsize=5356 CPUtime=0
/proc/15433/stat : 15433 (concrete.sh) S 15431 15433 15013 0 -1 4194304 315 128 0 0 0 0 0 0 24 0 1 0 42945358 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15433/statm: 1339 242 201 169 0 50 0
[pid=15436] ppid=15433 vsize=860152 CPUtime=3600.02
/proc/15436/stat : 15436 (java) S 15433 15433 15013 0 -1 0 307162 0 1 0 359316 686 0 0 25 0 9 0 42945359 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15436/statm: 215038 10100 2585 9 0 209598 0
[pid=15436/tid=15437] ppid=15433 vsize=860152 CPUtime=3523.36
/proc/15436/task/15437/stat : 15437 (java) R 15433 15433 15013 0 -1 64 88822 0 1 0 351897 439 0 0 25 0 9 0 42945360 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4126909570 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15436/tid=15438] ppid=15433 vsize=860152 CPUtime=76.06
/proc/15436/task/15438/stat : 15438 (java) S 15433 15433 15013 0 -1 64 216377 0 0 0 7363 243 0 0 16 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15436/tid=15439] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15439/stat : 15439 (java) S 15433 15433 15013 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15440] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15440/stat : 15440 (java) S 15433 15433 15013 0 -1 64 7 0 0 0 0 0 0 0 15 0 9 0 42945361 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15441] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15441/stat : 15441 (java) S 15433 15433 15013 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15442] ppid=15433 vsize=860152 CPUtime=0.55
/proc/15436/task/15442/stat : 15442 (java) S 15433 15433 15013 0 -1 64 1225 0 0 0 54 1 0 0 16 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15443] ppid=15433 vsize=860152 CPUtime=0
/proc/15436/task/15443/stat : 15443 (java) S 15433 15433 15013 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15436/tid=15444] ppid=15433 vsize=860152 CPUtime=0.02
/proc/15436/task/15444/stat : 15444 (java) S 15433 15433 15013 0 -1 64 2 0 0 0 1 1 0 0 15 0 9 0 42945363 880795648 10100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 865508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15433 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=4999
# CPU time returned by wait4() is 0.004999
# while last known CPU time is 3600.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3616.83
CPU time (s): 3600.02
CPU user time (s): 3593.16
CPU system time (s): 6.86
CPU usage (%): 99.5353
Max. virtual memory (cumulated for all children) (KiB): 891996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 5
runsolver used 4.89725 second user time and 11.5792 second system time
The end
Begin job on node12 at 2008-07-12 13:33:46
IDJOB=1112126
IDBENCH=61366
IDSOLVER=336
FILE ID=node12/1112126-1215862426
PBS_JOBID= 7903499
Free space on /tmp= 66356 MiB
SOLVER NAME= Concrete + CSP4J - Tabu Engine 2008-05-30
BENCH NAME= CPAI08/csp/radar-8-24-3-2/normalized-radar-8-24-3-2-41.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -max -s Tabu BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112126-1215862426/watcher-1112126-1215862426 -o /tmp/evaluation-result-1112126-1215862426/solver-1112126-1215862426 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112126-1215862426.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8cae310671feeb60abc8436cd8cf48d4
RANDOM SEED=1332617880
node12.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.212
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 : 5931.00
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.212
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: 1578400 kB
Buffers: 74680 kB
Cached: 308364 kB
SwapCached: 0 kB
Active: 238140 kB
Inactive: 171488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1578400 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1112 kB
Writeback: 0 kB
Mapped: 37632 kB
Slab: 53212 kB
Committed_AS: 159156 kB
PageTables: 1756 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= 66360 MiB
End job on node12 at 2008-07-12 14:34:04