Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -47 | 1800.02 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb |
MD5SUM | f7a936a02ddf18c17dc27b7b53733ab1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126163 |
Number of constraints which are clauses | 126163 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
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. 1.76 c Initial problem consists of 1534 variables and 126163 constraints. 23.09 c No problem reductions applied in OPT. instance. 23.09 c preprocess terminated. Elapsed time: 23.069 23.09 c After prepocess the problem consists of 1534 variables and 126163 constraints. 23.09 c Initial Lower Bound: -1534 23.20 c Sol. found (all assignments made)... 23.20 o -3 23.20 c NEW SOLUTION FOUND: -3 @ 23.185 23.20 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 o -4 23.21 c NEW SOLUTION FOUND: -4 @ 23.193 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 o -5 23.27 c NEW SOLUTION FOUND: -5 @ 23.258 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 o -6 23.39 c NEW SOLUTION FOUND: -6 @ 23.374 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.63 c Restart #1 #Var: 1534 LB: -1534 @ 23.613 23.75 c Sol. found (all assignments made)... 23.75 o -41 23.75 c NEW SOLUTION FOUND: -41 @ 23.732 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.88 c Sol. found (all assignments made)... 23.88 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 24.11 c Restart #2 #Var: 1534 LB: -1534 @ 24.096 24.24 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.24 o -43 24.24 c NEW SOLUTION FOUND: -43 @ 24.223 24.24 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.25 c Sol. found (all assignments made)... 24.25 c Sol. found (all assignments made)... 24.25 c Sol. found (all assignments made)... 24.25 c Sol. found (all assignments made)... 24.25 c Sol. found (all assignments made)... 24.25 c Sol. found (all assignments made)... 24.26 c Sol. found (all assignments made)... 24.26 c Sol. found (all assignments made)... 24.28 c Sol. found (all assignments made)... 24.28 c Sol. found (all assignments made)... 24.28 c Sol. found (all assignments made)... 24.28 c Sol. found (all assignments made)... 24.28 c Sol. found (all assignments made)... 24.28 c Sol. found (all assignments made)... 24.28 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.31 c Sol. found (all assignments made)... 24.31 c Sol. found (all assignments made)... 24.31 c Sol. found (all assignments made)... 24.32 c Sol. found (all assignments made)... 24.32 c Sol. found (all assignments made)... 24.32 c Sol. found (all assignments made)... 24.32 c Sol. found (all assignments made)... 24.32 c Sol. found (all assignments made)... 24.32 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.73 c Restart #3 #Var: 1534 LB: -1534 @ 24.714 24.86 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.90 c Sol. found (all assignments made)... 24.90 c Sol. found (all assignments made)... 24.90 c Sol. found (all assignments made)... 24.90 c Sol. found (all assignments made)... 24.90 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.08 c Sol. found (all assignments made)... 25.08 c Sol. found (all assignments made)... 25.08 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.09 o -44 25.09 c NEW SOLUTION FOUND: -44 @ 25.072 25.09 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.13 c Sol. found (all assignments made)... 25.13 c Sol. found (all assignments made)... 25.13 c Sol. found (all assignments made)... 25.13 c Sol. found (all assignments made)... 25.13 c Sol. found (all assignments made)... 25.13 c Sol. found (all assignments made)... 25.13 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.15 c Sol. found (all assignments made)... 25.15 c Sol. found (all assignments made)... 25.15 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.17 c Sol. found (all assignments made)... 25.17 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.19 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.21 c Sol. found (all assignments made)... 25.21 c Sol. found (all assignments made)... 25.21 c Sol. found (all assignments made)... 25.22 c Sol. found (all assignments made)... 25.22 c Sol. found (all assignments made)... 25.25 c Sol. found (all assignments made)... 25.25 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.28 c Sol. found (all assignments made)... 25.28 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.33 c Sol. found (all assignments made)... 25.35 c Sol. found (all assignments made)... 25.35 c Sol. found (all assignments made)... 25.36 c Sol. found (all assignments made)... 25.36 c Sol. found (all assignments made)... 25.36 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.38 c Sol. found (all assignments made)... 25.38 c Sol. found (all assignments made)... 25.38 c Sol. found (all assignments made)... 25.38 c Sol. found (all assignments made)... 25.38 c Sol. found (all assignments made)... 25.38 c Sol. found (all assignments made)... 25.38 c Sol. found (all assignments made)... 25.39 c Sol. found (all assignments made)... 25.39 c Sol. found (all assignments made)... 25.39 c Sol. found (all assignments made)... 25.39 c Sol. found (all assignments made)... 25.40 c Sol. found (all assignments made)... 25.42 c Sol. found (all assignments made)... 25.42 c Sol. found (all assignments made)... 25.42 c Sol. found (all assignments made)... 25.45 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.47 c Sol. found (all assignments made)... 25.49 c Sol. found (all assignments made)... 25.49 c Sol. found (all assignments made)... 25.49 c Sol. found (all assignments made)... 25.49 c Sol. found (all assignments made)... 25.70 c Restart #4 #Var: 1534 LB: -1534 @ 25.686 26.01 c Sol. found (all assignments made)... 26.01 c Sol. found (all assignments made)... 26.03 c Sol. found (all assignments made)... 26.13 c Sol. found (all assignments made)... 26.19 c Sol. found (all assignments made)... 26.19 c Sol. found (all assignments made)... 26.34 c Sol. found (all assignments made)... 26.35 c Sol. found (all assignments made)... 26.35 c Sol. found (all assignments made)... 26.40 c Sol. found (all assignments made)... 26.40 c Sol. found (all assignments made)... 26.57 c Restart #5 #Var: 1534 LB: -1534 @ 26.552 26.70 c Sol. found (all assignments made)... 26.72 c Sol. found (all assignments made)... 26.77 c Sol. found (all assignments made)... 26.77 c Sol. found (all assignments made)... 26.77 c Sol. found (all assignments made)... 26.78 c Sol. found (all assignments made)... 26.78 c Sol. found (all assignments made)... 26.78 c Sol. found (all assignments made)... 26.79 c Sol. found (all assignments made)... 26.79 c Sol. found (all assignments made)... 26.79 c Sol. found (all assignments made)... 26.80 c Sol. found (all assignments made)... 26.80 c Sol. found (all assignments made)... 26.81 c Sol. found (all assignments made)... 26.81 c Sol. found (all assignments made)... 26.81 c Sol. found (all assignments made)... 26.81 c Sol. found (all assignments made)... 26.81 c Sol. found (all assignments made)... 26.81 c Sol. found (all assignments made)... 26.81 c Sol. found (all assignments made)... 26.82 c Sol. found (all assignments made)... 26.82 c Sol. found (all assignments made)... 26.82 c Sol. found (all assignments made)... 26.82 c Sol. found (all assignments made)... 26.84 c Sol. found (all assignments made)... 26.84 c Sol. found (all assignments made)... 26.85 c Sol. found (all assignments made)... 26.86 c Sol. found (all assignments made)... 26.86 c Sol. found (all assignments made)... 26.92 c Sol. found (all assignments made)... 26.92 c Sol. found (all assignments made)... 26.98 c Sol. found (all assignments made)... 26.99 c Sol. found (all assignments made)... 26.99 c Sol. found (all assignments made)... 27.00 c Sol. found (all assignments made)... 27.09 c Sol. found (all assignments made)... 27.09 c Sol. found (all assignments made)... 27.15 c Sol. found (all assignments made)... 27.16 c Sol. found (all assignments made)... 27.19 c Sol. found (all assignments made)... 27.22 c Sol. found (all assignments made)... 27.23 c Sol. found (all assignments made)... 27.23 c Sol. found (all assignments made)... 27.32 c Sol. found (all assignments made)... 27.32 c Sol. found (all assignments made)... 27.57 c Restart #6 #Var: 1534 LB: -1534 @ 27.547 27.70 c Sol. found (all assignments made)... 27.71 c Sol. found (all assignments made)... 27.71 c Sol. found (all assignments made)... 27.71 c Sol. found (all assignments made)... 27.72 c Sol. found (all assignments made)... 27.72 c Sol. found (all assignments made)... 27.72 c Sol. found (all assignments made)... 27.74 c Sol. found (all assignments made)... 27.74 c Sol. found (all assignments made)... 27.74 c Sol. found (all assignments made)... 27.74 c Sol. found (all assignments made)... 27.78 c Sol. found (all assignments made)... 27.78 c Sol. found (all assignments made)... 27.79 c Sol. found (all assignments made)... 27.80 c Sol. found (all assignments made)... 27.82 c Sol. found (all assignments made)... 27.82 c Sol. found (all assignments made)... 27.82 c Sol. found (all assignments made)... 27.82 c Sol. found (all assignments made)... 27.83 c Sol. found (all assignments made)... 27.83 c Sol. found (all assignments made)... 27.84 c Sol. found (all assignments made)... 27.84 c Sol. found (all assignments made)... 27.84 c Sol. found (all assignments made)... 27.84 c Sol. found (all assignments made)... 27.84 c Sol. found (all assignments made)... 27.85 c Sol. found (all assignments made)... 27.85 c Sol. found (all assignments made)... 27.85 o -45 27.85 c NEW SOLUTION FOUND: -45 @ 27.828 27.85 c Sol. found (all assignments made)... 27.86 c Sol. found (all assignments made)... 27.86 c Sol. found (all assignments made)... 27.90 c Sol. found (all assignments made)... 27.90 c Sol. found (all assignments made)... 27.91 c Sol. found (all assignments made)... 27.91 c Sol. found (all assignments made)... 27.95 c Sol. found (all assignments made)... 27.96 c Sol. found (all assignments made)... 27.97 c Sol. found (all assignments made)... 27.97 c Sol. found (all assignments made)... 28.07 c Sol. found (all assignments made)... 28.07 c Sol. found (all assignments made)... 28.09 c Sol. found (all assignments made)... 28.09 c Sol. found (all assignments made)... 28.10 c Sol. found (all assignments made)... 28.10 c Sol. found (all assignments made)... 28.11 c Sol. found (all assignments made)... 28.11 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 28.24 c Sol. found (all assignments made)... 28.24 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.26 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.33 c Sol. found (all assignments made)... 28.33 c Sol. found (all assignments made)... 28.39 c Sol. found (all assignments made)... 28.39 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.41 c Sol. found (all assignments made)... 28.41 c Sol. found (all assignments made)... 28.41 c Sol. found (all assignments made)... 28.42 c Sol. found (all assignments made)... 28.42 c Sol. found (all assignments made)... 28.42 c Sol. found (all assignments made)... 28.42 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.44 c Sol. found (all assignments made)... 28.44 c Sol. found (all assignments made)... 28.44 c Sol. found (all assignments made)... 28.44 c Sol. found (all assignments made)... 28.45 c Sol. found (all assignments made)... 28.45 c Sol. found (all assignments made)... 28.45 c Sol. found (all assignments made)... 28.45 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 o -46 28.47 c NEW SOLUTION FOUND: -46 @ 28.449 28.47 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.96 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.98 c Sol. found (all assignments made)... 28.99 c Sol. found (all assignments made)... 28.99 c Sol. found (all assignments made)... 28.99 c Sol. found (all assignments made)... 28.99 c Sol. found (all assignments made)... 29.00 c Sol. found (all assignments made)... 29.00 c Sol. found (all assignments made)... 29.00 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 o -47 29.04 c NEW SOLUTION FOUND: -47 @ 29.019 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.10 c Sol. found (all assignments made)... 29.10 c Sol. found (all assignments made)... 29.11 c Sol. found (all assignments made)... 29.11 c Sol. found (all assignments made)... 30.03 c Restart #7 #Var: 1534 LB: -1534 @ 30.014 31.30 c Restart #8 #Var: 1534 LB: -1534 @ 31.277 32.68 c Restart #9 #Var: 1534 LB: -1534 @ 32.66 34.18 c Restart #10 #Var: 1534 LB: -1534 @ 34.156 226.29 c CHANGE to MIS mode... UB: -47 MIS: -772 LPR: -735 (19.023) Diff: 1.0503 226.29 c Restart #0 #Var: 1534 LB: -1534 @ 226.18 227.03 c Restart #1 #Var: 1534 LB: -1534 @ 226.92 227.78 c Restart #2 #Var: 1534 LB: -1534 @ 227.67 228.72 c Restart #3 #Var: 1534 LB: -1534 @ 228.61 229.77 c Restart #4 #Var: 1534 LB: -1534 @ 229.66 231.06 c Restart #5 #Var: 1534 LB: -1534 @ 230.95 232.56 c Restart #6 #Var: 1534 LB: -772 @ 232.44 234.09 c Restart #7 #Var: 1534 LB: -1534 @ 233.98 235.74 c Restart #8 #Var: 1534 LB: -1534 @ 235.63 237.48 c Restart #9 #Var: 1534 LB: -1534 @ 237.37 239.34 c Restart #10 #Var: 1534 LB: -1534 @ 239.23 241.38 c Restart #11 #Var: 1534 LB: -1534 @ 241.27 243.48 c Restart #12 #Var: 1534 LB: -1534 @ 243.37 245.94 c Restart #13 #Var: 1534 LB: -776 @ 245.82 248.41 c Restart #14 #Var: 1534 LB: -1534 @ 248.3 250.95 c Restart #15 #Var: 1534 LB: -1534 @ 250.84 253.64 c Restart #16 #Var: 1534 LB: -1534 @ 253.52 256.60 c Restart #17 #Var: 1534 LB: -1534 @ 256.48 259.62 c Restart #18 #Var: 1534 LB: -1534 @ 259.51 262.79 c Restart #19 #Var: 1534 LB: -772 @ 262.68 266.15 c Restart #20 #Var: 1534 LB: -1534 @ 266.03 269.49 c Restart #21 #Var: 1534 LB: -1534 @ 269.37 273.05 c Restart #22 #Var: 1534 LB: -1534 @ 272.93 276.72 c Restart #23 #Var: 1534 LB: -1534 @ 276.6 280.60 c Restart #24 #Var: 1534 LB: -1534 @ 280.47 284.52 c Restart #25 #Var: 1534 LB: -1534 @ 284.39 288.52 c Restart #26 #Var: 1534 LB: -1534 @ 288.39 292.71 c Restart #27 #Var: 1534 LB: -1534 @ 292.58 297.07 c Restart #28 #Var: 1534 LB: -1534 @ 296.94 301.62 c Restart #29 #Var: 1534 LB: -1534 @ 301.49 306.27 c Restart #30 #Var: 1534 LB: -1534 @ 306.14 311.01 c Restart #31 #Var: 1534 LB: -1534 @ 310.88 316.00 c Restart #32 #Var: 1534 LB: -1534 @ 315.87 321.02 c Restart #33 #Var: 1534 LB: -1534 @ 320.88 326.22 c Restart #34 #Var: 1534 LB: -1534 @ 326.08 331.51 c Restart #35 #Var: 1534 LB: -773 @ 331.37 337.09 c Restart #36 #Var: 1534 LB: -1534 @ 336.95 342.77 c Restart #37 #Var: 1534 LB: -1534 @ 342.63 348.46 c Restart #38 #Var: 1534 LB: -1534 @ 348.32 354.39 c Restart #39 #Var: 1534 LB: -1534 @ 354.25 360.55 c Restart #40 #Var: 1534 LB: -1534 @ 360.4 366.64 c Restart #41 #Var: 1534 LB: -1534 @ 366.49 372.86 c Restart #42 #Var: 1534 LB: -1534 @ 372.71 379.38 c Restart #43 #Var: 1534 LB: -1534 @ 379.23 385.90 c Restart #44 #Var: 1534 LB: -1534 @ 385.75 392.62 c Restart #45 #Var: 1534 LB: -1534 @ 392.46 399.49 c Restart #46 #Var: 1534 LB: -1534 @ 399.33 406.36 c Restart #47 #Var: 1534 LB: -1534 @ 406.19 413.55 c Restart #48 #Var: 1534 LB: -1534 @ 413.38 415.82 c Sol. found (all assignments made)... 417.53 c Sol. found (all assignments made)... 417.53 c Sol. found (all assignments made)... 417.54 c Sol. found (all assignments made)... 417.56 c Sol. found (all assignments made)... 417.56 c Sol. found (all assignments made)... 418.18 c Sol. found (all assignments made)... 420.73 c Restart #49 #Var: 1534 LB: -1534 @ 420.56 423.22 c Sol. found (all assignments made)... 427.89 c Restart #50 #Var: 1534 LB: -1534 @ 427.73 435.44 c Restart #51 #Var: 1534 LB: -1534 @ 435.27 443.15 c Restart #52 #Var: 1534 LB: -773 @ 442.98 451.02 c Restart #53 #Var: 1534 LB: -1534 @ 450.84 458.86 c Restart #54 #Var: 1534 LB: -1534 @ 458.69 466.83 c Restart #55 #Var: 1534 LB: -1534 @ 466.66 475.04 c Restart #56 #Var: 1534 LB: -1534 @ 474.86 483.16 c Restart #57 #Var: 1534 LB: -1534 @ 482.98 491.49 c Restart #58 #Var: 1534 LB: -1534 @ 491.31 499.95 c Restart #59 #Var: 1534 LB: -1534 @ 499.76 508.75 c Restart #60 #Var: 1534 LB: -1534 @ 508.56 517.70 c Restart #61 #Var: 1534 LB: -1534 @ 517.51 526.64 c Restart #62 #Var: 1534 LB: -1534 @ 526.45 535.84 c Restart #63 #Var: 1534 LB: -1534 @ 535.64 545.19 c Restart #64 #Var: 1534 LB: -1534 @ 544.99 554.75 c Restart #65 #Var: 1534 LB: -1534 @ 554.55 564.14 c Restart #66 #Var: 1534 LB: -1534 @ 563.93 573.74 c Restart #67 #Var: 1534 LB: -1534 @ 573.53 583.52 c Restart #68 #Var: 1534 LB: -1534 @ 583.31 593.44 c Restart #69 #Var: 1534 LB: -1534 @ 593.23 603.36 c Restart #70 #Var: 1534 LB: -1534 @ 603.14 613.61 c Restart #71 #Var: 1534 LB: -1534 @ 613.38 623.93 c Restart #72 #Var: 1534 LB: -1534 @ 623.7 634.57 c Restart #73 #Var: 1534 LB: -1534 @ 634.34 645.11 c Restart #74 #Var: 1534 LB: -1534 @ 644.88 655.98 c Restart #75 #Var: 1534 LB: -1534 @ 655.75 666.87 c Restart #76 #Var: 1534 LB: -1534 @ 666.63 677.68 c Restart #77 #Var: 1534 LB: -1534 @ 677.44 689.03 c Restart #78 #Var: 1534 LB: -1534 @ 688.78 700.25 c Restart #79 #Var: 1534 LB: -1534 @ 700 711.82 c Restart #80 #Var: 1534 LB: -1534 @ 711.57 723.26 c Restart #81 #Var: 1534 LB: -1534 @ 723 734.91 c Restart #82 #Var: 1534 LB: -772 @ 734.65 746.79 c Restart #83 #Var: 1534 LB: -1534 @ 746.52 758.80 c Restart #84 #Var: 1534 LB: -1534 @ 758.53 770.93 c Restart #85 #Var: 1534 LB: -1534 @ 770.66 783.56 c Restart #86 #Var: 1534 LB: -1534 @ 783.29 795.96 c Restart #87 #Var: 1534 LB: -1534 @ 795.68 808.27 c Restart #88 #Var: 1534 LB: -1534 @ 807.99 821.17 c Restart #89 #Var: 1534 LB: -1534 @ 820.88 833.87 c Restart #90 #Var: 1534 LB: -1534 @ 833.58 846.83 c Restart #91 #Var: 1534 LB: -1534 @ 846.54 859.83 c Restart #92 #Var: 1534 LB: -1534 @ 859.54 873.09 c Restart #93 #Var: 1534 LB: -1534 @ 872.79 886.50 c Restart #94 #Var: 1534 LB: -1534 @ 886.2 899.91 c Restart #95 #Var: 1534 LB: -1534 @ 899.6 913.53 c Restart #96 #Var: 1534 LB: -1534 @ 913.22 927.41 c Restart #97 #Var: 1534 LB: -1534 @ 927.09 941.25 c Restart #98 #Var: 1534 LB: -1534 @ 940.93 955.77 c Restart #99 #Var: 1534 LB: -775 @ 955.44 970.06 c Restart #100 #Var: 1534 LB: -1534 @ 969.74 984.07 c Restart #101 #Var: 1534 LB: -1534 @ 983.74 998.48 c Restart #102 #Var: 1534 LB: -1534 @ 998.15 1012.76 c Restart #103 #Var: 1534 LB: -1534 @ 1012.4 1027.28 c Restart #104 #Var: 1534 LB: -1534 @ 1026.9 1042.24 c Restart #105 #Var: 1534 LB: -1534 @ 1041.9 1057.13 c Restart #106 #Var: 1534 LB: -1534 @ 1056.8 1072.13 c Restart #107 #Var: 1534 LB: -1534 @ 1071.8 1087.17 c Restart #108 #Var: 1534 LB: -1534 @ 1086.8 1102.43 c Restart #109 #Var: 1534 LB: -1534 @ 1102.1 1118.06 c Restart #110 #Var: 1534 LB: -1534 @ 1117.7 1133.78 c Restart #111 #Var: 1534 LB: -773 @ 1133.4 1149.66 c Restart #112 #Var: 1534 LB: -1534 @ 1149.3 1165.46 c Restart #113 #Var: 1534 LB: -1534 @ 1165.1 1181.75 c Restart #114 #Var: 1534 LB: -1534 @ 1181.4 1197.70 c Restart #115 #Var: 1534 LB: -1534 @ 1197.3 1214.09 c Restart #116 #Var: 1534 LB: -1534 @ 1213.7 1230.71 c Restart #117 #Var: 1534 LB: -1534 @ 1230.3 1247.28 c Restart #118 #Var: 1534 LB: -1534 @ 1246.9 1263.96 c Restart #119 #Var: 1534 LB: -1534 @ 1263.5 1280.55 c Restart #120 #Var: 1534 LB: -1534 @ 1280.1 1297.39 c Restart #121 #Var: 1534 LB: -1534 @ 1297 1314.38 c Restart #122 #Var: 1534 LB: -1534 @ 1314 1331.76 c Restart #123 #Var: 1534 LB: -1534 @ 1331.3 1348.90 c Restart #124 #Var: 1534 LB: -1534 @ 1348.5 1366.69 c Restart #125 #Var: 1534 LB: -1534 @ 1366.2 1384.25 c Restart #126 #Var: 1534 LB: -1534 @ 1383.8 1402.33 c Restart #127 #Var: 1534 LB: -1534 @ 1401.9 1420.14 c Restart #128 #Var: 1534 LB: -1534 @ 1419.7 1437.90 c Restart #129 #Var: 1534 LB: -1534 @ 1437.4 1456.00 c Restart #130 #Var: 1534 LB: -1534 @ 1455.5 1474.59 c Restart #131 #Var: 1534 LB: -1534 @ 1474.1 1493.17 c Restart #132 #Var: 1534 LB: -1534 @ 1492.7 1512.35 c Restart #133 #Var: 1534 LB: -1534 @ 1511.9 1531.27 c Restart #134 #Var: 1534 LB: -1534 @ 1530.8 1550.35 c Restart #135 #Var: 1534 LB: -1534 @ 1549.9 1569.09 c Restart #136 #Var: 1534 LB: -1534 @ 1568.6 1588.51 c Restart #137 #Var: 1534 LB: -1534 @ 1588 1608.12 c Restart #138 #Var: 1534 LB: -773 @ 1607.6 1627.69 c Restart #139 #Var: 1534 LB: -1534 @ 1627.2 1647.48 c Restart #140 #Var: 1534 LB: -1534 @ 1647 1649.06 c Sol. found (all assignments made)... 1649.06 c Sol. found (all assignments made)... 1649.10 c Sol. found (all assignments made)... 1649.10 c Sol. found (all assignments made)... 1649.11 c Sol. found (all assignments made)... 1649.12 c Sol. found (all assignments made)... 1654.48 c Sol. found (all assignments made)... 1654.49 c Sol. found (all assignments made)... 1654.49 c Sol. found (all assignments made)... 1654.50 c Sol. found (all assignments made)... 1666.76 c Restart #141 #Var: 1534 LB: -1534 @ 1666.2 1687.00 c Restart #142 #Var: 1534 LB: -1534 @ 1686.5 1707.25 c Restart #143 #Var: 1534 LB: -1534 @ 1706.7 1727.49 c Restart #144 #Var: 1534 LB: -1534 @ 1726.9 1747.50 c Restart #145 #Var: 1534 LB: -1534 @ 1746.9 1767.67 c Restart #146 #Var: 1534 LB: -1534 @ 1767.1 1788.88 c Restart #147 #Var: 1534 LB: -1534 @ 1788.3 1800.57 s SATISFIABLE 1800.57 c Cost: -47 1800.57 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1800.57 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1800.57 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1800.57 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1800.57 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 x1452 -x1451 -x1450 1800.57 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1800.57 v -x1432 -x1431 -x1430 -x1429 x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1800.57 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 1800.57 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1800.57 v -x1381 -x1380 -x1379 -x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1800.57 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 1800.57 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 -x1333 -x1332 -x1331 1800.57 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 1800.57 v -x1313 -x1312 -x1311 x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1800.57 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 1800.57 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1800.57 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1800.57 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1800.57 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 1800.57 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 1800.57 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 1800.57 v -x1177 -x1176 -x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 1800.57 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 1800.57 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 1800.57 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 1800.57 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 1800.57 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 1800.57 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 1800.57 v -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 1800.57 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 1800.57 v -x1024 x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 1800.57 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 1800.57 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 1800.57 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 1800.57 v -x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 1800.57 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 1800.57 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 x886 -x885 -x884 1800.57 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 1800.57 v -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 1800.57 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 1800.57 v -x820 -x819 x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 1800.57 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 1800.57 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 1800.57 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 1800.57 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 1800.57 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 1800.57 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 1800.57 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 1800.57 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 1800.57 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 1800.57 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 1800.57 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 1800.57 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 1800.57 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 1800.57 v -x526 -x525 -x524 -x523 x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 1800.57 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 1800.57 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 1800.57 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 1800.57 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 1800.57 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 1800.57 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 1800.57 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 1800.57 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 1800.57 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 1800.57 v x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 1800.57 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 1800.57 v -x274 -x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 1800.57 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 1800.57 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 1800.57 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 1800.57 v -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 1800.57 v -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 1800.57 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 1800.57 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 1800.57 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 1800.57 v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 1800.57 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 1800.57 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 1800.57 v -x3 -x2 -x1 1800.57 c Exit Code: 10 1800.57 c Total time: 1800 s
OK -47
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/node9/watcher-40516-1149300156 -o ROOT/results/node9/solver-40516-1149300156 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/40516-1149300156/instance-40516-1149300156.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.89 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1611976/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=4748 CPUtime=0 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 209 0 0 0 0 0 0 0 18 0 1 0 195677913 4861952 182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 1187 191 144 55 0 79 0 [startup+10.0019 s] /proc/loadavg: 0.91 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1553184/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=63148 CPUtime=9.98 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 15028 0 0 0 989 9 0 0 25 0 1 0 195677913 64663552 14943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 15787 14943 287 55 0 14679 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 63148 [startup+20.008 s] /proc/loadavg: 0.92 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1550368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=66108 CPUtime=19.98 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 15768 0 0 0 1989 9 0 0 25 0 1 0 195677913 67694592 15683 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 16527 15683 287 55 0 15419 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 66108 [startup+30.0142 s] /proc/loadavg: 0.93 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1548704/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=67728 CPUtime=29.99 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 16300 0 0 0 2988 11 0 0 25 0 1 0 195677913 69353472 16119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 16932 16119 297 55 0 15824 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 67728 [startup+40.0203 s] /proc/loadavg: 0.94 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1539616/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=76416 CPUtime=39.98 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 18336 0 3 0 3985 13 0 0 25 0 1 0 195677913 78249984 18078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 19104 18078 308 55 0 17996 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 76416 [startup+50.0275 s] /proc/loadavg: 0.95 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1537952/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=78072 CPUtime=49.99 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 18917 0 3 0 4983 16 0 0 25 0 1 0 195677913 79945728 18521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 19518 18521 308 55 0 18410 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 78072 [startup+60.0336 s] /proc/loadavg: 0.96 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1537056/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=78920 CPUtime=59.98 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 19145 0 3 0 5980 18 0 0 25 0 1 0 195677913 80814080 18749 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 19730 18749 308 55 0 18622 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 78920 [startup+70.0398 s] /proc/loadavg: 0.96 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1536352/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=79620 CPUtime=70 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 19450 0 3 0 6979 21 0 0 25 0 1 0 195677913 81530880 18937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 19905 18937 308 55 0 18797 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 79620 [startup+80.0469 s] /proc/loadavg: 0.97 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1535328/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=80556 CPUtime=80 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 19693 0 3 0 7977 23 0 0 25 0 1 0 195677913 82489344 19180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 20139 19180 308 55 0 19031 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 80556 [startup+90.0531 s] /proc/loadavg: 0.97 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1534304/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=81616 CPUtime=90 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 19967 0 3 0 8974 26 0 0 25 0 1 0 195677913 83574784 19454 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 20404 19454 308 55 0 19296 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 81616 [startup+100.059 s] /proc/loadavg: 0.98 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1534112/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=81784 CPUtime=100.01 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 20016 0 3 0 9973 28 0 0 25 0 1 0 195677913 83746816 19503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 20446 19503 308 55 0 19338 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 81784 [startup+110.066 s] /proc/loadavg: 0.98 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1533920/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=81944 CPUtime=110.01 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 20062 0 3 0 10971 30 0 0 25 0 1 0 195677913 83910656 19549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 20486 19549 308 55 0 19378 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 81944 [startup+120.073 s] /proc/loadavg: 0.98 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1532704/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=83116 CPUtime=120 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 20361 0 3 0 11968 32 0 0 25 0 1 0 195677913 85110784 19848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 20779 19848 308 55 0 19671 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 83116 [startup+130.08 s] /proc/loadavg: 0.98 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1532576/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=83248 CPUtime=130.01 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 20400 0 3 0 12967 34 0 0 25 0 1 0 195677913 85245952 19887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 20812 19887 308 55 0 19704 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 83248 [startup+140.086 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1486688/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=165860 CPUtime=139.99 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 36569 0 9 0 13958 41 0 0 25 0 1 0 195677913 169840640 31173 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 41465 31173 413 55 0 40357 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 165860 [startup+150.092 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1485728/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=166848 CPUtime=149.99 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 36832 0 9 0 14958 41 0 0 25 0 1 0 195677913 170852352 31428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160245846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 41712 31428 414 55 0 40604 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 166848 [startup+160.098 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1485984/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=150996 CPUtime=160 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 40184 0 9 0 15957 43 0 0 25 0 1 0 195677913 154619904 31306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 37749 31306 414 55 0 36641 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 150996 [startup+170.104 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1485984/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=150996 CPUtime=170 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 40207 0 9 0 16957 43 0 0 25 0 1 0 195677913 154619904 31311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347458 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 37749 31311 414 55 0 36641 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 150996 [startup+180.111 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1485984/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=150996 CPUtime=180.01 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 40225 0 9 0 17958 43 0 0 25 0 1 0 195677913 154619904 31311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160276766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 37749 31311 414 55 0 36641 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 150996 [startup+190.118 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1482016/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=169232 CPUtime=190.01 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 41277 0 9 0 18957 44 0 0 25 0 1 0 195677913 173293568 32337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 42308 32337 415 55 0 41200 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 169232 [startup+200.124 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1507744/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=115780 CPUtime=200.01 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 153712 0 9 0 19908 93 0 0 25 0 1 0 195677913 118558720 25873 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 28945 25873 436 55 0 27837 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 115780 [startup+210.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1502944/2055920 swapFree=4180864/4192956 ################ # More data... # ################ /proc/16727/statm: 26127 25045 436 55 0 25019 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 104508 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510816/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=104640 CPUtime=1770.5 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439140 0 9 0 176709 341 0 0 25 0 1 0 195677913 107151360 25092 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551476 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26160 25092 436 55 0 25052 0 Current children cumulated CPU time (s) 1770.5 Current children cumulated vsize (Kb) 104640 [startup+1781.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510560/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=104848 CPUtime=1780.51 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439248 0 9 0 177709 342 0 0 25 0 1 0 195677913 107364352 25126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26212 25126 436 55 0 25104 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 104848 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510560/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=104848 CPUtime=1781.51 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439248 0 9 0 177809 342 0 0 25 0 1 0 195677913 107364352 25126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26212 25126 436 55 0 25104 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 104848 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510560/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=104740 CPUtime=1782.52 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439248 0 9 0 177910 342 0 0 25 0 1 0 195677913 107253760 25117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9096630 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26185 25117 436 55 0 25077 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 104740 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510560/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=104740 CPUtime=1783.52 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439248 0 9 0 178010 342 0 0 25 0 1 0 195677913 107253760 25117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9096690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26185 25117 436 55 0 25077 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 104740 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510560/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=104872 CPUtime=1784.52 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439259 0 9 0 178110 342 0 0 25 0 1 0 195677913 107388928 25128 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9105030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26218 25128 436 55 0 25110 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 104872 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510560/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105004 CPUtime=1785.54 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439300 0 9 0 178211 343 0 0 25 0 1 0 195677913 107524096 25169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26251 25169 436 55 0 25143 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 105004 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510560/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105004 CPUtime=1786.54 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439300 0 9 0 178311 343 0 0 25 0 1 0 195677913 107524096 25169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26251 25169 436 55 0 25143 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 105004 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1787.54 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 178411 343 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 105136 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1788.55 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 178512 343 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 105136 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1789.55 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 178612 343 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 105136 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1790.55 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 178712 343 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 105136 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1791.55 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 178812 343 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 105136 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1792.57 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 178913 344 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9098109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 105136 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1793.57 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 179013 344 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 105136 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1794.58 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 179114 344 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 105136 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1795.58 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 179214 344 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 105136 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1796.59 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 179315 344 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 105136 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1797.59 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 179415 344 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 105136 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1798.59 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 179515 344 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 105136 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16727 /proc/meminfo: memFree=1510368/2055920 swapFree=4180864/4192956 [pid=16727] ppid=16725 vsize=105136 CPUtime=1799.59 /proc/16727/stat : 16727 (bsolo) R 16725 16727 16681 0 -1 0 439340 0 9 0 179615 344 0 0 25 0 1 0 195677913 107659264 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16727/statm: 26284 25209 436 55 0 25176 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 105136 Child status: 10 Real time (s): 1800.6 CPU time (s): 1800.02 CPU user time (s): 1796.56 CPU system time (s): 3.46247 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (Kb): 182144
Begin job on node9 on Sat Jun 3 02:02:36 UTC 2006 FILE ID= 40516-1149300156 PBS_JOBID= 307319 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/40516-1149300156/instance-40516-1149300156.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-40516-1149300156 -o ROOT/results/node9/solver-40516-1149300156 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/40516-1149300156/instance-40516-1149300156.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= f7a936a02ddf18c17dc27b7b53733ab1 RANDOM SEED= 804370956 /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 : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1612184 kB Buffers: 20860 kB Cached: 361092 kB SwapCached: 3744 kB Active: 42168 kB Inactive: 348460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1612184 kB SwapTotal: 4192956 kB SwapFree: 4180864 kB Dirty: 1588 kB Writeback: 0 kB Mapped: 14720 kB Slab: 39192 kB Committed_AS: 291516 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node9 on Sat Jun 3 02:32:37 UTC 2006