Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -41 | 1800.02 | 1800.59 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
MD5SUM | e81d6b8e8ff8ec031773b7b65d16ea78 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -50 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80258 |
Number of constraints which are clauses | 80258 |
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 | 1150 |
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 | 1150 |
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 | 1150 |
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.12 c Initial problem consists of 1150 variables and 80258 constraints. 12.28 c No problem reductions applied in OPT. instance. 12.28 c preprocess terminated. Elapsed time: 12.267 12.28 c After prepocess the problem consists of 1150 variables and 80258 constraints. 12.28 c Initial Lower Bound: -1150 12.35 c Sol. found (all assignments made)... 12.35 o -1 12.35 c NEW SOLUTION FOUND: -1 @ 12.337 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 o -2 12.36 c NEW SOLUTION FOUND: -2 @ 12.345 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 o -3 12.37 c NEW SOLUTION FOUND: -3 @ 12.36 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 o -4 12.46 c NEW SOLUTION FOUND: -4 @ 12.443 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.52 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.53 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.54 c Sol. found (all assignments made)... 12.55 c Sol. found (all assignments made)... 12.55 c Sol. found (all assignments made)... 12.55 c Sol. found (all assignments made)... 12.55 c Sol. found (all assignments made)... 12.62 c Restart #1 #Var: 1150 LB: -1150 @ 12.607 12.69 c Sol. found (all assignments made)... 12.69 o -31 12.69 c NEW SOLUTION FOUND: -31 @ 12.682 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 o -32 12.70 c NEW SOLUTION FOUND: -32 @ 12.684 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.84 c Sol. found (all assignments made)... 12.84 c Sol. found (all assignments made)... 12.84 c Sol. found (all assignments made)... 12.84 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.86 c Sol. found (all assignments made)... 12.86 c Sol. found (all assignments made)... 12.86 c Sol. found (all assignments made)... 12.86 c Sol. found (all assignments made)... 12.86 c Sol. found (all assignments made)... 12.86 c Sol. found (all assignments made)... 12.86 c Sol. found (all assignments made)... 12.86 c Sol. found (all assignments made)... 12.87 c Sol. found (all assignments made)... 12.87 c Sol. found (all assignments made)... 12.87 c Sol. found (all assignments made)... 12.87 c Sol. found (all assignments made)... 12.87 c Sol. found (all assignments made)... 12.87 c Sol. found (all assignments made)... 12.87 c Sol. found (all assignments made)... 12.87 c Sol. found (all assignments made)... 12.88 c Sol. found (all assignments made)... 12.88 c Sol. found (all assignments made)... 12.88 c Sol. found (all assignments made)... 12.88 c Sol. found (all assignments made)... 12.88 c Sol. found (all assignments made)... 12.88 o -33 12.88 c NEW SOLUTION FOUND: -33 @ 12.869 12.88 c Sol. found (all assignments made)... 12.88 c Sol. found (all assignments made)... 12.88 c Sol. found (all assignments made)... 12.89 c Sol. found (all assignments made)... 12.89 c Sol. found (all assignments made)... 12.89 c Sol. found (all assignments made)... 12.89 c Sol. found (all assignments made)... 12.90 c Sol. found (all assignments made)... 12.90 c Sol. found (all assignments made)... 12.90 c Sol. found (all assignments made)... 12.90 c Sol. found (all assignments made)... 12.90 c Sol. found (all assignments made)... 12.90 c Sol. found (all assignments made)... 12.90 c Sol. found (all assignments made)... 12.90 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.92 c Sol. found (all assignments made)... 12.93 c Sol. found (all assignments made)... 12.93 c Sol. found (all assignments made)... 12.93 c Sol. found (all assignments made)... 12.93 c Sol. found (all assignments made)... 12.93 c Sol. found (all assignments made)... 12.93 c Sol. found (all assignments made)... 12.94 c Sol. found (all assignments made)... 12.94 c Sol. found (all assignments made)... 12.94 c Sol. found (all assignments made)... 12.94 c Sol. found (all assignments made)... 12.94 c Sol. found (all assignments made)... 12.94 c Sol. found (all assignments made)... 12.94 c Sol. found (all assignments made)... 12.95 c Sol. found (all assignments made)... 12.95 c Sol. found (all assignments made)... 12.95 c Sol. found (all assignments made)... 12.95 c Sol. found (all assignments made)... 12.95 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.14 c Restart #2 #Var: 1150 LB: -1150 @ 13.125 13.21 c Sol. found (all assignments made)... 13.21 o -34 13.21 c NEW SOLUTION FOUND: -34 @ 13.2 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 o -35 13.23 c NEW SOLUTION FOUND: -35 @ 13.216 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.26 c Sol. found (all assignments made)... 13.26 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.32 c Sol. found (all assignments made)... 13.32 c Sol. found (all assignments made)... 13.33 c Sol. found (all assignments made)... 13.33 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.38 c Sol. found (all assignments made)... 13.38 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.40 c Sol. found (all assignments made)... 13.40 c Sol. found (all assignments made)... 13.41 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.45 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.58 c Restart #3 #Var: 1150 LB: -1150 @ 13.562 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 o -36 13.68 c NEW SOLUTION FOUND: -36 @ 13.666 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 o -37 13.69 c NEW SOLUTION FOUND: -37 @ 13.673 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.72 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.93 c Sol. found (all assignments made)... 13.93 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.98 c Sol. found (all assignments made)... 13.98 c Sol. found (all assignments made)... 13.98 c Sol. found (all assignments made)... 13.98 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.02 c Sol. found (all assignments made)... 14.02 c Sol. found (all assignments made)... 14.02 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.13 c Restart #4 #Var: 1150 LB: -1150 @ 14.114 14.20 c Sol. found (all assignments made)... 14.21 c Sol. found (all assignments made)... 14.21 c Sol. found (all assignments made)... 14.21 c Sol. found (all assignments made)... 14.21 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.24 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.26 c Sol. found (all assignments made)... 14.26 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.33 c Sol. found (all assignments made)... 14.33 c Sol. found (all assignments made)... 14.33 c Sol. found (all assignments made)... 14.33 c Sol. found (all assignments made)... 14.33 c Sol. found (all assignments made)... 14.33 c Sol. found (all assignments made)... 14.34 c Sol. found (all assignments made)... 14.34 c Sol. found (all assignments made)... 14.34 c Sol. found (all assignments made)... 14.34 c Sol. found (all assignments made)... 14.35 c Sol. found (all assignments made)... 14.35 c Sol. found (all assignments made)... 14.35 c Sol. found (all assignments made)... 14.35 c Sol. found (all assignments made)... 14.36 c Sol. found (all assignments made)... 14.36 c Sol. found (all assignments made)... 14.36 c Sol. found (all assignments made)... 14.36 c Sol. found (all assignments made)... 14.36 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.57 c Sol. found (all assignments made)... 14.57 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.61 c Sol. found (all assignments made)... 14.61 c Sol. found (all assignments made)... 14.61 c Sol. found (all assignments made)... 14.61 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.65 c Sol. found (all assignments made)... 14.65 c Sol. found (all assignments made)... 14.65 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.67 c Sol. found (all assignments made)... 14.74 c Restart #5 #Var: 1150 LB: -1150 @ 14.725 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 o -38 14.84 c NEW SOLUTION FOUND: -38 @ 14.825 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.46 c Restart #6 #Var: 1150 LB: -1150 @ 15.445 15.67 c Sol. found (all assignments made)... 16.26 c Restart #7 #Var: 1150 LB: -1150 @ 16.245 17.14 c Restart #8 #Var: 1150 LB: -1150 @ 17.128 17.22 c Sol. found (all assignments made)... 17.22 c Sol. found (all assignments made)... 17.24 c Sol. found (all assignments made)... 17.25 c Sol. found (all assignments made)... 17.26 c Sol. found (all assignments made)... 17.26 c Sol. found (all assignments made)... 17.26 c Sol. found (all assignments made)... 17.27 c Sol. found (all assignments made)... 17.27 c Sol. found (all assignments made)... 17.27 c Sol. found (all assignments made)... 17.27 c Sol. found (all assignments made)... 17.29 c Sol. found (all assignments made)... 17.29 c Sol. found (all assignments made)... 17.30 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.46 c Sol. found (all assignments made)... 18.12 c Restart #9 #Var: 1150 LB: -1150 @ 18.104 18.20 c Sol. found (all assignments made)... 18.72 c Sol. found (all assignments made)... 18.76 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 105.95 c CHANGE to MIS mode... UB: -38 MIS: -1150 LPR: -541 (8.6695) Diff: 2.1257 105.95 c Restart #0 #Var: 1150 LB: -1150 @ 105.91 106.32 c Restart #1 #Var: 1150 LB: -1150 @ 106.29 106.86 c Restart #2 #Var: 1150 LB: -1150 @ 106.83 107.53 c Restart #3 #Var: 1150 LB: -581 @ 107.49 108.27 c Restart #4 #Var: 1150 LB: -1150 @ 108.24 108.76 c Sol. found (all assignments made)... 108.76 c Sol. found (all assignments made)... 108.77 c Sol. found (all assignments made)... 108.78 c Sol. found (all assignments made)... 108.79 c Sol. found (all assignments made)... 108.80 c Sol. found (all assignments made)... 109.05 c Restart #5 #Var: 1150 LB: -1150 @ 109.01 109.96 c Restart #6 #Var: 1150 LB: -579 @ 109.92 110.97 c Restart #7 #Var: 1150 LB: -1150 @ 110.93 112.08 c Restart #8 #Var: 1150 LB: -580 @ 112.05 113.35 c Restart #9 #Var: 1150 LB: -581 @ 113.31 114.72 c Restart #10 #Var: 1150 LB: -580 @ 114.68 115.38 c Sol. found (all assignments made)... 115.39 c Sol. found (all assignments made)... 116.10 c Restart #11 #Var: 1150 LB: -1150 @ 116.06 117.65 c Restart #12 #Var: 1150 LB: -580 @ 117.61 119.32 c Restart #13 #Var: 1150 LB: -580 @ 119.28 120.67 c Sol. found (all assignments made)... 120.67 c Sol. found (all assignments made)... 120.67 c Sol. found (all assignments made)... 120.70 c Sol. found (all assignments made)... 120.70 c Sol. found (all assignments made)... 120.71 c Sol. found (all assignments made)... 120.71 c Sol. found (all assignments made)... 120.71 c Sol. found (all assignments made)... 120.72 c Sol. found (all assignments made)... 120.72 c Sol. found (all assignments made)... 121.01 c Restart #14 #Var: 1150 LB: -1150 @ 120.97 122.76 c Restart #15 #Var: 1150 LB: -1150 @ 122.72 124.63 c Restart #16 #Var: 1150 LB: -1150 @ 124.59 125.44 c Sol. found (all assignments made)... 125.44 c Sol. found (all assignments made)... 125.45 c Sol. found (all assignments made)... 125.45 c Sol. found (all assignments made)... 125.49 c Sol. found (all assignments made)... 125.49 c Sol. found (all assignments made)... 125.49 c Sol. found (all assignments made)... 125.49 c Sol. found (all assignments made)... 125.49 c Sol. found (all assignments made)... 125.50 c Sol. found (all assignments made)... 125.50 c Sol. found (all assignments made)... 125.50 c Sol. found (all assignments made)... 125.51 c Sol. found (all assignments made)... 125.51 c Sol. found (all assignments made)... 125.51 c Sol. found (all assignments made)... 125.51 c Sol. found (all assignments made)... 125.52 c Sol. found (all assignments made)... 125.52 c Sol. found (all assignments made)... 125.52 c Sol. found (all assignments made)... 125.53 c Sol. found (all assignments made)... 125.53 c Sol. found (all assignments made)... 125.53 c Sol. found (all assignments made)... 125.54 c Sol. found (all assignments made)... 125.54 c Sol. found (all assignments made)... 125.54 c Sol. found (all assignments made)... 125.55 c Sol. found (all assignments made)... 125.55 c Sol. found (all assignments made)... 125.55 c Sol. found (all assignments made)... 125.55 c Sol. found (all assignments made)... 125.56 c Sol. found (all assignments made)... 125.56 c Sol. found (all assignments made)... 125.56 c Sol. found (all assignments made)... 125.57 c Sol. found (all assignments made)... 125.57 c Sol. found (all assignments made)... 125.57 c Sol. found (all assignments made)... 125.57 c Sol. found (all assignments made)... 125.58 c Sol. found (all assignments made)... 125.58 c Sol. found (all assignments made)... 125.58 c Sol. found (all assignments made)... 125.59 c Sol. found (all assignments made)... 125.61 c Sol. found (all assignments made)... 125.62 c Sol. found (all assignments made)... 125.62 c Sol. found (all assignments made)... 125.62 c Sol. found (all assignments made)... 125.63 c Sol. found (all assignments made)... 125.63 c Sol. found (all assignments made)... 125.63 c Sol. found (all assignments made)... 125.64 c Sol. found (all assignments made)... 125.64 c Sol. found (all assignments made)... 125.64 c Sol. found (all assignments made)... 125.65 c Sol. found (all assignments made)... 125.65 c Sol. found (all assignments made)... 125.65 c Sol. found (all assignments made)... 125.66 c Sol. found (all assignments made)... 125.66 c Sol. found (all assignments made)... 125.66 c Sol. found (all assignments made)... 125.67 c Sol. found (all assignments made)... 125.67 c Sol. found (all assignments made)... 125.67 c Sol. found (all assignments made)... 125.68 c Sol. found (all assignments made)... 125.68 c Sol. found (all assignments made)... 125.68 c Sol. found (all assignments made)... 125.68 c Sol. found (all assignments made)... 125.69 c Sol. found (all assignments made)... 125.72 c Sol. found (all assignments made)... 125.72 c Sol. found (all assignments made)... 125.73 c Sol. found (all assignments made)... 125.73 c Sol. found (all assignments made)... 125.73 c Sol. found (all assignments made)... 125.74 c Sol. found (all assignments made)... 125.74 c Sol. found (all assignments made)... 125.74 c Sol. found (all assignments made)... 125.75 c Sol. found (all assignments made)... 125.75 c Sol. found (all assignments made)... 125.75 c Sol. found (all assignments made)... 125.75 c Sol. found (all assignments made)... 125.77 c Sol. found (all assignments made)... 125.77 c Sol. found (all assignments made)... 125.77 c Sol. found (all assignments made)... 125.78 c Sol. found (all assignments made)... 125.78 c Sol. found (all assignments made)... 125.78 c Sol. found (all assignments made)... 125.78 c Sol. found (all assignments made)... 125.79 c Sol. found (all assignments made)... 125.79 c Sol. found (all assignments made)... 125.79 c Sol. found (all assignments made)... 125.80 c Sol. found (all assignments made)... 125.80 c Sol. found (all assignments made)... 125.80 c Sol. found (all assignments made)... 125.81 c Sol. found (all assignments made)... 125.81 c Sol. found (all assignments made)... 125.81 c Sol. found (all assignments made)... 125.82 c Sol. found (all assignments made)... 125.82 c Sol. found (all assignments made)... 125.82 c Sol. found (all assignments made)... 125.82 c Sol. found (all assignments made)... 125.83 c Sol. found (all assignments made)... 125.83 c Sol. found (all assignments made)... 125.83 c Sol. found (all assignments made)... 125.84 c Sol. found (all assignments made)... 125.84 c Sol. found (all assignments made)... 125.84 c Sol. found (all assignments made)... 125.84 c Sol. found (all assignments made)... 125.85 c Sol. found (all assignments made)... 125.85 c Sol. found (all assignments made)... 125.85 c Sol. found (all assignments made)... 125.86 c Sol. found (all assignments made)... 125.86 c Sol. found (all assignments made)... 125.86 c Sol. found (all assignments made)... 125.87 c Sol. found (all assignments made)... 125.87 c Sol. found (all assignments made)... 125.87 c Sol. found (all assignments made)... 125.91 c Sol. found (all assignments made)... 125.91 c Sol. found (all assignments made)... 125.91 c Sol. found (all assignments made)... 125.91 c Sol. found (all assignments made)... 125.92 c Sol. found (all assignments made)... 125.92 c Sol. found (all assignments made)... 125.92 c Sol. found (all assignments made)... 125.93 c Sol. found (all assignments made)... 125.93 c Sol. found (all assignments made)... 125.93 c Sol. found (all assignments made)... 125.94 c Sol. found (all assignments made)... 125.94 c Sol. found (all assignments made)... 126.02 c Sol. found (all assignments made)... 126.02 c Sol. found (all assignments made)... 126.03 c Sol. found (all assignments made)... 126.03 c Sol. found (all assignments made)... 126.03 c Sol. found (all assignments made)... 126.04 c Sol. found (all assignments made)... 126.04 c Sol. found (all assignments made)... 126.04 c Sol. found (all assignments made)... 126.35 c Sol. found (all assignments made)... 126.36 c Sol. found (all assignments made)... 126.36 c Sol. found (all assignments made)... 126.36 c Sol. found (all assignments made)... 126.37 c Sol. found (all assignments made)... 126.38 c Sol. found (all assignments made)... 126.40 c Sol. found (all assignments made)... 126.40 c Sol. found (all assignments made)... 126.40 c Sol. found (all assignments made)... 126.40 c Sol. found (all assignments made)... 126.41 c Sol. found (all assignments made)... 126.41 c Sol. found (all assignments made)... 126.57 c Restart #17 #Var: 1150 LB: -1150 @ 126.53 128.66 c Restart #18 #Var: 1150 LB: -1150 @ 128.62 130.82 c Restart #19 #Var: 1150 LB: -1150 @ 130.78 133.13 c Restart #20 #Var: 1150 LB: -580 @ 133.09 133.44 c Sol. found (all assignments made)... 133.44 c Sol. found (all assignments made)... 134.23 c Sol. found (all assignments made)... 134.23 c Sol. found (all assignments made)... 134.23 c Sol. found (all assignments made)... 134.23 c Sol. found (all assignments made)... 134.24 c Sol. found (all assignments made)... 134.24 c Sol. found (all assignments made)... 134.24 c Sol. found (all assignments made)... 134.24 c Sol. found (all assignments made)... 134.25 c Sol. found (all assignments made)... 134.25 c Sol. found (all assignments made)... 134.25 c Sol. found (all assignments made)... 134.25 c Sol. found (all assignments made)... 134.25 c Sol. found (all assignments made)... 134.26 c Sol. found (all assignments made)... 134.26 c Sol. found (all assignments made)... 134.26 c Sol. found (all assignments made)... 134.26 c Sol. found (all assignments made)... 134.27 c Sol. found (all assignments made)... 134.27 c Sol. found (all assignments made)... 134.27 c Sol. found (all assignments made)... 134.27 c Sol. found (all assignments made)... 134.28 c Sol. found (all assignments made)... 134.28 c Sol. found (all assignments made)... 134.28 c Sol. found (all assignments made)... 134.30 c Sol. found (all assignments made)... 134.30 c Sol. found (all assignments made)... 134.30 c Sol. found (all assignments made)... 134.30 c Sol. found (all assignments made)... 134.31 c Sol. found (all assignments made)... 134.31 c Sol. found (all assignments made)... 134.31 c Sol. found (all assignments made)... 134.31 c Sol. found (all assignments made)... 134.42 c Sol. found (all assignments made)... 134.42 c Sol. found (all assignments made)... 134.43 c Sol. found (all assignments made)... 134.43 c Sol. found (all assignments made)... 134.44 c Sol. found (all assignments made)... 134.44 c Sol. found (all assignments made)... 134.44 c Sol. found (all assignments made)... 134.44 c Sol. found (all assignments made)... 134.55 c Sol. found (all assignments made)... 134.55 c Sol. found (all assignments made)... 134.55 c Sol. found (all assignments made)... 134.56 c Sol. found (all assignments made)... 134.56 c Sol. found (all assignments made)... 134.56 c Sol. found (all assignments made)... 134.57 c Sol. found (all assignments made)... 134.57 c Sol. found (all assignments made)... 134.74 c Sol. found (all assignments made)... 134.74 c Sol. found (all assignments made)... 134.74 c Sol. found (all assignments made)... 134.75 c Sol. found (all assignments made)... 134.75 c Sol. found (all assignments made)... 134.75 c Sol. found (all assignments made)... 134.76 c Sol. found (all assignments made)... 134.76 c Sol. found (all assignments made)... 134.76 c Sol. found (all assignments made)... 134.77 c Sol. found (all assignments made)... 134.77 c Sol. found (all assignments made)... 134.77 c Sol. found (all assignments made)... 134.78 c Sol. found (all assignments made)... 134.78 c Sol. found (all assignments made)... 134.78 c Sol. found (all assignments made)... 134.78 c Sol. found (all assignments made)... 135.41 c Sol. found (all assignments made)... 135.42 c Sol. found (all assignments made)... 135.42 c Sol. found (all assignments made)... 135.42 c Sol. found (all assignments made)... 135.51 c Restart #21 #Var: 1150 LB: -1150 @ 135.47 137.95 c Restart #22 #Var: 1150 LB: -1150 @ 137.91 139.06 c Sol. found (all assignments made)... 139.14 c Sol. found (all assignments made)... 139.14 o -39 139.14 c NEW SOLUTION FOUND: -39 @ 139.1 139.14 c Sol. found (all assignments made)... 139.15 c Sol. found (all assignments made)... 139.15 o -40 139.15 c NEW SOLUTION FOUND: -40 @ 139.11 139.15 c Sol. found (all assignments made)... 141.51 c Restart #23 #Var: 1150 LB: -1150 @ 141.47 144.19 c Restart #24 #Var: 1150 LB: -1150 @ 144.15 147.03 c Restart #25 #Var: 1150 LB: -1150 @ 146.98 150.07 c Restart #26 #Var: 1150 LB: -578 @ 150.02 153.14 c Restart #27 #Var: 1150 LB: -1150 @ 153.09 156.29 c Restart #28 #Var: 1150 LB: -1150 @ 156.25 159.54 c Restart #29 #Var: 1150 LB: -1150 @ 159.49 162.84 c Restart #30 #Var: 1150 LB: -1150 @ 162.79 166.35 c Restart #31 #Var: 1150 LB: -580 @ 166.3 170.11 c Restart #32 #Var: 1150 LB: -1150 @ 170.06 173.71 c Restart #33 #Var: 1150 LB: -1150 @ 173.66 177.41 c Restart #34 #Var: 1150 LB: -1150 @ 177.36 181.30 c Restart #35 #Var: 1150 LB: -1150 @ 181.25 185.18 c Restart #36 #Var: 1150 LB: -1150 @ 185.13 189.21 c Restart #37 #Var: 1150 LB: -581 @ 189.16 193.47 c Restart #38 #Var: 1150 LB: -580 @ 193.41 197.71 c Restart #39 #Var: 1150 LB: -1150 @ 197.65 201.98 c Restart #40 #Var: 1150 LB: -1150 @ 201.92 206.52 c Restart #41 #Var: 1150 LB: -1150 @ 206.46 211.08 c Restart #42 #Var: 1150 LB: -1150 @ 211.02 215.65 c Restart #43 #Var: 1150 LB: -1150 @ 215.59 220.38 c Restart #44 #Var: 1150 LB: -1150 @ 220.32 225.17 c Restart #45 #Var: 1150 LB: -1150 @ 225.1 230.17 c Restart #46 #Var: 1150 LB: -1150 @ 230.1 235.19 c Restart #47 #Var: 1150 LB: -1150 @ 235.12 240.56 c Restart #48 #Var: 1150 LB: -1150 @ 240.49 245.71 c Restart #49 #Var: 1150 LB: -1150 @ 245.64 250.99 c Restart #50 #Var: 1150 LB: -1150 @ 250.92 256.33 c Restart #51 #Var: 1150 LB: -1150 @ 256.25 261.89 c Restart #52 #Var: 1150 LB: -1150 @ 261.81 263.78 c Sol. found (all assignments made)... 263.78 c Sol. found (all assignments made)... 263.78 c Sol. found (all assignments made)... 263.78 c Sol. found (all assignments made)... 263.80 c Sol. found (all assignments made)... 263.83 c Sol. found (all assignments made)... 263.88 c Sol. found (all assignments made)... 263.88 c Sol. found (all assignments made)... 264.15 c Sol. found (all assignments made)... 264.16 c Sol. found (all assignments made)... 264.24 c Sol. found (all assignments made)... 264.24 c Sol. found (all assignments made)... 264.26 c Sol. found (all assignments made)... 264.31 c Sol. found (all assignments made)... 267.52 c Restart #53 #Var: 1150 LB: -1150 @ 267.45 273.23 c Restart #54 #Var: 1150 LB: -1150 @ 273.15 279.04 c Restart #55 #Var: 1150 LB: -1150 @ 278.97 284.97 c Restart #56 #Var: 1150 LB: -1150 @ 284.89 291.03 c Restart #57 #Var: 1150 LB: -1150 @ 290.95 297.14 c Restart #58 #Var: 1150 LB: -1150 @ 297.06 303.35 c Restart #59 #Var: 1150 LB: -1150 @ 303.27 309.66 c Restart #60 #Var: 1150 LB: -1150 @ 309.57 316.07 c Restart #61 #Var: 1150 LB: -1150 @ 315.99 322.71 c Restart #62 #Var: 1150 LB: -1150 @ 322.62 324.44 c Sol. found (all assignments made)... 329.37 c Restart #63 #Var: 1150 LB: -1150 @ 329.28 335.63 c Sol. found (all assignments made)... 335.65 c Sol. found (all assignments made)... 335.66 c Sol. found (all assignments made)... 335.98 c Restart #64 #Var: 1150 LB: -1150 @ 335.89 342.76 c Restart #65 #Var: 1150 LB: -1150 @ 342.66 349.82 c Restart #66 #Var: 1150 LB: -1150 @ 349.73 357.10 c Restart #67 #Var: 1150 LB: -1150 @ 357 357.55 c Sol. found (all assignments made)... 357.55 c Sol. found (all assignments made)... 357.55 c Sol. found (all assignments made)... 357.55 c Sol. found (all assignments made)... 357.56 c Sol. found (all assignments made)... 357.56 c Sol. found (all assignments made)... 357.56 c Sol. found (all assignments made)... 357.58 c Sol. found (all assignments made)... 357.58 c Sol. found (all assignments made)... 357.58 o -41 357.58 c NEW SOLUTION FOUND: -41 @ 357.49 357.58 c Sol. found (all assignments made)... 357.58 c Sol. found (all assignments made)... 363.67 c Sol. found (all assignments made)... 363.67 c Sol. found (all assignments made)... 363.86 c Sol. found (all assignments made)... 363.86 c Sol. found (all assignments made)... 363.87 c Sol. found (all assignments made)... 363.87 c Sol. found (all assignments made)... 363.87 c Sol. found (all assignments made)... 364.35 c Restart #68 #Var: 1150 LB: -1150 @ 364.25 371.70 c Restart #69 #Var: 1150 LB: -1150 @ 371.6 379.07 c Restart #70 #Var: 1150 LB: -1150 @ 378.97 386.50 c Restart #71 #Var: 1150 LB: -1150 @ 386.4 393.92 c Restart #72 #Var: 1150 LB: -1150 @ 393.82 401.43 c Restart #73 #Var: 1150 LB: -1150 @ 401.32 409.26 c Restart #74 #Var: 1150 LB: -1150 @ 409.15 412.77 c Sol. found (all assignments made)... 414.98 c Sol. found (all assignments made)... 414.98 c Sol. found (all assignments made)... 415.00 c Sol. found (all assignments made)... 415.38 c Sol. found (all assignments made)... 415.40 c Sol. found (all assignments made)... 417.00 c Restart #75 #Var: 1150 LB: -1150 @ 416.89 425.09 c Restart #76 #Var: 1150 LB: -1150 @ 424.98 433.17 c Restart #77 #Var: 1150 LB: -1150 @ 433.06 441.40 c Restart #78 #Var: 1150 LB: -1150 @ 441.28 449.70 c Restart #79 #Var: 1150 LB: -1150 @ 449.57 458.19 c Restart #80 #Var: 1150 LB: -579 @ 458.07 466.78 c Restart #81 #Var: 1150 LB: -1150 @ 466.65 475.36 c Restart #82 #Var: 1150 LB: -1150 @ 475.24 483.94 c Restart #83 #Var: 1150 LB: -1150 @ 483.81 492.72 c Restart #84 #Var: 1150 LB: -1150 @ 492.6 501.59 c Restart #85 #Var: 1150 LB: -1150 @ 501.46 510.52 c Restart #86 #Var: 1150 LB: -1150 @ 510.38 519.74 c Restart #87 #Var: 1150 LB: -1150 @ 519.6 528.90 c Restart #88 #Var: 1150 LB: -1150 @ 528.76 538.09 c Restart #89 #Var: 1150 LB: -1150 @ 537.95 547.50 c Restart #90 #Var: 1150 LB: -1150 @ 547.36 556.94 c Restart #91 #Var: 1150 LB: -1150 @ 556.8 566.50 c Restart #92 #Var: 1150 LB: -1150 @ 566.36 576.37 c Restart #93 #Var: 1150 LB: -1150 @ 576.22 586.21 c Restart #94 #Var: 1150 LB: -1150 @ 586.05 596.11 c Restart #95 #Var: 1150 LB: -1150 @ 595.96 605.98 c Restart #96 #Var: 1150 LB: -1150 @ 605.83 616.10 c Restart #97 #Var: 1150 LB: -1150 @ 615.94 626.72 c Restart #98 #Var: 1150 LB: -1150 @ 626.55 636.83 c Restart #99 #Var: 1150 LB: -1150 @ 636.66 647.32 c Restart #100 #Var: 1150 LB: -1150 @ 647.15 657.83 c Restart #101 #Var: 1150 LB: -1150 @ 657.66 668.31 c Restart #102 #Var: 1150 LB: -1150 @ 668.14 678.96 c Restart #103 #Var: 1150 LB: -1150 @ 678.79 689.89 c Restart #104 #Var: 1150 LB: -1150 @ 689.71 700.86 c Restart #105 #Var: 1150 LB: -1150 @ 700.68 711.83 c Restart #106 #Var: 1150 LB: -1150 @ 711.65 722.84 c Restart #107 #Var: 1150 LB: -1150 @ 722.66 733.92 c Restart #108 #Var: 1150 LB: -1150 @ 733.73 745.42 c Restart #109 #Var: 1150 LB: -1150 @ 745.23 756.96 c Restart #110 #Var: 1150 LB: -1150 @ 756.76 768.53 c Restart #111 #Var: 1150 LB: -1150 @ 768.33 779.83 c Restart #112 #Var: 1150 LB: -1150 @ 779.63 791.69 c Restart #113 #Var: 1150 LB: -1150 @ 791.49 803.39 c Restart #114 #Var: 1150 LB: -1150 @ 803.18 815.43 c Restart #115 #Var: 1150 LB: -1150 @ 815.22 823.88 c Sol. found (all assignments made)... 826.65 c Sol. found (all assignments made)... 827.46 c Restart #116 #Var: 1150 LB: -1150 @ 827.25 839.75 c Restart #117 #Var: 1150 LB: -1150 @ 839.53 851.83 c Restart #118 #Var: 1150 LB: -1150 @ 851.61 864.26 c Restart #119 #Var: 1150 LB: -1150 @ 864.04 877.16 c Restart #120 #Var: 1150 LB: -1150 @ 876.93 889.81 c Restart #121 #Var: 1150 LB: -1150 @ 889.59 902.70 c Restart #122 #Var: 1150 LB: -1150 @ 902.47 915.65 c Restart #123 #Var: 1150 LB: -1150 @ 915.41 928.55 c Restart #124 #Var: 1150 LB: -1150 @ 928.32 941.52 c Restart #125 #Var: 1150 LB: -1150 @ 941.28 954.80 c Restart #126 #Var: 1150 LB: -1150 @ 954.56 967.93 c Restart #127 #Var: 1150 LB: -1150 @ 967.69 981.47 c Restart #128 #Var: 1150 LB: -1150 @ 981.22 994.99 c Restart #129 #Var: 1150 LB: -1150 @ 994.74 1008.61 c Restart #130 #Var: 1150 LB: -1150 @ 1008.4 1022.07 c Restart #131 #Var: 1150 LB: -1150 @ 1021.8 1036.09 c Restart #132 #Var: 1150 LB: -1150 @ 1035.8 1049.93 c Restart #133 #Var: 1150 LB: -1150 @ 1049.7 1063.68 c Restart #134 #Var: 1150 LB: -1150 @ 1063.4 1077.99 c Restart #135 #Var: 1150 LB: -1150 @ 1077.7 1092.27 c Restart #136 #Var: 1150 LB: -1150 @ 1092 1092.55 c Sol. found (all assignments made)... 1092.55 c Sol. found (all assignments made)... 1092.56 c Sol. found (all assignments made)... 1092.84 c Sol. found (all assignments made)... 1092.86 c Sol. found (all assignments made)... 1092.87 c Sol. found (all assignments made)... 1092.97 c Sol. found (all assignments made)... 1092.98 c Sol. found (all assignments made)... 1093.02 c Sol. found (all assignments made)... 1093.02 c Sol. found (all assignments made)... 1093.15 c Sol. found (all assignments made)... 1093.15 c Sol. found (all assignments made)... 1093.20 c Sol. found (all assignments made)... 1093.27 c Sol. found (all assignments made)... 1093.27 c Sol. found (all assignments made)... 1093.63 c Sol. found (all assignments made)... 1093.63 c Sol. found (all assignments made)... 1093.64 c Sol. found (all assignments made)... 1093.65 c Sol. found (all assignments made)... 1093.66 c Sol. found (all assignments made)... 1093.92 c Sol. found (all assignments made)... 1094.01 c Sol. found (all assignments made)... 1094.01 c Sol. found (all assignments made)... 1094.02 c Sol. found (all assignments made)... 1094.02 c Sol. found (all assignments made)... 1094.02 c Sol. found (all assignments made)... 1094.02 c Sol. found (all assignments made)... 1094.03 c Sol. found (all assignments made)... 1094.03 c Sol. found (all assignments made)... 1094.03 c Sol. found (all assignments made)... 1094.04 c Sol. found (all assignments made)... 1094.04 c Sol. found (all assignments made)... 1094.04 c Sol. found (all assignments made)... 1094.05 c Sol. found (all assignments made)... 1094.05 c Sol. found (all assignments made)... 1094.05 c Sol. found (all assignments made)... 1094.05 c Sol. found (all assignments made)... 1094.20 c Sol. found (all assignments made)... 1095.99 c Sol. found (all assignments made)... 1095.99 c Sol. found (all assignments made)... 1096.00 c Sol. found (all assignments made)... 1096.00 c Sol. found (all assignments made)... 1096.00 c Sol. found (all assignments made)... 1106.33 c Restart #137 #Var: 1150 LB: -1150 @ 1106 1120.46 c Restart #138 #Var: 1150 LB: -1150 @ 1120.2 1134.75 c Restart #139 #Var: 1150 LB: -1150 @ 1134.5 1149.30 c Restart #140 #Var: 1150 LB: -1150 @ 1149 1163.83 c Restart #141 #Var: 1150 LB: -1150 @ 1163.5 1178.75 c Restart #142 #Var: 1150 LB: -1150 @ 1178.4 1193.65 c Restart #143 #Var: 1150 LB: -1150 @ 1193.4 1208.48 c Restart #144 #Var: 1150 LB: -1150 @ 1208.2 1224.00 c Restart #145 #Var: 1150 LB: -1150 @ 1223.7 1238.97 c Restart #146 #Var: 1150 LB: -1150 @ 1238.7 1254.22 c Restart #147 #Var: 1150 LB: -1150 @ 1253.9 1269.89 c Restart #148 #Var: 1150 LB: -1150 @ 1269.6 1285.24 c Restart #149 #Var: 1150 LB: -1150 @ 1284.9 1301.15 c Restart #150 #Var: 1150 LB: -1150 @ 1300.8 1316.74 c Restart #151 #Var: 1150 LB: -1150 @ 1316.4 1332.38 c Restart #152 #Var: 1150 LB: -1150 @ 1332 1347.92 c Restart #153 #Var: 1150 LB: -1150 @ 1347.6 1364.15 c Restart #154 #Var: 1150 LB: -1150 @ 1363.8 1380.10 c Restart #155 #Var: 1150 LB: -1150 @ 1379.8 1396.25 c Restart #156 #Var: 1150 LB: -1150 @ 1395.9 1412.69 c Restart #157 #Var: 1150 LB: -1150 @ 1412.3 1428.74 c Restart #158 #Var: 1150 LB: -1150 @ 1428.4 1444.99 c Restart #159 #Var: 1150 LB: -1150 @ 1444.6 1461.45 c Restart #160 #Var: 1150 LB: -1150 @ 1461.1 1478.04 c Restart #161 #Var: 1150 LB: -1150 @ 1477.7 1494.74 c Restart #162 #Var: 1150 LB: -1150 @ 1494.4 1511.64 c Restart #163 #Var: 1150 LB: -1150 @ 1511.3 1528.22 c Restart #164 #Var: 1150 LB: -1150 @ 1527.8 1544.89 c Restart #165 #Var: 1150 LB: -1150 @ 1544.5 1545.95 c Sol. found (all assignments made)... 1547.02 c Sol. found (all assignments made)... 1547.73 c Sol. found (all assignments made)... 1547.73 c Sol. found (all assignments made)... 1547.73 c Sol. found (all assignments made)... 1547.74 c Sol. found (all assignments made)... 1547.83 c Sol. found (all assignments made)... 1547.83 c Sol. found (all assignments made)... 1547.83 c Sol. found (all assignments made)... 1547.84 c Sol. found (all assignments made)... 1547.84 c Sol. found (all assignments made)... 1547.84 c Sol. found (all assignments made)... 1547.84 c Sol. found (all assignments made)... 1547.84 c Sol. found (all assignments made)... 1547.96 c Sol. found (all assignments made)... 1547.96 c Sol. found (all assignments made)... 1547.98 c Sol. found (all assignments made)... 1547.98 c Sol. found (all assignments made)... 1547.99 c Sol. found (all assignments made)... 1547.99 c Sol. found (all assignments made)... 1547.99 c Sol. found (all assignments made)... 1547.99 c Sol. found (all assignments made)... 1547.99 c Sol. found (all assignments made)... 1548.00 c Sol. found (all assignments made)... 1548.01 c Sol. found (all assignments made)... 1554.92 c Sol. found (all assignments made)... 1561.29 c Restart #166 #Var: 1150 LB: -1150 @ 1560.9 1578.54 c Restart #167 #Var: 1150 LB: -1150 @ 1578.1 1595.96 c Restart #168 #Var: 1150 LB: -1150 @ 1595.4 1612.77 c Restart #169 #Var: 1150 LB: -1150 @ 1612.2 1630.13 c Restart #170 #Var: 1150 LB: -1150 @ 1629.6 1647.46 c Restart #171 #Var: 1150 LB: -1150 @ 1646.9 1665.05 c Restart #172 #Var: 1150 LB: -1150 @ 1664.5 1682.72 c Restart #173 #Var: 1150 LB: -1150 @ 1682.2 1701.00 c Restart #174 #Var: 1150 LB: -1150 @ 1700.5 1719.47 c Restart #175 #Var: 1150 LB: -1150 @ 1718.9 1737.73 c Restart #176 #Var: 1150 LB: -1150 @ 1737.2 1756.16 c Restart #177 #Var: 1150 LB: -1150 @ 1755.6 1774.49 c Restart #178 #Var: 1150 LB: -1150 @ 1773.9 1792.91 c Restart #179 #Var: 1150 LB: -1150 @ 1792.3 1800.57 s SATISFIABLE 1800.57 c Cost: -41 1800.57 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1800.57 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1800.57 v -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1800.57 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 1800.57 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1800.57 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 1800.57 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 1800.57 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 1800.57 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 1800.57 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 1800.57 v -x975 x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 1800.57 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 1800.57 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913 1800.57 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 x893 -x892 1800.57 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 1800.57 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 1800.57 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 -x831 -x830 -x829 1800.57 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 1800.57 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 1800.57 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766 1800.57 v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 1800.57 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 1800.57 v -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 1800.57 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 1800.57 v -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 1800.57 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 1800.57 v -x639 -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 1800.57 v -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 1800.57 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 1800.57 v -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 1800.57 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 1800.57 v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 1800.57 v -x513 x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 1800.57 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 1800.57 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 1800.57 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1800.57 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 1800.57 v -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 1800.57 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1800.57 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 1800.57 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 1800.57 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1800.57 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 1800.57 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1800.57 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1800.57 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 1800.57 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 1800.57 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 1800.57 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 1800.57 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1800.57 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1800.57 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1800.57 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 1800.57 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 1800.57 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 1800.57 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.57 c Exit Code: 10 1800.57 c Total time: 1800 s
OK -41
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/node39/watcher-40511-1149298532 -o ROOT/results/node39/solver-40511-1149298532 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40511-1149298532/instance-40511-1149298532.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.94 2/64 12739 /proc/meminfo: memFree=1687760/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=3364 CPUtime=0 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 60 0 0 0 0 0 0 0 19 0 1 0 195519518 3444736 43 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11092539 0 0 4096 0 0 0 0 17 1 0 0 /proc/12739/statm: 859 47 34 55 0 42 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.94 2/64 12739 /proc/meminfo: memFree=1648280/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=43984 CPUtime=9.98 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 10229 0 0 0 993 5 0 0 25 0 1 0 195519518 45039616 10144 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 10996 10144 287 55 0 9888 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 43984 [startup+20.0091 s] /proc/loadavg: 0.94 0.96 0.94 2/64 12739 /proc/meminfo: memFree=1643736/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=49104 CPUtime=19.99 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 11706 0 0 0 1992 7 0 0 25 0 1 0 195519518 50282496 11309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535981 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 12276 11309 307 55 0 11168 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 49104 [startup+30.015 s] /proc/loadavg: 0.95 0.96 0.94 2/64 12739 /proc/meminfo: memFree=1640664/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=51948 CPUtime=29.99 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 12552 0 0 0 2989 10 0 0 25 0 1 0 195519518 53194752 12076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 12987 12076 308 55 0 11879 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 51948 [startup+40.0209 s] /proc/loadavg: 0.95 0.96 0.94 2/64 12739 /proc/meminfo: memFree=1639512/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=53064 CPUtime=39.99 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 12890 0 0 0 3987 12 0 0 25 0 1 0 195519518 54337536 12373 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 13266 12373 308 55 0 12158 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 53064 [startup+50.0269 s] /proc/loadavg: 0.96 0.96 0.94 2/64 12739 /proc/meminfo: memFree=1638680/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=53904 CPUtime=49.99 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 13113 0 0 0 4985 14 0 0 25 0 1 0 195519518 55197696 12596 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 13476 12596 308 55 0 12368 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 53904 [startup+60.0328 s] /proc/loadavg: 0.97 0.96 0.94 2/64 12739 /proc/meminfo: memFree=1610072/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=95948 CPUtime=60 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 25634 0 0 0 5980 20 0 0 25 0 1 0 195519518 98250752 19782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 23987 19782 415 55 0 22879 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 95948 [startup+70.0387 s] /proc/loadavg: 0.97 0.96 0.94 2/64 12739 /proc/meminfo: memFree=1610072/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=96576 CPUtime=70 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 25669 0 0 0 6980 20 0 0 25 0 1 0 195519518 98893824 19789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 24144 19789 415 55 0 23036 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 96576 [startup+80.0457 s] /proc/loadavg: 0.98 0.96 0.94 2/64 12739 /proc/meminfo: memFree=1605720/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=107384 CPUtime=80.01 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 26817 0 0 0 7980 21 0 0 25 0 1 0 195519518 109961216 20901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498989 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 26846 20901 416 55 0 25738 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 107384 [startup+90.0516 s] /proc/loadavg: 0.98 0.96 0.94 2/64 12739 /proc/meminfo: memFree=1605016/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=112096 CPUtime=90.01 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 78865 0 0 0 8956 45 0 0 25 0 1 0 195519518 114786304 21099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 28024 21099 437 55 0 26916 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 112096 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.94 2/64 12739 /proc/meminfo: memFree=1602200/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=114948 CPUtime=100.01 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 159062 0 0 0 9923 78 0 0 25 0 1 0 195519518 117706752 21823 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 28737 21823 437 55 0 27629 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 114948 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.94 2/64 12739 /proc/meminfo: memFree=1625496/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=67608 CPUtime=110.02 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 271346 0 0 0 10874 128 0 0 25 0 1 0 195519518 69230592 15994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 16902 15994 437 55 0 15794 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 67608 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.94 2/64 12739 /proc/meminfo: memFree=1625496/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=67608 CPUtime=120.02 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 271346 0 0 0 11874 128 0 0 25 0 1 0 195519518 69230592 15994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 16902 15994 437 55 0 15794 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 67608 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.94 2/64 12739 /proc/meminfo: memFree=1625304/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=67608 CPUtime=130.03 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 271404 0 0 0 12874 129 0 0 25 0 1 0 195519518 69230592 15998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 16902 15998 437 55 0 15794 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 67608 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.94 2/64 12739 /proc/meminfo: memFree=1625240/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=67872 CPUtime=140.03 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 271452 0 0 0 13873 130 0 0 25 0 1 0 195519518 69500928 16046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557799 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 16968 16046 437 55 0 15860 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 67872 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.94 2/64 12739 /proc/meminfo: memFree=1625240/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=67804 CPUtime=150.03 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 271475 0 0 0 14873 130 0 0 25 0 1 0 195519518 69431296 16043 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 16951 16043 437 55 0 15843 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 67804 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.94 2/64 12739 /proc/meminfo: memFree=1624920/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68036 CPUtime=160.03 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 271563 0 0 0 15872 131 0 0 25 0 1 0 195519518 69668864 16105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17009 16105 437 55 0 15901 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 68036 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.94 2/64 12739 /proc/meminfo: memFree=1625112/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=67968 CPUtime=170.04 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 271629 0 0 0 16872 132 0 0 25 0 1 0 195519518 69599232 16085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 16992 16085 437 55 0 15884 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 67968 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.94 2/64 12739 /proc/meminfo: memFree=1625112/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=67968 CPUtime=180.04 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 271629 0 0 0 17872 132 0 0 25 0 1 0 195519518 69599232 16085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 16992 16085 437 55 0 15884 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 67968 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.94 2/64 12739 /proc/meminfo: memFree=1625240/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=67608 CPUtime=190.04 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 271629 0 0 0 18871 133 0 0 25 0 1 0 195519518 69230592 15998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 16902 15998 437 55 0 15794 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 67608 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.94 2/64 12739 /proc/meminfo: memFree=1625112/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=67780 CPUtime=200.05 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 271714 0 0 0 19871 134 0 0 25 0 1 0 195519518 69406720 16041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11534053 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 16945 16041 437 55 0 15837 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 67780 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.94 2/64 12739 /proc/meminfo: memFree=1625112/2055920 swapFree=4180884/4192956 ################ # More data... # ################ /proc/12739/statm: 17133 16204 437 55 0 16025 0 Current children cumulated CPU time (s) 1760.47 Current children cumulated vsize (Kb) 68532 [startup+1771.04 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608088/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68416 CPUtime=1770.46 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275122 0 0 0 176764 282 0 0 25 0 1 0 195519518 70057984 16192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11534018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17104 16192 437 55 0 15996 0 Current children cumulated CPU time (s) 1770.46 Current children cumulated vsize (Kb) 68416 [startup+1781.05 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608024/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68480 CPUtime=1780.47 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275152 0 0 0 177764 283 0 0 25 0 1 0 195519518 70123520 16216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17120 16216 437 55 0 16012 0 Current children cumulated CPU time (s) 1780.47 Current children cumulated vsize (Kb) 68480 [startup+1782.05 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608024/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68480 CPUtime=1781.48 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275152 0 0 0 177865 283 0 0 25 0 1 0 195519518 70123520 16216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17120 16216 437 55 0 16012 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 68480 [startup+1783.06 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608024/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68480 CPUtime=1782.48 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275152 0 0 0 177965 283 0 0 25 0 1 0 195519518 70123520 16216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17120 16216 437 55 0 16012 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 68480 [startup+1784.06 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608024/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68480 CPUtime=1783.48 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275152 0 0 0 178065 283 0 0 25 0 1 0 195519518 70123520 16216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17120 16216 437 55 0 16012 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 68480 [startup+1785.07 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608024/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68480 CPUtime=1784.49 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275152 0 0 0 178166 283 0 0 25 0 1 0 195519518 70123520 16216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557793 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17120 16216 437 55 0 16012 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 68480 [startup+1786.07 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608024/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68480 CPUtime=1785.49 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275152 0 0 0 178266 283 0 0 25 0 1 0 195519518 70123520 16216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17120 16216 437 55 0 16012 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 68480 [startup+1787.08 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608024/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68612 CPUtime=1786.5 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275158 0 0 0 178367 283 0 0 25 0 1 0 195519518 70258688 16222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551518 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17153 16222 437 55 0 16045 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 68612 [startup+1788.08 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608024/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68612 CPUtime=1787.51 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275158 0 0 0 178467 284 0 0 25 0 1 0 195519518 70258688 16222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17153 16222 437 55 0 16045 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 68612 [startup+1789.09 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608024/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68612 CPUtime=1788.51 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275158 0 0 0 178567 284 0 0 25 0 1 0 195519518 70258688 16222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17153 16222 437 55 0 16045 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 68612 [startup+1790.09 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1608024/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68600 CPUtime=1789.51 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275158 0 0 0 178667 284 0 0 25 0 1 0 195519518 70246400 16222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11522103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17150 16222 437 55 0 16042 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 68600 [startup+1791.1 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1607832/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68732 CPUtime=1790.52 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275205 0 0 0 178768 284 0 0 25 0 1 0 195519518 70381568 16269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17183 16269 437 55 0 16075 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 68732 [startup+1792.1 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1607832/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68732 CPUtime=1791.52 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275205 0 0 0 178868 284 0 0 25 0 1 0 195519518 70381568 16269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17183 16269 437 55 0 16075 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 68732 [startup+1793.11 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1607832/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68732 CPUtime=1792.53 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275205 0 0 0 178969 284 0 0 25 0 1 0 195519518 70381568 16269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17183 16269 437 55 0 16075 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 68732 [startup+1794.11 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1607832/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68732 CPUtime=1793.53 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275205 0 0 0 179069 284 0 0 25 0 1 0 195519518 70381568 16269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17183 16269 437 55 0 16075 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 68732 [startup+1795.12 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1607832/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68732 CPUtime=1794.53 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275205 0 0 0 179169 284 0 0 25 0 1 0 195519518 70381568 16269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17183 16269 437 55 0 16075 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 68732 [startup+1796.12 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1607832/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68732 CPUtime=1795.54 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275205 0 0 0 179270 284 0 0 25 0 1 0 195519518 70381568 16269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17183 16269 437 55 0 16075 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 68732 [startup+1797.13 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1607832/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68732 CPUtime=1796.54 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275205 0 0 0 179370 284 0 0 25 0 1 0 195519518 70381568 16269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17183 16269 437 55 0 16075 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 68732 [startup+1798.13 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1607832/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68732 CPUtime=1797.55 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275205 0 0 0 179471 284 0 0 25 0 1 0 195519518 70381568 16269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17183 16269 437 55 0 16075 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 68732 [startup+1799.14 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1607832/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68732 CPUtime=1798.55 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275205 0 0 0 179571 284 0 0 25 0 1 0 195519518 70381568 16269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17183 16269 437 55 0 16075 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 68732 [startup+1800.14 s] /proc/loadavg: 1.00 0.99 0.95 2/64 13410 /proc/meminfo: memFree=1607832/2055920 swapFree=4180884/4192956 [pid=12739] ppid=12737 vsize=68732 CPUtime=1799.56 /proc/12739/stat : 12739 (bsolo) R 12737 12739 12693 0 -1 0 275205 0 0 0 179671 285 0 0 25 0 1 0 195519518 70381568 16269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604126 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12739/statm: 17183 16269 437 55 0 16075 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 68732 Child status: 10 Real time (s): 1800.59 CPU time (s): 1800.02 CPU user time (s): 1797.15 CPU system time (s): 2.86256 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (Kb): 114948
Begin job on node39 on Sat Jun 3 01:35:32 UTC 2006 FILE ID= 40511-1149298532 PBS_JOBID= 307259 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40511-1149298532/instance-40511-1149298532.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-40511-1149298532 -o ROOT/results/node39/solver-40511-1149298532 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40511-1149298532/instance-40511-1149298532.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78 RANDOM SEED= 371589788 /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.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 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: 1687968 kB Buffers: 25424 kB Cached: 272652 kB SwapCached: 3912 kB Active: 54688 kB Inactive: 252276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1687968 kB SwapTotal: 4192956 kB SwapFree: 4180884 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14836 kB Slab: 46960 kB Committed_AS: 317564 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node39 on Sat Jun 3 02:05:33 UTC 2006