Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 511867904 | 1800.08 | 1800.76 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-egout.opb |
MD5SUM | 8eddbca1ad45a201e8c2c397b62f33c3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 471047168 |
Best CPU time to get the best result obtained on this benchmark | 459.823 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 471047168 |
Optimality of the best value was proved | YES |
Number of variables | 1705 |
Total number of constraints | 98 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 98 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1615 |
Biggest coefficient in the objective function | 545997717504 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 15186728411329 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 545997717504 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 15186728411329 |
Number of bits of the biggest sum of numbers | 44 |
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.02 c BIG Int formula... 0.05 c Initial problem consists of 1705 variables and 134 constraints. 0.05 c No problem reductions applied in OPT. instance. 0.05 c preprocess terminated. Elapsed time: 0.041 0.05 c After prepocess the problem consists of 611 variables and 91 constraints. 0.05 c Initial Lower Bound: 75482112 0.08 c Restart #1 #Var: 611 LB: 75482112 @ 0.069 0.14 c Restart #2 #Var: 611 LB: 75482112 @ 0.126 0.23 c Restart #3 #Var: 611 LB: 75482112 @ 0.216 0.35 c Restart #4 #Var: 611 LB: 75482112 @ 0.333 0.48 c Restart #5 #Var: 611 LB: 75482112 @ 0.47 0.65 c Restart #6 #Var: 611 LB: 75482112 @ 0.633 0.84 c Restart #7 #Var: 611 LB: 75482112 @ 0.825 1.06 c Restart #8 #Var: 611 LB: 75482112 @ 1.047 1.31 c Restart #9 #Var: 611 LB: 75482112 @ 1.301 1.51 c Restart #10 #Var: 611 LB: 75482112 @ 1.496 1.72 c Restart #11 #Var: 611 LB: 75482112 @ 1.704 1.89 c Restart #12 #Var: 611 LB: 75482112 @ 1.88 2.01 c Restart #13 #Var: 611 LB: 75482112 @ 1.992 2.13 c Restart #14 #Var: 611 LB: 75482112 @ 2.118 2.27 c Restart #15 #Var: 611 LB: 75482112 @ 2.254 2.41 c Restart #16 #Var: 611 LB: 75482112 @ 2.397 2.57 c Restart #17 #Var: 611 LB: 75482112 @ 2.558 2.73 c Restart #18 #Var: 611 LB: 75482112 @ 2.713 2.93 c Restart #19 #Var: 611 LB: 75482112 @ 2.917 3.11 c Restart #20 #Var: 611 LB: 75482112 @ 3.097 3.37 c Restart #21 #Var: 611 LB: 75482112 @ 3.355 3.65 c Restart #22 #Var: 611 LB: 75482112 @ 3.632 3.95 c Restart #23 #Var: 611 LB: 75482112 @ 3.934 4.28 c Restart #24 #Var: 611 LB: 75482112 @ 4.265 4.60 c Restart #25 #Var: 611 LB: 75482112 @ 4.578 4.99 c Restart #26 #Var: 611 LB: 75482112 @ 4.971 5.42 c Restart #27 #Var: 611 LB: 75482112 @ 5.403 5.84 c Restart #28 #Var: 611 LB: 75482112 @ 5.821 6.43 c Restart #29 #Var: 611 LB: 75482112 @ 6.409 7.05 c Restart #30 #Var: 611 LB: 75482112 @ 7.033 7.67 c Restart #31 #Var: 611 LB: 75482112 @ 7.651 8.06 c Restart #32 #Var: 611 LB: 75482112 @ 8.036 8.65 c Restart #33 #Var: 611 LB: 75482112 @ 8.634 9.20 c Restart #34 #Var: 611 LB: 75482112 @ 9.177 9.76 c Restart #35 #Var: 611 LB: 75482112 @ 9.735 10.34 c Restart #36 #Var: 611 LB: 75482112 @ 10.316 10.98 c Restart #37 #Var: 611 LB: 75482112 @ 10.957 11.70 c Restart #38 #Var: 611 LB: 75482112 @ 11.679 12.60 c Restart #39 #Var: 607 LB: 75482112 @ 12.581 12.99 c Sol. found (all assignments made)... 12.99 o 760793295 12.99 c NEW SOLUTION FOUND: 760793295 @ 12.969 12.99 c Sol. found (all assignments made)... 12.99 o 760792305 12.99 c NEW SOLUTION FOUND: 760792305 @ 12.97 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 o 760792185 13.02 c NEW SOLUTION FOUND: 760792185 @ 12.998 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 o 760792113 13.06 c NEW SOLUTION FOUND: 760792113 @ 13.033 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 o 760792077 13.09 c NEW SOLUTION FOUND: 760792077 @ 13.063 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.17 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.20 c Sol. found (all assignments made)... 13.20 c Sol. found (all assignments made)... 13.20 c Sol. found (all assignments made)... 13.20 c Sol. found (all assignments made)... 13.20 c Sol. found (all assignments made)... 13.20 c Sol. found (all assignments made)... 13.20 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.26 c Sol. found (all assignments made)... 13.26 c Sol. found (all assignments made)... 13.26 c Sol. found (all assignments made)... 13.26 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.32 c Sol. found (all assignments made)... 13.34 c Sol. found (all assignments made)... 13.34 c Sol. found (all assignments made)... 13.34 c Sol. found (all assignments made)... 13.34 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.37 c Sol. found (all assignments made)... 13.37 c Sol. found (all assignments made)... 13.37 c Sol. found (all assignments made)... 13.37 c Sol. found (all assignments made)... 13.37 c Sol. found (all assignments made)... 13.37 c Sol. found (all assignments made)... 13.37 c Sol. found (all assignments made)... 13.37 c Sol. found (all assignments made)... 13.37 c Sol. found (all assignments made)... 13.37 c Sol. found (all assignments made)... 13.38 c Sol. found (all assignments made)... 13.38 c Sol. found (all assignments made)... 13.38 c Sol. found (all assignments made)... 13.38 c Sol. found (all assignments made)... 13.38 c Sol. found (all assignments made)... 13.38 c Sol. found (all assignments made)... 13.38 c Sol. found (all assignments made)... 13.38 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.40 c Sol. found (all assignments made)... 13.40 c Sol. found (all assignments made)... 13.40 c Sol. found (all assignments made)... 13.40 c Sol. found (all assignments made)... 13.41 c Sol. found (all assignments made)... 13.41 c Sol. found (all assignments made)... 13.41 c Sol. found (all assignments made)... 13.41 c Sol. found (all assignments made)... 13.41 c Sol. found (all assignments made)... 13.41 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.44 c Sol. found (all assignments made)... 13.46 c Sol. found (all assignments made)... 13.46 c Sol. found (all assignments made)... 13.46 c Sol. found (all assignments made)... 13.46 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.57 c Sol. found (all assignments made)... 13.57 c Sol. found (all assignments made)... 13.57 c Sol. found (all assignments made)... 13.57 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.59 c Sol. found (all assignments made)... 13.59 c Sol. found (all assignments made)... 13.59 c Sol. found (all assignments made)... 13.59 c Sol. found (all assignments made)... 13.60 c Sol. found (all assignments made)... 13.60 c Sol. found (all assignments made)... 13.60 c Sol. found (all assignments made)... 13.60 c Sol. found (all assignments made)... 13.60 c Sol. found (all assignments made)... 13.60 c Sol. found (all assignments made)... 13.61 c Sol. found (all assignments made)... 13.61 c Sol. found (all assignments made)... 13.61 c Sol. found (all assignments made)... 13.61 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.72 c Sol. found (all assignments made)... 13.72 c Sol. found (all assignments made)... 13.72 c Sol. found (all assignments made)... 13.72 c Sol. found (all assignments made)... 13.72 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.92 c Sol. found (all assignments made)... 13.92 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.96 c Sol. found (all assignments made)... 13.96 c Sol. found (all assignments made)... 13.96 c Sol. found (all assignments made)... 13.96 c Sol. found (all assignments made)... 13.96 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.98 c Sol. found (all assignments made)... 13.98 c Sol. found (all assignments made)... 13.98 c Sol. found (all assignments made)... 13.98 c Sol. found (all assignments made)... 13.99 c Sol. found (all assignments made)... 13.99 c Sol. found (all assignments made)... 13.99 c Sol. found (all assignments made)... 13.99 c Sol. found (all assignments made)... 13.99 c Sol. found (all assignments made)... 13.99 c Sol. found (all assignments made)... 13.99 c Sol. found (all assignments made)... 13.99 c Sol. found (all assignments made)... 13.99 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.02 c Sol. found (all assignments made)... 14.02 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.03 c Sol. found (all assignments made)... 14.04 c Sol. found (all assignments made)... 14.04 c Sol. found (all assignments made)... 14.04 c Sol. found (all assignments made)... 14.04 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.07 c Sol. found (all assignments made)... 14.07 c Sol. found (all assignments made)... 14.07 c Sol. found (all assignments made)... 14.07 c Sol. found (all assignments made)... 14.07 c Sol. found (all assignments made)... 14.08 c Sol. found (all assignments made)... 14.08 c Sol. found (all assignments made)... 14.08 c Sol. found (all assignments made)... 14.08 c Sol. found (all assignments made)... 14.08 c Sol. found (all assignments made)... 14.09 c Sol. found (all assignments made)... 14.09 c Sol. found (all assignments made)... 14.09 c Sol. found (all assignments made)... 14.09 c Sol. found (all assignments made)... 14.09 c Sol. found (all assignments made)... 14.09 c Sol. found (all assignments made)... 14.09 c Sol. found (all assignments made)... 14.09 c Sol. found (all assignments made)... 14.10 c Sol. found (all assignments made)... 14.10 c Sol. found (all assignments made)... 14.10 c Sol. found (all assignments made)... 14.10 c Sol. found (all assignments made)... 14.10 c Sol. found (all assignments made)... 14.10 c Sol. found (all assignments made)... 14.10 c Sol. found (all assignments made)... 14.11 c Sol. found (all assignments made)... 14.11 c Sol. found (all assignments made)... 14.11 c Sol. found (all assignments made)... 14.11 c Sol. found (all assignments made)... 14.11 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.14 c Sol. found (all assignments made)... 14.14 c Sol. found (all assignments made)... 14.14 c Sol. found (all assignments made)... 14.14 c Sol. found (all assignments made)... 14.15 c Sol. found (all assignments made)... 14.15 c Sol. found (all assignments made)... 14.15 c Sol. found (all assignments made)... 14.15 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.17 c Sol. found (all assignments made)... 14.17 c Sol. found (all assignments made)... 14.17 c Sol. found (all assignments made)... 14.17 c Sol. found (all assignments made)... 14.18 c Sol. found (all assignments made)... 14.18 c Sol. found (all assignments made)... 14.18 c Sol. found (all assignments made)... 14.19 c Sol. found (all assignments made)... 14.19 c Sol. found (all assignments made)... 14.19 c Sol. found (all assignments made)... 14.19 c Sol. found (all assignments made)... 14.19 c Sol. found (all assignments made)... 14.19 c Sol. found (all assignments made)... 14.19 c Sol. found (all assignments made)... 14.20 c Sol. found (all assignments made)... 14.20 c Sol. found (all assignments made)... 14.20 c Sol. found (all assignments made)... 14.20 c Sol. found (all assignments made)... 14.20 c Sol. found (all assignments made)... 14.20 c Sol. found (all assignments made)... 14.21 c Sol. found (all assignments made)... 14.21 c Sol. found (all assignments made)... 14.21 c Sol. found (all assignments made)... 14.21 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.24 c Sol. found (all assignments made)... 14.24 c Sol. found (all assignments made)... 14.24 c Sol. found (all assignments made)... 14.24 c Sol. found (all assignments made)... 14.24 c Sol. found (all assignments made)... 14.24 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.26 c Sol. found (all assignments made)... 14.26 c Sol. found (all assignments made)... 14.26 c Sol. found (all assignments made)... 14.26 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.42 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.48 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.57 c Sol. found (all assignments made)... 14.57 c Sol. found (all assignments made)... 14.57 c Sol. found (all assignments made)... 14.57 c Sol. found (all assignments made)... 14.57 c Sol. found (all assignments made)... 14.57 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.61 c Sol. found (all assignments made)... 14.61 c Sol. found (all assignments made)... 14.61 c Sol. found (all assignments made)... 14.61 c Sol. found (all assignments made)... 14.61 c Sol. found (all assignments made)... 14.61 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.64 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.65 c Sol. found (all assignments made)... 14.65 c Sol. found (all assignments made)... 14.65 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)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.67 c Sol. found (all assignments made)... 14.67 c Sol. found (all assignments made)... 14.67 c Sol. found (all assignments made)... 14.67 c Sol. found (all assignments made)... 14.67 c Sol. found (all assignments made)... 14.67 c Sol. found (all assignments made)... 14.67 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.69 c Sol. found (all assignments made)... 14.69 c Sol. found (all assignments made)... 14.69 c Sol. found (all assignments made)... 14.69 c Sol. found (all assignments made)... 14.69 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.74 c Sol. found (all assignments made)... 14.74 c Sol. found (all assignments made)... 14.74 c Sol. found (all assignments made)... 14.74 c Sol. found (all assignments made)... 14.74 c Sol. found (all assignments made)... 14.74 c Sol. found (all assignments made)... 14.75 c Sol. found (all assignments made)... 14.75 c Sol. found (all assignments made)... 14.75 c Sol. found (all assignments made)... 14.75 c Sol. found (all assignments made)... 14.76 c Sol. found (all assignments made)... 14.76 c Sol. found (all assignments made)... 14.76 c Sol. found (all assignments made)... 14.76 c Sol. found (all assignments made)... 14.77 c Sol. found (all assignments made)... 14.77 c Sol. found (all assignments made)... 14.77 c Sol. found (all assignments made)... 14.77 c Sol. found (all assignments made)... 14.77 c Sol. found (all assignments made)... 14.77 c Sol. found (all assignments made)... 14.77 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.17 c Sol. found (all assignments made)... 15.17 c Sol. found (all assignments made)... 15.17 c Sol. found (all assignments made)... 15.17 c Sol. found (all assignments made)... 15.17 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.19 c Sol. found (all assignments made)... 15.19 c Sol. found (all assignments made)... 15.19 c Sol. found (all assignments made)... 15.19 c Sol. found (all assignments made)... 15.19 c Sol. found (all assignments made)... 15.19 c Sol. found (all assignments made)... 15.20 c Sol. found (all assignments made)... 15.20 c Sol. found (all assignments made)... 15.20 c Sol. found (all assignments made)... 15.20 c Sol. found (all assignments made)... 15.20 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.21 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.21 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.23 c Sol. found (all assignments made)... 15.23 c Sol. found (all assignments made)... 15.23 c Sol. found (all assignments made)... 15.23 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.24 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.24 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.25 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.26 c Sol. found (all assignments made)... 15.26 c Sol. found (all assignments made)... 15.26 c Sol. found (all assignments made)... 15.26 c Sol. found (all assignments made)... 15.26 c Sol. found (all assignments made)... 15.26 c Sol. found (all assignments made)... 15.26 c Sol. found (all assignments made)... 15.26 c Sol. found (all assignments made)... 15.27 c Sol. found (all assignments made)... 15.27 c Sol. found (all assignments made)... 15.27 c Sol. found (all assignments made)... 15.27 c Sol. found (all assignments made)... 15.27 c Sol. found (all assignments made)... 15.27 c Sol. found (all assignments made)... 15.27 c Sol. found (all assignments made)... 15.27 c Sol. found (all assignments made)... 15.27 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.29 c Sol. found (all assignments made)... 15.29 c Sol. found (all assignments made)... 15.29 c Sol. found (all assignments made)... 15.29 c Sol. found (all assignments made)... 15.29 c Sol. found (all assignments made)... 15.29 c Sol. found (all assignments made)... 15.29 c Sol. found (all assignments made)... 15.29 c Sol. found (all assignments made)... 15.29 c Sol. found (all assignments made)... 15.29 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.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.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.32 c Sol. found (all assignments made)... 15.32 c Sol. found (all assignments made)... 15.32 c Sol. found (all assignments made)... 15.32 c Sol. found (all assignments made)... 15.32 c Sol. found (all assignments made)... 15.32 c Sol. found (all assignments made)... 15.32 c Sol. found (all assignments made)... 15.32 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.36 c Sol. found (all assignments made)... 15.36 c Sol. found (all assignments made)... 15.36 c Sol. found (all assignments made)... 15.36 c Sol. found (all assignments made)... 15.36 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.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 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.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.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 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.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.69 c Sol. found (all assignments made)... 15.69 c Sol. found (all assignments made)... 15.69 c Sol. found (all assignments made)... 15.69 c Sol. found (all assignments made)... 15.69 c Sol. found (all assignments made)... 15.69 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.72 c Sol. found (all assignments made)... 15.72 c Sol. found (all assignments made)... 15.72 c Sol. found (all assignments made)... 15.72 c Sol. found (all assignments made)... 15.72 c Sol. found (all assignments made)... 15.72 c Sol. found (all assignments made)... 15.72 c Sol. found (all assignments made)... 15.72 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.74 c Sol. found (all assignments made)... 15.74 c Sol. found (all assignments made)... 15.74 c Sol. found (all assignments made)... 15.74 c Sol. found (all assignments made)... 15.74 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.85 c Sol. found (all assignments made)... 15.85 c Sol. found (all assignments made)... 15.85 c Sol. found (all assignments made)... 15.85 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 15.90 c Sol. found (all assignments made)... 15.90 c Sol. found (all assignments made)... 15.90 c Sol. found (all assignments made)... 15.90 c Sol. found (all assignments made)... 15.90 c Sol. found (all assignments made)... 15.90 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.92 c Sol. found (all assignments made)... 15.92 c Sol. found (all assignments made)... 15.92 c Sol. found (all assignments made)... 15.92 c Sol. found (all assignments made)... 15.92 c Sol. found (all assignments made)... 15.92 c Sol. found (all assignments made)... 15.93 c Sol. found (all assignments made)... 15.93 c Sol. found (all assignments made)... 15.93 c Sol. found (all assignments made)... 15.93 c Sol. found (all assignments made)... 15.93 c Sol. found (all assignments made)... 15.93 c Sol. found (all assignments made)... 15.94 c Sol. found (all assignments made)... 15.94 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 16.04 c Restart #40 #Var: 604 LB: 75482112 @ 15.986 18.28 c Sol. found (all assignments made)... 18.28 o 624372350 18.28 c NEW SOLUTION FOUND: 624372350 @ 18.23 18.29 c Sol. found (all assignments made)... 18.30 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 o 622580632 18.31 c NEW SOLUTION FOUND: 622580632 @ 18.255 18.32 c Sol. found (all assignments made)... 18.32 c Sol. found (all assignments made)... 18.33 c Sol. found (all assignments made)... 18.33 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.35 c Sol. found (all assignments made)... 18.36 c Sol. found (all assignments made)... 18.37 c Sol. found (all assignments made)... 18.38 c Sol. found (all assignments made)... 18.39 c Sol. found (all assignments made)... 18.40 c Sol. found (all assignments made)... 18.42 c Sol. found (all assignments made)... 18.42 c Sol. found (all assignments made)... 18.45 c Sol. found (all assignments made)... 18.47 c Sol. found (all assignments made)... 18.48 c Sol. found (all assignments made)... 18.49 c Sol. found (all assignments made)... 69.79 c Restart #41 #Var: 600 LB: 75482112 @ 69.722 71.80 c Restart #42 #Var: 600 LB: 75482112 @ 71.728 78.89 c Sol. found (all assignments made)... 79.62 c Sol. found (all assignments made)... 84.20 c Sol. found (all assignments made)... 85.88 c Sol. found (all assignments made)... 87.06 c Sol. found (all assignments made)... 87.81 c Sol. found (all assignments made)... 106.51 c Sol. found (all assignments made)... 106.84 c Sol. found (all assignments made)... 113.92 c Sol. found (all assignments made)... 114.04 c Sol. found (all assignments made)... 115.47 c Sol. found (all assignments made)... 115.60 c Sol. found (all assignments made)... 116.53 c Sol. found (all assignments made)... 116.66 c Sol. found (all assignments made)... 116.87 c Sol. found (all assignments made)... 116.99 c Sol. found (all assignments made)... 118.12 c Sol. found (all assignments made)... 118.25 c Sol. found (all assignments made)... 118.38 c Sol. found (all assignments made)... 118.50 c Sol. found (all assignments made)... 127.05 c Sol. found (all assignments made)... 127.18 c Sol. found (all assignments made)... 127.31 c Sol. found (all assignments made)... 127.43 c Sol. found (all assignments made)... 128.00 c Sol. found (all assignments made)... 128.12 c Sol. found (all assignments made)... 128.25 c Sol. found (all assignments made)... 128.38 c Sol. found (all assignments made)... 133.74 c Sol. found (all assignments made)... 133.86 c Sol. found (all assignments made)... 142.15 c Sol. found (all assignments made)... 142.28 c Sol. found (all assignments made)... 143.91 c Sol. found (all assignments made)... 144.03 c Sol. found (all assignments made)... 153.51 c Sol. found (all assignments made)... 153.64 c Sol. found (all assignments made)... 155.09 c Sol. found (all assignments made)... 155.21 c Sol. found (all assignments made)... 155.38 c Sol. found (all assignments made)... 155.51 c Sol. found (all assignments made)... 159.45 c Sol. found (all assignments made)... 159.58 c Sol. found (all assignments made)... 161.09 c Sol. found (all assignments made)... 161.22 c Sol. found (all assignments made)... 164.74 c Sol. found (all assignments made)... 164.86 c Sol. found (all assignments made)... 164.99 c Sol. found (all assignments made)... 165.12 c Sol. found (all assignments made)... 165.64 c Sol. found (all assignments made)... 165.76 c Sol. found (all assignments made)... 166.04 c Sol. found (all assignments made)... 166.17 c Sol. found (all assignments made)... 166.56 c Sol. found (all assignments made)... 166.69 c Sol. found (all assignments made)... 167.05 c Restart #43 #Var: 594 LB: 127767552 @ 166.95 172.16 c Restart #44 #Var: 593 LB: 127767552 @ 172.06 178.31 c CHANGE to MIS mode... UB: 622580632 MIS: 127767829 LPR: -2147483648 (0) Diff: -0.059497 178.31 c Restart #0 #Var: 593 LB: 127767552 @ 178.21 178.47 c Restart #1 #Var: 592 LB: 139369749 @ 178.36 178.55 c Sol. found (all assignments made)... 178.55 o 543713280 178.55 c NEW SOLUTION FOUND: 543713280 @ 178.44 178.58 c Sol. found (all assignments made)... 178.75 c Restart #2 #Var: 592 LB: 139369749 @ 178.64 179.14 c Restart #3 #Var: 590 LB: 159675669 @ 179.03 179.22 c Sol. found (all assignments made)... 179.22 o 516246478 179.22 c NEW SOLUTION FOUND: 516246478 @ 179.11 179.22 c Sol. found (all assignments made)... 179.22 o 516244330 179.22 c NEW SOLUTION FOUND: 516244330 @ 179.12 179.22 c Sol. found (all assignments made)... 179.22 c Sol. found (all assignments made)... 179.22 o 516243256 179.22 c NEW SOLUTION FOUND: 516243256 @ 179.12 179.23 c Sol. found (all assignments made)... 179.23 o 516242182 179.23 c NEW SOLUTION FOUND: 516242182 @ 179.12 179.23 c Sol. found (all assignments made)... 179.23 o 516240034 179.23 c NEW SOLUTION FOUND: 516240034 @ 179.12 179.23 c Sol. found (all assignments made)... 179.23 c Sol. found (all assignments made)... 179.23 o 516238960 179.23 c NEW SOLUTION FOUND: 516238960 @ 179.12 179.23 c Sol. found (all assignments made)... 179.23 o 516237886 179.23 c NEW SOLUTION FOUND: 516237886 @ 179.13 179.23 c Sol. found (all assignments made)... 179.23 o 516235738 179.23 c NEW SOLUTION FOUND: 516235738 @ 179.13 179.24 c Sol. found (all assignments made)... 179.24 c Sol. found (all assignments made)... 179.24 o 516234664 179.24 c NEW SOLUTION FOUND: 516234664 @ 179.13 179.24 c Sol. found (all assignments made)... 179.24 o 516233590 179.24 c NEW SOLUTION FOUND: 516233590 @ 179.13 179.24 c Sol. found (all assignments made)... 179.24 o 516231442 179.24 c NEW SOLUTION FOUND: 516231442 @ 179.13 179.24 c Sol. found (all assignments made)... 179.24 c Sol. found (all assignments made)... 179.24 o 516230368 179.24 c NEW SOLUTION FOUND: 516230368 @ 179.14 179.25 c Sol. found (all assignments made)... 179.25 o 516229294 179.25 c NEW SOLUTION FOUND: 516229294 @ 179.14 179.25 c Sol. found (all assignments made)... 179.25 o 516227146 179.25 c NEW SOLUTION FOUND: 516227146 @ 179.14 179.25 c Sol. found (all assignments made)... 179.25 c Sol. found (all assignments made)... 179.25 o 516226072 179.25 c NEW SOLUTION FOUND: 516226072 @ 179.15 179.25 c Sol. found (all assignments made)... 179.25 o 516224998 179.25 c NEW SOLUTION FOUND: 516224998 @ 179.15 179.25 c Sol. found (all assignments made)... 179.25 o 516222850 179.25 c NEW SOLUTION FOUND: 516222850 @ 179.15 179.26 c Sol. found (all assignments made)... 179.26 c Sol. found (all assignments made)... 179.26 o 516221776 179.26 c NEW SOLUTION FOUND: 516221776 @ 179.15 179.26 c Sol. found (all assignments made)... 179.26 o 516213184 179.26 c NEW SOLUTION FOUND: 516213184 @ 179.15 179.26 c Sol. found (all assignments made)... 179.26 c Sol. found (all assignments made)... 179.26 c Sol. found (all assignments made)... 179.27 c Sol. found (all assignments made)... 179.27 o 516178816 179.27 c NEW SOLUTION FOUND: 516178816 @ 179.16 179.27 c Sol. found (all assignments made)... 179.27 c Sol. found (all assignments made)... 179.27 c Sol. found (all assignments made)... 179.28 c Sol. found (all assignments made)... 179.28 o 516041344 179.28 c NEW SOLUTION FOUND: 516041344 @ 179.17 179.30 c Sol. found (all assignments made)... 179.31 c Sol. found (all assignments made)... 179.31 c Sol. found (all assignments made)... 179.31 c Sol. found (all assignments made)... 179.31 c Sol. found (all assignments made)... 179.31 o 515972608 179.31 c NEW SOLUTION FOUND: 515972608 @ 179.21 179.36 c Sol. found (all assignments made)... 179.36 c Sol. found (all assignments made)... 179.36 c Sol. found (all assignments made)... 179.36 c Sol. found (all assignments made)... 179.37 c Sol. found (all assignments made)... 179.37 c Sol. found (all assignments made)... 179.37 o 515697664 179.37 c NEW SOLUTION FOUND: 515697664 @ 179.26 179.43 c Sol. found (all assignments made)... 179.43 c Sol. found (all assignments made)... 179.43 c Sol. found (all assignments made)... 179.44 c Sol. found (all assignments made)... 179.44 c Sol. found (all assignments made)... 179.44 o 515421646 179.44 c NEW SOLUTION FOUND: 515421646 @ 179.33 179.44 c Sol. found (all assignments made)... 179.44 o 515419498 179.44 c NEW SOLUTION FOUND: 515419498 @ 179.34 179.44 c Sol. found (all assignments made)... 179.44 o 515387278 179.44 c NEW SOLUTION FOUND: 515387278 @ 179.34 179.45 c Sol. found (all assignments made)... 179.45 o 515385130 179.45 c NEW SOLUTION FOUND: 515385130 @ 179.34 179.45 c Sol. found (all assignments made)... 179.45 c Sol. found (all assignments made)... 179.45 o 515384056 179.45 c NEW SOLUTION FOUND: 515384056 @ 179.34 179.46 c Sol. found (all assignments made)... 179.46 o 515378686 179.46 c NEW SOLUTION FOUND: 515378686 @ 179.35 179.46 c Sol. found (all assignments made)... 179.46 o 515376538 179.46 c NEW SOLUTION FOUND: 515376538 @ 179.35 179.46 c Sol. found (all assignments made)... 179.46 c Sol. found (all assignments made)... 179.46 o 515375464 179.46 c NEW SOLUTION FOUND: 515375464 @ 179.36 179.48 c Sol. found (all assignments made)... 179.48 o 515374390 179.48 c NEW SOLUTION FOUND: 515374390 @ 179.37 179.48 c Sol. found (all assignments made)... 179.48 o 515372242 179.48 c NEW SOLUTION FOUND: 515372242 @ 179.37 179.48 c Sol. found (all assignments made)... 179.48 o 515371168 179.48 c NEW SOLUTION FOUND: 515371168 @ 179.38 179.48 c Sol. found (all assignments made)... 179.49 c Sol. found (all assignments made)... 179.49 o 515370094 179.49 c NEW SOLUTION FOUND: 515370094 @ 179.38 179.49 c Sol. found (all assignments made)... 179.49 o 515367946 179.49 c NEW SOLUTION FOUND: 515367946 @ 179.38 179.49 c Sol. found (all assignments made)... 179.50 c Sol. found (all assignments made)... 179.50 o 515366872 179.50 c NEW SOLUTION FOUND: 515366872 @ 179.39 179.50 c Sol. found (all assignments made)... 179.50 o 515361502 179.50 c NEW SOLUTION FOUND: 515361502 @ 179.39 179.50 c Sol. found (all assignments made)... 179.50 o 515359354 179.50 c NEW SOLUTION FOUND: 515359354 @ 179.39 179.50 c Sol. found (all assignments made)... 179.50 c Sol. found (all assignments made)... 179.50 o 515358280 179.50 c NEW SOLUTION FOUND: 515358280 @ 179.4 179.51 c Sol. found (all assignments made)... 179.51 o 515353984 179.51 c NEW SOLUTION FOUND: 515353984 @ 179.4 179.51 c Sol. found (all assignments made)... 179.52 c Sol. found (all assignments made)... 179.52 c Sol. found (all assignments made)... 179.52 c Sol. found (all assignments made)... 179.53 c Sol. found (all assignments made)... 179.53 o 515352910 179.53 c NEW SOLUTION FOUND: 515352910 @ 179.42 179.53 c Sol. found (all assignments made)... 179.53 o 515350762 179.53 c NEW SOLUTION FOUND: 515350762 @ 179.42 179.53 c Sol. found (all assignments made)... 179.53 c Sol. found (all assignments made)... 179.53 o 515349688 179.53 c NEW SOLUTION FOUND: 515349688 @ 179.42 179.53 c Sol. found (all assignments made)... 179.53 o 515318542 179.53 c NEW SOLUTION FOUND: 515318542 @ 179.42 179.53 c Sol. found (all assignments made)... 179.53 o 515316394 179.53 c NEW SOLUTION FOUND: 515316394 @ 179.43 179.54 c Sol. found (all assignments made)... 179.54 c Sol. found (all assignments made)... 179.54 o 515315320 179.54 c NEW SOLUTION FOUND: 515315320 @ 179.43 179.54 c Sol. found (all assignments made)... 179.54 o 515309950 179.54 c NEW SOLUTION FOUND: 515309950 @ 179.44 179.54 c Sol. found (all assignments made)... 179.54 o 515307802 179.54 c NEW SOLUTION FOUND: 515307802 @ 179.44 179.55 c Sol. found (all assignments made)... 179.55 c Sol. found (all assignments made)... 179.55 o 515306728 179.55 c NEW SOLUTION FOUND: 515306728 @ 179.44 179.56 c Sol. found (all assignments made)... 179.56 o 515305654 179.56 c NEW SOLUTION FOUND: 515305654 @ 179.45 179.56 c Sol. found (all assignments made)... 179.56 o 515303506 179.56 c NEW SOLUTION FOUND: 515303506 @ 179.45 179.56 c Sol. found (all assignments made)... 179.56 o 515302432 179.56 c NEW SOLUTION FOUND: 515302432 @ 179.45 179.56 c Sol. found (all assignments made)... 179.57 c Sol. found (all assignments made)... 179.57 o 515285248 179.57 c NEW SOLUTION FOUND: 515285248 @ 179.46 179.58 c Sol. found (all assignments made)... 179.58 c Sol. found (all assignments made)... 179.58 c Sol. found (all assignments made)... 179.59 c Sol. found (all assignments made)... 179.59 c Sol. found (all assignments made)... 179.59 o 515284174 179.59 c NEW SOLUTION FOUND: 515284174 @ 179.48 179.59 c Sol. found (all assignments made)... 179.59 o 515282026 179.59 c NEW SOLUTION FOUND: 515282026 @ 179.49 179.60 c Sol. found (all assignments made)... 179.60 c Sol. found (all assignments made)... 179.60 o 515280952 179.60 c NEW SOLUTION FOUND: 515280952 @ 179.49 179.60 c Sol. found (all assignments made)... 179.60 o 515274508 179.60 c NEW SOLUTION FOUND: 515274508 @ 179.49 179.60 c Sol. found (all assignments made)... 179.60 o 515272360 179.60 c NEW SOLUTION FOUND: 515272360 @ 179.49 179.60 c Sol. found (all assignments made)... 179.60 c Sol. found (all assignments made)... 179.60 c Sol. found (all assignments made)... 179.61 c Sol. found (all assignments made)... 179.61 o 515268064 179.61 c NEW SOLUTION FOUND: 515268064 @ 179.5 179.61 c Sol. found (all assignments made)... 179.61 c Sol. found (all assignments made)... 179.61 c Sol. found (all assignments made)... 179.62 c Sol. found (all assignments made)... 179.62 c Sol. found (all assignments made)... 179.62 c Sol. found (all assignments made)... 179.62 c Sol. found (all assignments made)... 179.63 c Sol. found (all assignments made)... 179.63 c Sol. found (all assignments made)... 179.63 c Sol. found (all assignments made)... 179.63 o 515246584 179.63 c NEW SOLUTION FOUND: 515246584 @ 179.52 179.63 c Sol. found (all assignments made)... 179.63 c Sol. found (all assignments made)... 179.63 c Sol. found (all assignments made)... 179.64 c Sol. found (all assignments made)... 179.64 o 515239066 179.64 c NEW SOLUTION FOUND: 515239066 @ 179.53 179.64 c Sol. found (all assignments made)... 179.64 c Sol. found (all assignments made)... 179.64 o 515237992 179.64 c NEW SOLUTION FOUND: 515237992 @ 179.53 179.64 c Sol. found (all assignments made)... 179.65 c Sol. found (all assignments made)... 179.65 o 515233696 179.65 c NEW SOLUTION FOUND: 515233696 @ 179.54 179.65 c Sol. found (all assignments made)... 179.65 c Sol. found (all assignments made)... 179.65 c Sol. found (all assignments made)... 179.66 c Sol. found (all assignments made)... 179.66 o 515216512 179.66 c NEW SOLUTION FOUND: 515216512 @ 179.55 179.66 c Sol. found (all assignments made)... 179.66 c Sol. found (all assignments made)... 179.66 c Sol. found (all assignments made)... 179.66 c Sol. found (all assignments made)... 179.67 c Sol. found (all assignments made)... 179.68 c Sol. found (all assignments made)... 179.68 o 515190736 179.68 c NEW SOLUTION FOUND: 515190736 @ 179.57 179.68 c Sol. found (all assignments made)... 179.69 c Sol. found (all assignments made)... 179.69 c Sol. found (all assignments made)... 179.69 c Sol. found (all assignments made)... 179.69 o 515183218 179.69 c NEW SOLUTION FOUND: 515183218 @ 179.58 179.69 c Sol. found (all assignments made)... 179.69 c Sol. found (all assignments made)... 179.70 c Sol. found (all assignments made)... 179.70 o 515162812 179.70 c NEW SOLUTION FOUND: 515162812 @ 179.59 179.70 c Sol. found (all assignments made)... 179.70 o 515160664 179.70 c NEW SOLUTION FOUND: 515160664 @ 179.59 179.70 c Sol. found (all assignments made)... 179.71 c Sol. found (all assignments made)... 179.71 c Sol. found (all assignments made)... 179.71 c Sol. found (all assignments made)... 179.71 c Sol. found (all assignments made)... 179.71 o 515155294 179.71 c NEW SOLUTION FOUND: 515155294 @ 179.6 179.71 c Sol. found (all assignments made)... 179.71 o 515153146 179.71 c NEW SOLUTION FOUND: 515153146 @ 179.6 179.72 c Sol. found (all assignments made)... 179.72 o 515152072 179.72 c NEW SOLUTION FOUND: 515152072 @ 179.61 179.72 c Sol. found (all assignments made)... 179.72 c Sol. found (all assignments made)... 179.72 o 515149924 179.72 c NEW SOLUTION FOUND: 515149924 @ 179.61 179.72 c Sol. found (all assignments made)... 179.72 c Sol. found (all assignments made)... 179.72 o 515148850 179.72 c NEW SOLUTION FOUND: 515148850 @ 179.62 179.73 c Sol. found (all assignments made)... 179.73 c Sol. found (all assignments made)... 179.73 c Sol. found (all assignments made)... 179.73 o 515147776 179.73 c NEW SOLUTION FOUND: 515147776 @ 179.62 179.82 c Sol. found (all assignments made)... 180.02 c Restart #4 #Var: 590 LB: 159675669 @ 179.91 180.35 c Restart #5 #Var: 590 LB: 159675669 @ 180.24 180.49 c Sol. found (all assignments made)... 180.51 c Sol. found (all assignments made)... 180.83 c Restart #6 #Var: 590 LB: 159675669 @ 180.72 181.32 c Restart #7 #Var: 590 LB: 159675669 @ 181.21 182.16 c Restart #8 #Var: 589 LB: 159675669 @ 182.04 188.27 c Restart #9 #Var: 589 LB: 159675669 @ 188.16 189.23 c Restart #10 #Var: 589 LB: 159675669 @ 189.12 189.96 c Restart #11 #Var: 589 LB: 159675669 @ 189.85 190.51 c Restart #12 #Var: 589 LB: 159675669 @ 190.4 245.91 c Restart #13 #Var: 589 LB: 159675669 @ 245.79 248.67 c Restart #14 #Var: 589 LB: 159675669 @ 248.54 295.78 c Restart #15 #Var: 589 LB: 159675669 @ 295.64 296.17 c Restart #16 #Var: 589 LB: 159675669 @ 296.03 299.53 c Restart #17 #Var: 589 LB: 159675669 @ 299.38 313.26 c Restart #18 #Var: 589 LB: 159675669 @ 313.11 320.03 c Restart #19 #Var: 589 LB: 159675669 @ 319.88 320.16 c Sol. found (all assignments made)... 320.96 c Restart #20 #Var: 589 LB: 159675669 @ 320.81 321.24 c Sol. found (all assignments made)... 321.24 c Sol. found (all assignments made)... 321.25 c Sol. found (all assignments made)... 321.27 c Sol. found (all assignments made)... 322.19 c Restart #21 #Var: 589 LB: 159675669 @ 322.04 323.65 c Restart #22 #Var: 589 LB: 159675669 @ 323.5 325.46 c Restart #23 #Var: 589 LB: 159675669 @ 325.31 327.51 c Restart #24 #Var: 589 LB: 159675669 @ 327.35 327.63 c Sol. found (all assignments made)... 327.63 c Sol. found (all assignments made)... 327.63 c Sol. found (all assignments made)... 327.64 c Sol. found (all assignments made)... 327.64 c Sol. found (all assignments made)... 327.66 c Sol. found (all assignments made)... 327.66 c Sol. found (all assignments made)... 327.67 c Sol. found (all assignments made)... 327.68 c Sol. found (all assignments made)... 327.69 c Sol. found (all assignments made)... 327.70 c Sol. found (all assignments made)... 327.71 c Sol. found (all assignments made)... 327.72 c Sol. found (all assignments made)... 327.73 c Sol. found (all assignments made)... 327.74 c Sol. found (all assignments made)... 327.75 c Sol. found (all assignments made)... 327.76 c Sol. found (all assignments made)... 327.77 c Sol. found (all assignments made)... 327.78 c Sol. found (all assignments made)... 327.79 c Sol. found (all assignments made)... 327.80 c Sol. found (all assignments made)... 327.81 c Sol. found (all assignments made)... 327.82 c Sol. found (all assignments made)... 327.83 c Sol. found (all assignments made)... 327.84 c Sol. found (all assignments made)... 327.85 c Sol. found (all assignments made)... 327.86 c Sol. found (all assignments made)... 327.87 c Sol. found (all assignments made)... 327.88 c Sol. found (all assignments made)... 327.89 c Sol. found (all assignments made)... 327.90 c Sol. found (all assignments made)... 327.91 c Sol. found (all assignments made)... 327.92 c Sol. found (all assignments made)... 327.93 c Sol. found (all assignments made)... 327.94 c Sol. found (all assignments made)... 327.95 c Sol. found (all assignments made)... 327.96 c Sol. found (all assignments made)... 327.97 c Sol. found (all assignments made)... 327.98 c Sol. found (all assignments made)... 327.99 c Sol. found (all assignments made)... 328.00 c Sol. found (all assignments made)... 328.01 c Sol. found (all assignments made)... 328.02 c Sol. found (all assignments made)... 328.03 c Sol. found (all assignments made)... 328.03 c Sol. found (all assignments made)... 328.05 c Sol. found (all assignments made)... 328.06 c Sol. found (all assignments made)... 328.07 c Sol. found (all assignments made)... 328.08 c Sol. found (all assignments made)... 328.09 c Sol. found (all assignments made)... 328.10 c Sol. found (all assignments made)... 328.16 c Sol. found (all assignments made)... 328.17 c Sol. found (all assignments made)... 328.18 c Sol. found (all assignments made)... 328.19 c Sol. found (all assignments made)... 328.20 c Sol. found (all assignments made)... 328.21 c Sol. found (all assignments made)... 328.22 c Sol. found (all assignments made)... 328.23 c Sol. found (all assignments made)... 328.24 c Sol. found (all assignments made)... 328.25 c Sol. found (all assignments made)... 328.26 c Sol. found (all assignments made)... 328.27 c Sol. found (all assignments made)... 328.28 c Sol. found (all assignments made)... 328.28 c Sol. found (all assignments made)... 328.29 c Sol. found (all assignments made)... 328.30 c Sol. found (all assignments made)... 328.33 c Sol. found (all assignments made)... 328.34 c Sol. found (all assignments made)... 328.35 c Sol. found (all assignments made)... 328.35 c Sol. found (all assignments made)... 328.36 c Sol. found (all assignments made)... 328.37 c Sol. found (all assignments made)... 328.38 c Sol. found (all assignments made)... 328.39 c Sol. found (all assignments made)... 328.40 c Sol. found (all assignments made)... 328.41 c Sol. found (all assignments made)... 328.42 c Sol. found (all assignments made)... 328.42 c Sol. found (all assignments made)... 328.44 c Sol. found (all assignments made)... 328.45 c Sol. found (all assignments made)... 328.46 c Sol. found (all assignments made)... 328.47 c Sol. found (all assignments made)... 328.48 c Sol. found (all assignments made)... 328.49 c Sol. found (all assignments made)... 328.51 c Sol. found (all assignments made)... 328.51 c Sol. found (all assignments made)... 328.53 c Sol. found (all assignments made)... 328.54 c Sol. found (all assignments made)... 328.55 c Sol. found (all assignments made)... 328.56 c Sol. found (all assignments made)... 328.57 c Sol. found (all assignments made)... 328.58 c Sol. found (all assignments made)... 328.60 c Sol. found (all assignments made)... 328.61 c Sol. found (all assignments made)... 328.63 c Sol. found (all assignments made)... 328.64 c Sol. found (all assignments made)... 328.67 c Sol. found (all assignments made)... 328.67 c Sol. found (all assignments made)... 328.70 c Sol. found (all assignments made)... 328.70 c Sol. found (all assignments made)... 328.73 c Sol. found (all assignments made)... 328.74 c Sol. found (all assignments made)... 328.78 c Sol. found (all assignments made)... 328.78 c Sol. found (all assignments made)... 328.81 c Sol. found (all assignments made)... 328.81 c Sol. found (all assignments made)... 328.85 c Sol. found (all assignments made)... 328.85 c Sol. found (all assignments made)... 328.89 c Sol. found (all assignments made)... 328.90 c Sol. found (all assignments made)... 328.93 c Sol. found (all assignments made)... 328.94 c Sol. found (all assignments made)... 328.95 c Sol. found (all assignments made)... 328.96 c Sol. found (all assignments made)... 328.99 c Sol. found (all assignments made)... 329.00 c Sol. found (all assignments made)... 329.04 c Sol. found (all assignments made)... 329.04 c Sol. found (all assignments made)... 329.08 c Sol. found (all assignments made)... 329.08 c Sol. found (all assignments made)... 329.12 c Sol. found (all assignments made)... 329.13 c Sol. found (all assignments made)... 329.15 c Sol. found (all assignments made)... 329.15 c Sol. found (all assignments made)... 329.17 c Sol. found (all assignments made)... 329.18 c Sol. found (all assignments made)... 329.20 c Sol. found (all assignments made)... 329.21 c Sol. found (all assignments made)... 329.23 c Sol. found (all assignments made)... 329.23 c Sol. found (all assignments made)... 329.25 c Sol. found (all assignments made)... 329.25 c Sol. found (all assignments made)... 329.30 c Sol. found (all assignments made)... 329.30 c Sol. found (all assignments made)... 329.32 c Sol. found (all assignments made)... 329.33 c Sol. found (all assignments made)... 329.34 c Sol. found (all assignments made)... 329.35 c Sol. found (all assignments made)... 329.37 c Sol. found (all assignments made)... 329.37 c Sol. found (all assignments made)... 329.42 c Sol. found (all assignments made)... 329.43 c Sol. found (all assignments made)... 329.45 c Sol. found (all assignments made)... 329.46 c Sol. found (all assignments made)... 329.48 c Sol. found (all assignments made)... 329.49 c Sol. found (all assignments made)... 329.51 c Sol. found (all assignments made)... 329.51 c Sol. found (all assignments made)... 329.54 c Sol. found (all assignments made)... 329.54 c Sol. found (all assignments made)... 329.57 c Sol. found (all assignments made)... 329.57 c Sol. found (all assignments made)... 329.60 c Sol. found (all assignments made)... 329.60 c Sol. found (all assignments made)... 329.62 c Sol. found (all assignments made)... 329.63 c Sol. found (all assignments made)... 329.65 c Sol. found (all assignments made)... 329.66 c Sol. found (all assignments made)... 329.73 c Sol. found (all assignments made)... 329.73 c Sol. found (all assignments made)... 329.76 c Sol. found (all assignments made)... 329.76 c Sol. found (all assignments made)... 329.78 c Sol. found (all assignments made)... 329.79 c Sol. found (all assignments made)... 329.81 c Sol. found (all assignments made)... 329.82 c Sol. found (all assignments made)... 329.83 c Sol. found (all assignments made)... 329.84 c Sol. found (all assignments made)... 329.87 c Sol. found (all assignments made)... 329.96 c Restart #25 #Var: 589 LB: 159675669 @ 329.8 334.68 c Restart #26 #Var: 589 LB: 159675669 @ 334.52 335.37 c Restart #27 #Var: 589 LB: 159675669 @ 335.2 338.53 c Restart #28 #Var: 589 LB: 159675669 @ 338.36 341.99 c Restart #29 #Var: 589 LB: 159675669 @ 341.83 343.16 c Restart #30 #Var: 589 LB: 159675669 @ 342.99 344.69 c Restart #31 #Var: 589 LB: 159675669 @ 344.53 346.45 c Sol. found (all assignments made)... 346.46 c Sol. found (all assignments made)... 376.24 c Restart #32 #Var: 589 LB: 159675669 @ 376.07 380.37 c Restart #33 #Var: 589 LB: 159675669 @ 380.2 381.60 c Sol. found (all assignments made)... 384.18 c Sol. found (all assignments made)... 386.17 c Restart #34 #Var: 589 LB: 159675669 @ 386 390.16 c Restart #35 #Var: 589 LB: 159675669 @ 389.98 392.33 c Restart #36 #Var: 589 LB: 159675669 @ 392.15 393.03 c Restart #37 #Var: 589 LB: 159675669 @ 392.85 398.90 c Restart #38 #Var: 589 LB: 159675669 @ 398.71 405.68 c Restart #39 #Var: 589 LB: 159675669 @ 405.5 436.03 c Restart #40 #Var: 589 LB: 159675669 @ 435.83 462.38 c Restart #41 #Var: 589 LB: 159675669 @ 462.18 480.72 c Restart #42 #Var: 589 LB: 159675669 @ 480.51 497.63 c Restart #43 #Var: 589 LB: 159675669 @ 497.42 501.88 c Restart #44 #Var: 589 LB: 159675669 @ 501.67 516.44 c Restart #45 #Var: 589 LB: 159675669 @ 516.22 534.88 c Restart #46 #Var: 589 LB: 159675669 @ 534.66 541.58 c Restart #47 #Var: 589 LB: 159675669 @ 541.36 544.57 c Restart #48 #Var: 589 LB: 159675669 @ 544.35 560.98 c Restart #49 #Var: 589 LB: 159675669 @ 560.75 581.28 c Restart #50 #Var: 589 LB: 159675669 @ 581.05 599.30 c Restart #51 #Var: 589 LB: 159675669 @ 599.06 604.73 c Restart #52 #Var: 589 LB: 159675669 @ 604.49 606.65 c Restart #53 #Var: 589 LB: 159675669 @ 606.4 629.66 c Restart #54 #Var: 589 LB: 159675669 @ 629.41 740.00 c Restart #55 #Var: 589 LB: 159675669 @ 739.71 900.41 c Restart #56 #Var: 589 LB: 159675669 @ 900.08 920.52 c Sol. found (all assignments made)... 931.91 c Restart #57 #Var: 588 LB: 159675669 @ 931.57 945.55 c Restart #58 #Var: 588 LB: 159675669 @ 945.21 1133.59 c Restart #59 #Var: 588 LB: 159675669 @ 1133.2 1133.74 c Sol. found (all assignments made)... 1133.76 c Sol. found (all assignments made)... 1136.70 c Restart #60 #Var: 588 LB: 159675669 @ 1136.3 1151.49 c Sol. found (all assignments made)... 1151.51 c Sol. found (all assignments made)... 1164.48 c Sol. found (all assignments made)... 1164.48 c Sol. found (all assignments made)... 1164.48 o 511867904 1164.48 c NEW SOLUTION FOUND: 511867904 @ 1164.1 1190.41 c Sol. found (all assignments made)... 1190.41 c Sol. found (all assignments made)... 1190.69 c Sol. found (all assignments made)... 1190.86 c Sol. found (all assignments made)... 1191.15 c Sol. found (all assignments made)... 1197.70 c Restart #61 #Var: 588 LB: 159675669 @ 1197.3 1206.84 c Restart #62 #Var: 588 LB: 159675669 @ 1206.4 1270.03 c Restart #63 #Var: 588 LB: 159675669 @ 1269.6 1274.41 c Restart #64 #Var: 588 LB: 159675669 @ 1274 1295.95 c Restart #65 #Var: 588 LB: 159675669 @ 1295.4 1311.67 c Restart #66 #Var: 588 LB: 159675669 @ 1311.1 1312.91 c Restart #67 #Var: 588 LB: 159675669 @ 1312.4 1314.45 c Restart #68 #Var: 588 LB: 159675669 @ 1313.9 1316.26 c Restart #69 #Var: 588 LB: 159675669 @ 1315.7 1318.18 c Restart #70 #Var: 588 LB: 159675669 @ 1317.7 1323.77 c Restart #71 #Var: 588 LB: 159675669 @ 1323.2 1346.32 c Restart #72 #Var: 588 LB: 159675669 @ 1345.8 1352.27 c Restart #73 #Var: 588 LB: 159675669 @ 1351.7 1370.57 c Restart #74 #Var: 588 LB: 159675669 @ 1370 1388.51 c Restart #75 #Var: 588 LB: 159675669 @ 1388 1395.71 c Restart #76 #Var: 588 LB: 159675669 @ 1395.2 1456.97 c Restart #77 #Var: 588 LB: 159675669 @ 1456.4 1482.60 c Restart #78 #Var: 588 LB: 159675669 @ 1482 1574.24 c Restart #79 #Var: 588 LB: 159675669 @ 1573.6 1629.19 c Restart #80 #Var: 588 LB: 159675669 @ 1628.6 1650.56 c Restart #81 #Var: 588 LB: 159675669 @ 1649.9 1721.08 c Restart #82 #Var: 588 LB: 159675669 @ 1720.4 1763.11 c Restart #83 #Var: 588 LB: 159675669 @ 1762.5 1791.62 c Restart #84 #Var: 588 LB: 159675669 @ 1791 1800.67 s SATISFIABLE 1800.67 c Cost: 511867904 1800.67 v x1651 -x1652 -x1654 -x1653 -x1655 x1657 -x1656 x1658 x1659 x1660 -x1661 x1662 x1664 x1665 -x1666 x1667 x1668 -x1669 x1670 1800.67 v -x1671 x1672 x1673 x1663 x1674 x1675 -x1681 x1680 x1679 -x1676 x1677 -x1678 x1682 x1684 -x1683 x1685 -x1686 x1687 -x1691 1800.67 v x1692 x1690 -x1689 -x1688 x1693 x1694 -x1697 -x1695 -x1696 x1698 x1699 x1700 -x1701 -x1703 x1702 x1704 x1705 -x1 -x2 -x3 1800.67 v -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1800.67 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1800.67 v -x57 -x58 -x59 -x60 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1800.67 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 1800.67 v -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x121 -x122 -x123 -x124 -x125 -x126 1800.67 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.67 v -x148 -x149 -x150 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 x193 -x194 -x195 -x196 -x197 -x198 1800.67 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 1800.67 v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 1800.67 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.67 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.67 v x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.67 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.67 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.67 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.67 v -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.67 v -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1800.67 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 1800.67 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 1800.67 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 1800.67 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 1800.67 v -x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 1800.67 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 1800.67 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 1800.67 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 1800.67 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1800.67 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 x642 -x643 x644 x645 -x646 -x647 -x648 1800.67 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 1800.67 v -x670 x671 x672 -x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 1800.67 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.67 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 x702 1800.67 v x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 1800.67 v -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 1800.67 v -x745 -x746 -x747 -x748 -x749 -x750 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 1800.67 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x871 -x872 -x873 -x874 -x875 -x876 1800.67 v -x877 -x878 -x879 -x880 x881 x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 1800.67 v -x898 -x899 -x900 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 x852 x853 -x854 -x855 -x856 -x857 -x858 1800.67 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 1800.67 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 1800.67 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1800.67 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 1800.67 v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x931 -x932 -x933 1800.67 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1800.67 v -x955 -x956 -x957 -x958 -x959 -x960 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 x1002 -x1003 -x1004 1800.67 v x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x961 -x962 1800.67 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 1800.67 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 1800.67 v x1033 x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 1800.67 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 1800.67 v -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 1800.67 v -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 x1093 x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 1800.67 v -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.67 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.67 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 x1243 -x1244 1800.67 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1171 1800.67 v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1800.67 v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.67 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.67 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1800.67 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 1800.67 v -x1138 -x1139 -x1140 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 1800.67 v x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 1800.67 v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 x1305 -x1306 x1307 -x1308 -x1309 -x1310 1800.67 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 1800.67 v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 1800.67 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 1800.67 v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 1800.67 v -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 x1425 -x1426 1800.67 v x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1471 -x1472 -x1473 1800.67 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 1800.67 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.67 v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 1800.67 v -x1526 -x1527 -x1528 -x1529 -x1530 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1800.67 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1800.67 v -x1590 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 x1544 x1545 -x1546 x1547 1800.67 v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1591 -x1592 -x1593 -x1594 1800.67 v -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 1800.67 v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 1800.67 v -x1630 x1631 x1632 x1633 -x1634 -x1635 x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 1800.67 v -x1648 -x1649 -x1650 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 x435 -x436 -x437 -x438 1800.67 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 1800.67 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1800.67 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 1800.67 v x1452 x1453 -x1454 x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1800.67 v -x1470 1800.67 c Exit Code: 10 1800.67 c Total time: 1800 s
OK 511867904
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/node81/watcher-40716-1149313194 -o ROOT/results/node81/solver-40716-1149313194 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/40716-1149313194/instance-40716-1149313194.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/68 30887 /proc/meminfo: memFree=1021080/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=436 CPUtime=0 /proc/30887/stat : 30887 (bsolo) D 30885 30887 30841 0 -1 0 37 0 0 0 0 0 0 0 19 0 1 0 196958832 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10101684 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/30887/statm: 109 23 18 55 0 18 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.98 0.99 2/68 30887 /proc/meminfo: memFree=882200/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=143780 CPUtime=9.97 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 35078 0 0 0 971 26 0 0 25 0 1 0 196958832 147230720 34955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 35945 34955 294 55 0 34836 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 143780 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.99 2/68 30887 /proc/meminfo: memFree=847520/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=178668 CPUtime=19.94 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 43764 0 0 0 1963 31 0 0 25 0 1 0 196958832 182956032 43616 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 44667 43616 295 55 0 43558 0 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 178668 [startup+30.0151 s] /proc/loadavg: 0.95 0.98 0.99 2/68 30887 /proc/meminfo: memFree=845600/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=180516 CPUtime=29.94 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44231 0 0 0 2962 32 0 0 25 0 1 0 196958832 184848384 44083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45129 44083 295 55 0 44020 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 180516 [startup+40.0212 s] /proc/loadavg: 0.96 0.98 0.99 2/68 30887 /proc/meminfo: memFree=845600/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=180516 CPUtime=39.95 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44239 0 0 0 3963 32 0 0 25 0 1 0 196958832 184848384 44091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45129 44091 295 55 0 44020 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 180516 [startup+50.0273 s] /proc/loadavg: 0.96 0.98 0.99 2/68 30887 /proc/meminfo: memFree=845600/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=180516 CPUtime=49.95 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44239 0 0 0 4963 32 0 0 25 0 1 0 196958832 184848384 44091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45129 44091 295 55 0 44020 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 180516 [startup+60.0335 s] /proc/loadavg: 0.97 0.98 0.99 2/68 30887 /proc/meminfo: memFree=845600/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=180644 CPUtime=59.95 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44244 0 0 0 5963 32 0 0 25 0 1 0 196958832 184979456 44096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45161 44096 295 55 0 44052 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 180644 [startup+70.0396 s] /proc/loadavg: 0.97 0.98 0.99 2/68 30887 /proc/meminfo: memFree=845536/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=180644 CPUtime=69.96 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44262 0 0 0 6963 33 0 0 25 0 1 0 196958832 184979456 44114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45161 44114 295 55 0 44052 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 180644 [startup+80.0457 s] /proc/loadavg: 0.98 0.98 0.99 2/68 30887 /proc/meminfo: memFree=844768/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=181396 CPUtime=79.96 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44453 0 0 0 7963 33 0 0 25 0 1 0 196958832 185749504 44305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529270 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45349 44305 295 55 0 44240 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 181396 [startup+90.0518 s] /proc/loadavg: 0.98 0.98 0.99 2/68 30887 /proc/meminfo: memFree=844768/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=181528 CPUtime=89.97 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44471 0 0 0 8964 33 0 0 25 0 1 0 196958832 185884672 44323 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45382 44323 295 55 0 44273 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 181528 [startup+100.058 s] /proc/loadavg: 0.98 0.98 0.99 2/68 30887 /proc/meminfo: memFree=844640/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=181632 CPUtime=99.97 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44490 0 0 0 9964 33 0 0 25 0 1 0 196958832 185991168 44342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45408 44342 295 55 0 44299 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 181632 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.99 2/68 30887 /proc/meminfo: memFree=844384/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=181896 CPUtime=109.97 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44556 0 0 0 10964 33 0 0 25 0 1 0 196958832 186261504 44408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45474 44408 295 55 0 44365 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 181896 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/68 30887 /proc/meminfo: memFree=844064/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=182160 CPUtime=119.97 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44639 0 0 0 11964 33 0 0 25 0 1 0 196958832 186531840 44491 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45540 44491 295 55 0 44431 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 182160 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/68 30887 /proc/meminfo: memFree=844000/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=182160 CPUtime=129.98 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44639 0 0 0 12964 34 0 0 25 0 1 0 196958832 186531840 44491 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45540 44491 295 55 0 44431 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 182160 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/68 30887 /proc/meminfo: memFree=844000/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=182160 CPUtime=139.98 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44647 0 0 0 13964 34 0 0 25 0 1 0 196958832 186531840 44499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45540 44499 295 55 0 44431 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 182160 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/68 30887 /proc/meminfo: memFree=844000/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=182240 CPUtime=149.99 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44649 0 0 0 14965 34 0 0 25 0 1 0 196958832 186613760 44501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45560 44501 295 55 0 44451 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 182240 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.99 2/68 30887 /proc/meminfo: memFree=844000/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=182240 CPUtime=159.99 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44659 0 0 0 15965 34 0 0 25 0 1 0 196958832 186613760 44511 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45560 44511 295 55 0 44451 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 182240 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.99 2/68 30887 /proc/meminfo: memFree=843552/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=182572 CPUtime=169.99 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 44750 0 0 0 16965 34 0 0 25 0 1 0 196958832 186953728 44602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 45643 44602 295 55 0 44534 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 182572 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.99 2/68 30887 /proc/meminfo: memFree=839392/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=186812 CPUtime=179.98 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 45792 0 0 0 17963 35 0 0 25 0 1 0 196958832 191295488 45644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 46703 45644 295 55 0 45594 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 186812 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.99 2/68 30887 /proc/meminfo: memFree=832352/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=193780 CPUtime=189.99 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 47552 0 0 0 18963 36 0 0 25 0 1 0 196958832 198430720 47404 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 48445 47404 295 55 0 47336 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 193780 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/68 30887 /proc/meminfo: memFree=832096/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=194248 CPUtime=200 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 47614 0 0 0 19963 37 0 0 25 0 1 0 196958832 198909952 47465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 48562 47465 295 55 0 47453 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 194248 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.99 2/68 30887 /proc/meminfo: memFree=832032/2055892 swapFree=4085344/4096564 ################ # More data... # ################ /proc/30887/statm: 138446 137066 295 55 0 137337 0 Current children cumulated CPU time (s) 1760.39 Current children cumulated vsize (Kb) 553784 [startup+1771.06 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=472096/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=554532 CPUtime=1770.39 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138062 0 0 0 176899 140 0 0 25 0 1 0 196958832 567840768 137258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 138633 137258 295 55 0 137524 0 Current children cumulated CPU time (s) 1770.39 Current children cumulated vsize (Kb) 554532 [startup+1781.07 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=470880/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=555800 CPUtime=1780.4 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138365 0 0 0 177899 141 0 0 25 0 1 0 196958832 569139200 137561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 138950 137561 295 55 0 137841 0 Current children cumulated CPU time (s) 1780.4 Current children cumulated vsize (Kb) 555800 [startup+1782.07 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=470688/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=555924 CPUtime=1781.4 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138401 0 0 0 177999 141 0 0 25 0 1 0 196958832 569266176 137597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 138981 137597 295 55 0 137872 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 555924 [startup+1783.08 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=470624/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=555924 CPUtime=1782.41 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138417 0 0 0 178100 141 0 0 25 0 1 0 196958832 569266176 137613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 138981 137613 295 55 0 137872 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 555924 [startup+1784.08 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=470624/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=556040 CPUtime=1783.41 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138429 0 0 0 178200 141 0 0 25 0 1 0 196958832 569384960 137625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139010 137625 295 55 0 137901 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 556040 [startup+1785.09 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=470560/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=556040 CPUtime=1784.42 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138434 0 0 0 178301 141 0 0 25 0 1 0 196958832 569384960 137630 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139010 137630 295 55 0 137901 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 556040 [startup+1786.09 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=470560/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=556040 CPUtime=1785.42 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138435 0 0 0 178401 141 0 0 25 0 1 0 196958832 569384960 137631 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139010 137631 295 55 0 137901 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 556040 [startup+1787.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=470496/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=556040 CPUtime=1786.43 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138449 0 0 0 178502 141 0 0 25 0 1 0 196958832 569384960 137645 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139010 137645 295 55 0 137901 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 556040 [startup+1788.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=470368/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=556288 CPUtime=1787.43 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138488 0 0 0 178602 141 0 0 25 0 1 0 196958832 569638912 137684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139072 137684 295 55 0 137963 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 556288 [startup+1789.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=470304/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=556288 CPUtime=1788.44 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138506 0 0 0 178703 141 0 0 25 0 1 0 196958832 569638912 137702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139072 137702 295 55 0 137963 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 556288 [startup+1790.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=470048/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=556552 CPUtime=1789.44 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138558 0 0 0 178803 141 0 0 25 0 1 0 196958832 569909248 137754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139138 137754 295 55 0 138029 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 556552 [startup+1791.12 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=469792/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=556808 CPUtime=1790.44 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138627 0 0 0 178903 141 0 0 25 0 1 0 196958832 570171392 137823 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139202 137823 295 55 0 138093 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 556808 [startup+1792.12 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=469600/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=557080 CPUtime=1791.44 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138673 0 0 0 179003 141 0 0 25 0 1 0 196958832 570449920 137869 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139270 137869 295 55 0 138161 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 557080 [startup+1793.13 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=469088/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=557476 CPUtime=1792.45 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138797 0 0 0 179104 141 0 0 25 0 1 0 196958832 570855424 137993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139369 137993 295 55 0 138260 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 557476 [startup+1794.13 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=468960/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=557608 CPUtime=1793.45 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138829 0 0 0 179204 141 0 0 25 0 1 0 196958832 570990592 138025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139402 138025 295 55 0 138293 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 557608 [startup+1795.14 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=468832/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=557740 CPUtime=1794.46 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138864 0 0 0 179304 142 0 0 25 0 1 0 196958832 571125760 138060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139435 138060 295 55 0 138326 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 557740 [startup+1796.14 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=468384/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=558268 CPUtime=1795.47 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 138982 0 0 0 179405 142 0 0 25 0 1 0 196958832 571666432 138178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139567 138178 295 55 0 138458 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 558268 [startup+1797.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=468256/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=558400 CPUtime=1796.47 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 139006 0 0 0 179505 142 0 0 25 0 1 0 196958832 571801600 138202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139600 138202 295 55 0 138491 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (Kb) 558400 [startup+1798.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=468064/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=558532 CPUtime=1797.48 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 139055 0 0 0 179606 142 0 0 25 0 1 0 196958832 571936768 138251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139633 138251 295 55 0 138524 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 558532 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=468064/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=558532 CPUtime=1798.48 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 139058 0 0 0 179706 142 0 0 25 0 1 0 196958832 571936768 138254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139633 138254 295 55 0 138524 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 558532 [startup+1800.16 s] /proc/loadavg: 0.99 0.98 0.99 2/68 31082 /proc/meminfo: memFree=468000/2055892 swapFree=4085344/4096564 [pid=30887] ppid=30885 vsize=558532 CPUtime=1799.48 /proc/30887/stat : 30887 (bsolo) R 30885 30887 30841 0 -1 0 139066 0 0 0 179806 142 0 0 25 0 1 0 196958832 571936768 138262 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30887/statm: 139633 138262 295 55 0 138524 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 558532 Child status: 10 Real time (s): 1800.76 CPU time (s): 1800.08 CPU user time (s): 1798.58 CPU system time (s): 1.50177 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (Kb): 558532
Begin job on node81 on Sat Jun 3 05:39:54 UTC 2006 FILE ID= 40716-1149313194 PBS_JOBID= 308179 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/40716-1149313194/instance-40716-1149313194.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node81/watcher-40716-1149313194 -o ROOT/results/node81/solver-40716-1149313194 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/40716-1149313194/instance-40716-1149313194.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 8eddbca1ad45a201e8c2c397b62f33c3 RANDOM SEED= 800251484 /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.248 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.19 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.248 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1021288 kB Buffers: 45248 kB Cached: 909332 kB SwapCached: 2656 kB Active: 178656 kB Inactive: 784908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1021288 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 164 kB Writeback: 0 kB Mapped: 16520 kB Slab: 57628 kB Committed_AS: 287292 kB PageTables: 1288 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node81 on Sat Jun 3 06:09:55 UTC 2006