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 | -46 | 1800.02 | 1800.63 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb |
| MD5SUM | 09bf68c118cd38b954800f61edb04c4b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -54 |
| Best CPU time to get the best result obtained on this benchmark | 1800.61 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -54 |
| Optimality of the best value was proved | NO |
| Number of variables | 1400 |
| Total number of constraints | 110038 |
| Number of constraints which are clauses | 110038 |
| 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 | 1400 |
| 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 | 1400 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1400 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 1.77 c Initial problem consists of 1400 variables and 110038 constraints. 18.51 c No problem reductions applied in OPT. instance. 18.51 c preprocess terminated. Elapsed time: 18.492 18.51 c After prepocess the problem consists of 1400 variables and 110038 constraints. 18.51 c Initial Lower Bound: -1400 18.61 c Sol. found (all assignments made)... 18.61 o -1 18.61 c NEW SOLUTION FOUND: -1 @ 18.594 18.61 c Sol. found (all assignments made)... 18.62 c Sol. found (all assignments made)... 18.62 o -2 18.62 c NEW SOLUTION FOUND: -2 @ 18.597 18.62 c Sol. found (all assignments made)... 18.62 c Sol. found (all assignments made)... 18.62 o -3 18.62 c NEW SOLUTION FOUND: -3 @ 18.599 18.62 c Sol. found (all assignments made)... 18.62 c Sol. found (all assignments made)... 18.62 c Sol. found (all assignments made)... 18.62 c Sol. found (all assignments made)... 18.62 c Sol. found (all assignments made)... 18.62 c Sol. found (all assignments made)... 18.63 c Sol. found (all assignments made)... 18.63 c Sol. found (all assignments made)... 18.63 o -4 18.63 c NEW SOLUTION FOUND: -4 @ 18.608 18.63 c Sol. found (all assignments made)... 18.63 c Sol. found (all assignments made)... 18.63 c Sol. found (all assignments made)... 18.63 c Sol. found (all assignments made)... 18.63 c Sol. found (all assignments made)... 18.64 c Sol. found (all assignments made)... 18.64 c Sol. found (all assignments made)... 18.64 c Sol. found (all assignments made)... 18.64 c Sol. found (all assignments made)... 18.64 c Sol. found (all assignments made)... 18.64 c Sol. found (all assignments made)... 18.65 c Sol. found (all assignments made)... 18.65 c Sol. found (all assignments made)... 18.65 c Sol. found (all assignments made)... 18.65 c Sol. found (all assignments made)... 18.65 c Sol. found (all assignments made)... 18.65 c Sol. found (all assignments made)... 18.66 c Sol. found (all assignments made)... 18.66 c Sol. found (all assignments made)... 18.66 c Sol. found (all assignments made)... 18.66 c Sol. found (all assignments made)... 18.66 c Sol. found (all assignments made)... 18.66 c Sol. found (all assignments made)... 18.66 c Sol. found (all assignments made)... 18.66 c Sol. found (all assignments made)... 18.67 c Sol. found (all assignments made)... 18.67 c Sol. found (all assignments made)... 18.67 c Sol. found (all assignments made)... 18.67 c Sol. found (all assignments made)... 18.67 c Sol. found (all assignments made)... 18.67 c Sol. found (all assignments made)... 18.67 c Sol. found (all assignments made)... 18.68 c Sol. found (all assignments made)... 18.68 c Sol. found (all assignments made)... 18.68 c Sol. found (all assignments made)... 18.68 c Sol. found (all assignments made)... 18.68 c Sol. found (all assignments made)... 18.68 c Sol. found (all assignments made)... 18.68 c Sol. found (all assignments made)... 18.69 c Sol. found (all assignments made)... 18.69 c Sol. found (all assignments made)... 18.69 c Sol. found (all assignments made)... 18.69 c Sol. found (all assignments made)... 18.69 c Sol. found (all assignments made)... 18.69 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.71 c Sol. found (all assignments made)... 18.71 c Sol. found (all assignments made)... 18.71 c Sol. found (all assignments made)... 18.71 c Sol. found (all assignments made)... 18.71 c Sol. found (all assignments made)... 18.71 c Sol. found (all assignments made)... 18.71 c Sol. found (all assignments made)... 18.71 c Sol. found (all assignments made)... 18.72 c Sol. found (all assignments made)... 18.72 c Sol. found (all assignments made)... 18.72 c Sol. found (all assignments made)... 18.72 c Sol. found (all assignments made)... 18.72 c Sol. found (all assignments made)... 18.72 c Sol. found (all assignments made)... 18.73 c Sol. found (all assignments made)... 18.73 c Sol. found (all assignments made)... 18.73 c Sol. found (all assignments made)... 18.73 c Sol. found (all assignments made)... 18.73 c Sol. found (all assignments made)... 18.73 c Sol. found (all assignments made)... 18.73 c Sol. found (all assignments made)... 18.73 c Sol. found (all assignments made)... 18.74 c Sol. found (all assignments made)... 18.74 c Sol. found (all assignments made)... 18.84 c Restart #1 #Var: 1400 LB: -1400 @ 18.814 18.92 c Sol. found (all assignments made)... 18.92 o -7 18.92 c NEW SOLUTION FOUND: -7 @ 18.903 18.93 c Sol. found (all assignments made)... 18.93 c Sol. found (all assignments made)... 18.93 c Sol. found (all assignments made)... 18.93 c Sol. found (all assignments made)... 18.93 c Sol. found (all assignments made)... 18.93 c Sol. found (all assignments made)... 18.93 c Sol. found (all assignments made)... 18.93 c Sol. found (all assignments made)... 18.93 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.03 c Sol. found (all assignments made)... 19.03 c Sol. found (all assignments made)... 19.03 c Sol. found (all assignments made)... 19.03 c Sol. found (all assignments made)... 19.03 c Sol. found (all assignments made)... 19.03 c Sol. found (all assignments made)... 19.03 c Sol. found (all assignments made)... 19.04 c Sol. found (all assignments made)... 19.04 c Sol. found (all assignments made)... 19.04 c Sol. found (all assignments made)... 19.04 c Sol. found (all assignments made)... 19.04 c Sol. found (all assignments made)... 19.04 c Sol. found (all assignments made)... 19.04 c Sol. found (all assignments made)... 19.04 c Sol. found (all assignments made)... 19.04 c Sol. found (all assignments made)... 19.05 c Sol. found (all assignments made)... 19.05 c Sol. found (all assignments made)... 19.05 c Sol. found (all assignments made)... 19.05 c Sol. found (all assignments made)... 19.05 c Sol. found (all assignments made)... 19.05 c Sol. found (all assignments made)... 19.05 c Sol. found (all assignments made)... 19.05 c Sol. found (all assignments made)... 19.06 c Sol. found (all assignments made)... 19.06 c Sol. found (all assignments made)... 19.06 c Sol. found (all assignments made)... 19.06 c Sol. found (all assignments made)... 19.06 c Sol. found (all assignments made)... 19.06 c Sol. found (all assignments made)... 19.06 c Sol. found (all assignments made)... 19.06 c Sol. found (all assignments made)... 19.06 c Sol. found (all assignments made)... 19.06 c Sol. found (all assignments made)... 19.07 c Sol. found (all assignments made)... 19.07 c Sol. found (all assignments made)... 19.07 c Sol. found (all assignments made)... 19.07 c Sol. found (all assignments made)... 19.07 c Sol. found (all assignments made)... 19.07 c Sol. found (all assignments made)... 19.07 c Sol. found (all assignments made)... 19.07 c Sol. found (all assignments made)... 19.08 c Sol. found (all assignments made)... 19.08 c Sol. found (all assignments made)... 19.08 c Sol. found (all assignments made)... 19.08 c Sol. found (all assignments made)... 19.08 c Sol. found (all assignments made)... 19.08 c Sol. found (all assignments made)... 19.08 c Sol. found (all assignments made)... 19.08 c Sol. found (all assignments made)... 19.08 c Sol. found (all assignments made)... 19.09 c Sol. found (all assignments made)... 19.09 c Sol. found (all assignments made)... 19.09 c Sol. found (all assignments made)... 19.09 c Sol. found (all assignments made)... 19.09 c Sol. found (all assignments made)... 19.09 c Sol. found (all assignments made)... 19.09 c Sol. found (all assignments made)... 19.09 c Sol. found (all assignments made)... 19.09 c Sol. found (all assignments made)... 19.10 c Sol. found (all assignments made)... 19.10 c Sol. found (all assignments made)... 19.10 c Sol. found (all assignments made)... 19.10 c Sol. found (all assignments made)... 19.10 c Sol. found (all assignments made)... 19.10 c Sol. found (all assignments made)... 19.10 c Sol. found (all assignments made)... 19.10 c Sol. found (all assignments made)... 19.10 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.14 c Sol. found (all assignments made)... 19.14 c Sol. found (all assignments made)... 19.14 c Sol. found (all assignments made)... 19.14 c Sol. found (all assignments made)... 19.14 c Sol. found (all assignments made)... 19.14 c Sol. found (all assignments made)... 19.14 c Sol. found (all assignments made)... 19.15 c Sol. found (all assignments made)... 19.15 c Sol. found (all assignments made)... 19.15 c Sol. found (all assignments made)... 19.15 c Sol. found (all assignments made)... 19.15 c Sol. found (all assignments made)... 19.15 c Sol. found (all assignments made)... 19.15 c Sol. found (all assignments made)... 19.25 c Restart #2 #Var: 1400 LB: -1400 @ 19.226 19.36 c Sol. found (all assignments made)... 19.36 o -37 19.36 c NEW SOLUTION FOUND: -37 @ 19.332 19.36 c Sol. found (all assignments made)... 19.36 c Sol. found (all assignments made)... 19.36 c Sol. found (all assignments made)... 19.36 c Sol. found (all assignments made)... 19.36 c Sol. found (all assignments made)... 19.36 c Sol. found (all assignments made)... 19.36 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.38 c Sol. found (all assignments made)... 19.38 c Sol. found (all assignments made)... 19.38 c Sol. found (all assignments made)... 19.38 c Sol. found (all assignments made)... 19.38 c Sol. found (all assignments made)... 19.38 c Sol. found (all assignments made)... 19.38 c Sol. found (all assignments made)... 19.39 c Sol. found (all assignments made)... 19.39 c Sol. found (all assignments made)... 19.39 c Sol. found (all assignments made)... 19.39 c Sol. found (all assignments made)... 19.39 c Sol. found (all assignments made)... 19.39 c Sol. found (all assignments made)... 19.39 c Sol. found (all assignments made)... 19.40 c Sol. found (all assignments made)... 19.40 c Sol. found (all assignments made)... 19.40 c Sol. found (all assignments made)... 19.40 c Sol. found (all assignments made)... 19.40 c Sol. found (all assignments made)... 19.40 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.43 c Sol. found (all assignments made)... 19.43 c Sol. found (all assignments made)... 19.43 c Sol. found (all assignments made)... 19.43 c Sol. found (all assignments made)... 19.43 c Sol. found (all assignments made)... 19.43 c Sol. found (all assignments made)... 19.43 c Sol. found (all assignments made)... 19.43 o -38 19.43 c NEW SOLUTION FOUND: -38 @ 19.408 19.44 c Sol. found (all assignments made)... 19.44 c Sol. found (all assignments made)... 19.44 c Sol. found (all assignments made)... 19.44 c Sol. found (all assignments made)... 19.44 c Sol. found (all assignments made)... 19.44 c Sol. found (all assignments made)... 19.45 c Sol. found (all assignments made)... 19.45 c Sol. found (all assignments made)... 19.45 c Sol. found (all assignments made)... 19.45 c Sol. found (all assignments made)... 19.45 c Sol. found (all assignments made)... 19.45 c Sol. found (all assignments made)... 19.46 c Sol. found (all assignments made)... 19.46 c Sol. found (all assignments made)... 19.46 c Sol. found (all assignments made)... 19.46 c Sol. found (all assignments made)... 19.46 c Sol. found (all assignments made)... 19.46 c Sol. found (all assignments made)... 19.46 c Sol. found (all assignments made)... 19.47 c Sol. found (all assignments made)... 19.47 c Sol. found (all assignments made)... 19.47 c Sol. found (all assignments made)... 19.47 c Sol. found (all assignments made)... 19.47 c Sol. found (all assignments made)... 19.47 c Sol. found (all assignments made)... 19.47 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 o -39 19.56 c NEW SOLUTION FOUND: -39 @ 19.535 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.63 c Sol. found (all assignments made)... 19.63 c Sol. found (all assignments made)... 19.63 c Sol. found (all assignments made)... 19.63 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.71 c Sol. found (all assignments made)... 19.74 c Sol. found (all assignments made)... 19.75 c Sol. found (all assignments made)... 19.75 c Sol. found (all assignments made)... 19.75 c Sol. found (all assignments made)... 19.75 c Sol. found (all assignments made)... 19.75 c Sol. found (all assignments made)... 19.76 c Sol. found (all assignments made)... 19.76 c Sol. found (all assignments made)... 19.76 c Sol. found (all assignments made)... 19.76 c Sol. found (all assignments made)... 19.77 c Sol. found (all assignments made)... 19.77 c Sol. found (all assignments made)... 19.77 c Sol. found (all assignments made)... 19.77 c Sol. found (all assignments made)... 19.78 c Sol. found (all assignments made)... 19.78 c Sol. found (all assignments made)... 19.78 c Sol. found (all assignments made)... 19.78 c Sol. found (all assignments made)... 19.78 c Sol. found (all assignments made)... 19.79 c Sol. found (all assignments made)... 19.79 c Sol. found (all assignments made)... 19.79 c Sol. found (all assignments made)... 19.79 c Sol. found (all assignments made)... 19.79 c Sol. found (all assignments made)... 19.79 c Sol. found (all assignments made)... 19.80 c Sol. found (all assignments made)... 19.80 c Sol. found (all assignments made)... 19.80 c Sol. found (all assignments made)... 19.80 c Sol. found (all assignments made)... 19.81 c Sol. found (all assignments made)... 19.81 c Sol. found (all assignments made)... 19.81 c Sol. found (all assignments made)... 19.81 c Sol. found (all assignments made)... 19.81 c Sol. found (all assignments made)... 19.82 c Sol. found (all assignments made)... 19.82 c Sol. found (all assignments made)... 19.82 c Sol. found (all assignments made)... 19.82 c Sol. found (all assignments made)... 19.82 c Sol. found (all assignments made)... 19.82 c Sol. found (all assignments made)... 19.83 c Sol. found (all assignments made)... 19.87 c Sol. found (all assignments made)... 19.87 c Sol. found (all assignments made)... 19.99 c Restart #3 #Var: 1400 LB: -1400 @ 19.956 20.10 c Sol. found (all assignments made)... 20.10 o -40 20.10 c NEW SOLUTION FOUND: -40 @ 20.068 20.10 c Sol. found (all assignments made)... 20.10 c Sol. found (all assignments made)... 20.10 c Sol. found (all assignments made)... 20.10 c Sol. found (all assignments made)... 20.10 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.12 c Sol. found (all assignments made)... 20.12 c Sol. found (all assignments made)... 20.12 c Sol. found (all assignments made)... 20.12 c Sol. found (all assignments made)... 20.12 c Sol. found (all assignments made)... 20.12 c Sol. found (all assignments made)... 20.12 c Sol. found (all assignments made)... 20.12 c Sol. found (all assignments made)... 20.12 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.15 c Sol. found (all assignments made)... 20.15 c Sol. found (all assignments made)... 20.15 c Sol. found (all assignments made)... 20.15 c Sol. found (all assignments made)... 20.15 c Sol. found (all assignments made)... 20.15 c Sol. found (all assignments made)... 20.15 c Sol. found (all assignments made)... 20.15 c Sol. found (all assignments made)... 20.15 c Sol. found (all assignments made)... 20.16 c Sol. found (all assignments made)... 20.16 o -42 20.16 c NEW SOLUTION FOUND: -42 @ 20.127 20.16 c Sol. found (all assignments made)... 20.16 c Sol. found (all assignments made)... 20.16 c Sol. found (all assignments made)... 20.16 c Sol. found (all assignments made)... 20.16 c Sol. found (all assignments made)... 20.16 c Sol. found (all assignments made)... 20.17 c Sol. found (all assignments made)... 20.17 c Sol. found (all assignments made)... 20.17 c Sol. found (all assignments made)... 20.17 c Sol. found (all assignments made)... 20.17 c Sol. found (all assignments made)... 20.17 c Sol. found (all assignments made)... 20.17 c Sol. found (all assignments made)... 20.17 c Sol. found (all assignments made)... 20.17 c Sol. found (all assignments made)... 20.18 c Sol. found (all assignments made)... 20.18 c Sol. found (all assignments made)... 20.18 c Sol. found (all assignments made)... 20.18 c Sol. found (all assignments made)... 20.18 c Sol. found (all assignments made)... 20.19 c Sol. found (all assignments made)... 20.19 c Sol. found (all assignments made)... 20.19 c Sol. found (all assignments made)... 20.19 c Sol. found (all assignments made)... 20.19 c Sol. found (all assignments made)... 20.19 c Sol. found (all assignments made)... 20.19 c Sol. found (all assignments made)... 20.20 c Sol. found (all assignments made)... 20.20 c Sol. found (all assignments made)... 20.20 c Sol. found (all assignments made)... 20.20 c Sol. found (all assignments made)... 20.20 c Sol. found (all assignments made)... 20.20 c Sol. found (all assignments made)... 20.21 c Sol. found (all assignments made)... 20.21 c Sol. found (all assignments made)... 20.21 c Sol. found (all assignments made)... 20.21 c Sol. found (all assignments made)... 20.21 c Sol. found (all assignments made)... 20.21 c Sol. found (all assignments made)... 20.21 c Sol. found (all assignments made)... 20.21 c Sol. found (all assignments made)... 20.22 c Sol. found (all assignments made)... 20.22 c Sol. found (all assignments made)... 20.22 c Sol. found (all assignments made)... 20.22 c Sol. found (all assignments made)... 20.22 c Sol. found (all assignments made)... 20.22 c Sol. found (all assignments made)... 20.22 c Sol. found (all assignments made)... 20.22 c Sol. found (all assignments made)... 20.23 c Sol. found (all assignments made)... 20.23 c Sol. found (all assignments made)... 20.23 c Sol. found (all assignments made)... 20.23 c Sol. found (all assignments made)... 20.23 c Sol. found (all assignments made)... 20.23 c Sol. found (all assignments made)... 20.24 c Sol. found (all assignments made)... 20.24 c Sol. found (all assignments made)... 20.24 c Sol. found (all assignments made)... 20.24 c Sol. found (all assignments made)... 20.24 c Sol. found (all assignments made)... 20.25 c Sol. found (all assignments made)... 20.25 c Sol. found (all assignments made)... 20.25 c Sol. found (all assignments made)... 20.25 c Sol. found (all assignments made)... 20.25 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.27 c Sol. found (all assignments made)... 20.27 c Sol. found (all assignments made)... 20.27 c Sol. found (all assignments made)... 20.27 c Sol. found (all assignments made)... 20.27 c Sol. found (all assignments made)... 20.27 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.29 c Sol. found (all assignments made)... 20.29 c Sol. found (all assignments made)... 20.29 c Sol. found (all assignments made)... 20.29 c Sol. found (all assignments made)... 20.29 c Sol. found (all assignments made)... 20.29 c Sol. found (all assignments made)... 20.30 c Sol. found (all assignments made)... 20.30 c Sol. found (all assignments made)... 20.30 c Sol. found (all assignments made)... 20.30 c Sol. found (all assignments made)... 20.30 c Sol. found (all assignments made)... 20.30 c Sol. found (all assignments made)... 20.31 c Sol. found (all assignments made)... 20.31 c Sol. found (all assignments made)... 20.33 c Sol. found (all assignments made)... 20.33 c Sol. found (all assignments made)... 20.33 c Sol. found (all assignments made)... 20.34 c Sol. found (all assignments made)... 20.34 c Sol. found (all assignments made)... 20.34 c Sol. found (all assignments made)... 20.34 c Sol. found (all assignments made)... 20.34 c Sol. found (all assignments made)... 20.35 c Sol. found (all assignments made)... 20.35 c Sol. found (all assignments made)... 20.35 c Sol. found (all assignments made)... 20.35 c Sol. found (all assignments made)... 20.36 c Sol. found (all assignments made)... 20.36 c Sol. found (all assignments made)... 20.36 c Sol. found (all assignments made)... 20.36 c Sol. found (all assignments made)... 20.36 c Sol. found (all assignments made)... 20.37 c Sol. found (all assignments made)... 20.37 c Sol. found (all assignments made)... 20.37 c Sol. found (all assignments made)... 20.37 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.39 c Sol. found (all assignments made)... 20.39 c Sol. found (all assignments made)... 20.39 c Sol. found (all assignments made)... 20.39 c Sol. found (all assignments made)... 20.39 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.41 c Sol. found (all assignments made)... 20.41 c Sol. found (all assignments made)... 20.41 c Sol. found (all assignments made)... 20.41 c Sol. found (all assignments made)... 20.42 c Sol. found (all assignments made)... 20.42 c Sol. found (all assignments made)... 20.42 c Sol. found (all assignments made)... 20.42 c Sol. found (all assignments made)... 20.46 c Sol. found (all assignments made)... 20.46 c Sol. found (all assignments made)... 20.46 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.50 c Sol. found (all assignments made)... 20.50 c Sol. found (all assignments made)... 20.50 c Sol. found (all assignments made)... 20.50 c Sol. found (all assignments made)... 20.50 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.54 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.56 c Sol. found (all assignments made)... 20.56 c Sol. found (all assignments made)... 20.56 c Sol. found (all assignments made)... 20.56 c Sol. found (all assignments made)... 20.56 c Sol. found (all assignments made)... 20.56 c Sol. found (all assignments made)... 20.56 c Sol. found (all assignments made)... 20.56 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.69 c Restart #4 #Var: 1400 LB: -1400 @ 20.66 20.81 c Sol. found (all assignments made)... 20.87 c Sol. found (all assignments made)... 20.88 c Sol. found (all assignments made)... 20.88 c Sol. found (all assignments made)... 20.89 c Sol. found (all assignments made)... 20.95 c Sol. found (all assignments made)... 20.96 c Sol. found (all assignments made)... 21.44 c Restart #5 #Var: 1400 LB: -1400 @ 21.407 21.55 c Sol. found (all assignments made)... 21.55 c Sol. found (all assignments made)... 21.56 c Sol. found (all assignments made)... 21.57 c Sol. found (all assignments made)... 21.57 c Sol. found (all assignments made)... 21.59 c Sol. found (all assignments made)... 21.70 c Sol. found (all assignments made)... 21.76 c Sol. found (all assignments made)... 22.06 c Sol. found (all assignments made)... 22.06 c Sol. found (all assignments made)... 22.07 c Sol. found (all assignments made)... 22.29 c Restart #6 #Var: 1400 LB: -1400 @ 22.259 22.49 c Sol. found (all assignments made)... 22.49 c Sol. found (all assignments made)... 22.50 c Sol. found (all assignments made)... 22.50 c Sol. found (all assignments made)... 22.52 c Sol. found (all assignments made)... 22.52 c Sol. found (all assignments made)... 22.52 c Sol. found (all assignments made)... 22.52 c Sol. found (all assignments made)... 22.88 c Sol. found (all assignments made)... 22.89 c Sol. found (all assignments made)... 22.89 c Sol. found (all assignments made)... 22.89 c Sol. found (all assignments made)... 22.89 c Sol. found (all assignments made)... 22.89 c Sol. found (all assignments made)... 22.89 c Sol. found (all assignments made)... 22.89 c Sol. found (all assignments made)... 22.89 c Sol. found (all assignments made)... 22.89 c Sol. found (all assignments made)... 22.90 c Sol. found (all assignments made)... 22.90 c Sol. found (all assignments made)... 22.90 c Sol. found (all assignments made)... 22.90 c Sol. found (all assignments made)... 22.90 c Sol. found (all assignments made)... 22.90 c Sol. found (all assignments made)... 22.90 c Sol. found (all assignments made)... 22.90 c Sol. found (all assignments made)... 22.90 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 22.94 c Sol. found (all assignments made)... 22.94 c Sol. found (all assignments made)... 23.00 c Sol. found (all assignments made)... 23.25 c Restart #7 #Var: 1400 LB: -1400 @ 23.219 135.21 c CHANGE to MIS mode... UB: -42 MIS: -1400 LPR: -669 (11.08) Diff: 2.0927 135.21 c Restart #0 #Var: 1400 LB: -1400 @ 135.15 135.84 c Restart #1 #Var: 1400 LB: -705 @ 135.78 136.51 c Restart #2 #Var: 1400 LB: -1400 @ 136.44 137.26 c Restart #3 #Var: 1400 LB: -1400 @ 137.19 138.14 c Restart #4 #Var: 1400 LB: -1400 @ 138.08 138.51 c Sol. found (all assignments made)... 138.51 o -43 138.51 c NEW SOLUTION FOUND: -43 @ 138.45 138.52 c Sol. found (all assignments made)... 138.56 c Sol. found (all assignments made)... 138.60 c Sol. found (all assignments made)... 138.61 c Sol. found (all assignments made)... 138.62 c Sol. found (all assignments made)... 138.63 c Sol. found (all assignments made)... 138.70 c Sol. found (all assignments made)... 138.70 c Sol. found (all assignments made)... 138.70 o -44 138.70 c NEW SOLUTION FOUND: -44 @ 138.63 138.70 c Sol. found (all assignments made)... 139.43 c Restart #5 #Var: 1400 LB: -706 @ 139.36 140.62 c Restart #6 #Var: 1400 LB: -1400 @ 140.55 141.92 c Restart #7 #Var: 1400 LB: -1400 @ 141.85 143.44 c Restart #8 #Var: 1400 LB: -707 @ 143.37 145.03 c Restart #9 #Var: 1400 LB: -705 @ 144.96 146.71 c Restart #10 #Var: 1400 LB: -707 @ 146.65 148.46 c Restart #11 #Var: 1400 LB: -1400 @ 148.39 150.33 c Restart #12 #Var: 1400 LB: -704 @ 150.27 152.32 c Restart #13 #Var: 1400 LB: -1400 @ 152.26 154.33 c Restart #14 #Var: 1400 LB: -1400 @ 154.26 156.57 c Restart #15 #Var: 1400 LB: -1400 @ 156.5 159.01 c Restart #16 #Var: 1400 LB: -707 @ 158.94 161.47 c Restart #17 #Var: 1400 LB: -1400 @ 161.39 161.88 c Sol. found (all assignments made)... 161.88 c Sol. found (all assignments made)... 161.89 c Sol. found (all assignments made)... 161.91 c Sol. found (all assignments made)... 161.91 c Sol. found (all assignments made)... 161.92 c Sol. found (all assignments made)... 161.93 c Sol. found (all assignments made)... 161.95 c Sol. found (all assignments made)... 161.96 c Sol. found (all assignments made)... 161.97 c Sol. found (all assignments made)... 161.97 c Sol. found (all assignments made)... 161.97 c Sol. found (all assignments made)... 161.97 c Sol. found (all assignments made)... 161.98 c Sol. found (all assignments made)... 161.98 c Sol. found (all assignments made)... 161.98 c Sol. found (all assignments made)... 161.99 c Sol. found (all assignments made)... 161.99 c Sol. found (all assignments made)... 162.00 c Sol. found (all assignments made)... 162.00 c Sol. found (all assignments made)... 162.02 c Sol. found (all assignments made)... 162.04 c Sol. found (all assignments made)... 162.04 c Sol. found (all assignments made)... 162.05 c Sol. found (all assignments made)... 162.05 c Sol. found (all assignments made)... 162.05 c Sol. found (all assignments made)... 162.06 c Sol. found (all assignments made)... 162.06 c Sol. found (all assignments made)... 162.07 c Sol. found (all assignments made)... 162.07 c Sol. found (all assignments made)... 162.08 c Sol. found (all assignments made)... 162.12 c Sol. found (all assignments made)... 162.12 c Sol. found (all assignments made)... 162.14 c Sol. found (all assignments made)... 162.15 c Sol. found (all assignments made)... 162.15 c Sol. found (all assignments made)... 162.16 c Sol. found (all assignments made)... 162.19 c Sol. found (all assignments made)... 162.27 c Sol. found (all assignments made)... 162.27 c Sol. found (all assignments made)... 162.28 c Sol. found (all assignments made)... 162.28 c Sol. found (all assignments made)... 162.30 c Sol. found (all assignments made)... 162.30 c Sol. found (all assignments made)... 162.31 c Sol. found (all assignments made)... 162.31 c Sol. found (all assignments made)... 162.32 c Sol. found (all assignments made)... 162.38 c Sol. found (all assignments made)... 162.38 c Sol. found (all assignments made)... 162.39 c Sol. found (all assignments made)... 162.39 c Sol. found (all assignments made)... 162.40 c Sol. found (all assignments made)... 162.41 c Sol. found (all assignments made)... 162.42 c Sol. found (all assignments made)... 162.43 c Sol. found (all assignments made)... 162.43 c Sol. found (all assignments made)... 162.45 c Sol. found (all assignments made)... 162.45 c Sol. found (all assignments made)... 162.45 c Sol. found (all assignments made)... 162.46 c Sol. found (all assignments made)... 162.46 c Sol. found (all assignments made)... 162.46 c Sol. found (all assignments made)... 162.46 c Sol. found (all assignments made)... 162.47 c Sol. found (all assignments made)... 162.47 c Sol. found (all assignments made)... 162.47 c Sol. found (all assignments made)... 162.47 c Sol. found (all assignments made)... 162.48 c Sol. found (all assignments made)... 162.48 c Sol. found (all assignments made)... 162.48 c Sol. found (all assignments made)... 162.48 c Sol. found (all assignments made)... 162.49 c Sol. found (all assignments made)... 162.49 c Sol. found (all assignments made)... 162.49 c Sol. found (all assignments made)... 162.49 c Sol. found (all assignments made)... 162.50 c Sol. found (all assignments made)... 162.50 c Sol. found (all assignments made)... 162.51 c Sol. found (all assignments made)... 162.51 c Sol. found (all assignments made)... 162.51 c Sol. found (all assignments made)... 162.52 c Sol. found (all assignments made)... 162.52 c Sol. found (all assignments made)... 162.52 c Sol. found (all assignments made)... 162.53 c Sol. found (all assignments made)... 162.53 c Sol. found (all assignments made)... 162.53 c Sol. found (all assignments made)... 162.54 c Sol. found (all assignments made)... 162.54 c Sol. found (all assignments made)... 162.55 c Sol. found (all assignments made)... 162.55 c Sol. found (all assignments made)... 162.55 c Sol. found (all assignments made)... 162.55 c Sol. found (all assignments made)... 162.56 c Sol. found (all assignments made)... 162.56 c Sol. found (all assignments made)... 162.56 c Sol. found (all assignments made)... 162.57 c Sol. found (all assignments made)... 162.57 c Sol. found (all assignments made)... 162.57 c Sol. found (all assignments made)... 162.57 c Sol. found (all assignments made)... 162.57 c Sol. found (all assignments made)... 162.58 c Sol. found (all assignments made)... 162.58 c Sol. found (all assignments made)... 162.58 c Sol. found (all assignments made)... 162.58 c Sol. found (all assignments made)... 162.59 c Sol. found (all assignments made)... 162.59 c Sol. found (all assignments made)... 162.59 c Sol. found (all assignments made)... 162.59 c Sol. found (all assignments made)... 162.60 c Sol. found (all assignments made)... 162.60 c Sol. found (all assignments made)... 162.60 c Sol. found (all assignments made)... 162.60 c Sol. found (all assignments made)... 162.61 c Sol. found (all assignments made)... 162.61 c Sol. found (all assignments made)... 162.61 c Sol. found (all assignments made)... 162.62 c Sol. found (all assignments made)... 162.62 c Sol. found (all assignments made)... 162.62 c Sol. found (all assignments made)... 162.63 c Sol. found (all assignments made)... 162.63 c Sol. found (all assignments made)... 162.64 c Sol. found (all assignments made)... 162.64 c Sol. found (all assignments made)... 162.64 c Sol. found (all assignments made)... 162.64 c Sol. found (all assignments made)... 162.65 c Sol. found (all assignments made)... 162.65 c Sol. found (all assignments made)... 162.65 c Sol. found (all assignments made)... 162.65 c Sol. found (all assignments made)... 162.66 c Sol. found (all assignments made)... 162.66 c Sol. found (all assignments made)... 162.66 c Sol. found (all assignments made)... 162.67 c Sol. found (all assignments made)... 162.67 c Sol. found (all assignments made)... 162.67 c Sol. found (all assignments made)... 162.67 c Sol. found (all assignments made)... 162.68 c Sol. found (all assignments made)... 162.68 c Sol. found (all assignments made)... 162.69 c Sol. found (all assignments made)... 162.87 c Sol. found (all assignments made)... 162.88 c Sol. found (all assignments made)... 162.88 c Sol. found (all assignments made)... 162.88 c Sol. found (all assignments made)... 162.88 c Sol. found (all assignments made)... 162.89 c Sol. found (all assignments made)... 162.89 c Sol. found (all assignments made)... 162.90 c Sol. found (all assignments made)... 162.91 c Sol. found (all assignments made)... 162.91 c Sol. found (all assignments made)... 162.92 c Sol. found (all assignments made)... 162.92 c Sol. found (all assignments made)... 162.92 c Sol. found (all assignments made)... 162.92 c Sol. found (all assignments made)... 162.93 c Sol. found (all assignments made)... 162.93 c Sol. found (all assignments made)... 162.93 c Sol. found (all assignments made)... 162.94 c Sol. found (all assignments made)... 162.94 c Sol. found (all assignments made)... 162.95 c Sol. found (all assignments made)... 162.95 c Sol. found (all assignments made)... 162.95 c Sol. found (all assignments made)... 162.95 c Sol. found (all assignments made)... 162.95 c Sol. found (all assignments made)... 162.96 c Sol. found (all assignments made)... 162.96 c Sol. found (all assignments made)... 162.96 c Sol. found (all assignments made)... 162.96 c Sol. found (all assignments made)... 162.97 c Sol. found (all assignments made)... 162.97 c Sol. found (all assignments made)... 162.97 c Sol. found (all assignments made)... 162.98 c Sol. found (all assignments made)... 162.98 c Sol. found (all assignments made)... 162.99 c Sol. found (all assignments made)... 163.01 c Sol. found (all assignments made)... 163.03 c Sol. found (all assignments made)... 163.03 c Sol. found (all assignments made)... 163.04 c Sol. found (all assignments made)... 163.04 c Sol. found (all assignments made)... 163.04 c Sol. found (all assignments made)... 163.05 c Sol. found (all assignments made)... 163.05 c Sol. found (all assignments made)... 163.05 c Sol. found (all assignments made)... 163.05 c Sol. found (all assignments made)... 163.06 c Sol. found (all assignments made)... 163.06 c Sol. found (all assignments made)... 163.06 c Sol. found (all assignments made)... 163.15 c Sol. found (all assignments made)... 163.15 c Sol. found (all assignments made)... 163.17 c Sol. found (all assignments made)... 163.17 c Sol. found (all assignments made)... 163.17 c Sol. found (all assignments made)... 163.17 c Sol. found (all assignments made)... 163.18 c Sol. found (all assignments made)... 163.18 c Sol. found (all assignments made)... 163.18 c Sol. found (all assignments made)... 163.19 c Sol. found (all assignments made)... 163.19 c Sol. found (all assignments made)... 163.20 c Sol. found (all assignments made)... 163.21 c Sol. found (all assignments made)... 163.21 c Sol. found (all assignments made)... 163.21 c Sol. found (all assignments made)... 163.22 c Sol. found (all assignments made)... 163.22 c Sol. found (all assignments made)... 163.22 c Sol. found (all assignments made)... 163.30 c Sol. found (all assignments made)... 163.30 c Sol. found (all assignments made)... 163.31 c Sol. found (all assignments made)... 163.32 c Sol. found (all assignments made)... 163.32 c Sol. found (all assignments made)... 163.32 c Sol. found (all assignments made)... 163.32 c Sol. found (all assignments made)... 163.33 c Sol. found (all assignments made)... 163.34 c Sol. found (all assignments made)... 163.34 c Sol. found (all assignments made)... 163.34 c Sol. found (all assignments made)... 163.35 c Sol. found (all assignments made)... 163.35 c Sol. found (all assignments made)... 163.36 c Sol. found (all assignments made)... 163.36 c Sol. found (all assignments made)... 163.36 c Sol. found (all assignments made)... 163.61 c Sol. found (all assignments made)... 163.61 c Sol. found (all assignments made)... 163.62 c Sol. found (all assignments made)... 163.62 c Sol. found (all assignments made)... 163.63 c Sol. found (all assignments made)... 163.63 c Sol. found (all assignments made)... 163.64 c Sol. found (all assignments made)... 163.64 c Sol. found (all assignments made)... 163.64 c Sol. found (all assignments made)... 163.64 c Sol. found (all assignments made)... 163.65 c Sol. found (all assignments made)... 163.65 c Sol. found (all assignments made)... 163.66 c Sol. found (all assignments made)... 163.67 c Sol. found (all assignments made)... 163.67 c Sol. found (all assignments made)... 163.68 c Sol. found (all assignments made)... 163.68 c Sol. found (all assignments made)... 163.68 c Sol. found (all assignments made)... 163.68 c Sol. found (all assignments made)... 163.69 c Sol. found (all assignments made)... 163.69 c Sol. found (all assignments made)... 163.69 c Sol. found (all assignments made)... 163.90 c Sol. found (all assignments made)... 163.90 c Sol. found (all assignments made)... 164.02 c Restart #18 #Var: 1400 LB: -1400 @ 163.95 166.67 c Restart #19 #Var: 1400 LB: -1400 @ 166.6 169.47 c Restart #20 #Var: 1400 LB: -1400 @ 169.39 172.29 c Restart #21 #Var: 1400 LB: -1400 @ 172.21 172.86 c Sol. found (all assignments made)... 172.86 c Sol. found (all assignments made)... 172.91 c Sol. found (all assignments made)... 172.91 c Sol. found (all assignments made)... 172.91 o -45 172.91 c NEW SOLUTION FOUND: -45 @ 172.83 175.59 c Restart #22 #Var: 1400 LB: -707 @ 175.51 178.86 c Restart #23 #Var: 1400 LB: -1400 @ 178.78 182.22 c Restart #24 #Var: 1400 LB: -1400 @ 182.14 185.65 c Restart #25 #Var: 1400 LB: -1400 @ 185.57 189.20 c Restart #26 #Var: 1400 LB: -707 @ 189.12 192.86 c Restart #27 #Var: 1400 LB: -1400 @ 192.78 196.76 c Restart #28 #Var: 1400 LB: -705 @ 196.68 200.73 c Restart #29 #Var: 1400 LB: -1400 @ 200.65 204.62 c Restart #30 #Var: 1400 LB: -1400 @ 204.53 208.76 c Restart #31 #Var: 1400 LB: -1400 @ 208.67 213.09 c Restart #32 #Var: 1400 LB: -704 @ 213 217.52 c Restart #33 #Var: 1400 LB: -1400 @ 217.43 221.97 c Restart #34 #Var: 1400 LB: -1400 @ 221.88 226.50 c Restart #35 #Var: 1400 LB: -1400 @ 226.4 231.13 c Restart #36 #Var: 1400 LB: -706 @ 231.04 236.12 c Restart #37 #Var: 1400 LB: -1400 @ 236.03 241.04 c Restart #38 #Var: 1400 LB: -1400 @ 240.94 246.07 c Restart #39 #Var: 1400 LB: -1400 @ 245.97 251.14 c Restart #40 #Var: 1400 LB: -1400 @ 251.04 256.43 c Restart #41 #Var: 1400 LB: -1400 @ 256.33 261.92 c Restart #42 #Var: 1400 LB: -1400 @ 261.82 267.52 c Restart #43 #Var: 1400 LB: -1400 @ 267.41 273.17 c Restart #44 #Var: 1400 LB: -1400 @ 273.06 278.91 c Restart #45 #Var: 1400 LB: -1400 @ 278.8 284.91 c Restart #46 #Var: 1400 LB: -1400 @ 284.8 290.91 c Restart #47 #Var: 1400 LB: -1400 @ 290.8 297.06 c Restart #48 #Var: 1400 LB: -1400 @ 296.94 303.22 c Restart #49 #Var: 1400 LB: -1400 @ 303.1 309.75 c Restart #50 #Var: 1400 LB: -1400 @ 309.63 316.21 c Restart #51 #Var: 1400 LB: -1400 @ 316.09 322.67 c Restart #52 #Var: 1400 LB: -1400 @ 322.55 329.39 c Restart #53 #Var: 1400 LB: -704 @ 329.26 336.43 c Restart #54 #Var: 1400 LB: -1400 @ 336.3 343.44 c Restart #55 #Var: 1400 LB: -1400 @ 343.31 350.39 c Restart #56 #Var: 1400 LB: -1400 @ 350.26 357.68 c Restart #57 #Var: 1400 LB: -1400 @ 357.55 365.01 c Restart #58 #Var: 1400 LB: -1400 @ 364.87 372.43 c Restart #59 #Var: 1400 LB: -1400 @ 372.29 380.23 c Restart #60 #Var: 1400 LB: -1400 @ 380.09 387.74 c Restart #61 #Var: 1400 LB: -1400 @ 387.6 395.43 c Restart #62 #Var: 1400 LB: -1400 @ 395.28 403.37 c Restart #63 #Var: 1400 LB: -1400 @ 403.22 411.32 c Restart #64 #Var: 1400 LB: -1400 @ 411.17 419.25 c Restart #65 #Var: 1400 LB: -1400 @ 419.1 427.45 c Restart #66 #Var: 1400 LB: -1400 @ 427.29 435.70 c Restart #67 #Var: 1400 LB: -1400 @ 435.54 444.14 c Restart #68 #Var: 1400 LB: -1400 @ 443.98 452.84 c Restart #69 #Var: 1400 LB: -1400 @ 452.68 461.54 c Restart #70 #Var: 1400 LB: -1400 @ 461.38 470.56 c Restart #71 #Var: 1400 LB: -1400 @ 470.39 479.48 c Restart #72 #Var: 1400 LB: -1400 @ 479.31 488.28 c Restart #73 #Var: 1400 LB: -1400 @ 488.11 497.43 c Restart #74 #Var: 1400 LB: -1400 @ 497.25 506.69 c Restart #75 #Var: 1400 LB: -1400 @ 506.51 516.12 c Restart #76 #Var: 1400 LB: -1400 @ 515.94 525.61 c Restart #77 #Var: 1400 LB: -1400 @ 525.43 527.80 c Sol. found (all assignments made)... 533.32 c Sol. found (all assignments made)... 535.00 c Restart #78 #Var: 1400 LB: -1400 @ 534.81 544.76 c Restart #79 #Var: 1400 LB: -1400 @ 544.57 554.60 c Restart #80 #Var: 1400 LB: -1400 @ 554.41 564.60 c Restart #81 #Var: 1400 LB: -1400 @ 564.41 574.50 c Restart #82 #Var: 1400 LB: -1400 @ 574.31 584.70 c Restart #83 #Var: 1400 LB: -1400 @ 584.5 595.25 c Restart #84 #Var: 1400 LB: -1400 @ 595.04 605.66 c Restart #85 #Var: 1400 LB: -1400 @ 605.46 616.14 c Restart #86 #Var: 1400 LB: -1400 @ 615.93 627.26 c Restart #87 #Var: 1400 LB: -1400 @ 627.04 638.20 c Restart #88 #Var: 1400 LB: -1400 @ 637.98 648.93 c Restart #89 #Var: 1400 LB: -1400 @ 648.71 659.90 c Restart #90 #Var: 1400 LB: -1400 @ 659.67 671.09 c Restart #91 #Var: 1400 LB: -1400 @ 670.87 682.11 c Restart #92 #Var: 1400 LB: -1400 @ 681.88 693.60 c Restart #93 #Var: 1400 LB: -1400 @ 693.36 705.06 c Restart #94 #Var: 1400 LB: -1400 @ 704.83 716.59 c Restart #95 #Var: 1400 LB: -1400 @ 716.35 728.24 c Restart #96 #Var: 1400 LB: -1400 @ 728 740.05 c Restart #97 #Var: 1400 LB: -1400 @ 739.8 751.65 c Restart #98 #Var: 1400 LB: -1400 @ 751.4 763.85 c Restart #99 #Var: 1400 LB: -1400 @ 763.6 775.93 c Restart #100 #Var: 1400 LB: -1400 @ 775.67 788.44 c Restart #101 #Var: 1400 LB: -1400 @ 788.18 800.97 c Restart #102 #Var: 1400 LB: -1400 @ 800.7 813.58 c Restart #103 #Var: 1400 LB: -706 @ 813.31 826.11 c Restart #104 #Var: 1400 LB: -1400 @ 825.84 839.00 c Restart #105 #Var: 1400 LB: -1400 @ 838.72 852.20 c Restart #106 #Var: 1400 LB: -1400 @ 851.92 865.09 c Restart #107 #Var: 1400 LB: -1400 @ 864.8 878.07 c Restart #108 #Var: 1400 LB: -1400 @ 877.79 891.34 c Restart #109 #Var: 1400 LB: -1400 @ 891.04 904.73 c Restart #110 #Var: 1400 LB: -1400 @ 904.43 918.29 c Restart #111 #Var: 1400 LB: -1400 @ 918 932.12 c Restart #112 #Var: 1400 LB: -1400 @ 931.82 945.71 c Restart #113 #Var: 1400 LB: -1400 @ 945.41 959.32 c Restart #114 #Var: 1400 LB: -1400 @ 959.01 961.85 c Sol. found (all assignments made)... 961.85 c Sol. found (all assignments made)... 962.00 c Sol. found (all assignments made)... 962.00 c Sol. found (all assignments made)... 962.03 c Sol. found (all assignments made)... 962.04 c Sol. found (all assignments made)... 962.05 c Sol. found (all assignments made)... 962.05 c Sol. found (all assignments made)... 964.53 c Sol. found (all assignments made)... 964.56 c Sol. found (all assignments made)... 964.60 c Sol. found (all assignments made)... 964.61 c Sol. found (all assignments made)... 964.64 c Sol. found (all assignments made)... 964.64 c Sol. found (all assignments made)... 972.84 c Restart #115 #Var: 1400 LB: -1400 @ 972.53 986.62 c Restart #116 #Var: 1400 LB: -1400 @ 986.3 1000.96 c Restart #117 #Var: 1400 LB: -1400 @ 1000.6 1015.12 c Restart #118 #Var: 1400 LB: -1400 @ 1014.8 1029.31 c Restart #119 #Var: 1400 LB: -1400 @ 1029 1043.81 c Restart #120 #Var: 1400 LB: -1400 @ 1043.5 1057.95 c Restart #121 #Var: 1400 LB: -1400 @ 1057.6 1072.70 c Restart #122 #Var: 1400 LB: -1400 @ 1072.4 1087.33 c Restart #123 #Var: 1400 LB: -1400 @ 1087 1102.55 c Restart #124 #Var: 1400 LB: -1400 @ 1102.2 1117.50 c Restart #125 #Var: 1400 LB: -1400 @ 1117.1 1132.83 c Restart #126 #Var: 1400 LB: -1400 @ 1132.5 1148.11 c Restart #127 #Var: 1400 LB: -1400 @ 1147.7 1163.53 c Restart #128 #Var: 1400 LB: -1400 @ 1163.2 1179.19 c Restart #129 #Var: 1400 LB: -1400 @ 1178.8 1194.70 c Restart #130 #Var: 1400 LB: -1400 @ 1194.3 1210.70 c Restart #131 #Var: 1400 LB: -1400 @ 1210.3 1226.64 c Restart #132 #Var: 1400 LB: -1400 @ 1226.3 1242.62 c Restart #133 #Var: 1400 LB: -1400 @ 1242.2 1258.72 c Restart #134 #Var: 1400 LB: -1400 @ 1258.3 1275.32 c Restart #135 #Var: 1400 LB: -1400 @ 1274.9 1291.59 c Restart #136 #Var: 1400 LB: -1400 @ 1291.2 1308.27 c Restart #137 #Var: 1400 LB: -1400 @ 1307.9 1325.55 c Restart #138 #Var: 1400 LB: -1400 @ 1325.1 1342.58 c Restart #139 #Var: 1400 LB: -1400 @ 1342.2 1359.90 c Restart #140 #Var: 1400 LB: -1400 @ 1359.5 1360.63 c Sol. found (all assignments made)... 1360.63 c Sol. found (all assignments made)... 1361.28 c Sol. found (all assignments made)... 1361.29 c Sol. found (all assignments made)... 1361.29 c Sol. found (all assignments made)... 1361.32 c Sol. found (all assignments made)... 1361.61 c Sol. found (all assignments made)... 1361.61 c Sol. found (all assignments made)... 1361.67 c Sol. found (all assignments made)... 1361.67 c Sol. found (all assignments made)... 1361.69 c Sol. found (all assignments made)... 1361.69 c Sol. found (all assignments made)... 1361.70 c Sol. found (all assignments made)... 1361.74 c Sol. found (all assignments made)... 1362.01 c Sol. found (all assignments made)... 1362.01 c Sol. found (all assignments made)... 1363.88 c Sol. found (all assignments made)... 1365.19 c Sol. found (all assignments made)... 1365.19 o -46 1365.19 c NEW SOLUTION FOUND: -46 @ 1364.8 1365.19 c Sol. found (all assignments made)... 1369.87 c Sol. found (all assignments made)... 1369.88 c Sol. found (all assignments made)... 1369.90 c Sol. found (all assignments made)... 1370.06 c Sol. found (all assignments made)... 1372.81 c Sol. found (all assignments made)... 1372.81 c Sol. found (all assignments made)... 1373.15 c Sol. found (all assignments made)... 1381.37 c Restart #141 #Var: 1400 LB: -1400 @ 1380.9 1398.31 c Restart #142 #Var: 1400 LB: -1400 @ 1397.9 1415.57 c Restart #143 #Var: 1400 LB: -1400 @ 1415.1 1432.50 c Restart #144 #Var: 1400 LB: -1400 @ 1432 1450.05 c Restart #145 #Var: 1400 LB: -1400 @ 1449.6 1467.57 c Restart #146 #Var: 1400 LB: -1400 @ 1467.1 1485.48 c Restart #147 #Var: 1400 LB: -1400 @ 1485 1503.01 c Restart #148 #Var: 1400 LB: -1400 @ 1502.5 1521.08 c Restart #149 #Var: 1400 LB: -1400 @ 1520.6 1539.35 c Restart #150 #Var: 1400 LB: -1400 @ 1538.9 1557.78 c Restart #151 #Var: 1400 LB: -1400 @ 1557.3 1576.03 c Restart #152 #Var: 1400 LB: -1400 @ 1575.5 1594.58 c Restart #153 #Var: 1400 LB: -1400 @ 1594.1 1598.03 c Sol. found (all assignments made)... 1598.04 c Sol. found (all assignments made)... 1598.04 c Sol. found (all assignments made)... 1598.05 c Sol. found (all assignments made)... 1598.06 c Sol. found (all assignments made)... 1598.07 c Sol. found (all assignments made)... 1598.08 c Sol. found (all assignments made)... 1598.08 c Sol. found (all assignments made)... 1598.09 c Sol. found (all assignments made)... 1598.09 c Sol. found (all assignments made)... 1598.11 c Sol. found (all assignments made)... 1598.12 c Sol. found (all assignments made)... 1598.12 c Sol. found (all assignments made)... 1598.13 c Sol. found (all assignments made)... 1598.14 c Sol. found (all assignments made)... 1604.18 c Sol. found (all assignments made)... 1604.18 c Sol. found (all assignments made)... 1604.19 c Sol. found (all assignments made)... 1604.20 c Sol. found (all assignments made)... 1604.20 c Sol. found (all assignments made)... 1604.20 c Sol. found (all assignments made)... 1604.27 c Sol. found (all assignments made)... 1604.32 c Sol. found (all assignments made)... 1604.32 c Sol. found (all assignments made)... 1605.07 c Sol. found (all assignments made)... 1605.07 c Sol. found (all assignments made)... 1605.72 c Sol. found (all assignments made)... 1606.19 c Sol. found (all assignments made)... 1606.19 c Sol. found (all assignments made)... 1606.20 c Sol. found (all assignments made)... 1606.21 c Sol. found (all assignments made)... 1606.22 c Sol. found (all assignments made)... 1606.23 c Sol. found (all assignments made)... 1606.24 c Sol. found (all assignments made)... 1606.24 c Sol. found (all assignments made)... 1606.25 c Sol. found (all assignments made)... 1606.26 c Sol. found (all assignments made)... 1606.26 c Sol. found (all assignments made)... 1606.27 c Sol. found (all assignments made)... 1606.27 c Sol. found (all assignments made)... 1606.28 c Sol. found (all assignments made)... 1606.28 c Sol. found (all assignments made)... 1606.29 c Sol. found (all assignments made)... 1606.29 c Sol. found (all assignments made)... 1606.30 c Sol. found (all assignments made)... 1606.31 c Sol. found (all assignments made)... 1606.32 c Sol. found (all assignments made)... 1606.33 c Sol. found (all assignments made)... 1606.33 c Sol. found (all assignments made)... 1606.34 c Sol. found (all assignments made)... 1607.91 c Sol. found (all assignments made)... 1607.91 c Sol. found (all assignments made)... 1607.92 c Sol. found (all assignments made)... 1607.97 c Sol. found (all assignments made)... 1607.99 c Sol. found (all assignments made)... 1608.59 c Sol. found (all assignments made)... 1613.19 c Restart #154 #Var: 1400 LB: -1400 @ 1612.7 1631.87 c Restart #155 #Var: 1400 LB: -1400 @ 1631.4 1650.39 c Restart #156 #Var: 1400 LB: -1400 @ 1649.9 1669.43 c Restart #157 #Var: 1400 LB: -1400 @ 1668.9 1688.51 c Restart #158 #Var: 1400 LB: -1400 @ 1688 1707.61 c Restart #159 #Var: 1400 LB: -1400 @ 1707.1 1727.39 c Restart #160 #Var: 1400 LB: -1400 @ 1726.9 1746.95 c Restart #161 #Var: 1400 LB: -1400 @ 1746.4 1766.54 c Restart #162 #Var: 1400 LB: -1400 @ 1766 1786.40 c Restart #163 #Var: 1400 LB: -1400 @ 1785.8 1800.61 s SATISFIABLE 1800.61 c Cost: -46 1800.61 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 -x1384 1800.61 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1800.61 v -x1366 -x1365 -x1364 -x1363 x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1800.61 v -x1349 -x1348 -x1347 -x1346 -x1345 x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 1800.61 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1800.61 v -x1315 -x1314 x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1800.61 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283 -x1282 1800.61 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 1800.61 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 1800.61 v -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 1800.61 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 1800.61 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 1800.61 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 -x1180 1800.61 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 1800.61 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 1800.61 v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 1800.61 v -x1128 x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 1800.61 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 1800.61 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 1800.61 v x1077 -x1076 -x1075 -x1074 -x1073 x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 1800.61 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 1800.61 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 1800.61 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 x1011 -x1010 -x1009 1800.61 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 1800.61 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 1800.61 v -x968 -x967 x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 1800.61 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 1800.61 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 x906 1800.61 v -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 1800.61 v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 x866 -x865 -x864 1800.61 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 1800.61 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 1800.61 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 1800.61 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 x785 -x784 -x783 -x782 -x781 -x780 1800.61 v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 1800.61 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 1800.61 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 1800.61 v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 1800.61 v -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 1800.61 v -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 1800.61 v x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 1800.61 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 1800.61 v -x611 -x610 -x609 -x608 x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 1800.61 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 1800.61 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 1800.61 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 1800.61 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 1800.61 v -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 1800.61 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 1800.61 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 1800.61 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 1800.61 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 1800.61 v -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 1800.61 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 1800.61 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 1800.61 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 1800.61 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 1800.61 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 1800.61 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 1800.61 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 1800.61 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 1800.61 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 1800.61 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 1800.61 v -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 1800.61 v -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 1800.61 v -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 1800.61 v -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 1800.61 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 1800.61 v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 1800.61 v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 1800.61 v -x4 -x3 -x2 -x1 1800.61 c Exit Code: 10 1800.61 c Total time: 1800 s
OK -46
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/node90/watcher-40494-1149294677 -o ROOT/results/node90/solver-40494-1149294677 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40494-1149294677/instance-40494-1149294677.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1581696/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=4936 CPUtime=0 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 362 0 0 0 0 0 0 0 19 0 1 0 195106700 5054464 327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 1234 327 223 55 0 125 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1527936/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=58268 CPUtime=9.98 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 13825 0 0 0 992 6 0 0 25 0 1 0 195106700 59666432 13741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19252/statm: 14567 13741 284 55 0 13458 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 58268 [startup+20.0083 s] /proc/loadavg: 0.94 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1526528/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=59736 CPUtime=19.96 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 14244 0 0 0 1990 6 0 0 25 0 1 0 195106700 61169664 14101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 14934 14101 294 55 0 13825 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 59736 [startup+30.0144 s] /proc/loadavg: 0.95 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1520000/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=66936 CPUtime=29.97 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 16003 0 0 0 2988 9 0 0 25 0 1 0 195106700 68542464 15748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 16734 15748 305 55 0 15625 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 66936 [startup+40.0205 s] /proc/loadavg: 0.96 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1518208/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=68704 CPUtime=39.98 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 16565 0 0 0 3986 12 0 0 25 0 1 0 195106700 70352896 16214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 17176 16214 305 55 0 16067 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 68704 [startup+50.0266 s] /proc/loadavg: 0.96 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1517120/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=69684 CPUtime=49.98 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 16826 0 0 0 4983 15 0 0 25 0 1 0 195106700 71356416 16475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 17421 16475 305 55 0 16312 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 69684 [startup+60.0327 s] /proc/loadavg: 0.97 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1516096/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=70684 CPUtime=59.98 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 17088 0 0 0 5980 18 0 0 25 0 1 0 195106700 72380416 16737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 17671 16737 305 55 0 16562 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 70684 [startup+70.0378 s] /proc/loadavg: 0.97 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1515840/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=70900 CPUtime=69.99 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 17151 0 0 0 6979 20 0 0 25 0 1 0 195106700 72601600 16800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 17725 16800 305 55 0 16616 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 70900 [startup+80.0439 s] /proc/loadavg: 0.98 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1514752/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=71948 CPUtime=79.98 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 17421 0 0 0 7975 23 0 0 25 0 1 0 195106700 73674752 17070 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 17987 17070 305 55 0 16878 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 71948 [startup+90.0499 s] /proc/loadavg: 0.98 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1507264/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=97036 CPUtime=89.99 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 23057 0 0 0 8972 27 0 0 25 0 1 0 195106700 99364864 19532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158522249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 24259 19539 349 55 0 23150 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 97036 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1474880/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=143376 CPUtime=99.99 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 31740 0 0 0 9969 30 0 0 25 0 1 0 195106700 146817024 27123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 35844 27123 411 55 0 34735 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 143376 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1475136/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=130400 CPUtime=109.99 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 34664 0 0 0 10968 31 0 0 25 0 1 0 195106700 133529600 27014 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160278095 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 32600 27014 411 55 0 31491 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 130400 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1495680/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=132296 CPUtime=120 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 154583 0 0 0 11916 84 0 0 25 0 1 0 195106700 135471104 22136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12886455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 33074 22144 433 55 0 31965 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 132296 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1489600/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=101120 CPUtime=130.01 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 272854 0 0 0 12866 135 0 0 25 0 1 0 195106700 103546880 23476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 25280 23476 433 55 0 24171 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 101120 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1496832/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=90692 CPUtime=140 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 375304 0 0 0 13823 177 0 0 25 0 1 0 195106700 92868608 21644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 22673 21644 433 55 0 21564 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 90692 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1496512/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=90912 CPUtime=150.01 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 375518 0 0 0 14823 178 0 0 25 0 1 0 195106700 93093888 21719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 22728 21719 433 55 0 21619 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 90912 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1496000/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=91252 CPUtime=160.02 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 375707 0 0 0 15823 179 0 0 25 0 1 0 195106700 93442048 21804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 22813 21804 433 55 0 21704 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 91252 [startup+170.099 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1496128/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=91068 CPUtime=170.01 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 375732 0 0 0 16822 179 0 0 25 0 1 0 195106700 93253632 21758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 22767 21758 433 55 0 21658 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 91068 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1495936/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=91452 CPUtime=180.01 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 375843 0 0 0 17821 180 0 0 25 0 1 0 195106700 93646848 21854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 22863 21854 433 55 0 21754 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 91452 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1495680/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=91644 CPUtime=190.02 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 375910 0 0 0 18821 181 0 0 25 0 1 0 195106700 93843456 21901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 22911 21901 433 55 0 21802 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 91644 [startup+200.117 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1496000/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=91436 CPUtime=200.02 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 376109 0 0 0 19820 182 0 0 25 0 1 0 195106700 93630464 21845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 22859 21845 433 55 0 21750 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 91436 [startup+210.123 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19252 /proc/meminfo: memFree=1496000/2055888 swapFree=4085308/4096564 ################ # More data... # ################ /proc/19252/statm: 23144 22128 433 55 0 22035 0 Current children cumulated CPU time (s) 1760.47 Current children cumulated vsize (Kb) 92576 [startup+1771.04 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19254 /proc/meminfo: memFree=1494592/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92532 CPUtime=1770.48 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379319 0 0 0 176741 307 0 0 25 0 1 0 195106700 94752768 22124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12851491 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23133 22124 433 55 0 22024 0 Current children cumulated CPU time (s) 1770.48 Current children cumulated vsize (Kb) 92532 [startup+1781.04 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19254 /proc/meminfo: memFree=1494592/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92532 CPUtime=1780.48 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379319 0 0 0 177740 308 0 0 25 0 1 0 195106700 94752768 22124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23133 22124 433 55 0 22024 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 92532 [startup+1782.05 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19254 /proc/meminfo: memFree=1494592/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92532 CPUtime=1781.49 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379319 0 0 0 177841 308 0 0 25 0 1 0 195106700 94752768 22124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134558055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23133 22124 433 55 0 22024 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 92532 [startup+1783.05 s] /proc/loadavg: 0.99 0.98 0.92 2/67 19254 /proc/meminfo: memFree=1494592/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92532 CPUtime=1782.49 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379319 0 0 0 177941 308 0 0 25 0 1 0 195106700 94752768 22124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23133 22124 433 55 0 22024 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 92532 [startup+1784.06 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19277 /proc/meminfo: memFree=1493392/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92532 CPUtime=1783.49 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379319 0 0 0 178041 308 0 0 25 0 1 0 195106700 94752768 22124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603839 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23133 22124 433 55 0 22024 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 92532 [startup+1785.06 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19277 /proc/meminfo: memFree=1493392/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92532 CPUtime=1784.49 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379319 0 0 0 178141 308 0 0 25 0 1 0 195106700 94752768 22124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12854436 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23133 22124 433 55 0 22024 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 92532 [startup+1786.07 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19277 /proc/meminfo: memFree=1493328/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1785.5 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379360 0 0 0 178242 308 0 0 25 0 1 0 195106700 95023104 22165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22165 433 55 0 22090 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 92796 [startup+1787.07 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19309 /proc/meminfo: memFree=1493120/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1786.49 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379360 0 0 0 178341 308 0 0 25 0 1 0 195106700 95023104 22165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22165 433 55 0 22090 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 92796 [startup+1788.08 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19309 /proc/meminfo: memFree=1493120/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1787.49 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379360 0 0 0 178441 308 0 0 25 0 1 0 195106700 95023104 22165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22165 433 55 0 22090 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 92796 [startup+1789.09 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19309 /proc/meminfo: memFree=1493120/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1788.5 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 178541 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547457 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 92796 [startup+1790.09 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19317 /proc/meminfo: memFree=1493120/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1789.51 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 178642 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 92796 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19317 /proc/meminfo: memFree=1493120/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1790.51 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 178742 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 92796 [startup+1792.1 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19317 /proc/meminfo: memFree=1493120/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1791.52 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 178843 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 92796 [startup+1793.11 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19325 /proc/meminfo: memFree=1493120/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1792.52 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 178943 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 92796 [startup+1794.11 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19325 /proc/meminfo: memFree=1493120/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1793.52 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 179043 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 92796 [startup+1795.12 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19325 /proc/meminfo: memFree=1493120/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1794.52 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 179143 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 92796 [startup+1796.12 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19367 /proc/meminfo: memFree=1493056/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1795.51 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 179242 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 92796 [startup+1797.13 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19367 /proc/meminfo: memFree=1493056/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1796.52 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 179343 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 92796 [startup+1798.13 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19367 /proc/meminfo: memFree=1493056/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1797.52 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 179443 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 92796 [startup+1799.14 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19375 /proc/meminfo: memFree=1493056/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1798.52 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 179543 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 92796 [startup+1800.14 s] /proc/loadavg: 0.99 0.98 0.92 2/73 19375 /proc/meminfo: memFree=1493056/2055888 swapFree=4085308/4096564 [pid=19252] ppid=19250 vsize=92796 CPUtime=1799.52 /proc/19252/stat : 19252 (bsolo) R 19250 19252 19206 0 -1 0 379361 0 0 0 179643 309 0 0 25 0 1 0 195106700 95023104 22166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19252/statm: 23199 22166 433 55 0 22090 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 92796 Child status: 10 Real time (s): 1800.63 CPU time (s): 1800.02 CPU user time (s): 1796.91 CPU system time (s): 3.11253 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (Kb): 143376
Begin job on node90 on Sat Jun 3 00:31:17 UTC 2006 FILE ID= 40494-1149294677 PBS_JOBID= 307032 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40494-1149294677/instance-40494-1149294677.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node90/watcher-40494-1149294677 -o ROOT/results/node90/solver-40494-1149294677 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40494-1149294677/instance-40494-1149294677.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 09bf68c118cd38b954800f61edb04c4b RANDOM SEED= 329344558 /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 : 6006.17 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1581904 kB Buffers: 30800 kB Cached: 375992 kB SwapCached: 2568 kB Active: 45652 kB Inactive: 369848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1581904 kB SwapTotal: 4096564 kB SwapFree: 4085308 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16060 kB Slab: 45212 kB Committed_AS: 332476 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node90 on Sat Jun 3 01:01:18 UTC 2006