Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 39438098 | 1800.66 | 1801.24 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb |
MD5SUM | 291088d217a1998c91be99350439e903 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6185984 |
Best CPU time to get the best result obtained on this benchmark | 1801.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5965824 |
Optimality of the best value was proved | NO |
Number of variables | 7812 |
Total number of constraints | 285 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 285 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1543007621731 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1543007621731 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 0.35 c Converting 318 PB-constraints to clauses... 0.36 c -- Unit propagations: (none) 0.62 c -- Detecting intervals from adjacent constraints: ################################# 0.63 c -- Clauses(.)/Splits(s): (none) 0.63 c ---[ 316]---> Adder-cost: 548 maxlim: 356331 bits: 19/19 0.67 c ---[ 314]---> Adder-cost: 548 maxlim: 361451 bits: 19/19 0.72 c ---[ 312]---> Adder-cost: 554 maxlim: 446443 bits: 19/19 0.76 c ---[ 310]---> Adder-cost: 548 maxlim: 355307 bits: 19/19 0.80 c ---[ 308]---> Adder-cost: 548 maxlim: 349163 bits: 19/19 0.84 c ---[ 306]---> Adder-cost: 548 maxlim: 350187 bits: 19/19 0.89 c ---[ 304]---> Adder-cost: 548 maxlim: 354283 bits: 19/19 0.93 c ---[ 302]---> Adder-cost: 532 maxlim: 235499 bits: 18/18 0.97 c ---[ 300]---> Adder-cost: 548 maxlim: 357355 bits: 19/19 1.01 c ---[ 298]---> Adder-cost: 548 maxlim: 360427 bits: 19/19 1.06 c ---[ 296]---> Adder-cost: 554 maxlim: 414699 bits: 19/19 1.10 c ---[ 294]---> Adder-cost: 532 maxlim: 236523 bits: 18/18 1.14 c ---[ 292]---> Adder-cost: 264 maxlim: 47092 bits: 16/16 1.16 c ---[ 290]---> Adder-cost: 308 maxlim: 188404 bits: 18/18 1.18 c ---[ 288]---> Adder-cost: 264 maxlim: 46068 bits: 16/16 1.20 c ---[ 286]---> Adder-cost: 328 maxlim: 338932 bits: 19/19 1.23 c ---[ 284]---> Adder-cost: 264 maxlim: 47092 bits: 16/16 1.25 c ---[ 282]---> Adder-cost: 328 maxlim: 330740 bits: 19/19 1.28 c ---[ 280]---> Adder-cost: 286 maxlim: 93172 bits: 17/17 1.30 c ---[ 278]---> Adder-cost: 332 maxlim: 374772 bits: 19/19 1.33 c ---[ 276]---> Adder-cost: 308 maxlim: 187380 bits: 18/18 1.35 c ---[ 274]---> Adder-cost: 286 maxlim: 91124 bits: 17/17 1.37 c ---[ 272]---> Adder-cost: 328 maxlim: 332788 bits: 19/19 1.40 c ---[ 270]---> Adder-cost: 286 maxlim: 91124 bits: 17/17 1.42 c ---[ 268]---> Adder-cost: 264 maxlim: 47092 bits: 16/16 1.44 c ---[ 266]---> Adder-cost: 328 maxlim: 332788 bits: 19/19 1.47 c ---[ 264]---> Adder-cost: 264 maxlim: 46068 bits: 16/16 1.49 c ---[ 262]---> Adder-cost: 328 maxlim: 340980 bits: 19/19 1.51 c ---[ 260]---> Adder-cost: 286 maxlim: 93172 bits: 17/17 1.53 c ---[ 258]---> Adder-cost: 308 maxlim: 181236 bits: 18/18 1.56 c ---[ 256]---> Adder-cost: 332 maxlim: 387060 bits: 19/19 1.59 c ---[ 254]---> Adder-cost: 332 maxlim: 393204 bits: 19/19 1.62 c ---[ 252]---> Adder-cost: 308 maxlim: 187380 bits: 18/18 1.64 c ---[ 251]---> BDD-cost: 13 1.64 c ---[ 250]---> BDD-cost: 15 1.64 c ---[ 249]---> BDD-cost: 14 1.64 c ---[ 248]---> BDD-cost: 18 1.64 c ---[ 247]---> BDD-cost: 16 1.64 c ---[ 246]---> BDD-cost: 19 1.64 c ---[ 245]---> BDD-cost: 16 1.64 c ---[ 244]---> BDD-cost: 19 1.64 c ---[ 243]---> BDD-cost: 13 1.64 c ---[ 242]---> BDD-cost: 15 1.64 c ---[ 241]---> BDD-cost: 13 1.64 c ---[ 240]---> BDD-cost: 14 1.64 c ---[ 239]---> BDD-cost: 17 1.64 c ---[ 238]---> BDD-cost: 20 1.65 c ---[ 237]---> BDD-cost: 16 1.65 c ---[ 236]---> BDD-cost: 17 1.65 c ---[ 235]---> BDD-cost: 17 1.65 c ---[ 234]---> BDD-cost: 17 1.65 c ---[ 233]---> BDD-cost: 18 1.65 c ---[ 232]---> BDD-cost: 14 1.65 c ---[ 231]---> BDD-cost: 17 1.65 c ---[ 230]---> BDD-cost: 13 1.65 c ---[ 229]---> BDD-cost: 17 1.65 c ---[ 228]---> BDD-cost: 16 1.65 c ---[ 227]---> BDD-cost: 13 1.65 c ---[ 226]---> BDD-cost: 17 1.65 c ---[ 225]---> BDD-cost: 18 1.65 c ---[ 224]---> BDD-cost: 16 1.65 c ---[ 223]---> BDD-cost: 17 1.65 c ---[ 222]---> BDD-cost: 16 1.65 c ---[ 221]---> BDD-cost: 17 1.65 c ---[ 220]---> BDD-cost: 13 1.65 c ---[ 219]---> BDD-cost: 15 1.65 c ---[ 218]---> BDD-cost: 13 1.65 c ---[ 217]---> BDD-cost: 14 1.65 c ---[ 216]---> BDD-cost: 17 1.65 c ---[ 215]---> BDD-cost: 20 1.65 c ---[ 214]---> BDD-cost: 16 1.65 c ---[ 213]---> BDD-cost: 18 1.65 c ---[ 212]---> BDD-cost: 20 1.65 c ---[ 211]---> BDD-cost: 20 1.65 c ---[ 210]---> BDD-cost: 18 1.65 c ---[ 209]---> BDD-cost: 14 1.65 c ---[ 208]---> BDD-cost: 20 1.65 c ---[ 207]---> BDD-cost: 13 1.65 c ---[ 206]---> BDD-cost: 20 1.65 c ---[ 205]---> BDD-cost: 16 1.65 c ---[ 204]---> BDD-cost: 16 1.65 c ---[ 203]---> BDD-cost: 20 1.65 c ---[ 202]---> BDD-cost: 18 1.65 c ---[ 201]---> BDD-cost: 16 1.65 c ---[ 200]---> BDD-cost: 20 1.65 c ---[ 199]---> BDD-cost: 16 1.65 c ---[ 198]---> BDD-cost: 20 1.65 c ---[ 197]---> BDD-cost: 13 1.65 c ---[ 196]---> BDD-cost: 15 1.65 c ---[ 195]---> BDD-cost: 13 1.65 c ---[ 194]---> BDD-cost: 17 1.66 c ---[ 193]---> BDD-cost: 14 1.66 c ---[ 192]---> BDD-cost: 20 1.66 c ---[ 191]---> BDD-cost: 16 1.66 c ---[ 190]---> BDD-cost: 18 1.66 c ---[ 189]---> BDD-cost: 18 1.66 c ---[ 188]---> BDD-cost: 18 1.66 c ---[ 187]---> BDD-cost: 18 1.66 c ---[ 186]---> BDD-cost: 14 1.66 c ---[ 185]---> BDD-cost: 18 1.66 c ---[ 184]---> BDD-cost: 13 1.66 c ---[ 183]---> BDD-cost: 18 1.66 c ---[ 182]---> BDD-cost: 18 1.66 c ---[ 181]---> BDD-cost: 16 1.66 c ---[ 180]---> BDD-cost: 18 1.66 c ---[ 179]---> BDD-cost: 18 1.66 c ---[ 178]---> BDD-cost: 16 1.66 c ---[ 177]---> BDD-cost: 18 1.66 c ---[ 176]---> BDD-cost: 16 1.66 c ---[ 175]---> BDD-cost: 18 1.66 c ---[ 174]---> BDD-cost: 13 1.66 c ---[ 173]---> BDD-cost: 15 1.66 c ---[ 172]---> BDD-cost: 16 1.66 c ---[ 171]---> BDD-cost: 13 1.66 c ---[ 170]---> BDD-cost: 14 1.66 c ---[ 169]---> BDD-cost: 20 1.66 c ---[ 168]---> BDD-cost: 16 1.66 c ---[ 167]---> BDD-cost: 18 1.66 c ---[ 166]---> BDD-cost: 21 1.66 c ---[ 165]---> BDD-cost: 17 1.66 c ---[ 164]---> BDD-cost: 18 1.66 c ---[ 163]---> BDD-cost: 14 1.66 c ---[ 162]---> BDD-cost: 20 1.66 c ---[ 161]---> BDD-cost: 17 1.66 c ---[ 160]---> BDD-cost: 13 1.66 c ---[ 159]---> BDD-cost: 20 1.66 c ---[ 158]---> BDD-cost: 16 1.66 c ---[ 157]---> BDD-cost: 21 1.66 c ---[ 156]---> BDD-cost: 18 1.66 c ---[ 155]---> BDD-cost: 16 1.66 c ---[ 154]---> BDD-cost: 20 1.66 c ---[ 153]---> BDD-cost: 16 1.66 c ---[ 152]---> BDD-cost: 20 1.66 c ---[ 151]---> BDD-cost: 13 1.66 c ---[ 150]---> BDD-cost: 16 1.67 c ---[ 149]---> BDD-cost: 15 1.67 c ---[ 148]---> BDD-cost: 13 1.67 c ---[ 147]---> BDD-cost: 14 1.67 c ---[ 146]---> BDD-cost: 18 1.67 c ---[ 145]---> BDD-cost: 16 1.67 c ---[ 144]---> BDD-cost: 18 1.67 c ---[ 143]---> BDD-cost: 18 1.67 c ---[ 142]---> BDD-cost: 18 1.67 c ---[ 141]---> BDD-cost: 18 1.67 c ---[ 140]---> BDD-cost: 14 1.67 c ---[ 139]---> BDD-cost: 13 1.67 c ---[ 138]---> BDD-cost: 17 1.67 c ---[ 137]---> BDD-cost: 18 1.67 c ---[ 136]---> BDD-cost: 13 1.67 c ---[ 135]---> BDD-cost: 18 1.67 c ---[ 134]---> BDD-cost: 16 1.67 c ---[ 133]---> BDD-cost: 18 1.67 c ---[ 132]---> BDD-cost: 18 1.67 c ---[ 131]---> BDD-cost: 16 1.67 c ---[ 130]---> BDD-cost: 18 1.67 c ---[ 129]---> BDD-cost: 16 1.67 c ---[ 128]---> BDD-cost: 18 1.67 c ---[ 127]---> BDD-cost: 13 1.67 c ---[ 126]---> BDD-cost: 13 1.67 c ---[ 125]---> BDD-cost: 15 1.67 c ---[ 124]---> BDD-cost: 13 1.67 c ---[ 123]---> BDD-cost: 14 1.67 c ---[ 122]---> BDD-cost: 20 1.67 c ---[ 121]---> BDD-cost: 16 1.67 c ---[ 120]---> BDD-cost: 18 1.67 c ---[ 119]---> BDD-cost: 17 1.67 c ---[ 118]---> BDD-cost: 17 1.67 c ---[ 117]---> BDD-cost: 18 1.67 c ---[ 116]---> BDD-cost: 15 1.67 c ---[ 115]---> BDD-cost: 14 1.67 c ---[ 114]---> BDD-cost: 20 1.67 c ---[ 113]---> BDD-cost: 13 1.67 c ---[ 112]---> BDD-cost: 20 1.67 c ---[ 111]---> BDD-cost: 16 1.67 c ---[ 110]---> BDD-cost: 17 1.67 c ---[ 109]---> BDD-cost: 18 1.67 c ---[ 108]---> BDD-cost: 16 1.67 c ---[ 107]---> BDD-cost: 20 1.67 c ---[ 106]---> BDD-cost: 16 1.68 c ---[ 105]---> BDD-cost: 13 1.68 c ---[ 104]---> BDD-cost: 20 1.68 c ---[ 103]---> BDD-cost: 13 1.68 c ---[ 102]---> BDD-cost: 15 1.68 c ---[ 101]---> BDD-cost: 13 1.68 c ---[ 100]---> BDD-cost: 14 1.68 c ---[ 99]---> BDD-cost: 20 1.68 c ---[ 98]---> BDD-cost: 16 1.68 c ---[ 97]---> BDD-cost: 18 1.68 c ---[ 96]---> BDD-cost: 20 1.68 c ---[ 95]---> BDD-cost: 20 1.68 c ---[ 94]---> BDD-cost: 14 1.68 c ---[ 93]---> BDD-cost: 18 1.68 c ---[ 92]---> BDD-cost: 14 1.68 c ---[ 91]---> BDD-cost: 20 1.68 c ---[ 90]---> BDD-cost: 13 1.68 c ---[ 89]---> BDD-cost: 20 1.68 c ---[ 88]---> BDD-cost: 16 1.68 c ---[ 87]---> BDD-cost: 20 1.68 c ---[ 86]---> BDD-cost: 18 1.68 c ---[ 85]---> BDD-cost: 16 1.68 c ---[ 84]---> BDD-cost: 20 1.68 c ---[ 83]---> BDD-cost: 20 1.68 c ---[ 82]---> BDD-cost: 16 1.68 c ---[ 81]---> BDD-cost: 20 1.68 c ---[ 80]---> BDD-cost: 16 1.68 c ---[ 79]---> BDD-cost: 18 1.68 c ---[ 78]---> BDD-cost: 20 1.68 c ---[ 77]---> BDD-cost: 20 1.68 c ---[ 76]---> BDD-cost: 14 1.68 c ---[ 75]---> BDD-cost: 18 1.68 c ---[ 74]---> BDD-cost: 14 1.68 c ---[ 73]---> BDD-cost: 20 1.68 c ---[ 72]---> BDD-cost: 13 1.68 c ---[ 71]---> BDD-cost: 20 1.68 c ---[ 70]---> BDD-cost: 16 1.68 c ---[ 69]---> BDD-cost: 20 1.68 c ---[ 68]---> BDD-cost: 18 1.68 c ---[ 67]---> BDD-cost: 16 1.68 c ---[ 66]---> BDD-cost: 20 1.68 c ---[ 65]---> BDD-cost: 20 1.68 c ---[ 64]---> BDD-cost: 16 1.68 c ---[ 63]---> BDD-cost: 20 1.69 c ---[ 62]---> BDD-cost: 13 1.69 c ---[ 61]---> BDD-cost: 15 1.69 c ---[ 60]---> BDD-cost: 13 1.69 c ---[ 59]---> BDD-cost: 14 1.69 c ---[ 58]---> BDD-cost: 20 1.69 c ---[ 57]---> BDD-cost: 16 1.69 c ---[ 56]---> BDD-cost: 18 1.69 c ---[ 55]---> BDD-cost: 20 1.69 c ---[ 54]---> BDD-cost: 16 1.69 c ---[ 53]---> BDD-cost: 20 1.69 c ---[ 52]---> BDD-cost: 18 1.69 c ---[ 51]---> BDD-cost: 14 1.69 c ---[ 50]---> BDD-cost: 20 1.69 c ---[ 49]---> BDD-cost: 13 1.69 c ---[ 48]---> BDD-cost: 20 1.69 c ---[ 47]---> BDD-cost: 16 1.69 c ---[ 46]---> BDD-cost: 20 1.69 c ---[ 45]---> BDD-cost: 18 1.69 c ---[ 44]---> BDD-cost: 16 1.69 c ---[ 43]---> BDD-cost: 18 1.69 c ---[ 42]---> BDD-cost: 20 1.69 c ---[ 41]---> BDD-cost: 16 1.69 c ---[ 40]---> BDD-cost: 20 1.69 c ---[ 39]---> BDD-cost: 13 1.69 c ---[ 38]---> BDD-cost: 15 1.69 c ---[ 37]---> BDD-cost: 13 1.69 c ---[ 36]---> BDD-cost: 14 1.69 c ---[ 35]---> BDD-cost: 20 1.69 c ---[ 34]---> BDD-cost: 16 1.69 c ---[ 33]---> BDD-cost: 18 1.69 c ---[ 32]---> BDD-cost: 17 1.69 c ---[ 31]---> BDD-cost: 19 1.69 c ---[ 30]---> BDD-cost: 19 1.69 c ---[ 29]---> BDD-cost: 18 1.69 c ---[ 28]---> BDD-cost: 14 1.69 c ---[ 27]---> BDD-cost: 20 1.69 c ---[ 26]---> BDD-cost: 13 1.69 c ---[ 25]---> BDD-cost: 20 1.69 c ---[ 24]---> BDD-cost: 16 1.69 c ---[ 23]---> BDD-cost: 19 1.69 c ---[ 22]---> BDD-cost: 18 1.69 c ---[ 21]---> BDD-cost: 17 1.69 c ---[ 20]---> BDD-cost: 16 1.69 c ---[ 19]---> BDD-cost: 20 1.70 c ---[ 18]---> BDD-cost: 16 1.70 c ---[ 17]---> BDD-cost: 20 1.70 c ---[ 16]---> BDD-cost: 13 1.70 c ---[ 15]---> BDD-cost: 15 1.70 c ---[ 14]---> BDD-cost: 13 1.70 c ---[ 13]---> BDD-cost: 14 1.70 c ---[ 12]---> BDD-cost: 20 1.70 c ---[ 11]---> BDD-cost: 16 1.70 c ---[ 10]---> BDD-cost: 18 1.70 c ---[ 9]---> BDD-cost: 18 1.70 c ---[ 8]---> BDD-cost: 19 1.70 c ---[ 7]---> BDD-cost: 19 1.70 c ---[ 6]---> BDD-cost: 18 1.70 c ---[ 5]---> BDD-cost: 14 1.70 c ---[ 4]---> BDD-cost: 20 1.70 c ---[ 3]---> BDD-cost: 13 1.70 c ---[ 2]---> BDD-cost: 19 1.70 c ---[ 1]---> BDD-cost: 16 1.70 c ---[ 0]---> BDD-cost: 19 1.77 c ==================================[MINISAT+]================================== 1.77 c | Conflicts | Original | Learnt | Progress | 1.77 c | | Clauses Literals | Max Clauses Literals LPC | | 1.77 c ============================================================================== 1.77 c | 0 | 92041 320785 | 30680 0 0 nan | 0.000 % | 1.79 c | 100 | 92016 320696 | 33748 96 285 3.0 | 24.788 % | 1.88 c | 250 | 91833 320071 | 37122 228 748 3.3 | 24.935 % | 1.96 c | 475 | 91732 319720 | 40835 442 1453 3.3 | 25.010 % | 2.19 c | 812 | 91523 318995 | 44918 751 2422 3.2 | 25.170 % | 2.57 c | 1319 | 91292 318194 | 49410 1228 3919 3.2 | 25.343 % | 3.30 c | 2078 | 90925 316925 | 54351 1935 6148 3.2 | 25.614 % | 4.77 c | 3217 | 90519 315523 | 59786 3013 9973 3.3 | 25.911 % | 6.39 c | 4925 | 90266 314670 | 65765 4685 17820 3.8 | 26.102 % | 8.01 c | 7487 | 90134 314226 | 72341 7229 36729 5.1 | 26.208 % | 10.06 c | 11331 | 90071 314017 | 79576 11063 63517 5.7 | 26.257 % | 12.34 c | 17097 | 90031 313887 | 87533 16824 121353 7.2 | 26.288 % | 16.49 c | 25747 | 89950 313612 | 96286 25463 197479 7.8 | 26.350 % | 19.89 c | 38721 | 89903 313459 | 105915 38427 579571 15.1 | 26.386 % | 26.11 c | 58182 | 89831 313211 | 116507 57880 993219 17.2 | 26.448 % | 33.60 c | 87374 | 89768 313000 | 128157 87065 2945483 33.8 | 26.506 % | 45.48 c | 131163 | 89745 312925 | 140973 130851 7506718 57.4 | 26.523 % | 73.31 c | 196849 | 89519 312159 | 155071 68298 2245227 32.9 | 26.705 % | 101.79 c | 295376 | 89439 311891 | 170578 27039 1268265 46.9 | 26.772 % | 152.60 c | 443165 | 89190 311082 | 187636 174793 6208804 35.5 | 26.985 % | 266.29 c | 664848 | 89015 310505 | 206399 31270 5671313 181.4 | 27.132 % | 391.72 c | 997375 | 88904 310138 | 227039 175119 5179968 29.6 | 27.225 % | 416.03 c ============================================================================== 416.03 c [1mFound solution: 41868742[0m 416.03 o 41868742 416.08 c ---[ 0]---> Adder-cost: 13342 maxlim: 25040029 bits: 26/25 419.49 c ==================================[MINISAT+]================================== 419.49 c | Conflicts | Original | Learnt | Progress | 419.49 c | | Clauses Literals | Max Clauses Literals LPC | | 419.49 c ============================================================================== 419.49 c | 1053123 | 182180 643348 | 60726 230865 6875006 29.8 | 27.225 % | 420.21 c | 1053223 | 182180 643348 | 66798 31059 306958 9.9 | 17.143 % | 420.36 c | 1053374 | 182180 643348 | 73478 31210 307773 9.9 | 17.143 % | 420.63 c | 1053599 | 182180 643348 | 80826 31435 309108 9.8 | 17.143 % | 421.11 c | 1053936 | 182180 643348 | 88908 31772 311182 9.8 | 17.143 % | 421.72 c | 1054442 | 182171 643319 | 97799 32277 314223 9.7 | 17.149 % | 422.89 c | 1055201 | 182171 643319 | 107579 33036 318779 9.6 | 17.149 % | 424.69 c | 1056340 | 182162 643288 | 118337 34174 325621 9.5 | 17.152 % | 426.93 c | 1058048 | 182153 643259 | 130171 35881 337152 9.4 | 17.157 % | 430.00 c | 1060610 | 182134 643192 | 143188 38440 356857 9.3 | 17.165 % | 435.08 c | 1064454 | 182107 643101 | 157507 42280 383690 9.1 | 17.177 % | 439.16 c | 1070222 | 182107 643101 | 173258 48048 461060 9.6 | 17.177 % | 446.33 c | 1078872 | 182071 642979 | 190584 56692 537518 9.5 | 17.193 % | 455.12 c | 1091846 | 182071 642979 | 209642 69666 696314 10.0 | 17.193 % | 468.43 c | 1111307 | 182065 642959 | 230606 89124 922225 10.3 | 17.196 % | 484.41 c | 1140499 | 182031 642849 | 253667 118311 1451586 12.3 | 17.216 % | 504.68 c | 1184289 | 182024 642826 | 279034 162100 3118111 19.2 | 17.218 % | 542.13 c | 1249976 | 182015 642797 | 306937 227786 4699503 20.6 | 17.224 % | 597.25 c ============================================================================== 597.25 c [1mFound solution: 41460889[0m 597.25 o 41460889 597.32 c ---[ 0]---> Adder-cost: 0 maxlim: 25447882 bits: 26/25 600.58 c ==================================[MINISAT+]================================== 600.58 c | Conflicts | Original | Learnt | Progress | 600.58 c | | Clauses Literals | Max Clauses Literals LPC | | 600.58 c ============================================================================== 600.58 c | 1334219 | 182035 643036 | 60678 312025 6557712 21.0 | 17.224 % | 601.28 c | 1334319 | 182035 643036 | 66745 33496 408468 12.2 | 17.257 % | 601.49 c | 1334469 | 182035 643036 | 73420 33646 409344 12.2 | 17.257 % | 601.81 c | 1334694 | 182035 643036 | 80762 33871 410472 12.1 | 17.257 % | 602.26 c | 1335031 | 182035 643036 | 88838 34208 412370 12.1 | 17.257 % | 602.60 c | 1335537 | 182035 643036 | 97722 34714 417183 12.0 | 17.257 % | 603.51 c | 1336296 | 182035 643036 | 107494 35473 422133 11.9 | 17.257 % | 605.02 c | 1337435 | 182012 642955 | 118244 36608 428976 11.7 | 17.266 % | 607.03 c | 1339143 | 182003 642926 | 130068 38315 439609 11.5 | 17.271 % | 610.67 c | 1341705 | 182003 642926 | 143075 40877 455730 11.1 | 17.271 % | 613.54 c | 1345550 | 182003 642926 | 157383 44722 488043 10.9 | 17.271 % | 616.13 c | 1351316 | 181993 642888 | 173121 50486 564102 11.2 | 17.274 % | 620.35 c | 1359965 | 181993 642888 | 190433 59135 668325 11.3 | 17.274 % | 626.56 c | 1372940 | 181987 642868 | 209476 72109 853886 11.8 | 17.277 % | 635.02 c | 1392403 | 181987 642868 | 230424 91572 1430501 15.6 | 17.277 % | 651.93 c | 1421595 | 181987 642868 | 253467 120764 1998782 16.6 | 17.277 % | 672.07 c | 1465385 | 181978 642837 | 278813 164551 3582509 21.8 | 17.280 % | 707.49 c | 1531069 | 181978 642837 | 306695 230235 7415916 32.2 | 17.280 % | 712.92 c ============================================================================== 712.92 c [1mFound solution: 39438098[0m 712.92 o 39438098 712.98 c ---[ 0]---> Adder-cost: 0 maxlim: 27470673 bits: 26/25 716.10 c ==================================[MINISAT+]================================== 716.10 c | Conflicts | Original | Learnt | Progress | 716.10 c | | Clauses Literals | Max Clauses Literals LPC | | 716.10 c ============================================================================== 716.10 c | 1537031 | 181998 643039 | 60666 236197 7491943 31.7 | 17.280 % | 716.71 c | 1537131 | 181998 643039 | 66732 27809 985329 35.4 | 17.303 % | 716.86 c | 1537281 | 181998 643039 | 73405 27959 985974 35.3 | 17.303 % | 717.20 c | 1537507 | 181982 642987 | 80746 28182 986979 35.0 | 17.311 % | 717.55 c | 1537844 | 181975 642964 | 88821 28518 988435 34.7 | 17.314 % | 718.05 c | 1538350 | 181975 642964 | 97703 29024 990654 34.1 | 17.314 % | 719.09 c | 1539110 | 181975 642964 | 107473 29784 994181 33.4 | 17.314 % | 720.30 c | 1540249 | 181975 642964 | 118220 30923 1000481 32.4 | 17.314 % | 721.67 c | 1541957 | 181975 642964 | 130042 32631 1010394 31.0 | 17.314 % | 722.92 c | 1544519 | 181975 642964 | 143047 35193 1031490 29.3 | 17.314 % | 725.00 c | 1548363 | 181975 642964 | 157351 39037 1068317 27.4 | 17.314 % | 727.39 c | 1554129 | 181975 642964 | 173087 44803 1150149 25.7 | 17.314 % | 730.98 c | 1562780 | 181975 642964 | 190395 53454 1289096 24.1 | 17.314 % | 736.50 c | 1575756 | 181975 642964 | 209435 66430 1827990 27.5 | 17.314 % | 744.44 c | 1595217 | 181975 642964 | 230379 85891 2488463 29.0 | 17.314 % | 759.43 c | 1624409 | 181975 642964 | 253416 115083 3253273 28.3 | 17.314 % | 783.67 c | 1668198 | 181966 642933 | 278758 158867 5038106 31.7 | 17.316 % | 823.41 c | 1733883 | 181966 642933 | 306634 224552 8749468 39.0 | 17.316 % | 893.47 c | 1832409 | 181966 642933 | 337297 42621 432498 10.1 | 17.316 % | 983.61 c | 1980199 | 181960 642913 | 371027 190408 4808650 25.3 | 17.319 % | 1136.62 c | 2201882 | 181948 642873 | 408130 51625 1094962 21.2 | 17.325 % | 1355.11 c | 2534411 | 181916 642765 | 448943 384150 16327698 42.5 | 17.342 % | 1799.29 c | 3033199 | 181901 642714 | 493837 429647 37669971 87.7 | 17.347 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 s SATISFIABLE 1801.19 v -x1 -x2 -x3 -x4 x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1801.19 v -x30 -x31 x32 -x33 -x34 x35 -x36 -x37 -x38 x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1801.19 v -x57 -x58 -x59 -x60 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1801.19 v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x5251 x5252 1801.19 v -x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 1801.19 v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5581 x5582 -x5583 -x5584 -x5585 -x5586 -x5587 1801.19 v -x5588 -x5589 x5590 -x5591 x5592 x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 1801.19 v -x5606 -x5607 -x5608 -x5609 -x5610 -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 1801.19 v -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 1801.19 v -x5940 -x6241 x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 1801.19 v -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 x6571 x6572 -x6573 -x6574 x6575 1801.19 v x6576 x6577 -x6578 -x6579 -x6580 x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 1801.19 v -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6901 -x6902 x6903 -x6904 -x6905 -x6906 x6907 -x6908 -x6909 -x6910 -x6911 1801.19 v -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 1801.19 v -x6929 -x6930 x7231 x7232 -x7233 -x7234 -x7235 x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 1801.19 v -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x61 x62 -x63 -x64 -x65 1801.19 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 x391 1801.19 v x392 -x393 -x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 1801.19 v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x721 x722 x723 -x724 x725 -x726 x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 1801.19 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 x1052 -x1053 -x1054 1801.19 v x1055 -x1056 x1057 -x1058 -x1059 -x1060 x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 1801.19 v -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1801.19 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1801.19 v -x1408 -x1409 -x1410 -x1711 x1712 -x1713 -x1714 x1715 x1716 x1717 -x1718 -x1719 x1720 x1721 -x1722 x1723 -x1724 -x1725 1801.19 v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 1801.19 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1801.19 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 1801.19 v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 1801.19 v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2701 -x2702 x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1801.19 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1801.19 v -x2730 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 1801.19 v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3391 -x3392 x3393 x3394 -x3395 1801.19 v -x3396 x3397 x3398 -x3399 x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 1801.19 v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 1801.19 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 1801.19 v -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 1801.19 v -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 1801.19 v -x4382 x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 1801.19 v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 x4712 x4713 -x4714 -x4715 -x4716 -x4717 1801.19 v -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 1801.19 v -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 -x5043 -x5044 -x5045 x5046 x5047 x5048 -x5049 -x5050 -x5051 -x5052 1801.19 v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 1801.19 v -x5070 -x5131 -x5132 -x5133 -x5134 -x5135 x5136 x5137 x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 1801.19 v -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 x5163 -x5164 1801.19 v x5165 -x5166 -x5167 -x5168 x5169 -x5170 x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 1801.19 v -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 1801.19 v -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 1801.19 v -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 1801.19 v -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 1801.19 v x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 1801.19 v -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 x5315 1801.19 v -x5316 x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 1801.19 v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 x5342 -x5343 -x5344 -x5345 -x5346 x5347 -x5348 x5349 -x5350 -x5351 1801.19 v x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 1801.19 v -x5369 -x5370 x5371 x5372 x5373 x5374 -x5375 -x5376 x5377 -x5378 x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 1801.19 v -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 -x5402 -x5403 1801.19 v x5404 x5405 -x5406 x5407 -x5408 x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 1801.19 v -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 1801.19 v -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 1801.19 v -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 x5464 -x5465 x5466 -x5467 -x5468 -x5469 x5470 x5471 x5472 -x5473 1801.19 v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 1801.19 v -x5491 x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 1801.19 v -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 -x5525 1801.19 v -x5526 -x5527 -x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 1801.19 v -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 x5555 -x5556 -x5557 -x5558 -x5559 1801.19 v -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 1801.19 v -x5577 -x5578 -x5579 -x5580 x5611 -x5612 -x5613 -x5614 x5615 -x5616 -x5617 x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 1801.19 v -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 1801.19 v x5642 -x5643 -x5644 x5645 -x5646 -x5647 x5648 -x5649 -x5650 -x5651 -x5652 -x5653 x5654 -x5655 -x5656 -x5657 -x5658 -x5659 1801.19 v -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 1801.19 v -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 1801.19 v -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 x5709 x5710 -x5711 1801.19 v -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 1801.19 v -x5729 -x5730 x5731 -x5732 x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 1801.19 v -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 x5762 -x5763 1801.19 v x5764 -x5765 x5766 -x5767 x5768 -x5769 -x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 1801.19 v -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 x5794 x5795 -x5796 -x5797 x5798 x5799 1801.19 v x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 1801.19 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 x5830 x5831 x5832 -x5833 -x5834 1801.19 v -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5851 1801.19 v -x5852 -x5853 -x5854 x5855 -x5856 -x5857 -x5858 x5859 -x5860 -x5861 x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 1801.19 v -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 x5881 -x5882 -x5883 -x5884 x5885 -x5886 -x5887 1801.19 v -x5888 x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 1801.19 v -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5941 -x5942 x5943 -x5944 -x5945 -x5946 x5947 -x5948 -x5949 x5950 x5951 -x5952 1801.19 v -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 1801.19 v -x5970 -x5971 -x5972 x5973 -x5974 -x5975 -x5976 x5977 x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 1801.19 v -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 1801.19 v -x6005 -x6006 x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 1801.19 v -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 x6031 x6032 -x6033 -x6034 -x6035 -x6036 x6037 -x6038 x6039 -x6040 1801.19 v x6041 x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 1801.19 v -x6059 -x6060 -x6061 -x6062 x6063 x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 1801.19 v -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 1801.19 v -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 1801.19 v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 x6122 -x6123 -x6124 -x6125 -x6126 -x6127 1801.19 v -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 1801.19 v -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 x6152 -x6153 x6154 -x6155 x6156 x6157 -x6158 -x6159 -x6160 x6161 x6162 1801.19 v -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 1801.19 v -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 1801.19 v -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 1801.19 v x6214 x6215 -x6216 -x6217 -x6218 -x6219 -x6220 x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 1801.19 v -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6271 -x6272 x6273 -x6274 -x6275 -x6276 x6277 -x6278 -x6279 1801.19 v x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 1801.19 v -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 x6303 -x6304 -x6305 -x6306 x6307 x6308 -x6309 -x6310 x6311 -x6312 -x6313 -x6314 1801.19 v -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 1801.19 v -x6332 -x6333 x6334 -x6335 x6336 x6337 x6338 x6339 x6340 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 1801.19 v -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 1801.19 v x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 1801.19 v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 x6394 x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 1801.19 v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 1801.19 v -x6419 -x6420 -x6421 -x6422 -x6423 x6424 x6425 x6426 x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 1801.19 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 1801.19 v x6454 -x6455 x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 1801.19 v -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 x6488 1801.19 v -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 1801.19 v -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 1801.19 v -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 1801.19 v -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 x6546 x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 x6554 -x6555 -x6556 -x6557 1801.19 v -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6601 -x6602 -x6603 -x6604 1801.19 v -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 1801.19 v -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 x6636 x6637 -x6638 x6639 1801.19 v -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 1801.19 v -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 1801.19 v -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 1801.19 v x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 1801.19 v -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x6721 -x6722 -x6723 x6724 -x6725 1801.19 v -x6726 -x6727 x6728 x6729 x6730 -x6731 -x6732 x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 1801.19 v -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 1801.19 v -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 1801.19 v -x6778 -x6779 -x6780 x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 x6793 -x6794 -x6795 1801.19 v -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 x6811 -x6812 1801.19 v -x6813 -x6814 -x6815 -x6816 -x6817 x6818 -x6819 -x6820 x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 1801.19 v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 1801.19 v -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 1801.19 v -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 1801.19 v -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 1801.19 v -x6899 -x6900 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 1801.19 v -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 x6962 1801.19 v -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 1801.19 v -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 1801.19 v -x6997 -x6998 -x6999 -x7000 -x7001 x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 1801.19 v -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 x7022 -x7023 -x7024 -x7025 -x7026 -x7027 x7028 -x7029 -x7030 x7031 1801.19 v -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 1801.19 v -x7049 -x7050 -x7051 -x7052 x7053 -x7054 -x7055 -x7056 -x7057 x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 1801.19 v -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 1801.19 v x7084 x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 1801.19 v -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 x7115 -x7116 -x7117 -x7118 1801.19 v -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 1801.19 v -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 1801.19 v -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 1801.19 v -x7170 -x7171 -x7172 -x7173 x7174 x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 1801.19 v -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 1801.19 v x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 1801.19 v -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 1801.19 v -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 1801.19 v -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 x7298 x7299 -x7300 -x7301 x7302 -x7303 1801.19 v -x7304 x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 1801.19 v -x7321 -x7322 x7323 x7324 -x7325 -x7326 x7327 -x7328 -x7329 -x7330 -x7331 x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 1801.19 v -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 1801.19 v -x7356 -x7357 x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 1801.19 v -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 x7381 -x7382 x7383 x7384 -x7385 -x7386 x7387 x7388 -x7389 -x7390 1801.19 v -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 1801.19 v -x7408 -x7409 -x7410 x7411 -x7412 -x7413 x7414 -x7415 -x7416 -x7417 x7418 x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 1801.19 v -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 x7441 -x7442 1801.19 v -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 1801.19 v -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 x7471 -x7472 -x7473 -x7474 -x7475 -x7476 1801.19 v -x7477 -x7478 x7479 -x7480 x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 1801.19 v -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 x7508 -x7509 -x7510 x7511 -x7512 1801.19 v -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 1801.19 v -x7530 -x7531 -x7532 -x7533 x7534 -x7535 -x7536 -x7537 -x7538 -x7539 x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 1801.19 v -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x91 -x92 -x93 -x94 -x95 -x96 1801.19 v -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1801.19 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1801.19 v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 1801.19 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1801.19 v -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1801.19 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 1801.19 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1801.19 v -x245 -x246 x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 1801.19 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 1801.19 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 1801.19 v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 1801.19 v -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1801.19 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 x363 x364 x365 -x366 -x367 -x368 x369 -x370 -x371 1801.19 v x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 1801.19 v -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1801.19 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 -x455 x456 -x457 -x458 x459 x460 -x461 -x462 -x463 -x464 -x465 1801.19 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 1801.19 v -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1801.19 v -x508 -x509 -x510 -x511 x512 x513 x514 -x515 x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 1801.19 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1801.19 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 1801.19 v x572 -x573 x574 -x575 -x576 x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1801.19 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 x613 1801.19 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 x634 1801.19 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 1801.19 v -x656 -x657 -x658 -x659 -x660 x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 1801.19 v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1801.19 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1801.19 v -x719 -x720 -x751 x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 1801.19 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 1801.19 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 1801.19 v x812 x813 -x814 x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 1801.19 v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 1801.19 v -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 1801.19 v -x875 -x876 -x877 x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 1801.19 v -x896 -x897 -x898 -x899 -x900 x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1801.19 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 1801.19 v -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 1801.19 v -x959 -x960 -x961 x962 -x963 x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 1801.19 v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 x995 -x996 -x997 -x998 x999 -x1000 1801.19 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 1801.19 v -x1018 -x1019 -x1020 -x1021 x1022 -x1023 x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 1801.19 v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1081 -x1082 1801.19 v -x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 1801.19 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 1801.19 v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1801.19 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 1801.19 v -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 1801.19 v x1171 -x1172 -x1173 x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 1801.19 v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 1801.19 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 1801.19 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 1801.19 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 1801.19 v -x1258 -x1259 -x1260 x1261 -x1262 -x1263 x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 1801.19 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 1801.19 v -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 1801.19 v -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 1801.19 v x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 1801.19 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 x1359 -x1360 x1361 -x1362 1801.19 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1801.19 v -x1380 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 1801.19 v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 1801.19 v -x1445 x1446 -x1447 x1448 x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 1801.19 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 1801.19 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 1801.19 v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1801.19 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 1801.19 v -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1801.19 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 1801.19 v -x1567 -x1568 x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1801.19 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1801.19 v -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1801.19 v -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1801.19 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1801.19 v x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1801.19 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 1801.19 v x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1801.19 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 x1742 -x1743 x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1801.19 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1801.19 v x1771 -x1772 -x1773 x1774 -x1775 -x1776 x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1801.19 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 x1802 -x1803 x1804 -x1805 -x1806 1801.19 v -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1801.19 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 x1835 x1836 -x1837 -x1838 x1839 -x1840 -x1841 1801.19 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1801.19 v -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1801.19 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 1801.19 v -x1893 x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 1801.19 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 x1924 x1925 -x1926 -x1927 -x1928 1801.19 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1801.19 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 1801.19 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1801.19 v x1981 x1982 -x1983 x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1801.19 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 x2013 x2014 -x2015 -x2016 1801.19 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 1801.19 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 1801.19 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1801.19 v -x2099 -x2100 -x2101 x2102 -x2103 x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1801.19 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1801.19 v x2134 -x2135 x2136 x2137 -x2138 x2139 x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1801.19 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 x2167 -x2168 -x2169 1801.19 v -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1801.19 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 1801.19 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 1801.19 v -x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 1801.19 v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 1801.19 v -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 1801.19 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 x2289 x2290 x2291 1801.19 v x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 1801.19 v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1801.19 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 1801.19 v -x2344 -x2345 x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1801.19 v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 1801.19 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1801.19 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 1801.19 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1801.19 v x2461 -x2462 -x2463 x2464 -x2465 x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 1801.19 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 -x2493 -x2494 -x2495 -x2496 1801.19 v -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 1801.19 v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 1801.19 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1801.19 v -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 1801.19 v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 1801.19 v -x2583 x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1801.19 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 1801.19 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1801.19 v -x2636 -x2637 -x2638 -x2639 -x2640 x2641 x2642 -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 1801.19 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 1801.19 v x2671 -x2672 -x2673 x2674 x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1801.19 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2731 -x2732 x2733 x2734 -x2735 -x2736 1801.19 v x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1801.19 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 x2771 x2772 1801.19 v -x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 1801.19 v -x2790 -x2791 x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1801.19 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1801.19 v -x2825 -x2826 x2827 -x2828 -x2829 x2830 x2831 x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1801.19 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 x2855 -x2856 x2857 x2858 -x2859 -x2860 1801.19 v x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1801.19 v -x2878 -x2879 -x2880 -x2881 x2882 -x2883 x2884 x2885 x2886 -x2887 x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 1801.19 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 1801.19 v x2913 -x2914 x2915 -x2916 -x2917 -x2918 x2919 x2920 x2921 x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1801.19 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 x2943 x2944 x2945 -x2946 x2947 -x2948 1801.19 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1801.19 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 1801.19 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1801.19 v -x3000 -x3001 x3002 x3003 x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 1801.19 v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3061 x3062 x3063 -x3064 x3065 1801.19 v x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 1801.19 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1801.19 v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 1801.19 v -x3117 -x3118 -x3119 -x3120 x3121 x3122 x3123 x3124 x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 1801.19 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 1801.19 v x3152 x3153 x3154 -x3155 -x3156 x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 1801.19 v -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 x3183 x3184 -x3185 -x3186 x3187 1801.19 v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 1801.19 v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 -x3212 x3213 -x3214 -x3215 x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 1801.19 v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 1801.19 v -x3240 x3241 x3242 x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1801.19 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 x3272 x3273 x3274 -x3275 1801.19 v -x3276 -x3277 x3278 -x3279 x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 1801.19 v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 1801.19 v -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 1801.19 v -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 1801.19 v -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3421 x3422 -x3423 1801.19 v -x3424 -x3425 x3426 -x3427 x3428 -x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1801.19 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 x3452 x3453 x3454 -x3455 -x3456 -x3457 -x3458 -x3459 1801.19 v -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 1801.19 v -x3477 -x3478 -x3479 -x3480 x3481 x3482 x3483 -x3484 -x3485 -x3486 -x3487 x3488 -x3489 -x3490 x3491 -x3492 -x3493 -x3494 1801.19 v -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 1801.19 v x3512 x3513 -x3514 -x3515 -x3516 x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1801.19 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 x3542 x3543 -x3544 x3545 x3546 -x3547 1801.19 v x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 1801.19 v -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 x3572 x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 1801.19 v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 1801.19 v -x3600 x3601 -x3602 x3603 -x3604 x3605 x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 1801.19 v -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 x3631 x3632 x3633 x3634 x3635 1801.19 v -x3636 x3637 x3638 x3639 -x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 1801.19 v -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 x3661 x3662 x3663 x3664 x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 1801.19 v -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 1801.19 v -x3689 -x3690 x3691 x3692 x3693 x3694 -x3695 -x3696 x3697 -x3698 x3699 -x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 1801.19 v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3751 -x3752 -x3753 1801.19 v x3754 x3755 -x3756 -x3757 x3758 x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 1801.19 v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 x3785 -x3786 -x3787 -x3788 1801.19 v -x3789 -x3790 -x3791 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 1801.19 v -x3806 -x3807 -x3808 -x3809 -x3810 x3811 x3812 -x3813 x3814 x3815 x3816 -x3817 x3818 x3819 x3820 -x3821 -x3822 -x3823 -x3824 1801.19 v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 x3841 1801.19 v -x3842 x3843 -x3844 x3845 x3846 -x3847 x3848 -x3849 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 1801.19 v -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 1801.19 v x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 1801.19 v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 -x3905 x3906 x3907 -x3908 -x3909 x3910 -x3911 -x3912 1801.19 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1801.19 v -x3930 x3931 -x3932 x3933 -x3934 x3935 x3936 -x3937 -x3938 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1801.19 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3962 -x3963 -x3964 1801.19 v -x3965 x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1801.19 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 x3993 x3994 x3995 -x3996 -x3997 -x3998 x3999 1801.19 v x4000 -x4001 -x4002 -x4003 x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 1801.19 v -x4018 -x4019 -x4020 x4021 x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 x4029 -x4030 -x4031 -x4032 x4033 -x4034 -x4035 1801.19 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 1801.19 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 1801.19 v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 x4112 -x4113 -x4114 -x4115 x4116 -x4117 1801.19 v x4118 x4119 -x4120 x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 1801.19 v -x4136 -x4137 -x4138 -x4139 -x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 1801.19 v -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 1801.19 v -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 1801.19 v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 1801.19 v -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 1801.19 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 x4232 -x4233 -x4234 x4235 x4236 -x4237 x4238 x4239 1801.19 v -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 1801.19 v -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 -x4264 x4265 x4266 x4267 -x4268 x4269 -x4270 x4271 x4272 -x4273 -x4274 1801.19 v -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 1801.19 v x4292 -x4293 -x4294 x4295 x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 1801.19 v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 1801.19 v x4327 -x4328 -x4329 -x4330 -x4331 -x4332 x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1801.19 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 x4352 x4353 -x4354 -x4355 -x4356 x4357 -x4358 x4359 -x4360 -x4361 -x4362 1801.19 v -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 1801.19 v -x4380 -x4411 -x4412 x4413 -x4414 -x4415 -x4416 x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 1801.19 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 x4443 x4444 -x4445 1801.19 v -x4446 -x4447 -x4448 x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 1801.19 v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 1801.19 v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 1801.19 v -x4497 -x4498 -x4499 -x4500 x4501 -x4502 -x4503 x4504 -x4505 x4506 -x4507 x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1801.19 v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 1801.19 v -x4532 x4533 x4534 -x4535 -x4536 x4537 x4538 -x4539 x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 1801.19 v -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 1801.19 v x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 1801.19 v -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 1801.19 v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1801.19 v -x4619 -x4620 x4621 -x4622 -x4623 -x4624 x4625 -x4626 -x4627 -x4628 x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 1801.19 v -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 x4652 -x4653 1801.19 v -x4654 x4655 -x4656 -x4657 -x4658 x4659 -x4660 x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 1801.19 v -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 x4684 x4685 -x4686 -x4687 -x4688 x4689 1801.19 v -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 1801.19 v -x4707 -x4708 -x4709 -x4710 -x4741 x4742 x4743 -x4744 x4745 -x4746 -x4747 x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 1801.19 v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 1801.19 v x4772 x4773 -x4774 -x4775 x4776 -x4777 x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 1801.19 v -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 x4802 x4803 -x4804 -x4805 x4806 -x4807 1801.19 v -x4808 x4809 x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 1801.19 v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 1801.19 v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 1801.19 v -x4860 -x4861 -x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 1801.19 v -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 x4893 x4894 -x4895 1801.19 v -x4896 -x4897 -x4898 -x4899 x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 1801.19 v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 x4926 -x4927 -x4928 x4929 x4930 1801.19 v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 1801.19 v -x4948 -x4949 -x4950 -x4951 -x4952 x4953 -x4954 x4955 x4956 -x4957 -x4958 x4959 x4960 -x4961 -x4962 -x4963 -x4964 -x4965 1801.19 v -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 1801.19 v -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 1801.19 v -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 x5015 -x5016 -x5017 1801.19 v x5018 -x5019 x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 1801.19 v -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 x5075 -x5076 x5077 -x5078 x5079 x5080 -x5081 -x5082 -x5083 1801.19 v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 1801.19 v -x5101 -x5102 x5103 x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 1801.19 v -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x7561 x7562 x7673 x7736 x7747 x7758 1801.19 v x7769 x7780 x7791 x7802 x7563 x7574 x7585 x7596 x7607 x7618 -x7629 x7640 x7651 x7662 x7674 x7685 x7696 x7707 x7718 x7729 1801.19 v x7732 x7733 -x7734 -x7735 x7737 x7738 x7739 x7740 x7741 -x7742 x7743 x7744 x7745 x7746 x7748 x7749 x7750 x7751 x7752 x7753 1801.19 v x7754 x7755 x7756 x7757 x7759 x7760 x7761 x7762 x7763 -x7764 x7765 x7766 -x7767 x7768 x7770 x7771 x7772 x7773 x7774 x7775 1801.19 v x7776 x7777 x7778 x7779 -x7781 x7782 x7783 x7784 x7785 x7786 x7787 x7788 x7789 x7790 -x7792 x7793 x7794 x7795 x7796 x7797 1801.19 v x7798 -x7799 x7800 x7801 -x7803 x7804 x7805 x7806 x7807 x7808 x7809 x7810 x7811 x7812 x7564 x7565 x7566 x7567 x7568 x7569 1801.19 v x7570 x7571 x7572 x7573 x7575 x7576 x7577 x7578 -x7579 x7580 x7581 x7582 x7583 -x7584 x7586 x7587 x7588 x7589 x7590 x7591 1801.19 v x7592 x7593 x7594 x7595 x7597 x7598 x7599 x7600 x7601 x7602 x7603 x7604 x7605 x7606 x7608 x7609 x7610 x7611 x7612 x7613 x7614 1801.19 v x7615 x7616 x7617 x7619 x7620 x7621 x7622 x7623 x7624 x7625 x7626 x7627 x7628 x7630 x7631 x7632 x7633 x7634 x7635 x7636 x7637 1801.19 v x7638 x7639 x7641 x7642 x7643 x7644 x7645 x7646 x7647 x7648 x7649 x7650 x7652 x7653 x7654 x7655 x7656 x7657 x7658 x7659 -x7660 1801.19 v x7661 x7663 -x7664 x7665 x7666 x7667 x7668 x7669 x7670 x7671 -x7672 x7675 x7676 x7677 x7678 x7679 x7680 x7681 x7682 x7683 1801.19 v x7684 x7686 x7687 x7688 x7689 x7690 x7691 x7692 x7693 x7694 x7695 -x7697 x7698 x7699 x7700 x7701 x7702 x7703 x7704 x7705 1801.19 v x7706 x7708 x7709 -x7710 x7711 x7712 x7713 x7714 x7715 x7716 x7717 x7719 x7720 x7721 x7722 x7723 x7724 x7725 x7726 -x7727 1801.19 v x7728 x7730 x7731
OK 39438098
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/node92/watcher-35665-1149303687 -o ROOT/results/node92/solver-35665-1149303687 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node92/35665-1149303687/instance-35665-1149303687.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.04 1.12 1.05 2/67 30577 /proc/meminfo: memFree=1663304/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=1048 CPUtime=0 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 107 0 0 0 0 0 0 0 19 0 1 0 196007581 1073152 93 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 262 93 67 215 0 44 0 [startup+10.0022 s] /proc/loadavg: 1.03 1.12 1.05 2/67 30577 /proc/meminfo: memFree=1653960/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=10900 CPUtime=9.98 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 2572 0 0 0 997 1 0 0 25 0 1 0 196007581 11161600 2456 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 2725 2456 123 215 0 2507 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 10900 [startup+20.0085 s] /proc/loadavg: 1.03 1.12 1.05 2/67 30577 /proc/meminfo: memFree=1650888/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=14004 CPUtime=19.98 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 3361 0 0 0 1997 1 0 0 25 0 1 0 196007581 14340096 3245 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573014 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 3501 3245 123 215 0 3283 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14004 [startup+30.0148 s] /proc/loadavg: 1.02 1.11 1.05 2/67 30577 /proc/meminfo: memFree=1644296/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=20784 CPUtime=29.99 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 5020 0 0 0 2996 3 0 0 25 0 1 0 196007581 21282816 4904 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 5196 4904 123 215 0 4978 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 20784 [startup+40.0211 s] /proc/loadavg: 1.02 1.11 1.05 2/67 30577 /proc/meminfo: memFree=1630920/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=34252 CPUtime=39.99 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 8380 0 0 0 3994 5 0 0 25 0 1 0 196007581 35074048 8264 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 8563 8264 123 215 0 8345 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 34252 [startup+50.0284 s] /proc/loadavg: 1.02 1.10 1.05 2/67 30577 /proc/meminfo: memFree=1613768/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=51460 CPUtime=49.99 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 12659 0 0 0 4990 9 0 0 25 0 1 0 196007581 52695040 12543 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 12865 12543 123 215 0 12647 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 51460 [startup+60.0336 s] /proc/loadavg: 1.01 1.10 1.05 2/67 30577 /proc/meminfo: memFree=1613000/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=52252 CPUtime=59.99 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 12841 0 0 0 5990 9 0 0 25 0 1 0 196007581 53506048 12725 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584041 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 13063 12725 123 215 0 12845 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 52252 [startup+70.039 s] /proc/loadavg: 1.01 1.10 1.05 2/67 30577 /proc/meminfo: memFree=1613064/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=52252 CPUtime=70 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 12841 0 0 0 6991 9 0 0 25 0 1 0 196007581 53506048 12725 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588686 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 13063 12725 123 215 0 12845 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 52252 [startup+80.0452 s] /proc/loadavg: 1.01 1.09 1.05 2/67 30577 /proc/meminfo: memFree=1613128/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=52252 CPUtime=80 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 12841 0 0 0 7991 9 0 0 25 0 1 0 196007581 53506048 12725 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 13063 12725 123 215 0 12845 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 52252 [startup+90.0515 s] /proc/loadavg: 1.01 1.09 1.05 2/67 30577 /proc/meminfo: memFree=1613128/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=52252 CPUtime=90 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 12841 0 0 0 8991 9 0 0 25 0 1 0 196007581 53506048 12725 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 13063 12725 123 215 0 12845 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 52252 [startup+100.058 s] /proc/loadavg: 1.00 1.08 1.04 2/67 30577 /proc/meminfo: memFree=1604104/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=100 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15083 0 0 0 9990 10 0 0 25 0 1 0 196007581 62550016 14967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 14967 123 215 0 15053 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 61084 [startup+110.064 s] /proc/loadavg: 1.00 1.08 1.04 2/67 30577 /proc/meminfo: memFree=1604104/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=110 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15086 0 0 0 10990 10 0 0 25 0 1 0 196007581 62550016 14970 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 14970 123 215 0 15053 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 61084 [startup+120.069 s] /proc/loadavg: 1.00 1.08 1.04 2/67 30577 /proc/meminfo: memFree=1604168/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=120 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15086 0 0 0 11990 10 0 0 25 0 1 0 196007581 62550016 14970 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588680 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 14970 123 215 0 15053 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 61084 [startup+130.075 s] /proc/loadavg: 1.00 1.08 1.04 2/67 30577 /proc/meminfo: memFree=1604168/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=130.01 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15086 0 0 0 12991 10 0 0 25 0 1 0 196007581 62550016 14970 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580789 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 14970 123 215 0 15053 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 61084 [startup+140.081 s] /proc/loadavg: 1.00 1.07 1.04 2/67 30577 /proc/meminfo: memFree=1604168/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=140.01 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15086 0 0 0 13991 10 0 0 25 0 1 0 196007581 62550016 14970 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 14970 123 215 0 15053 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 61084 [startup+150.087 s] /proc/loadavg: 1.00 1.07 1.04 2/67 30577 /proc/meminfo: memFree=1604104/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=150.01 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15094 0 0 0 14991 10 0 0 25 0 1 0 196007581 62550016 14978 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 14978 123 215 0 15053 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 61084 [startup+160.094 s] /proc/loadavg: 1.00 1.07 1.04 2/67 30577 /proc/meminfo: memFree=1604040/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=160.02 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15112 0 0 0 15992 10 0 0 25 0 1 0 196007581 62550016 14996 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588646 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 14996 123 215 0 15053 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 61084 [startup+170.1 s] /proc/loadavg: 1.00 1.06 1.04 2/67 30577 /proc/meminfo: memFree=1603976/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=170.02 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15128 0 0 0 16992 10 0 0 25 0 1 0 196007581 62550016 15012 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576718 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 15012 123 215 0 15053 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 61084 [startup+180.106 s] /proc/loadavg: 1.00 1.06 1.04 2/67 30577 /proc/meminfo: memFree=1603976/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=180.02 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15128 0 0 0 17992 10 0 0 25 0 1 0 196007581 62550016 15012 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580711 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 15012 123 215 0 15053 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 61084 [startup+190.113 s] /proc/loadavg: 1.00 1.06 1.04 2/67 30577 /proc/meminfo: memFree=1603976/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=190.03 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15128 0 0 0 18993 10 0 0 25 0 1 0 196007581 62550016 15012 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 15012 123 215 0 15053 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 61084 [startup+200.119 s] /proc/loadavg: 1.00 1.06 1.03 2/67 30577 /proc/meminfo: memFree=1603912/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=61084 CPUtime=200.03 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 15128 0 0 0 19993 10 0 0 25 0 1 0 196007581 62550016 15012 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 15271 15012 123 215 0 15053 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 61084 [startup+210.125 s] /proc/loadavg: 1.00 1.05 1.03 2/67 30577 /proc/meminfo: memFree=1603912/2055892 swapFree=4084900/4096564 ################ # More data... # ################ [pid=30577] ppid=30575 vsize=223836 CPUtime=1781.52 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 56365 0 0 0 178108 44 0 0 25 0 1 0 196007581 229208064 54929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 55959 54929 123 215 0 55741 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 223836 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1443400/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=223968 CPUtime=1782.53 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 56409 0 0 0 178209 44 0 0 25 0 1 0 196007581 229343232 54973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 55992 54973 123 215 0 55774 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 223968 [startup+1784.11 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1443080/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=224364 CPUtime=1783.53 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 56486 0 0 0 178309 44 0 0 25 0 1 0 196007581 229748736 55050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 56091 55050 123 215 0 55873 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 224364 [startup+1785.11 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1442376/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=225024 CPUtime=1784.54 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 56659 0 0 0 178410 44 0 0 25 0 1 0 196007581 230424576 55223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 56256 55223 123 215 0 56038 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 225024 [startup+1786.12 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1441608/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=225812 CPUtime=1785.54 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 56852 0 0 0 178510 44 0 0 25 0 1 0 196007581 231231488 55416 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 56453 55416 123 215 0 56235 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 225812 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1440968/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=226472 CPUtime=1786.54 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 57016 0 0 0 178610 44 0 0 25 0 1 0 196007581 231907328 55580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 56618 55580 123 215 0 56400 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 226472 [startup+1788.13 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1440264/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=227132 CPUtime=1787.55 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 57186 0 0 0 178711 44 0 0 25 0 1 0 196007581 232583168 55750 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 56783 55750 123 215 0 56565 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 227132 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1439688/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=227660 CPUtime=1788.56 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 57323 0 0 0 178811 45 0 0 25 0 1 0 196007581 233123840 55887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 56915 55887 123 215 0 56697 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 227660 [startup+1790.14 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1439112/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=228320 CPUtime=1789.56 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 57476 0 0 0 178911 45 0 0 25 0 1 0 196007581 233799680 56040 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 57080 56040 123 215 0 56862 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 228320 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1438472/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=228848 CPUtime=1790.56 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 57629 0 0 0 179011 45 0 0 25 0 1 0 196007581 234340352 56193 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 57212 56193 123 215 0 56994 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 228848 [startup+1792.15 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1438152/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=229244 CPUtime=1791.56 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 57710 0 0 0 179111 45 0 0 25 0 1 0 196007581 234745856 56274 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 57311 56274 123 215 0 57093 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 229244 [startup+1793.15 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1437768/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=229640 CPUtime=1792.57 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 57808 0 0 0 179212 45 0 0 25 0 1 0 196007581 235151360 56372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 57410 56372 123 215 0 57192 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 229640 [startup+1794.16 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1437064/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=230300 CPUtime=1793.57 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 57981 0 0 0 179312 45 0 0 25 0 1 0 196007581 235827200 56545 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 57575 56545 123 215 0 57357 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 230300 [startup+1795.16 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1436232/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=231092 CPUtime=1794.59 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 58197 0 0 0 179413 46 0 0 25 0 1 0 196007581 236638208 56761 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 57773 56761 123 215 0 57555 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 231092 [startup+1796.17 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1436104/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=231224 CPUtime=1795.59 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 58226 0 0 0 179513 46 0 0 25 0 1 0 196007581 236773376 56790 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 57806 56790 123 215 0 57588 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 231224 [startup+1797.17 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1435976/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=231356 CPUtime=1796.59 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 58248 0 0 0 179613 46 0 0 25 0 1 0 196007581 236908544 56812 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 57839 56812 123 215 0 57621 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 231356 [startup+1798.18 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1435336/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=232016 CPUtime=1797.59 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 58408 0 0 0 179713 46 0 0 25 0 1 0 196007581 237584384 56972 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 58004 56972 123 215 0 57786 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 232016 [startup+1799.18 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1434568/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=232804 CPUtime=1798.59 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 58602 0 0 0 179813 46 0 0 25 0 1 0 196007581 238391296 57166 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 58201 57166 123 215 0 57983 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 232804 [startup+1800.19 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1434376/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=232936 CPUtime=1799.61 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 58653 0 0 0 179914 47 0 0 25 0 1 0 196007581 238526464 57217 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 58234 57217 123 215 0 58016 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 232936 [startup+1801.19 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1433032/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=234384 CPUtime=1800.61 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 58991 0 0 0 180014 47 0 0 25 0 1 0 196007581 240009216 57555 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 58596 57555 123 215 0 58378 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 234384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/67 30577 /proc/meminfo: memFree=1433032/2055892 swapFree=4084900/4096564 [pid=30577] ppid=30575 vsize=234384 CPUtime=1800.61 /proc/30577/stat : 30577 (minisat+) R 30575 30577 30531 0 -1 4194304 58993 0 0 0 180014 47 0 0 25 0 1 0 196007581 240009216 57557 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30577/statm: 58596 57557 123 215 0 58378 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 234384 Sending SIGTERM to -30577 Sleeping 2 seconds Child status: 10 Real time (s): 1801.24 CPU time (s): 1800.66 CPU user time (s): 1800.15 CPU system time (s): 0.509922 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (Kb): 234384
Begin job on node92 on Sat Jun 3 03:01:27 UTC 2006 FILE ID= 35665-1149303687 PBS_JOBID= 307494 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node92/35665-1149303687/instance-35665-1149303687.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node92/watcher-35665-1149303687 -o ROOT/results/node92/solver-35665-1149303687 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node92/35665-1149303687/instance-35665-1149303687.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 291088d217a1998c91be99350439e903 RANDOM SEED= 958903343 /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.214 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 : 6006.19 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.214 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1663512 kB Buffers: 17480 kB Cached: 308120 kB SwapCached: 2840 kB Active: 31632 kB Inactive: 302652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1663512 kB SwapTotal: 4096564 kB SwapFree: 4084900 kB Dirty: 212 kB Writeback: 0 kB Mapped: 15200 kB Slab: 44840 kB Committed_AS: 309820 kB PageTables: 1256 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node92 on Sat Jun 3 03:31:29 UTC 2006