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 | 6156955 | 1800.04 | 1800.64 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran17x17.opb |
| MD5SUM | 041d40ba01d992f8c3bb358df2c9aea9 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2462771 |
| Best CPU time to get the best result obtained on this benchmark | 1801.43 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2191362 |
| Optimality of the best value was proved | NO |
| Number of variables | 8959 |
| Total number of constraints | 323 |
| 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 | 323 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 510 |
| Number of terms in the objective function | 8959 |
| 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 | 1612776422946 |
| 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 | 1612776422946 |
| 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.02 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.23 c Initial problem consists of 8959 variables and 357 constraints. 0.26 c No problem reductions applied in OPT. instance. 0.26 c preprocess terminated. Elapsed time: 0.243 0.26 c After prepocess the problem consists of 4278 variables and 357 constraints. 0.26 c Initial Lower Bound: 0 0.38 c Restart #1 #Var: 4278 LB: 0 @ 0.37 0.61 c Restart #2 #Var: 4278 LB: 0 @ 0.6 0.94 c Restart #3 #Var: 4278 LB: 0 @ 0.928 1.37 c Restart #4 #Var: 4278 LB: 0 @ 1.361 1.92 c Restart #5 #Var: 4278 LB: 0 @ 1.902 2.55 c Restart #6 #Var: 4278 LB: 0 @ 2.537 3.29 c Restart #7 #Var: 4278 LB: 0 @ 3.28 4.14 c Restart #8 #Var: 4278 LB: 0 @ 4.125 5.24 c Restart #9 #Var: 4278 LB: 0 @ 5.224 6.31 c Restart #10 #Var: 4278 LB: 0 @ 6.293 7.34 c Restart #11 #Var: 4278 LB: 0 @ 7.319 8.38 c Restart #12 #Var: 4278 LB: 0 @ 8.361 9.55 c Restart #13 #Var: 4278 LB: 0 @ 9.528 10.94 c Restart #14 #Var: 4278 LB: 0 @ 10.919 12.36 c Restart #15 #Var: 4278 LB: 0 @ 12.343 13.85 c Restart #16 #Var: 4278 LB: 0 @ 13.828 15.46 c Restart #17 #Var: 4278 LB: 0 @ 15.443 17.00 c Restart #18 #Var: 4278 LB: 0 @ 16.976 18.56 c Restart #19 #Var: 4278 LB: 0 @ 18.537 20.20 c Restart #20 #Var: 4278 LB: 0 @ 20.173 22.23 c Restart #21 #Var: 4278 LB: 0 @ 22.207 24.20 c Restart #22 #Var: 4278 LB: 0 @ 24.18 26.33 c Restart #23 #Var: 4278 LB: 0 @ 26.303 28.43 c Restart #24 #Var: 4278 LB: 0 @ 28.401 30.71 c Restart #25 #Var: 4278 LB: 0 @ 30.686 33.33 c Restart #26 #Var: 4278 LB: 0 @ 33.303 35.94 c Restart #27 #Var: 4278 LB: 0 @ 35.917 38.91 c Restart #28 #Var: 4278 LB: 0 @ 38.878 41.85 c Restart #29 #Var: 4278 LB: 0 @ 41.819 44.92 c Restart #30 #Var: 4278 LB: 0 @ 44.89 48.23 c Restart #31 #Var: 4278 LB: 0 @ 48.202 51.26 c Restart #32 #Var: 4278 LB: 0 @ 51.228 54.38 c Restart #33 #Var: 4278 LB: 0 @ 54.346 57.80 c Restart #34 #Var: 4278 LB: 0 @ 57.766 61.17 c Restart #35 #Var: 4278 LB: 0 @ 61.136 64.42 c Restart #36 #Var: 4278 LB: 0 @ 64.379 68.05 c Restart #37 #Var: 4278 LB: 0 @ 68.008 68.49 c Sol. found (all assignments made)... 68.49 o 14861200 68.49 c NEW SOLUTION FOUND: 14861200 @ 68.451 68.69 c Sol. found (all assignments made)... 68.97 c Sol. found (all assignments made)... 69.07 c Sol. found (all assignments made)... 69.45 c Sol. found (all assignments made)... 69.68 c Sol. found (all assignments made)... 69.68 o 14860972 69.68 c NEW SOLUTION FOUND: 14860972 @ 69.637 69.69 c Sol. found (all assignments made)... 69.69 o 14860964 69.69 c NEW SOLUTION FOUND: 14860964 @ 69.647 70.24 c Sol. found (all assignments made)... 70.25 c Sol. found (all assignments made)... 71.73 c Sol. found (all assignments made)... 71.74 c Sol. found (all assignments made)... 74.23 c Sol. found (all assignments made)... 74.24 c Sol. found (all assignments made)... 74.48 c Sol. found (all assignments made)... 74.50 c Sol. found (all assignments made)... 74.93 c Sol. found (all assignments made)... 74.97 c Sol. found (all assignments made)... 75.22 c Sol. found (all assignments made)... 75.24 c Sol. found (all assignments made)... 75.62 c Sol. found (all assignments made)... 75.73 c Sol. found (all assignments made)... 75.77 c Sol. found (all assignments made)... 76.01 c Sol. found (all assignments made)... 76.04 c Sol. found (all assignments made)... 77.78 c Sol. found (all assignments made)... 77.80 c Sol. found (all assignments made)... 77.88 c Sol. found (all assignments made)... 77.90 c Sol. found (all assignments made)... 78.05 c Sol. found (all assignments made)... 78.06 c Sol. found (all assignments made)... 78.94 c Sol. found (all assignments made)... 78.96 c Sol. found (all assignments made)... 79.18 c Sol. found (all assignments made)... 79.20 c Sol. found (all assignments made)... 79.62 c Sol. found (all assignments made)... 79.64 c Sol. found (all assignments made)... 79.88 c Sol. found (all assignments made)... 79.89 c Sol. found (all assignments made)... 81.57 c Sol. found (all assignments made)... 81.59 c Sol. found (all assignments made)... 81.60 c Sol. found (all assignments made)... 81.61 c Sol. found (all assignments made)... 81.65 c Sol. found (all assignments made)... 81.68 c Sol. found (all assignments made)... 81.71 c Sol. found (all assignments made)... 82.19 c Sol. found (all assignments made)... 82.19 o 14860961 82.19 c NEW SOLUTION FOUND: 14860961 @ 82.143 82.20 c Sol. found (all assignments made)... 82.20 c Sol. found (all assignments made)... 82.27 c Sol. found (all assignments made)... 82.29 c Sol. found (all assignments made)... 82.29 c Sol. found (all assignments made)... 82.62 c Sol. found (all assignments made)... 82.67 c Sol. found (all assignments made)... 82.85 c Sol. found (all assignments made)... 82.94 c Sol. found (all assignments made)... 82.96 c Sol. found (all assignments made)... 83.02 c Sol. found (all assignments made)... 83.47 c Sol. found (all assignments made)... 83.48 c Sol. found (all assignments made)... 83.48 c Sol. found (all assignments made)... 83.75 c Sol. found (all assignments made)... 84.02 c Sol. found (all assignments made)... 84.25 c Sol. found (all assignments made)... 84.26 c Sol. found (all assignments made)... 84.31 c Sol. found (all assignments made)... 84.32 c Sol. found (all assignments made)... 84.93 c Sol. found (all assignments made)... 85.00 c Sol. found (all assignments made)... 85.79 c Sol. found (all assignments made)... 85.85 c Sol. found (all assignments made)... 86.57 c Sol. found (all assignments made)... 86.59 c Sol. found (all assignments made)... 86.89 c Sol. found (all assignments made)... 86.90 c Sol. found (all assignments made)... 91.25 c Sol. found (all assignments made)... 92.39 c Sol. found (all assignments made)... 92.40 c Sol. found (all assignments made)... 92.95 c Sol. found (all assignments made)... 92.96 c Sol. found (all assignments made)... 93.88 c Sol. found (all assignments made)... 93.90 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.32 c Sol. found (all assignments made)... 94.42 c Sol. found (all assignments made)... 94.44 c Sol. found (all assignments made)... 95.80 c Sol. found (all assignments made)... 96.82 c Sol. found (all assignments made)... 99.06 c Sol. found (all assignments made)... 99.06 c Sol. found (all assignments made)... 99.43 c Sol. found (all assignments made)... 99.44 c Sol. found (all assignments made)... 102.21 c Sol. found (all assignments made)... 104.17 c Sol. found (all assignments made)... 104.71 c Sol. found (all assignments made)... 104.74 c Sol. found (all assignments made)... 104.81 c Sol. found (all assignments made)... 104.85 c Sol. found (all assignments made)... 105.07 c Sol. found (all assignments made)... 105.10 c Sol. found (all assignments made)... 105.14 c Sol. found (all assignments made)... 105.16 c Sol. found (all assignments made)... 105.30 c Sol. found (all assignments made)... 105.33 c Sol. found (all assignments made)... 105.40 c Sol. found (all assignments made)... 105.44 c Sol. found (all assignments made)... 107.73 c Sol. found (all assignments made)... 107.74 c Sol. found (all assignments made)... 107.82 c Sol. found (all assignments made)... 107.83 c Sol. found (all assignments made)... 117.38 c Sol. found (all assignments made)... 117.39 c Sol. found (all assignments made)... 117.42 c Sol. found (all assignments made)... 117.43 c Sol. found (all assignments made)... 118.01 c Sol. found (all assignments made)... 118.02 c Sol. found (all assignments made)... 118.05 c Sol. found (all assignments made)... 118.07 c Sol. found (all assignments made)... 118.64 c Sol. found (all assignments made)... 118.72 c Sol. found (all assignments made)... 118.80 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 121.27 c Sol. found (all assignments made)... 121.30 c Sol. found (all assignments made)... 121.33 c Sol. found (all assignments made)... 121.51 c Sol. found (all assignments made)... 121.53 c Sol. found (all assignments made)... 121.62 c Sol. found (all assignments made)... 121.64 c Sol. found (all assignments made)... 122.60 c Sol. found (all assignments made)... 122.65 c Sol. found (all assignments made)... 127.05 c Sol. found (all assignments made)... 127.07 c Sol. found (all assignments made)... 127.40 c Sol. found (all assignments made)... 127.41 c Sol. found (all assignments made)... 127.48 c Sol. found (all assignments made)... 127.50 c Sol. found (all assignments made)... 127.62 c Sol. found (all assignments made)... 127.64 c Sol. found (all assignments made)... 127.72 c Sol. found (all assignments made)... 127.76 c Sol. found (all assignments made)... 127.88 c Sol. found (all assignments made)... 127.93 c Sol. found (all assignments made)... 128.45 c Sol. found (all assignments made)... 128.47 c Sol. found (all assignments made)... 128.67 c Sol. found (all assignments made)... 128.71 c Sol. found (all assignments made)... 129.05 c Sol. found (all assignments made)... 129.08 c Sol. found (all assignments made)... 129.36 c Sol. found (all assignments made)... 129.38 c Sol. found (all assignments made)... 129.43 c Sol. found (all assignments made)... 129.45 c Sol. found (all assignments made)... 129.67 c Sol. found (all assignments made)... 129.70 c Sol. found (all assignments made)... 129.95 c Sol. found (all assignments made)... 129.97 c Sol. found (all assignments made)... 131.39 c Sol. found (all assignments made)... 131.42 c Sol. found (all assignments made)... 131.52 c Sol. found (all assignments made)... 131.55 c Sol. found (all assignments made)... 133.37 c Sol. found (all assignments made)... 133.38 c Sol. found (all assignments made)... 133.41 c Sol. found (all assignments made)... 133.43 c Sol. found (all assignments made)... 134.34 c Sol. found (all assignments made)... 134.36 c Sol. found (all assignments made)... 134.85 c Sol. found (all assignments made)... 134.88 c Sol. found (all assignments made)... 135.15 c Sol. found (all assignments made)... 135.17 c Sol. found (all assignments made)... 135.42 c Sol. found (all assignments made)... 135.45 c Sol. found (all assignments made)... 135.59 c Sol. found (all assignments made)... 135.61 c Sol. found (all assignments made)... 137.37 c Sol. found (all assignments made)... 137.38 c Sol. found (all assignments made)... 138.50 c Sol. found (all assignments made)... 138.52 c Sol. found (all assignments made)... 139.94 c Sol. found (all assignments made)... 139.96 c Sol. found (all assignments made)... 140.50 c Sol. found (all assignments made)... 140.53 c Sol. found (all assignments made)... 141.78 c Sol. found (all assignments made)... 141.80 c Sol. found (all assignments made)... 143.41 c Sol. found (all assignments made)... 143.42 c Sol. found (all assignments made)... 144.54 c Sol. found (all assignments made)... 144.55 c Sol. found (all assignments made)... 145.67 c Sol. found (all assignments made)... 145.68 c Sol. found (all assignments made)... 146.91 c Sol. found (all assignments made)... 146.92 c Sol. found (all assignments made)... 147.09 c Sol. found (all assignments made)... 147.11 c Sol. found (all assignments made)... 147.16 c Sol. found (all assignments made)... 147.18 c Sol. found (all assignments made)... 147.23 c Sol. found (all assignments made)... 147.24 c Sol. found (all assignments made)... 147.31 c Sol. found (all assignments made)... 147.33 c Sol. found (all assignments made)... 147.42 c Sol. found (all assignments made)... 147.43 c Sol. found (all assignments made)... 147.51 c Sol. found (all assignments made)... 147.53 c Sol. found (all assignments made)... 148.45 c Sol. found (all assignments made)... 148.47 c Sol. found (all assignments made)... 148.51 c Sol. found (all assignments made)... 148.52 c Sol. found (all assignments made)... 149.89 c Sol. found (all assignments made)... 149.90 c Sol. found (all assignments made)... 149.94 c Sol. found (all assignments made)... 149.96 c Sol. found (all assignments made)... 151.34 c Sol. found (all assignments made)... 151.37 c Sol. found (all assignments made)... 151.40 c Sol. found (all assignments made)... 151.41 c Sol. found (all assignments made)... 151.62 c Sol. found (all assignments made)... 151.64 c Sol. found (all assignments made)... 151.68 c Sol. found (all assignments made)... 151.69 c Sol. found (all assignments made)... 152.03 c Sol. found (all assignments made)... 152.05 c Sol. found (all assignments made)... 152.10 c Sol. found (all assignments made)... 152.12 c Sol. found (all assignments made)... 152.35 c Sol. found (all assignments made)... 152.37 c Sol. found (all assignments made)... 152.42 c Sol. found (all assignments made)... 152.44 c Sol. found (all assignments made)... 152.67 c Sol. found (all assignments made)... 152.69 c Sol. found (all assignments made)... 152.74 c Sol. found (all assignments made)... 152.76 c Sol. found (all assignments made)... 152.97 c Sol. found (all assignments made)... 152.99 c Sol. found (all assignments made)... 153.02 c Sol. found (all assignments made)... 153.04 c Sol. found (all assignments made)... 153.19 c Sol. found (all assignments made)... 153.21 c Sol. found (all assignments made)... 153.25 c Sol. found (all assignments made)... 153.26 c Sol. found (all assignments made)... 153.39 c Sol. found (all assignments made)... 153.41 c Sol. found (all assignments made)... 153.46 c Sol. found (all assignments made)... 153.47 c Sol. found (all assignments made)... 153.54 c Sol. found (all assignments made)... 153.57 c Sol. found (all assignments made)... 153.61 c Sol. found (all assignments made)... 153.62 c Sol. found (all assignments made)... 153.68 c Sol. found (all assignments made)... 153.71 c Sol. found (all assignments made)... 153.74 c Sol. found (all assignments made)... 153.75 c Sol. found (all assignments made)... 153.95 c Sol. found (all assignments made)... 153.97 c Sol. found (all assignments made)... 154.00 c Sol. found (all assignments made)... 154.02 c Sol. found (all assignments made)... 154.14 c Sol. found (all assignments made)... 154.16 c Sol. found (all assignments made)... 154.20 c Sol. found (all assignments made)... 154.21 c Sol. found (all assignments made)... 154.45 c Sol. found (all assignments made)... 154.47 c Sol. found (all assignments made)... 154.51 c Sol. found (all assignments made)... 154.52 c Sol. found (all assignments made)... 154.84 c Sol. found (all assignments made)... 154.86 c Sol. found (all assignments made)... 154.89 c Sol. found (all assignments made)... 154.91 c Sol. found (all assignments made)... 154.97 c Sol. found (all assignments made)... 154.98 c Sol. found (all assignments made)... 155.02 c Sol. found (all assignments made)... 155.03 c Sol. found (all assignments made)... 155.43 c Sol. found (all assignments made)... 155.45 c Sol. found (all assignments made)... 155.49 c Sol. found (all assignments made)... 155.50 c Sol. found (all assignments made)... 155.66 c Sol. found (all assignments made)... 155.67 c Sol. found (all assignments made)... 155.71 c Sol. found (all assignments made)... 155.73 c Sol. found (all assignments made)... 155.87 c Sol. found (all assignments made)... 155.89 c Sol. found (all assignments made)... 155.92 c Sol. found (all assignments made)... 155.94 c Sol. found (all assignments made)... 156.23 c Sol. found (all assignments made)... 156.24 c Sol. found (all assignments made)... 156.28 c Sol. found (all assignments made)... 156.30 c Sol. found (all assignments made)... 156.44 c Sol. found (all assignments made)... 156.46 c Sol. found (all assignments made)... 156.49 c Sol. found (all assignments made)... 156.51 c Sol. found (all assignments made)... 156.57 c Sol. found (all assignments made)... 156.58 c Sol. found (all assignments made)... 156.62 c Sol. found (all assignments made)... 156.64 c Sol. found (all assignments made)... 156.69 c Sol. found (all assignments made)... 156.71 c Sol. found (all assignments made)... 156.75 c Sol. found (all assignments made)... 156.76 c Sol. found (all assignments made)... 158.32 c Sol. found (all assignments made)... 158.88 c Sol. found (all assignments made)... 158.91 c Sol. found (all assignments made)... 159.04 c Sol. found (all assignments made)... 159.08 c Sol. found (all assignments made)... 159.42 c Sol. found (all assignments made)... 159.59 c Sol. found (all assignments made)... 159.82 c Sol. found (all assignments made)... 159.87 c Sol. found (all assignments made)... 162.93 c Sol. found (all assignments made)... 162.94 c Sol. found (all assignments made)... 163.00 c Sol. found (all assignments made)... 163.03 c Sol. found (all assignments made)... 163.10 c Sol. found (all assignments made)... 163.97 c Sol. found (all assignments made)... 164.00 c Sol. found (all assignments made)... 164.05 c Sol. found (all assignments made)... 164.09 c Sol. found (all assignments made)... 164.12 c Sol. found (all assignments made)... 164.59 c Sol. found (all assignments made)... 164.62 c Sol. found (all assignments made)... 164.67 c Sol. found (all assignments made)... 164.71 c Sol. found (all assignments made)... 164.73 c Sol. found (all assignments made)... 165.36 c Sol. found (all assignments made)... 165.37 c Sol. found (all assignments made)... 165.48 c Sol. found (all assignments made)... 165.49 c Sol. found (all assignments made)... 165.55 c Sol. found (all assignments made)... 165.56 c Sol. found (all assignments made)... 165.64 c Sol. found (all assignments made)... 165.65 c Sol. found (all assignments made)... 165.79 c Sol. found (all assignments made)... 165.79 c Sol. found (all assignments made)... 165.84 c Sol. found (all assignments made)... 165.84 c Sol. found (all assignments made)... 165.91 c Sol. found (all assignments made)... 165.91 c Sol. found (all assignments made)... 166.05 c Sol. found (all assignments made)... 166.09 c Sol. found (all assignments made)... 166.14 c Sol. found (all assignments made)... 166.48 c Sol. found (all assignments made)... 166.50 c Sol. found (all assignments made)... 166.55 c Sol. found (all assignments made)... 166.57 c Sol. found (all assignments made)... 167.11 c Sol. found (all assignments made)... 167.41 c Sol. found (all assignments made)... 167.84 c Sol. found (all assignments made)... 167.88 c Sol. found (all assignments made)... 167.93 c Sol. found (all assignments made)... 167.96 c Sol. found (all assignments made)... 168.00 c Sol. found (all assignments made)... 168.18 c Sol. found (all assignments made)... 168.21 c Sol. found (all assignments made)... 168.94 c Sol. found (all assignments made)... 168.95 c Sol. found (all assignments made)... 169.02 c Sol. found (all assignments made)... 169.03 c Sol. found (all assignments made)... 169.05 c Sol. found (all assignments made)... 169.05 c Sol. found (all assignments made)... 169.36 c Sol. found (all assignments made)... 169.40 c Sol. found (all assignments made)... 169.42 c Sol. found (all assignments made)... 169.47 c Sol. found (all assignments made)... 169.48 c Sol. found (all assignments made)... 170.18 c Sol. found (all assignments made)... 170.28 c Sol. found (all assignments made)... 170.33 c Sol. found (all assignments made)... 170.46 c Sol. found (all assignments made)... 170.48 c Sol. found (all assignments made)... 170.56 c Sol. found (all assignments made)... 170.95 c Sol. found (all assignments made)... 171.28 c Sol. found (all assignments made)... 171.30 c Sol. found (all assignments made)... 171.37 c Sol. found (all assignments made)... 171.42 c Sol. found (all assignments made)... 171.44 c Sol. found (all assignments made)... 171.53 c Sol. found (all assignments made)... 172.00 c Sol. found (all assignments made)... 172.09 c Sol. found (all assignments made)... 172.19 c Sol. found (all assignments made)... 172.27 c Sol. found (all assignments made)... 172.34 c Sol. found (all assignments made)... 173.56 c Sol. found (all assignments made)... 173.79 c Sol. found (all assignments made)... 173.86 c Sol. found (all assignments made)... 173.89 c Sol. found (all assignments made)... 173.94 c Sol. found (all assignments made)... 174.01 c Sol. found (all assignments made)... 175.77 c Sol. found (all assignments made)... 175.78 c Sol. found (all assignments made)... 175.96 c Sol. found (all assignments made)... 175.97 c Sol. found (all assignments made)... 176.05 c Sol. found (all assignments made)... 176.06 c Sol. found (all assignments made)... 176.18 c Sol. found (all assignments made)... 176.20 c Sol. found (all assignments made)... 177.11 c Sol. found (all assignments made)... 177.12 c Sol. found (all assignments made)... 177.19 c Sol. found (all assignments made)... 177.23 c Sol. found (all assignments made)... 177.39 c Sol. found (all assignments made)... 177.41 c Sol. found (all assignments made)... 178.67 c Sol. found (all assignments made)... 178.72 c Sol. found (all assignments made)... 179.95 c Sol. found (all assignments made)... 179.97 c Sol. found (all assignments made)... 180.00 c Sol. found (all assignments made)... 180.02 c Sol. found (all assignments made)... 180.17 c Sol. found (all assignments made)... 180.18 c Sol. found (all assignments made)... 180.58 c Sol. found (all assignments made)... 180.59 c Sol. found (all assignments made)... 180.64 c Sol. found (all assignments made)... 180.65 c Sol. found (all assignments made)... 180.98 c Sol. found (all assignments made)... 181.00 c Sol. found (all assignments made)... 181.31 c Sol. found (all assignments made)... 181.32 c Sol. found (all assignments made)... 181.49 c Sol. found (all assignments made)... 181.51 c Sol. found (all assignments made)... 181.74 c Sol. found (all assignments made)... 181.76 c Sol. found (all assignments made)... 182.98 c Sol. found (all assignments made)... 182.99 c Sol. found (all assignments made)... 183.23 c Sol. found (all assignments made)... 183.25 c Sol. found (all assignments made)... 183.45 c Sol. found (all assignments made)... 183.46 c Sol. found (all assignments made)... 183.59 c Sol. found (all assignments made)... 183.60 c Sol. found (all assignments made)... 183.81 c Restart #38 #Var: 4278 LB: 0 @ 183.74 198.62 c Restart #39 #Var: 4278 LB: 0 @ 198.54 203.50 c Restart #40 #Var: 4278 LB: 0 @ 203.42 203.92 c Sol. found (all assignments made)... 203.92 o 7174618 203.92 c NEW SOLUTION FOUND: 7174618 @ 203.84 203.93 c Sol. found (all assignments made)... 203.95 c Sol. found (all assignments made)... 203.95 o 7174592 203.95 c NEW SOLUTION FOUND: 7174592 @ 203.87 203.96 c Sol. found (all assignments made)... 203.96 o 7107006 203.96 c NEW SOLUTION FOUND: 7107006 @ 203.88 204.05 c Sol. found (all assignments made)... 204.06 c Sol. found (all assignments made)... 224.50 c Restart #41 #Var: 4278 LB: 0 @ 224.41 226.57 c Sol. found (all assignments made)... 226.57 o 6796561 226.57 c NEW SOLUTION FOUND: 6796561 @ 226.48 226.59 c Sol. found (all assignments made)... 226.59 c Sol. found (all assignments made)... 226.60 c Sol. found (all assignments made)... 226.60 o 6796558 226.60 c NEW SOLUTION FOUND: 6796558 @ 226.5 226.63 c Sol. found (all assignments made)... 226.64 c Sol. found (all assignments made)... 226.64 c Sol. found (all assignments made)... 226.66 c Sol. found (all assignments made)... 226.66 o 6796555 226.66 c NEW SOLUTION FOUND: 6796555 @ 226.57 226.66 c Sol. found (all assignments made)... 226.66 c Sol. found (all assignments made)... 226.69 c Sol. found (all assignments made)... 226.69 c Sol. found (all assignments made)... 226.69 c Sol. found (all assignments made)... 226.72 c Sol. found (all assignments made)... 226.72 c Sol. found (all assignments made)... 226.72 c Sol. found (all assignments made)... 226.74 c Sol. found (all assignments made)... 226.74 c Sol. found (all assignments made)... 226.75 c Sol. found (all assignments made)... 226.76 c Sol. found (all assignments made)... 226.76 o 6796552 226.76 c NEW SOLUTION FOUND: 6796552 @ 226.67 226.77 c Sol. found (all assignments made)... 226.77 c Sol. found (all assignments made)... 226.77 c Sol. found (all assignments made)... 226.85 c Sol. found (all assignments made)... 227.04 c Sol. found (all assignments made)... 227.05 c Sol. found (all assignments made)... 227.09 c Sol. found (all assignments made)... 227.11 c Sol. found (all assignments made)... 227.16 c Sol. found (all assignments made)... 227.17 c Sol. found (all assignments made)... 227.17 c Sol. found (all assignments made)... 227.21 c Sol. found (all assignments made)... 227.23 c Sol. found (all assignments made)... 227.29 c Sol. found (all assignments made)... 227.35 c Sol. found (all assignments made)... 227.36 c Sol. found (all assignments made)... 227.36 c Sol. found (all assignments made)... 227.36 c Sol. found (all assignments made)... 227.43 c Sol. found (all assignments made)... 227.44 c Sol. found (all assignments made)... 227.44 c Sol. found (all assignments made)... 227.49 c Sol. found (all assignments made)... 227.50 c Sol. found (all assignments made)... 227.51 c Sol. found (all assignments made)... 227.52 c Sol. found (all assignments made)... 227.52 c Sol. found (all assignments made)... 227.52 c Sol. found (all assignments made)... 227.58 c Sol. found (all assignments made)... 227.59 c Sol. found (all assignments made)... 227.60 c Sol. found (all assignments made)... 227.60 c Sol. found (all assignments made)... 227.63 c Sol. found (all assignments made)... 227.65 c Sol. found (all assignments made)... 227.66 c Sol. found (all assignments made)... 227.67 c Sol. found (all assignments made)... 227.68 c Sol. found (all assignments made)... 227.69 c Sol. found (all assignments made)... 227.69 c Sol. found (all assignments made)... 227.74 c Sol. found (all assignments made)... 227.76 c Sol. found (all assignments made)... 227.80 c Sol. found (all assignments made)... 227.81 c Sol. found (all assignments made)... 227.84 c Sol. found (all assignments made)... 227.85 c Sol. found (all assignments made)... 227.85 c Sol. found (all assignments made)... 227.86 c Sol. found (all assignments made)... 227.87 c Sol. found (all assignments made)... 227.95 c Sol. found (all assignments made)... 227.95 c Sol. found (all assignments made)... 227.95 c Sol. found (all assignments made)... 227.96 c Sol. found (all assignments made)... 227.97 c Sol. found (all assignments made)... 227.99 c Sol. found (all assignments made)... 228.07 c Sol. found (all assignments made)... 228.08 c Sol. found (all assignments made)... 228.13 c Sol. found (all assignments made)... 228.15 c Sol. found (all assignments made)... 228.19 c Sol. found (all assignments made)... 228.20 c Sol. found (all assignments made)... 228.20 c Sol. found (all assignments made)... 228.24 c Sol. found (all assignments made)... 228.25 c Sol. found (all assignments made)... 228.30 c Sol. found (all assignments made)... 228.33 c Sol. found (all assignments made)... 228.34 c Sol. found (all assignments made)... 228.38 c Sol. found (all assignments made)... 228.45 c Sol. found (all assignments made)... 228.47 c Sol. found (all assignments made)... 228.54 c Sol. found (all assignments made)... 228.55 c Sol. found (all assignments made)... 228.60 c Sol. found (all assignments made)... 228.67 c Sol. found (all assignments made)... 228.72 c Sol. found (all assignments made)... 228.73 c Sol. found (all assignments made)... 228.81 c Sol. found (all assignments made)... 228.82 c Sol. found (all assignments made)... 228.90 c Sol. found (all assignments made)... 228.91 c Sol. found (all assignments made)... 232.33 c Sol. found (all assignments made)... 232.33 o 6770230 232.33 c NEW SOLUTION FOUND: 6770230 @ 232.24 232.33 c Sol. found (all assignments made)... 232.33 o 6770224 232.33 c NEW SOLUTION FOUND: 6770224 @ 232.24 232.34 c Sol. found (all assignments made)... 232.34 o 6770218 232.34 c NEW SOLUTION FOUND: 6770218 @ 232.25 232.36 c Sol. found (all assignments made)... 232.36 c Sol. found (all assignments made)... 232.37 c Sol. found (all assignments made)... 232.37 o 6770215 232.37 c NEW SOLUTION FOUND: 6770215 @ 232.28 232.38 c Sol. found (all assignments made)... 232.40 c Sol. found (all assignments made)... 232.41 c Sol. found (all assignments made)... 232.41 c Sol. found (all assignments made)... 232.43 c Sol. found (all assignments made)... 232.45 c Sol. found (all assignments made)... 232.46 c Sol. found (all assignments made)... 232.46 c Sol. found (all assignments made)... 232.48 c Sol. found (all assignments made)... 232.51 c Sol. found (all assignments made)... 232.53 c Sol. found (all assignments made)... 232.53 o 6770212 232.53 c NEW SOLUTION FOUND: 6770212 @ 232.44 232.54 c Sol. found (all assignments made)... 232.55 c Sol. found (all assignments made)... 232.55 o 6770209 232.55 c NEW SOLUTION FOUND: 6770209 @ 232.45 232.57 c Sol. found (all assignments made)... 232.57 c Sol. found (all assignments made)... 232.57 c Sol. found (all assignments made)... 232.57 o 6770206 232.57 c NEW SOLUTION FOUND: 6770206 @ 232.48 232.59 c Sol. found (all assignments made)... 232.60 c Sol. found (all assignments made)... 232.61 c Sol. found (all assignments made)... 232.61 o 6770203 232.61 c NEW SOLUTION FOUND: 6770203 @ 232.51 232.63 c Sol. found (all assignments made)... 232.65 c Sol. found (all assignments made)... 232.66 c Sol. found (all assignments made)... 232.67 c Sol. found (all assignments made)... 232.68 c Sol. found (all assignments made)... 232.70 c Sol. found (all assignments made)... 232.70 o 6770200 232.70 c NEW SOLUTION FOUND: 6770200 @ 232.61 232.72 c Sol. found (all assignments made)... 232.72 o 6770197 232.72 c NEW SOLUTION FOUND: 6770197 @ 232.62 232.73 c Sol. found (all assignments made)... 232.75 c Sol. found (all assignments made)... 232.75 c Sol. found (all assignments made)... 232.76 c Sol. found (all assignments made)... 232.79 c Sol. found (all assignments made)... 232.79 o 6770182 232.79 c NEW SOLUTION FOUND: 6770182 @ 232.69 232.80 c Sol. found (all assignments made)... 232.81 c Sol. found (all assignments made)... 232.83 c Sol. found (all assignments made)... 232.84 c Sol. found (all assignments made)... 232.85 c Sol. found (all assignments made)... 232.86 c Sol. found (all assignments made)... 232.87 c Sol. found (all assignments made)... 232.88 c Sol. found (all assignments made)... 232.89 c Sol. found (all assignments made)... 232.90 c Sol. found (all assignments made)... 232.93 c Sol. found (all assignments made)... 232.94 c Sol. found (all assignments made)... 232.95 c Sol. found (all assignments made)... 232.97 c Sol. found (all assignments made)... 232.99 c Sol. found (all assignments made)... 233.01 c Sol. found (all assignments made)... 233.01 o 6770128 233.01 c NEW SOLUTION FOUND: 6770128 @ 232.92 233.02 c Sol. found (all assignments made)... 233.02 o 6770125 233.02 c NEW SOLUTION FOUND: 6770125 @ 232.92 233.03 c Sol. found (all assignments made)... 233.06 c Sol. found (all assignments made)... 233.07 c Sol. found (all assignments made)... 233.07 o 6770122 233.07 c NEW SOLUTION FOUND: 6770122 @ 232.97 233.07 c Sol. found (all assignments made)... 233.08 c Sol. found (all assignments made)... 233.09 c Sol. found (all assignments made)... 233.10 c Sol. found (all assignments made)... 233.10 o 6770119 233.10 c NEW SOLUTION FOUND: 6770119 @ 233.01 233.12 c Sol. found (all assignments made)... 233.13 c Sol. found (all assignments made)... 233.13 o 6770110 233.13 c NEW SOLUTION FOUND: 6770110 @ 233.04 233.14 c Sol. found (all assignments made)... 233.15 c Sol. found (all assignments made)... 233.16 c Sol. found (all assignments made)... 233.16 c Sol. found (all assignments made)... 233.16 o 6770107 233.16 c NEW SOLUTION FOUND: 6770107 @ 233.07 233.18 c Sol. found (all assignments made)... 233.19 c Sol. found (all assignments made)... 233.21 c Sol. found (all assignments made)... 233.22 c Sol. found (all assignments made)... 233.25 c Sol. found (all assignments made)... 233.28 c Sol. found (all assignments made)... 233.29 c Sol. found (all assignments made)... 233.30 c Sol. found (all assignments made)... 233.30 c Sol. found (all assignments made)... 233.35 c Sol. found (all assignments made)... 233.37 c Sol. found (all assignments made)... 233.40 c Sol. found (all assignments made)... 233.41 c Sol. found (all assignments made)... 233.42 c Sol. found (all assignments made)... 233.45 c Sol. found (all assignments made)... 233.47 c Sol. found (all assignments made)... 233.48 c Sol. found (all assignments made)... 233.53 c Sol. found (all assignments made)... 233.55 c Sol. found (all assignments made)... 233.56 c Sol. found (all assignments made)... 233.57 c Sol. found (all assignments made)... 233.60 c Sol. found (all assignments made)... 233.60 c Sol. found (all assignments made)... 233.62 c Sol. found (all assignments made)... 233.65 c Sol. found (all assignments made)... 233.67 c Sol. found (all assignments made)... 233.68 c Sol. found (all assignments made)... 233.69 c Sol. found (all assignments made)... 233.71 c Sol. found (all assignments made)... 233.76 c Sol. found (all assignments made)... 233.77 c Sol. found (all assignments made)... 233.81 c Sol. found (all assignments made)... 233.81 c Sol. found (all assignments made)... 233.89 c Sol. found (all assignments made)... 234.23 c Sol. found (all assignments made)... 234.37 c Sol. found (all assignments made)... 234.51 c Sol. found (all assignments made)... 234.62 c Sol. found (all assignments made)... 234.80 c Sol. found (all assignments made)... 234.82 c Sol. found (all assignments made)... 234.91 c Sol. found (all assignments made)... 234.93 c Sol. found (all assignments made)... 234.94 c Sol. found (all assignments made)... 234.97 c Sol. found (all assignments made)... 234.98 c Sol. found (all assignments made)... 234.99 c Sol. found (all assignments made)... 235.00 c Sol. found (all assignments made)... 235.01 c Sol. found (all assignments made)... 235.02 c Sol. found (all assignments made)... 235.04 c Sol. found (all assignments made)... 235.05 c Sol. found (all assignments made)... 235.06 c Sol. found (all assignments made)... 235.09 c Sol. found (all assignments made)... 235.12 c Sol. found (all assignments made)... 235.13 c Sol. found (all assignments made)... 235.15 c Sol. found (all assignments made)... 235.16 c Sol. found (all assignments made)... 235.17 c Sol. found (all assignments made)... 235.19 c Sol. found (all assignments made)... 235.19 c Sol. found (all assignments made)... 235.20 c Sol. found (all assignments made)... 235.21 c Sol. found (all assignments made)... 235.24 c Sol. found (all assignments made)... 235.25 c Sol. found (all assignments made)... 235.27 c Sol. found (all assignments made)... 235.28 c Sol. found (all assignments made)... 235.31 c Sol. found (all assignments made)... 235.33 c Sol. found (all assignments made)... 235.34 c Sol. found (all assignments made)... 235.35 c Sol. found (all assignments made)... 235.36 c Sol. found (all assignments made)... 235.37 c Sol. found (all assignments made)... 235.37 c Sol. found (all assignments made)... 235.40 c Sol. found (all assignments made)... 235.44 c Sol. found (all assignments made)... 235.45 c Sol. found (all assignments made)... 235.46 c Sol. found (all assignments made)... 235.47 c Sol. found (all assignments made)... 235.47 c Sol. found (all assignments made)... 235.49 c Sol. found (all assignments made)... 235.52 c Sol. found (all assignments made)... 235.53 c Sol. found (all assignments made)... 235.54 c Sol. found (all assignments made)... 235.56 c Sol. found (all assignments made)... 235.57 c Sol. found (all assignments made)... 235.59 c Sol. found (all assignments made)... 235.60 c Sol. found (all assignments made)... 235.62 c Sol. found (all assignments made)... 235.65 c Sol. found (all assignments made)... 235.65 c Sol. found (all assignments made)... 235.66 c Sol. found (all assignments made)... 235.67 c Sol. found (all assignments made)... 235.68 c Sol. found (all assignments made)... 235.69 c Sol. found (all assignments made)... 235.70 c Sol. found (all assignments made)... 235.70 c Sol. found (all assignments made)... 235.71 c Sol. found (all assignments made)... 235.72 c Sol. found (all assignments made)... 235.74 c Sol. found (all assignments made)... 235.80 c Sol. found (all assignments made)... 235.81 c Sol. found (all assignments made)... 235.95 c Sol. found (all assignments made)... 235.96 c Sol. found (all assignments made)... 236.12 c Sol. found (all assignments made)... 236.19 c Sol. found (all assignments made)... 236.23 c Sol. found (all assignments made)... 236.28 c Sol. found (all assignments made)... 236.31 c Sol. found (all assignments made)... 236.32 c Sol. found (all assignments made)... 236.41 c Sol. found (all assignments made)... 236.47 c Sol. found (all assignments made)... 236.52 c Sol. found (all assignments made)... 236.55 c Sol. found (all assignments made)... 236.57 c Sol. found (all assignments made)... 236.60 c Sol. found (all assignments made)... 236.67 c Sol. found (all assignments made)... 236.69 c Sol. found (all assignments made)... 236.72 c Sol. found (all assignments made)... 236.77 c Sol. found (all assignments made)... 236.79 c Sol. found (all assignments made)... 236.82 c Sol. found (all assignments made)... 236.82 c Sol. found (all assignments made)... 236.84 c Sol. found (all assignments made)... 236.89 c Sol. found (all assignments made)... 236.91 c Sol. found (all assignments made)... 236.93 c Sol. found (all assignments made)... 236.95 c Sol. found (all assignments made)... 236.98 c Sol. found (all assignments made)... 237.03 c Sol. found (all assignments made)... 237.05 c Sol. found (all assignments made)... 237.10 c Sol. found (all assignments made)... 237.13 c Sol. found (all assignments made)... 237.13 c Sol. found (all assignments made)... 237.15 c Sol. found (all assignments made)... 237.16 c Sol. found (all assignments made)... 237.17 c Sol. found (all assignments made)... 237.21 c Sol. found (all assignments made)... 237.23 c Sol. found (all assignments made)... 237.26 c Sol. found (all assignments made)... 237.28 c Sol. found (all assignments made)... 237.30 c Sol. found (all assignments made)... 237.34 c Sol. found (all assignments made)... 237.35 c Sol. found (all assignments made)... 237.37 c Sol. found (all assignments made)... 237.39 c Sol. found (all assignments made)... 237.39 c Sol. found (all assignments made)... 237.40 c Sol. found (all assignments made)... 237.42 c Sol. found (all assignments made)... 237.42 c Sol. found (all assignments made)... 237.54 c Sol. found (all assignments made)... 237.67 c Sol. found (all assignments made)... 237.94 c Sol. found (all assignments made)... 238.07 c Sol. found (all assignments made)... 238.19 c Sol. found (all assignments made)... 238.28 c Sol. found (all assignments made)... 238.39 c Sol. found (all assignments made)... 238.48 c Sol. found (all assignments made)... 238.59 c Sol. found (all assignments made)... 238.64 c Sol. found (all assignments made)... 238.86 c Sol. found (all assignments made)... 238.92 c Sol. found (all assignments made)... 239.06 c Sol. found (all assignments made)... 239.25 c Sol. found (all assignments made)... 239.26 c Sol. found (all assignments made)... 239.27 c Sol. found (all assignments made)... 239.29 c Sol. found (all assignments made)... 239.31 c Sol. found (all assignments made)... 239.37 c Sol. found (all assignments made)... 239.40 c Sol. found (all assignments made)... 239.41 c Sol. found (all assignments made)... 239.43 c Sol. found (all assignments made)... 239.45 c Sol. found (all assignments made)... 239.45 c Sol. found (all assignments made)... 239.47 c Sol. found (all assignments made)... 239.49 c Sol. found (all assignments made)... 239.50 c Sol. found (all assignments made)... 239.57 c Sol. found (all assignments made)... 239.57 c Sol. found (all assignments made)... 239.58 c Sol. found (all assignments made)... 239.58 c Sol. found (all assignments made)... 239.60 c Sol. found (all assignments made)... 239.64 c Sol. found (all assignments made)... 239.66 c Sol. found (all assignments made)... 239.66 c Sol. found (all assignments made)... 239.67 c Sol. found (all assignments made)... 239.68 c Sol. found (all assignments made)... 239.68 c Sol. found (all assignments made)... 239.70 c Sol. found (all assignments made)... 239.72 c Sol. found (all assignments made)... 239.75 c Sol. found (all assignments made)... 239.75 c Sol. found (all assignments made)... 239.76 c Sol. found (all assignments made)... 239.76 c Sol. found (all assignments made)... 239.79 c Sol. found (all assignments made)... 239.79 c Sol. found (all assignments made)... 239.80 c Sol. found (all assignments made)... 239.81 c Sol. found (all assignments made)... 239.84 c Sol. found (all assignments made)... 239.84 c Sol. found (all assignments made)... 239.85 c Sol. found (all assignments made)... 239.86 c Sol. found (all assignments made)... 239.87 c Sol. found (all assignments made)... 239.87 c Sol. found (all assignments made)... 240.46 c Sol. found (all assignments made)... 240.47 c Sol. found (all assignments made)... 240.60 c Sol. found (all assignments made)... 240.63 c Sol. found (all assignments made)... 241.05 c Sol. found (all assignments made)... 241.08 c Sol. found (all assignments made)... 241.27 c Sol. found (all assignments made)... 241.42 c Sol. found (all assignments made)... 241.45 c Sol. found (all assignments made)... 241.54 c Sol. found (all assignments made)... 241.57 c Sol. found (all assignments made)... 241.73 c Sol. found (all assignments made)... 241.78 c Sol. found (all assignments made)... 241.81 c Sol. found (all assignments made)... 241.85 c Sol. found (all assignments made)... 241.88 c Sol. found (all assignments made)... 241.91 c Sol. found (all assignments made)... 242.03 c Sol. found (all assignments made)... 242.28 c Sol. found (all assignments made)... 242.33 c Sol. found (all assignments made)... 242.47 c Sol. found (all assignments made)... 242.50 c Sol. found (all assignments made)... 242.52 c Sol. found (all assignments made)... 242.54 c Sol. found (all assignments made)... 242.55 c Sol. found (all assignments made)... 242.61 c Sol. found (all assignments made)... 242.66 c Sol. found (all assignments made)... 242.68 c Sol. found (all assignments made)... 242.74 c Sol. found (all assignments made)... 242.75 c Sol. found (all assignments made)... 242.79 c Sol. found (all assignments made)... 242.85 c Sol. found (all assignments made)... 242.86 c Sol. found (all assignments made)... 242.88 c Sol. found (all assignments made)... 242.89 c Sol. found (all assignments made)... 242.94 c Sol. found (all assignments made)... 242.95 c Sol. found (all assignments made)... 242.95 c Sol. found (all assignments made)... 242.99 c Sol. found (all assignments made)... 243.01 c Sol. found (all assignments made)... 243.05 c Sol. found (all assignments made)... 243.09 c Sol. found (all assignments made)... 243.11 c Sol. found (all assignments made)... 243.12 c Sol. found (all assignments made)... 243.14 c Sol. found (all assignments made)... 243.16 c Sol. found (all assignments made)... 243.18 c Sol. found (all assignments made)... 243.21 c Sol. found (all assignments made)... 243.22 c Sol. found (all assignments made)... 243.23 c Sol. found (all assignments made)... 243.26 c Sol. found (all assignments made)... 243.26 c Sol. found (all assignments made)... 243.28 c Sol. found (all assignments made)... 243.28 c Sol. found (all assignments made)... 243.34 c Sol. found (all assignments made)... 243.35 c Sol. found (all assignments made)... 243.37 c Sol. found (all assignments made)... 243.38 c Sol. found (all assignments made)... 243.40 c Sol. found (all assignments made)... 243.42 c Sol. found (all assignments made)... 243.43 c Sol. found (all assignments made)... 243.50 c Sol. found (all assignments made)... 243.54 c Sol. found (all assignments made)... 243.62 c Sol. found (all assignments made)... 243.68 c Sol. found (all assignments made)... 243.75 c Sol. found (all assignments made)... 243.77 c Sol. found (all assignments made)... 243.83 c Sol. found (all assignments made)... 243.93 c Sol. found (all assignments made)... 243.98 c Sol. found (all assignments made)... 243.99 c Sol. found (all assignments made)... 244.08 c Sol. found (all assignments made)... 244.12 c Sol. found (all assignments made)... 244.13 c Sol. found (all assignments made)... 244.17 c Sol. found (all assignments made)... 244.23 c Sol. found (all assignments made)... 244.25 c Sol. found (all assignments made)... 244.35 c Sol. found (all assignments made)... 244.38 c Sol. found (all assignments made)... 244.41 c Sol. found (all assignments made)... 244.43 c Sol. found (all assignments made)... 244.49 c Sol. found (all assignments made)... 244.50 c Sol. found (all assignments made)... 244.54 c Sol. found (all assignments made)... 244.59 c Sol. found (all assignments made)... 244.80 c Sol. found (all assignments made)... 245.04 c Sol. found (all assignments made)... 245.16 c Sol. found (all assignments made)... 245.22 c Sol. found (all assignments made)... 245.25 c Sol. found (all assignments made)... 245.32 c Sol. found (all assignments made)... 245.34 c Sol. found (all assignments made)... 245.46 c Sol. found (all assignments made)... 245.54 c Sol. found (all assignments made)... 245.67 c Sol. found (all assignments made)... 245.69 c Sol. found (all assignments made)... 245.73 c Sol. found (all assignments made)... 245.79 c Sol. found (all assignments made)... 245.84 c Sol. found (all assignments made)... 245.87 c Sol. found (all assignments made)... 245.90 c Sol. found (all assignments made)... 245.91 c Sol. found (all assignments made)... 245.94 c Sol. found (all assignments made)... 245.96 c Sol. found (all assignments made)... 246.14 c Sol. found (all assignments made)... 246.20 c Sol. found (all assignments made)... 246.34 c Sol. found (all assignments made)... 246.43 c Sol. found (all assignments made)... 246.57 c Sol. found (all assignments made)... 246.74 c Sol. found (all assignments made)... 246.76 c Sol. found (all assignments made)... 246.81 c Sol. found (all assignments made)... 246.84 c Sol. found (all assignments made)... 246.91 c Sol. found (all assignments made)... 246.94 c Sol. found (all assignments made)... 246.95 c Sol. found (all assignments made)... 246.98 c Sol. found (all assignments made)... 247.05 c Sol. found (all assignments made)... 247.06 c Sol. found (all assignments made)... 247.12 c Sol. found (all assignments made)... 247.14 c Sol. found (all assignments made)... 247.14 c Sol. found (all assignments made)... 247.17 c Sol. found (all assignments made)... 247.18 c Sol. found (all assignments made)... 247.22 c Sol. found (all assignments made)... 247.26 c Sol. found (all assignments made)... 247.29 c Sol. found (all assignments made)... 247.32 c Sol. found (all assignments made)... 247.34 c Sol. found (all assignments made)... 247.35 c Sol. found (all assignments made)... 247.39 c Sol. found (all assignments made)... 247.45 c Sol. found (all assignments made)... 247.49 c Sol. found (all assignments made)... 247.51 c Sol. found (all assignments made)... 247.55 c Sol. found (all assignments made)... 247.58 c Sol. found (all assignments made)... 247.60 c Sol. found (all assignments made)... 247.62 c Sol. found (all assignments made)... 247.65 c Sol. found (all assignments made)... 247.69 c Sol. found (all assignments made)... 247.70 c Sol. found (all assignments made)... 247.72 c Sol. found (all assignments made)... 247.73 c Sol. found (all assignments made)... 247.78 c Sol. found (all assignments made)... 247.79 c Sol. found (all assignments made)... 247.85 c Sol. found (all assignments made)... 247.86 c Sol. found (all assignments made)... 247.88 c Sol. found (all assignments made)... 247.88 c Sol. found (all assignments made)... 247.89 c Sol. found (all assignments made)... 247.91 c Sol. found (all assignments made)... 247.95 c Sol. found (all assignments made)... 247.96 c Sol. found (all assignments made)... 247.97 c Sol. found (all assignments made)... 248.02 c Sol. found (all assignments made)... 248.03 c Sol. found (all assignments made)... 248.04 c Sol. found (all assignments made)... 248.10 c Sol. found (all assignments made)... 248.12 c Sol. found (all assignments made)... 248.14 c Sol. found (all assignments made)... 248.15 c Sol. found (all assignments made)... 248.18 c Sol. found (all assignments made)... 248.19 c Sol. found (all assignments made)... 248.23 c Sol. found (all assignments made)... 248.26 c Sol. found (all assignments made)... 248.27 c Sol. found (all assignments made)... 248.29 c Sol. found (all assignments made)... 248.30 c Sol. found (all assignments made)... 248.35 c Sol. found (all assignments made)... 248.35 c Sol. found (all assignments made)... 248.36 c Sol. found (all assignments made)... 248.38 c Sol. found (all assignments made)... 248.40 c Sol. found (all assignments made)... 248.43 c Sol. found (all assignments made)... 248.44 c Sol. found (all assignments made)... 248.45 c Sol. found (all assignments made)... 248.45 c Sol. found (all assignments made)... 248.47 c Sol. found (all assignments made)... 248.49 c Sol. found (all assignments made)... 248.53 c Sol. found (all assignments made)... 248.54 c Sol. found (all assignments made)... 248.56 c Sol. found (all assignments made)... 248.59 c Sol. found (all assignments made)... 248.62 c Sol. found (all assignments made)... 248.63 c Sol. found (all assignments made)... 248.66 c Sol. found (all assignments made)... 248.67 c Sol. found (all assignments made)... 248.70 c Sol. found (all assignments made)... 248.71 c Sol. found (all assignments made)... 248.75 c Sol. found (all assignments made)... 248.77 c Sol. found (all assignments made)... 248.80 c Sol. found (all assignments made)... 248.82 c Sol. found (all assignments made)... 248.86 c Sol. found (all assignments made)... 248.87 c Sol. found (all assignments made)... 248.89 c Sol. found (all assignments made)... 248.91 c Sol. found (all assignments made)... 248.93 c Sol. found (all assignments made)... 248.96 c Sol. found (all assignments made)... 248.99 c Sol. found (all assignments made)... 249.03 c Sol. found (all assignments made)... 249.05 c Sol. found (all assignments made)... 249.07 c Sol. found (all assignments made)... 249.10 c Sol. found (all assignments made)... 249.11 c Sol. found (all assignments made)... 249.12 c Sol. found (all assignments made)... 249.13 c Sol. found (all assignments made)... 249.15 c Sol. found (all assignments made)... 249.18 c Sol. found (all assignments made)... 249.19 c Sol. found (all assignments made)... 249.21 c Sol. found (all assignments made)... 249.22 c Sol. found (all assignments made)... 249.26 c Sol. found (all assignments made)... 249.27 c Sol. found (all assignments made)... 249.30 c Sol. found (all assignments made)... 249.34 c Sol. found (all assignments made)... 249.34 c Sol. found (all assignments made)... 249.36 c Sol. found (all assignments made)... 249.38 c Sol. found (all assignments made)... 249.39 c Sol. found (all assignments made)... 249.42 c Sol. found (all assignments made)... 249.45 c Sol. found (all assignments made)... 249.45 c Sol. found (all assignments made)... 249.46 c Sol. found (all assignments made)... 249.47 c Sol. found (all assignments made)... 249.50 c Sol. found (all assignments made)... 249.50 c Sol. found (all assignments made)... 249.51 c Sol. found (all assignments made)... 249.54 c Sol. found (all assignments made)... 249.56 c Sol. found (all assignments made)... 249.57 c Sol. found (all assignments made)... 249.59 c Sol. found (all assignments made)... 249.61 c Sol. found (all assignments made)... 249.62 c Sol. found (all assignments made)... 249.65 c Sol. found (all assignments made)... 249.65 c Sol. found (all assignments made)... 249.70 c Sol. found (all assignments made)... 249.70 c Sol. found (all assignments made)... 249.71 c Sol. found (all assignments made)... 249.73 c Sol. found (all assignments made)... 249.73 c Sol. found (all assignments made)... 249.76 c Sol. found (all assignments made)... 249.77 c Sol. found (all assignments made)... 249.78 c Sol. found (all assignments made)... 249.80 c Sol. found (all assignments made)... 249.81 c Sol. found (all assignments made)... 249.83 c Sol. found (all assignments made)... 249.84 c Sol. found (all assignments made)... 249.84 c Sol. found (all assignments made)... 249.86 c Sol. found (all assignments made)... 249.90 c Sol. found (all assignments made)... 249.95 c Sol. found (all assignments made)... 249.97 c Sol. found (all assignments made)... 250.05 c Sol. found (all assignments made)... 250.05 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.13 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.15 c Sol. found (all assignments made)... 250.15 c Sol. found (all assignments made)... 250.17 c Sol. found (all assignments made)... 250.17 c Sol. found (all assignments made)... 250.19 c Sol. found (all assignments made)... 250.20 c Sol. found (all assignments made)... 250.20 c Sol. found (all assignments made)... 250.21 c Sol. found (all assignments made)... 250.23 c Sol. found (all assignments made)... 250.23 c Sol. found (all assignments made)... 250.25 c Sol. found (all assignments made)... 250.26 c Sol. found (all assignments made)... 250.28 c Sol. found (all assignments made)... 250.31 c Sol. found (all assignments made)... 250.34 c Sol. found (all assignments made)... 250.36 c Sol. found (all assignments made)... 250.38 c Sol. found (all assignments made)... 250.39 c Sol. found (all assignments made)... 250.39 c Sol. found (all assignments made)... 250.44 c Sol. found (all assignments made)... 250.44 c Sol. found (all assignments made)... 250.45 c Sol. found (all assignments made)... 250.47 c Sol. found (all assignments made)... 250.48 c Sol. found (all assignments made)... 250.49 c Sol. found (all assignments made)... 250.50 c Sol. found (all assignments made)... 250.50 c Sol. found (all assignments made)... 250.52 c Sol. found (all assignments made)... 250.53 c Sol. found (all assignments made)... 250.53 c Sol. found (all assignments made)... 250.56 c Sol. found (all assignments made)... 250.56 c Sol. found (all assignments made)... 250.57 c Sol. found (all assignments made)... 250.57 c Sol. found (all assignments made)... 250.60 c Sol. found (all assignments made)... 250.60 c Sol. found (all assignments made)... 250.61 c Sol. found (all assignments made)... 250.61 c Sol. found (all assignments made)... 250.63 c Sol. found (all assignments made)... 250.64 c Sol. found (all assignments made)... 250.65 c Sol. found (all assignments made)... 250.66 c Sol. found (all assignments made)... 250.67 c Sol. found (all assignments made)... 250.71 c Sol. found (all assignments made)... 250.71 c Sol. found (all assignments made)... 250.72 c Sol. found (all assignments made)... 250.76 c Sol. found (all assignments made)... 250.79 c Sol. found (all assignments made)... 250.79 c Sol. found (all assignments made)... 250.80 c Sol. found (all assignments made)... 250.81 c Sol. found (all assignments made)... 250.82 c Sol. found (all assignments made)... 250.82 c Sol. found (all assignments made)... 250.83 c Sol. found (all assignments made)... 250.85 c Sol. found (all assignments made)... 250.86 c Sol. found (all assignments made)... 250.87 c Sol. found (all assignments made)... 250.88 c Sol. found (all assignments made)... 250.88 c Sol. found (all assignments made)... 250.89 c Sol. found (all assignments made)... 250.91 c Sol. found (all assignments made)... 250.92 c Sol. found (all assignments made)... 250.92 c Sol. found (all assignments made)... 250.94 c Sol. found (all assignments made)... 250.94 c Sol. found (all assignments made)... 250.96 c Sol. found (all assignments made)... 250.96 c Sol. found (all assignments made)... 250.98 c Sol. found (all assignments made)... 251.01 c Sol. found (all assignments made)... 251.03 c Sol. found (all assignments made)... 251.04 c Sol. found (all assignments made)... 251.04 c Sol. found (all assignments made)... 251.06 c Sol. found (all assignments made)... 251.26 c Sol. found (all assignments made)... 251.40 c Sol. found (all assignments made)... 251.43 c Sol. found (all assignments made)... 251.47 c Sol. found (all assignments made)... 251.54 c Sol. found (all assignments made)... 251.58 c Sol. found (all assignments made)... 251.90 c Sol. found (all assignments made)... 252.08 c Sol. found (all assignments made)... 252.11 c Sol. found (all assignments made)... 252.13 c Sol. found (all assignments made)... 252.18 c Sol. found (all assignments made)... 252.20 c Sol. found (all assignments made)... 252.25 c Sol. found (all assignments made)... 252.44 c Sol. found (all assignments made)... 252.45 c Sol. found (all assignments made)... 252.52 c Sol. found (all assignments made)... 252.55 c Sol. found (all assignments made)... 252.56 c Sol. found (all assignments made)... 252.61 c Sol. found (all assignments made)... 252.64 c Sol. found (all assignments made)... 252.68 c Sol. found (all assignments made)... 252.71 c Sol. found (all assignments made)... 252.74 c Sol. found (all assignments made)... 252.76 c Sol. found (all assignments made)... 252.78 c Sol. found (all assignments made)... 252.80 c Sol. found (all assignments made)... 252.82 c Sol. found (all assignments made)... 252.83 c Sol. found (all assignments made)... 252.84 c Sol. found (all assignments made)... 252.87 c Sol. found (all assignments made)... 252.89 c Sol. found (all assignments made)... 252.93 c Sol. found (all assignments made)... 252.96 c Sol. found (all assignments made)... 252.99 c Sol. found (all assignments made)... 253.01 c Sol. found (all assignments made)... 253.02 c Sol. found (all assignments made)... 253.04 c Sol. found (all assignments made)... 253.08 c Sol. found (all assignments made)... 253.09 c Sol. found (all assignments made)... 253.12 c Sol. found (all assignments made)... 253.14 c Sol. found (all assignments made)... 253.17 c Sol. found (all assignments made)... 253.18 c Sol. found (all assignments made)... 253.19 c Sol. found (all assignments made)... 253.21 c Sol. found (all assignments made)... 253.23 c Sol. found (all assignments made)... 253.24 c Sol. found (all assignments made)... 253.25 c Sol. found (all assignments made)... 253.29 c Sol. found (all assignments made)... 253.30 c Sol. found (all assignments made)... 253.31 c Sol. found (all assignments made)... 253.32 c Sol. found (all assignments made)... 253.35 c Sol. found (all assignments made)... 253.38 c Sol. found (all assignments made)... 253.40 c Sol. found (all assignments made)... 253.42 c Sol. found (all assignments made)... 253.46 c Sol. found (all assignments made)... 253.46 c Sol. found (all assignments made)... 253.48 c Sol. found (all assignments made)... 253.50 c Sol. found (all assignments made)... 253.52 c Sol. found (all assignments made)... 253.55 c Sol. found (all assignments made)... 253.56 c Sol. found (all assignments made)... 253.58 c Sol. found (all assignments made)... 253.60 c Sol. found (all assignments made)... 253.63 c Sol. found (all assignments made)... 253.65 c Sol. found (all assignments made)... 253.67 c Sol. found (all assignments made)... 253.69 c Sol. found (all assignments made)... 253.72 c Sol. found (all assignments made)... 253.73 c Sol. found (all assignments made)... 253.77 c Sol. found (all assignments made)... 253.78 c Sol. found (all assignments made)... 253.81 c Sol. found (all assignments made)... 253.83 c Sol. found (all assignments made)... 253.85 c Sol. found (all assignments made)... 253.88 c Sol. found (all assignments made)... 253.90 c Sol. found (all assignments made)... 253.91 c Sol. found (all assignments made)... 253.92 c Sol. found (all assignments made)... 253.93 c Sol. found (all assignments made)... 253.95 c Sol. found (all assignments made)... 253.96 c Sol. found (all assignments made)... 253.97 c Sol. found (all assignments made)... 254.02 c Sol. found (all assignments made)... 254.15 c Sol. found (all assignments made)... 254.44 c Sol. found (all assignments made)... 254.48 c Sol. found (all assignments made)... 254.60 c Sol. found (all assignments made)... 254.64 c Sol. found (all assignments made)... 254.70 c Sol. found (all assignments made)... 254.94 c Sol. found (all assignments made)... 254.99 c Sol. found (all assignments made)... 255.11 c Sol. found (all assignments made)... 255.12 c Sol. found (all assignments made)... 255.14 c Sol. found (all assignments made)... 255.15 c Sol. found (all assignments made)... 255.17 c Sol. found (all assignments made)... 255.19 c Sol. found (all assignments made)... 255.21 c Sol. found (all assignments made)... 255.22 c Sol. found (all assignments made)... 255.23 c Sol. found (all assignments made)... 255.23 c Sol. found (all assignments made)... 255.26 c Sol. found (all assignments made)... 255.28 c Sol. found (all assignments made)... 255.31 c Sol. found (all assignments made)... 255.32 c Sol. found (all assignments made)... 255.33 c Sol. found (all assignments made)... 255.33 c Sol. found (all assignments made)... 255.35 c Sol. found (all assignments made)... 255.79 c Sol. found (all assignments made)... 255.83 c Sol. found (all assignments made)... 255.91 c Sol. found (all assignments made)... 255.94 c Sol. found (all assignments made)... 255.96 c Sol. found (all assignments made)... 256.05 c Sol. found (all assignments made)... 256.12 c Sol. found (all assignments made)... 256.37 c Sol. found (all assignments made)... 256.41 c Sol. found (all assignments made)... 256.44 c Sol. found (all assignments made)... 256.46 c Sol. found (all assignments made)... 256.55 c Sol. found (all assignments made)... 256.99 c Sol. found (all assignments made)... 257.02 c Sol. found (all assignments made)... 257.09 c Sol. found (all assignments made)... 257.19 c Sol. found (all assignments made)... 257.26 c Sol. found (all assignments made)... 257.33 c Sol. found (all assignments made)... 257.42 c Sol. found (all assignments made)... 257.47 c Sol. found (all assignments made)... 257.50 c Sol. found (all assignments made)... 257.51 c Sol. found (all assignments made)... 257.57 c Sol. found (all assignments made)... 257.57 c Sol. found (all assignments made)... 257.62 c Sol. found (all assignments made)... 257.64 c Sol. found (all assignments made)... 257.65 c Sol. found (all assignments made)... 257.68 c Sol. found (all assignments made)... 257.71 c Sol. found (all assignments made)... 257.73 c Sol. found (all assignments made)... 257.76 c Sol. found (all assignments made)... 257.80 c Sol. found (all assignments made)... 257.82 c Sol. found (all assignments made)... 257.85 c Sol. found (all assignments made)... 257.85 c Sol. found (all assignments made)... 257.87 c Sol. found (all assignments made)... 257.90 c Sol. found (all assignments made)... 258.05 c Sol. found (all assignments made)... 258.07 c Sol. found (all assignments made)... 258.08 c Sol. found (all assignments made)... 258.10 c Sol. found (all assignments made)... 258.11 c Sol. found (all assignments made)... 258.20 c Sol. found (all assignments made)... 258.21 c Sol. found (all assignments made)... 258.24 c Sol. found (all assignments made)... 258.26 c Sol. found (all assignments made)... 258.30 c Sol. found (all assignments made)... 258.31 c Sol. found (all assignments made)... 258.32 c Sol. found (all assignments made)... 258.33 c Sol. found (all assignments made)... 258.33 c Sol. found (all assignments made)... 258.36 c Sol. found (all assignments made)... 258.38 c Sol. found (all assignments made)... 258.40 c Sol. found (all assignments made)... 258.42 c Sol. found (all assignments made)... 258.44 c Sol. found (all assignments made)... 258.46 c Sol. found (all assignments made)... 258.49 c Sol. found (all assignments made)... 258.53 c Sol. found (all assignments made)... 258.55 c Sol. found (all assignments made)... 258.56 c Sol. found (all assignments made)... 258.58 c Sol. found (all assignments made)... 258.60 c Sol. found (all assignments made)... 258.60 c Sol. found (all assignments made)... 258.61 c Sol. found (all assignments made)... 258.76 c Sol. found (all assignments made)... 258.81 c Sol. found (all assignments made)... 259.12 c Sol. found (all assignments made)... 259.20 c Sol. found (all assignments made)... 259.32 c Sol. found (all assignments made)... 259.46 c Sol. found (all assignments made)... 259.57 c Sol. found (all assignments made)... 259.59 c Sol. found (all assignments made)... 259.62 c Sol. found (all assignments made)... 259.63 c Sol. found (all assignments made)... 259.65 c Sol. found (all assignments made)... 259.74 c Sol. found (all assignments made)... 259.75 c Sol. found (all assignments made)... 259.78 c Sol. found (all assignments made)... 259.80 c Sol. found (all assignments made)... 259.82 c Sol. found (all assignments made)... 259.85 c Sol. found (all assignments made)... 259.88 c Sol. found (all assignments made)... 260.09 c Sol. found (all assignments made)... 260.68 c Sol. found (all assignments made)... 260.81 c Sol. found (all assignments made)... 260.88 c Sol. found (all assignments made)... 260.95 c Sol. found (all assignments made)... 261.47 c Sol. found (all assignments made)... 261.51 c Sol. found (all assignments made)... 261.70 c Sol. found (all assignments made)... 261.72 c Sol. found (all assignments made)... 261.78 c Sol. found (all assignments made)... 261.82 c Sol. found (all assignments made)... 261.82 c Sol. found (all assignments made)... 261.87 c Sol. found (all assignments made)... 261.90 c Sol. found (all assignments made)... 261.92 c Sol. found (all assignments made)... 261.93 c Sol. found (all assignments made)... 261.94 c Sol. found (all assignments made)... 261.98 c Sol. found (all assignments made)... 262.00 c Sol. found (all assignments made)... 262.01 c Sol. found (all assignments made)... 262.02 c Sol. found (all assignments made)... 262.06 c Sol. found (all assignments made)... 262.10 c Sol. found (all assignments made)... 262.11 c Sol. found (all assignments made)... 262.13 c Sol. found (all assignments made)... 262.16 c Sol. found (all assignments made)... 262.18 c Sol. found (all assignments made)... 262.20 c Sol. found (all assignments made)... 262.24 c Sol. found (all assignments made)... 262.32 c Sol. found (all assignments made)... 262.34 c Sol. found (all assignments made)... 262.34 c Sol. found (all assignments made)... 262.37 c Sol. found (all assignments made)... 262.38 c Sol. found (all assignments made)... 262.41 c Sol. found (all assignments made)... 262.42 c Sol. found (all assignments made)... 262.44 c Sol. found (all assignments made)... 262.51 c Sol. found (all assignments made)... 262.54 c Sol. found (all assignments made)... 262.61 c Sol. found (all assignments made)... 262.66 c Sol. found (all assignments made)... 262.68 c Sol. found (all assignments made)... 262.81 c Sol. found (all assignments made)... 262.88 c Sol. found (all assignments made)... 262.91 c Sol. found (all assignments made)... 262.97 c Sol. found (all assignments made)... 263.00 c Sol. found (all assignments made)... 263.03 c Sol. found (all assignments made)... 263.05 c Sol. found (all assignments made)... 263.06 c Sol. found (all assignments made)... 263.09 c Sol. found (all assignments made)... 263.09 c Sol. found (all assignments made)... 263.10 c Sol. found (all assignments made)... 263.12 c Sol. found (all assignments made)... 263.12 c Sol. found (all assignments made)... 263.13 c Sol. found (all assignments made)... 263.14 c Sol. found (all assignments made)... 263.15 c Sol. found (all assignments made)... 263.17 c Sol. found (all assignments made)... 263.18 c Sol. found (all assignments made)... 263.19 c Sol. found (all assignments made)... 263.20 c Sol. found (all assignments made)... 263.21 c Sol. found (all assignments made)... 263.21 c Sol. found (all assignments made)... 263.23 c Sol. found (all assignments made)... 263.25 c Sol. found (all assignments made)... 263.26 c Sol. found (all assignments made)... 263.29 c Sol. found (all assignments made)... 263.32 c Sol. found (all assignments made)... 263.32 c Sol. found (all assignments made)... 263.33 c Sol. found (all assignments made)... 263.35 c Sol. found (all assignments made)... 263.37 c Sol. found (all assignments made)... 263.37 c Sol. found (all assignments made)... 263.39 c Sol. found (all assignments made)... 263.40 c Sol. found (all assignments made)... 263.44 c Sol. found (all assignments made)... 263.48 c Sol. found (all assignments made)... 263.49 c Sol. found (all assignments made)... 263.50 c Sol. found (all assignments made)... 263.51 c Sol. found (all assignments made)... 263.61 c Sol. found (all assignments made)... 263.74 c Sol. found (all assignments made)... 263.77 c Sol. found (all assignments made)... 263.94 c Sol. found (all assignments made)... 264.18 c Sol. found (all assignments made)... 264.38 c Sol. found (all assignments made)... 264.43 c Sol. found (all assignments made)... 264.49 c Sol. found (all assignments made)... 264.51 c Sol. found (all assignments made)... 264.54 c Sol. found (all assignments made)... 264.57 c Sol. found (all assignments made)... 264.74 c Sol. found (all assignments made)... 264.81 c Sol. found (all assignments made)... 264.84 c Sol. found (all assignments made)... 264.96 c Sol. found (all assignments made)... 265.09 c Sol. found (all assignments made)... 265.14 c Sol. found (all assignments made)... 265.18 c Sol. found (all assignments made)... 265.21 c Sol. found (all assignments made)... 265.38 c Sol. found (all assignments made)... 265.55 c Sol. found (all assignments made)... 265.68 c Sol. found (all assignments made)... 265.86 c Sol. found (all assignments made)... 265.93 c Sol. found (all assignments made)... 266.20 c Sol. found (all assignments made)... 266.36 c Sol. found (all assignments made)... 266.49 c Sol. found (all assignments made)... 266.65 c Sol. found (all assignments made)... 266.71 c Restart #42 #Var: 4278 LB: 0 @ 266.6 268.28 c Sol. found (all assignments made)... 268.28 o 6442225 268.28 c NEW SOLUTION FOUND: 6442225 @ 268.17 268.29 c Sol. found (all assignments made)... 268.29 o 6442193 268.29 c NEW SOLUTION FOUND: 6442193 @ 268.18 268.31 c Sol. found (all assignments made)... 268.31 o 6442177 268.31 c NEW SOLUTION FOUND: 6442177 @ 268.2 268.32 c Sol. found (all assignments made)... 268.38 c Sol. found (all assignments made)... 268.38 o 6442081 268.38 c NEW SOLUTION FOUND: 6442081 @ 268.28 268.39 c Sol. found (all assignments made)... 268.39 o 6442049 268.39 c NEW SOLUTION FOUND: 6442049 @ 268.29 268.56 c Sol. found (all assignments made)... 268.56 o 6367049 268.56 c NEW SOLUTION FOUND: 6367049 @ 268.46 268.56 c Sol. found (all assignments made)... 268.72 c Sol. found (all assignments made)... 268.73 c Sol. found (all assignments made)... 268.77 c Sol. found (all assignments made)... 268.78 c Sol. found (all assignments made)... 268.80 c Sol. found (all assignments made)... 268.82 c Sol. found (all assignments made)... 268.91 c Sol. found (all assignments made)... 268.92 c Sol. found (all assignments made)... 269.08 c Sol. found (all assignments made)... 269.08 o 6217915 269.08 c NEW SOLUTION FOUND: 6217915 @ 268.98 269.18 c Sol. found (all assignments made)... 269.18 o 6217909 269.18 c NEW SOLUTION FOUND: 6217909 @ 269.08 269.29 c Sol. found (all assignments made)... 269.30 c Sol. found (all assignments made)... 269.33 c Sol. found (all assignments made)... 269.35 c Sol. found (all assignments made)... 269.37 c Sol. found (all assignments made)... 269.38 c Sol. found (all assignments made)... 269.45 c Sol. found (all assignments made)... 269.47 c Sol. found (all assignments made)... 269.52 c Sol. found (all assignments made)... 269.53 c Sol. found (all assignments made)... 269.56 c Sol. found (all assignments made)... 269.57 c Sol. found (all assignments made)... 269.59 c Sol. found (all assignments made)... 269.59 c Sol. found (all assignments made)... 269.72 c Sol. found (all assignments made)... 269.73 c Sol. found (all assignments made)... 269.73 c Sol. found (all assignments made)... 269.74 c Sol. found (all assignments made)... 269.75 c Sol. found (all assignments made)... 269.76 c Sol. found (all assignments made)... 269.81 c Sol. found (all assignments made)... 269.82 c Sol. found (all assignments made)... 269.85 c Sol. found (all assignments made)... 269.85 c Sol. found (all assignments made)... 269.95 c Sol. found (all assignments made)... 269.97 c Sol. found (all assignments made)... 270.03 c Sol. found (all assignments made)... 270.04 c Sol. found (all assignments made)... 270.04 c Sol. found (all assignments made)... 270.06 c Sol. found (all assignments made)... 270.08 c Sol. found (all assignments made)... 270.08 c Sol. found (all assignments made)... 270.10 c Sol. found (all assignments made)... 270.10 c Sol. found (all assignments made)... 270.12 c Sol. found (all assignments made)... 270.14 c Sol. found (all assignments made)... 270.15 c Sol. found (all assignments made)... 270.15 c Sol. found (all assignments made)... 270.19 c Sol. found (all assignments made)... 270.20 c Sol. found (all assignments made)... 270.21 c Sol. found (all assignments made)... 270.22 c Sol. found (all assignments made)... 270.26 c Sol. found (all assignments made)... 270.26 c Sol. found (all assignments made)... 270.30 c Sol. found (all assignments made)... 270.30 c Sol. found (all assignments made)... 270.36 c Sol. found (all assignments made)... 270.53 c Sol. found (all assignments made)... 270.59 c Sol. found (all assignments made)... 270.67 c Sol. found (all assignments made)... 270.68 c Sol. found (all assignments made)... 270.72 c Sol. found (all assignments made)... 270.74 c Sol. found (all assignments made)... 270.85 c Sol. found (all assignments made)... 270.89 c Sol. found (all assignments made)... 270.99 c Sol. found (all assignments made)... 271.04 c Sol. found (all assignments made)... 271.05 c Sol. found (all assignments made)... 271.06 c Sol. found (all assignments made)... 271.09 c Sol. found (all assignments made)... 271.12 c Sol. found (all assignments made)... 271.13 c Sol. found (all assignments made)... 271.15 c Sol. found (all assignments made)... 271.19 c Sol. found (all assignments made)... 271.23 c Sol. found (all assignments made)... 271.25 c Sol. found (all assignments made)... 271.25 c Sol. found (all assignments made)... 271.29 c Sol. found (all assignments made)... 271.32 c Sol. found (all assignments made)... 271.34 c Sol. found (all assignments made)... 271.34 c Sol. found (all assignments made)... 271.43 c Sol. found (all assignments made)... 271.44 c Sol. found (all assignments made)... 271.49 c Sol. found (all assignments made)... 271.49 c Sol. found (all assignments made)... 271.51 c Sol. found (all assignments made)... 271.56 c Sol. found (all assignments made)... 271.70 c Sol. found (all assignments made)... 271.70 c Sol. found (all assignments made)... 271.71 c Sol. found (all assignments made)... 271.71 c Sol. found (all assignments made)... 271.71 c Sol. found (all assignments made)... 271.75 c Sol. found (all assignments made)... 271.77 c Sol. found (all assignments made)... 271.79 c Sol. found (all assignments made)... 271.79 c Sol. found (all assignments made)... 271.81 c Sol. found (all assignments made)... 271.85 c Sol. found (all assignments made)... 271.92 c Sol. found (all assignments made)... 271.93 c Sol. found (all assignments made)... 271.95 c Sol. found (all assignments made)... 272.50 c Sol. found (all assignments made)... 272.68 c Sol. found (all assignments made)... 273.43 c Sol. found (all assignments made)... 274.03 c Sol. found (all assignments made)... 274.11 c Sol. found (all assignments made)... 274.47 c Sol. found (all assignments made)... 274.48 c Sol. found (all assignments made)... 274.52 c Sol. found (all assignments made)... 274.54 c Sol. found (all assignments made)... 274.64 c Sol. found (all assignments made)... 274.68 c Sol. found (all assignments made)... 274.73 c Sol. found (all assignments made)... 274.81 c Sol. found (all assignments made)... 274.85 c Sol. found (all assignments made)... 274.97 c Sol. found (all assignments made)... 274.97 o 6172915 274.97 c NEW SOLUTION FOUND: 6172915 @ 274.86 274.97 c Sol. found (all assignments made)... 274.97 o 6172901 274.97 c NEW SOLUTION FOUND: 6172901 @ 274.87 275.06 c Sol. found (all assignments made)... 275.10 c Sol. found (all assignments made)... 276.10 c Sol. found (all assignments made)... 276.12 c Sol. found (all assignments made)... 276.38 c Sol. found (all assignments made)... 276.40 c Sol. found (all assignments made)... 276.57 c Sol. found (all assignments made)... 276.67 c Sol. found (all assignments made)... 276.69 c Sol. found (all assignments made)... 276.76 c Sol. found (all assignments made)... 276.81 c Sol. found (all assignments made)... 276.90 c Sol. found (all assignments made)... 276.91 c Sol. found (all assignments made)... 276.91 o 6156957 276.91 c NEW SOLUTION FOUND: 6156957 @ 276.81 276.95 c Sol. found (all assignments made)... 276.95 o 6156955 276.95 c NEW SOLUTION FOUND: 6156955 @ 276.85 277.98 c Sol. found (all assignments made)... 278.21 c Sol. found (all assignments made)... 278.78 c Sol. found (all assignments made)... 278.79 c Sol. found (all assignments made)... 278.96 c Sol. found (all assignments made)... 278.98 c Sol. found (all assignments made)... 279.00 c Sol. found (all assignments made)... 279.04 c Sol. found (all assignments made)... 279.06 c Sol. found (all assignments made)... 279.10 c Sol. found (all assignments made)... 279.13 c Sol. found (all assignments made)... 279.20 c Sol. found (all assignments made)... 279.24 c Sol. found (all assignments made)... 279.27 c Sol. found (all assignments made)... 280.21 c Sol. found (all assignments made)... 280.47 c Sol. found (all assignments made)... 280.67 c Sol. found (all assignments made)... 280.68 c Sol. found (all assignments made)... 280.69 c Sol. found (all assignments made)... 280.70 c Sol. found (all assignments made)... 280.70 c Sol. found (all assignments made)... 280.72 c Sol. found (all assignments made)... 280.77 c Sol. found (all assignments made)... 280.79 c Sol. found (all assignments made)... 280.79 c Sol. found (all assignments made)... 280.80 c Sol. found (all assignments made)... 280.80 c Sol. found (all assignments made)... 280.82 c Sol. found (all assignments made)... 280.88 c Sol. found (all assignments made)... 280.90 c Sol. found (all assignments made)... 280.91 c Sol. found (all assignments made)... 280.91 c Sol. found (all assignments made)... 280.94 c Sol. found (all assignments made)... 281.01 c Sol. found (all assignments made)... 281.02 c Sol. found (all assignments made)... 281.04 c Sol. found (all assignments made)... 281.15 c Sol. found (all assignments made)... 281.15 c Sol. found (all assignments made)... 281.17 c Sol. found (all assignments made)... 281.27 c Sol. found (all assignments made)... 281.27 c Sol. found (all assignments made)... 281.28 c Sol. found (all assignments made)... 281.29 c Sol. found (all assignments made)... 281.39 c Sol. found (all assignments made)... 281.40 c Sol. found (all assignments made)... 281.46 c Sol. found (all assignments made)... 281.87 c Sol. found (all assignments made)... 281.90 c Sol. found (all assignments made)... 282.14 c Sol. found (all assignments made)... 282.21 c Sol. found (all assignments made)... 282.25 c Sol. found (all assignments made)... 282.26 c Sol. found (all assignments made)... 282.32 c Sol. found (all assignments made)... 282.46 c Sol. found (all assignments made)... 282.55 c Sol. found (all assignments made)... 282.57 c Sol. found (all assignments made)... 282.71 c Sol. found (all assignments made)... 283.27 c Sol. found (all assignments made)... 283.66 c Sol. found (all assignments made)... 283.72 c Sol. found (all assignments made)... 284.07 c Sol. found (all assignments made)... 284.18 c Sol. found (all assignments made)... 284.21 c Sol. found (all assignments made)... 284.30 c Sol. found (all assignments made)... 284.34 c Sol. found (all assignments made)... 284.48 c Sol. found (all assignments made)... 284.68 c Sol. found (all assignments made)... 284.73 c Sol. found (all assignments made)... 284.89 c Sol. found (all assignments made)... 285.05 c Sol. found (all assignments made)... 285.07 c Sol. found (all assignments made)... 285.12 c Sol. found (all assignments made)... 285.15 c Sol. found (all assignments made)... 285.18 c Sol. found (all assignments made)... 285.27 c Sol. found (all assignments made)... 285.30 c Sol. found (all assignments made)... 285.35 c Sol. found (all assignments made)... 285.48 c Sol. found (all assignments made)... 285.55 c Sol. found (all assignments made)... 285.57 c Sol. found (all assignments made)... 285.61 c Sol. found (all assignments made)... 285.70 c Sol. found (all assignments made)... 285.71 c Sol. found (all assignments made)... 285.75 c Sol. found (all assignments made)... 285.79 c Sol. found (all assignments made)... 285.85 c Sol. found (all assignments made)... 285.91 c Sol. found (all assignments made)... 286.00 c Sol. found (all assignments made)... 286.01 c Sol. found (all assignments made)... 286.04 c Sol. found (all assignments made)... 286.07 c Sol. found (all assignments made)... 286.14 c Sol. found (all assignments made)... 286.24 c Sol. found (all assignments made)... 286.33 c Sol. found (all assignments made)... 286.44 c Sol. found (all assignments made)... 286.51 c Sol. found (all assignments made)... 286.56 c Sol. found (all assignments made)... 286.57 c Sol. found (all assignments made)... 286.62 c Sol. found (all assignments made)... 286.67 c Sol. found (all assignments made)... 286.72 c Sol. found (all assignments made)... 286.76 c Sol. found (all assignments made)... 286.81 c Sol. found (all assignments made)... 286.84 c Sol. found (all assignments made)... 286.91 c Sol. found (all assignments made)... 286.95 c Sol. found (all assignments made)... 287.01 c Sol. found (all assignments made)... 287.04 c Sol. found (all assignments made)... 287.10 c Sol. found (all assignments made)... 287.14 c Sol. found (all assignments made)... 287.22 c Sol. found (all assignments made)... 287.29 c Sol. found (all assignments made)... 287.38 c Sol. found (all assignments made)... 287.45 c Sol. found (all assignments made)... 287.53 c Sol. found (all assignments made)... 287.57 c Sol. found (all assignments made)... 287.59 c Sol. found (all assignments made)... 287.63 c Sol. found (all assignments made)... 287.66 c Sol. found (all assignments made)... 287.73 c Sol. found (all assignments made)... 287.76 c Sol. found (all assignments made)... 287.77 c Sol. found (all assignments made)... 287.80 c Sol. found (all assignments made)... 287.82 c Sol. found (all assignments made)... 287.83 c Sol. found (all assignments made)... 287.92 c Sol. found (all assignments made)... 288.01 c Sol. found (all assignments made)... 288.05 c Sol. found (all assignments made)... 288.12 c Sol. found (all assignments made)... 288.15 c Sol. found (all assignments made)... 288.20 c Sol. found (all assignments made)... 288.23 c Sol. found (all assignments made)... 288.30 c Sol. found (all assignments made)... 288.40 c Sol. found (all assignments made)... 288.48 c Sol. found (all assignments made)... 288.57 c Sol. found (all assignments made)... 288.59 c Sol. found (all assignments made)... 288.60 c Sol. found (all assignments made)... 290.29 c Sol. found (all assignments made)... 290.32 c Sol. found (all assignments made)... 290.34 c Sol. found (all assignments made)... 290.71 c Sol. found (all assignments made)... 291.13 c Sol. found (all assignments made)... 291.15 c Sol. found (all assignments made)... 291.22 c Sol. found (all assignments made)... 291.23 c Sol. found (all assignments made)... 291.30 c Sol. found (all assignments made)... 291.33 c Sol. found (all assignments made)... 291.35 c Sol. found (all assignments made)... 291.36 c Sol. found (all assignments made)... 291.43 c Sol. found (all assignments made)... 291.44 c Sol. found (all assignments made)... 291.49 c Sol. found (all assignments made)... 291.52 c Sol. found (all assignments made)... 291.55 c Sol. found (all assignments made)... 291.59 c Sol. found (all assignments made)... 291.60 c Sol. found (all assignments made)... 291.68 c Sol. found (all assignments made)... 291.70 c Sol. found (all assignments made)... 291.71 c Sol. found (all assignments made)... 291.73 c Sol. found (all assignments made)... 291.87 c Sol. found (all assignments made)... 291.91 c Sol. found (all assignments made)... 291.96 c Sol. found (all assignments made)... 291.99 c Sol. found (all assignments made)... 292.27 c Sol. found (all assignments made)... 292.32 c Sol. found (all assignments made)... 292.66 c Sol. found (all assignments made)... 293.67 c Sol. found (all assignments made)... 294.00 c Sol. found (all assignments made)... 294.03 c Sol. found (all assignments made)... 294.12 c Sol. found (all assignments made)... 294.27 c Sol. found (all assignments made)... 294.47 c Sol. found (all assignments made)... 294.60 c Sol. found (all assignments made)... 294.61 c Sol. found (all assignments made)... 294.63 c Sol. found (all assignments made)... 294.64 c Sol. found (all assignments made)... 294.77 c Sol. found (all assignments made)... 294.88 c Sol. found (all assignments made)... 294.99 c Sol. found (all assignments made)... 295.55 c Sol. found (all assignments made)... 295.68 c Sol. found (all assignments made)... 295.72 c Sol. found (all assignments made)... 295.76 c Sol. found (all assignments made)... 295.78 c Sol. found (all assignments made)... 295.78 c Sol. found (all assignments made)... 295.79 c Sol. found (all assignments made)... 295.82 c Sol. found (all assignments made)... 295.83 c Sol. found (all assignments made)... 295.86 c Sol. found (all assignments made)... 295.93 c Sol. found (all assignments made)... 296.39 c Sol. found (all assignments made)... 296.43 c Sol. found (all assignments made)... 296.45 c Sol. found (all assignments made)... 296.49 c Sol. found (all assignments made)... 296.51 c Sol. found (all assignments made)... 296.65 c Sol. found (all assignments made)... 296.75 c Sol. found (all assignments made)... 296.80 c Sol. found (all assignments made)... 296.81 c Sol. found (all assignments made)... 296.86 c Sol. found (all assignments made)... 296.95 c Sol. found (all assignments made)... 297.00 c Sol. found (all assignments made)... 297.23 c Sol. found (all assignments made)... 297.25 c Sol. found (all assignments made)... 297.32 c Sol. found (all assignments made)... 297.50 c Sol. found (all assignments made)... 297.56 c Sol. found (all assignments made)... 297.64 c Sol. found (all assignments made)... 297.69 c Sol. found (all assignments made)... 297.84 c Sol. found (all assignments made)... 298.06 c Sol. found (all assignments made)... 298.07 c Sol. found (all assignments made)... 298.11 c Sol. found (all assignments made)... 298.12 c Sol. found (all assignments made)... 298.16 c Sol. found (all assignments made)... 298.17 c Sol. found (all assignments made)... 298.19 c Sol. found (all assignments made)... 298.20 c Sol. found (all assignments made)... 298.27 c Sol. found (all assignments made)... 298.27 c Sol. found (all assignments made)... 298.38 c Sol. found (all assignments made)... 298.38 c Sol. found (all assignments made)... 298.41 c Sol. found (all assignments made)... 298.43 c Sol. found (all assignments made)... 298.48 c Sol. found (all assignments made)... 298.53 c Sol. found (all assignments made)... 298.65 c Sol. found (all assignments made)... 298.70 c Sol. found (all assignments made)... 298.77 c Sol. found (all assignments made)... 298.90 c Sol. found (all assignments made)... 298.95 c Sol. found (all assignments made)... 299.01 c Sol. found (all assignments made)... 299.05 c Sol. found (all assignments made)... 299.12 c Sol. found (all assignments made)... 299.16 c Sol. found (all assignments made)... 299.19 c Sol. found (all assignments made)... 299.21 c Sol. found (all assignments made)... 299.25 c Sol. found (all assignments made)... 299.29 c Sol. found (all assignments made)... 299.35 c Sol. found (all assignments made)... 299.37 c Sol. found (all assignments made)... 299.66 c Sol. found (all assignments made)... 299.69 c Sol. found (all assignments made)... 299.70 c Sol. found (all assignments made)... 299.73 c Sol. found (all assignments made)... 299.82 c Sol. found (all assignments made)... 299.83 c Sol. found (all assignments made)... 299.83 c Sol. found (all assignments made)... 299.94 c Sol. found (all assignments made)... 300.01 c Sol. found (all assignments made)... 300.04 c Sol. found (all assignments made)... 300.06 c Sol. found (all assignments made)... 300.10 c Sol. found (all assignments made)... 300.13 c Sol. found (all assignments made)... 300.22 c Sol. found (all assignments made)... 300.27 c Sol. found (all assignments made)... 300.31 c Sol. found (all assignments made)... 300.32 c Sol. found (all assignments made)... 300.32 c Sol. found (all assignments made)... 300.35 c Sol. found (all assignments made)... 300.38 c Sol. found (all assignments made)... 300.86 c Sol. found (all assignments made)... 300.88 c Sol. found (all assignments made)... 300.97 c Sol. found (all assignments made)... 300.98 c Sol. found (all assignments made)... 301.00 c Sol. found (all assignments made)... 301.02 c Sol. found (all assignments made)... 301.03 c Sol. found (all assignments made)... 301.03 c Sol. found (all assignments made)... 301.03 c Sol. found (all assignments made)... 301.06 c Sol. found (all assignments made)... 301.09 c Sol. found (all assignments made)... 301.11 c Sol. found (all assignments made)... 301.13 c Sol. found (all assignments made)... 301.14 c Sol. found (all assignments made)... 301.17 c Sol. found (all assignments made)... 301.17 c Sol. found (all assignments made)... 301.18 c Sol. found (all assignments made)... 301.18 c Sol. found (all assignments made)... 301.21 c Sol. found (all assignments made)... 301.21 c Sol. found (all assignments made)... 301.27 c Sol. found (all assignments made)... 301.28 c Sol. found (all assignments made)... 301.31 c Sol. found (all assignments made)... 301.32 c Sol. found (all assignments made)... 301.44 c Sol. found (all assignments made)... 301.44 c Sol. found (all assignments made)... 301.50 c Sol. found (all assignments made)... 301.51 c Sol. found (all assignments made)... 301.60 c Sol. found (all assignments made)... 301.62 c Sol. found (all assignments made)... 301.63 c Sol. found (all assignments made)... 301.82 c Sol. found (all assignments made)... 302.02 c Sol. found (all assignments made)... 302.03 c Sol. found (all assignments made)... 302.04 c Sol. found (all assignments made)... 302.06 c Sol. found (all assignments made)... 302.08 c Sol. found (all assignments made)... 302.09 c Sol. found (all assignments made)... 302.09 c Sol. found (all assignments made)... 302.10 c Sol. found (all assignments made)... 302.16 c Sol. found (all assignments made)... 302.20 c Sol. found (all assignments made)... 302.21 c Sol. found (all assignments made)... 302.23 c Sol. found (all assignments made)... 302.24 c Sol. found (all assignments made)... 302.26 c Sol. found (all assignments made)... 302.27 c Sol. found (all assignments made)... 302.34 c Sol. found (all assignments made)... 302.37 c Sol. found (all assignments made)... 302.49 c Sol. found (all assignments made)... 302.57 c Sol. found (all assignments made)... 302.61 c Sol. found (all assignments made)... 302.62 c Sol. found (all assignments made)... 302.64 c Sol. found (all assignments made)... 302.66 c Sol. found (all assignments made)... 302.77 c Sol. found (all assignments made)... 302.80 c Sol. found (all assignments made)... 302.91 c Sol. found (all assignments made)... 303.01 c Sol. found (all assignments made)... 303.02 c Sol. found (all assignments made)... 303.08 c Sol. found (all assignments made)... 303.17 c Sol. found (all assignments made)... 303.18 c Sol. found (all assignments made)... 303.19 c Sol. found (all assignments made)... 303.19 c Sol. found (all assignments made)... 303.21 c Sol. found (all assignments made)... 303.21 c Sol. found (all assignments made)... 303.24 c Sol. found (all assignments made)... 303.24 c Sol. found (all assignments made)... 303.30 c Sol. found (all assignments made)... 303.31 c Sol. found (all assignments made)... 303.34 c Sol. found (all assignments made)... 303.38 c Sol. found (all assignments made)... 303.39 c Sol. found (all assignments made)... 303.44 c Sol. found (all assignments made)... 303.49 c Sol. found (all assignments made)... 303.77 c Sol. found (all assignments made)... 303.79 c Sol. found (all assignments made)... 303.92 c Sol. found (all assignments made)... 303.97 c Sol. found (all assignments made)... 304.01 c Sol. found (all assignments made)... 304.02 c Sol. found (all assignments made)... 304.05 c Sol. found (all assignments made)... 304.05 c Sol. found (all assignments made)... 304.19 c Sol. found (all assignments made)... 304.26 c Sol. found (all assignments made)... 304.27 c Sol. found (all assignments made)... 304.32 c Sol. found (all assignments made)... 304.32 c Sol. found (all assignments made)... 304.43 c Sol. found (all assignments made)... 304.43 c Sol. found (all assignments made)... 304.46 c Sol. found (all assignments made)... 304.52 c Sol. found (all assignments made)... 304.57 c Sol. found (all assignments made)... 304.60 c Sol. found (all assignments made)... 304.72 c Sol. found (all assignments made)... 304.82 c Sol. found (all assignments made)... 304.89 c Sol. found (all assignments made)... 304.98 c Sol. found (all assignments made)... 305.02 c Sol. found (all assignments made)... 305.03 c Sol. found (all assignments made)... 305.09 c Sol. found (all assignments made)... 305.12 c Sol. found (all assignments made)... 305.37 c Sol. found (all assignments made)... 305.49 c Sol. found (all assignments made)... 305.56 c Sol. found (all assignments made)... 305.61 c Sol. found (all assignments made)... 305.71 c Sol. found (all assignments made)... 305.74 c Sol. found (all assignments made)... 305.95 c Sol. found (all assignments made)... 306.06 c Sol. found (all assignments made)... 306.25 c Sol. found (all assignments made)... 306.31 c Sol. found (all assignments made)... 306.38 c Sol. found (all assignments made)... 306.84 c Sol. found (all assignments made)... 306.89 c Sol. found (all assignments made)... 306.91 c Sol. found (all assignments made)... 306.97 c Sol. found (all assignments made)... 307.10 c Sol. found (all assignments made)... 307.15 c Restart #43 #Var: 4278 LB: 0 @ 307.03 315.27 c Restart #44 #Var: 4278 LB: 0 @ 315.15 319.52 c Restart #45 #Var: 4278 LB: 0 @ 319.4 324.52 c Restart #46 #Var: 4278 LB: 0 @ 324.4 332.15 c CHANGE to MIS mode... UB: 6156955 MIS: 0 LPR: -2147483648 (0) Diff: -0 332.15 c Restart #0 #Var: 4278 LB: 0 @ 332.02 332.77 c Restart #1 #Var: 4278 LB: 40 @ 332.64 333.27 c Restart #2 #Var: 4278 LB: 40 @ 333.14 334.09 c Restart #3 #Var: 4278 LB: 40 @ 333.96 341.43 c Restart #4 #Var: 4278 LB: 40 @ 341.3 342.45 c Restart #5 #Var: 4278 LB: 40 @ 342.32 349.30 c Restart #6 #Var: 4278 LB: 40 @ 349.17 353.48 c Restart #7 #Var: 4278 LB: 40 @ 353.35 355.15 c Restart #8 #Var: 4278 LB: 40 @ 355.01 371.39 c Restart #9 #Var: 4278 LB: 40 @ 371.25 373.08 c Restart #10 #Var: 4278 LB: 40 @ 372.94 376.12 c Restart #11 #Var: 4278 LB: 40 @ 375.98 377.90 c Restart #12 #Var: 4278 LB: 40 @ 377.76 403.24 c Restart #13 #Var: 4278 LB: 40 @ 403.1 405.41 c Restart #14 #Var: 4278 LB: 40 @ 405.26 425.41 c Restart #15 #Var: 4278 LB: 40 @ 425.26 427.88 c Restart #16 #Var: 4278 LB: 40 @ 427.73 430.78 c Restart #17 #Var: 4278 LB: 40 @ 430.62 433.42 c Restart #18 #Var: 4278 LB: 40 @ 433.26 462.73 c Restart #19 #Var: 4278 LB: 40 @ 462.57 465.86 c Restart #20 #Var: 4278 LB: 40 @ 465.69 469.24 c Restart #21 #Var: 4278 LB: 40 @ 469.07 472.99 c Restart #22 #Var: 4278 LB: 40 @ 472.82 495.63 c Restart #23 #Var: 4278 LB: 40 @ 495.45 499.65 c Restart #24 #Var: 4278 LB: 0 @ 499.48 503.31 c Restart #25 #Var: 4278 LB: 40 @ 503.13 530.51 c Restart #26 #Var: 4278 LB: 40 @ 530.33 565.79 c Restart #27 #Var: 4278 LB: 40 @ 565.59 570.43 c Restart #28 #Var: 4278 LB: 40 @ 570.23 620.79 c Restart #29 #Var: 4278 LB: 40 @ 620.57 662.62 c Restart #30 #Var: 4278 LB: 40 @ 662.39 710.15 c Restart #31 #Var: 4278 LB: 40 @ 709.9 746.31 c Restart #32 #Var: 4278 LB: 40 @ 746.05 842.01 c Restart #33 #Var: 4278 LB: 40 @ 841.72 963.55 c Restart #34 #Var: 4278 LB: 40 @ 963.23 1017.59 c Restart #35 #Var: 4278 LB: 40 @ 1017.2 1224.91 c Restart #36 #Var: 4278 LB: 40 @ 1224.5 1285.16 c Restart #37 #Var: 4278 LB: 40 @ 1284.7 1449.23 c Restart #38 #Var: 4278 LB: 40 @ 1448.7 1561.33 c Restart #39 #Var: 4278 LB: 40 @ 1560.8 1714.25 c Restart #40 #Var: 4278 LB: 0 @ 1713.7 1800.63 s SATISFIABLE 1800.63 c Cost: 6156955 1800.63 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 -x29 -x30 -x31 1800.63 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1800.63 v -x58 -x59 -x60 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1800.63 v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x6361 -x6362 1800.63 v -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 1800.63 v -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 x6691 x6692 x6693 x6694 x6695 x6696 x6697 1800.63 v x6698 x6699 x6700 x6701 x6702 x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 1800.63 v -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 1800.63 v -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 1800.63 v -x7050 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 1800.63 v -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7681 -x7682 -x7683 1800.63 v -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 1800.63 v -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 1800.63 v -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 1800.63 v -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 1800.63 v -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 1800.63 v -x8369 -x8370 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1800.63 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.63 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 -x726 1800.63 v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1800.63 v -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1800.63 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 -x1382 1800.63 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.63 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 1800.63 v -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 1800.63 v -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1800.63 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.63 v -x2068 -x2069 -x2070 x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1800.63 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2701 -x2702 1800.63 v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 1800.63 v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1800.63 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1800.63 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1800.63 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 1800.63 v -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 1800.63 v -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 1800.63 v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 1800.63 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 -x4385 1800.63 v -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 1800.63 v -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 1800.63 v -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 1800.63 v -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 1800.63 v -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 1800.63 v x5371 x5372 x5373 -x5374 x5375 x5376 -x5377 x5378 x5379 x5380 x5381 x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 1800.63 v -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 1800.63 v -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 1800.63 v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 1800.63 v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 1800.63 v -x6058 -x6059 -x6060 x6331 x6332 x6333 x6334 x6335 x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 1800.63 v -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 x6391 x6392 x6393 1800.63 v -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 1800.63 v -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 1800.63 v -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 1800.63 v -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 1800.63 v -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 1800.63 v -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 x6492 -x6493 -x6494 -x6495 1800.63 v -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 1800.63 v -x6513 x6514 x6515 x6516 -x6517 -x6518 x6519 x6520 x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 1800.63 v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 1800.63 v -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 1800.63 v -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 1800.63 v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 1800.63 v -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 1800.63 v -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 1800.63 v -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 1800.63 v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 1800.63 v -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 1800.63 v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 1800.63 v -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 1800.63 v -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 1800.63 v -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 1800.63 v -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 1800.63 v -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 x6811 -x6812 -x6813 x6814 -x6815 -x6816 1800.63 v x6817 -x6818 -x6819 -x6820 x6821 x6822 -x6823 -x6824 x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 1800.63 v -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 1800.63 v -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 1800.63 v -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 1800.63 v -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 1800.63 v -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 1800.63 v -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 1800.63 v -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 1800.63 v -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 1800.63 v -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 1800.63 v -x6988 -x6989 -x6990 x6991 x6992 x6993 x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 1800.63 v -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7051 -x7052 1800.63 v -x7053 -x7054 x7055 x7056 x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 1800.63 v -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 x7081 x7082 x7083 x7084 x7085 x7086 x7087 x7088 x7089 1800.63 v x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 1800.63 v -x7107 -x7108 -x7109 -x7110 x7111 x7112 x7113 x7114 x7115 x7116 x7117 -x7118 x7119 x7120 x7121 x7122 -x7123 -x7124 -x7125 1800.63 v -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 1800.63 v -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 1800.63 v -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 1800.63 v -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 1800.63 v -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 x7201 x7202 x7203 x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 1800.63 v -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 1800.63 v -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 1800.63 v -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x7261 x7262 -x7263 1800.63 v -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 1800.63 v -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 x7292 -x7293 -x7294 x7295 x7296 x7297 -x7298 1800.63 v -x7299 -x7300 -x7301 x7302 x7303 x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 1800.63 v -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 1800.63 v -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 1800.63 v -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 1800.63 v -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 1800.63 v -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 1800.63 v -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 1800.63 v -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 1800.63 v -x7466 -x7467 -x7468 -x7469 -x7470 x7471 x7472 x7473 x7474 x7475 x7476 x7477 x7478 x7479 x7480 x7481 -x7482 -x7483 -x7484 1800.63 v -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 x7501 1800.63 v x7502 x7503 x7504 x7505 x7506 x7507 x7508 x7509 x7510 x7511 x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 1800.63 v -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 1800.63 v -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 1800.63 v -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 1800.63 v -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 1800.63 v -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 1800.63 v -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 1800.63 v -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 1800.63 v -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 1800.63 v -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 1800.63 v -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 x7711 x7712 x7713 x7714 x7715 x7716 x7717 x7718 x7719 x7720 x7721 -x7722 1800.63 v -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 1800.63 v -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 1800.63 v -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 x7772 x7773 x7774 1800.63 v x7775 x7776 x7777 x7778 x7779 x7780 x7781 x7782 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 1800.63 v -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 x7801 x7802 x7803 x7804 x7805 x7806 x7807 -x7808 -x7809 -x7810 -x7811 1800.63 v -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 1800.63 v -x7829 -x7830 x7831 x7832 x7833 x7834 x7835 x7836 x7837 x7838 x7839 x7840 x7841 x7842 -x7843 -x7844 -x7845 -x7846 -x7847 1800.63 v -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 x7863 -x7864 1800.63 v -x7865 -x7866 -x7867 x7868 x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 1800.63 v -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 1800.63 v -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 1800.63 v -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 1800.63 v -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 1800.63 v -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 1800.63 v -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 1800.63 v -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 1800.63 v -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 1800.63 v -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 1800.63 v -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 1800.63 v -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 1800.63 v -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 1800.63 v -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 1800.63 v -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 1800.63 v -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 1800.63 v -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 1800.63 v -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 x8191 x8192 x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 1800.63 v -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 1800.63 v -x8220 x8221 x8222 x8223 x8224 x8225 x8226 x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 1800.63 v -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 1800.63 v -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 1800.63 v -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 1800.63 v -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 1800.63 v -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 1800.63 v -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 1800.63 v -x8340 -x8371 -x8372 x8373 -x8374 -x8375 -x8376 x8377 x8378 x8379 -x8380 x8381 x8382 x8383 -x8384 -x8385 -x8386 -x8387 1800.63 v -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 1800.63 v -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 1800.63 v -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 x8432 x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 1800.63 v x8440 x8441 x8442 x8443 x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 1800.63 v -x8458 -x8459 -x8460 x8461 x8462 x8463 x8464 x8465 x8466 x8467 x8468 x8469 x8470 -x8471 x8472 -x8473 -x8474 -x8475 -x8476 1800.63 v -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 1800.63 v -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 1800.63 v -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 1800.63 v -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 1800.63 v -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 x8551 x8552 -x8553 -x8554 x8555 x8556 -x8557 x8558 -x8559 -x8560 -x8561 -x8562 1800.63 v -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 1800.63 v -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 1800.63 v -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 x8611 x8612 x8613 x8614 1800.63 v x8615 x8616 -x8617 -x8618 x8619 x8620 x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 1800.63 v -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 x8641 x8642 x8643 x8644 x8645 x8646 -x8647 x8648 x8649 x8650 x8651 1800.63 v x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 1800.63 v -x8669 -x8670 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 1800.63 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 1800.63 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 1800.63 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 1800.63 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 1800.63 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.63 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.63 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 x248 x249 x250 -x251 x252 -x253 -x254 x255 -x256 -x257 -x258 1800.63 v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 1800.63 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1800.63 v -x301 -x302 x303 -x304 -x305 -x306 x307 x308 -x309 -x310 x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1800.63 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 1800.63 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 1800.63 v -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 1800.63 v -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 1800.63 v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1800.63 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1800.63 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 1800.63 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 -x520 x521 x522 1800.63 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 1800.63 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 1800.63 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 x573 -x574 x575 -x576 -x577 x578 x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 1800.63 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 1800.63 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1800.63 v -x629 -x630 x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1800.63 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1800.63 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 1800.63 v x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.63 v -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 1800.63 v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 1800.63 v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 1800.63 v -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1800.63 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 1800.63 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 1800.63 v -x871 x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 1800.63 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 1800.63 v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 1800.63 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1800.63 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1800.63 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1800.63 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1800.63 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 1800.63 v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1800.63 v -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.63 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.63 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.63 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.63 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.63 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.63 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.63 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.63 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 1800.63 v x1234 -x1235 -x1236 -x1237 x1238 x1239 x1240 -x1241 x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 1800.63 v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.63 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.63 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1800.63 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.63 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1800.63 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 1800.63 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.63 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 1800.63 v x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1800.63 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1800.63 v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 1800.63 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.63 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 1800.63 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1800.63 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.63 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1800.63 v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 1800.63 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1800.63 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.63 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1800.63 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.63 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1800.63 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.63 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.63 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1800.63 v -x1710 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.63 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.63 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.63 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.63 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.63 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1800.63 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.63 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.63 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1800.63 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.63 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.63 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1800.63 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1800.63 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1800.63 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1800.63 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1800.63 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1800.63 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 1800.63 v -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 1800.63 v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 1800.63 v -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 1800.63 v -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 1800.63 v -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 1800.63 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 1800.63 v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 1800.63 v -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 1800.63 v -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 1800.63 v -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 1800.63 v -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 1800.63 v -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 1800.63 v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 1800.63 v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1800.63 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1800.63 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 1800.63 v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1800.63 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2401 x2402 x2403 x2404 x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 1800.63 v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 1800.63 v -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 1800.63 v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 1800.63 v -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 1800.63 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 1800.63 v -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 1800.63 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 1800.63 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1800.63 v -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 x2563 x2564 -x2565 -x2566 1800.63 v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 1800.63 v -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1800.63 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 1800.63 v -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 1800.63 v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 1800.63 v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 1800.63 v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 1800.63 v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 1800.63 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1800.63 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 1800.63 v -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 1800.63 v -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 x2793 -x2794 -x2795 -x2796 x2797 x2798 x2799 x2800 -x2801 1800.63 v -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 1800.63 v -x2819 -x2820 x2821 x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 1800.63 v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 x2852 x2853 x2854 1800.63 v x2855 x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1800.63 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.63 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.63 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 1800.63 v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1800.63 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 1800.63 v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 1800.63 v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1800.63 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 1800.63 v -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 1800.63 v -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 1800.63 v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 1800.63 v -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 1800.63 v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 1800.63 v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 1800.63 v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 1800.63 v -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 1800.63 v -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 1800.63 v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 1800.63 v -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 1800.63 v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 1800.63 v -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 1800.63 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 1800.63 v -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 1800.63 v -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 1800.63 v -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 1800.63 v -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 1800.63 v -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 1800.63 v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 1800.63 v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 1800.63 v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 1800.63 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 1800.63 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 1800.63 v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 1800.63 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 1800.63 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 1800.63 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 x3572 -x3573 -x3574 -x3575 -x3576 1800.63 v -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 1800.63 v -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 1800.63 v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 1800.63 v -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 1800.63 v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 1800.63 v -x3662 -x3663 -x3664 -x3665 -x3666 x3667 x3668 x3669 x3670 -x3671 -x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 1800.63 v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 1800.63 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 1800.63 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3751 x3752 x3753 x3754 x3755 x3756 x3757 x3758 x3759 x3760 x3761 x3762 1800.63 v x3763 x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 1800.63 v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 1800.63 v -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 1800.63 v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 1800.63 v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 1800.63 v -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 1800.63 v -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 1800.63 v -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 1800.63 v -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 1800.63 v -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 x3932 x3933 x3934 1800.63 v x3935 x3936 x3937 x3938 x3939 x3940 -x3941 x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 1800.63 v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 x3962 x3963 x3964 x3965 x3966 -x3967 -x3968 -x3969 -x3970 1800.63 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 1800.63 v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 1800.63 v -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 1800.63 v x4022 x4023 x4024 x4025 x4026 x4027 x4028 x4029 x4030 x4031 x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 1800.63 v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 1800.63 v -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 1800.63 v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 x4112 x4113 x4114 x4115 x4116 x4117 -x4118 -x4119 -x4120 -x4121 -x4122 1800.63 v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 1800.63 v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 1800.63 v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 1800.63 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1800.63 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 1800.63 v -x4208 -x4209 -x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 1800.63 v -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 1800.63 v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 1800.63 v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 1800.63 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 1800.63 v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 1800.63 v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 1800.63 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1800.63 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 1800.63 v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 1800.63 v -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 1800.63 v -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 1800.63 v -x4443 -x4444 x4445 x4446 x4447 x4448 x4449 -x4450 x4451 x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 1800.63 v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 x4472 -x4473 x4474 -x4475 -x4476 x4477 -x4478 x4479 1800.63 v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 1800.63 v -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 1800.63 v -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 1800.63 v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 1800.63 v -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 1800.63 v -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 1800.63 v -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 1800.63 v -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 1800.63 v -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 1800.63 v -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 1800.63 v -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 1800.63 v -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 1800.63 v -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 1800.63 v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 1800.63 v -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 1800.63 v -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 1800.63 v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 1800.63 v -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 1800.63 v -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 1800.63 v -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 1800.63 v -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 1800.63 v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1800.63 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 1800.63 v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 1800.63 v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 1800.63 v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 1800.63 v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 1800.63 v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 1800.63 v -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 1800.63 v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 1800.63 v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 1800.63 v -x5037 -x5038 -x5039 -x5040 x5071 x5072 x5073 x5074 x5075 x5076 x5077 x5078 x5079 x5080 -x5081 -x5082 -x5083 -x5084 -x5085 1800.63 v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 x5101 x5102 -x5103 1800.63 v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 1800.63 v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 1800.63 v -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 1800.63 v -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 x5162 x5163 x5164 x5165 x5166 x5167 x5168 x5169 x5170 -x5171 -x5172 -x5173 1800.63 v -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 1800.63 v x5191 x5192 x5193 x5194 x5195 x5196 x5197 x5198 x5199 x5200 x5201 -x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 1800.63 v -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 1800.63 v -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 1800.63 v -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 1800.63 v -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 1800.63 v -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 1800.63 v -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x5311 1800.63 v -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 1800.63 v -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 x5342 x5343 x5344 -x5345 -x5346 1800.63 v -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 1800.63 v -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 1800.63 v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 1800.63 v -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 1800.63 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 1800.63 v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 1800.63 v -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 1800.63 v -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 1800.63 v -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 1800.63 v -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 1800.63 v -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 1800.63 v -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 1800.63 v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 1800.63 v -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 1800.63 v -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 1800.63 v -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 1800.63 v -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 1800.63 v -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 1800.63 v -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 1800.63 v -x5700 -x5731 -x5732 -x5733 -x5734 x5735 x5736 x5737 x5738 x5739 x5740 x5741 x5742 -x5743 x5744 x5745 -x5746 -x5747 -x5748 1800.63 v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 1800.63 v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 1800.63 v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 1800.63 v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 1800.63 v -x5817 -x5818 -x5819 -x5820 x5821 x5822 x5823 x5824 x5825 x5826 x5827 x5828 x5829 x5830 x5831 -x5832 -x5833 -x5834 -x5835 1800.63 v -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5851 x5852 x5853 1800.63 v x5854 x5855 x5856 x5857 x5858 x5859 x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 1800.63 v -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 x5881 x5882 x5883 x5884 x5885 -x5886 -x5887 -x5888 -x5889 1800.63 v -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 1800.63 v -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 1800.63 v -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 1800.63 v x5941 x5942 x5943 x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 1800.63 v -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 x5972 x5973 x5974 x5975 x5976 1800.63 v x5977 x5978 x5979 x5980 x5981 x5982 x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 1800.63 v -x5996 -x5997 -x5998 -x5999 -x6000 x6001 x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 1800.63 v -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 1800.63 v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 1800.63 v -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 1800.63 v -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 1800.63 v -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 1800.63 v -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 1800.63 v -x6146 -x6147 -x6148 -x6149 -x6150 x6151 x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 1800.63 v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 1800.63 v x6181 -x6182 x6183 x6184 x6185 x6186 x6187 x6188 x6189 x6190 x6191 x6192 x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 1800.63 v -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 x6215 -x6216 1800.63 v x6217 x6218 x6219 x6220 x6221 x6222 x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 1800.63 v -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 1800.63 v -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 1800.63 v -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 1800.63 v -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 x6302 1800.63 v -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 1800.63 v -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 x8671 -x8672 x8783 -x8883 x8894 -x8905 -x8916 1800.63 v -x8927 x8938 -x8949 -x8673 -x8684 -x8695 -x8706 -x8717 -x8728 -x8739 x8750 -x8761 -x8772 -x8784 -x8795 -x8806 -x8817 -x8828 1800.63 v -x8839 x8850 -x8861 -x8872 x8882 x8884 -x8885 -x8886 x8887 x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8895 -x8896 -x8897 1800.63 v x8898 -x8899 -x8900 -x8901 -x8902 -x8903 x8904 x8906 x8907 x8908 -x8909 -x8910 x8911 -x8912 x8913 x8914 -x8915 -x8917 -x8918 1800.63 v -x8919 x8920 x8921 -x8922 -x8923 -x8924 -x8925 -x8926 x8928 -x8929 x8930 x8931 x8932 x8933 -x8934 -x8935 x8936 -x8937 -x8939 1800.63 v -x8940 -x8941 -x8942 -x8943 x8944 x8945 -x8946 -x8947 -x8948 x8950 -x8951 x8952 x8953 -x8954 -x8955 x8956 -x8957 x8958 1800.63 v x8959 -x8674 -x8675 x8676 -x8677 -x8678 x8679 -x8680 x8681 -x8682 -x8683 -x8685 -x8686 -x8687 x8688 -x8689 x8690 x8691 1800.63 v x8692 -x8693 x8694 -x8696 -x8697 -x8698 x8699 x8700 -x8701 x8702 -x8703 -x8704 x8705 -x8707 -x8708 -x8709 -x8710 -x8711 1800.63 v x8712 x8713 -x8714 -x8715 -x8716 x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8729 -x8730 -x8731 1800.63 v -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 x8747 -x8748 -x8749 1800.63 v x8751 -x8752 -x8753 -x8754 -x8755 x8756 -x8757 -x8758 -x8759 -x8760 -x8762 -x8763 x8764 x8765 x8766 -x8767 -x8768 -x8769 1800.63 v -x8770 -x8771 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 x8779 -x8780 -x8781 -x8782 -x8785 x8786 -x8787 -x8788 -x8789 x8790 1800.63 v x8791 -x8792 x8793 -x8794 x8796 -x8797 -x8798 -x8799 -x8800 -x8801 x8802 x8803 -x8804 x8805 -x8807 x8808 -x8809 -x8810 1800.63 v x8811 x8812 -x8813 -x8814 -x8815 -x8816 -x8818 x8819 x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8829 -x8830 1800.63 v -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 x8840 x8841 -x8842 x8843 x8844 -x8845 -x8846 -x8847 x8848 x8849 1800.63 v -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 x8862 -x8863 -x8864 x8865 x8866 x8867 -x8868 x8869 1800.63 v x8870 x8871 -x8873 -x8874 -x8875 x8876 x8877 x8878 -x8879 -x8880 x8881 1800.63 c Exit Code: 10 1800.63 c Total time: 1800 s
OK 6156955
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/node68/watcher-40550-1149303840 -o ROOT/results/node68/solver-40550-1149303840 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/40550-1149303840/instance-40550-1149303840.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1624808/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=4624 CPUtime=0 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 73 0 0 0 0 0 0 0 19 0 1 0 196053580 4734976 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10515236 0 0 4096 0 0 0 0 17 1 0 0 /proc/18187/statm: 1156 55 41 55 0 44 0 [startup+10.0028 s] /proc/loadavg: 0.94 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1612728/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=16964 CPUtime=9.97 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 3401 0 0 0 989 8 0 0 25 0 1 0 196053580 17371136 3316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4241 3316 297 55 0 3133 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 16964 [startup+20.0095 s] /proc/loadavg: 0.95 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1612160/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=17564 CPUtime=19.98 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 3567 0 0 0 1988 10 0 0 25 0 1 0 196053580 17985536 3470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4391 3470 297 55 0 3283 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 17564 [startup+30.0162 s] /proc/loadavg: 0.95 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1612160/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=17564 CPUtime=29.98 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 3567 0 0 0 2987 11 0 0 25 0 1 0 196053580 17985536 3470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4391 3470 297 55 0 3283 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 17564 [startup+40.022 s] /proc/loadavg: 0.96 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1612224/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=17564 CPUtime=39.98 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 3567 0 0 0 3986 12 0 0 25 0 1 0 196053580 17985536 3470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4391 3470 297 55 0 3283 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 17564 [startup+50.0287 s] /proc/loadavg: 0.97 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1612224/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=17564 CPUtime=49.98 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 3567 0 0 0 4985 13 0 0 25 0 1 0 196053580 17985536 3470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4391 3470 297 55 0 3283 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 17564 [startup+60.0344 s] /proc/loadavg: 0.97 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1612224/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=17564 CPUtime=59.99 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 3567 0 0 0 5985 14 0 0 25 0 1 0 196053580 17985536 3470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4391 3470 297 55 0 3283 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 17564 [startup+70.0401 s] /proc/loadavg: 0.98 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1612224/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=17428 CPUtime=69.99 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 3572 0 0 0 6984 15 0 0 25 0 1 0 196053580 17846272 3462 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4357 3462 298 55 0 3249 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 17428 [startup+80.0459 s] /proc/loadavg: 0.98 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1610944/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=18864 CPUtime=79.99 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 4163 0 0 0 7984 15 0 0 25 0 1 0 196053580 19316736 3787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4716 3787 298 55 0 3608 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 18864 [startup+90.0516 s] /proc/loadavg: 0.98 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1610880/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=18592 CPUtime=89.99 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 4402 0 0 0 8984 15 0 0 25 0 1 0 196053580 19038208 3753 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4648 3753 298 55 0 3540 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 18592 [startup+100.057 s] /proc/loadavg: 0.98 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1610880/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=18740 CPUtime=100 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 4700 0 0 0 9984 16 0 0 25 0 1 0 196053580 19189760 3787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524329 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4685 3787 298 55 0 3577 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 18740 [startup+110.063 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1610176/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=19428 CPUtime=110 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 5020 0 0 0 10984 16 0 0 25 0 1 0 196053580 19894272 3955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4857 3955 298 55 0 3749 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 19428 [startup+120.069 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1610048/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=19740 CPUtime=120 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 5104 0 0 0 11984 16 0 0 25 0 1 0 196053580 20213760 4013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4935 4013 298 55 0 3827 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 19740 [startup+130.074 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1609984/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=19528 CPUtime=130.01 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 5294 0 0 0 12985 16 0 0 25 0 1 0 196053580 19996672 3987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4882 3987 298 55 0 3774 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 19528 [startup+140.08 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1609472/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=20340 CPUtime=140.01 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 5467 0 0 0 13985 16 0 0 25 0 1 0 196053580 20828160 4160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 5085 4160 298 55 0 3977 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 20340 [startup+150.086 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1608320/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=21400 CPUtime=150.01 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 5979 0 0 0 14985 16 0 0 25 0 1 0 196053580 21913600 4443 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 5350 4443 298 55 0 4242 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 21400 [startup+160.092 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1608832/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=20672 CPUtime=160.02 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 6131 0 0 0 15985 17 0 0 25 0 1 0 196053580 21168128 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 5168 4273 298 55 0 4060 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 20672 [startup+170.097 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1608896/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=20672 CPUtime=170.02 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 6148 0 0 0 16985 17 0 0 25 0 1 0 196053580 21168128 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 5168 4273 298 55 0 4060 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 20672 [startup+180.103 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1608832/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=20704 CPUtime=180.02 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 6286 0 0 0 17985 17 0 0 25 0 1 0 196053580 21200896 4280 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 5176 4280 298 55 0 4068 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 20704 [startup+190.109 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1610944/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=18636 CPUtime=190.02 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 6286 0 0 0 18985 17 0 0 25 0 1 0 196053580 19083264 3764 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4659 3764 298 55 0 3551 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 18636 [startup+200.115 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1610944/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=18636 CPUtime=200.03 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 6286 0 0 0 19985 18 0 0 25 0 1 0 196053580 19083264 3764 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 4659 3764 298 55 0 3551 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 18636 [startup+210.12 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18187 /proc/meminfo: memFree=1611008/2055920 swapFree=4182316/4192956 ################ # More data... # ################ /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1760.43 Current children cumulated vsize (Kb) 42604 [startup+1771.03 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586880/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1770.43 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 177001 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1770.43 Current children cumulated vsize (Kb) 42604 [startup+1781.04 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1780.43 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 178001 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1780.43 Current children cumulated vsize (Kb) 42604 [startup+1782.04 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1781.44 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 178102 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10956422 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 42604 [startup+1783.05 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1782.44 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 178202 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 42604 [startup+1784.05 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1783.44 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 178302 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 42604 [startup+1785.06 s] /proc/loadavg: 0.99 0.99 0.93 3/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1784.45 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 178403 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 42604 [startup+1786.06 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1785.45 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 178503 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 42604 [startup+1787.07 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1786.46 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 178604 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1786.46 Current children cumulated vsize (Kb) 42604 [startup+1788.07 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1787.46 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 178704 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 42604 [startup+1789.08 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1788.47 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 178805 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1788.47 Current children cumulated vsize (Kb) 42604 [startup+1790.08 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1789.47 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 178905 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 42604 [startup+1791.09 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1790.48 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 179006 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 42604 [startup+1792.09 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1791.48 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 179106 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 42604 [startup+1793.1 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1792.49 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 179207 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1792.49 Current children cumulated vsize (Kb) 42604 [startup+1794.1 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1793.49 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 179307 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 42604 [startup+1795.11 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1794.49 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 179407 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 42604 [startup+1796.11 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1795.5 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 179508 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 42604 [startup+1797.12 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1796.5 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 179608 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 42604 [startup+1798.12 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1797.51 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 179709 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (Kb) 42604 [startup+1799.13 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1798.51 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 179809 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 42604 [startup+1800.13 s] /proc/loadavg: 0.99 0.99 0.93 2/64 18189 /proc/meminfo: memFree=1586816/2055920 swapFree=4182316/4192956 [pid=18187] ppid=18185 vsize=42604 CPUtime=1799.52 /proc/18187/stat : 18187 (bsolo) R 18185 18187 18141 0 -1 0 15834 0 0 0 179910 42 0 0 25 0 1 0 196053580 43626496 9755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18187/statm: 10651 9755 298 55 0 9543 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 42604 Child status: 10 Real time (s): 1800.64 CPU time (s): 1800.04 CPU user time (s): 1799.6 CPU system time (s): 0.437933 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (Kb): 42620
Begin job on node68 on Sat Jun 3 03:04:00 UTC 2006 FILE ID= 40550-1149303840 PBS_JOBID= 307515 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-ran17x17.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/40550-1149303840/instance-40550-1149303840.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-40550-1149303840 -o ROOT/results/node68/solver-40550-1149303840 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/40550-1149303840/instance-40550-1149303840.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 041d40ba01d992f8c3bb358df2c9aea9 RANDOM SEED= 277348765 /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.279 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.279 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: 1625016 kB Buffers: 26716 kB Cached: 335948 kB SwapCached: 2292 kB Active: 78776 kB Inactive: 292536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1625016 kB SwapTotal: 4192956 kB SwapFree: 4182316 kB Dirty: 192 kB Writeback: 0 kB Mapped: 15580 kB Slab: 45668 kB Committed_AS: 273204 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Sat Jun 3 03:34:01 UTC 2006