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.62 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
| MD5SUM | 4c9dc9cf5c24873d3237c90ee1682632 |
| 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.53 |
| 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 | 109379 |
| Number of constraints which are clauses | 109379 |
| 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.57 c Initial problem consists of 1400 variables and 109379 constraints. 19.01 c No problem reductions applied in OPT. instance. 19.01 c preprocess terminated. Elapsed time: 18.989 19.01 c After prepocess the problem consists of 1400 variables and 109379 constraints. 19.01 c Initial Lower Bound: -1400 19.11 c Sol. found (all assignments made)... 19.11 o -4 19.11 c NEW SOLUTION FOUND: -4 @ 19.09 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 o -5 19.13 c NEW SOLUTION FOUND: -5 @ 19.113 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.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.15 c Sol. found (all assignments made)... 19.15 c Sol. found (all assignments made)... 19.16 c Sol. found (all assignments made)... 19.16 c Sol. found (all assignments made)... 19.16 c Sol. found (all assignments made)... 19.16 c Sol. found (all assignments made)... 19.16 c Sol. found (all assignments made)... 19.16 c Sol. found (all assignments made)... 19.16 c Sol. found (all assignments made)... 19.16 c Sol. found (all assignments made)... 19.16 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.18 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.34 c Restart #1 #Var: 1400 LB: -1400 @ 19.321 19.43 c Sol. found (all assignments made)... 19.43 o -12 19.43 c NEW SOLUTION FOUND: -12 @ 19.409 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 c Sol. found (all assignments made)... 19.43 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.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.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.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.47 c Sol. found (all assignments made)... 19.48 c Sol. found (all assignments made)... 19.48 c Sol. found (all assignments made)... 19.48 c Sol. found (all assignments made)... 19.48 c Sol. found (all assignments made)... 19.48 c Sol. found (all assignments made)... 19.48 c Sol. found (all assignments made)... 19.48 c Sol. found (all assignments made)... 19.48 c Sol. found (all assignments made)... 19.48 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 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.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 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.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.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.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.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.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 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.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 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.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.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.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.61 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.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.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 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.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.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.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.75 c Restart #2 #Var: 1400 LB: -1400 @ 19.729 19.85 c Sol. found (all assignments made)... 19.85 o -36 19.85 c NEW SOLUTION FOUND: -36 @ 19.832 19.85 c Sol. found (all assignments made)... 19.85 c Sol. found (all assignments made)... 19.86 c Sol. found (all assignments made)... 19.86 o -37 19.86 c NEW SOLUTION FOUND: -37 @ 19.837 19.86 c Sol. found (all assignments made)... 19.86 c Sol. found (all assignments made)... 19.86 c Sol. found (all assignments made)... 19.86 c Sol. found (all assignments made)... 19.86 c Sol. found (all assignments made)... 19.86 c Sol. found (all assignments made)... 19.86 c Sol. found (all assignments made)... 19.87 c Sol. found (all assignments made)... 19.87 c Sol. found (all assignments made)... 19.87 c Sol. found (all assignments made)... 19.87 c Sol. found (all assignments made)... 19.87 c Sol. found (all assignments made)... 19.87 c Sol. found (all assignments made)... 19.88 c Sol. found (all assignments made)... 19.88 c Sol. found (all assignments made)... 19.88 c Sol. found (all assignments made)... 19.88 c Sol. found (all assignments made)... 19.88 c Sol. found (all assignments made)... 19.88 c Sol. found (all assignments made)... 19.88 c Sol. found (all assignments made)... 19.89 c Sol. found (all assignments made)... 19.89 c Sol. found (all assignments made)... 19.89 c Sol. found (all assignments made)... 19.89 c Sol. found (all assignments made)... 19.89 c Sol. found (all assignments made)... 19.89 c Sol. found (all assignments made)... 19.90 c Sol. found (all assignments made)... 19.90 c Sol. found (all assignments made)... 19.90 c Sol. found (all assignments made)... 19.91 c Sol. found (all assignments made)... 19.91 c Sol. found (all assignments made)... 19.92 c Sol. found (all assignments made)... 19.92 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.94 c Sol. found (all assignments made)... 19.94 c Sol. found (all assignments made)... 19.94 c Sol. found (all assignments made)... 19.94 c Sol. found (all assignments made)... 19.94 c Sol. found (all assignments made)... 19.94 c Sol. found (all assignments made)... 19.94 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 20.00 c Sol. found (all assignments made)... 20.00 c Sol. found (all assignments made)... 20.00 c Sol. found (all assignments made)... 20.00 c Sol. found (all assignments made)... 20.00 c Sol. found (all assignments made)... 20.00 c Sol. found (all assignments made)... 20.00 c Sol. found (all assignments made)... 20.01 c Sol. found (all assignments made)... 20.01 c Sol. found (all assignments made)... 20.01 c Sol. found (all assignments made)... 20.01 c Sol. found (all assignments made)... 20.01 c Sol. found (all assignments made)... 20.01 c Sol. found (all assignments made)... 20.01 c Sol. found (all assignments made)... 20.01 c Sol. found (all assignments made)... 20.01 c Sol. found (all assignments made)... 20.02 c Sol. found (all assignments made)... 20.02 c Sol. found (all assignments made)... 20.02 c Sol. found (all assignments made)... 20.02 c Sol. found (all assignments made)... 20.02 c Sol. found (all assignments made)... 20.02 c Sol. found (all assignments made)... 20.02 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.05 c Sol. found (all assignments made)... 20.05 c Sol. found (all assignments made)... 20.05 c Sol. found (all assignments made)... 20.05 c Sol. found (all assignments made)... 20.05 c Sol. found (all assignments made)... 20.06 c Sol. found (all assignments made)... 20.06 c Sol. found (all assignments made)... 20.06 c Sol. found (all assignments made)... 20.06 c Sol. found (all assignments made)... 20.06 c Sol. found (all assignments made)... 20.06 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.08 c Sol. found (all assignments made)... 20.08 c Sol. found (all assignments made)... 20.08 c Sol. found (all assignments made)... 20.08 c Sol. found (all assignments made)... 20.08 c Sol. found (all assignments made)... 20.09 c Sol. found (all assignments made)... 20.09 c Sol. found (all assignments made)... 20.09 c Sol. found (all assignments made)... 20.09 c Sol. found (all assignments made)... 20.09 c Sol. found (all assignments made)... 20.09 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.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.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.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.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.28 c Restart #3 #Var: 1400 LB: -1400 @ 20.258 20.39 c Sol. found (all assignments made)... 20.39 o -38 20.39 c NEW SOLUTION FOUND: -38 @ 20.369 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.39 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.41 c Sol. found (all assignments made)... 20.41 o -39 20.41 c NEW SOLUTION FOUND: -39 @ 20.386 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.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.43 c Sol. found (all assignments made)... 20.43 c Sol. found (all assignments made)... 20.45 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.47 c Sol. found (all assignments made)... 20.47 c Sol. found (all assignments made)... 20.47 c Sol. found (all assignments made)... 20.47 c Sol. found (all assignments made)... 20.47 c Sol. found (all assignments made)... 20.47 c Sol. found (all assignments made)... 20.47 c Sol. found (all assignments made)... 20.47 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.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.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.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.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.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.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.54 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.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.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.59 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.69 c Sol. found (all assignments made)... 20.69 c Sol. found (all assignments made)... 20.69 c Sol. found (all assignments made)... 20.70 c Sol. found (all assignments made)... 20.70 c Sol. found (all assignments made)... 20.70 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.73 c Sol. found (all assignments made)... 20.73 c Sol. found (all assignments made)... 20.73 c Sol. found (all assignments made)... 20.73 c Sol. found (all assignments made)... 20.73 c Sol. found (all assignments made)... 20.73 c Sol. found (all assignments made)... 20.73 c Sol. found (all assignments made)... 20.73 c Sol. found (all assignments made)... 20.73 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.75 c Sol. found (all assignments made)... 20.75 c Sol. found (all assignments made)... 20.75 c Sol. found (all assignments made)... 20.75 c Sol. found (all assignments made)... 20.75 c Sol. found (all assignments made)... 20.75 c Sol. found (all assignments made)... 20.75 c Sol. found (all assignments made)... 20.75 c Sol. found (all assignments made)... 20.75 c Sol. found (all assignments made)... 20.76 c Sol. found (all assignments made)... 20.76 c Sol. found (all assignments made)... 20.76 c Sol. found (all assignments made)... 20.76 c Sol. found (all assignments made)... 20.76 c Sol. found (all assignments made)... 20.76 c Sol. found (all assignments made)... 20.76 c Sol. found (all assignments made)... 20.76 c Sol. found (all assignments made)... 20.76 c Sol. found (all assignments made)... 20.77 c Sol. found (all assignments made)... 20.77 c Sol. found (all assignments made)... 20.77 c Sol. found (all assignments made)... 20.77 c Sol. found (all assignments made)... 20.77 c Sol. found (all assignments made)... 20.78 c Sol. found (all assignments made)... 20.78 c Sol. found (all assignments made)... 20.78 c Sol. found (all assignments made)... 20.78 c Sol. found (all assignments made)... 20.78 c Sol. found (all assignments made)... 20.78 c Sol. found (all assignments made)... 20.78 c Sol. found (all assignments made)... 20.79 c Sol. found (all assignments made)... 20.79 c Sol. found (all assignments made)... 20.79 c Sol. found (all assignments made)... 20.79 c Sol. found (all assignments made)... 20.79 c Sol. found (all assignments made)... 20.79 c Sol. found (all assignments made)... 20.79 c Sol. found (all assignments made)... 20.80 c Sol. found (all assignments made)... 20.80 c Sol. found (all assignments made)... 20.80 c Sol. found (all assignments made)... 20.80 c Sol. found (all assignments made)... 20.80 c Sol. found (all assignments made)... 20.80 c Sol. found (all assignments made)... 20.94 c Restart #4 #Var: 1400 LB: -1400 @ 20.915 21.05 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.11 c Sol. found (all assignments made)... 21.11 c Sol. found (all assignments made)... 21.11 c Sol. found (all assignments made)... 21.12 c Sol. found (all assignments made)... 21.12 c Sol. found (all assignments made)... 21.12 c Sol. found (all assignments made)... 21.12 c Sol. found (all assignments made)... 21.12 c Sol. found (all assignments made)... 21.12 c Sol. found (all assignments made)... 21.14 c Sol. found (all assignments made)... 21.15 c Sol. found (all assignments made)... 21.16 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.20 c Sol. found (all assignments made)... 21.20 c Sol. found (all assignments made)... 21.23 c Sol. found (all assignments made)... 21.23 c Sol. found (all assignments made)... 21.24 c Sol. found (all assignments made)... 21.24 c Sol. found (all assignments made)... 21.24 c Sol. found (all assignments made)... 21.24 c Sol. found (all assignments made)... 21.27 c Sol. found (all assignments made)... 21.28 c Sol. found (all assignments made)... 21.36 c Sol. found (all assignments made)... 21.40 c Sol. found (all assignments made)... 21.41 c Sol. found (all assignments made)... 21.42 c Sol. found (all assignments made)... 21.42 c Sol. found (all assignments made)... 21.42 c Sol. found (all assignments made)... 21.43 c Sol. found (all assignments made)... 21.44 c Sol. found (all assignments made)... 21.45 c Sol. found (all assignments made)... 21.69 c Restart #5 #Var: 1400 LB: -1400 @ 21.661 21.96 c Sol. found (all assignments made)... 21.96 c Sol. found (all assignments made)... 21.96 c Sol. found (all assignments made)... 21.96 c Sol. found (all assignments made)... 21.97 c Sol. found (all assignments made)... 21.97 c Sol. found (all assignments made)... 21.97 c Sol. found (all assignments made)... 22.02 c Sol. found (all assignments made)... 22.21 c Sol. found (all assignments made)... 22.21 c Sol. found (all assignments made)... 22.24 c Sol. found (all assignments made)... 22.25 c Sol. found (all assignments made)... 22.29 c Sol. found (all assignments made)... 22.32 c Sol. found (all assignments made)... 22.36 c Sol. found (all assignments made)... 22.42 c Sol. found (all assignments made)... 22.42 c Sol. found (all assignments made)... 22.53 c Restart #6 #Var: 1400 LB: -1400 @ 22.506 22.63 c Sol. found (all assignments made)... 22.63 o -40 22.63 c NEW SOLUTION FOUND: -40 @ 22.609 22.64 c Sol. found (all assignments made)... 22.64 c Sol. found (all assignments made)... 22.64 c Sol. found (all assignments made)... 22.64 c Sol. found (all assignments made)... 22.64 c Sol. found (all assignments made)... 22.64 c Sol. found (all assignments made)... 22.64 c Sol. found (all assignments made)... 22.64 c Sol. found (all assignments made)... 22.64 c Sol. found (all assignments made)... 22.65 c Sol. found (all assignments made)... 22.65 c Sol. found (all assignments made)... 22.65 c Sol. found (all assignments made)... 22.65 c Sol. found (all assignments made)... 22.65 c Sol. found (all assignments made)... 22.65 c Sol. found (all assignments made)... 22.65 c Sol. found (all assignments made)... 22.65 c Sol. found (all assignments made)... 22.73 c Sol. found (all assignments made)... 22.73 c Sol. found (all assignments made)... 22.73 c Sol. found (all assignments made)... 22.73 c Sol. found (all assignments made)... 22.73 c Sol. found (all assignments made)... 22.73 c Sol. found (all assignments made)... 22.73 c Sol. found (all assignments made)... 22.73 c Sol. found (all assignments made)... 22.75 c Sol. found (all assignments made)... 22.75 c Sol. found (all assignments made)... 22.75 c Sol. found (all assignments made)... 22.75 c Sol. found (all assignments made)... 22.75 c Sol. found (all assignments made)... 22.75 c Sol. found (all assignments made)... 22.75 c Sol. found (all assignments made)... 22.75 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.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)... 22.94 c Sol. found (all assignments made)... 22.94 c Sol. found (all assignments made)... 22.94 c Sol. found (all assignments made)... 22.94 c Sol. found (all assignments made)... 22.94 c Sol. found (all assignments made)... 22.94 c Sol. found (all assignments made)... 22.94 c Sol. found (all assignments made)... 22.95 c Sol. found (all assignments made)... 22.95 c Sol. found (all assignments made)... 22.95 c Sol. found (all assignments made)... 22.95 c Sol. found (all assignments made)... 23.01 c Sol. found (all assignments made)... 23.01 c Sol. found (all assignments made)... 23.01 c Sol. found (all assignments made)... 23.01 c Sol. found (all assignments made)... 23.02 c Sol. found (all assignments made)... 23.02 c Sol. found (all assignments made)... 23.02 c Sol. found (all assignments made)... 23.02 c Sol. found (all assignments made)... 23.03 c Sol. found (all assignments made)... 23.03 c Sol. found (all assignments made)... 23.05 c Sol. found (all assignments made)... 23.05 c Sol. found (all assignments made)... 23.05 c Sol. found (all assignments made)... 23.05 c Sol. found (all assignments made)... 23.05 c Sol. found (all assignments made)... 23.05 c Sol. found (all assignments made)... 23.07 c Sol. found (all assignments made)... 23.08 c Sol. found (all assignments made)... 23.08 c Sol. found (all assignments made)... 23.08 c Sol. found (all assignments made)... 23.08 c Sol. found (all assignments made)... 23.08 c Sol. found (all assignments made)... 23.08 c Sol. found (all assignments made)... 23.08 c Sol. found (all assignments made)... 23.11 c Sol. found (all assignments made)... 23.11 c Sol. found (all assignments made)... 23.11 c Sol. found (all assignments made)... 23.11 c Sol. found (all assignments made)... 23.11 c Sol. found (all assignments made)... 23.11 c Sol. found (all assignments made)... 23.11 c Sol. found (all assignments made)... 23.12 c Sol. found (all assignments made)... 23.14 c Sol. found (all assignments made)... 23.14 c Sol. found (all assignments made)... 23.14 c Sol. found (all assignments made)... 23.14 c Sol. found (all assignments made)... 23.14 c Sol. found (all assignments made)... 23.15 c Sol. found (all assignments made)... 23.15 c Sol. found (all assignments made)... 23.15 c Sol. found (all assignments made)... 23.16 c Sol. found (all assignments made)... 23.16 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.19 c Sol. found (all assignments made)... 23.19 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.48 c Restart #7 #Var: 1400 LB: -1400 @ 23.457 23.60 c Sol. found (all assignments made)... 23.60 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.62 c Sol. found (all assignments made)... 23.62 c Sol. found (all assignments made)... 23.63 c Sol. found (all assignments made)... 23.63 c Sol. found (all assignments made)... 23.64 c Sol. found (all assignments made)... 23.69 c Sol. found (all assignments made)... 23.71 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.12 c Sol. found (all assignments made)... 24.12 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.19 c Sol. found (all assignments made)... 24.20 c Sol. found (all assignments made)... 24.20 c Sol. found (all assignments made)... 24.21 c Sol. found (all assignments made)... 24.21 c Sol. found (all assignments made)... 24.21 c Sol. found (all assignments made)... 24.21 c Sol. found (all assignments made)... 24.22 c Sol. found (all assignments made)... 24.23 c Sol. found (all assignments made)... 24.27 c Sol. found (all assignments made)... 24.27 c Sol. found (all assignments made)... 24.27 c Sol. found (all assignments made)... 24.27 c Sol. found (all assignments made)... 24.28 c Sol. found (all assignments made)... 24.28 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.54 c Restart #8 #Var: 1400 LB: -1400 @ 24.513 24.65 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.72 c Sol. found (all assignments made)... 24.73 c Sol. found (all assignments made)... 24.75 c Sol. found (all assignments made)... 24.76 c Sol. found (all assignments made)... 24.77 c Sol. found (all assignments made)... 24.77 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.79 c Sol. found (all assignments made)... 24.79 c Sol. found (all assignments made)... 24.79 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.88 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.25 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.31 c Sol. found (all assignments made)... 25.35 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.38 c Sol. found (all assignments made)... 25.41 c Sol. found (all assignments made)... 25.43 c Sol. found (all assignments made)... 25.43 c Sol. found (all assignments made)... 25.44 c Sol. found (all assignments made)... 25.51 c Sol. found (all assignments made)... 25.52 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.55 c Sol. found (all assignments made)... 25.55 c Sol. found (all assignments made)... 25.57 c Sol. found (all assignments made)... 25.58 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.60 c Sol. found (all assignments made)... 25.60 c Sol. found (all assignments made)... 25.60 c Sol. found (all assignments made)... 25.61 c Sol. found (all assignments made)... 25.61 c Sol. found (all assignments made)... 25.62 c Sol. found (all assignments made)... 25.72 c Restart #9 #Var: 1400 LB: -1400 @ 25.685 25.83 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 26.47 c Sol. found (all assignments made)... 26.48 c Sol. found (all assignments made)... 26.59 c Sol. found (all assignments made)... 27.00 c Restart #10 #Var: 1400 LB: -1400 @ 26.961 27.15 c Sol. found (all assignments made)... 27.15 c Sol. found (all assignments made)... 27.16 c Sol. found (all assignments made)... 27.16 c Sol. found (all assignments made)... 27.25 c Sol. found (all assignments made)... 27.26 c Sol. found (all assignments made)... 27.39 c Sol. found (all assignments made)... 27.39 c Sol. found (all assignments made)... 27.40 c Sol. found (all assignments made)... 27.40 c Sol. found (all assignments made)... 27.48 c Sol. found (all assignments made)... 27.49 c Sol. found (all assignments made)... 27.58 c Sol. found (all assignments made)... 27.58 c Sol. found (all assignments made)... 27.62 c Sol. found (all assignments made)... 27.62 c Sol. found (all assignments made)... 27.85 c Sol. found (all assignments made)... 27.89 c Sol. found (all assignments made)... 27.89 c Sol. found (all assignments made)... 28.20 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 158.06 c CHANGE to MIS mode... UB: -40 MIS: -1400 LPR: -671 (12.954) Diff: 2.0864 158.06 c Restart #0 #Var: 1400 LB: -1400 @ 157.96 158.61 c Restart #1 #Var: 1400 LB: -1400 @ 158.5 159.26 c Restart #2 #Var: 1400 LB: -1400 @ 159.15 159.71 c Sol. found (all assignments made)... 160.11 c Restart #3 #Var: 1400 LB: -705 @ 160 160.48 c Sol. found (all assignments made)... 160.48 o -41 160.48 c NEW SOLUTION FOUND: -41 @ 160.37 161.01 c Restart #4 #Var: 1400 LB: -1400 @ 160.91 162.09 c Restart #5 #Var: 1400 LB: -704 @ 161.98 163.08 c Sol. found (all assignments made)... 163.08 o -42 163.08 c NEW SOLUTION FOUND: -42 @ 162.97 163.08 c Sol. found (all assignments made)... 163.85 c Restart #6 #Var: 1400 LB: -1400 @ 163.74 165.03 c Restart #7 #Var: 1400 LB: -1400 @ 164.92 166.36 c Restart #8 #Var: 1400 LB: -1400 @ 166.25 167.81 c Restart #9 #Var: 1400 LB: -1400 @ 167.7 169.43 c Restart #10 #Var: 1400 LB: -1400 @ 169.32 169.79 c Sol. found (all assignments made)... 169.79 o -43 169.79 c NEW SOLUTION FOUND: -43 @ 169.68 169.79 c Sol. found (all assignments made)... 171.18 c Restart #11 #Var: 1400 LB: -704 @ 171.07 173.06 c Restart #12 #Var: 1400 LB: -1400 @ 172.95 173.86 c Sol. found (all assignments made)... 173.86 c Sol. found (all assignments made)... 173.87 c Sol. found (all assignments made)... 173.87 c Sol. found (all assignments made)... 173.88 c Sol. found (all assignments made)... 173.88 c Sol. found (all assignments made)... 173.89 c Sol. found (all assignments made)... 173.89 c Sol. found (all assignments made)... 173.89 c Sol. found (all assignments made)... 173.89 c Sol. found (all assignments made)... 173.90 c Sol. found (all assignments made)... 173.90 c Sol. found (all assignments made)... 173.90 c Sol. found (all assignments made)... 173.91 c Sol. found (all assignments made)... 173.91 c Sol. found (all assignments made)... 173.91 c Sol. found (all assignments made)... 173.92 c Sol. found (all assignments made)... 173.92 c Sol. found (all assignments made)... 173.92 c Sol. found (all assignments made)... 173.93 c Sol. found (all assignments made)... 173.93 c Sol. found (all assignments made)... 173.93 c Sol. found (all assignments made)... 173.93 o -44 173.93 c NEW SOLUTION FOUND: -44 @ 173.82 173.94 c Sol. found (all assignments made)... 173.94 c Sol. found (all assignments made)... 175.47 c Restart #13 #Var: 1400 LB: -1400 @ 175.35 177.48 c Restart #14 #Var: 1400 LB: -1400 @ 177.37 179.62 c Restart #15 #Var: 1400 LB: -1400 @ 179.51 181.90 c Restart #16 #Var: 1400 LB: -1400 @ 181.79 184.37 c Restart #17 #Var: 1400 LB: -1400 @ 184.26 186.89 c Restart #18 #Var: 1400 LB: -1400 @ 186.77 189.55 c Restart #19 #Var: 1400 LB: -1400 @ 189.44 192.30 c Restart #20 #Var: 1400 LB: -1400 @ 192.19 195.13 c Restart #21 #Var: 1400 LB: -1400 @ 195.01 198.10 c Restart #22 #Var: 1400 LB: -1400 @ 197.98 201.26 c Restart #23 #Var: 1400 LB: -709 @ 201.15 204.60 c Restart #24 #Var: 1400 LB: -1400 @ 204.48 207.94 c Restart #25 #Var: 1400 LB: -1400 @ 207.82 211.42 c Restart #26 #Var: 1400 LB: -1400 @ 211.3 214.95 c Restart #27 #Var: 1400 LB: -1400 @ 214.83 218.69 c Restart #28 #Var: 1400 LB: -708 @ 218.57 222.64 c Restart #29 #Var: 1400 LB: -1400 @ 222.52 226.60 c Restart #30 #Var: 1400 LB: -1400 @ 226.47 230.69 c Restart #31 #Var: 1400 LB: -704 @ 230.56 234.94 c Restart #32 #Var: 1400 LB: -1400 @ 234.81 239.26 c Restart #33 #Var: 1400 LB: -706 @ 239.12 243.66 c Restart #34 #Var: 1400 LB: -1400 @ 243.53 248.15 c Restart #35 #Var: 1400 LB: -1400 @ 248.01 252.71 c Restart #36 #Var: 1400 LB: -1400 @ 252.57 257.37 c Restart #37 #Var: 1400 LB: -1400 @ 257.24 262.31 c Restart #38 #Var: 1400 LB: -1400 @ 262.17 267.23 c Restart #39 #Var: 1400 LB: -1400 @ 267.09 272.25 c Restart #40 #Var: 1400 LB: -1400 @ 272.11 277.45 c Restart #41 #Var: 1400 LB: -1400 @ 277.31 282.70 c Restart #42 #Var: 1400 LB: -1400 @ 282.56 288.27 c Restart #43 #Var: 1400 LB: -1400 @ 288.12 293.68 c Restart #44 #Var: 1400 LB: -1400 @ 293.53 299.33 c Restart #45 #Var: 1400 LB: -1400 @ 299.18 305.06 c Restart #46 #Var: 1400 LB: -1400 @ 304.91 310.88 c Restart #47 #Var: 1400 LB: -1400 @ 310.73 316.81 c Restart #48 #Var: 1400 LB: -1400 @ 316.66 322.96 c Restart #49 #Var: 1400 LB: -1400 @ 322.8 329.20 c Restart #50 #Var: 1400 LB: -1400 @ 329.04 335.49 c Restart #51 #Var: 1400 LB: -1400 @ 335.33 341.98 c Restart #52 #Var: 1400 LB: -1400 @ 341.81 348.58 c Restart #53 #Var: 1400 LB: -1400 @ 348.42 355.37 c Restart #54 #Var: 1400 LB: -1400 @ 355.2 362.21 c Restart #55 #Var: 1400 LB: -1400 @ 362.04 369.22 c Restart #56 #Var: 1400 LB: -1400 @ 369.05 376.28 c Restart #57 #Var: 1400 LB: -1400 @ 376.11 383.28 c Restart #58 #Var: 1400 LB: -1400 @ 383.1 390.72 c Restart #59 #Var: 1400 LB: -1400 @ 390.54 398.01 c Restart #60 #Var: 1400 LB: -1400 @ 397.83 405.33 c Restart #61 #Var: 1400 LB: -1400 @ 405.14 406.05 c Sol. found (all assignments made)... 406.06 c Sol. found (all assignments made)... 406.09 c Sol. found (all assignments made)... 406.11 c Sol. found (all assignments made)... 406.12 c Sol. found (all assignments made)... 406.12 c Sol. found (all assignments made)... 406.14 c Sol. found (all assignments made)... 406.40 c Sol. found (all assignments made)... 406.41 c Sol. found (all assignments made)... 406.41 c Sol. found (all assignments made)... 406.42 c Sol. found (all assignments made)... 406.50 c Sol. found (all assignments made)... 406.52 c Sol. found (all assignments made)... 406.52 c Sol. found (all assignments made)... 406.52 c Sol. found (all assignments made)... 406.53 c Sol. found (all assignments made)... 406.53 c Sol. found (all assignments made)... 406.53 c Sol. found (all assignments made)... 406.53 c Sol. found (all assignments made)... 407.69 c Sol. found (all assignments made)... 407.74 c Sol. found (all assignments made)... 407.75 c Sol. found (all assignments made)... 407.96 c Sol. found (all assignments made)... 407.97 c Sol. found (all assignments made)... 407.97 c Sol. found (all assignments made)... 407.97 c Sol. found (all assignments made)... 408.01 c Sol. found (all assignments made)... 408.03 c Sol. found (all assignments made)... 408.06 c Sol. found (all assignments made)... 408.06 c Sol. found (all assignments made)... 408.06 c Sol. found (all assignments made)... 408.07 c Sol. found (all assignments made)... 408.07 c Sol. found (all assignments made)... 408.08 c Sol. found (all assignments made)... 408.08 c Sol. found (all assignments made)... 408.08 c Sol. found (all assignments made)... 408.26 c Sol. found (all assignments made)... 408.27 c Sol. found (all assignments made)... 408.65 c Sol. found (all assignments made)... 409.27 c Sol. found (all assignments made)... 409.27 c Sol. found (all assignments made)... 409.28 c Sol. found (all assignments made)... 409.28 c Sol. found (all assignments made)... 409.29 c Sol. found (all assignments made)... 409.29 c Sol. found (all assignments made)... 409.30 c Sol. found (all assignments made)... 409.30 c Sol. found (all assignments made)... 409.31 c Sol. found (all assignments made)... 409.31 c Sol. found (all assignments made)... 409.32 c Sol. found (all assignments made)... 409.32 c Sol. found (all assignments made)... 409.33 c Sol. found (all assignments made)... 410.75 c Sol. found (all assignments made)... 410.79 c Sol. found (all assignments made)... 410.79 c Sol. found (all assignments made)... 410.79 c Sol. found (all assignments made)... 410.79 c Sol. found (all assignments made)... 410.80 c Sol. found (all assignments made)... 411.17 c Sol. found (all assignments made)... 411.17 c Sol. found (all assignments made)... 411.18 c Sol. found (all assignments made)... 411.19 c Sol. found (all assignments made)... 411.20 c Sol. found (all assignments made)... 411.20 c Sol. found (all assignments made)... 411.21 c Sol. found (all assignments made)... 411.22 c Sol. found (all assignments made)... 411.22 c Sol. found (all assignments made)... 411.22 c Sol. found (all assignments made)... 411.27 c Sol. found (all assignments made)... 411.27 c Sol. found (all assignments made)... 411.27 c Sol. found (all assignments made)... 411.28 c Sol. found (all assignments made)... 411.28 c Sol. found (all assignments made)... 411.28 c Sol. found (all assignments made)... 411.29 c Sol. found (all assignments made)... 411.30 c Sol. found (all assignments made)... 411.30 c Sol. found (all assignments made)... 411.30 c Sol. found (all assignments made)... 411.31 c Sol. found (all assignments made)... 411.31 c Sol. found (all assignments made)... 411.33 c Sol. found (all assignments made)... 411.33 c Sol. found (all assignments made)... 411.34 c Sol. found (all assignments made)... 411.34 c Sol. found (all assignments made)... 411.34 c Sol. found (all assignments made)... 411.35 c Sol. found (all assignments made)... 411.35 c Sol. found (all assignments made)... 411.35 c Sol. found (all assignments made)... 411.36 c Sol. found (all assignments made)... 411.36 c Sol. found (all assignments made)... 411.36 c Sol. found (all assignments made)... 411.37 c Sol. found (all assignments made)... 411.38 c Sol. found (all assignments made)... 411.38 c Sol. found (all assignments made)... 411.39 c Sol. found (all assignments made)... 411.39 c Sol. found (all assignments made)... 411.39 c Sol. found (all assignments made)... 411.40 c Sol. found (all assignments made)... 411.40 c Sol. found (all assignments made)... 411.40 c Sol. found (all assignments made)... 411.41 c Sol. found (all assignments made)... 411.41 c Sol. found (all assignments made)... 411.41 c Sol. found (all assignments made)... 411.41 c Sol. found (all assignments made)... 411.73 c Sol. found (all assignments made)... 411.75 c Sol. found (all assignments made)... 411.76 c Sol. found (all assignments made)... 411.76 c Sol. found (all assignments made)... 411.77 c Sol. found (all assignments made)... 411.79 c Sol. found (all assignments made)... 411.79 c Sol. found (all assignments made)... 411.80 c Sol. found (all assignments made)... 412.28 c Sol. found (all assignments made)... 412.29 c Sol. found (all assignments made)... 412.75 c Restart #62 #Var: 1400 LB: -1400 @ 412.56 420.46 c Restart #63 #Var: 1400 LB: -1400 @ 420.27 428.27 c Restart #64 #Var: 1400 LB: -1400 @ 428.08 436.19 c Restart #65 #Var: 1400 LB: -1400 @ 436 444.19 c Restart #66 #Var: 1400 LB: -1400 @ 443.99 452.30 c Restart #67 #Var: 1400 LB: -1400 @ 452.1 454.24 c Sol. found (all assignments made)... 460.63 c Restart #68 #Var: 1400 LB: -1400 @ 460.42 469.30 c Restart #69 #Var: 1400 LB: -1400 @ 469.09 477.74 c Restart #70 #Var: 1400 LB: -1400 @ 477.53 486.43 c Restart #71 #Var: 1400 LB: -1400 @ 486.22 495.18 c Restart #72 #Var: 1400 LB: -1400 @ 494.96 504.06 c Restart #73 #Var: 1400 LB: -1400 @ 503.84 512.97 c Restart #74 #Var: 1400 LB: -1400 @ 512.75 513.80 c Sol. found (all assignments made)... 513.81 c Sol. found (all assignments made)... 516.05 c Sol. found (all assignments made)... 516.05 c Sol. found (all assignments made)... 516.06 c Sol. found (all assignments made)... 516.06 c Sol. found (all assignments made)... 516.06 c Sol. found (all assignments made)... 516.06 c Sol. found (all assignments made)... 516.08 c Sol. found (all assignments made)... 516.08 c Sol. found (all assignments made)... 516.08 c Sol. found (all assignments made)... 516.08 c Sol. found (all assignments made)... 516.09 c Sol. found (all assignments made)... 516.09 c Sol. found (all assignments made)... 516.09 c Sol. found (all assignments made)... 516.10 c Sol. found (all assignments made)... 516.10 c Sol. found (all assignments made)... 516.11 c Sol. found (all assignments made)... 516.11 c Sol. found (all assignments made)... 516.11 c Sol. found (all assignments made)... 516.12 c Sol. found (all assignments made)... 516.12 c Sol. found (all assignments made)... 516.12 c Sol. found (all assignments made)... 516.13 c Sol. found (all assignments made)... 516.13 c Sol. found (all assignments made)... 516.13 c Sol. found (all assignments made)... 516.14 c Sol. found (all assignments made)... 516.14 c Sol. found (all assignments made)... 516.15 c Sol. found (all assignments made)... 516.15 c Sol. found (all assignments made)... 516.15 c Sol. found (all assignments made)... 516.16 c Sol. found (all assignments made)... 516.25 c Sol. found (all assignments made)... 516.27 c Sol. found (all assignments made)... 516.28 c Sol. found (all assignments made)... 516.29 c Sol. found (all assignments made)... 516.30 c Sol. found (all assignments made)... 516.30 c Sol. found (all assignments made)... 516.30 c Sol. found (all assignments made)... 516.30 c Sol. found (all assignments made)... 516.31 c Sol. found (all assignments made)... 516.31 c Sol. found (all assignments made)... 516.31 c Sol. found (all assignments made)... 516.32 c Sol. found (all assignments made)... 516.32 c Sol. found (all assignments made)... 516.32 c Sol. found (all assignments made)... 516.35 c Sol. found (all assignments made)... 516.36 c Sol. found (all assignments made)... 516.36 c Sol. found (all assignments made)... 516.36 c Sol. found (all assignments made)... 516.37 c Sol. found (all assignments made)... 516.38 c Sol. found (all assignments made)... 516.38 c Sol. found (all assignments made)... 516.39 c Sol. found (all assignments made)... 516.39 c Sol. found (all assignments made)... 517.05 c Sol. found (all assignments made)... 517.31 c Sol. found (all assignments made)... 517.31 o -45 517.31 c NEW SOLUTION FOUND: -45 @ 517.09 517.31 c Sol. found (all assignments made)... 517.31 c Sol. found (all assignments made)... 517.92 c Sol. found (all assignments made)... 517.93 c Sol. found (all assignments made)... 517.93 c Sol. found (all assignments made)... 523.49 c Sol. found (all assignments made)... 526.12 c Restart #75 #Var: 1400 LB: -704 @ 525.89 535.37 c Restart #76 #Var: 1400 LB: -1400 @ 535.14 544.69 c Restart #77 #Var: 1400 LB: -1400 @ 544.46 554.40 c Restart #78 #Var: 1400 LB: -1400 @ 554.17 564.07 c Restart #79 #Var: 1400 LB: -1400 @ 563.83 573.81 c Restart #80 #Var: 1400 LB: -1400 @ 573.57 583.78 c Restart #81 #Var: 1400 LB: -1400 @ 583.53 593.70 c Restart #82 #Var: 1400 LB: -1400 @ 593.46 603.84 c Restart #83 #Var: 1400 LB: -1400 @ 603.59 613.89 c Restart #84 #Var: 1400 LB: -1400 @ 613.64 624.26 c Restart #85 #Var: 1400 LB: -1400 @ 624.01 634.59 c Restart #86 #Var: 1400 LB: -1400 @ 634.33 645.10 c Restart #87 #Var: 1400 LB: -1400 @ 644.84 655.86 c Restart #88 #Var: 1400 LB: -1400 @ 655.59 666.89 c Restart #89 #Var: 1400 LB: -1400 @ 666.62 677.64 c Restart #90 #Var: 1400 LB: -1400 @ 677.37 688.67 c Restart #91 #Var: 1400 LB: -1400 @ 688.4 699.75 c Restart #92 #Var: 1400 LB: -1400 @ 699.48 711.19 c Restart #93 #Var: 1400 LB: -1400 @ 710.91 722.40 c Restart #94 #Var: 1400 LB: -1400 @ 722.11 734.07 c Restart #95 #Var: 1400 LB: -1400 @ 733.78 745.73 c Restart #96 #Var: 1400 LB: -1400 @ 745.44 757.42 c Restart #97 #Var: 1400 LB: -1400 @ 757.13 769.50 c Restart #98 #Var: 1400 LB: -1400 @ 769.2 781.32 c Restart #99 #Var: 1400 LB: -1400 @ 781.02 793.26 c Restart #100 #Var: 1400 LB: -1400 @ 792.95 805.49 c Restart #101 #Var: 1400 LB: -1400 @ 805.18 818.14 c Restart #102 #Var: 1400 LB: -1400 @ 817.83 830.65 c Restart #103 #Var: 1400 LB: -1400 @ 830.34 843.05 c Restart #104 #Var: 1400 LB: -1400 @ 842.74 855.65 c Restart #105 #Var: 1400 LB: -1400 @ 855.33 868.39 c Restart #106 #Var: 1400 LB: -1400 @ 868.07 880.88 c Restart #107 #Var: 1400 LB: -1400 @ 880.55 893.95 c Restart #108 #Var: 1400 LB: -1400 @ 893.62 907.15 c Restart #109 #Var: 1400 LB: -1400 @ 906.82 920.06 c Restart #110 #Var: 1400 LB: -1400 @ 919.72 933.23 c Restart #111 #Var: 1400 LB: -1400 @ 932.88 946.55 c Restart #112 #Var: 1400 LB: -1400 @ 946.21 946.96 c Sol. found (all assignments made)... 946.96 o -46 946.96 c NEW SOLUTION FOUND: -46 @ 946.62 946.97 c Sol. found (all assignments made)... 946.97 c Sol. found (all assignments made)... 946.99 c Sol. found (all assignments made)... 946.99 c Sol. found (all assignments made)... 947.00 c Sol. found (all assignments made)... 947.00 c Sol. found (all assignments made)... 947.01 c Sol. found (all assignments made)... 947.01 c Sol. found (all assignments made)... 947.01 c Sol. found (all assignments made)... 947.02 c Sol. found (all assignments made)... 949.03 c Sol. found (all assignments made)... 949.89 c Sol. found (all assignments made)... 949.89 c Sol. found (all assignments made)... 949.89 c Sol. found (all assignments made)... 949.89 c Sol. found (all assignments made)... 949.90 c Sol. found (all assignments made)... 950.00 c Sol. found (all assignments made)... 950.01 c Sol. found (all assignments made)... 950.04 c Sol. found (all assignments made)... 950.59 c Sol. found (all assignments made)... 950.85 c Sol. found (all assignments made)... 950.86 c Sol. found (all assignments made)... 950.87 c Sol. found (all assignments made)... 950.87 c Sol. found (all assignments made)... 950.87 c Sol. found (all assignments made)... 950.88 c Sol. found (all assignments made)... 950.88 c Sol. found (all assignments made)... 950.88 c Sol. found (all assignments made)... 950.89 c Sol. found (all assignments made)... 950.89 c Sol. found (all assignments made)... 950.90 c Sol. found (all assignments made)... 950.90 c Sol. found (all assignments made)... 950.91 c Sol. found (all assignments made)... 951.00 c Sol. found (all assignments made)... 951.01 c Sol. found (all assignments made)... 951.02 c Sol. found (all assignments made)... 951.07 c Sol. found (all assignments made)... 951.07 c Sol. found (all assignments made)... 951.07 c Sol. found (all assignments made)... 951.07 c Sol. found (all assignments made)... 951.08 c Sol. found (all assignments made)... 951.08 c Sol. found (all assignments made)... 951.08 c Sol. found (all assignments made)... 951.08 c Sol. found (all assignments made)... 951.09 c Sol. found (all assignments made)... 951.09 c Sol. found (all assignments made)... 951.10 c Sol. found (all assignments made)... 951.10 c Sol. found (all assignments made)... 951.10 c Sol. found (all assignments made)... 951.11 c Sol. found (all assignments made)... 951.12 c Sol. found (all assignments made)... 951.12 c Sol. found (all assignments made)... 951.12 c Sol. found (all assignments made)... 951.12 c Sol. found (all assignments made)... 951.12 c Sol. found (all assignments made)... 951.13 c Sol. found (all assignments made)... 951.14 c Sol. found (all assignments made)... 951.14 c Sol. found (all assignments made)... 951.14 c Sol. found (all assignments made)... 951.15 c Sol. found (all assignments made)... 951.15 c Sol. found (all assignments made)... 951.15 c Sol. found (all assignments made)... 951.16 c Sol. found (all assignments made)... 951.16 c Sol. found (all assignments made)... 951.17 c Sol. found (all assignments made)... 951.17 c Sol. found (all assignments made)... 951.17 c Sol. found (all assignments made)... 951.17 c Sol. found (all assignments made)... 951.18 c Sol. found (all assignments made)... 951.21 c Sol. found (all assignments made)... 951.21 c Sol. found (all assignments made)... 951.22 c Sol. found (all assignments made)... 951.23 c Sol. found (all assignments made)... 951.23 c Sol. found (all assignments made)... 951.24 c Sol. found (all assignments made)... 951.25 c Sol. found (all assignments made)... 951.25 c Sol. found (all assignments made)... 951.26 c Sol. found (all assignments made)... 951.27 c Sol. found (all assignments made)... 951.27 c Sol. found (all assignments made)... 951.28 c Sol. found (all assignments made)... 951.29 c Sol. found (all assignments made)... 951.30 c Sol. found (all assignments made)... 951.30 c Sol. found (all assignments made)... 951.31 c Sol. found (all assignments made)... 951.32 c Sol. found (all assignments made)... 951.32 c Sol. found (all assignments made)... 951.79 c Sol. found (all assignments made)... 952.89 c Sol. found (all assignments made)... 952.89 c Sol. found (all assignments made)... 952.90 c Sol. found (all assignments made)... 952.91 c Sol. found (all assignments made)... 952.94 c Sol. found (all assignments made)... 952.95 c Sol. found (all assignments made)... 952.96 c Sol. found (all assignments made)... 952.97 c Sol. found (all assignments made)... 953.01 c Sol. found (all assignments made)... 953.02 c Sol. found (all assignments made)... 953.03 c Sol. found (all assignments made)... 953.04 c Sol. found (all assignments made)... 954.17 c Sol. found (all assignments made)... 954.17 c Sol. found (all assignments made)... 954.19 c Sol. found (all assignments made)... 954.19 c Sol. found (all assignments made)... 954.38 c Sol. found (all assignments made)... 954.39 c Sol. found (all assignments made)... 954.40 c Sol. found (all assignments made)... 954.41 c Sol. found (all assignments made)... 954.58 c Sol. found (all assignments made)... 954.58 c Sol. found (all assignments made)... 954.60 c Sol. found (all assignments made)... 954.92 c Sol. found (all assignments made)... 954.92 c Sol. found (all assignments made)... 955.32 c Sol. found (all assignments made)... 955.33 c Sol. found (all assignments made)... 955.64 c Sol. found (all assignments made)... 955.64 c Sol. found (all assignments made)... 959.60 c Restart #113 #Var: 1400 LB: -1400 @ 959.25 973.44 c Restart #114 #Var: 1400 LB: -1400 @ 973.09 987.43 c Restart #115 #Var: 1400 LB: -1400 @ 987.07 1001.10 c Restart #116 #Var: 1400 LB: -1400 @ 1000.7 1015.74 c Restart #117 #Var: 1400 LB: -1400 @ 1015.4 1029.97 c Restart #118 #Var: 1400 LB: -1400 @ 1029.6 1044.14 c Restart #119 #Var: 1400 LB: -1400 @ 1043.8 1058.69 c Restart #120 #Var: 1400 LB: -1400 @ 1058.3 1073.47 c Restart #121 #Var: 1400 LB: -1400 @ 1073.1 1088.32 c Restart #122 #Var: 1400 LB: -1400 @ 1087.9 1103.17 c Restart #123 #Var: 1400 LB: -1400 @ 1102.8 1118.24 c Restart #124 #Var: 1400 LB: -1400 @ 1117.8 1133.32 c Restart #125 #Var: 1400 LB: -1400 @ 1132.9 1148.45 c Restart #126 #Var: 1400 LB: -1400 @ 1148 1163.68 c Restart #127 #Var: 1400 LB: -1400 @ 1163.3 1179.20 c Restart #128 #Var: 1400 LB: -1400 @ 1178.8 1195.09 c Restart #129 #Var: 1400 LB: -1400 @ 1194.7 1210.74 c Restart #130 #Var: 1400 LB: -1400 @ 1210.3 1226.53 c Restart #131 #Var: 1400 LB: -1400 @ 1226.1 1242.30 c Restart #132 #Var: 1400 LB: -1400 @ 1241.9 1258.56 c Restart #133 #Var: 1400 LB: -1400 @ 1258.1 1274.65 c Restart #134 #Var: 1400 LB: -1400 @ 1274.2 1290.94 c Restart #135 #Var: 1400 LB: -1400 @ 1290.5 1307.10 c Restart #136 #Var: 1400 LB: -1400 @ 1306.6 1323.68 c Restart #137 #Var: 1400 LB: -1400 @ 1323.2 1340.65 c Restart #138 #Var: 1400 LB: -1400 @ 1340.2 1357.28 c Restart #139 #Var: 1400 LB: -1400 @ 1356.8 1373.88 c Restart #140 #Var: 1400 LB: -1400 @ 1373.4 1390.91 c Restart #141 #Var: 1400 LB: -1400 @ 1390.4 1407.97 c Restart #142 #Var: 1400 LB: -1400 @ 1407.5 1425.08 c Restart #143 #Var: 1400 LB: -1400 @ 1424.6 1442.42 c Restart #144 #Var: 1400 LB: -1400 @ 1441.9 1459.92 c Restart #145 #Var: 1400 LB: -1400 @ 1459.4 1477.11 c Restart #146 #Var: 1400 LB: -1400 @ 1476.6 1494.83 c Restart #147 #Var: 1400 LB: -1400 @ 1494.3 1512.50 c Restart #148 #Var: 1400 LB: -1400 @ 1512 1530.47 c Restart #149 #Var: 1400 LB: -1400 @ 1530 1548.16 c Restart #150 #Var: 1400 LB: -1400 @ 1547.6 1565.85 c Restart #151 #Var: 1400 LB: -1400 @ 1565.3 1583.74 c Restart #152 #Var: 1400 LB: -1400 @ 1583.2 1601.75 c Restart #153 #Var: 1400 LB: -1400 @ 1601.2 1620.56 c Restart #154 #Var: 1400 LB: -705 @ 1620 1639.10 c Restart #155 #Var: 1400 LB: -1400 @ 1638.5 1657.80 c Restart #156 #Var: 1400 LB: -1400 @ 1657.2 1676.67 c Restart #157 #Var: 1400 LB: -1400 @ 1676.1 1695.86 c Restart #158 #Var: 1400 LB: -1400 @ 1695.3 1714.60 c Restart #159 #Var: 1400 LB: -1400 @ 1714 1733.66 c Restart #160 #Var: 1400 LB: -1400 @ 1733.1 1752.89 c Restart #161 #Var: 1400 LB: -1400 @ 1752.3 1772.36 c Restart #162 #Var: 1400 LB: -1400 @ 1771.8 1791.50 c Restart #163 #Var: 1400 LB: -1400 @ 1790.9 1800.60 s SATISFIABLE 1800.60 c Cost: -46 1800.60 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1800.60 v -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1800.60 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 x1350 1800.60 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 1800.60 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1800.60 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1800.60 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1800.60 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 1800.60 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248 1800.60 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 1800.60 v -x1230 -x1229 x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 1800.60 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 1800.60 v x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 1800.60 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 1800.60 v -x1162 -x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 1800.60 v -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 1800.60 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 1800.60 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 1800.60 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 1800.60 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 1800.60 v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 1800.60 v -x1043 x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 1800.60 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 1800.60 v -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 1800.60 v -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 1800.60 v -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 1800.60 v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 1800.60 v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 1800.60 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 x886 1800.60 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 1800.60 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 1800.60 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 1800.60 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 -x802 1800.60 v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 1800.60 v -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 1800.60 v -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 1800.60 v -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 1800.60 v -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 1800.60 v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 1800.60 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 1800.60 v -x654 -x653 x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 1800.60 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 1800.60 v -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 1800.60 v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 1800.60 v -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 1800.60 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 1800.60 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 1800.60 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 1800.60 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 1800.60 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 1800.60 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 1800.60 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 1800.60 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 1800.60 v -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 1800.60 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 1800.60 v -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 1800.60 v -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 1800.60 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 1800.60 v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 1800.60 v x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 1800.60 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 1800.60 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 1800.60 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 1800.60 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 1800.60 v -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 1800.60 v -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 1800.60 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 1800.60 v -x84 -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 1800.60 v -x58 -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 1800.60 v -x32 -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 1800.60 v -x6 -x5 -x4 -x3 -x2 -x1 1800.60 c Exit Code: 10 1800.60 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/node84/watcher-40493-1149294392 -o ROOT/results/node84/solver-40493-1149294392 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40493-1149294392/instance-40493-1149294392.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1573536/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=4672 CPUtime=0 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 159 0 0 0 0 0 0 0 19 0 1 0 195078528 4784128 140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8076609 0 0 4096 0 0 0 0 17 1 0 0 /proc/20350/statm: 1168 146 108 55 0 46 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1519904/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=57980 CPUtime=9.98 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 13743 0 0 0 991 7 0 0 25 0 1 0 195078528 59371520 13659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 14495 13659 284 55 0 13386 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 57980 [startup+20.0078 s] /proc/loadavg: 0.94 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1518944/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=59040 CPUtime=19.98 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 14023 0 0 0 1991 7 0 0 25 0 1 0 195078528 60456960 13939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 14760 13939 294 55 0 13651 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 59040 [startup+30.0138 s] /proc/loadavg: 0.95 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1513184/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=65592 CPUtime=29.97 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 15473 0 0 0 2988 9 0 0 25 0 1 0 195078528 67166208 15375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 16398 15375 305 55 0 15289 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 65592 [startup+40.0199 s] /proc/loadavg: 0.95 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1510240/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=68356 CPUtime=39.97 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 16244 0 0 0 3986 11 0 0 25 0 1 0 195078528 69996544 16119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 17089 16119 305 55 0 15980 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 68356 [startup+50.027 s] /proc/loadavg: 0.96 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1509664/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=68872 CPUtime=49.97 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 16477 0 0 0 4984 13 0 0 25 0 1 0 195078528 70524928 16266 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 17218 16266 305 55 0 16109 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 68872 [startup+60.032 s] /proc/loadavg: 0.97 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1508768/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=69704 CPUtime=59.98 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 16697 0 0 0 5982 16 0 0 25 0 1 0 195078528 71376896 16486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 17426 16486 305 55 0 16317 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 69704 [startup+70.0381 s] /proc/loadavg: 0.97 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1507872/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=70592 CPUtime=69.98 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 16928 0 0 0 6980 18 0 0 25 0 1 0 195078528 72286208 16717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 17648 16717 305 55 0 16539 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 70592 [startup+80.0442 s] /proc/loadavg: 0.98 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1507616/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=70792 CPUtime=79.99 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 16987 0 0 0 7979 20 0 0 25 0 1 0 195078528 72491008 16776 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 17698 16776 305 55 0 16589 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 70792 [startup+90.0503 s] /proc/loadavg: 0.98 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1506400/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=71948 CPUtime=89.98 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 17351 0 0 0 8976 22 0 0 25 0 1 0 195078528 73674752 17072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 17987 17072 305 55 0 16878 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 71948 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1467296/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=130120 CPUtime=99.95 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 34222 0 3 0 9965 30 0 0 25 0 1 0 195078528 133242880 26723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160273176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 32530 26723 410 55 0 31421 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 130120 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1466592/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=130120 CPUtime=109.96 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 34466 0 3 0 10965 31 0 0 25 0 1 0 195078528 133242880 26947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 32530 26947 411 55 0 31421 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 130120 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1466656/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=130120 CPUtime=119.97 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 34492 0 3 0 11966 31 0 0 25 0 1 0 195078528 133242880 26953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 32530 26953 411 55 0 31421 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 130120 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1466656/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=130120 CPUtime=129.97 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 34519 0 3 0 12966 31 0 0 25 0 1 0 195078528 133242880 26956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347458 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 32530 26956 411 55 0 31421 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 130120 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1487456/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=131848 CPUtime=139.97 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 152780 0 3 0 13915 82 0 0 25 0 1 0 195078528 135012352 21779 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160232617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 32962 21779 433 55 0 31853 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 131848 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1453728/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=156744 CPUtime=149.97 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 351580 0 3 0 14834 163 0 0 25 0 1 0 195078528 160505856 30213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 39186 30213 434 55 0 38077 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 156744 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1488992/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=89628 CPUtime=159.97 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 362557 0 3 0 15829 168 0 0 25 0 1 0 195078528 91779072 21393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629017 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22407 21393 434 55 0 21298 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 89628 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1488096/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=90544 CPUtime=169.98 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 362815 0 3 0 16829 169 0 0 25 0 1 0 195078528 92717056 21611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22636 21611 434 55 0 21527 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 90544 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1487968/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=90640 CPUtime=179.98 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 362840 0 3 0 17829 169 0 0 25 0 1 0 195078528 92815360 21636 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22660 21636 434 55 0 21551 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 90640 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1487648/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=90888 CPUtime=189.98 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 362918 0 3 0 18828 170 0 0 25 0 1 0 195078528 93069312 21714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557799 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22722 21714 434 55 0 21613 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 90888 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1487648/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=90792 CPUtime=199.98 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 362918 0 3 0 19828 170 0 0 25 0 1 0 195078528 92971008 21690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22698 21690 434 55 0 21589 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 90792 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20350 /proc/meminfo: memFree=1487648/2055892 swapFree=4085292/4096564 ################ # More data... # ################ /proc/20350/statm: 22975 21949 434 55 0 21866 0 Current children cumulated CPU time (s) 1760.42 Current children cumulated vsize (Kb) 91900 [startup+1771.02 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1770.42 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 176760 282 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1770.42 Current children cumulated vsize (Kb) 91980 [startup+1781.03 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1780.43 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 177760 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1780.43 Current children cumulated vsize (Kb) 91980 [startup+1782.03 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1781.43 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 177860 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 91980 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1782.43 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 177960 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 91980 [startup+1784.04 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1783.44 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 178061 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 91980 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1784.44 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 178161 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1784.44 Current children cumulated vsize (Kb) 91980 [startup+1786.05 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1785.45 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 178262 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 91980 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1786.45 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 178362 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604132 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 91980 [startup+1788.06 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1787.46 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 178463 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8548501 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 91980 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1788.46 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 178563 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 91980 [startup+1790.07 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1789.46 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 178663 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 91980 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91980 CPUtime=1790.47 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 178764 283 0 0 25 0 1 0 195078528 94187520 21987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22995 21987 434 55 0 21886 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 91980 [startup+1792.08 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91812 CPUtime=1791.47 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 178864 283 0 0 25 0 1 0 195078528 94015488 21945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22953 21945 434 55 0 21844 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 91812 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91812 CPUtime=1792.48 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 178965 283 0 0 25 0 1 0 195078528 94015488 21945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22953 21945 434 55 0 21844 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 91812 [startup+1794.09 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486304/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91812 CPUtime=1793.49 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 179065 284 0 0 25 0 1 0 195078528 94015488 21945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8541285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22953 21945 434 55 0 21844 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 91812 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486368/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91812 CPUtime=1794.49 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 179165 284 0 0 25 0 1 0 195078528 94015488 21945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8541177 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22953 21945 434 55 0 21844 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 91812 [startup+1796.1 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486368/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91812 CPUtime=1795.5 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 179266 284 0 0 25 0 1 0 195078528 94015488 21945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22953 21945 434 55 0 21844 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 91812 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486368/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91812 CPUtime=1796.5 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 179366 284 0 0 25 0 1 0 195078528 94015488 21945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22953 21945 434 55 0 21844 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 91812 [startup+1798.11 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486368/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91812 CPUtime=1797.5 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 179466 284 0 0 25 0 1 0 195078528 94015488 21945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604075 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22953 21945 434 55 0 21844 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 91812 [startup+1799.11 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486368/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91812 CPUtime=1798.51 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 179567 284 0 0 25 0 1 0 195078528 94015488 21945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22953 21945 434 55 0 21844 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 91812 [startup+1800.12 s] /proc/loadavg: 0.99 0.97 0.97 2/67 20352 /proc/meminfo: memFree=1486368/2055892 swapFree=4085292/4096564 [pid=20350] ppid=20348 vsize=91812 CPUtime=1799.51 /proc/20350/stat : 20350 (bsolo) R 20348 20350 20304 0 -1 0 364732 0 3 0 179667 284 0 0 25 0 1 0 195078528 94015488 21945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618753 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20350/statm: 22953 21945 434 55 0 21844 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 91812 Child status: 10 Real time (s): 1800.62 CPU time (s): 1800.02 CPU user time (s): 1797.15 CPU system time (s): 2.86156 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (Kb): 156744
Begin job on node84 on Sat Jun 3 00:26:32 UTC 2006 FILE ID= 40493-1149294392 PBS_JOBID= 307019 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-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40493-1149294392/instance-40493-1149294392.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node84/watcher-40493-1149294392 -o ROOT/results/node84/solver-40493-1149294392 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40493-1149294392/instance-40493-1149294392.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632 RANDOM SEED= 654635005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.15 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1573744 kB Buffers: 30880 kB Cached: 381196 kB SwapCached: 2520 kB Active: 32980 kB Inactive: 387848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1573744 kB SwapTotal: 4096564 kB SwapFree: 4085292 kB Dirty: 180 kB Writeback: 0 kB Mapped: 16424 kB Slab: 47960 kB Committed_AS: 357516 kB PageTables: 1272 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node84 on Sat Jun 3 00:56:33 UTC 2006