Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -27 | 1800.01 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
MD5SUM | 2e8a2f5e2511f10f037e700bd45c84a1 |
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 | 45.2231 |
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 | 17794 |
Number of constraints which are clauses | 17794 |
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.01 c INFO: OSL Context initialized. 0.26 c Initial problem consists of 450 variables and 17794 constraints. 1.30 c No problem reductions applied in OPT. instance. 1.30 c preprocess terminated. Elapsed time: 1.296 1.30 c After prepocess the problem consists of 450 variables and 17794 constraints. 1.30 c Initial Lower Bound: -450 1.31 c Sol. found (all assignments made)... 1.31 o -1 1.31 c NEW SOLUTION FOUND: -1 @ 1.308 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 o -2 1.31 c NEW SOLUTION FOUND: -2 @ 1.31 1.31 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 o -3 1.32 c NEW SOLUTION FOUND: -3 @ 1.314 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 o -4 1.33 c NEW SOLUTION FOUND: -4 @ 1.322 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 o -5 1.34 c NEW SOLUTION FOUND: -5 @ 1.333 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 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 -6 1.35 c NEW SOLUTION FOUND: -6 @ 1.344 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 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 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.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 Restart #1 #Var: 450 LB: -450 @ 1.392 1.41 c Sol. found (all assignments made)... 1.41 o -22 1.41 c NEW SOLUTION FOUND: -22 @ 1.406 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.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 o -23 1.44 c NEW SOLUTION FOUND: -23 @ 1.437 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.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.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.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.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.51 c Sol. found (all assignments made)... 1.53 c Restart #2 #Var: 450 LB: -450 @ 1.52 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 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.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.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.62 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.66 c Restart #3 #Var: 450 LB: -450 @ 1.651 1.82 c Restart #4 #Var: 450 LB: -450 @ 1.816 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.93 c Sol. found (all assignments made)... 1.93 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.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.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.03 c Restart #5 #Var: 450 LB: -450 @ 2.021 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.06 c Sol. found (all assignments made)... 2.08 c Sol. found (all assignments made)... 2.08 c Sol. found (all assignments made)... 2.08 c Sol. found (all assignments made)... 2.08 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.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.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.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.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.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.16 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.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.24 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 8.95 c CHANGE to MIS mode... UB: -23 MIS: -229 LPR: -195 (0.6617) Diff: 1.1744 8.95 c Restart #0 #Var: 450 LB: -450 @ 8.893 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.03 c Restart #1 #Var: 450 LB: -450 @ 8.972 9.15 c Restart #2 #Var: 450 LB: -450 @ 9.094 9.18 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.30 c Restart #3 #Var: 450 LB: -450 @ 9.246 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.50 c Restart #4 #Var: 450 LB: -228 @ 9.448 9.74 c Restart #5 #Var: 450 LB: -450 @ 9.689 10.04 c Restart #6 #Var: 450 LB: -229 @ 9.984 10.10 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 o -24 10.10 c NEW SOLUTION FOUND: -24 @ 10.043 10.10 c Sol. found (all assignments made)... 10.40 c Restart #7 #Var: 450 LB: -230 @ 10.342 10.75 c Restart #8 #Var: 450 LB: -450 @ 10.693 10.86 c Sol. found (all assignments made)... 11.15 c Restart #9 #Var: 450 LB: -229 @ 11.094 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.20 c Sol. found (all assignments made)... 11.20 c Sol. found (all assignments made)... 11.21 c Sol. found (all assignments made)... 11.21 c Sol. found (all assignments made)... 11.58 c Restart #10 #Var: 450 LB: -229 @ 11.526 11.82 c Sol. found (all assignments made)... 11.83 c Sol. found (all assignments made)... 12.07 c Restart #11 #Var: 450 LB: -228 @ 12.019 12.11 c Sol. found (all assignments made)... 12.61 c Restart #12 #Var: 450 LB: -228 @ 12.554 12.93 c Sol. found (all assignments made)... 12.93 c Sol. found (all assignments made)... 12.94 c Sol. found (all assignments made)... 12.95 c Sol. found (all assignments made)... 12.96 c Sol. found (all assignments made)... 12.96 c Sol. found (all assignments made)... 13.18 c Restart #13 #Var: 450 LB: -227 @ 13.123 13.23 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.77 c Restart #14 #Var: 450 LB: -450 @ 13.712 14.11 c Sol. found (all assignments made)... 14.11 c Sol. found (all assignments made)... 14.41 c Restart #15 #Var: 450 LB: -450 @ 14.356 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.65 c Sol. found (all assignments made)... 14.65 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 15.07 c Restart #16 #Var: 450 LB: -450 @ 15.014 15.12 c Sol. found (all assignments made)... 15.20 c Sol. found (all assignments made)... 15.21 c Sol. found (all assignments made)... 15.21 c Sol. found (all assignments made)... 15.21 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.23 c Sol. found (all assignments made)... 15.24 c Sol. found (all assignments made)... 15.24 c Sol. found (all assignments made)... 15.24 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.26 c Sol. found (all assignments made)... 15.26 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.31 c Sol. found (all assignments made)... 15.31 c Sol. found (all assignments made)... 15.31 c Sol. found (all assignments made)... 15.31 c Sol. found (all assignments made)... 15.36 c Sol. found (all assignments made)... 15.36 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.79 c Restart #17 #Var: 450 LB: -450 @ 15.736 15.91 c Sol. found (all assignments made)... 16.56 c Restart #18 #Var: 450 LB: -450 @ 16.506 16.59 c Sol. found (all assignments made)... 16.59 c Sol. found (all assignments made)... 16.67 c Sol. found (all assignments made)... 16.95 c Sol. found (all assignments made)... 17.23 c Sol. found (all assignments made)... 17.25 c Sol. found (all assignments made)... 17.26 c Sol. found (all assignments made)... 17.28 c Sol. found (all assignments made)... 17.38 c Restart #19 #Var: 450 LB: -228 @ 17.322 17.41 c Sol. found (all assignments made)... 17.41 c Sol. found (all assignments made)... 17.42 c Sol. found (all assignments made)... 17.42 c Sol. found (all assignments made)... 17.42 c Sol. found (all assignments made)... 17.42 c Sol. found (all assignments made)... 17.42 c Sol. found (all assignments made)... 17.42 c Sol. found (all assignments made)... 17.42 c Sol. found (all assignments made)... 17.42 c Sol. found (all assignments made)... 17.42 c Sol. found (all assignments made)... 17.43 c Sol. found (all assignments made)... 17.43 c Sol. found (all assignments made)... 17.43 c Sol. found (all assignments made)... 17.43 c Sol. found (all assignments made)... 17.43 c Sol. found (all assignments made)... 17.43 c Sol. found (all assignments made)... 17.44 c Sol. found (all assignments made)... 17.44 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.76 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 18.21 c Restart #20 #Var: 450 LB: -450 @ 18.156 19.09 c Restart #21 #Var: 450 LB: -450 @ 19.038 19.72 c Sol. found (all assignments made)... 19.77 c Sol. found (all assignments made)... 19.99 c Restart #22 #Var: 450 LB: -450 @ 19.933 20.98 c Restart #23 #Var: 450 LB: -450 @ 20.917 21.58 c Sol. found (all assignments made)... 21.98 c Restart #24 #Var: 450 LB: -450 @ 21.926 22.06 c Sol. found (all assignments made)... 22.32 c Sol. found (all assignments made)... 22.38 c Sol. found (all assignments made)... 22.67 c Sol. found (all assignments made)... 22.85 c Sol. found (all assignments made)... 23.00 c Restart #25 #Var: 450 LB: -450 @ 22.941 23.32 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.70 c Sol. found (all assignments made)... 23.70 c Sol. found (all assignments made)... 23.71 c Sol. found (all assignments made)... 23.71 c Sol. found (all assignments made)... 23.71 c Sol. found (all assignments made)... 23.71 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.87 c Sol. found (all assignments made)... 24.03 c Restart #26 #Var: 450 LB: -450 @ 23.968 24.37 c Sol. found (all assignments made)... 24.37 c Sol. found (all assignments made)... 25.11 c Restart #27 #Var: 450 LB: -450 @ 25.051 26.26 c Restart #28 #Var: 450 LB: -450 @ 26.198 27.02 c Sol. found (all assignments made)... 27.03 c Sol. found (all assignments made)... 27.45 c Restart #29 #Var: 450 LB: -450 @ 27.391 28.13 c Sol. found (all assignments made)... 28.13 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.37 c Sol. found (all assignments made)... 28.37 c Sol. found (all assignments made)... 28.37 c Sol. found (all assignments made)... 28.67 c Restart #30 #Var: 450 LB: -450 @ 28.606 29.95 c Restart #31 #Var: 450 LB: -450 @ 29.886 30.00 c Sol. found (all assignments made)... 30.00 c Sol. found (all assignments made)... 30.00 c Sol. found (all assignments made)... 30.03 c Sol. found (all assignments made)... 30.03 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.12 c Sol. found (all assignments made)... 30.12 c Sol. found (all assignments made)... 30.12 c Sol. found (all assignments made)... 30.12 c Sol. found (all assignments made)... 30.12 c Sol. found (all assignments made)... 30.12 c Sol. found (all assignments made)... 30.12 c Sol. found (all assignments made)... 30.13 c Sol. found (all assignments made)... 30.13 c Sol. found (all assignments made)... 30.13 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.19 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.24 c Sol. found (all assignments made)... 30.24 c Sol. found (all assignments made)... 30.24 c Sol. found (all assignments made)... 30.24 c Sol. found (all assignments made)... 30.24 o -25 30.24 c NEW SOLUTION FOUND: -25 @ 30.177 30.24 c Sol. found (all assignments made)... 30.24 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.26 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.33 c Sol. found (all assignments made)... 30.33 c Sol. found (all assignments made)... 30.33 c Sol. found (all assignments made)... 30.33 c Sol. found (all assignments made)... 30.33 c Sol. found (all assignments made)... 30.33 c Sol. found (all assignments made)... 30.35 c Sol. found (all assignments made)... 30.35 c Sol. found (all assignments made)... 30.35 c Sol. found (all assignments made)... 30.37 c Sol. found (all assignments made)... 30.38 c Sol. found (all assignments made)... 30.38 c Sol. found (all assignments made)... 30.38 c Sol. found (all assignments made)... 30.38 c Sol. found (all assignments made)... 30.38 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.48 c Sol. found (all assignments made)... 30.48 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.55 c Sol. found (all assignments made)... 30.56 c Sol. found (all assignments made)... 30.57 c Sol. found (all assignments made)... 30.57 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.61 c Sol. found (all assignments made)... 30.61 c Sol. found (all assignments made)... 30.62 c Sol. found (all assignments made)... 30.62 c Sol. found (all assignments made)... 30.62 c Sol. found (all assignments made)... 30.63 c Sol. found (all assignments made)... 30.63 c Sol. found (all assignments made)... 30.64 c Sol. found (all assignments made)... 30.65 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.70 c Sol. found (all assignments made)... 31.43 c Sol. found (all assignments made)... 31.50 c Restart #32 #Var: 450 LB: -450 @ 31.435 32.88 c Restart #33 #Var: 450 LB: -450 @ 32.82 34.34 c Restart #34 #Var: 450 LB: -450 @ 34.277 35.58 c Sol. found (all assignments made)... 35.58 c Sol. found (all assignments made)... 35.85 c Restart #35 #Var: 450 LB: -230 @ 35.791 37.33 c Restart #36 #Var: 450 LB: -450 @ 37.267 38.63 c Sol. found (all assignments made)... 38.63 c Sol. found (all assignments made)... 38.63 c Sol. found (all assignments made)... 38.64 c Sol. found (all assignments made)... 38.82 c Restart #37 #Var: 450 LB: -228 @ 38.754 40.47 c Restart #38 #Var: 450 LB: -450 @ 40.403 42.18 c Restart #39 #Var: 450 LB: -228 @ 42.119 43.85 c Restart #40 #Var: 450 LB: -450 @ 43.788 45.60 c Restart #41 #Var: 450 LB: -450 @ 45.537 47.39 c Restart #42 #Var: 450 LB: -450 @ 47.326 49.18 c Restart #43 #Var: 450 LB: -450 @ 49.111 49.57 c Sol. found (all assignments made)... 49.58 c Sol. found (all assignments made)... 49.58 c Sol. found (all assignments made)... 49.58 c Sol. found (all assignments made)... 49.58 c Sol. found (all assignments made)... 50.04 c Sol. found (all assignments made)... 50.05 c Sol. found (all assignments made)... 50.07 c Sol. found (all assignments made)... 50.07 c Sol. found (all assignments made)... 50.09 c Sol. found (all assignments made)... 50.09 c Sol. found (all assignments made)... 50.10 c Sol. found (all assignments made)... 50.10 c Sol. found (all assignments made)... 50.10 c Sol. found (all assignments made)... 50.12 c Sol. found (all assignments made)... 50.12 c Sol. found (all assignments made)... 50.13 c Sol. found (all assignments made)... 50.13 c Sol. found (all assignments made)... 50.24 c Sol. found (all assignments made)... 50.25 c Sol. found (all assignments made)... 50.28 c Sol. found (all assignments made)... 50.30 c Sol. found (all assignments made)... 50.31 c Sol. found (all assignments made)... 50.86 c Sol. found (all assignments made)... 50.87 c Sol. found (all assignments made)... 50.87 c Sol. found (all assignments made)... 50.90 c Sol. found (all assignments made)... 50.96 c Restart #44 #Var: 450 LB: -450 @ 50.893 52.34 c Sol. found (all assignments made)... 52.82 c Restart #45 #Var: 450 LB: -450 @ 52.748 54.71 c Restart #46 #Var: 450 LB: -450 @ 54.64 56.65 c Restart #47 #Var: 450 LB: -450 @ 56.58 58.61 c Restart #48 #Var: 450 LB: -450 @ 58.535 59.01 c Sol. found (all assignments made)... 59.35 c Sol. found (all assignments made)... 59.35 c Sol. found (all assignments made)... 59.36 c Sol. found (all assignments made)... 59.36 c Sol. found (all assignments made)... 59.42 c Sol. found (all assignments made)... 59.42 c Sol. found (all assignments made)... 59.46 c Sol. found (all assignments made)... 59.46 c Sol. found (all assignments made)... 60.49 c Sol. found (all assignments made)... 60.49 c Sol. found (all assignments made)... 60.49 c Sol. found (all assignments made)... 60.50 c Sol. found (all assignments made)... 60.63 c Restart #49 #Var: 450 LB: -450 @ 60.556 62.72 c Restart #50 #Var: 450 LB: -450 @ 62.648 64.83 c Restart #51 #Var: 450 LB: -450 @ 64.754 67.05 c Restart #52 #Var: 450 LB: -450 @ 66.976 69.36 c Restart #53 #Var: 450 LB: -450 @ 69.28 70.62 c Sol. found (all assignments made)... 70.63 c Sol. found (all assignments made)... 71.26 c Sol. found (all assignments made)... 71.56 c Restart #54 #Var: 450 LB: -450 @ 71.485 73.80 c Restart #55 #Var: 450 LB: -228 @ 73.721 76.09 c Restart #56 #Var: 450 LB: -450 @ 76.016 77.72 c Sol. found (all assignments made)... 77.78 c Sol. found (all assignments made)... 77.78 c Sol. found (all assignments made)... 77.79 c Sol. found (all assignments made)... 77.79 c Sol. found (all assignments made)... 77.79 c Sol. found (all assignments made)... 77.79 c Sol. found (all assignments made)... 77.79 c Sol. found (all assignments made)... 77.80 c Sol. found (all assignments made)... 77.80 c Sol. found (all assignments made)... 77.80 c Sol. found (all assignments made)... 77.80 c Sol. found (all assignments made)... 77.80 c Sol. found (all assignments made)... 77.80 c Sol. found (all assignments made)... 77.80 c Sol. found (all assignments made)... 77.81 c Sol. found (all assignments made)... 77.81 c Sol. found (all assignments made)... 77.81 c Sol. found (all assignments made)... 77.81 c Sol. found (all assignments made)... 77.81 c Sol. found (all assignments made)... 77.81 c Sol. found (all assignments made)... 77.83 c Sol. found (all assignments made)... 77.83 c Sol. found (all assignments made)... 77.83 c Sol. found (all assignments made)... 77.83 c Sol. found (all assignments made)... 77.83 c Sol. found (all assignments made)... 77.84 c Sol. found (all assignments made)... 77.84 c Sol. found (all assignments made)... 77.85 c Sol. found (all assignments made)... 77.85 c Sol. found (all assignments made)... 77.85 c Sol. found (all assignments made)... 77.87 c Sol. found (all assignments made)... 77.88 c Sol. found (all assignments made)... 77.88 c Sol. found (all assignments made)... 77.94 c Sol. found (all assignments made)... 77.94 c Sol. found (all assignments made)... 77.94 c Sol. found (all assignments made)... 77.94 c Sol. found (all assignments made)... 77.94 c Sol. found (all assignments made)... 77.94 c Sol. found (all assignments made)... 77.95 c Sol. found (all assignments made)... 77.95 c Sol. found (all assignments made)... 77.95 c Sol. found (all assignments made)... 77.95 c Sol. found (all assignments made)... 77.95 c Sol. found (all assignments made)... 77.95 c Sol. found (all assignments made)... 77.95 c Sol. found (all assignments made)... 77.96 c Sol. found (all assignments made)... 77.96 c Sol. found (all assignments made)... 77.97 c Sol. found (all assignments made)... 77.97 c Sol. found (all assignments made)... 77.97 c Sol. found (all assignments made)... 77.97 c Sol. found (all assignments made)... 77.97 c Sol. found (all assignments made)... 77.98 c Sol. found (all assignments made)... 77.99 c Sol. found (all assignments made)... 77.99 c Sol. found (all assignments made)... 77.99 c Sol. found (all assignments made)... 77.99 c Sol. found (all assignments made)... 77.99 c Sol. found (all assignments made)... 77.99 c Sol. found (all assignments made)... 77.99 c Sol. found (all assignments made)... 77.99 c Sol. found (all assignments made)... 78.00 c Sol. found (all assignments made)... 78.00 c Sol. found (all assignments made)... 78.00 c Sol. found (all assignments made)... 78.00 c Sol. found (all assignments made)... 78.00 c Sol. found (all assignments made)... 78.01 c Sol. found (all assignments made)... 78.04 c Sol. found (all assignments made)... 78.04 c Sol. found (all assignments made)... 78.04 c Sol. found (all assignments made)... 78.04 c Sol. found (all assignments made)... 78.05 c Sol. found (all assignments made)... 78.05 c Sol. found (all assignments made)... 78.06 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.10 c Sol. found (all assignments made)... 78.10 c Sol. found (all assignments made)... 78.10 c Sol. found (all assignments made)... 78.11 c Sol. found (all assignments made)... 78.11 c Sol. found (all assignments made)... 78.11 c Sol. found (all assignments made)... 78.16 c Sol. found (all assignments made)... 78.16 c Sol. found (all assignments made)... 78.16 c Sol. found (all assignments made)... 78.16 c Sol. found (all assignments made)... 78.17 c Sol. found (all assignments made)... 78.17 c Sol. found (all assignments made)... 78.17 c Sol. found (all assignments made)... 78.17 c Sol. found (all assignments made)... 78.17 c Sol. found (all assignments made)... 78.18 c Sol. found (all assignments made)... 78.18 c Sol. found (all assignments made)... 78.18 c Sol. found (all assignments made)... 78.18 c Sol. found (all assignments made)... 78.18 c Sol. found (all assignments made)... 78.18 c Sol. found (all assignments made)... 78.18 c Sol. found (all assignments made)... 78.24 c Sol. found (all assignments made)... 78.24 c Sol. found (all assignments made)... 78.24 c Sol. found (all assignments made)... 78.24 c Sol. found (all assignments made)... 78.33 c Sol. found (all assignments made)... 78.33 c Sol. found (all assignments made)... 78.33 c Sol. found (all assignments made)... 78.38 c Sol. found (all assignments made)... 78.39 c Sol. found (all assignments made)... 78.45 c Restart #57 #Var: 450 LB: -450 @ 78.368 80.86 c Restart #58 #Var: 450 LB: -450 @ 80.777 83.33 c Restart #59 #Var: 450 LB: -450 @ 83.252 84.12 c Sol. found (all assignments made)... 85.82 c Restart #60 #Var: 450 LB: -450 @ 85.744 86.32 c Sol. found (all assignments made)... 86.32 c Sol. found (all assignments made)... 86.32 c Sol. found (all assignments made)... 86.32 c Sol. found (all assignments made)... 86.33 c Sol. found (all assignments made)... 86.33 c Sol. found (all assignments made)... 86.45 c Sol. found (all assignments made)... 87.22 c Sol. found (all assignments made)... 87.23 c Sol. found (all assignments made)... 88.04 c Sol. found (all assignments made)... 88.04 c Sol. found (all assignments made)... 88.06 c Sol. found (all assignments made)... 88.07 c Sol. found (all assignments made)... 88.27 c Restart #61 #Var: 450 LB: -450 @ 88.182 90.86 c Restart #62 #Var: 450 LB: -450 @ 90.775 93.48 c Sol. found (all assignments made)... 93.54 c Restart #63 #Var: 450 LB: -450 @ 93.452 94.27 c Sol. found (all assignments made)... 94.85 c Sol. found (all assignments made)... 95.64 c Sol. found (all assignments made)... 96.06 c Restart #64 #Var: 450 LB: -450 @ 95.973 97.75 c Sol. found (all assignments made)... 98.64 c Restart #65 #Var: 450 LB: -450 @ 98.553 101.43 c Restart #66 #Var: 450 LB: -450 @ 101.34 104.30 c Restart #67 #Var: 450 LB: -450 @ 104.21 107.12 c Restart #68 #Var: 450 LB: -450 @ 107.03 107.18 c Sol. found (all assignments made)... 107.22 c Sol. found (all assignments made)... 109.85 c Restart #69 #Var: 450 LB: -450 @ 109.76 112.75 c Restart #70 #Var: 450 LB: -450 @ 112.66 115.69 c Restart #71 #Var: 450 LB: -450 @ 115.59 115.77 c Sol. found (all assignments made)... 115.85 c Sol. found (all assignments made)... 115.85 c Sol. found (all assignments made)... 115.85 c Sol. found (all assignments made)... 115.86 c Sol. found (all assignments made)... 116.02 c Sol. found (all assignments made)... 116.02 c Sol. found (all assignments made)... 116.02 c Sol. found (all assignments made)... 118.34 c Sol. found (all assignments made)... 118.53 c Sol. found (all assignments made)... 118.53 c Sol. found (all assignments made)... 118.53 o -26 118.53 c NEW SOLUTION FOUND: -26 @ 118.44 121.44 c Restart #72 #Var: 450 LB: -450 @ 121.35 124.41 c Restart #73 #Var: 450 LB: -450 @ 124.32 127.60 c Restart #74 #Var: 450 LB: -450 @ 127.5 130.79 c Restart #75 #Var: 450 LB: -450 @ 130.69 134.04 c Restart #76 #Var: 450 LB: -450 @ 133.94 137.46 c Restart #77 #Var: 450 LB: -450 @ 137.35 137.49 c Sol. found (all assignments made)... 137.49 c Sol. found (all assignments made)... 137.49 c Sol. found (all assignments made)... 137.49 c Sol. found (all assignments made)... 137.50 c Sol. found (all assignments made)... 137.50 c Sol. found (all assignments made)... 137.50 c Sol. found (all assignments made)... 137.50 c Sol. found (all assignments made)... 137.50 c Sol. found (all assignments made)... 137.51 c Sol. found (all assignments made)... 137.51 c Sol. found (all assignments made)... 137.51 c Sol. found (all assignments made)... 137.51 c Sol. found (all assignments made)... 137.51 c Sol. found (all assignments made)... 137.55 c Sol. found (all assignments made)... 137.55 c Sol. found (all assignments made)... 138.56 c Sol. found (all assignments made)... 138.57 c Sol. found (all assignments made)... 138.57 c Sol. found (all assignments made)... 138.58 c Sol. found (all assignments made)... 138.61 c Sol. found (all assignments made)... 138.66 c Sol. found (all assignments made)... 138.66 c Sol. found (all assignments made)... 138.66 c Sol. found (all assignments made)... 138.66 c Sol. found (all assignments made)... 138.66 c Sol. found (all assignments made)... 138.66 c Sol. found (all assignments made)... 138.66 c Sol. found (all assignments made)... 138.66 c Sol. found (all assignments made)... 138.67 c Sol. found (all assignments made)... 138.67 c Sol. found (all assignments made)... 138.67 c Sol. found (all assignments made)... 138.67 c Sol. found (all assignments made)... 138.68 c Sol. found (all assignments made)... 138.68 c Sol. found (all assignments made)... 138.68 c Sol. found (all assignments made)... 138.68 c Sol. found (all assignments made)... 138.68 c Sol. found (all assignments made)... 138.68 c Sol. found (all assignments made)... 138.68 c Sol. found (all assignments made)... 138.69 c Sol. found (all assignments made)... 138.69 c Sol. found (all assignments made)... 138.69 c Sol. found (all assignments made)... 138.69 c Sol. found (all assignments made)... 138.69 c Sol. found (all assignments made)... 138.69 c Sol. found (all assignments made)... 138.69 c Sol. found (all assignments made)... 138.69 c Sol. found (all assignments made)... 138.70 c Sol. found (all assignments made)... 138.70 c Sol. found (all assignments made)... 138.70 c Sol. found (all assignments made)... 138.70 c Sol. found (all assignments made)... 138.71 c Sol. found (all assignments made)... 138.71 c Sol. found (all assignments made)... 138.71 c Sol. found (all assignments made)... 138.71 c Sol. found (all assignments made)... 138.71 c Sol. found (all assignments made)... 138.71 c Sol. found (all assignments made)... 138.71 c Sol. found (all assignments made)... 138.71 c Sol. found (all assignments made)... 138.72 c Sol. found (all assignments made)... 138.72 c Sol. found (all assignments made)... 138.72 c Sol. found (all assignments made)... 138.72 c Sol. found (all assignments made)... 138.72 c Sol. found (all assignments made)... 138.75 c Sol. found (all assignments made)... 138.75 c Sol. found (all assignments made)... 138.76 c Sol. found (all assignments made)... 138.76 c Sol. found (all assignments made)... 138.76 c Sol. found (all assignments made)... 138.76 c Sol. found (all assignments made)... 138.76 c Sol. found (all assignments made)... 138.76 c Sol. found (all assignments made)... 138.78 c Sol. found (all assignments made)... 138.79 c Sol. found (all assignments made)... 138.79 c Sol. found (all assignments made)... 138.79 c Sol. found (all assignments made)... 138.79 c Sol. found (all assignments made)... 138.79 c Sol. found (all assignments made)... 138.79 c Sol. found (all assignments made)... 138.79 c Sol. found (all assignments made)... 138.79 c Sol. found (all assignments made)... 138.80 c Sol. found (all assignments made)... 138.80 c Sol. found (all assignments made)... 138.80 c Sol. found (all assignments made)... 138.80 c Sol. found (all assignments made)... 138.80 c Sol. found (all assignments made)... 138.81 c Sol. found (all assignments made)... 138.81 c Sol. found (all assignments made)... 138.85 c Sol. found (all assignments made)... 138.85 c Sol. found (all assignments made)... 138.85 c Sol. found (all assignments made)... 138.85 c Sol. found (all assignments made)... 138.85 c Sol. found (all assignments made)... 138.85 c Sol. found (all assignments made)... 138.86 c Sol. found (all assignments made)... 138.86 c Sol. found (all assignments made)... 138.87 c Sol. found (all assignments made)... 138.88 c Sol. found (all assignments made)... 138.88 c Sol. found (all assignments made)... 138.88 c Sol. found (all assignments made)... 138.88 c Sol. found (all assignments made)... 138.88 c Sol. found (all assignments made)... 138.88 c Sol. found (all assignments made)... 138.88 c Sol. found (all assignments made)... 138.88 c Sol. found (all assignments made)... 138.89 c Sol. found (all assignments made)... 138.89 c Sol. found (all assignments made)... 138.89 c Sol. found (all assignments made)... 138.89 c Sol. found (all assignments made)... 138.89 c Sol. found (all assignments made)... 138.89 c Sol. found (all assignments made)... 138.90 c Sol. found (all assignments made)... 138.90 c Sol. found (all assignments made)... 138.98 c Sol. found (all assignments made)... 139.03 c Sol. found (all assignments made)... 139.03 c Sol. found (all assignments made)... 139.03 c Sol. found (all assignments made)... 139.03 c Sol. found (all assignments made)... 139.04 c Sol. found (all assignments made)... 139.04 c Sol. found (all assignments made)... 139.04 c Sol. found (all assignments made)... 139.05 c Sol. found (all assignments made)... 139.05 c Sol. found (all assignments made)... 139.05 c Sol. found (all assignments made)... 139.05 c Sol. found (all assignments made)... 139.05 c Sol. found (all assignments made)... 139.05 c Sol. found (all assignments made)... 139.05 c Sol. found (all assignments made)... 139.10 c Sol. found (all assignments made)... 139.10 c Sol. found (all assignments made)... 139.10 c Sol. found (all assignments made)... 139.10 c Sol. found (all assignments made)... 139.10 c Sol. found (all assignments made)... 139.11 c Sol. found (all assignments made)... 139.11 c Sol. found (all assignments made)... 139.11 c Sol. found (all assignments made)... 139.11 c Sol. found (all assignments made)... 139.11 c Sol. found (all assignments made)... 139.12 c Sol. found (all assignments made)... 139.12 c Sol. found (all assignments made)... 139.12 c Sol. found (all assignments made)... 139.12 c Sol. found (all assignments made)... 139.12 c Sol. found (all assignments made)... 139.20 c Sol. found (all assignments made)... 139.21 c Sol. found (all assignments made)... 139.21 c Sol. found (all assignments made)... 139.21 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.22 c Sol. found (all assignments made)... 139.23 c Sol. found (all assignments made)... 139.23 c Sol. found (all assignments made)... 139.23 c Sol. found (all assignments made)... 139.23 c Sol. found (all assignments made)... 139.23 c Sol. found (all assignments made)... 139.23 c Sol. found (all assignments made)... 139.23 c Sol. found (all assignments made)... 139.23 c Sol. found (all assignments made)... 139.23 c Sol. found (all assignments made)... 139.23 c Sol. found (all assignments made)... 139.30 c Sol. found (all assignments made)... 139.31 c Sol. found (all assignments made)... 139.31 c Sol. found (all assignments made)... 139.31 c Sol. found (all assignments made)... 139.44 c Sol. found (all assignments made)... 139.64 c Sol. found (all assignments made)... 139.79 c Sol. found (all assignments made)... 139.79 c Sol. found (all assignments made)... 139.79 c Sol. found (all assignments made)... 140.80 c Restart #78 #Var: 450 LB: -450 @ 140.7 140.92 c Sol. found (all assignments made)... 140.93 c Sol. found (all assignments made)... 140.93 c Sol. found (all assignments made)... 140.93 c Sol. found (all assignments made)... 140.94 c Sol. found (all assignments made)... 140.99 c Sol. found (all assignments made)... 140.99 c Sol. found (all assignments made)... 140.99 c Sol. found (all assignments made)... 141.14 c Sol. found (all assignments made)... 141.14 c Sol. found (all assignments made)... 141.14 c Sol. found (all assignments made)... 141.14 c Sol. found (all assignments made)... 141.14 c Sol. found (all assignments made)... 141.15 c Sol. found (all assignments made)... 141.15 c Sol. found (all assignments made)... 141.15 c Sol. found (all assignments made)... 141.15 c Sol. found (all assignments made)... 141.17 c Sol. found (all assignments made)... 141.19 c Sol. found (all assignments made)... 141.20 c Sol. found (all assignments made)... 141.20 c Sol. found (all assignments made)... 141.21 c Sol. found (all assignments made)... 141.21 c Sol. found (all assignments made)... 141.24 c Sol. found (all assignments made)... 141.25 c Sol. found (all assignments made)... 141.25 c Sol. found (all assignments made)... 141.27 c Sol. found (all assignments made)... 141.35 c Sol. found (all assignments made)... 141.35 c Sol. found (all assignments made)... 141.35 c Sol. found (all assignments made)... 141.35 c Sol. found (all assignments made)... 141.41 c Sol. found (all assignments made)... 141.41 c Sol. found (all assignments made)... 141.41 c Sol. found (all assignments made)... 141.41 c Sol. found (all assignments made)... 141.62 c Sol. found (all assignments made)... 141.62 c Sol. found (all assignments made)... 141.64 c Sol. found (all assignments made)... 141.64 c Sol. found (all assignments made)... 141.65 c Sol. found (all assignments made)... 141.66 c Sol. found (all assignments made)... 141.67 c Sol. found (all assignments made)... 141.67 c Sol. found (all assignments made)... 141.67 c Sol. found (all assignments made)... 141.67 c Sol. found (all assignments made)... 141.68 c Sol. found (all assignments made)... 141.68 c Sol. found (all assignments made)... 141.68 c Sol. found (all assignments made)... 141.68 c Sol. found (all assignments made)... 141.75 c Sol. found (all assignments made)... 141.76 c Sol. found (all assignments made)... 141.76 c Sol. found (all assignments made)... 141.76 c Sol. found (all assignments made)... 141.76 c Sol. found (all assignments made)... 141.78 c Sol. found (all assignments made)... 141.78 c Sol. found (all assignments made)... 141.78 c Sol. found (all assignments made)... 141.79 c Sol. found (all assignments made)... 141.80 c Sol. found (all assignments made)... 141.81 c Sol. found (all assignments made)... 141.81 c Sol. found (all assignments made)... 141.81 c Sol. found (all assignments made)... 141.81 c Sol. found (all assignments made)... 141.82 c Sol. found (all assignments made)... 141.82 c Sol. found (all assignments made)... 141.83 c Sol. found (all assignments made)... 141.83 c Sol. found (all assignments made)... 141.83 c Sol. found (all assignments made)... 141.88 c Sol. found (all assignments made)... 141.88 c Sol. found (all assignments made)... 141.89 c Sol. found (all assignments made)... 141.97 c Sol. found (all assignments made)... 141.97 c Sol. found (all assignments made)... 141.98 c Sol. found (all assignments made)... 141.98 c Sol. found (all assignments made)... 142.03 c Sol. found (all assignments made)... 142.04 c Sol. found (all assignments made)... 142.04 c Sol. found (all assignments made)... 142.04 c Sol. found (all assignments made)... 142.04 c Sol. found (all assignments made)... 142.04 c Sol. found (all assignments made)... 142.05 c Sol. found (all assignments made)... 142.05 c Sol. found (all assignments made)... 142.05 c Sol. found (all assignments made)... 142.06 c Sol. found (all assignments made)... 142.06 c Sol. found (all assignments made)... 142.06 c Sol. found (all assignments made)... 142.08 c Sol. found (all assignments made)... 142.09 c Sol. found (all assignments made)... 142.09 c Sol. found (all assignments made)... 142.11 c Sol. found (all assignments made)... 142.11 c Sol. found (all assignments made)... 142.11 c Sol. found (all assignments made)... 142.11 c Sol. found (all assignments made)... 142.12 c Sol. found (all assignments made)... 142.12 c Sol. found (all assignments made)... 142.12 c Sol. found (all assignments made)... 142.12 c Sol. found (all assignments made)... 142.12 c Sol. found (all assignments made)... 142.12 c Sol. found (all assignments made)... 142.12 c Sol. found (all assignments made)... 142.13 c Sol. found (all assignments made)... 142.13 c Sol. found (all assignments made)... 142.13 c Sol. found (all assignments made)... 142.15 c Sol. found (all assignments made)... 142.16 c Sol. found (all assignments made)... 142.16 c Sol. found (all assignments made)... 142.16 c Sol. found (all assignments made)... 142.16 c Sol. found (all assignments made)... 142.16 c Sol. found (all assignments made)... 142.19 c Sol. found (all assignments made)... 142.19 c Sol. found (all assignments made)... 142.19 c Sol. found (all assignments made)... 142.20 c Sol. found (all assignments made)... 142.20 c Sol. found (all assignments made)... 142.22 c Sol. found (all assignments made)... 142.22 c Sol. found (all assignments made)... 142.22 c Sol. found (all assignments made)... 142.23 c Sol. found (all assignments made)... 142.23 c Sol. found (all assignments made)... 142.23 c Sol. found (all assignments made)... 142.23 c Sol. found (all assignments made)... 142.23 c Sol. found (all assignments made)... 142.23 c Sol. found (all assignments made)... 142.24 c Sol. found (all assignments made)... 142.24 c Sol. found (all assignments made)... 142.24 c Sol. found (all assignments made)... 142.25 c Sol. found (all assignments made)... 142.26 c Sol. found (all assignments made)... 142.26 c Sol. found (all assignments made)... 142.30 c Sol. found (all assignments made)... 142.30 c Sol. found (all assignments made)... 142.30 c Sol. found (all assignments made)... 142.30 c Sol. found (all assignments made)... 142.30 c Sol. found (all assignments made)... 142.30 c Sol. found (all assignments made)... 142.31 c Sol. found (all assignments made)... 142.31 c Sol. found (all assignments made)... 142.31 c Sol. found (all assignments made)... 142.31 c Sol. found (all assignments made)... 142.31 c Sol. found (all assignments made)... 142.31 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.33 c Sol. found (all assignments made)... 142.33 c Sol. found (all assignments made)... 142.33 c Sol. found (all assignments made)... 142.33 c Sol. found (all assignments made)... 142.33 c Sol. found (all assignments made)... 142.34 c Sol. found (all assignments made)... 142.34 c Sol. found (all assignments made)... 142.34 c Sol. found (all assignments made)... 142.34 c Sol. found (all assignments made)... 142.34 c Sol. found (all assignments made)... 142.34 c Sol. found (all assignments made)... 142.34 c Sol. found (all assignments made)... 142.34 c Sol. found (all assignments made)... 142.34 c Sol. found (all assignments made)... 142.35 c Sol. found (all assignments made)... 142.37 c Sol. found (all assignments made)... 142.37 c Sol. found (all assignments made)... 142.37 c Sol. found (all assignments made)... 142.37 c Sol. found (all assignments made)... 142.37 c Sol. found (all assignments made)... 142.38 c Sol. found (all assignments made)... 142.38 c Sol. found (all assignments made)... 142.38 c Sol. found (all assignments made)... 142.38 c Sol. found (all assignments made)... 142.38 c Sol. found (all assignments made)... 142.40 c Sol. found (all assignments made)... 142.40 c Sol. found (all assignments made)... 142.41 c Sol. found (all assignments made)... 142.41 c Sol. found (all assignments made)... 142.41 c Sol. found (all assignments made)... 142.41 c Sol. found (all assignments made)... 142.41 c Sol. found (all assignments made)... 142.41 c Sol. found (all assignments made)... 142.42 c Sol. found (all assignments made)... 142.42 c Sol. found (all assignments made)... 142.43 c Sol. found (all assignments made)... 142.43 c Sol. found (all assignments made)... 142.44 c Sol. found (all assignments made)... 142.44 c Sol. found (all assignments made)... 142.44 c Sol. found (all assignments made)... 142.45 c Sol. found (all assignments made)... 142.47 c Sol. found (all assignments made)... 142.47 c Sol. found (all assignments made)... 142.47 c Sol. found (all assignments made)... 142.47 c Sol. found (all assignments made)... 142.47 c Sol. found (all assignments made)... 142.47 c Sol. found (all assignments made)... 142.47 c Sol. found (all assignments made)... 142.48 c Sol. found (all assignments made)... 142.48 c Sol. found (all assignments made)... 142.48 c Sol. found (all assignments made)... 142.48 c Sol. found (all assignments made)... 142.49 c Sol. found (all assignments made)... 142.49 c Sol. found (all assignments made)... 142.50 c Sol. found (all assignments made)... 142.50 c Sol. found (all assignments made)... 142.50 c Sol. found (all assignments made)... 142.50 c Sol. found (all assignments made)... 142.53 c Sol. found (all assignments made)... 142.54 c Sol. found (all assignments made)... 142.54 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.57 c Sol. found (all assignments made)... 142.57 c Sol. found (all assignments made)... 142.57 c Sol. found (all assignments made)... 142.57 c Sol. found (all assignments made)... 142.57 c Sol. found (all assignments made)... 142.57 c Sol. found (all assignments made)... 142.57 c Sol. found (all assignments made)... 142.58 c Sol. found (all assignments made)... 142.58 c Sol. found (all assignments made)... 142.58 c Sol. found (all assignments made)... 142.58 c Sol. found (all assignments made)... 142.58 c Sol. found (all assignments made)... 142.66 c Sol. found (all assignments made)... 142.69 c Sol. found (all assignments made)... 142.69 c Sol. found (all assignments made)... 142.69 c Sol. found (all assignments made)... 142.69 c Sol. found (all assignments made)... 142.69 c Sol. found (all assignments made)... 142.69 c Sol. found (all assignments made)... 142.70 c Sol. found (all assignments made)... 142.70 c Sol. found (all assignments made)... 142.70 c Sol. found (all assignments made)... 142.70 c Sol. found (all assignments made)... 142.72 c Sol. found (all assignments made)... 142.72 c Sol. found (all assignments made)... 142.72 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.74 c Sol. found (all assignments made)... 142.74 c Sol. found (all assignments made)... 142.74 c Sol. found (all assignments made)... 142.74 c Sol. found (all assignments made)... 142.75 c Sol. found (all assignments made)... 142.75 c Sol. found (all assignments made)... 142.75 c Sol. found (all assignments made)... 142.77 c Sol. found (all assignments made)... 142.77 c Sol. found (all assignments made)... 142.77 c Sol. found (all assignments made)... 142.77 c Sol. found (all assignments made)... 142.77 c Sol. found (all assignments made)... 142.78 c Sol. found (all assignments made)... 142.78 c Sol. found (all assignments made)... 142.78 c Sol. found (all assignments made)... 142.78 c Sol. found (all assignments made)... 142.79 c Sol. found (all assignments made)... 142.79 c Sol. found (all assignments made)... 142.79 c Sol. found (all assignments made)... 142.79 c Sol. found (all assignments made)... 142.79 c Sol. found (all assignments made)... 142.79 c Sol. found (all assignments made)... 142.79 c Sol. found (all assignments made)... 142.79 c Sol. found (all assignments made)... 142.79 c Sol. found (all assignments made)... 142.80 c Sol. found (all assignments made)... 142.80 c Sol. found (all assignments made)... 142.80 c Sol. found (all assignments made)... 142.80 c Sol. found (all assignments made)... 142.80 c Sol. found (all assignments made)... 142.80 c Sol. found (all assignments made)... 142.80 c Sol. found (all assignments made)... 142.80 c Sol. found (all assignments made)... 142.81 c Sol. found (all assignments made)... 142.81 c Sol. found (all assignments made)... 142.81 c Sol. found (all assignments made)... 142.81 c Sol. found (all assignments made)... 142.81 c Sol. found (all assignments made)... 142.84 c Sol. found (all assignments made)... 142.84 c Sol. found (all assignments made)... 142.85 c Sol. found (all assignments made)... 142.85 c Sol. found (all assignments made)... 142.85 c Sol. found (all assignments made)... 142.86 c Sol. found (all assignments made)... 142.86 c Sol. found (all assignments made)... 142.86 c Sol. found (all assignments made)... 142.87 c Sol. found (all assignments made)... 142.87 c Sol. found (all assignments made)... 142.87 c Sol. found (all assignments made)... 142.88 c Sol. found (all assignments made)... 142.88 c Sol. found (all assignments made)... 142.88 c Sol. found (all assignments made)... 142.88 c Sol. found (all assignments made)... 142.88 c Sol. found (all assignments made)... 142.89 c Sol. found (all assignments made)... 142.89 c Sol. found (all assignments made)... 142.89 c Sol. found (all assignments made)... 142.89 c Sol. found (all assignments made)... 142.89 c Sol. found (all assignments made)... 142.89 c Sol. found (all assignments made)... 142.89 c Sol. found (all assignments made)... 142.90 c Sol. found (all assignments made)... 142.90 c Sol. found (all assignments made)... 142.90 c Sol. found (all assignments made)... 142.91 c Sol. found (all assignments made)... 142.91 c Sol. found (all assignments made)... 142.91 c Sol. found (all assignments made)... 142.91 c Sol. found (all assignments made)... 142.91 c Sol. found (all assignments made)... 142.91 c Sol. found (all assignments made)... 142.94 c Sol. found (all assignments made)... 142.95 c Sol. found (all assignments made)... 142.95 c Sol. found (all assignments made)... 142.95 c Sol. found (all assignments made)... 142.95 c Sol. found (all assignments made)... 142.95 c Sol. found (all assignments made)... 142.95 c Sol. found (all assignments made)... 142.95 c Sol. found (all assignments made)... 142.96 c Sol. found (all assignments made)... 142.96 c Sol. found (all assignments made)... 142.96 c Sol. found (all assignments made)... 142.97 c Sol. found (all assignments made)... 142.97 c Sol. found (all assignments made)... 142.97 c Sol. found (all assignments made)... 142.97 c Sol. found (all assignments made)... 142.97 c Sol. found (all assignments made)... 142.97 c Sol. found (all assignments made)... 142.98 c Sol. found (all assignments made)... 142.98 c Sol. found (all assignments made)... 142.98 c Sol. found (all assignments made)... 142.98 c Sol. found (all assignments made)... 142.98 c Sol. found (all assignments made)... 142.98 c Sol. found (all assignments made)... 142.99 c Sol. found (all assignments made)... 142.99 c Sol. found (all assignments made)... 142.99 c Sol. found (all assignments made)... 143.00 c Sol. found (all assignments made)... 143.00 c Sol. found (all assignments made)... 143.00 c Sol. found (all assignments made)... 143.00 c Sol. found (all assignments made)... 143.00 c Sol. found (all assignments made)... 143.00 c Sol. found (all assignments made)... 143.00 c Sol. found (all assignments made)... 143.00 c Sol. found (all assignments made)... 143.00 c Sol. found (all assignments made)... 143.01 c Sol. found (all assignments made)... 143.01 c Sol. found (all assignments made)... 143.01 c Sol. found (all assignments made)... 143.01 c Sol. found (all assignments made)... 143.01 c Sol. found (all assignments made)... 143.01 c Sol. found (all assignments made)... 143.02 c Sol. found (all assignments made)... 143.02 c Sol. found (all assignments made)... 143.02 c Sol. found (all assignments made)... 143.02 c Sol. found (all assignments made)... 143.02 c Sol. found (all assignments made)... 143.02 c Sol. found (all assignments made)... 143.02 c Sol. found (all assignments made)... 143.03 c Sol. found (all assignments made)... 143.03 c Sol. found (all assignments made)... 143.03 c Sol. found (all assignments made)... 143.03 c Sol. found (all assignments made)... 143.03 c Sol. found (all assignments made)... 143.03 c Sol. found (all assignments made)... 143.03 c Sol. found (all assignments made)... 143.03 c Sol. found (all assignments made)... 143.03 c Sol. found (all assignments made)... 143.04 c Sol. found (all assignments made)... 143.04 c Sol. found (all assignments made)... 143.04 c Sol. found (all assignments made)... 143.04 c Sol. found (all assignments made)... 143.04 c Sol. found (all assignments made)... 143.04 c Sol. found (all assignments made)... 143.05 c Sol. found (all assignments made)... 143.05 c Sol. found (all assignments made)... 143.05 c Sol. found (all assignments made)... 143.05 c Sol. found (all assignments made)... 143.05 c Sol. found (all assignments made)... 143.05 c Sol. found (all assignments made)... 143.05 c Sol. found (all assignments made)... 143.05 c Sol. found (all assignments made)... 143.05 c Sol. found (all assignments made)... 143.06 c Sol. found (all assignments made)... 143.06 c Sol. found (all assignments made)... 143.06 c Sol. found (all assignments made)... 143.06 c Sol. found (all assignments made)... 143.06 c Sol. found (all assignments made)... 143.06 c Sol. found (all assignments made)... 143.07 c Sol. found (all assignments made)... 143.07 c Sol. found (all assignments made)... 143.07 c Sol. found (all assignments made)... 143.07 c Sol. found (all assignments made)... 143.07 c Sol. found (all assignments made)... 143.07 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.10 c Sol. found (all assignments made)... 143.10 c Sol. found (all assignments made)... 143.10 c Sol. found (all assignments made)... 143.10 c Sol. found (all assignments made)... 143.10 c Sol. found (all assignments made)... 143.11 c Sol. found (all assignments made)... 143.11 c Sol. found (all assignments made)... 143.11 c Sol. found (all assignments made)... 143.11 c Sol. found (all assignments made)... 143.11 c Sol. found (all assignments made)... 143.11 c Sol. found (all assignments made)... 143.11 c Sol. found (all assignments made)... 143.11 c Sol. found (all assignments made)... 143.12 c Sol. found (all assignments made)... 143.12 c Sol. found (all assignments made)... 143.12 c Sol. found (all assignments made)... 143.12 c Sol. found (all assignments made)... 143.12 c Sol. found (all assignments made)... 143.12 c Sol. found (all assignments made)... 143.12 c Sol. found (all assignments made)... 143.15 c Sol. found (all assignments made)... 143.15 c Sol. found (all assignments made)... 143.15 c Sol. found (all assignments made)... 143.15 c Sol. found (all assignments made)... 143.16 c Sol. found (all assignments made)... 143.16 c Sol. found (all assignments made)... 143.16 c Sol. found (all assignments made)... 143.16 c Sol. found (all assignments made)... 143.16 c Sol. found (all assignments made)... 143.16 c Sol. found (all assignments made)... 143.16 c Sol. found (all assignments made)... 143.17 c Sol. found (all assignments made)... 143.17 c Sol. found (all assignments made)... 143.17 c Sol. found (all assignments made)... 143.17 c Sol. found (all assignments made)... 143.17 c Sol. found (all assignments made)... 143.17 c Sol. found (all assignments made)... 143.17 c Sol. found (all assignments made)... 143.18 c Sol. found (all assignments made)... 143.18 c Sol. found (all assignments made)... 143.18 c Sol. found (all assignments made)... 143.18 c Sol. found (all assignments made)... 143.18 c Sol. found (all assignments made)... 143.19 c Sol. found (all assignments made)... 143.19 c Sol. found (all assignments made)... 143.19 c Sol. found (all assignments made)... 143.19 c Sol. found (all assignments made)... 143.19 c Sol. found (all assignments made)... 143.19 c Sol. found (all assignments made)... 143.19 c Sol. found (all assignments made)... 143.20 c Sol. found (all assignments made)... 143.20 c Sol. found (all assignments made)... 143.20 c Sol. found (all assignments made)... 143.20 c Sol. found (all assignments made)... 143.22 c Sol. found (all assignments made)... 143.22 c Sol. found (all assignments made)... 143.22 c Sol. found (all assignments made)... 143.22 c Sol. found (all assignments made)... 143.22 c Sol. found (all assignments made)... 143.22 c Sol. found (all assignments made)... 143.23 c Sol. found (all assignments made)... 143.23 c Sol. found (all assignments made)... 143.23 c Sol. found (all assignments made)... 143.23 c Sol. found (all assignments made)... 143.23 c Sol. found (all assignments made)... 143.23 c Sol. found (all assignments made)... 143.25 c Sol. found (all assignments made)... 143.25 c Sol. found (all assignments made)... 143.25 c Sol. found (all assignments made)... 143.27 c Sol. found (all assignments made)... 143.27 c Sol. found (all assignments made)... 143.27 c Sol. found (all assignments made)... 143.27 c Sol. found (all assignments made)... 143.27 c Sol. found (all assignments made)... 143.27 c Sol. found (all assignments made)... 143.27 c Sol. found (all assignments made)... 143.28 c Sol. found (all assignments made)... 143.28 c Sol. found (all assignments made)... 143.28 c Sol. found (all assignments made)... 143.28 c Sol. found (all assignments made)... 143.28 c Sol. found (all assignments made)... 143.28 c Sol. found (all assignments made)... 143.28 c Sol. found (all assignments made)... 143.29 c Sol. found (all assignments made)... 143.29 c Sol. found (all assignments made)... 143.30 c Sol. found (all assignments made)... 143.30 c Sol. found (all assignments made)... 143.30 c Sol. found (all assignments made)... 143.32 c Sol. found (all assignments made)... 143.33 c Sol. found (all assignments made)... 143.33 c Sol. found (all assignments made)... 143.33 c Sol. found (all assignments made)... 143.33 c Sol. found (all assignments made)... 143.34 c Sol. found (all assignments made)... 143.34 c Sol. found (all assignments made)... 143.34 c Sol. found (all assignments made)... 143.34 c Sol. found (all assignments made)... 143.34 c Sol. found (all assignments made)... 143.34 c Sol. found (all assignments made)... 143.34 c Sol. found (all assignments made)... 143.40 c Sol. found (all assignments made)... 143.40 c Sol. found (all assignments made)... 143.53 c Sol. found (all assignments made)... 143.59 c Sol. found (all assignments made)... 143.59 c Sol. found (all assignments made)... 143.60 c Sol. found (all assignments made)... 143.60 c Sol. found (all assignments made)... 143.61 c Sol. found (all assignments made)... 143.79 c Sol. found (all assignments made)... 143.81 c Sol. found (all assignments made)... 143.81 c Sol. found (all assignments made)... 143.83 c Sol. found (all assignments made)... 143.84 c Sol. found (all assignments made)... 143.98 c Restart #79 #Var: 450 LB: -450 @ 143.87 147.34 c Restart #80 #Var: 450 LB: -450 @ 147.24 150.70 c Restart #81 #Var: 450 LB: -450 @ 150.6 154.33 c Restart #82 #Var: 450 LB: -450 @ 154.22 157.77 c Restart #83 #Var: 450 LB: -450 @ 157.67 157.90 c Sol. found (all assignments made)... 157.95 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.32 c Sol. found (all assignments made)... 158.33 c Sol. found (all assignments made)... 158.58 c Sol. found (all assignments made)... 159.26 c Sol. found (all assignments made)... 159.45 c Sol. found (all assignments made)... 161.20 c Restart #84 #Var: 450 LB: -450 @ 161.09 162.31 c Sol. found (all assignments made)... 164.04 c Sol. found (all assignments made)... 164.04 c Sol. found (all assignments made)... 164.11 c Sol. found (all assignments made)... 164.21 c Sol. found (all assignments made)... 164.65 c Restart #85 #Var: 450 LB: -450 @ 164.54 168.22 c Restart #86 #Var: 450 LB: -450 @ 168.11 171.94 c Restart #87 #Var: 450 LB: -450 @ 171.83 175.60 c Restart #88 #Var: 450 LB: -450 @ 175.48 179.32 c Restart #89 #Var: 450 LB: -450 @ 179.2 181.91 c Sol. found (all assignments made)... 183.07 c Restart #90 #Var: 450 LB: -450 @ 182.95 187.04 c Restart #91 #Var: 450 LB: -450 @ 186.92 191.03 c Restart #92 #Var: 450 LB: -450 @ 190.91 194.88 c Restart #93 #Var: 450 LB: -450 @ 194.76 198.79 c Restart #94 #Var: 450 LB: -450 @ 198.66 202.72 c Restart #95 #Var: 450 LB: -450 @ 202.6 202.80 c Sol. found (all assignments made)... 202.80 c Sol. found (all assignments made)... 203.21 c Sol. found (all assignments made)... 206.77 c Restart #96 #Var: 450 LB: -450 @ 206.64 210.74 c Restart #97 #Var: 450 LB: -450 @ 210.61 214.70 c Restart #98 #Var: 450 LB: -450 @ 214.57 218.65 c Restart #99 #Var: 450 LB: -450 @ 218.52 222.96 c Restart #100 #Var: 450 LB: -450 @ 222.82 227.29 c Restart #101 #Var: 450 LB: -450 @ 227.16 231.73 c Restart #102 #Var: 450 LB: -450 @ 231.59 236.00 c Restart #103 #Var: 450 LB: -450 @ 235.86 240.46 c Restart #104 #Var: 450 LB: -450 @ 240.32 244.94 c Restart #105 #Var: 450 LB: -450 @ 244.8 249.51 c Restart #106 #Var: 450 LB: -450 @ 249.37 252.98 c Sol. found (all assignments made)... 254.05 c Restart #107 #Var: 450 LB: -450 @ 253.91 258.37 c Restart #108 #Var: 450 LB: -450 @ 258.23 262.92 c Restart #109 #Var: 450 LB: -450 @ 262.77 267.37 c Restart #110 #Var: 450 LB: -450 @ 267.22 272.02 c Restart #111 #Var: 450 LB: -450 @ 271.87 275.85 c Sol. found (all assignments made)... 276.60 c Restart #112 #Var: 450 LB: -450 @ 276.44 281.05 c Restart #113 #Var: 450 LB: -450 @ 280.89 285.87 c Restart #114 #Var: 450 LB: -450 @ 285.71 290.62 c Restart #115 #Var: 450 LB: -450 @ 290.46 293.27 c Sol. found (all assignments made)... 295.28 c Restart #116 #Var: 450 LB: -450 @ 295.12 295.54 c Sol. found (all assignments made)... 300.27 c Restart #117 #Var: 450 LB: -450 @ 300.11 305.25 c Restart #118 #Var: 450 LB: -450 @ 305.08 310.18 c Restart #119 #Var: 450 LB: -450 @ 310.01 315.37 c Restart #120 #Var: 450 LB: -450 @ 315.2 320.52 c Restart #121 #Var: 450 LB: -450 @ 320.35 325.49 c Restart #122 #Var: 450 LB: -450 @ 325.32 325.54 c Sol. found (all assignments made)... 325.56 c Sol. found (all assignments made)... 325.57 c Sol. found (all assignments made)... 325.60 c Sol. found (all assignments made)... 325.60 c Sol. found (all assignments made)... 325.60 c Sol. found (all assignments made)... 325.67 c Sol. found (all assignments made)... 326.04 c Sol. found (all assignments made)... 326.05 c Sol. found (all assignments made)... 326.28 c Sol. found (all assignments made)... 326.29 c Sol. found (all assignments made)... 326.30 c Sol. found (all assignments made)... 326.31 c Sol. found (all assignments made)... 326.31 c Sol. found (all assignments made)... 326.31 c Sol. found (all assignments made)... 326.31 c Sol. found (all assignments made)... 326.31 c Sol. found (all assignments made)... 326.32 c Sol. found (all assignments made)... 326.32 c Sol. found (all assignments made)... 326.33 c Sol. found (all assignments made)... 326.46 c Sol. found (all assignments made)... 327.35 c Sol. found (all assignments made)... 327.35 c Sol. found (all assignments made)... 327.35 c Sol. found (all assignments made)... 327.35 c Sol. found (all assignments made)... 327.35 c Sol. found (all assignments made)... 327.35 c Sol. found (all assignments made)... 327.36 c Sol. found (all assignments made)... 327.36 c Sol. found (all assignments made)... 327.36 c Sol. found (all assignments made)... 327.36 c Sol. found (all assignments made)... 327.38 c Sol. found (all assignments made)... 329.03 c Sol. found (all assignments made)... 329.03 c Sol. found (all assignments made)... 329.40 c Sol. found (all assignments made)... 329.44 c Sol. found (all assignments made)... 330.13 c Sol. found (all assignments made)... 330.42 c Restart #123 #Var: 450 LB: -450 @ 330.25 335.62 c Restart #124 #Var: 450 LB: -450 @ 335.44 340.85 c Restart #125 #Var: 450 LB: -450 @ 340.68 346.08 c Restart #126 #Var: 450 LB: -450 @ 345.9 351.61 c Restart #127 #Var: 450 LB: -450 @ 351.43 356.87 c Restart #128 #Var: 450 LB: -450 @ 356.69 362.24 c Restart #129 #Var: 450 LB: -450 @ 362.06 367.63 c Restart #130 #Var: 450 LB: -450 @ 367.44 373.20 c Restart #131 #Var: 450 LB: -450 @ 373.01 378.81 c Restart #132 #Var: 450 LB: -450 @ 378.61 384.24 c Restart #133 #Var: 450 LB: -450 @ 384.04 389.92 c Restart #134 #Var: 450 LB: -450 @ 389.72 395.77 c Restart #135 #Var: 450 LB: -450 @ 395.57 401.57 c Restart #136 #Var: 450 LB: -450 @ 401.37 407.28 c Restart #137 #Var: 450 LB: -450 @ 407.08 413.08 c Restart #138 #Var: 450 LB: -450 @ 412.88 419.15 c Restart #139 #Var: 450 LB: -450 @ 418.94 424.83 c Restart #140 #Var: 450 LB: -450 @ 424.62 425.35 c Sol. found (all assignments made)... 425.42 c Sol. found (all assignments made)... 425.42 c Sol. found (all assignments made)... 425.46 c Sol. found (all assignments made)... 425.47 c Sol. found (all assignments made)... 425.47 c Sol. found (all assignments made)... 425.47 c Sol. found (all assignments made)... 425.54 c Sol. found (all assignments made)... 425.93 c Sol. found (all assignments made)... 425.95 c Sol. found (all assignments made)... 425.95 c Sol. found (all assignments made)... 426.07 c Sol. found (all assignments made)... 426.07 c Sol. found (all assignments made)... 426.10 c Sol. found (all assignments made)... 426.10 c Sol. found (all assignments made)... 426.10 c Sol. found (all assignments made)... 426.10 c Sol. found (all assignments made)... 426.10 c Sol. found (all assignments made)... 426.10 c Sol. found (all assignments made)... 426.10 c Sol. found (all assignments made)... 426.10 c Sol. found (all assignments made)... 426.10 c Sol. found (all assignments made)... 426.11 c Sol. found (all assignments made)... 426.11 c Sol. found (all assignments made)... 426.11 c Sol. found (all assignments made)... 426.11 c Sol. found (all assignments made)... 426.11 c Sol. found (all assignments made)... 426.12 c Sol. found (all assignments made)... 426.12 c Sol. found (all assignments made)... 426.12 c Sol. found (all assignments made)... 426.12 c Sol. found (all assignments made)... 426.21 c Sol. found (all assignments made)... 426.23 c Sol. found (all assignments made)... 426.24 c Sol. found (all assignments made)... 426.24 c Sol. found (all assignments made)... 426.24 c Sol. found (all assignments made)... 426.24 c Sol. found (all assignments made)... 426.24 c Sol. found (all assignments made)... 426.24 c Sol. found (all assignments made)... 426.24 c Sol. found (all assignments made)... 426.24 c Sol. found (all assignments made)... 426.27 c Sol. found (all assignments made)... 426.27 c Sol. found (all assignments made)... 426.97 c Sol. found (all assignments made)... 428.51 c Sol. found (all assignments made)... 428.51 c Sol. found (all assignments made)... 428.51 c Sol. found (all assignments made)... 428.51 c Sol. found (all assignments made)... 428.69 c Sol. found (all assignments made)... 428.69 c Sol. found (all assignments made)... 428.69 c Sol. found (all assignments made)... 428.70 c Sol. found (all assignments made)... 428.70 c Sol. found (all assignments made)... 428.70 c Sol. found (all assignments made)... 428.70 c Sol. found (all assignments made)... 428.70 c Sol. found (all assignments made)... 429.26 c Sol. found (all assignments made)... 429.26 c Sol. found (all assignments made)... 429.30 c Sol. found (all assignments made)... 429.30 c Sol. found (all assignments made)... 429.32 c Sol. found (all assignments made)... 429.32 c Sol. found (all assignments made)... 429.50 c Sol. found (all assignments made)... 429.79 c Sol. found (all assignments made)... 430.15 c Sol. found (all assignments made)... 430.15 c Sol. found (all assignments made)... 430.61 c Restart #141 #Var: 450 LB: -450 @ 430.39 436.58 c Restart #142 #Var: 450 LB: -450 @ 436.37 442.44 c Restart #143 #Var: 450 LB: -450 @ 442.23 444.76 c Sol. found (all assignments made)... 444.94 c Sol. found (all assignments made)... 445.11 c Sol. found (all assignments made)... 445.12 c Sol. found (all assignments made)... 445.15 c Sol. found (all assignments made)... 445.22 c Sol. found (all assignments made)... 445.23 c Sol. found (all assignments made)... 445.23 c Sol. found (all assignments made)... 445.23 c Sol. found (all assignments made)... 445.25 c Sol. found (all assignments made)... 448.67 c Restart #144 #Var: 450 LB: -450 @ 448.45 454.61 c Restart #145 #Var: 450 LB: -450 @ 454.39 456.10 c Sol. found (all assignments made)... 458.62 c Sol. found (all assignments made)... 459.08 c Sol. found (all assignments made)... 459.88 c Sol. found (all assignments made)... 459.89 c Sol. found (all assignments made)... 459.89 c Sol. found (all assignments made)... 460.59 c Restart #146 #Var: 450 LB: -450 @ 460.36 466.82 c Restart #147 #Var: 450 LB: -450 @ 466.59 467.38 c Sol. found (all assignments made)... 467.39 c Sol. found (all assignments made)... 467.39 c Sol. found (all assignments made)... 467.40 c Sol. found (all assignments made)... 467.40 c Sol. found (all assignments made)... 467.40 c Sol. found (all assignments made)... 467.41 c Sol. found (all assignments made)... 468.70 c Sol. found (all assignments made)... 468.70 c Sol. found (all assignments made)... 468.74 c Sol. found (all assignments made)... 468.76 c Sol. found (all assignments made)... 468.78 c Sol. found (all assignments made)... 468.78 c Sol. found (all assignments made)... 468.78 c Sol. found (all assignments made)... 468.79 c Sol. found (all assignments made)... 468.79 c Sol. found (all assignments made)... 468.79 c Sol. found (all assignments made)... 468.80 c Sol. found (all assignments made)... 468.81 c Sol. found (all assignments made)... 468.81 c Sol. found (all assignments made)... 468.81 c Sol. found (all assignments made)... 468.83 c Sol. found (all assignments made)... 468.83 c Sol. found (all assignments made)... 468.83 c Sol. found (all assignments made)... 468.83 c Sol. found (all assignments made)... 468.83 c Sol. found (all assignments made)... 468.83 c Sol. found (all assignments made)... 468.85 c Sol. found (all assignments made)... 468.86 c Sol. found (all assignments made)... 468.86 c Sol. found (all assignments made)... 468.86 c Sol. found (all assignments made)... 468.86 c Sol. found (all assignments made)... 468.87 c Sol. found (all assignments made)... 468.87 c Sol. found (all assignments made)... 473.17 c Restart #148 #Var: 450 LB: -450 @ 472.94 479.41 c Restart #149 #Var: 450 LB: -450 @ 479.18 485.64 c Restart #150 #Var: 450 LB: -450 @ 485.41 486.93 c Sol. found (all assignments made)... 487.37 c Sol. found (all assignments made)... 492.04 c Restart #151 #Var: 450 LB: -450 @ 491.8 492.34 c Sol. found (all assignments made)... 492.38 c Sol. found (all assignments made)... 492.45 c Sol. found (all assignments made)... 492.47 c Sol. found (all assignments made)... 492.52 c Sol. found (all assignments made)... 492.56 c Sol. found (all assignments made)... 492.56 c Sol. found (all assignments made)... 492.56 c Sol. found (all assignments made)... 492.57 c Sol. found (all assignments made)... 492.57 c Sol. found (all assignments made)... 492.65 c Sol. found (all assignments made)... 492.71 c Sol. found (all assignments made)... 492.71 c Sol. found (all assignments made)... 493.61 c Sol. found (all assignments made)... 493.65 c Sol. found (all assignments made)... 494.29 c Sol. found (all assignments made)... 494.39 c Sol. found (all assignments made)... 494.40 c Sol. found (all assignments made)... 494.45 c Sol. found (all assignments made)... 494.45 c Sol. found (all assignments made)... 494.45 c Sol. found (all assignments made)... 494.47 c Sol. found (all assignments made)... 494.58 c Sol. found (all assignments made)... 494.66 c Sol. found (all assignments made)... 494.66 c Sol. found (all assignments made)... 494.66 c Sol. found (all assignments made)... 494.67 c Sol. found (all assignments made)... 494.72 c Sol. found (all assignments made)... 494.81 c Sol. found (all assignments made)... 494.81 c Sol. found (all assignments made)... 494.81 c Sol. found (all assignments made)... 494.85 c Sol. found (all assignments made)... 494.86 c Sol. found (all assignments made)... 494.87 c Sol. found (all assignments made)... 494.89 c Sol. found (all assignments made)... 494.90 c Sol. found (all assignments made)... 494.90 c Sol. found (all assignments made)... 494.91 c Sol. found (all assignments made)... 494.92 c Sol. found (all assignments made)... 495.35 c Sol. found (all assignments made)... 495.35 c Sol. found (all assignments made)... 495.36 c Sol. found (all assignments made)... 495.36 c Sol. found (all assignments made)... 495.36 c Sol. found (all assignments made)... 495.37 c Sol. found (all assignments made)... 495.38 c Sol. found (all assignments made)... 495.39 c Sol. found (all assignments made)... 495.42 c Sol. found (all assignments made)... 495.42 c Sol. found (all assignments made)... 495.42 c Sol. found (all assignments made)... 495.43 c Sol. found (all assignments made)... 495.43 c Sol. found (all assignments made)... 495.43 c Sol. found (all assignments made)... 495.44 c Sol. found (all assignments made)... 495.44 c Sol. found (all assignments made)... 495.44 c Sol. found (all assignments made)... 495.44 c Sol. found (all assignments made)... 495.60 c Sol. found (all assignments made)... 495.61 c Sol. found (all assignments made)... 495.61 c Sol. found (all assignments made)... 495.65 c Sol. found (all assignments made)... 495.65 c Sol. found (all assignments made)... 495.65 c Sol. found (all assignments made)... 495.65 c Sol. found (all assignments made)... 495.66 c Sol. found (all assignments made)... 495.68 c Sol. found (all assignments made)... 495.71 c Sol. found (all assignments made)... 495.71 c Sol. found (all assignments made)... 495.71 c Sol. found (all assignments made)... 495.71 c Sol. found (all assignments made)... 495.71 c Sol. found (all assignments made)... 495.72 c Sol. found (all assignments made)... 495.72 c Sol. found (all assignments made)... 496.36 c Sol. found (all assignments made)... 496.37 c Sol. found (all assignments made)... 496.39 c Sol. found (all assignments made)... 497.90 c Sol. found (all assignments made)... 497.94 c Sol. found (all assignments made)... 497.94 c Sol. found (all assignments made)... 498.01 c Sol. found (all assignments made)... 498.58 c Restart #152 #Var: 450 LB: -450 @ 498.35 504.86 c Restart #153 #Var: 450 LB: -450 @ 504.62 511.36 c Restart #154 #Var: 450 LB: -450 @ 511.12 518.13 c Restart #155 #Var: 450 LB: -450 @ 517.89 524.69 c Restart #156 #Var: 450 LB: -450 @ 524.44 531.20 c Restart #157 #Var: 450 LB: -450 @ 530.96 532.12 c Sol. found (all assignments made)... 537.85 c Restart #158 #Var: 450 LB: -450 @ 537.6 544.49 c Restart #159 #Var: 450 LB: -450 @ 544.23 551.30 c Restart #160 #Var: 450 LB: -450 @ 551.04 558.02 c Restart #161 #Var: 450 LB: -450 @ 557.76 564.93 c Restart #162 #Var: 450 LB: -450 @ 564.66 571.96 c Restart #163 #Var: 450 LB: -450 @ 571.7 579.01 c Restart #164 #Var: 450 LB: -450 @ 578.74 585.96 c Restart #165 #Var: 450 LB: -450 @ 585.69 593.20 c Restart #166 #Var: 450 LB: -450 @ 592.93 594.13 c Sol. found (all assignments made)... 594.16 c Sol. found (all assignments made)... 599.97 c Restart #167 #Var: 450 LB: -450 @ 599.69 606.83 c Restart #168 #Var: 450 LB: -450 @ 606.55 613.51 c Sol. found (all assignments made)... 613.51 c Sol. found (all assignments made)... 613.87 c Restart #169 #Var: 450 LB: -450 @ 613.59 620.74 c Restart #170 #Var: 450 LB: -450 @ 620.46 628.06 c Restart #171 #Var: 450 LB: -450 @ 627.77 635.07 c Restart #172 #Var: 450 LB: -450 @ 634.78 642.41 c Restart #173 #Var: 450 LB: -450 @ 642.12 649.56 c Restart #174 #Var: 450 LB: -450 @ 649.26 657.04 c Restart #175 #Var: 450 LB: -450 @ 656.75 664.12 c Restart #176 #Var: 450 LB: -450 @ 663.81 671.84 c Restart #177 #Var: 450 LB: -450 @ 671.53 679.28 c Restart #178 #Var: 450 LB: -450 @ 678.97 687.00 c Restart #179 #Var: 450 LB: -450 @ 686.69 694.41 c Restart #180 #Var: 450 LB: -450 @ 694.1 695.29 c Sol. found (all assignments made)... 701.79 c Restart #181 #Var: 450 LB: -450 @ 701.47 709.25 c Restart #182 #Var: 450 LB: -450 @ 708.93 717.68 c Restart #183 #Var: 450 LB: -450 @ 717.36 725.66 c Restart #184 #Var: 450 LB: -450 @ 725.34 733.48 c Restart #185 #Var: 450 LB: -450 @ 733.15 741.54 c Restart #186 #Var: 450 LB: -450 @ 741.21 749.28 c Restart #187 #Var: 450 LB: -450 @ 748.95 757.64 c Restart #188 #Var: 450 LB: -450 @ 757.31 765.57 c Restart #189 #Var: 450 LB: -450 @ 765.23 773.66 c Restart #190 #Var: 450 LB: -450 @ 773.32 781.37 c Restart #191 #Var: 450 LB: -450 @ 781.03 789.80 c Restart #192 #Var: 450 LB: -450 @ 789.45 797.74 c Restart #193 #Var: 450 LB: -450 @ 797.39 805.73 c Restart #194 #Var: 450 LB: -450 @ 805.38 806.20 c Sol. found (all assignments made)... 806.21 c Sol. found (all assignments made)... 809.42 c Sol. found (all assignments made)... 813.62 c Restart #195 #Var: 450 LB: -450 @ 813.26 821.73 c Restart #196 #Var: 450 LB: -450 @ 821.37 822.32 c Sol. found (all assignments made)... 822.32 c Sol. found (all assignments made)... 830.23 c Restart #197 #Var: 450 LB: -450 @ 829.87 838.53 c Restart #198 #Var: 450 LB: -450 @ 838.16 846.91 c Restart #199 #Var: 450 LB: -450 @ 846.54 855.53 c Restart #200 #Var: 450 LB: -450 @ 855.16 864.06 c Restart #201 #Var: 450 LB: -450 @ 863.69 872.85 c Restart #202 #Var: 450 LB: -450 @ 872.47 881.48 c Restart #203 #Var: 450 LB: -450 @ 881.1 890.18 c Restart #204 #Var: 450 LB: -450 @ 889.79 898.63 c Restart #205 #Var: 450 LB: -450 @ 898.24 898.75 c Sol. found (all assignments made)... 898.79 c Sol. found (all assignments made)... 899.55 c Sol. found (all assignments made)... 899.59 c Sol. found (all assignments made)... 899.59 c Sol. found (all assignments made)... 899.78 c Sol. found (all assignments made)... 900.18 c Sol. found (all assignments made)... 900.30 c Sol. found (all assignments made)... 900.31 c Sol. found (all assignments made)... 900.35 c Sol. found (all assignments made)... 900.72 c Sol. found (all assignments made)... 900.96 c Sol. found (all assignments made)... 900.96 c Sol. found (all assignments made)... 901.02 c Sol. found (all assignments made)... 901.02 c Sol. found (all assignments made)... 901.09 c Sol. found (all assignments made)... 901.09 o -27 901.09 c NEW SOLUTION FOUND: -27 @ 900.7 909.48 c Restart #206 #Var: 450 LB: -450 @ 909.09 918.31 c Restart #207 #Var: 450 LB: -450 @ 917.91 927.06 c Restart #208 #Var: 450 LB: -450 @ 926.66 935.79 c Restart #209 #Var: 450 LB: -450 @ 935.38 944.71 c Restart #210 #Var: 450 LB: -450 @ 944.3 953.78 c Restart #211 #Var: 450 LB: -450 @ 953.37 962.70 c Restart #212 #Var: 450 LB: -450 @ 962.29 972.25 c Restart #213 #Var: 450 LB: -450 @ 971.84 981.50 c Restart #214 #Var: 450 LB: -450 @ 981.08 990.81 c Restart #215 #Var: 450 LB: -450 @ 990.38 1000.16 c Restart #216 #Var: 450 LB: -450 @ 999.73 1009.40 c Restart #217 #Var: 450 LB: -450 @ 1009 1018.85 c Restart #218 #Var: 450 LB: -450 @ 1018.4 1027.90 c Restart #219 #Var: 450 LB: -450 @ 1027.5 1037.71 c Restart #220 #Var: 450 LB: -450 @ 1037.3 1037.83 c Sol. found (all assignments made)... 1037.84 c Sol. found (all assignments made)... 1037.90 c Sol. found (all assignments made)... 1038.26 c Sol. found (all assignments made)... 1038.27 c Sol. found (all assignments made)... 1038.28 c Sol. found (all assignments made)... 1039.02 c Sol. found (all assignments made)... 1046.96 c Restart #221 #Var: 450 LB: -450 @ 1046.5 1056.59 c Restart #222 #Var: 450 LB: -450 @ 1056.1 1065.91 c Restart #223 #Var: 450 LB: -450 @ 1065.5 1075.70 c Restart #224 #Var: 450 LB: -450 @ 1075.2 1085.12 c Restart #225 #Var: 450 LB: -450 @ 1084.7 1088.22 c Sol. found (all assignments made)... 1095.15 c Restart #226 #Var: 450 LB: -450 @ 1094.7 1104.61 c Restart #227 #Var: 450 LB: -450 @ 1104.1 1114.13 c Restart #228 #Var: 450 LB: -450 @ 1113.7 1123.86 c Restart #229 #Var: 450 LB: -450 @ 1123.4 1134.11 c Restart #230 #Var: 450 LB: -450 @ 1133.6 1143.99 c Restart #231 #Var: 450 LB: -450 @ 1143.5 1153.98 c Restart #232 #Var: 450 LB: -450 @ 1153.5 1163.64 c Restart #233 #Var: 450 LB: -450 @ 1163.2 1173.59 c Restart #234 #Var: 450 LB: -450 @ 1173.1 1183.82 c Restart #235 #Var: 450 LB: -450 @ 1183.3 1194.35 c Restart #236 #Var: 450 LB: -450 @ 1193.8 1204.33 c Restart #237 #Var: 450 LB: -450 @ 1203.8 1214.60 c Restart #238 #Var: 450 LB: -450 @ 1214.1 1224.67 c Restart #239 #Var: 450 LB: -450 @ 1224.2 1235.21 c Restart #240 #Var: 450 LB: -450 @ 1234.7 1245.02 c Restart #241 #Var: 450 LB: -450 @ 1244.5 1255.14 c Restart #242 #Var: 450 LB: -450 @ 1254.6 1266.10 c Restart #243 #Var: 450 LB: -450 @ 1265.6 1272.82 c Sol. found (all assignments made)... 1272.83 c Sol. found (all assignments made)... 1273.75 c Sol. found (all assignments made)... 1276.40 c Restart #244 #Var: 450 LB: -450 @ 1275.9 1286.65 c Restart #245 #Var: 450 LB: -450 @ 1286.1 1297.31 c Restart #246 #Var: 450 LB: -450 @ 1296.8 1307.96 c Restart #247 #Var: 450 LB: -450 @ 1307.4 1318.64 c Restart #248 #Var: 450 LB: -450 @ 1318.1 1329.21 c Restart #249 #Var: 450 LB: -450 @ 1328.7 1339.92 c Restart #250 #Var: 450 LB: -450 @ 1339.4 1350.42 c Restart #251 #Var: 450 LB: -450 @ 1349.9 1361.41 c Restart #252 #Var: 450 LB: -450 @ 1360.8 1371.98 c Restart #253 #Var: 450 LB: -450 @ 1371.4 1383.16 c Restart #254 #Var: 450 LB: -450 @ 1382.6 1393.88 c Restart #255 #Var: 450 LB: -450 @ 1393.3 1405.06 c Restart #256 #Var: 450 LB: -450 @ 1404.5 1416.64 c Restart #257 #Var: 450 LB: -450 @ 1416.1 1427.72 c Restart #258 #Var: 450 LB: -450 @ 1427.1 1439.13 c Restart #259 #Var: 450 LB: -450 @ 1438.5 1450.63 c Restart #260 #Var: 450 LB: -450 @ 1450 1461.98 c Restart #261 #Var: 450 LB: -450 @ 1461.4 1472.81 c Restart #262 #Var: 450 LB: -450 @ 1472.2 1484.33 c Restart #263 #Var: 450 LB: -450 @ 1483.7 1496.02 c Restart #264 #Var: 450 LB: -450 @ 1495.4 1507.43 c Restart #265 #Var: 450 LB: -450 @ 1506.8 1518.98 c Restart #266 #Var: 450 LB: -450 @ 1518.4 1530.29 c Restart #267 #Var: 450 LB: -450 @ 1529.7 1531.39 c Sol. found (all assignments made)... 1531.40 c Sol. found (all assignments made)... 1541.63 c Restart #268 #Var: 450 LB: -450 @ 1541 1553.21 c Restart #269 #Var: 450 LB: -450 @ 1552.6 1564.75 c Restart #270 #Var: 450 LB: -450 @ 1564.1 1576.37 c Restart #271 #Var: 450 LB: -450 @ 1575.7 1587.61 c Restart #272 #Var: 450 LB: -450 @ 1587 1599.55 c Restart #273 #Var: 450 LB: -450 @ 1598.9 1599.95 c Sol. found (all assignments made)... 1600.25 c Sol. found (all assignments made)... 1611.10 c Restart #274 #Var: 450 LB: -450 @ 1610.4 1622.63 c Restart #275 #Var: 450 LB: -450 @ 1622 1634.64 c Restart #276 #Var: 450 LB: -450 @ 1634 1646.31 c Restart #277 #Var: 450 LB: -450 @ 1645.6 1658.56 c Restart #278 #Var: 450 LB: -450 @ 1657.9 1670.92 c Restart #279 #Var: 450 LB: -450 @ 1670.2 1682.70 c Restart #280 #Var: 450 LB: -450 @ 1681.9 1694.34 c Restart #281 #Var: 450 LB: -450 @ 1693.6 1706.16 c Restart #282 #Var: 450 LB: -450 @ 1705.4 1718.48 c Restart #283 #Var: 450 LB: -450 @ 1717.7 1730.75 c Restart #284 #Var: 450 LB: -450 @ 1729.9 1742.48 c Restart #285 #Var: 450 LB: -450 @ 1741.7 1754.85 c Restart #286 #Var: 450 LB: -450 @ 1754 1767.30 c Restart #287 #Var: 450 LB: -450 @ 1766.5 1779.71 c Restart #288 #Var: 450 LB: -450 @ 1778.9 1792.15 c Restart #289 #Var: 450 LB: -450 @ 1791.3 1800.83 s SATISFIABLE 1800.83 c Cost: -27 1800.83 v -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 1800.83 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 1800.83 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 1800.83 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1800.83 v -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 1800.83 v -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 1800.83 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 1800.83 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1800.83 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 1800.83 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1800.83 v -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 1800.83 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 1800.83 v -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 1800.83 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1800.83 v -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 1800.83 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1800.83 v -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1800.83 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.83 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.83 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.83 v -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.83 c Exit Code: 10 1800.83 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/node88/watcher-40483-1149291203 -o ROOT/results/node88/solver-40483-1149291203 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node88/40483-1149291203/instance-40483-1149291203.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.87 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1801336/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=4752 CPUtime=0 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 211 0 0 0 0 0 0 0 18 0 1 0 194759458 4866048 182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134713704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 1188 192 142 55 0 79 0 [startup+10.0029 s] /proc/loadavg: 0.89 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784184/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19376 CPUtime=9.94 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52374 0 9 0 967 27 0 0 25 0 1 0 194759458 19841024 4116 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4844 4116 434 55 0 3735 0 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 19376 [startup+20.0089 s] /proc/loadavg: 0.90 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784184/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19592 CPUtime=19.95 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52424 0 9 0 1966 29 0 0 25 0 1 0 194759458 20062208 4166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4898 4166 434 55 0 3789 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 19592 [startup+30.0149 s] /proc/loadavg: 0.92 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784248/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19560 CPUtime=29.94 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52426 0 9 0 2963 31 0 0 25 0 1 0 194759458 20029440 4148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4890 4148 434 55 0 3781 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 19560 [startup+40.0209 s] /proc/loadavg: 0.93 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784120/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19732 CPUtime=39.95 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52506 0 9 0 3962 33 0 0 25 0 1 0 194759458 20205568 4198 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4933 4198 434 55 0 3824 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 19732 [startup+50.0269 s] /proc/loadavg: 0.94 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784120/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19664 CPUtime=49.95 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52511 0 9 0 4960 35 0 0 25 0 1 0 194759458 20135936 4196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4916 4196 434 55 0 3807 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 19664 [startup+60.0329 s] /proc/loadavg: 0.95 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784184/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19664 CPUtime=59.95 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52511 0 9 0 5958 37 0 0 25 0 1 0 194759458 20135936 4196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4916 4196 434 55 0 3807 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 19664 [startup+70.0389 s] /proc/loadavg: 0.96 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784184/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19652 CPUtime=69.95 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52515 0 9 0 6956 39 0 0 25 0 1 0 194759458 20123648 4179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4913 4179 434 55 0 3804 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 19652 [startup+80.0449 s] /proc/loadavg: 0.96 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784184/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19568 CPUtime=79.96 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52515 0 9 0 7955 41 0 0 25 0 1 0 194759458 20037632 4172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4892 4172 434 55 0 3783 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 19568 [startup+90.0509 s] /proc/loadavg: 0.97 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784056/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19792 CPUtime=89.95 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52568 0 9 0 8952 43 0 0 25 0 1 0 194759458 20267008 4225 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4948 4225 434 55 0 3839 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 19792 [startup+100.057 s] /proc/loadavg: 0.97 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784056/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19684 CPUtime=99.96 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52568 0 9 0 9951 45 0 0 25 0 1 0 194759458 20156416 4201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4921 4201 434 55 0 3812 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 19684 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784056/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19648 CPUtime=109.96 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52578 0 9 0 10948 48 0 0 25 0 1 0 194759458 20119552 4192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4912 4192 434 55 0 3803 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 19648 [startup+120.069 s] /proc/loadavg: 0.98 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784056/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19648 CPUtime=119.97 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52578 0 9 0 11948 49 0 0 25 0 1 0 194759458 20119552 4192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4912 4192 434 55 0 3803 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 19648 [startup+130.075 s] /proc/loadavg: 0.98 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1784056/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19780 CPUtime=129.97 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52605 0 9 0 12946 51 0 0 25 0 1 0 194759458 20254720 4219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134597427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4945 4219 434 55 0 3836 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 19780 [startup+140.081 s] /proc/loadavg: 0.98 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1783992/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19912 CPUtime=139.96 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52623 0 9 0 13944 52 0 0 25 0 1 0 194759458 20389888 4237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4978 4237 434 55 0 3869 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 19912 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1783992/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19820 CPUtime=149.97 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52623 0 9 0 14942 55 0 0 25 0 1 0 194759458 20295680 4235 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550536 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4955 4235 434 55 0 3846 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 19820 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1783992/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19784 CPUtime=159.97 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52623 0 9 0 15941 56 0 0 25 0 1 0 194759458 20258816 4226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4946 4226 434 55 0 3837 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 19784 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1783992/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19784 CPUtime=169.98 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52623 0 9 0 16940 58 0 0 25 0 1 0 194759458 20258816 4226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4946 4226 434 55 0 3837 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 19784 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1783992/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19648 CPUtime=179.98 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52623 0 9 0 17938 60 0 0 25 0 1 0 194759458 20119552 4192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4912 4192 434 55 0 3803 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 19648 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1783992/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19780 CPUtime=189.98 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52633 0 9 0 18936 62 0 0 25 0 1 0 194759458 20254720 4202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4945 4202 434 55 0 3836 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 19780 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1783992/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19780 CPUtime=199.98 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 52641 0 9 0 19934 64 0 0 25 0 1 0 194759458 20254720 4210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4945 4210 434 55 0 3836 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 19780 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31718 /proc/meminfo: memFree=1783992/2055888 swapFree=4085336/4096564 ################ # More data... # ################ /proc/31718/statm: 4973 4252 434 55 0 3864 0 Current children cumulated CPU time (s) 1760.24 Current children cumulated vsize (Kb) 19892 [startup+1771.07 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1770.24 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 176696 328 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618638 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1770.24 Current children cumulated vsize (Kb) 19884 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1780.24 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 177695 329 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1780.24 Current children cumulated vsize (Kb) 19884 [startup+1782.08 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1781.24 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 177795 329 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1781.24 Current children cumulated vsize (Kb) 19884 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1782.26 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 177896 330 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (Kb) 19884 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1783.26 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 177996 330 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1783.26 Current children cumulated vsize (Kb) 19884 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1784.26 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 178096 330 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1784.26 Current children cumulated vsize (Kb) 19884 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1785.26 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 178196 330 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1785.26 Current children cumulated vsize (Kb) 19884 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1786.27 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 178297 330 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1786.27 Current children cumulated vsize (Kb) 19884 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1787.27 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 178397 330 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1787.27 Current children cumulated vsize (Kb) 19884 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1788.28 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 178497 331 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1788.28 Current children cumulated vsize (Kb) 19884 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1789.29 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 178598 331 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1789.29 Current children cumulated vsize (Kb) 19884 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1790.29 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 178698 331 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1790.29 Current children cumulated vsize (Kb) 19884 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1791.29 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 178798 331 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551518 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (Kb) 19884 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1792.29 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 178898 331 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1792.29 Current children cumulated vsize (Kb) 19884 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1793.3 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 178999 331 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1793.3 Current children cumulated vsize (Kb) 19884 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1794.3 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 179099 331 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1794.3 Current children cumulated vsize (Kb) 19884 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1795.31 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 179200 331 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1795.31 Current children cumulated vsize (Kb) 19884 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1796.31 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 179300 331 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1796.31 Current children cumulated vsize (Kb) 19884 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1797.32 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 179400 332 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1797.32 Current children cumulated vsize (Kb) 19884 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1798.33 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 179501 332 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628997 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1798.33 Current children cumulated vsize (Kb) 19884 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.93 2/68 31915 /proc/meminfo: memFree=1783288/2055888 swapFree=4085336/4096564 [pid=31718] ppid=31716 vsize=19884 CPUtime=1799.33 /proc/31718/stat : 31718 (bsolo) R 31716 31718 31672 0 -1 0 53292 0 9 0 179601 332 0 0 25 0 1 0 194759458 20361216 4251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31718/statm: 4971 4251 434 55 0 3862 0 Current children cumulated CPU time (s) 1799.33 Current children cumulated vsize (Kb) 19884 Child status: 10 Real time (s): 1800.84 CPU time (s): 1800.01 CPU user time (s): 1796.68 CPU system time (s): 3.32849 CPU usage (%): 99.9538 Max. virtual memory (cumulated for all children) (Kb): 20164
Begin job on node88 on Fri Jun 2 23:33:23 UTC 2006 FILE ID= 40483-1149291203 PBS_JOBID= 306890 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-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node88/40483-1149291203/instance-40483-1149291203.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node88/watcher-40483-1149291203 -o ROOT/results/node88/solver-40483-1149291203 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node88/40483-1149291203/instance-40483-1149291203.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1 RANDOM SEED= 359634436 /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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.16 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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.38 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1801608 kB Buffers: 14200 kB Cached: 180128 kB SwapCached: 2396 kB Active: 121192 kB Inactive: 81776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1801608 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 184 kB Writeback: 0 kB Mapped: 16796 kB Slab: 37948 kB Committed_AS: 304832 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node88 on Sat Jun 3 00:03:24 UTC 2006