Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -34 | 1800.01 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 5249f5f1c551add7f5b5b920fc1c3b9c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -39 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
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 | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
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.07 c INFO: OSL Context initialized. 0.63 c Initial problem consists of 760 variables and 41263 constraints. 4.83 c No problem reductions applied in OPT. instance. 4.83 c preprocess terminated. Elapsed time: 4.758 4.83 c After prepocess the problem consists of 760 variables and 41263 constraints. 4.83 c Initial Lower Bound: -760 4.86 c Sol. found (all assignments made)... 4.86 o -1 4.86 c NEW SOLUTION FOUND: -1 @ 4.792 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 o -2 4.86 c NEW SOLUTION FOUND: -2 @ 4.797 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 o -3 4.89 c NEW SOLUTION FOUND: -3 @ 4.819 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 o -4 4.92 c NEW SOLUTION FOUND: -4 @ 4.854 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 5.02 c Restart #1 #Var: 760 LB: -760 @ 4.953 5.06 c Sol. found (all assignments made)... 5.06 o -29 5.06 c NEW SOLUTION FOUND: -29 @ 4.988 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 o -30 5.06 c NEW SOLUTION FOUND: -30 @ 4.99 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.21 c Restart #2 #Var: 760 LB: -760 @ 5.147 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.47 c Restart #3 #Var: 760 LB: -760 @ 5.4 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.54 c Sol. found (all assignments made)... 5.54 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.78 c Restart #4 #Var: 760 LB: -760 @ 5.714 5.82 c Sol. found (all assignments made)... 5.82 o -31 5.82 c NEW SOLUTION FOUND: -31 @ 5.751 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 o -32 5.82 c NEW SOLUTION FOUND: -32 @ 5.753 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.16 c Restart #5 #Var: 760 LB: -760 @ 6.095 6.20 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.55 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.60 c Restart #6 #Var: 760 LB: -760 @ 6.535 6.74 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 7.10 c Restart #7 #Var: 760 LB: -760 @ 7.034 7.66 c Restart #8 #Var: 760 LB: -760 @ 7.593 28.25 c CHANGE to MIS mode... UB: -32 MIS: -384 LPR: -349 (1.9905) Diff: 1.1003 28.25 c Restart #0 #Var: 760 LB: -760 @ 28.171 28.48 c Restart #1 #Var: 760 LB: -383 @ 28.405 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.78 c Restart #2 #Var: 760 LB: -383 @ 28.706 29.12 c Restart #3 #Var: 760 LB: -760 @ 29.05 29.41 c Sol. found (all assignments made)... 29.43 c Sol. found (all assignments made)... 29.43 c Sol. found (all assignments made)... 29.43 c Sol. found (all assignments made)... 29.44 c Sol. found (all assignments made)... 29.45 c Sol. found (all assignments made)... 29.45 c Sol. found (all assignments made)... 29.46 c Sol. found (all assignments made)... 29.51 c Restart #4 #Var: 760 LB: -760 @ 29.438 29.69 c Sol. found (all assignments made)... 29.69 c Sol. found (all assignments made)... 29.90 c Sol. found (all assignments made)... 29.90 c Sol. found (all assignments made)... 29.90 o -33 29.90 c NEW SOLUTION FOUND: -33 @ 29.83 29.91 c Sol. found (all assignments made)... 30.01 c Sol. found (all assignments made)... 30.01 o -34 30.01 c NEW SOLUTION FOUND: -34 @ 29.934 30.01 c Sol. found (all assignments made)... 30.01 c Sol. found (all assignments made)... 30.37 c Restart #5 #Var: 760 LB: -760 @ 30.3 30.92 c Restart #6 #Var: 760 LB: -760 @ 30.841 31.54 c Restart #7 #Var: 760 LB: -385 @ 31.466 32.24 c Restart #8 #Var: 760 LB: -760 @ 32.165 32.96 c Restart #9 #Var: 760 LB: -760 @ 32.888 33.79 c Restart #10 #Var: 760 LB: -384 @ 33.715 34.70 c Restart #11 #Var: 760 LB: -760 @ 34.621 35.65 c Restart #12 #Var: 760 LB: -760 @ 35.572 36.69 c Restart #13 #Var: 760 LB: -383 @ 36.612 37.78 c Restart #14 #Var: 760 LB: -383 @ 37.7 38.99 c Restart #15 #Var: 760 LB: -384 @ 38.911 40.23 c Restart #16 #Var: 760 LB: -760 @ 40.153 41.56 c Restart #17 #Var: 760 LB: -760 @ 41.48 42.96 c Restart #18 #Var: 760 LB: -385 @ 42.879 44.53 c Restart #19 #Var: 760 LB: -386 @ 44.45 46.23 c Restart #20 #Var: 760 LB: -385 @ 46.156 47.86 c Restart #21 #Var: 760 LB: -760 @ 47.779 49.52 c Restart #22 #Var: 760 LB: -760 @ 49.438 51.21 c Restart #23 #Var: 760 LB: -760 @ 51.126 53.05 c Restart #24 #Var: 760 LB: -383 @ 52.973 54.93 c Restart #25 #Var: 760 LB: -760 @ 54.853 56.88 c Restart #26 #Var: 760 LB: -760 @ 56.803 58.86 c Restart #27 #Var: 760 LB: -760 @ 58.774 60.90 c Restart #28 #Var: 760 LB: -760 @ 60.815 63.06 c Restart #29 #Var: 760 LB: -760 @ 62.981 65.29 c Restart #30 #Var: 760 LB: -760 @ 65.21 67.48 c Restart #31 #Var: 760 LB: -760 @ 67.396 69.83 c Restart #32 #Var: 760 LB: -760 @ 69.749 72.29 c Restart #33 #Var: 760 LB: -760 @ 72.204 74.81 c Restart #34 #Var: 760 LB: -382 @ 74.722 77.37 c Restart #35 #Var: 760 LB: -760 @ 77.288 79.99 c Restart #36 #Var: 760 LB: -384 @ 79.899 82.64 c Restart #37 #Var: 760 LB: -760 @ 82.555 85.41 c Restart #38 #Var: 760 LB: -760 @ 85.322 88.30 c Restart #39 #Var: 760 LB: -760 @ 88.212 91.25 c Restart #40 #Var: 760 LB: -760 @ 91.164 94.17 c Restart #41 #Var: 760 LB: -760 @ 94.082 97.18 c Restart #42 #Var: 760 LB: -760 @ 97.087 100.28 c Restart #43 #Var: 760 LB: -760 @ 100.19 103.58 c Restart #44 #Var: 760 LB: -760 @ 103.48 106.89 c Restart #45 #Var: 760 LB: -760 @ 106.79 110.22 c Restart #46 #Var: 760 LB: -760 @ 110.12 113.80 c Restart #47 #Var: 760 LB: -760 @ 113.71 117.28 c Restart #48 #Var: 760 LB: -760 @ 117.18 117.67 c Sol. found (all assignments made)... 117.68 c Sol. found (all assignments made)... 117.68 c Sol. found (all assignments made)... 117.68 c Sol. found (all assignments made)... 117.69 c Sol. found (all assignments made)... 117.71 c Sol. found (all assignments made)... 117.71 c Sol. found (all assignments made)... 117.72 c Sol. found (all assignments made)... 117.72 c Sol. found (all assignments made)... 119.10 c Sol. found (all assignments made)... 119.14 c Sol. found (all assignments made)... 119.17 c Sol. found (all assignments made)... 119.20 c Sol. found (all assignments made)... 119.40 c Sol. found (all assignments made)... 119.40 c Sol. found (all assignments made)... 119.40 c Sol. found (all assignments made)... 119.41 c Sol. found (all assignments made)... 119.42 c Sol. found (all assignments made)... 119.42 c Sol. found (all assignments made)... 119.43 c Sol. found (all assignments made)... 119.43 c Sol. found (all assignments made)... 119.43 c Sol. found (all assignments made)... 119.46 c Sol. found (all assignments made)... 119.46 c Sol. found (all assignments made)... 119.46 c Sol. found (all assignments made)... 119.59 c Sol. found (all assignments made)... 119.60 c Sol. found (all assignments made)... 119.60 c Sol. found (all assignments made)... 119.60 c Sol. found (all assignments made)... 119.60 c Sol. found (all assignments made)... 119.60 c Sol. found (all assignments made)... 119.60 c Sol. found (all assignments made)... 119.60 c Sol. found (all assignments made)... 119.61 c Sol. found (all assignments made)... 119.61 c Sol. found (all assignments made)... 119.61 c Sol. found (all assignments made)... 119.61 c Sol. found (all assignments made)... 119.61 c Sol. found (all assignments made)... 119.61 c Sol. found (all assignments made)... 119.61 c Sol. found (all assignments made)... 119.62 c Sol. found (all assignments made)... 119.62 c Sol. found (all assignments made)... 119.62 c Sol. found (all assignments made)... 119.62 c Sol. found (all assignments made)... 119.62 c Sol. found (all assignments made)... 119.62 c Sol. found (all assignments made)... 119.62 c Sol. found (all assignments made)... 119.63 c Sol. found (all assignments made)... 119.63 c Sol. found (all assignments made)... 119.63 c Sol. found (all assignments made)... 119.63 c Sol. found (all assignments made)... 119.69 c Sol. found (all assignments made)... 119.69 c Sol. found (all assignments made)... 119.69 c Sol. found (all assignments made)... 119.70 c Sol. found (all assignments made)... 119.70 c Sol. found (all assignments made)... 119.70 c Sol. found (all assignments made)... 119.70 c Sol. found (all assignments made)... 119.70 c Sol. found (all assignments made)... 119.71 c Sol. found (all assignments made)... 119.71 c Sol. found (all assignments made)... 119.72 c Sol. found (all assignments made)... 119.72 c Sol. found (all assignments made)... 119.72 c Sol. found (all assignments made)... 119.72 c Sol. found (all assignments made)... 119.72 c Sol. found (all assignments made)... 119.72 c Sol. found (all assignments made)... 119.74 c Sol. found (all assignments made)... 119.74 c Sol. found (all assignments made)... 119.74 c Sol. found (all assignments made)... 119.74 c Sol. found (all assignments made)... 119.74 c Sol. found (all assignments made)... 119.74 c Sol. found (all assignments made)... 119.75 c Sol. found (all assignments made)... 119.75 c Sol. found (all assignments made)... 119.76 c Sol. found (all assignments made)... 119.76 c Sol. found (all assignments made)... 119.76 c Sol. found (all assignments made)... 119.77 c Sol. found (all assignments made)... 119.77 c Sol. found (all assignments made)... 119.77 c Sol. found (all assignments made)... 119.77 c Sol. found (all assignments made)... 119.77 c Sol. found (all assignments made)... 119.79 c Sol. found (all assignments made)... 119.79 c Sol. found (all assignments made)... 119.79 c Sol. found (all assignments made)... 119.80 c Sol. found (all assignments made)... 119.80 c Sol. found (all assignments made)... 119.80 c Sol. found (all assignments made)... 119.80 c Sol. found (all assignments made)... 119.80 c Sol. found (all assignments made)... 119.80 c Sol. found (all assignments made)... 119.80 c Sol. found (all assignments made)... 119.80 c Sol. found (all assignments made)... 119.80 c Sol. found (all assignments made)... 119.80 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.85 c Sol. found (all assignments made)... 119.85 c Sol. found (all assignments made)... 119.85 c Sol. found (all assignments made)... 119.85 c Sol. found (all assignments made)... 119.85 c Sol. found (all assignments made)... 119.86 c Sol. found (all assignments made)... 119.86 c Sol. found (all assignments made)... 119.86 c Sol. found (all assignments made)... 119.93 c Sol. found (all assignments made)... 119.94 c Sol. found (all assignments made)... 119.94 c Sol. found (all assignments made)... 119.94 c Sol. found (all assignments made)... 119.96 c Sol. found (all assignments made)... 119.96 c Sol. found (all assignments made)... 119.97 c Sol. found (all assignments made)... 119.97 c Sol. found (all assignments made)... 119.97 c Sol. found (all assignments made)... 119.97 c Sol. found (all assignments made)... 120.06 c Sol. found (all assignments made)... 120.06 c Sol. found (all assignments made)... 120.06 c Sol. found (all assignments made)... 120.06 c Sol. found (all assignments made)... 120.06 c Sol. found (all assignments made)... 120.06 c Sol. found (all assignments made)... 120.07 c Sol. found (all assignments made)... 120.07 c Sol. found (all assignments made)... 120.07 c Sol. found (all assignments made)... 120.07 c Sol. found (all assignments made)... 120.07 c Sol. found (all assignments made)... 120.07 c Sol. found (all assignments made)... 120.07 c Sol. found (all assignments made)... 120.07 c Sol. found (all assignments made)... 120.08 c Sol. found (all assignments made)... 120.08 c Sol. found (all assignments made)... 120.08 c Sol. found (all assignments made)... 120.09 c Sol. found (all assignments made)... 120.09 c Sol. found (all assignments made)... 120.09 c Sol. found (all assignments made)... 120.09 c Sol. found (all assignments made)... 120.09 c Sol. found (all assignments made)... 120.09 c Sol. found (all assignments made)... 120.09 c Sol. found (all assignments made)... 120.10 c Sol. found (all assignments made)... 120.10 c Sol. found (all assignments made)... 120.10 c Sol. found (all assignments made)... 120.10 c Sol. found (all assignments made)... 120.10 c Sol. found (all assignments made)... 120.10 c Sol. found (all assignments made)... 120.10 c Sol. found (all assignments made)... 120.10 c Sol. found (all assignments made)... 120.11 c Sol. found (all assignments made)... 120.11 c Sol. found (all assignments made)... 120.11 c Sol. found (all assignments made)... 120.11 c Sol. found (all assignments made)... 120.11 c Sol. found (all assignments made)... 120.11 c Sol. found (all assignments made)... 120.11 c Sol. found (all assignments made)... 120.12 c Sol. found (all assignments made)... 120.12 c Sol. found (all assignments made)... 120.12 c Sol. found (all assignments made)... 120.12 c Sol. found (all assignments made)... 120.12 c Sol. found (all assignments made)... 120.12 c Sol. found (all assignments made)... 120.12 c Sol. found (all assignments made)... 120.13 c Sol. found (all assignments made)... 120.13 c Sol. found (all assignments made)... 120.13 c Sol. found (all assignments made)... 120.13 c Sol. found (all assignments made)... 120.13 c Sol. found (all assignments made)... 120.13 c Sol. found (all assignments made)... 120.13 c Sol. found (all assignments made)... 120.13 c Sol. found (all assignments made)... 120.14 c Sol. found (all assignments made)... 120.14 c Sol. found (all assignments made)... 120.14 c Sol. found (all assignments made)... 120.15 c Sol. found (all assignments made)... 120.15 c Sol. found (all assignments made)... 120.15 c Sol. found (all assignments made)... 120.15 c Sol. found (all assignments made)... 120.15 c Sol. found (all assignments made)... 120.15 c Sol. found (all assignments made)... 120.15 c Sol. found (all assignments made)... 120.16 c Sol. found (all assignments made)... 120.16 c Sol. found (all assignments made)... 120.16 c Sol. found (all assignments made)... 120.16 c Sol. found (all assignments made)... 120.16 c Sol. found (all assignments made)... 120.16 c Sol. found (all assignments made)... 120.16 c Sol. found (all assignments made)... 120.16 c Sol. found (all assignments made)... 120.17 c Sol. found (all assignments made)... 120.17 c Sol. found (all assignments made)... 120.17 c Sol. found (all assignments made)... 120.17 c Sol. found (all assignments made)... 120.17 c Sol. found (all assignments made)... 120.17 c Sol. found (all assignments made)... 120.17 c Sol. found (all assignments made)... 120.17 c Sol. found (all assignments made)... 120.18 c Sol. found (all assignments made)... 120.19 c Sol. found (all assignments made)... 120.19 c Sol. found (all assignments made)... 120.19 c Sol. found (all assignments made)... 120.19 c Sol. found (all assignments made)... 120.19 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.20 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.21 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.22 c Sol. found (all assignments made)... 120.23 c Sol. found (all assignments made)... 120.23 c Sol. found (all assignments made)... 120.23 c Sol. found (all assignments made)... 120.23 c Sol. found (all assignments made)... 120.23 c Sol. found (all assignments made)... 120.23 c Sol. found (all assignments made)... 120.23 c Sol. found (all assignments made)... 120.23 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.25 c Sol. found (all assignments made)... 120.25 c Sol. found (all assignments made)... 120.25 c Sol. found (all assignments made)... 120.25 c Sol. found (all assignments made)... 120.25 c Sol. found (all assignments made)... 120.25 c Sol. found (all assignments made)... 120.25 c Sol. found (all assignments made)... 120.25 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.26 c Sol. found (all assignments made)... 120.27 c Sol. found (all assignments made)... 120.27 c Sol. found (all assignments made)... 120.27 c Sol. found (all assignments made)... 120.27 c Sol. found (all assignments made)... 120.27 c Sol. found (all assignments made)... 120.27 c Sol. found (all assignments made)... 120.27 c Sol. found (all assignments made)... 120.27 c Sol. found (all assignments made)... 120.27 c Sol. found (all assignments made)... 120.27 c Sol. found (all assignments made)... 120.28 c Sol. found (all assignments made)... 120.28 c Sol. found (all assignments made)... 120.28 c Sol. found (all assignments made)... 120.28 c Sol. found (all assignments made)... 120.28 c Sol. found (all assignments made)... 120.28 c Sol. found (all assignments made)... 120.28 c Sol. found (all assignments made)... 120.29 c Sol. found (all assignments made)... 120.29 c Sol. found (all assignments made)... 120.29 c Sol. found (all assignments made)... 120.29 c Sol. found (all assignments made)... 120.29 c Sol. found (all assignments made)... 120.29 c Sol. found (all assignments made)... 120.29 c Sol. found (all assignments made)... 120.30 c Sol. found (all assignments made)... 120.30 c Sol. found (all assignments made)... 120.30 c Sol. found (all assignments made)... 120.30 c Sol. found (all assignments made)... 120.30 c Sol. found (all assignments made)... 120.30 c Sol. found (all assignments made)... 120.30 c Sol. found (all assignments made)... 120.30 c Sol. found (all assignments made)... 120.30 c Sol. found (all assignments made)... 120.31 c Sol. found (all assignments made)... 120.31 c Sol. found (all assignments made)... 120.31 c Sol. found (all assignments made)... 120.31 c Sol. found (all assignments made)... 120.31 c Sol. found (all assignments made)... 120.31 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.33 c Sol. found (all assignments made)... 120.33 c Sol. found (all assignments made)... 120.33 c Sol. found (all assignments made)... 120.33 c Sol. found (all assignments made)... 120.38 c Sol. found (all assignments made)... 120.38 c Sol. found (all assignments made)... 120.38 c Sol. found (all assignments made)... 120.39 c Sol. found (all assignments made)... 120.39 c Sol. found (all assignments made)... 120.39 c Sol. found (all assignments made)... 120.39 c Sol. found (all assignments made)... 120.43 c Sol. found (all assignments made)... 120.43 c Sol. found (all assignments made)... 120.43 c Sol. found (all assignments made)... 120.43 c Sol. found (all assignments made)... 120.44 c Sol. found (all assignments made)... 120.44 c Sol. found (all assignments made)... 120.44 c Sol. found (all assignments made)... 120.44 c Sol. found (all assignments made)... 120.44 c Sol. found (all assignments made)... 120.44 c Sol. found (all assignments made)... 120.44 c Sol. found (all assignments made)... 120.44 c Sol. found (all assignments made)... 120.44 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.45 c Sol. found (all assignments made)... 120.46 c Sol. found (all assignments made)... 120.46 c Sol. found (all assignments made)... 120.46 c Sol. found (all assignments made)... 120.46 c Sol. found (all assignments made)... 120.46 c Sol. found (all assignments made)... 120.46 c Sol. found (all assignments made)... 120.46 c Sol. found (all assignments made)... 120.46 c Sol. found (all assignments made)... 120.46 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.47 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.49 c Sol. found (all assignments made)... 120.49 c Sol. found (all assignments made)... 120.49 c Sol. found (all assignments made)... 120.49 c Sol. found (all assignments made)... 120.49 c Sol. found (all assignments made)... 120.49 c Sol. found (all assignments made)... 120.49 c Sol. found (all assignments made)... 120.49 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.51 c Sol. found (all assignments made)... 120.51 c Sol. found (all assignments made)... 120.51 c Sol. found (all assignments made)... 120.51 c Sol. found (all assignments made)... 120.51 c Sol. found (all assignments made)... 120.51 c Sol. found (all assignments made)... 120.51 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.53 c Sol. found (all assignments made)... 120.53 c Sol. found (all assignments made)... 120.53 c Sol. found (all assignments made)... 120.53 c Sol. found (all assignments made)... 120.53 c Sol. found (all assignments made)... 120.53 c Sol. found (all assignments made)... 120.53 c Sol. found (all assignments made)... 120.53 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.55 c Sol. found (all assignments made)... 120.55 c Sol. found (all assignments made)... 120.55 c Sol. found (all assignments made)... 120.55 c Sol. found (all assignments made)... 120.55 c Sol. found (all assignments made)... 120.55 c Sol. found (all assignments made)... 120.55 c Sol. found (all assignments made)... 120.55 c Sol. found (all assignments made)... 120.55 c Sol. found (all assignments made)... 120.55 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.62 c Sol. found (all assignments made)... 120.62 c Sol. found (all assignments made)... 120.70 c Restart #49 #Var: 760 LB: -760 @ 120.61 124.27 c Restart #50 #Var: 760 LB: -760 @ 124.17 127.86 c Restart #51 #Var: 760 LB: -386 @ 127.76 131.51 c Restart #52 #Var: 760 LB: -760 @ 131.41 135.21 c Restart #53 #Var: 760 LB: -760 @ 135.11 139.07 c Restart #54 #Var: 760 LB: -760 @ 138.97 143.25 c Restart #55 #Var: 760 LB: -384 @ 143.15 147.26 c Restart #56 #Var: 760 LB: -760 @ 147.15 151.45 c Restart #57 #Var: 760 LB: -760 @ 151.34 155.50 c Restart #58 #Var: 760 LB: -760 @ 155.39 159.83 c Restart #59 #Var: 760 LB: -383 @ 159.72 164.14 c Restart #60 #Var: 760 LB: -760 @ 164.03 168.41 c Restart #61 #Var: 760 LB: -760 @ 168.3 168.78 c Sol. found (all assignments made)... 169.43 c Sol. found (all assignments made)... 169.45 c Sol. found (all assignments made)... 169.60 c Sol. found (all assignments made)... 169.61 c Sol. found (all assignments made)... 169.73 c Sol. found (all assignments made)... 169.73 c Sol. found (all assignments made)... 173.01 c Restart #62 #Var: 760 LB: -760 @ 172.9 177.53 c Restart #63 #Var: 760 LB: -760 @ 177.42 182.10 c Restart #64 #Var: 760 LB: -760 @ 181.99 186.61 c Restart #65 #Var: 760 LB: -760 @ 186.5 191.31 c Restart #66 #Var: 760 LB: -760 @ 191.2 196.13 c Restart #67 #Var: 760 LB: -760 @ 196.01 200.98 c Restart #68 #Var: 760 LB: -760 @ 200.86 205.92 c Restart #69 #Var: 760 LB: -760 @ 205.8 211.05 c Restart #70 #Var: 760 LB: -760 @ 210.93 216.12 c Restart #71 #Var: 760 LB: -760 @ 215.99 221.23 c Restart #72 #Var: 760 LB: -760 @ 221.1 223.89 c Sol. found (all assignments made)... 223.94 c Sol. found (all assignments made)... 223.95 c Sol. found (all assignments made)... 226.41 c Restart #73 #Var: 760 LB: -760 @ 226.28 231.71 c Restart #74 #Var: 760 LB: -760 @ 231.58 237.13 c Restart #75 #Var: 760 LB: -760 @ 237 242.47 c Restart #76 #Var: 760 LB: -760 @ 242.34 248.05 c Restart #77 #Var: 760 LB: -760 @ 247.92 253.74 c Restart #78 #Var: 760 LB: -760 @ 253.6 259.51 c Restart #79 #Var: 760 LB: -384 @ 259.38 265.20 c Restart #80 #Var: 760 LB: -760 @ 265.06 271.04 c Restart #81 #Var: 760 LB: -760 @ 270.9 276.92 c Restart #82 #Var: 760 LB: -760 @ 276.78 282.81 c Restart #83 #Var: 760 LB: -760 @ 282.67 288.67 c Restart #84 #Var: 760 LB: -760 @ 288.53 294.62 c Restart #85 #Var: 760 LB: -760 @ 294.48 300.95 c Restart #86 #Var: 760 LB: -760 @ 300.8 306.92 c Restart #87 #Var: 760 LB: -760 @ 306.77 313.01 c Restart #88 #Var: 760 LB: -760 @ 312.86 319.28 c Restart #89 #Var: 760 LB: -760 @ 319.13 325.55 c Restart #90 #Var: 760 LB: -760 @ 325.4 332.02 c Restart #91 #Var: 760 LB: -760 @ 331.86 338.56 c Restart #92 #Var: 760 LB: -760 @ 338.4 345.32 c Restart #93 #Var: 760 LB: -760 @ 345.16 351.90 c Restart #94 #Var: 760 LB: -760 @ 351.74 358.84 c Restart #95 #Var: 760 LB: -760 @ 358.67 365.71 c Restart #96 #Var: 760 LB: -760 @ 365.54 372.39 c Restart #97 #Var: 760 LB: -760 @ 372.22 379.49 c Restart #98 #Var: 760 LB: -384 @ 379.32 386.35 c Restart #99 #Var: 760 LB: -760 @ 386.18 393.71 c Restart #100 #Var: 760 LB: -760 @ 393.54 400.88 c Restart #101 #Var: 760 LB: -760 @ 400.7 408.43 c Restart #102 #Var: 760 LB: -760 @ 408.25 415.68 c Restart #103 #Var: 760 LB: -760 @ 415.5 423.02 c Restart #104 #Var: 760 LB: -383 @ 422.84 430.65 c Restart #105 #Var: 760 LB: -760 @ 430.47 431.35 c Sol. found (all assignments made)... 431.35 c Sol. found (all assignments made)... 431.35 c Sol. found (all assignments made)... 431.37 c Sol. found (all assignments made)... 431.38 c Sol. found (all assignments made)... 431.52 c Sol. found (all assignments made)... 431.52 c Sol. found (all assignments made)... 431.53 c Sol. found (all assignments made)... 431.55 c Sol. found (all assignments made)... 431.87 c Sol. found (all assignments made)... 431.95 c Sol. found (all assignments made)... 432.04 c Sol. found (all assignments made)... 432.04 c Sol. found (all assignments made)... 432.05 c Sol. found (all assignments made)... 432.06 c Sol. found (all assignments made)... 432.11 c Sol. found (all assignments made)... 438.07 c Restart #106 #Var: 760 LB: -760 @ 437.88 445.74 c Restart #107 #Var: 760 LB: -760 @ 445.56 453.21 c Restart #108 #Var: 760 LB: -760 @ 453.02 460.99 c Restart #109 #Var: 760 LB: -760 @ 460.8 468.83 c Restart #110 #Var: 760 LB: -760 @ 468.64 476.76 c Restart #111 #Var: 760 LB: -760 @ 476.57 484.72 c Restart #112 #Var: 760 LB: -760 @ 484.52 492.47 c Restart #113 #Var: 760 LB: -760 @ 492.27 500.71 c Restart #114 #Var: 760 LB: -760 @ 500.5 508.86 c Restart #115 #Var: 760 LB: -760 @ 508.66 517.12 c Restart #116 #Var: 760 LB: -760 @ 516.91 525.47 c Restart #117 #Var: 760 LB: -760 @ 525.26 533.85 c Restart #118 #Var: 760 LB: -760 @ 533.64 542.22 c Restart #119 #Var: 760 LB: -760 @ 542.01 550.67 c Restart #120 #Var: 760 LB: -760 @ 550.46 559.22 c Restart #121 #Var: 760 LB: -760 @ 559.01 567.53 c Restart #122 #Var: 760 LB: -760 @ 567.32 576.25 c Restart #123 #Var: 760 LB: -760 @ 576.03 585.07 c Restart #124 #Var: 760 LB: -760 @ 584.85 593.94 c Restart #125 #Var: 760 LB: -760 @ 593.72 602.90 c Restart #126 #Var: 760 LB: -760 @ 602.67 612.10 c Restart #127 #Var: 760 LB: -760 @ 611.87 621.16 c Restart #128 #Var: 760 LB: -760 @ 620.92 630.21 c Restart #129 #Var: 760 LB: -760 @ 629.98 639.43 c Restart #130 #Var: 760 LB: -760 @ 639.19 648.49 c Restart #131 #Var: 760 LB: -760 @ 648.25 657.62 c Restart #132 #Var: 760 LB: -760 @ 657.37 659.22 c Sol. found (all assignments made)... 659.23 c Sol. found (all assignments made)... 659.23 c Sol. found (all assignments made)... 667.00 c Restart #133 #Var: 760 LB: -760 @ 666.75 676.28 c Restart #134 #Var: 760 LB: -760 @ 676.03 685.95 c Restart #135 #Var: 760 LB: -760 @ 685.7 695.29 c Restart #136 #Var: 760 LB: -760 @ 695.04 705.14 c Restart #137 #Var: 760 LB: -760 @ 704.88 714.89 c Restart #138 #Var: 760 LB: -760 @ 714.63 724.84 c Restart #139 #Var: 760 LB: -760 @ 724.58 734.75 c Restart #140 #Var: 760 LB: -760 @ 734.48 744.66 c Restart #141 #Var: 760 LB: -760 @ 744.39 754.53 c Restart #142 #Var: 760 LB: -760 @ 754.26 764.59 c Restart #143 #Var: 760 LB: -760 @ 764.32 774.64 c Restart #144 #Var: 760 LB: -760 @ 774.37 784.88 c Restart #145 #Var: 760 LB: -760 @ 784.6 795.46 c Restart #146 #Var: 760 LB: -760 @ 795.17 805.90 c Restart #147 #Var: 760 LB: -760 @ 805.62 816.39 c Restart #148 #Var: 760 LB: -760 @ 816.11 826.98 c Restart #149 #Var: 760 LB: -760 @ 826.7 837.63 c Restart #150 #Var: 760 LB: -760 @ 837.34 847.95 c Restart #151 #Var: 760 LB: -760 @ 847.65 858.22 c Restart #152 #Var: 760 LB: -760 @ 857.92 859.24 c Sol. found (all assignments made)... 869.20 c Restart #153 #Var: 760 LB: -760 @ 868.9 879.72 c Restart #154 #Var: 760 LB: -760 @ 879.42 890.69 c Restart #155 #Var: 760 LB: -760 @ 890.38 901.96 c Restart #156 #Var: 760 LB: -760 @ 901.65 912.96 c Restart #157 #Var: 760 LB: -760 @ 912.65 924.48 c Restart #158 #Var: 760 LB: -760 @ 924.16 935.58 c Restart #159 #Var: 760 LB: -760 @ 935.27 947.33 c Restart #160 #Var: 760 LB: -760 @ 947.01 958.76 c Restart #161 #Var: 760 LB: -760 @ 958.44 969.85 c Restart #162 #Var: 760 LB: -760 @ 969.53 981.40 c Restart #163 #Var: 760 LB: -760 @ 981.08 993.15 c Restart #164 #Var: 760 LB: -760 @ 992.82 1004.56 c Restart #165 #Var: 760 LB: -760 @ 1004.2 1016.32 c Restart #166 #Var: 760 LB: -760 @ 1016 1028.08 c Restart #167 #Var: 760 LB: -760 @ 1027.7 1040.27 c Restart #168 #Var: 760 LB: -760 @ 1039.9 1052.19 c Restart #169 #Var: 760 LB: -760 @ 1051.8 1053.17 c Sol. found (all assignments made)... 1053.17 c Sol. found (all assignments made)... 1053.17 c Sol. found (all assignments made)... 1053.17 c Sol. found (all assignments made)... 1053.25 c Sol. found (all assignments made)... 1053.25 c Sol. found (all assignments made)... 1053.25 c Sol. found (all assignments made)... 1053.25 c Sol. found (all assignments made)... 1054.20 c Sol. found (all assignments made)... 1054.20 c Sol. found (all assignments made)... 1054.21 c Sol. found (all assignments made)... 1054.21 c Sol. found (all assignments made)... 1054.33 c Sol. found (all assignments made)... 1054.33 c Sol. found (all assignments made)... 1054.34 c Sol. found (all assignments made)... 1054.34 c Sol. found (all assignments made)... 1063.85 c Restart #170 #Var: 760 LB: -760 @ 1063.5 1076.34 c Restart #171 #Var: 760 LB: -760 @ 1076 1088.64 c Restart #172 #Var: 760 LB: -760 @ 1088.3 1100.83 c Restart #173 #Var: 760 LB: -760 @ 1100.5 1112.85 c Restart #174 #Var: 760 LB: -760 @ 1112.5 1125.16 c Restart #175 #Var: 760 LB: -760 @ 1124.8 1137.92 c Restart #176 #Var: 760 LB: -760 @ 1137.5 1150.47 c Restart #177 #Var: 760 LB: -760 @ 1150.1 1162.71 c Restart #178 #Var: 760 LB: -760 @ 1162.3 1175.19 c Restart #179 #Var: 760 LB: -760 @ 1174.8 1187.63 c Restart #180 #Var: 760 LB: -760 @ 1187.2 1200.38 c Restart #181 #Var: 760 LB: -760 @ 1200 1213.18 c Restart #182 #Var: 760 LB: -760 @ 1212.8 1226.01 c Restart #183 #Var: 760 LB: -760 @ 1225.6 1239.13 c Restart #184 #Var: 760 LB: -760 @ 1238.7 1252.14 c Restart #185 #Var: 760 LB: -760 @ 1251.7 1265.46 c Restart #186 #Var: 760 LB: -760 @ 1265 1278.56 c Restart #187 #Var: 760 LB: -760 @ 1278.2 1291.95 c Restart #188 #Var: 760 LB: -760 @ 1291.5 1298.64 c Sol. found (all assignments made)... 1304.99 c Restart #189 #Var: 760 LB: -760 @ 1304.6 1318.08 c Restart #190 #Var: 760 LB: -760 @ 1317.7 1331.60 c Restart #191 #Var: 760 LB: -760 @ 1331.2 1345.13 c Restart #192 #Var: 760 LB: -760 @ 1344.7 1358.44 c Restart #193 #Var: 760 LB: -760 @ 1358 1358.75 c Sol. found (all assignments made)... 1358.76 c Sol. found (all assignments made)... 1358.76 c Sol. found (all assignments made)... 1358.76 c Sol. found (all assignments made)... 1358.79 c Sol. found (all assignments made)... 1358.79 c Sol. found (all assignments made)... 1358.79 c Sol. found (all assignments made)... 1358.79 c Sol. found (all assignments made)... 1358.84 c Sol. found (all assignments made)... 1358.84 c Sol. found (all assignments made)... 1358.84 c Sol. found (all assignments made)... 1358.84 c Sol. found (all assignments made)... 1361.17 c Sol. found (all assignments made)... 1361.17 c Sol. found (all assignments made)... 1361.17 c Sol. found (all assignments made)... 1361.58 c Sol. found (all assignments made)... 1361.58 c Sol. found (all assignments made)... 1361.58 c Sol. found (all assignments made)... 1361.58 c Sol. found (all assignments made)... 1365.12 c Sol. found (all assignments made)... 1365.12 c Sol. found (all assignments made)... 1366.41 c Sol. found (all assignments made)... 1366.42 c Sol. found (all assignments made)... 1366.72 c Sol. found (all assignments made)... 1366.72 c Sol. found (all assignments made)... 1366.72 c Sol. found (all assignments made)... 1366.72 c Sol. found (all assignments made)... 1371.66 c Restart #194 #Var: 760 LB: -760 @ 1371.2 1385.61 c Restart #195 #Var: 760 LB: -760 @ 1385.2 1399.53 c Restart #196 #Var: 760 LB: -760 @ 1399.1 1399.68 c Sol. found (all assignments made)... 1399.70 c Sol. found (all assignments made)... 1399.71 c Sol. found (all assignments made)... 1413.46 c Restart #197 #Var: 760 LB: -760 @ 1413 1427.22 c Restart #198 #Var: 760 LB: -760 @ 1426.8 1440.93 c Restart #199 #Var: 760 LB: -760 @ 1440.5 1455.09 c Restart #200 #Var: 760 LB: -760 @ 1454.6 1469.24 c Restart #201 #Var: 760 LB: -760 @ 1468.8 1483.39 c Restart #202 #Var: 760 LB: -760 @ 1482.9 1497.34 c Restart #203 #Var: 760 LB: -760 @ 1496.9 1501.06 c Sol. found (all assignments made)... 1511.38 c Restart #204 #Var: 760 LB: -760 @ 1510.9 1525.83 c Restart #205 #Var: 760 LB: -760 @ 1525.3 1540.56 c Restart #206 #Var: 760 LB: -760 @ 1540.1 1555.43 c Restart #207 #Var: 760 LB: -760 @ 1554.9 1570.10 c Restart #208 #Var: 760 LB: -760 @ 1569.6 1584.55 c Restart #209 #Var: 760 LB: -760 @ 1584.1 1599.33 c Restart #210 #Var: 760 LB: -760 @ 1598.8 1614.17 c Restart #211 #Var: 760 LB: -760 @ 1613.7 1629.13 c Restart #212 #Var: 760 LB: -760 @ 1628.6 1644.52 c Restart #213 #Var: 760 LB: -760 @ 1644 1659.36 c Restart #214 #Var: 760 LB: -760 @ 1658.9 1674.47 c Restart #215 #Var: 760 LB: -760 @ 1674 1689.93 c Restart #216 #Var: 760 LB: -760 @ 1689.4 1705.26 c Restart #217 #Var: 760 LB: -760 @ 1704.7 1720.32 c Restart #218 #Var: 760 LB: -760 @ 1719.8 1735.56 c Restart #219 #Var: 760 LB: -760 @ 1735 1751.24 c Restart #220 #Var: 760 LB: -760 @ 1750.7 1766.93 c Restart #221 #Var: 760 LB: -760 @ 1766.4 1782.74 c Restart #222 #Var: 760 LB: -760 @ 1782.2 1798.49 c Restart #223 #Var: 760 LB: -760 @ 1797.9 1800.55 s SATISFIABLE 1800.55 c Cost: -34 1800.55 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 1800.55 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 1800.55 v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 1800.55 v -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 1800.55 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 1800.55 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 1800.55 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 1800.55 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 1800.55 v x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 1800.55 v -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 1800.55 v -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 1800.55 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 1800.55 v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 1800.55 v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 1800.55 v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 1800.55 v -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 1800.55 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 1800.55 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 1800.55 v -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 1800.55 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 1800.55 v -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 1800.55 v x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 1800.55 v -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 1800.55 v -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 1800.55 v -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 1800.55 v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 1800.55 v x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 1800.55 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 1800.55 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 1800.55 v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1800.55 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 1800.55 v -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 1800.55 v -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 1800.55 v -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 1800.55 v -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 1800.55 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.55 c Exit Code: 10 1800.55 c Total time: 1800 s
OK -34
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/node1/watcher-40490-1149292998 -o ROOT/results/node1/solver-40490-1149292998 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/40490-1149292998/instance-40490-1149292998.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 1.00 0.94 3/64 1586 /proc/meminfo: memFree=1569440/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=3224 CPUtime=0 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 55 0 0 0 0 0 0 0 18 0 1 0 194961407 3301376 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5829412 0 0 4096 0 0 0 0 17 1 0 0 /proc/1586/statm: 839 39 29 55 0 40 0 [startup+10.0034 s] /proc/loadavg: 0.94 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1544608/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=29788 CPUtime=9.93 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 6649 0 0 0 989 4 0 0 25 0 1 0 194961407 30502912 6557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 7447 6557 307 55 0 6339 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 29788 [startup+20.0095 s] /proc/loadavg: 0.95 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1527840/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=53696 CPUtime=19.93 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 13768 0 0 0 1985 8 0 0 25 0 1 0 194961407 54984704 10831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159351651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 13424 10831 413 55 0 12316 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 53696 [startup+30.0157 s] /proc/loadavg: 0.96 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536800/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=37864 CPUtime=29.93 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 140435 0 0 0 2930 63 0 0 25 0 1 0 194961407 38772736 8651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9466 8651 436 55 0 8358 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 37864 [startup+40.0219 s] /proc/loadavg: 0.96 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536672/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38132 CPUtime=39.94 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 140591 0 0 0 3929 65 0 0 25 0 1 0 194961407 39047168 8710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9533 8710 436 55 0 8425 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 38132 [startup+50.0281 s] /proc/loadavg: 0.97 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536480/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38152 CPUtime=49.94 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 140654 0 0 0 4928 66 0 0 25 0 1 0 194961407 39067648 8741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9538 8741 436 55 0 8430 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 38152 [startup+60.0342 s] /proc/loadavg: 0.97 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536608/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38116 CPUtime=59.94 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 140685 0 0 0 5927 67 0 0 25 0 1 0 194961407 39030784 8730 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9529 8730 436 55 0 8421 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 38116 [startup+70.0414 s] /proc/loadavg: 0.98 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536608/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38060 CPUtime=69.95 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 140796 0 0 0 6926 69 0 0 25 0 1 0 194961407 38973440 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9515 8718 436 55 0 8407 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 38060 [startup+80.0476 s] /proc/loadavg: 0.98 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536736/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38148 CPUtime=79.95 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 140967 0 0 0 7925 70 0 0 25 0 1 0 194961407 39063552 8711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9537 8711 436 55 0 8429 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 38148 [startup+90.0537 s] /proc/loadavg: 0.98 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536608/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38200 CPUtime=89.95 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141047 0 0 0 8924 71 0 0 25 0 1 0 194961407 39116800 8738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9550 8738 436 55 0 8442 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 38200 [startup+100.06 s] /proc/loadavg: 0.98 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536416/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38324 CPUtime=99.95 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141093 0 0 0 9923 72 0 0 25 0 1 0 194961407 39243776 8784 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9581 8784 436 55 0 8473 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 38324 [startup+110.066 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536416/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38372 CPUtime=109.96 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141120 0 0 0 10922 74 0 0 25 0 1 0 194961407 39292928 8790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9593 8790 436 55 0 8485 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 38372 [startup+120.072 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536352/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38328 CPUtime=119.96 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141120 0 0 0 11921 75 0 0 25 0 1 0 194961407 39247872 8785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9582 8785 436 55 0 8474 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 38328 [startup+130.078 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536352/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38296 CPUtime=129.97 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141122 0 0 0 12920 77 0 0 25 0 1 0 194961407 39215104 8777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9574 8777 436 55 0 8466 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 38296 [startup+140.084 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536352/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38220 CPUtime=139.97 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141128 0 0 0 13919 78 0 0 25 0 1 0 194961407 39137280 8758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6258757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9555 8758 436 55 0 8447 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 38220 [startup+150.09 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536416/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38348 CPUtime=149.98 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141198 0 0 0 14918 80 0 0 25 0 1 0 194961407 39268352 8777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9587 8777 436 55 0 8479 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 38348 [startup+160.096 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536288/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38244 CPUtime=159.97 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141244 0 0 0 15916 81 0 0 25 0 1 0 194961407 39161856 8764 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547499 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9561 8764 436 55 0 8453 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 38244 [startup+170.102 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536288/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38244 CPUtime=169.98 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141244 0 0 0 16916 82 0 0 25 0 1 0 194961407 39161856 8764 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9561 8764 436 55 0 8453 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 38244 [startup+180.108 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536352/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38320 CPUtime=179.98 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141264 0 0 0 17915 83 0 0 25 0 1 0 194961407 39239680 8770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9580 8770 436 55 0 8472 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 38320 [startup+190.114 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536544/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38056 CPUtime=189.99 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141264 0 0 0 18914 85 0 0 25 0 1 0 194961407 38969344 8717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9514 8717 436 55 0 8406 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 38056 [startup+200.12 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536544/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38160 CPUtime=199.99 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 141291 0 0 0 19913 86 0 0 25 0 1 0 194961407 39075840 8737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9540 8737 436 55 0 8432 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 38160 [startup+210.126 s] /proc/loadavg: 0.99 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1536288/2055920 swapFree=4181372/4192956 ################ # More data... # ################ /proc/1586/statm: 9710 8894 436 55 0 8602 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 38840 [startup+1771.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38840 CPUtime=1770.53 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 176753 300 0 0 25 0 1 0 194961407 39772160 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9710 8894 436 55 0 8602 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 38840 [startup+1781.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38840 CPUtime=1780.53 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 177751 302 0 0 25 0 1 0 194961407 39772160 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9710 8894 436 55 0 8602 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 38840 [startup+1782.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38840 CPUtime=1781.54 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 177851 303 0 0 25 0 1 0 194961407 39772160 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9710 8894 436 55 0 8602 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 38840 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1782.55 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 177952 303 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557799 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 38836 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1783.55 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 178052 303 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 38836 [startup+1785.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1784.55 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 178152 303 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 38836 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1785.55 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 178252 303 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 38836 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1786.56 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 178352 304 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 38836 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1787.57 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 178453 304 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 38836 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1788.57 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 178553 304 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 38836 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1789.58 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 178654 304 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 38836 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1790.58 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 178754 304 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 38836 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1791.58 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 178854 304 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 38836 [startup+1793.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1792.59 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 178955 304 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 38836 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1793.6 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 179055 305 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 38836 [startup+1795.16 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1794.6 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 179155 305 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 38836 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1795.61 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 179256 305 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 38836 [startup+1797.17 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1796.61 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 179356 305 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 38836 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38836 CPUtime=1797.62 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 179457 305 0 0 25 0 1 0 194961407 39768064 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9709 8894 436 55 0 8601 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 38836 [startup+1799.18 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38752 CPUtime=1798.62 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 179557 305 0 0 25 0 1 0 194961407 39682048 8891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9688 8891 436 55 0 8580 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 38752 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 0.94 2/64 1586 /proc/meminfo: memFree=1535776/2055920 swapFree=4181372/4192956 [pid=1586] ppid=1584 vsize=38752 CPUtime=1799.62 /proc/1586/stat : 1586 (bsolo) R 1584 1586 1540 0 -1 0 142542 0 0 0 179657 305 0 0 25 0 1 0 194961407 39682048 8891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1586/statm: 9688 8891 436 55 0 8580 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 38752 Child status: 10 Real time (s): 1800.57 CPU time (s): 1800.01 CPU user time (s): 1796.95 CPU system time (s): 3.06353 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (Kb): 53696
Begin job on node1 on Sat Jun 3 00:03:18 UTC 2006 FILE ID= 40490-1149292998 PBS_JOBID= 306979 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/40490-1149292998/instance-40490-1149292998.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-40490-1149292998 -o ROOT/results/node1/solver-40490-1149292998 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/40490-1149292998/instance-40490-1149292998.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c RANDOM SEED= 101076737 /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.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 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: 1569840 kB Buffers: 23424 kB Cached: 395948 kB SwapCached: 3452 kB Active: 28680 kB Inactive: 399508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1569840 kB SwapTotal: 4192956 kB SwapFree: 4181372 kB Dirty: 236 kB Writeback: 0 kB Mapped: 14908 kB Slab: 43852 kB Committed_AS: 268668 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node1 on Sat Jun 3 00:33:19 UTC 2006