Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | -38 | 1800.02 | 1800.55 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb |
| MD5SUM | 05ceccb8ea9c274c844c39df1472d3cc |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -44 |
| Best CPU time to get the best result obtained on this benchmark | 1800.45 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -44 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 59186 |
| Number of constraints which are clauses | 59186 |
| 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 | 945 |
| 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 | 945 |
| 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 | 945 |
| 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.02 c INFO: OSL Context initialized. 0.83 c Initial problem consists of 945 variables and 59186 constraints. 8.27 c No problem reductions applied in OPT. instance. 8.27 c preprocess terminated. Elapsed time: 8.248 8.27 c After prepocess the problem consists of 945 variables and 59186 constraints. 8.27 c Initial Lower Bound: -945 8.32 c Sol. found (all assignments made)... 8.32 o -1 8.32 c NEW SOLUTION FOUND: -1 @ 8.301 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 o -2 8.32 c NEW SOLUTION FOUND: -2 @ 8.303 8.32 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 o -3 8.34 c NEW SOLUTION FOUND: -3 @ 8.318 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 o -4 8.38 c NEW SOLUTION FOUND: -4 @ 8.363 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.51 c Restart #1 #Var: 945 LB: -945 @ 8.492 8.56 c Sol. found (all assignments made)... 8.56 o -30 8.56 c NEW SOLUTION FOUND: -30 @ 8.544 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 o -31 8.57 c NEW SOLUTION FOUND: -31 @ 8.554 8.58 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.78 c Restart #2 #Var: 945 LB: -945 @ 8.758 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.93 c Sol. found (all assignments made)... 8.93 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.96 c Sol. found (all assignments made)... 8.96 c Sol. found (all assignments made)... 8.97 c Sol. found (all assignments made)... 8.97 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.11 c Restart #3 #Var: 945 LB: -945 @ 9.093 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 o -32 9.17 c NEW SOLUTION FOUND: -32 @ 9.152 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 o -33 9.46 c NEW SOLUTION FOUND: -33 @ 9.439 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.82 c Restart #4 #Var: 945 LB: -945 @ 9.795 9.87 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.95 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.19 c Sol. found (all assignments made)... 10.19 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.31 c Restart #5 #Var: 945 LB: -945 @ 10.291 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.47 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.77 c Sol. found (all assignments made)... 10.77 c Sol. found (all assignments made)... 10.82 c Sol. found (all assignments made)... 10.82 c Sol. found (all assignments made)... 10.88 c Restart #6 #Var: 945 LB: -945 @ 10.859 10.94 c Sol. found (all assignments made)... 10.94 c Sol. found (all assignments made)... 10.94 c Sol. found (all assignments made)... 10.94 c Sol. found (all assignments made)... 10.94 c Sol. found (all assignments made)... 10.94 c Sol. found (all assignments made)... 10.94 c Sol. found (all assignments made)... 10.95 c Sol. found (all assignments made)... 10.95 c Sol. found (all assignments made)... 10.95 c Sol. found (all assignments made)... 10.96 c Sol. found (all assignments made)... 10.96 c Sol. found (all assignments made)... 10.96 c Sol. found (all assignments made)... 10.97 c Sol. found (all assignments made)... 10.97 c Sol. found (all assignments made)... 10.97 c Sol. found (all assignments made)... 10.97 c Sol. found (all assignments made)... 10.98 c Sol. found (all assignments made)... 10.98 c Sol. found (all assignments made)... 10.98 c Sol. found (all assignments made)... 10.98 c Sol. found (all assignments made)... 10.99 c Sol. found (all assignments made)... 10.99 c Sol. found (all assignments made)... 10.99 c Sol. found (all assignments made)... 10.99 c Sol. found (all assignments made)... 10.99 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.03 c Sol. found (all assignments made)... 11.03 c Sol. found (all assignments made)... 11.03 c Sol. found (all assignments made)... 11.03 c Sol. found (all assignments made)... 11.03 c Sol. found (all assignments made)... 11.03 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.05 c Sol. found (all assignments made)... 11.05 c Sol. found (all assignments made)... 11.05 c Sol. found (all assignments made)... 11.05 c Sol. found (all assignments made)... 11.05 c Sol. found (all assignments made)... 11.05 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.07 c Sol. found (all assignments made)... 11.08 c Sol. found (all assignments made)... 11.08 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.10 c Sol. found (all assignments made)... 11.10 c Sol. found (all assignments made)... 11.10 c Sol. found (all assignments made)... 11.10 c Sol. found (all assignments made)... 11.10 c Sol. found (all assignments made)... 11.10 c Sol. found (all assignments made)... 11.11 c Sol. found (all assignments made)... 11.11 c Sol. found (all assignments made)... 11.11 c Sol. found (all assignments made)... 11.11 c Sol. found (all assignments made)... 11.11 c Sol. found (all assignments made)... 11.12 c Sol. found (all assignments made)... 11.12 c Sol. found (all assignments made)... 11.12 c Sol. found (all assignments made)... 11.12 c Sol. found (all assignments made)... 11.12 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.14 c Sol. found (all assignments made)... 11.14 c Sol. found (all assignments made)... 11.17 c Sol. found (all assignments made)... 11.18 c Sol. found (all assignments made)... 11.18 c Sol. found (all assignments made)... 11.18 c Sol. found (all assignments made)... 11.18 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.20 c Sol. found (all assignments made)... 11.20 c Sol. found (all assignments made)... 11.20 c Sol. found (all assignments made)... 11.21 c Sol. found (all assignments made)... 11.21 c Sol. found (all assignments made)... 11.21 c Sol. found (all assignments made)... 11.21 c Sol. found (all assignments made)... 11.22 c Sol. found (all assignments made)... 11.22 c Sol. found (all assignments made)... 11.22 c Sol. found (all assignments made)... 11.22 c Sol. found (all assignments made)... 11.23 c Sol. found (all assignments made)... 11.23 c Sol. found (all assignments made)... 11.23 c Sol. found (all assignments made)... 11.23 c Sol. found (all assignments made)... 11.25 c Sol. found (all assignments made)... 11.26 c Sol. found (all assignments made)... 11.27 c Sol. found (all assignments made)... 11.27 c Sol. found (all assignments made)... 11.27 c Sol. found (all assignments made)... 11.28 c Sol. found (all assignments made)... 11.28 c Sol. found (all assignments made)... 11.28 c Sol. found (all assignments made)... 11.28 c Sol. found (all assignments made)... 11.28 c Sol. found (all assignments made)... 11.29 c Sol. found (all assignments made)... 11.29 c Sol. found (all assignments made)... 11.29 c Sol. found (all assignments made)... 11.29 c Sol. found (all assignments made)... 11.29 c Sol. found (all assignments made)... 11.30 c Sol. found (all assignments made)... 11.30 c Sol. found (all assignments made)... 11.30 c Sol. found (all assignments made)... 11.31 c Sol. found (all assignments made)... 11.31 c Sol. found (all assignments made)... 11.31 c Sol. found (all assignments made)... 11.31 c Sol. found (all assignments made)... 11.31 c Sol. found (all assignments made)... 11.31 c Sol. found (all assignments made)... 11.32 c Sol. found (all assignments made)... 11.32 c Sol. found (all assignments made)... 11.32 c Sol. found (all assignments made)... 11.34 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.37 c Sol. found (all assignments made)... 11.37 c Sol. found (all assignments made)... 11.37 c Sol. found (all assignments made)... 11.38 c Sol. found (all assignments made)... 11.38 c Sol. found (all assignments made)... 11.38 c Sol. found (all assignments made)... 11.39 c Sol. found (all assignments made)... 11.39 c Sol. found (all assignments made)... 11.39 c Sol. found (all assignments made)... 11.39 c Sol. found (all assignments made)... 11.39 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.42 c Sol. found (all assignments made)... 11.42 c Sol. found (all assignments made)... 11.42 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.44 c Sol. found (all assignments made)... 11.45 c Sol. found (all assignments made)... 11.45 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.47 c Sol. found (all assignments made)... 11.47 c Sol. found (all assignments made)... 11.52 c Restart #7 #Var: 945 LB: -945 @ 11.503 11.58 c Sol. found (all assignments made)... 11.58 c Sol. found (all assignments made)... 11.58 c Sol. found (all assignments made)... 11.59 c Sol. found (all assignments made)... 11.59 c Sol. found (all assignments made)... 11.59 c Sol. found (all assignments made)... 11.60 c Sol. found (all assignments made)... 11.61 c Sol. found (all assignments made)... 11.61 c Sol. found (all assignments made)... 11.61 c Sol. found (all assignments made)... 11.61 c Sol. found (all assignments made)... 11.61 c Sol. found (all assignments made)... 11.61 c Sol. found (all assignments made)... 11.61 c Sol. found (all assignments made)... 11.61 o -34 11.61 c NEW SOLUTION FOUND: -34 @ 11.594 11.62 c Sol. found (all assignments made)... 11.65 c Sol. found (all assignments made)... 11.65 o -35 11.65 c NEW SOLUTION FOUND: -35 @ 11.625 11.65 c Sol. found (all assignments made)... 11.65 c Sol. found (all assignments made)... 11.65 c Sol. found (all assignments made)... 11.65 c Sol. found (all assignments made)... 11.65 c Sol. found (all assignments made)... 11.68 c Sol. found (all assignments made)... 11.68 c Sol. found (all assignments made)... 11.73 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.96 c Sol. found (all assignments made)... 11.97 c Sol. found (all assignments made)... 11.97 c Sol. found (all assignments made)... 11.97 c Sol. found (all assignments made)... 11.98 c Sol. found (all assignments made)... 11.99 c Sol. found (all assignments made)... 12.00 c Sol. found (all assignments made)... 12.00 c Sol. found (all assignments made)... 12.07 c Sol. found (all assignments made)... 12.07 c Sol. found (all assignments made)... 12.07 c Sol. found (all assignments made)... 12.07 c Sol. found (all assignments made)... 12.08 c Sol. found (all assignments made)... 12.08 c Sol. found (all assignments made)... 12.12 c Sol. found (all assignments made)... 12.12 c Sol. found (all assignments made)... 12.13 c Sol. found (all assignments made)... 12.13 c Sol. found (all assignments made)... 12.14 c Sol. found (all assignments made)... 12.14 c Sol. found (all assignments made)... 12.18 c Sol. found (all assignments made)... 12.20 c Sol. found (all assignments made)... 12.25 c Sol. found (all assignments made)... 12.31 c Restart #8 #Var: 945 LB: -945 @ 12.285 12.40 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 13.09 c Restart #9 #Var: 945 LB: -945 @ 13.071 13.96 c Restart #10 #Var: 945 LB: -945 @ 13.938 14.90 c Restart #11 #Var: 945 LB: -945 @ 14.88 55.21 c CHANGE to MIS mode... UB: -35 MIS: -945 LPR: -442 (3.9243) Diff: 2.138 55.21 c Restart #0 #Var: 945 LB: -945 @ 55.18 55.52 c Restart #1 #Var: 945 LB: -945 @ 55.483 55.88 c Restart #2 #Var: 945 LB: -945 @ 55.848 56.34 c Restart #3 #Var: 945 LB: -477 @ 56.312 56.59 c Sol. found (all assignments made)... 56.59 c Sol. found (all assignments made)... 56.59 c Sol. found (all assignments made)... 56.59 c Sol. found (all assignments made)... 56.59 c Sol. found (all assignments made)... 56.60 c Sol. found (all assignments made)... 56.60 c Sol. found (all assignments made)... 56.60 c Sol. found (all assignments made)... 56.65 c Sol. found (all assignments made)... 56.65 c Sol. found (all assignments made)... 56.65 c Sol. found (all assignments made)... 56.65 c Sol. found (all assignments made)... 56.65 c Sol. found (all assignments made)... 56.65 c Sol. found (all assignments made)... 56.66 c Sol. found (all assignments made)... 56.66 c Sol. found (all assignments made)... 56.66 c Sol. found (all assignments made)... 56.66 c Sol. found (all assignments made)... 56.66 c Sol. found (all assignments made)... 56.66 c Sol. found (all assignments made)... 56.67 c Sol. found (all assignments made)... 56.67 c Sol. found (all assignments made)... 56.67 c Sol. found (all assignments made)... 56.67 c Sol. found (all assignments made)... 56.67 c Sol. found (all assignments made)... 56.67 c Sol. found (all assignments made)... 56.68 c Sol. found (all assignments made)... 56.68 c Sol. found (all assignments made)... 56.68 c Sol. found (all assignments made)... 56.68 c Sol. found (all assignments made)... 56.68 c Sol. found (all assignments made)... 56.68 c Sol. found (all assignments made)... 56.69 c Sol. found (all assignments made)... 56.69 c Sol. found (all assignments made)... 56.69 c Sol. found (all assignments made)... 56.69 c Sol. found (all assignments made)... 56.69 c Sol. found (all assignments made)... 56.69 c Sol. found (all assignments made)... 56.69 c Sol. found (all assignments made)... 56.70 c Sol. found (all assignments made)... 56.76 c Sol. found (all assignments made)... 56.76 c Sol. found (all assignments made)... 56.76 c Sol. found (all assignments made)... 56.76 c Sol. found (all assignments made)... 56.76 c Sol. found (all assignments made)... 56.76 c Sol. found (all assignments made)... 56.77 c Sol. found (all assignments made)... 56.77 c Sol. found (all assignments made)... 56.77 c Sol. found (all assignments made)... 56.77 c Sol. found (all assignments made)... 56.77 c Sol. found (all assignments made)... 56.78 c Sol. found (all assignments made)... 56.78 c Sol. found (all assignments made)... 56.78 c Sol. found (all assignments made)... 56.78 c Sol. found (all assignments made)... 56.78 c Sol. found (all assignments made)... 56.78 c Sol. found (all assignments made)... 56.78 c Sol. found (all assignments made)... 56.79 c Sol. found (all assignments made)... 56.79 c Sol. found (all assignments made)... 56.79 c Sol. found (all assignments made)... 56.79 c Sol. found (all assignments made)... 56.79 c Sol. found (all assignments made)... 56.79 c Sol. found (all assignments made)... 56.80 c Sol. found (all assignments made)... 56.80 c Sol. found (all assignments made)... 56.80 c Sol. found (all assignments made)... 56.80 c Sol. found (all assignments made)... 56.80 c Sol. found (all assignments made)... 56.80 c Sol. found (all assignments made)... 56.81 c Sol. found (all assignments made)... 56.81 c Sol. found (all assignments made)... 56.87 c Restart #4 #Var: 945 LB: -945 @ 56.836 57.51 c Restart #5 #Var: 945 LB: -479 @ 57.481 58.26 c Restart #6 #Var: 945 LB: -476 @ 58.23 58.43 c Sol. found (all assignments made)... 58.43 c Sol. found (all assignments made)... 58.43 c Sol. found (all assignments made)... 58.43 c Sol. found (all assignments made)... 58.44 c Sol. found (all assignments made)... 58.44 c Sol. found (all assignments made)... 58.44 c Sol. found (all assignments made)... 58.44 c Sol. found (all assignments made)... 58.45 c Sol. found (all assignments made)... 58.45 c Sol. found (all assignments made)... 58.45 c Sol. found (all assignments made)... 58.45 c Sol. found (all assignments made)... 58.45 c Sol. found (all assignments made)... 58.45 c Sol. found (all assignments made)... 58.46 c Sol. found (all assignments made)... 58.46 c Sol. found (all assignments made)... 58.46 c Sol. found (all assignments made)... 58.46 c Sol. found (all assignments made)... 58.46 c Sol. found (all assignments made)... 58.46 c Sol. found (all assignments made)... 58.46 c Sol. found (all assignments made)... 58.47 c Sol. found (all assignments made)... 58.47 c Sol. found (all assignments made)... 58.47 c Sol. found (all assignments made)... 58.47 c Sol. found (all assignments made)... 58.48 c Sol. found (all assignments made)... 58.49 c Sol. found (all assignments made)... 58.49 c Sol. found (all assignments made)... 58.49 c Sol. found (all assignments made)... 58.49 c Sol. found (all assignments made)... 58.50 c Sol. found (all assignments made)... 58.50 c Sol. found (all assignments made)... 58.50 c Sol. found (all assignments made)... 58.52 c Sol. found (all assignments made)... 58.52 c Sol. found (all assignments made)... 58.52 c Sol. found (all assignments made)... 58.52 c Sol. found (all assignments made)... 58.53 c Sol. found (all assignments made)... 58.53 c Sol. found (all assignments made)... 58.54 c Sol. found (all assignments made)... 58.54 c Sol. found (all assignments made)... 58.54 c Sol. found (all assignments made)... 58.55 c Sol. found (all assignments made)... 58.55 c Sol. found (all assignments made)... 58.55 c Sol. found (all assignments made)... 58.55 c Sol. found (all assignments made)... 58.55 c Sol. found (all assignments made)... 58.56 c Sol. found (all assignments made)... 58.56 c Sol. found (all assignments made)... 58.56 c Sol. found (all assignments made)... 58.56 c Sol. found (all assignments made)... 58.57 c Sol. found (all assignments made)... 58.57 c Sol. found (all assignments made)... 58.57 c Sol. found (all assignments made)... 58.57 c Sol. found (all assignments made)... 58.59 c Sol. found (all assignments made)... 58.61 c Sol. found (all assignments made)... 58.61 c Sol. found (all assignments made)... 58.61 c Sol. found (all assignments made)... 58.61 c Sol. found (all assignments made)... 58.62 c Sol. found (all assignments made)... 58.62 c Sol. found (all assignments made)... 58.62 c Sol. found (all assignments made)... 58.62 c Sol. found (all assignments made)... 58.63 c Sol. found (all assignments made)... 58.63 c Sol. found (all assignments made)... 58.63 c Sol. found (all assignments made)... 58.63 c Sol. found (all assignments made)... 58.64 c Sol. found (all assignments made)... 58.77 c Sol. found (all assignments made)... 58.84 c Sol. found (all assignments made)... 58.84 c Sol. found (all assignments made)... 58.85 c Sol. found (all assignments made)... 58.85 c Sol. found (all assignments made)... 58.86 c Sol. found (all assignments made)... 58.86 c Sol. found (all assignments made)... 59.08 c Restart #7 #Var: 945 LB: -477 @ 59.051 59.95 c Restart #8 #Var: 945 LB: -945 @ 59.918 60.97 c Restart #9 #Var: 945 LB: -476 @ 60.931 62.02 c Restart #10 #Var: 945 LB: -945 @ 61.989 62.27 c Sol. found (all assignments made)... 62.28 c Sol. found (all assignments made)... 62.28 c Sol. found (all assignments made)... 62.28 c Sol. found (all assignments made)... 62.29 c Sol. found (all assignments made)... 63.18 c Restart #11 #Var: 945 LB: -479 @ 63.146 64.40 c Restart #12 #Var: 945 LB: -945 @ 64.367 65.68 c Restart #13 #Var: 945 LB: -945 @ 65.641 67.03 c Restart #14 #Var: 945 LB: -945 @ 66.989 68.55 c Restart #15 #Var: 945 LB: -477 @ 68.513 70.02 c Sol. found (all assignments made)... 70.02 c Sol. found (all assignments made)... 70.15 c Restart #16 #Var: 945 LB: -476 @ 70.11 71.75 c Restart #17 #Var: 945 LB: -945 @ 71.71 73.44 c Restart #18 #Var: 945 LB: -945 @ 73.406 75.18 c Restart #19 #Var: 945 LB: -945 @ 75.143 77.01 c Restart #20 #Var: 945 LB: -945 @ 76.974 78.90 c Restart #21 #Var: 945 LB: -945 @ 78.859 79.07 c Sol. found (all assignments made)... 79.11 c Sol. found (all assignments made)... 79.11 c Sol. found (all assignments made)... 79.11 c Sol. found (all assignments made)... 79.87 c Sol. found (all assignments made)... 79.88 c Sol. found (all assignments made)... 79.88 c Sol. found (all assignments made)... 80.90 c Restart #22 #Var: 945 LB: -479 @ 80.862 82.06 c Sol. found (all assignments made)... 83.00 c Restart #23 #Var: 945 LB: -945 @ 82.961 85.18 c Restart #24 #Var: 945 LB: -945 @ 85.139 86.51 c Sol. found (all assignments made)... 86.76 c Sol. found (all assignments made)... 86.76 o -36 86.76 c NEW SOLUTION FOUND: -36 @ 86.716 88.91 c Restart #25 #Var: 945 LB: -945 @ 88.865 91.29 c Restart #26 #Var: 945 LB: -945 @ 91.244 93.75 c Restart #27 #Var: 945 LB: -477 @ 93.703 96.27 c Restart #28 #Var: 945 LB: -945 @ 96.228 98.90 c Restart #29 #Var: 945 LB: -945 @ 98.856 101.55 c Restart #30 #Var: 945 LB: -945 @ 101.51 103.72 c Sol. found (all assignments made)... 103.72 c Sol. found (all assignments made)... 103.73 c Sol. found (all assignments made)... 104.31 c Restart #31 #Var: 945 LB: -945 @ 104.27 107.23 c Restart #32 #Var: 945 LB: -945 @ 107.19 110.17 c Restart #33 #Var: 945 LB: -945 @ 110.12 113.30 c Restart #34 #Var: 945 LB: -945 @ 113.25 116.41 c Restart #35 #Var: 945 LB: -945 @ 116.36 119.59 c Restart #36 #Var: 945 LB: -945 @ 119.54 122.90 c Restart #37 #Var: 945 LB: -945 @ 122.85 126.34 c Restart #38 #Var: 945 LB: -945 @ 126.29 129.81 c Restart #39 #Var: 945 LB: -945 @ 129.75 133.36 c Restart #40 #Var: 945 LB: -945 @ 133.3 137.07 c Restart #41 #Var: 945 LB: -945 @ 137.01 140.72 c Restart #42 #Var: 945 LB: -945 @ 140.67 144.46 c Restart #43 #Var: 945 LB: -945 @ 144.41 148.25 c Restart #44 #Var: 945 LB: -945 @ 148.19 152.24 c Restart #45 #Var: 945 LB: -945 @ 152.18 156.27 c Restart #46 #Var: 945 LB: -945 @ 156.21 160.06 c Sol. found (all assignments made)... 160.06 c Sol. found (all assignments made)... 160.06 c Sol. found (all assignments made)... 160.07 c Sol. found (all assignments made)... 160.07 c Sol. found (all assignments made)... 160.07 c Sol. found (all assignments made)... 160.07 c Sol. found (all assignments made)... 160.07 c Sol. found (all assignments made)... 160.33 c Restart #47 #Var: 945 LB: -945 @ 160.27 164.62 c Restart #48 #Var: 945 LB: -945 @ 164.56 168.98 c Restart #49 #Var: 945 LB: -945 @ 168.92 173.44 c Restart #50 #Var: 945 LB: -945 @ 173.37 177.89 c Restart #51 #Var: 945 LB: -945 @ 177.82 182.44 c Restart #52 #Var: 945 LB: -945 @ 182.38 184.71 c Sol. found (all assignments made)... 187.15 c Restart #53 #Var: 945 LB: -945 @ 187.08 191.88 c Restart #54 #Var: 945 LB: -945 @ 191.82 196.70 c Restart #55 #Var: 945 LB: -945 @ 196.63 201.60 c Restart #56 #Var: 945 LB: -945 @ 201.52 206.58 c Restart #57 #Var: 945 LB: -477 @ 206.5 211.75 c Restart #58 #Var: 945 LB: -945 @ 211.68 216.80 c Restart #59 #Var: 945 LB: -945 @ 216.72 222.10 c Restart #60 #Var: 945 LB: -945 @ 222.03 227.34 c Restart #61 #Var: 945 LB: -945 @ 227.26 232.76 c Restart #62 #Var: 945 LB: -945 @ 232.68 238.19 c Restart #63 #Var: 945 LB: -945 @ 238.11 243.62 c Restart #64 #Var: 945 LB: -945 @ 243.54 249.26 c Restart #65 #Var: 945 LB: -945 @ 249.17 254.83 c Restart #66 #Var: 945 LB: -945 @ 254.75 258.22 c Sol. found (all assignments made)... 258.23 c Sol. found (all assignments made)... 258.25 c Sol. found (all assignments made)... 258.30 c Sol. found (all assignments made)... 258.32 c Sol. found (all assignments made)... 259.35 c Sol. found (all assignments made)... 259.47 c Sol. found (all assignments made)... 259.47 c Sol. found (all assignments made)... 259.47 c Sol. found (all assignments made)... 259.48 c Sol. found (all assignments made)... 259.48 c Sol. found (all assignments made)... 259.48 c Sol. found (all assignments made)... 259.54 c Sol. found (all assignments made)... 259.54 c Sol. found (all assignments made)... 259.54 c Sol. found (all assignments made)... 259.70 c Sol. found (all assignments made)... 259.70 c Sol. found (all assignments made)... 259.70 c Sol. found (all assignments made)... 259.72 c Sol. found (all assignments made)... 259.72 c Sol. found (all assignments made)... 259.72 c Sol. found (all assignments made)... 259.77 c Sol. found (all assignments made)... 259.77 c Sol. found (all assignments made)... 259.77 c Sol. found (all assignments made)... 260.36 c Restart #67 #Var: 945 LB: -945 @ 260.28 266.32 c Restart #68 #Var: 945 LB: -945 @ 266.23 272.42 c Restart #69 #Var: 945 LB: -945 @ 272.32 278.54 c Restart #70 #Var: 945 LB: -945 @ 278.44 284.76 c Restart #71 #Var: 945 LB: -945 @ 284.66 284.97 c Sol. found (all assignments made)... 284.97 c Sol. found (all assignments made)... 284.97 c Sol. found (all assignments made)... 284.98 c Sol. found (all assignments made)... 284.98 c Sol. found (all assignments made)... 284.98 c Sol. found (all assignments made)... 284.99 c Sol. found (all assignments made)... 284.99 c Sol. found (all assignments made)... 285.00 c Sol. found (all assignments made)... 285.09 c Sol. found (all assignments made)... 285.10 c Sol. found (all assignments made)... 285.11 c Sol. found (all assignments made)... 285.11 c Sol. found (all assignments made)... 285.11 c Sol. found (all assignments made)... 285.11 c Sol. found (all assignments made)... 285.12 c Sol. found (all assignments made)... 285.12 c Sol. found (all assignments made)... 285.12 c Sol. found (all assignments made)... 285.37 c Sol. found (all assignments made)... 285.38 c Sol. found (all assignments made)... 285.38 c Sol. found (all assignments made)... 285.39 c Sol. found (all assignments made)... 285.39 c Sol. found (all assignments made)... 285.39 c Sol. found (all assignments made)... 285.40 c Sol. found (all assignments made)... 285.40 c Sol. found (all assignments made)... 285.40 c Sol. found (all assignments made)... 285.45 c Sol. found (all assignments made)... 285.46 c Sol. found (all assignments made)... 285.46 c Sol. found (all assignments made)... 285.47 c Sol. found (all assignments made)... 285.47 c Sol. found (all assignments made)... 285.47 c Sol. found (all assignments made)... 285.47 c Sol. found (all assignments made)... 285.48 c Sol. found (all assignments made)... 285.48 c Sol. found (all assignments made)... 287.30 c Sol. found (all assignments made)... 287.30 c Sol. found (all assignments made)... 287.32 c Sol. found (all assignments made)... 287.33 c Sol. found (all assignments made)... 287.35 c Sol. found (all assignments made)... 287.35 c Sol. found (all assignments made)... 287.37 c Sol. found (all assignments made)... 287.37 c Sol. found (all assignments made)... 287.51 c Sol. found (all assignments made)... 287.51 c Sol. found (all assignments made)... 287.55 c Sol. found (all assignments made)... 287.55 c Sol. found (all assignments made)... 287.55 c Sol. found (all assignments made)... 287.55 c Sol. found (all assignments made)... 287.56 c Sol. found (all assignments made)... 287.56 c Sol. found (all assignments made)... 287.56 c Sol. found (all assignments made)... 287.56 c Sol. found (all assignments made)... 287.56 c Sol. found (all assignments made)... 287.57 c Sol. found (all assignments made)... 287.57 c Sol. found (all assignments made)... 287.57 c Sol. found (all assignments made)... 287.57 c Sol. found (all assignments made)... 287.57 c Sol. found (all assignments made)... 287.58 c Sol. found (all assignments made)... 287.58 c Sol. found (all assignments made)... 287.59 c Sol. found (all assignments made)... 287.59 c Sol. found (all assignments made)... 287.63 c Sol. found (all assignments made)... 287.63 c Sol. found (all assignments made)... 287.65 c Sol. found (all assignments made)... 287.65 c Sol. found (all assignments made)... 287.65 c Sol. found (all assignments made)... 287.66 c Sol. found (all assignments made)... 287.66 c Sol. found (all assignments made)... 287.66 c Sol. found (all assignments made)... 287.66 c Sol. found (all assignments made)... 287.66 c Sol. found (all assignments made)... 287.67 c Sol. found (all assignments made)... 287.67 c Sol. found (all assignments made)... 287.67 c Sol. found (all assignments made)... 287.67 c Sol. found (all assignments made)... 287.67 c Sol. found (all assignments made)... 287.68 c Sol. found (all assignments made)... 287.68 c Sol. found (all assignments made)... 287.68 c Sol. found (all assignments made)... 287.70 c Sol. found (all assignments made)... 287.70 c Sol. found (all assignments made)... 287.72 c Sol. found (all assignments made)... 287.72 c Sol. found (all assignments made)... 287.73 c Sol. found (all assignments made)... 287.73 c Sol. found (all assignments made)... 287.73 c Sol. found (all assignments made)... 287.73 c Sol. found (all assignments made)... 287.73 c Sol. found (all assignments made)... 287.74 c Sol. found (all assignments made)... 287.74 c Sol. found (all assignments made)... 287.74 c Sol. found (all assignments made)... 287.74 c Sol. found (all assignments made)... 287.74 c Sol. found (all assignments made)... 287.75 c Sol. found (all assignments made)... 287.75 c Sol. found (all assignments made)... 287.75 c Sol. found (all assignments made)... 287.75 c Sol. found (all assignments made)... 290.84 c Restart #72 #Var: 945 LB: -945 @ 290.74 291.31 c Sol. found (all assignments made)... 291.32 c Sol. found (all assignments made)... 291.68 c Sol. found (all assignments made)... 291.68 c Sol. found (all assignments made)... 291.69 c Sol. found (all assignments made)... 292.12 c Sol. found (all assignments made)... 292.12 c Sol. found (all assignments made)... 292.38 c Sol. found (all assignments made)... 292.38 c Sol. found (all assignments made)... 292.38 c Sol. found (all assignments made)... 292.51 c Sol. found (all assignments made)... 292.52 c Sol. found (all assignments made)... 294.87 c Sol. found (all assignments made)... 294.88 c Sol. found (all assignments made)... 294.89 c Sol. found (all assignments made)... 294.89 c Sol. found (all assignments made)... 294.90 c Sol. found (all assignments made)... 294.90 c Sol. found (all assignments made)... 295.01 c Sol. found (all assignments made)... 295.02 c Sol. found (all assignments made)... 295.05 c Sol. found (all assignments made)... 295.06 c Sol. found (all assignments made)... 295.24 c Sol. found (all assignments made)... 295.24 c Sol. found (all assignments made)... 295.32 c Sol. found (all assignments made)... 295.32 o -37 295.32 c NEW SOLUTION FOUND: -37 @ 295.22 296.55 c Sol. found (all assignments made)... 300.01 c Sol. found (all assignments made)... 300.01 o -38 300.01 c NEW SOLUTION FOUND: -38 @ 299.91 300.01 c Sol. found (all assignments made)... 306.22 c Restart #73 #Var: 945 LB: -945 @ 306.12 310.22 c Sol. found (all assignments made)... 310.23 c Sol. found (all assignments made)... 310.24 c Sol. found (all assignments made)... 310.24 c Sol. found (all assignments made)... 310.24 c Sol. found (all assignments made)... 310.46 c Sol. found (all assignments made)... 310.46 c Sol. found (all assignments made)... 310.46 c Sol. found (all assignments made)... 311.72 c Sol. found (all assignments made)... 311.72 c Sol. found (all assignments made)... 311.72 c Sol. found (all assignments made)... 311.73 c Sol. found (all assignments made)... 311.73 c Sol. found (all assignments made)... 311.73 c Sol. found (all assignments made)... 311.74 c Sol. found (all assignments made)... 311.80 c Sol. found (all assignments made)... 311.80 c Sol. found (all assignments made)... 311.81 c Sol. found (all assignments made)... 311.81 c Sol. found (all assignments made)... 312.19 c Sol. found (all assignments made)... 312.20 c Sol. found (all assignments made)... 312.21 c Sol. found (all assignments made)... 312.21 c Sol. found (all assignments made)... 312.44 c Sol. found (all assignments made)... 312.45 c Sol. found (all assignments made)... 312.45 c Sol. found (all assignments made)... 312.46 c Sol. found (all assignments made)... 312.46 c Sol. found (all assignments made)... 312.46 c Sol. found (all assignments made)... 312.46 c Sol. found (all assignments made)... 312.47 c Sol. found (all assignments made)... 312.52 c Sol. found (all assignments made)... 312.52 c Sol. found (all assignments made)... 312.53 c Sol. found (all assignments made)... 312.75 c Restart #74 #Var: 945 LB: -945 @ 312.65 319.38 c Restart #75 #Var: 945 LB: -945 @ 319.28 326.21 c Restart #76 #Var: 945 LB: -945 @ 326.1 332.99 c Restart #77 #Var: 945 LB: -945 @ 332.88 339.87 c Restart #78 #Var: 945 LB: -945 @ 339.76 346.75 c Restart #79 #Var: 945 LB: -945 @ 346.64 353.91 c Restart #80 #Var: 945 LB: -945 @ 353.8 361.11 c Restart #81 #Var: 945 LB: -945 @ 361 368.00 c Restart #82 #Var: 945 LB: -945 @ 367.86 375.16 c Restart #83 #Var: 945 LB: -945 @ 375.01 382.16 c Restart #84 #Var: 945 LB: -945 @ 382.01 389.77 c Restart #85 #Var: 945 LB: -945 @ 389.62 397.20 c Restart #86 #Var: 945 LB: -945 @ 397.05 404.80 c Restart #87 #Var: 945 LB: -945 @ 404.65 412.49 c Restart #88 #Var: 945 LB: -945 @ 412.33 420.39 c Restart #89 #Var: 945 LB: -945 @ 420.23 428.08 c Restart #90 #Var: 945 LB: -945 @ 427.91 435.83 c Restart #91 #Var: 945 LB: -945 @ 435.66 439.87 c Sol. found (all assignments made)... 439.95 c Sol. found (all assignments made)... 440.02 c Sol. found (all assignments made)... 443.58 c Restart #92 #Var: 945 LB: -945 @ 443.41 451.69 c Restart #93 #Var: 945 LB: -945 @ 451.52 459.84 c Restart #94 #Var: 945 LB: -945 @ 459.67 468.17 c Restart #95 #Var: 945 LB: -945 @ 468 476.49 c Restart #96 #Var: 945 LB: -945 @ 476.32 485.36 c Restart #97 #Var: 945 LB: -477 @ 485.19 494.00 c Restart #98 #Var: 945 LB: -945 @ 493.82 502.80 c Restart #99 #Var: 945 LB: -945 @ 502.61 511.52 c Restart #100 #Var: 945 LB: -945 @ 511.33 520.24 c Restart #101 #Var: 945 LB: -945 @ 520.06 529.35 c Restart #102 #Var: 945 LB: -945 @ 529.16 538.53 c Restart #103 #Var: 945 LB: -945 @ 538.34 547.76 c Restart #104 #Var: 945 LB: -945 @ 547.57 557.01 c Restart #105 #Var: 945 LB: -945 @ 556.82 566.41 c Restart #106 #Var: 945 LB: -945 @ 566.21 576.05 c Restart #107 #Var: 945 LB: -945 @ 575.85 585.49 c Restart #108 #Var: 945 LB: -945 @ 585.28 595.13 c Restart #109 #Var: 945 LB: -945 @ 594.92 604.63 c Restart #110 #Var: 945 LB: -945 @ 604.42 614.32 c Restart #111 #Var: 945 LB: -945 @ 614.1 624.22 c Restart #112 #Var: 945 LB: -945 @ 624.01 634.31 c Restart #113 #Var: 945 LB: -945 @ 634.09 644.49 c Restart #114 #Var: 945 LB: -945 @ 644.27 654.28 c Restart #115 #Var: 945 LB: -945 @ 654.06 664.64 c Restart #116 #Var: 945 LB: -945 @ 664.41 674.87 c Restart #117 #Var: 945 LB: -945 @ 674.64 684.96 c Restart #118 #Var: 945 LB: -945 @ 684.73 695.46 c Restart #119 #Var: 945 LB: -945 @ 695.23 705.74 c Restart #120 #Var: 945 LB: -945 @ 705.5 716.22 c Restart #121 #Var: 945 LB: -945 @ 715.98 726.95 c Restart #122 #Var: 945 LB: -945 @ 726.71 737.67 c Restart #123 #Var: 945 LB: -477 @ 737.42 748.43 c Restart #124 #Var: 945 LB: -945 @ 748.18 759.22 c Restart #125 #Var: 945 LB: -945 @ 758.97 770.20 c Restart #126 #Var: 945 LB: -945 @ 769.94 781.39 c Restart #127 #Var: 945 LB: -945 @ 781.13 792.50 c Restart #128 #Var: 945 LB: -945 @ 792.24 803.54 c Restart #129 #Var: 945 LB: -945 @ 803.28 815.06 c Restart #130 #Var: 945 LB: -945 @ 814.79 826.36 c Restart #131 #Var: 945 LB: -945 @ 826.09 837.92 c Restart #132 #Var: 945 LB: -945 @ 837.65 849.44 c Restart #133 #Var: 945 LB: -945 @ 849.17 861.77 c Restart #134 #Var: 945 LB: -945 @ 861.49 873.45 c Restart #135 #Var: 945 LB: -945 @ 873.17 885.42 c Restart #136 #Var: 945 LB: -945 @ 885.14 897.60 c Restart #137 #Var: 945 LB: -945 @ 897.31 909.35 c Restart #138 #Var: 945 LB: -945 @ 909.06 921.79 c Restart #139 #Var: 945 LB: -945 @ 921.49 934.23 c Restart #140 #Var: 945 LB: -945 @ 933.93 946.54 c Restart #141 #Var: 945 LB: -945 @ 946.24 958.89 c Restart #142 #Var: 945 LB: -945 @ 958.59 971.46 c Restart #143 #Var: 945 LB: -945 @ 971.15 984.04 c Restart #144 #Var: 945 LB: -945 @ 983.73 996.99 c Restart #145 #Var: 945 LB: -945 @ 996.67 1009.91 c Restart #146 #Var: 945 LB: -945 @ 1009.6 1022.57 c Restart #147 #Var: 945 LB: -945 @ 1022.3 1035.44 c Restart #148 #Var: 945 LB: -945 @ 1035.1 1048.18 c Restart #149 #Var: 945 LB: -945 @ 1047.9 1061.27 c Restart #150 #Var: 945 LB: -945 @ 1060.9 1074.58 c Restart #151 #Var: 945 LB: -945 @ 1074.2 1087.89 c Restart #152 #Var: 945 LB: -945 @ 1087.6 1101.48 c Restart #153 #Var: 945 LB: -945 @ 1101.1 1115.02 c Restart #154 #Var: 945 LB: -945 @ 1114.7 1128.51 c Restart #155 #Var: 945 LB: -945 @ 1128.2 1142.20 c Restart #156 #Var: 945 LB: -945 @ 1141.8 1155.82 c Restart #157 #Var: 945 LB: -945 @ 1155.5 1169.15 c Restart #158 #Var: 945 LB: -945 @ 1168.8 1182.80 c Restart #159 #Var: 945 LB: -945 @ 1182.4 1196.50 c Restart #160 #Var: 945 LB: -945 @ 1196.1 1210.33 c Restart #161 #Var: 945 LB: -945 @ 1210 1224.55 c Restart #162 #Var: 945 LB: -945 @ 1224.2 1239.18 c Restart #163 #Var: 945 LB: -945 @ 1238.8 1253.41 c Restart #164 #Var: 945 LB: -945 @ 1253 1267.44 c Restart #165 #Var: 945 LB: -945 @ 1267.1 1281.91 c Restart #166 #Var: 945 LB: -945 @ 1281.5 1296.68 c Restart #167 #Var: 945 LB: -945 @ 1296.3 1311.21 c Restart #168 #Var: 945 LB: -945 @ 1310.8 1325.81 c Restart #169 #Var: 945 LB: -945 @ 1325.4 1340.61 c Restart #170 #Var: 945 LB: -945 @ 1340.2 1355.11 c Restart #171 #Var: 945 LB: -945 @ 1354.7 1370.12 c Restart #172 #Var: 945 LB: -945 @ 1369.7 1384.96 c Restart #173 #Var: 945 LB: -945 @ 1384.5 1400.16 c Restart #174 #Var: 945 LB: -945 @ 1399.7 1415.19 c Restart #175 #Var: 945 LB: -945 @ 1414.8 1430.62 c Restart #176 #Var: 945 LB: -945 @ 1430.2 1446.08 c Restart #177 #Var: 945 LB: -945 @ 1445.6 1461.59 c Restart #178 #Var: 945 LB: -945 @ 1461.1 1477.26 c Restart #179 #Var: 945 LB: -945 @ 1476.8 1492.84 c Restart #180 #Var: 945 LB: -945 @ 1492.4 1509.14 c Restart #181 #Var: 945 LB: -945 @ 1508.7 1525.05 c Restart #182 #Var: 945 LB: -945 @ 1524.6 1541.24 c Restart #183 #Var: 945 LB: -945 @ 1540.8 1557.29 c Restart #184 #Var: 945 LB: -945 @ 1556.8 1573.11 c Restart #185 #Var: 945 LB: -945 @ 1572.6 1589.25 c Restart #186 #Var: 945 LB: -945 @ 1588.8 1605.22 c Restart #187 #Var: 945 LB: -945 @ 1604.7 1621.97 c Restart #188 #Var: 945 LB: -945 @ 1621.5 1638.51 c Restart #189 #Var: 945 LB: -945 @ 1638 1654.86 c Restart #190 #Var: 945 LB: -945 @ 1654.4 1671.39 c Restart #191 #Var: 945 LB: -945 @ 1670.9 1687.51 c Restart #192 #Var: 945 LB: -945 @ 1687 1704.64 c Restart #193 #Var: 945 LB: -945 @ 1704.1 1721.54 c Restart #194 #Var: 945 LB: -945 @ 1721 1738.70 c Restart #195 #Var: 945 LB: -945 @ 1738.2 1756.01 c Restart #196 #Var: 945 LB: -945 @ 1755.5 1773.62 c Restart #197 #Var: 945 LB: -945 @ 1773.1 1790.73 c Restart #198 #Var: 945 LB: -945 @ 1790.2 1800.53 s SATISFIABLE 1800.53 c Cost: -38 1800.53 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 1800.53 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1800.53 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1800.53 v -x882 -x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1800.53 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 1800.53 v -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1800.53 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.53 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 1800.53 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1800.53 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1800.53 v -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1800.53 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1800.53 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1800.53 v -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1800.53 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1800.53 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 1800.53 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1800.53 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1800.53 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1800.53 v -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1800.53 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1800.53 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 1800.53 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1800.53 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1800.53 v -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1800.53 v -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1800.53 v -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1800.53 v -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1800.53 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 1800.53 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1800.53 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1800.53 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 1800.53 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1800.53 v -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1800.53 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1800.53 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 1800.53 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.53 v -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.53 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1800.53 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1800.53 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 1800.53 v -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 1800.53 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 1800.53 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.53 v -x1 1800.53 c Exit Code: 10 1800.53 c Total time: 1800 s
OK -38
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/node72/watcher-40500-1149296099 -o ROOT/results/node72/solver-40500-1149296099 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40500-1149296099/instance-40500-1149296099.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1567784/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=18540 CPUtime=0 /proc/24383/stat : 24383 (runsolver) R 24381 24383 24337 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 195274331 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/24383/statm: 4635 279 243 16 0 2626 0 [startup+10.0015 s] /proc/loadavg: 0.93 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1536248/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=36040 CPUtime=9.97 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 8328 0 0 0 993 4 0 0 25 0 1 0 195274331 36904960 8177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 9010 8177 297 55 0 7902 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 36040 [startup+20.0074 s] /proc/loadavg: 0.94 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1532344/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=40092 CPUtime=19.98 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 9657 0 0 0 1991 7 0 0 25 0 1 0 195274331 41054208 9138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 10023 9138 308 55 0 8915 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 40092 [startup+30.0133 s] /proc/loadavg: 0.95 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1530616/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=41892 CPUtime=29.97 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 10132 0 0 0 2988 9 0 0 25 0 1 0 195274331 42897408 9613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 10473 9613 308 55 0 9365 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 41892 [startup+40.0192 s] /proc/loadavg: 0.96 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1508536/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=74620 CPUtime=39.99 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 19666 0 0 0 3985 14 0 0 25 0 1 0 195274331 76410880 15181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497940 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 18655 15181 414 55 0 17547 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 74620 [startup+50.0262 s] /proc/loadavg: 0.96 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1518008/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=50460 CPUtime=49.99 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 89838 0 0 0 4954 45 0 0 25 0 1 0 195274331 51671040 11627 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3001939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 12615 11632 435 55 0 11507 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 50460 [startup+60.0311 s] /proc/loadavg: 0.97 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1520568/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52504 CPUtime=59.99 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 200649 0 0 0 5901 98 0 0 25 0 1 0 195274331 53764096 12246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13126 12246 436 55 0 12018 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 52504 [startup+70.037 s] /proc/loadavg: 0.97 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1520376/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52640 CPUtime=69.99 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 200843 0 0 0 6900 99 0 0 25 0 1 0 195274331 53903360 12279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13160 12279 436 55 0 12052 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 52640 [startup+80.0429 s] /proc/loadavg: 0.98 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1520376/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52364 CPUtime=79.99 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 200867 0 0 0 7899 100 0 0 25 0 1 0 195274331 53620736 12235 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13091 12235 436 55 0 11983 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 52364 [startup+90.0488 s] /proc/loadavg: 0.98 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1519992/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52808 CPUtime=90 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201106 0 0 0 8898 102 0 0 25 0 1 0 195274331 54075392 12346 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2969028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13202 12346 436 55 0 12094 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 52808 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1519992/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52936 CPUtime=100 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201122 0 0 0 9897 103 0 0 25 0 1 0 195274331 54206464 12362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13234 12362 436 55 0 12126 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 52936 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1520184/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52664 CPUtime=110 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201149 0 0 0 10896 104 0 0 25 0 1 0 195274331 53927936 12304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2965573 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13166 12304 436 55 0 12058 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 52664 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1519992/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52908 CPUtime=120.01 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201230 0 0 0 11896 105 0 0 25 0 1 0 195274331 54177792 12371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13227 12371 436 55 0 12119 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 52908 [startup+130.072 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1519992/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52896 CPUtime=130.01 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201230 0 0 0 12895 106 0 0 25 0 1 0 195274331 54165504 12368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13224 12368 436 55 0 12116 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 52896 [startup+140.078 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1519992/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52932 CPUtime=140.02 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201245 0 0 0 13895 107 0 0 25 0 1 0 195274331 54202368 12377 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2965584 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13233 12377 436 55 0 12125 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 52932 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1520120/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52624 CPUtime=150.01 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201245 0 0 0 14893 108 0 0 25 0 1 0 195274331 53886976 12300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2970256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13156 12300 436 55 0 12048 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 52624 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1520120/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52696 CPUtime=160.02 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201302 0 0 0 15892 110 0 0 25 0 1 0 195274331 53960704 12318 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13174 12318 436 55 0 12066 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 52696 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1520056/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52784 CPUtime=170.03 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201366 0 0 0 16892 111 0 0 25 0 1 0 195274331 54050816 12340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13196 12340 436 55 0 12088 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 52784 [startup+180.101 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1520056/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52664 CPUtime=180.02 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201420 0 0 0 17890 112 0 0 25 0 1 0 195274331 53927936 12310 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13166 12310 436 55 0 12058 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 52664 [startup+190.107 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1520184/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52668 CPUtime=190.03 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201511 0 0 0 18889 114 0 0 25 0 1 0 195274331 53932032 12288 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2969074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13167 12288 436 55 0 12059 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 52668 [startup+200.113 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1519992/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=52908 CPUtime=200.03 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 201593 0 0 0 19888 115 0 0 25 0 1 0 195274331 54177792 12370 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2965493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13227 12370 436 55 0 12119 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 52908 [startup+210.119 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24383 /proc/meminfo: memFree=1520056/2055920 swapFree=4182504/4192956 ################ # More data... # ################ /proc/24383/statm: 13380 12495 436 55 0 12272 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 53520 [startup+1771.02 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518968/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53652 CPUtime=1770.48 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 176737 311 0 0 25 0 1 0 195274331 54939648 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2970201 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13413 12550 436 55 0 12305 0 Current children cumulated CPU time (s) 1770.48 Current children cumulated vsize (Kb) 53652 [startup+1781.02 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1780.49 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 177736 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1780.49 Current children cumulated vsize (Kb) 53624 [startup+1782.03 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1781.49 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 177836 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 53624 [startup+1783.03 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1782.5 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 177937 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2969325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 53624 [startup+1784.04 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1783.5 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 178037 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 53624 [startup+1785.04 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1784.51 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 178138 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 53624 [startup+1786.05 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1785.51 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 178238 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134597398 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 53624 [startup+1787.05 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1786.51 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 178338 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 53624 [startup+1788.06 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1787.52 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 178439 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 53624 [startup+1789.06 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1788.52 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 178539 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 53624 [startup+1790.07 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1789.53 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 178640 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 53624 [startup+1791.07 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518904/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1790.53 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 178740 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2977522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 53624 [startup+1792.08 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518968/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1791.54 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 178841 313 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 53624 [startup+1793.08 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518968/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1792.55 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 178941 314 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 53624 [startup+1794.09 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518968/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1793.55 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 179041 314 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 53624 [startup+1795.09 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518968/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1794.55 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 179141 314 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 53624 [startup+1796.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518968/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1795.56 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 179242 314 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 53624 [startup+1797.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518968/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1796.56 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 179342 314 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 53624 [startup+1798.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518968/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53624 CPUtime=1797.57 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 179443 314 0 0 25 0 1 0 195274331 54910976 12550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2977551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13406 12550 436 55 0 12298 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (Kb) 53624 [startup+1799.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518968/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53588 CPUtime=1798.57 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 179543 314 0 0 25 0 1 0 195274331 54874112 12541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557799 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13397 12541 436 55 0 12289 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 53588 [startup+1800.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 24578 /proc/meminfo: memFree=1518968/2055920 swapFree=4182504/4192956 [pid=24383] ppid=24381 vsize=53588 CPUtime=1799.58 /proc/24383/stat : 24383 (bsolo) R 24381 24383 24337 0 -1 0 203888 0 0 0 179643 315 0 0 25 0 1 0 195274331 54874112 12541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2977442 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24383/statm: 13397 12541 436 55 0 12289 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 53588 Child status: 10 Real time (s): 1800.55 CPU time (s): 1800.02 CPU user time (s): 1796.85 CPU system time (s): 3.16052 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (Kb): 74620
Begin job on node72 on Sat Jun 3 00:54:59 UTC 2006 FILE ID= 40500-1149296099 PBS_JOBID= 307106 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40500-1149296099/instance-40500-1149296099.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-40500-1149296099 -o ROOT/results/node72/solver-40500-1149296099 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40500-1149296099/instance-40500-1149296099.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc RANDOM SEED= 988339086 /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.227 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.227 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: 1568056 kB Buffers: 40388 kB Cached: 371780 kB SwapCached: 2428 kB Active: 25368 kB Inactive: 395720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1568056 kB SwapTotal: 4192956 kB SwapFree: 4182504 kB Dirty: 208 kB Writeback: 0 kB Mapped: 16032 kB Slab: 52788 kB Committed_AS: 278136 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node72 on Sat Jun 3 01:25:00 UTC 2006