Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 25390106 | 1800.03 | 1800.79 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-gr4x6.opb |
| MD5SUM | 33cb0d9f791aa8843e995c8b8a3c3e5d |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 20843520 |
| Best CPU time to get the best result obtained on this benchmark | 1800.59 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20720640 |
| Optimality of the best value was proved | YES |
| Number of variables | 744 |
| Total number of constraints | 34 |
| 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 | 34 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 180 |
| Number of terms in the objective function | 744 |
| Biggest coefficient in the objective function | 151934468096 |
| Number of bits for the biggest coefficient in the objective function | 38 |
| Sum of the numbers in the objective function | 3470370333536 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 151934468096 |
| Number of bits of the biggest number in a constraint | 38 |
| Biggest sum of numbers in a constraint | 3470370333536 |
| Number of bits of the biggest sum of numbers | 42 |
| 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.03 c INFO: OSL Context initialized. 0.03 c BIG Int formula... 0.05 c Initial problem consists of 744 variables and 44 constraints. 0.05 c No problem reductions applied in OPT. instance. 0.05 c preprocess terminated. Elapsed time: 0.021 0.05 c After prepocess the problem consists of 363 variables and 44 constraints. 0.05 c Initial Lower Bound: 0 0.06 c Restart #1 #Var: 363 LB: 0 @ 0.036 0.09 c Restart #2 #Var: 363 LB: 0 @ 0.068 0.14 c Restart #3 #Var: 363 LB: 0 @ 0.117 0.20 c Restart #4 #Var: 363 LB: 0 @ 0.18 0.28 c Restart #5 #Var: 363 LB: 0 @ 0.259 0.38 c Restart #6 #Var: 363 LB: 0 @ 0.358 0.50 c Restart #7 #Var: 363 LB: 0 @ 0.475 0.64 c Restart #8 #Var: 363 LB: 0 @ 0.613 0.81 c Restart #9 #Var: 363 LB: 0 @ 0.783 0.99 c Restart #10 #Var: 363 LB: 0 @ 0.963 1.19 c Restart #11 #Var: 363 LB: 0 @ 1.165 1.41 c Restart #12 #Var: 363 LB: 0 @ 1.389 1.75 c Restart #13 #Var: 363 LB: 0 @ 1.724 2.13 c Restart #14 #Var: 363 LB: 0 @ 2.106 2.13 c Sol. found (all assignments made)... 2.13 o 37455834 2.13 c NEW SOLUTION FOUND: 37455834 @ 2.107 2.13 c Sol. found (all assignments made)... 2.13 o 36431494 2.13 c NEW SOLUTION FOUND: 36431494 @ 2.107 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 o 35714700 2.13 c NEW SOLUTION FOUND: 35714700 @ 2.109 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 o 35612804 2.14 c NEW SOLUTION FOUND: 35612804 @ 2.112 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.14 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 o 34588331 2.15 c NEW SOLUTION FOUND: 34588331 @ 2.13 2.15 c Sol. found (all assignments made)... 2.15 o 34486435 2.15 c NEW SOLUTION FOUND: 34486435 @ 2.131 2.15 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 o 34486394 2.19 c NEW SOLUTION FOUND: 34486394 @ 2.163 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 o 34178713 2.21 c NEW SOLUTION FOUND: 34178713 @ 2.185 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 o 34178672 2.22 c NEW SOLUTION FOUND: 34178672 @ 2.2 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 o 33052303 2.23 c NEW SOLUTION FOUND: 33052303 @ 2.21 2.23 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 o 33052262 2.24 c NEW SOLUTION FOUND: 33052262 @ 2.216 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.25 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 o 32950366 2.26 c NEW SOLUTION FOUND: 32950366 @ 2.236 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.30 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.34 c Sol. found (all assignments made)... 2.34 c Sol. found (all assignments made)... 2.34 c Sol. found (all assignments made)... 2.34 c Sol. found (all assignments made)... 2.35 c Sol. found (all assignments made)... 2.35 c Sol. found (all assignments made)... 2.35 o 32847996 2.35 c NEW SOLUTION FOUND: 32847996 @ 2.325 2.35 c Sol. found (all assignments made)... 2.35 o 32847968 2.35 c NEW SOLUTION FOUND: 32847968 @ 2.327 2.35 c Sol. found (all assignments made)... 2.35 c Sol. found (all assignments made)... 2.36 c Sol. found (all assignments made)... 2.36 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.38 o 32438294 2.38 c NEW SOLUTION FOUND: 32438294 @ 2.359 2.38 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.44 c Sol. found (all assignments made)... 2.44 c Sol. found (all assignments made)... 2.44 c Sol. found (all assignments made)... 2.44 c Sol. found (all assignments made)... 2.44 c Sol. found (all assignments made)... 2.44 c Sol. found (all assignments made)... 2.45 c Sol. found (all assignments made)... 2.45 c Sol. found (all assignments made)... 2.46 c Sol. found (all assignments made)... 2.46 c Sol. found (all assignments made)... 2.46 c Sol. found (all assignments made)... 2.46 c Sol. found (all assignments made)... 2.46 c Sol. found (all assignments made)... 2.46 c Sol. found (all assignments made)... 2.47 c Sol. found (all assignments made)... 2.47 c Sol. found (all assignments made)... 2.47 c Sol. found (all assignments made)... 2.47 c Sol. found (all assignments made)... 2.48 c Sol. found (all assignments made)... 2.48 c Sol. found (all assignments made)... 2.48 c Sol. found (all assignments made)... 2.48 c Sol. found (all assignments made)... 2.48 c Sol. found (all assignments made)... 2.48 c Sol. found (all assignments made)... 2.48 c Sol. found (all assignments made)... 2.48 c Sol. found (all assignments made)... 2.48 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.49 c Sol. found (all assignments made)... 2.50 c Sol. found (all assignments made)... 2.50 c Sol. found (all assignments made)... 2.50 c Sol. found (all assignments made)... 2.50 c Sol. found (all assignments made)... 2.51 c Sol. found (all assignments made)... 2.51 c Sol. found (all assignments made)... 2.51 c Sol. found (all assignments made)... 2.51 c Sol. found (all assignments made)... 2.51 c Sol. found (all assignments made)... 2.51 c Sol. found (all assignments made)... 2.52 c Sol. found (all assignments made)... 2.52 c Sol. found (all assignments made)... 2.52 c Sol. found (all assignments made)... 2.52 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.54 c Sol. found (all assignments made)... 2.54 c Sol. found (all assignments made)... 2.54 c Sol. found (all assignments made)... 2.54 c Sol. found (all assignments made)... 2.54 c Sol. found (all assignments made)... 2.55 c Sol. found (all assignments made)... 2.55 c Sol. found (all assignments made)... 2.56 c Sol. found (all assignments made)... 2.56 c Sol. found (all assignments made)... 2.57 c Sol. found (all assignments made)... 2.57 c Sol. found (all assignments made)... 2.58 c Sol. found (all assignments made)... 2.58 c Sol. found (all assignments made)... 2.58 c Sol. found (all assignments made)... 2.58 c Sol. found (all assignments made)... 2.59 c Sol. found (all assignments made)... 2.59 c Sol. found (all assignments made)... 2.59 c Sol. found (all assignments made)... 2.59 c Sol. found (all assignments made)... 2.59 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.61 c Sol. found (all assignments made)... 2.61 c Sol. found (all assignments made)... 2.61 c Sol. found (all assignments made)... 2.62 c Sol. found (all assignments made)... 2.62 c Sol. found (all assignments made)... 2.62 c Sol. found (all assignments made)... 2.62 c Sol. found (all assignments made)... 2.63 c Sol. found (all assignments made)... 2.63 c Sol. found (all assignments made)... 2.63 c Sol. found (all assignments made)... 2.64 c Sol. found (all assignments made)... 2.64 c Sol. found (all assignments made)... 2.64 c Sol. found (all assignments made)... 2.65 c Sol. found (all assignments made)... 2.65 c Sol. found (all assignments made)... 2.65 c Sol. found (all assignments made)... 2.65 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.03 c Sol. found (all assignments made)... 3.03 c Sol. found (all assignments made)... 3.03 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.06 c Sol. found (all assignments made)... 3.06 c Sol. found (all assignments made)... 3.06 c Sol. found (all assignments made)... 3.06 c Sol. found (all assignments made)... 3.06 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 o 32370728 3.09 c NEW SOLUTION FOUND: 32370728 @ 3.063 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 o 32342112 3.17 c NEW SOLUTION FOUND: 32342112 @ 3.145 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 o 32342056 3.17 c NEW SOLUTION FOUND: 32342056 @ 3.148 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.32 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.40 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.86 c Restart #15 #Var: 363 LB: 0 @ 3.833 3.86 c Sol. found (all assignments made)... 3.86 o 25469926 3.86 c NEW SOLUTION FOUND: 25469926 @ 3.836 3.86 c Sol. found (all assignments made)... 3.86 o 25416678 3.86 c NEW SOLUTION FOUND: 25416678 @ 3.836 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 o 25403366 3.86 c NEW SOLUTION FOUND: 25403366 @ 3.84 3.86 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 o 25396710 3.87 c NEW SOLUTION FOUND: 25396710 @ 3.846 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.88 o 25393382 3.88 c NEW SOLUTION FOUND: 25393382 @ 3.859 3.88 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 o 25391718 3.91 c NEW SOLUTION FOUND: 25391718 @ 3.887 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 3.94 c Sol. found (all assignments made)... 3.94 c Sol. found (all assignments made)... 3.94 c Sol. found (all assignments made)... 3.94 c Sol. found (all assignments made)... 3.94 c Sol. found (all assignments made)... 3.94 c Sol. found (all assignments made)... 3.94 c Sol. found (all assignments made)... 3.94 c Sol. found (all assignments made)... 3.94 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.97 c Sol. found (all assignments made)... 3.97 c Sol. found (all assignments made)... 3.97 c Sol. found (all assignments made)... 3.97 c Sol. found (all assignments made)... 3.97 o 25390886 3.97 c NEW SOLUTION FOUND: 25390886 @ 3.946 3.97 c Sol. found (all assignments made)... 3.97 c Sol. found (all assignments made)... 3.97 c Sol. found (all assignments made)... 3.97 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 o 25390470 4.09 c NEW SOLUTION FOUND: 25390470 @ 4.065 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 o 25390262 4.33 c NEW SOLUTION FOUND: 25390262 @ 4.306 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.64 c Sol. found (all assignments made)... 4.64 c Sol. found (all assignments made)... 4.64 c Sol. found (all assignments made)... 4.64 c Sol. found (all assignments made)... 4.64 c Sol. found (all assignments made)... 4.64 c Sol. found (all assignments made)... 4.64 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.66 c Sol. found (all assignments made)... 4.66 c Sol. found (all assignments made)... 4.66 c Sol. found (all assignments made)... 4.66 c Sol. found (all assignments made)... 4.66 c Sol. found (all assignments made)... 4.66 c Sol. found (all assignments made)... 4.66 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 o 25390210 4.85 c NEW SOLUTION FOUND: 25390210 @ 4.826 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 o 25390158 5.45 c NEW SOLUTION FOUND: 25390158 @ 5.424 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.52 c Sol. found (all assignments made)... 5.52 c Sol. found (all assignments made)... 5.52 c Sol. found (all assignments made)... 5.52 c Sol. found (all assignments made)... 5.52 c Sol. found (all assignments made)... 5.52 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.54 c Sol. found (all assignments made)... 5.54 c Sol. found (all assignments made)... 5.54 c Sol. found (all assignments made)... 5.54 c Sol. found (all assignments made)... 5.54 c Sol. found (all assignments made)... 5.54 c Sol. found (all assignments made)... 5.55 c Sol. found (all assignments made)... 5.55 c Sol. found (all assignments made)... 5.55 c Sol. found (all assignments made)... 5.55 c Sol. found (all assignments made)... 5.55 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.60 c Sol. found (all assignments made)... 5.60 c Sol. found (all assignments made)... 5.60 c Sol. found (all assignments made)... 5.60 c Sol. found (all assignments made)... 5.60 c Sol. found (all assignments made)... 5.60 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.77 c Sol. found (all assignments made)... 5.77 c Sol. found (all assignments made)... 5.77 c Sol. found (all assignments made)... 5.77 c Sol. found (all assignments made)... 5.77 c Sol. found (all assignments made)... 5.77 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 o 25390106 6.16 c NEW SOLUTION FOUND: 25390106 @ 6.131 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.40 c Sol. found (all assignments made)... 6.40 c Sol. found (all assignments made)... 6.40 c Sol. found (all assignments made)... 6.40 c Sol. found (all assignments made)... 6.40 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.45 c Sol. found (all assignments made)... 6.45 c Sol. found (all assignments made)... 6.45 c Sol. found (all assignments made)... 6.45 c Sol. found (all assignments made)... 6.45 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.51 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.55 c Sol. found (all assignments made)... 6.55 c Sol. found (all assignments made)... 6.55 c Sol. found (all assignments made)... 6.55 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.57 c Sol. found (all assignments made)... 6.57 c Sol. found (all assignments made)... 6.57 c Sol. found (all assignments made)... 6.57 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.59 c Sol. found (all assignments made)... 6.59 c Sol. found (all assignments made)... 6.59 c Sol. found (all assignments made)... 6.59 c Sol. found (all assignments made)... 6.59 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.61 c Sol. found (all assignments made)... 6.61 c Sol. found (all assignments made)... 6.61 c Sol. found (all assignments made)... 6.61 c Sol. found (all assignments made)... 6.62 c Sol. found (all assignments made)... 6.62 c Sol. found (all assignments made)... 6.62 c Sol. found (all assignments made)... 6.62 c Sol. found (all assignments made)... 6.62 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.69 c Sol. found (all assignments made)... 6.69 c Sol. found (all assignments made)... 6.69 c Sol. found (all assignments made)... 6.69 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.88 c Sol. found (all assignments made)... 6.88 c Sol. found (all assignments made)... 6.88 c Sol. found (all assignments made)... 6.88 c Sol. found (all assignments made)... 6.89 c Sol. found (all assignments made)... 6.89 c Sol. found (all assignments made)... 6.89 c Sol. found (all assignments made)... 6.89 c Sol. found (all assignments made)... 6.89 c Sol. found (all assignments made)... 6.90 c Sol. found (all assignments made)... 6.90 c Sol. found (all assignments made)... 6.90 c Sol. found (all assignments made)... 6.90 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.92 c Sol. found (all assignments made)... 6.92 c Sol. found (all assignments made)... 6.92 c Sol. found (all assignments made)... 6.92 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.94 c Sol. found (all assignments made)... 6.94 c Sol. found (all assignments made)... 6.94 c Sol. found (all assignments made)... 6.94 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.02 c Sol. found (all assignments made)... 7.02 c Sol. found (all assignments made)... 7.02 c Sol. found (all assignments made)... 7.02 c Sol. found (all assignments made)... 7.02 c Sol. found (all assignments made)... 7.03 c Sol. found (all assignments made)... 7.03 c Sol. found (all assignments made)... 7.03 c Sol. found (all assignments made)... 7.03 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.05 c Sol. found (all assignments made)... 7.05 c Sol. found (all assignments made)... 7.05 c Sol. found (all assignments made)... 7.05 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.07 c Sol. found (all assignments made)... 7.07 c Sol. found (all assignments made)... 7.07 c Sol. found (all assignments made)... 7.07 c Sol. found (all assignments made)... 7.08 c Sol. found (all assignments made)... 7.08 c Sol. found (all assignments made)... 7.08 c Sol. found (all assignments made)... 7.08 c Sol. found (all assignments made)... 7.08 c Sol. found (all assignments made)... 7.09 c Sol. found (all assignments made)... 7.09 c Sol. found (all assignments made)... 7.09 c Sol. found (all assignments made)... 7.09 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.13 c Sol. found (all assignments made)... 7.13 c Sol. found (all assignments made)... 7.13 c Sol. found (all assignments made)... 7.13 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.17 c Sol. found (all assignments made)... 7.17 c Sol. found (all assignments made)... 7.17 c Sol. found (all assignments made)... 7.17 c Sol. found (all assignments made)... 7.17 c Sol. found (all assignments made)... 7.18 c Sol. found (all assignments made)... 7.18 c Sol. found (all assignments made)... 7.18 c Sol. found (all assignments made)... 7.18 c Sol. found (all assignments made)... 7.19 c Sol. found (all assignments made)... 7.19 c Sol. found (all assignments made)... 7.19 c Sol. found (all assignments made)... 7.19 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.25 c Sol. found (all assignments made)... 7.25 c Sol. found (all assignments made)... 7.25 c Sol. found (all assignments made)... 7.25 c Sol. found (all assignments made)... 7.26 c Sol. found (all assignments made)... 7.26 c Sol. found (all assignments made)... 7.26 c Sol. found (all assignments made)... 7.26 c Sol. found (all assignments made)... 7.27 c Sol. found (all assignments made)... 7.27 c Sol. found (all assignments made)... 7.27 c Sol. found (all assignments made)... 7.27 c Sol. found (all assignments made)... 7.28 c Sol. found (all assignments made)... 7.28 c Sol. found (all assignments made)... 7.28 c Sol. found (all assignments made)... 7.28 c Sol. found (all assignments made)... 7.29 c Sol. found (all assignments made)... 7.29 c Sol. found (all assignments made)... 7.29 c Sol. found (all assignments made)... 7.29 c Sol. found (all assignments made)... 7.29 c Sol. found (all assignments made)... 7.30 c Sol. found (all assignments made)... 7.30 c Sol. found (all assignments made)... 7.30 c Sol. found (all assignments made)... 7.30 c Sol. found (all assignments made)... 7.31 c Sol. found (all assignments made)... 7.31 c Sol. found (all assignments made)... 7.31 c Sol. found (all assignments made)... 7.31 c Sol. found (all assignments made)... 7.32 c Sol. found (all assignments made)... 7.32 c Sol. found (all assignments made)... 7.32 c Sol. found (all assignments made)... 7.32 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.34 c Sol. found (all assignments made)... 7.34 c Sol. found (all assignments made)... 7.34 c Sol. found (all assignments made)... 7.34 c Sol. found (all assignments made)... 7.35 c Sol. found (all assignments made)... 7.35 c Sol. found (all assignments made)... 7.35 c Sol. found (all assignments made)... 7.35 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.38 c Sol. found (all assignments made)... 7.38 c Sol. found (all assignments made)... 7.38 c Sol. found (all assignments made)... 7.38 c Sol. found (all assignments made)... 7.38 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.97 c Sol. found (all assignments made)... 7.97 c Sol. found (all assignments made)... 7.97 c Sol. found (all assignments made)... 7.97 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 8.00 c Sol. found (all assignments made)... 8.00 c Sol. found (all assignments made)... 8.00 c Sol. found (all assignments made)... 8.00 c Sol. found (all assignments made)... 8.01 c Sol. found (all assignments made)... 8.01 c Sol. found (all assignments made)... 8.01 c Sol. found (all assignments made)... 8.01 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.19 c Sol. found (all assignments made)... 8.19 c Sol. found (all assignments made)... 8.19 c Sol. found (all assignments made)... 8.19 c Sol. found (all assignments made)... 8.20 c Sol. found (all assignments made)... 8.20 c Sol. found (all assignments made)... 8.20 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.25 c Sol. found (all assignments made)... 8.25 c Sol. found (all assignments made)... 8.25 c Sol. found (all assignments made)... 8.25 c Sol. found (all assignments made)... 8.26 c Sol. found (all assignments made)... 8.26 c Sol. found (all assignments made)... 8.26 c Sol. found (all assignments made)... 8.27 c Sol. found (all assignments made)... 8.27 c Sol. found (all assignments made)... 8.27 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.51 c Sol. found (all assignments made)... 8.51 c Sol. found (all assignments made)... 8.51 c Sol. found (all assignments made)... 8.52 c Sol. found (all assignments made)... 8.52 c Sol. found (all assignments made)... 8.52 c Sol. found (all assignments made)... 8.53 c Sol. found (all assignments made)... 8.53 c Sol. found (all assignments made)... 8.53 c Sol. found (all assignments made)... 8.53 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.55 c Sol. found (all assignments made)... 8.55 c Sol. found (all assignments made)... 8.55 c Sol. found (all assignments made)... 8.56 c Sol. found (all assignments made)... 8.56 c Sol. found (all assignments made)... 8.56 c Sol. found (all assignments made)... 8.56 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.73 c Sol. found (all assignments made)... 8.73 c Sol. found (all assignments made)... 8.73 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.77 c Sol. found (all assignments made)... 8.77 c Sol. found (all assignments made)... 8.78 c Sol. found (all assignments made)... 8.78 c Sol. found (all assignments made)... 8.78 c Sol. found (all assignments made)... 8.78 c Sol. found (all assignments made)... 8.79 c Sol. found (all assignments made)... 8.79 c Sol. found (all assignments made)... 8.80 c Sol. found (all assignments made)... 8.80 c Sol. found (all assignments made)... 8.80 c Sol. found (all assignments made)... 8.80 c Sol. found (all assignments made)... 8.81 c Sol. found (all assignments made)... 8.81 c Sol. found (all assignments made)... 8.81 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.93 c Sol. found (all assignments made)... 8.93 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.96 c Sol. found (all assignments made)... 8.96 c Sol. found (all assignments made)... 8.96 c Sol. found (all assignments made)... 8.96 c Sol. found (all assignments made)... 8.97 c Sol. found (all assignments made)... 8.97 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.11 c Sol. found (all assignments made)... 9.11 c Sol. found (all assignments made)... 9.11 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.16 c Sol. found (all assignments made)... 9.16 c Sol. found (all assignments made)... 9.16 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.23 c Restart #16 #Var: 363 LB: 0 @ 9.191 9.66 c Sol. found (all assignments made)... 10.11 c Restart #17 #Var: 363 LB: 0 @ 10.072 10.62 c Restart #18 #Var: 363 LB: 0 @ 10.582 11.31 c Restart #19 #Var: 363 LB: 0 @ 11.267 12.18 c CHANGE to MIS mode... UB: 25390106 MIS: 0 LPR: -2147483648 (0) Diff: -0 12.18 c Restart #0 #Var: 363 LB: 0 @ 12.138 12.25 c Restart #1 #Var: 363 LB: 0 @ 12.209 12.37 c Restart #2 #Var: 363 LB: 0 @ 12.33 12.61 c Restart #3 #Var: 363 LB: 0 @ 12.573 13.21 c Restart #4 #Var: 363 LB: 0 @ 13.175 13.44 c Restart #5 #Var: 363 LB: 1298 @ 13.403 13.81 c Restart #6 #Var: 363 LB: 1298 @ 13.769 14.87 c Restart #7 #Var: 363 LB: 0 @ 14.833 15.24 c Restart #8 #Var: 363 LB: 0 @ 15.201 15.69 c Restart #9 #Var: 363 LB: 0 @ 15.644 16.27 c Restart #10 #Var: 363 LB: 0 @ 16.232 16.98 c Restart #11 #Var: 363 LB: 0 @ 16.937 17.56 c Restart #12 #Var: 363 LB: 0 @ 17.518 18.03 c Restart #13 #Var: 363 LB: 0 @ 17.985 18.62 c Restart #14 #Var: 363 LB: 0 @ 18.575 19.24 c Restart #15 #Var: 363 LB: 0 @ 19.2 19.26 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.28 c Sol. found (all assignments made)... 19.28 c Sol. found (all assignments made)... 19.29 c Sol. found (all assignments made)... 19.33 c Sol. found (all assignments made)... 19.34 c Sol. found (all assignments made)... 19.35 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.39 c Sol. found (all assignments made)... 19.40 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.43 c Sol. found (all assignments made)... 19.44 c Sol. found (all assignments made)... 19.46 c Sol. found (all assignments made)... 19.47 c Sol. found (all assignments made)... 19.47 c Sol. found (all assignments made)... 19.79 c Sol. found (all assignments made)... 19.91 c Sol. found (all assignments made)... 20.01 c Sol. found (all assignments made)... 20.47 c Restart #16 #Var: 363 LB: 0 @ 20.429 20.76 c Sol. found (all assignments made)... 20.94 c Restart #17 #Var: 363 LB: 0 @ 20.892 21.58 c Restart #18 #Var: 363 LB: 0 @ 21.534 22.44 c Restart #19 #Var: 363 LB: 0 @ 22.396 23.09 c Restart #20 #Var: 363 LB: 0 @ 23.043 24.07 c Restart #21 #Var: 363 LB: 0 @ 24.023 24.62 c Restart #22 #Var: 363 LB: 0 @ 24.571 25.86 c Restart #23 #Var: 363 LB: 0 @ 25.815 27.62 c Restart #24 #Var: 363 LB: 0 @ 27.577 28.86 c Restart #25 #Var: 363 LB: 0 @ 28.81 31.40 c Restart #26 #Var: 363 LB: 0 @ 31.357 33.57 c Restart #27 #Var: 363 LB: 0 @ 33.52 34.97 c Restart #28 #Var: 363 LB: 0 @ 34.92 36.19 c Restart #29 #Var: 363 LB: 0 @ 36.137 38.71 c Restart #30 #Var: 363 LB: 0 @ 38.656 40.57 c Restart #31 #Var: 363 LB: 0 @ 40.516 40.58 c Sol. found (all assignments made)... 40.58 c Sol. found (all assignments made)... 40.58 c Sol. found (all assignments made)... 40.58 c Sol. found (all assignments made)... 40.58 c Sol. found (all assignments made)... 40.58 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.62 c Sol. found (all assignments made)... 40.62 c Sol. found (all assignments made)... 40.62 c Sol. found (all assignments made)... 40.62 c Sol. found (all assignments made)... 40.62 c Sol. found (all assignments made)... 40.62 c Sol. found (all assignments made)... 40.62 c Sol. found (all assignments made)... 40.62 c Sol. found (all assignments made)... 40.62 c Sol. found (all assignments made)... 40.63 c Sol. found (all assignments made)... 40.63 c Sol. found (all assignments made)... 40.63 c Sol. found (all assignments made)... 40.63 c Sol. found (all assignments made)... 40.63 c Sol. found (all assignments made)... 40.63 c Sol. found (all assignments made)... 40.63 c Sol. found (all assignments made)... 40.63 c Sol. found (all assignments made)... 40.63 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.67 c Sol. found (all assignments made)... 40.67 c Sol. found (all assignments made)... 40.67 c Sol. found (all assignments made)... 40.67 c Sol. found (all assignments made)... 40.67 c Sol. found (all assignments made)... 40.67 c Sol. found (all assignments made)... 40.67 c Sol. found (all assignments made)... 40.67 c Sol. found (all assignments made)... 40.68 c Sol. found (all assignments made)... 40.68 c Sol. found (all assignments made)... 40.68 c Sol. found (all assignments made)... 40.68 c Sol. found (all assignments made)... 40.68 c Sol. found (all assignments made)... 40.68 c Sol. found (all assignments made)... 40.68 c Sol. found (all assignments made)... 40.68 c Sol. found (all assignments made)... 40.68 c Sol. found (all assignments made)... 40.69 c Sol. found (all assignments made)... 40.69 c Sol. found (all assignments made)... 40.69 c Sol. found (all assignments made)... 40.69 c Sol. found (all assignments made)... 40.69 c Sol. found (all assignments made)... 40.69 c Sol. found (all assignments made)... 40.69 c Sol. found (all assignments made)... 40.69 c Sol. found (all assignments made)... 40.69 c Sol. found (all assignments made)... 40.70 c Sol. found (all assignments made)... 40.70 c Sol. found (all assignments made)... 40.70 c Sol. found (all assignments made)... 40.70 c Sol. found (all assignments made)... 40.70 c Sol. found (all assignments made)... 40.70 c Sol. found (all assignments made)... 40.70 c Sol. found (all assignments made)... 40.70 c Sol. found (all assignments made)... 40.70 c Sol. found (all assignments made)... 40.71 c Sol. found (all assignments made)... 40.71 c Sol. found (all assignments made)... 40.71 c Sol. found (all assignments made)... 40.71 c Sol. found (all assignments made)... 40.71 c Sol. found (all assignments made)... 40.71 c Sol. found (all assignments made)... 40.71 c Sol. found (all assignments made)... 40.71 c Sol. found (all assignments made)... 40.72 c Sol. found (all assignments made)... 40.72 c Sol. found (all assignments made)... 40.72 c Sol. found (all assignments made)... 40.72 c Sol. found (all assignments made)... 40.72 c Sol. found (all assignments made)... 40.72 c Sol. found (all assignments made)... 40.72 c Sol. found (all assignments made)... 40.72 c Sol. found (all assignments made)... 40.72 c Sol. found (all assignments made)... 40.73 c Sol. found (all assignments made)... 40.73 c Sol. found (all assignments made)... 40.73 c Sol. found (all assignments made)... 40.73 c Sol. found (all assignments made)... 40.73 c Sol. found (all assignments made)... 40.73 c Sol. found (all assignments made)... 40.73 c Sol. found (all assignments made)... 40.73 c Sol. found (all assignments made)... 40.74 c Sol. found (all assignments made)... 40.74 c Sol. found (all assignments made)... 40.74 c Sol. found (all assignments made)... 40.74 c Sol. found (all assignments made)... 40.74 c Sol. found (all assignments made)... 40.74 c Sol. found (all assignments made)... 40.74 c Sol. found (all assignments made)... 40.74 c Sol. found (all assignments made)... 40.75 c Sol. found (all assignments made)... 40.75 c Sol. found (all assignments made)... 40.75 c Sol. found (all assignments made)... 40.75 c Sol. found (all assignments made)... 40.75 c Sol. found (all assignments made)... 40.75 c Sol. found (all assignments made)... 40.75 c Sol. found (all assignments made)... 40.75 c Sol. found (all assignments made)... 40.75 c Sol. found (all assignments made)... 40.76 c Sol. found (all assignments made)... 40.76 c Sol. found (all assignments made)... 40.76 c Sol. found (all assignments made)... 40.76 c Sol. found (all assignments made)... 40.76 c Sol. found (all assignments made)... 40.76 c Sol. found (all assignments made)... 40.76 c Sol. found (all assignments made)... 40.76 c Sol. found (all assignments made)... 40.77 c Sol. found (all assignments made)... 40.77 c Sol. found (all assignments made)... 40.77 c Sol. found (all assignments made)... 40.77 c Sol. found (all assignments made)... 40.77 c Sol. found (all assignments made)... 40.77 c Sol. found (all assignments made)... 40.77 c Sol. found (all assignments made)... 40.77 c Sol. found (all assignments made)... 40.77 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.79 c Sol. found (all assignments made)... 40.79 c Sol. found (all assignments made)... 40.79 c Sol. found (all assignments made)... 40.79 c Sol. found (all assignments made)... 40.79 c Sol. found (all assignments made)... 40.79 c Sol. found (all assignments made)... 40.79 c Sol. found (all assignments made)... 40.79 c Sol. found (all assignments made)... 40.79 c Sol. found (all assignments made)... 40.80 c Sol. found (all assignments made)... 40.80 c Sol. found (all assignments made)... 40.80 c Sol. found (all assignments made)... 40.80 c Sol. found (all assignments made)... 40.80 c Sol. found (all assignments made)... 40.80 c Sol. found (all assignments made)... 40.80 c Sol. found (all assignments made)... 40.80 c Sol. found (all assignments made)... 40.81 c Sol. found (all assignments made)... 40.81 c Sol. found (all assignments made)... 40.81 c Sol. found (all assignments made)... 40.81 c Sol. found (all assignments made)... 40.81 c Sol. found (all assignments made)... 40.81 c Sol. found (all assignments made)... 40.81 c Sol. found (all assignments made)... 40.81 c Sol. found (all assignments made)... 40.82 c Sol. found (all assignments made)... 40.82 c Sol. found (all assignments made)... 40.82 c Sol. found (all assignments made)... 40.82 c Sol. found (all assignments made)... 40.82 c Sol. found (all assignments made)... 40.82 c Sol. found (all assignments made)... 40.82 c Sol. found (all assignments made)... 40.82 c Sol. found (all assignments made)... 40.83 c Sol. found (all assignments made)... 40.83 c Sol. found (all assignments made)... 40.83 c Sol. found (all assignments made)... 40.83 c Sol. found (all assignments made)... 40.83 c Sol. found (all assignments made)... 40.83 c Sol. found (all assignments made)... 40.83 c Sol. found (all assignments made)... 40.83 c Sol. found (all assignments made)... 40.84 c Sol. found (all assignments made)... 40.84 c Sol. found (all assignments made)... 40.84 c Sol. found (all assignments made)... 40.84 c Sol. found (all assignments made)... 40.84 c Sol. found (all assignments made)... 40.84 c Sol. found (all assignments made)... 40.84 c Sol. found (all assignments made)... 40.85 c Sol. found (all assignments made)... 40.85 c Sol. found (all assignments made)... 40.85 c Sol. found (all assignments made)... 40.85 c Sol. found (all assignments made)... 40.85 c Sol. found (all assignments made)... 40.85 c Sol. found (all assignments made)... 40.85 c Sol. found (all assignments made)... 40.85 c Sol. found (all assignments made)... 40.85 c Sol. found (all assignments made)... 40.86 c Sol. found (all assignments made)... 40.86 c Sol. found (all assignments made)... 40.86 c Sol. found (all assignments made)... 40.86 c Sol. found (all assignments made)... 40.86 c Sol. found (all assignments made)... 40.86 c Sol. found (all assignments made)... 40.86 c Sol. found (all assignments made)... 40.86 c Sol. found (all assignments made)... 40.87 c Sol. found (all assignments made)... 40.87 c Sol. found (all assignments made)... 40.87 c Sol. found (all assignments made)... 40.87 c Sol. found (all assignments made)... 40.87 c Sol. found (all assignments made)... 40.87 c Sol. found (all assignments made)... 40.87 c Sol. found (all assignments made)... 40.87 c Sol. found (all assignments made)... 40.88 c Sol. found (all assignments made)... 40.88 c Sol. found (all assignments made)... 40.88 c Sol. found (all assignments made)... 40.88 c Sol. found (all assignments made)... 40.88 c Sol. found (all assignments made)... 40.88 c Sol. found (all assignments made)... 40.88 c Sol. found (all assignments made)... 40.89 c Sol. found (all assignments made)... 40.89 c Sol. found (all assignments made)... 40.89 c Sol. found (all assignments made)... 40.89 c Sol. found (all assignments made)... 40.89 c Sol. found (all assignments made)... 40.89 c Sol. found (all assignments made)... 40.89 c Sol. found (all assignments made)... 40.89 c Sol. found (all assignments made)... 40.90 c Sol. found (all assignments made)... 40.90 c Sol. found (all assignments made)... 40.90 c Sol. found (all assignments made)... 40.90 c Sol. found (all assignments made)... 40.90 c Sol. found (all assignments made)... 40.90 c Sol. found (all assignments made)... 40.90 c Sol. found (all assignments made)... 40.90 c Sol. found (all assignments made)... 40.91 c Sol. found (all assignments made)... 40.91 c Sol. found (all assignments made)... 40.91 c Sol. found (all assignments made)... 40.91 c Sol. found (all assignments made)... 40.91 c Sol. found (all assignments made)... 40.91 c Sol. found (all assignments made)... 40.91 c Sol. found (all assignments made)... 40.91 c Sol. found (all assignments made)... 40.92 c Sol. found (all assignments made)... 40.92 c Sol. found (all assignments made)... 40.92 c Sol. found (all assignments made)... 40.92 c Sol. found (all assignments made)... 40.92 c Sol. found (all assignments made)... 40.92 c Sol. found (all assignments made)... 40.92 c Sol. found (all assignments made)... 40.92 c Sol. found (all assignments made)... 40.93 c Sol. found (all assignments made)... 40.93 c Sol. found (all assignments made)... 40.93 c Sol. found (all assignments made)... 40.93 c Sol. found (all assignments made)... 40.93 c Sol. found (all assignments made)... 40.93 c Sol. found (all assignments made)... 40.93 c Sol. found (all assignments made)... 40.93 c Sol. found (all assignments made)... 40.94 c Sol. found (all assignments made)... 40.94 c Sol. found (all assignments made)... 40.94 c Sol. found (all assignments made)... 40.94 c Sol. found (all assignments made)... 40.94 c Sol. found (all assignments made)... 40.94 c Sol. found (all assignments made)... 40.94 c Sol. found (all assignments made)... 40.94 c Sol. found (all assignments made)... 40.95 c Sol. found (all assignments made)... 40.95 c Sol. found (all assignments made)... 40.95 c Sol. found (all assignments made)... 40.95 c Sol. found (all assignments made)... 40.95 c Sol. found (all assignments made)... 40.95 c Sol. found (all assignments made)... 40.95 c Sol. found (all assignments made)... 40.95 c Sol. found (all assignments made)... 40.96 c Sol. found (all assignments made)... 40.96 c Sol. found (all assignments made)... 40.96 c Sol. found (all assignments made)... 40.96 c Sol. found (all assignments made)... 40.96 c Sol. found (all assignments made)... 40.96 c Sol. found (all assignments made)... 40.96 c Sol. found (all assignments made)... 40.97 c Sol. found (all assignments made)... 40.97 c Sol. found (all assignments made)... 40.97 c Sol. found (all assignments made)... 40.97 c Sol. found (all assignments made)... 40.97 c Sol. found (all assignments made)... 40.97 c Sol. found (all assignments made)... 40.97 c Sol. found (all assignments made)... 40.98 c Sol. found (all assignments made)... 40.98 c Sol. found (all assignments made)... 40.98 c Sol. found (all assignments made)... 40.98 c Sol. found (all assignments made)... 40.98 c Sol. found (all assignments made)... 40.98 c Sol. found (all assignments made)... 40.98 c Sol. found (all assignments made)... 40.98 c Sol. found (all assignments made)... 40.99 c Sol. found (all assignments made)... 40.99 c Sol. found (all assignments made)... 40.99 c Sol. found (all assignments made)... 40.99 c Sol. found (all assignments made)... 40.99 c Sol. found (all assignments made)... 40.99 c Sol. found (all assignments made)... 40.99 c Sol. found (all assignments made)... 41.00 c Sol. found (all assignments made)... 41.00 c Sol. found (all assignments made)... 41.00 c Sol. found (all assignments made)... 41.00 c Sol. found (all assignments made)... 41.00 c Sol. found (all assignments made)... 41.00 c Sol. found (all assignments made)... 41.00 c Sol. found (all assignments made)... 41.00 c Sol. found (all assignments made)... 41.01 c Sol. found (all assignments made)... 41.01 c Sol. found (all assignments made)... 41.01 c Sol. found (all assignments made)... 41.01 c Sol. found (all assignments made)... 41.01 c Sol. found (all assignments made)... 41.01 c Sol. found (all assignments made)... 41.01 c Sol. found (all assignments made)... 41.02 c Sol. found (all assignments made)... 41.02 c Sol. found (all assignments made)... 41.02 c Sol. found (all assignments made)... 41.02 c Sol. found (all assignments made)... 41.02 c Sol. found (all assignments made)... 41.02 c Sol. found (all assignments made)... 41.02 c Sol. found (all assignments made)... 41.02 c Sol. found (all assignments made)... 41.03 c Sol. found (all assignments made)... 41.03 c Sol. found (all assignments made)... 41.03 c Sol. found (all assignments made)... 41.03 c Sol. found (all assignments made)... 41.03 c Sol. found (all assignments made)... 41.03 c Sol. found (all assignments made)... 41.03 c Sol. found (all assignments made)... 41.04 c Sol. found (all assignments made)... 41.04 c Sol. found (all assignments made)... 41.04 c Sol. found (all assignments made)... 41.04 c Sol. found (all assignments made)... 41.04 c Sol. found (all assignments made)... 41.04 c Sol. found (all assignments made)... 41.04 c Sol. found (all assignments made)... 41.05 c Sol. found (all assignments made)... 41.05 c Sol. found (all assignments made)... 41.05 c Sol. found (all assignments made)... 41.05 c Sol. found (all assignments made)... 41.05 c Sol. found (all assignments made)... 41.05 c Sol. found (all assignments made)... 41.05 c Sol. found (all assignments made)... 41.05 c Sol. found (all assignments made)... 41.06 c Sol. found (all assignments made)... 41.06 c Sol. found (all assignments made)... 41.06 c Sol. found (all assignments made)... 41.06 c Sol. found (all assignments made)... 41.06 c Sol. found (all assignments made)... 41.06 c Sol. found (all assignments made)... 41.06 c Sol. found (all assignments made)... 41.07 c Sol. found (all assignments made)... 41.07 c Sol. found (all assignments made)... 41.07 c Sol. found (all assignments made)... 41.07 c Sol. found (all assignments made)... 41.07 c Sol. found (all assignments made)... 41.07 c Sol. found (all assignments made)... 41.07 c Sol. found (all assignments made)... 41.08 c Sol. found (all assignments made)... 41.08 c Sol. found (all assignments made)... 41.08 c Sol. found (all assignments made)... 41.08 c Sol. found (all assignments made)... 41.08 c Sol. found (all assignments made)... 41.08 c Sol. found (all assignments made)... 41.08 c Sol. found (all assignments made)... 41.09 c Sol. found (all assignments made)... 41.09 c Sol. found (all assignments made)... 41.09 c Sol. found (all assignments made)... 41.09 c Sol. found (all assignments made)... 41.09 c Sol. found (all assignments made)... 41.09 c Sol. found (all assignments made)... 41.09 c Sol. found (all assignments made)... 41.09 c Sol. found (all assignments made)... 41.10 c Sol. found (all assignments made)... 41.10 c Sol. found (all assignments made)... 41.10 c Sol. found (all assignments made)... 41.10 c Sol. found (all assignments made)... 41.10 c Sol. found (all assignments made)... 41.10 c Sol. found (all assignments made)... 41.10 c Sol. found (all assignments made)... 41.11 c Sol. found (all assignments made)... 41.11 c Sol. found (all assignments made)... 41.11 c Sol. found (all assignments made)... 41.11 c Sol. found (all assignments made)... 41.11 c Sol. found (all assignments made)... 41.11 c Sol. found (all assignments made)... 41.11 c Sol. found (all assignments made)... 41.12 c Sol. found (all assignments made)... 41.12 c Sol. found (all assignments made)... 41.12 c Sol. found (all assignments made)... 41.12 c Sol. found (all assignments made)... 41.12 c Sol. found (all assignments made)... 41.12 c Sol. found (all assignments made)... 41.12 c Sol. found (all assignments made)... 41.13 c Sol. found (all assignments made)... 41.13 c Sol. found (all assignments made)... 41.13 c Sol. found (all assignments made)... 41.13 c Sol. found (all assignments made)... 41.13 c Sol. found (all assignments made)... 41.13 c Sol. found (all assignments made)... 41.13 c Sol. found (all assignments made)... 41.14 c Sol. found (all assignments made)... 41.14 c Sol. found (all assignments made)... 41.14 c Sol. found (all assignments made)... 41.14 c Sol. found (all assignments made)... 41.14 c Sol. found (all assignments made)... 41.14 c Sol. found (all assignments made)... 41.14 c Sol. found (all assignments made)... 41.15 c Sol. found (all assignments made)... 41.15 c Sol. found (all assignments made)... 41.15 c Sol. found (all assignments made)... 41.15 c Sol. found (all assignments made)... 41.15 c Sol. found (all assignments made)... 41.15 c Sol. found (all assignments made)... 41.15 c Sol. found (all assignments made)... 41.16 c Sol. found (all assignments made)... 41.16 c Sol. found (all assignments made)... 41.16 c Sol. found (all assignments made)... 41.16 c Sol. found (all assignments made)... 41.16 c Sol. found (all assignments made)... 41.16 c Sol. found (all assignments made)... 41.16 c Sol. found (all assignments made)... 41.17 c Sol. found (all assignments made)... 41.17 c Sol. found (all assignments made)... 41.17 c Sol. found (all assignments made)... 41.17 c Sol. found (all assignments made)... 41.17 c Sol. found (all assignments made)... 41.17 c Sol. found (all assignments made)... 41.17 c Sol. found (all assignments made)... 41.18 c Sol. found (all assignments made)... 41.18 c Sol. found (all assignments made)... 41.18 c Sol. found (all assignments made)... 41.18 c Sol. found (all assignments made)... 41.18 c Sol. found (all assignments made)... 41.18 c Sol. found (all assignments made)... 41.18 c Sol. found (all assignments made)... 41.19 c Sol. found (all assignments made)... 41.19 c Sol. found (all assignments made)... 41.19 c Sol. found (all assignments made)... 41.19 c Sol. found (all assignments made)... 41.19 c Sol. found (all assignments made)... 41.19 c Sol. found (all assignments made)... 41.19 c Sol. found (all assignments made)... 41.20 c Sol. found (all assignments made)... 41.20 c Sol. found (all assignments made)... 41.20 c Sol. found (all assignments made)... 41.20 c Sol. found (all assignments made)... 41.20 c Sol. found (all assignments made)... 41.20 c Sol. found (all assignments made)... 41.20 c Sol. found (all assignments made)... 41.21 c Sol. found (all assignments made)... 41.21 c Sol. found (all assignments made)... 41.21 c Sol. found (all assignments made)... 41.21 c Sol. found (all assignments made)... 41.21 c Sol. found (all assignments made)... 41.21 c Sol. found (all assignments made)... 41.21 c Sol. found (all assignments made)... 41.22 c Sol. found (all assignments made)... 41.22 c Sol. found (all assignments made)... 41.22 c Sol. found (all assignments made)... 41.22 c Sol. found (all assignments made)... 41.22 c Sol. found (all assignments made)... 41.22 c Sol. found (all assignments made)... 41.23 c Sol. found (all assignments made)... 41.23 c Sol. found (all assignments made)... 41.23 c Sol. found (all assignments made)... 41.23 c Sol. found (all assignments made)... 41.23 c Sol. found (all assignments made)... 41.23 c Sol. found (all assignments made)... 41.23 c Sol. found (all assignments made)... 41.24 c Sol. found (all assignments made)... 41.24 c Sol. found (all assignments made)... 41.24 c Sol. found (all assignments made)... 41.24 c Sol. found (all assignments made)... 41.24 c Sol. found (all assignments made)... 41.24 c Sol. found (all assignments made)... 41.24 c Sol. found (all assignments made)... 41.25 c Sol. found (all assignments made)... 41.25 c Sol. found (all assignments made)... 41.25 c Sol. found (all assignments made)... 41.25 c Sol. found (all assignments made)... 41.25 c Sol. found (all assignments made)... 41.25 c Sol. found (all assignments made)... 41.25 c Sol. found (all assignments made)... 41.26 c Sol. found (all assignments made)... 41.26 c Sol. found (all assignments made)... 41.26 c Sol. found (all assignments made)... 41.26 c Sol. found (all assignments made)... 41.26 c Sol. found (all assignments made)... 41.26 c Sol. found (all assignments made)... 41.26 c Sol. found (all assignments made)... 41.27 c Sol. found (all assignments made)... 41.27 c Sol. found (all assignments made)... 41.27 c Sol. found (all assignments made)... 41.27 c Sol. found (all assignments made)... 41.27 c Sol. found (all assignments made)... 41.27 c Sol. found (all assignments made)... 41.27 c Sol. found (all assignments made)... 41.28 c Sol. found (all assignments made)... 41.28 c Sol. found (all assignments made)... 41.28 c Sol. found (all assignments made)... 41.28 c Sol. found (all assignments made)... 41.28 c Sol. found (all assignments made)... 41.28 c Sol. found (all assignments made)... 41.28 c Sol. found (all assignments made)... 41.29 c Sol. found (all assignments made)... 41.29 c Sol. found (all assignments made)... 41.29 c Sol. found (all assignments made)... 41.29 c Sol. found (all assignments made)... 41.29 c Sol. found (all assignments made)... 41.29 c Sol. found (all assignments made)... 41.29 c Sol. found (all assignments made)... 41.30 c Sol. found (all assignments made)... 41.30 c Sol. found (all assignments made)... 41.30 c Sol. found (all assignments made)... 41.30 c Sol. found (all assignments made)... 41.30 c Sol. found (all assignments made)... 41.30 c Sol. found (all assignments made)... 41.30 c Sol. found (all assignments made)... 41.31 c Sol. found (all assignments made)... 41.31 c Sol. found (all assignments made)... 41.31 c Sol. found (all assignments made)... 41.31 c Sol. found (all assignments made)... 41.31 c Sol. found (all assignments made)... 41.31 c Sol. found (all assignments made)... 41.31 c Sol. found (all assignments made)... 41.32 c Sol. found (all assignments made)... 41.32 c Sol. found (all assignments made)... 41.32 c Sol. found (all assignments made)... 41.32 c Sol. found (all assignments made)... 41.32 c Sol. found (all assignments made)... 41.32 c Sol. found (all assignments made)... 41.32 c Sol. found (all assignments made)... 41.33 c Sol. found (all assignments made)... 41.33 c Sol. found (all assignments made)... 41.33 c Sol. found (all assignments made)... 41.33 c Sol. found (all assignments made)... 41.33 c Sol. found (all assignments made)... 41.33 c Sol. found (all assignments made)... 41.33 c Sol. found (all assignments made)... 41.34 c Sol. found (all assignments made)... 41.34 c Sol. found (all assignments made)... 41.34 c Sol. found (all assignments made)... 41.34 c Sol. found (all assignments made)... 41.34 c Sol. found (all assignments made)... 41.34 c Sol. found (all assignments made)... 41.35 c Sol. found (all assignments made)... 41.35 c Sol. found (all assignments made)... 41.35 c Sol. found (all assignments made)... 41.35 c Sol. found (all assignments made)... 41.35 c Sol. found (all assignments made)... 41.35 c Sol. found (all assignments made)... 41.35 c Sol. found (all assignments made)... 41.36 c Sol. found (all assignments made)... 41.36 c Sol. found (all assignments made)... 41.36 c Sol. found (all assignments made)... 41.36 c Sol. found (all assignments made)... 41.36 c Sol. found (all assignments made)... 41.36 c Sol. found (all assignments made)... 41.36 c Sol. found (all assignments made)... 41.37 c Sol. found (all assignments made)... 41.37 c Sol. found (all assignments made)... 41.37 c Sol. found (all assignments made)... 41.37 c Sol. found (all assignments made)... 41.37 c Sol. found (all assignments made)... 41.37 c Sol. found (all assignments made)... 41.37 c Sol. found (all assignments made)... 41.38 c Sol. found (all assignments made)... 41.38 c Sol. found (all assignments made)... 41.38 c Sol. found (all assignments made)... 41.38 c Sol. found (all assignments made)... 41.38 c Sol. found (all assignments made)... 41.38 c Sol. found (all assignments made)... 41.39 c Sol. found (all assignments made)... 41.39 c Sol. found (all assignments made)... 41.39 c Sol. found (all assignments made)... 41.39 c Sol. found (all assignments made)... 41.39 c Sol. found (all assignments made)... 41.39 c Sol. found (all assignments made)... 41.39 c Sol. found (all assignments made)... 41.40 c Sol. found (all assignments made)... 41.40 c Sol. found (all assignments made)... 41.40 c Sol. found (all assignments made)... 41.40 c Sol. found (all assignments made)... 41.40 c Sol. found (all assignments made)... 41.40 c Sol. found (all assignments made)... 41.40 c Sol. found (all assignments made)... 41.41 c Sol. found (all assignments made)... 41.41 c Sol. found (all assignments made)... 41.41 c Sol. found (all assignments made)... 41.41 c Sol. found (all assignments made)... 41.41 c Sol. found (all assignments made)... 41.41 c Sol. found (all assignments made)... 41.42 c Sol. found (all assignments made)... 41.42 c Sol. found (all assignments made)... 41.42 c Sol. found (all assignments made)... 41.42 c Sol. found (all assignments made)... 41.42 c Sol. found (all assignments made)... 41.42 c Sol. found (all assignments made)... 41.42 c Sol. found (all assignments made)... 41.43 c Sol. found (all assignments made)... 41.43 c Sol. found (all assignments made)... 41.43 c Sol. found (all assignments made)... 41.43 c Sol. found (all assignments made)... 41.43 c Sol. found (all assignments made)... 41.43 c Sol. found (all assignments made)... 41.44 c Sol. found (all assignments made)... 41.44 c Sol. found (all assignments made)... 41.44 c Sol. found (all assignments made)... 41.44 c Sol. found (all assignments made)... 41.44 c Sol. found (all assignments made)... 41.44 c Sol. found (all assignments made)... 41.44 c Sol. found (all assignments made)... 41.45 c Sol. found (all assignments made)... 41.45 c Sol. found (all assignments made)... 41.45 c Sol. found (all assignments made)... 41.45 c Sol. found (all assignments made)... 41.45 c Sol. found (all assignments made)... 41.45 c Sol. found (all assignments made)... 41.46 c Sol. found (all assignments made)... 41.46 c Sol. found (all assignments made)... 41.46 c Sol. found (all assignments made)... 41.46 c Sol. found (all assignments made)... 41.46 c Sol. found (all assignments made)... 41.46 c Sol. found (all assignments made)... 41.46 c Sol. found (all assignments made)... 41.47 c Sol. found (all assignments made)... 41.47 c Sol. found (all assignments made)... 41.47 c Sol. found (all assignments made)... 41.47 c Sol. found (all assignments made)... 41.47 c Sol. found (all assignments made)... 41.47 c Sol. found (all assignments made)... 41.48 c Sol. found (all assignments made)... 41.48 c Sol. found (all assignments made)... 41.48 c Sol. found (all assignments made)... 41.48 c Sol. found (all assignments made)... 41.48 c Sol. found (all assignments made)... 41.48 c Sol. found (all assignments made)... 41.48 c Sol. found (all assignments made)... 41.49 c Sol. found (all assignments made)... 41.49 c Sol. found (all assignments made)... 41.49 c Sol. found (all assignments made)... 41.49 c Sol. found (all assignments made)... 41.49 c Sol. found (all assignments made)... 41.49 c Sol. found (all assignments made)... 41.49 c Sol. found (all assignments made)... 41.50 c Sol. found (all assignments made)... 41.50 c Sol. found (all assignments made)... 41.50 c Sol. found (all assignments made)... 41.50 c Sol. found (all assignments made)... 41.50 c Sol. found (all assignments made)... 41.50 c Sol. found (all assignments made)... 41.51 c Sol. found (all assignments made)... 41.51 c Sol. found (all assignments made)... 41.51 c Sol. found (all assignments made)... 41.51 c Sol. found (all assignments made)... 41.51 c Sol. found (all assignments made)... 41.51 c Sol. found (all assignments made)... 41.51 c Sol. found (all assignments made)... 41.52 c Sol. found (all assignments made)... 41.52 c Sol. found (all assignments made)... 41.52 c Sol. found (all assignments made)... 41.52 c Sol. found (all assignments made)... 41.52 c Sol. found (all assignments made)... 41.52 c Sol. found (all assignments made)... 41.53 c Sol. found (all assignments made)... 41.53 c Sol. found (all assignments made)... 41.53 c Sol. found (all assignments made)... 41.53 c Sol. found (all assignments made)... 41.53 c Sol. found (all assignments made)... 41.53 c Sol. found (all assignments made)... 41.53 c Sol. found (all assignments made)... 41.54 c Sol. found (all assignments made)... 41.54 c Sol. found (all assignments made)... 41.54 c Sol. found (all assignments made)... 41.54 c Sol. found (all assignments made)... 41.54 c Sol. found (all assignments made)... 41.54 c Sol. found (all assignments made)... 41.55 c Sol. found (all assignments made)... 41.55 c Sol. found (all assignments made)... 41.55 c Sol. found (all assignments made)... 41.55 c Sol. found (all assignments made)... 41.55 c Sol. found (all assignments made)... 41.55 c Sol. found (all assignments made)... 41.55 c Sol. found (all assignments made)... 41.56 c Sol. found (all assignments made)... 41.56 c Sol. found (all assignments made)... 41.56 c Sol. found (all assignments made)... 41.56 c Sol. found (all assignments made)... 41.56 c Sol. found (all assignments made)... 41.56 c Sol. found (all assignments made)... 41.57 c Sol. found (all assignments made)... 41.57 c Sol. found (all assignments made)... 41.57 c Sol. found (all assignments made)... 41.57 c Sol. found (all assignments made)... 41.57 c Sol. found (all assignments made)... 41.57 c Sol. found (all assignments made)... 41.58 c Sol. found (all assignments made)... 41.58 c Sol. found (all assignments made)... 41.58 c Sol. found (all assignments made)... 41.58 c Sol. found (all assignments made)... 41.58 c Sol. found (all assignments made)... 41.58 c Sol. found (all assignments made)... 41.58 c Sol. found (all assignments made)... 41.59 c Sol. found (all assignments made)... 41.59 c Sol. found (all assignments made)... 41.59 c Sol. found (all assignments made)... 41.59 c Sol. found (all assignments made)... 41.59 c Sol. found (all assignments made)... 41.59 c Sol. found (all assignments made)... 41.60 c Sol. found (all assignments made)... 41.60 c Sol. found (all assignments made)... 41.60 c Sol. found (all assignments made)... 41.60 c Sol. found (all assignments made)... 41.60 c Sol. found (all assignments made)... 41.60 c Sol. found (all assignments made)... 41.61 c Sol. found (all assignments made)... 41.61 c Sol. found (all assignments made)... 41.61 c Sol. found (all assignments made)... 41.61 c Sol. found (all assignments made)... 41.61 c Sol. found (all assignments made)... 41.61 c Sol. found (all assignments made)... 41.62 c Sol. found (all assignments made)... 41.62 c Sol. found (all assignments made)... 41.62 c Sol. found (all assignments made)... 41.62 c Sol. found (all assignments made)... 41.62 c Sol. found (all assignments made)... 41.62 c Sol. found (all assignments made)... 41.62 c Sol. found (all assignments made)... 41.63 c Sol. found (all assignments made)... 41.63 c Sol. found (all assignments made)... 41.63 c Sol. found (all assignments made)... 41.63 c Sol. found (all assignments made)... 41.63 c Sol. found (all assignments made)... 41.63 c Sol. found (all assignments made)... 41.64 c Sol. found (all assignments made)... 41.64 c Sol. found (all assignments made)... 41.64 c Sol. found (all assignments made)... 41.64 c Sol. found (all assignments made)... 41.64 c Sol. found (all assignments made)... 41.64 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.67 c Sol. found (all assignments made)... 41.67 c Sol. found (all assignments made)... 41.67 c Sol. found (all assignments made)... 41.67 c Sol. found (all assignments made)... 41.67 c Sol. found (all assignments made)... 41.67 c Sol. found (all assignments made)... 41.68 c Sol. found (all assignments made)... 41.68 c Sol. found (all assignments made)... 41.68 c Sol. found (all assignments made)... 41.68 c Sol. found (all assignments made)... 41.68 c Sol. found (all assignments made)... 41.68 c Sol. found (all assignments made)... 41.69 c Sol. found (all assignments made)... 41.69 c Sol. found (all assignments made)... 41.69 c Sol. found (all assignments made)... 41.69 c Sol. found (all assignments made)... 41.69 c Sol. found (all assignments made)... 41.69 c Sol. found (all assignments made)... 41.70 c Sol. found (all assignments made)... 41.70 c Sol. found (all assignments made)... 41.70 c Sol. found (all assignments made)... 41.70 c Sol. found (all assignments made)... 41.70 c Sol. found (all assignments made)... 41.70 c Sol. found (all assignments made)... 41.71 c Sol. found (all assignments made)... 41.71 c Sol. found (all assignments made)... 41.71 c Sol. found (all assignments made)... 41.71 c Sol. found (all assignments made)... 41.71 c Sol. found (all assignments made)... 41.71 c Sol. found (all assignments made)... 41.72 c Sol. found (all assignments made)... 41.72 c Sol. found (all assignments made)... 41.72 c Sol. found (all assignments made)... 41.72 c Sol. found (all assignments made)... 41.72 c Sol. found (all assignments made)... 41.72 c Sol. found (all assignments made)... 41.73 c Sol. found (all assignments made)... 41.73 c Sol. found (all assignments made)... 41.73 c Sol. found (all assignments made)... 41.73 c Sol. found (all assignments made)... 41.73 c Sol. found (all assignments made)... 41.73 c Sol. found (all assignments made)... 41.73 c Sol. found (all assignments made)... 41.74 c Sol. found (all assignments made)... 41.74 c Sol. found (all assignments made)... 41.74 c Sol. found (all assignments made)... 41.74 c Sol. found (all assignments made)... 41.74 c Sol. found (all assignments made)... 41.74 c Sol. found (all assignments made)... 41.75 c Sol. found (all assignments made)... 41.75 c Sol. found (all assignments made)... 41.75 c Sol. found (all assignments made)... 41.75 c Sol. found (all assignments made)... 41.75 c Sol. found (all assignments made)... 41.75 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.77 c Sol. found (all assignments made)... 41.77 c Sol. found (all assignments made)... 41.77 c Sol. found (all assignments made)... 41.77 c Sol. found (all assignments made)... 41.77 c Sol. found (all assignments made)... 41.77 c Sol. found (all assignments made)... 41.78 c Sol. found (all assignments made)... 41.78 c Sol. found (all assignments made)... 41.78 c Sol. found (all assignments made)... 41.78 c Sol. found (all assignments made)... 41.78 c Sol. found (all assignments made)... 41.78 c Sol. found (all assignments made)... 41.79 c Sol. found (all assignments made)... 41.79 c Sol. found (all assignments made)... 41.79 c Sol. found (all assignments made)... 41.79 c Sol. found (all assignments made)... 41.79 c Sol. found (all assignments made)... 41.79 c Sol. found (all assignments made)... 41.80 c Sol. found (all assignments made)... 41.80 c Sol. found (all assignments made)... 41.80 c Sol. found (all assignments made)... 41.80 c Sol. found (all assignments made)... 41.80 c Sol. found (all assignments made)... 41.80 c Sol. found (all assignments made)... 41.81 c Sol. found (all assignments made)... 41.81 c Sol. found (all assignments made)... 41.81 c Sol. found (all assignments made)... 41.81 c Sol. found (all assignments made)... 41.81 c Sol. found (all assignments made)... 41.81 c Sol. found (all assignments made)... 41.81 c Sol. found (all assignments made)... 41.82 c Sol. found (all assignments made)... 41.82 c Sol. found (all assignments made)... 41.82 c Sol. found (all assignments made)... 41.82 c Sol. found (all assignments made)... 41.82 c Sol. found (all assignments made)... 41.83 c Sol. found (all assignments made)... 41.83 c Sol. found (all assignments made)... 41.83 c Sol. found (all assignments made)... 41.83 c Sol. found (all assignments made)... 41.83 c Sol. found (all assignments made)... 41.83 c Sol. found (all assignments made)... 41.83 c Sol. found (all assignments made)... 41.84 c Sol. found (all assignments made)... 41.84 c Sol. found (all assignments made)... 41.84 c Sol. found (all assignments made)... 41.84 c Sol. found (all assignments made)... 41.84 c Sol. found (all assignments made)... 41.84 c Sol. found (all assignments made)... 41.85 c Sol. found (all assignments made)... 41.85 c Sol. found (all assignments made)... 41.85 c Sol. found (all assignments made)... 41.85 c Sol. found (all assignments made)... 41.85 c Sol. found (all assignments made)... 41.85 c Sol. found (all assignments made)... 41.86 c Sol. found (all assignments made)... 41.86 c Sol. found (all assignments made)... 41.86 c Sol. found (all assignments made)... 41.86 c Sol. found (all assignments made)... 41.86 c Sol. found (all assignments made)... 41.87 c Sol. found (all assignments made)... 41.87 c Sol. found (all assignments made)... 41.87 c Sol. found (all assignments made)... 41.87 c Sol. found (all assignments made)... 41.87 c Sol. found (all assignments made)... 41.87 c Sol. found (all assignments made)... 41.88 c Sol. found (all assignments made)... 41.88 c Sol. found (all assignments made)... 41.88 c Sol. found (all assignments made)... 41.88 c Sol. found (all assignments made)... 41.88 c Sol. found (all assignments made)... 41.88 c Sol. found (all assignments made)... 41.89 c Sol. found (all assignments made)... 41.89 c Sol. found (all assignments made)... 41.89 c Sol. found (all assignments made)... 41.89 c Sol. found (all assignments made)... 41.89 c Sol. found (all assignments made)... 41.89 c Sol. found (all assignments made)... 41.90 c Sol. found (all assignments made)... 41.90 c Sol. found (all assignments made)... 41.90 c Sol. found (all assignments made)... 41.90 c Sol. found (all assignments made)... 41.90 c Sol. found (all assignments made)... 41.90 c Sol. found (all assignments made)... 41.91 c Sol. found (all assignments made)... 41.91 c Sol. found (all assignments made)... 41.91 c Sol. found (all assignments made)... 41.91 c Sol. found (all assignments made)... 41.91 c Sol. found (all assignments made)... 41.91 c Sol. found (all assignments made)... 41.92 c Sol. found (all assignments made)... 41.92 c Sol. found (all assignments made)... 41.92 c Sol. found (all assignments made)... 41.92 c Sol. found (all assignments made)... 41.92 c Sol. found (all assignments made)... 41.92 c Sol. found (all assignments made)... 41.93 c Sol. found (all assignments made)... 41.93 c Sol. found (all assignments made)... 41.93 c Sol. found (all assignments made)... 41.93 c Sol. found (all assignments made)... 41.93 c Sol. found (all assignments made)... 41.93 c Sol. found (all assignments made)... 41.94 c Sol. found (all assignments made)... 41.94 c Sol. found (all assignments made)... 41.94 c Sol. found (all assignments made)... 41.94 c Sol. found (all assignments made)... 41.94 c Sol. found (all assignments made)... 41.94 c Sol. found (all assignments made)... 41.95 c Sol. found (all assignments made)... 41.95 c Sol. found (all assignments made)... 41.95 c Sol. found (all assignments made)... 41.95 c Sol. found (all assignments made)... 41.95 c Sol. found (all assignments made)... 41.95 c Sol. found (all assignments made)... 41.96 c Sol. found (all assignments made)... 41.96 c Sol. found (all assignments made)... 41.96 c Sol. found (all assignments made)... 41.96 c Sol. found (all assignments made)... 41.96 c Sol. found (all assignments made)... 41.96 c Sol. found (all assignments made)... 41.97 c Sol. found (all assignments made)... 41.97 c Sol. found (all assignments made)... 41.97 c Sol. found (all assignments made)... 41.97 c Sol. found (all assignments made)... 41.97 c Sol. found (all assignments made)... 41.97 c Sol. found (all assignments made)... 41.98 c Sol. found (all assignments made)... 41.98 c Sol. found (all assignments made)... 41.98 c Sol. found (all assignments made)... 41.98 c Sol. found (all assignments made)... 41.98 c Sol. found (all assignments made)... 41.98 c Sol. found (all assignments made)... 41.99 c Sol. found (all assignments made)... 41.99 c Sol. found (all assignments made)... 41.99 c Sol. found (all assignments made)... 41.99 c Sol. found (all assignments made)... 41.99 c Sol. found (all assignments made)... 42.00 c Sol. found (all assignments made)... 42.00 c Sol. found (all assignments made)... 42.00 c Sol. found (all assignments made)... 42.00 c Sol. found (all assignments made)... 42.00 c Sol. found (all assignments made)... 42.00 c Sol. found (all assignments made)... 42.01 c Sol. found (all assignments made)... 42.01 c Sol. found (all assignments made)... 42.01 c Sol. found (all assignments made)... 42.01 c Sol. found (all assignments made)... 42.01 c Sol. found (all assignments made)... 42.01 c Sol. found (all assignments made)... 42.02 c Sol. found (all assignments made)... 42.02 c Sol. found (all assignments made)... 42.02 c Sol. found (all assignments made)... 42.02 c Sol. found (all assignments made)... 42.02 c Sol. found (all assignments made)... 42.02 c Sol. found (all assignments made)... 42.03 c Sol. found (all assignments made)... 42.03 c Sol. found (all assignments made)... 42.03 c Sol. found (all assignments made)... 42.03 c Sol. found (all assignments made)... 42.03 c Sol. found (all assignments made)... 44.80 c Restart #32 #Var: 363 LB: 0 @ 44.745 48.05 c Restart #33 #Var: 363 LB: 0 @ 47.996 49.36 c Restart #34 #Var: 363 LB: 0 @ 49.303 50.54 c Restart #35 #Var: 363 LB: 0 @ 50.486 52.79 c Restart #36 #Var: 363 LB: 0 @ 52.735 54.67 c Restart #37 #Var: 363 LB: 0 @ 54.61 57.35 c Restart #38 #Var: 363 LB: 0 @ 57.295 60.32 c Restart #39 #Var: 363 LB: 0 @ 60.264 62.42 c Restart #40 #Var: 363 LB: 0 @ 62.357 64.70 c Restart #41 #Var: 363 LB: 0 @ 64.642 66.62 c Restart #42 #Var: 363 LB: 0 @ 66.562 68.40 c Restart #43 #Var: 363 LB: 0 @ 68.338 71.01 c Restart #44 #Var: 363 LB: 0 @ 70.951 72.41 c Restart #45 #Var: 363 LB: 0 @ 72.351 75.30 c Restart #46 #Var: 363 LB: 0 @ 75.233 76.91 c Restart #47 #Var: 363 LB: 0 @ 76.846 78.41 c Restart #48 #Var: 363 LB: 0 @ 78.342 86.16 c Restart #49 #Var: 363 LB: 0 @ 86.087 88.06 c Restart #50 #Var: 363 LB: 0 @ 87.987 89.62 c Restart #51 #Var: 363 LB: 0 @ 89.556 91.14 c Restart #52 #Var: 363 LB: 0 @ 91.067 93.68 c Restart #53 #Var: 363 LB: 0 @ 93.605 95.15 c Restart #54 #Var: 363 LB: 0 @ 95.077 97.76 c Restart #55 #Var: 363 LB: 0 @ 97.691 99.24 c Restart #56 #Var: 363 LB: 0 @ 99.164 100.41 c Restart #57 #Var: 363 LB: 0 @ 100.34 101.70 c Restart #58 #Var: 363 LB: 0 @ 101.62 102.97 c Restart #59 #Var: 363 LB: 0 @ 102.89 105.61 c Restart #60 #Var: 363 LB: 0 @ 105.53 109.35 c Restart #61 #Var: 363 LB: 0 @ 109.27 112.65 c Restart #62 #Var: 363 LB: 0 @ 112.58 119.86 c Restart #63 #Var: 363 LB: 0 @ 119.78 121.58 c Restart #64 #Var: 363 LB: 0 @ 121.5 124.30 c Restart #65 #Var: 363 LB: 0 @ 124.22 125.98 c Restart #66 #Var: 363 LB: 0 @ 125.89 128.57 c Restart #67 #Var: 363 LB: 0 @ 128.49 130.93 c Restart #68 #Var: 363 LB: 0 @ 130.85 132.60 c Restart #69 #Var: 363 LB: 0 @ 132.52 134.65 c Restart #70 #Var: 363 LB: 0 @ 134.57 137.07 c Restart #71 #Var: 363 LB: 0 @ 136.99 139.58 c Restart #72 #Var: 363 LB: 0 @ 139.49 142.22 c Restart #73 #Var: 363 LB: 0 @ 142.13 144.17 c Restart #74 #Var: 363 LB: 0 @ 144.09 148.10 c Restart #75 #Var: 363 LB: 0 @ 148.01 150.08 c Restart #76 #Var: 363 LB: 0 @ 149.99 153.57 c Restart #77 #Var: 363 LB: 0 @ 153.48 157.04 c Restart #78 #Var: 363 LB: 0 @ 156.94 165.42 c Restart #79 #Var: 363 LB: 0 @ 165.32 167.01 c Restart #80 #Var: 363 LB: 0 @ 166.91 169.04 c Restart #81 #Var: 363 LB: 0 @ 168.94 172.95 c Restart #82 #Var: 363 LB: 0 @ 172.84 174.47 c Restart #83 #Var: 363 LB: 0 @ 174.37 177.68 c Restart #84 #Var: 363 LB: 0 @ 177.58 203.41 c Restart #85 #Var: 363 LB: 0 @ 203.3 206.39 c Restart #86 #Var: 363 LB: 0 @ 206.27 207.69 c Restart #87 #Var: 363 LB: 0 @ 207.58 208.83 c Restart #88 #Var: 363 LB: 0 @ 208.71 212.15 c Restart #89 #Var: 363 LB: 0 @ 212.03 217.28 c Restart #90 #Var: 363 LB: 0 @ 217.16 219.29 c Restart #91 #Var: 363 LB: 0 @ 219.18 222.75 c Restart #92 #Var: 363 LB: 0 @ 222.64 226.07 c Restart #93 #Var: 363 LB: 0 @ 225.95 234.61 c Restart #94 #Var: 363 LB: 0 @ 234.49 238.84 c Restart #95 #Var: 363 LB: 0 @ 238.72 241.92 c Restart #96 #Var: 363 LB: 0 @ 241.8 245.77 c Restart #97 #Var: 363 LB: 0 @ 245.64 250.01 c Restart #98 #Var: 363 LB: 0 @ 249.88 255.82 c Restart #99 #Var: 363 LB: 0 @ 255.69 260.56 c Restart #100 #Var: 363 LB: 0 @ 260.43 263.39 c Restart #101 #Var: 363 LB: 0 @ 263.25 270.88 c Restart #102 #Var: 363 LB: 0 @ 270.74 275.15 c Restart #103 #Var: 363 LB: 0 @ 275.02 281.03 c Restart #104 #Var: 363 LB: 0 @ 280.89 287.42 c Restart #105 #Var: 363 LB: 0 @ 287.27 292.35 c Restart #106 #Var: 363 LB: 0 @ 292.21 296.99 c Restart #107 #Var: 363 LB: 0 @ 296.84 300.71 c Restart #108 #Var: 363 LB: 0 @ 300.56 303.82 c Restart #109 #Var: 363 LB: 0 @ 303.67 308.67 c Restart #110 #Var: 363 LB: 0 @ 308.52 314.21 c Restart #111 #Var: 363 LB: 0 @ 314.05 319.53 c Restart #112 #Var: 363 LB: 0 @ 319.38 326.85 c Restart #113 #Var: 363 LB: 0 @ 326.69 334.40 c Restart #114 #Var: 363 LB: 0 @ 334.24 339.38 c Restart #115 #Var: 363 LB: 0 @ 339.22 340.80 c Sol. found (all assignments made)... 340.90 c Sol. found (all assignments made)... 341.34 c Sol. found (all assignments made)... 341.34 c Sol. found (all assignments made)... 341.45 c Sol. found (all assignments made)... 341.46 c Sol. found (all assignments made)... 341.84 c Sol. found (all assignments made)... 342.04 c Sol. found (all assignments made)... 342.06 c Sol. found (all assignments made)... 342.09 c Sol. found (all assignments made)... 342.10 c Sol. found (all assignments made)... 342.51 c Sol. found (all assignments made)... 342.54 c Sol. found (all assignments made)... 342.57 c Sol. found (all assignments made)... 342.60 c Sol. found (all assignments made)... 342.64 c Sol. found (all assignments made)... 342.64 c Sol. found (all assignments made)... 342.69 c Sol. found (all assignments made)... 342.70 c Sol. found (all assignments made)... 343.03 c Sol. found (all assignments made)... 343.03 c Sol. found (all assignments made)... 343.05 c Sol. found (all assignments made)... 343.07 c Sol. found (all assignments made)... 343.09 c Sol. found (all assignments made)... 343.10 c Sol. found (all assignments made)... 343.12 c Sol. found (all assignments made)... 343.13 c Sol. found (all assignments made)... 343.18 c Sol. found (all assignments made)... 343.19 c Sol. found (all assignments made)... 343.22 c Sol. found (all assignments made)... 343.24 c Sol. found (all assignments made)... 343.25 c Sol. found (all assignments made)... 343.26 c Sol. found (all assignments made)... 344.26 c Sol. found (all assignments made)... 344.28 c Sol. found (all assignments made)... 344.29 c Sol. found (all assignments made)... 344.31 c Sol. found (all assignments made)... 344.33 c Sol. found (all assignments made)... 344.34 c Sol. found (all assignments made)... 344.36 c Sol. found (all assignments made)... 344.38 c Sol. found (all assignments made)... 344.62 c Restart #116 #Var: 363 LB: 0 @ 344.46 350.64 c Restart #117 #Var: 363 LB: 0 @ 350.48 357.68 c Restart #118 #Var: 363 LB: 0 @ 357.51 363.74 c Restart #119 #Var: 363 LB: 0 @ 363.57 366.65 c Restart #120 #Var: 363 LB: 0 @ 366.48 370.81 c Restart #121 #Var: 363 LB: 0 @ 370.64 377.39 c Restart #122 #Var: 363 LB: 0 @ 377.21 382.65 c Restart #123 #Var: 363 LB: 0 @ 382.48 387.61 c Restart #124 #Var: 363 LB: 0 @ 387.43 394.42 c Restart #125 #Var: 363 LB: 0 @ 394.24 401.08 c Restart #126 #Var: 363 LB: 0 @ 400.89 406.17 c Restart #127 #Var: 363 LB: 0 @ 405.98 406.90 c Sol. found (all assignments made)... 409.06 c Sol. found (all assignments made)... 412.01 c Restart #128 #Var: 363 LB: 0 @ 411.82 419.47 c Restart #129 #Var: 363 LB: 0 @ 419.28 427.36 c Restart #130 #Var: 363 LB: 0 @ 427.17 427.49 c Sol. found (all assignments made)... 427.58 c Sol. found (all assignments made)... 427.67 c Sol. found (all assignments made)... 427.74 c Sol. found (all assignments made)... 427.86 c Sol. found (all assignments made)... 427.89 c Sol. found (all assignments made)... 427.96 c Sol. found (all assignments made)... 427.98 c Sol. found (all assignments made)... 434.38 c Restart #131 #Var: 363 LB: 0 @ 434.18 441.47 c Restart #132 #Var: 363 LB: 0 @ 441.27 447.31 c Restart #133 #Var: 363 LB: 0 @ 447.11 450.27 c Sol. found (all assignments made)... 450.27 c Sol. found (all assignments made)... 451.28 c Sol. found (all assignments made)... 454.07 c Sol. found (all assignments made)... 454.07 c Sol. found (all assignments made)... 454.24 c Sol. found (all assignments made)... 454.45 c Restart #134 #Var: 363 LB: 0 @ 454.25 466.04 c Restart #135 #Var: 363 LB: 0 @ 465.83 490.19 c Restart #136 #Var: 363 LB: 0 @ 489.97 496.60 c Restart #137 #Var: 363 LB: 0 @ 496.38 497.83 c Sol. found (all assignments made)... 501.29 c Restart #138 #Var: 363 LB: 0 @ 501.07 509.20 c Restart #139 #Var: 363 LB: 0 @ 508.98 529.15 c Restart #140 #Var: 363 LB: 0 @ 528.92 535.13 c Restart #141 #Var: 363 LB: 0 @ 534.89 543.23 c Restart #142 #Var: 363 LB: 0 @ 542.99 556.53 c Restart #143 #Var: 363 LB: 0 @ 556.28 564.76 c Restart #144 #Var: 363 LB: 0 @ 564.51 572.03 c Restart #145 #Var: 363 LB: 0 @ 571.78 581.20 c Restart #146 #Var: 363 LB: 0 @ 580.94 590.92 c Restart #147 #Var: 363 LB: 0 @ 590.67 594.10 c Sol. found (all assignments made)... 594.10 c Sol. found (all assignments made)... 598.17 c Sol. found (all assignments made)... 599.68 c Restart #148 #Var: 363 LB: 0 @ 599.42 604.73 c Restart #149 #Var: 363 LB: 0 @ 604.47 612.41 c Restart #150 #Var: 363 LB: 0 @ 612.14 626.16 c Restart #151 #Var: 363 LB: 0 @ 625.89 633.36 c Restart #152 #Var: 363 LB: 0 @ 633.08 639.55 c Restart #153 #Var: 363 LB: 0 @ 639.28 648.54 c Restart #154 #Var: 363 LB: 0 @ 648.26 656.70 c Restart #155 #Var: 363 LB: 0 @ 656.42 670.62 c Restart #156 #Var: 363 LB: 0 @ 670.34 678.08 c Restart #157 #Var: 363 LB: 0 @ 677.79 685.19 c Restart #158 #Var: 363 LB: 0 @ 684.9 691.96 c Restart #159 #Var: 363 LB: 0 @ 691.67 700.60 c Restart #160 #Var: 363 LB: 0 @ 700.3 709.89 c Restart #161 #Var: 363 LB: 0 @ 709.59 716.18 c Sol. found (all assignments made)... 716.18 c Sol. found (all assignments made)... 716.20 c Sol. found (all assignments made)... 717.71 c Sol. found (all assignments made)... 718.39 c Sol. found (all assignments made)... 718.40 c Sol. found (all assignments made)... 718.42 c Sol. found (all assignments made)... 718.44 c Sol. found (all assignments made)... 718.45 c Sol. found (all assignments made)... 718.46 c Sol. found (all assignments made)... 718.48 c Sol. found (all assignments made)... 718.50 c Sol. found (all assignments made)... 718.52 c Sol. found (all assignments made)... 718.53 c Sol. found (all assignments made)... 718.55 c Sol. found (all assignments made)... 718.56 c Sol. found (all assignments made)... 718.58 c Sol. found (all assignments made)... 718.59 c Sol. found (all assignments made)... 718.60 c Sol. found (all assignments made)... 718.62 c Sol. found (all assignments made)... 718.63 c Sol. found (all assignments made)... 718.65 c Sol. found (all assignments made)... 718.66 c Sol. found (all assignments made)... 718.68 c Sol. found (all assignments made)... 718.69 c Sol. found (all assignments made)... 718.71 c Sol. found (all assignments made)... 718.72 c Sol. found (all assignments made)... 718.74 c Sol. found (all assignments made)... 718.75 c Sol. found (all assignments made)... 718.77 c Sol. found (all assignments made)... 718.78 c Sol. found (all assignments made)... 718.80 c Sol. found (all assignments made)... 718.81 c Sol. found (all assignments made)... 718.82 c Sol. found (all assignments made)... 718.83 c Sol. found (all assignments made)... 718.85 c Sol. found (all assignments made)... 718.86 c Sol. found (all assignments made)... 718.88 c Sol. found (all assignments made)... 718.89 c Sol. found (all assignments made)... 718.91 c Sol. found (all assignments made)... 718.92 c Sol. found (all assignments made)... 718.93 c Sol. found (all assignments made)... 718.95 c Sol. found (all assignments made)... 718.96 c Sol. found (all assignments made)... 718.98 c Sol. found (all assignments made)... 719.00 c Sol. found (all assignments made)... 719.04 c Sol. found (all assignments made)... 719.05 c Sol. found (all assignments made)... 719.10 c Sol. found (all assignments made)... 719.12 c Sol. found (all assignments made)... 719.14 c Sol. found (all assignments made)... 719.16 c Sol. found (all assignments made)... 719.22 c Sol. found (all assignments made)... 719.24 c Sol. found (all assignments made)... 719.25 c Sol. found (all assignments made)... 719.27 c Sol. found (all assignments made)... 719.33 c Sol. found (all assignments made)... 719.34 c Sol. found (all assignments made)... 719.35 c Sol. found (all assignments made)... 719.37 c Sol. found (all assignments made)... 719.42 c Sol. found (all assignments made)... 719.44 c Sol. found (all assignments made)... 719.45 c Sol. found (all assignments made)... 719.47 c Sol. found (all assignments made)... 719.52 c Sol. found (all assignments made)... 719.54 c Sol. found (all assignments made)... 719.55 c Sol. found (all assignments made)... 719.57 c Sol. found (all assignments made)... 719.62 c Sol. found (all assignments made)... 719.64 c Sol. found (all assignments made)... 719.65 c Sol. found (all assignments made)... 719.67 c Sol. found (all assignments made)... 719.70 c Sol. found (all assignments made)... 719.72 c Sol. found (all assignments made)... 719.73 c Sol. found (all assignments made)... 719.75 c Sol. found (all assignments made)... 719.82 c Sol. found (all assignments made)... 719.83 c Sol. found (all assignments made)... 719.84 c Sol. found (all assignments made)... 719.86 c Sol. found (all assignments made)... 719.90 c Sol. found (all assignments made)... 719.91 c Sol. found (all assignments made)... 719.92 c Sol. found (all assignments made)... 719.94 c Sol. found (all assignments made)... 720.04 c Sol. found (all assignments made)... 720.06 c Sol. found (all assignments made)... 720.07 c Sol. found (all assignments made)... 720.09 c Sol. found (all assignments made)... 720.10 c Sol. found (all assignments made)... 720.12 c Sol. found (all assignments made)... 720.14 c Sol. found (all assignments made)... 720.15 c Sol. found (all assignments made)... 720.26 c Sol. found (all assignments made)... 720.28 c Sol. found (all assignments made)... 720.30 c Sol. found (all assignments made)... 720.31 c Sol. found (all assignments made)... 720.33 c Sol. found (all assignments made)... 720.34 c Sol. found (all assignments made)... 720.36 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.51 c Sol. found (all assignments made)... 720.53 c Sol. found (all assignments made)... 720.54 c Sol. found (all assignments made)... 720.56 c Sol. found (all assignments made)... 720.58 c Sol. found (all assignments made)... 720.59 c Sol. found (all assignments made)... 720.61 c Sol. found (all assignments made)... 720.63 c Sol. found (all assignments made)... 720.74 c Sol. found (all assignments made)... 720.75 c Sol. found (all assignments made)... 720.77 c Sol. found (all assignments made)... 720.79 c Sol. found (all assignments made)... 720.80 c Sol. found (all assignments made)... 720.82 c Sol. found (all assignments made)... 720.83 c Sol. found (all assignments made)... 720.85 c Sol. found (all assignments made)... 720.98 c Sol. found (all assignments made)... 721.00 c Sol. found (all assignments made)... 721.01 c Sol. found (all assignments made)... 721.03 c Sol. found (all assignments made)... 721.05 c Sol. found (all assignments made)... 721.06 c Sol. found (all assignments made)... 721.08 c Sol. found (all assignments made)... 721.10 c Sol. found (all assignments made)... 721.15 c Sol. found (all assignments made)... 721.16 c Sol. found (all assignments made)... 721.18 c Sol. found (all assignments made)... 721.20 c Sol. found (all assignments made)... 721.21 c Sol. found (all assignments made)... 721.23 c Sol. found (all assignments made)... 721.24 c Sol. found (all assignments made)... 721.26 c Sol. found (all assignments made)... 721.35 c Sol. found (all assignments made)... 721.37 c Sol. found (all assignments made)... 721.38 c Sol. found (all assignments made)... 721.40 c Sol. found (all assignments made)... 721.42 c Sol. found (all assignments made)... 721.43 c Sol. found (all assignments made)... 721.45 c Sol. found (all assignments made)... 721.47 c Sol. found (all assignments made)... 721.48 c Sol. found (all assignments made)... 721.50 c Sol. found (all assignments made)... 721.51 c Sol. found (all assignments made)... 721.53 c Sol. found (all assignments made)... 721.54 c Sol. found (all assignments made)... 721.56 c Sol. found (all assignments made)... 721.57 c Sol. found (all assignments made)... 721.59 c Sol. found (all assignments made)... 722.00 c Sol. found (all assignments made)... 722.02 c Sol. found (all assignments made)... 722.04 c Sol. found (all assignments made)... 722.06 c Sol. found (all assignments made)... 722.07 c Sol. found (all assignments made)... 722.09 c Sol. found (all assignments made)... 722.11 c Sol. found (all assignments made)... 722.13 c Sol. found (all assignments made)... 722.17 c Sol. found (all assignments made)... 722.19 c Sol. found (all assignments made)... 722.20 c Sol. found (all assignments made)... 722.22 c Sol. found (all assignments made)... 722.24 c Sol. found (all assignments made)... 722.26 c Sol. found (all assignments made)... 722.28 c Sol. found (all assignments made)... 722.29 c Sol. found (all assignments made)... 722.61 c Sol. found (all assignments made)... 722.63 c Sol. found (all assignments made)... 722.65 c Sol. found (all assignments made)... 722.67 c Sol. found (all assignments made)... 722.69 c Sol. found (all assignments made)... 722.71 c Sol. found (all assignments made)... 722.72 c Sol. found (all assignments made)... 722.74 c Sol. found (all assignments made)... 722.81 c Sol. found (all assignments made)... 722.83 c Sol. found (all assignments made)... 722.84 c Sol. found (all assignments made)... 722.86 c Sol. found (all assignments made)... 722.88 c Sol. found (all assignments made)... 722.90 c Sol. found (all assignments made)... 722.92 c Sol. found (all assignments made)... 722.94 c Sol. found (all assignments made)... 723.06 c Restart #162 #Var: 363 LB: 0 @ 722.76 732.39 c Restart #163 #Var: 363 LB: 0 @ 732.08 740.36 c Restart #164 #Var: 363 LB: 0 @ 740.04 747.93 c Restart #165 #Var: 363 LB: 0 @ 747.61 754.24 c Restart #166 #Var: 363 LB: 0 @ 753.92 766.22 c Restart #167 #Var: 363 LB: 0 @ 765.9 773.01 c Restart #168 #Var: 363 LB: 0 @ 772.69 783.48 c Restart #169 #Var: 363 LB: 0 @ 783.15 790.25 c Restart #170 #Var: 363 LB: 0 @ 789.92 805.67 c Restart #171 #Var: 363 LB: 0 @ 805.33 814.64 c Restart #172 #Var: 363 LB: 0 @ 814.3 819.37 c Restart #173 #Var: 363 LB: 0 @ 819.03 824.83 c Restart #174 #Var: 363 LB: 0 @ 824.49 834.03 c Restart #175 #Var: 363 LB: 0 @ 833.69 842.24 c Restart #176 #Var: 363 LB: 0 @ 841.89 847.79 c Restart #177 #Var: 363 LB: 0 @ 847.44 859.73 c Restart #178 #Var: 363 LB: 0 @ 859.37 867.16 c Restart #179 #Var: 363 LB: 0 @ 866.8 875.31 c Restart #180 #Var: 363 LB: 0 @ 874.95 880.30 c Restart #181 #Var: 363 LB: 0 @ 879.93 892.14 c Restart #182 #Var: 363 LB: 0 @ 891.77 896.81 c Sol. found (all assignments made)... 896.81 c Sol. found (all assignments made)... 897.39 c Sol. found (all assignments made)... 897.40 c Sol. found (all assignments made)... 897.46 c Sol. found (all assignments made)... 897.47 c Sol. found (all assignments made)... 904.36 c Restart #183 #Var: 363 LB: 0 @ 903.99 954.93 c Restart #184 #Var: 363 LB: 0 @ 954.54 962.69 c Restart #185 #Var: 363 LB: 0 @ 962.3 973.28 c Restart #186 #Var: 363 LB: 0 @ 972.88 977.20 c Restart #187 #Var: 363 LB: 0 @ 976.8 985.97 c Restart #188 #Var: 363 LB: 0 @ 985.57 1024.59 c Restart #189 #Var: 363 LB: 0 @ 1024.2 1091.09 c Restart #190 #Var: 363 LB: 0 @ 1090.6 1099.84 c Restart #191 #Var: 363 LB: 0 @ 1099.3 1109.93 c Restart #192 #Var: 363 LB: 0 @ 1109.4 1130.17 c Restart #193 #Var: 363 LB: 0 @ 1129.7 1138.53 c Restart #194 #Var: 363 LB: 0 @ 1138 1157.19 c Restart #195 #Var: 363 LB: 0 @ 1156.7 1211.33 c Restart #196 #Var: 363 LB: 0 @ 1210.8 1225.47 c Restart #197 #Var: 363 LB: 0 @ 1224.9 1255.86 c Restart #198 #Var: 363 LB: 0 @ 1255.3 1267.82 c Restart #199 #Var: 363 LB: 0 @ 1267.3 1276.32 c Restart #200 #Var: 363 LB: 0 @ 1275.8 1297.84 c Restart #201 #Var: 363 LB: 0 @ 1297.3 1314.94 c Restart #202 #Var: 363 LB: 0 @ 1314.4 1348.67 c Restart #203 #Var: 363 LB: 0 @ 1348.1 1409.13 c Restart #204 #Var: 363 LB: 0 @ 1408.5 1414.37 c Restart #205 #Var: 363 LB: 0 @ 1413.8 1428.83 c Restart #206 #Var: 363 LB: 0 @ 1428.2 1446.09 c Restart #207 #Var: 363 LB: 0 @ 1445.5 1452.03 c Restart #208 #Var: 363 LB: 0 @ 1451.4 1463.76 c Restart #209 #Var: 363 LB: 0 @ 1463.1 1474.45 c Restart #210 #Var: 363 LB: 0 @ 1473.8 1490.83 c Restart #211 #Var: 363 LB: 0 @ 1490.2 1521.57 c Restart #212 #Var: 363 LB: 0 @ 1520.9 1530.76 c Restart #213 #Var: 363 LB: 0 @ 1530.1 1558.82 c Restart #214 #Var: 363 LB: 0 @ 1558.2 1570.44 c Restart #215 #Var: 363 LB: 0 @ 1569.8 1599.84 c Restart #216 #Var: 363 LB: 0 @ 1599.2 1630.48 c Restart #217 #Var: 363 LB: 0 @ 1629.8 1648.64 c Restart #218 #Var: 363 LB: 0 @ 1647.9 1658.83 c Restart #219 #Var: 363 LB: 0 @ 1658.1 1667.07 c Restart #220 #Var: 363 LB: 0 @ 1666.4 1672.36 c Restart #221 #Var: 363 LB: 0 @ 1671.7 1689.01 c Restart #222 #Var: 363 LB: 0 @ 1688.3 1699.44 c Restart #223 #Var: 363 LB: 0 @ 1698.7 1776.19 c Restart #224 #Var: 363 LB: 0 @ 1775.4 1791.36 c Restart #225 #Var: 363 LB: 0 @ 1790.6 1800.76 s SATISFIABLE 1800.76 c Cost: 25390106 1800.76 v -x1 -x2 -x3 -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 1800.76 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.76 v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 x375 -x376 1800.76 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x511 -x512 -x513 -x514 -x515 -x516 -x517 1800.76 v -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 1800.76 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 1800.76 v -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 1800.76 v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 1800.76 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 1800.76 v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 -x641 -x642 -x643 x644 x645 1800.76 v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 1800.76 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 1800.76 v -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 1800.76 v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 1800.76 v -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 1800.76 v -x98 -x99 -x100 x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.76 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1800.76 v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 1800.76 v x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1800.76 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1800.76 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 -x221 x222 x223 x224 -x225 1800.76 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 1800.76 v -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 1800.76 v -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 1800.76 v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 1800.76 v -x310 x311 x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 1800.76 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 1800.76 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.76 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.76 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.76 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.76 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.76 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.76 v -x508 -x509 -x510 x721 -x722 x733 -x738 -x739 -x740 -x741 x742 -x743 x744 x723 x724 -x725 x726 -x727 x728 -x729 -x730 x731 1800.76 v -x732 -x734 -x735 -x736 -x737 1800.76 c Exit Code: 10 1800.76 c Total time: 1800 s
OK 25390106
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/node73/watcher-40535-1149302610 -o ROOT/results/node73/solver-40535-1149302610 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40535-1149302610/instance-40535-1149302610.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1568600/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=4924 CPUtime=0 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 282 0 0 0 0 0 0 0 18 0 1 0 195925773 5042176 251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158050313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 1232 257 167 55 0 124 0 [startup+10.0015 s] /proc/loadavg: 0.93 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1551144/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=21908 CPUtime=9.96 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 4737 0 0 0 988 8 0 0 25 0 1 0 195925773 22433792 4652 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 5477 4652 298 55 0 4369 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 21908 [startup+20.0084 s] /proc/loadavg: 0.94 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1539688/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=33280 CPUtime=19.95 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 7593 0 0 0 1985 10 0 0 25 0 1 0 195925773 34078720 7508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 8320 7508 298 55 0 7212 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 33280 [startup+30.0154 s] /proc/loadavg: 0.95 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1539368/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=33624 CPUtime=29.96 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 7663 0 0 0 2984 12 0 0 25 0 1 0 195925773 34430976 7576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 8406 7576 298 55 0 7298 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 33624 [startup+40.0224 s] /proc/loadavg: 0.96 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1539176/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=33800 CPUtime=39.96 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 7711 0 0 0 3983 13 0 0 25 0 1 0 195925773 34611200 7624 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 8450 7624 298 55 0 7342 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 33800 [startup+50.0293 s] /proc/loadavg: 0.96 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1533416/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=39452 CPUtime=49.97 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9140 0 0 0 4981 16 0 0 25 0 1 0 195925773 40398848 9053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 9863 9053 298 55 0 8755 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 39452 [startup+60.0363 s] /proc/loadavg: 0.97 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1532904/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=39940 CPUtime=59.97 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9280 0 0 0 5980 17 0 0 25 0 1 0 195925773 40898560 9177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 9985 9177 298 55 0 8877 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 39940 [startup+70.0433 s] /proc/loadavg: 0.97 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1532648/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=40220 CPUtime=69.98 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9414 0 0 0 6979 19 0 0 25 0 1 0 195925773 41185280 9247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10055 9247 298 55 0 8947 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 40220 [startup+80.0502 s] /proc/loadavg: 0.98 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1532520/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=40312 CPUtime=79.98 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9442 0 0 0 7977 21 0 0 25 0 1 0 195925773 41279488 9270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10078 9270 298 55 0 8970 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 40312 [startup+90.0572 s] /proc/loadavg: 0.98 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1532392/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=40528 CPUtime=89.98 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9487 0 0 0 8976 22 0 0 25 0 1 0 195925773 41500672 9315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10132 9315 298 55 0 9024 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 40528 [startup+100.064 s] /proc/loadavg: 0.98 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1532264/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=40644 CPUtime=99.98 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9522 0 0 0 9974 24 0 0 25 0 1 0 195925773 41619456 9350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10161 9350 298 55 0 9053 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 40644 [startup+110.071 s] /proc/loadavg: 0.98 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1532008/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=40904 CPUtime=109.99 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9597 0 0 0 10973 26 0 0 25 0 1 0 195925773 41885696 9409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629220 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10226 9409 298 55 0 9118 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 40904 [startup+120.078 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1531944/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=40864 CPUtime=119.99 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9597 0 0 0 11971 28 0 0 25 0 1 0 195925773 41844736 9408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10216 9408 298 55 0 9108 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 40864 [startup+130.084 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1531816/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=41072 CPUtime=129.99 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9653 0 0 0 12969 30 0 0 25 0 1 0 195925773 42057728 9450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10268 9450 298 55 0 9160 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 41072 [startup+140.09 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1531624/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=41140 CPUtime=140 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9689 0 0 0 13966 34 0 0 25 0 1 0 195925773 42127360 9477 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10285 9477 298 55 0 9177 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 41140 [startup+150.097 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1531560/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=41264 CPUtime=150 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9720 0 0 0 14964 36 0 0 25 0 1 0 195925773 42254336 9508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10316 9508 298 55 0 9208 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 41264 [startup+160.103 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1531176/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=41628 CPUtime=160 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9804 0 0 0 15962 38 0 0 25 0 1 0 195925773 42627072 9592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10407 9592 298 55 0 9299 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 41628 [startup+170.109 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1531112/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=41756 CPUtime=170 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9822 0 0 0 16961 39 0 0 25 0 1 0 195925773 42758144 9610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10439 9610 298 55 0 9331 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 41756 [startup+180.116 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1531048/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=41756 CPUtime=180 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9838 0 0 0 17959 41 0 0 25 0 1 0 195925773 42758144 9626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10439 9626 298 55 0 9331 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 41756 [startup+190.122 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1531048/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=41756 CPUtime=190.01 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9838 0 0 0 18959 42 0 0 25 0 1 0 195925773 42758144 9626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10439 9626 298 55 0 9331 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 41756 [startup+200.128 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1531048/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=41756 CPUtime=200.01 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 9838 0 0 0 19959 42 0 0 25 0 1 0 195925773 42758144 9626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 10439 9626 298 55 0 9331 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 41756 [startup+210.134 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21472 /proc/meminfo: memFree=1530792/2055920 swapFree=4182212/4192956 ################ # More data... # ################ /proc/21472/statm: 33917 33090 298 55 0 32809 0 Current children cumulated CPU time (s) 1760.37 Current children cumulated vsize (Kb) 135668 [startup+1771.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436592/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135668 CPUtime=1770.37 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33830 0 0 0 176772 265 0 0 25 0 1 0 195925773 138924032 33090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33917 33090 298 55 0 32809 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 135668 [startup+1781.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436592/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135668 CPUtime=1780.37 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33830 0 0 0 177771 266 0 0 25 0 1 0 195925773 138924032 33090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33917 33090 298 55 0 32809 0 Current children cumulated CPU time (s) 1780.37 Current children cumulated vsize (Kb) 135668 [startup+1782.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436592/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135668 CPUtime=1781.38 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33830 0 0 0 177872 266 0 0 25 0 1 0 195925773 138924032 33090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33917 33090 298 55 0 32809 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 135668 [startup+1783.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436592/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135668 CPUtime=1782.38 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33830 0 0 0 177972 266 0 0 25 0 1 0 195925773 138924032 33090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33917 33090 298 55 0 32809 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 135668 [startup+1784.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436592/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135668 CPUtime=1783.38 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33834 0 0 0 178072 266 0 0 25 0 1 0 195925773 138924032 33094 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33917 33094 298 55 0 32809 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 135668 [startup+1785.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436592/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135800 CPUtime=1784.39 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33837 0 0 0 178173 266 0 0 25 0 1 0 195925773 139059200 33097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33950 33097 298 55 0 32842 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 135800 [startup+1786.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436528/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135800 CPUtime=1785.4 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33841 0 0 0 178273 267 0 0 25 0 1 0 195925773 139059200 33101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33950 33101 298 55 0 32842 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 135800 [startup+1787.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436528/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135800 CPUtime=1786.4 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33846 0 0 0 178373 267 0 0 25 0 1 0 195925773 139059200 33106 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33950 33106 298 55 0 32842 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 135800 [startup+1788.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436528/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135748 CPUtime=1787.41 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33846 0 0 0 178474 267 0 0 25 0 1 0 195925773 139005952 33106 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33937 33106 298 55 0 32829 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 135748 [startup+1789.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436528/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135748 CPUtime=1788.41 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33849 0 0 0 178574 267 0 0 25 0 1 0 195925773 139005952 33109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33937 33109 298 55 0 32829 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 135748 [startup+1790.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436528/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135748 CPUtime=1789.41 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33853 0 0 0 178674 267 0 0 25 0 1 0 195925773 139005952 33113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33937 33113 298 55 0 32829 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 135748 [startup+1791.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436464/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135748 CPUtime=1790.42 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33853 0 0 0 178775 267 0 0 25 0 1 0 195925773 139005952 33113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33937 33113 298 55 0 32829 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 135748 [startup+1792.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436464/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135880 CPUtime=1791.43 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33857 0 0 0 178875 268 0 0 25 0 1 0 195925773 139141120 33117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8150770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33970 33117 298 55 0 32862 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 135880 [startup+1793.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436464/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135880 CPUtime=1792.44 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33857 0 0 0 178976 268 0 0 25 0 1 0 195925773 139141120 33117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557835 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33970 33117 298 55 0 32862 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 135880 [startup+1794.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436464/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135880 CPUtime=1793.44 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33857 0 0 0 179076 268 0 0 25 0 1 0 195925773 139141120 33117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33970 33117 298 55 0 32862 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 135880 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436464/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135880 CPUtime=1794.45 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33857 0 0 0 179177 268 0 0 25 0 1 0 195925773 139141120 33117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33970 33117 298 55 0 32862 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 135880 [startup+1796.21 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436464/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135880 CPUtime=1795.45 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33857 0 0 0 179277 268 0 0 25 0 1 0 195925773 139141120 33117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33970 33117 298 55 0 32862 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 135880 [startup+1797.21 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436464/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135880 CPUtime=1796.45 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33857 0 0 0 179377 268 0 0 25 0 1 0 195925773 139141120 33117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33970 33117 298 55 0 32862 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 135880 [startup+1798.22 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436464/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135880 CPUtime=1797.45 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33857 0 0 0 179477 268 0 0 25 0 1 0 195925773 139141120 33117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33970 33117 298 55 0 32862 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 135880 [startup+1799.22 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436464/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135880 CPUtime=1798.46 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33857 0 0 0 179578 268 0 0 25 0 1 0 195925773 139141120 33117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33970 33117 298 55 0 32862 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 135880 [startup+1800.23 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21667 /proc/meminfo: memFree=1436464/2055920 swapFree=4182212/4192956 [pid=21472] ppid=21470 vsize=135880 CPUtime=1799.46 /proc/21472/stat : 21472 (bsolo) R 21470 21472 21426 0 -1 0 33857 0 0 0 179678 268 0 0 25 0 1 0 195925773 139141120 33117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21472/statm: 33970 33117 298 55 0 32862 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 135880 Child status: 10 Real time (s): 1800.79 CPU time (s): 1800.03 CPU user time (s): 1797.32 CPU system time (s): 2.71159 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (Kb): 135880
Begin job on node73 on Sat Jun 3 02:43:30 UTC 2006 FILE ID= 40535-1149302610 PBS_JOBID= 307454 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40535-1149302610/instance-40535-1149302610.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-40535-1149302610 -o ROOT/results/node73/solver-40535-1149302610 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40535-1149302610/instance-40535-1149302610.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 33cb0d9f791aa8843e995c8b8a3c3e5d RANDOM SEED= 255661882 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1568808 kB Buffers: 33860 kB Cached: 380632 kB SwapCached: 2348 kB Active: 33676 kB Inactive: 389484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1568808 kB SwapTotal: 4192956 kB SwapFree: 4182212 kB Dirty: 176 kB Writeback: 0 kB Mapped: 15068 kB Slab: 49940 kB Committed_AS: 291660 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node73 on Sat Jun 3 03:13:31 UTC 2006