Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 26288 | 1800.21 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb |
MD5SUM | 8fd497081fcc2923cbeefd2c48cb5010 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 826 |
Best CPU time to get the best result obtained on this benchmark | 1801.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 826 |
Optimality of the best value was proved | NO |
Number of variables | 3300 |
Total number of constraints | 1985 |
Number of constraints which are clauses | 1364 |
Number of constraints which are cardinality constraints (but not clauses) | 621 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 220 |
Number of terms in the objective function | 2792 |
Biggest coefficient in the objective function | 379 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 526163 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 379 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 526163 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.10 c Initial problem consists of 3300 variables and 2573 constraints. 0.11 c No problem reductions applied in OPT. instance. 0.11 c preprocess terminated. Elapsed time: 0.102 0.11 c After prepocess the problem consists of 3299 variables and 2572 constraints. 0.11 c Initial Lower Bound: -1187 0.22 c Restart #1 #Var: 3299 LB: -1187 @ 0.206 0.43 c Restart #2 #Var: 3299 LB: -1187 @ 0.417 0.71 c Restart #3 #Var: 3299 LB: -1187 @ 0.704 0.72 c Sol. found (all assignments made)... 0.72 o 87512 0.72 c NEW SOLUTION FOUND: 87512 @ 0.713 0.72 c Sol. found (all assignments made)... 0.72 o 87511 0.72 c NEW SOLUTION FOUND: 87511 @ 0.715 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 o 87510 0.73 c NEW SOLUTION FOUND: 87510 @ 0.719 0.75 c Sol. found (all assignments made)... 0.75 o 87132 0.75 c NEW SOLUTION FOUND: 87132 @ 0.736 0.75 c Sol. found (all assignments made)... 0.75 o 87131 0.75 c NEW SOLUTION FOUND: 87131 @ 0.737 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 o 87130 0.75 c NEW SOLUTION FOUND: 87130 @ 0.743 0.85 c Sol. found (all assignments made)... 0.85 o 86753 0.85 c NEW SOLUTION FOUND: 86753 @ 0.836 0.85 c Sol. found (all assignments made)... 0.85 o 86752 0.85 c NEW SOLUTION FOUND: 86752 @ 0.838 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 o 86751 0.85 c NEW SOLUTION FOUND: 86751 @ 0.842 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 o 86750 0.92 c NEW SOLUTION FOUND: 86750 @ 0.911 1.87 c Restart #4 #Var: 3299 LB: -1187 @ 1.856 1.88 c Sol. found (all assignments made)... 1.88 o 42238 1.88 c NEW SOLUTION FOUND: 42238 @ 1.869 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 o 41859 1.88 c NEW SOLUTION FOUND: 41859 @ 1.874 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 o 41480 1.90 c NEW SOLUTION FOUND: 41480 @ 1.886 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 o 41101 1.92 c NEW SOLUTION FOUND: 41101 @ 1.914 1.93 c Sol. found (all assignments made)... 1.93 c Sol. found (all assignments made)... 1.93 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.04 c Sol. found (all assignments made)... 2.04 c Sol. found (all assignments made)... 2.04 c Sol. found (all assignments made)... 2.04 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.06 c Sol. found (all assignments made)... 2.07 c Sol. found (all assignments made)... 2.07 c Sol. found (all assignments made)... 2.07 c Sol. found (all assignments made)... 2.07 c Sol. found (all assignments made)... 2.07 c Sol. found (all assignments made)... 2.08 c Sol. found (all assignments made)... 2.08 c Sol. found (all assignments made)... 2.08 c Sol. found (all assignments made)... 2.08 c Sol. found (all assignments made)... 2.09 c Sol. found (all assignments made)... 2.09 c Sol. found (all assignments made)... 2.09 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.34 c Sol. found (all assignments made)... 2.34 c Sol. found (all assignments made)... 2.34 c Sol. found (all assignments made)... 2.35 c Sol. found (all assignments made)... 2.35 c Sol. found (all assignments made)... 2.35 c Sol. found (all assignments made)... 2.35 c Sol. found (all assignments made)... 2.35 c Sol. found (all assignments made)... 2.36 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.44 c Sol. found (all assignments made)... 2.44 c Sol. found (all assignments made)... 2.44 c Sol. found (all assignments made)... 2.45 c Sol. found (all assignments made)... 2.45 c Sol. found (all assignments made)... 2.46 c Sol. found (all assignments made)... 2.46 c Sol. found (all assignments made)... 2.47 c Sol. found (all assignments made)... 2.47 c Sol. found (all assignments made)... 2.47 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.50 c Sol. found (all assignments made)... 2.50 c Sol. found (all assignments made)... 2.51 c Sol. found (all assignments made)... 2.51 c Sol. found (all assignments made)... 2.52 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.54 c Sol. found (all assignments made)... 2.54 c Sol. found (all assignments made)... 2.54 c Sol. found (all assignments made)... 2.55 c Sol. found (all assignments made)... 2.55 c Sol. found (all assignments made)... 2.55 c Sol. found (all assignments made)... 2.55 c Sol. found (all assignments made)... 2.55 c Sol. found (all assignments made)... 2.56 c Sol. found (all assignments made)... 2.57 c Restart #5 #Var: 3299 LB: -1187 @ 2.558 2.58 c Sol. found (all assignments made)... 2.58 o 32734 2.58 c NEW SOLUTION FOUND: 32734 @ 2.567 2.58 c Sol. found (all assignments made)... 2.58 c Sol. found (all assignments made)... 2.58 o 32355 2.58 c NEW SOLUTION FOUND: 32355 @ 2.573 2.59 c Sol. found (all assignments made)... 2.59 c Sol. found (all assignments made)... 2.59 c Sol. found (all assignments made)... 2.59 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.61 c Sol. found (all assignments made)... 2.61 c Sol. found (all assignments made)... 2.61 c Sol. found (all assignments made)... 2.61 c Sol. found (all assignments made)... 2.62 c Sol. found (all assignments made)... 2.62 c Sol. found (all assignments made)... 2.63 c Sol. found (all assignments made)... 2.63 c Sol. found (all assignments made)... 2.63 c Sol. found (all assignments made)... 2.64 c Sol. found (all assignments made)... 2.64 c Sol. found (all assignments made)... 2.64 c Sol. found (all assignments made)... 2.65 c Sol. found (all assignments made)... 2.65 c Sol. found (all assignments made)... 2.65 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.75 c Sol. found (all assignments made)... 2.75 c Sol. found (all assignments made)... 2.75 c Sol. found (all assignments made)... 2.76 c Sol. found (all assignments made)... 2.76 c Sol. found (all assignments made)... 2.76 c Sol. found (all assignments made)... 2.77 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.06 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.31 c Sol. found (all assignments made)... 3.32 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.40 c Sol. found (all assignments made)... 3.40 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.43 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.45 c Sol. found (all assignments made)... 3.45 c Sol. found (all assignments made)... 3.45 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.47 c Sol. found (all assignments made)... 3.47 c Sol. found (all assignments made)... 3.48 c Sol. found (all assignments made)... 3.48 c Sol. found (all assignments made)... 3.48 c Sol. found (all assignments made)... 3.49 c Sol. found (all assignments made)... 3.49 c Sol. found (all assignments made)... 3.49 c Sol. found (all assignments made)... 3.50 c Sol. found (all assignments made)... 3.52 c Sol. found (all assignments made)... 3.52 c Sol. found (all assignments made)... 3.52 c Sol. found (all assignments made)... 3.52 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.54 c Sol. found (all assignments made)... 3.54 c Sol. found (all assignments made)... 3.54 c Sol. found (all assignments made)... 3.55 c Sol. found (all assignments made)... 3.55 c Sol. found (all assignments made)... 3.55 c Sol. found (all assignments made)... 3.56 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.60 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.87 c Restart #6 #Var: 3299 LB: -1187 @ 3.862 4.50 c Restart #7 #Var: 3299 LB: -1187 @ 4.487 5.22 c Restart #8 #Var: 3299 LB: -1187 @ 5.215 5.26 c Sol. found (all assignments made)... 5.26 o 28175 5.26 c NEW SOLUTION FOUND: 28175 @ 5.246 6.12 c Restart #9 #Var: 3299 LB: -1187 @ 6.111 7.31 c Restart #10 #Var: 3299 LB: -1187 @ 7.3 8.27 c Restart #11 #Var: 3299 LB: -1187 @ 8.259 10.17 c Restart #12 #Var: 3299 LB: -1187 @ 10.152 13.59 c CHANGE to LPR mode... UB: 28175 MIS: -345 LPR: 795 (0.17925) Diff: -0.43396 13.59 c Restart #0 #Var: 3299 LB: -1187 @ 13.573 326.87 c Restart #1 #Var: 3299 LB: 795 @ 326.76 435.71 c Restart #2 #Var: 3299 LB: 795 @ 435.57 538.62 c Restart #3 #Var: 3299 LB: 795 @ 538.45 649.88 c Restart #4 #Var: 3299 LB: 795 @ 649.67 762.82 c Restart #5 #Var: 3299 LB: 795 @ 762.58 891.51 c Restart #6 #Var: 3299 LB: 795 @ 891.23 999.10 c Restart #7 #Var: 3299 LB: 795 @ 998.79 1083.21 o 27043 1083.21 c NEW SOLUTION FOUND: 27043 @ 1082.9 1083.40 o 26664 1083.40 c NEW SOLUTION FOUND: 26664 @ 1083.1 1123.14 c Restart #8 #Var: 3299 LB: 795 @ 1122.8 1304.89 c Restart #9 #Var: 3299 LB: 795 @ 1304.5 1420.55 c Restart #10 #Var: 3299 LB: 795 @ 1420.1 1504.83 o 26288 1504.83 c NEW SOLUTION FOUND: 26288 @ 1504.4 1581.23 c Restart #11 #Var: 3299 LB: 795 @ 1580.8 1788.87 c Restart #12 #Var: 3299 LB: 795 @ 1788.3 1800.74 s SATISFIABLE 1800.74 c Cost: 26288 1800.74 v x862 -x1082 -x1742 -x2995 x3 -x433 -x863 -x1083 x1303 -x2843 x2996 -x3149 -x4 -x864 x1084 -x5 x220 -x865 -x1085 -x1525 x2997 1800.74 v -x3150 x6 x866 -x1086 -x1746 -x2998 -x7 x222 -x652 -x867 -x1087 -x1527 x1747 -x1967 x2999 -x3152 -x8 x223 -x653 -x868 -x1088 1800.74 v -x1528 x1748 -x1968 -x3000 x3153 x9 -x224 -x869 x1089 -x1529 -x2189 -x2409 -x2629 -x3001 -x3154 -x870 -x1530 -x2849 -x3002 1800.74 v x3155 -x225 x440 -x655 -x1311 x1531 -x1751 -x1971 x226 -x441 -x872 -x1092 x1312 -x1532 -x1752 -x2850 -x3003 x227 -x442 -x1313 1800.74 v -x1533 x1753 x2851 x443 -x658 -x1314 -x1974 -x2852 x14 -x229 -x875 -x1095 -x1755 x3006 -x230 x660 x1536 -x1976 -x2636 x447 1800.74 v -x878 -x1098 -x1318 x1758 -x2855 -x3008 -x1759 -x18 -x233 x663 -x880 -x1100 x1540 -x1760 -x1980 -x3009 x3162 x234 -x664 1800.74 v -x881 -x1101 -x1541 x1761 -x1981 -x3010 x20 -x882 -x1102 x2202 x3011 -x3164 -x666 -x883 -x1103 x1983 x22 -x452 -x884 -x1104 1800.74 v x1324 -x2859 x3012 -x3165 x238 -x1545 x2425 x24 x2206 x25 -x240 -x455 -x887 x1107 -x1327 -x1547 x2861 -x3014 -x3167 x456 1800.74 v -x1328 -x1768 x457 -x1329 -x1769 x28 -x243 -x890 -x1110 -x1550 x3015 -x3168 -x29 x244 -x891 x1111 -x1551 -x3016 -x3169 x245 1800.74 v -x892 -x1112 -x1552 x2432 -x3017 -x31 x246 -x461 x893 -x1113 -x1333 -x1553 -x2865 -x3018 x3171 -x463 x1335 -x1775 -x249 1800.74 v -x896 -x1116 x1556 -x35 -x250 x465 -x897 x1117 -x1337 -x1557 -x2866 -x3019 x3172 x36 -x898 -x1118 -x37 -x252 x467 -x899 -x1119 1800.74 v -x1339 x1779 -x2867 -x3020 x3173 -x683 -x1780 x2000 -x39 -x901 -x1121 x2441 -x3021 x3174 x40 -x902 -x1122 x2222 -x2442 -x2662 1800.74 v x3022 -x3175 -x41 x256 -x1563 x42 -x257 -x1564 -x2664 -x3176 -x43 -x905 -x1125 x2445 -x3024 x3177 x44 -x259 x1566 x260 -x907 1800.74 v -x1127 -x1567 -x46 x261 x908 -x1128 -x1568 -x3025 x3178 x47 -x909 -x1129 x48 -x910 -x1130 x49 -x694 -x911 -x1131 x2011 x50 1800.74 v -x265 -x695 -x912 -x1132 x1572 -x1792 -x2012 -x3026 -x3179 -x51 x266 -x696 x913 -x1133 -x1573 -x1793 -x2013 -x3027 x3180 1800.74 v x267 -x914 -x1134 -x1574 x1794 -x53 x268 -x698 -x915 -x1135 -x1575 x1795 -x2015 -x699 -x1796 x2016 x55 -x700 -x917 -x1137 1800.74 v -x1797 x2017 x3028 -x3181 x486 -x701 -x1358 -x2018 x2458 -x2678 -x2876 x487 -x702 -x919 x1139 -x1359 -x1799 -x2019 -x2877 1800.74 v -x3030 x273 -x1580 x2460 x704 -x921 -x1141 -x2021 x2681 x3031 x705 -x1802 -x2022 x491 -x923 -x1143 -x1363 x1803 -x2879 x3032 1800.74 v -x277 x492 -x1364 x1584 -x1804 -x2880 -x278 x493 -x708 -x925 x1145 -x1365 -x1585 -x1805 -x2025 -x2881 -x3034 -x279 -x926 1800.74 v -x1146 x1586 -x1806 x3035 x65 -x927 -x1147 -x496 -x928 x1148 -x1368 -x1808 x2883 -x3036 x929 -x1149 -x2029 -x3037 x3190 1800.74 v -x282 x712 -x930 -x1150 x1590 -x2030 -x3038 x283 x931 -x1151 -x1591 -x1811 -x3039 x714 -x932 -x1152 -x1812 -x2032 x2472 1800.74 v -x2692 x3040 x70 -x933 -x1153 -x2693 x3041 -x3194 x501 -x934 -x1154 -x1374 -x1814 x2474 -x2694 -x2889 -x3042 x72 -x287 -x1155 1800.74 v x1375 -x1595 -x1815 -x2890 x3043 -x3196 -x73 -x936 x1156 -x2696 -x3044 x3197 x74 -x504 -x937 -x1157 x1377 -x2892 x3045 -x3198 1800.74 v x720 -x938 -x1158 x1818 -x2038 x3046 x721 -x939 -x1159 -x2039 x2259 -x2479 -x2699 x3047 -x292 -x940 -x1160 x1600 -x1820 1800.74 v -x2260 -x2480 -x2700 x3048 -x78 -x293 x508 -x941 -x1161 -x1381 x1601 -x2896 x3049 -x3202 x509 -x942 -x1162 -x1382 x2262 1800.74 v -x2897 x3050 x80 -x510 -x725 -x943 -x1163 x1383 -x2043 x2704 x3204 x511 -x726 x945 -x1165 -x1385 -x2045 -x2899 -x3052 -x82 1800.74 v x297 -x946 x1166 -x1606 -x2706 -x83 x947 -x1167 -x1387 -x3053 x3206 x84 x2708 -x300 -x949 -x1169 x1609 -x2269 -x2489 x3054 1800.74 v x301 -x516 x1390 -x1610 -x1830 -x2902 x302 -x517 -x951 -x1171 x1391 -x1611 -x88 x733 -x952 x1172 -x2052 -x3056 x3209 x89 1800.74 v -x304 -x519 -x953 -x1173 x1393 -x1613 -x2713 -x90 -x520 x1394 x521 -x955 -x1175 -x1395 -x307 x522 -x1396 -x1616 x1836 -x2904 1800.74 v -x93 x308 -x1177 x1397 -x1617 -x1837 -x2905 -x3058 x3211 -x94 x309 -x524 -x958 x1618 -x2058 x2906 -x3059 x95 x959 -x1179 1800.74 v -x2499 -x3060 -x3213 x96 -x311 -x741 -x960 -x1180 x1620 -x1840 -x2060 x3061 -x3214 x742 -x961 x1181 -x2061 -x3062 -x98 -x313 1800.74 v x528 x962 -x1182 -x1402 -x1622 -x2910 -x3063 x3216 -x99 x529 -x744 -x963 -x1183 -x1403 x2063 x315 -x530 -x964 -x1184 -x1404 1800.74 v -x1624 x1844 -x2911 x3064 -x101 x316 -x531 -x965 x1405 -x1625 -x2912 -x3065 x3218 x317 -x532 -x966 -x1186 x1406 -x1626 -x2913 1800.74 v x3066 -x3219 x533 -x748 -x1407 x2067 -x2914 x319 x968 -x1188 -x1628 -x1848 -x3068 -x320 -x535 x750 -x1409 -x1629 x1849 -x2069 1800.74 v x2916 -x536 x751 -x1410 -x1850 -x2070 x2730 -x107 x752 -x971 -x1191 x1851 -x2071 x323 -x538 -x1412 -x1632 x1852 -x2732 x2917 1800.74 v x109 -x973 -x1193 -x2293 x2513 -x2733 -x110 x325 -x540 x974 -x1194 -x1414 -x1634 -x1854 x2918 -x3071 -x3224 x326 -x975 -x1195 1800.74 v -x1635 x757 -x976 -x1196 x1856 -x2076 x3072 -x328 x543 -x977 x1197 -x1417 -x1637 -x2920 -x3073 -x759 -x978 -x1198 x2078 1800.74 v x115 -x330 -x545 -x979 -x1199 x1419 -x1639 -x2921 x3074 -x3227 -x116 x331 -x980 -x1200 x1420 -x1640 -x2922 x3075 -x3228 1800.74 v -x117 x332 -x547 x981 -x1201 -x1421 -x1641 x2923 -x3076 -x3229 x118 -x548 -x763 x982 -x1202 -x1422 -x2082 x2924 -x3077 -x3230 1800.74 v x334 -x1643 x120 -x550 -x765 -x984 -x1204 x1424 -x2084 -x2925 x3078 -x3231 -x121 x551 -x766 -x985 -x1205 -x1425 x2085 -x2926 1800.74 v x3079 -x3232 -x122 -x337 -x552 x767 -x986 -x1206 -x1426 -x1646 x1866 -x2086 x2927 -x3080 -x3233 -x123 x553 -x768 -x987 -x1207 1800.74 v -x1427 x2087 -x2928 -x3081 x3234 x769 -x988 x1208 -x1868 -x2088 -x3082 x125 -x989 -x1209 x3083 -x3236 -x341 x771 -x990 x1210 1800.74 v -x1650 -x1870 -x2090 -x3084 -x127 -x991 -x1211 -x1871 -x2091 x2531 -x2751 -x3085 x3238 -x558 -x992 x1212 -x1432 -x2312 1800.74 v x2933 -x3086 -x129 -x344 x3240 -x130 x345 -x994 -x1214 -x1654 -x3088 x3241 x131 -x346 -x561 -x1435 -x1875 x2936 -x3242 -x996 1800.74 v -x1216 -x1876 -x2756 x3090 x348 -x563 -x778 x1437 -x1657 -x1877 -x2097 -x349 -x564 x779 -x1438 -x1658 x1878 -x2098 -x999 1800.74 v -x1219 -x1879 x2759 x3091 -x136 x781 x1000 -x1220 -x2100 -x2939 -x3092 x3245 x137 -x567 -x1001 -x1221 -x1441 x2940 -x3093 1800.74 v -x3246 -x783 -x1002 -x1222 -x1882 x2102 x3094 x784 -x1003 -x1223 x1883 -x2103 -x2763 -x355 x785 -x1664 x1884 -x2104 -x356 1800.74 v x571 -x786 -x1445 x1665 -x1885 -x2105 x357 -x572 -x787 -x1446 -x1666 -x1886 x2106 -x143 -x358 x788 -x1007 x1227 -x1667 -x1887 1800.74 v -x2107 -x3095 x3248 -x144 x359 -x789 -x1008 -x1228 -x1668 -x1888 x2108 x3096 -x3249 x360 -x1009 -x1229 -x1669 x146 -x576 1800.74 v -x1010 -x1230 -x1450 x2944 -x3097 -x3250 -x147 x362 -x577 -x1011 x1231 -x1451 -x1671 -x2945 -x3098 x3251 -x363 x793 -x1012 1800.74 v -x1232 x1672 -x1892 -x2112 x3099 x149 -x2773 -x3253 x2554 -x2774 x150 -x365 -x795 -x1015 -x1235 x1675 -x1895 -x2115 x3101 1800.74 v -x3254 -x796 x2116 -x2557 x2777 -x1018 -x1238 -x152 -x367 x582 x798 -x2119 x2559 -x369 -x1020 -x1240 x1680 x155 x2341 -x371 1800.74 v -x1022 x1242 -x1682 -x157 x587 -x1023 x1243 -x1463 -x2951 -x3104 x3257 -x373 x588 -x803 -x1464 x1684 -x1904 -x2124 -x2952 1800.74 v -x374 x589 -x804 -x1025 -x1245 -x1465 -x1685 -x1905 x2125 -x2953 -x3106 -x160 -x375 x590 x1026 -x1246 -x1466 -x1686 -x2786 1800.74 v x161 -x591 -x806 x1027 -x1247 -x1467 -x2127 x2954 -x3107 -x3260 x162 -x1028 -x1248 -x1908 x3108 -x3261 x163 -x593 -x1029 1800.74 v x1249 -x1469 x2956 -x3109 -x3262 -x164 -x379 x809 -x1030 x1250 -x1690 -x1910 -x2130 -x3110 x3263 -x165 -x1031 -x1251 -x1911 1800.74 v -x3111 x3264 x811 -x1032 -x1252 -x2132 x2572 -x3112 -x1913 x167 -x597 -x1034 x1254 -x1474 x2960 -x3113 -x3266 x168 -x383 1800.74 v -x813 -x1035 -x1255 x1695 -x1915 -x2135 x3114 -x3267 -x814 -x1916 x2136 -x170 -x600 -x1037 -x1257 x1477 -x2962 -x3115 x3268 1800.74 v x171 x2798 -x172 x1039 -x1259 -x2799 -x3116 x3269 -x173 -x388 -x1040 -x1260 x1920 x3117 -x174 x389 -x604 x1041 -x1261 -x1481 1800.74 v -x1701 x2965 -x3118 -x3271 x175 -x390 x1042 -x1262 -x1482 -x1702 x391 -x1703 x1923 x177 -x392 x1704 -x3272 -x393 x1705 -x1925 1800.74 v -x1926 -x179 -x394 x609 -x1047 -x1267 -x1487 x1707 -x1927 -x2967 x3120 -x3273 x180 -x1048 -x1268 x2808 x3121 -x3274 -x181 1800.74 v x396 -x611 -x826 -x1489 -x1709 x2149 x2969 -x3275 -x397 -x612 -x1050 -x1270 -x1490 x1710 x2970 -x3123 x2371 -x2811 x399 1800.74 v -x1052 x1272 -x1712 -x185 -x400 x830 x1713 -x1933 -x2153 x616 -x831 -x1494 -x2154 x2594 -x2814 -x2971 -x187 x617 -x1495 1800.74 v x2595 -x2972 x3278 x404 -x1057 -x1277 -x1717 x1937 x3126 x190 -x2378 -x406 -x621 x836 x1059 -x1279 -x1499 -x1719 -x2159 1800.74 v x2974 -x3127 x622 x1060 -x1280 -x1500 -x1940 -x2975 -x3128 x838 x3129 x409 -x1061 -x1281 -x1721 -x2601 x2821 x3130 x840 1800.74 v -x1062 -x1282 -x1942 -x2162 -x2602 x2822 x3131 x196 -x1063 -x1283 x1504 -x2164 x197 x1945 -x198 -x628 x843 -x1066 x1286 1800.74 v -x1506 -x2166 x2979 -x3132 -x3285 -x414 -x1067 -x1287 x1727 -x1947 -x2607 x3133 -x415 x630 -x2981 x201 -x416 -x631 x1068 1800.74 v -x1288 -x1508 -x1728 x2982 -x3135 -x3288 -x202 x632 -x1069 -x1289 -x1509 -x2983 x3136 -x3289 x203 -x1070 -x1290 -x2830 1800.74 v x3137 -x3290 -x204 -x634 x849 -x1071 -x1291 -x1511 -x2171 x2985 -x3138 -x3291 x420 -x1072 -x1292 -x1732 x1952 x3139 x421 1800.74 v -x1733 x852 -x1074 -x1294 x1954 -x2174 -x1075 -x1295 x3140 x423 -x1076 -x1296 -x1956 x2616 -x2836 x3141 x424 x1077 -x1297 1800.74 v -x2617 -x2837 -x3142 x1518 -x2178 x425 -x1079 -x1299 -x1739 -x1959 x3143 -x212 x427 -x3144 x3297 x428 -x214 x429 -x644 -x1080 1800.74 v -x1300 x1520 -x1740 -x2992 -x3145 x3298 -x215 -x430 x645 x1081 -x1301 -x1521 -x1741 -x2993 -x3146 x3299 x646 -x861 -x2994 1800.74 v -x217 -x1522 -x2182 -x2402 -x2622 -x218 -x648 -x1523 -x1743 -x1963 -x2183 -x2403 -x2623 -x2184 -x2404 -x2624 -x435 -x650 1800.74 v -x1305 -x1745 -x1965 x2185 -x2405 -x2625 -x2844 -x221 -x651 -x1526 -x1966 -x2186 -x2406 -x2626 -x2187 -x2407 -x2627 -x2188 1800.74 v -x2408 -x2628 -x439 -x654 -x1309 -x1749 -x1969 x2848 -x2190 -x2410 -x2630 -x2191 -x2411 -x2631 -x12 -x873 -x1093 -x2193 1800.74 v -x2413 -x2633 -x3004 -x3157 -x13 -x228 -x874 -x1094 -x1534 -x1754 -x2194 x2414 -x2634 -x3005 x3158 -x659 -x1975 -x2195 1800.74 v -x2415 -x2635 -x445 -x876 -x1096 -x1316 -x1756 -x2196 -x2416 -x16 -x2197 -x2417 x2637 -x3160 -x17 -x232 -x662 -x1538 -x1978 1800.74 v -x2198 x3161 -x879 -x1099 -x1319 -x1539 -x1979 x2199 -x2419 -x2639 -x448 -x1320 -x2200 -x2420 -x2640 -x2856 -x19 -x449 1800.74 v -x1321 -x2201 -x2421 -x2641 x2857 -x3163 -x235 -x450 -x665 -x1322 -x1542 -x1762 -x1982 -x2422 -x2642 -x2858 -x21 -x236 1800.74 v x451 -x1323 -x1543 -x1763 -x2203 -x2423 -x2643 -x237 -x667 -x1544 -x1764 -x1984 -x2204 -x2424 -x2644 -x23 -x453 -x1325 1800.74 v -x2205 x2860 -x3166 -x239 -x669 -x886 -x1106 -x1546 -x1766 -x1986 -x2426 -x2646 -x670 -x1767 -x1987 -x2207 -x2427 -x2647 1800.74 v -x26 -x2208 -x2428 -x27 -x2209 -x2429 -x458 -x673 -x1330 -x1770 -x1990 x2210 -x2430 -x2650 -x2862 -x459 -x674 -x1331 -x1771 1800.74 v -x1991 -x2211 -x2431 -x2651 x2863 -x460 -x675 -x1332 -x1992 -x2864 -x676 -x1773 -x1993 -x2213 -x2433 -x2653 -x33 -x248 1800.74 v x678 -x895 -x1115 -x1555 -x1995 -x2215 -x2435 -x2655 -x34 -x464 x679 -x1336 -x1776 -x1996 -x2216 -x2436 -x2656 -x2217 -x2437 1800.74 v -x2657 -x251 -x466 -x681 -x1338 -x1558 -x1778 -x1998 -x2218 x2438 -x2658 -x682 -x1999 -x2219 -x2439 -x2659 -x38 x253 -x468 1800.74 v -x900 -x1120 -x1340 -x1560 -x2220 -x2440 -x2660 x254 -x469 -x684 -x1341 -x1561 -x1781 -x2001 -x2221 -x2661 -x2868 -x255 1800.74 v -x470 -x685 -x1342 -x1562 -x1782 -x2002 -x2869 -x471 -x686 -x903 -x1123 -x1343 -x1783 -x2003 x2223 -x2443 -x2663 -x258 1800.74 v x473 -x688 -x1345 -x1565 -x1785 -x2005 -x2225 -x2665 -x2871 -x474 -x689 -x906 -x1126 -x1346 -x1786 -x2006 -x2226 -x2446 1800.74 v -x2666 -x45 -x475 -x690 -x1347 -x1787 -x2007 -x2227 x2447 -x2667 -x476 -x691 -x1348 -x1788 -x2008 -x2228 -x2448 -x2668 1800.74 v -x2872 -x262 -x477 -x692 -x1349 -x1569 -x1789 -x2009 x2229 -x2449 -x2669 -x263 -x478 -x693 -x1350 -x1570 -x1790 x2010 -x2230 1800.74 v -x2450 -x2670 -x264 -x479 -x1351 -x1571 -x1791 -x480 -x1352 -x2232 -x2452 -x2672 x2873 -x481 -x1353 -x2233 -x2453 -x2673 1800.74 v -x2874 -x52 -x482 -x697 -x1354 -x2014 -x2234 -x2454 -x2674 -x483 -x1355 -x2235 -x2455 -x2675 -x54 x269 -x484 -x916 -x1136 1800.74 v -x1356 -x1576 -x2236 -x2456 -x2676 -x270 -x485 -x1357 -x1577 -x2237 -x2457 -x2677 -x2875 -x56 -x271 -x918 -x1138 -x1578 1800.74 v -x1798 -x2238 -x3029 x3182 -x57 -x272 -x1579 -x2239 -x2459 -x2679 x3183 -x58 -x488 -x703 -x920 -x1140 -x1360 -x1800 -x2020 1800.74 v -x2240 -x2680 -x59 -x274 -x489 -x1361 -x1581 -x1801 -x2241 -x2461 -x2878 -x3184 -x60 -x275 -x490 -x922 -x1142 -x1362 -x1582 1800.74 v x2242 -x2462 -x2682 -x61 -x276 -x706 -x1583 -x2023 -x2243 -x2463 -x2683 -x3185 -x2244 -x2464 -x2684 -x2245 -x2465 -x2685 1800.74 v -x64 -x494 x709 -x1366 -x2026 -x2246 -x2466 -x2686 -x2882 -x3188 -x280 -x495 -x710 -x1367 -x1587 -x1807 x2027 -x2247 -x2467 1800.74 v -x2687 -x66 x281 -x711 -x1588 -x2028 -x2248 -x2468 -x2688 -x3189 -x1369 -x1589 -x1809 -x2249 -x2469 -x2689 -x2884 -x497 1800.74 v -x1370 -x1810 -x2250 -x2470 -x2690 -x2885 -x498 -x1371 -x2251 -x2471 -x2691 x2886 -x69 -x499 -x1372 -x2252 -x2887 -x3193 1800.74 v -x285 -x500 -x715 -x1373 -x1593 -x1813 x2033 -x2253 -x2473 -x2888 -x71 -x286 -x716 -x1594 -x2034 -x2254 x3195 -x288 x503 1800.74 v -x718 -x1376 -x1596 -x1816 -x2036 -x2256 -x2476 -x2891 -x289 -x719 -x1597 -x1817 -x2037 -x2257 -x2477 -x2697 -x75 -x290 1800.74 v -x505 -x1378 -x1598 -x2258 -x2478 -x2698 -x2893 -x3199 -x76 -x291 -x506 -x1379 -x1599 -x2894 -x3200 -x77 -x507 x722 -x1380 1800.74 v -x2040 -x2895 -x3201 -x79 -x294 -x724 -x1602 -x1822 -x2042 -x2482 -x2702 -x3203 -x295 -x1603 -x1823 -x2263 -x2483 -x2703 1800.74 v -x944 -x1164 -x1384 -x1604 -x1824 -x2044 -x2264 -x2484 -x2898 -x3051 -x81 -x296 -x1605 -x1825 -x2265 -x2485 -x2705 x3205 1800.74 v -x512 -x727 -x1386 -x1826 -x2046 -x2266 -x2486 -x298 -x1607 -x1827 -x2267 -x2487 -x2707 -x299 -x514 -x729 -x948 -x1168 1800.74 v -x1388 -x1608 -x1828 -x2048 -x2268 -x85 x515 -x730 -x1389 -x1829 -x2049 -x2709 -x2901 -x3207 -x2270 -x2490 -x2710 -x87 1800.74 v -x732 -x1831 -x2051 -x2271 -x2491 -x2711 -x303 -x518 -x1392 -x1612 -x1832 -x2272 -x2492 -x2712 -x2903 -x734 -x1833 -x2053 1800.74 v -x2273 -x2493 -x305 x735 -x954 -x1174 -x1614 -x1834 -x2054 -x2274 -x2494 -x2714 -x91 -x306 -x736 -x1615 -x1835 -x2055 x2275 1800.74 v -x2495 -x2715 -x2276 -x2496 -x2716 -x739 -x1838 -x2278 -x2498 -x2718 -x3212 -x525 -x1399 -x2279 x2907 -x526 -x1400 -x2280 1800.74 v -x2500 -x2720 -x2908 -x97 -x312 -x1621 -x2281 -x2501 -x2721 -x3215 -x2282 -x2502 -x2722 -x314 -x1623 -x1843 -x2283 -x2503 1800.74 v -x2723 -x100 -x745 -x2064 -x2284 -x2504 -x2724 -x3217 -x2285 -x2505 -x2725 -x747 -x1846 -x2066 -x2286 -x2506 -x2726 -x103 1800.74 v -x318 -x967 -x1187 -x1627 -x1847 -x2287 -x2507 -x2727 -x3067 x3220 -x105 -x969 -x1189 -x2289 -x2509 -x2729 -x3069 -x3222 1800.74 v -x322 -x537 -x1411 -x1631 -x2291 -x2511 -x2731 -x108 -x753 -x972 -x1192 -x2072 -x2292 -x2512 -x3070 -x3223 -x324 -x539 1800.74 v -x754 -x1413 -x1633 -x1853 -x2073 -x755 -x2074 -x2294 -x2514 -x2734 -x111 -x541 -x756 -x1415 -x1855 -x2075 -x2295 x2515 1800.74 v -x2735 -x112 -x327 -x542 -x1416 -x1636 -x2296 -x2516 -x2736 -x2919 -x3225 -x113 -x758 -x2077 -x2297 -x2517 -x2737 x3226 1800.74 v x114 -x329 -x1638 -x2298 -x2518 -x2299 -x2519 -x2739 -x2300 -x2520 -x2740 -x2301 -x2521 -x2741 -x333 -x1642 -x2302 -x119 1800.74 v -x549 -x764 -x983 -x1203 -x1423 -x1863 -x2083 x2523 -x2743 -x335 -x1644 -x1864 -x2304 -x2524 -x2744 -x336 -x1645 -x2306 1800.74 v -x2526 -x2746 -x338 -x1647 -x1867 -x2307 -x339 -x1648 -x2308 -x2528 -x2748 -x770 -x1869 -x2089 -x2309 -x2529 x2749 -x556 1800.74 v -x1430 -x2310 -x2530 -x2750 x2931 -x557 -x1431 -x2311 -x2932 -x343 -x773 -x1652 -x1872 -x2092 -x2532 -x2752 -x2313 -x2314 1800.74 v -x2534 -x2754 -x2315 -x132 x562 -x1436 -x2937 -x3243 -x133 -x997 -x1217 -x2317 -x2537 -x2757 -x134 -x998 -x1218 -x2318 1800.74 v -x2538 -x2758 -x565 -x1439 -x2938 -x351 -x1660 -x1880 -x2320 -x2540 -x2760 -x352 -x782 -x1661 -x1881 -x2101 x2321 -x2541 1800.74 v -x2761 -x353 -x568 -x1442 -x1662 -x2322 -x2542 -x2762 -x2941 -x139 -x354 -x569 -x1443 -x1663 -x2323 -x2543 -x140 -x1004 1800.74 v -x1224 -x2324 -x2544 -x2764 -x141 -x1005 -x1225 -x2325 -x2545 -x2765 -x2326 -x2546 -x2766 -x573 -x1447 -x2327 -x2547 -x2767 1800.74 v -x2942 -x574 -x1448 -x2328 -x2548 -x2768 -x2943 -x575 -x790 -x1449 -x1889 -x2109 -x2329 x2549 -x2769 -x361 -x791 -x1670 1800.74 v -x1890 -x2110 x2330 -x2550 -x2770 -x148 -x578 -x1452 -x2946 -x3252 -x580 -x1455 -x2335 -x2555 -x2775 -x2948 -x366 -x1676 1800.74 v -x1017 -x1237 -x1457 -x1677 -x1897 -x2117 -x2337 -x1458 -x1678 -x1898 -x2338 -x2558 -x2778 -x797 -x153 -x368 -x583 -x1019 1800.74 v -x1239 -x1459 -x1679 -x1899 -x2339 -x2779 x2950 -x3103 -x3256 x799 -x2120 -x2340 -x2560 -x2780 -x370 -x585 -x800 -x1461 1800.74 v -x1681 -x1901 -x2121 -x2561 -x2781 -x156 -x586 x801 -x1462 -x1902 -x2122 -x2342 -x2562 -x2782 -x372 -x802 -x1683 -x1903 1800.74 v -x2123 -x2343 -x2563 -x2783 -x158 -x1024 -x1244 -x2344 -x2564 -x2784 -x3105 x3258 -x159 -x2345 -x2565 -x2785 x3259 -x805 1800.74 v -x1906 -x2126 -x2346 -x2566 -x376 -x1687 -x1907 -x2347 -x2567 -x2787 -x377 -x592 -x807 -x1468 -x1688 -x2128 -x2348 -x2568 1800.74 v x2788 -x2955 -x378 -x808 -x1689 -x1909 -x2129 -x2349 -x2569 -x2789 -x594 -x1470 -x2350 -x2570 -x2790 -x2957 -x595 -x1471 1800.74 v -x2351 -x2571 -x2791 -x2958 -x381 -x596 -x1472 -x1692 -x1912 -x2352 -x2792 -x2959 -x1033 -x1253 -x1473 -x1693 -x2133 -x2353 1800.74 v -x2573 x2793 -x2354 -x2574 -x2794 -x598 -x1475 -x2355 -x2961 -x169 -x384 x599 -x1036 -x1256 -x1476 -x1696 -x2356 -x2576 1800.74 v -x2796 -x385 x815 -x1697 -x1917 -x2137 -x2357 -x2577 -x2797 -x386 -x601 -x816 -x1038 -x1258 -x1478 -x1698 -x1918 -x2138 1800.74 v -x2358 -x2578 -x818 -x2140 -x2360 -x2580 -x2800 -x2361 -x2581 -x2801 -x2362 -x2582 -x2802 -x176 -x606 -x821 -x1043 -x1263 1800.74 v -x1483 -x2143 -x2363 -x2583 -x2803 -x2364 -x2584 -x2804 -x178 -x608 x823 -x1045 -x1265 -x1485 -x2145 -x2365 -x2585 -x2805 1800.74 v -x1046 -x1266 -x1486 -x1706 -x2146 -x2366 -x2586 x2806 -x395 -x610 -x825 -x1488 -x1708 -x1928 -x2148 -x2368 -x2588 -x2968 1800.74 v -x1049 -x1269 -x1929 -x2369 -x2589 -x2809 -x3122 -x182 x827 -x1930 -x2150 -x2370 -x2590 -x2810 -x3276 -x398 -x613 -x828 1800.74 v -x1051 -x1271 -x1491 -x1711 -x1931 -x2151 -x184 -x614 -x829 -x1492 -x1932 -x2152 -x2372 -x2592 -x2812 -x2373 -x2593 -x2813 1800.74 v -x186 -x401 -x1054 -x1274 -x1714 x3124 -x3277 -x619 -x834 -x1497 -x2157 -x2973 -x405 -x620 -x835 -x1058 x1278 -x1498 -x1718 1800.74 v -x1938 -x2158 -x2598 -x2818 -x1939 -x2379 -x2599 -x2819 -x837 -x2160 -x2380 -x2600 -x2820 -x193 -x408 -x623 -x2976 -x3282 1800.74 v -x194 -x624 -x839 -x1501 -x1941 -x2161 -x2381 -x2977 -x3283 -x195 -x410 -x625 -x1502 -x1722 -x2382 -x2978 -x3284 -x411 1800.74 v -x626 -x841 -x1503 -x1723 -x1943 -x2163 -x2383 x2603 -x2823 -x1064 -x1284 -x1724 -x1944 -x2384 -x2604 -x2824 -x413 -x1726 1800.74 v -x1946 -x2386 -x629 -x844 -x1507 -x2167 -x2387 -x2980 -x2388 -x2608 -x2828 -x417 -x1729 -x418 -x633 -x848 -x1510 -x1730 1800.74 v -x1950 x2170 -x2390 -x2610 -x2984 -x419 -x1731 -x1951 -x2391 -x2611 x2831 -x205 -x635 -x850 -x1512 -x2172 -x2392 -x2612 1800.74 v -x2832 -x2986 -x3292 -x206 -x636 -x851 -x1073 -x1293 -x1513 -x1953 -x2173 -x2613 -x2833 -x637 -x1514 -x2394 -x2614 -x2834 1800.74 v -x208 -x638 -x1516 -x2988 -x3294 -x209 -x639 -x1517 -x2397 x2989 -x3295 -x1078 -x1298 -x1738 -x1958 -x2398 -x2618 -x2838 1800.74 v -x642 -x857 -x2991 -x213 -x643 -x858 -x859 -x1960 -x2180 -x2400 -x2620 -x2840 -x860 -x1961 -x2181 -x2401 -x2621 -x2841 1800.74 v -x216 -x3147 x3300 x1 -x2 -x10 -x11 -x15 -x30 -x32 -x62 -x63 -x67 -x68 -x86 -x92 -x102 -x104 -x106 -x124 -x126 x128 x135 x138 1800.74 v -x142 -x145 -x151 -x154 -x166 x183 -x188 -x189 -x191 -x192 x199 -x200 -x207 -x210 -x211 -x219 -x231 -x241 -x242 -x247 -x284 1800.74 v -x310 -x321 -x340 -x342 -x347 -x350 -x364 x380 -x382 -x387 -x402 -x403 -x407 -x412 -x422 -x426 -x431 -x432 x434 -x436 -x437 1800.74 v -x438 -x444 -x446 -x454 x462 -x472 -x502 x513 -x523 -x527 -x534 -x544 -x546 -x554 -x555 -x559 -x560 -x566 -x570 -x579 x581 1800.74 v -x584 x602 x603 -x605 -x607 -x615 x618 -x627 -x640 -x641 x647 -x649 -x656 -x657 x661 -x668 -x671 -x672 -x677 -x680 -x687 -x707 1800.74 v -x713 -x717 -x723 -x728 -x731 -x737 -x738 -x740 -x743 -x746 -x749 -x760 -x761 -x762 x772 x774 -x775 -x776 -x777 -x780 -x792 1800.74 v -x794 -x810 -x812 -x817 -x819 -x820 -x822 -x824 -x832 -x833 -x842 -x845 -x846 -x847 -x853 -x854 -x855 x856 -x871 -x877 -x885 1800.74 v -x888 -x889 -x894 -x904 -x924 -x935 -x950 -x956 -x957 -x970 -x993 -x995 -x1006 -x1013 -x1014 -x1016 -x1021 -x1044 -x1053 1800.74 v -x1055 -x1056 -x1065 -x1090 -x1091 -x1097 -x1105 -x1108 -x1109 -x1114 -x1124 -x1144 -x1170 -x1176 -x1178 -x1185 -x1190 1800.74 v -x1213 -x1215 -x1226 -x1233 -x1234 -x1236 -x1241 -x1264 -x1273 -x1275 -x1276 -x1285 -x1302 -x1304 -x1306 -x1307 -x1308 1800.74 v x1310 x1315 -x1317 -x1326 -x1334 x1344 -x1398 -x1401 -x1408 -x1418 -x1428 -x1429 -x1433 x1434 -x1440 -x1444 -x1453 -x1454 1800.74 v -x1456 -x1460 -x1479 -x1480 -x1484 -x1493 -x1496 -x1505 -x1515 -x1519 -x1524 -x1535 -x1537 -x1548 -x1549 -x1554 -x1559 1800.74 v -x1592 -x1619 -x1630 -x1649 -x1651 -x1653 -x1655 -x1656 -x1659 -x1673 -x1674 -x1691 -x1694 -x1699 -x1700 -x1715 -x1716 1800.74 v -x1720 -x1725 -x1734 -x1735 -x1736 -x1737 -x1744 -x1750 -x1757 -x1765 -x1772 -x1774 -x1777 -x1784 -x1819 -x1821 -x1839 1800.74 v -x1841 -x1842 -x1845 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1865 -x1873 -x1874 -x1891 -x1893 -x1894 -x1896 -x1900 1800.74 v -x1914 -x1919 -x1921 -x1922 -x1924 -x1934 -x1935 -x1936 -x1948 -x1949 -x1955 -x1957 -x1962 -x1964 -x1970 -x1972 -x1973 1800.74 v -x1977 -x1985 -x1988 -x1989 -x1994 -x1997 -x2004 -x2024 -x2031 -x2035 -x2041 -x2047 -x2050 -x2056 -x2057 -x2059 -x2062 1800.74 v -x2065 -x2068 -x2079 -x2080 -x2081 -x2093 -x2094 -x2095 x2096 -x2099 -x2111 -x2113 -x2114 x2118 x2131 -x2134 -x2139 -x2141 1800.74 v -x2142 -x2144 -x2147 -x2155 -x2156 -x2165 -x2168 -x2169 x2175 -x2176 -x2177 x2179 -x2192 -x2212 -x2214 -x2224 -x2231 -x2255 1800.74 v -x2261 -x2277 -x2288 -x2290 -x2303 -x2305 -x2316 -x2319 -x2331 -x2332 x2333 -x2334 -x2336 -x2359 -x2367 -x2374 -x2375 1800.74 v x2376 -x2377 -x2385 -x2389 x2393 -x2395 -x2396 -x2399 -x2412 -x2418 -x2434 -x2444 -x2451 -x2475 -x2481 -x2488 -x2497 -x2508 1800.74 v -x2510 -x2522 -x2525 -x2527 x2533 -x2535 -x2536 -x2539 -x2551 -x2552 -x2553 -x2556 -x2575 -x2579 -x2587 -x2591 -x2596 1800.74 v -x2597 -x2605 -x2606 -x2609 -x2615 -x2619 -x2632 -x2638 -x2645 x2648 x2649 -x2652 x2654 -x2671 -x2695 -x2701 -x2717 -x2719 1800.74 v -x2728 -x2738 -x2742 -x2745 -x2747 -x2753 x2755 -x2771 -x2772 -x2776 -x2795 -x2807 -x2815 -x2816 -x2817 -x2825 -x2826 1800.74 v -x2827 x2829 -x2835 -x2839 x2842 x2845 -x2846 -x2847 -x2853 -x2854 -x2870 -x2900 x2909 x2915 x2929 -x2930 -x2934 -x2935 1800.74 v x2947 -x2949 -x2963 -x2964 x2966 -x2987 -x2990 x3007 -x3013 x3023 -x3033 -x3055 -x3057 -x3087 -x3089 -x3100 -x3102 -x3119 1800.74 v -x3125 -x3134 -x3148 -x3151 x3156 -x3159 x3170 x3186 x3187 x3191 -x3192 x3208 x3210 -x3221 -x3235 -x3237 -x3239 -x3244 1800.74 v -x3247 x3255 x3265 -x3270 -x3279 -x3280 x3281 -x3286 x3287 -x3293 -x3296 1800.74 c Exit Code: 10 1800.74 c Total time: 1800.2 s
OK 26288
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node79/watcher-40091-1149365180 -o ROOT/results/node79/solver-40091-1149365180 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node79/40091-1149365180/instance-40091-1149365180.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 2/67 6182 /proc/meminfo: memFree=1747688/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=3440 CPUtime=0 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 63 0 0 0 0 0 0 0 18 0 1 0 202156619 3522560 46 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2601194 0 0 4096 0 0 0 0 17 1 0 0 /proc/6182/statm: 860 46 33 55 0 42 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.97 2/67 6182 /proc/meminfo: memFree=1741800/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=10404 CPUtime=9.98 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 2216 0 0 0 996 2 0 0 25 0 1 0 202156619 10653696 1771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6182/statm: 2601 1771 294 55 0 1492 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 10404 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.97 2/67 6182 /proc/meminfo: memFree=1738608/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=14388 CPUtime=19.97 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 14153 0 0 0 1990 7 0 0 25 0 1 0 202156619 14733312 2718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159169726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3597 2718 431 55 0 2488 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 14388 [startup+30.0143 s] /proc/loadavg: 0.95 0.96 0.97 2/67 6182 /proc/meminfo: memFree=1739248/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12836 CPUtime=29.99 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 21140 0 0 0 2988 11 0 0 25 0 1 0 202156619 13144064 2521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3209 2521 431 55 0 2100 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 12836 [startup+40.0194 s] /proc/loadavg: 0.95 0.96 0.97 2/67 6182 /proc/meminfo: memFree=1739248/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=13200 CPUtime=39.98 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 27989 0 0 0 3984 14 0 0 25 0 1 0 202156619 13516800 2541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160200165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3300 2541 431 55 0 2191 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 13200 [startup+50.0255 s] /proc/loadavg: 0.96 0.96 0.97 2/67 6182 /proc/meminfo: memFree=1739312/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12836 CPUtime=49.99 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 35281 0 0 0 4982 17 0 0 25 0 1 0 202156619 13144064 2521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3209 2521 431 55 0 2100 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 12836 [startup+60.0315 s] /proc/loadavg: 0.97 0.96 0.97 2/67 6182 /proc/meminfo: memFree=1739312/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12836 CPUtime=59.99 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 42277 0 0 0 5978 21 0 0 25 0 1 0 202156619 13144064 2521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3209 2521 431 55 0 2100 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 12836 [startup+70.0376 s] /proc/loadavg: 0.97 0.96 0.97 2/67 6182 /proc/meminfo: memFree=1739312/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=14368 CPUtime=69.99 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 49419 0 0 0 6976 23 0 0 25 0 1 0 202156619 14712832 2671 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159214028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3592 2671 431 55 0 2483 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 14368 [startup+80.0437 s] /proc/loadavg: 0.98 0.96 0.97 2/67 6182 /proc/meminfo: memFree=1739312/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12836 CPUtime=79.99 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 55725 0 0 0 7973 26 0 0 25 0 1 0 202156619 13144064 2521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3209 2521 431 55 0 2100 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 12836 [startup+90.0498 s] /proc/loadavg: 0.98 0.96 0.97 2/67 6182 /proc/meminfo: memFree=1738800/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=14428 CPUtime=90 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 61713 0 0 0 8970 30 0 0 25 0 1 0 202156619 14774272 2688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3607 2688 431 55 0 2498 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 14428 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.97 2/67 6182 /proc/meminfo: memFree=1738160/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=14428 CPUtime=99.99 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 67921 0 3 0 9967 32 0 0 25 0 1 0 202156619 14774272 2691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159242885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3607 2691 440 55 0 2498 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 14428 [startup+110.061 s] /proc/loadavg: 0.98 0.96 0.97 2/67 6182 /proc/meminfo: memFree=1738800/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12888 CPUtime=110 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 74191 0 3 0 10965 35 0 0 25 0 1 0 202156619 13197312 2542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3222 2542 440 55 0 2113 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 12888 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.97 2/67 6182 /proc/meminfo: memFree=1738352/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=14420 CPUtime=120.01 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 80188 0 3 0 11963 38 0 0 25 0 1 0 202156619 14766080 2690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159354509 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3605 2690 440 55 0 2496 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 14420 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.97 2/67 6182 /proc/meminfo: memFree=1738928/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12836 CPUtime=130.01 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 86694 0 3 0 12960 41 0 0 25 0 1 0 202156619 13144064 2530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3209 2530 440 55 0 2100 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 12836 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.97 2/67 6182 /proc/meminfo: memFree=1738416/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=14356 CPUtime=140.01 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 92948 0 3 0 13958 43 0 0 25 0 1 0 202156619 14700544 2696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159169943 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3589 2696 440 55 0 2480 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 14356 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.97 2/67 6182 /proc/meminfo: memFree=1738928/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12836 CPUtime=150.01 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 100109 0 3 0 14956 45 0 0 25 0 1 0 202156619 13144064 2530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3209 2530 440 55 0 2100 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 12836 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.97 2/67 6182 /proc/meminfo: memFree=1738864/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12836 CPUtime=160.02 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 106674 0 3 0 15954 48 0 0 25 0 1 0 202156619 13144064 2530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3036541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3209 2530 440 55 0 2100 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 12836 [startup+170.095 s] /proc/loadavg: 0.99 0.97 0.97 2/67 6182 /proc/meminfo: memFree=1738864/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12836 CPUtime=170.02 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 113019 0 3 0 16951 51 0 0 25 0 1 0 202156619 13144064 2530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3209 2530 440 55 0 2100 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 12836 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.97 2/67 6182 /proc/meminfo: memFree=1738864/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=13140 CPUtime=180.02 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 118893 0 3 0 17948 54 0 0 25 0 1 0 202156619 13455360 2538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160200615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3285 2538 440 55 0 2176 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 13140 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.97 2/67 6182 /proc/meminfo: memFree=1738864/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12884 CPUtime=190.03 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 124645 0 3 0 18946 57 0 0 25 0 1 0 202156619 13193216 2531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3221 2531 440 55 0 2112 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 12884 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.97 2/67 6182 /proc/meminfo: memFree=1738864/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=12836 CPUtime=200.02 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 130519 0 3 0 19942 60 0 0 25 0 1 0 202156619 13144064 2530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 3209 2530 440 55 0 2100 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 12836 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.97 2/67 6182 /proc/meminfo: memFree=1738864/2055892 swapFree=4085416/4096564 ################ # More data... # ################ /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 20048 [startup+1771.03 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1770.5 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 176564 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1770.5 Current children cumulated vsize (Kb) 20048 [startup+1781.04 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1780.5 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 177564 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3032411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1780.5 Current children cumulated vsize (Kb) 20048 [startup+1782.04 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1781.5 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 177664 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 20048 [startup+1783.05 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1782.51 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 177765 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 20048 [startup+1784.05 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1783.51 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 177865 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160278122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 20048 [startup+1785.06 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1784.52 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 177966 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158588080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 20048 [startup+1786.06 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1785.52 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 178066 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 20048 [startup+1787.07 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1786.52 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 178166 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3064247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 20048 [startup+1788.07 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1787.53 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 178267 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3028782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 20048 [startup+1789.08 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1788.53 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 178367 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 20048 [startup+1790.08 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1789.54 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 178468 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 20048 [startup+1791.09 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1790.54 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 178568 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 20048 [startup+1792.09 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1791.55 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 178669 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159003335 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 20048 [startup+1793.1 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1792.55 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 178769 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159499082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 20048 [startup+1794.1 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1793.56 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 178870 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160493868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 20048 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1794.56 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 178970 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159495716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 20048 [startup+1796.11 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1795.56 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 179070 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 20048 [startup+1797.11 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1796.57 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 179171 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159169830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 20048 [startup+1798.12 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1797.57 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 179271 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159495710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (Kb) 20048 [startup+1799.12 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1798.58 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 179372 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160493868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 20048 [startup+1800.13 s] /proc/loadavg: 1.00 0.99 0.98 2/67 6182 /proc/meminfo: memFree=1731632/2055892 swapFree=4085416/4096564 [pid=6182] ppid=6180 vsize=20048 CPUtime=1799.58 /proc/6182/stat : 6182 (bsolo) R 6180 6182 6136 0 -1 0 1032376 0 3 0 179472 486 0 0 25 0 1 0 202156619 20529152 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160352040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6182/statm: 5012 4335 442 55 0 3903 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 20048 Child status: 10 Real time (s): 1800.75 CPU time (s): 1800.21 CPU user time (s): 1795.34 CPU system time (s): 4.87126 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (Kb): 22280
Begin job on node79 on Sat Jun 3 20:06:20 UTC 2006 FILE ID= 40091-1149365180 PBS_JOBID= 311787 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node79/40091-1149365180/instance-40091-1149365180.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node79/watcher-40091-1149365180 -o ROOT/results/node79/solver-40091-1149365180 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node79/40091-1149365180/instance-40091-1149365180.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 8fd497081fcc2923cbeefd2c48cb5010 RANDOM SEED= 459008718 /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.234 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 : 6006.18 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.234 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1748088 kB Buffers: 29840 kB Cached: 216504 kB SwapCached: 2400 kB Active: 46224 kB Inactive: 208856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1748088 kB SwapTotal: 4096564 kB SwapFree: 4085416 kB Dirty: 144 kB Writeback: 0 kB Mapped: 16668 kB Slab: 39372 kB Committed_AS: 332332 kB PageTables: 1304 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node79 on Sat Jun 3 20:36:21 UTC 2006