Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisat+ 1.14 | SAT (TO) | 39 | 1800.12 | 1800.75 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb |
| MD5SUM | eacfeaf84791543db8ee3be1e77f11f6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 35 |
| Best CPU time to get the best result obtained on this benchmark | 1012.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 35 |
| Optimality of the best value was proved | YES |
| 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 | 1746 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 531501 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 531501 |
| Number of bits of the biggest sum of numbers | 20 |
| 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/0.00 c Parsing PB file... 0.39/0.41 c Converting 357 PB-constraints to clauses... 0.39/0.41 c -- Unit propagations: (none) 0.69/0.71 c -- Detecting intervals from adjacent constraints: ################################## 0.69/0.71 c -- Clauses(.)/Splits(s): (none) 0.69/0.71 c ---[ 355]---> BDD-cost: 465 0.69/0.74 c ---[ 353]---> BDD-cost: 439 0.69/0.76 c ---[ 351]---> BDD-cost: 465 0.69/0.78 c ---[ 349]---> BDD-cost: 465 0.79/0.81 c ---[ 347]---> BDD-cost: 487 0.79/0.83 c ---[ 345]---> BDD-cost: 465 0.79/0.86 c ---[ 343]---> BDD-cost: 465 0.79/0.88 c ---[ 341]---> BDD-cost: 487 0.89/0.91 c ---[ 339]---> BDD-cost: 735 0.89/0.94 c ---[ 337]---> BDD-cost: 487 0.89/0.97 c ---[ 335]---> BDD-cost: 487 0.89/0.99 c ---[ 333]---> BDD-cost: 487 1.00/1.02 c ---[ 331]---> BDD-cost: 491 1.00/1.05 c ---[ 329]---> BDD-cost: 487 1.00/1.07 c ---[ 327]---> BDD-cost: 487 1.00/1.10 c ---[ 325]---> BDD-cost: 439 1.10/1.12 c ---[ 323]---> BDD-cost: 439 1.10/1.14 c ---[ 321]---> BDD-cost: 459 1.10/1.17 c ---[ 319]---> BDD-cost: 439 1.10/1.19 c ---[ 317]---> BDD-cost: 467 1.19/1.21 c ---[ 315]---> BDD-cost: 439 1.19/1.23 c ---[ 313]---> BDD-cost: 485 1.19/1.26 c ---[ 311]---> BDD-cost: 485 1.19/1.29 c ---[ 309]---> BDD-cost: 467 1.29/1.31 c ---[ 307]---> BDD-cost: 489 1.29/1.34 c ---[ 305]---> BDD-cost: 485 1.29/1.36 c ---[ 303]---> BDD-cost: 439 1.29/1.39 c ---[ 301]---> BDD-cost: 485 1.39/1.41 c ---[ 299]---> BDD-cost: 485 1.39/1.44 c ---[ 297]---> BDD-cost: 485 1.39/1.46 c ---[ 295]---> BDD-cost: 732 1.49/1.50 c ---[ 293]---> BDD-cost: 485 1.49/1.52 c ---[ 291]---> BDD-cost: 439 1.49/1.55 c ---[ 289]---> BDD-cost: 485 1.49/1.57 c ---[ 288]---> Sorter-cost: 177 Base: 2 1.49/1.57 c ---[ 287]---> BDD-cost: 31 1.49/1.57 c ---[ 286]---> BDD-cost: 39 1.49/1.57 c ---[ 285]---> Sorter-cost: 181 Base: 2 2 2 1.49/1.57 c ---[ 284]---> Sorter-cost: 264 Base: 2 1.49/1.57 c ---[ 283]---> Sorter-cost: 261 Base: 3 1.49/1.58 c ---[ 282]---> BDD-cost: 43 1.49/1.58 c ---[ 281]---> BDD-cost: 34 1.49/1.58 c ---[ 280]---> Sorter-cost: 264 Base: 2 1.49/1.58 c ---[ 279]---> Sorter-cost: 292 Base: 3 1.49/1.58 c ---[ 278]---> Sorter-cost: 270 Base: 3 1.49/1.58 c ---[ 277]---> Sorter-cost: 231 Base: 7 1.49/1.58 c ---[ 276]---> Sorter-cost: 231 Base: 7 1.49/1.58 c ---[ 275]---> BDD-cost: 22 1.49/1.58 c ---[ 274]---> BDD-cost: 34 1.49/1.58 c ---[ 273]---> Sorter-cost: 231 Base: 7 1.49/1.58 c ---[ 272]---> Sorter-cost: 172 Base: 2 1.49/1.58 c ---[ 271]---> BDD-cost: 34 1.49/1.58 c ---[ 270]---> Sorter-cost: 232 Base: 7 1.49/1.58 c ---[ 269]---> Sorter-cost: 232 Base: 7 1.49/1.58 c ---[ 268]---> Sorter-cost: 178 Base: 2 1.49/1.58 c ---[ 267]---> Sorter-cost: 231 Base: 7 1.49/1.59 c ---[ 266]---> Sorter-cost: 264 Base: 2 1.49/1.59 c ---[ 265]---> Sorter-cost: 261 Base: 3 1.49/1.59 c ---[ 264]---> Sorter-cost: 177 Base: 2 1.49/1.59 c ---[ 263]---> BDD-cost: 43 1.49/1.59 c ---[ 262]---> BDD-cost: 34 1.49/1.59 c ---[ 261]---> Sorter-cost: 264 Base: 2 1.49/1.59 c ---[ 260]---> Sorter-cost: 264 Base: 2 1.49/1.59 c ---[ 259]---> Sorter-cost: 264 Base: 2 1.49/1.59 c ---[ 258]---> Sorter-cost: 264 Base: 2 1.49/1.59 c ---[ 257]---> Sorter-cost: 264 Base: 2 1.49/1.59 c ---[ 256]---> BDD-cost: 34 1.49/1.60 c ---[ 255]---> Sorter-cost: 264 Base: 2 1.49/1.60 c ---[ 254]---> Sorter-cost: 172 Base: 2 1.49/1.60 c ---[ 253]---> Sorter-cost: 177 Base: 2 1.59/1.60 c ---[ 252]---> BDD-cost: 34 1.59/1.60 c ---[ 251]---> Sorter-cost: 232 Base: 7 1.59/1.60 c ---[ 250]---> Sorter-cost: 232 Base: 7 1.59/1.60 c ---[ 249]---> Sorter-cost: 178 Base: 2 1.59/1.60 c ---[ 248]---> Sorter-cost: 264 Base: 2 1.59/1.60 c ---[ 247]---> Sorter-cost: 264 Base: 2 1.59/1.60 c ---[ 246]---> BDD-cost: 31 1.59/1.60 c ---[ 245]---> BDD-cost: 43 1.59/1.60 c ---[ 244]---> BDD-cost: 34 1.59/1.60 c ---[ 243]---> BDD-cost: 43 1.59/1.60 c ---[ 242]---> Sorter-cost: 177 Base: 2 1.59/1.60 c ---[ 241]---> BDD-cost: 43 1.59/1.60 c ---[ 240]---> BDD-cost: 43 1.59/1.60 c ---[ 239]---> BDD-cost: 43 1.59/1.60 c ---[ 238]---> BDD-cost: 43 1.59/1.60 c ---[ 237]---> BDD-cost: 34 1.59/1.61 c ---[ 236]---> BDD-cost: 43 1.59/1.61 c ---[ 235]---> BDD-cost: 43 1.59/1.61 c ---[ 234]---> BDD-cost: 34 1.59/1.61 c ---[ 233]---> BDD-cost: 43 1.59/1.61 c ---[ 232]---> BDD-cost: 43 1.59/1.61 c ---[ 231]---> Sorter-cost: 177 Base: 2 1.59/1.61 c ---[ 230]---> BDD-cost: 43 1.59/1.61 c ---[ 229]---> BDD-cost: 43 1.59/1.61 c ---[ 228]---> BDD-cost: 43 1.59/1.61 c ---[ 227]---> BDD-cost: 22 1.59/1.61 c ---[ 226]---> BDD-cost: 34 1.59/1.61 c ---[ 225]---> BDD-cost: 34 1.59/1.61 c ---[ 224]---> BDD-cost: 34 1.59/1.61 c ---[ 223]---> BDD-cost: 34 1.59/1.61 c ---[ 222]---> BDD-cost: 34 1.59/1.61 c ---[ 221]---> BDD-cost: 34 1.59/1.61 c ---[ 220]---> Sorter-cost: 177 Base: 2 1.59/1.61 c ---[ 219]---> BDD-cost: 34 1.59/1.61 c ---[ 218]---> BDD-cost: 34 1.59/1.61 c ---[ 217]---> BDD-cost: 34 1.59/1.61 c ---[ 216]---> BDD-cost: 34 1.59/1.61 c ---[ 215]---> BDD-cost: 34 1.59/1.61 c ---[ 214]---> BDD-cost: 34 1.59/1.61 c ---[ 213]---> BDD-cost: 34 1.59/1.61 c ---[ 212]---> BDD-cost: 34 1.59/1.61 c ---[ 211]---> BDD-cost: 34 1.59/1.61 c ---[ 210]---> BDD-cost: 34 1.59/1.61 c ---[ 209]---> BDD-cost: 31 1.59/1.61 c ---[ 208]---> Sorter-cost: 190 Base: 2 1.59/1.61 c ---[ 207]---> BDD-cost: 43 1.59/1.62 c ---[ 206]---> BDD-cost: 34 1.59/1.62 c ---[ 205]---> Sorter-cost: 191 Base: 2 1.59/1.62 c ---[ 204]---> Sorter-cost: 191 Base: 2 1.59/1.62 c ---[ 203]---> Sorter-cost: 191 Base: 2 1.59/1.62 c ---[ 202]---> Sorter-cost: 191 Base: 2 1.59/1.62 c ---[ 201]---> Sorter-cost: 191 Base: 2 1.59/1.62 c ---[ 200]---> BDD-cost: 34 1.59/1.62 c ---[ 199]---> Sorter-cost: 191 Base: 2 1.59/1.62 c ---[ 198]---> BDD-cost: 43 1.59/1.62 c ---[ 197]---> Sorter-cost: 172 Base: 2 1.59/1.62 c ---[ 196]---> BDD-cost: 34 1.59/1.62 c ---[ 195]---> Sorter-cost: 191 Base: 2 1.59/1.62 c ---[ 194]---> Sorter-cost: 191 Base: 2 1.59/1.62 c ---[ 193]---> Sorter-cost: 178 Base: 2 1.59/1.62 c ---[ 192]---> Sorter-cost: 191 Base: 2 1.59/1.62 c ---[ 191]---> Sorter-cost: 191 Base: 2 1.59/1.62 c ---[ 190]---> BDD-cost: 47 1.59/1.63 c ---[ 189]---> BDD-cost: 43 1.59/1.63 c ---[ 188]---> BDD-cost: 34 1.59/1.63 c ---[ 187]---> BDD-cost: 34 1.59/1.63 c ---[ 186]---> Sorter-cost: 185 Base: 2 1.59/1.63 c ---[ 185]---> Sorter-cost: 185 Base: 2 1.59/1.63 c ---[ 184]---> Sorter-cost: 185 Base: 2 1.59/1.63 c ---[ 183]---> Sorter-cost: 185 Base: 2 1.59/1.63 c ---[ 182]---> Sorter-cost: 185 Base: 2 1.59/1.63 c ---[ 181]---> BDD-cost: 34 1.59/1.63 c ---[ 180]---> Sorter-cost: 185 Base: 2 1.59/1.63 c ---[ 179]---> Sorter-cost: 172 Base: 2 1.59/1.63 c ---[ 178]---> BDD-cost: 34 1.59/1.63 c ---[ 177]---> Sorter-cost: 185 Base: 2 1.59/1.63 c ---[ 176]---> BDD-cost: 22 1.59/1.63 c ---[ 175]---> BDD-cost: 43 1.59/1.63 c ---[ 174]---> Sorter-cost: 185 Base: 2 1.59/1.63 c ---[ 173]---> Sorter-cost: 185 Base: 2 1.59/1.63 c ---[ 172]---> Sorter-cost: 185 Base: 2 1.59/1.63 c ---[ 171]---> Sorter-cost: 185 Base: 2 1.59/1.64 c ---[ 170]---> Sorter-cost: 261 Base: 3 1.59/1.64 c ---[ 169]---> BDD-cost: 43 1.59/1.64 c ---[ 168]---> BDD-cost: 34 1.59/1.64 c ---[ 167]---> Sorter-cost: 264 Base: 2 1.59/1.64 c ---[ 166]---> Sorter-cost: 292 Base: 3 1.59/1.64 c ---[ 165]---> Sorter-cost: 270 Base: 3 1.59/1.64 c ---[ 164]---> BDD-cost: 43 1.59/1.64 c ---[ 163]---> Sorter-cost: 231 Base: 7 1.59/1.64 c ---[ 162]---> Sorter-cost: 231 Base: 7 1.59/1.64 c ---[ 161]---> BDD-cost: 34 1.59/1.64 c ---[ 160]---> Sorter-cost: 231 Base: 7 1.59/1.64 c ---[ 159]---> Sorter-cost: 172 Base: 2 1.59/1.64 c ---[ 158]---> BDD-cost: 34 1.59/1.64 c ---[ 157]---> Sorter-cost: 232 Base: 7 1.59/1.64 c ---[ 156]---> Sorter-cost: 232 Base: 7 1.59/1.64 c ---[ 155]---> Sorter-cost: 178 Base: 2 1.59/1.65 c ---[ 154]---> Sorter-cost: 231 Base: 7 1.59/1.65 c ---[ 153]---> BDD-cost: 43 1.59/1.65 c ---[ 152]---> Sorter-cost: 264 Base: 2 1.59/1.65 c ---[ 151]---> BDD-cost: 47 1.59/1.65 c ---[ 150]---> BDD-cost: 43 1.59/1.65 c ---[ 149]---> BDD-cost: 34 1.59/1.65 c ---[ 148]---> Sorter-cost: 185 Base: 2 1.59/1.65 c ---[ 147]---> Sorter-cost: 185 Base: 2 1.59/1.65 c ---[ 146]---> Sorter-cost: 185 Base: 2 1.59/1.65 c ---[ 145]---> Sorter-cost: 185 Base: 2 1.59/1.65 c ---[ 144]---> Sorter-cost: 185 Base: 2 1.59/1.65 c ---[ 143]---> BDD-cost: 34 1.59/1.65 c ---[ 142]---> BDD-cost: 43 1.59/1.65 c ---[ 141]---> Sorter-cost: 185 Base: 2 1.59/1.65 c ---[ 140]---> Sorter-cost: 172 Base: 2 1.59/1.65 c ---[ 139]---> BDD-cost: 34 1.59/1.65 c ---[ 138]---> Sorter-cost: 185 Base: 2 1.59/1.65 c ---[ 137]---> Sorter-cost: 185 Base: 2 1.59/1.66 c ---[ 136]---> Sorter-cost: 185 Base: 2 1.59/1.66 c ---[ 135]---> Sorter-cost: 185 Base: 2 1.59/1.66 c ---[ 134]---> Sorter-cost: 185 Base: 2 1.59/1.66 c ---[ 133]---> BDD-cost: 39 1.59/1.66 c ---[ 132]---> BDD-cost: 43 1.59/1.66 c ---[ 131]---> BDD-cost: 43 1.59/1.66 c ---[ 130]---> BDD-cost: 34 1.59/1.66 c ---[ 129]---> Sorter-cost: 172 Base: 2 1.59/1.66 c ---[ 128]---> Sorter-cost: 172 Base: 2 1.59/1.66 c ---[ 127]---> Sorter-cost: 172 Base: 2 1.59/1.66 c ---[ 126]---> Sorter-cost: 172 Base: 2 1.59/1.66 c ---[ 125]---> Sorter-cost: 172 Base: 2 1.59/1.66 c ---[ 124]---> BDD-cost: 34 1.59/1.66 c ---[ 123]---> Sorter-cost: 172 Base: 2 1.59/1.66 c ---[ 122]---> Sorter-cost: 172 Base: 2 1.59/1.66 c ---[ 121]---> BDD-cost: 34 1.59/1.66 c ---[ 120]---> BDD-cost: 34 1.59/1.66 c ---[ 119]---> Sorter-cost: 172 Base: 2 1.59/1.67 c ---[ 118]---> Sorter-cost: 172 Base: 2 1.59/1.67 c ---[ 117]---> Sorter-cost: 172 Base: 2 1.59/1.67 c ---[ 116]---> Sorter-cost: 172 Base: 2 1.59/1.67 c ---[ 115]---> Sorter-cost: 172 Base: 2 1.59/1.67 c ---[ 114]---> Sorter-cost: 261 Base: 3 1.59/1.67 c ---[ 113]---> BDD-cost: 43 1.59/1.67 c ---[ 112]---> BDD-cost: 34 1.59/1.67 c ---[ 111]---> Sorter-cost: 264 Base: 2 1.59/1.67 c ---[ 110]---> Sorter-cost: 292 Base: 3 1.59/1.67 c ---[ 109]---> BDD-cost: 43 1.59/1.67 c ---[ 108]---> Sorter-cost: 270 Base: 3 1.59/1.67 c ---[ 107]---> Sorter-cost: 231 Base: 7 1.59/1.67 c ---[ 106]---> Sorter-cost: 231 Base: 7 1.59/1.67 c ---[ 105]---> BDD-cost: 34 1.59/1.67 c ---[ 104]---> Sorter-cost: 231 Base: 7 1.59/1.67 c ---[ 103]---> Sorter-cost: 172 Base: 2 1.59/1.68 c ---[ 102]---> BDD-cost: 34 1.59/1.68 c ---[ 101]---> Sorter-cost: 232 Base: 7 1.59/1.68 c ---[ 100]---> Sorter-cost: 232 Base: 7 1.59/1.68 c ---[ 99]---> Sorter-cost: 178 Base: 2 1.59/1.68 c ---[ 98]---> BDD-cost: 43 1.59/1.68 c ---[ 97]---> Sorter-cost: 231 Base: 7 1.59/1.69 c ---[ 96]---> Sorter-cost: 264 Base: 2 1.59/1.69 c ---[ 95]---> Sorter-cost: 260 Base: 3 1.59/1.69 c ---[ 94]---> BDD-cost: 43 1.59/1.69 c ---[ 93]---> BDD-cost: 34 1.59/1.69 c ---[ 92]---> Sorter-cost: 264 Base: 2 1.59/1.69 c ---[ 91]---> Sorter-cost: 292 Base: 3 1.59/1.69 c ---[ 90]---> Sorter-cost: 270 Base: 3 1.59/1.69 c ---[ 89]---> Sorter-cost: 197 Base: 2 2 2 1.59/1.69 c ---[ 88]---> Sorter-cost: 240 Base: 7 1.59/1.69 c ---[ 87]---> BDD-cost: 34 1.59/1.69 c ---[ 86]---> BDD-cost: 34 1.59/1.69 c ---[ 85]---> Sorter-cost: 240 Base: 7 1.59/1.69 c ---[ 84]---> Sorter-cost: 172 Base: 2 1.59/1.69 c ---[ 83]---> BDD-cost: 34 1.59/1.69 c ---[ 82]---> Sorter-cost: 232 Base: 7 1.59/1.69 c ---[ 81]---> Sorter-cost: 232 Base: 7 1.59/1.70 c ---[ 80]---> Sorter-cost: 178 Base: 2 1.59/1.70 c ---[ 79]---> Sorter-cost: 194 Base: 2 2 2 1.69/1.70 c ---[ 78]---> Sorter-cost: 264 Base: 2 1.69/1.70 c ---[ 77]---> BDD-cost: 43 1.69/1.70 c ---[ 76]---> Sorter-cost: 177 Base: 2 1.69/1.70 c ---[ 75]---> BDD-cost: 43 1.69/1.70 c ---[ 74]---> BDD-cost: 43 1.69/1.70 c ---[ 73]---> BDD-cost: 43 1.69/1.70 c ---[ 72]---> BDD-cost: 43 1.69/1.70 c ---[ 71]---> Sorter-cost: 261 Base: 3 1.69/1.70 c ---[ 70]---> BDD-cost: 43 1.69/1.70 c ---[ 69]---> BDD-cost: 34 1.69/1.70 c ---[ 68]---> Sorter-cost: 264 Base: 2 1.69/1.70 c ---[ 67]---> Sorter-cost: 270 Base: 3 1.69/1.70 c ---[ 66]---> Sorter-cost: 270 Base: 3 1.69/1.70 c ---[ 65]---> Sorter-cost: 177 Base: 2 1.69/1.71 c ---[ 64]---> Sorter-cost: 270 Base: 3 1.69/1.71 c ---[ 63]---> Sorter-cost: 270 Base: 3 1.69/1.71 c ---[ 62]---> BDD-cost: 34 1.69/1.71 c ---[ 61]---> Sorter-cost: 270 Base: 3 1.69/1.71 c ---[ 60]---> Sorter-cost: 172 Base: 2 1.69/1.71 c ---[ 59]---> BDD-cost: 34 1.69/1.71 c ---[ 58]---> Sorter-cost: 232 Base: 7 1.69/1.71 c ---[ 57]---> Sorter-cost: 232 Base: 7 1.69/1.71 c ---[ 56]---> Sorter-cost: 178 Base: 2 1.69/1.71 c ---[ 55]---> Sorter-cost: 270 Base: 3 1.69/1.71 c ---[ 54]---> Sorter-cost: 177 Base: 2 1.69/1.71 c ---[ 53]---> Sorter-cost: 264 Base: 2 1.69/1.71 c ---[ 52]---> Sorter-cost: 261 Base: 3 1.69/1.71 c ---[ 51]---> BDD-cost: 43 1.69/1.71 c ---[ 50]---> BDD-cost: 34 1.69/1.72 c ---[ 49]---> Sorter-cost: 264 Base: 2 1.69/1.72 c ---[ 48]---> Sorter-cost: 292 Base: 3 1.69/1.72 c ---[ 47]---> Sorter-cost: 270 Base: 3 1.69/1.72 c ---[ 46]---> Sorter-cost: 292 Base: 3 1.69/1.72 c ---[ 45]---> Sorter-cost: 292 Base: 3 1.69/1.72 c ---[ 44]---> BDD-cost: 34 1.69/1.72 c ---[ 43]---> Sorter-cost: 176 Base: 2 1.69/1.72 c ---[ 42]---> Sorter-cost: 292 Base: 3 1.69/1.72 c ---[ 41]---> Sorter-cost: 172 Base: 2 1.69/1.72 c ---[ 40]---> BDD-cost: 34 1.69/1.72 c ---[ 39]---> Sorter-cost: 232 Base: 7 1.69/1.72 c ---[ 38]---> Sorter-cost: 232 Base: 7 1.69/1.72 c ---[ 37]---> Sorter-cost: 178 Base: 2 1.69/1.72 c ---[ 36]---> Sorter-cost: 292 Base: 3 1.69/1.73 c ---[ 35]---> Sorter-cost: 264 Base: 2 1.69/1.73 c ---[ 34]---> Sorter-cost: 231 Base: 7 1.69/1.73 c ---[ 33]---> BDD-cost: 43 1.69/1.73 c ---[ 32]---> Sorter-cost: 177 Base: 2 1.69/1.73 c ---[ 31]---> BDD-cost: 34 1.69/1.73 c ---[ 30]---> Sorter-cost: 232 Base: 7 1.69/1.73 c ---[ 29]---> Sorter-cost: 232 Base: 7 1.69/1.73 c ---[ 28]---> Sorter-cost: 232 Base: 7 1.69/1.73 c ---[ 27]---> Sorter-cost: 232 Base: 7 1.69/1.73 c ---[ 26]---> Sorter-cost: 232 Base: 7 1.69/1.73 c ---[ 25]---> BDD-cost: 34 1.69/1.73 c ---[ 24]---> Sorter-cost: 232 Base: 7 1.69/1.73 c ---[ 23]---> Sorter-cost: 172 Base: 2 1.69/1.73 c ---[ 22]---> BDD-cost: 34 1.69/1.73 c ---[ 21]---> BDD-cost: 22 1.69/1.73 c ---[ 20]---> Sorter-cost: 232 Base: 7 1.69/1.73 c ---[ 19]---> Sorter-cost: 232 Base: 7 1.69/1.74 c ---[ 18]---> Sorter-cost: 178 Base: 2 1.69/1.74 c ---[ 17]---> Sorter-cost: 232 Base: 7 1.69/1.74 c ---[ 16]---> Sorter-cost: 232 Base: 7 1.69/1.74 c ---[ 15]---> Sorter-cost: 261 Base: 3 1.69/1.74 c ---[ 14]---> BDD-cost: 43 1.69/1.74 c ---[ 13]---> BDD-cost: 34 1.69/1.74 c ---[ 12]---> Sorter-cost: 264 Base: 2 1.69/1.74 c ---[ 11]---> Sorter-cost: 292 Base: 3 1.69/1.74 c ---[ 10]---> Sorter-cost: 177 Base: 2 1.69/1.74 c ---[ 9]---> Sorter-cost: 270 Base: 3 1.69/1.74 c ---[ 8]---> Sorter-cost: 181 Base: 2 2 2 1.69/1.74 c ---[ 7]---> Sorter-cost: 240 Base: 7 1.69/1.74 c ---[ 6]---> BDD-cost: 34 1.69/1.74 c ---[ 5]---> Sorter-cost: 240 Base: 7 1.69/1.75 c ---[ 4]---> Sorter-cost: 172 Base: 2 1.69/1.75 c ---[ 3]---> BDD-cost: 34 1.69/1.75 c ---[ 2]---> Sorter-cost: 232 Base: 7 1.69/1.75 c ---[ 1]---> Sorter-cost: 232 Base: 7 1.69/1.75 c ---[ 0]---> Sorter-cost: 178 Base: 2 1.79/1.86 c ==================================[MINISAT+]================================== 1.79/1.86 c | Conflicts | Original | Learnt | Progress | 1.79/1.86 c | | Clauses Literals | Max Clauses Literals LPC | | 1.79/1.86 c ============================================================================== 1.79/1.86 c | 0 | 113627 282294 | 37875 0 0 nan | 0.000 % | 1.89/1.97 c | 100 | 113506 282021 | 41662 81 250 3.1 | 8.596 % | 1.99/2.03 c ============================================================================== 1.99/2.03 c [1mFound solution: 201[0m 1.99/2.03 o 201 1.99/2.09 c ---[ 0]---> Adder-cost: 8648 maxlim: 4130 bits: 13/13 13.68/13.76 c ==================================[MINISAT+]================================== 13.68/13.76 c | Conflicts | Original | Learnt | Progress | 13.68/13.76 c | | Clauses Literals | Max Clauses Literals LPC | | 13.68/13.76 c ============================================================================== 13.68/13.76 c | 159 | 173909 497793 | 57969 137 552 4.0 | 8.596 % | 13.79/13.86 c | 259 | 173909 497793 | 63765 237 1262 5.3 | 7.515 % | 13.89/13.93 c | 409 | 173909 497793 | 70142 387 2424 6.3 | 7.515 % | 14.09/14.18 c | 634 | 173851 497593 | 77156 604 3811 6.3 | 7.531 % | 14.29/14.38 c | 971 | 173851 497593 | 84872 941 8370 8.9 | 7.531 % | 14.49/14.51 c | 1477 | 173851 497593 | 93359 1447 15410 10.6 | 7.531 % | 14.79/14.81 c | 2240 | 173789 497454 | 102695 2206 27440 12.4 | 7.555 % | 15.19/15.23 c | 3385 | 173789 497454 | 112965 3351 45203 13.5 | 7.555 % | 15.99/16.07 c | 5097 | 173654 497067 | 124261 5048 69004 13.7 | 7.600 % | 17.49/17.56 c | 7659 | 173634 497012 | 136687 7606 127740 16.8 | 7.606 % | 20.58/20.65 c | 11503 | 173576 496871 | 150356 11442 426760 37.3 | 7.629 % | 25.38/25.46 c | 17269 | 173508 496718 | 165392 17199 722910 42.0 | 7.656 % | 25.99/26.01 c ============================================================================== 25.99/26.01 c [1mFound solution: 78[0m 25.99/26.01 o 78 25.99/26.07 c ---[ 0]---> Adder-cost: 0 maxlim: 4253 bits: 13/13 38.28/38.34 c ==================================[MINISAT+]================================== 38.28/38.34 c | Conflicts | Original | Learnt | Progress | 38.28/38.34 c | | Clauses Literals | Max Clauses Literals LPC | | 38.28/38.34 c ============================================================================== 38.28/38.34 c | 17750 | 173464 496537 | 57821 17669 733616 41.5 | 7.656 % | 38.38/38.48 c | 17850 | 173464 496537 | 63603 17769 737058 41.5 | 7.676 % | 38.58/38.68 c | 18001 | 173464 496537 | 69963 17920 739220 41.3 | 7.676 % | 38.98/39.01 c | 18226 | 173464 496537 | 76959 18145 746500 41.1 | 7.676 % | 39.48/39.51 c | 18565 | 173382 496328 | 84655 18457 751553 40.7 | 7.708 % | 40.08/40.17 c | 19071 | 173169 495845 | 93121 18928 763149 40.3 | 7.798 % | 40.78/40.81 c | 19830 | 173062 495554 | 102433 19670 778833 39.6 | 7.834 % | 41.68/41.79 c | 20969 | 172662 494595 | 112676 20772 799300 38.5 | 8.003 % | 43.07/43.12 c | 22679 | 172603 494411 | 123944 22471 857731 38.2 | 8.023 % | 44.98/45.10 c | 25242 | 172562 494311 | 136338 25031 994457 39.7 | 8.038 % | 48.77/48.85 c | 29087 | 172447 494008 | 149972 28857 1172615 40.6 | 8.075 % | 55.87/55.90 c | 34857 | 172447 494008 | 164970 34627 1775545 51.3 | 8.075 % | 62.07/62.12 c ============================================================================== 62.07/62.12 c [1mFound solution: 58[0m 62.07/62.12 o 58 62.07/62.18 c ---[ 0]---> Adder-cost: 0 maxlim: 4273 bits: 13/13 74.46/74.52 c ==================================[MINISAT+]================================== 74.46/74.52 c | Conflicts | Original | Learnt | Progress | 74.46/74.52 c | | Clauses Literals | Max Clauses Literals LPC | | 74.46/74.52 c ============================================================================== 74.46/74.52 c | 42763 | 172011 492979 | 57337 42470 2464892 58.0 | 8.075 % | 74.56/74.62 c | 42863 | 172011 492979 | 63070 42570 2469770 58.0 | 8.261 % | 74.67/74.73 c | 43013 | 172011 492979 | 69377 42720 2479214 58.0 | 8.261 % | 74.86/74.97 c | 43240 | 172011 492979 | 76315 42947 2490452 58.0 | 8.261 % | 75.26/75.35 c | 43577 | 172011 492979 | 83947 43284 2507692 57.9 | 8.261 % | 75.87/75.94 c | 44083 | 172011 492979 | 92341 43790 2534393 57.9 | 8.261 % | 76.76/76.88 c | 44842 | 172011 492979 | 101575 44549 2607813 58.5 | 8.261 % | 77.46/77.51 c | 45983 | 172011 492979 | 111733 45690 2740377 60.0 | 8.261 % | 79.07/79.18 c | 47691 | 171962 492814 | 122906 47383 2838868 59.9 | 8.273 % | 82.07/82.16 c | 50259 | 171897 492581 | 135197 49933 2984723 59.8 | 8.287 % | 86.16/86.24 c | 54104 | 171628 491740 | 148717 53723 3265461 60.8 | 8.366 % | 91.86/91.95 c ============================================================================== 91.86/91.95 c [1mFound solution: 55[0m 91.86/91.95 o 55 91.97/92.01 c ---[ 0]---> Adder-cost: 0 maxlim: 4276 bits: 13/13 104.36/104.46 c ==================================[MINISAT+]================================== 104.36/104.46 c | Conflicts | Original | Learnt | Progress | 104.36/104.46 c | | Clauses Literals | Max Clauses Literals LPC | | 104.36/104.46 c ============================================================================== 104.36/104.46 c | 58562 | 171614 491702 | 57204 58178 3491209 60.0 | 8.366 % | 104.56/104.66 c | 58662 | 171599 491669 | 62924 58277 3493233 59.9 | 8.379 % | 104.86/104.94 c | 58813 | 171542 491540 | 69216 58423 3497758 59.9 | 8.403 % | 105.16/105.29 c | 59038 | 171542 491540 | 76138 58648 3506219 59.8 | 8.403 % | 105.66/105.73 c | 59376 | 171379 491113 | 83752 58969 3534714 59.9 | 8.463 % | 106.16/106.26 c | 59884 | 171371 491083 | 92127 59475 3570131 60.0 | 8.465 % | 107.16/107.29 c | 60643 | 171362 491052 | 101340 60229 3602695 59.8 | 8.466 % | 108.76/108.88 c | 61784 | 171239 490659 | 111474 61327 3681844 60.0 | 8.504 % | 110.85/110.99 c | 63493 | 171204 490569 | 122621 63014 3805701 60.4 | 8.516 % | 113.36/113.40 c ============================================================================== 113.36/113.40 c [1mFound solution: 54[0m 113.36/113.40 o 54 113.36/113.46 c ---[ 0]---> Adder-cost: 0 maxlim: 4277 bits: 13/13 125.75/125.90 c ==================================[MINISAT+]================================== 125.75/125.90 c | Conflicts | Original | Learnt | Progress | 125.75/125.90 c | | Clauses Literals | Max Clauses Literals LPC | | 125.75/125.90 c ============================================================================== 125.85/125.90 c | 64769 | 171205 490576 | 57068 64290 3984815 62.0 | 8.516 % | 126.05/126.11 c | 64869 | 171205 490576 | 62774 23384 894628 38.3 | 8.517 % | 126.15/126.27 c | 65019 | 171205 490576 | 69052 23534 905001 38.5 | 8.517 % | 126.35/126.46 c | 65245 | 171205 490576 | 75957 23760 915503 38.5 | 8.517 % | 126.75/126.85 c | 65582 | 171196 490545 | 83553 24095 931995 38.7 | 8.519 % | 127.35/127.40 c | 66089 | 171173 490466 | 91908 24598 954469 38.8 | 8.525 % | 128.15/128.26 c | 66848 | 171164 490435 | 101099 25354 1001008 39.5 | 8.526 % | 129.05/129.13 c | 67987 | 171164 490435 | 111209 26493 1088532 41.1 | 8.526 % | 130.15/130.29 c | 69695 | 171120 490320 | 122330 28198 1249253 44.3 | 8.541 % | 132.05/132.10 c | 72257 | 171098 490264 | 134563 30757 1548501 50.3 | 8.549 % | 136.55/136.66 c | 76101 | 170775 489410 | 148019 34538 1800486 52.1 | 8.672 % | 140.55/140.63 c | 81867 | 170717 489259 | 162821 40297 2473805 61.4 | 8.691 % | 148.64/148.72 c | 90517 | 170672 489104 | 179103 48934 3475669 71.0 | 8.699 % | 163.84/163.99 c | 103491 | 170597 488893 | 197014 61894 5081275 82.1 | 8.720 % | 171.55/171.63 c ============================================================================== 171.55/171.63 c [1mFound solution: 48[0m 171.55/171.63 o 48 171.64/171.70 c ---[ 0]---> Adder-cost: 0 maxlim: 4283 bits: 13/13 184.13/184.24 c ==================================[MINISAT+]================================== 184.13/184.24 c | Conflicts | Original | Learnt | Progress | 184.13/184.24 c | | Clauses Literals | Max Clauses Literals LPC | | 184.13/184.24 c ============================================================================== 184.13/184.24 c | 110575 | 170475 488556 | 56825 68958 5921304 85.9 | 8.720 % | 184.33/184.46 c | 110676 | 170475 488556 | 62507 23167 1607939 69.4 | 8.768 % | 184.53/184.60 c | 110827 | 170475 488556 | 68758 23318 1617924 69.4 | 8.768 % | 184.74/184.81 c | 111052 | 170475 488556 | 75634 23543 1647314 70.0 | 8.768 % | 184.93/185.04 c | 111389 | 170475 488556 | 83197 23880 1669543 69.9 | 8.768 % | 185.43/185.54 c | 111895 | 170475 488556 | 91517 24386 1709183 70.1 | 8.768 % | 186.03/186.16 c | 112654 | 170475 488556 | 100668 25145 1781444 70.8 | 8.768 % | 186.94/187.04 c | 113794 | 170406 488399 | 110735 26282 1891987 72.0 | 8.799 % | 188.23/188.32 c | 115502 | 170406 488399 | 121809 27990 2084290 74.5 | 8.799 % | 191.43/191.56 c | 118065 | 170336 488184 | 133990 30532 2455359 80.4 | 8.819 % | 196.93/197.09 c | 121911 | 170336 488184 | 147389 34378 3077058 89.5 | 8.819 % | 202.63/202.78 c | 127679 | 170305 488103 | 162128 40108 3780953 94.3 | 8.831 % | 211.42/211.56 c | 136330 | 170079 487538 | 178341 48733 4868841 99.9 | 8.922 % | 225.62/225.70 c | 149304 | 170012 487357 | 196175 61701 6638172 107.6 | 8.946 % | 250.11/250.25 c | 168767 | 169951 487144 | 215792 81128 9395191 115.8 | 8.958 % | 291.70/291.81 c | 197960 | 169875 486925 | 237372 110308 13217075 119.8 | 8.987 % | 378.68/378.82 c | 241749 | 169677 486424 | 261109 154047 19489424 126.5 | 9.068 % | 449.96/450.13 c ============================================================================== 449.96/450.13 c [1mFound solution: 42[0m 449.96/450.13 o 42 450.06/450.21 c ---[ 0]---> Adder-cost: 0 maxlim: 4289 bits: 13/13 463.95/464.17 c ==================================[MINISAT+]================================== 463.95/464.17 c | Conflicts | Original | Learnt | Progress | 463.95/464.17 c | | Clauses Literals | Max Clauses Literals LPC | | 463.95/464.17 c ============================================================================== 463.95/464.17 c | 273904 | 169421 485659 | 56473 180932 23046981 127.4 | 9.068 % | 465.05/465.28 c | 274006 | 169388 485583 | 62120 24670 1887151 76.5 | 9.177 % | 465.35/465.50 c | 274156 | 169388 485583 | 68332 24820 1889805 76.1 | 9.177 % | 465.55/465.70 c | 274383 | 169388 485583 | 75165 25047 1913600 76.4 | 9.177 % | 465.85/466.00 c | 274723 | 169388 485583 | 82682 25387 1956095 77.1 | 9.177 % | 466.25/466.42 c | 275231 | 169388 485583 | 90950 25895 2007644 77.5 | 9.177 % | 466.75/466.97 c | 275991 | 169388 485583 | 100045 26655 2078261 78.0 | 9.177 % | 468.15/468.31 c | 277131 | 169388 485583 | 110049 27795 2226768 80.1 | 9.177 % | 470.25/470.47 c | 278839 | 169388 485583 | 121054 29503 2436977 82.6 | 9.177 % | 472.45/472.67 c | 281403 | 169388 485583 | 133160 32067 2752089 85.8 | 9.177 % | 476.55/476.75 c | 285248 | 169313 485403 | 146476 35903 3091864 86.1 | 9.207 % | 481.95/482.11 c | 291016 | 169293 485357 | 161124 41670 3869724 92.9 | 9.214 % | 490.24/490.49 c | 299665 | 169267 485298 | 177236 50318 4907970 97.5 | 9.225 % | 505.75/505.90 c | 312639 | 169235 485225 | 194960 63291 6689997 105.7 | 9.240 % | 533.14/533.36 c | 332102 | 169203 485129 | 214456 82747 9239813 111.7 | 9.252 % | 576.92/577.13 c | 361294 | 169181 485078 | 235901 111936 13205834 118.0 | 9.262 % | 665.30/665.65 c | 405083 | 169120 484938 | 259491 155721 20267882 130.2 | 9.289 % | 836.75/837.13 c | 470768 | 168945 484461 | 285441 221370 29298231 132.3 | 9.349 % | 850.54/850.99 c ============================================================================== 850.54/850.99 c [1mFound solution: 40[0m 850.54/850.99 o 40 850.64/851.07 c ---[ 0]---> Adder-cost: 0 maxlim: 4291 bits: 13/13 865.64/866.05 c ==================================[MINISAT+]================================== 865.64/866.05 c | Conflicts | Original | Learnt | Progress | 865.64/866.05 c | | Clauses Literals | Max Clauses Literals LPC | | 865.64/866.05 c ============================================================================== 865.64/866.05 c | 475378 | 168720 483934 | 56240 225971 29940864 132.5 | 9.349 % | 867.54/867.91 c | 475480 | 168700 483890 | 61864 27081 2182523 80.6 | 9.468 % | 867.74/868.10 c | 475631 | 168700 483890 | 68050 27232 2185697 80.3 | 9.468 % | 868.14/868.51 c | 475856 | 168700 483890 | 74855 27457 2196655 80.0 | 9.468 % | 868.64/869.03 c | 476194 | 168631 483713 | 82340 27787 2219766 79.9 | 9.492 % | 869.14/869.56 c | 476702 | 168631 483713 | 90575 28295 2255351 79.7 | 9.492 % | 869.84/870.28 c | 477461 | 168598 483637 | 99632 29053 2327905 80.1 | 9.508 % | 871.04/871.43 c | 478601 | 168598 483637 | 109595 30193 2460683 81.5 | 9.508 % | 873.44/873.86 c | 480312 | 168598 483637 | 120555 31904 2680772 84.0 | 9.508 % | 875.93/876.37 c | 482876 | 168598 483637 | 132610 34468 2962701 86.0 | 9.508 % | 879.83/880.21 c | 486720 | 168537 483475 | 145872 38297 3358752 87.7 | 9.532 % | 886.63/887.04 c | 492486 | 168537 483475 | 160459 44063 4048369 91.9 | 9.532 % | 896.03/896.50 c | 501138 | 168537 483475 | 176505 52715 5192379 98.5 | 9.532 % | 913.72/914.10 c | 514113 | 168491 483369 | 194155 65687 6929743 105.5 | 9.553 % | 945.01/945.46 c | 533575 | 168417 483199 | 213571 85147 9503729 111.6 | 9.585 % | 949.82/950.30 c ============================================================================== 949.82/950.30 c [1mFound solution: 39[0m 949.82/950.30 o 39 949.92/950.37 c ---[ 0]---> Adder-cost: 0 maxlim: 4292 bits: 13/13 963.31/963.75 c ==================================[MINISAT+]================================== 963.31/963.75 c | Conflicts | Original | Learnt | Progress | 963.31/963.75 c | | Clauses Literals | Max Clauses Literals LPC | | 963.31/963.75 c ============================================================================== 963.31/963.75 c | 536131 | 168419 483208 | 56139 87703 9763965 111.3 | 9.585 % | 963.71/964.17 c | 536231 | 168360 483074 | 61752 23243 1786591 76.9 | 9.612 % | 963.91/964.35 c | 536381 | 168360 483074 | 67928 23393 1788347 76.4 | 9.612 % | 964.21/964.62 c | 536606 | 168351 483043 | 74721 23611 1790448 75.8 | 9.613 % | 964.51/964.97 c | 536943 | 168351 483043 | 82193 23948 1804451 75.3 | 9.613 % | 965.11/965.51 c | 537450 | 168317 482966 | 90412 24454 1847754 75.6 | 9.628 % | 965.71/966.12 c | 538213 | 168317 482966 | 99453 25217 1945180 77.1 | 9.628 % | 967.01/967.41 c | 539353 | 168317 482966 | 109399 26357 2080050 78.9 | 9.628 % | 968.51/968.94 c | 541061 | 168317 482966 | 120338 28065 2296626 81.8 | 9.628 % | 971.81/972.30 c | 543624 | 168306 482939 | 132372 30627 2691419 87.9 | 9.634 % | 975.81/976.26 c | 547469 | 168306 482939 | 145610 34472 3073042 89.1 | 9.634 % | 982.80/983.30 c | 553235 | 168297 482908 | 160171 40235 3910645 97.2 | 9.636 % | 994.40/994.88 c | 561885 | 168278 482854 | 176188 48882 5151799 105.4 | 9.642 % | 1007.89/1008.31 c | 574860 | 168243 482773 | 193807 61855 6988846 113.0 | 9.658 % | 1038.88/1039.33 c | 594321 | 168234 482742 | 213187 81312 9697425 119.3 | 9.660 % | 1097.28/1097.79 c | 623516 | 168085 482396 | 234506 110497 13396063 121.2 | 9.723 % | 1187.64/1188.17 c | 667308 | 168021 482210 | 257957 154279 19796338 128.3 | 9.744 % | 1372.29/1372.84 c | 732993 | 167859 481827 | 283752 219957 28493925 129.5 | 9.817 % | 1655.91/1656.52 c | 831519 | 167493 480893 | 312128 48472 4729877 97.6 | 9.957 % | 1800.07/1800.70 c 1800.07/1800.71 c *** TERMINATED *** 1800.07/1800.71 s SATISFIABLE 1800.07/1800.71 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.07/1800.71 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.07/1800.71 v -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1800.07/1800.71 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.07/1800.71 v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 1800.07/1800.71 v -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6691 -x6692 -x6693 -x6694 1800.07/1800.71 v -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 1800.07/1800.71 v -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 1800.07/1800.71 v -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 1800.07/1800.71 v -x7046 -x7047 -x7048 -x7049 -x7050 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 1800.07/1800.71 v -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 1800.07/1800.71 v -x7380 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 1800.07/1800.71 v -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x8011 -x8012 -x8013 1800.07/1800.71 v -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 1800.07/1800.71 v -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 1800.07/1800.71 v -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 1800.07/1800.71 v -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 1800.07/1800.71 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.07/1800.71 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 1800.07/1800.71 v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 1800.07/1800.71 v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.07/1800.71 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.07/1800.71 v -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1800.07/1800.71 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 1800.07/1800.71 v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1800.07/1800.71 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 1800.07/1800.71 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 1800.07/1800.71 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.07/1800.71 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.07/1800.71 v -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 1800.07/1800.71 v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 1800.07/1800.71 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 1800.07/1800.71 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 1800.07/1800.71 v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 1800.07/1800.71 v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 1800.07/1800.71 v -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 1800.07/1800.71 v -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 1800.07/1800.71 v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1800.07/1800.71 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 1800.07/1800.71 v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 1800.07/1800.71 v -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 1800.07/1800.71 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1800.07/1800.71 v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 1800.07/1800.71 v -x5066 -x5067 -x5068 -x5069 -x5070 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 1800.07/1800.71 v -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 1800.07/1800.71 v -x5400 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 1800.07/1800.71 v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 -x6032 -x6033 1800.07/1800.71 v -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 1800.07/1800.71 v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 1800.07/1800.71 v -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 1800.07/1800.71 v -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 1800.07/1800.71 v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 1800.07/1800.71 v -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 1800.07/1800.71 v -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 1800.07/1800.71 v -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 1800.07/1800.71 v -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 1800.07/1800.71 v -x6487 -x6488 -x6489 -x6490 -x6491 x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 1800.07/1800.71 v -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 1800.07/1800.71 v -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 1800.07/1800.71 v -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 1800.07/1800.71 v -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 1800.07/1800.71 v -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 1800.07/1800.71 v -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 1800.07/1800.71 v -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 1800.07/1800.71 v -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 1800.07/1800.71 v -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 1800.07/1800.71 v -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 1800.07/1800.71 v -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 1800.07/1800.71 v -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 1800.07/1800.71 v -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 1800.07/1800.71 v -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 1800.07/1800.71 v -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 1800.07/1800.71 v -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 1800.07/1800.71 v -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 1800.07/1800.71 v -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 1800.07/1800.71 v -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 1800.07/1800.71 v -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 1800.07/1800.71 v -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 1800.07/1800.71 v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 1800.07/1800.71 v -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 1800.07/1800.71 v -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 1800.07/1800.71 v -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 1800.07/1800.71 v -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 1800.07/1800.71 v -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 1800.07/1800.71 v -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 1800.07/1800.71 v -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 1800.07/1800.71 v -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 1800.07/1800.71 v -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 1800.07/1800.71 v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 1800.07/1800.71 v -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 1800.07/1800.71 v -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 1800.07/1800.71 v -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 1800.07/1800.71 v -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 1800.07/1800.71 v -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 1800.07/1800.71 v -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 1800.07/1800.71 v -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 1800.07/1800.71 v -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 1800.07/1800.71 v -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 1800.07/1800.71 v -x7261 x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 1800.07/1800.71 v -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 1800.07/1800.71 v -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 1800.07/1800.71 v -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 1800.07/1800.71 v -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 1800.07/1800.71 v -x7346 -x7347 -x7348 -x7349 -x7350 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 1800.07/1800.71 v -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 1800.07/1800.71 v -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 1800.07/1800.71 v -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 1800.07/1800.71 v -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 1800.07/1800.71 v -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 1800.07/1800.71 v -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 1800.07/1800.71 v -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 1800.07/1800.71 v -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 1800.07/1800.71 v -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 1800.07/1800.71 v -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 1800.07/1800.71 v -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 1800.07/1800.71 v -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 1800.07/1800.71 v -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 1800.07/1800.71 v -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 1800.07/1800.71 v -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 1800.07/1800.71 v -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 1800.07/1800.71 v -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7711 1800.07/1800.71 v -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 1800.07/1800.71 v -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 1800.07/1800.71 v -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 1800.07/1800.71 v -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 1800.07/1800.71 v -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 1800.07/1800.71 v -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 1800.07/1800.71 v -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 1800.07/1800.71 v -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 1800.07/1800.71 v -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 1800.07/1800.71 v -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 1800.07/1800.71 v -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 1800.07/1800.71 v -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 1800.07/1800.71 v -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 1800.07/1800.71 v -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 1800.07/1800.71 v -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 1800.07/1800.71 v -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 1800.07/1800.71 v -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 1800.07/1800.71 v -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 1800.07/1800.71 v -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 1800.07/1800.71 v -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 1800.07/1800.71 v -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 1800.07/1800.71 v -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 1800.07/1800.71 v -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 1800.07/1800.71 v -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 1800.07/1800.71 v -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 1800.07/1800.71 v -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 1800.07/1800.71 v -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 1800.07/1800.71 v -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 1800.07/1800.71 v -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 1800.07/1800.71 v -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 1800.07/1800.71 v -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 1800.07/1800.71 v -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 1800.07/1800.71 v -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 1800.07/1800.71 v -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 1800.07/1800.71 v -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 1800.07/1800.71 v -x8337 -x8338 -x8339 -x8340 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 1800.07/1800.71 v -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 1800.07/1800.71 v -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 1800.07/1800.71 v -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 1800.07/1800.71 v -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 1800.07/1800.71 v -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 1800.07/1800.71 v -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 1800.07/1800.71 v -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 1800.07/1800.71 v -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 1800.07/1800.71 v -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 1800.07/1800.71 v -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 1800.07/1800.71 v -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 1800.07/1800.71 v -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 1800.07/1800.71 v -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 1800.07/1800.71 v -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 1800.07/1800.71 v -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 1800.07/1800.71 v -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 1800.07/1800.71 v -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x91 -x92 -x93 1800.07/1800.71 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 1800.07/1800.71 v -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 1800.07/1800.71 v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 1800.07/1800.71 v -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1800.07/1800.71 v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 1800.07/1800.71 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 1800.07/1800.71 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 1800.07/1800.71 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 1800.07/1800.71 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 1800.07/1800.71 v -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 1800.07/1800.71 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 1800.07/1800.71 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 1800.07/1800.71 v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 1800.07/1800.71 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1800.07/1800.71 v -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 1800.07/1800.71 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 1800.07/1800.71 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1800.07/1800.71 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1800.07/1800.71 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1800.07/1800.71 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 1800.07/1800.71 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1800.07/1800.71 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1800.07/1800.71 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1800.07/1800.71 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1800.07/1800.71 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1800.07/1800.71 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1800.07/1800.71 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 1800.07/1800.71 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1800.07/1800.71 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 1800.07/1800.71 v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 1800.07/1800.71 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 1800.07/1800.71 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1800.07/1800.71 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 1800.07/1800.71 v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1800.07/1800.71 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 1800.07/1800.71 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 1800.07/1800.71 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 1800.07/1800.71 v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1800.07/1800.71 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 1800.07/1800.71 v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 1800.07/1800.71 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.07/1800.71 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.07/1800.71 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.07/1800.71 v -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1800.07/1800.71 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.07/1800.71 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.07/1800.71 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.07/1800.71 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1800.07/1800.71 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1800.07/1800.71 v -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1800.07/1800.71 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1800.07/1800.71 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1800.07/1800.71 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1800.07/1800.71 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 1800.07/1800.71 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1800.07/1800.71 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.07/1800.71 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.07/1800.71 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1800.07/1800.71 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.07/1800.71 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.07/1800.71 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 1800.07/1800.71 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1800.07/1800.71 v -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1800.07/1800.71 v -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 1800.07/1800.71 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 1800.07/1800.71 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 1800.07/1800.71 v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 1800.07/1800.71 v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 1800.07/1800.71 v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 1800.07/1800.71 v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1800.07/1800.71 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 1800.07/1800.71 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 1800.07/1800.71 v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 1800.07/1800.71 v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 1800.07/1800.71 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 1800.07/1800.71 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1800.07/1800.71 v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 1800.07/1800.71 v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 1800.07/1800.71 v -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1800.07/1800.71 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 1800.07/1800.71 v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1800.07/1800.71 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 1800.07/1800.71 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 1800.07/1800.71 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 1800.07/1800.71 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1800.07/1800.71 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1800.07/1800.71 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1800.07/1800.71 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1800.07/1800.71 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1800.07/1800.71 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1800.07/1800.71 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1800.07/1800.71 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1800.07/1800.71 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1800.07/1800.71 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 1800.07/1800.71 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1800.07/1800.71 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 1800.07/1800.71 v -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.07/1800.71 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.07/1800.71 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.07/1800.71 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 1800.07/1800.71 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1800.07/1800.71 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1800.07/1800.71 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.07/1800.71 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.07/1800.71 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.07/1800.71 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.07/1800.71 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.07/1800.71 v -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.07/1800.71 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.07/1800.71 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.07/1800.71 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.07/1800.71 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.07/1800.71 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.07/1800.71 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 1800.07/1800.71 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1800.07/1800.71 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 1800.07/1800.71 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1800.07/1800.71 v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 1800.07/1800.71 v -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 1800.07/1800.71 v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 1800.07/1800.71 v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 1800.07/1800.71 v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 1800.07/1800.71 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1800.07/1800.71 v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 1800.07/1800.71 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1800.07/1800.71 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1800.07/1800.71 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1800.07/1800.71 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1800.07/1800.71 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1800.07/1800.71 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.07/1800.71 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.07/1800.71 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.07/1800.71 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.07/1800.71 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1800.07/1800.71 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1800.07/1800.71 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1800.07/1800.71 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1800.07/1800.71 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1800.07/1800.71 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1800.07/1800.71 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.07/1800.71 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1800.07/1800.71 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1800.07/1800.71 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1800.07/1800.71 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1800.07/1800.71 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1800.07/1800.71 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1800.07/1800.71 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.07/1800.71 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1800.07/1800.71 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.07/1800.71 v -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 1800.07/1800.71 v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 1800.07/1800.71 v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 1800.07/1800.71 v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 1800.07/1800.71 v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 1800.07/1800.71 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1800.07/1800.71 v -x3161 -x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1800.07/1800.71 v -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 1800.07/1800.71 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 1800.07/1800.71 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 1800.07/1800.71 v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 1800.07/1800.71 v -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 1800.07/1800.71 v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 1800.07/1800.71 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 1800.07/1800.71 v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 1800.07/1800.71 v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1800.07/1800.71 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 1800.07/1800.71 v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 1800.07/1800.71 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1800.07/1800.71 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1800.07/1800.71 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1800.07/1800.71 v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 1800.07/1800.71 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 1800.07/1800.71 v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 1800.07/1800.71 v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 1800.07/1800.71 v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 1800.07/1800.71 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 1800.07/1800.71 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 1800.07/1800.71 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1800.07/1800.71 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1800.07/1800.71 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1800.07/1800.71 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 1800.07/1800.71 v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 1800.07/1800.71 v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 1800.07/1800.71 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 1800.07/1800.71 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1800.07/1800.71 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1800.07/1800.71 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 1800.07/1800.71 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 1800.07/1800.71 v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 1800.07/1800.71 v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 1800.07/1800.71 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 1800.07/1800.71 v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 1800.07/1800.71 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 1800.07/1800.71 v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 1800.07/1800.71 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1800.07/1800.71 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1800.07/1800.71 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1800.07/1800.71 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1800.07/1800.71 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 1800.07/1800.71 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1800.07/1800.71 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1800.07/1800.71 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.07/1800.71 v -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 1800.07/1800.71 v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 1800.07/1800.71 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 1800.07/1800.71 v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 1800.07/1800.71 v -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 1800.07/1800.71 v -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 1800.07/1800.71 v -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 1800.07/1800.71 v -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 x4214 -x4215 1800.07/1800.71 v -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 1800.07/1800.71 v -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 1800.07/1800.71 v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 1800.07/1800.71 v -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 1800.07/1800.71 v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 1800.07/1800.71 v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 1800.07/1800.71 v -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 1800.07/1800.71 v -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 1800.07/1800.71 v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 1800.07/1800.71 v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 1800.07/1800.71 v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 1800.07/1800.71 v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 1800.07/1800.71 v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 1800.07/1800.71 v -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 1800.07/1800.71 v -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 1800.07/1800.71 v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 1800.07/1800.71 v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 1800.07/1800.71 v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 1800.07/1800.71 v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 1800.07/1800.71 v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 1800.07/1800.71 v -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 1800.07/1800.71 v -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 1800.07/1800.71 v -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 1800.07/1800.71 v -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 1800.07/1800.71 v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 1800.07/1800.71 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 1800.07/1800.71 v -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 1800.07/1800.71 v -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 1800.07/1800.71 v -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 1800.07/1800.71 v -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 1800.07/1800.71 v -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 1800.07/1800.71 v -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 1800.07/1800.71 v -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 1800.07/1800.71 v -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 1800.07/1800.71 v -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 1800.07/1800.71 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 1800.07/1800.71 v -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 1800.07/1800.71 v -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 1800.07/1800.71 v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 1800.07/1800.71 v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 1800.07/1800.71 v -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 1800.07/1800.71 v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 1800.07/1800.71 v -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 1800.07/1800.71 v -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 1800.07/1800.71 v -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 1800.07/1800.71 v x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 1800.07/1800.71 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 1800.07/1800.71 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 1800.07/1800.71 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1800.07/1800.71 v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 1800.07/1800.71 v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 1800.07/1800.71 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 1800.07/1800.71 v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 1800.07/1800.71 v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 1800.07/1800.71 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1800.07/1800.71 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 1800.07/1800.71 v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 1800.07/1800.71 v -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 1800.07/1800.71 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 1800.07/1800.71 v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 1800.07/1800.71 v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 1800.07/1800.71 v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 1800.07/1800.71 v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 1800.07/1800.71 v -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 1800.07/1800.71 v -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 1800.07/1800.71 v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 1800.07/1800.71 v -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 1800.07/1800.71 v -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 1800.07/1800.71 v -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 1800.07/1800.71 v -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 1800.07/1800.71 v -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 1800.07/1800.71 v -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 1800.07/1800.71 v -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 1800.07/1800.71 v -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 1800.07/1800.71 v -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 1800.07/1800.71 v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 1800.07/1800.71 v -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 1800.07/1800.71 v -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 1800.07/1800.71 v -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 1800.07/1800.71 v -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 1800.07/1800.71 v -x5696 -x5697 -x5698 -x5699 -x5700 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 1800.07/1800.71 v -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 1800.07/1800.71 v -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 1800.07/1800.71 v -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 1800.07/1800.71 v -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 1800.07/1800.71 v -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 1800.07/1800.71 v -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 1800.07/1800.71 v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 1800.07/1800.71 v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 1800.07/1800.71 v -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 1800.07/1800.71 v -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 1800.07/1800.71 v -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 -x5925 -x5926 -x5927 -x5928 -x5929 1800.07/1800.71 v -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 1800.07/1800.71 v -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 1800.07/1800.71 v -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 1800.07/1800.71 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 1800.07/1800.71 v -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 x6012 -x6013 -x6014 1800.07/1800.71 v -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6061 1800.07/1800.71 v -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 1800.07/1800.71 v -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 1800.07/1800.71 v -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 1800.07/1800.71 v -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 1800.07/1800.71 v -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 1800.07/1800.71 v -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 1800.07/1800.71 v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 1800.07/1800.71 v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 1800.07/1800.71 v -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 1800.07/1800.71 v -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 1800.07/1800.71 v -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 1800.07/1800.71 v -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 1800.07/1800.71 v -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 1800.07/1800.71 v -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 1800.07/1800.71 v -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 1800.07/1800.71 v -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 x8671 -x8672 -x8783 1800.07/1800.71 v -x8883 -x8894 -x8905 -x8916 -x8927 -x8938 -x8949 -x8673 -x8684 -x8695 -x8706 -x8717 x8728 -x8739 -x8750 -x8761 -x8772 1800.07/1800.71 v -x8784 -x8795 -x8806 -x8817 -x8828 -x8839 -x8850 -x8861 -x8872 -x8882 -x8884 -x8885 -x8886 x8887 -x8888 -x8889 x8890 -x8891 1800.07/1800.71 v -x8892 -x8893 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8906 -x8907 -x8908 -x8909 -x8910 1800.07/1800.71 v -x8911 -x8912 x8913 -x8914 -x8915 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8928 -x8929 1800.07/1800.71 v -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 x8937 -x8939 -x8940 -x8941 -x8942 -x8943 x8944 -x8945 -x8946 -x8947 -x8948 1800.07/1800.71 v -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 1800.07/1800.71 v -x8681 -x8682 -x8683 x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8696 -x8697 -x8698 -x8699 1800.07/1800.71 v -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8707 -x8708 -x8709 x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8718 1800.07/1800.71 v x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 1800.07/1800.71 v -x8737 -x8738 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 x8746 -x8747 -x8748 -x8749 -x8751 x8752 x8753 -x8754 -x8755 -x8756 1800.07/1800.71 v -x8757 -x8758 -x8759 -x8760 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8773 -x8774 -x8775 1800.07/1800.71 v x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 1800.07/1800.71 v -x8796 x8797 -x8798 x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8807 -x8808 -x8809 -x8810 x8811 -x8812 -x8813 -x8814 1800.07/1800.71 v -x8815 -x8816 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8829 -x8830 -x8831 -x8832 -x8833 1800.07/1800.71 v -x8834 -x8835 -x8836 -x8837 -x8838 x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8851 -x8852 1800.07/1800.71 v -x8853 -x8854 -x8855 x8856 -x8857 -x8858 -x8859 -x8860 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 x8868 -x8869 -x8870 x8871 1800.07/1800.71 v -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881
OK 39
/tmp/evaluation/350621-1176529848/instance-350621-1176529848.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-350621-1176529848 -o ROOT/results/node6/solver-350621-1176529848 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350621-1176529848/minisat+ /tmp/evaluation/350621-1176529848/instance-350621-1176529848.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 6592 /proc/meminfo: memFree=1848632/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=1352 CPUtime=0 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 129022446 1384448 171 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 338 171 67 215 0 120 0 [startup+0.037529 s] /proc/loadavg: 1.00 1.00 1.00 3/77 6592 /proc/meminfo: memFree=1848632/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=2856 CPUtime=0.03 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 541 0 0 0 3 0 0 0 18 0 1 0 129022446 2924544 526 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 714 526 75 215 0 496 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2856 [startup+0.101536 s] /proc/loadavg: 1.00 1.00 1.00 3/77 6592 /proc/meminfo: memFree=1848632/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=2856 CPUtime=0.09 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 565 0 0 0 9 0 0 0 18 0 1 0 129022446 2924544 550 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005800 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 714 550 75 215 0 496 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2856 [startup+0.301561 s] /proc/loadavg: 1.00 1.00 1.00 3/77 6592 /proc/meminfo: memFree=1848632/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=3656 CPUtime=0.29 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 767 0 0 0 29 0 0 0 19 0 1 0 129022446 3743744 752 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 914 752 75 215 0 696 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3656 [startup+0.701608 s] /proc/loadavg: 1.00 1.00 1.00 3/77 6592 /proc/meminfo: memFree=1848632/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=4668 CPUtime=0.69 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 1007 0 0 0 69 0 0 0 23 0 1 0 129022446 4780032 992 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621720 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 1167 992 83 215 0 949 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4668 [startup+1.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1844912/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=5012 CPUtime=1.49 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 1152 0 0 0 148 1 0 0 25 0 1 0 129022446 5132288 1084 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 1253 1084 87 215 0 1035 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5012 [startup+3.10289 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1834096/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=17916 CPUtime=3.09 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 4433 0 0 0 307 2 0 0 25 0 1 0 129022446 18345984 4112 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 4479 4112 111 215 0 4261 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17916 [startup+6.30126 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1832176/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=17916 CPUtime=6.29 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 4459 0 0 0 626 3 0 0 25 0 1 0 129022446 18345984 4138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 4479 4138 111 215 0 4261 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17916 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1831344/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=18876 CPUtime=12.69 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 4711 0 0 0 1266 3 0 0 25 0 1 0 129022446 19329024 4390 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809797 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 4719 4390 111 215 0 4501 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18876 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1811248/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=40308 CPUtime=25.49 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 10903 0 0 0 2542 7 0 0 25 0 1 0 129022446 41275392 9386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575881 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 10077 9386 124 215 0 9859 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40308 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1807984/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=43772 CPUtime=51.07 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 12210 0 0 0 5100 7 0 0 25 0 1 0 129022446 44822528 10273 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 10943 10273 124 215 0 10725 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43772 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1796272/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=55216 CPUtime=102.26 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 15586 0 0 0 10215 11 0 0 25 0 1 0 129022446 56541184 13111 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012168 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 13804 13111 124 215 0 13586 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 55216 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1792112/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=60028 CPUtime=162.24 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 17571 0 0 0 16211 13 0 0 25 0 1 0 129022446 61468672 14308 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 15007 14308 124 215 0 14789 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 60028 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1785072/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=66432 CPUtime=222.23 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 19596 0 0 0 22207 16 0 0 25 0 1 0 129022446 68026368 15917 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 16608 15917 124 215 0 16390 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 66432 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1759152/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=92436 CPUtime=282.21 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 26089 0 0 0 28198 23 0 0 25 0 1 0 129022446 94654464 22410 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 23109 22410 124 215 0 22891 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 92436 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1736240/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=115200 CPUtime=342.18 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 31725 0 0 0 34191 27 0 0 25 0 1 0 129022446 117964800 28046 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 28800 28046 124 215 0 28582 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 115200 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1722352/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=129160 CPUtime=402.17 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 35240 0 0 0 40185 32 0 0 25 0 1 0 129022446 132259840 31561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 32290 31561 124 215 0 32072 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 129160 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1707504/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=143596 CPUtime=462.15 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 38943 0 0 0 46179 36 0 0 25 0 1 0 129022446 147042304 35205 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 35899 35205 124 215 0 35681 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 143596 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1708464/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=142348 CPUtime=522.14 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 38963 0 0 0 52177 37 0 0 25 0 1 0 129022446 145764352 34893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576464 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 35587 34893 124 215 0 35369 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 142348 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6593 /proc/meminfo: memFree=1708464/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=142348 CPUtime=582.12 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 38964 0 0 0 58175 37 0 0 25 0 1 0 129022446 145764352 34894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 35587 34894 124 215 0 35369 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 142348 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/84 6731 /proc/meminfo: memFree=1707008/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=142348 CPUtime=642.04 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 38964 0 0 0 64166 38 0 0 25 0 1 0 129022446 145764352 34894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 35587 34894 124 215 0 35369 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 142348 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1681072/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=169372 CPUtime=881.93 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 45991 0 0 0 88147 46 0 0 25 0 1 0 129022446 173436928 41573 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 42343 41573 124 215 0 42125 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 169372 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1681072/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=169372 CPUtime=941.91 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 45991 0 0 0 94145 46 0 0 25 0 1 0 129022446 173436928 41573 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574364 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 42343 41573 124 215 0 42125 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 169372 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1681008/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=169368 CPUtime=1001.9 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 46042 0 0 0 100143 47 0 0 25 0 1 0 129022446 173432832 41572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574156 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 42342 41572 124 215 0 42124 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 169368 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1681008/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=169368 CPUtime=1061.87 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 46042 0 0 0 106140 47 0 0 25 0 1 0 129022446 173432832 41572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 42342 41572 124 215 0 42124 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 169368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1681008/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=169368 CPUtime=1121.86 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 46042 0 0 0 112138 48 0 0 25 0 1 0 129022446 173432832 41572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 42342 41572 124 215 0 42124 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 169368 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1681008/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=169368 CPUtime=1181.84 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 46042 0 0 0 118136 48 0 0 25 0 1 0 129022446 173432832 41572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 42342 41572 124 215 0 42124 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 169368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1681008/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=169368 CPUtime=1241.82 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 46042 0 0 0 124134 48 0 0 25 0 1 0 129022446 173432832 41572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 42342 41572 124 215 0 42124 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 169368 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1680944/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=169368 CPUtime=1301.81 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 46047 0 0 0 130132 49 0 0 25 0 1 0 129022446 173432832 41577 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 42342 41577 124 215 0 42124 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 169368 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1680944/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=169368 CPUtime=1361.79 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 46048 0 0 0 136130 49 0 0 25 0 1 0 129022446 173432832 41578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 42342 41578 124 215 0 42124 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 169368 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1678000/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=172264 CPUtime=1421.77 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 46767 0 0 0 142127 50 0 0 25 0 1 0 129022446 176398336 42297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 43066 42297 124 215 0 42848 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 172264 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1667888/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=182440 CPUtime=1481.75 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 49301 0 0 0 148122 53 0 0 25 0 1 0 129022446 186818560 44831 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 45610 44831 124 215 0 45392 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 182440 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1656368/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=193844 CPUtime=1541.73 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 52154 0 0 0 154116 57 0 0 25 0 1 0 129022446 198496256 47684 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 48461 47684 124 215 0 48243 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 193844 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1644656/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=205368 CPUtime=1601.72 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 55075 0 0 0 160112 60 0 0 25 0 1 0 129022446 210296832 50605 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 51342 50605 124 215 0 51124 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 205368 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1640368/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=209556 CPUtime=1661.7 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 56120 0 0 0 166108 62 0 0 25 0 1 0 129022446 214585344 51650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 52389 51650 124 215 0 52171 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 209556 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1640304/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=209556 CPUtime=1721.69 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 56120 0 0 0 172106 63 0 0 25 0 1 0 129022446 214585344 51650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 52389 51650 124 215 0 52171 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 209556 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1640240/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=209556 CPUtime=1781.67 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 56121 0 0 0 178104 63 0 0 25 0 1 0 129022446 214585344 51651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 52389 51651 124 215 0 52171 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 209556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1640240/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=209556 CPUtime=1800.07 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 56122 0 0 0 179944 63 0 0 25 0 1 0 129022446 214585344 51652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 52389 51652 124 215 0 52171 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 209556 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6791 /proc/meminfo: memFree=1640240/2055924 swapFree=4191880/4192956 [pid=6592] ppid=6590 vsize=209556 CPUtime=1800.07 /proc/6592/stat : 6592 (minisat+) R 6590 6592 5863 0 -1 4194304 56122 0 0 0 179944 63 0 0 25 0 1 0 129022446 214585344 51652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6592/statm: 52389 51652 124 215 0 52171 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 209556 Child status: 10 Real time (s): 1800.75 CPU time (s): 1800.12 CPU user time (s): 1799.45 CPU system time (s): 0.668898 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (KiB): 209556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.45 system time used= 0.668898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56124 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21 involuntary context switches= 37430 runsolver used 2.14367 second user time and 4.34534 second system time The end
Begin job on node6 on Sat Apr 14 05:50:48 UTC 2007 IDJOB= 350621 IDBENCH= 1559 IDSOLVER= 156 FILE ID= node6/350621-1176529848 PBS_JOBID= 4556718 Free space on /tmp= 66555 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb COMMAND LINE= /tmp/evaluation/350621-1176529848/minisat+ /tmp/evaluation/350621-1176529848/instance-350621-1176529848.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-350621-1176529848 -o ROOT/results/node6/conversion-350621-1176529848 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350621-1176529848/instance-350621-1176529848.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-350621-1176529848 -o ROOT/results/node6/solver-350621-1176529848 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350621-1176529848/minisat+ /tmp/evaluation/350621-1176529848/instance-350621-1176529848.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= eacfeaf84791543db8ee3be1e77f11f6 RANDOM SEED= 666683838 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1849040 kB Buffers: 14548 kB Cached: 88064 kB SwapCached: 408 kB Active: 101536 kB Inactive: 56444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1849040 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 2752 kB Writeback: 0 kB Mapped: 72468 kB Slab: 34476 kB Committed_AS: 4842140 kB PageTables: 1788 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66555 MiB End job on node6 on Sat Apr 14 06:20:51 UTC 2007