Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 262562 | 1800.73 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rout.opb |
MD5SUM | 485ca531ffda98d59a839bf46c37d61d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 262412 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262412 |
Optimality of the best value was proved | NO |
Number of variables | 7561 |
Total number of constraints | 306 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 14 |
Number of constraints which are nor clauses,nor cardinality constraints | 292 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 917 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525077 |
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 c Parsing PB file... 0.27 c Converting 337 PB-constraints to clauses... 0.27 c -- Unit propagations: (none) 0.46 c -- Detecting intervals from adjacent constraints: ############################### 0.46 c -- Clauses(.)/Splits(s): ............... 0.46 c ---[ 320]---> Adder-cost: 1600 maxlim: 177076 bits: 19/18 0.64 c ---[ 319]---> BDD-cost: 37 0.64 c ---[ 318]---> Sorter-cost: 172 Base: 2 0.65 c ---[ 317]---> Sorter-cost: 172 Base: 2 0.65 c ---[ 316]---> Sorter-cost: 277 Base: 2 0.65 c ---[ 315]---> Sorter-cost: 277 Base: 2 0.65 c ---[ 314]---> Sorter-cost: 277 Base: 2 0.65 c ---[ 313]---> Sorter-cost: 277 Base: 2 0.65 c ---[ 312]---> Sorter-cost: 277 Base: 2 0.65 c ---[ 311]---> Sorter-cost: 277 Base: 2 0.65 c ---[ 310]---> Sorter-cost: 277 Base: 2 0.65 c ---[ 309]---> Sorter-cost: 277 Base: 2 0.65 c ---[ 308]---> BDD-cost: 37 0.65 c ---[ 307]---> Sorter-cost: 277 Base: 2 0.66 c ---[ 306]---> Sorter-cost: 277 Base: 2 0.66 c ---[ 305]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 304]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 303]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 302]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 301]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 300]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 299]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 298]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 297]---> BDD-cost: 37 0.66 c ---[ 296]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 295]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 294]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 293]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 292]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 291]---> Sorter-cost: 172 Base: 2 0.66 c ---[ 290]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 289]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 288]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 287]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 286]---> BDD-cost: 37 0.67 c ---[ 285]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 284]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 283]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 282]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 281]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 280]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 279]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 278]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 277]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 276]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 275]---> BDD-cost: 37 0.67 c ---[ 274]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 273]---> Sorter-cost: 172 Base: 2 0.67 c ---[ 272]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 271]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 270]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 269]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 268]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 267]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 266]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 265]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 264]---> BDD-cost: 37 0.68 c ---[ 263]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 262]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 261]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 260]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 259]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 258]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 257]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 256]---> Sorter-cost: 172 Base: 2 0.68 c ---[ 255]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 254]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 253]---> BDD-cost: 37 0.69 c ---[ 252]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 251]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 250]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 249]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 248]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 247]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 246]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 245]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 244]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 243]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 242]---> BDD-cost: 37 0.69 c ---[ 241]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 240]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 239]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 238]---> Sorter-cost: 172 Base: 2 0.69 c ---[ 237]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 236]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 235]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 234]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 233]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 232]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 231]---> BDD-cost: 37 0.70 c ---[ 230]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 229]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 228]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 227]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 226]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 225]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 224]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 223]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 222]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 221]---> Sorter-cost: 172 Base: 2 0.70 c ---[ 220]---> BDD-cost: 37 0.71 c ---[ 219]---> Sorter-cost: 172 Base: 2 0.71 c ---[ 218]---> Sorter-cost: 172 Base: 2 0.71 c ---[ 217]---> Sorter-cost: 172 Base: 2 0.71 c ---[ 216]---> Sorter-cost: 172 Base: 2 0.71 c ---[ 215]---> Sorter-cost: 172 Base: 2 0.71 c ---[ 214]---> Sorter-cost: 172 Base: 2 0.71 c ---[ 213]---> Sorter-cost: 172 Base: 2 0.71 c ---[ 212]---> Sorter-cost: 172 Base: 2 0.71 c ---[ 211]---> Sorter-cost: 172 Base: 2 0.71 c ---[ 210]---> Sorter-cost: 172 Base: 2 0.71 c ---[ 209]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 0.96 c ---[ 208]---> BDD-cost: 37 0.96 c ---[ 207]---> Sorter-cost: 172 Base: 2 0.96 c ---[ 206]---> Sorter-cost: 172 Base: 2 0.96 c ---[ 205]---> Sorter-cost: 172 Base: 2 0.96 c ---[ 204]---> Sorter-cost: 172 Base: 2 0.96 c ---[ 203]---> Sorter-cost: 172 Base: 2 0.96 c ---[ 202]---> Sorter-cost: 172 Base: 2 0.96 c ---[ 201]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 200]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 199]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 198]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 197]---> BDD-cost: 37 0.97 c ---[ 196]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 195]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 194]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 193]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 192]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 191]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 190]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 189]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 188]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 187]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 185]---> Sorter-cost: 441 Base: 2 0.97 c ---[ 184]---> Sorter-cost: 172 Base: 2 0.97 c ---[ 183]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 182]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 181]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 180]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 179]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 178]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 177]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 176]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 175]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 173]---> Sorter-cost: 441 Base: 2 0.98 c ---[ 172]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 171]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 170]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 169]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 168]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 167]---> Sorter-cost: 172 Base: 2 0.98 c ---[ 166]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 165]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 164]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 163]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 161]---> Sorter-cost: 441 Base: 2 0.99 c ---[ 160]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 159]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 158]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 157]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 156]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 155]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 154]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 153]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 152]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 151]---> Sorter-cost: 172 Base: 2 0.99 c ---[ 149]---> Sorter-cost: 441 Base: 2 0.99 c ---[ 148]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 147]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 146]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 145]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 144]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 143]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 142]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 141]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 140]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 139]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 137]---> Sorter-cost: 441 Base: 2 1.00 c ---[ 136]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 135]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 134]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 133]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 132]---> Sorter-cost: 172 Base: 2 1.00 c ---[ 131]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 130]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 129]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 128]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 127]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 125]---> Sorter-cost: 347 Base: 2 1.01 c ---[ 124]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 123]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 122]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 121]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 120]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 119]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 118]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 117]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 116]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 115]---> Sorter-cost: 172 Base: 2 1.01 c ---[ 113]---> Sorter-cost: 347 Base: 2 1.02 c ---[ 112]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 111]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 110]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 109]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 108]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 107]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 106]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 105]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 104]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 103]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 101]---> Sorter-cost: 347 Base: 2 1.02 c ---[ 100]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 99]---> Sorter-cost: 172 Base: 2 1.02 c ---[ 98]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 1.28 c ---[ 96]---> Sorter-cost: 347 Base: 2 1.28 c ---[ 94]---> Sorter-cost: 347 Base: 2 1.28 c ---[ 92]---> Sorter-cost: 515 Base: 2 1.28 c ---[ 90]---> Sorter-cost: 515 Base: 2 1.28 c ---[ 88]---> Sorter-cost: 515 Base: 2 1.28 c ---[ 86]---> Sorter-cost: 515 Base: 2 1.29 c ---[ 84]---> Sorter-cost: 515 Base: 2 1.29 c ---[ 82]---> Adder-cost: 750 maxlim: 212 bits: 9/8 1.32 c ---[ 80]---> Adder-cost: 750 maxlim: 212 bits: 9/8 1.36 c ---[ 78]---> Adder-cost: 750 maxlim: 212 bits: 9/8 1.39 c ---[ 77]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 1.64 c ---[ 75]---> Adder-cost: 750 maxlim: 212 bits: 9/8 1.67 c ---[ 73]---> Adder-cost: 750 maxlim: 212 bits: 9/8 1.71 c ---[ 71]---> Adder-cost: 593 maxlim: 126 bits: 8/7 1.72 c ---[ 69]---> Adder-cost: 593 maxlim: 126 bits: 8/7 1.74 c ---[ 67]---> Adder-cost: 593 maxlim: 126 bits: 8/7 1.75 c ---[ 65]---> Adder-cost: 627 maxlim: 126 bits: 8/7 1.77 c ---[ 63]---> Adder-cost: 627 maxlim: 126 bits: 8/7 1.79 c ---[ 61]---> Adder-cost: 786 maxlim: 294 bits: 9/9 1.86 c ---[ 59]---> Adder-cost: 786 maxlim: 294 bits: 9/9 1.93 c ---[ 57]---> Adder-cost: 786 maxlim: 294 bits: 9/9 2.01 c ---[ 56]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 2.26 c ---[ 54]---> Adder-cost: 806 maxlim: 294 bits: 9/9 2.33 c ---[ 52]---> Adder-cost: 806 maxlim: 294 bits: 9/9 2.40 c ---[ 51]---> Sorter-cost: 172 Base: 2 2.40 c ---[ 50]---> Sorter-cost: 172 Base: 2 2.40 c ---[ 49]---> Sorter-cost: 172 Base: 2 2.41 c ---[ 48]---> Sorter-cost: 172 Base: 2 2.41 c ---[ 47]---> Sorter-cost: 172 Base: 2 2.41 c ---[ 46]---> Sorter-cost: 172 Base: 2 2.41 c ---[ 45]---> Sorter-cost: 172 Base: 2 2.41 c ---[ 44]---> Sorter-cost: 172 Base: 2 2.41 c ---[ 43]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 2.66 c ---[ 42]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 41]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 40]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 39]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 38]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 37]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 36]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 35]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 34]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 33]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 32]---> BDD-cost: 37 2.66 c ---[ 31]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 30]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 29]---> Sorter-cost: 172 Base: 2 2.66 c ---[ 28]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 27]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 26]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 25]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 24]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 23]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 22]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 21]---> BDD-cost: 37 2.67 c ---[ 20]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 19]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 18]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 17]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 16]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 15]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 14]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 13]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 12]---> Sorter-cost: 172 Base: 2 2.67 c ---[ 11]---> Sorter-cost: 172 Base: 2 2.68 c ---[ 10]---> BDD-cost: 84 2.68 c ---[ 9]---> Sorter-cost: 172 Base: 2 2.68 c ---[ 8]---> Sorter-cost: 172 Base: 2 2.68 c ---[ 7]---> Sorter-cost: 172 Base: 2 2.68 c ---[ 6]---> Sorter-cost: 172 Base: 2 2.68 c ---[ 5]---> Sorter-cost: 172 Base: 2 2.68 c ---[ 4]---> Sorter-cost: 172 Base: 2 2.68 c ---[ 3]---> Sorter-cost: 172 Base: 2 2.68 c ---[ 2]---> Sorter-cost: 172 Base: 2 2.68 c ---[ 1]---> Sorter-cost: 172 Base: 2 2.68 c ---[ 0]---> Sorter-cost: 172 Base: 2 2.82 c ==================================[MINISAT+]================================== 2.82 c | Conflicts | Original | Learnt | Progress | 2.82 c | | Clauses Literals | Max Clauses Literals LPC | | 2.82 c ============================================================================== 2.82 c | 0 | 171215 532459 | 57071 0 0 nan | 0.000 % | 2.97 c | 100 | 170848 531607 | 62778 52 266 5.1 | 8.043 % | 3.09 c | 250 | 170745 531353 | 69055 193 6580 34.1 | 8.085 % | 3.36 c | 477 | 170333 530350 | 75961 381 8884 23.3 | 8.280 % | 3.57 c | 814 | 170308 530269 | 83557 713 20623 28.9 | 8.289 % | 3.76 c | 1321 | 170292 530217 | 91913 1218 37757 31.0 | 8.294 % | 4.26 c | 2080 | 170099 529766 | 101104 1953 96442 49.4 | 8.393 % | 4.74 c | 3219 | 170095 529757 | 111215 3089 122749 39.7 | 8.395 % | 5.12 c | 4927 | 170057 529673 | 122336 4795 150520 31.4 | 8.412 % | 6.78 c | 7489 | 169809 529036 | 134570 7339 272612 37.1 | 8.520 % | 8.94 c | 11333 | 169774 528922 | 148027 11165 456016 40.8 | 8.528 % | 12.35 c | 17099 | 169488 528261 | 162830 16886 687686 40.7 | 8.668 % | 17.02 c | 25748 | 169218 527515 | 179113 25457 1031122 40.5 | 8.783 % | 21.42 c | 38722 | 169056 527101 | 197024 38253 1718213 44.9 | 8.852 % | 33.33 c | 58183 | 168926 526747 | 216727 57690 2424258 42.0 | 8.894 % | 49.88 c | 87375 | 167684 523832 | 238399 86763 3897311 44.9 | 9.492 % | 75.64 c | 131164 | 166454 520644 | 262239 130329 6126643 47.0 | 10.028 % | 94.50 c ============================================================================== 94.50 c [1mFound solution: 262570[0m 94.50 o 262570 94.50 c ---[ 0]---> BDD-cost: 108 94.58 c ==================================[MINISAT+]================================== 94.58 c | Conflicts | Original | Learnt | Progress | 94.58 c | | Clauses Literals | Max Clauses Literals LPC | | 94.58 c ============================================================================== 94.58 c | 156752 | 165861 518999 | 55287 155733 7173365 46.1 | 10.028 % | 95.03 c | 156853 | 165861 518999 | 60815 22153 710569 32.1 | 10.349 % | 95.30 c | 157004 | 165730 518599 | 66897 22288 712036 31.9 | 10.393 % | 95.45 c | 157229 | 165730 518599 | 73586 22513 721781 32.1 | 10.393 % | 95.59 c | 157566 | 165730 518599 | 80945 22850 732476 32.1 | 10.393 % | 95.71 c | 158072 | 165730 518599 | 89040 23356 741594 31.8 | 10.393 % | 96.24 c | 158831 | 165712 518537 | 97944 24110 777168 32.2 | 10.396 % | 97.00 c | 159970 | 165624 518265 | 107738 25193 808493 32.1 | 10.426 % | 98.60 c | 161678 | 165359 517383 | 118512 26774 864795 32.3 | 10.499 % | 100.23 c | 164240 | 164969 516496 | 130363 29302 1031844 35.2 | 10.707 % | 103.09 c | 168084 | 164584 515321 | 143400 33013 1145638 34.7 | 10.850 % | 106.64 c | 173850 | 164484 514977 | 157740 38740 1315644 34.0 | 10.874 % | 117.05 c | 182499 | 164458 514887 | 173514 47382 1797241 37.9 | 10.881 % | 123.53 c | 195475 | 164321 514424 | 190865 60292 2328101 38.6 | 10.916 % | 136.15 c | 214936 | 164018 513432 | 209952 79451 3003176 37.8 | 11.005 % | 160.84 c | 244128 | 163732 512659 | 230947 108070 4486770 41.5 | 11.128 % | 213.01 c | 287917 | 163644 512428 | 254042 151811 6466446 42.6 | 11.172 % | 339.37 c | 353603 | 163570 512233 | 279446 217430 9373724 43.1 | 11.204 % | 448.99 c ============================================================================== 448.99 c [1mFound solution: 262569[0m 448.99 o 262569 448.99 c ---[ 0]---> BDD-cost: 33 449.12 c ==================================[MINISAT+]================================== 449.12 c | Conflicts | Original | Learnt | Progress | 449.12 c | | Clauses Literals | Max Clauses Literals LPC | | 449.12 c ============================================================================== 449.12 c | 400446 | 163540 512172 | 54513 264263 12599923 47.7 | 11.204 % | 450.53 c | 400549 | 163540 512172 | 59964 26979 1168789 43.3 | 11.253 % | 450.56 c | 400699 | 163540 512172 | 65960 27129 1170326 43.1 | 11.253 % | 450.76 c | 400925 | 163531 512141 | 72556 27351 1173409 42.9 | 11.255 % | 451.29 c | 401263 | 163522 512110 | 79812 27686 1183587 42.8 | 11.257 % | 451.68 c | 401770 | 163516 512090 | 87793 28191 1203229 42.7 | 11.258 % | 452.71 c | 402530 | 163516 512090 | 96573 28951 1239222 42.8 | 11.258 % | 454.39 c | 403671 | 163499 512031 | 106230 30087 1278525 42.5 | 11.263 % | 455.37 c | 405379 | 163079 510983 | 116853 31751 1347719 42.4 | 11.484 % | 457.38 c | 407941 | 163070 510952 | 128538 34308 1404183 40.9 | 11.485 % | 462.28 c | 411785 | 163050 510882 | 141392 38145 1614045 42.3 | 11.491 % | 471.32 c | 417552 | 162983 510728 | 155531 43909 1990313 45.3 | 11.526 % | 477.52 c | 426201 | 162983 510728 | 171085 52558 2423807 46.1 | 11.526 % | 481.12 c ============================================================================== 481.12 c [1mFound solution: 262562[0m 481.12 o 262562 481.12 c ---[ 0]---> BDD-cost: 21 481.16 c ==================================[MINISAT+]================================== 481.16 c | Conflicts | Original | Learnt | Progress | 481.16 c | | Clauses Literals | Max Clauses Literals LPC | | 481.16 c ============================================================================== 481.16 c | 436414 | 163004 510781 | 54334 62767 3266083 52.0 | 11.526 % | 481.38 c | 436516 | 162994 510758 | 59767 18443 944499 51.2 | 11.537 % | 481.52 c | 436666 | 162994 510758 | 65744 18593 946495 50.9 | 11.537 % | 481.73 c | 436893 | 162994 510758 | 72318 18820 952429 50.6 | 11.537 % | 481.93 c | 437231 | 162994 510758 | 79550 19158 959570 50.1 | 11.537 % | 482.21 c | 437737 | 162994 510758 | 87505 19664 968606 49.3 | 11.537 % | 482.54 c | 438496 | 162955 510670 | 96255 20420 978784 47.9 | 11.557 % | 483.02 c | 439635 | 162928 510577 | 105881 21545 992418 46.1 | 11.562 % | 484.30 c | 441344 | 162928 510577 | 116469 23254 1071972 46.1 | 11.562 % | 485.81 c | 443906 | 162922 510557 | 128116 25812 1172976 45.4 | 11.564 % | 487.43 c | 447750 | 162918 510548 | 140928 29655 1545926 52.1 | 11.565 % | 492.31 c | 453516 | 162918 510548 | 155021 35421 1787728 50.5 | 11.565 % | 500.33 c | 462166 | 162877 510417 | 170523 44059 2203361 50.0 | 11.575 % | 511.93 c | 475141 | 162842 510296 | 187575 57016 3037363 53.3 | 11.584 % | 529.35 c | 494602 | 162727 509895 | 206333 76433 4140505 54.2 | 11.612 % | 569.21 c | 523795 | 162698 509812 | 226966 105615 6956615 65.9 | 11.624 % | 641.02 c | 567585 | 162627 509647 | 249663 149396 9741126 65.2 | 11.660 % | 783.18 c | 633270 | 162566 509475 | 274629 215016 12169235 56.6 | 11.683 % | 1040.55 c | 731796 | 162556 509452 | 302092 51345 1734440 33.8 | 11.688 % | 1402.06 c | 879586 | 162532 509370 | 332301 199118 11189329 56.2 | 11.693 % | 1801.17 c 1801.17 c *** TERMINATED *** 1801.17 s SATISFIABLE 1801.17 v x4741 x4742 x4743 x4744 x4745 x4746 x4747 x4748 x4749 x4750 x4751 x4752 x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 x4760 1801.17 v x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1801.17 v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 1801.17 v -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x4772 x4773 -x4774 x4775 -x4776 -x4777 -x4778 -x4779 -x4810 -x4811 x4812 x4813 1801.17 v x4814 -x4815 x4816 -x4817 -x4818 -x4819 -x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4890 -x4891 1801.17 v -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 1801.17 v -x4939 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x5040 -x5041 -x5102 -x5103 -x5104 -x5135 1801.17 v -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 1801.17 v x5183 -x5184 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5255 -x5256 -x5257 -x5258 -x5259 1801.17 v -x5260 -x5261 -x5262 -x5263 x5264 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5335 -x5336 1801.17 v -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1801.17 v -x5384 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 1801.17 v -x5491 -x5492 -x5493 -x5494 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5565 -x5566 -x5567 1801.17 v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 x5612 -x5613 -x5614 1801.17 v -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 1801.17 v -x5692 -x5693 -x5694 -x5725 -x5726 -x5727 x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5765 -x5766 -x5767 -x5768 1801.17 v -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5845 1801.17 v -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 1801.17 v -x5923 -x5924 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5995 -x5996 -x5997 -x5998 -x5999 1801.17 v -x6000 -x6001 -x6002 -x6003 -x6004 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6075 -x6076 1801.17 v -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x5815 -x5816 1801.17 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 1801.17 v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 1801.17 v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 1801.17 v -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 1801.17 v -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 1801.17 v -x5952 -x5953 -x5954 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 1801.17 v -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x6005 1801.17 v -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 1801.17 v -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6045 -x6046 -x6047 -x6048 -x6049 1801.17 v -x6050 -x6051 x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 1801.17 v -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 1801.17 v -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 1801.17 v -x6111 -x6112 -x6113 -x6114 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 1801.17 v -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 1801.17 v -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 1801.17 v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 1801.17 v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 1801.17 v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 1801.17 v -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 1801.17 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 1801.17 v -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 1801.17 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 1801.17 v -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 1801.17 v -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 1801.17 v -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 1801.17 v -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 1801.17 v -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 1801.17 v -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 1801.17 v -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 1801.17 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 1801.17 v -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 1801.17 v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 1801.17 v -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 1801.17 v -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 1801.17 v -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 1801.17 v -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 1801.17 v -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6602 1801.17 v -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 1801.17 v -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 1801.17 v -x6637 -x6638 x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 1801.17 v -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 1801.17 v -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 1801.17 v -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 1801.17 v -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 1801.17 v -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 1801.17 v -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 1801.17 v -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 1801.17 v -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 1801.17 v -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 1801.17 v -x6807 -x6808 -x6809 -x6810 -x6811 x6812 x6813 -x6814 -x6815 -x6816 -x6817 x6818 -x6819 -x6820 -x6821 -x6822 x6823 -x6824 1801.17 v -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 1801.17 v -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 1801.17 v -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 1801.17 v -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 1801.17 v -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 1801.17 v -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 1801.17 v -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 1801.17 v -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 1801.17 v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 1801.17 v -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 1801.17 v -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 1801.17 v -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 1801.17 v -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 1801.17 v -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 1801.17 v -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 1801.17 v -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 1801.17 v -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 1801.17 v -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 1801.17 v -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 1801.17 v -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 1801.17 v -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 1801.17 v -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 1801.17 v -x7229 -x7230 -x7231 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 1801.17 v -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 1801.17 v -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 1801.17 v -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 1801.17 v -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 1801.17 v -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 1801.17 v -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 1801.17 v -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 1801.17 v -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 1801.17 v -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 1801.17 v -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 1801.17 v -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 1801.17 v -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 1801.17 v -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 1801.17 v -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 1801.17 v -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 1801.17 v -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 1801.17 v -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x61 -x62 -x63 -x64 -x65 1801.17 v -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 1801.17 v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 1801.17 v -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 1801.17 v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1801.17 v -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 1801.17 v -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 1801.17 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 1801.17 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 1801.17 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 1801.17 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 1801.17 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 1801.17 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 1801.17 v -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1801.17 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 1801.17 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 1801.17 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 1801.17 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 1801.17 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 1801.17 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1801.17 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 1801.17 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 1801.17 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 1801.17 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 1801.17 v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 1801.17 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 1801.17 v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 1801.17 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 1801.17 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 1801.17 v -x690 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1801.17 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1801.17 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1801.17 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1801.17 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1801.17 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1801.17 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1801.17 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1801.17 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1801.17 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1801.17 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1801.17 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1801.17 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1801.17 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1801.17 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1801.17 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1801.17 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1801.17 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1801.17 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1801.17 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1801.17 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1801.17 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1801.17 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1801.17 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1801.17 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1801.17 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1801.17 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 1801.17 v x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1801.17 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1801.17 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1801.17 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1801.17 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1801.17 v -x1348 -x1349 -x1350 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 1801.17 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1801.17 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 1801.17 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 1801.17 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 1801.17 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 1801.17 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 1801.17 v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 1801.17 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 1801.17 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 1801.17 v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 1801.17 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 1801.17 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1801.17 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1801.17 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1801.17 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1801.17 v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 1801.17 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 1801.17 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1801.17 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1801.17 v -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 1801.17 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1801.17 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1801.17 v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1801.17 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1801.17 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1801.17 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1801.17 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1801.17 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1801.17 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1801.17 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 1801.17 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1801.17 v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1801.17 v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1801.17 v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 1801.17 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1801.17 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1801.17 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1801.17 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1801.17 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1801.17 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 1801.17 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1801.17 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1801.17 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1801.17 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1801.17 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1801.17 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1801.17 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1801.17 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1801.17 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1801.17 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1801.17 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 1801.17 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1801.17 v -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1801.17 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1801.17 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1801.17 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1801.17 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1801.17 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1801.17 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1801.17 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1801.17 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1801.17 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1801.17 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1801.17 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1801.17 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1801.17 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1801.17 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1801.17 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1801.17 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1801.17 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 1801.17 v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 1801.17 v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 1801.17 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1801.17 v -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 1801.17 v -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 1801.17 v -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 1801.17 v -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 1801.17 v -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 1801.17 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 1801.17 v -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 1801.17 v -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 1801.17 v -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 1801.17 v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 1801.17 v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 1801.17 v -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 1801.17 v -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 1801.17 v -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 1801.17 v -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 1801.17 v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 1801.17 v -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 1801.17 v -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 1801.17 v -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 1801.17 v -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 1801.17 v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 1801.17 v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 1801.17 v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 1801.17 v -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 1801.17 v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 1801.17 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 1801.17 v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 1801.17 v -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 1801.17 v -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 1801.17 v -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 1801.17 v -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 1801.17 v -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 1801.17 v -x3330 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 1801.17 v -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 1801.17 v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 1801.17 v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 1801.17 v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 1801.17 v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 1801.17 v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 1801.17 v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 1801.17 v -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 1801.17 v -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 1801.17 v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 1801.17 v -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 1801.17 v -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 1801.17 v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 1801.17 v -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 1801.17 v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 1801.17 v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 1801.17 v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3721 -x3722 -x3723 -x3724 -x3725 1801.17 v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 1801.17 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 1801.17 v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 1801.17 v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1801.17 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1801.17 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1801.17 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1801.17 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1801.17 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 1801.17 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1801.17 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 1801.17 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1801.17 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 1801.17 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1801.17 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1801.17 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1801.17 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 1801.17 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 1801.17 v -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 1801.17 v -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 1801.17 v -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 1801.17 v -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 1801.17 v -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 1801.17 v -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 1801.17 v -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 1801.17 v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 1801.17 v -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 1801.17 v -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 1801.17 v -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 1801.17 v -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 1801.17 v -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 1801.17 v -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 1801.17 v -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 1801.17 v -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 1801.17 v -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 1801.17 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 1801.17 v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 1801.17 v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 1801.17 v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 1801.17 v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 1801.17 v -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 1801.17 v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 1801.17 v -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 1801.17 v -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 1801.17 v -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 1801.17 v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 1801.17 v -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 1801.17 v -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 1801.17 v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1801.17 v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1801.17 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 1801.17 v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1801.17 v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 1801.17 v -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 1801.17 v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 1801.17 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 1801.17 v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 1801.17 v -x3717 -x3718 -x3719 -x3720 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 1801.17 v -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 1801.17 v -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 1801.17 v -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x3331 -x3332 x3333 -x3334 1801.17 v -x3335 -x3336 -x3337 -x3338 x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 1801.17 v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 1801.17 v -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 1801.17 v -x4046 -x4047 -x4048 -x4049 -x4050 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 1801.17 v -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 1801.17 v -x5334 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 1801.17 v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x4980 -x4981 -x4982 1801.17 v -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 1801.17 v -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 1801.17 v -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 1801.17 v -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 1801.17 v -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 1801.17 v -x5373 -x5374 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 1801.17 v -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5425 -x5426 1801.17 v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 1801.17 v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 1801.17 v -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 1801.17 v -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 1801.17 v -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 1801.17 v -x5412 -x5413 -x5414 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 1801.17 v -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x4780 1801.17 v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 1801.17 v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x5455 -x5456 -x5457 -x5458 -x5459 1801.17 v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 1801.17 v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 1801.17 v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 1801.17 v -x6268 -x6269 -x6270 -x6271 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 1801.17 v -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 1801.17 v -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 1801.17 v -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5495 -x5496 -x5497 -x5498 1801.17 v -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 1801.17 v -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 1801.17 v -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 1801.17 v -x6597 -x6598 -x6599 -x6600 -x6601 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 1801.17 v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 1801.17 v -x4889 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 1801.17 v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5535 -x5536 -x5537 1801.17 v -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 1801.17 v -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 1801.17 v -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 1801.17 v -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 1801.17 v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 1801.17 v -x4928 -x4929 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 1801.17 v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5575 -x5576 1801.17 v -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 1801.17 v -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 1801.17 v -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 1801.17 v -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 1801.17 v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1801.17 v -x4967 -x4968 -x4969 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 1801.17 v -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5615 1801.17 v -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 1801.17 v -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 1801.17 v -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x5010 -x5011 -x5012 1801.17 v -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 1801.17 v -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 1801.17 v -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 1801.17 v -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 1801.17 v -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 1801.17 v -x5683 -x5684 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1801.17 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 1801.17 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1801.17 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x691 x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 1801.17 v -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x2341 -x2342 -x2343 -x2344 1801.17 v -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1801.17 v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1801.17 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1801.17 v -x1046 -x1047 -x1048 -x1049 -x1050 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 1801.17 v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 1801.17 v -x2700 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1801.17 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x3001 -x3002 -x3003 1801.17 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1801.17 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 1801.17 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1801.17 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 -x3370 -x3371 1801.17 v x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 1801.17 v -x3389 -x3390
OK 262562
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-35152-1149358188 -o ROOT/results/node55/solver-35152-1149358188 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node55/35152-1149358188/instance-35152-1149358188.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 8557 /proc/meminfo: memFree=1627072/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=1048 CPUtime=0 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 96 0 0 0 0 0 0 0 19 0 1 0 201486389 1073152 81 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 262 85 71 215 0 44 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1608968/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=20172 CPUtime=9.98 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 4880 0 0 0 995 3 0 0 25 0 1 0 201486389 20656128 4646 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 5043 4646 124 215 0 4825 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 20172 [startup+20.0088 s] /proc/loadavg: 0.94 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1604296/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=24748 CPUtime=19.99 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 6047 0 0 0 1995 4 0 0 25 0 1 0 201486389 25341952 5813 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 6187 5813 124 215 0 5969 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 24748 [startup+30.0148 s] /proc/loadavg: 0.95 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1600264/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=28888 CPUtime=29.99 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 7076 0 0 0 2994 5 0 0 25 0 1 0 201486389 29581312 6842 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580355 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 7222 6842 124 215 0 7004 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 28888 [startup+40.0208 s] /proc/loadavg: 0.96 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1597256/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=31892 CPUtime=39.99 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 7816 0 0 0 3992 7 0 0 25 0 1 0 201486389 32657408 7582 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 7973 7582 124 215 0 7755 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 31892 [startup+50.0268 s] /proc/loadavg: 0.96 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1592584/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=36632 CPUtime=49.99 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 8998 0 0 0 4991 8 0 0 25 0 1 0 201486389 37511168 8764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 9158 8764 124 215 0 8940 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 36632 [startup+60.0328 s] /proc/loadavg: 0.97 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1590024/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=39308 CPUtime=60 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 9647 0 0 0 5991 9 0 0 25 0 1 0 201486389 40251392 9413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 9827 9413 124 215 0 9609 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 39308 [startup+70.0388 s] /proc/loadavg: 0.97 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1585544/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=43660 CPUtime=70 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 10753 0 0 0 6990 10 0 0 25 0 1 0 201486389 44707840 10519 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 10915 10519 124 215 0 10697 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 43660 [startup+80.0449 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1580872/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=48256 CPUtime=80.01 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 11917 0 0 0 7990 11 0 0 25 0 1 0 201486389 49414144 11683 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 12064 11683 124 215 0 11846 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 48256 [startup+90.0509 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1579016/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=50372 CPUtime=90.01 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 12385 0 0 0 8990 11 0 0 25 0 1 0 201486389 51580928 12151 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 12593 12151 124 215 0 12375 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 50372 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576456/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=100.01 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 9990 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580214 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 52708 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576456/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=110.01 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 10990 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 52708 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576456/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=120.01 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 11990 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 52708 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576520/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=130.02 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 12991 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 52708 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576520/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=140.02 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 13991 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 52708 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576520/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=150.02 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 14991 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 52708 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576520/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=160.03 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 15992 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573987 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 52708 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576520/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=170.03 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 16992 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 52708 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576520/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=180.03 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 17992 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 52708 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576520/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=190.04 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 18993 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 52708 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576520/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=52708 CPUtime=200.04 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 13010 0 0 0 19993 11 0 0 25 0 1 0 201486389 53972992 12776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 13177 12776 124 215 0 12959 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 52708 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8557 /proc/meminfo: memFree=1576456/2055920 swapFree=4181444/4192956 ################ # More data... # ################ [pid=8557] ppid=8555 vsize=112080 CPUtime=1781.61 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27747 0 0 0 178129 32 0 0 25 0 1 0 201486389 114769920 27513 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28020 27513 124 215 0 27802 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 112080 [startup+1783.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1517192/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=112208 CPUtime=1782.61 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27769 0 0 0 178229 32 0 0 25 0 1 0 201486389 114900992 27535 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28052 27535 124 215 0 27834 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 112208 [startup+1784.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1517128/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=112336 CPUtime=1783.62 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27797 0 0 0 178330 32 0 0 25 0 1 0 201486389 115032064 27563 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28084 27563 124 215 0 27866 0 Current children cumulated CPU time (s) 1783.62 Current children cumulated vsize (Kb) 112336 [startup+1785.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1517000/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=112468 CPUtime=1784.62 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27822 0 0 0 178430 32 0 0 25 0 1 0 201486389 115167232 27588 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28117 27588 124 215 0 27899 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 112468 [startup+1786.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1516936/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=112468 CPUtime=1785.62 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27843 0 0 0 178530 32 0 0 25 0 1 0 201486389 115167232 27609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28117 27609 124 215 0 27899 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 112468 [startup+1787.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1516808/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=112596 CPUtime=1786.63 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27869 0 0 0 178631 32 0 0 25 0 1 0 201486389 115298304 27635 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28149 27635 124 215 0 27931 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 112596 [startup+1788.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1516744/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=112728 CPUtime=1787.63 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27892 0 0 0 178731 32 0 0 25 0 1 0 201486389 115433472 27658 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28182 27658 124 215 0 27964 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 112728 [startup+1789.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1516616/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=112728 CPUtime=1788.64 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27914 0 0 0 178832 32 0 0 25 0 1 0 201486389 115433472 27680 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28182 27680 124 215 0 27964 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 112728 [startup+1790.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1516488/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=112856 CPUtime=1789.64 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27944 0 0 0 178932 32 0 0 25 0 1 0 201486389 115564544 27710 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28214 27710 124 215 0 27996 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 112856 [startup+1791.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1516424/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=112988 CPUtime=1790.65 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27970 0 0 0 179033 32 0 0 25 0 1 0 201486389 115699712 27736 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28247 27736 124 215 0 28029 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 112988 [startup+1792.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1516296/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113116 CPUtime=1791.65 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 27996 0 0 0 179133 32 0 0 25 0 1 0 201486389 115830784 27762 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28279 27762 124 215 0 28061 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 113116 [startup+1793.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1516168/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113244 CPUtime=1792.66 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 28024 0 0 0 179234 32 0 0 25 0 1 0 201486389 115961856 27790 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28311 27790 124 215 0 28093 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 113244 [startup+1794.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1516104/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113244 CPUtime=1793.66 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 28044 0 0 0 179334 32 0 0 25 0 1 0 201486389 115961856 27810 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28311 27810 124 215 0 28093 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 113244 [startup+1795.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1515976/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113376 CPUtime=1794.66 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 28069 0 0 0 179434 32 0 0 25 0 1 0 201486389 116097024 27835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28344 27835 124 215 0 28126 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 113376 [startup+1796.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1515912/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113508 CPUtime=1795.67 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 28094 0 0 0 179535 32 0 0 25 0 1 0 201486389 116232192 27860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28377 27860 124 215 0 28159 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 113508 [startup+1797.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1515784/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113640 CPUtime=1796.67 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 28119 0 0 0 179635 32 0 0 25 0 1 0 201486389 116367360 27885 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28410 27885 124 215 0 28192 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 113640 [startup+1798.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1515720/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113640 CPUtime=1797.68 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 28142 0 0 0 179736 32 0 0 25 0 1 0 201486389 116367360 27908 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28410 27908 124 215 0 28192 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 113640 [startup+1799.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1515592/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113768 CPUtime=1798.68 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 28163 0 0 0 179836 32 0 0 25 0 1 0 201486389 116498432 27929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28442 27929 124 215 0 28224 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 113768 [startup+1800.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1515528/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113900 CPUtime=1799.68 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 28187 0 0 0 179936 32 0 0 25 0 1 0 201486389 116633600 27953 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28475 27953 124 215 0 28257 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 113900 [startup+1801.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1515400/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113900 CPUtime=1800.7 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 28211 0 0 0 180037 33 0 0 25 0 1 0 201486389 116633600 27977 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28475 27977 124 215 0 28257 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 113900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8559 /proc/meminfo: memFree=1515400/2055920 swapFree=4181444/4192956 [pid=8557] ppid=8555 vsize=113900 CPUtime=1800.7 /proc/8557/stat : 8557 (minisat+) R 8555 8557 8511 0 -1 4194304 28211 0 0 0 180037 33 0 0 25 0 1 0 201486389 116633600 27977 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8557/statm: 28475 27977 124 215 0 28257 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 113900 Sending SIGTERM to -8557 Sleeping 2 seconds Child status: 10 Real time (s): 1801.2 CPU time (s): 1800.73 CPU user time (s): 1800.38 CPU system time (s): 0.348946 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (Kb): 113900
Begin job on node55 on Sat Jun 3 18:09:48 UTC 2006 FILE ID= 35152-1149358188 PBS_JOBID= 311362 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rout.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node55/35152-1149358188/instance-35152-1149358188.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-35152-1149358188 -o ROOT/results/node55/solver-35152-1149358188 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node55/35152-1149358188/instance-35152-1149358188.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 485ca531ffda98d59a839bf46c37d61d RANDOM SEED= 812419690 /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.243 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.243 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1627280 kB Buffers: 27672 kB Cached: 331704 kB SwapCached: 3336 kB Active: 60952 kB Inactive: 307240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1627280 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14944 kB Slab: 46516 kB Committed_AS: 351660 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node55 on Sat Jun 3 18:39:49 UTC 2006