Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 20973910 | 1800.02 | 1800.52 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb |
| MD5SUM | 291088d217a1998c91be99350439e903 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 6185984 |
| Best CPU time to get the best result obtained on this benchmark | 1801.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5965824 |
| Optimality of the best value was proved | NO |
| Number of variables | 7812 |
| Total number of constraints | 285 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 285 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 630 |
| Number of terms in the objective function | 7812 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1543007621731 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1543007621731 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.07 c INFO: OSL Context initialized. 0.07 c BIG Int formula... 0.25 c Initial problem consists of 7812 variables and 318 constraints. 0.27 c No problem reductions applied in OPT. instance. 0.27 c preprocess terminated. Elapsed time: 0.207 0.27 c After prepocess the problem consists of 3698 variables and 318 constraints. 0.27 c Initial Lower Bound: 0 0.36 c Restart #1 #Var: 3698 LB: 0 @ 0.292 0.50 c Restart #2 #Var: 3698 LB: 0 @ 0.437 0.71 c Restart #3 #Var: 3698 LB: 0 @ 0.644 0.98 c Restart #4 #Var: 3698 LB: 0 @ 0.92 1.32 c Restart #5 #Var: 3698 LB: 0 @ 1.253 1.71 c Restart #6 #Var: 3698 LB: 0 @ 1.647 2.16 c Restart #7 #Var: 3698 LB: 0 @ 2.098 2.68 c Restart #8 #Var: 3698 LB: 0 @ 2.616 3.32 c Restart #9 #Var: 3698 LB: 0 @ 3.259 4.16 c Restart #10 #Var: 3698 LB: 0 @ 4.091 4.71 c Restart #11 #Var: 3698 LB: 0 @ 4.639 5.72 c Restart #12 #Var: 3698 LB: 0 @ 5.653 6.34 c Restart #13 #Var: 3698 LB: 0 @ 6.279 7.06 c Restart #14 #Var: 3698 LB: 0 @ 6.994 8.97 c Restart #15 #Var: 3698 LB: 0 @ 8.899 10.84 c Restart #16 #Var: 3698 LB: 0 @ 10.77 11.75 c Restart #17 #Var: 3698 LB: 0 @ 11.679 12.72 c Restart #18 #Var: 3698 LB: 0 @ 12.647 13.74 c Restart #19 #Var: 3698 LB: 0 @ 13.666 16.01 c Restart #20 #Var: 3698 LB: 0 @ 15.936 17.08 c Restart #21 #Var: 3698 LB: 0 @ 17.007 18.20 c Restart #22 #Var: 3698 LB: 0 @ 18.126 19.41 c Restart #23 #Var: 3698 LB: 0 @ 19.34 22.26 c Restart #24 #Var: 3698 LB: 0 @ 22.185 25.67 c Restart #25 #Var: 3698 LB: 0 @ 25.596 27.05 c Restart #26 #Var: 3698 LB: 0 @ 26.976 30.78 c Restart #27 #Var: 3698 LB: 0 @ 30.699 32.52 c Restart #28 #Var: 3698 LB: 0 @ 32.447 36.58 c Restart #29 #Var: 3698 LB: 0 @ 36.505 38.19 c Restart #30 #Var: 3698 LB: 0 @ 38.114 42.89 c Restart #31 #Var: 3698 LB: 0 @ 42.807 44.84 c Restart #32 #Var: 3698 LB: 0 @ 44.762 50.13 c Restart #33 #Var: 3698 LB: 0 @ 50.048 51.89 c Restart #34 #Var: 3698 LB: 0 @ 51.807 56.88 c Restart #35 #Var: 3698 LB: 0 @ 56.796 62.57 c Restart #36 #Var: 3698 LB: 0 @ 62.483 64.73 c Restart #37 #Var: 3698 LB: 0 @ 64.646 69.41 c Restart #38 #Var: 3698 LB: 0 @ 69.323 72.21 c Restart #39 #Var: 3698 LB: 0 @ 72.122 72.72 c Sol. found (all assignments made)... 72.72 o 36642751 72.72 c NEW SOLUTION FOUND: 36642751 @ 72.636 72.74 c Sol. found (all assignments made)... 72.82 c Sol. found (all assignments made)... 72.82 o 36642743 72.82 c NEW SOLUTION FOUND: 36642743 @ 72.732 72.83 c Sol. found (all assignments made)... 72.83 o 36593594 72.83 c NEW SOLUTION FOUND: 36593594 @ 72.743 72.84 c Sol. found (all assignments made)... 72.84 c Sol. found (all assignments made)... 72.84 o 36467646 72.84 c NEW SOLUTION FOUND: 36467646 @ 72.757 72.85 c Sol. found (all assignments made)... 72.85 o 36467642 72.85 c NEW SOLUTION FOUND: 36467642 @ 72.761 72.87 c Sol. found (all assignments made)... 72.88 c Sol. found (all assignments made)... 72.97 c Sol. found (all assignments made)... 72.99 c Sol. found (all assignments made)... 73.21 c Sol. found (all assignments made)... 73.25 c Sol. found (all assignments made)... 73.27 c Sol. found (all assignments made)... 73.30 c Sol. found (all assignments made)... 73.31 c Sol. found (all assignments made)... 73.32 c Sol. found (all assignments made)... 73.34 c Sol. found (all assignments made)... 73.41 c Sol. found (all assignments made)... 73.43 c Sol. found (all assignments made)... 73.44 c Sol. found (all assignments made)... 73.44 c Sol. found (all assignments made)... 73.46 c Sol. found (all assignments made)... 117.44 c Restart #40 #Var: 3698 LB: 0 @ 117.34 129.75 c Restart #41 #Var: 3698 LB: 0 @ 129.65 136.30 c Restart #42 #Var: 3698 LB: 0 @ 136.2 136.33 c Sol. found (all assignments made)... 136.33 o 23224811 136.33 c NEW SOLUTION FOUND: 23224811 @ 136.23 136.34 c Sol. found (all assignments made)... 136.39 c Sol. found (all assignments made)... 136.39 o 23066603 136.39 c NEW SOLUTION FOUND: 23066603 @ 136.29 136.40 c Sol. found (all assignments made)... 137.32 c Sol. found (all assignments made)... 137.37 c Sol. found (all assignments made)... 137.37 c Sol. found (all assignments made)... 137.38 c Sol. found (all assignments made)... 137.38 o 23063889 137.38 c NEW SOLUTION FOUND: 23063889 @ 137.28 137.45 c Sol. found (all assignments made)... 137.45 c Sol. found (all assignments made)... 137.47 c Sol. found (all assignments made)... 137.47 c Sol. found (all assignments made)... 137.49 c Sol. found (all assignments made)... 137.67 c Sol. found (all assignments made)... 137.67 c Sol. found (all assignments made)... 137.71 c Sol. found (all assignments made)... 137.72 c Sol. found (all assignments made)... 137.73 c Sol. found (all assignments made)... 138.39 c Sol. found (all assignments made)... 138.39 o 23063873 138.39 c NEW SOLUTION FOUND: 23063873 @ 138.29 138.40 c Sol. found (all assignments made)... 138.40 c Sol. found (all assignments made)... 138.47 c Sol. found (all assignments made)... 138.48 c Sol. found (all assignments made)... 138.71 c Sol. found (all assignments made)... 138.72 c Sol. found (all assignments made)... 138.73 c Sol. found (all assignments made)... 138.74 c Sol. found (all assignments made)... 138.75 c Sol. found (all assignments made)... 138.76 c Sol. found (all assignments made)... 138.77 c Sol. found (all assignments made)... 138.78 c Sol. found (all assignments made)... 138.80 c Sol. found (all assignments made)... 138.81 c Sol. found (all assignments made)... 139.01 c Sol. found (all assignments made)... 139.01 o 23063361 139.01 c NEW SOLUTION FOUND: 23063361 @ 138.91 139.08 c Sol. found (all assignments made)... 139.08 c Sol. found (all assignments made)... 139.10 c Sol. found (all assignments made)... 139.10 c Sol. found (all assignments made)... 139.11 c Sol. found (all assignments made)... 139.12 c Sol. found (all assignments made)... 139.13 c Sol. found (all assignments made)... 139.41 c Sol. found (all assignments made)... 139.42 c Sol. found (all assignments made)... 139.43 c Sol. found (all assignments made)... 139.51 c Sol. found (all assignments made)... 139.51 c Sol. found (all assignments made)... 139.53 c Sol. found (all assignments made)... 139.53 c Sol. found (all assignments made)... 139.54 c Sol. found (all assignments made)... 139.55 c Sol. found (all assignments made)... 139.90 c Sol. found (all assignments made)... 139.91 c Sol. found (all assignments made)... 139.93 c Sol. found (all assignments made)... 139.93 c Sol. found (all assignments made)... 139.99 c Sol. found (all assignments made)... 139.99 o 23063357 139.99 c NEW SOLUTION FOUND: 23063357 @ 139.88 140.00 c Sol. found (all assignments made)... 140.00 c Sol. found (all assignments made)... 140.08 c Sol. found (all assignments made)... 140.09 c Sol. found (all assignments made)... 140.11 c Sol. found (all assignments made)... 140.12 c Sol. found (all assignments made)... 140.14 c Sol. found (all assignments made)... 140.15 c Sol. found (all assignments made)... 140.22 c Sol. found (all assignments made)... 140.24 c Sol. found (all assignments made)... 140.24 c Sol. found (all assignments made)... 140.63 c Sol. found (all assignments made)... 140.64 c Sol. found (all assignments made)... 140.65 c Sol. found (all assignments made)... 140.67 c Sol. found (all assignments made)... 140.72 c Sol. found (all assignments made)... 140.73 c Sol. found (all assignments made)... 140.73 c Sol. found (all assignments made)... 140.90 c Sol. found (all assignments made)... 140.91 c Sol. found (all assignments made)... 140.93 c Sol. found (all assignments made)... 140.94 c Sol. found (all assignments made)... 140.99 c Sol. found (all assignments made)... 140.99 c Sol. found (all assignments made)... 141.50 c Sol. found (all assignments made)... 141.50 o 23063325 141.50 c NEW SOLUTION FOUND: 23063325 @ 141.4 141.55 c Sol. found (all assignments made)... 141.56 c Sol. found (all assignments made)... 141.57 c Sol. found (all assignments made)... 141.64 c Sol. found (all assignments made)... 141.64 c Sol. found (all assignments made)... 141.69 c Sol. found (all assignments made)... 141.69 c Sol. found (all assignments made)... 141.70 c Sol. found (all assignments made)... 141.77 c Sol. found (all assignments made)... 141.80 c Sol. found (all assignments made)... 141.81 c Sol. found (all assignments made)... 141.94 c Sol. found (all assignments made)... 141.94 c Sol. found (all assignments made)... 141.95 c Sol. found (all assignments made)... 141.97 c Sol. found (all assignments made)... 141.97 c Sol. found (all assignments made)... 142.02 c Sol. found (all assignments made)... 142.06 c Sol. found (all assignments made)... 142.07 c Sol. found (all assignments made)... 142.07 c Sol. found (all assignments made)... 142.07 c Sol. found (all assignments made)... 142.08 c Sol. found (all assignments made)... 142.13 c Sol. found (all assignments made)... 142.15 c Sol. found (all assignments made)... 142.15 c Sol. found (all assignments made)... 142.26 c Sol. found (all assignments made)... 142.26 c Sol. found (all assignments made)... 142.41 c Sol. found (all assignments made)... 142.42 c Sol. found (all assignments made)... 142.51 c Sol. found (all assignments made)... 142.51 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.67 c Sol. found (all assignments made)... 143.00 c Sol. found (all assignments made)... 143.01 c Sol. found (all assignments made)... 143.02 c Sol. found (all assignments made)... 143.04 c Sol. found (all assignments made)... 143.04 o 23063321 143.04 c NEW SOLUTION FOUND: 23063321 @ 142.93 143.05 c Sol. found (all assignments made)... 143.07 c Sol. found (all assignments made)... 143.07 c Sol. found (all assignments made)... 143.10 c Sol. found (all assignments made)... 143.11 c Sol. found (all assignments made)... 143.15 c Sol. found (all assignments made)... 143.16 c Sol. found (all assignments made)... 143.19 c Sol. found (all assignments made)... 143.20 c Sol. found (all assignments made)... 143.27 c Sol. found (all assignments made)... 143.27 c Sol. found (all assignments made)... 143.29 c Sol. found (all assignments made)... 143.34 c Sol. found (all assignments made)... 143.35 c Sol. found (all assignments made)... 143.36 c Sol. found (all assignments made)... 143.36 c Sol. found (all assignments made)... 143.39 c Sol. found (all assignments made)... 143.40 c Sol. found (all assignments made)... 143.44 c Sol. found (all assignments made)... 143.44 c Sol. found (all assignments made)... 143.47 c Sol. found (all assignments made)... 143.48 c Sol. found (all assignments made)... 143.56 c Sol. found (all assignments made)... 143.57 c Sol. found (all assignments made)... 143.58 c Sol. found (all assignments made)... 143.60 c Sol. found (all assignments made)... 143.61 c Sol. found (all assignments made)... 143.65 c Sol. found (all assignments made)... 143.66 c Sol. found (all assignments made)... 143.66 c Sol. found (all assignments made)... 143.70 c Sol. found (all assignments made)... 143.71 c Sol. found (all assignments made)... 143.77 c Sol. found (all assignments made)... 143.77 c Sol. found (all assignments made)... 143.78 c Sol. found (all assignments made)... 143.79 c Sol. found (all assignments made)... 143.80 c Sol. found (all assignments made)... 143.85 c Sol. found (all assignments made)... 143.86 c Sol. found (all assignments made)... 143.88 c Sol. found (all assignments made)... 143.88 c Sol. found (all assignments made)... 143.89 c Sol. found (all assignments made)... 143.91 c Sol. found (all assignments made)... 143.91 c Sol. found (all assignments made)... 143.94 c Sol. found (all assignments made)... 143.95 c Sol. found (all assignments made)... 143.97 c Sol. found (all assignments made)... 144.26 c Sol. found (all assignments made)... 144.29 c Sol. found (all assignments made)... 144.29 c Sol. found (all assignments made)... 144.38 c Sol. found (all assignments made)... 144.39 c Sol. found (all assignments made)... 144.42 c Sol. found (all assignments made)... 144.42 o 23060368 144.42 c NEW SOLUTION FOUND: 23060368 @ 144.31 144.42 c Sol. found (all assignments made)... 144.42 o 23060353 144.42 c NEW SOLUTION FOUND: 23060353 @ 144.32 144.73 c Sol. found (all assignments made)... 144.73 o 22899476 144.73 c NEW SOLUTION FOUND: 22899476 @ 144.63 144.73 c Sol. found (all assignments made)... 144.78 c Sol. found (all assignments made)... 144.78 o 22895425 144.78 c NEW SOLUTION FOUND: 22895425 @ 144.67 146.62 c Sol. found (all assignments made)... 146.64 c Sol. found (all assignments made)... 146.66 c Sol. found (all assignments made)... 146.68 c Sol. found (all assignments made)... 146.70 c Sol. found (all assignments made)... 146.72 c Sol. found (all assignments made)... 152.00 c Sol. found (all assignments made)... 152.01 c Sol. found (all assignments made)... 152.04 c Sol. found (all assignments made)... 152.06 c Sol. found (all assignments made)... 152.08 c Sol. found (all assignments made)... 152.09 c Sol. found (all assignments made)... 152.30 c Sol. found (all assignments made)... 152.30 o 22895422 152.30 c NEW SOLUTION FOUND: 22895422 @ 152.19 158.82 c Sol. found (all assignments made)... 158.83 c Sol. found (all assignments made)... 158.85 c Sol. found (all assignments made)... 158.87 c Sol. found (all assignments made)... 161.67 c Sol. found (all assignments made)... 161.69 c Sol. found (all assignments made)... 161.70 c Sol. found (all assignments made)... 161.72 c Sol. found (all assignments made)... 161.86 c Sol. found (all assignments made)... 165.20 c Sol. found (all assignments made)... 165.86 c Sol. found (all assignments made)... 169.80 c Sol. found (all assignments made)... 171.02 c Sol. found (all assignments made)... 171.04 c Sol. found (all assignments made)... 171.07 c Sol. found (all assignments made)... 171.08 c Sol. found (all assignments made)... 171.11 c Sol. found (all assignments made)... 171.13 c Sol. found (all assignments made)... 171.16 c Sol. found (all assignments made)... 171.17 c Sol. found (all assignments made)... 172.82 c Sol. found (all assignments made)... 172.84 c Sol. found (all assignments made)... 172.86 c Sol. found (all assignments made)... 172.88 c Sol. found (all assignments made)... 172.91 c Sol. found (all assignments made)... 172.92 c Sol. found (all assignments made)... 172.94 c Sol. found (all assignments made)... 172.96 c Sol. found (all assignments made)... 174.07 c Restart #43 #Var: 3698 LB: 0 @ 173.96 180.51 c Restart #44 #Var: 3698 LB: 0 @ 180.4 187.43 c Restart #45 #Var: 3698 LB: 0 @ 187.31 187.45 c Sol. found (all assignments made)... 187.45 o 21770127 187.45 c NEW SOLUTION FOUND: 21770127 @ 187.34 187.46 c Sol. found (all assignments made)... 187.48 c Sol. found (all assignments made)... 187.48 c Sol. found (all assignments made)... 187.50 c Sol. found (all assignments made)... 187.50 o 21770111 187.50 c NEW SOLUTION FOUND: 21770111 @ 187.39 187.52 c Sol. found (all assignments made)... 187.53 c Sol. found (all assignments made)... 187.54 c Sol. found (all assignments made)... 187.55 c Sol. found (all assignments made)... 187.57 c Sol. found (all assignments made)... 187.58 c Sol. found (all assignments made)... 187.58 o 21770103 187.58 c NEW SOLUTION FOUND: 21770103 @ 187.46 187.59 c Sol. found (all assignments made)... 187.60 c Sol. found (all assignments made)... 187.61 c Sol. found (all assignments made)... 187.63 c Sol. found (all assignments made)... 187.64 c Sol. found (all assignments made)... 187.65 c Sol. found (all assignments made)... 187.68 c Sol. found (all assignments made)... 187.68 o 21527527 187.68 c NEW SOLUTION FOUND: 21527527 @ 187.56 187.69 c Sol. found (all assignments made)... 187.74 c Sol. found (all assignments made)... 187.77 c Sol. found (all assignments made)... 187.86 c Sol. found (all assignments made)... 187.88 c Sol. found (all assignments made)... 187.90 c Sol. found (all assignments made)... 187.92 c Sol. found (all assignments made)... 188.10 c Sol. found (all assignments made)... 188.10 o 21527491 188.10 c NEW SOLUTION FOUND: 21527491 @ 187.98 188.11 c Sol. found (all assignments made)... 188.11 o 21527483 188.11 c NEW SOLUTION FOUND: 21527483 @ 188 188.13 c Sol. found (all assignments made)... 188.14 c Sol. found (all assignments made)... 188.24 c Sol. found (all assignments made)... 188.25 c Sol. found (all assignments made)... 188.25 o 21527479 188.25 c NEW SOLUTION FOUND: 21527479 @ 188.14 188.35 c Sol. found (all assignments made)... 188.37 c Sol. found (all assignments made)... 188.38 c Sol. found (all assignments made)... 188.47 c Sol. found (all assignments made)... 188.48 c Sol. found (all assignments made)... 188.49 c Sol. found (all assignments made)... 188.51 c Sol. found (all assignments made)... 188.54 c Sol. found (all assignments made)... 188.59 c Sol. found (all assignments made)... 188.85 c Sol. found (all assignments made)... 188.86 c Sol. found (all assignments made)... 188.93 c Sol. found (all assignments made)... 188.94 c Sol. found (all assignments made)... 189.00 c Sol. found (all assignments made)... 189.11 c Sol. found (all assignments made)... 189.11 o 21527355 189.11 c NEW SOLUTION FOUND: 21527355 @ 189 189.12 c Sol. found (all assignments made)... 189.13 c Sol. found (all assignments made)... 189.15 c Sol. found (all assignments made)... 189.15 o 21527347 189.15 c NEW SOLUTION FOUND: 21527347 @ 189.03 189.18 c Sol. found (all assignments made)... 189.24 c Sol. found (all assignments made)... 189.27 c Sol. found (all assignments made)... 189.30 c Sol. found (all assignments made)... 189.35 c Sol. found (all assignments made)... 189.48 c Sol. found (all assignments made)... 189.48 o 21527307 189.48 c NEW SOLUTION FOUND: 21527307 @ 189.36 189.50 c Sol. found (all assignments made)... 189.50 o 21527299 189.50 c NEW SOLUTION FOUND: 21527299 @ 189.38 189.53 c Sol. found (all assignments made)... 189.56 c Sol. found (all assignments made)... 189.56 o 21527291 189.56 c NEW SOLUTION FOUND: 21527291 @ 189.44 189.64 c Sol. found (all assignments made)... 189.65 c Sol. found (all assignments made)... 189.65 c Sol. found (all assignments made)... 189.67 c Sol. found (all assignments made)... 189.69 c Sol. found (all assignments made)... 189.70 c Sol. found (all assignments made)... 189.72 c Sol. found (all assignments made)... 189.92 c Sol. found (all assignments made)... 189.93 c Sol. found (all assignments made)... 189.96 c Sol. found (all assignments made)... 190.05 c Sol. found (all assignments made)... 190.05 c Sol. found (all assignments made)... 190.09 c Sol. found (all assignments made)... 190.09 o 21527287 190.09 c NEW SOLUTION FOUND: 21527287 @ 189.98 190.10 c Sol. found (all assignments made)... 190.13 c Sol. found (all assignments made)... 190.15 c Sol. found (all assignments made)... 190.17 c Sol. found (all assignments made)... 190.57 c Sol. found (all assignments made)... 190.70 c Sol. found (all assignments made)... 190.73 c Sol. found (all assignments made)... 190.78 c Sol. found (all assignments made)... 190.81 c Sol. found (all assignments made)... 190.97 c Sol. found (all assignments made)... 191.01 c Sol. found (all assignments made)... 191.13 c Sol. found (all assignments made)... 191.38 c Sol. found (all assignments made)... 191.57 c Sol. found (all assignments made)... 191.64 c Sol. found (all assignments made)... 191.69 c Sol. found (all assignments made)... 191.70 c Sol. found (all assignments made)... 191.74 c Sol. found (all assignments made)... 191.75 c Sol. found (all assignments made)... 191.79 c Sol. found (all assignments made)... 191.89 c Sol. found (all assignments made)... 191.90 c Sol. found (all assignments made)... 191.95 c Sol. found (all assignments made)... 191.96 c Sol. found (all assignments made)... 191.98 c Sol. found (all assignments made)... 212.95 c Sol. found (all assignments made)... 212.95 o 21427259 212.95 c NEW SOLUTION FOUND: 21427259 @ 212.83 212.96 c Sol. found (all assignments made)... 212.96 o 21184571 212.96 c NEW SOLUTION FOUND: 21184571 @ 212.84 212.98 c Sol. found (all assignments made)... 212.98 o 21184563 212.98 c NEW SOLUTION FOUND: 21184563 @ 212.86 212.99 c Sol. found (all assignments made)... 213.00 c Sol. found (all assignments made)... 213.01 c Sol. found (all assignments made)... 213.02 c Sol. found (all assignments made)... 213.03 c Sol. found (all assignments made)... 213.03 c Sol. found (all assignments made)... 213.04 c Sol. found (all assignments made)... 219.01 c Sol. found (all assignments made)... 219.05 c Sol. found (all assignments made)... 219.09 c Sol. found (all assignments made)... 219.17 c Sol. found (all assignments made)... 219.19 c Sol. found (all assignments made)... 219.23 c Sol. found (all assignments made)... 219.40 c Sol. found (all assignments made)... 219.43 c Sol. found (all assignments made)... 219.67 c Sol. found (all assignments made)... 219.81 c Sol. found (all assignments made)... 219.82 c Sol. found (all assignments made)... 219.88 c Sol. found (all assignments made)... 219.96 c Sol. found (all assignments made)... 219.98 c Sol. found (all assignments made)... 220.01 c Sol. found (all assignments made)... 220.08 c Sol. found (all assignments made)... 220.11 c Sol. found (all assignments made)... 220.54 c Sol. found (all assignments made)... 220.76 c Sol. found (all assignments made)... 220.79 c Sol. found (all assignments made)... 221.06 c Sol. found (all assignments made)... 221.29 c Sol. found (all assignments made)... 221.34 c Sol. found (all assignments made)... 221.35 c Sol. found (all assignments made)... 221.44 c Sol. found (all assignments made)... 221.70 c Sol. found (all assignments made)... 221.70 o 21066271 221.70 c NEW SOLUTION FOUND: 21066271 @ 221.58 221.79 c Sol. found (all assignments made)... 221.80 c Sol. found (all assignments made)... 222.01 c Sol. found (all assignments made)... 222.04 c Sol. found (all assignments made)... 222.19 c Sol. found (all assignments made)... 222.21 c Sol. found (all assignments made)... 222.26 c Sol. found (all assignments made)... 222.39 c Sol. found (all assignments made)... 222.42 c Sol. found (all assignments made)... 222.49 c Sol. found (all assignments made)... 222.64 c Sol. found (all assignments made)... 222.78 c Sol. found (all assignments made)... 223.27 c Sol. found (all assignments made)... 223.29 c Sol. found (all assignments made)... 223.32 c Sol. found (all assignments made)... 223.32 o 21066095 223.32 c NEW SOLUTION FOUND: 21066095 @ 223.2 223.35 c Sol. found (all assignments made)... 223.37 c Sol. found (all assignments made)... 223.37 c Sol. found (all assignments made)... 223.38 c Sol. found (all assignments made)... 223.47 c Sol. found (all assignments made)... 223.87 c Sol. found (all assignments made)... 224.00 c Sol. found (all assignments made)... 224.18 c Sol. found (all assignments made)... 224.30 c Sol. found (all assignments made)... 224.34 c Sol. found (all assignments made)... 224.52 c Sol. found (all assignments made)... 224.56 c Sol. found (all assignments made)... 224.81 c Sol. found (all assignments made)... 224.85 c Sol. found (all assignments made)... 225.03 c Sol. found (all assignments made)... 225.06 c Sol. found (all assignments made)... 225.09 c Sol. found (all assignments made)... 225.13 c Sol. found (all assignments made)... 225.14 c Sol. found (all assignments made)... 225.22 c Sol. found (all assignments made)... 225.24 c Sol. found (all assignments made)... 225.28 c Sol. found (all assignments made)... 225.31 c Sol. found (all assignments made)... 225.33 c Sol. found (all assignments made)... 225.33 c Sol. found (all assignments made)... 225.39 c Sol. found (all assignments made)... 225.42 c Sol. found (all assignments made)... 225.45 c Sol. found (all assignments made)... 225.46 c Sol. found (all assignments made)... 225.58 c Sol. found (all assignments made)... 225.61 c Sol. found (all assignments made)... 225.68 c Sol. found (all assignments made)... 225.71 c Sol. found (all assignments made)... 225.71 c Sol. found (all assignments made)... 225.86 c Sol. found (all assignments made)... 225.91 c Sol. found (all assignments made)... 226.18 c Sol. found (all assignments made)... 226.22 c Sol. found (all assignments made)... 226.44 c Sol. found (all assignments made)... 226.54 c Sol. found (all assignments made)... 226.79 c Sol. found (all assignments made)... 226.90 c Sol. found (all assignments made)... 227.05 c Sol. found (all assignments made)... 227.95 c Sol. found (all assignments made)... 227.99 c Sol. found (all assignments made)... 228.02 c Sol. found (all assignments made)... 228.06 c Sol. found (all assignments made)... 228.08 c Sol. found (all assignments made)... 228.11 c Sol. found (all assignments made)... 228.14 c Sol. found (all assignments made)... 228.16 c Sol. found (all assignments made)... 228.19 c Sol. found (all assignments made)... 228.19 c Sol. found (all assignments made)... 228.22 c Sol. found (all assignments made)... 228.23 c Sol. found (all assignments made)... 228.24 c Sol. found (all assignments made)... 228.28 c Sol. found (all assignments made)... 228.31 c Sol. found (all assignments made)... 228.35 c Sol. found (all assignments made)... 228.35 c Sol. found (all assignments made)... 228.38 c Sol. found (all assignments made)... 228.42 c Sol. found (all assignments made)... 228.45 c Sol. found (all assignments made)... 228.47 c Sol. found (all assignments made)... 228.50 c Sol. found (all assignments made)... 228.54 c Sol. found (all assignments made)... 228.57 c Sol. found (all assignments made)... 228.57 c Sol. found (all assignments made)... 228.61 c Sol. found (all assignments made)... 228.62 c Sol. found (all assignments made)... 228.63 c Sol. found (all assignments made)... 228.67 c Sol. found (all assignments made)... 228.71 c Sol. found (all assignments made)... 228.74 c Sol. found (all assignments made)... 228.74 c Sol. found (all assignments made)... 228.78 c Sol. found (all assignments made)... 228.78 c Sol. found (all assignments made)... 228.80 c Sol. found (all assignments made)... 228.83 c Sol. found (all assignments made)... 228.90 c Sol. found (all assignments made)... 228.93 c Sol. found (all assignments made)... 228.94 c Sol. found (all assignments made)... 228.97 c Sol. found (all assignments made)... 229.00 c Sol. found (all assignments made)... 229.05 c Sol. found (all assignments made)... 229.06 c Sol. found (all assignments made)... 229.10 c Sol. found (all assignments made)... 229.11 c Sol. found (all assignments made)... 229.14 c Sol. found (all assignments made)... 229.16 c Sol. found (all assignments made)... 229.20 c Sol. found (all assignments made)... 229.20 c Sol. found (all assignments made)... 229.22 c Sol. found (all assignments made)... 229.26 c Sol. found (all assignments made)... 229.30 c Sol. found (all assignments made)... 229.32 c Sol. found (all assignments made)... 229.36 c Sol. found (all assignments made)... 229.38 c Sol. found (all assignments made)... 229.42 c Sol. found (all assignments made)... 229.46 c Sol. found (all assignments made)... 229.48 c Sol. found (all assignments made)... 229.51 c Sol. found (all assignments made)... 229.53 c Sol. found (all assignments made)... 229.57 c Sol. found (all assignments made)... 229.57 c Sol. found (all assignments made)... 229.60 c Sol. found (all assignments made)... 229.61 c Sol. found (all assignments made)... 229.62 c Sol. found (all assignments made)... 229.69 c Sol. found (all assignments made)... 229.70 c Sol. found (all assignments made)... 229.71 c Sol. found (all assignments made)... 229.71 o 20986260 229.71 c NEW SOLUTION FOUND: 20986260 @ 229.59 229.74 c Sol. found (all assignments made)... 229.74 o 20986259 229.74 c NEW SOLUTION FOUND: 20986259 @ 229.62 229.77 c Sol. found (all assignments made)... 229.77 c Sol. found (all assignments made)... 229.81 c Sol. found (all assignments made)... 229.84 c Sol. found (all assignments made)... 229.87 c Sol. found (all assignments made)... 229.90 c Sol. found (all assignments made)... 229.90 c Sol. found (all assignments made)... 229.93 c Sol. found (all assignments made)... 229.97 c Sol. found (all assignments made)... 230.05 c Sol. found (all assignments made)... 230.10 c Sol. found (all assignments made)... 230.16 c Sol. found (all assignments made)... 230.22 c Sol. found (all assignments made)... 230.27 c Sol. found (all assignments made)... 230.33 c Sol. found (all assignments made)... 230.45 c Sol. found (all assignments made)... 230.50 c Sol. found (all assignments made)... 230.55 c Sol. found (all assignments made)... 231.79 c Sol. found (all assignments made)... 231.85 c Sol. found (all assignments made)... 231.89 c Sol. found (all assignments made)... 232.59 c Sol. found (all assignments made)... 232.60 c Sol. found (all assignments made)... 232.62 c Sol. found (all assignments made)... 232.65 c Sol. found (all assignments made)... 232.68 c Sol. found (all assignments made)... 232.69 c Sol. found (all assignments made)... 232.70 c Sol. found (all assignments made)... 232.73 c Sol. found (all assignments made)... 232.76 c Sol. found (all assignments made)... 232.79 c Sol. found (all assignments made)... 232.81 c Sol. found (all assignments made)... 232.82 c Sol. found (all assignments made)... 232.85 c Sol. found (all assignments made)... 232.89 c Sol. found (all assignments made)... 232.91 c Sol. found (all assignments made)... 232.94 c Sol. found (all assignments made)... 232.99 c Sol. found (all assignments made)... 233.02 c Sol. found (all assignments made)... 233.05 c Sol. found (all assignments made)... 233.09 c Sol. found (all assignments made)... 233.12 c Sol. found (all assignments made)... 233.15 c Sol. found (all assignments made)... 233.17 c Sol. found (all assignments made)... 233.22 c Sol. found (all assignments made)... 233.25 c Sol. found (all assignments made)... 233.29 c Sol. found (all assignments made)... 233.33 c Sol. found (all assignments made)... 233.35 c Sol. found (all assignments made)... 233.39 c Sol. found (all assignments made)... 233.42 c Sol. found (all assignments made)... 233.43 c Sol. found (all assignments made)... 233.47 c Sol. found (all assignments made)... 233.52 c Sol. found (all assignments made)... 233.57 c Sol. found (all assignments made)... 233.59 c Sol. found (all assignments made)... 233.63 c Sol. found (all assignments made)... 233.66 c Sol. found (all assignments made)... 233.69 c Sol. found (all assignments made)... 233.71 c Sol. found (all assignments made)... 233.75 c Sol. found (all assignments made)... 233.76 c Sol. found (all assignments made)... 233.80 c Sol. found (all assignments made)... 233.84 c Sol. found (all assignments made)... 233.85 c Sol. found (all assignments made)... 233.88 c Sol. found (all assignments made)... 233.93 c Sol. found (all assignments made)... 233.96 c Sol. found (all assignments made)... 233.98 c Sol. found (all assignments made)... 234.02 c Sol. found (all assignments made)... 234.05 c Sol. found (all assignments made)... 234.09 c Sol. found (all assignments made)... 234.11 c Sol. found (all assignments made)... 234.15 c Sol. found (all assignments made)... 234.40 c Sol. found (all assignments made)... 234.45 c Sol. found (all assignments made)... 234.50 c Sol. found (all assignments made)... 235.74 c Sol. found (all assignments made)... 236.69 c Sol. found (all assignments made)... 236.88 c Sol. found (all assignments made)... 236.89 c Sol. found (all assignments made)... 236.95 c Sol. found (all assignments made)... 236.99 c Sol. found (all assignments made)... 237.03 c Sol. found (all assignments made)... 237.05 c Sol. found (all assignments made)... 237.08 c Sol. found (all assignments made)... 237.15 c Sol. found (all assignments made)... 237.17 c Sol. found (all assignments made)... 237.20 c Sol. found (all assignments made)... 237.22 c Sol. found (all assignments made)... 237.27 c Sol. found (all assignments made)... 237.30 c Sol. found (all assignments made)... 237.34 c Sol. found (all assignments made)... 237.38 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.48 c Sol. found (all assignments made)... 237.50 c Sol. found (all assignments made)... 237.50 c Sol. found (all assignments made)... 237.57 c Sol. found (all assignments made)... 237.59 c Sol. found (all assignments made)... 237.60 c Sol. found (all assignments made)... 237.63 c Sol. found (all assignments made)... 237.67 c Sol. found (all assignments made)... 237.70 c Sol. found (all assignments made)... 237.74 c Sol. found (all assignments made)... 238.22 c Sol. found (all assignments made)... 242.21 c Sol. found (all assignments made)... 242.52 c Sol. found (all assignments made)... 243.06 c Sol. found (all assignments made)... 244.36 c Sol. found (all assignments made)... 245.59 c Sol. found (all assignments made)... 248.53 c Sol. found (all assignments made)... 251.28 c Sol. found (all assignments made)... 251.28 o 20979949 251.28 c NEW SOLUTION FOUND: 20979949 @ 251.15 251.29 c Sol. found (all assignments made)... 251.30 c Sol. found (all assignments made)... 251.33 c Sol. found (all assignments made)... 251.34 c Sol. found (all assignments made)... 251.34 o 20979938 251.34 c NEW SOLUTION FOUND: 20979938 @ 251.21 251.37 c Sol. found (all assignments made)... 251.39 c Sol. found (all assignments made)... 251.39 c Sol. found (all assignments made)... 251.40 c Sol. found (all assignments made)... 251.42 c Sol. found (all assignments made)... 251.44 c Sol. found (all assignments made)... 251.45 c Sol. found (all assignments made)... 251.55 c Sol. found (all assignments made)... 251.56 c Sol. found (all assignments made)... 251.56 o 20979905 251.56 c NEW SOLUTION FOUND: 20979905 @ 251.43 251.57 c Sol. found (all assignments made)... 251.59 c Sol. found (all assignments made)... 251.61 c Sol. found (all assignments made)... 251.61 o 20979894 251.61 c NEW SOLUTION FOUND: 20979894 @ 251.48 251.64 c Sol. found (all assignments made)... 251.65 c Sol. found (all assignments made)... 251.66 c Sol. found (all assignments made)... 251.66 c Sol. found (all assignments made)... 251.69 c Sol. found (all assignments made)... 251.70 c Sol. found (all assignments made)... 251.71 c Sol. found (all assignments made)... 251.83 c Sol. found (all assignments made)... 251.85 c Sol. found (all assignments made)... 251.85 o 20979608 251.85 c NEW SOLUTION FOUND: 20979608 @ 251.72 251.85 c Sol. found (all assignments made)... 251.87 c Sol. found (all assignments made)... 251.91 c Sol. found (all assignments made)... 251.92 c Sol. found (all assignments made)... 251.93 c Sol. found (all assignments made)... 251.97 c Sol. found (all assignments made)... 251.98 c Sol. found (all assignments made)... 251.98 o 20979586 251.98 c NEW SOLUTION FOUND: 20979586 @ 251.85 252.01 c Sol. found (all assignments made)... 252.02 c Sol. found (all assignments made)... 252.03 c Sol. found (all assignments made)... 252.08 c Sol. found (all assignments made)... 252.09 c Sol. found (all assignments made)... 252.09 o 20979553 252.09 c NEW SOLUTION FOUND: 20979553 @ 251.96 252.09 c Sol. found (all assignments made)... 252.12 c Sol. found (all assignments made)... 252.14 c Sol. found (all assignments made)... 252.15 c Sol. found (all assignments made)... 252.15 c Sol. found (all assignments made)... 252.18 c Sol. found (all assignments made)... 252.19 c Sol. found (all assignments made)... 252.20 c Sol. found (all assignments made)... 252.24 c Sol. found (all assignments made)... 252.25 c Sol. found (all assignments made)... 252.25 o 20979542 252.25 c NEW SOLUTION FOUND: 20979542 @ 252.12 252.49 c Sol. found (all assignments made)... 252.53 c Sol. found (all assignments made)... 252.55 c Sol. found (all assignments made)... 252.59 c Sol. found (all assignments made)... 252.62 c Sol. found (all assignments made)... 252.64 c Sol. found (all assignments made)... 252.67 c Sol. found (all assignments made)... 252.71 c Sol. found (all assignments made)... 254.20 c Sol. found (all assignments made)... 256.84 c Sol. found (all assignments made)... 256.98 c Sol. found (all assignments made)... 258.98 c Sol. found (all assignments made)... 259.01 c Sol. found (all assignments made)... 259.02 c Sol. found (all assignments made)... 259.05 c Sol. found (all assignments made)... 259.06 c Sol. found (all assignments made)... 259.09 c Sol. found (all assignments made)... 259.14 c Sol. found (all assignments made)... 259.35 c Sol. found (all assignments made)... 259.36 c Sol. found (all assignments made)... 259.44 c Sol. found (all assignments made)... 259.45 c Sol. found (all assignments made)... 267.85 c Sol. found (all assignments made)... 267.85 c Sol. found (all assignments made)... 267.86 c Sol. found (all assignments made)... 267.88 c Sol. found (all assignments made)... 267.89 c Sol. found (all assignments made)... 267.92 c Sol. found (all assignments made)... 267.92 o 20974086 267.92 c NEW SOLUTION FOUND: 20974086 @ 267.79 267.93 c Sol. found (all assignments made)... 267.93 c Sol. found (all assignments made)... 267.96 c Sol. found (all assignments made)... 267.97 c Sol. found (all assignments made)... 267.97 c Sol. found (all assignments made)... 267.99 c Sol. found (all assignments made)... 268.01 c Sol. found (all assignments made)... 268.02 c Sol. found (all assignments made)... 268.05 c Sol. found (all assignments made)... 268.11 c Sol. found (all assignments made)... 268.13 c Sol. found (all assignments made)... 268.15 c Sol. found (all assignments made)... 268.15 c Sol. found (all assignments made)... 268.17 c Sol. found (all assignments made)... 268.21 c Sol. found (all assignments made)... 268.21 c Sol. found (all assignments made)... 268.22 c Sol. found (all assignments made)... 268.24 c Sol. found (all assignments made)... 268.25 c Sol. found (all assignments made)... 268.25 c Sol. found (all assignments made)... 268.27 c Sol. found (all assignments made)... 268.28 c Sol. found (all assignments made)... 268.31 c Sol. found (all assignments made)... 268.34 c Sol. found (all assignments made)... 268.34 c Sol. found (all assignments made)... 268.35 c Sol. found (all assignments made)... 268.37 c Sol. found (all assignments made)... 268.38 c Sol. found (all assignments made)... 268.38 c Sol. found (all assignments made)... 268.41 c Sol. found (all assignments made)... 268.41 c Sol. found (all assignments made)... 268.47 c Sol. found (all assignments made)... 268.49 c Sol. found (all assignments made)... 268.54 c Sol. found (all assignments made)... 268.61 c Sol. found (all assignments made)... 268.61 c Sol. found (all assignments made)... 268.64 c Sol. found (all assignments made)... 268.65 c Sol. found (all assignments made)... 268.84 c Sol. found (all assignments made)... 268.89 c Sol. found (all assignments made)... 268.98 c Sol. found (all assignments made)... 269.04 c Sol. found (all assignments made)... 269.10 c Sol. found (all assignments made)... 269.10 o 20973943 269.10 c NEW SOLUTION FOUND: 20973943 @ 268.97 269.13 c Sol. found (all assignments made)... 269.13 c Sol. found (all assignments made)... 269.14 c Sol. found (all assignments made)... 269.16 c Sol. found (all assignments made)... 269.18 c Sol. found (all assignments made)... 269.21 c Sol. found (all assignments made)... 269.24 c Sol. found (all assignments made)... 269.24 o 20973921 269.24 c NEW SOLUTION FOUND: 20973921 @ 269.1 269.25 c Sol. found (all assignments made)... 269.25 c Sol. found (all assignments made)... 269.27 c Sol. found (all assignments made)... 269.31 c Sol. found (all assignments made)... 269.34 c Sol. found (all assignments made)... 269.34 o 20973910 269.34 c NEW SOLUTION FOUND: 20973910 @ 269.21 269.34 c Sol. found (all assignments made)... 269.35 c Sol. found (all assignments made)... 269.38 c Sol. found (all assignments made)... 269.39 c Sol. found (all assignments made)... 269.41 c Sol. found (all assignments made)... 269.46 c Sol. found (all assignments made)... 269.50 c Sol. found (all assignments made)... 269.54 c Sol. found (all assignments made)... 269.58 c Sol. found (all assignments made)... 269.62 c Sol. found (all assignments made)... 269.62 c Sol. found (all assignments made)... 269.65 c Sol. found (all assignments made)... 269.67 c Sol. found (all assignments made)... 273.36 c Sol. found (all assignments made)... 273.88 c Sol. found (all assignments made)... 274.73 c Sol. found (all assignments made)... 274.75 c Sol. found (all assignments made)... 274.81 c Sol. found (all assignments made)... 274.85 c Sol. found (all assignments made)... 274.88 c Sol. found (all assignments made)... 274.94 c Sol. found (all assignments made)... 278.97 c Sol. found (all assignments made)... 279.07 c Sol. found (all assignments made)... 279.26 c Sol. found (all assignments made)... 279.33 c Sol. found (all assignments made)... 279.42 c Sol. found (all assignments made)... 279.51 c Sol. found (all assignments made)... 279.56 c Sol. found (all assignments made)... 279.67 c Sol. found (all assignments made)... 279.70 c Sol. found (all assignments made)... 280.03 c Sol. found (all assignments made)... 280.28 c Sol. found (all assignments made)... 280.35 c Sol. found (all assignments made)... 280.54 c Sol. found (all assignments made)... 280.73 c Sol. found (all assignments made)... 280.85 c Sol. found (all assignments made)... 280.93 c Sol. found (all assignments made)... 280.96 c Sol. found (all assignments made)... 281.08 c Sol. found (all assignments made)... 281.14 c Sol. found (all assignments made)... 281.17 c Sol. found (all assignments made)... 281.41 c Sol. found (all assignments made)... 281.45 c Sol. found (all assignments made)... 281.60 c Sol. found (all assignments made)... 281.67 c Sol. found (all assignments made)... 281.71 c Sol. found (all assignments made)... 281.72 c Sol. found (all assignments made)... 281.77 c Sol. found (all assignments made)... 282.00 c Sol. found (all assignments made)... 282.05 c Sol. found (all assignments made)... 282.53 c Sol. found (all assignments made)... 282.65 c Sol. found (all assignments made)... 282.69 c Sol. found (all assignments made)... 283.61 c Sol. found (all assignments made)... 283.64 c Sol. found (all assignments made)... 283.85 c Sol. found (all assignments made)... 283.88 c Sol. found (all assignments made)... 284.17 c Sol. found (all assignments made)... 284.21 c Sol. found (all assignments made)... 284.53 c Sol. found (all assignments made)... 284.67 c Sol. found (all assignments made)... 284.79 c Sol. found (all assignments made)... 284.87 c Sol. found (all assignments made)... 284.91 c Sol. found (all assignments made)... 285.01 c Sol. found (all assignments made)... 285.04 c Sol. found (all assignments made)... 285.48 c Sol. found (all assignments made)... 285.51 c Sol. found (all assignments made)... 285.65 c Sol. found (all assignments made)... 285.73 c Sol. found (all assignments made)... 287.07 c Sol. found (all assignments made)... 287.14 c Sol. found (all assignments made)... 287.85 c Sol. found (all assignments made)... 291.37 c Sol. found (all assignments made)... 291.41 c Sol. found (all assignments made)... 291.68 c Sol. found (all assignments made)... 291.72 c Sol. found (all assignments made)... 291.79 c Sol. found (all assignments made)... 291.92 c Sol. found (all assignments made)... 291.97 c Sol. found (all assignments made)... 292.29 c Sol. found (all assignments made)... 292.60 c Sol. found (all assignments made)... 293.06 c Sol. found (all assignments made)... 293.10 c Sol. found (all assignments made)... 293.45 c Sol. found (all assignments made)... 293.64 c Sol. found (all assignments made)... 293.85 c Sol. found (all assignments made)... 293.88 c Sol. found (all assignments made)... 294.46 c Sol. found (all assignments made)... 294.74 c Sol. found (all assignments made)... 295.13 c Sol. found (all assignments made)... 295.18 c Sol. found (all assignments made)... 295.25 c Sol. found (all assignments made)... 295.53 c Sol. found (all assignments made)... 295.80 c Sol. found (all assignments made)... 295.87 c Sol. found (all assignments made)... 296.28 c Sol. found (all assignments made)... 296.37 c Sol. found (all assignments made)... 296.46 c Sol. found (all assignments made)... 296.96 c Sol. found (all assignments made)... 297.15 c Sol. found (all assignments made)... 297.83 c Sol. found (all assignments made)... 297.87 c Sol. found (all assignments made)... 301.19 c Sol. found (all assignments made)... 301.95 c Sol. found (all assignments made)... 302.28 c Sol. found (all assignments made)... 302.32 c Sol. found (all assignments made)... 302.50 c Sol. found (all assignments made)... 302.58 c Sol. found (all assignments made)... 302.96 c Sol. found (all assignments made)... 303.00 c Sol. found (all assignments made)... 303.03 c Sol. found (all assignments made)... 303.33 c Sol. found (all assignments made)... 303.37 c Sol. found (all assignments made)... 303.43 c Sol. found (all assignments made)... 303.50 c Sol. found (all assignments made)... 303.68 c Sol. found (all assignments made)... 303.82 c Sol. found (all assignments made)... 304.16 c Sol. found (all assignments made)... 304.38 c Sol. found (all assignments made)... 305.05 c Sol. found (all assignments made)... 305.12 c Sol. found (all assignments made)... 305.42 c Sol. found (all assignments made)... 305.46 c Sol. found (all assignments made)... 306.56 c Sol. found (all assignments made)... 306.74 c Sol. found (all assignments made)... 306.83 c Sol. found (all assignments made)... 306.85 c Sol. found (all assignments made)... 306.89 c Sol. found (all assignments made)... 307.06 c Sol. found (all assignments made)... 307.09 c Sol. found (all assignments made)... 307.12 c Sol. found (all assignments made)... 307.21 c Sol. found (all assignments made)... 307.34 c Sol. found (all assignments made)... 307.42 c Sol. found (all assignments made)... 307.54 c Sol. found (all assignments made)... 308.80 c Sol. found (all assignments made)... 308.90 c Restart #46 #Var: 3698 LB: 0 @ 308.75 315.04 c Restart #47 #Var: 3698 LB: 0 @ 314.9 317.72 c Restart #48 #Var: 3698 LB: 0 @ 317.58 332.68 c Restart #49 #Var: 3698 LB: 0 @ 332.53 335.62 c CHANGE to MIS mode... UB: 20973910 MIS: 64 LPR: -2147483648 (0) Diff: -2.9802e-08 335.62 c Restart #0 #Var: 3698 LB: 0 @ 335.47 336.19 c Restart #1 #Var: 3698 LB: 64 @ 336.04 336.71 c Restart #2 #Var: 3698 LB: 64 @ 336.56 337.23 c Restart #3 #Var: 3698 LB: 64 @ 337.07 338.70 c Restart #4 #Var: 3698 LB: 64 @ 338.55 344.43 c Restart #5 #Var: 3698 LB: 64 @ 344.28 351.73 c Restart #6 #Var: 3698 LB: 64 @ 351.57 354.32 c Restart #7 #Var: 3698 LB: 64 @ 354.16 361.07 c Restart #8 #Var: 3698 LB: 64 @ 360.92 363.17 c Restart #9 #Var: 3698 LB: 0 @ 363.01 376.36 c Restart #10 #Var: 3698 LB: 64 @ 376.2 377.73 c Restart #11 #Var: 3698 LB: 64 @ 377.56 386.90 c Restart #12 #Var: 3698 LB: 64 @ 386.74 388.72 c Restart #13 #Var: 3698 LB: 64 @ 388.55 392.82 c Restart #14 #Var: 3698 LB: 64 @ 392.65 394.92 c Restart #15 #Var: 3698 LB: 64 @ 394.75 407.90 c Restart #16 #Var: 3698 LB: 64 @ 407.74 415.21 c Restart #17 #Var: 3698 LB: 64 @ 415.04 418.57 c Restart #18 #Var: 3698 LB: 64 @ 418.4 422.09 c Restart #19 #Var: 3698 LB: 64 @ 421.92 425.28 c Restart #20 #Var: 3698 LB: 64 @ 425.11 429.83 c Restart #21 #Var: 3698 LB: 64 @ 429.66 432.00 c Restart #22 #Var: 3698 LB: 64 @ 431.83 437.69 c Restart #23 #Var: 3698 LB: 64 @ 437.51 441.89 c Restart #24 #Var: 3698 LB: 64 @ 441.71 472.66 c Restart #25 #Var: 3698 LB: 64 @ 472.48 486.53 c Restart #26 #Var: 3698 LB: 64 @ 486.34 491.24 c Restart #27 #Var: 3698 LB: 64 @ 491.05 494.33 c Restart #28 #Var: 3698 LB: 0 @ 494.15 542.61 c Restart #29 #Var: 3698 LB: 64 @ 542.41 550.86 c Restart #30 #Var: 3698 LB: 64 @ 550.66 553.87 c Restart #31 #Var: 3698 LB: 64 @ 553.67 592.63 c Restart #32 #Var: 3698 LB: 64 @ 592.42 600.58 c Restart #33 #Var: 3698 LB: 0 @ 600.36 604.10 c Restart #34 #Var: 3698 LB: 64 @ 603.89 609.65 c Restart #35 #Var: 3698 LB: 0 @ 609.44 615.62 c Restart #36 #Var: 3698 LB: 64 @ 615.4 622.47 c Restart #37 #Var: 3698 LB: 64 @ 622.25 655.46 c Restart #38 #Var: 3698 LB: 64 @ 655.23 666.76 c Restart #39 #Var: 3698 LB: 64 @ 666.53 680.91 c Sol. found (all assignments made)... 680.95 c Sol. found (all assignments made)... 680.98 c Sol. found (all assignments made)... 692.95 c Restart #40 #Var: 3698 LB: 64 @ 692.72 697.17 c Restart #41 #Var: 3698 LB: 64 @ 696.94 706.87 c Restart #42 #Var: 3698 LB: 64 @ 706.63 711.81 c Restart #43 #Var: 3698 LB: 64 @ 711.57 715.40 c Restart #44 #Var: 3698 LB: 64 @ 715.16 720.03 c Restart #45 #Var: 3698 LB: 0 @ 719.79 726.47 c Restart #46 #Var: 3698 LB: 0 @ 726.23 730.89 c Restart #47 #Var: 3698 LB: 64 @ 730.64 739.35 c Restart #48 #Var: 3698 LB: 64 @ 739.11 792.78 c Restart #49 #Var: 3698 LB: 64 @ 792.52 797.64 c Restart #50 #Var: 3698 LB: 64 @ 797.38 806.14 c Restart #51 #Var: 3698 LB: 64 @ 805.88 811.52 c Restart #52 #Var: 3698 LB: 64 @ 811.25 838.17 c Restart #53 #Var: 3698 LB: 64 @ 837.9 899.27 c Restart #54 #Var: 3698 LB: 64 @ 898.99 911.51 c Restart #55 #Var: 3698 LB: 64 @ 911.22 951.05 c Restart #56 #Var: 3698 LB: 64 @ 950.75 957.44 c Restart #57 #Var: 3698 LB: 64 @ 957.14 964.06 c Restart #58 #Var: 3698 LB: 0 @ 963.76 973.43 c Restart #59 #Var: 3698 LB: 0 @ 973.13 983.07 c Restart #60 #Var: 3698 LB: 0 @ 982.77 990.32 c Restart #61 #Var: 3698 LB: 64 @ 990.01 998.41 c Restart #62 #Var: 3698 LB: 0 @ 998.1 1033.48 c Restart #63 #Var: 3698 LB: 0 @ 1033.2 1041.63 c Restart #64 #Var: 3698 LB: 64 @ 1041.3 1047.86 c Restart #65 #Var: 3698 LB: 0 @ 1047.5 1054.07 c Restart #66 #Var: 3698 LB: 64 @ 1053.8 1064.36 c Restart #67 #Var: 3698 LB: 0 @ 1064 1070.36 c Restart #68 #Var: 3698 LB: 64 @ 1070 1134.79 c Restart #69 #Var: 3698 LB: 0 @ 1134.5 1167.79 c Restart #70 #Var: 3698 LB: 64 @ 1167.4 1173.65 c Restart #71 #Var: 3698 LB: 0 @ 1173.3 1180.51 c Restart #72 #Var: 3698 LB: 0 @ 1180.2 1193.34 c Restart #73 #Var: 3698 LB: 0 @ 1193 1201.42 c Restart #74 #Var: 3698 LB: 0 @ 1201.1 1212.50 c Restart #75 #Var: 3698 LB: 64 @ 1212.1 1225.12 c Restart #76 #Var: 3698 LB: 0 @ 1224.8 1238.37 c Restart #77 #Var: 3698 LB: 0 @ 1238 1251.99 c Restart #78 #Var: 3698 LB: 0 @ 1251.6 1265.37 c Restart #79 #Var: 3698 LB: 0 @ 1265 1281.80 c Restart #80 #Var: 3698 LB: 0 @ 1281.4 1298.88 c Restart #81 #Var: 3698 LB: 0 @ 1298.5 1420.79 c Restart #82 #Var: 3698 LB: 0 @ 1420.4 1551.28 c Restart #83 #Var: 3698 LB: 64 @ 1550.8 1557.51 c Restart #84 #Var: 3698 LB: 64 @ 1557.1 1564.50 c Restart #85 #Var: 3698 LB: 0 @ 1564.1 1578.04 c Restart #86 #Var: 3698 LB: 0 @ 1577.6 1592.38 c Restart #87 #Var: 3698 LB: 0 @ 1591.9 1607.09 c Restart #88 #Var: 3698 LB: 64 @ 1606.6 1687.48 c Restart #89 #Var: 3698 LB: 64 @ 1687 1708.56 c Restart #90 #Var: 3698 LB: 64 @ 1708.1 1718.23 c Restart #91 #Var: 3698 LB: 0 @ 1717.8 1728.18 c Restart #92 #Var: 3698 LB: 64 @ 1727.7 1738.09 c Restart #93 #Var: 3698 LB: 0 @ 1737.6 1747.45 c Restart #94 #Var: 3698 LB: 0 @ 1747 1759.81 c Restart #95 #Var: 3698 LB: 0 @ 1759.3 1800.50 s SATISFIABLE 1800.50 c Cost: 20973910 1800.50 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.50 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 -x55 1800.50 v -x56 -x57 -x58 -x59 -x60 x3361 x3362 x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1800.50 v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x5251 -x5252 1800.50 v -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 1800.50 v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5581 x5582 x5583 x5584 x5585 -x5586 -x5587 1800.50 v -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 1800.50 v -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 1800.50 v -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 1800.50 v -x5939 -x5940 x6241 x6242 x6243 x6244 x6245 -x6246 -x6247 -x6248 x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 1800.50 v -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 x6571 x6572 x6573 x6574 1800.50 v x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 1800.50 v -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 1800.50 v -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 1800.50 v -x6926 -x6927 -x6928 -x6929 -x6930 x7231 x7232 x7233 -x7234 x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 1800.50 v -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 1800.50 v x61 x62 x63 x64 x65 x66 x67 x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 1800.50 v -x89 -x90 x391 x392 x393 x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 1800.50 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x721 x722 x723 x724 x725 x726 -x727 -x728 x729 x730 x731 -x732 1800.50 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x1051 x1052 x1053 1800.50 v x1054 x1055 x1056 x1057 x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 1800.50 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.50 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1800.50 v -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1800.50 v -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1800.50 v -x1740 -x2041 x2042 x2043 x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 1800.50 v -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 1800.50 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.50 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 x2708 x2709 1800.50 v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.50 v -x2727 -x2728 -x2729 -x2730 -x3031 x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 1800.50 v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 1800.50 v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 1800.50 v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 1800.50 v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 1800.50 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 1800.50 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 1800.50 v -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 1800.50 v -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4711 1800.50 v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 1800.50 v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x5041 -x5042 -x5043 -x5044 -x5045 1800.50 v -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 1800.50 v -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 1800.50 v -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 1800.50 v -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 1800.50 v -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 1800.50 v -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 1800.50 v -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 1800.50 v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 1800.50 v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 x5287 -x5288 1800.50 v -x5289 -x5290 x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 1800.50 v -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 1800.50 v -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 1800.50 v -x5340 x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 1800.50 v -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 1800.50 v -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 1800.50 v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 x5402 x5403 x5404 x5405 x5406 x5407 x5408 x5409 1800.50 v x5410 x5411 x5412 x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 1800.50 v -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 1800.50 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 1800.50 v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 1800.50 v -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 1800.50 v -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 1800.50 v -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 1800.50 v -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 1800.50 v -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554 x5555 x5556 -x5557 x5558 x5559 x5560 x5561 -x5562 -x5563 -x5564 1800.50 v -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5611 1800.50 v -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 1800.50 v -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 1800.50 v -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 1800.50 v -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 1800.50 v -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 1800.50 v -x5697 -x5698 -x5699 -x5700 -x5701 x5702 x5703 -x5704 x5705 x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 1800.50 v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 1800.50 v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 1800.50 v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 1800.50 v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 1800.50 v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 1800.50 v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 1800.50 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 1800.50 v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 1800.50 v -x5851 -x5852 -x5853 -x5854 -x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 1800.50 v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 1800.50 v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 1800.50 v -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5941 x5942 x5943 x5944 x5945 x5946 x5947 -x5948 x5949 x5950 1800.50 v x5951 x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 1800.50 v -x5969 -x5970 x5971 x5972 x5973 x5974 x5975 -x5976 -x5977 x5978 x5979 x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 1800.50 v -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 x6001 x6002 x6003 x6004 x6005 1800.50 v x6006 x6007 x6008 x6009 x6010 x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 1800.50 v -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 1800.50 v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 1800.50 v -x6058 -x6059 -x6060 -x6061 -x6062 x6063 x6064 x6065 x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 1800.50 v -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 x6091 x6092 x6093 1800.50 v x6094 x6095 x6096 x6097 x6098 x6099 x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 1800.50 v -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 1800.50 v -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 1800.50 v -x6146 -x6147 -x6148 -x6149 -x6150 x6151 x6152 x6153 x6154 x6155 x6156 x6157 x6158 x6159 x6160 x6161 x6162 x6163 -x6164 1800.50 v -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 1800.50 v -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 1800.50 v -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 x6211 x6212 x6213 x6214 -x6215 -x6216 1800.50 v -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 1800.50 v -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 x6271 x6272 x6273 x6274 x6275 x6276 x6277 x6278 x6279 x6280 -x6281 x6282 1800.50 v -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 1800.50 v -x6300 x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 1800.50 v -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 1800.50 v -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 x6343 x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 1800.50 v -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 1800.50 v -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 1800.50 v -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 1800.50 v -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 1800.50 v -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 1800.50 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 1800.50 v -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 1800.50 v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 1800.50 v -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 1800.50 v -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 1800.50 v -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 1800.50 v -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 1800.50 v -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6601 -x6602 1800.50 v -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 1800.50 v -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 x6633 x6634 x6635 x6636 x6637 1800.50 v x6638 x6639 x6640 x6641 x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 1800.50 v -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 x6671 -x6672 -x6673 1800.50 v -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 1800.50 v -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 1800.50 v -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 1800.50 v -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 1800.50 v -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 1800.50 v -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 1800.50 v -x6776 -x6777 -x6778 -x6779 -x6780 x6781 -x6782 -x6783 -x6784 x6785 -x6786 -x6787 -x6788 x6789 -x6790 x6791 x6792 x6793 1800.50 v -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 1800.50 v -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 1800.50 v -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 x6841 x6842 x6843 x6844 x6845 1800.50 v x6846 x6847 x6848 x6849 x6850 x6851 x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 1800.50 v -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 1800.50 v -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 1800.50 v -x6898 -x6899 -x6900 -x6931 -x6932 x6933 -x6934 -x6935 x6936 x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 1800.50 v -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 1800.50 v -x6963 x6964 -x6965 -x6966 -x6967 x6968 -x6969 x6970 x6971 -x6972 x6973 x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 1800.50 v -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 1800.50 v -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 1800.50 v -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 1800.50 v -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 1800.50 v -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 1800.50 v -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 x7082 1800.50 v x7083 x7084 x7085 x7086 x7087 x7088 x7089 x7090 x7091 x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 1800.50 v -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 1800.50 v -x7119 -x7120 x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 1800.50 v -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 x7151 -x7152 1800.50 v -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 1800.50 v -x7170 x7171 x7172 x7173 x7174 x7175 x7176 x7177 x7178 x7179 x7180 x7181 x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 1800.50 v -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 x7201 -x7202 x7203 x7204 -x7205 -x7206 1800.50 v -x7207 -x7208 -x7209 -x7210 x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 1800.50 v -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 x7261 x7262 x7263 x7264 x7265 x7266 x7267 x7268 x7269 x7270 x7271 x7272 1800.50 v -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 1800.50 v -x7290 x7291 x7292 x7293 x7294 -x7295 -x7296 x7297 x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 1800.50 v -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 x7321 x7322 x7323 x7324 x7325 1800.50 v x7326 x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 1800.50 v -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 x7351 x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 1800.50 v -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 1800.50 v -x7379 -x7380 x7381 x7382 x7383 x7384 x7385 x7386 x7387 x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 1800.50 v -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 x7411 x7412 x7413 x7414 x7415 1800.50 v x7416 x7417 x7418 x7419 x7420 x7421 x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 1800.50 v -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 x7441 x7442 x7443 x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 1800.50 v -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 1800.50 v -x7469 -x7470 x7471 x7472 x7473 x7474 x7475 x7476 x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 1800.50 v -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 1800.50 v -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 1800.50 v -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 x7532 -x7533 x7534 -x7535 x7536 -x7537 -x7538 1800.50 v x7539 x7540 x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 1800.50 v -x7557 -x7558 -x7559 -x7560 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.50 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 x123 x124 -x125 -x126 -x127 -x128 -x129 1800.50 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.50 v x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.50 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.50 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.50 v -x214 -x215 x216 x217 x218 x219 x220 x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.50 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1800.50 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1800.50 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.50 v -x299 -x300 -x301 -x302 -x303 x304 -x305 x306 x307 x308 x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.50 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 -x333 -x334 x335 x336 -x337 x338 x339 x340 -x341 -x342 1800.50 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 1800.50 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.50 v -x385 -x386 -x387 -x388 -x389 -x390 -x421 x422 x423 x424 x425 x426 x427 -x428 -x429 x430 x431 -x432 -x433 -x434 -x435 -x436 1800.50 v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1800.50 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1800.50 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 1800.50 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 1800.50 v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 1800.50 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 1800.50 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 -x573 -x574 x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 1800.50 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 1800.50 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 1800.50 v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 1800.50 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 x662 -x663 x664 -x665 -x666 -x667 1800.50 v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1800.50 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 1800.50 v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1800.50 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 1800.50 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 1800.50 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 1800.50 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 1800.50 v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 1800.50 v -x866 -x867 -x868 -x869 -x870 x871 x872 x873 -x874 -x875 x876 -x877 x878 x879 -x880 -x881 x882 x883 -x884 -x885 -x886 -x887 1800.50 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.50 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.50 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1800.50 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.50 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.50 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.50 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.50 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.50 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 x1083 x1084 x1085 x1086 -x1087 -x1088 x1089 -x1090 x1091 x1092 1800.50 v -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.50 v -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.50 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.50 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1800.50 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1800.50 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1800.50 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1800.50 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1800.50 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1800.50 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 x1264 1800.50 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 1800.50 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 x1298 -x1299 1800.50 v -x1300 x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1800.50 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.50 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 1800.50 v x1352 x1353 x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1800.50 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 1800.50 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.50 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1800.50 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1800.50 v -x1469 -x1470 x1471 x1472 x1473 x1474 -x1475 x1476 -x1477 x1478 x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 1800.50 v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 1800.50 v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 1800.50 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1800.50 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1800.50 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1800.50 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1800.50 v -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 1800.50 v -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 1800.50 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 1800.50 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 1800.50 v -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 1800.50 v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 1800.50 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1800.50 v -x1709 -x1710 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.50 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 1800.50 v -x1773 -x1774 -x1775 x1776 -x1777 x1778 -x1779 x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.50 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 -x1809 1800.50 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.50 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1800.50 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1800.50 v x1861 x1862 -x1863 -x1864 x1865 -x1866 x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1800.50 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 x1893 -x1894 -x1895 -x1896 1800.50 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 1800.50 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 1800.50 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 1800.50 v -x1948 -x1949 -x1950 x1951 x1952 x1953 x1954 x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 1800.50 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 1800.50 v -x1983 x1984 x1985 x1986 -x1987 -x1988 x1989 x1990 -x1991 -x1992 x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.50 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 1800.50 v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 1800.50 v -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 x2072 x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1800.50 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1800.50 v x2101 x2102 x2103 -x2104 x2105 x2106 x2107 x2108 x2109 x2110 x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 1800.50 v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1800.50 v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 1800.50 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 1800.50 v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 1800.50 v -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 1800.50 v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 1800.50 v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 1800.50 v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 1800.50 v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 1800.50 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 1800.50 v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 1800.50 v -x2308 -x2309 -x2310 -x2311 -x2312 x2313 x2314 x2315 x2316 x2317 x2318 x2319 x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1800.50 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 1800.50 v x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1800.50 v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.50 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1800.50 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 1800.50 v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.50 v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1800.50 v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 1800.50 v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 1800.50 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 x2522 x2523 x2524 x2525 x2526 x2527 x2528 -x2529 1800.50 v x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 1800.50 v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 1800.50 v -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 1800.50 v x2582 x2583 x2584 x2585 x2586 x2587 x2588 x2589 x2590 x2591 x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1800.50 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 x2612 x2613 x2614 x2615 x2616 x2617 x2618 x2619 1800.50 v x2620 x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1800.50 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1800.50 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1800.50 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1800.50 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 x2735 1800.50 v x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1800.50 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 x2763 x2764 x2765 x2766 x2767 x2768 x2769 x2770 x2771 x2772 1800.50 v -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 1800.50 v -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 1800.50 v -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 x2822 x2823 x2824 1800.50 v x2825 x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1800.50 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1800.50 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1800.50 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 x2893 -x2894 1800.50 v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 1800.50 v x2912 x2913 x2914 x2915 x2916 x2917 x2918 x2919 x2920 x2921 x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1800.50 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 1800.50 v -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 1800.50 v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 1800.50 v -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 1800.50 v -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1800.50 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 x3062 1800.50 v -x3063 -x3064 x3065 x3066 x3067 -x3068 -x3069 x3070 x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 1800.50 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 1800.50 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 1800.50 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 x3131 -x3132 -x3133 1800.50 v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 1800.50 v x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 1800.50 v -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 x3183 -x3184 -x3185 x3186 1800.50 v -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 1800.50 v -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 x3212 -x3213 -x3214 -x3215 -x3216 x3217 x3218 x3219 x3220 -x3221 1800.50 v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 1800.50 v -x3239 -x3240 x3241 x3242 x3243 x3244 x3245 x3246 -x3247 -x3248 -x3249 x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.50 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1800.50 v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1800.50 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1800.50 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.50 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.50 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.50 v -x3360 x3421 x3422 x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 1800.50 v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1800.50 v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 1800.50 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 x3483 x3484 x3485 x3486 -x3487 -x3488 -x3489 1800.50 v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 1800.50 v -x3507 -x3508 -x3509 -x3510 x3511 x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 -x3524 1800.50 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 1800.50 v x3542 x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 1800.50 v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 x3572 -x3573 -x3574 x3575 x3576 -x3577 1800.50 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 1800.50 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1800.50 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1800.50 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1800.50 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 x3662 1800.50 v -x3663 -x3664 x3665 -x3666 x3667 -x3668 -x3669 x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 1800.50 v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 x3696 -x3697 1800.50 v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 1800.50 v -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1800.50 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 1800.50 v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 1800.50 v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 1800.50 v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 1800.50 v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 1800.50 v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 1800.50 v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 1800.50 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1800.50 v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 1800.50 v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 1800.50 v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 1800.50 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 1800.50 v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 1800.50 v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 1800.50 v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 1800.50 v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 1800.50 v -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 1800.50 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 1800.50 v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 1800.50 v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 1800.50 v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 1800.50 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 1800.50 v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 1800.50 v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 1800.50 v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 1800.50 v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 1800.50 v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 1800.50 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1800.50 v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 1800.50 v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 1800.50 v -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 1800.50 v -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 1800.50 v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 1800.50 v -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 1800.50 v -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 1800.50 v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 1800.50 v -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 1800.50 v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 1800.50 v -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 1800.50 v -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 1800.50 v -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 1800.50 v -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 1800.50 v -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 1800.50 v -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 1800.50 v -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 1800.50 v -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 1800.50 v -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 1800.50 v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 1800.50 v -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 1800.50 v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 1800.50 v -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 x4682 x4683 x4684 x4685 x4686 x4687 x4688 x4689 x4690 1800.50 v x4691 x4692 x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 1800.50 v -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 1800.50 v -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 1800.50 v x4773 -x4774 -x4775 -x4776 -x4777 x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 1800.50 v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 1800.50 v -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 1800.50 v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 1800.50 v -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 1800.50 v -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 1800.50 v -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 1800.50 v -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 1800.50 v -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4921 x4922 x4923 x4924 x4925 x4926 x4927 1800.50 v x4928 x4929 x4930 x4931 x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 1800.50 v -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 1800.50 v -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 1800.50 v -x4980 -x4981 x4982 x4983 x4984 x4985 x4986 x4987 -x4988 x4989 x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 1800.50 v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 1800.50 v -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 1800.50 v -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 1800.50 v -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 1800.50 v -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 1800.50 v -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 1800.50 v -x7561 x7562 x7673 -x7736 x7747 -x7758 x7769 x7780 -x7791 x7802 x7563 x7574 x7585 x7596 -x7607 x7618 x7629 -x7640 x7651 1800.50 v x7662 x7674 -x7685 x7696 -x7707 x7718 x7729 -x7732 -x7733 -x7734 x7735 x7737 -x7738 x7739 -x7740 x7741 -x7742 x7743 -x7744 1800.50 v -x7745 x7746 -x7748 -x7749 x7750 x7751 -x7752 -x7753 -x7754 -x7755 x7756 -x7757 x7759 x7760 x7761 -x7762 x7763 x7764 -x7765 1800.50 v x7766 -x7767 x7768 x7770 x7771 x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7781 x7782 x7783 -x7784 -x7785 1800.50 v -x7786 x7787 -x7788 x7789 -x7790 x7792 x7793 -x7794 -x7795 -x7796 x7797 x7798 x7799 x7800 x7801 x7803 x7804 x7805 x7806 1800.50 v x7807 x7808 x7809 x7810 -x7811 x7812 x7564 x7565 x7566 -x7567 x7568 -x7569 -x7570 x7571 x7572 -x7573 x7575 -x7576 x7577 1800.50 v x7578 -x7579 x7580 -x7581 -x7582 x7583 -x7584 -x7586 -x7587 -x7588 -x7589 x7590 -x7591 -x7592 -x7593 -x7594 -x7595 x7597 1800.50 v x7598 -x7599 -x7600 -x7601 -x7602 x7603 x7604 -x7605 x7606 x7608 x7609 x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 1800.50 v -x7617 -x7619 x7620 x7621 -x7622 x7623 x7624 -x7625 x7626 x7627 x7628 x7630 x7631 x7632 -x7633 -x7634 -x7635 -x7636 -x7637 1800.50 v x7638 x7639 -x7641 -x7642 -x7643 -x7644 x7645 -x7646 x7647 x7648 -x7649 -x7650 x7652 x7653 -x7654 x7655 -x7656 x7657 x7658 1800.50 v -x7659 x7660 -x7661 x7663 x7664 x7665 x7666 x7667 x7668 x7669 x7670 -x7671 -x7672 x7675 -x7676 x7677 x7678 x7679 x7680 -x7681 1800.50 v -x7682 x7683 x7684 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 x7693 -x7694 -x7695 -x7697 -x7698 -x7699 -x7700 -x7701 1800.50 v -x7702 -x7703 -x7704 -x7705 -x7706 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 x7717 -x7719 x7720 -x7721 1800.50 v -x7722 -x7723 -x7724 x7725 -x7726 x7727 -x7728 -x7730 -x7731 1800.50 c Exit Code: 10 1800.50 c Total time: 1800 s
OK 20973910
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/node69/watcher-40545-1149303682 -o ROOT/results/node69/solver-40545-1149303682 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40545-1149303682/instance-40545-1149303682.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1795636/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=4924 CPUtime=0 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 268 0 0 0 0 0 0 0 18 0 1 0 196038212 5042176 238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134559376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 1231 242 155 55 0 123 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1784860/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=15656 CPUtime=9.93 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 3109 0 0 0 979 14 0 0 25 0 1 0 196038212 16031744 3024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 3914 3024 297 55 0 2806 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 15656 [startup+20.0095 s] /proc/loadavg: 0.94 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1784868/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=15656 CPUtime=19.93 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 3109 0 0 0 1978 15 0 0 25 0 1 0 196038212 16031744 3024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 3914 3024 297 55 0 2806 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 15656 [startup+30.0154 s] /proc/loadavg: 0.95 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1784868/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=15656 CPUtime=29.93 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 3109 0 0 0 2978 15 0 0 25 0 1 0 196038212 16031744 3024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 3914 3024 297 55 0 2806 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 15656 [startup+40.0213 s] /proc/loadavg: 0.96 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1784868/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=15656 CPUtime=39.93 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 3116 0 0 0 3977 16 0 0 25 0 1 0 196038212 16031744 3031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 3914 3031 297 55 0 2806 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 15656 [startup+50.0271 s] /proc/loadavg: 0.96 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1784932/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=15656 CPUtime=49.94 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 3116 0 0 0 4976 18 0 0 25 0 1 0 196038212 16031744 3031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 3914 3031 297 55 0 2806 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 15656 [startup+60.033 s] /proc/loadavg: 0.97 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1784932/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=15656 CPUtime=59.94 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 3116 0 0 0 5976 18 0 0 25 0 1 0 196038212 16031744 3031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 3914 3031 297 55 0 2806 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 15656 [startup+70.0388 s] /proc/loadavg: 0.97 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1784868/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=15656 CPUtime=69.95 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 3116 0 0 0 6976 19 0 0 25 0 1 0 196038212 16031744 3031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 3914 3031 297 55 0 2806 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 15656 [startup+80.0457 s] /proc/loadavg: 0.98 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783524/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=16992 CPUtime=79.95 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 3929 0 0 0 7975 20 0 0 25 0 1 0 196038212 17399808 3371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4248 3371 298 55 0 3140 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 16992 [startup+90.0506 s] /proc/loadavg: 0.98 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783268/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17260 CPUtime=89.95 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4000 0 0 0 8975 20 0 0 25 0 1 0 196038212 17674240 3442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4315 3442 298 55 0 3207 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 17260 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1782692/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17804 CPUtime=99.95 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4162 0 0 0 9975 20 0 0 25 0 1 0 196038212 18231296 3575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12394146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4451 3575 298 55 0 3343 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 17804 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1782500/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17972 CPUtime=109.96 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4210 0 0 0 10975 21 0 0 25 0 1 0 196038212 18403328 3619 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4493 3619 298 55 0 3385 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 17972 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783140/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17108 CPUtime=119.96 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4210 0 0 0 11975 21 0 0 25 0 1 0 196038212 17518592 3408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4277 3408 298 55 0 3169 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 17108 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783140/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17108 CPUtime=129.97 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4210 0 0 0 12975 22 0 0 25 0 1 0 196038212 17518592 3408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4277 3408 298 55 0 3169 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 17108 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783140/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17108 CPUtime=139.97 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4210 0 0 0 13975 22 0 0 25 0 1 0 196038212 17518592 3408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4277 3408 298 55 0 3169 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 17108 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783140/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17108 CPUtime=149.97 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4210 0 0 0 14975 22 0 0 25 0 1 0 196038212 17518592 3408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4277 3408 298 55 0 3169 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 17108 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783140/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17108 CPUtime=159.97 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4210 0 0 0 15975 22 0 0 25 0 1 0 196038212 17518592 3408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4277 3408 298 55 0 3169 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 17108 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783140/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17108 CPUtime=169.98 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4210 0 0 0 16975 23 0 0 25 0 1 0 196038212 17518592 3408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4277 3408 298 55 0 3169 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 17108 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783140/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17108 CPUtime=179.98 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4210 0 0 0 17975 23 0 0 25 0 1 0 196038212 17518592 3408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4277 3408 298 55 0 3169 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 17108 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783204/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17108 CPUtime=189.98 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4210 0 0 0 18974 24 0 0 25 0 1 0 196038212 17518592 3408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4277 3408 298 55 0 3169 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 17108 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783204/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=17108 CPUtime=199.99 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 4210 0 0 0 19975 24 0 0 25 0 1 0 196038212 17518592 3408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 4277 3408 298 55 0 3169 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 17108 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1783204/2055920 swapFree=4182216/4192956 ################ # More data... # ################ /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 41868 [startup+1771.01 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758180/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1770.51 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 176962 89 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 41868 [startup+1781.02 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1780.51 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 177961 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 41868 [startup+1782.02 s] /proc/loadavg: 0.99 0.98 0.91 3/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1781.52 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 178062 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 41868 [startup+1783.03 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1782.52 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 178162 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 41868 [startup+1784.03 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1783.53 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 178263 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629474 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 41868 [startup+1785.03 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1784.53 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 178363 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 41868 [startup+1786.04 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1785.54 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 178464 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 41868 [startup+1787.04 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1786.54 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 178564 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 41868 [startup+1788.05 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1787.54 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 178664 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 41868 [startup+1789.06 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1788.55 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 178765 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 41868 [startup+1790.06 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1789.55 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 178865 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 41868 [startup+1791.07 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1790.56 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 178966 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 41868 [startup+1792.07 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1791.56 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 179066 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 41868 [startup+1793.07 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1792.57 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 179167 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 41868 [startup+1794.08 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1793.57 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 179267 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 41868 [startup+1795.09 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1794.57 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 179367 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 41868 [startup+1796.09 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1795.58 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 179468 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 41868 [startup+1797.1 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1796.58 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 179568 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 41868 [startup+1798.1 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1797.59 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 179669 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 41868 [startup+1799.11 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1798.59 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 179769 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 41868 [startup+1800.11 s] /proc/loadavg: 0.99 0.98 0.91 2/64 20441 /proc/meminfo: memFree=1758244/2055920 swapFree=4182216/4192956 [pid=20441] ppid=20439 vsize=41868 CPUtime=1799.6 /proc/20441/stat : 20441 (bsolo) R 20439 20441 20395 0 -1 0 12719 0 0 0 179870 90 0 0 25 0 1 0 196038212 42872832 9602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20441/statm: 10467 9602 298 55 0 9359 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 41868 Child status: 10 Real time (s): 1800.52 CPU time (s): 1800.02 CPU user time (s): 1799.1 CPU system time (s): 0.91686 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (Kb): 41868
Begin job on node69 on Sat Jun 3 03:01:22 UTC 2006 FILE ID= 40545-1149303682 PBS_JOBID= 307493 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40545-1149303682/instance-40545-1149303682.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-40545-1149303682 -o ROOT/results/node69/solver-40545-1149303682 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40545-1149303682/instance-40545-1149303682.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 291088d217a1998c91be99350439e903 RANDOM SEED= 664771206 /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.232 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.232 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: 1795844 kB Buffers: 27024 kB Cached: 162948 kB SwapCached: 2468 kB Active: 70236 kB Inactive: 128508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1795844 kB SwapTotal: 4192956 kB SwapFree: 4182216 kB Dirty: 220 kB Writeback: 0 kB Mapped: 15444 kB Slab: 47352 kB Committed_AS: 315952 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node69 on Sat Jun 3 03:31:23 UTC 2006