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 | -27 | 1800.01 | 1800.66 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
| MD5SUM | 65bafde3eb06761afc4fe90b6aa8c264 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -30 |
| Best CPU time to get the best result obtained on this benchmark | 250.119 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | YES |
| Number of variables | 450 |
| Total number of constraints | 17827 |
| Number of constraints which are clauses | 17827 |
| 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 | 450 |
| 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 | 450 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 450 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.08 c INFO: OSL Context initialized. 0.32 c Initial problem consists of 450 variables and 17827 constraints. 1.34 c No problem reductions applied in OPT. instance. 1.34 c preprocess terminated. Elapsed time: 1.265 1.34 c After prepocess the problem consists of 450 variables and 17827 constraints. 1.34 c Initial Lower Bound: -450 1.35 c Sol. found (all assignments made)... 1.35 o -1 1.35 c NEW SOLUTION FOUND: -1 @ 1.277 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 o -2 1.35 c NEW SOLUTION FOUND: -2 @ 1.278 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 o -3 1.35 c NEW SOLUTION FOUND: -3 @ 1.281 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 o -4 1.37 c NEW SOLUTION FOUND: -4 @ 1.298 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 o -5 1.39 c NEW SOLUTION FOUND: -5 @ 1.316 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.44 c Restart #1 #Var: 450 LB: -450 @ 1.365 1.45 c Sol. found (all assignments made)... 1.45 o -21 1.45 c NEW SOLUTION FOUND: -21 @ 1.377 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 o -22 1.45 c NEW SOLUTION FOUND: -22 @ 1.38 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.54 c Restart #2 #Var: 450 LB: -450 @ 1.467 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.68 c Restart #3 #Var: 450 LB: -450 @ 1.606 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.74 c Sol. found (all assignments made)... 1.74 c Sol. found (all assignments made)... 1.74 c Sol. found (all assignments made)... 1.74 c Sol. found (all assignments made)... 1.74 c Sol. found (all assignments made)... 1.74 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.86 c Restart #4 #Var: 450 LB: -450 @ 1.781 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.04 c Sol. found (all assignments made)... 2.04 c Sol. found (all assignments made)... 2.04 c Sol. found (all assignments made)... 2.04 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.05 c Sol. found (all assignments made)... 2.06 c Sol. found (all assignments made)... 2.06 c Sol. found (all assignments made)... 2.06 c Sol. found (all assignments made)... 2.06 c Sol. found (all assignments made)... 2.06 c Sol. found (all assignments made)... 2.08 c Restart #5 #Var: 450 LB: -450 @ 1.995 2.09 c Sol. found (all assignments made)... 2.09 c Sol. found (all assignments made)... 2.09 c Sol. found (all assignments made)... 2.09 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 9.60 c CHANGE to MIS mode... UB: -22 MIS: -229 LPR: -198 (0.7243) Diff: 1.1566 9.60 c Restart #0 #Var: 450 LB: -450 @ 9.511 9.63 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 o -23 9.64 c NEW SOLUTION FOUND: -23 @ 9.554 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.70 c Restart #1 #Var: 450 LB: -450 @ 9.608 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 o -24 9.73 c NEW SOLUTION FOUND: -24 @ 9.643 9.79 c Sol. found (all assignments made)... 9.84 c Restart #2 #Var: 450 LB: -231 @ 9.75 10.01 c Restart #3 #Var: 450 LB: -450 @ 9.923 10.22 c Restart #4 #Var: 450 LB: -450 @ 10.13 10.26 c Sol. found (all assignments made)... 10.26 c Sol. found (all assignments made)... 10.28 c Sol. found (all assignments made)... 10.28 c Sol. found (all assignments made)... 10.28 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.48 c Restart #5 #Var: 450 LB: -450 @ 10.395 10.55 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.74 c Sol. found (all assignments made)... 10.74 c Sol. found (all assignments made)... 10.74 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.76 c Sol. found (all assignments made)... 10.76 c Sol. found (all assignments made)... 10.76 c Sol. found (all assignments made)... 10.79 c Restart #6 #Var: 450 LB: -227 @ 10.698 11.12 c Restart #7 #Var: 450 LB: -450 @ 11.033 11.52 c Restart #8 #Var: 450 LB: -450 @ 11.428 11.68 c Sol. found (all assignments made)... 11.68 c Sol. found (all assignments made)... 11.68 c Sol. found (all assignments made)... 11.69 c Sol. found (all assignments made)... 11.69 c Sol. found (all assignments made)... 11.69 c Sol. found (all assignments made)... 11.69 c Sol. found (all assignments made)... 11.69 c Sol. found (all assignments made)... 11.70 c Sol. found (all assignments made)... 11.70 c Sol. found (all assignments made)... 11.70 c Sol. found (all assignments made)... 11.70 c Sol. found (all assignments made)... 11.71 c Sol. found (all assignments made)... 11.71 c Sol. found (all assignments made)... 11.71 c Sol. found (all assignments made)... 11.71 c Sol. found (all assignments made)... 11.71 c Sol. found (all assignments made)... 11.71 c Sol. found (all assignments made)... 11.72 c Sol. found (all assignments made)... 11.72 c Sol. found (all assignments made)... 11.73 c Sol. found (all assignments made)... 11.73 c Sol. found (all assignments made)... 11.73 c Sol. found (all assignments made)... 11.73 c Sol. found (all assignments made)... 11.73 c Sol. found (all assignments made)... 11.73 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.75 c Sol. found (all assignments made)... 11.75 c Sol. found (all assignments made)... 11.75 c Sol. found (all assignments made)... 11.75 c Sol. found (all assignments made)... 11.75 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.80 c Sol. found (all assignments made)... 11.81 c Sol. found (all assignments made)... 11.82 c Sol. found (all assignments made)... 11.83 c Sol. found (all assignments made)... 11.84 c Sol. found (all assignments made)... 11.84 c Sol. found (all assignments made)... 11.84 c Sol. found (all assignments made)... 11.85 c Sol. found (all assignments made)... 11.87 c Sol. found (all assignments made)... 11.92 c Sol. found (all assignments made)... 11.93 c Restart #9 #Var: 450 LB: -450 @ 11.842 12.07 c Sol. found (all assignments made)... 12.07 c Sol. found (all assignments made)... 12.07 c Sol. found (all assignments made)... 12.09 c Sol. found (all assignments made)... 12.09 c Sol. found (all assignments made)... 12.09 c Sol. found (all assignments made)... 12.09 c Sol. found (all assignments made)... 12.09 c Sol. found (all assignments made)... 12.09 c Sol. found (all assignments made)... 12.11 c Sol. found (all assignments made)... 12.12 c Sol. found (all assignments made)... 12.13 c Sol. found (all assignments made)... 12.13 c Sol. found (all assignments made)... 12.13 c Sol. found (all assignments made)... 12.13 c Sol. found (all assignments made)... 12.25 c Sol. found (all assignments made)... 12.25 c Sol. found (all assignments made)... 12.27 c Sol. found (all assignments made)... 12.27 c Sol. found (all assignments made)... 12.27 c Sol. found (all assignments made)... 12.27 c Sol. found (all assignments made)... 12.27 c Sol. found (all assignments made)... 12.27 c Sol. found (all assignments made)... 12.27 c Sol. found (all assignments made)... 12.30 c Sol. found (all assignments made)... 12.30 c Sol. found (all assignments made)... 12.30 c Sol. found (all assignments made)... 12.30 c Sol. found (all assignments made)... 12.30 c Sol. found (all assignments made)... 12.30 c Sol. found (all assignments made)... 12.30 c Sol. found (all assignments made)... 12.31 c Sol. found (all assignments made)... 12.31 c Sol. found (all assignments made)... 12.31 c Sol. found (all assignments made)... 12.31 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.41 c Restart #10 #Var: 450 LB: -229 @ 12.32 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.84 c Sol. found (all assignments made)... 12.84 c Sol. found (all assignments made)... 12.92 c Restart #11 #Var: 450 LB: -450 @ 12.829 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.48 c Restart #12 #Var: 450 LB: -227 @ 13.39 14.08 c Restart #13 #Var: 450 LB: -450 @ 13.986 14.11 c Sol. found (all assignments made)... 14.11 c Sol. found (all assignments made)... 14.19 c Sol. found (all assignments made)... 14.33 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.71 c Restart #14 #Var: 450 LB: -229 @ 14.624 15.41 c Restart #15 #Var: 450 LB: -450 @ 15.321 16.15 c Restart #16 #Var: 450 LB: -450 @ 16.054 16.92 c Restart #17 #Var: 450 LB: -227 @ 16.828 17.16 c Sol. found (all assignments made)... 17.77 c Restart #18 #Var: 450 LB: -228 @ 17.676 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.32 c Sol. found (all assignments made)... 18.32 c Sol. found (all assignments made)... 18.32 o -25 18.32 c NEW SOLUTION FOUND: -25 @ 18.226 18.32 c Sol. found (all assignments made)... 18.32 c Sol. found (all assignments made)... 18.32 c Sol. found (all assignments made)... 18.40 c Sol. found (all assignments made)... 18.40 c Sol. found (all assignments made)... 18.40 c Sol. found (all assignments made)... 18.40 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.76 c Sol. found (all assignments made)... 18.80 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 18.94 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.12 c Restart #19 #Var: 450 LB: -450 @ 19.029 20.06 c Restart #20 #Var: 450 LB: -228 @ 19.968 20.99 c Restart #21 #Var: 450 LB: -228 @ 20.901 21.29 c Sol. found (all assignments made)... 21.44 c Sol. found (all assignments made)... 21.60 c Sol. found (all assignments made)... 21.97 c Restart #22 #Var: 450 LB: -229 @ 21.881 22.97 c Restart #23 #Var: 450 LB: -228 @ 22.876 24.06 c Restart #24 #Var: 450 LB: -450 @ 23.965 25.23 c Restart #25 #Var: 450 LB: -228 @ 25.137 25.47 c Sol. found (all assignments made)... 25.47 o -26 25.47 c NEW SOLUTION FOUND: -26 @ 25.377 25.47 c Sol. found (all assignments made)... 25.87 c Sol. found (all assignments made)... 25.87 c Sol. found (all assignments made)... 26.61 c Restart #26 #Var: 450 LB: -450 @ 26.514 27.96 c Restart #27 #Var: 450 LB: -450 @ 27.867 29.30 c Restart #28 #Var: 450 LB: -450 @ 29.202 30.58 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.61 c Restart #29 #Var: 450 LB: -450 @ 30.513 32.02 c Restart #30 #Var: 450 LB: -450 @ 31.927 33.50 c Restart #31 #Var: 450 LB: -450 @ 33.406 34.93 c Restart #32 #Var: 450 LB: -450 @ 34.833 36.45 c Restart #33 #Var: 450 LB: -450 @ 36.358 38.07 c Restart #34 #Var: 450 LB: -450 @ 37.977 39.73 c Restart #35 #Var: 450 LB: -450 @ 39.632 41.36 c Restart #36 #Var: 450 LB: -229 @ 41.261 43.08 c Restart #37 #Var: 450 LB: -450 @ 42.984 43.40 c Sol. found (all assignments made)... 44.80 c Restart #38 #Var: 450 LB: -450 @ 44.7 46.59 c Restart #39 #Var: 450 LB: -450 @ 46.494 48.41 c Restart #40 #Var: 450 LB: -450 @ 48.314 50.30 c Restart #41 #Var: 450 LB: -450 @ 50.196 52.21 c Restart #42 #Var: 450 LB: -450 @ 52.106 54.20 c Restart #43 #Var: 450 LB: -450 @ 54.102 54.28 c Sol. found (all assignments made)... 54.31 c Sol. found (all assignments made)... 54.31 c Sol. found (all assignments made)... 54.36 c Sol. found (all assignments made)... 54.36 c Sol. found (all assignments made)... 54.37 c Sol. found (all assignments made)... 54.37 c Sol. found (all assignments made)... 54.39 c Sol. found (all assignments made)... 54.39 c Sol. found (all assignments made)... 54.40 c Sol. found (all assignments made)... 54.41 c Sol. found (all assignments made)... 54.41 c Sol. found (all assignments made)... 54.42 c Sol. found (all assignments made)... 54.42 c Sol. found (all assignments made)... 54.42 c Sol. found (all assignments made)... 54.43 c Sol. found (all assignments made)... 54.43 c Sol. found (all assignments made)... 54.44 c Sol. found (all assignments made)... 54.44 c Sol. found (all assignments made)... 54.44 c Sol. found (all assignments made)... 54.44 c Sol. found (all assignments made)... 54.45 c Sol. found (all assignments made)... 54.45 c Sol. found (all assignments made)... 54.46 c Sol. found (all assignments made)... 54.46 c Sol. found (all assignments made)... 54.46 c Sol. found (all assignments made)... 54.47 c Sol. found (all assignments made)... 54.47 c Sol. found (all assignments made)... 54.48 c Sol. found (all assignments made)... 54.48 c Sol. found (all assignments made)... 54.48 c Sol. found (all assignments made)... 54.48 c Sol. found (all assignments made)... 54.49 c Sol. found (all assignments made)... 54.49 c Sol. found (all assignments made)... 54.49 c Sol. found (all assignments made)... 54.50 c Sol. found (all assignments made)... 54.50 c Sol. found (all assignments made)... 54.50 c Sol. found (all assignments made)... 54.50 c Sol. found (all assignments made)... 54.50 c Sol. found (all assignments made)... 54.50 c Sol. found (all assignments made)... 54.51 c Sol. found (all assignments made)... 54.51 c Sol. found (all assignments made)... 54.51 c Sol. found (all assignments made)... 54.51 c Sol. found (all assignments made)... 54.52 c Sol. found (all assignments made)... 54.52 c Sol. found (all assignments made)... 54.52 c Sol. found (all assignments made)... 54.53 c Sol. found (all assignments made)... 54.57 c Sol. found (all assignments made)... 54.58 c Sol. found (all assignments made)... 54.58 c Sol. found (all assignments made)... 54.58 c Sol. found (all assignments made)... 54.58 c Sol. found (all assignments made)... 54.59 c Sol. found (all assignments made)... 54.59 c Sol. found (all assignments made)... 54.59 c Sol. found (all assignments made)... 54.60 c Sol. found (all assignments made)... 54.60 c Sol. found (all assignments made)... 54.60 c Sol. found (all assignments made)... 54.61 c Sol. found (all assignments made)... 54.61 c Sol. found (all assignments made)... 54.61 c Sol. found (all assignments made)... 54.62 c Sol. found (all assignments made)... 54.62 c Sol. found (all assignments made)... 54.62 c Sol. found (all assignments made)... 54.62 c Sol. found (all assignments made)... 54.62 c Sol. found (all assignments made)... 54.63 c Sol. found (all assignments made)... 54.63 c Sol. found (all assignments made)... 54.64 c Sol. found (all assignments made)... 54.64 c Sol. found (all assignments made)... 54.64 c Sol. found (all assignments made)... 54.65 c Sol. found (all assignments made)... 54.65 c Sol. found (all assignments made)... 54.65 c Sol. found (all assignments made)... 54.66 c Sol. found (all assignments made)... 54.66 c Sol. found (all assignments made)... 54.68 c Sol. found (all assignments made)... 54.69 c Sol. found (all assignments made)... 54.69 c Sol. found (all assignments made)... 54.69 c Sol. found (all assignments made)... 54.70 c Sol. found (all assignments made)... 54.70 c Sol. found (all assignments made)... 54.70 c Sol. found (all assignments made)... 54.70 c Sol. found (all assignments made)... 54.70 c Sol. found (all assignments made)... 54.70 c Sol. found (all assignments made)... 54.71 c Sol. found (all assignments made)... 54.71 c Sol. found (all assignments made)... 54.71 c Sol. found (all assignments made)... 54.71 c Sol. found (all assignments made)... 54.71 c Sol. found (all assignments made)... 54.71 c Sol. found (all assignments made)... 54.71 c Sol. found (all assignments made)... 54.72 c Sol. found (all assignments made)... 54.72 c Sol. found (all assignments made)... 54.72 c Sol. found (all assignments made)... 54.72 c Sol. found (all assignments made)... 54.72 c Sol. found (all assignments made)... 54.72 c Sol. found (all assignments made)... 54.72 c Sol. found (all assignments made)... 54.72 c Sol. found (all assignments made)... 54.72 c Sol. found (all assignments made)... 54.73 c Sol. found (all assignments made)... 54.73 c Sol. found (all assignments made)... 54.73 c Sol. found (all assignments made)... 54.73 c Sol. found (all assignments made)... 54.73 c Sol. found (all assignments made)... 54.73 c Sol. found (all assignments made)... 54.74 c Sol. found (all assignments made)... 54.74 c Sol. found (all assignments made)... 54.74 c Sol. found (all assignments made)... 54.74 c Sol. found (all assignments made)... 54.74 c Sol. found (all assignments made)... 54.75 c Sol. found (all assignments made)... 54.75 c Sol. found (all assignments made)... 54.76 c Sol. found (all assignments made)... 54.76 c Sol. found (all assignments made)... 54.76 c Sol. found (all assignments made)... 54.77 c Sol. found (all assignments made)... 54.77 c Sol. found (all assignments made)... 54.77 c Sol. found (all assignments made)... 54.81 c Sol. found (all assignments made)... 54.82 c Sol. found (all assignments made)... 54.82 c Sol. found (all assignments made)... 54.82 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.85 c Sol. found (all assignments made)... 54.85 c Sol. found (all assignments made)... 54.85 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.87 c Sol. found (all assignments made)... 54.87 c Sol. found (all assignments made)... 54.88 c Sol. found (all assignments made)... 54.88 c Sol. found (all assignments made)... 54.88 c Sol. found (all assignments made)... 54.88 c Sol. found (all assignments made)... 54.88 c Sol. found (all assignments made)... 54.88 c Sol. found (all assignments made)... 54.89 c Sol. found (all assignments made)... 54.89 c Sol. found (all assignments made)... 54.89 c Sol. found (all assignments made)... 54.89 c Sol. found (all assignments made)... 54.89 c Sol. found (all assignments made)... 54.89 c Sol. found (all assignments made)... 54.89 c Sol. found (all assignments made)... 54.89 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.91 c Sol. found (all assignments made)... 54.91 c Sol. found (all assignments made)... 54.91 c Sol. found (all assignments made)... 54.91 c Sol. found (all assignments made)... 54.91 c Sol. found (all assignments made)... 54.91 c Sol. found (all assignments made)... 54.91 c Sol. found (all assignments made)... 54.92 c Sol. found (all assignments made)... 54.92 c Sol. found (all assignments made)... 54.92 c Sol. found (all assignments made)... 54.92 c Sol. found (all assignments made)... 54.92 c Sol. found (all assignments made)... 54.92 c Sol. found (all assignments made)... 54.92 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.94 c Sol. found (all assignments made)... 54.94 c Sol. found (all assignments made)... 54.94 c Sol. found (all assignments made)... 54.94 c Sol. found (all assignments made)... 54.94 c Sol. found (all assignments made)... 54.94 c Sol. found (all assignments made)... 54.94 c Sol. found (all assignments made)... 54.95 c Sol. found (all assignments made)... 54.95 c Sol. found (all assignments made)... 54.95 c Sol. found (all assignments made)... 54.95 c Sol. found (all assignments made)... 54.95 c Sol. found (all assignments made)... 54.95 c Sol. found (all assignments made)... 54.95 c Sol. found (all assignments made)... 54.95 c Sol. found (all assignments made)... 54.96 c Sol. found (all assignments made)... 54.96 c Sol. found (all assignments made)... 54.96 c Sol. found (all assignments made)... 54.96 c Sol. found (all assignments made)... 54.96 c Sol. found (all assignments made)... 54.96 c Sol. found (all assignments made)... 54.96 c Sol. found (all assignments made)... 54.96 c Sol. found (all assignments made)... 54.97 c Sol. found (all assignments made)... 54.97 c Sol. found (all assignments made)... 54.97 c Sol. found (all assignments made)... 54.97 c Sol. found (all assignments made)... 54.97 c Sol. found (all assignments made)... 54.97 c Sol. found (all assignments made)... 54.97 c Sol. found (all assignments made)... 54.98 c Sol. found (all assignments made)... 54.98 c Sol. found (all assignments made)... 54.98 c Sol. found (all assignments made)... 54.98 c Sol. found (all assignments made)... 54.98 c Sol. found (all assignments made)... 54.98 c Sol. found (all assignments made)... 54.98 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.04 c Sol. found (all assignments made)... 55.05 c Sol. found (all assignments made)... 55.05 c Sol. found (all assignments made)... 55.05 c Sol. found (all assignments made)... 55.05 c Sol. found (all assignments made)... 55.06 c Sol. found (all assignments made)... 55.06 c Sol. found (all assignments made)... 55.06 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.12 c Sol. found (all assignments made)... 55.12 c Sol. found (all assignments made)... 55.12 c Sol. found (all assignments made)... 55.12 c Sol. found (all assignments made)... 55.12 c Sol. found (all assignments made)... 55.12 c Sol. found (all assignments made)... 55.12 c Sol. found (all assignments made)... 55.12 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.14 c Sol. found (all assignments made)... 55.14 c Sol. found (all assignments made)... 55.14 c Sol. found (all assignments made)... 55.14 c Sol. found (all assignments made)... 55.14 c Sol. found (all assignments made)... 55.14 c Sol. found (all assignments made)... 55.14 c Sol. found (all assignments made)... 55.14 c Sol. found (all assignments made)... 55.14 c Sol. found (all assignments made)... 55.14 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.16 c Sol. found (all assignments made)... 55.16 c Sol. found (all assignments made)... 55.16 c Sol. found (all assignments made)... 55.16 c Sol. found (all assignments made)... 55.16 c Sol. found (all assignments made)... 55.16 c Sol. found (all assignments made)... 55.16 c Sol. found (all assignments made)... 55.16 c Sol. found (all assignments made)... 55.16 c Sol. found (all assignments made)... 55.16 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.20 c Sol. found (all assignments made)... 55.20 c Sol. found (all assignments made)... 55.20 c Sol. found (all assignments made)... 55.20 c Sol. found (all assignments made)... 55.20 c Sol. found (all assignments made)... 55.20 c Sol. found (all assignments made)... 55.20 c Sol. found (all assignments made)... 55.20 c Sol. found (all assignments made)... 55.20 c Sol. found (all assignments made)... 55.21 c Sol. found (all assignments made)... 55.21 c Sol. found (all assignments made)... 55.21 c Sol. found (all assignments made)... 55.21 c Sol. found (all assignments made)... 55.22 c Sol. found (all assignments made)... 55.23 c Sol. found (all assignments made)... 55.23 c Sol. found (all assignments made)... 55.23 c Sol. found (all assignments made)... 55.23 c Sol. found (all assignments made)... 55.24 c Sol. found (all assignments made)... 55.24 c Sol. found (all assignments made)... 55.24 c Sol. found (all assignments made)... 55.24 c Sol. found (all assignments made)... 55.24 c Sol. found (all assignments made)... 55.24 c Sol. found (all assignments made)... 55.24 c Sol. found (all assignments made)... 55.25 c Sol. found (all assignments made)... 55.25 c Sol. found (all assignments made)... 55.25 c Sol. found (all assignments made)... 55.27 c Sol. found (all assignments made)... 55.27 c Sol. found (all assignments made)... 55.29 c Sol. found (all assignments made)... 55.29 c Sol. found (all assignments made)... 55.29 c Sol. found (all assignments made)... 55.29 c Sol. found (all assignments made)... 55.29 c Sol. found (all assignments made)... 55.29 c Sol. found (all assignments made)... 55.29 c Sol. found (all assignments made)... 55.30 c Sol. found (all assignments made)... 55.30 c Sol. found (all assignments made)... 55.30 c Sol. found (all assignments made)... 55.31 c Sol. found (all assignments made)... 55.32 c Sol. found (all assignments made)... 55.32 c Sol. found (all assignments made)... 55.32 c Sol. found (all assignments made)... 55.32 c Sol. found (all assignments made)... 55.33 c Sol. found (all assignments made)... 55.33 c Sol. found (all assignments made)... 55.33 c Sol. found (all assignments made)... 55.33 c Sol. found (all assignments made)... 55.33 c Sol. found (all assignments made)... 55.33 c Sol. found (all assignments made)... 55.34 c Sol. found (all assignments made)... 55.34 c Sol. found (all assignments made)... 55.34 c Sol. found (all assignments made)... 55.34 c Sol. found (all assignments made)... 55.34 c Sol. found (all assignments made)... 55.35 c Sol. found (all assignments made)... 55.35 c Sol. found (all assignments made)... 55.35 c Sol. found (all assignments made)... 55.35 c Sol. found (all assignments made)... 55.35 c Sol. found (all assignments made)... 55.35 c Sol. found (all assignments made)... 55.35 c Sol. found (all assignments made)... 55.35 c Sol. found (all assignments made)... 55.36 c Sol. found (all assignments made)... 55.37 c Sol. found (all assignments made)... 55.38 c Sol. found (all assignments made)... 55.38 c Sol. found (all assignments made)... 55.38 c Sol. found (all assignments made)... 55.38 c Sol. found (all assignments made)... 55.39 c Sol. found (all assignments made)... 55.39 c Sol. found (all assignments made)... 55.39 c Sol. found (all assignments made)... 55.39 c Sol. found (all assignments made)... 55.41 c Sol. found (all assignments made)... 55.41 c Sol. found (all assignments made)... 55.41 c Sol. found (all assignments made)... 55.41 c Sol. found (all assignments made)... 55.42 c Sol. found (all assignments made)... 55.42 c Sol. found (all assignments made)... 55.42 c Sol. found (all assignments made)... 55.42 c Sol. found (all assignments made)... 55.42 c Sol. found (all assignments made)... 55.43 c Sol. found (all assignments made)... 55.43 c Sol. found (all assignments made)... 55.44 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.46 c Sol. found (all assignments made)... 55.46 c Sol. found (all assignments made)... 55.46 c Sol. found (all assignments made)... 55.46 c Sol. found (all assignments made)... 55.46 c Sol. found (all assignments made)... 55.46 c Sol. found (all assignments made)... 55.47 c Sol. found (all assignments made)... 55.47 c Sol. found (all assignments made)... 55.47 c Sol. found (all assignments made)... 55.47 c Sol. found (all assignments made)... 55.47 c Sol. found (all assignments made)... 55.47 c Sol. found (all assignments made)... 55.47 c Sol. found (all assignments made)... 55.47 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.51 c Sol. found (all assignments made)... 55.51 c Sol. found (all assignments made)... 55.51 c Sol. found (all assignments made)... 55.51 c Sol. found (all assignments made)... 55.51 c Sol. found (all assignments made)... 55.51 c Sol. found (all assignments made)... 55.51 c Sol. found (all assignments made)... 55.51 c Sol. found (all assignments made)... 55.51 c Sol. found (all assignments made)... 55.52 c Sol. found (all assignments made)... 55.52 c Sol. found (all assignments made)... 55.52 c Sol. found (all assignments made)... 55.52 c Sol. found (all assignments made)... 55.52 c Sol. found (all assignments made)... 55.52 c Sol. found (all assignments made)... 55.53 c Sol. found (all assignments made)... 55.53 c Sol. found (all assignments made)... 55.53 c Sol. found (all assignments made)... 55.53 c Sol. found (all assignments made)... 55.53 c Sol. found (all assignments made)... 55.53 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.55 c Sol. found (all assignments made)... 55.55 c Sol. found (all assignments made)... 55.55 c Sol. found (all assignments made)... 55.63 c Sol. found (all assignments made)... 55.63 c Sol. found (all assignments made)... 55.63 c Sol. found (all assignments made)... 55.64 c Sol. found (all assignments made)... 55.64 c Sol. found (all assignments made)... 55.65 c Sol. found (all assignments made)... 55.65 c Sol. found (all assignments made)... 55.65 c Sol. found (all assignments made)... 55.65 c Sol. found (all assignments made)... 55.65 c Sol. found (all assignments made)... 55.65 c Sol. found (all assignments made)... 55.66 c Sol. found (all assignments made)... 55.66 c Sol. found (all assignments made)... 55.66 c Sol. found (all assignments made)... 55.66 c Sol. found (all assignments made)... 55.68 c Sol. found (all assignments made)... 55.68 c Sol. found (all assignments made)... 55.68 c Sol. found (all assignments made)... 55.69 c Sol. found (all assignments made)... 55.69 c Sol. found (all assignments made)... 55.69 c Sol. found (all assignments made)... 55.71 c Sol. found (all assignments made)... 55.71 c Sol. found (all assignments made)... 55.71 c Sol. found (all assignments made)... 55.71 c Sol. found (all assignments made)... 55.72 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.76 c Sol. found (all assignments made)... 55.76 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.79 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.83 c Sol. found (all assignments made)... 55.83 c Sol. found (all assignments made)... 55.83 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 56.29 c Restart #44 #Var: 450 LB: -450 @ 56.186 58.30 c Restart #45 #Var: 450 LB: -450 @ 58.2 60.34 c Restart #46 #Var: 450 LB: -229 @ 60.24 62.58 c Restart #47 #Var: 450 LB: -229 @ 62.481 64.85 c Restart #48 #Var: 450 LB: -450 @ 64.751 64.88 c Sol. found (all assignments made)... 67.08 c Restart #49 #Var: 450 LB: -450 @ 66.974 69.38 c Restart #50 #Var: 450 LB: -450 @ 69.277 71.72 c Restart #51 #Var: 450 LB: -450 @ 71.611 74.16 c Restart #52 #Var: 450 LB: -450 @ 74.05 76.54 c Restart #53 #Var: 450 LB: -450 @ 76.437 79.05 c Restart #54 #Var: 450 LB: -450 @ 78.943 81.49 c Restart #55 #Var: 450 LB: -450 @ 81.385 84.00 c Restart #56 #Var: 450 LB: -450 @ 83.89 86.60 c Restart #57 #Var: 450 LB: -450 @ 86.486 89.30 c Restart #58 #Var: 450 LB: -450 @ 89.187 91.94 c Restart #59 #Var: 450 LB: -450 @ 91.831 94.71 c Restart #60 #Var: 450 LB: -450 @ 94.598 96.18 c Sol. found (all assignments made)... 96.66 c Sol. found (all assignments made)... 96.66 c Sol. found (all assignments made)... 96.95 c Sol. found (all assignments made)... 96.95 c Sol. found (all assignments made)... 97.08 c Sol. found (all assignments made)... 97.08 c Sol. found (all assignments made)... 97.08 c Sol. found (all assignments made)... 97.08 c Sol. found (all assignments made)... 97.31 c Sol. found (all assignments made)... 97.31 c Sol. found (all assignments made)... 97.31 c Sol. found (all assignments made)... 97.31 c Sol. found (all assignments made)... 97.33 c Restart #61 #Var: 450 LB: -450 @ 97.22 100.16 c Restart #62 #Var: 450 LB: -450 @ 100.05 102.97 c Restart #63 #Var: 450 LB: -450 @ 102.86 103.02 c Sol. found (all assignments made)... 103.06 c Sol. found (all assignments made)... 105.78 c Restart #64 #Var: 450 LB: -450 @ 105.67 108.63 c Restart #65 #Var: 450 LB: -450 @ 108.52 111.51 c Restart #66 #Var: 450 LB: -450 @ 111.39 114.46 c Restart #67 #Var: 450 LB: -450 @ 114.34 117.44 c Restart #68 #Var: 450 LB: -450 @ 117.33 120.60 c Restart #69 #Var: 450 LB: -450 @ 120.49 123.66 c Restart #70 #Var: 450 LB: -450 @ 123.54 123.82 c Sol. found (all assignments made)... 123.82 c Sol. found (all assignments made)... 123.83 c Sol. found (all assignments made)... 123.85 c Sol. found (all assignments made)... 123.85 c Sol. found (all assignments made)... 123.85 c Sol. found (all assignments made)... 123.85 c Sol. found (all assignments made)... 123.88 c Sol. found (all assignments made)... 123.88 c Sol. found (all assignments made)... 126.62 c Sol. found (all assignments made)... 126.72 c Restart #71 #Var: 450 LB: -450 @ 126.6 128.18 c Sol. found (all assignments made)... 128.34 c Sol. found (all assignments made)... 128.35 c Sol. found (all assignments made)... 130.01 c Restart #72 #Var: 450 LB: -450 @ 129.89 133.29 c Restart #73 #Var: 450 LB: -450 @ 133.17 136.77 c Restart #74 #Var: 450 LB: -450 @ 136.65 140.27 c Restart #75 #Var: 450 LB: -450 @ 140.14 143.79 c Restart #76 #Var: 450 LB: -450 @ 143.67 147.23 c Restart #77 #Var: 450 LB: -450 @ 147.11 150.88 c Restart #78 #Var: 450 LB: -450 @ 150.76 154.35 c Restart #79 #Var: 450 LB: -450 @ 154.23 157.94 c Restart #80 #Var: 450 LB: -450 @ 157.81 161.62 c Restart #81 #Var: 450 LB: -450 @ 161.5 165.46 c Restart #82 #Var: 450 LB: -450 @ 165.33 169.28 c Restart #83 #Var: 450 LB: -450 @ 169.15 173.13 c Restart #84 #Var: 450 LB: -450 @ 173 176.86 c Restart #85 #Var: 450 LB: -450 @ 176.73 180.79 c Restart #86 #Var: 450 LB: -450 @ 180.65 180.96 c Sol. found (all assignments made)... 180.96 c Sol. found (all assignments made)... 180.97 c Sol. found (all assignments made)... 180.97 c Sol. found (all assignments made)... 180.97 c Sol. found (all assignments made)... 180.97 c Sol. found (all assignments made)... 181.02 c Sol. found (all assignments made)... 181.02 c Sol. found (all assignments made)... 181.02 c Sol. found (all assignments made)... 181.02 c Sol. found (all assignments made)... 181.03 c Sol. found (all assignments made)... 181.04 c Sol. found (all assignments made)... 181.11 c Sol. found (all assignments made)... 181.11 c Sol. found (all assignments made)... 181.11 c Sol. found (all assignments made)... 181.11 c Sol. found (all assignments made)... 181.12 c Sol. found (all assignments made)... 181.12 c Sol. found (all assignments made)... 181.13 c Sol. found (all assignments made)... 181.13 c Sol. found (all assignments made)... 181.13 c Sol. found (all assignments made)... 181.14 c Sol. found (all assignments made)... 181.16 c Sol. found (all assignments made)... 181.18 c Sol. found (all assignments made)... 181.18 c Sol. found (all assignments made)... 181.18 c Sol. found (all assignments made)... 181.19 c Sol. found (all assignments made)... 181.19 c Sol. found (all assignments made)... 181.19 c Sol. found (all assignments made)... 181.20 c Sol. found (all assignments made)... 181.22 c Sol. found (all assignments made)... 181.22 c Sol. found (all assignments made)... 181.22 c Sol. found (all assignments made)... 181.22 c Sol. found (all assignments made)... 181.23 c Sol. found (all assignments made)... 181.23 c Sol. found (all assignments made)... 181.24 c Sol. found (all assignments made)... 181.25 c Sol. found (all assignments made)... 181.25 c Sol. found (all assignments made)... 181.33 c Sol. found (all assignments made)... 181.33 c Sol. found (all assignments made)... 181.35 c Sol. found (all assignments made)... 181.35 c Sol. found (all assignments made)... 181.35 c Sol. found (all assignments made)... 181.36 c Sol. found (all assignments made)... 181.36 c Sol. found (all assignments made)... 181.37 c Sol. found (all assignments made)... 181.42 c Sol. found (all assignments made)... 181.42 c Sol. found (all assignments made)... 181.44 c Sol. found (all assignments made)... 181.44 c Sol. found (all assignments made)... 181.44 c Sol. found (all assignments made)... 181.45 c Sol. found (all assignments made)... 181.45 c Sol. found (all assignments made)... 181.45 c Sol. found (all assignments made)... 181.48 c Sol. found (all assignments made)... 181.48 c Sol. found (all assignments made)... 181.48 c Sol. found (all assignments made)... 181.49 c Sol. found (all assignments made)... 181.60 c Sol. found (all assignments made)... 181.60 c Sol. found (all assignments made)... 181.88 c Sol. found (all assignments made)... 181.88 c Sol. found (all assignments made)... 181.88 c Sol. found (all assignments made)... 181.89 c Sol. found (all assignments made)... 181.92 c Sol. found (all assignments made)... 181.92 c Sol. found (all assignments made)... 181.92 c Sol. found (all assignments made)... 181.92 c Sol. found (all assignments made)... 181.92 c Sol. found (all assignments made)... 181.92 c Sol. found (all assignments made)... 181.93 c Sol. found (all assignments made)... 181.94 c Sol. found (all assignments made)... 181.94 c Sol. found (all assignments made)... 181.94 c Sol. found (all assignments made)... 181.94 c Sol. found (all assignments made)... 181.94 c Sol. found (all assignments made)... 181.95 c Sol. found (all assignments made)... 181.95 c Sol. found (all assignments made)... 181.95 c Sol. found (all assignments made)... 181.95 c Sol. found (all assignments made)... 181.95 c Sol. found (all assignments made)... 181.95 c Sol. found (all assignments made)... 182.47 c Sol. found (all assignments made)... 182.61 c Sol. found (all assignments made)... 182.61 c Sol. found (all assignments made)... 182.61 c Sol. found (all assignments made)... 182.89 c Sol. found (all assignments made)... 183.03 c Sol. found (all assignments made)... 183.03 c Sol. found (all assignments made)... 183.06 c Sol. found (all assignments made)... 183.06 c Sol. found (all assignments made)... 183.06 c Sol. found (all assignments made)... 183.06 c Sol. found (all assignments made)... 183.07 c Sol. found (all assignments made)... 183.07 c Sol. found (all assignments made)... 183.07 c Sol. found (all assignments made)... 183.07 c Sol. found (all assignments made)... 183.07 c Sol. found (all assignments made)... 183.07 c Sol. found (all assignments made)... 183.07 c Sol. found (all assignments made)... 183.08 c Sol. found (all assignments made)... 183.08 c Sol. found (all assignments made)... 183.08 c Sol. found (all assignments made)... 183.08 c Sol. found (all assignments made)... 183.09 c Sol. found (all assignments made)... 183.09 c Sol. found (all assignments made)... 183.09 c Sol. found (all assignments made)... 183.17 c Sol. found (all assignments made)... 183.17 c Sol. found (all assignments made)... 183.18 c Sol. found (all assignments made)... 183.21 c Sol. found (all assignments made)... 183.21 c Sol. found (all assignments made)... 183.21 c Sol. found (all assignments made)... 183.21 c Sol. found (all assignments made)... 183.22 c Sol. found (all assignments made)... 183.23 c Sol. found (all assignments made)... 183.23 c Sol. found (all assignments made)... 183.24 c Sol. found (all assignments made)... 183.24 c Sol. found (all assignments made)... 183.25 c Sol. found (all assignments made)... 183.25 c Sol. found (all assignments made)... 183.25 c Sol. found (all assignments made)... 183.25 c Sol. found (all assignments made)... 183.25 c Sol. found (all assignments made)... 183.26 c Sol. found (all assignments made)... 183.27 c Sol. found (all assignments made)... 183.27 c Sol. found (all assignments made)... 183.27 c Sol. found (all assignments made)... 183.28 c Sol. found (all assignments made)... 183.28 c Sol. found (all assignments made)... 183.28 c Sol. found (all assignments made)... 183.66 c Sol. found (all assignments made)... 183.66 c Sol. found (all assignments made)... 183.66 c Sol. found (all assignments made)... 183.67 c Sol. found (all assignments made)... 183.67 c Sol. found (all assignments made)... 183.67 c Sol. found (all assignments made)... 183.68 c Sol. found (all assignments made)... 183.68 c Sol. found (all assignments made)... 183.68 c Sol. found (all assignments made)... 183.68 c Sol. found (all assignments made)... 183.69 c Sol. found (all assignments made)... 183.69 c Sol. found (all assignments made)... 183.71 c Sol. found (all assignments made)... 183.71 c Sol. found (all assignments made)... 183.72 c Sol. found (all assignments made)... 183.72 c Sol. found (all assignments made)... 183.79 c Sol. found (all assignments made)... 183.80 c Sol. found (all assignments made)... 183.81 c Sol. found (all assignments made)... 183.83 c Sol. found (all assignments made)... 183.87 c Sol. found (all assignments made)... 183.87 c Sol. found (all assignments made)... 184.82 c Restart #87 #Var: 450 LB: -450 @ 184.69 185.40 c Sol. found (all assignments made)... 185.59 c Sol. found (all assignments made)... 185.73 c Sol. found (all assignments made)... 185.77 c Sol. found (all assignments made)... 185.83 c Sol. found (all assignments made)... 185.84 c Sol. found (all assignments made)... 185.94 c Sol. found (all assignments made)... 188.78 c Restart #88 #Var: 450 LB: -450 @ 188.65 191.01 c Sol. found (all assignments made)... 191.04 c Sol. found (all assignments made)... 191.07 c Sol. found (all assignments made)... 191.10 c Sol. found (all assignments made)... 191.12 c Sol. found (all assignments made)... 192.82 c Restart #89 #Var: 450 LB: -450 @ 192.68 196.80 c Restart #90 #Var: 450 LB: -450 @ 196.66 200.85 c Restart #91 #Var: 450 LB: -450 @ 200.71 204.99 c Restart #92 #Var: 450 LB: -450 @ 204.85 209.24 c Restart #93 #Var: 450 LB: -450 @ 209.1 213.57 c Restart #94 #Var: 450 LB: -450 @ 213.42 217.87 c Restart #95 #Var: 450 LB: -450 @ 217.72 218.48 c Sol. found (all assignments made)... 218.48 c Sol. found (all assignments made)... 222.08 c Restart #96 #Var: 450 LB: -450 @ 221.94 226.34 c Restart #97 #Var: 450 LB: -450 @ 226.2 231.11 c Restart #98 #Var: 450 LB: -450 @ 230.96 235.49 c Restart #99 #Var: 450 LB: -450 @ 235.34 239.91 c Restart #100 #Var: 450 LB: -450 @ 239.76 244.38 c Restart #101 #Var: 450 LB: -450 @ 244.22 249.10 c Restart #102 #Var: 450 LB: -450 @ 248.95 253.84 c Restart #103 #Var: 450 LB: -450 @ 253.69 258.51 c Restart #104 #Var: 450 LB: -450 @ 258.36 263.26 c Restart #105 #Var: 450 LB: -450 @ 263.1 267.95 c Restart #106 #Var: 450 LB: -450 @ 267.79 272.76 c Restart #107 #Var: 450 LB: -450 @ 272.6 273.53 c Sol. found (all assignments made)... 273.53 c Sol. found (all assignments made)... 273.53 c Sol. found (all assignments made)... 273.53 c Sol. found (all assignments made)... 273.53 c Sol. found (all assignments made)... 273.53 c Sol. found (all assignments made)... 273.54 c Sol. found (all assignments made)... 273.54 c Sol. found (all assignments made)... 273.54 c Sol. found (all assignments made)... 273.55 c Sol. found (all assignments made)... 273.56 c Sol. found (all assignments made)... 273.56 c Sol. found (all assignments made)... 273.56 c Sol. found (all assignments made)... 273.56 c Sol. found (all assignments made)... 273.56 c Sol. found (all assignments made)... 273.56 c Sol. found (all assignments made)... 273.57 c Sol. found (all assignments made)... 273.58 c Sol. found (all assignments made)... 273.58 c Sol. found (all assignments made)... 273.58 c Sol. found (all assignments made)... 277.60 c Restart #108 #Var: 450 LB: -450 @ 277.44 277.91 c Sol. found (all assignments made)... 277.91 c Sol. found (all assignments made)... 277.94 c Sol. found (all assignments made)... 277.94 c Sol. found (all assignments made)... 277.95 c Sol. found (all assignments made)... 277.96 c Sol. found (all assignments made)... 277.96 c Sol. found (all assignments made)... 277.97 c Sol. found (all assignments made)... 277.98 c Sol. found (all assignments made)... 277.98 c Sol. found (all assignments made)... 277.98 c Sol. found (all assignments made)... 277.99 c Sol. found (all assignments made)... 277.99 c Sol. found (all assignments made)... 277.99 c Sol. found (all assignments made)... 278.00 c Sol. found (all assignments made)... 278.00 c Sol. found (all assignments made)... 278.00 c Sol. found (all assignments made)... 278.00 c Sol. found (all assignments made)... 278.00 c Sol. found (all assignments made)... 278.00 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.01 c Sol. found (all assignments made)... 278.02 c Sol. found (all assignments made)... 278.02 c Sol. found (all assignments made)... 278.02 c Sol. found (all assignments made)... 278.02 c Sol. found (all assignments made)... 278.02 c Sol. found (all assignments made)... 278.02 c Sol. found (all assignments made)... 278.02 c Sol. found (all assignments made)... 278.02 c Sol. found (all assignments made)... 278.02 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.03 c Sol. found (all assignments made)... 278.06 c Sol. found (all assignments made)... 278.06 c Sol. found (all assignments made)... 278.07 c Sol. found (all assignments made)... 278.07 c Sol. found (all assignments made)... 278.07 c Sol. found (all assignments made)... 278.07 c Sol. found (all assignments made)... 278.08 c Sol. found (all assignments made)... 278.08 c Sol. found (all assignments made)... 278.08 c Sol. found (all assignments made)... 278.08 c Sol. found (all assignments made)... 278.08 c Sol. found (all assignments made)... 278.08 c Sol. found (all assignments made)... 278.08 c Sol. found (all assignments made)... 278.36 c Sol. found (all assignments made)... 278.36 c Sol. found (all assignments made)... 278.36 c Sol. found (all assignments made)... 278.37 c Sol. found (all assignments made)... 278.37 c Sol. found (all assignments made)... 278.37 c Sol. found (all assignments made)... 278.37 c Sol. found (all assignments made)... 278.37 c Sol. found (all assignments made)... 278.38 c Sol. found (all assignments made)... 278.38 c Sol. found (all assignments made)... 278.39 c Sol. found (all assignments made)... 278.40 c Sol. found (all assignments made)... 278.40 c Sol. found (all assignments made)... 278.41 c Sol. found (all assignments made)... 278.41 c Sol. found (all assignments made)... 278.41 c Sol. found (all assignments made)... 278.41 c Sol. found (all assignments made)... 278.42 c Sol. found (all assignments made)... 278.42 c Sol. found (all assignments made)... 278.42 c Sol. found (all assignments made)... 278.42 c Sol. found (all assignments made)... 278.42 c Sol. found (all assignments made)... 278.43 c Sol. found (all assignments made)... 278.43 c Sol. found (all assignments made)... 278.43 c Sol. found (all assignments made)... 278.43 c Sol. found (all assignments made)... 278.44 c Sol. found (all assignments made)... 278.44 c Sol. found (all assignments made)... 278.44 c Sol. found (all assignments made)... 278.44 c Sol. found (all assignments made)... 278.44 c Sol. found (all assignments made)... 278.44 c Sol. found (all assignments made)... 278.44 c Sol. found (all assignments made)... 278.51 c Sol. found (all assignments made)... 278.51 c Sol. found (all assignments made)... 278.57 c Sol. found (all assignments made)... 278.57 c Sol. found (all assignments made)... 278.58 c Sol. found (all assignments made)... 278.58 c Sol. found (all assignments made)... 278.58 c Sol. found (all assignments made)... 278.59 c Sol. found (all assignments made)... 278.59 c Sol. found (all assignments made)... 278.60 c Sol. found (all assignments made)... 278.60 c Sol. found (all assignments made)... 278.60 c Sol. found (all assignments made)... 278.61 c Sol. found (all assignments made)... 278.62 c Sol. found (all assignments made)... 278.62 c Sol. found (all assignments made)... 278.62 c Sol. found (all assignments made)... 278.63 c Sol. found (all assignments made)... 278.64 c Sol. found (all assignments made)... 278.64 c Sol. found (all assignments made)... 278.65 c Sol. found (all assignments made)... 278.65 c Sol. found (all assignments made)... 278.65 c Sol. found (all assignments made)... 278.65 c Sol. found (all assignments made)... 278.65 c Sol. found (all assignments made)... 278.65 c Sol. found (all assignments made)... 278.65 c Sol. found (all assignments made)... 278.66 c Sol. found (all assignments made)... 278.66 c Sol. found (all assignments made)... 278.66 c Sol. found (all assignments made)... 278.66 c Sol. found (all assignments made)... 278.66 c Sol. found (all assignments made)... 278.66 c Sol. found (all assignments made)... 278.66 c Sol. found (all assignments made)... 278.67 c Sol. found (all assignments made)... 278.67 c Sol. found (all assignments made)... 278.67 c Sol. found (all assignments made)... 278.67 c Sol. found (all assignments made)... 278.67 c Sol. found (all assignments made)... 278.68 c Sol. found (all assignments made)... 278.68 c Sol. found (all assignments made)... 278.68 c Sol. found (all assignments made)... 278.68 c Sol. found (all assignments made)... 278.69 c Sol. found (all assignments made)... 278.69 c Sol. found (all assignments made)... 278.69 c Sol. found (all assignments made)... 278.69 c Sol. found (all assignments made)... 278.69 c Sol. found (all assignments made)... 278.69 c Sol. found (all assignments made)... 278.70 c Sol. found (all assignments made)... 278.70 c Sol. found (all assignments made)... 278.71 c Sol. found (all assignments made)... 278.77 c Sol. found (all assignments made)... 278.77 c Sol. found (all assignments made)... 278.94 c Sol. found (all assignments made)... 278.94 c Sol. found (all assignments made)... 278.94 c Sol. found (all assignments made)... 278.94 c Sol. found (all assignments made)... 278.95 c Sol. found (all assignments made)... 278.96 c Sol. found (all assignments made)... 278.96 c Sol. found (all assignments made)... 278.96 c Sol. found (all assignments made)... 279.04 c Sol. found (all assignments made)... 279.18 c Sol. found (all assignments made)... 279.18 c Sol. found (all assignments made)... 279.19 c Sol. found (all assignments made)... 279.19 c Sol. found (all assignments made)... 279.23 c Sol. found (all assignments made)... 279.23 c Sol. found (all assignments made)... 279.51 c Sol. found (all assignments made)... 279.77 c Sol. found (all assignments made)... 279.91 c Sol. found (all assignments made)... 279.93 c Sol. found (all assignments made)... 279.93 c Sol. found (all assignments made)... 280.01 c Sol. found (all assignments made)... 280.02 c Sol. found (all assignments made)... 280.03 c Sol. found (all assignments made)... 280.03 c Sol. found (all assignments made)... 280.18 c Sol. found (all assignments made)... 280.22 c Sol. found (all assignments made)... 280.28 c Sol. found (all assignments made)... 280.29 c Sol. found (all assignments made)... 280.29 c Sol. found (all assignments made)... 280.29 c Sol. found (all assignments made)... 280.35 c Sol. found (all assignments made)... 280.36 c Sol. found (all assignments made)... 280.36 c Sol. found (all assignments made)... 280.36 c Sol. found (all assignments made)... 280.36 c Sol. found (all assignments made)... 280.36 c Sol. found (all assignments made)... 280.36 c Sol. found (all assignments made)... 280.37 c Sol. found (all assignments made)... 280.37 c Sol. found (all assignments made)... 280.37 c Sol. found (all assignments made)... 280.38 c Sol. found (all assignments made)... 280.38 c Sol. found (all assignments made)... 280.38 c Sol. found (all assignments made)... 280.38 c Sol. found (all assignments made)... 280.38 c Sol. found (all assignments made)... 280.39 c Sol. found (all assignments made)... 280.39 c Sol. found (all assignments made)... 280.40 c Sol. found (all assignments made)... 280.40 c Sol. found (all assignments made)... 280.43 c Sol. found (all assignments made)... 280.44 c Sol. found (all assignments made)... 280.45 c Sol. found (all assignments made)... 280.45 c Sol. found (all assignments made)... 280.46 c Sol. found (all assignments made)... 280.46 c Sol. found (all assignments made)... 280.46 c Sol. found (all assignments made)... 280.47 c Sol. found (all assignments made)... 280.47 c Sol. found (all assignments made)... 280.47 c Sol. found (all assignments made)... 280.48 c Sol. found (all assignments made)... 280.51 c Sol. found (all assignments made)... 280.52 c Sol. found (all assignments made)... 280.52 c Sol. found (all assignments made)... 280.52 c Sol. found (all assignments made)... 280.52 c Sol. found (all assignments made)... 280.52 c Sol. found (all assignments made)... 280.52 c Sol. found (all assignments made)... 280.52 c Sol. found (all assignments made)... 280.53 c Sol. found (all assignments made)... 280.53 c Sol. found (all assignments made)... 280.53 c Sol. found (all assignments made)... 280.53 c Sol. found (all assignments made)... 280.56 c Sol. found (all assignments made)... 280.56 c Sol. found (all assignments made)... 280.57 c Sol. found (all assignments made)... 280.58 c Sol. found (all assignments made)... 280.59 c Sol. found (all assignments made)... 280.59 c Sol. found (all assignments made)... 280.59 c Sol. found (all assignments made)... 280.59 c Sol. found (all assignments made)... 280.60 c Sol. found (all assignments made)... 280.60 c Sol. found (all assignments made)... 280.60 c Sol. found (all assignments made)... 280.61 c Sol. found (all assignments made)... 280.62 c Sol. found (all assignments made)... 280.62 c Sol. found (all assignments made)... 280.63 c Sol. found (all assignments made)... 280.63 c Sol. found (all assignments made)... 280.63 c Sol. found (all assignments made)... 280.64 c Sol. found (all assignments made)... 280.70 c Sol. found (all assignments made)... 280.73 c Sol. found (all assignments made)... 280.74 c Sol. found (all assignments made)... 280.74 c Sol. found (all assignments made)... 280.76 c Sol. found (all assignments made)... 280.76 c Sol. found (all assignments made)... 280.76 c Sol. found (all assignments made)... 280.76 c Sol. found (all assignments made)... 280.76 c Sol. found (all assignments made)... 280.77 c Sol. found (all assignments made)... 280.77 c Sol. found (all assignments made)... 280.77 c Sol. found (all assignments made)... 280.77 c Sol. found (all assignments made)... 280.79 c Sol. found (all assignments made)... 280.79 c Sol. found (all assignments made)... 280.79 c Sol. found (all assignments made)... 280.81 c Sol. found (all assignments made)... 280.81 c Sol. found (all assignments made)... 280.82 c Sol. found (all assignments made)... 280.83 c Sol. found (all assignments made)... 280.83 c Sol. found (all assignments made)... 280.83 c Sol. found (all assignments made)... 280.84 c Sol. found (all assignments made)... 280.84 c Sol. found (all assignments made)... 280.84 c Sol. found (all assignments made)... 280.84 c Sol. found (all assignments made)... 280.85 c Sol. found (all assignments made)... 280.85 c Sol. found (all assignments made)... 280.86 c Sol. found (all assignments made)... 280.86 c Sol. found (all assignments made)... 280.86 c Sol. found (all assignments made)... 280.86 c Sol. found (all assignments made)... 280.86 c Sol. found (all assignments made)... 280.87 c Sol. found (all assignments made)... 280.87 c Sol. found (all assignments made)... 280.89 c Sol. found (all assignments made)... 280.89 c Sol. found (all assignments made)... 280.91 c Sol. found (all assignments made)... 280.91 c Sol. found (all assignments made)... 280.92 c Sol. found (all assignments made)... 280.98 c Sol. found (all assignments made)... 281.00 c Sol. found (all assignments made)... 281.04 c Sol. found (all assignments made)... 281.04 c Sol. found (all assignments made)... 281.06 c Sol. found (all assignments made)... 281.06 c Sol. found (all assignments made)... 281.09 c Sol. found (all assignments made)... 281.10 c Sol. found (all assignments made)... 281.11 c Sol. found (all assignments made)... 281.11 c Sol. found (all assignments made)... 281.11 c Sol. found (all assignments made)... 281.11 c Sol. found (all assignments made)... 281.11 c Sol. found (all assignments made)... 281.12 c Sol. found (all assignments made)... 281.12 c Sol. found (all assignments made)... 281.13 c Sol. found (all assignments made)... 281.14 c Sol. found (all assignments made)... 281.14 c Sol. found (all assignments made)... 281.15 c Sol. found (all assignments made)... 281.15 c Sol. found (all assignments made)... 281.15 c Sol. found (all assignments made)... 281.16 c Sol. found (all assignments made)... 281.16 c Sol. found (all assignments made)... 281.16 c Sol. found (all assignments made)... 281.16 c Sol. found (all assignments made)... 281.16 c Sol. found (all assignments made)... 281.16 c Sol. found (all assignments made)... 281.18 c Sol. found (all assignments made)... 281.18 c Sol. found (all assignments made)... 281.18 c Sol. found (all assignments made)... 281.19 c Sol. found (all assignments made)... 281.19 c Sol. found (all assignments made)... 281.19 c Sol. found (all assignments made)... 281.20 c Sol. found (all assignments made)... 281.20 c Sol. found (all assignments made)... 281.20 c Sol. found (all assignments made)... 281.21 c Sol. found (all assignments made)... 281.22 c Sol. found (all assignments made)... 281.22 c Sol. found (all assignments made)... 281.46 c Sol. found (all assignments made)... 281.47 c Sol. found (all assignments made)... 281.67 c Sol. found (all assignments made)... 281.89 c Sol. found (all assignments made)... 281.89 c Sol. found (all assignments made)... 281.96 c Sol. found (all assignments made)... 281.96 c Sol. found (all assignments made)... 281.96 c Sol. found (all assignments made)... 282.00 c Sol. found (all assignments made)... 282.01 c Sol. found (all assignments made)... 282.06 c Sol. found (all assignments made)... 282.29 c Sol. found (all assignments made)... 282.29 c Sol. found (all assignments made)... 282.39 c Sol. found (all assignments made)... 282.39 c Sol. found (all assignments made)... 282.40 c Sol. found (all assignments made)... 282.43 c Sol. found (all assignments made)... 282.44 c Sol. found (all assignments made)... 282.44 c Sol. found (all assignments made)... 282.48 c Sol. found (all assignments made)... 282.49 c Sol. found (all assignments made)... 282.49 c Sol. found (all assignments made)... 282.51 c Sol. found (all assignments made)... 282.51 c Sol. found (all assignments made)... 282.51 c Sol. found (all assignments made)... 282.55 c Sol. found (all assignments made)... 282.56 c Sol. found (all assignments made)... 282.69 c Restart #109 #Var: 450 LB: -450 @ 282.52 287.48 c Restart #110 #Var: 450 LB: -450 @ 287.31 292.47 c Restart #111 #Var: 450 LB: -450 @ 292.29 297.52 c Restart #112 #Var: 450 LB: -450 @ 297.34 301.41 c Sol. found (all assignments made)... 302.45 c Restart #113 #Var: 450 LB: -450 @ 302.28 302.49 c Sol. found (all assignments made)... 302.58 c Sol. found (all assignments made)... 302.63 c Sol. found (all assignments made)... 302.65 c Sol. found (all assignments made)... 302.66 c Sol. found (all assignments made)... 302.66 c Sol. found (all assignments made)... 302.67 c Sol. found (all assignments made)... 302.69 c Sol. found (all assignments made)... 302.75 c Sol. found (all assignments made)... 302.76 c Sol. found (all assignments made)... 302.76 c Sol. found (all assignments made)... 302.78 c Sol. found (all assignments made)... 302.78 c Sol. found (all assignments made)... 302.81 c Sol. found (all assignments made)... 302.83 c Sol. found (all assignments made)... 302.84 c Sol. found (all assignments made)... 302.84 c Sol. found (all assignments made)... 302.84 c Sol. found (all assignments made)... 302.87 c Sol. found (all assignments made)... 302.87 c Sol. found (all assignments made)... 302.90 c Sol. found (all assignments made)... 302.90 c Sol. found (all assignments made)... 302.90 c Sol. found (all assignments made)... 302.90 c Sol. found (all assignments made)... 302.90 c Sol. found (all assignments made)... 302.93 c Sol. found (all assignments made)... 302.93 c Sol. found (all assignments made)... 302.94 c Sol. found (all assignments made)... 302.94 c Sol. found (all assignments made)... 302.95 c Sol. found (all assignments made)... 302.95 c Sol. found (all assignments made)... 302.96 c Sol. found (all assignments made)... 302.96 c Sol. found (all assignments made)... 302.96 c Sol. found (all assignments made)... 302.96 c Sol. found (all assignments made)... 302.97 c Sol. found (all assignments made)... 302.97 c Sol. found (all assignments made)... 302.97 c Sol. found (all assignments made)... 302.98 c Sol. found (all assignments made)... 302.99 c Sol. found (all assignments made)... 303.01 c Sol. found (all assignments made)... 303.01 c Sol. found (all assignments made)... 303.01 c Sol. found (all assignments made)... 303.02 c Sol. found (all assignments made)... 303.02 c Sol. found (all assignments made)... 303.02 c Sol. found (all assignments made)... 303.08 c Sol. found (all assignments made)... 303.08 c Sol. found (all assignments made)... 303.08 c Sol. found (all assignments made)... 303.09 c Sol. found (all assignments made)... 303.16 c Sol. found (all assignments made)... 303.16 c Sol. found (all assignments made)... 303.31 c Sol. found (all assignments made)... 303.53 c Sol. found (all assignments made)... 303.58 c Sol. found (all assignments made)... 303.59 c Sol. found (all assignments made)... 307.56 c Restart #114 #Var: 450 LB: -450 @ 307.39 312.77 c Restart #115 #Var: 450 LB: -450 @ 312.59 316.44 c Sol. found (all assignments made)... 317.74 c Restart #116 #Var: 450 LB: -450 @ 317.56 322.90 c Restart #117 #Var: 450 LB: -450 @ 322.71 328.38 c Restart #118 #Var: 450 LB: -450 @ 328.2 333.91 c Restart #119 #Var: 450 LB: -450 @ 333.73 339.25 c Restart #120 #Var: 450 LB: -450 @ 339.06 340.63 c Sol. found (all assignments made)... 340.74 c Sol. found (all assignments made)... 340.74 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.76 c Sol. found (all assignments made)... 340.76 c Sol. found (all assignments made)... 340.77 c Sol. found (all assignments made)... 340.77 c Sol. found (all assignments made)... 340.79 c Sol. found (all assignments made)... 340.79 c Sol. found (all assignments made)... 340.81 c Sol. found (all assignments made)... 340.81 c Sol. found (all assignments made)... 340.87 c Sol. found (all assignments made)... 340.89 c Sol. found (all assignments made)... 340.94 c Sol. found (all assignments made)... 340.94 c Sol. found (all assignments made)... 340.94 c Sol. found (all assignments made)... 340.96 c Sol. found (all assignments made)... 344.57 c Restart #121 #Var: 450 LB: -450 @ 344.38 344.61 c Sol. found (all assignments made)... 349.74 c Sol. found (all assignments made)... 349.74 c Sol. found (all assignments made)... 349.74 c Sol. found (all assignments made)... 349.74 c Sol. found (all assignments made)... 349.74 c Sol. found (all assignments made)... 349.74 c Sol. found (all assignments made)... 349.74 c Sol. found (all assignments made)... 349.74 c Sol. found (all assignments made)... 349.74 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.75 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.76 c Sol. found (all assignments made)... 349.77 c Sol. found (all assignments made)... 349.77 c Sol. found (all assignments made)... 349.77 c Sol. found (all assignments made)... 349.77 c Sol. found (all assignments made)... 349.77 c Sol. found (all assignments made)... 349.78 c Sol. found (all assignments made)... 349.78 c Sol. found (all assignments made)... 349.78 c Sol. found (all assignments made)... 349.78 c Sol. found (all assignments made)... 349.79 c Sol. found (all assignments made)... 349.79 c Sol. found (all assignments made)... 349.79 c Sol. found (all assignments made)... 349.79 c Sol. found (all assignments made)... 349.79 c Sol. found (all assignments made)... 349.79 c Sol. found (all assignments made)... 349.81 c Sol. found (all assignments made)... 349.81 c Sol. found (all assignments made)... 349.81 c Sol. found (all assignments made)... 349.81 c Sol. found (all assignments made)... 349.81 c Sol. found (all assignments made)... 349.81 c Sol. found (all assignments made)... 349.82 c Sol. found (all assignments made)... 349.82 c Sol. found (all assignments made)... 349.82 c Sol. found (all assignments made)... 349.82 c Sol. found (all assignments made)... 349.82 c Sol. found (all assignments made)... 349.84 c Sol. found (all assignments made)... 349.84 c Sol. found (all assignments made)... 349.84 c Sol. found (all assignments made)... 349.85 c Sol. found (all assignments made)... 349.85 c Sol. found (all assignments made)... 349.85 c Sol. found (all assignments made)... 349.85 c Sol. found (all assignments made)... 349.85 c Sol. found (all assignments made)... 349.85 c Sol. found (all assignments made)... 349.86 c Sol. found (all assignments made)... 349.86 c Sol. found (all assignments made)... 349.86 c Sol. found (all assignments made)... 349.90 c Restart #122 #Var: 450 LB: -450 @ 349.71 355.34 c Restart #123 #Var: 450 LB: -450 @ 355.15 360.84 c Restart #124 #Var: 450 LB: -450 @ 360.64 366.28 c Restart #125 #Var: 450 LB: -450 @ 366.08 371.89 c Restart #126 #Var: 450 LB: -450 @ 371.69 377.68 c Restart #127 #Var: 450 LB: -450 @ 377.48 383.39 c Restart #128 #Var: 450 LB: -450 @ 383.19 389.04 c Restart #129 #Var: 450 LB: -450 @ 388.84 394.93 c Restart #130 #Var: 450 LB: -450 @ 394.73 400.82 c Restart #131 #Var: 450 LB: -450 @ 400.61 406.82 c Restart #132 #Var: 450 LB: -450 @ 406.62 412.73 c Restart #133 #Var: 450 LB: -450 @ 412.52 414.29 c Sol. found (all assignments made)... 414.30 c Sol. found (all assignments made)... 414.42 c Sol. found (all assignments made)... 414.49 c Sol. found (all assignments made)... 414.49 c Sol. found (all assignments made)... 414.49 c Sol. found (all assignments made)... 414.50 c Sol. found (all assignments made)... 414.63 c Sol. found (all assignments made)... 414.63 c Sol. found (all assignments made)... 415.22 c Sol. found (all assignments made)... 415.22 c Sol. found (all assignments made)... 415.22 c Sol. found (all assignments made)... 415.24 c Sol. found (all assignments made)... 415.26 c Sol. found (all assignments made)... 415.28 c Sol. found (all assignments made)... 415.31 c Sol. found (all assignments made)... 415.32 c Sol. found (all assignments made)... 415.63 c Sol. found (all assignments made)... 415.93 c Sol. found (all assignments made)... 416.03 c Sol. found (all assignments made)... 416.03 c Sol. found (all assignments made)... 416.05 c Sol. found (all assignments made)... 416.05 c Sol. found (all assignments made)... 417.11 c Sol. found (all assignments made)... 417.19 c Sol. found (all assignments made)... 417.20 c Sol. found (all assignments made)... 418.22 c Sol. found (all assignments made)... 418.23 c Sol. found (all assignments made)... 418.26 c Sol. found (all assignments made)... 418.26 c Sol. found (all assignments made)... 418.27 c Sol. found (all assignments made)... 418.28 c Sol. found (all assignments made)... 418.29 c Sol. found (all assignments made)... 418.29 c Sol. found (all assignments made)... 418.36 c Sol. found (all assignments made)... 418.36 c Sol. found (all assignments made)... 418.37 c Sol. found (all assignments made)... 418.37 c Sol. found (all assignments made)... 418.37 c Sol. found (all assignments made)... 418.37 c Sol. found (all assignments made)... 418.39 c Sol. found (all assignments made)... 418.39 c Sol. found (all assignments made)... 418.41 c Sol. found (all assignments made)... 418.41 c Sol. found (all assignments made)... 418.42 c Sol. found (all assignments made)... 418.42 c Sol. found (all assignments made)... 418.44 c Sol. found (all assignments made)... 418.44 c Sol. found (all assignments made)... 418.67 c Restart #134 #Var: 450 LB: -450 @ 418.46 420.65 c Sol. found (all assignments made)... 420.71 c Sol. found (all assignments made)... 420.79 c Sol. found (all assignments made)... 420.79 c Sol. found (all assignments made)... 420.80 c Sol. found (all assignments made)... 420.80 c Sol. found (all assignments made)... 420.83 c Sol. found (all assignments made)... 420.83 c Sol. found (all assignments made)... 420.84 c Sol. found (all assignments made)... 420.84 c Sol. found (all assignments made)... 420.85 c Sol. found (all assignments made)... 420.99 c Sol. found (all assignments made)... 421.28 c Sol. found (all assignments made)... 421.28 c Sol. found (all assignments made)... 421.29 c Sol. found (all assignments made)... 421.29 c Sol. found (all assignments made)... 421.29 c Sol. found (all assignments made)... 421.30 c Sol. found (all assignments made)... 421.30 c Sol. found (all assignments made)... 421.87 c Sol. found (all assignments made)... 422.22 c Sol. found (all assignments made)... 422.22 c Sol. found (all assignments made)... 422.23 c Sol. found (all assignments made)... 422.24 c Sol. found (all assignments made)... 422.31 c Sol. found (all assignments made)... 422.44 c Sol. found (all assignments made)... 424.88 c Restart #135 #Var: 450 LB: -450 @ 424.67 430.58 c Sol. found (all assignments made)... 430.74 c Sol. found (all assignments made)... 430.77 c Sol. found (all assignments made)... 430.81 c Sol. found (all assignments made)... 430.85 c Sol. found (all assignments made)... 430.86 c Sol. found (all assignments made)... 430.86 c Sol. found (all assignments made)... 430.86 c Sol. found (all assignments made)... 430.87 c Sol. found (all assignments made)... 430.95 c Sol. found (all assignments made)... 430.98 c Restart #136 #Var: 450 LB: -450 @ 430.76 437.38 c Restart #137 #Var: 450 LB: -450 @ 437.16 437.80 c Sol. found (all assignments made)... 437.84 c Sol. found (all assignments made)... 437.84 c Sol. found (all assignments made)... 437.84 c Sol. found (all assignments made)... 437.86 c Sol. found (all assignments made)... 437.94 c Sol. found (all assignments made)... 437.94 c Sol. found (all assignments made)... 443.75 c Restart #138 #Var: 450 LB: -450 @ 443.53 447.02 c Sol. found (all assignments made)... 449.91 c Restart #139 #Var: 450 LB: -450 @ 449.69 450.04 c Sol. found (all assignments made)... 450.32 c Sol. found (all assignments made)... 451.25 c Sol. found (all assignments made)... 451.34 c Sol. found (all assignments made)... 451.53 c Sol. found (all assignments made)... 451.53 c Sol. found (all assignments made)... 451.83 c Sol. found (all assignments made)... 451.84 c Sol. found (all assignments made)... 451.84 c Sol. found (all assignments made)... 451.84 c Sol. found (all assignments made)... 451.84 c Sol. found (all assignments made)... 451.85 c Sol. found (all assignments made)... 451.85 c Sol. found (all assignments made)... 451.86 c Sol. found (all assignments made)... 451.86 c Sol. found (all assignments made)... 451.86 c Sol. found (all assignments made)... 451.86 c Sol. found (all assignments made)... 451.86 c Sol. found (all assignments made)... 451.86 c Sol. found (all assignments made)... 451.88 c Sol. found (all assignments made)... 452.41 c Sol. found (all assignments made)... 452.42 c Sol. found (all assignments made)... 452.43 c Sol. found (all assignments made)... 452.43 c Sol. found (all assignments made)... 452.43 c Sol. found (all assignments made)... 452.43 c Sol. found (all assignments made)... 452.44 c Sol. found (all assignments made)... 452.45 c Sol. found (all assignments made)... 452.45 c Sol. found (all assignments made)... 452.45 c Sol. found (all assignments made)... 452.46 c Sol. found (all assignments made)... 452.46 c Sol. found (all assignments made)... 452.52 c Sol. found (all assignments made)... 452.61 c Sol. found (all assignments made)... 452.62 c Sol. found (all assignments made)... 452.64 c Sol. found (all assignments made)... 452.73 c Sol. found (all assignments made)... 452.73 c Sol. found (all assignments made)... 453.16 c Sol. found (all assignments made)... 453.19 c Sol. found (all assignments made)... 453.19 c Sol. found (all assignments made)... 453.20 c Sol. found (all assignments made)... 453.21 c Sol. found (all assignments made)... 453.22 c Sol. found (all assignments made)... 453.25 c Sol. found (all assignments made)... 453.25 c Sol. found (all assignments made)... 453.25 c Sol. found (all assignments made)... 453.27 c Sol. found (all assignments made)... 453.27 c Sol. found (all assignments made)... 453.27 c Sol. found (all assignments made)... 453.27 c Sol. found (all assignments made)... 453.30 c Sol. found (all assignments made)... 453.30 c Sol. found (all assignments made)... 453.34 c Sol. found (all assignments made)... 453.35 c Sol. found (all assignments made)... 453.36 c Sol. found (all assignments made)... 453.59 c Sol. found (all assignments made)... 453.73 c Sol. found (all assignments made)... 453.73 c Sol. found (all assignments made)... 453.76 c Sol. found (all assignments made)... 453.77 c Sol. found (all assignments made)... 453.78 c Sol. found (all assignments made)... 453.78 c Sol. found (all assignments made)... 453.78 c Sol. found (all assignments made)... 453.82 c Sol. found (all assignments made)... 453.83 c Sol. found (all assignments made)... 453.83 c Sol. found (all assignments made)... 453.84 c Sol. found (all assignments made)... 453.84 c Sol. found (all assignments made)... 453.85 c Sol. found (all assignments made)... 453.85 c Sol. found (all assignments made)... 453.85 c Sol. found (all assignments made)... 453.85 c Sol. found (all assignments made)... 453.86 c Sol. found (all assignments made)... 453.86 c Sol. found (all assignments made)... 453.95 c Sol. found (all assignments made)... 454.28 c Sol. found (all assignments made)... 456.07 c Restart #140 #Var: 450 LB: -450 @ 455.85 462.37 c Restart #141 #Var: 450 LB: -450 @ 462.14 468.67 c Restart #142 #Var: 450 LB: -450 @ 468.45 475.17 c Restart #143 #Var: 450 LB: -450 @ 474.94 481.30 c Restart #144 #Var: 450 LB: -450 @ 481.07 487.97 c Restart #145 #Var: 450 LB: -450 @ 487.74 494.37 c Restart #146 #Var: 450 LB: -450 @ 494.13 500.93 c Restart #147 #Var: 450 LB: -450 @ 500.7 507.47 c Restart #148 #Var: 450 LB: -450 @ 507.23 509.41 c Sol. found (all assignments made)... 513.98 c Restart #149 #Var: 450 LB: -450 @ 513.74 514.03 c Sol. found (all assignments made)... 514.06 c Sol. found (all assignments made)... 514.06 c Sol. found (all assignments made)... 514.10 c Sol. found (all assignments made)... 514.11 c Sol. found (all assignments made)... 518.46 c Sol. found (all assignments made)... 519.56 c Sol. found (all assignments made)... 519.63 c Sol. found (all assignments made)... 519.76 c Sol. found (all assignments made)... 519.76 c Sol. found (all assignments made)... 520.46 c Sol. found (all assignments made)... 520.46 c Sol. found (all assignments made)... 520.47 c Sol. found (all assignments made)... 520.47 c Sol. found (all assignments made)... 520.48 c Sol. found (all assignments made)... 520.48 c Sol. found (all assignments made)... 520.48 c Sol. found (all assignments made)... 520.51 c Sol. found (all assignments made)... 520.60 c Restart #150 #Var: 450 LB: -450 @ 520.37 527.48 c Restart #151 #Var: 450 LB: -450 @ 527.24 534.04 c Restart #152 #Var: 450 LB: -450 @ 533.8 540.63 c Sol. found (all assignments made)... 541.04 c Restart #153 #Var: 450 LB: -450 @ 540.8 541.90 c Sol. found (all assignments made)... 548.31 c Restart #154 #Var: 450 LB: -450 @ 548.07 548.61 c Sol. found (all assignments made)... 555.30 c Restart #155 #Var: 450 LB: -450 @ 555.05 562.40 c Restart #156 #Var: 450 LB: -450 @ 562.15 569.46 c Restart #157 #Var: 450 LB: -450 @ 569.21 576.62 c Restart #158 #Var: 450 LB: -450 @ 576.36 583.90 c Restart #159 #Var: 450 LB: -450 @ 583.64 591.37 c Restart #160 #Var: 450 LB: -450 @ 591.11 598.58 c Restart #161 #Var: 450 LB: -450 @ 598.32 605.76 c Restart #162 #Var: 450 LB: -450 @ 605.5 613.00 c Restart #163 #Var: 450 LB: -450 @ 612.74 620.67 c Restart #164 #Var: 450 LB: -450 @ 620.4 627.97 c Restart #165 #Var: 450 LB: -450 @ 627.7 635.43 c Restart #166 #Var: 450 LB: -450 @ 635.16 636.29 c Sol. found (all assignments made)... 642.85 c Restart #167 #Var: 450 LB: -450 @ 642.58 650.88 c Restart #168 #Var: 450 LB: -450 @ 650.61 654.13 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.14 c Sol. found (all assignments made)... 654.20 c Sol. found (all assignments made)... 654.21 c Sol. found (all assignments made)... 654.21 c Sol. found (all assignments made)... 654.21 c Sol. found (all assignments made)... 658.11 c Restart #169 #Var: 450 LB: -450 @ 657.84 665.35 c Restart #170 #Var: 450 LB: -450 @ 665.08 667.44 c Sol. found (all assignments made)... 667.54 c Sol. found (all assignments made)... 667.69 c Sol. found (all assignments made)... 673.16 c Restart #171 #Var: 450 LB: -450 @ 672.87 681.01 c Restart #172 #Var: 450 LB: -450 @ 680.73 688.66 c Restart #173 #Var: 450 LB: -450 @ 688.38 696.54 c Restart #174 #Var: 450 LB: -450 @ 696.25 699.58 c Sol. found (all assignments made)... 699.61 c Sol. found (all assignments made)... 699.61 c Sol. found (all assignments made)... 699.61 c Sol. found (all assignments made)... 699.61 c Sol. found (all assignments made)... 699.62 c Sol. found (all assignments made)... 699.62 c Sol. found (all assignments made)... 699.62 c Sol. found (all assignments made)... 699.62 c Sol. found (all assignments made)... 699.66 c Sol. found (all assignments made)... 699.67 c Sol. found (all assignments made)... 699.67 c Sol. found (all assignments made)... 699.67 c Sol. found (all assignments made)... 699.67 c Sol. found (all assignments made)... 699.68 c Sol. found (all assignments made)... 699.68 c Sol. found (all assignments made)... 699.68 c Sol. found (all assignments made)... 699.68 c Sol. found (all assignments made)... 699.69 c Sol. found (all assignments made)... 699.69 c Sol. found (all assignments made)... 699.69 c Sol. found (all assignments made)... 699.69 c Sol. found (all assignments made)... 699.70 c Sol. found (all assignments made)... 699.70 c Sol. found (all assignments made)... 699.70 c Sol. found (all assignments made)... 699.71 c Sol. found (all assignments made)... 699.71 c Sol. found (all assignments made)... 699.72 c Sol. found (all assignments made)... 699.73 c Sol. found (all assignments made)... 699.73 c Sol. found (all assignments made)... 699.73 c Sol. found (all assignments made)... 699.73 c Sol. found (all assignments made)... 699.74 c Sol. found (all assignments made)... 699.74 c Sol. found (all assignments made)... 699.75 c Sol. found (all assignments made)... 699.81 c Sol. found (all assignments made)... 699.81 c Sol. found (all assignments made)... 699.94 c Sol. found (all assignments made)... 700.18 c Sol. found (all assignments made)... 700.18 c Sol. found (all assignments made)... 700.18 c Sol. found (all assignments made)... 700.18 c Sol. found (all assignments made)... 700.19 c Sol. found (all assignments made)... 700.19 c Sol. found (all assignments made)... 700.19 c Sol. found (all assignments made)... 700.19 c Sol. found (all assignments made)... 700.20 c Sol. found (all assignments made)... 700.20 c Sol. found (all assignments made)... 700.20 c Sol. found (all assignments made)... 700.20 c Sol. found (all assignments made)... 700.20 c Sol. found (all assignments made)... 700.20 c Sol. found (all assignments made)... 700.21 c Sol. found (all assignments made)... 700.21 c Sol. found (all assignments made)... 700.21 c Sol. found (all assignments made)... 700.21 c Sol. found (all assignments made)... 700.25 c Sol. found (all assignments made)... 700.25 c Sol. found (all assignments made)... 700.25 c Sol. found (all assignments made)... 700.26 c Sol. found (all assignments made)... 700.26 c Sol. found (all assignments made)... 700.26 c Sol. found (all assignments made)... 700.26 c Sol. found (all assignments made)... 700.27 c Sol. found (all assignments made)... 700.27 c Sol. found (all assignments made)... 700.27 c Sol. found (all assignments made)... 701.41 c Sol. found (all assignments made)... 704.64 c Restart #175 #Var: 450 LB: -450 @ 704.35 704.71 c Sol. found (all assignments made)... 704.72 c Sol. found (all assignments made)... 704.72 c Sol. found (all assignments made)... 704.73 c Sol. found (all assignments made)... 704.73 c Sol. found (all assignments made)... 704.73 c Sol. found (all assignments made)... 704.74 c Sol. found (all assignments made)... 704.74 c Sol. found (all assignments made)... 704.74 c Sol. found (all assignments made)... 704.77 c Sol. found (all assignments made)... 704.77 c Sol. found (all assignments made)... 704.78 c Sol. found (all assignments made)... 704.78 c Sol. found (all assignments made)... 704.80 c Sol. found (all assignments made)... 704.80 c Sol. found (all assignments made)... 704.90 c Sol. found (all assignments made)... 704.90 c Sol. found (all assignments made)... 704.91 c Sol. found (all assignments made)... 704.91 c Sol. found (all assignments made)... 704.91 c Sol. found (all assignments made)... 704.92 c Sol. found (all assignments made)... 704.93 c Sol. found (all assignments made)... 704.93 c Sol. found (all assignments made)... 704.95 c Sol. found (all assignments made)... 704.97 c Sol. found (all assignments made)... 704.98 c Sol. found (all assignments made)... 704.98 c Sol. found (all assignments made)... 704.98 c Sol. found (all assignments made)... 704.98 c Sol. found (all assignments made)... 705.00 c Sol. found (all assignments made)... 705.01 c Sol. found (all assignments made)... 705.01 c Sol. found (all assignments made)... 705.02 c Sol. found (all assignments made)... 705.02 c Sol. found (all assignments made)... 705.02 c Sol. found (all assignments made)... 705.19 c Sol. found (all assignments made)... 705.21 c Sol. found (all assignments made)... 705.21 c Sol. found (all assignments made)... 705.23 c Sol. found (all assignments made)... 705.23 c Sol. found (all assignments made)... 705.27 c Sol. found (all assignments made)... 705.28 c Sol. found (all assignments made)... 705.29 c Sol. found (all assignments made)... 705.30 c Sol. found (all assignments made)... 705.30 c Sol. found (all assignments made)... 705.30 c Sol. found (all assignments made)... 705.31 c Sol. found (all assignments made)... 705.36 c Sol. found (all assignments made)... 705.40 c Sol. found (all assignments made)... 705.41 c Sol. found (all assignments made)... 705.42 c Sol. found (all assignments made)... 705.42 c Sol. found (all assignments made)... 705.42 c Sol. found (all assignments made)... 705.43 c Sol. found (all assignments made)... 705.44 c Sol. found (all assignments made)... 705.44 c Sol. found (all assignments made)... 705.44 c Sol. found (all assignments made)... 705.44 c Sol. found (all assignments made)... 705.46 c Sol. found (all assignments made)... 705.46 c Sol. found (all assignments made)... 705.46 c Sol. found (all assignments made)... 705.48 c Sol. found (all assignments made)... 705.49 c Sol. found (all assignments made)... 705.49 c Sol. found (all assignments made)... 705.49 c Sol. found (all assignments made)... 705.49 c Sol. found (all assignments made)... 705.49 c Sol. found (all assignments made)... 705.52 c Sol. found (all assignments made)... 705.53 c Sol. found (all assignments made)... 705.54 c Sol. found (all assignments made)... 705.54 c Sol. found (all assignments made)... 705.58 c Sol. found (all assignments made)... 705.63 c Sol. found (all assignments made)... 705.63 c Sol. found (all assignments made)... 705.63 c Sol. found (all assignments made)... 705.63 c Sol. found (all assignments made)... 705.64 c Sol. found (all assignments made)... 705.64 c Sol. found (all assignments made)... 705.64 c Sol. found (all assignments made)... 705.64 c Sol. found (all assignments made)... 705.66 c Sol. found (all assignments made)... 705.66 c Sol. found (all assignments made)... 705.67 c Sol. found (all assignments made)... 705.67 c Sol. found (all assignments made)... 705.67 c Sol. found (all assignments made)... 705.69 c Sol. found (all assignments made)... 705.69 c Sol. found (all assignments made)... 705.69 c Sol. found (all assignments made)... 705.69 c Sol. found (all assignments made)... 705.69 c Sol. found (all assignments made)... 705.69 c Sol. found (all assignments made)... 705.70 c Sol. found (all assignments made)... 705.70 c Sol. found (all assignments made)... 705.70 c Sol. found (all assignments made)... 705.70 c Sol. found (all assignments made)... 705.72 c Sol. found (all assignments made)... 705.72 c Sol. found (all assignments made)... 705.72 c Sol. found (all assignments made)... 705.73 c Sol. found (all assignments made)... 705.73 c Sol. found (all assignments made)... 705.73 c Sol. found (all assignments made)... 705.74 c Sol. found (all assignments made)... 705.74 c Sol. found (all assignments made)... 705.74 c Sol. found (all assignments made)... 705.74 c Sol. found (all assignments made)... 705.74 c Sol. found (all assignments made)... 705.74 c Sol. found (all assignments made)... 705.74 c Sol. found (all assignments made)... 705.75 c Sol. found (all assignments made)... 705.75 c Sol. found (all assignments made)... 705.75 c Sol. found (all assignments made)... 705.75 c Sol. found (all assignments made)... 705.75 c Sol. found (all assignments made)... 705.75 c Sol. found (all assignments made)... 705.76 c Sol. found (all assignments made)... 705.78 c Sol. found (all assignments made)... 705.78 c Sol. found (all assignments made)... 705.79 c Sol. found (all assignments made)... 705.79 c Sol. found (all assignments made)... 705.79 c Sol. found (all assignments made)... 705.79 c Sol. found (all assignments made)... 705.86 c Sol. found (all assignments made)... 705.88 c Sol. found (all assignments made)... 705.88 c Sol. found (all assignments made)... 705.88 c Sol. found (all assignments made)... 705.88 c Sol. found (all assignments made)... 705.89 c Sol. found (all assignments made)... 705.92 c Sol. found (all assignments made)... 705.93 c Sol. found (all assignments made)... 705.96 c Sol. found (all assignments made)... 705.96 c Sol. found (all assignments made)... 705.97 c Sol. found (all assignments made)... 705.97 c Sol. found (all assignments made)... 705.97 c Sol. found (all assignments made)... 705.99 c Sol. found (all assignments made)... 705.99 c Sol. found (all assignments made)... 705.99 c Sol. found (all assignments made)... 705.99 c Sol. found (all assignments made)... 706.00 c Sol. found (all assignments made)... 706.00 c Sol. found (all assignments made)... 706.00 c Sol. found (all assignments made)... 706.00 c Sol. found (all assignments made)... 706.00 c Sol. found (all assignments made)... 706.02 c Sol. found (all assignments made)... 706.02 c Sol. found (all assignments made)... 706.04 c Sol. found (all assignments made)... 706.05 c Sol. found (all assignments made)... 706.06 c Sol. found (all assignments made)... 706.06 c Sol. found (all assignments made)... 706.07 c Sol. found (all assignments made)... 706.07 c Sol. found (all assignments made)... 706.07 c Sol. found (all assignments made)... 706.07 c Sol. found (all assignments made)... 706.08 c Sol. found (all assignments made)... 706.12 c Sol. found (all assignments made)... 706.12 c Sol. found (all assignments made)... 706.12 c Sol. found (all assignments made)... 706.13 c Sol. found (all assignments made)... 706.13 c Sol. found (all assignments made)... 706.13 c Sol. found (all assignments made)... 706.13 c Sol. found (all assignments made)... 706.14 c Sol. found (all assignments made)... 706.14 c Sol. found (all assignments made)... 706.14 c Sol. found (all assignments made)... 706.14 c Sol. found (all assignments made)... 706.14 c Sol. found (all assignments made)... 706.14 c Sol. found (all assignments made)... 706.15 c Sol. found (all assignments made)... 706.15 c Sol. found (all assignments made)... 706.16 c Sol. found (all assignments made)... 706.16 c Sol. found (all assignments made)... 706.16 c Sol. found (all assignments made)... 706.16 c Sol. found (all assignments made)... 706.17 c Sol. found (all assignments made)... 706.17 c Sol. found (all assignments made)... 706.17 c Sol. found (all assignments made)... 706.18 c Sol. found (all assignments made)... 706.18 c Sol. found (all assignments made)... 706.18 c Sol. found (all assignments made)... 706.18 c Sol. found (all assignments made)... 706.18 c Sol. found (all assignments made)... 706.19 c Sol. found (all assignments made)... 706.19 c Sol. found (all assignments made)... 706.19 c Sol. found (all assignments made)... 706.19 c Sol. found (all assignments made)... 706.20 c Sol. found (all assignments made)... 706.21 c Sol. found (all assignments made)... 706.21 c Sol. found (all assignments made)... 706.21 c Sol. found (all assignments made)... 706.22 c Sol. found (all assignments made)... 706.22 c Sol. found (all assignments made)... 706.22 c Sol. found (all assignments made)... 706.22 c Sol. found (all assignments made)... 706.22 c Sol. found (all assignments made)... 706.22 c Sol. found (all assignments made)... 706.23 c Sol. found (all assignments made)... 706.23 c Sol. found (all assignments made)... 706.23 c Sol. found (all assignments made)... 706.24 c Sol. found (all assignments made)... 706.24 c Sol. found (all assignments made)... 706.24 c Sol. found (all assignments made)... 706.25 c Sol. found (all assignments made)... 706.26 c Sol. found (all assignments made)... 706.26 c Sol. found (all assignments made)... 706.27 c Sol. found (all assignments made)... 706.27 c Sol. found (all assignments made)... 706.27 c Sol. found (all assignments made)... 706.28 c Sol. found (all assignments made)... 706.28 c Sol. found (all assignments made)... 706.28 c Sol. found (all assignments made)... 706.28 c Sol. found (all assignments made)... 706.29 c Sol. found (all assignments made)... 706.29 c Sol. found (all assignments made)... 706.29 c Sol. found (all assignments made)... 706.29 c Sol. found (all assignments made)... 706.29 c Sol. found (all assignments made)... 706.30 c Sol. found (all assignments made)... 706.30 c Sol. found (all assignments made)... 706.30 c Sol. found (all assignments made)... 706.31 c Sol. found (all assignments made)... 706.31 c Sol. found (all assignments made)... 706.31 c Sol. found (all assignments made)... 706.31 c Sol. found (all assignments made)... 706.32 c Sol. found (all assignments made)... 706.32 c Sol. found (all assignments made)... 706.33 c Sol. found (all assignments made)... 706.33 c Sol. found (all assignments made)... 706.33 c Sol. found (all assignments made)... 706.33 c Sol. found (all assignments made)... 706.34 c Sol. found (all assignments made)... 706.34 c Sol. found (all assignments made)... 706.34 c Sol. found (all assignments made)... 706.34 c Sol. found (all assignments made)... 706.35 c Sol. found (all assignments made)... 706.35 c Sol. found (all assignments made)... 706.35 c Sol. found (all assignments made)... 706.35 c Sol. found (all assignments made)... 706.38 c Sol. found (all assignments made)... 706.38 c Sol. found (all assignments made)... 706.38 c Sol. found (all assignments made)... 706.38 c Sol. found (all assignments made)... 706.38 c Sol. found (all assignments made)... 706.38 c Sol. found (all assignments made)... 706.39 c Sol. found (all assignments made)... 706.39 c Sol. found (all assignments made)... 706.39 c Sol. found (all assignments made)... 706.39 c Sol. found (all assignments made)... 706.39 c Sol. found (all assignments made)... 706.40 c Sol. found (all assignments made)... 706.40 c Sol. found (all assignments made)... 706.40 c Sol. found (all assignments made)... 706.40 c Sol. found (all assignments made)... 706.41 c Sol. found (all assignments made)... 706.41 c Sol. found (all assignments made)... 706.41 c Sol. found (all assignments made)... 706.41 c Sol. found (all assignments made)... 706.42 c Sol. found (all assignments made)... 706.42 c Sol. found (all assignments made)... 706.42 c Sol. found (all assignments made)... 706.43 c Sol. found (all assignments made)... 706.43 c Sol. found (all assignments made)... 706.45 c Sol. found (all assignments made)... 706.45 c Sol. found (all assignments made)... 706.45 c Sol. found (all assignments made)... 706.45 c Sol. found (all assignments made)... 706.45 c Sol. found (all assignments made)... 706.45 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.46 c Sol. found (all assignments made)... 706.47 c Sol. found (all assignments made)... 706.47 c Sol. found (all assignments made)... 706.47 c Sol. found (all assignments made)... 706.47 c Sol. found (all assignments made)... 706.47 c Sol. found (all assignments made)... 706.47 c Sol. found (all assignments made)... 706.48 c Sol. found (all assignments made)... 706.48 c Sol. found (all assignments made)... 706.48 c Sol. found (all assignments made)... 706.48 c Sol. found (all assignments made)... 706.48 c Sol. found (all assignments made)... 706.48 c Sol. found (all assignments made)... 706.49 c Sol. found (all assignments made)... 706.49 c Sol. found (all assignments made)... 706.49 c Sol. found (all assignments made)... 706.49 c Sol. found (all assignments made)... 706.49 c Sol. found (all assignments made)... 706.49 c Sol. found (all assignments made)... 706.49 c Sol. found (all assignments made)... 706.50 c Sol. found (all assignments made)... 706.50 c Sol. found (all assignments made)... 706.50 c Sol. found (all assignments made)... 706.50 c Sol. found (all assignments made)... 706.50 c Sol. found (all assignments made)... 706.82 c Sol. found (all assignments made)... 706.82 c Sol. found (all assignments made)... 706.98 c Sol. found (all assignments made)... 706.98 c Sol. found (all assignments made)... 706.98 c Sol. found (all assignments made)... 707.03 c Sol. found (all assignments made)... 707.03 c Sol. found (all assignments made)... 707.05 c Sol. found (all assignments made)... 707.05 c Sol. found (all assignments made)... 707.05 c Sol. found (all assignments made)... 707.06 c Sol. found (all assignments made)... 707.13 c Sol. found (all assignments made)... 707.14 c Sol. found (all assignments made)... 707.20 c Sol. found (all assignments made)... 707.21 c Sol. found (all assignments made)... 707.21 c Sol. found (all assignments made)... 707.21 c Sol. found (all assignments made)... 707.22 c Sol. found (all assignments made)... 707.25 c Sol. found (all assignments made)... 707.26 c Sol. found (all assignments made)... 707.27 c Sol. found (all assignments made)... 707.29 c Sol. found (all assignments made)... 707.29 c Sol. found (all assignments made)... 707.32 c Sol. found (all assignments made)... 707.32 c Sol. found (all assignments made)... 707.32 c Sol. found (all assignments made)... 707.32 c Sol. found (all assignments made)... 707.33 c Sol. found (all assignments made)... 707.33 c Sol. found (all assignments made)... 707.34 c Sol. found (all assignments made)... 707.34 c Sol. found (all assignments made)... 707.34 c Sol. found (all assignments made)... 707.34 c Sol. found (all assignments made)... 707.35 c Sol. found (all assignments made)... 707.35 c Sol. found (all assignments made)... 707.37 c Sol. found (all assignments made)... 707.37 c Sol. found (all assignments made)... 707.38 c Sol. found (all assignments made)... 707.38 c Sol. found (all assignments made)... 707.38 c Sol. found (all assignments made)... 707.39 c Sol. found (all assignments made)... 707.40 c Sol. found (all assignments made)... 707.40 c Sol. found (all assignments made)... 707.40 c Sol. found (all assignments made)... 707.40 c Sol. found (all assignments made)... 707.41 c Sol. found (all assignments made)... 707.45 c Sol. found (all assignments made)... 707.46 c Sol. found (all assignments made)... 707.47 c Sol. found (all assignments made)... 707.58 c Sol. found (all assignments made)... 707.58 c Sol. found (all assignments made)... 707.58 c Sol. found (all assignments made)... 707.58 c Sol. found (all assignments made)... 707.58 c Sol. found (all assignments made)... 707.58 c Sol. found (all assignments made)... 707.59 c Sol. found (all assignments made)... 707.59 c Sol. found (all assignments made)... 707.59 c Sol. found (all assignments made)... 707.59 c Sol. found (all assignments made)... 707.60 c Sol. found (all assignments made)... 707.60 c Sol. found (all assignments made)... 707.66 c Sol. found (all assignments made)... 707.66 c Sol. found (all assignments made)... 707.66 c Sol. found (all assignments made)... 707.66 c Sol. found (all assignments made)... 707.66 c Sol. found (all assignments made)... 707.70 c Sol. found (all assignments made)... 707.70 c Sol. found (all assignments made)... 707.70 c Sol. found (all assignments made)... 707.70 c Sol. found (all assignments made)... 707.70 c Sol. found (all assignments made)... 707.70 c Sol. found (all assignments made)... 707.70 c Sol. found (all assignments made)... 707.71 c Sol. found (all assignments made)... 707.94 c Sol. found (all assignments made)... 707.94 c Sol. found (all assignments made)... 707.94 c Sol. found (all assignments made)... 707.94 c Sol. found (all assignments made)... 708.33 c Sol. found (all assignments made)... 708.38 c Sol. found (all assignments made)... 708.38 c Sol. found (all assignments made)... 708.40 c Sol. found (all assignments made)... 708.40 c Sol. found (all assignments made)... 708.41 c Sol. found (all assignments made)... 708.41 c Sol. found (all assignments made)... 708.41 c Sol. found (all assignments made)... 708.42 c Sol. found (all assignments made)... 708.42 c Sol. found (all assignments made)... 708.43 c Sol. found (all assignments made)... 708.43 c Sol. found (all assignments made)... 708.44 c Sol. found (all assignments made)... 708.44 c Sol. found (all assignments made)... 708.44 c Sol. found (all assignments made)... 708.44 c Sol. found (all assignments made)... 708.44 c Sol. found (all assignments made)... 708.44 c Sol. found (all assignments made)... 708.44 c Sol. found (all assignments made)... 708.44 c Sol. found (all assignments made)... 708.44 c Sol. found (all assignments made)... 708.45 c Sol. found (all assignments made)... 708.45 c Sol. found (all assignments made)... 708.45 c Sol. found (all assignments made)... 708.45 c Sol. found (all assignments made)... 708.45 c Sol. found (all assignments made)... 708.45 c Sol. found (all assignments made)... 708.46 c Sol. found (all assignments made)... 708.46 c Sol. found (all assignments made)... 708.46 c Sol. found (all assignments made)... 708.46 c Sol. found (all assignments made)... 708.46 c Sol. found (all assignments made)... 708.46 c Sol. found (all assignments made)... 708.46 c Sol. found (all assignments made)... 708.46 c Sol. found (all assignments made)... 708.46 c Sol. found (all assignments made)... 708.47 c Sol. found (all assignments made)... 708.48 c Sol. found (all assignments made)... 708.48 c Sol. found (all assignments made)... 708.48 c Sol. found (all assignments made)... 708.49 c Sol. found (all assignments made)... 708.49 c Sol. found (all assignments made)... 708.50 c Sol. found (all assignments made)... 708.50 c Sol. found (all assignments made)... 708.50 c Sol. found (all assignments made)... 708.50 c Sol. found (all assignments made)... 708.50 c Sol. found (all assignments made)... 708.50 c Sol. found (all assignments made)... 708.50 c Sol. found (all assignments made)... 708.50 c Sol. found (all assignments made)... 708.50 c Sol. found (all assignments made)... 708.50 c Sol. found (all assignments made)... 708.51 c Sol. found (all assignments made)... 708.51 c Sol. found (all assignments made)... 708.51 c Sol. found (all assignments made)... 708.51 c Sol. found (all assignments made)... 708.51 c Sol. found (all assignments made)... 708.51 c Sol. found (all assignments made)... 708.51 c Sol. found (all assignments made)... 708.51 c Sol. found (all assignments made)... 708.52 c Sol. found (all assignments made)... 708.52 c Sol. found (all assignments made)... 708.52 c Sol. found (all assignments made)... 708.52 c Sol. found (all assignments made)... 708.52 c Sol. found (all assignments made)... 708.52 c Sol. found (all assignments made)... 708.52 c Sol. found (all assignments made)... 708.52 c Sol. found (all assignments made)... 708.53 c Sol. found (all assignments made)... 708.53 c Sol. found (all assignments made)... 708.53 c Sol. found (all assignments made)... 708.53 c Sol. found (all assignments made)... 708.53 c Sol. found (all assignments made)... 708.53 c Sol. found (all assignments made)... 708.53 c Sol. found (all assignments made)... 708.53 c Sol. found (all assignments made)... 708.53 c Sol. found (all assignments made)... 708.54 c Sol. found (all assignments made)... 708.54 c Sol. found (all assignments made)... 708.54 c Sol. found (all assignments made)... 708.55 c Sol. found (all assignments made)... 708.55 c Sol. found (all assignments made)... 708.56 c Sol. found (all assignments made)... 708.56 c Sol. found (all assignments made)... 708.56 c Sol. found (all assignments made)... 708.56 c Sol. found (all assignments made)... 708.56 c Sol. found (all assignments made)... 708.56 c Sol. found (all assignments made)... 708.57 c Sol. found (all assignments made)... 708.57 c Sol. found (all assignments made)... 708.57 c Sol. found (all assignments made)... 708.57 c Sol. found (all assignments made)... 708.58 c Sol. found (all assignments made)... 708.58 c Sol. found (all assignments made)... 708.58 c Sol. found (all assignments made)... 708.58 c Sol. found (all assignments made)... 708.58 c Sol. found (all assignments made)... 708.58 c Sol. found (all assignments made)... 708.58 c Sol. found (all assignments made)... 708.59 c Sol. found (all assignments made)... 708.59 c Sol. found (all assignments made)... 708.59 c Sol. found (all assignments made)... 708.59 c Sol. found (all assignments made)... 708.59 c Sol. found (all assignments made)... 708.59 c Sol. found (all assignments made)... 708.59 c Sol. found (all assignments made)... 708.59 c Sol. found (all assignments made)... 708.59 c Sol. found (all assignments made)... 708.60 c Sol. found (all assignments made)... 708.60 c Sol. found (all assignments made)... 708.60 c Sol. found (all assignments made)... 708.60 c Sol. found (all assignments made)... 708.60 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.61 c Sol. found (all assignments made)... 708.62 c Sol. found (all assignments made)... 708.62 c Sol. found (all assignments made)... 708.62 c Sol. found (all assignments made)... 708.62 c Sol. found (all assignments made)... 708.62 c Sol. found (all assignments made)... 708.62 c Sol. found (all assignments made)... 708.62 c Sol. found (all assignments made)... 708.62 c Sol. found (all assignments made)... 708.63 c Sol. found (all assignments made)... 708.63 c Sol. found (all assignments made)... 708.63 c Sol. found (all assignments made)... 708.63 c Sol. found (all assignments made)... 708.63 c Sol. found (all assignments made)... 708.63 c Sol. found (all assignments made)... 708.63 c Sol. found (all assignments made)... 708.64 c Sol. found (all assignments made)... 708.64 c Sol. found (all assignments made)... 708.64 c Sol. found (all assignments made)... 708.64 c Sol. found (all assignments made)... 708.65 c Sol. found (all assignments made)... 708.65 c Sol. found (all assignments made)... 708.65 c Sol. found (all assignments made)... 708.65 c Sol. found (all assignments made)... 708.66 c Sol. found (all assignments made)... 708.66 c Sol. found (all assignments made)... 708.68 c Sol. found (all assignments made)... 708.68 c Sol. found (all assignments made)... 708.69 c Sol. found (all assignments made)... 708.69 c Sol. found (all assignments made)... 708.71 c Sol. found (all assignments made)... 708.72 c Sol. found (all assignments made)... 708.72 c Sol. found (all assignments made)... 708.72 c Sol. found (all assignments made)... 708.72 c Sol. found (all assignments made)... 708.72 c Sol. found (all assignments made)... 708.73 c Sol. found (all assignments made)... 708.73 c Sol. found (all assignments made)... 708.73 c Sol. found (all assignments made)... 708.73 c Sol. found (all assignments made)... 708.73 c Sol. found (all assignments made)... 708.73 c Sol. found (all assignments made)... 708.73 c Sol. found (all assignments made)... 708.73 c Sol. found (all assignments made)... 708.73 c Sol. found (all assignments made)... 708.74 c Sol. found (all assignments made)... 708.74 c Sol. found (all assignments made)... 708.74 c Sol. found (all assignments made)... 708.75 c Sol. found (all assignments made)... 708.75 c Sol. found (all assignments made)... 708.75 c Sol. found (all assignments made)... 708.75 c Sol. found (all assignments made)... 708.76 c Sol. found (all assignments made)... 708.76 c Sol. found (all assignments made)... 708.76 c Sol. found (all assignments made)... 708.76 c Sol. found (all assignments made)... 708.76 c Sol. found (all assignments made)... 708.77 c Sol. found (all assignments made)... 708.77 c Sol. found (all assignments made)... 708.77 c Sol. found (all assignments made)... 708.77 c Sol. found (all assignments made)... 708.77 c Sol. found (all assignments made)... 708.77 c Sol. found (all assignments made)... 708.77 c Sol. found (all assignments made)... 708.77 c Sol. found (all assignments made)... 708.77 c Sol. found (all assignments made)... 708.79 c Sol. found (all assignments made)... 708.79 c Sol. found (all assignments made)... 708.79 c Sol. found (all assignments made)... 708.80 c Sol. found (all assignments made)... 708.80 c Sol. found (all assignments made)... 708.80 c Sol. found (all assignments made)... 708.81 c Sol. found (all assignments made)... 708.82 c Sol. found (all assignments made)... 708.82 c Sol. found (all assignments made)... 708.82 c Sol. found (all assignments made)... 708.82 c Sol. found (all assignments made)... 708.83 c Sol. found (all assignments made)... 708.83 c Sol. found (all assignments made)... 708.84 c Sol. found (all assignments made)... 708.84 c Sol. found (all assignments made)... 708.84 c Sol. found (all assignments made)... 708.84 c Sol. found (all assignments made)... 708.85 c Sol. found (all assignments made)... 708.85 c Sol. found (all assignments made)... 708.85 c Sol. found (all assignments made)... 708.85 c Sol. found (all assignments made)... 708.85 c Sol. found (all assignments made)... 708.86 c Sol. found (all assignments made)... 708.86 c Sol. found (all assignments made)... 708.86 c Sol. found (all assignments made)... 708.86 c Sol. found (all assignments made)... 708.86 c Sol. found (all assignments made)... 708.86 c Sol. found (all assignments made)... 708.86 c Sol. found (all assignments made)... 708.86 c Sol. found (all assignments made)... 708.86 c Sol. found (all assignments made)... 708.87 c Sol. found (all assignments made)... 708.87 c Sol. found (all assignments made)... 708.87 c Sol. found (all assignments made)... 708.87 c Sol. found (all assignments made)... 708.90 c Sol. found (all assignments made)... 708.90 c Sol. found (all assignments made)... 708.90 c Sol. found (all assignments made)... 708.91 c Sol. found (all assignments made)... 709.03 c Sol. found (all assignments made)... 709.09 c Sol. found (all assignments made)... 709.09 c Sol. found (all assignments made)... 709.10 c Sol. found (all assignments made)... 709.10 c Sol. found (all assignments made)... 709.10 c Sol. found (all assignments made)... 709.10 c Sol. found (all assignments made)... 709.11 c Sol. found (all assignments made)... 709.11 c Sol. found (all assignments made)... 709.11 c Sol. found (all assignments made)... 709.11 c Sol. found (all assignments made)... 709.11 c Sol. found (all assignments made)... 709.11 c Sol. found (all assignments made)... 709.11 c Sol. found (all assignments made)... 709.11 c Sol. found (all assignments made)... 709.13 c Sol. found (all assignments made)... 709.13 c Sol. found (all assignments made)... 709.14 c Sol. found (all assignments made)... 709.14 c Sol. found (all assignments made)... 709.14 c Sol. found (all assignments made)... 709.14 c Sol. found (all assignments made)... 709.15 c Sol. found (all assignments made)... 709.15 c Sol. found (all assignments made)... 709.15 c Sol. found (all assignments made)... 709.15 c Sol. found (all assignments made)... 709.15 c Sol. found (all assignments made)... 709.16 c Sol. found (all assignments made)... 709.16 c Sol. found (all assignments made)... 709.16 c Sol. found (all assignments made)... 709.16 c Sol. found (all assignments made)... 709.16 c Sol. found (all assignments made)... 709.22 c Sol. found (all assignments made)... 709.22 c Sol. found (all assignments made)... 709.22 c Sol. found (all assignments made)... 709.23 c Sol. found (all assignments made)... 709.23 c Sol. found (all assignments made)... 709.26 c Sol. found (all assignments made)... 709.27 c Sol. found (all assignments made)... 709.29 c Sol. found (all assignments made)... 709.41 c Sol. found (all assignments made)... 709.51 c Sol. found (all assignments made)... 709.64 c Sol. found (all assignments made)... 709.64 c Sol. found (all assignments made)... 709.64 c Sol. found (all assignments made)... 709.65 c Sol. found (all assignments made)... 709.65 c Sol. found (all assignments made)... 709.66 c Sol. found (all assignments made)... 709.66 c Sol. found (all assignments made)... 709.67 c Sol. found (all assignments made)... 709.67 c Sol. found (all assignments made)... 709.67 c Sol. found (all assignments made)... 709.67 c Sol. found (all assignments made)... 709.67 c Sol. found (all assignments made)... 709.67 c Sol. found (all assignments made)... 709.68 c Sol. found (all assignments made)... 709.68 c Sol. found (all assignments made)... 709.68 c Sol. found (all assignments made)... 709.68 c Sol. found (all assignments made)... 709.69 c Sol. found (all assignments made)... 709.69 c Sol. found (all assignments made)... 709.69 c Sol. found (all assignments made)... 709.69 c Sol. found (all assignments made)... 709.70 c Sol. found (all assignments made)... 709.70 c Sol. found (all assignments made)... 709.71 c Sol. found (all assignments made)... 709.71 c Sol. found (all assignments made)... 709.71 c Sol. found (all assignments made)... 709.73 c Sol. found (all assignments made)... 709.73 c Sol. found (all assignments made)... 709.73 c Sol. found (all assignments made)... 709.73 c Sol. found (all assignments made)... 709.73 c Sol. found (all assignments made)... 709.77 c Sol. found (all assignments made)... 709.77 c Sol. found (all assignments made)... 709.82 c Sol. found (all assignments made)... 709.84 c Sol. found (all assignments made)... 709.84 c Sol. found (all assignments made)... 709.87 c Sol. found (all assignments made)... 709.87 c Sol. found (all assignments made)... 709.89 c Sol. found (all assignments made)... 710.00 c Sol. found (all assignments made)... 710.00 c Sol. found (all assignments made)... 710.01 c Sol. found (all assignments made)... 710.02 c Sol. found (all assignments made)... 710.18 c Sol. found (all assignments made)... 710.19 c Sol. found (all assignments made)... 710.19 c Sol. found (all assignments made)... 710.19 c Sol. found (all assignments made)... 710.23 c Sol. found (all assignments made)... 710.23 c Sol. found (all assignments made)... 710.31 c Sol. found (all assignments made)... 710.31 c Sol. found (all assignments made)... 710.32 c Sol. found (all assignments made)... 710.32 c Sol. found (all assignments made)... 710.33 c Sol. found (all assignments made)... 710.34 c Sol. found (all assignments made)... 710.37 c Sol. found (all assignments made)... 710.37 c Sol. found (all assignments made)... 710.38 c Sol. found (all assignments made)... 710.38 c Sol. found (all assignments made)... 710.38 c Sol. found (all assignments made)... 710.38 c Sol. found (all assignments made)... 710.40 c Sol. found (all assignments made)... 710.40 c Sol. found (all assignments made)... 710.40 c Sol. found (all assignments made)... 710.41 c Sol. found (all assignments made)... 710.41 c Sol. found (all assignments made)... 710.41 c Sol. found (all assignments made)... 710.41 c Sol. found (all assignments made)... 710.41 c Sol. found (all assignments made)... 710.41 c Sol. found (all assignments made)... 710.42 c Sol. found (all assignments made)... 710.42 c Sol. found (all assignments made)... 710.42 c Sol. found (all assignments made)... 710.42 c Sol. found (all assignments made)... 710.42 c Sol. found (all assignments made)... 710.42 c Sol. found (all assignments made)... 710.42 c Sol. found (all assignments made)... 710.42 c Sol. found (all assignments made)... 710.42 c Sol. found (all assignments made)... 710.42 c Sol. found (all assignments made)... 710.43 c Sol. found (all assignments made)... 710.44 c Sol. found (all assignments made)... 710.45 c Sol. found (all assignments made)... 710.45 c Sol. found (all assignments made)... 710.49 c Sol. found (all assignments made)... 710.52 c Sol. found (all assignments made)... 710.54 c Sol. found (all assignments made)... 710.62 c Sol. found (all assignments made)... 710.62 c Sol. found (all assignments made)... 710.63 c Sol. found (all assignments made)... 710.63 c Sol. found (all assignments made)... 710.63 c Sol. found (all assignments made)... 710.63 c Sol. found (all assignments made)... 710.63 c Sol. found (all assignments made)... 710.93 c Sol. found (all assignments made)... 710.99 c Sol. found (all assignments made)... 710.99 c Sol. found (all assignments made)... 711.00 c Sol. found (all assignments made)... 711.01 c Sol. found (all assignments made)... 711.02 c Sol. found (all assignments made)... 711.02 c Sol. found (all assignments made)... 711.02 c Sol. found (all assignments made)... 711.02 c Sol. found (all assignments made)... 711.02 c Sol. found (all assignments made)... 711.02 c Sol. found (all assignments made)... 711.03 c Sol. found (all assignments made)... 711.05 c Sol. found (all assignments made)... 711.06 c Sol. found (all assignments made)... 711.06 c Sol. found (all assignments made)... 711.06 c Sol. found (all assignments made)... 711.06 c Sol. found (all assignments made)... 711.06 c Sol. found (all assignments made)... 711.06 c Sol. found (all assignments made)... 711.06 c Sol. found (all assignments made)... 711.12 c Sol. found (all assignments made)... 711.12 c Sol. found (all assignments made)... 711.12 c Sol. found (all assignments made)... 711.13 c Sol. found (all assignments made)... 711.13 c Sol. found (all assignments made)... 711.13 c Sol. found (all assignments made)... 711.13 c Sol. found (all assignments made)... 711.13 c Sol. found (all assignments made)... 711.13 c Sol. found (all assignments made)... 711.13 c Sol. found (all assignments made)... 711.13 c Sol. found (all assignments made)... 711.14 c Sol. found (all assignments made)... 711.14 c Sol. found (all assignments made)... 711.14 c Sol. found (all assignments made)... 711.14 c Sol. found (all assignments made)... 711.14 c Sol. found (all assignments made)... 711.14 c Sol. found (all assignments made)... 711.14 c Sol. found (all assignments made)... 711.14 c Sol. found (all assignments made)... 711.14 c Sol. found (all assignments made)... 711.15 c Sol. found (all assignments made)... 711.15 c Sol. found (all assignments made)... 711.15 c Sol. found (all assignments made)... 711.15 c Sol. found (all assignments made)... 711.15 c Sol. found (all assignments made)... 711.16 c Sol. found (all assignments made)... 711.20 c Sol. found (all assignments made)... 711.21 c Sol. found (all assignments made)... 711.21 c Sol. found (all assignments made)... 711.22 c Sol. found (all assignments made)... 711.23 c Sol. found (all assignments made)... 711.23 c Sol. found (all assignments made)... 711.26 c Sol. found (all assignments made)... 711.26 c Sol. found (all assignments made)... 711.26 c Sol. found (all assignments made)... 711.27 c Sol. found (all assignments made)... 711.28 c Sol. found (all assignments made)... 711.28 c Sol. found (all assignments made)... 711.28 c Sol. found (all assignments made)... 711.28 c Sol. found (all assignments made)... 711.28 c Sol. found (all assignments made)... 711.29 c Sol. found (all assignments made)... 711.29 c Sol. found (all assignments made)... 711.29 c Sol. found (all assignments made)... 711.29 c Sol. found (all assignments made)... 711.29 c Sol. found (all assignments made)... 711.29 c Sol. found (all assignments made)... 711.30 c Sol. found (all assignments made)... 711.30 c Sol. found (all assignments made)... 711.30 c Sol. found (all assignments made)... 711.31 c Sol. found (all assignments made)... 711.31 c Sol. found (all assignments made)... 711.31 c Sol. found (all assignments made)... 711.34 c Sol. found (all assignments made)... 711.34 c Sol. found (all assignments made)... 711.34 c Sol. found (all assignments made)... 711.34 c Sol. found (all assignments made)... 711.35 c Sol. found (all assignments made)... 711.35 c Sol. found (all assignments made)... 711.35 c Sol. found (all assignments made)... 711.35 c Sol. found (all assignments made)... 711.35 c Sol. found (all assignments made)... 711.36 c Sol. found (all assignments made)... 711.36 c Sol. found (all assignments made)... 711.38 c Sol. found (all assignments made)... 711.38 c Sol. found (all assignments made)... 711.38 c Sol. found (all assignments made)... 711.39 c Sol. found (all assignments made)... 711.39 c Sol. found (all assignments made)... 711.41 c Sol. found (all assignments made)... 711.41 c Sol. found (all assignments made)... 711.41 c Sol. found (all assignments made)... 711.41 c Sol. found (all assignments made)... 711.41 c Sol. found (all assignments made)... 711.41 c Sol. found (all assignments made)... 711.41 c Sol. found (all assignments made)... 711.41 c Sol. found (all assignments made)... 711.41 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.42 c Sol. found (all assignments made)... 711.44 c Sol. found (all assignments made)... 711.44 c Sol. found (all assignments made)... 711.44 c Sol. found (all assignments made)... 711.44 c Sol. found (all assignments made)... 711.45 c Sol. found (all assignments made)... 711.45 c Sol. found (all assignments made)... 711.45 c Sol. found (all assignments made)... 711.45 c Sol. found (all assignments made)... 711.47 c Sol. found (all assignments made)... 711.47 c Sol. found (all assignments made)... 711.47 c Sol. found (all assignments made)... 711.47 c Sol. found (all assignments made)... 711.47 c Sol. found (all assignments made)... 711.47 c Sol. found (all assignments made)... 711.47 c Sol. found (all assignments made)... 711.48 c Sol. found (all assignments made)... 711.48 c Sol. found (all assignments made)... 711.48 c Sol. found (all assignments made)... 711.48 c Sol. found (all assignments made)... 711.49 c Sol. found (all assignments made)... 711.49 c Sol. found (all assignments made)... 711.49 c Sol. found (all assignments made)... 711.49 c Sol. found (all assignments made)... 711.49 c Sol. found (all assignments made)... 711.49 c Sol. found (all assignments made)... 711.49 c Sol. found (all assignments made)... 711.50 c Sol. found (all assignments made)... 711.50 c Sol. found (all assignments made)... 711.50 c Sol. found (all assignments made)... 711.50 c Sol. found (all assignments made)... 711.50 c Sol. found (all assignments made)... 711.50 c Sol. found (all assignments made)... 711.50 c Sol. found (all assignments made)... 711.52 c Sol. found (all assignments made)... 711.53 c Sol. found (all assignments made)... 711.53 c Sol. found (all assignments made)... 711.53 c Sol. found (all assignments made)... 711.53 c Sol. found (all assignments made)... 711.53 c Sol. found (all assignments made)... 711.53 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.54 c Sol. found (all assignments made)... 711.55 c Sol. found (all assignments made)... 711.55 c Sol. found (all assignments made)... 711.55 c Sol. found (all assignments made)... 711.55 c Sol. found (all assignments made)... 711.55 c Sol. found (all assignments made)... 711.55 c Sol. found (all assignments made)... 711.55 c Sol. found (all assignments made)... 711.55 c Sol. found (all assignments made)... 711.56 c Sol. found (all assignments made)... 711.56 c Sol. found (all assignments made)... 711.56 c Sol. found (all assignments made)... 711.56 c Sol. found (all assignments made)... 711.56 c Sol. found (all assignments made)... 711.56 c Sol. found (all assignments made)... 711.56 c Sol. found (all assignments made)... 711.57 c Sol. found (all assignments made)... 711.58 c Sol. found (all assignments made)... 711.58 c Sol. found (all assignments made)... 711.58 c Sol. found (all assignments made)... 711.58 c Sol. found (all assignments made)... 711.58 c Sol. found (all assignments made)... 711.58 c Sol. found (all assignments made)... 711.59 c Sol. found (all assignments made)... 711.59 c Sol. found (all assignments made)... 711.59 c Sol. found (all assignments made)... 711.59 c Sol. found (all assignments made)... 711.59 c Sol. found (all assignments made)... 711.59 c Sol. found (all assignments made)... 711.59 c Sol. found (all assignments made)... 711.59 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.60 c Sol. found (all assignments made)... 711.61 c Sol. found (all assignments made)... 711.61 c Sol. found (all assignments made)... 711.61 c Sol. found (all assignments made)... 711.61 c Sol. found (all assignments made)... 711.61 c Sol. found (all assignments made)... 711.61 c Sol. found (all assignments made)... 711.61 c Sol. found (all assignments made)... 711.61 c Sol. found (all assignments made)... 711.62 c Sol. found (all assignments made)... 711.62 c Sol. found (all assignments made)... 711.62 c Sol. found (all assignments made)... 711.62 c Sol. found (all assignments made)... 711.62 c Sol. found (all assignments made)... 711.62 c Sol. found (all assignments made)... 711.63 c Sol. found (all assignments made)... 711.63 c Sol. found (all assignments made)... 711.63 c Sol. found (all assignments made)... 711.63 c Sol. found (all assignments made)... 711.64 c Sol. found (all assignments made)... 711.64 c Sol. found (all assignments made)... 711.64 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.65 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.66 c Sol. found (all assignments made)... 711.67 c Sol. found (all assignments made)... 711.67 c Sol. found (all assignments made)... 711.67 c Sol. found (all assignments made)... 711.67 c Sol. found (all assignments made)... 711.67 c Sol. found (all assignments made)... 711.67 c Sol. found (all assignments made)... 711.67 c Sol. found (all assignments made)... 711.67 c Sol. found (all assignments made)... 711.67 c Sol. found (all assignments made)... 711.67 c Sol. found (all assignments made)... 711.68 c Sol. found (all assignments made)... 711.68 c Sol. found (all assignments made)... 711.68 c Sol. found (all assignments made)... 711.68 c Sol. found (all assignments made)... 711.68 c Sol. found (all assignments made)... 711.69 c Sol. found (all assignments made)... 711.69 c Sol. found (all assignments made)... 711.69 c Sol. found (all assignments made)... 711.69 c Sol. found (all assignments made)... 711.69 c Sol. found (all assignments made)... 711.69 c Sol. found (all assignments made)... 711.69 c Sol. found (all assignments made)... 711.69 c Sol. found (all assignments made)... 711.70 c Sol. found (all assignments made)... 711.70 c Sol. found (all assignments made)... 711.70 c Sol. found (all assignments made)... 711.70 c Sol. found (all assignments made)... 711.70 c Sol. found (all assignments made)... 711.71 c Sol. found (all assignments made)... 711.71 c Sol. found (all assignments made)... 711.71 c Sol. found (all assignments made)... 711.71 c Sol. found (all assignments made)... 711.71 c Sol. found (all assignments made)... 711.71 c Sol. found (all assignments made)... 711.71 c Sol. found (all assignments made)... 711.71 c Sol. found (all assignments made)... 711.92 c Sol. found (all assignments made)... 711.92 c Sol. found (all assignments made)... 711.93 c Sol. found (all assignments made)... 711.94 c Sol. found (all assignments made)... 711.94 c Sol. found (all assignments made)... 711.94 c Sol. found (all assignments made)... 711.94 c Sol. found (all assignments made)... 711.94 c Sol. found (all assignments made)... 711.95 c Sol. found (all assignments made)... 711.95 c Sol. found (all assignments made)... 711.95 c Sol. found (all assignments made)... 711.97 c Sol. found (all assignments made)... 712.01 c Sol. found (all assignments made)... 712.01 c Sol. found (all assignments made)... 712.01 c Sol. found (all assignments made)... 712.05 c Sol. found (all assignments made)... 712.05 c Sol. found (all assignments made)... 712.06 c Sol. found (all assignments made)... 712.06 c Sol. found (all assignments made)... 712.06 c Sol. found (all assignments made)... 712.06 c Sol. found (all assignments made)... 712.07 c Sol. found (all assignments made)... 712.07 c Sol. found (all assignments made)... 712.07 c Sol. found (all assignments made)... 712.07 c Sol. found (all assignments made)... 712.07 c Sol. found (all assignments made)... 712.07 c Sol. found (all assignments made)... 712.08 c Sol. found (all assignments made)... 712.08 c Sol. found (all assignments made)... 712.08 c Sol. found (all assignments made)... 712.09 c Sol. found (all assignments made)... 712.09 c Sol. found (all assignments made)... 712.09 c Sol. found (all assignments made)... 712.09 c Sol. found (all assignments made)... 712.11 c Sol. found (all assignments made)... 712.11 c Sol. found (all assignments made)... 712.11 c Sol. found (all assignments made)... 712.11 c Sol. found (all assignments made)... 712.12 c Sol. found (all assignments made)... 712.12 c Sol. found (all assignments made)... 712.12 c Sol. found (all assignments made)... 712.12 c Sol. found (all assignments made)... 712.12 c Sol. found (all assignments made)... 712.13 c Sol. found (all assignments made)... 712.13 c Sol. found (all assignments made)... 712.13 c Sol. found (all assignments made)... 712.13 c Sol. found (all assignments made)... 712.14 c Sol. found (all assignments made)... 712.14 c Sol. found (all assignments made)... 712.16 c Sol. found (all assignments made)... 712.16 c Sol. found (all assignments made)... 712.16 c Sol. found (all assignments made)... 712.19 c Sol. found (all assignments made)... 712.19 c Sol. found (all assignments made)... 712.19 c Sol. found (all assignments made)... 712.24 c Sol. found (all assignments made)... 712.36 c Sol. found (all assignments made)... 712.36 c Sol. found (all assignments made)... 712.48 c Sol. found (all assignments made)... 712.48 c Sol. found (all assignments made)... 712.58 c Sol. found (all assignments made)... 712.59 c Sol. found (all assignments made)... 712.59 c Sol. found (all assignments made)... 712.66 c Sol. found (all assignments made)... 712.66 c Sol. found (all assignments made)... 712.67 c Sol. found (all assignments made)... 712.67 c Sol. found (all assignments made)... 712.69 c Restart #176 #Var: 450 LB: -450 @ 712.38 718.30 c Sol. found (all assignments made)... 718.30 c Sol. found (all assignments made)... 718.30 c Sol. found (all assignments made)... 718.31 c Sol. found (all assignments made)... 718.34 c Sol. found (all assignments made)... 718.34 c Sol. found (all assignments made)... 718.35 c Sol. found (all assignments made)... 718.35 c Sol. found (all assignments made)... 718.35 c Sol. found (all assignments made)... 718.35 c Sol. found (all assignments made)... 719.83 c Restart #177 #Var: 450 LB: -450 @ 719.52 727.72 c Restart #178 #Var: 450 LB: -450 @ 727.41 728.32 c Sol. found (all assignments made)... 735.85 c Restart #179 #Var: 450 LB: -450 @ 735.53 743.94 c Restart #180 #Var: 450 LB: -450 @ 743.62 748.71 c Sol. found (all assignments made)... 748.97 c Sol. found (all assignments made)... 749.08 c Sol. found (all assignments made)... 749.08 c Sol. found (all assignments made)... 749.10 c Sol. found (all assignments made)... 749.14 c Sol. found (all assignments made)... 749.14 c Sol. found (all assignments made)... 749.15 c Sol. found (all assignments made)... 749.15 c Sol. found (all assignments made)... 749.15 c Sol. found (all assignments made)... 749.15 c Sol. found (all assignments made)... 749.16 c Sol. found (all assignments made)... 749.16 c Sol. found (all assignments made)... 749.16 c Sol. found (all assignments made)... 749.16 c Sol. found (all assignments made)... 749.16 c Sol. found (all assignments made)... 749.16 c Sol. found (all assignments made)... 749.16 c Sol. found (all assignments made)... 749.17 c Sol. found (all assignments made)... 749.17 c Sol. found (all assignments made)... 749.17 c Sol. found (all assignments made)... 749.17 c Sol. found (all assignments made)... 749.17 c Sol. found (all assignments made)... 749.17 c Sol. found (all assignments made)... 749.28 c Sol. found (all assignments made)... 749.28 c Sol. found (all assignments made)... 750.68 c Sol. found (all assignments made)... 750.69 c Sol. found (all assignments made)... 750.69 c Sol. found (all assignments made)... 750.69 c Sol. found (all assignments made)... 750.72 c Sol. found (all assignments made)... 750.96 c Sol. found (all assignments made)... 751.10 c Sol. found (all assignments made)... 751.11 c Sol. found (all assignments made)... 751.11 c Sol. found (all assignments made)... 751.28 c Sol. found (all assignments made)... 751.88 c Restart #181 #Var: 450 LB: -450 @ 751.56 752.10 c Sol. found (all assignments made)... 752.19 c Sol. found (all assignments made)... 752.19 c Sol. found (all assignments made)... 752.20 c Sol. found (all assignments made)... 752.20 c Sol. found (all assignments made)... 752.20 c Sol. found (all assignments made)... 760.02 c Restart #182 #Var: 450 LB: -450 @ 759.7 768.00 c Restart #183 #Var: 450 LB: -450 @ 767.67 776.16 c Restart #184 #Var: 450 LB: -450 @ 775.83 784.51 c Restart #185 #Var: 450 LB: -450 @ 784.18 785.10 c Sol. found (all assignments made)... 785.12 c Sol. found (all assignments made)... 786.23 c Sol. found (all assignments made)... 786.23 c Sol. found (all assignments made)... 786.23 c Sol. found (all assignments made)... 792.49 c Restart #186 #Var: 450 LB: -450 @ 792.15 800.97 c Restart #187 #Var: 450 LB: -450 @ 800.63 809.30 c Restart #188 #Var: 450 LB: -450 @ 808.96 817.42 c Restart #189 #Var: 450 LB: -450 @ 817.09 826.24 c Restart #190 #Var: 450 LB: -450 @ 825.9 834.63 c Restart #191 #Var: 450 LB: -450 @ 834.29 843.13 c Restart #192 #Var: 450 LB: -450 @ 842.78 851.72 c Restart #193 #Var: 450 LB: -450 @ 851.37 860.22 c Restart #194 #Var: 450 LB: -450 @ 859.87 865.29 c Sol. found (all assignments made)... 865.29 c Sol. found (all assignments made)... 869.00 c Restart #195 #Var: 450 LB: -450 @ 868.65 877.68 c Restart #196 #Var: 450 LB: -450 @ 877.33 886.90 c Restart #197 #Var: 450 LB: -450 @ 886.54 895.84 c Restart #198 #Var: 450 LB: -450 @ 895.48 896.61 c Sol. found (all assignments made)... 897.88 c Sol. found (all assignments made)... 898.08 c Sol. found (all assignments made)... 898.08 c Sol. found (all assignments made)... 900.07 c Sol. found (all assignments made)... 900.09 c Sol. found (all assignments made)... 900.09 c Sol. found (all assignments made)... 900.09 c Sol. found (all assignments made)... 901.03 c Sol. found (all assignments made)... 901.91 c Sol. found (all assignments made)... 901.92 c Sol. found (all assignments made)... 902.15 c Sol. found (all assignments made)... 902.15 c Sol. found (all assignments made)... 902.24 c Sol. found (all assignments made)... 902.24 c Sol. found (all assignments made)... 903.29 c Sol. found (all assignments made)... 903.29 c Sol. found (all assignments made)... 903.30 c Sol. found (all assignments made)... 903.30 c Sol. found (all assignments made)... 903.30 c Sol. found (all assignments made)... 903.30 c Sol. found (all assignments made)... 903.30 c Sol. found (all assignments made)... 903.30 c Sol. found (all assignments made)... 903.53 c Sol. found (all assignments made)... 903.53 c Sol. found (all assignments made)... 903.54 c Sol. found (all assignments made)... 903.54 c Sol. found (all assignments made)... 903.54 c Sol. found (all assignments made)... 903.54 c Sol. found (all assignments made)... 903.97 c Sol. found (all assignments made)... 903.97 c Sol. found (all assignments made)... 903.97 c Sol. found (all assignments made)... 903.97 c Sol. found (all assignments made)... 903.98 c Sol. found (all assignments made)... 903.98 c Sol. found (all assignments made)... 903.98 c Sol. found (all assignments made)... 903.98 c Sol. found (all assignments made)... 903.98 c Sol. found (all assignments made)... 903.98 c Sol. found (all assignments made)... 903.98 c Sol. found (all assignments made)... 903.98 c Sol. found (all assignments made)... 904.17 c Sol. found (all assignments made)... 904.17 c Sol. found (all assignments made)... 904.18 c Sol. found (all assignments made)... 904.18 c Sol. found (all assignments made)... 904.21 c Sol. found (all assignments made)... 904.21 c Sol. found (all assignments made)... 904.21 c Sol. found (all assignments made)... 904.21 c Sol. found (all assignments made)... 904.29 c Sol. found (all assignments made)... 904.30 c Sol. found (all assignments made)... 904.38 c Restart #199 #Var: 450 LB: -450 @ 904.01 913.50 c Restart #200 #Var: 450 LB: -450 @ 913.14 922.37 c Restart #201 #Var: 450 LB: -450 @ 922 927.63 c Sol. found (all assignments made)... 927.71 c Sol. found (all assignments made)... 927.71 c Sol. found (all assignments made)... 931.48 c Sol. found (all assignments made)... 931.51 c Restart #202 #Var: 450 LB: -450 @ 931.14 940.64 c Restart #203 #Var: 450 LB: -450 @ 940.26 948.20 c Sol. found (all assignments made)... 948.92 c Sol. found (all assignments made)... 949.66 c Restart #204 #Var: 450 LB: -450 @ 949.28 958.95 c Restart #205 #Var: 450 LB: -450 @ 958.57 968.24 c Restart #206 #Var: 450 LB: -450 @ 967.86 977.44 c Restart #207 #Var: 450 LB: -450 @ 977.06 977.50 c Sol. found (all assignments made)... 977.51 c Sol. found (all assignments made)... 977.51 o -27 977.51 c NEW SOLUTION FOUND: -27 @ 977.13 977.51 c Sol. found (all assignments made)... 977.51 c Sol. found (all assignments made)... 978.94 c Sol. found (all assignments made)... 979.96 c Sol. found (all assignments made)... 979.96 c Sol. found (all assignments made)... 982.80 c Sol. found (all assignments made)... 983.02 c Sol. found (all assignments made)... 983.03 c Sol. found (all assignments made)... 983.04 c Sol. found (all assignments made)... 983.05 c Sol. found (all assignments made)... 983.06 c Sol. found (all assignments made)... 983.09 c Sol. found (all assignments made)... 984.31 c Sol. found (all assignments made)... 984.46 c Sol. found (all assignments made)... 984.46 c Sol. found (all assignments made)... 984.46 c Sol. found (all assignments made)... 984.46 c Sol. found (all assignments made)... 984.46 c Sol. found (all assignments made)... 984.46 c Sol. found (all assignments made)... 984.71 c Sol. found (all assignments made)... 985.05 c Sol. found (all assignments made)... 985.05 c Sol. found (all assignments made)... 985.06 c Sol. found (all assignments made)... 985.07 c Sol. found (all assignments made)... 985.07 c Sol. found (all assignments made)... 985.08 c Sol. found (all assignments made)... 985.08 c Sol. found (all assignments made)... 985.08 c Sol. found (all assignments made)... 985.08 c Sol. found (all assignments made)... 985.09 c Sol. found (all assignments made)... 985.09 c Sol. found (all assignments made)... 985.13 c Sol. found (all assignments made)... 985.20 c Sol. found (all assignments made)... 985.30 c Sol. found (all assignments made)... 985.30 c Sol. found (all assignments made)... 985.30 c Sol. found (all assignments made)... 985.30 c Sol. found (all assignments made)... 985.31 c Sol. found (all assignments made)... 985.31 c Sol. found (all assignments made)... 985.31 c Sol. found (all assignments made)... 985.32 c Sol. found (all assignments made)... 985.32 c Sol. found (all assignments made)... 985.32 c Sol. found (all assignments made)... 985.32 c Sol. found (all assignments made)... 985.32 c Sol. found (all assignments made)... 985.32 c Sol. found (all assignments made)... 985.32 c Sol. found (all assignments made)... 985.33 c Sol. found (all assignments made)... 985.33 c Sol. found (all assignments made)... 985.35 c Sol. found (all assignments made)... 985.35 c Sol. found (all assignments made)... 985.44 c Sol. found (all assignments made)... 985.45 c Sol. found (all assignments made)... 985.71 c Sol. found (all assignments made)... 985.79 c Sol. found (all assignments made)... 985.80 c Sol. found (all assignments made)... 985.81 c Sol. found (all assignments made)... 985.96 c Sol. found (all assignments made)... 985.96 c Sol. found (all assignments made)... 985.97 c Sol. found (all assignments made)... 986.01 c Sol. found (all assignments made)... 986.52 c Restart #208 #Var: 450 LB: -450 @ 986.13 996.20 c Restart #209 #Var: 450 LB: -450 @ 995.81 1005.78 c Restart #210 #Var: 450 LB: -450 @ 1005.4 1015.46 c Restart #211 #Var: 450 LB: -450 @ 1015.1 1025.38 c Restart #212 #Var: 450 LB: -450 @ 1025 1035.13 c Restart #213 #Var: 450 LB: -450 @ 1034.7 1045.40 c Restart #214 #Var: 450 LB: -450 @ 1045 1055.53 c Restart #215 #Var: 450 LB: -450 @ 1055.1 1056.48 c Sol. found (all assignments made)... 1056.48 c Sol. found (all assignments made)... 1056.89 c Sol. found (all assignments made)... 1056.89 c Sol. found (all assignments made)... 1056.91 c Sol. found (all assignments made)... 1056.93 c Sol. found (all assignments made)... 1057.00 c Sol. found (all assignments made)... 1057.01 c Sol. found (all assignments made)... 1057.01 c Sol. found (all assignments made)... 1059.83 c Sol. found (all assignments made)... 1059.84 c Sol. found (all assignments made)... 1059.96 c Sol. found (all assignments made)... 1060.18 c Sol. found (all assignments made)... 1060.61 c Sol. found (all assignments made)... 1060.61 c Sol. found (all assignments made)... 1060.74 c Sol. found (all assignments made)... 1060.88 c Sol. found (all assignments made)... 1060.88 c Sol. found (all assignments made)... 1060.89 c Sol. found (all assignments made)... 1060.94 c Sol. found (all assignments made)... 1061.66 c Sol. found (all assignments made)... 1064.38 c Sol. found (all assignments made)... 1064.45 c Sol. found (all assignments made)... 1064.46 c Sol. found (all assignments made)... 1064.48 c Sol. found (all assignments made)... 1064.51 c Sol. found (all assignments made)... 1065.20 c Restart #216 #Var: 450 LB: -450 @ 1064.8 1075.52 c Restart #217 #Var: 450 LB: -450 @ 1075.1 1085.55 c Restart #218 #Var: 450 LB: -450 @ 1085.1 1095.81 c Restart #219 #Var: 450 LB: -450 @ 1095.4 1106.10 c Restart #220 #Var: 450 LB: -450 @ 1105.7 1116.28 c Restart #221 #Var: 450 LB: -450 @ 1115.9 1126.26 c Restart #222 #Var: 450 LB: -450 @ 1125.8 1136.60 c Restart #223 #Var: 450 LB: -450 @ 1136.2 1136.63 c Sol. found (all assignments made)... 1136.69 c Sol. found (all assignments made)... 1136.70 c Sol. found (all assignments made)... 1136.94 c Sol. found (all assignments made)... 1136.95 c Sol. found (all assignments made)... 1136.99 c Sol. found (all assignments made)... 1137.56 c Sol. found (all assignments made)... 1137.61 c Sol. found (all assignments made)... 1137.62 c Sol. found (all assignments made)... 1137.63 c Sol. found (all assignments made)... 1137.84 c Sol. found (all assignments made)... 1137.85 c Sol. found (all assignments made)... 1137.92 c Sol. found (all assignments made)... 1137.93 c Sol. found (all assignments made)... 1138.49 c Sol. found (all assignments made)... 1138.98 c Sol. found (all assignments made)... 1138.98 c Sol. found (all assignments made)... 1138.98 c Sol. found (all assignments made)... 1138.98 c Sol. found (all assignments made)... 1138.99 c Sol. found (all assignments made)... 1138.99 c Sol. found (all assignments made)... 1139.00 c Sol. found (all assignments made)... 1139.02 c Sol. found (all assignments made)... 1139.02 c Sol. found (all assignments made)... 1139.03 c Sol. found (all assignments made)... 1139.03 c Sol. found (all assignments made)... 1139.04 c Sol. found (all assignments made)... 1139.04 c Sol. found (all assignments made)... 1139.14 c Sol. found (all assignments made)... 1139.15 c Sol. found (all assignments made)... 1139.15 c Sol. found (all assignments made)... 1139.16 c Sol. found (all assignments made)... 1139.16 c Sol. found (all assignments made)... 1139.16 c Sol. found (all assignments made)... 1139.17 c Sol. found (all assignments made)... 1139.17 c Sol. found (all assignments made)... 1139.17 c Sol. found (all assignments made)... 1139.17 c Sol. found (all assignments made)... 1139.18 c Sol. found (all assignments made)... 1139.18 c Sol. found (all assignments made)... 1139.18 c Sol. found (all assignments made)... 1139.26 c Sol. found (all assignments made)... 1139.93 c Sol. found (all assignments made)... 1139.98 c Sol. found (all assignments made)... 1139.98 c Sol. found (all assignments made)... 1139.98 c Sol. found (all assignments made)... 1139.98 c Sol. found (all assignments made)... 1140.02 c Sol. found (all assignments made)... 1140.03 c Sol. found (all assignments made)... 1140.03 c Sol. found (all assignments made)... 1140.03 c Sol. found (all assignments made)... 1140.03 c Sol. found (all assignments made)... 1140.04 c Sol. found (all assignments made)... 1140.14 c Sol. found (all assignments made)... 1147.00 c Restart #224 #Var: 450 LB: -450 @ 1146.6 1157.07 c Restart #225 #Var: 450 LB: -450 @ 1156.6 1167.15 c Restart #226 #Var: 450 LB: -450 @ 1166.7 1177.78 c Restart #227 #Var: 450 LB: -450 @ 1177.3 1188.32 c Restart #228 #Var: 450 LB: -450 @ 1187.9 1198.57 c Restart #229 #Var: 450 LB: -450 @ 1198.1 1209.32 c Restart #230 #Var: 450 LB: -450 @ 1208.9 1219.70 c Restart #231 #Var: 450 LB: -450 @ 1219.3 1230.39 c Restart #232 #Var: 450 LB: -450 @ 1229.9 1241.01 c Restart #233 #Var: 450 LB: -450 @ 1240.6 1252.09 c Restart #234 #Var: 450 LB: -450 @ 1251.6 1262.93 c Restart #235 #Var: 450 LB: -450 @ 1262.5 1274.04 c Restart #236 #Var: 450 LB: -450 @ 1273.6 1284.94 c Restart #237 #Var: 450 LB: -450 @ 1284.5 1295.68 c Restart #238 #Var: 450 LB: -450 @ 1295.2 1306.72 c Restart #239 #Var: 450 LB: -450 @ 1306.2 1317.90 c Restart #240 #Var: 450 LB: -450 @ 1317.4 1328.98 c Restart #241 #Var: 450 LB: -450 @ 1328.5 1339.76 c Restart #242 #Var: 450 LB: -450 @ 1339.3 1350.70 c Restart #243 #Var: 450 LB: -450 @ 1350.2 1361.83 c Restart #244 #Var: 450 LB: -450 @ 1361.3 1373.07 c Restart #245 #Var: 450 LB: -450 @ 1372.6 1384.25 c Restart #246 #Var: 450 LB: -450 @ 1383.8 1395.97 c Restart #247 #Var: 450 LB: -450 @ 1395.5 1407.20 c Restart #248 #Var: 450 LB: -450 @ 1406.7 1418.50 c Restart #249 #Var: 450 LB: -450 @ 1418 1422.64 c Sol. found (all assignments made)... 1423.78 c Sol. found (all assignments made)... 1424.30 c Sol. found (all assignments made)... 1426.84 c Sol. found (all assignments made)... 1426.89 c Sol. found (all assignments made)... 1428.41 c Sol. found (all assignments made)... 1430.27 c Restart #250 #Var: 450 LB: -450 @ 1429.8 1441.85 c Restart #251 #Var: 450 LB: -450 @ 1441.3 1454.06 c Restart #252 #Var: 450 LB: -450 @ 1453.6 1465.47 c Restart #253 #Var: 450 LB: -450 @ 1465 1477.35 c Restart #254 #Var: 450 LB: -450 @ 1476.8 1489.06 c Restart #255 #Var: 450 LB: -450 @ 1488.5 1500.97 c Restart #256 #Var: 450 LB: -450 @ 1500.5 1512.64 c Restart #257 #Var: 450 LB: -450 @ 1512.1 1524.55 c Restart #258 #Var: 450 LB: -450 @ 1524 1536.27 c Restart #259 #Var: 450 LB: -450 @ 1535.7 1548.07 c Restart #260 #Var: 450 LB: -450 @ 1547.5 1560.23 c Restart #261 #Var: 450 LB: -450 @ 1559.7 1572.38 c Restart #262 #Var: 450 LB: -450 @ 1571.8 1584.38 c Restart #263 #Var: 450 LB: -450 @ 1583.8 1596.70 c Restart #264 #Var: 450 LB: -450 @ 1596.2 1608.01 c Restart #265 #Var: 450 LB: -450 @ 1607.4 1619.75 c Restart #266 #Var: 450 LB: -450 @ 1619.1 1632.09 c Restart #267 #Var: 450 LB: -450 @ 1631.5 1644.35 c Restart #268 #Var: 450 LB: -450 @ 1643.7 1656.76 c Restart #269 #Var: 450 LB: -450 @ 1656.2 1668.78 c Restart #270 #Var: 450 LB: -450 @ 1668.2 1681.52 c Restart #271 #Var: 450 LB: -450 @ 1680.9 1693.53 c Restart #272 #Var: 450 LB: -450 @ 1692.9 1705.92 c Restart #273 #Var: 450 LB: -450 @ 1705.3 1718.45 c Restart #274 #Var: 450 LB: -450 @ 1717.8 1731.06 c Restart #275 #Var: 450 LB: -450 @ 1730.4 1744.15 c Sol. found (all assignments made)... 1744.65 c Restart #276 #Var: 450 LB: -450 @ 1744 1757.83 c Restart #277 #Var: 450 LB: -450 @ 1757.2 1770.52 c Restart #278 #Var: 450 LB: -450 @ 1769.9 1783.23 c Restart #279 #Var: 450 LB: -450 @ 1782.6 1796.02 c Restart #280 #Var: 450 LB: -450 @ 1795.4 1800.65 s SATISFIABLE 1800.65 c Cost: -27 1800.65 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 1800.65 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 1800.65 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 1800.65 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1800.65 v -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 1800.65 v -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 1800.65 v -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 1800.65 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 1800.65 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1800.65 v -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1800.65 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 1800.65 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 1800.65 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1800.65 v -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 1800.65 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1800.65 v -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 1800.65 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1800.65 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 1800.65 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 1800.65 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 1800.65 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 1800.65 c Exit Code: 10 1800.65 c Total time: 1800 s
OK -27
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/node26/watcher-40484-1149291260 -o ROOT/results/node26/solver-40484-1149291260 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/40484-1149291260/instance-40484-1149291260.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.01 0.93 3/64 21109 /proc/meminfo: memFree=1704040/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=4656 CPUtime=0 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 75 0 0 0 0 0 0 0 19 0 1 0 12296864 4767744 57 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12556015 0 0 4096 0 0 0 0 17 1 0 0 /proc/21109/statm: 1165 64 48 55 0 45 0 [startup+10.003 s] /proc/loadavg: 0.99 1.01 0.93 2/64 21109 /proc/meminfo: memFree=1689208/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19308 CPUtime=9.9 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53496 0 0 0 965 25 0 0 25 0 1 0 12296864 19771392 4096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4827 4096 437 55 0 3719 0 Current children cumulated CPU time (s) 9.9 Current children cumulated vsize (Kb) 19308 [startup+20.0089 s] /proc/loadavg: 0.99 1.01 0.93 2/64 21109 /proc/meminfo: memFree=1689016/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19652 CPUtime=19.91 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53588 0 0 0 1963 28 0 0 25 0 1 0 12296864 20123648 4188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4913 4188 437 55 0 3805 0 Current children cumulated CPU time (s) 19.91 Current children cumulated vsize (Kb) 19652 [startup+30.0149 s] /proc/loadavg: 0.99 1.01 0.93 2/64 21109 /proc/meminfo: memFree=1689016/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19572 CPUtime=29.91 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53588 0 0 0 2961 30 0 0 25 0 1 0 12296864 20041728 4177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 13021253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4893 4177 437 55 0 3785 0 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 19572 [startup+40.0209 s] /proc/loadavg: 0.99 1.01 0.93 2/64 21109 /proc/meminfo: memFree=1688952/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19652 CPUtime=39.91 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53627 0 0 0 3960 31 0 0 25 0 1 0 12296864 20123648 4197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4913 4197 437 55 0 3805 0 Current children cumulated CPU time (s) 39.91 Current children cumulated vsize (Kb) 19652 [startup+50.0269 s] /proc/loadavg: 0.99 1.01 0.93 2/64 21109 /proc/meminfo: memFree=1689016/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19704 CPUtime=49.91 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53636 0 0 0 4959 32 0 0 25 0 1 0 12296864 20176896 4186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4926 4186 437 55 0 3818 0 Current children cumulated CPU time (s) 49.91 Current children cumulated vsize (Kb) 19704 [startup+60.0329 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1689016/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19572 CPUtime=59.93 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53637 0 0 0 5958 35 0 0 25 0 1 0 12296864 20041728 4177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4893 4177 437 55 0 3785 0 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 19572 [startup+70.0399 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1689016/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19704 CPUtime=69.93 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53661 0 0 0 6956 37 0 0 25 0 1 0 12296864 20176896 4201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 13025053 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4926 4201 437 55 0 3818 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 19704 [startup+80.0459 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688952/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19836 CPUtime=79.93 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53676 0 0 0 7954 39 0 0 25 0 1 0 12296864 20312064 4216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4959 4216 437 55 0 3851 0 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 19836 [startup+90.0519 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688952/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19828 CPUtime=89.94 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53676 0 0 0 8953 41 0 0 25 0 1 0 12296864 20303872 4216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4957 4216 437 55 0 3849 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 19828 [startup+100.058 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688952/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19712 CPUtime=99.94 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53676 0 0 0 9952 42 0 0 25 0 1 0 12296864 20185088 4212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4928 4212 437 55 0 3820 0 Current children cumulated CPU time (s) 99.94 Current children cumulated vsize (Kb) 19712 [startup+110.064 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688952/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19712 CPUtime=109.94 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53676 0 0 0 10950 44 0 0 25 0 1 0 12296864 20185088 4212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4928 4212 437 55 0 3820 0 Current children cumulated CPU time (s) 109.94 Current children cumulated vsize (Kb) 19712 [startup+120.07 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688952/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19828 CPUtime=119.95 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53677 0 0 0 11949 46 0 0 25 0 1 0 12296864 20303872 4209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4957 4209 437 55 0 3849 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 19828 [startup+130.076 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688952/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19668 CPUtime=129.95 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53677 0 0 0 12947 48 0 0 25 0 1 0 12296864 20140032 4201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158102979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4917 4201 437 55 0 3809 0 Current children cumulated CPU time (s) 129.95 Current children cumulated vsize (Kb) 19668 [startup+140.082 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688952/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19668 CPUtime=139.95 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53677 0 0 0 13946 49 0 0 25 0 1 0 12296864 20140032 4201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4917 4201 437 55 0 3809 0 Current children cumulated CPU time (s) 139.95 Current children cumulated vsize (Kb) 19668 [startup+150.088 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688952/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19796 CPUtime=149.95 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53688 0 0 0 14944 51 0 0 25 0 1 0 12296864 20271104 4212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 13033102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4949 4212 437 55 0 3841 0 Current children cumulated CPU time (s) 149.95 Current children cumulated vsize (Kb) 19796 [startup+160.094 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688888/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19796 CPUtime=159.96 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53703 0 0 0 15943 53 0 0 25 0 1 0 12296864 20271104 4227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4949 4227 437 55 0 3841 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 19796 [startup+170.1 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688760/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19928 CPUtime=169.96 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53727 0 0 0 16942 54 0 0 25 0 1 0 12296864 20406272 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4982 4251 437 55 0 3874 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 19928 [startup+180.106 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688760/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19676 CPUtime=179.96 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53759 0 0 0 17940 56 0 0 25 0 1 0 12296864 20148224 4203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4919 4203 437 55 0 3811 0 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 19676 [startup+190.112 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688760/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19804 CPUtime=189.97 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53763 0 0 0 18939 58 0 0 25 0 1 0 12296864 20279296 4207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4951 4207 437 55 0 3843 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 19804 [startup+200.118 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688824/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=19772 CPUtime=199.97 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 53793 0 0 0 19938 59 0 0 25 0 1 0 12296864 20246528 4224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 4943 4224 437 55 0 3835 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 19772 [startup+210.124 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21109 /proc/meminfo: memFree=1688824/2055920 swapFree=4192956/4192956 ################ # More data... # ################ /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1760.39 Current children cumulated vsize (Kb) 20048 [startup+1771.04 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1687992/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1770.4 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 176719 321 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 20048 [startup+1781.05 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1780.4 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 177718 322 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1780.4 Current children cumulated vsize (Kb) 20048 [startup+1782.05 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1781.4 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 177818 322 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 20048 [startup+1783.06 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1782.41 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 177919 322 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 20048 [startup+1784.06 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1783.41 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 178019 322 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 20048 [startup+1785.07 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1784.41 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 178119 322 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 20048 [startup+1786.07 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1785.42 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 178220 322 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 20048 [startup+1787.08 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1786.42 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 178320 322 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 20048 [startup+1788.08 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1787.42 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 178420 322 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 20048 [startup+1789.09 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1788.43 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 178520 323 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1788.43 Current children cumulated vsize (Kb) 20048 [startup+1790.09 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1789.44 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 178621 323 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 20048 [startup+1791.1 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1790.44 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 178721 323 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 20048 [startup+1792.1 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1791.45 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 178822 323 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 20048 [startup+1793.11 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1792.45 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 178922 323 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603414 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 20048 [startup+1794.11 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1793.46 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 179022 324 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 20048 [startup+1795.12 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1794.46 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 179122 324 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618185 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 20048 [startup+1796.12 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1795.47 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 179223 324 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 20048 [startup+1797.13 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1796.47 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 179323 324 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (Kb) 20048 [startup+1798.13 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1797.48 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 179424 324 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 13033124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 20048 [startup+1799.14 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1798.48 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 179524 324 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 20048 [startup+1800.14 s] /proc/loadavg: 0.99 1.00 0.93 2/64 21304 /proc/meminfo: memFree=1688056/2055920 swapFree=4192956/4192956 [pid=21109] ppid=21107 vsize=20048 CPUtime=1799.49 /proc/21109/stat : 21109 (bsolo) R 21107 21109 21063 0 -1 0 54245 0 0 0 179624 325 0 0 25 0 1 0 12296864 20529152 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21109/statm: 5012 4286 437 55 0 3904 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 20048 Child status: 10 Real time (s): 1800.66 CPU time (s): 1800.01 CPU user time (s): 1796.75 CPU system time (s): 3.2545 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (Kb): 20152
Begin job on node26 on Fri Jun 2 23:34:20 UTC 2006 FILE ID= 40484-1149291260 PBS_JOBID= 306904 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/40484-1149291260/instance-40484-1149291260.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-40484-1149291260 -o ROOT/results/node26/solver-40484-1149291260 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/40484-1149291260/instance-40484-1149291260.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 65bafde3eb06761afc4fe90b6aa8c264 RANDOM SEED= 445702595 /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.247 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.247 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1704248 kB Buffers: 19508 kB Cached: 276428 kB SwapCached: 0 kB Active: 61240 kB Inactive: 249236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1704248 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 160 kB Writeback: 0 kB Mapped: 24912 kB Slab: 27300 kB Committed_AS: 209768 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node26 on Sat Jun 3 00:04:20 UTC 2006