Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 128 | 1800.15 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb |
MD5SUM | cca57c347e264f92fb70010109aa24c5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 104 |
Best CPU time to get the best result obtained on this benchmark | 1800.67 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104 |
Optimality of the best value was proved | NO |
Number of variables | 6139 |
Total number of constraints | 1437 |
Number of constraints which are clauses | 1437 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 172 |
Number of terms in the objective function | 6139 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6139 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6139 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02 c Time Limit set via PBTIMEOUT to 1800 0.03 c INFO: OSL Context initialized. 0.51 c Initial problem consists of 6139 variables and 1437 constraints. 1.06 c preprocess terminated. Elapsed time: 1.044 1.06 c After prepocess the problem consists of 5117 variables and 1435 constraints. 1.06 c Initial Lower Bound: 0 9.09 c Sol. found (all assignments made)... 9.09 o 159 9.09 c NEW SOLUTION FOUND: 159 @ 9.07 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.10 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.10 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 o 158 9.11 c NEW SOLUTION FOUND: 158 @ 9.082 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.11 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.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.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.13 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.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.14 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.14 c Sol. found (all assignments made)... 9.14 o 157 9.14 c NEW SOLUTION FOUND: 157 @ 9.117 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.15 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.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.16 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.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.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.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.18 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.18 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.19 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.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.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.21 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.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.22 c Sol. found (all assignments made)... 9.33 c Restart #1 #Var: 5117 LB: 0 @ 9.305 75.15 c Restart #2 #Var: 5117 LB: 0 @ 75.104 174.66 c Restart #3 #Var: 5117 LB: 0 @ 174.59 237.43 c Sol. found (all assignments made)... 237.43 o 149 237.43 c NEW SOLUTION FOUND: 149 @ 237.34 237.43 c Sol. found (all assignments made)... 237.43 c Sol. found (all assignments made)... 237.44 c Sol. found (all assignments made)... 237.44 c Sol. found (all assignments made)... 237.44 c Sol. found (all assignments made)... 237.44 c Sol. found (all assignments made)... 237.44 c Sol. found (all assignments made)... 237.45 c Sol. found (all assignments made)... 237.46 c Sol. found (all assignments made)... 237.46 c Sol. found (all assignments made)... 237.46 c Sol. found (all assignments made)... 237.46 c Sol. found (all assignments made)... 237.46 c Sol. found (all assignments made)... 237.46 c Sol. found (all assignments made)... 237.46 c Sol. found (all assignments made)... 237.46 c Sol. found (all assignments made)... 237.46 c Sol. found (all assignments made)... 237.47 c Sol. found (all assignments made)... 237.47 c Sol. found (all assignments made)... 237.47 c Sol. found (all assignments made)... 237.47 c Sol. found (all assignments made)... 237.47 o 148 237.47 c NEW SOLUTION FOUND: 148 @ 237.38 237.48 c Sol. found (all assignments made)... 237.48 c Sol. found (all assignments made)... 237.48 c Sol. found (all assignments made)... 237.48 c Sol. found (all assignments made)... 237.49 c Sol. found (all assignments made)... 237.49 c Sol. found (all assignments made)... 237.49 c Sol. found (all assignments made)... 237.49 c Sol. found (all assignments made)... 237.49 c Sol. found (all assignments made)... 237.50 c Sol. found (all assignments made)... 237.51 c Sol. found (all assignments made)... 237.52 c Sol. found (all assignments made)... 237.52 c Sol. found (all assignments made)... 237.52 c Sol. found (all assignments made)... 237.53 c Sol. found (all assignments made)... 237.53 c Sol. found (all assignments made)... 237.53 c Sol. found (all assignments made)... 237.53 c Sol. found (all assignments made)... 237.53 c Sol. found (all assignments made)... 237.54 c Sol. found (all assignments made)... 237.54 c Sol. found (all assignments made)... 237.54 c Sol. found (all assignments made)... 237.54 c Sol. found (all assignments made)... 237.54 c Sol. found (all assignments made)... 237.54 c Sol. found (all assignments made)... 237.54 c Sol. found (all assignments made)... 237.55 c Sol. found (all assignments made)... 237.55 c Sol. found (all assignments made)... 237.55 c Sol. found (all assignments made)... 237.55 c Sol. found (all assignments made)... 237.55 c Sol. found (all assignments made)... 237.55 c Sol. found (all assignments made)... 237.55 c Sol. found (all assignments made)... 237.55 c Sol. found (all assignments made)... 237.55 c Sol. found (all assignments made)... 237.56 c Sol. found (all assignments made)... 237.56 c Sol. found (all assignments made)... 237.56 c Sol. found (all assignments made)... 237.56 c Sol. found (all assignments made)... 237.57 c Sol. found (all assignments made)... 237.58 c Sol. found (all assignments made)... 237.58 c Sol. found (all assignments made)... 237.58 c Sol. found (all assignments made)... 237.59 c Sol. found (all assignments made)... 237.59 c Sol. found (all assignments made)... 237.59 c Sol. found (all assignments made)... 237.59 c Sol. found (all assignments made)... 237.59 c Sol. found (all assignments made)... 237.60 c Sol. found (all assignments made)... 237.60 c Sol. found (all assignments made)... 237.60 c Sol. found (all assignments made)... 237.60 c Sol. found (all assignments made)... 237.60 c Sol. found (all assignments made)... 237.60 c Sol. found (all assignments made)... 237.60 c Sol. found (all assignments made)... 237.61 c Sol. found (all assignments made)... 237.61 c Sol. found (all assignments made)... 237.62 c Sol. found (all assignments made)... 237.63 c Sol. found (all assignments made)... 237.63 c Sol. found (all assignments made)... 237.64 c Sol. found (all assignments made)... 237.64 c Sol. found (all assignments made)... 237.64 c Sol. found (all assignments made)... 237.64 c Sol. found (all assignments made)... 237.64 c Sol. found (all assignments made)... 237.64 c Sol. found (all assignments made)... 237.64 c Sol. found (all assignments made)... 237.64 c Sol. found (all assignments made)... 237.65 c Sol. found (all assignments made)... 237.65 c Sol. found (all assignments made)... 237.65 c Sol. found (all assignments made)... 237.65 c Sol. found (all assignments made)... 237.66 c Sol. found (all assignments made)... 237.66 c Sol. found (all assignments made)... 237.67 c Sol. found (all assignments made)... 237.67 c Sol. found (all assignments made)... 237.67 c Sol. found (all assignments made)... 237.68 c Sol. found (all assignments made)... 237.68 c Sol. found (all assignments made)... 237.68 c Sol. found (all assignments made)... 237.68 c Sol. found (all assignments made)... 237.68 c Sol. found (all assignments made)... 237.69 c Sol. found (all assignments made)... 237.69 c Sol. found (all assignments made)... 237.69 c Sol. found (all assignments made)... 237.69 c Sol. found (all assignments made)... 237.70 c Sol. found (all assignments made)... 237.71 c Sol. found (all assignments made)... 237.71 c Sol. found (all assignments made)... 237.71 c Sol. found (all assignments made)... 237.71 c Sol. found (all assignments made)... 237.72 c Sol. found (all assignments made)... 237.72 c Sol. found (all assignments made)... 237.73 c Sol. found (all assignments made)... 237.73 c Sol. found (all assignments made)... 237.73 c Sol. found (all assignments made)... 237.73 c Sol. found (all assignments made)... 237.74 c Sol. found (all assignments made)... 237.74 c Sol. found (all assignments made)... 237.74 c Sol. found (all assignments made)... 237.74 c Sol. found (all assignments made)... 237.75 c Sol. found (all assignments made)... 237.75 c Sol. found (all assignments made)... 237.75 c Sol. found (all assignments made)... 237.75 c Sol. found (all assignments made)... 237.76 c Sol. found (all assignments made)... 237.76 c Sol. found (all assignments made)... 237.76 c Sol. found (all assignments made)... 237.76 c Sol. found (all assignments made)... 237.77 c Sol. found (all assignments made)... 237.78 c Sol. found (all assignments made)... 237.78 c Sol. found (all assignments made)... 237.78 c Sol. found (all assignments made)... 237.78 c Sol. found (all assignments made)... 237.78 c Sol. found (all assignments made)... 237.80 c Sol. found (all assignments made)... 237.80 c Sol. found (all assignments made)... 237.80 c Sol. found (all assignments made)... 237.80 c Sol. found (all assignments made)... 237.80 c Sol. found (all assignments made)... 237.80 c Sol. found (all assignments made)... 237.80 c Sol. found (all assignments made)... 237.81 c Sol. found (all assignments made)... 237.81 c Sol. found (all assignments made)... 237.81 c Sol. found (all assignments made)... 237.81 c Sol. found (all assignments made)... 237.81 c Sol. found (all assignments made)... 237.81 c Sol. found (all assignments made)... 237.81 c Sol. found (all assignments made)... 237.81 c Sol. found (all assignments made)... 237.81 c Sol. found (all assignments made)... 237.83 c Sol. found (all assignments made)... 237.83 c Sol. found (all assignments made)... 237.83 c Sol. found (all assignments made)... 237.83 c Sol. found (all assignments made)... 237.83 c Sol. found (all assignments made)... 237.83 c Sol. found (all assignments made)... 237.83 c Sol. found (all assignments made)... 237.84 c Sol. found (all assignments made)... 237.84 c Sol. found (all assignments made)... 237.85 c Sol. found (all assignments made)... 237.85 c Sol. found (all assignments made)... 237.85 c Sol. found (all assignments made)... 237.85 c Sol. found (all assignments made)... 237.85 c Sol. found (all assignments made)... 237.85 c Sol. found (all assignments made)... 237.86 c Sol. found (all assignments made)... 237.86 c Sol. found (all assignments made)... 237.86 c Sol. found (all assignments made)... 237.87 c Sol. found (all assignments made)... 237.87 c Sol. found (all assignments made)... 237.87 c Sol. found (all assignments made)... 237.87 c Sol. found (all assignments made)... 237.88 c Sol. found (all assignments made)... 237.88 c Sol. found (all assignments made)... 237.88 c Sol. found (all assignments made)... 237.88 c Sol. found (all assignments made)... 237.89 c Sol. found (all assignments made)... 237.89 c Sol. found (all assignments made)... 237.89 c Sol. found (all assignments made)... 237.89 c Sol. found (all assignments made)... 237.89 c Sol. found (all assignments made)... 237.89 c Sol. found (all assignments made)... 237.90 c Sol. found (all assignments made)... 237.90 c Sol. found (all assignments made)... 237.90 c Sol. found (all assignments made)... 237.90 c Sol. found (all assignments made)... 237.90 c Sol. found (all assignments made)... 237.90 c Sol. found (all assignments made)... 237.90 c Sol. found (all assignments made)... 237.92 c Sol. found (all assignments made)... 237.92 c Sol. found (all assignments made)... 237.92 c Sol. found (all assignments made)... 237.92 c Sol. found (all assignments made)... 237.92 c Sol. found (all assignments made)... 237.92 c Sol. found (all assignments made)... 237.92 c Sol. found (all assignments made)... 237.93 c Sol. found (all assignments made)... 237.93 c Sol. found (all assignments made)... 237.93 c Sol. found (all assignments made)... 237.93 c Sol. found (all assignments made)... 237.93 c Sol. found (all assignments made)... 237.94 c Sol. found (all assignments made)... 237.94 c Sol. found (all assignments made)... 237.94 c Sol. found (all assignments made)... 237.95 c Sol. found (all assignments made)... 237.95 c Sol. found (all assignments made)... 237.95 c Sol. found (all assignments made)... 237.95 c Sol. found (all assignments made)... 237.95 c Sol. found (all assignments made)... 237.95 c Sol. found (all assignments made)... 237.95 c Sol. found (all assignments made)... 237.96 c Sol. found (all assignments made)... 237.96 c Sol. found (all assignments made)... 237.96 c Sol. found (all assignments made)... 237.96 c Sol. found (all assignments made)... 237.96 c Sol. found (all assignments made)... 237.96 c Sol. found (all assignments made)... 237.96 c Sol. found (all assignments made)... 237.97 c Sol. found (all assignments made)... 237.97 c Sol. found (all assignments made)... 237.97 c Sol. found (all assignments made)... 237.97 c Sol. found (all assignments made)... 237.97 c Sol. found (all assignments made)... 237.97 c Sol. found (all assignments made)... 237.97 c Sol. found (all assignments made)... 237.97 c Sol. found (all assignments made)... 237.98 c Sol. found (all assignments made)... 237.98 c Sol. found (all assignments made)... 237.98 c Sol. found (all assignments made)... 237.98 c Sol. found (all assignments made)... 237.98 c Sol. found (all assignments made)... 237.99 c Sol. found (all assignments made)... 237.99 c Sol. found (all assignments made)... 237.99 c Sol. found (all assignments made)... 237.99 c Sol. found (all assignments made)... 237.99 c Sol. found (all assignments made)... 238.01 c Sol. found (all assignments made)... 238.01 c Sol. found (all assignments made)... 238.02 c Sol. found (all assignments made)... 238.29 c Restart #4 #Var: 5117 LB: 0 @ 238.19 300.35 c Restart #5 #Var: 5117 LB: 0 @ 300.24 412.81 c Restart #6 #Var: 5117 LB: 0 @ 412.67 476.60 c Sol. found (all assignments made)... 476.60 o 147 476.60 c NEW SOLUTION FOUND: 147 @ 476.44 476.60 c Sol. found (all assignments made)... 476.61 c Sol. found (all assignments made)... 476.61 c Sol. found (all assignments made)... 476.61 c Sol. found (all assignments made)... 476.61 c Sol. found (all assignments made)... 476.61 o 146 476.61 c NEW SOLUTION FOUND: 146 @ 476.45 476.62 c Sol. found (all assignments made)... 476.62 c Sol. found (all assignments made)... 476.62 c Sol. found (all assignments made)... 476.63 c Sol. found (all assignments made)... 476.63 c Sol. found (all assignments made)... 476.63 c Sol. found (all assignments made)... 476.64 c Sol. found (all assignments made)... 476.64 c Sol. found (all assignments made)... 476.65 c Sol. found (all assignments made)... 476.66 c Sol. found (all assignments made)... 476.66 c Sol. found (all assignments made)... 476.66 c Sol. found (all assignments made)... 476.66 c Sol. found (all assignments made)... 476.66 c Sol. found (all assignments made)... 476.66 c Sol. found (all assignments made)... 476.66 c Sol. found (all assignments made)... 476.67 c Sol. found (all assignments made)... 476.67 c Sol. found (all assignments made)... 476.67 c Sol. found (all assignments made)... 476.67 c Sol. found (all assignments made)... 476.67 c Sol. found (all assignments made)... 476.68 c Sol. found (all assignments made)... 476.68 c Sol. found (all assignments made)... 476.68 c Sol. found (all assignments made)... 476.68 c Sol. found (all assignments made)... 476.69 c Sol. found (all assignments made)... 476.69 c Sol. found (all assignments made)... 476.69 c Sol. found (all assignments made)... 476.69 c Sol. found (all assignments made)... 476.70 c Sol. found (all assignments made)... 476.70 c Sol. found (all assignments made)... 476.70 c Sol. found (all assignments made)... 476.70 c Sol. found (all assignments made)... 476.71 c Sol. found (all assignments made)... 476.71 c Sol. found (all assignments made)... 476.71 c Sol. found (all assignments made)... 476.71 c Sol. found (all assignments made)... 476.71 c Sol. found (all assignments made)... 476.71 c Sol. found (all assignments made)... 476.72 c Sol. found (all assignments made)... 476.72 c Sol. found (all assignments made)... 476.72 c Sol. found (all assignments made)... 476.72 c Sol. found (all assignments made)... 476.73 c Sol. found (all assignments made)... 476.73 c Sol. found (all assignments made)... 476.73 c Sol. found (all assignments made)... 476.73 c Sol. found (all assignments made)... 476.73 c Sol. found (all assignments made)... 476.74 c Sol. found (all assignments made)... 476.75 c Sol. found (all assignments made)... 476.75 c Sol. found (all assignments made)... 476.75 c Sol. found (all assignments made)... 476.76 c Sol. found (all assignments made)... 476.76 c Sol. found (all assignments made)... 476.76 c Sol. found (all assignments made)... 476.76 c Sol. found (all assignments made)... 476.76 c Sol. found (all assignments made)... 476.77 c Sol. found (all assignments made)... 476.77 c Sol. found (all assignments made)... 476.77 c Sol. found (all assignments made)... 476.77 c Sol. found (all assignments made)... 476.77 c Sol. found (all assignments made)... 476.78 c Sol. found (all assignments made)... 476.78 c Sol. found (all assignments made)... 476.78 c Sol. found (all assignments made)... 476.78 c Sol. found (all assignments made)... 476.78 c Sol. found (all assignments made)... 476.79 c Sol. found (all assignments made)... 476.80 c Sol. found (all assignments made)... 476.80 c Sol. found (all assignments made)... 476.80 c Sol. found (all assignments made)... 476.80 c Sol. found (all assignments made)... 476.81 c Sol. found (all assignments made)... 476.81 c Sol. found (all assignments made)... 476.81 c Sol. found (all assignments made)... 476.81 c Sol. found (all assignments made)... 476.81 c Sol. found (all assignments made)... 476.81 c Sol. found (all assignments made)... 476.81 o 145 476.81 c NEW SOLUTION FOUND: 145 @ 476.65 476.82 c Sol. found (all assignments made)... 476.82 c Sol. found (all assignments made)... 476.82 c Sol. found (all assignments made)... 476.82 c Sol. found (all assignments made)... 476.84 c Sol. found (all assignments made)... 476.84 c Sol. found (all assignments made)... 476.84 c Sol. found (all assignments made)... 476.85 c Sol. found (all assignments made)... 476.85 c Sol. found (all assignments made)... 476.86 c Sol. found (all assignments made)... 476.87 c Sol. found (all assignments made)... 476.87 c Sol. found (all assignments made)... 476.87 c Sol. found (all assignments made)... 476.88 c Sol. found (all assignments made)... 476.88 c Sol. found (all assignments made)... 476.88 c Sol. found (all assignments made)... 476.89 c Sol. found (all assignments made)... 476.89 c Sol. found (all assignments made)... 476.90 c Sol. found (all assignments made)... 476.90 c Sol. found (all assignments made)... 476.90 c Sol. found (all assignments made)... 476.90 c Sol. found (all assignments made)... 476.91 c Sol. found (all assignments made)... 476.91 c Sol. found (all assignments made)... 476.91 c Sol. found (all assignments made)... 476.93 c Sol. found (all assignments made)... 476.93 c Sol. found (all assignments made)... 476.94 c Sol. found (all assignments made)... 476.94 c Sol. found (all assignments made)... 476.94 c Sol. found (all assignments made)... 476.96 c Sol. found (all assignments made)... 476.97 c Sol. found (all assignments made)... 476.97 c Sol. found (all assignments made)... 476.97 c Sol. found (all assignments made)... 476.97 c Sol. found (all assignments made)... 476.97 c Sol. found (all assignments made)... 476.98 c Sol. found (all assignments made)... 476.98 c Sol. found (all assignments made)... 476.98 c Sol. found (all assignments made)... 477.00 c Sol. found (all assignments made)... 477.00 c Sol. found (all assignments made)... 477.01 c Sol. found (all assignments made)... 477.01 c Sol. found (all assignments made)... 477.01 c Sol. found (all assignments made)... 477.02 c Sol. found (all assignments made)... 477.02 c Sol. found (all assignments made)... 477.02 c Sol. found (all assignments made)... 477.02 c Sol. found (all assignments made)... 477.02 c Sol. found (all assignments made)... 477.03 c Sol. found (all assignments made)... 477.03 c Sol. found (all assignments made)... 477.04 c Sol. found (all assignments made)... 477.04 c Sol. found (all assignments made)... 477.04 c Sol. found (all assignments made)... 477.05 c Sol. found (all assignments made)... 477.05 c Sol. found (all assignments made)... 477.05 c Sol. found (all assignments made)... 477.05 c Sol. found (all assignments made)... 477.06 c Sol. found (all assignments made)... 477.06 c Sol. found (all assignments made)... 477.06 c Sol. found (all assignments made)... 477.06 c Sol. found (all assignments made)... 477.06 c Sol. found (all assignments made)... 477.07 c Sol. found (all assignments made)... 477.07 c Sol. found (all assignments made)... 477.07 c Sol. found (all assignments made)... 477.07 c Sol. found (all assignments made)... 477.08 c Sol. found (all assignments made)... 477.08 c Sol. found (all assignments made)... 477.10 c Sol. found (all assignments made)... 477.10 c Sol. found (all assignments made)... 477.10 c Sol. found (all assignments made)... 477.11 c Sol. found (all assignments made)... 477.11 c Sol. found (all assignments made)... 477.11 c Sol. found (all assignments made)... 477.12 c Sol. found (all assignments made)... 477.12 c Sol. found (all assignments made)... 477.12 c Sol. found (all assignments made)... 477.13 c Sol. found (all assignments made)... 477.13 c Sol. found (all assignments made)... 477.13 c Sol. found (all assignments made)... 477.13 c Sol. found (all assignments made)... 477.13 c Sol. found (all assignments made)... 477.13 c Sol. found (all assignments made)... 477.13 c Sol. found (all assignments made)... 477.14 c Sol. found (all assignments made)... 477.15 c Sol. found (all assignments made)... 477.15 c Sol. found (all assignments made)... 477.15 c Sol. found (all assignments made)... 477.15 c Sol. found (all assignments made)... 477.15 c Sol. found (all assignments made)... 477.15 c Sol. found (all assignments made)... 477.15 c Sol. found (all assignments made)... 477.17 c Sol. found (all assignments made)... 477.17 c Sol. found (all assignments made)... 477.17 c Sol. found (all assignments made)... 477.17 c Sol. found (all assignments made)... 477.18 c Sol. found (all assignments made)... 477.18 c Sol. found (all assignments made)... 477.19 c Sol. found (all assignments made)... 477.19 c Sol. found (all assignments made)... 477.19 c Sol. found (all assignments made)... 477.19 c Sol. found (all assignments made)... 477.20 c Sol. found (all assignments made)... 477.20 c Sol. found (all assignments made)... 477.20 c Sol. found (all assignments made)... 477.20 c Sol. found (all assignments made)... 477.21 c Sol. found (all assignments made)... 477.21 c Sol. found (all assignments made)... 477.21 c Sol. found (all assignments made)... 477.21 c Sol. found (all assignments made)... 477.21 c Sol. found (all assignments made)... 477.22 c Sol. found (all assignments made)... 477.22 c Sol. found (all assignments made)... 477.22 c Sol. found (all assignments made)... 477.22 c Sol. found (all assignments made)... 477.22 c Sol. found (all assignments made)... 477.23 c Sol. found (all assignments made)... 477.23 c Sol. found (all assignments made)... 477.23 c Sol. found (all assignments made)... 477.23 c Sol. found (all assignments made)... 477.25 c Sol. found (all assignments made)... 477.25 c Sol. found (all assignments made)... 477.25 c Sol. found (all assignments made)... 477.25 c Sol. found (all assignments made)... 477.26 c Sol. found (all assignments made)... 477.26 c Sol. found (all assignments made)... 477.27 c Sol. found (all assignments made)... 477.27 c Sol. found (all assignments made)... 477.28 c Sol. found (all assignments made)... 477.28 c Sol. found (all assignments made)... 477.29 c Sol. found (all assignments made)... 477.29 c Sol. found (all assignments made)... 477.29 c Sol. found (all assignments made)... 477.29 c Sol. found (all assignments made)... 477.30 c Sol. found (all assignments made)... 477.30 c Sol. found (all assignments made)... 477.30 c Sol. found (all assignments made)... 477.30 c Sol. found (all assignments made)... 477.30 c Sol. found (all assignments made)... 477.31 c Sol. found (all assignments made)... 477.31 c Sol. found (all assignments made)... 477.31 c Sol. found (all assignments made)... 477.31 c Sol. found (all assignments made)... 477.31 c Sol. found (all assignments made)... 477.32 c Sol. found (all assignments made)... 477.32 c Sol. found (all assignments made)... 477.32 c Sol. found (all assignments made)... 477.33 c Sol. found (all assignments made)... 477.33 c Sol. found (all assignments made)... 477.33 c Sol. found (all assignments made)... 477.33 c Sol. found (all assignments made)... 477.33 c Sol. found (all assignments made)... 477.34 c Sol. found (all assignments made)... 477.34 c Sol. found (all assignments made)... 477.34 c Sol. found (all assignments made)... 477.34 c Sol. found (all assignments made)... 477.34 c Sol. found (all assignments made)... 477.34 c Sol. found (all assignments made)... 477.35 c Sol. found (all assignments made)... 477.35 c Sol. found (all assignments made)... 477.36 c Sol. found (all assignments made)... 477.36 c Sol. found (all assignments made)... 477.36 c Sol. found (all assignments made)... 477.36 o 144 477.36 c NEW SOLUTION FOUND: 144 @ 477.19 477.37 c Sol. found (all assignments made)... 477.37 c Sol. found (all assignments made)... 477.37 c Sol. found (all assignments made)... 477.37 c Sol. found (all assignments made)... 477.37 c Sol. found (all assignments made)... 477.38 c Sol. found (all assignments made)... 477.42 c Sol. found (all assignments made)... 477.42 c Sol. found (all assignments made)... 477.44 c Sol. found (all assignments made)... 477.44 c Sol. found (all assignments made)... 477.45 c Sol. found (all assignments made)... 477.45 c Sol. found (all assignments made)... 477.46 c Sol. found (all assignments made)... 477.46 c Sol. found (all assignments made)... 477.46 c Sol. found (all assignments made)... 477.46 c Sol. found (all assignments made)... 477.47 c Sol. found (all assignments made)... 477.47 c Sol. found (all assignments made)... 477.47 c Sol. found (all assignments made)... 477.47 c Sol. found (all assignments made)... 477.47 c Sol. found (all assignments made)... 477.48 c Sol. found (all assignments made)... 477.48 c Sol. found (all assignments made)... 477.48 c Sol. found (all assignments made)... 477.48 c Sol. found (all assignments made)... 477.49 c Sol. found (all assignments made)... 477.49 c Sol. found (all assignments made)... 477.49 c Sol. found (all assignments made)... 477.49 c Sol. found (all assignments made)... 477.49 c Sol. found (all assignments made)... 477.49 c Sol. found (all assignments made)... 477.50 c Sol. found (all assignments made)... 477.50 c Sol. found (all assignments made)... 477.50 c Sol. found (all assignments made)... 477.50 c Sol. found (all assignments made)... 477.50 c Sol. found (all assignments made)... 477.50 c Sol. found (all assignments made)... 477.52 c Sol. found (all assignments made)... 477.52 c Sol. found (all assignments made)... 477.53 c Sol. found (all assignments made)... 477.53 c Sol. found (all assignments made)... 477.54 c Sol. found (all assignments made)... 477.54 c Sol. found (all assignments made)... 477.54 c Sol. found (all assignments made)... 477.54 c Sol. found (all assignments made)... 477.55 c Sol. found (all assignments made)... 477.55 c Sol. found (all assignments made)... 477.55 c Sol. found (all assignments made)... 477.59 c Sol. found (all assignments made)... 477.59 c Sol. found (all assignments made)... 477.59 c Sol. found (all assignments made)... 477.59 c Sol. found (all assignments made)... 477.60 c Sol. found (all assignments made)... 477.60 c Sol. found (all assignments made)... 477.60 c Sol. found (all assignments made)... 477.61 c Sol. found (all assignments made)... 477.61 c Sol. found (all assignments made)... 477.61 c Sol. found (all assignments made)... 477.61 c Sol. found (all assignments made)... 477.62 c Sol. found (all assignments made)... 477.62 c Sol. found (all assignments made)... 477.62 c Sol. found (all assignments made)... 477.62 c Sol. found (all assignments made)... 477.62 c Sol. found (all assignments made)... 477.62 c Sol. found (all assignments made)... 477.62 c Sol. found (all assignments made)... 477.63 c Sol. found (all assignments made)... 477.63 c Sol. found (all assignments made)... 477.65 c Sol. found (all assignments made)... 477.71 c Sol. found (all assignments made)... 477.71 c Sol. found (all assignments made)... 477.71 c Sol. found (all assignments made)... 477.71 c Sol. found (all assignments made)... 477.72 c Sol. found (all assignments made)... 477.72 c Sol. found (all assignments made)... 477.72 c Sol. found (all assignments made)... 477.72 c Sol. found (all assignments made)... 477.73 c Sol. found (all assignments made)... 477.73 c Sol. found (all assignments made)... 477.76 c Sol. found (all assignments made)... 477.82 c Sol. found (all assignments made)... 477.82 c Sol. found (all assignments made)... 477.82 c Sol. found (all assignments made)... 477.82 c Sol. found (all assignments made)... 477.83 c Sol. found (all assignments made)... 477.83 c Sol. found (all assignments made)... 477.84 c Sol. found (all assignments made)... 477.84 c Sol. found (all assignments made)... 477.84 c Sol. found (all assignments made)... 477.85 c Sol. found (all assignments made)... 477.85 c Sol. found (all assignments made)... 477.86 c Sol. found (all assignments made)... 477.86 c Sol. found (all assignments made)... 477.87 c Sol. found (all assignments made)... 477.88 c Sol. found (all assignments made)... 477.89 c Sol. found (all assignments made)... 477.89 c Sol. found (all assignments made)... 477.90 c Sol. found (all assignments made)... 477.90 c Sol. found (all assignments made)... 477.90 c Sol. found (all assignments made)... 477.91 c Sol. found (all assignments made)... 477.91 c Sol. found (all assignments made)... 477.91 c Sol. found (all assignments made)... 477.91 c Sol. found (all assignments made)... 477.91 c Sol. found (all assignments made)... 477.91 c Sol. found (all assignments made)... 477.91 c Sol. found (all assignments made)... 477.92 c Sol. found (all assignments made)... 477.92 c Sol. found (all assignments made)... 477.92 c Sol. found (all assignments made)... 477.92 c Sol. found (all assignments made)... 477.93 c Sol. found (all assignments made)... 477.94 c Sol. found (all assignments made)... 477.94 c Sol. found (all assignments made)... 477.94 c Sol. found (all assignments made)... 477.95 c Sol. found (all assignments made)... 477.95 c Sol. found (all assignments made)... 477.95 c Sol. found (all assignments made)... 477.95 c Sol. found (all assignments made)... 477.95 c Sol. found (all assignments made)... 477.95 c Sol. found (all assignments made)... 477.96 c Sol. found (all assignments made)... 477.96 c Sol. found (all assignments made)... 477.96 c Sol. found (all assignments made)... 477.96 c Sol. found (all assignments made)... 477.97 c Sol. found (all assignments made)... 477.99 c Sol. found (all assignments made)... 478.00 c Sol. found (all assignments made)... 478.00 c Sol. found (all assignments made)... 478.01 c Sol. found (all assignments made)... 478.02 c Sol. found (all assignments made)... 478.02 c Sol. found (all assignments made)... 478.02 c Sol. found (all assignments made)... 478.02 c Sol. found (all assignments made)... 478.03 c Sol. found (all assignments made)... 478.03 c Sol. found (all assignments made)... 478.03 c Sol. found (all assignments made)... 478.03 c Sol. found (all assignments made)... 478.05 c Sol. found (all assignments made)... 478.05 c Sol. found (all assignments made)... 478.05 c Sol. found (all assignments made)... 478.06 c Sol. found (all assignments made)... 478.06 c Sol. found (all assignments made)... 478.07 c Sol. found (all assignments made)... 478.07 c Sol. found (all assignments made)... 478.08 c Sol. found (all assignments made)... 478.08 c Sol. found (all assignments made)... 478.10 c Sol. found (all assignments made)... 478.10 c Sol. found (all assignments made)... 478.10 c Sol. found (all assignments made)... 478.10 c Sol. found (all assignments made)... 478.11 c Sol. found (all assignments made)... 478.11 c Sol. found (all assignments made)... 478.11 c Sol. found (all assignments made)... 478.11 c Sol. found (all assignments made)... 478.11 c Sol. found (all assignments made)... 478.11 c Sol. found (all assignments made)... 478.12 c Sol. found (all assignments made)... 478.12 c Sol. found (all assignments made)... 478.12 c Sol. found (all assignments made)... 478.12 c Sol. found (all assignments made)... 478.12 c Sol. found (all assignments made)... 478.12 c Sol. found (all assignments made)... 478.13 c Sol. found (all assignments made)... 478.13 c Sol. found (all assignments made)... 478.13 c Sol. found (all assignments made)... 478.13 c Sol. found (all assignments made)... 478.13 c Sol. found (all assignments made)... 478.14 c Sol. found (all assignments made)... 478.14 c Sol. found (all assignments made)... 478.14 c Sol. found (all assignments made)... 478.14 c Sol. found (all assignments made)... 478.14 c Sol. found (all assignments made)... 478.15 c Sol. found (all assignments made)... 478.15 c Sol. found (all assignments made)... 478.15 c Sol. found (all assignments made)... 478.15 c Sol. found (all assignments made)... 478.15 c Sol. found (all assignments made)... 478.15 c Sol. found (all assignments made)... 478.16 c Sol. found (all assignments made)... 478.16 c Sol. found (all assignments made)... 478.16 c Sol. found (all assignments made)... 478.16 c Sol. found (all assignments made)... 478.16 c Sol. found (all assignments made)... 478.16 c Sol. found (all assignments made)... 478.16 c Sol. found (all assignments made)... 478.16 c Sol. found (all assignments made)... 478.18 c Sol. found (all assignments made)... 478.18 c Sol. found (all assignments made)... 478.21 c Sol. found (all assignments made)... 478.22 c Sol. found (all assignments made)... 478.22 c Sol. found (all assignments made)... 478.23 c Sol. found (all assignments made)... 478.23 c Sol. found (all assignments made)... 478.23 c Sol. found (all assignments made)... 478.24 c Sol. found (all assignments made)... 478.24 c Sol. found (all assignments made)... 478.24 c Sol. found (all assignments made)... 478.30 c Sol. found (all assignments made)... 478.30 c Sol. found (all assignments made)... 478.34 c Sol. found (all assignments made)... 478.34 c Sol. found (all assignments made)... 478.35 c Sol. found (all assignments made)... 478.36 c Sol. found (all assignments made)... 478.36 c Sol. found (all assignments made)... 478.37 c Sol. found (all assignments made)... 478.40 c Sol. found (all assignments made)... 478.40 c Sol. found (all assignments made)... 478.67 c Restart #7 #Var: 5117 LB: 0 @ 478.51 540.59 c Restart #8 #Var: 5117 LB: 0 @ 540.41 600.93 c Sol. found (all assignments made)... 600.93 o 136 600.93 c NEW SOLUTION FOUND: 136 @ 600.73 600.94 c Sol. found (all assignments made)... 600.94 c Sol. found (all assignments made)... 600.94 o 135 600.94 c NEW SOLUTION FOUND: 135 @ 600.73 600.94 c Sol. found (all assignments made)... 600.94 c Sol. found (all assignments made)... 600.94 c Sol. found (all assignments made)... 600.94 c Sol. found (all assignments made)... 600.94 c Sol. found (all assignments made)... 600.94 c Sol. found (all assignments made)... 600.95 c Sol. found (all assignments made)... 600.95 c Sol. found (all assignments made)... 600.95 c Sol. found (all assignments made)... 600.95 c Sol. found (all assignments made)... 600.95 c Sol. found (all assignments made)... 600.96 c Sol. found (all assignments made)... 600.96 c Sol. found (all assignments made)... 600.96 c Sol. found (all assignments made)... 600.96 c Sol. found (all assignments made)... 600.97 c Sol. found (all assignments made)... 600.97 c Sol. found (all assignments made)... 600.98 c Sol. found (all assignments made)... 600.98 c Sol. found (all assignments made)... 600.98 c Sol. found (all assignments made)... 600.98 c Sol. found (all assignments made)... 600.99 c Sol. found (all assignments made)... 600.99 c Sol. found (all assignments made)... 600.99 c Sol. found (all assignments made)... 600.99 c Sol. found (all assignments made)... 600.99 c Sol. found (all assignments made)... 600.99 c Sol. found (all assignments made)... 601.00 c Sol. found (all assignments made)... 601.00 c Sol. found (all assignments made)... 601.00 c Sol. found (all assignments made)... 601.00 c Sol. found (all assignments made)... 601.00 c Sol. found (all assignments made)... 601.01 c Sol. found (all assignments made)... 601.01 c Sol. found (all assignments made)... 601.01 c Sol. found (all assignments made)... 601.01 c Sol. found (all assignments made)... 601.02 c Sol. found (all assignments made)... 601.02 c Sol. found (all assignments made)... 601.02 c Sol. found (all assignments made)... 601.02 c Sol. found (all assignments made)... 601.04 c Sol. found (all assignments made)... 601.04 c Sol. found (all assignments made)... 601.04 c Sol. found (all assignments made)... 601.04 c Sol. found (all assignments made)... 601.04 c Sol. found (all assignments made)... 601.04 c Sol. found (all assignments made)... 601.04 c Sol. found (all assignments made)... 601.05 c Sol. found (all assignments made)... 601.05 c Sol. found (all assignments made)... 601.05 c Sol. found (all assignments made)... 601.05 c Sol. found (all assignments made)... 601.05 c Sol. found (all assignments made)... 601.06 c Sol. found (all assignments made)... 601.06 c Sol. found (all assignments made)... 601.06 c Sol. found (all assignments made)... 601.06 c Sol. found (all assignments made)... 601.06 c Sol. found (all assignments made)... 601.06 c Sol. found (all assignments made)... 601.06 c Sol. found (all assignments made)... 601.06 c Sol. found (all assignments made)... 601.06 c Sol. found (all assignments made)... 601.06 c Sol. found (all assignments made)... 601.07 c Sol. found (all assignments made)... 601.07 c Sol. found (all assignments made)... 601.08 c Sol. found (all assignments made)... 601.08 c Sol. found (all assignments made)... 601.08 c Sol. found (all assignments made)... 601.08 c Sol. found (all assignments made)... 601.08 c Sol. found (all assignments made)... 601.09 c Sol. found (all assignments made)... 601.09 c Sol. found (all assignments made)... 601.09 c Sol. found (all assignments made)... 601.09 c Sol. found (all assignments made)... 601.10 c Sol. found (all assignments made)... 601.10 c Sol. found (all assignments made)... 601.10 c Sol. found (all assignments made)... 601.10 c Sol. found (all assignments made)... 601.11 c Sol. found (all assignments made)... 601.11 c Sol. found (all assignments made)... 601.11 c Sol. found (all assignments made)... 601.12 c Sol. found (all assignments made)... 601.12 c Sol. found (all assignments made)... 601.12 c Sol. found (all assignments made)... 601.12 c Sol. found (all assignments made)... 601.13 c Sol. found (all assignments made)... 601.13 c Sol. found (all assignments made)... 601.14 c Sol. found (all assignments made)... 601.14 c Sol. found (all assignments made)... 601.14 c Sol. found (all assignments made)... 601.15 c Sol. found (all assignments made)... 601.15 c Sol. found (all assignments made)... 601.15 c Sol. found (all assignments made)... 601.15 c Sol. found (all assignments made)... 601.15 c Sol. found (all assignments made)... 601.15 c Sol. found (all assignments made)... 601.16 c Sol. found (all assignments made)... 601.16 c Sol. found (all assignments made)... 601.16 c Sol. found (all assignments made)... 601.16 c Sol. found (all assignments made)... 601.17 c Sol. found (all assignments made)... 601.17 c Sol. found (all assignments made)... 601.17 c Sol. found (all assignments made)... 601.17 c Sol. found (all assignments made)... 601.18 c Sol. found (all assignments made)... 601.18 c Sol. found (all assignments made)... 601.18 c Sol. found (all assignments made)... 601.18 c Sol. found (all assignments made)... 601.18 c Sol. found (all assignments made)... 601.19 c Sol. found (all assignments made)... 601.19 c Sol. found (all assignments made)... 601.19 c Sol. found (all assignments made)... 601.19 c Sol. found (all assignments made)... 601.20 c Sol. found (all assignments made)... 601.20 c Sol. found (all assignments made)... 601.20 c Sol. found (all assignments made)... 601.20 c Sol. found (all assignments made)... 601.20 c Sol. found (all assignments made)... 601.21 c Sol. found (all assignments made)... 601.21 c Sol. found (all assignments made)... 601.21 c Sol. found (all assignments made)... 601.21 c Sol. found (all assignments made)... 601.21 c Sol. found (all assignments made)... 601.22 c Sol. found (all assignments made)... 601.23 c Sol. found (all assignments made)... 601.23 c Sol. found (all assignments made)... 601.23 c Sol. found (all assignments made)... 601.23 c Sol. found (all assignments made)... 601.23 c Sol. found (all assignments made)... 601.24 c Sol. found (all assignments made)... 601.24 c Sol. found (all assignments made)... 601.24 c Sol. found (all assignments made)... 601.24 c Sol. found (all assignments made)... 601.25 c Sol. found (all assignments made)... 601.25 c Sol. found (all assignments made)... 601.25 c Sol. found (all assignments made)... 601.26 c Sol. found (all assignments made)... 601.26 c Sol. found (all assignments made)... 601.26 c Sol. found (all assignments made)... 601.26 c Sol. found (all assignments made)... 601.26 c Sol. found (all assignments made)... 601.27 c Sol. found (all assignments made)... 601.27 c Sol. found (all assignments made)... 601.27 c Sol. found (all assignments made)... 601.27 c Sol. found (all assignments made)... 601.27 c Sol. found (all assignments made)... 601.27 c Sol. found (all assignments made)... 601.28 c Sol. found (all assignments made)... 601.28 c Sol. found (all assignments made)... 601.28 c Sol. found (all assignments made)... 601.28 c Sol. found (all assignments made)... 601.28 c Sol. found (all assignments made)... 601.28 c Sol. found (all assignments made)... 601.28 c Sol. found (all assignments made)... 601.28 c Sol. found (all assignments made)... 601.28 c Sol. found (all assignments made)... 601.28 c Sol. found (all assignments made)... 601.29 c Sol. found (all assignments made)... 601.29 c Sol. found (all assignments made)... 601.31 c Sol. found (all assignments made)... 601.32 c Sol. found (all assignments made)... 601.32 c Sol. found (all assignments made)... 601.32 c Sol. found (all assignments made)... 601.32 c Sol. found (all assignments made)... 601.32 c Sol. found (all assignments made)... 601.32 c Sol. found (all assignments made)... 601.33 c Sol. found (all assignments made)... 601.33 c Sol. found (all assignments made)... 601.34 c Sol. found (all assignments made)... 601.34 c Sol. found (all assignments made)... 601.34 c Sol. found (all assignments made)... 601.35 c Sol. found (all assignments made)... 601.35 c Sol. found (all assignments made)... 601.36 c Sol. found (all assignments made)... 601.36 c Sol. found (all assignments made)... 601.37 c Sol. found (all assignments made)... 601.37 c Sol. found (all assignments made)... 601.39 c Sol. found (all assignments made)... 601.39 c Sol. found (all assignments made)... 601.40 c Sol. found (all assignments made)... 601.40 c Sol. found (all assignments made)... 601.40 c Sol. found (all assignments made)... 601.41 c Sol. found (all assignments made)... 601.41 c Sol. found (all assignments made)... 601.42 c Sol. found (all assignments made)... 601.42 c Sol. found (all assignments made)... 601.42 c Sol. found (all assignments made)... 601.42 c Sol. found (all assignments made)... 601.43 c Sol. found (all assignments made)... 601.43 c Sol. found (all assignments made)... 601.43 c Sol. found (all assignments made)... 601.44 c Sol. found (all assignments made)... 601.44 c Sol. found (all assignments made)... 601.44 c Sol. found (all assignments made)... 601.44 c Sol. found (all assignments made)... 601.44 c Sol. found (all assignments made)... 601.44 c Sol. found (all assignments made)... 601.45 c Sol. found (all assignments made)... 601.45 c Sol. found (all assignments made)... 601.46 c Sol. found (all assignments made)... 601.47 c Sol. found (all assignments made)... 601.47 c Sol. found (all assignments made)... 601.47 c Sol. found (all assignments made)... 601.47 c Sol. found (all assignments made)... 601.48 c Sol. found (all assignments made)... 601.48 c Sol. found (all assignments made)... 601.49 c Sol. found (all assignments made)... 601.49 c Sol. found (all assignments made)... 601.49 c Sol. found (all assignments made)... 601.49 c Sol. found (all assignments made)... 601.49 c Sol. found (all assignments made)... 601.50 c Sol. found (all assignments made)... 601.50 c Sol. found (all assignments made)... 601.51 c Sol. found (all assignments made)... 601.51 c Sol. found (all assignments made)... 601.51 c Sol. found (all assignments made)... 601.51 c Sol. found (all assignments made)... 601.51 c Sol. found (all assignments made)... 601.52 c Sol. found (all assignments made)... 601.53 c Sol. found (all assignments made)... 601.53 c Sol. found (all assignments made)... 601.53 c Sol. found (all assignments made)... 601.54 c Sol. found (all assignments made)... 601.54 c Sol. found (all assignments made)... 601.54 c Sol. found (all assignments made)... 601.54 c Sol. found (all assignments made)... 601.54 c Sol. found (all assignments made)... 601.55 c Sol. found (all assignments made)... 601.55 c Sol. found (all assignments made)... 601.55 c Sol. found (all assignments made)... 601.56 c Sol. found (all assignments made)... 601.56 c Sol. found (all assignments made)... 601.57 c Sol. found (all assignments made)... 601.57 c Sol. found (all assignments made)... 601.57 c Sol. found (all assignments made)... 601.57 c Sol. found (all assignments made)... 601.58 c Sol. found (all assignments made)... 601.58 c Sol. found (all assignments made)... 601.58 c Sol. found (all assignments made)... 601.58 c Sol. found (all assignments made)... 601.58 c Sol. found (all assignments made)... 601.59 c Sol. found (all assignments made)... 601.59 c Sol. found (all assignments made)... 601.59 c Sol. found (all assignments made)... 601.59 c Sol. found (all assignments made)... 601.59 c Sol. found (all assignments made)... 601.59 c Sol. found (all assignments made)... 601.60 c Sol. found (all assignments made)... 601.60 c Sol. found (all assignments made)... 601.60 c Sol. found (all assignments made)... 601.61 c Sol. found (all assignments made)... 601.61 c Sol. found (all assignments made)... 601.61 c Sol. found (all assignments made)... 601.62 c Sol. found (all assignments made)... 601.62 c Sol. found (all assignments made)... 601.62 c Sol. found (all assignments made)... 601.63 c Sol. found (all assignments made)... 601.63 c Sol. found (all assignments made)... 601.63 c Sol. found (all assignments made)... 601.63 c Sol. found (all assignments made)... 601.63 c Sol. found (all assignments made)... 601.64 c Sol. found (all assignments made)... 601.64 c Sol. found (all assignments made)... 601.64 c Sol. found (all assignments made)... 601.64 c Sol. found (all assignments made)... 601.65 c Sol. found (all assignments made)... 601.66 c Sol. found (all assignments made)... 601.66 c Sol. found (all assignments made)... 601.66 c Sol. found (all assignments made)... 601.68 c Sol. found (all assignments made)... 601.68 c Sol. found (all assignments made)... 601.69 c Sol. found (all assignments made)... 601.69 c Sol. found (all assignments made)... 601.69 c Sol. found (all assignments made)... 601.69 c Sol. found (all assignments made)... 601.69 c Sol. found (all assignments made)... 601.69 c Sol. found (all assignments made)... 601.69 c Sol. found (all assignments made)... 601.69 c Sol. found (all assignments made)... 601.70 c Sol. found (all assignments made)... 601.70 c Sol. found (all assignments made)... 601.70 c Sol. found (all assignments made)... 601.70 c Sol. found (all assignments made)... 601.70 c Sol. found (all assignments made)... 601.71 c Sol. found (all assignments made)... 601.71 c Sol. found (all assignments made)... 601.71 c Sol. found (all assignments made)... 601.71 c Sol. found (all assignments made)... 601.71 c Sol. found (all assignments made)... 601.71 c Sol. found (all assignments made)... 601.71 c Sol. found (all assignments made)... 601.72 c Sol. found (all assignments made)... 601.72 c Sol. found (all assignments made)... 601.72 c Sol. found (all assignments made)... 601.72 c Sol. found (all assignments made)... 601.72 c Sol. found (all assignments made)... 601.72 c Sol. found (all assignments made)... 601.72 c Sol. found (all assignments made)... 601.74 c Sol. found (all assignments made)... 601.74 c Sol. found (all assignments made)... 601.74 c Sol. found (all assignments made)... 601.74 c Sol. found (all assignments made)... 601.75 c Sol. found (all assignments made)... 601.75 c Sol. found (all assignments made)... 601.75 c Sol. found (all assignments made)... 601.75 c Sol. found (all assignments made)... 601.75 c Sol. found (all assignments made)... 601.75 c Sol. found (all assignments made)... 601.75 c Sol. found (all assignments made)... 601.75 c Sol. found (all assignments made)... 601.75 c Sol. found (all assignments made)... 601.76 c Sol. found (all assignments made)... 601.76 c Sol. found (all assignments made)... 601.76 c Sol. found (all assignments made)... 601.76 c Sol. found (all assignments made)... 601.77 c Sol. found (all assignments made)... 601.78 c Sol. found (all assignments made)... 601.78 c Sol. found (all assignments made)... 601.79 c Sol. found (all assignments made)... 601.79 c Sol. found (all assignments made)... 601.79 c Sol. found (all assignments made)... 601.79 c Sol. found (all assignments made)... 601.80 c Sol. found (all assignments made)... 601.80 c Sol. found (all assignments made)... 601.80 c Sol. found (all assignments made)... 601.80 c Sol. found (all assignments made)... 601.81 c Sol. found (all assignments made)... 601.81 c Sol. found (all assignments made)... 601.81 c Sol. found (all assignments made)... 601.81 c Sol. found (all assignments made)... 601.81 c Sol. found (all assignments made)... 601.82 c Sol. found (all assignments made)... 601.82 c Sol. found (all assignments made)... 601.82 c Sol. found (all assignments made)... 601.83 c Sol. found (all assignments made)... 601.83 c Sol. found (all assignments made)... 601.83 c Sol. found (all assignments made)... 601.84 c Sol. found (all assignments made)... 601.84 c Sol. found (all assignments made)... 601.85 c Sol. found (all assignments made)... 601.85 c Sol. found (all assignments made)... 601.85 c Sol. found (all assignments made)... 601.86 c Sol. found (all assignments made)... 601.86 c Sol. found (all assignments made)... 601.88 c Sol. found (all assignments made)... 601.88 c Sol. found (all assignments made)... 601.89 c Sol. found (all assignments made)... 601.89 c Sol. found (all assignments made)... 601.90 c Sol. found (all assignments made)... 601.90 c Sol. found (all assignments made)... 601.91 c Sol. found (all assignments made)... 601.91 c Sol. found (all assignments made)... 601.91 c Sol. found (all assignments made)... 601.92 c Sol. found (all assignments made)... 601.93 c Sol. found (all assignments made)... 601.93 c Sol. found (all assignments made)... 601.94 c Sol. found (all assignments made)... 601.95 c Sol. found (all assignments made)... 601.95 c Sol. found (all assignments made)... 601.95 c Sol. found (all assignments made)... 601.96 c Sol. found (all assignments made)... 601.96 c Sol. found (all assignments made)... 601.97 c Sol. found (all assignments made)... 601.97 c Sol. found (all assignments made)... 601.98 c Sol. found (all assignments made)... 601.98 c Sol. found (all assignments made)... 601.98 c Sol. found (all assignments made)... 601.99 c Sol. found (all assignments made)... 601.99 c Sol. found (all assignments made)... 602.00 c Sol. found (all assignments made)... 602.00 c Sol. found (all assignments made)... 602.00 c Sol. found (all assignments made)... 602.01 c Sol. found (all assignments made)... 602.01 c Sol. found (all assignments made)... 602.02 c Sol. found (all assignments made)... 602.02 c Sol. found (all assignments made)... 602.02 c Sol. found (all assignments made)... 602.02 c Sol. found (all assignments made)... 602.02 c Sol. found (all assignments made)... 602.04 c Sol. found (all assignments made)... 602.04 c Sol. found (all assignments made)... 602.05 c Sol. found (all assignments made)... 602.05 c Sol. found (all assignments made)... 602.05 c Sol. found (all assignments made)... 602.06 c Sol. found (all assignments made)... 602.06 c Sol. found (all assignments made)... 602.06 c Sol. found (all assignments made)... 602.06 c Sol. found (all assignments made)... 602.08 c Sol. found (all assignments made)... 602.09 c Sol. found (all assignments made)... 602.10 c Sol. found (all assignments made)... 602.11 c Sol. found (all assignments made)... 602.11 c Sol. found (all assignments made)... 602.11 c Sol. found (all assignments made)... 602.12 c Sol. found (all assignments made)... 602.13 c Sol. found (all assignments made)... 602.13 c Sol. found (all assignments made)... 602.14 c Sol. found (all assignments made)... 602.14 c Sol. found (all assignments made)... 602.15 c Sol. found (all assignments made)... 602.15 c Sol. found (all assignments made)... 602.16 c Sol. found (all assignments made)... 602.17 c Sol. found (all assignments made)... 602.17 c Sol. found (all assignments made)... 602.18 c Sol. found (all assignments made)... 602.18 c Sol. found (all assignments made)... 602.18 c Sol. found (all assignments made)... 602.18 c Sol. found (all assignments made)... 602.18 c Sol. found (all assignments made)... 602.18 c Sol. found (all assignments made)... 602.18 c Sol. found (all assignments made)... 602.19 c Sol. found (all assignments made)... 602.19 c Sol. found (all assignments made)... 602.19 c Sol. found (all assignments made)... 602.19 c Sol. found (all assignments made)... 602.20 c Sol. found (all assignments made)... 602.20 c Sol. found (all assignments made)... 602.43 c Restart #9 #Var: 5117 LB: 0 @ 602.23 661.64 c Restart #10 #Var: 5117 LB: 0 @ 661.42 720.37 c Sol. found (all assignments made)... 720.37 o 132 720.37 c NEW SOLUTION FOUND: 132 @ 720.13 720.37 c Sol. found (all assignments made)... 720.37 c Sol. found (all assignments made)... 720.37 o 131 720.37 c NEW SOLUTION FOUND: 131 @ 720.13 720.37 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 c Sol. found (all assignments made)... 720.38 o 130 720.38 c NEW SOLUTION FOUND: 130 @ 720.14 720.39 c Sol. found (all assignments made)... 720.39 c Sol. found (all assignments made)... 720.39 c Sol. found (all assignments made)... 720.39 c Sol. found (all assignments made)... 720.39 c Sol. found (all assignments made)... 720.39 c Sol. found (all assignments made)... 720.40 c Sol. found (all assignments made)... 720.40 c Sol. found (all assignments made)... 720.40 c Sol. found (all assignments made)... 720.40 c Sol. found (all assignments made)... 720.40 c Sol. found (all assignments made)... 720.41 c Sol. found (all assignments made)... 720.41 c Sol. found (all assignments made)... 720.41 c Sol. found (all assignments made)... 720.41 c Sol. found (all assignments made)... 720.41 c Sol. found (all assignments made)... 720.41 c Sol. found (all assignments made)... 720.41 c Sol. found (all assignments made)... 720.42 c Sol. found (all assignments made)... 720.42 c Sol. found (all assignments made)... 720.42 c Sol. found (all assignments made)... 720.42 c Sol. found (all assignments made)... 720.42 o 129 720.42 c NEW SOLUTION FOUND: 129 @ 720.18 720.42 c Sol. found (all assignments made)... 720.43 c Sol. found (all assignments made)... 720.43 c Sol. found (all assignments made)... 720.43 c Sol. found (all assignments made)... 720.43 c Sol. found (all assignments made)... 720.44 c Sol. found (all assignments made)... 720.44 c Sol. found (all assignments made)... 720.44 c Sol. found (all assignments made)... 720.44 c Sol. found (all assignments made)... 720.44 c Sol. found (all assignments made)... 720.44 c Sol. found (all assignments made)... 720.44 c Sol. found (all assignments made)... 720.44 c Sol. found (all assignments made)... 720.45 c Sol. found (all assignments made)... 720.45 c Sol. found (all assignments made)... 720.45 c Sol. found (all assignments made)... 720.45 c Sol. found (all assignments made)... 720.45 c Sol. found (all assignments made)... 720.45 c Sol. found (all assignments made)... 720.45 c Sol. found (all assignments made)... 720.45 c Sol. found (all assignments made)... 720.46 c Sol. found (all assignments made)... 720.46 c Sol. found (all assignments made)... 720.46 c Sol. found (all assignments made)... 720.47 c Sol. found (all assignments made)... 720.48 c Sol. found (all assignments made)... 720.48 c Sol. found (all assignments made)... 720.49 c Sol. found (all assignments made)... 720.49 c Sol. found (all assignments made)... 720.49 c Sol. found (all assignments made)... 720.50 c Sol. found (all assignments made)... 720.50 c Sol. found (all assignments made)... 720.51 c Sol. found (all assignments made)... 720.51 c Sol. found (all assignments made)... 720.51 c Sol. found (all assignments made)... 720.52 c Sol. found (all assignments made)... 720.52 c Sol. found (all assignments made)... 720.52 c Sol. found (all assignments made)... 720.53 c Sol. found (all assignments made)... 720.53 c Sol. found (all assignments made)... 720.53 c Sol. found (all assignments made)... 720.54 c Sol. found (all assignments made)... 720.54 c Sol. found (all assignments made)... 720.54 c Sol. found (all assignments made)... 720.54 c Sol. found (all assignments made)... 720.54 c Sol. found (all assignments made)... 720.55 c Sol. found (all assignments made)... 720.55 c Sol. found (all assignments made)... 720.55 c Sol. found (all assignments made)... 720.55 c Sol. found (all assignments made)... 720.55 c Sol. found (all assignments made)... 720.56 c Sol. found (all assignments made)... 720.56 c Sol. found (all assignments made)... 720.56 c Sol. found (all assignments made)... 720.56 c Sol. found (all assignments made)... 720.56 c Sol. found (all assignments made)... 720.56 c Sol. found (all assignments made)... 720.56 c Sol. found (all assignments made)... 720.57 c Sol. found (all assignments made)... 720.57 c Sol. found (all assignments made)... 720.57 c Sol. found (all assignments made)... 720.57 c Sol. found (all assignments made)... 720.58 c Sol. found (all assignments made)... 720.58 c Sol. found (all assignments made)... 720.58 c Sol. found (all assignments made)... 720.58 c Sol. found (all assignments made)... 720.58 c Sol. found (all assignments made)... 720.59 c Sol. found (all assignments made)... 720.59 c Sol. found (all assignments made)... 720.59 c Sol. found (all assignments made)... 720.59 c Sol. found (all assignments made)... 720.59 c Sol. found (all assignments made)... 720.59 c Sol. found (all assignments made)... 720.59 c Sol. found (all assignments made)... 720.59 c Sol. found (all assignments made)... 720.60 c Sol. found (all assignments made)... 720.60 c Sol. found (all assignments made)... 720.60 c Sol. found (all assignments made)... 720.60 c Sol. found (all assignments made)... 720.61 c Sol. found (all assignments made)... 720.61 c Sol. found (all assignments made)... 720.61 c Sol. found (all assignments made)... 720.61 c Sol. found (all assignments made)... 720.61 c Sol. found (all assignments made)... 720.62 c Sol. found (all assignments made)... 720.62 c Sol. found (all assignments made)... 720.63 c Sol. found (all assignments made)... 720.63 c Sol. found (all assignments made)... 720.63 c Sol. found (all assignments made)... 720.63 c Sol. found (all assignments made)... 720.63 c Sol. found (all assignments made)... 720.63 c Sol. found (all assignments made)... 720.63 c Sol. found (all assignments made)... 720.64 c Sol. found (all assignments made)... 720.64 c Sol. found (all assignments made)... 720.64 c Sol. found (all assignments made)... 720.64 c Sol. found (all assignments made)... 720.64 c Sol. found (all assignments made)... 720.64 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.65 c Sol. found (all assignments made)... 720.66 c Sol. found (all assignments made)... 720.66 c Sol. found (all assignments made)... 720.66 c Sol. found (all assignments made)... 720.66 c Sol. found (all assignments made)... 720.66 c Sol. found (all assignments made)... 720.67 c Sol. found (all assignments made)... 720.67 c Sol. found (all assignments made)... 720.67 c Sol. found (all assignments made)... 720.67 c Sol. found (all assignments made)... 720.68 c Sol. found (all assignments made)... 720.68 c Sol. found (all assignments made)... 720.68 c Sol. found (all assignments made)... 720.68 c Sol. found (all assignments made)... 720.68 c Sol. found (all assignments made)... 720.68 c Sol. found (all assignments made)... 720.68 c Sol. found (all assignments made)... 720.69 c Sol. found (all assignments made)... 720.69 c Sol. found (all assignments made)... 720.69 c Sol. found (all assignments made)... 720.69 o 128 720.69 c NEW SOLUTION FOUND: 128 @ 720.46 720.70 c Sol. found (all assignments made)... 720.70 c Sol. found (all assignments made)... 720.70 c Sol. found (all assignments made)... 720.70 c Sol. found (all assignments made)... 720.70 c Sol. found (all assignments made)... 720.70 c Sol. found (all assignments made)... 720.71 c Sol. found (all assignments made)... 720.72 c Sol. found (all assignments made)... 720.72 c Sol. found (all assignments made)... 720.72 c Sol. found (all assignments made)... 720.74 c Sol. found (all assignments made)... 720.74 c Sol. found (all assignments made)... 720.74 c Sol. found (all assignments made)... 720.76 c Sol. found (all assignments made)... 720.76 c Sol. found (all assignments made)... 720.76 c Sol. found (all assignments made)... 720.77 c Sol. found (all assignments made)... 720.77 c Sol. found (all assignments made)... 720.77 c Sol. found (all assignments made)... 720.77 c Sol. found (all assignments made)... 720.78 c Sol. found (all assignments made)... 720.78 c Sol. found (all assignments made)... 720.79 c Sol. found (all assignments made)... 720.79 c Sol. found (all assignments made)... 720.80 c Sol. found (all assignments made)... 720.81 c Sol. found (all assignments made)... 720.82 c Sol. found (all assignments made)... 720.82 c Sol. found (all assignments made)... 720.82 c Sol. found (all assignments made)... 720.82 c Sol. found (all assignments made)... 720.83 c Sol. found (all assignments made)... 720.83 c Sol. found (all assignments made)... 720.83 c Sol. found (all assignments made)... 720.83 c Sol. found (all assignments made)... 720.83 c Sol. found (all assignments made)... 720.83 c Sol. found (all assignments made)... 720.84 c Sol. found (all assignments made)... 720.84 c Sol. found (all assignments made)... 720.85 c Sol. found (all assignments made)... 720.85 c Sol. found (all assignments made)... 720.85 c Sol. found (all assignments made)... 720.86 c Sol. found (all assignments made)... 720.86 c Sol. found (all assignments made)... 720.86 c Sol. found (all assignments made)... 720.86 c Sol. found (all assignments made)... 720.87 c Sol. found (all assignments made)... 720.87 c Sol. found (all assignments made)... 720.87 c Sol. found (all assignments made)... 720.87 c Sol. found (all assignments made)... 720.88 c Sol. found (all assignments made)... 720.88 c Sol. found (all assignments made)... 720.88 c Sol. found (all assignments made)... 720.89 c Sol. found (all assignments made)... 720.89 c Sol. found (all assignments made)... 720.89 c Sol. found (all assignments made)... 720.89 c Sol. found (all assignments made)... 720.90 c Sol. found (all assignments made)... 720.90 c Sol. found (all assignments made)... 720.90 c Sol. found (all assignments made)... 720.90 c Sol. found (all assignments made)... 720.91 c Sol. found (all assignments made)... 720.91 c Sol. found (all assignments made)... 720.92 c Sol. found (all assignments made)... 720.92 c Sol. found (all assignments made)... 720.92 c Sol. found (all assignments made)... 720.92 c Sol. found (all assignments made)... 720.92 c Sol. found (all assignments made)... 720.92 c Sol. found (all assignments made)... 720.93 c Sol. found (all assignments made)... 720.93 c Sol. found (all assignments made)... 720.93 c Sol. found (all assignments made)... 720.93 c Sol. found (all assignments made)... 720.95 c Sol. found (all assignments made)... 720.95 c Sol. found (all assignments made)... 720.95 c Sol. found (all assignments made)... 720.95 c Sol. found (all assignments made)... 720.95 c Sol. found (all assignments made)... 720.96 c Sol. found (all assignments made)... 720.96 c Sol. found (all assignments made)... 720.96 c Sol. found (all assignments made)... 720.96 c Sol. found (all assignments made)... 720.96 c Sol. found (all assignments made)... 720.96 c Sol. found (all assignments made)... 720.97 c Sol. found (all assignments made)... 720.99 c Sol. found (all assignments made)... 720.99 c Sol. found (all assignments made)... 720.99 c Sol. found (all assignments made)... 720.99 c Sol. found (all assignments made)... 721.00 c Sol. found (all assignments made)... 721.00 c Sol. found (all assignments made)... 721.00 c Sol. found (all assignments made)... 721.01 c Sol. found (all assignments made)... 721.01 c Sol. found (all assignments made)... 721.01 c Sol. found (all assignments made)... 721.01 c Sol. found (all assignments made)... 721.02 c Sol. found (all assignments made)... 721.02 c Sol. found (all assignments made)... 721.03 c Sol. found (all assignments made)... 721.04 c Sol. found (all assignments made)... 721.04 c Sol. found (all assignments made)... 721.05 c Sol. found (all assignments made)... 721.05 c Sol. found (all assignments made)... 721.05 c Sol. found (all assignments made)... 721.05 c Sol. found (all assignments made)... 721.06 c Sol. found (all assignments made)... 721.06 c Sol. found (all assignments made)... 721.06 c Sol. found (all assignments made)... 721.06 c Sol. found (all assignments made)... 721.06 c Sol. found (all assignments made)... 721.06 c Sol. found (all assignments made)... 721.07 c Sol. found (all assignments made)... 721.07 c Sol. found (all assignments made)... 721.07 c Sol. found (all assignments made)... 721.07 c Sol. found (all assignments made)... 721.07 c Sol. found (all assignments made)... 721.07 c Sol. found (all assignments made)... 721.08 c Sol. found (all assignments made)... 721.09 c Sol. found (all assignments made)... 721.09 c Sol. found (all assignments made)... 721.09 c Sol. found (all assignments made)... 721.09 c Sol. found (all assignments made)... 721.10 c Sol. found (all assignments made)... 721.10 c Sol. found (all assignments made)... 721.10 c Sol. found (all assignments made)... 721.10 c Sol. found (all assignments made)... 721.11 c Sol. found (all assignments made)... 721.12 c Sol. found (all assignments made)... 721.12 c Sol. found (all assignments made)... 721.12 c Sol. found (all assignments made)... 721.12 c Sol. found (all assignments made)... 721.13 c Sol. found (all assignments made)... 721.13 c Sol. found (all assignments made)... 721.13 c Sol. found (all assignments made)... 721.14 c Sol. found (all assignments made)... 721.14 c Sol. found (all assignments made)... 721.14 c Sol. found (all assignments made)... 721.14 c Sol. found (all assignments made)... 721.14 c Sol. found (all assignments made)... 721.14 c Sol. found (all assignments made)... 721.14 c Sol. found (all assignments made)... 721.15 c Sol. found (all assignments made)... 721.15 c Sol. found (all assignments made)... 721.15 c Sol. found (all assignments made)... 721.16 c Sol. found (all assignments made)... 721.16 c Sol. found (all assignments made)... 721.16 c Sol. found (all assignments made)... 721.16 c Sol. found (all assignments made)... 721.17 c Sol. found (all assignments made)... 721.17 c Sol. found (all assignments made)... 721.17 c Sol. found (all assignments made)... 721.17 c Sol. found (all assignments made)... 721.17 c Sol. found (all assignments made)... 721.19 c Sol. found (all assignments made)... 721.19 c Sol. found (all assignments made)... 721.19 c Sol. found (all assignments made)... 721.19 c Sol. found (all assignments made)... 721.20 c Sol. found (all assignments made)... 721.20 c Sol. found (all assignments made)... 721.20 c Sol. found (all assignments made)... 721.20 c Sol. found (all assignments made)... 721.20 c Sol. found (all assignments made)... 721.21 c Sol. found (all assignments made)... 721.21 c Sol. found (all assignments made)... 721.21 c Sol. found (all assignments made)... 721.21 c Sol. found (all assignments made)... 721.22 c Sol. found (all assignments made)... 721.22 c Sol. found (all assignments made)... 721.22 c Sol. found (all assignments made)... 721.22 c Sol. found (all assignments made)... 721.23 c Sol. found (all assignments made)... 721.23 c Sol. found (all assignments made)... 721.23 c Sol. found (all assignments made)... 721.23 c Sol. found (all assignments made)... 721.23 c Sol. found (all assignments made)... 721.23 c Sol. found (all assignments made)... 721.23 c Sol. found (all assignments made)... 721.23 c Sol. found (all assignments made)... 721.23 c Sol. found (all assignments made)... 721.24 c Sol. found (all assignments made)... 721.24 c Sol. found (all assignments made)... 721.24 c Sol. found (all assignments made)... 721.24 c Sol. found (all assignments made)... 721.25 c Sol. found (all assignments made)... 721.25 c Sol. found (all assignments made)... 721.25 c Sol. found (all assignments made)... 721.26 c Sol. found (all assignments made)... 721.26 c Sol. found (all assignments made)... 721.27 c Sol. found (all assignments made)... 721.27 c Sol. found (all assignments made)... 721.28 c Sol. found (all assignments made)... 721.28 c Sol. found (all assignments made)... 721.28 c Sol. found (all assignments made)... 721.28 c Sol. found (all assignments made)... 721.28 c Sol. found (all assignments made)... 721.29 c Sol. found (all assignments made)... 721.30 c Sol. found (all assignments made)... 721.30 c Sol. found (all assignments made)... 721.31 c Sol. found (all assignments made)... 721.31 c Sol. found (all assignments made)... 721.31 c Sol. found (all assignments made)... 721.34 c Sol. found (all assignments made)... 721.34 c Sol. found (all assignments made)... 721.35 c Sol. found (all assignments made)... 721.35 c Sol. found (all assignments made)... 721.36 c Sol. found (all assignments made)... 721.37 c Sol. found (all assignments made)... 721.38 c Sol. found (all assignments made)... 721.38 c Sol. found (all assignments made)... 721.38 c Sol. found (all assignments made)... 721.38 c Sol. found (all assignments made)... 721.38 c Sol. found (all assignments made)... 721.38 c Sol. found (all assignments made)... 721.38 c Sol. found (all assignments made)... 721.40 c Sol. found (all assignments made)... 721.40 c Sol. found (all assignments made)... 721.41 c Sol. found (all assignments made)... 721.42 c Sol. found (all assignments made)... 721.42 c Sol. found (all assignments made)... 721.43 c Sol. found (all assignments made)... 721.43 c Sol. found (all assignments made)... 721.43 c Sol. found (all assignments made)... 721.43 c Sol. found (all assignments made)... 721.43 c Sol. found (all assignments made)... 721.43 c Sol. found (all assignments made)... 721.45 c Sol. found (all assignments made)... 721.46 c Sol. found (all assignments made)... 721.46 c Sol. found (all assignments made)... 721.46 c Sol. found (all assignments made)... 721.46 c Sol. found (all assignments made)... 721.46 c Sol. found (all assignments made)... 721.46 c Sol. found (all assignments made)... 721.46 c Sol. found (all assignments made)... 721.47 c Sol. found (all assignments made)... 721.47 c Sol. found (all assignments made)... 721.47 c Sol. found (all assignments made)... 721.47 c Sol. found (all assignments made)... 721.47 c Sol. found (all assignments made)... 721.47 c Sol. found (all assignments made)... 721.48 c Sol. found (all assignments made)... 721.48 c Sol. found (all assignments made)... 721.48 c Sol. found (all assignments made)... 721.48 c Sol. found (all assignments made)... 721.48 c Sol. found (all assignments made)... 721.48 c Sol. found (all assignments made)... 721.48 c Sol. found (all assignments made)... 721.48 c Sol. found (all assignments made)... 721.49 c Sol. found (all assignments made)... 721.49 c Sol. found (all assignments made)... 721.49 c Sol. found (all assignments made)... 721.49 c Sol. found (all assignments made)... 721.49 c Sol. found (all assignments made)... 721.49 c Sol. found (all assignments made)... 721.49 c Sol. found (all assignments made)... 721.50 c Sol. found (all assignments made)... 721.50 c Sol. found (all assignments made)... 721.50 c Sol. found (all assignments made)... 721.50 c Sol. found (all assignments made)... 721.51 c Sol. found (all assignments made)... 721.51 c Sol. found (all assignments made)... 721.51 c Sol. found (all assignments made)... 721.52 c Sol. found (all assignments made)... 721.52 c Sol. found (all assignments made)... 721.52 c Sol. found (all assignments made)... 721.52 c Sol. found (all assignments made)... 721.52 c Sol. found (all assignments made)... 721.53 c Sol. found (all assignments made)... 721.54 c Sol. found (all assignments made)... 721.54 c Sol. found (all assignments made)... 721.54 c Sol. found (all assignments made)... 721.55 c Sol. found (all assignments made)... 721.55 c Sol. found (all assignments made)... 721.55 c Sol. found (all assignments made)... 721.56 c Sol. found (all assignments made)... 721.56 c Sol. found (all assignments made)... 721.56 c Sol. found (all assignments made)... 721.56 c Sol. found (all assignments made)... 721.57 c Sol. found (all assignments made)... 721.57 c Sol. found (all assignments made)... 721.57 c Sol. found (all assignments made)... 721.57 c Sol. found (all assignments made)... 721.58 c Sol. found (all assignments made)... 721.58 c Sol. found (all assignments made)... 721.58 c Sol. found (all assignments made)... 721.58 c Sol. found (all assignments made)... 721.59 c Sol. found (all assignments made)... 721.59 c Sol. found (all assignments made)... 721.59 c Sol. found (all assignments made)... 721.59 c Sol. found (all assignments made)... 721.59 c Sol. found (all assignments made)... 721.59 c Sol. found (all assignments made)... 721.59 c Sol. found (all assignments made)... 721.60 c Sol. found (all assignments made)... 721.60 c Sol. found (all assignments made)... 721.61 c Sol. found (all assignments made)... 721.62 c Sol. found (all assignments made)... 721.62 c Sol. found (all assignments made)... 721.62 c Sol. found (all assignments made)... 721.62 c Sol. found (all assignments made)... 721.62 c Sol. found (all assignments made)... 721.63 c Sol. found (all assignments made)... 721.63 c Sol. found (all assignments made)... 721.64 c Sol. found (all assignments made)... 721.64 c Sol. found (all assignments made)... 721.65 c Sol. found (all assignments made)... 721.65 c Sol. found (all assignments made)... 721.65 c Sol. found (all assignments made)... 721.65 c Sol. found (all assignments made)... 721.66 c Sol. found (all assignments made)... 721.66 c Sol. found (all assignments made)... 721.66 c Sol. found (all assignments made)... 721.66 c Sol. found (all assignments made)... 721.67 c Sol. found (all assignments made)... 721.67 c Sol. found (all assignments made)... 721.67 c Sol. found (all assignments made)... 721.69 c Sol. found (all assignments made)... 721.71 c Sol. found (all assignments made)... 721.73 c Sol. found (all assignments made)... 721.73 c Sol. found (all assignments made)... 721.73 c Sol. found (all assignments made)... 721.73 c Sol. found (all assignments made)... 721.74 c Sol. found (all assignments made)... 721.75 c Sol. found (all assignments made)... 721.75 c Sol. found (all assignments made)... 721.76 c Sol. found (all assignments made)... 721.76 c Sol. found (all assignments made)... 721.76 c Sol. found (all assignments made)... 721.76 c Sol. found (all assignments made)... 721.76 c Sol. found (all assignments made)... 721.77 c Sol. found (all assignments made)... 721.78 c Sol. found (all assignments made)... 721.78 c Sol. found (all assignments made)... 721.78 c Sol. found (all assignments made)... 721.78 c Sol. found (all assignments made)... 721.78 c Sol. found (all assignments made)... 721.78 c Sol. found (all assignments made)... 721.79 c Sol. found (all assignments made)... 721.79 c Sol. found (all assignments made)... 721.79 c Sol. found (all assignments made)... 721.80 c Sol. found (all assignments made)... 721.80 c Sol. found (all assignments made)... 721.81 c Sol. found (all assignments made)... 721.81 c Sol. found (all assignments made)... 721.81 c Sol. found (all assignments made)... 721.82 c Sol. found (all assignments made)... 721.82 c Sol. found (all assignments made)... 721.82 c Sol. found (all assignments made)... 721.82 c Sol. found (all assignments made)... 721.82 c Sol. found (all assignments made)... 721.82 c Sol. found (all assignments made)... 721.83 c Sol. found (all assignments made)... 721.83 c Sol. found (all assignments made)... 721.83 c Sol. found (all assignments made)... 721.83 c Sol. found (all assignments made)... 721.84 c Sol. found (all assignments made)... 721.84 c Sol. found (all assignments made)... 721.84 c Sol. found (all assignments made)... 721.84 c Sol. found (all assignments made)... 721.84 c Sol. found (all assignments made)... 721.84 c Sol. found (all assignments made)... 721.84 c Sol. found (all assignments made)... 721.85 c Sol. found (all assignments made)... 721.85 c Sol. found (all assignments made)... 721.85 c Sol. found (all assignments made)... 721.85 c Sol. found (all assignments made)... 721.85 c Sol. found (all assignments made)... 721.85 c Sol. found (all assignments made)... 721.86 c Sol. found (all assignments made)... 721.86 c Sol. found (all assignments made)... 721.87 c Sol. found (all assignments made)... 721.87 c Sol. found (all assignments made)... 721.87 c Sol. found (all assignments made)... 721.88 c Sol. found (all assignments made)... 721.88 c Sol. found (all assignments made)... 721.88 c Sol. found (all assignments made)... 721.88 c Sol. found (all assignments made)... 721.89 c Sol. found (all assignments made)... 721.89 c Sol. found (all assignments made)... 721.89 c Sol. found (all assignments made)... 721.91 c Sol. found (all assignments made)... 721.91 c Sol. found (all assignments made)... 721.92 c Sol. found (all assignments made)... 721.92 c Sol. found (all assignments made)... 721.92 c Sol. found (all assignments made)... 721.93 c Sol. found (all assignments made)... 721.93 c Sol. found (all assignments made)... 721.93 c Sol. found (all assignments made)... 721.93 c Sol. found (all assignments made)... 721.93 c Sol. found (all assignments made)... 721.93 c Sol. found (all assignments made)... 721.95 c Sol. found (all assignments made)... 721.95 c Sol. found (all assignments made)... 721.95 c Sol. found (all assignments made)... 721.95 c Sol. found (all assignments made)... 721.95 c Sol. found (all assignments made)... 721.95 c Sol. found (all assignments made)... 721.96 c Sol. found (all assignments made)... 721.96 c Sol. found (all assignments made)... 721.96 c Sol. found (all assignments made)... 721.96 c Sol. found (all assignments made)... 721.97 c Sol. found (all assignments made)... 721.97 c Sol. found (all assignments made)... 721.97 c Sol. found (all assignments made)... 721.97 c Sol. found (all assignments made)... 721.98 c Sol. found (all assignments made)... 721.99 c Sol. found (all assignments made)... 721.99 c Sol. found (all assignments made)... 722.00 c Sol. found (all assignments made)... 722.01 c Sol. found (all assignments made)... 722.01 c Sol. found (all assignments made)... 722.01 c Sol. found (all assignments made)... 722.02 c Sol. found (all assignments made)... 722.03 c Sol. found (all assignments made)... 722.04 c Sol. found (all assignments made)... 722.05 c Sol. found (all assignments made)... 722.05 c Sol. found (all assignments made)... 722.06 c Sol. found (all assignments made)... 722.06 c Sol. found (all assignments made)... 722.06 c Sol. found (all assignments made)... 722.09 c Sol. found (all assignments made)... 722.09 c Sol. found (all assignments made)... 722.10 c Sol. found (all assignments made)... 722.10 c Sol. found (all assignments made)... 722.10 c Sol. found (all assignments made)... 722.11 c Sol. found (all assignments made)... 722.11 c Sol. found (all assignments made)... 722.11 c Sol. found (all assignments made)... 722.11 c Sol. found (all assignments made)... 722.12 c Sol. found (all assignments made)... 722.16 c Sol. found (all assignments made)... 722.16 c Sol. found (all assignments made)... 722.16 c Sol. found (all assignments made)... 722.37 c Restart #11 #Var: 5117 LB: 0 @ 722.13 778.81 c Restart #12 #Var: 5117 LB: 0 @ 778.55 835.06 c Sol. found (all assignments made)... 835.07 c Sol. found (all assignments made)... 835.07 c Sol. found (all assignments made)... 835.08 c Sol. found (all assignments made)... 835.08 c Sol. found (all assignments made)... 835.09 c Sol. found (all assignments made)... 835.10 c Sol. found (all assignments made)... 835.11 c Sol. found (all assignments made)... 835.16 c Sol. found (all assignments made)... 835.17 c Sol. found (all assignments made)... 835.17 c Sol. found (all assignments made)... 835.17 c Sol. found (all assignments made)... 835.18 c Sol. found (all assignments made)... 835.19 c Sol. found (all assignments made)... 835.19 c Sol. found (all assignments made)... 835.20 c Sol. found (all assignments made)... 835.20 c Sol. found (all assignments made)... 835.20 c Sol. found (all assignments made)... 835.21 c Sol. found (all assignments made)... 835.21 c Sol. found (all assignments made)... 835.22 c Sol. found (all assignments made)... 835.22 c Sol. found (all assignments made)... 835.22 c Sol. found (all assignments made)... 835.23 c Sol. found (all assignments made)... 835.24 c Sol. found (all assignments made)... 835.24 c Sol. found (all assignments made)... 835.24 c Sol. found (all assignments made)... 835.29 c Sol. found (all assignments made)... 835.29 c Sol. found (all assignments made)... 835.29 c Sol. found (all assignments made)... 835.30 c Sol. found (all assignments made)... 835.31 c Sol. found (all assignments made)... 835.31 c Sol. found (all assignments made)... 835.31 c Sol. found (all assignments made)... 835.31 c Sol. found (all assignments made)... 835.32 c Sol. found (all assignments made)... 835.34 c Sol. found (all assignments made)... 835.34 c Sol. found (all assignments made)... 835.34 c Sol. found (all assignments made)... 835.34 c Sol. found (all assignments made)... 835.34 c Sol. found (all assignments made)... 835.34 c Sol. found (all assignments made)... 835.35 c Sol. found (all assignments made)... 835.35 c Sol. found (all assignments made)... 835.35 c Sol. found (all assignments made)... 835.36 c Sol. found (all assignments made)... 835.37 c Sol. found (all assignments made)... 835.38 c Sol. found (all assignments made)... 835.44 c Sol. found (all assignments made)... 835.45 c Sol. found (all assignments made)... 835.54 c Sol. found (all assignments made)... 835.62 c Sol. found (all assignments made)... 835.63 c Sol. found (all assignments made)... 835.63 c Sol. found (all assignments made)... 835.66 c Sol. found (all assignments made)... 835.66 c Sol. found (all assignments made)... 835.66 c Sol. found (all assignments made)... 835.66 c Sol. found (all assignments made)... 835.72 c Sol. found (all assignments made)... 835.79 c Sol. found (all assignments made)... 835.79 c Sol. found (all assignments made)... 835.80 c Sol. found (all assignments made)... 835.81 c Sol. found (all assignments made)... 835.81 c Sol. found (all assignments made)... 835.85 c Sol. found (all assignments made)... 835.85 c Sol. found (all assignments made)... 835.86 c Sol. found (all assignments made)... 835.87 c Sol. found (all assignments made)... 835.87 c Sol. found (all assignments made)... 835.87 c Sol. found (all assignments made)... 835.88 c Sol. found (all assignments made)... 835.88 c Sol. found (all assignments made)... 835.89 c Sol. found (all assignments made)... 835.89 c Sol. found (all assignments made)... 835.89 c Sol. found (all assignments made)... 835.89 c Sol. found (all assignments made)... 835.89 c Sol. found (all assignments made)... 835.89 c Sol. found (all assignments made)... 835.89 c Sol. found (all assignments made)... 835.89 c Sol. found (all assignments made)... 835.90 c Sol. found (all assignments made)... 835.90 c Sol. found (all assignments made)... 835.90 c Sol. found (all assignments made)... 835.90 c Sol. found (all assignments made)... 835.90 c Sol. found (all assignments made)... 835.90 c Sol. found (all assignments made)... 835.90 c Sol. found (all assignments made)... 835.90 c Sol. found (all assignments made)... 835.91 c Sol. found (all assignments made)... 835.91 c Sol. found (all assignments made)... 835.91 c Sol. found (all assignments made)... 835.91 c Sol. found (all assignments made)... 835.91 c Sol. found (all assignments made)... 835.91 c Sol. found (all assignments made)... 835.93 c Sol. found (all assignments made)... 835.93 c Sol. found (all assignments made)... 835.93 c Sol. found (all assignments made)... 835.93 c Sol. found (all assignments made)... 835.93 c Sol. found (all assignments made)... 835.93 c Sol. found (all assignments made)... 835.94 c Sol. found (all assignments made)... 835.94 c Sol. found (all assignments made)... 835.94 c Sol. found (all assignments made)... 835.95 c Sol. found (all assignments made)... 835.96 c Sol. found (all assignments made)... 835.97 c Sol. found (all assignments made)... 835.97 c Sol. found (all assignments made)... 835.97 c Sol. found (all assignments made)... 835.97 c Sol. found (all assignments made)... 835.97 c Sol. found (all assignments made)... 835.98 c Sol. found (all assignments made)... 835.98 c Sol. found (all assignments made)... 835.99 c Sol. found (all assignments made)... 835.99 c Sol. found (all assignments made)... 836.00 c Sol. found (all assignments made)... 836.00 c Sol. found (all assignments made)... 836.01 c Sol. found (all assignments made)... 836.02 c Sol. found (all assignments made)... 836.02 c Sol. found (all assignments made)... 836.02 c Sol. found (all assignments made)... 836.02 c Sol. found (all assignments made)... 836.02 c Sol. found (all assignments made)... 836.04 c Sol. found (all assignments made)... 836.06 c Sol. found (all assignments made)... 836.06 c Sol. found (all assignments made)... 836.16 c Sol. found (all assignments made)... 836.16 c Sol. found (all assignments made)... 836.17 c Sol. found (all assignments made)... 836.17 c Sol. found (all assignments made)... 836.18 c Sol. found (all assignments made)... 836.18 c Sol. found (all assignments made)... 836.18 c Sol. found (all assignments made)... 836.19 c Sol. found (all assignments made)... 836.19 c Sol. found (all assignments made)... 836.19 c Sol. found (all assignments made)... 836.19 c Sol. found (all assignments made)... 836.19 c Sol. found (all assignments made)... 836.19 c Sol. found (all assignments made)... 836.19 c Sol. found (all assignments made)... 836.24 c Sol. found (all assignments made)... 836.27 c Sol. found (all assignments made)... 836.27 c Sol. found (all assignments made)... 836.30 c Sol. found (all assignments made)... 836.30 c Sol. found (all assignments made)... 836.32 c Sol. found (all assignments made)... 836.33 c Sol. found (all assignments made)... 836.33 c Sol. found (all assignments made)... 836.34 c Sol. found (all assignments made)... 836.35 c Sol. found (all assignments made)... 836.35 c Sol. found (all assignments made)... 836.35 c Sol. found (all assignments made)... 836.58 c Restart #13 #Var: 5117 LB: 0 @ 836.3 893.62 c Sol. found (all assignments made)... 893.69 c Sol. found (all assignments made)... 893.69 c Sol. found (all assignments made)... 893.72 c Sol. found (all assignments made)... 893.85 c Sol. found (all assignments made)... 893.85 c Sol. found (all assignments made)... 894.00 c Sol. found (all assignments made)... 894.37 c Sol. found (all assignments made)... 894.56 c Sol. found (all assignments made)... 894.87 c Sol. found (all assignments made)... 895.05 c Sol. found (all assignments made)... 895.08 c Sol. found (all assignments made)... 895.33 c Restart #14 #Var: 5117 LB: 0 @ 895.04 967.35 c CHANGE to MIS mode... UB: 128 MIS: 53 LPR: 80 (13.197) Diff: 0.6625 967.35 c Restart #0 #Var: 5117 LB: 0 @ 967.02 1023.71 c Restart #1 #Var: 5117 LB: 53 @ 1023.4 1079.54 c Sol. found (all assignments made)... 1079.54 c Sol. found (all assignments made)... 1079.99 c Restart #2 #Var: 5117 LB: 53 @ 1079.6 1193.61 c Restart #3 #Var: 5117 LB: 52 @ 1193.2 1482.96 c Restart #4 #Var: 5117 LB: 53 @ 1482.5 1730.38 c Restart #5 #Var: 5117 LB: 52 @ 1729.8 1800.70 s SATISFIABLE 1800.70 c Cost: 128 1800.70 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.70 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.70 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.70 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.70 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.70 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.70 v -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.70 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.70 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.70 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 1800.70 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.70 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.70 v x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.70 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.70 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.70 v -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 1800.70 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.70 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.70 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.70 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 1800.70 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.70 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.70 v x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.70 v -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.70 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.70 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.70 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.70 v -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.70 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.70 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.70 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.70 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.70 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.70 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.70 v -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.70 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.70 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 1800.70 v -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.70 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.70 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.70 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.70 v -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.70 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.70 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.70 v -x945 -x946 x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.70 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.70 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.70 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 1800.70 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.70 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.70 v -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.70 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.70 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.70 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.70 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.70 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.70 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 1800.70 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.70 v -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.70 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.70 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.70 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 1800.70 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.70 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 1800.70 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.70 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.70 v -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.70 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.70 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.70 v -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.70 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1800.70 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 1800.70 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.70 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.70 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1800.70 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.70 v -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.70 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.70 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1800.70 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1800.70 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1800.70 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1800.70 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.70 v -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.70 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1800.70 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.70 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.70 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1800.70 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1800.70 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1800.70 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 1800.70 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 1800.70 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1800.70 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 1800.70 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 1800.70 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1800.70 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1800.70 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1800.70 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1800.70 v x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.70 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1800.70 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.70 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.70 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.70 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.70 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1800.70 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.70 v -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1800.70 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1800.70 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1800.70 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.70 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1800.70 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 1800.70 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1800.70 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1800.70 v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1800.70 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 1800.70 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 1800.70 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1800.70 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1800.70 v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 1800.70 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1800.70 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 1800.70 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 1800.70 v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 1800.70 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 1800.70 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1800.70 v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1800.70 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1800.70 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1800.70 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 1800.70 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1800.70 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1800.70 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1800.70 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1800.70 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1800.70 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1800.70 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 1800.70 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.70 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1800.70 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 1800.70 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 1800.70 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1800.70 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.70 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 1800.70 v -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 1800.70 v -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1800.70 v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.70 v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 1800.70 v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1800.70 v -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 1800.70 v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 1800.70 v -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 1800.70 v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 1800.70 v x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1800.70 v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 1800.70 v -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1800.70 v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1800.70 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 1800.70 v -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1800.70 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 1800.70 v -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 1800.70 v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 1800.70 v -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 1800.70 v -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1800.70 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 1800.70 v -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 1800.70 v -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 1800.70 v -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 1800.70 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1800.70 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 1800.70 v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 1800.70 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 1800.70 v x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 1800.70 v -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 1800.70 v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 1800.70 v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 x3214 -x3215 -x3216 -x3217 -x3218 -x3219 1800.70 v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 1800.70 v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 1800.70 v -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 1800.70 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 1800.70 v -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 1800.70 v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 1800.70 v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 1800.70 v -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 1800.70 v -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 1800.70 v -x3373 -x3374 -x3375 -x3376 -x3377 x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 1800.70 v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 1800.70 v -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 1800.70 v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 1800.70 v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 1800.70 v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 1800.70 v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 -x3490 x3491 -x3492 1800.70 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 x3502 -x3503 -x3504 -x3505 -x3506 x3507 -x3508 -x3509 -x3510 1800.70 v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 1800.70 v -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 1800.70 v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 1800.70 v -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 1800.70 v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 1800.70 v -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 1800.70 v -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 1800.70 v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 1800.70 v -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 1800.70 v -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 1800.70 v -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 1800.70 v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 1800.70 v -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 1800.70 v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 1800.70 v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 1800.70 v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 1800.70 v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 1800.70 v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 1800.70 v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 1800.70 v -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 1800.70 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 1800.70 v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 1800.70 v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 1800.70 v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 1800.70 v -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 1800.70 v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 1800.70 v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 1800.70 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 1800.70 v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 1800.70 v -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 1800.70 v -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 1800.70 v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 1800.70 v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 1800.70 v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 1800.70 v -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 1800.70 v -x4107 x4108 -x4109 -x4110 x4111 -x4112 x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 1800.70 v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 1800.70 v -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 1800.70 v -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 1800.70 v -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 1800.70 v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 1800.70 v -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 1800.70 v -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 1800.70 v -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1800.70 v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 1800.70 v -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 x4289 -x4290 -x4291 -x4292 -x4293 -x4294 1800.70 v -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 1800.70 v -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 1800.70 v -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 1800.70 v -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 1800.70 v -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 x4378 -x4379 1800.70 v -x4380 -x4381 -x4382 x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 1800.70 v -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 1800.70 v -x4414 -x4415 -x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 1800.70 v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 1800.70 v -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 1800.70 v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 x4480 -x4481 -x4482 1800.70 v x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 1800.70 v -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 1800.70 v -x4517 -x4518 x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 1800.70 v -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 1800.70 v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 1800.70 v -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 1800.70 v -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 1800.70 v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1800.70 v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.70 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 1800.70 v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1800.70 v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 1800.70 v -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 1800.70 v -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 1800.70 v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 1800.70 v -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 1800.70 v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 1800.70 v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 1800.70 v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 -x4803 -x4804 -x4805 1800.70 v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 1800.70 v -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 1800.70 v -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 1800.70 v -x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 1800.70 v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 1800.70 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 1800.70 v -x4908 x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 1800.70 v -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 1800.70 v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 1800.70 v -x4959 -x4960 -x4961 -x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 1800.70 v -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 1800.70 v -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 1800.70 v -x5010 -x5011 -x5012 x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 1800.70 v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 1800.70 v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 1800.70 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 1800.70 v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 1800.70 v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 1800.70 v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 1800.70 v -x5129 x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 1800.70 v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 1800.70 v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 1800.70 v -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 1800.70 v -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 x5204 -x5205 -x5206 -x5207 x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 1800.70 v -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 1800.70 v -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 1800.70 v -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 1800.70 v -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 1800.70 v -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 1800.70 v -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 1800.70 v -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5333 1800.70 v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 1800.70 v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 1800.70 v -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 1800.70 v -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 1800.70 v -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 1800.70 v -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 1800.70 v -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 1800.70 v -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 1800.70 v -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 1800.70 v -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 1800.70 v -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 1800.70 v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 1800.70 v -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 x5553 -x5554 -x5555 1800.70 v -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 1800.70 v -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 1800.70 v -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 1800.70 v -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 1800.70 v -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 1800.70 v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 1800.70 v -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 1800.70 v -x5675 -x5676 x5677 x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 1800.70 v -x5693 -x5694 -x5695 -x5696 x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 1800.70 v -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 1800.70 v -x5727 -x5728 -x5729 -x5730 x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 1800.70 v -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 1800.70 v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 1800.70 v -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 1800.70 v -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 1800.70 v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 1800.70 v -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 1800.70 v -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 1800.70 v -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 1800.70 v -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 1800.70 v -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 1800.70 v -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 x5930 1800.70 v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 1800.70 v -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 -x5963 -x5964 1800.70 v x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 1800.70 v -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 1800.70 v -x5999 -x6000 x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 1800.70 v -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 1800.70 v -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 1800.70 v -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 1800.70 v -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 1800.70 v -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 1800.70 v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 1800.70 v -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 1800.70 v -x6135 -x6136 -x6137 -x6138 -x6139 1800.71 c Exit Code: 10 1800.71 c Total time: 1800.1 s
OK 128
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/node52/watcher-40290-1149405590 -o ROOT/results/node52/solver-40290-1149405590 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node52/40290-1149405590/instance-40290-1149405590.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 13163 /proc/meminfo: memFree=1825924/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=2900 CPUtime=0 /proc/13163/stat : 13163 (bsolo) D 13161 13163 13117 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 206226816 2969600 24 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4314119 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/13163/statm: 725 24 18 55 0 19 0 [startup+10.0016 s] /proc/loadavg: 0.93 0.95 0.98 2/64 13163 /proc/meminfo: memFree=1789452/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=40864 CPUtime=9.97 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 9351 0 2 0 992 5 0 0 25 0 1 0 206226816 41844736 9255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649850 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 10216 9255 296 55 0 9108 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 40864 [startup+20.007 s] /proc/loadavg: 0.94 0.96 0.98 2/64 13163 /proc/meminfo: memFree=1789516/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=40864 CPUtime=19.97 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 9351 0 2 0 1992 5 0 0 25 0 1 0 206226816 41844736 9255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649907 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 10216 9255 296 55 0 9108 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 40864 [startup+30.0125 s] /proc/loadavg: 0.95 0.96 0.98 2/64 13163 /proc/meminfo: memFree=1789580/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=40864 CPUtime=29.98 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 9351 0 2 0 2993 5 0 0 25 0 1 0 206226816 41844736 9255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 10216 9255 296 55 0 9108 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 40864 [startup+40.018 s] /proc/loadavg: 0.95 0.96 0.98 2/64 13163 /proc/meminfo: memFree=1789580/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=40864 CPUtime=39.97 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 9351 0 2 0 3992 5 0 0 25 0 1 0 206226816 41844736 9255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 10216 9255 296 55 0 9108 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 40864 [startup+50.0235 s] /proc/loadavg: 0.96 0.96 0.98 2/64 13163 /proc/meminfo: memFree=1789580/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=40864 CPUtime=49.97 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 9351 0 2 0 4992 5 0 0 25 0 1 0 206226816 41844736 9255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 10216 9255 296 55 0 9108 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 40864 [startup+60.029 s] /proc/loadavg: 0.97 0.96 0.98 2/64 13163 /proc/meminfo: memFree=1789644/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=40864 CPUtime=59.98 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 9351 0 2 0 5993 5 0 0 25 0 1 0 206226816 41844736 9255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 10216 9255 296 55 0 9108 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 40864 [startup+70.0345 s] /proc/loadavg: 0.97 0.96 0.98 2/64 13163 /proc/meminfo: memFree=1789644/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=40864 CPUtime=69.98 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 9351 0 2 0 6993 5 0 0 25 0 1 0 206226816 41844736 9255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 10216 9255 296 55 0 9108 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 40864 [startup+80.04 s] /proc/loadavg: 0.98 0.96 0.98 2/64 13163 /proc/meminfo: memFree=1731916/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=99444 CPUtime=79.98 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 23775 0 2 0 7988 10 0 0 25 0 1 0 206226816 101830656 23660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 24861 23660 296 55 0 23753 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 99444 [startup+90.0455 s] /proc/loadavg: 0.98 0.96 0.98 2/64 13163 /proc/meminfo: memFree=1731916/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=99444 CPUtime=89.98 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 23775 0 2 0 8988 10 0 0 25 0 1 0 206226816 101830656 23660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 24861 23660 296 55 0 23753 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 99444 [startup+100.051 s] /proc/loadavg: 0.98 0.96 0.98 2/64 13163 /proc/meminfo: memFree=1731916/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=99444 CPUtime=99.99 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 23775 0 2 0 9989 10 0 0 25 0 1 0 206226816 101830656 23660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 24861 23660 296 55 0 23753 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 99444 [startup+110.056 s] /proc/loadavg: 0.98 0.96 0.98 2/64 13163 /proc/meminfo: memFree=1731916/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=99444 CPUtime=110 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 23775 0 2 0 10989 11 0 0 25 0 1 0 206226816 101830656 23660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 24861 23660 296 55 0 23753 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 99444 [startup+120.062 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13163 /proc/meminfo: memFree=1731916/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=99444 CPUtime=120 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 23775 0 2 0 11989 11 0 0 25 0 1 0 206226816 101830656 23660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649788 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 24861 23660 296 55 0 23753 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 99444 [startup+130.067 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13163 /proc/meminfo: memFree=1731916/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=99444 CPUtime=130 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 23775 0 2 0 12989 11 0 0 25 0 1 0 206226816 101830656 23660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 24861 23660 296 55 0 23753 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 99444 [startup+140.073 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13163 /proc/meminfo: memFree=1731916/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=99444 CPUtime=140 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 23775 0 2 0 13989 11 0 0 25 0 1 0 206226816 101830656 23660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 24861 23660 296 55 0 23753 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 99444 [startup+150.078 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13163 /proc/meminfo: memFree=1731916/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=99444 CPUtime=150.01 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 23775 0 2 0 14990 11 0 0 25 0 1 0 206226816 101830656 23660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 24861 23660 296 55 0 23753 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 99444 [startup+160.084 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13163 /proc/meminfo: memFree=1731916/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=99444 CPUtime=160.01 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 23775 0 2 0 15990 11 0 0 25 0 1 0 206226816 101830656 23660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 24861 23660 296 55 0 23753 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 99444 [startup+170.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13163 /proc/meminfo: memFree=1731916/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=99444 CPUtime=170.01 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 23777 0 2 0 16990 11 0 0 25 0 1 0 206226816 101830656 23662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 24861 23662 296 55 0 23753 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 99444 [startup+180.097 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13163 /proc/meminfo: memFree=1694540/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=136788 CPUtime=180.01 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 33109 0 2 0 17986 15 0 0 25 0 1 0 206226816 140070912 32948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 34197 32948 296 55 0 33089 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 136788 [startup+190.103 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13163 /proc/meminfo: memFree=1694540/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=136788 CPUtime=190.02 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 33109 0 2 0 18987 15 0 0 25 0 1 0 206226816 140070912 32948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 34197 32948 296 55 0 33089 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 136788 [startup+200.109 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13163 /proc/meminfo: memFree=1694540/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=136788 CPUtime=200.02 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 33109 0 2 0 19987 15 0 0 25 0 1 0 206226816 140070912 32948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 34197 32948 296 55 0 33089 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 136788 [startup+210.114 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13163 /proc/meminfo: memFree=1694540/2055920 swapFree=4181360/4192956 ################ # More data... # ################ /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1760.53 Current children cumulated vsize (Kb) 146168 [startup+1771.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1770.53 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 177026 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 146168 [startup+1781.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1780.53 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 178026 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 146168 [startup+1782.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1781.54 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 178127 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 146168 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1782.54 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 178227 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 146168 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1783.55 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 178328 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 146168 [startup+1785.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1784.55 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 178428 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 146168 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1785.56 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 178529 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 146168 [startup+1787.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1786.56 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 178629 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 146168 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1787.57 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 178730 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 146168 [startup+1789.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1788.57 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 178830 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 146168 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1789.58 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 178931 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 146168 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1790.58 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 179031 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 146168 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1791.58 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 179131 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649901 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 146168 [startup+1793.18 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1792.59 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 179232 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 146168 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1793.59 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 179332 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 146168 [startup+1795.19 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1794.6 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 179433 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 146168 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1795.6 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 179533 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 146168 [startup+1797.2 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1796.61 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 179634 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 146168 [startup+1798.2 s] /proc/loadavg: 0.99 0.97 0.98 3/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1797.61 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 179734 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 146168 [startup+1799.21 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1798.62 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 179835 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 146168 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.98 2/64 13165 /proc/meminfo: memFree=1683020/2055920 swapFree=4181360/4192956 [pid=13163] ppid=13161 vsize=146168 CPUtime=1799.62 /proc/13163/stat : 13163 (bsolo) R 13161 13163 13117 0 -1 0 35612 0 9 0 179935 27 0 0 25 0 1 0 206226816 149676032 35442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13163/statm: 36542 35442 432 55 0 35434 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 146168 Child status: 10 Real time (s): 1800.75 CPU time (s): 1800.15 CPU user time (s): 1799.85 CPU system time (s): 0.296954 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (Kb): 146168
Begin job on node52 on Sun Jun 4 07:19:50 UTC 2006 FILE ID= 40290-1149405590 PBS_JOBID= 314379 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node52/40290-1149405590/instance-40290-1149405590.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-40290-1149405590 -o ROOT/results/node52/solver-40290-1149405590 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node52/40290-1149405590/instance-40290-1149405590.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5 RANDOM SEED= 371314152 /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.263 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.263 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: 1826132 kB Buffers: 13332 kB Cached: 154324 kB SwapCached: 3296 kB Active: 33776 kB Inactive: 142604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826132 kB SwapTotal: 4192956 kB SwapFree: 4181360 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14916 kB Slab: 39320 kB Committed_AS: 435908 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node52 on Sun Jun 4 07:49:51 UTC 2006