Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 15971955 | 1800.7 | 1801.18 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran17x17.opb |
MD5SUM | 041d40ba01d992f8c3bb358df2c9aea9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2462771 |
Best CPU time to get the best result obtained on this benchmark | 1801.43 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2191362 |
Optimality of the best value was proved | NO |
Number of variables | 8959 |
Total number of constraints | 323 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 323 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 510 |
Number of terms in the objective function | 8959 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1612776422946 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1612776422946 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 0.42 c Converting 357 PB-constraints to clauses... 0.43 c -- Unit propagations: (none) 0.68 c -- Detecting intervals from adjacent constraints: ################################## 0.68 c -- Clauses(.)/Splits(s): (none) 0.68 c ---[ 355]---> Adder-cost: 434 maxlim: 225263 bits: 18/18 0.72 c ---[ 353]---> Adder-cost: 406 maxlim: 124911 bits: 17/17 0.75 c ---[ 351]---> Adder-cost: 434 maxlim: 223215 bits: 18/18 0.79 c ---[ 349]---> Adder-cost: 434 maxlim: 227311 bits: 18/18 0.83 c ---[ 347]---> Adder-cost: 456 maxlim: 372719 bits: 19/19 0.87 c ---[ 345]---> Adder-cost: 434 maxlim: 228335 bits: 18/18 0.90 c ---[ 343]---> Adder-cost: 434 maxlim: 229359 bits: 18/18 0.94 c ---[ 341]---> Adder-cost: 456 maxlim: 372719 bits: 19/19 0.98 c ---[ 339]---> Adder-cost: 458 maxlim: 431087 bits: 19/19 1.02 c ---[ 337]---> Adder-cost: 456 maxlim: 377839 bits: 19/19 1.06 c ---[ 335]---> Adder-cost: 456 maxlim: 375791 bits: 19/19 1.10 c ---[ 333]---> Adder-cost: 434 maxlim: 222191 bits: 18/18 1.13 c ---[ 331]---> Adder-cost: 458 maxlim: 434159 bits: 19/19 1.17 c ---[ 329]---> Adder-cost: 456 maxlim: 373743 bits: 19/19 1.21 c ---[ 327]---> Adder-cost: 456 maxlim: 381935 bits: 19/19 1.25 c ---[ 325]---> Adder-cost: 406 maxlim: 125935 bits: 17/17 1.28 c ---[ 323]---> Adder-cost: 406 maxlim: 126959 bits: 17/17 1.32 c ---[ 321]---> Adder-cost: 454 maxlim: 367599 bits: 19/19 1.36 c ---[ 319]---> Adder-cost: 416 maxlim: 133103 bits: 18/18 1.39 c ---[ 317]---> Adder-cost: 438 maxlim: 245743 bits: 18/18 1.43 c ---[ 315]---> Adder-cost: 416 maxlim: 135151 bits: 18/18 1.46 c ---[ 313]---> Adder-cost: 438 maxlim: 238575 bits: 18/18 1.50 c ---[ 311]---> Adder-cost: 454 maxlim: 368623 bits: 19/19 1.54 c ---[ 309]---> Adder-cost: 438 maxlim: 241647 bits: 18/18 1.57 c ---[ 307]---> Adder-cost: 458 maxlim: 416751 bits: 19/19 1.61 c ---[ 305]---> Adder-cost: 454 maxlim: 365551 bits: 19/19 1.65 c ---[ 303]---> Adder-cost: 384 maxlim: 66543 bits: 17/17 1.68 c ---[ 301]---> Adder-cost: 454 maxlim: 364527 bits: 19/19 1.72 c ---[ 299]---> Adder-cost: 454 maxlim: 358383 bits: 19/19 1.76 c ---[ 297]---> Adder-cost: 454 maxlim: 361455 bits: 19/19 1.80 c ---[ 295]---> Adder-cost: 458 maxlim: 413679 bits: 19/19 1.84 c ---[ 293]---> Adder-cost: 454 maxlim: 354287 bits: 19/19 1.88 c ---[ 291]---> Adder-cost: 384 maxlim: 66543 bits: 17/17 1.91 c ---[ 289]---> Adder-cost: 454 maxlim: 355311 bits: 19/19 1.95 c ---[ 288]---> BDD-cost: 16 1.95 c ---[ 287]---> BDD-cost: 15 1.95 c ---[ 286]---> BDD-cost: 15 1.95 c ---[ 285]---> BDD-cost: 17 1.95 c ---[ 284]---> BDD-cost: 20 1.95 c ---[ 283]---> BDD-cost: 20 1.95 c ---[ 282]---> BDD-cost: 15 1.95 c ---[ 281]---> BDD-cost: 14 1.95 c ---[ 280]---> BDD-cost: 18 1.95 c ---[ 279]---> BDD-cost: 19 1.95 c ---[ 278]---> BDD-cost: 20 1.95 c ---[ 277]---> BDD-cost: 20 1.95 c ---[ 276]---> BDD-cost: 20 1.95 c ---[ 275]---> BDD-cost: 14 1.95 c ---[ 274]---> BDD-cost: 14 1.95 c ---[ 273]---> BDD-cost: 20 1.95 c ---[ 272]---> BDD-cost: 15 1.95 c ---[ 271]---> BDD-cost: 14 1.95 c ---[ 270]---> BDD-cost: 18 1.95 c ---[ 269]---> BDD-cost: 16 1.95 c ---[ 268]---> BDD-cost: 16 1.95 c ---[ 267]---> BDD-cost: 20 1.95 c ---[ 266]---> BDD-cost: 20 1.95 c ---[ 265]---> BDD-cost: 20 1.96 c ---[ 264]---> BDD-cost: 16 1.96 c ---[ 263]---> BDD-cost: 15 1.96 c ---[ 262]---> BDD-cost: 14 1.96 c ---[ 261]---> BDD-cost: 20 1.96 c ---[ 260]---> BDD-cost: 20 1.96 c ---[ 259]---> BDD-cost: 20 1.96 c ---[ 258]---> BDD-cost: 20 1.96 c ---[ 257]---> BDD-cost: 20 1.96 c ---[ 256]---> BDD-cost: 14 1.96 c ---[ 255]---> BDD-cost: 20 1.96 c ---[ 254]---> BDD-cost: 15 1.96 c ---[ 253]---> BDD-cost: 16 1.96 c ---[ 252]---> BDD-cost: 14 1.96 c ---[ 251]---> BDD-cost: 18 1.96 c ---[ 250]---> BDD-cost: 16 1.96 c ---[ 249]---> BDD-cost: 16 1.96 c ---[ 248]---> BDD-cost: 20 1.96 c ---[ 247]---> BDD-cost: 20 1.96 c ---[ 246]---> BDD-cost: 16 1.96 c ---[ 245]---> BDD-cost: 16 1.96 c ---[ 244]---> BDD-cost: 14 1.96 c ---[ 243]---> BDD-cost: 16 1.96 c ---[ 242]---> BDD-cost: 16 1.96 c ---[ 241]---> BDD-cost: 16 1.96 c ---[ 240]---> BDD-cost: 16 1.96 c ---[ 239]---> BDD-cost: 16 1.96 c ---[ 238]---> BDD-cost: 16 1.96 c ---[ 237]---> BDD-cost: 14 1.96 c ---[ 236]---> BDD-cost: 16 1.96 c ---[ 235]---> BDD-cost: 16 1.96 c ---[ 234]---> BDD-cost: 14 1.96 c ---[ 233]---> BDD-cost: 16 1.96 c ---[ 232]---> BDD-cost: 16 1.96 c ---[ 231]---> BDD-cost: 16 1.96 c ---[ 230]---> BDD-cost: 16 1.96 c ---[ 229]---> BDD-cost: 16 1.96 c ---[ 228]---> BDD-cost: 16 1.96 c ---[ 227]---> BDD-cost: 14 1.96 c ---[ 226]---> BDD-cost: 14 1.96 c ---[ 225]---> BDD-cost: 14 1.96 c ---[ 224]---> BDD-cost: 14 1.96 c ---[ 223]---> BDD-cost: 14 1.96 c ---[ 222]---> BDD-cost: 14 1.96 c ---[ 221]---> BDD-cost: 14 1.96 c ---[ 220]---> BDD-cost: 16 1.96 c ---[ 219]---> BDD-cost: 14 1.96 c ---[ 218]---> BDD-cost: 14 1.96 c ---[ 217]---> BDD-cost: 14 1.96 c ---[ 216]---> BDD-cost: 14 1.96 c ---[ 215]---> BDD-cost: 14 1.96 c ---[ 214]---> BDD-cost: 14 1.96 c ---[ 213]---> BDD-cost: 14 1.96 c ---[ 212]---> BDD-cost: 14 1.97 c ---[ 211]---> BDD-cost: 14 1.97 c ---[ 210]---> BDD-cost: 14 1.97 c ---[ 209]---> BDD-cost: 15 1.97 c ---[ 208]---> BDD-cost: 17 1.97 c ---[ 207]---> BDD-cost: 15 1.97 c ---[ 206]---> BDD-cost: 14 1.97 c ---[ 205]---> BDD-cost: 17 1.97 c ---[ 204]---> BDD-cost: 17 1.97 c ---[ 203]---> BDD-cost: 17 1.97 c ---[ 202]---> BDD-cost: 17 1.97 c ---[ 201]---> BDD-cost: 17 1.97 c ---[ 200]---> BDD-cost: 14 1.97 c ---[ 199]---> BDD-cost: 17 1.97 c ---[ 198]---> BDD-cost: 15 1.97 c ---[ 197]---> BDD-cost: 15 1.97 c ---[ 196]---> BDD-cost: 14 1.97 c ---[ 195]---> BDD-cost: 17 1.97 c ---[ 194]---> BDD-cost: 17 1.97 c ---[ 193]---> BDD-cost: 16 1.97 c ---[ 192]---> BDD-cost: 17 1.97 c ---[ 191]---> BDD-cost: 17 1.97 c ---[ 190]---> BDD-cost: 17 1.97 c ---[ 189]---> BDD-cost: 15 1.97 c ---[ 188]---> BDD-cost: 14 1.97 c ---[ 187]---> BDD-cost: 14 1.97 c ---[ 186]---> BDD-cost: 17 1.97 c ---[ 185]---> BDD-cost: 17 1.97 c ---[ 184]---> BDD-cost: 17 1.97 c ---[ 183]---> BDD-cost: 17 1.97 c ---[ 182]---> BDD-cost: 17 1.97 c ---[ 181]---> BDD-cost: 14 1.97 c ---[ 180]---> BDD-cost: 17 1.97 c ---[ 179]---> BDD-cost: 15 1.97 c ---[ 178]---> BDD-cost: 14 1.97 c ---[ 177]---> BDD-cost: 17 1.97 c ---[ 176]---> BDD-cost: 14 1.97 c ---[ 175]---> BDD-cost: 15 1.97 c ---[ 174]---> BDD-cost: 17 1.97 c ---[ 173]---> BDD-cost: 17 1.97 c ---[ 172]---> BDD-cost: 17 1.97 c ---[ 171]---> BDD-cost: 17 1.97 c ---[ 170]---> BDD-cost: 20 1.97 c ---[ 169]---> BDD-cost: 15 1.97 c ---[ 168]---> BDD-cost: 14 1.97 c ---[ 167]---> BDD-cost: 18 1.97 c ---[ 166]---> BDD-cost: 19 1.97 c ---[ 165]---> BDD-cost: 20 1.97 c ---[ 164]---> BDD-cost: 15 1.97 c ---[ 163]---> BDD-cost: 18 1.97 c ---[ 162]---> BDD-cost: 18 1.97 c ---[ 161]---> BDD-cost: 14 1.98 c ---[ 160]---> BDD-cost: 18 1.98 c ---[ 159]---> BDD-cost: 15 1.98 c ---[ 158]---> BDD-cost: 14 1.98 c ---[ 157]---> BDD-cost: 18 1.98 c ---[ 156]---> BDD-cost: 16 1.98 c ---[ 155]---> BDD-cost: 16 1.98 c ---[ 154]---> BDD-cost: 18 1.98 c ---[ 153]---> BDD-cost: 15 1.98 c ---[ 152]---> BDD-cost: 20 1.98 c ---[ 151]---> BDD-cost: 18 1.98 c ---[ 150]---> BDD-cost: 15 1.98 c ---[ 149]---> BDD-cost: 14 1.98 c ---[ 148]---> BDD-cost: 18 1.98 c ---[ 147]---> BDD-cost: 18 1.98 c ---[ 146]---> BDD-cost: 18 1.98 c ---[ 145]---> BDD-cost: 18 1.98 c ---[ 144]---> BDD-cost: 18 1.98 c ---[ 143]---> BDD-cost: 14 1.98 c ---[ 142]---> BDD-cost: 15 1.98 c ---[ 141]---> BDD-cost: 18 1.98 c ---[ 140]---> BDD-cost: 15 1.98 c ---[ 139]---> BDD-cost: 14 1.98 c ---[ 138]---> BDD-cost: 18 1.98 c ---[ 137]---> BDD-cost: 18 1.98 c ---[ 136]---> BDD-cost: 18 1.98 c ---[ 135]---> BDD-cost: 18 1.98 c ---[ 134]---> BDD-cost: 18 1.98 c ---[ 133]---> BDD-cost: 15 1.98 c ---[ 132]---> BDD-cost: 15 1.98 c ---[ 131]---> BDD-cost: 15 1.98 c ---[ 130]---> BDD-cost: 14 1.98 c ---[ 129]---> BDD-cost: 15 1.98 c ---[ 128]---> BDD-cost: 15 1.98 c ---[ 127]---> BDD-cost: 15 1.98 c ---[ 126]---> BDD-cost: 15 1.98 c ---[ 125]---> BDD-cost: 15 1.98 c ---[ 124]---> BDD-cost: 14 1.98 c ---[ 123]---> BDD-cost: 15 1.98 c ---[ 122]---> BDD-cost: 15 1.98 c ---[ 121]---> BDD-cost: 14 1.98 c ---[ 120]---> BDD-cost: 14 1.98 c ---[ 119]---> BDD-cost: 15 1.98 c ---[ 118]---> BDD-cost: 15 1.98 c ---[ 117]---> BDD-cost: 15 1.98 c ---[ 116]---> BDD-cost: 15 1.98 c ---[ 115]---> BDD-cost: 15 1.98 c ---[ 114]---> BDD-cost: 20 1.98 c ---[ 113]---> BDD-cost: 15 1.98 c ---[ 112]---> BDD-cost: 14 1.98 c ---[ 111]---> BDD-cost: 18 1.98 c ---[ 110]---> BDD-cost: 19 1.99 c ---[ 109]---> BDD-cost: 15 1.99 c ---[ 108]---> BDD-cost: 20 1.99 c ---[ 107]---> BDD-cost: 18 1.99 c ---[ 106]---> BDD-cost: 18 1.99 c ---[ 105]---> BDD-cost: 14 1.99 c ---[ 104]---> BDD-cost: 18 1.99 c ---[ 103]---> BDD-cost: 15 1.99 c ---[ 102]---> BDD-cost: 14 1.99 c ---[ 101]---> BDD-cost: 18 1.99 c ---[ 100]---> BDD-cost: 16 1.99 c ---[ 99]---> BDD-cost: 16 1.99 c ---[ 98]---> BDD-cost: 15 1.99 c ---[ 97]---> BDD-cost: 18 1.99 c ---[ 96]---> BDD-cost: 20 1.99 c ---[ 95]---> BDD-cost: 20 1.99 c ---[ 94]---> BDD-cost: 15 1.99 c ---[ 93]---> BDD-cost: 14 1.99 c ---[ 92]---> BDD-cost: 18 1.99 c ---[ 91]---> BDD-cost: 19 1.99 c ---[ 90]---> BDD-cost: 20 1.99 c ---[ 89]---> BDD-cost: 22 1.99 c ---[ 88]---> BDD-cost: 19 1.99 c ---[ 87]---> BDD-cost: 14 1.99 c ---[ 86]---> BDD-cost: 14 1.99 c ---[ 85]---> BDD-cost: 20 1.99 c ---[ 84]---> BDD-cost: 15 1.99 c ---[ 83]---> BDD-cost: 14 1.99 c ---[ 82]---> BDD-cost: 18 1.99 c ---[ 81]---> BDD-cost: 16 1.99 c ---[ 80]---> BDD-cost: 16 1.99 c ---[ 79]---> BDD-cost: 22 1.99 c ---[ 78]---> BDD-cost: 20 1.99 c ---[ 77]---> BDD-cost: 15 1.99 c ---[ 76]---> BDD-cost: 16 1.99 c ---[ 75]---> BDD-cost: 15 1.99 c ---[ 74]---> BDD-cost: 15 1.99 c ---[ 73]---> BDD-cost: 15 1.99 c ---[ 72]---> BDD-cost: 15 1.99 c ---[ 71]---> BDD-cost: 20 1.99 c ---[ 70]---> BDD-cost: 15 1.99 c ---[ 69]---> BDD-cost: 14 1.99 c ---[ 68]---> BDD-cost: 18 1.99 c ---[ 67]---> BDD-cost: 20 1.99 c ---[ 66]---> BDD-cost: 20 1.99 c ---[ 65]---> BDD-cost: 16 1.99 c ---[ 64]---> BDD-cost: 20 1.99 c ---[ 63]---> BDD-cost: 20 1.99 c ---[ 62]---> BDD-cost: 14 1.99 c ---[ 61]---> BDD-cost: 20 2.00 c ---[ 60]---> BDD-cost: 15 2.00 c ---[ 59]---> BDD-cost: 14 2.00 c ---[ 58]---> BDD-cost: 18 2.00 c ---[ 57]---> BDD-cost: 16 2.00 c ---[ 56]---> BDD-cost: 16 2.00 c ---[ 55]---> BDD-cost: 20 2.00 c ---[ 54]---> BDD-cost: 16 2.00 c ---[ 53]---> BDD-cost: 20 2.00 c ---[ 52]---> BDD-cost: 20 2.00 c ---[ 51]---> BDD-cost: 15 2.00 c ---[ 50]---> BDD-cost: 14 2.00 c ---[ 49]---> BDD-cost: 18 2.00 c ---[ 48]---> BDD-cost: 20 2.00 c ---[ 47]---> BDD-cost: 20 2.00 c ---[ 46]---> BDD-cost: 20 2.00 c ---[ 45]---> BDD-cost: 20 2.00 c ---[ 44]---> BDD-cost: 14 2.00 c ---[ 43]---> BDD-cost: 16 2.00 c ---[ 42]---> BDD-cost: 20 2.00 c ---[ 41]---> BDD-cost: 15 2.00 c ---[ 40]---> BDD-cost: 14 2.00 c ---[ 39]---> BDD-cost: 18 2.00 c ---[ 38]---> BDD-cost: 16 2.00 c ---[ 37]---> BDD-cost: 16 2.00 c ---[ 36]---> BDD-cost: 20 2.00 c ---[ 35]---> BDD-cost: 20 2.00 c ---[ 34]---> BDD-cost: 18 2.00 c ---[ 33]---> BDD-cost: 15 2.00 c ---[ 32]---> BDD-cost: 16 2.00 c ---[ 31]---> BDD-cost: 14 2.00 c ---[ 30]---> BDD-cost: 18 2.00 c ---[ 29]---> BDD-cost: 18 2.00 c ---[ 28]---> BDD-cost: 18 2.00 c ---[ 27]---> BDD-cost: 18 2.00 c ---[ 26]---> BDD-cost: 18 2.00 c ---[ 25]---> BDD-cost: 14 2.00 c ---[ 24]---> BDD-cost: 18 2.00 c ---[ 23]---> BDD-cost: 15 2.00 c ---[ 22]---> BDD-cost: 14 2.00 c ---[ 21]---> BDD-cost: 14 2.00 c ---[ 20]---> BDD-cost: 18 2.00 c ---[ 19]---> BDD-cost: 18 2.00 c ---[ 18]---> BDD-cost: 16 2.00 c ---[ 17]---> BDD-cost: 18 2.00 c ---[ 16]---> BDD-cost: 18 2.00 c ---[ 15]---> BDD-cost: 20 2.00 c ---[ 14]---> BDD-cost: 15 2.00 c ---[ 13]---> BDD-cost: 14 2.00 c ---[ 12]---> BDD-cost: 18 2.01 c ---[ 11]---> BDD-cost: 19 2.01 c ---[ 10]---> BDD-cost: 16 2.01 c ---[ 9]---> BDD-cost: 20 2.01 c ---[ 8]---> BDD-cost: 17 2.01 c ---[ 7]---> BDD-cost: 19 2.01 c ---[ 6]---> BDD-cost: 14 2.01 c ---[ 5]---> BDD-cost: 20 2.01 c ---[ 4]---> BDD-cost: 15 2.01 c ---[ 3]---> BDD-cost: 14 2.01 c ---[ 2]---> BDD-cost: 18 2.01 c ---[ 1]---> BDD-cost: 16 2.01 c ---[ 0]---> BDD-cost: 16 2.10 c ==================================[MINISAT+]================================== 2.10 c | Conflicts | Original | Learnt | Progress | 2.10 c | | Clauses Literals | Max Clauses Literals LPC | | 2.10 c ============================================================================== 2.10 c | 0 | 107120 373762 | 35706 0 0 nan | 0.000 % | 2.12 c | 100 | 107100 373698 | 39276 97 294 3.0 | 24.108 % | 2.18 c | 250 | 107028 373454 | 43204 240 734 3.1 | 24.154 % | 2.24 c | 475 | 106953 373203 | 47524 456 1409 3.1 | 24.209 % | 2.42 c | 812 | 106790 372654 | 52277 775 2429 3.1 | 24.321 % | 2.83 c | 1318 | 106452 371492 | 57504 1236 3949 3.2 | 24.545 % | 3.52 c | 2077 | 106112 370344 | 63255 1953 6262 3.2 | 24.770 % | 5.10 c | 3216 | 105544 368374 | 69580 3004 9729 3.2 | 25.149 % | 8.04 c | 4924 | 105009 366565 | 76538 4651 15690 3.4 | 25.517 % | 11.96 c | 7486 | 104718 365580 | 84192 7175 25679 3.6 | 25.714 % | 17.77 c | 11331 | 104664 365400 | 92612 11013 42539 3.9 | 25.749 % | 24.37 c | 17097 | 104655 365371 | 101873 16778 75481 4.5 | 25.757 % | 27.46 c | 25746 | 104647 365345 | 112060 25426 220907 8.7 | 25.761 % | 28.69 c | 38720 | 104647 365345 | 123266 38400 577326 15.0 | 25.761 % | 32.45 c | 58182 | 104647 365345 | 135593 57862 1113303 19.2 | 25.761 % | 36.78 c | 87375 | 104622 365260 | 149152 87051 2616975 30.1 | 25.776 % | 49.07 c | 131165 | 104391 364461 | 164068 130808 7183223 54.9 | 25.927 % | 88.66 c | 196849 | 104045 363277 | 180474 51454 1171711 22.8 | 26.175 % | 127.74 c | 295375 | 103774 362344 | 198522 149945 7411888 49.4 | 26.368 % | 192.71 c | 443164 | 103578 361664 | 218374 103061 4269302 41.4 | 26.511 % | 281.85 c | 664848 | 103310 360772 | 240212 127704 4047362 31.7 | 26.709 % | 416.35 c | 997374 | 103004 359762 | 264233 238982 11736812 49.1 | 26.937 % | 899.91 c | 1496162 | 102824 359178 | 290656 233924 46553570 199.0 | 27.073 % | 1138.21 c ============================================================================== 1138.21 c [1mFound solution: 17255847[0m 1138.21 o 17255847 1138.28 c ---[ 0]---> Adder-cost: 13958 maxlim: 26497147 bits: 26/25 1141.75 c ==================================[MINISAT+]================================== 1141.75 c | Conflicts | Original | Learnt | Progress | 1141.75 c | | Clauses Literals | Max Clauses Literals LPC | | 1141.75 c ============================================================================== 1141.75 c | 2050705 | 200327 707464 | 66775 222206 6473249 29.1 | 27.073 % | 1142.29 c | 2050805 | 200327 707464 | 73452 25907 317457 12.3 | 17.631 % | 1142.53 c | 2050955 | 200327 707464 | 80797 26057 318022 12.2 | 17.631 % | 1143.01 c | 2051180 | 200327 707464 | 88877 26282 319109 12.1 | 17.631 % | 1143.80 c | 2051517 | 200318 707435 | 97765 26618 320519 12.0 | 17.636 % | 1144.95 c | 2052023 | 200318 707435 | 107541 27124 323116 11.9 | 17.636 % | 1146.47 c | 2052782 | 200318 707435 | 118295 27883 327012 11.7 | 17.636 % | 1148.57 c | 2053921 | 200318 707435 | 130125 29022 333611 11.5 | 17.636 % | 1150.82 c | 2055629 | 200295 707356 | 143138 30727 344234 11.2 | 17.646 % | 1153.34 c | 2058191 | 200295 707356 | 157451 33289 364793 11.0 | 17.646 % | 1157.96 c | 2062036 | 200295 707356 | 173197 37134 393154 10.6 | 17.646 % | 1162.17 c | 2067802 | 200295 707356 | 190516 42900 497701 11.6 | 17.646 % | 1169.70 c | 2076452 | 200295 707356 | 209568 51550 603487 11.7 | 17.646 % | 1176.04 c | 2089426 | 200279 707304 | 230525 64521 999852 15.5 | 17.654 % | 1193.12 c | 2108889 | 200220 707113 | 253577 83977 1245236 14.8 | 17.684 % | 1215.51 c | 2138081 | 200195 707032 | 278935 113163 2001747 17.7 | 17.696 % | 1240.90 c | 2181870 | 200153 706890 | 306829 156945 4690378 29.9 | 17.714 % | 1287.91 c | 2247555 | 199956 706235 | 337512 222602 8241768 37.0 | 17.807 % | 1301.12 c ============================================================================== 1301.12 c [1mFound solution: 16619311[0m 1301.12 o 16619311 1301.19 c ---[ 0]---> Adder-cost: 0 maxlim: 27133683 bits: 26/25 1304.40 c ==================================[MINISAT+]================================== 1304.40 c | Conflicts | Original | Learnt | Progress | 1304.40 c | | Clauses Literals | Max Clauses Literals LPC | | 1304.40 c ============================================================================== 1304.40 c | 2263289 | 199970 706429 | 66656 238332 8634147 36.2 | 17.807 % | 1304.98 c | 2263389 | 199970 706429 | 73321 32709 408293 12.5 | 17.832 % | 1305.24 c | 2263540 | 199970 706429 | 80653 32860 409515 12.5 | 17.832 % | 1305.66 c | 2263765 | 199970 706429 | 88719 33085 410997 12.4 | 17.832 % | 1306.27 c | 2264102 | 199970 706429 | 97591 33422 412975 12.4 | 17.832 % | 1307.04 c | 2264609 | 199970 706429 | 107350 33929 415628 12.2 | 17.832 % | 1307.71 c | 2265368 | 199947 706350 | 118085 34685 419586 12.1 | 17.842 % | 1308.75 c | 2266507 | 199947 706350 | 129893 35824 425308 11.9 | 17.842 % | 1310.13 c | 2268215 | 199947 706350 | 142883 37532 435289 11.6 | 17.842 % | 1311.99 c | 2270777 | 199908 706217 | 157171 40087 460998 11.5 | 17.857 % | 1314.55 c | 2274621 | 199908 706217 | 172888 43931 496868 11.3 | 17.857 % | 1318.18 c | 2280387 | 199908 706217 | 190177 49697 561464 11.3 | 17.857 % | 1323.17 c | 2289036 | 199908 706217 | 209195 58346 691270 11.8 | 17.857 % | 1329.60 c | 2302010 | 199867 706078 | 230114 71312 1327654 18.6 | 17.875 % | 1338.28 c | 2321471 | 199860 706051 | 253126 90772 2022551 22.3 | 17.877 % | 1352.77 c | 2350663 | 199860 706051 | 278438 119964 3624107 30.2 | 17.877 % | 1369.49 c | 2394453 | 199860 706051 | 306282 163754 6613270 40.4 | 17.877 % | 1388.00 c | 2460138 | 199860 706051 | 336910 229439 11311362 49.3 | 17.877 % | 1430.09 c ============================================================================== 1430.09 c [1mFound solution: 16078248[0m 1430.09 o 16078248 1430.16 c ---[ 0]---> Adder-cost: 0 maxlim: 27674746 bits: 26/25 1433.47 c ==================================[MINISAT+]================================== 1433.47 c | Conflicts | Original | Learnt | Progress | 1433.47 c | | Clauses Literals | Max Clauses Literals LPC | | 1433.47 c ============================================================================== 1433.47 c | 2557477 | 199883 706288 | 66627 326776 18147501 55.5 | 17.877 % | 1434.62 c | 2557577 | 199883 706288 | 73289 31239 316729 10.1 | 17.902 % | 1434.82 c | 2557727 | 199883 706288 | 80618 31389 317442 10.1 | 17.902 % | 1435.16 c | 2557952 | 199883 706288 | 88680 31614 318667 10.1 | 17.902 % | 1435.51 c | 2558289 | 199883 706288 | 97548 31951 320232 10.0 | 17.902 % | 1436.01 c | 2558795 | 199883 706288 | 107303 32457 323223 10.0 | 17.902 % | 1436.68 c | 2559554 | 199883 706288 | 118033 33216 327655 9.9 | 17.902 % | 1437.61 c | 2560695 | 199883 706288 | 129837 34357 335934 9.8 | 17.902 % | 1438.83 c | 2562403 | 199883 706288 | 142820 36065 350300 9.7 | 17.902 % | 1440.43 c | 2564965 | 199883 706288 | 157102 38627 378404 9.8 | 17.902 % | 1442.47 c | 2568809 | 199883 706288 | 172813 42471 439788 10.4 | 17.902 % | 1445.39 c | 2574575 | 199867 706236 | 190094 48234 537862 11.2 | 17.909 % | 1449.74 c | 2583224 | 199867 706236 | 209104 56883 1284672 22.6 | 17.909 % | 1456.48 c | 2596199 | 199867 706236 | 230014 69858 1612408 23.1 | 17.909 % | 1468.88 c | 2615660 | 199867 706236 | 253015 89319 4425820 49.6 | 17.909 % | 1480.93 c | 2644852 | 199867 706236 | 278317 118511 5520549 46.6 | 17.909 % | 1496.16 c | 2688641 | 199867 706236 | 306149 162300 7514687 46.3 | 17.909 % | 1528.89 c | 2754325 | 199861 706219 | 336764 227982 11247479 49.3 | 17.912 % | 1556.93 c ============================================================================== 1556.93 c [1mFound solution: 16044650[0m 1556.93 o 16044650 1556.99 c ---[ 0]---> Adder-cost: 0 maxlim: 27708344 bits: 26/25 1560.23 c ==================================[MINISAT+]================================== 1560.23 c | Conflicts | Original | Learnt | Progress | 1560.23 c | | Clauses Literals | Max Clauses Literals LPC | | 1560.23 c ============================================================================== 1560.23 c | 2808037 | 199879 706439 | 66626 281694 12364549 43.9 | 17.912 % | 1560.96 c | 2808137 | 199879 706439 | 73288 25512 392766 15.4 | 17.932 % | 1561.11 c | 2808289 | 199879 706439 | 80617 25664 393396 15.3 | 17.932 % | 1561.38 c | 2808514 | 199879 706439 | 88679 25889 394618 15.2 | 17.932 % | 1561.70 c | 2808851 | 199879 706439 | 97547 26226 396491 15.1 | 17.932 % | 1562.31 c | 2809358 | 199879 706439 | 107301 26733 399968 15.0 | 17.932 % | 1563.20 c | 2810117 | 199879 706439 | 118032 27492 403861 14.7 | 17.932 % | 1564.73 c | 2811256 | 199879 706439 | 129835 28631 409027 14.3 | 17.932 % | 1566.55 c | 2812964 | 199879 706439 | 142818 30339 416865 13.7 | 17.932 % | 1568.90 c | 2815527 | 199879 706439 | 157100 32902 432153 13.1 | 17.932 % | 1571.62 c | 2819371 | 199879 706439 | 172810 36746 463618 12.6 | 17.932 % | 1575.18 c | 2825137 | 199879 706439 | 190091 42512 540956 12.7 | 17.932 % | 1580.57 c | 2833786 | 199879 706439 | 209100 51161 682425 13.3 | 17.932 % | 1586.51 c | 2846764 | 199879 706439 | 230011 64139 1070230 16.7 | 17.932 % | 1596.88 c | 2866225 | 199879 706439 | 253012 83600 1467370 17.6 | 17.932 % | 1604.62 c | 2895418 | 199879 706439 | 278313 112793 2505469 22.2 | 17.932 % | 1617.89 c | 2939207 | 199879 706439 | 306144 156582 4982964 31.8 | 17.932 % | 1637.72 c | 3004891 | 199879 706439 | 336759 222266 8550114 38.5 | 17.932 % | 1672.51 c ============================================================================== 1672.51 c [1mFound solution: 15971955[0m 1672.51 o 15971955 1672.57 c ---[ 0]---> Adder-cost: 0 maxlim: 27781039 bits: 26/25 1675.85 c ==================================[MINISAT+]================================== 1675.85 c | Conflicts | Original | Learnt | Progress | 1675.85 c | | Clauses Literals | Max Clauses Literals LPC | | 1675.85 c ============================================================================== 1675.85 c | 3061271 | 199900 706640 | 66633 278646 13274296 47.6 | 17.932 % | 1676.73 c | 3061371 | 199900 706640 | 73296 22566 2161622 95.8 | 17.950 % | 1676.82 c | 3061521 | 199900 706640 | 80625 22716 2162359 95.2 | 17.950 % | 1677.04 c | 3061746 | 199900 706640 | 88688 22941 2163347 94.3 | 17.950 % | 1677.49 c | 3062083 | 199900 706640 | 97557 23278 2164805 93.0 | 17.950 % | 1677.97 c | 3062589 | 199900 706640 | 107313 23784 2167330 91.1 | 17.950 % | 1678.83 c | 3063348 | 199900 706640 | 118044 24543 2171037 88.5 | 17.950 % | 1679.92 c | 3064487 | 199900 706640 | 129848 25682 2177771 84.8 | 17.950 % | 1681.59 c | 3066195 | 199900 706640 | 142833 27390 2187825 79.9 | 17.950 % | 1683.72 c | 3068757 | 199900 706640 | 157117 29952 2205335 73.6 | 17.950 % | 1686.36 c | 3072601 | 199900 706640 | 172828 33796 2239450 66.3 | 17.950 % | 1689.75 c | 3078368 | 199900 706640 | 190111 39563 2308078 58.3 | 17.950 % | 1694.09 c | 3087017 | 199900 706640 | 209122 48212 2591202 53.7 | 17.950 % | 1700.18 c | 3099991 | 199900 706640 | 230035 61186 2851575 46.6 | 17.950 % | 1709.94 c | 3119452 | 199900 706640 | 253038 80647 3832728 47.5 | 17.950 % | 1724.45 c | 3148645 | 199900 706640 | 278342 109840 6615552 60.2 | 17.950 % | 1747.24 c | 3192434 | 199900 706640 | 306176 153629 8084720 52.6 | 17.950 % | 1770.51 c | 3258118 | 199900 706640 | 336794 219313 13800253 62.9 | 17.950 % | 1801.13 c 1801.13 c *** TERMINATED *** 1801.13 s SATISFIABLE 1801.13 v x1 x2 -x3 x4 x5 x6 x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1801.13 v -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.13 v -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1801.13 v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x6361 -x6362 1801.13 v -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 1801.13 v -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 1801.13 v -x6697 x6698 -x6699 x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 1801.13 v -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 -x7022 -x7023 -x7024 -x7025 x7026 -x7027 x7028 -x7029 -x7030 -x7031 -x7032 1801.13 v -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 1801.13 v -x7050 x7351 -x7352 -x7353 -x7354 x7355 -x7356 -x7357 x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 1801.13 v -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7681 -x7682 -x7683 -x7684 1801.13 v -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 1801.13 v -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 x8011 x8012 -x8013 x8014 -x8015 x8016 -x8017 -x8018 -x8019 1801.13 v -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 1801.13 v -x8037 -x8038 -x8039 -x8040 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 1801.13 v -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 1801.13 v -x61 -x62 x63 -x64 x65 x66 x67 -x68 x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 1801.13 v -x88 -x89 -x90 x391 x392 x393 x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 1801.13 v -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x721 x722 x723 -x724 -x725 x726 -x727 x728 -x729 -x730 -x731 1801.13 v x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 1801.13 v -x1053 -x1054 x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1801.13 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 x1382 -x1383 -x1384 x1385 x1386 x1387 x1388 1801.13 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1801.13 v -x1406 -x1407 -x1408 -x1409 -x1410 x1711 x1712 -x1713 -x1714 x1715 x1716 x1717 -x1718 x1719 x1720 x1721 -x1722 -x1723 -x1724 1801.13 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 1801.13 v x2042 -x2043 x2044 x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1801.13 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 1801.13 v x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 1801.13 v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 1801.13 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 1801.13 v -x2729 -x2730 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1801.13 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 x3392 1801.13 v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 1801.13 v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 1801.13 v -x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 1801.13 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 x4052 -x4053 -x4054 -x4055 x4056 -x4057 -x4058 -x4059 -x4060 -x4061 1801.13 v -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 1801.13 v -x4079 -x4080 x4381 x4382 -x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4389 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 1801.13 v -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 x4712 -x4713 1801.13 v -x4714 -x4715 -x4716 -x4717 -x4718 x4719 x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 1801.13 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 1801.13 v -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 1801.13 v -x5067 -x5068 -x5069 -x5070 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1801.13 v -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 1801.13 v -x5701 -x5702 x5703 -x5704 -x5705 -x5706 x5707 -x5708 -x5709 x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 1801.13 v -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x6031 -x6032 -x6033 -x6034 -x6035 1801.13 v -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 1801.13 v -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 x6331 x6332 -x6333 -x6334 -x6335 x6336 -x6337 -x6338 -x6339 -x6340 1801.13 v -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 1801.13 v -x6358 -x6359 -x6360 -x6391 -x6392 -x6393 -x6394 -x6395 x6396 x6397 x6398 x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 1801.13 v -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 x6421 x6422 -x6423 1801.13 v -x6424 -x6425 x6426 x6427 -x6428 x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 1801.13 v -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 x6455 x6456 x6457 -x6458 x6459 1801.13 v -x6460 -x6461 x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 1801.13 v -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 x6485 x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 1801.13 v -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 1801.13 v -x6512 -x6513 -x6514 x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 1801.13 v -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 1801.13 v -x6546 -x6547 x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 1801.13 v -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 x6575 -x6576 -x6577 x6578 -x6579 -x6580 1801.13 v -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 1801.13 v -x6598 -x6599 -x6600 -x6601 x6602 -x6603 x6604 -x6605 -x6606 x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 1801.13 v -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 1801.13 v -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 1801.13 v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 x6662 -x6663 x6664 -x6665 x6666 -x6667 1801.13 v -x6668 x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 1801.13 v -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6721 x6722 -x6723 x6724 -x6725 -x6726 -x6727 -x6728 -x6729 x6730 -x6731 x6732 1801.13 v x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 1801.13 v -x6750 -x6751 x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 x6760 -x6761 x6762 x6763 -x6764 -x6765 -x6766 -x6767 1801.13 v -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 x6784 1801.13 v -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 1801.13 v -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 x6817 -x6818 1801.13 v -x6819 -x6820 -x6821 -x6822 x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 1801.13 v -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 x6849 -x6850 -x6851 -x6852 1801.13 v -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 1801.13 v -x6870 -x6871 -x6872 x6873 x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 1801.13 v -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 x6903 -x6904 1801.13 v -x6905 -x6906 -x6907 x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 1801.13 v -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 x6936 -x6937 -x6938 1801.13 v x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 1801.13 v -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 x6965 -x6966 -x6967 -x6968 x6969 -x6970 -x6971 -x6972 -x6973 1801.13 v -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 1801.13 v -x6991 -x6992 x6993 -x6994 -x6995 -x6996 x6997 -x6998 x6999 x7000 -x7001 x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 1801.13 v -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7051 -x7052 x7053 -x7054 x7055 -x7056 1801.13 v -x7057 -x7058 -x7059 x7060 x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 1801.13 v -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 x7083 -x7084 -x7085 -x7086 -x7087 x7088 -x7089 -x7090 x7091 -x7092 1801.13 v -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 1801.13 v -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 x7121 -x7122 -x7123 -x7124 -x7125 -x7126 1801.13 v -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 1801.13 v -x7144 -x7145 -x7146 -x7147 x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 1801.13 v -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 1801.13 v -x7178 x7179 x7180 x7181 x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 1801.13 v -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 1801.13 v -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 1801.13 v -x7230 x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 x7242 -x7243 -x7244 -x7245 -x7246 -x7247 1801.13 v -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 x7264 1801.13 v -x7265 -x7266 -x7267 x7268 -x7269 x7270 -x7271 -x7272 x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 1801.13 v -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 x7297 x7298 -x7299 -x7300 1801.13 v -x7301 -x7302 x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 1801.13 v -x7318 -x7319 -x7320 x7321 -x7322 -x7323 -x7324 -x7325 -x7326 x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 1801.13 v -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7381 -x7382 1801.13 v -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 1801.13 v -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 x7412 x7413 -x7414 -x7415 -x7416 -x7417 1801.13 v -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 1801.13 v -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 x7443 -x7444 x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 1801.13 v -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 1801.13 v -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 x7476 x7477 x7478 x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 1801.13 v -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 1801.13 v x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 1801.13 v -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 x7534 -x7535 -x7536 x7537 -x7538 x7539 1801.13 v -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 1801.13 v -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 x7564 x7565 -x7566 -x7567 -x7568 x7569 x7570 -x7571 x7572 -x7573 -x7574 1801.13 v -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 1801.13 v -x7592 -x7593 x7594 -x7595 -x7596 -x7597 -x7598 -x7599 x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 1801.13 v -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 1801.13 v -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 1801.13 v -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 x7658 -x7659 x7660 -x7661 1801.13 v -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 1801.13 v -x7679 -x7680 -x7711 x7712 -x7713 -x7714 -x7715 -x7716 -x7717 x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 1801.13 v -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 1801.13 v -x7744 x7745 -x7746 -x7747 -x7748 -x7749 -x7750 x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 1801.13 v -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 x7775 -x7776 x7777 -x7778 x7779 1801.13 v x7780 -x7781 x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 1801.13 v -x7798 -x7799 -x7800 -x7801 x7802 -x7803 x7804 x7805 x7806 -x7807 -x7808 x7809 -x7810 -x7811 x7812 -x7813 -x7814 -x7815 1801.13 v -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 x7832 1801.13 v -x7833 -x7834 x7835 -x7836 x7837 x7838 -x7839 x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 1801.13 v -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 x7867 1801.13 v x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 1801.13 v -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 1801.13 v -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 1801.13 v -x7919 -x7920 -x7921 -x7922 -x7923 x7924 x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 x7933 -x7934 -x7935 -x7936 1801.13 v -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 x7952 x7953 -x7954 1801.13 v -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 1801.13 v -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 x7984 x7985 -x7986 -x7987 -x7988 -x7989 1801.13 v -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 1801.13 v -x8007 -x8008 -x8009 -x8010 -x8041 x8042 -x8043 -x8044 -x8045 -x8046 x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 1801.13 v -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 1801.13 v -x8072 -x8073 -x8074 x8075 x8076 x8077 x8078 -x8079 x8080 -x8081 x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 1801.13 v -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 x8102 x8103 -x8104 x8105 -x8106 -x8107 1801.13 v -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 1801.13 v -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 x8133 -x8134 x8135 -x8136 x8137 -x8138 x8139 -x8140 -x8141 -x8142 1801.13 v -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 1801.13 v -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 1801.13 v -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 x8192 x8193 -x8194 1801.13 v -x8195 -x8196 -x8197 x8198 -x8199 x8200 x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 1801.13 v -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 x8223 -x8224 -x8225 -x8226 x8227 -x8228 -x8229 x8230 1801.13 v x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 1801.13 v -x8248 -x8249 -x8250 -x8251 x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 1801.13 v -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 1801.13 v -x8282 -x8283 -x8284 x8285 -x8286 x8287 x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 1801.13 v -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 x8315 -x8316 1801.13 v x8317 -x8318 -x8319 -x8320 -x8321 -x8322 x8323 x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 1801.13 v -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8371 x8372 -x8373 -x8374 x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 x8382 1801.13 v -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 1801.13 v -x8400 -x8401 x8402 -x8403 -x8404 -x8405 -x8406 x8407 x8408 -x8409 -x8410 x8411 -x8412 -x8413 x8414 -x8415 -x8416 -x8417 1801.13 v -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 1801.13 v -x8435 -x8436 -x8437 x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 1801.13 v -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 x8462 -x8463 -x8464 -x8465 -x8466 x8467 x8468 -x8469 1801.13 v -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 1801.13 v -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 x8494 x8495 -x8496 x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 1801.13 v -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 1801.13 v -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 1801.13 v -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 x8554 x8555 -x8556 1801.13 v -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 1801.13 v -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 x8587 x8588 -x8589 -x8590 -x8591 1801.13 v -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 1801.13 v -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 x8617 -x8618 -x8619 -x8620 x8621 x8622 -x8623 -x8624 -x8625 -x8626 1801.13 v -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 x8642 -x8643 1801.13 v x8644 -x8645 -x8646 x8647 x8648 -x8649 x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 1801.13 v -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x91 -x92 x93 -x94 -x95 -x96 -x97 x98 x99 x100 -x101 -x102 1801.13 v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 1801.13 v -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1801.13 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 x164 -x165 1801.13 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 1801.13 v x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 1801.13 v -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 1801.13 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 x244 -x245 -x246 x247 -x248 -x249 1801.13 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1801.13 v -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 x280 -x281 x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 1801.13 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 -x303 x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 1801.13 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 -x334 1801.13 v x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 1801.13 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1801.13 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x421 -x422 -x423 -x424 -x425 -x426 -x427 1801.13 v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 1801.13 v -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1801.13 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 1801.13 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1801.13 v x512 -x513 x514 x515 -x516 x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 1801.13 v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 x548 -x549 -x550 x551 -x552 -x553 -x554 1801.13 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 1801.13 v -x576 x577 -x578 x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1801.13 v -x597 -x598 -x599 -x600 -x601 x602 -x603 x604 -x605 -x606 x607 x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 1801.13 v -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 x633 x634 -x635 -x636 x637 x638 x639 -x640 1801.13 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 1801.13 v x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 1801.13 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 1801.13 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 1801.13 v x755 x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1801.13 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1801.13 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 1801.13 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1801.13 v -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 1801.13 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 x874 -x875 x876 -x877 -x878 -x879 x880 1801.13 v -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 1801.13 v x902 x903 -x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 1801.13 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 1801.13 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 x964 1801.13 v -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 1801.13 v -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1801.13 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1801.13 v x1023 -x1024 x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1801.13 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 x1083 x1084 x1085 -x1086 x1087 -x1088 1801.13 v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 1801.13 v -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 1801.13 v -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 1801.13 v -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 x1147 -x1148 x1149 -x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1801.13 v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 1801.13 v x1175 -x1176 x1177 -x1178 x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1801.13 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 x1207 -x1208 x1209 x1210 1801.13 v x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1801.13 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 1801.13 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1801.13 v x1262 -x1263 -x1264 x1265 x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1801.13 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 x1295 x1296 -x1297 1801.13 v -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1801.13 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1801.13 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1801.13 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1801.13 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 1801.13 v -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1801.13 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 x1444 -x1445 x1446 -x1447 -x1448 1801.13 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1801.13 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1801.13 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1801.13 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1801.13 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 1801.13 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1801.13 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1801.13 v x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1801.13 v -x1587 -x1588 -x1589 -x1590 -x1591 x1592 x1593 x1594 -x1595 x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1801.13 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1801.13 v x1622 x1623 x1624 -x1625 x1626 -x1627 x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1801.13 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1801.13 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1801.13 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 1801.13 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1801.13 v -x1709 -x1710 -x1741 x1742 -x1743 -x1744 x1745 -x1746 x1747 x1748 x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1801.13 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1801.13 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1801.13 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 x1807 -x1808 1801.13 v x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1801.13 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 1801.13 v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 1801.13 v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1801.13 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1801.13 v -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1801.13 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 x1927 x1928 -x1929 1801.13 v -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1801.13 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 1801.13 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1801.13 v -x1981 -x1982 -x1983 x1984 -x1985 x1986 x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1801.13 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1801.13 v x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1801.13 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1801.13 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1801.13 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1801.13 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1801.13 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1801.13 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1801.13 v -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1801.13 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 1801.13 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 1801.13 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 x2226 x2227 -x2228 x2229 -x2230 -x2231 -x2232 -x2233 1801.13 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1801.13 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1801.13 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 1801.13 v -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1801.13 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 x2319 -x2320 1801.13 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1801.13 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1801.13 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 1801.13 v -x2403 -x2404 -x2405 -x2406 x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1801.13 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 1801.13 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1801.13 v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 1801.13 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1801.13 v -x2490 -x2491 -x2492 x2493 x2494 x2495 -x2496 x2497 x2498 x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1801.13 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 1801.13 v -x2525 x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1801.13 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 1801.13 v x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 1801.13 v -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 1801.13 v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1801.13 v x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 1801.13 v -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 x2644 x2645 -x2646 -x2647 x2648 -x2649 1801.13 v x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 1801.13 v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 1801.13 v -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 1801.13 v -x2732 x2733 x2734 -x2735 -x2736 x2737 -x2738 x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1801.13 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 x2764 x2765 -x2766 -x2767 1801.13 v -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 1801.13 v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 x2795 x2796 x2797 -x2798 x2799 -x2800 -x2801 -x2802 1801.13 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 1801.13 v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 x2829 -x2830 x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 1801.13 v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 1801.13 v x2855 -x2856 x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1801.13 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 1801.13 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1801.13 v -x2907 -x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 1801.13 v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 1801.13 v x2942 -x2943 -x2944 -x2945 x2946 x2947 -x2948 x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 1801.13 v -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 1801.13 v -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 1801.13 v -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1801.13 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1801.13 v -x3029 -x3030 -x3061 -x3062 -x3063 x3064 -x3065 -x3066 x3067 x3068 x3069 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 1801.13 v -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 1801.13 v -x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 1801.13 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3121 x3122 x3123 x3124 -x3125 x3126 -x3127 -x3128 1801.13 v -x3129 -x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 1801.13 v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 x3156 x3157 -x3158 x3159 -x3160 -x3161 -x3162 -x3163 1801.13 v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 1801.13 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 1801.13 v -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 x3212 -x3213 x3214 -x3215 1801.13 v x3216 -x3217 x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1801.13 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 x3242 x3243 -x3244 -x3245 x3246 -x3247 x3248 -x3249 -x3250 -x3251 1801.13 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 1801.13 v -x3269 -x3270 -x3271 -x3272 x3273 x3274 -x3275 -x3276 x3277 x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 1801.13 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 x3303 x3304 1801.13 v -x3305 -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 1801.13 v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 x3332 x3333 -x3334 -x3335 -x3336 x3337 x3338 -x3339 1801.13 v x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 1801.13 v -x3357 -x3358 -x3359 -x3360 x3421 x3422 -x3423 -x3424 -x3425 -x3426 x3427 -x3428 x3429 -x3430 x3431 -x3432 -x3433 -x3434 1801.13 v -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 1801.13 v -x3452 -x3453 -x3454 x3455 -x3456 -x3457 x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 1801.13 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 x3482 x3483 -x3484 x3485 -x3486 -x3487 1801.13 v -x3488 x3489 x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1801.13 v -x3506 -x3507 -x3508 -x3509 -x3510 x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 1801.13 v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 1801.13 v x3541 x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 1801.13 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 1801.13 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 1801.13 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 x3610 1801.13 v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 1801.13 v -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 -x3642 -x3643 x3644 -x3645 1801.13 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 1801.13 v -x3663 -x3664 x3665 -x3666 -x3667 -x3668 x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 1801.13 v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 -x3693 x3694 -x3695 x3696 -x3697 -x3698 1801.13 v -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 1801.13 v -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 x3753 -x3754 x3755 -x3756 -x3757 -x3758 x3759 x3760 -x3761 -x3762 -x3763 1801.13 v -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 1801.13 v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 1801.13 v -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 -x3812 -x3813 -x3814 1801.13 v x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 1801.13 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 -x3848 -x3849 1801.13 v -x3850 -x3851 -x3852 -x3853 x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 1801.13 v -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 x3879 -x3880 -x3881 -x3882 -x3883 -x3884 1801.13 v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 1801.13 v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 1801.13 v -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 -x3932 x3933 -x3934 -x3935 x3936 1801.13 v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 1801.13 v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 1801.13 v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 1801.13 v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 x3996 -x3997 -x3998 x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 1801.13 v -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 x4022 x4023 -x4024 1801.13 v -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 1801.13 v -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 1801.13 v x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 1801.13 v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 x4122 -x4123 1801.13 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 1801.13 v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 1801.13 v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 1801.13 v x4175 -x4176 -x4177 -x4178 -x4179 x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 1801.13 v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 x4207 -x4208 -x4209 -x4210 1801.13 v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 1801.13 v -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 1801.13 v -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 1801.13 v -x4262 -x4263 x4264 x4265 x4266 x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 1801.13 v -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 1801.13 v -x4297 x4298 -x4299 -x4300 -x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 1801.13 v -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 1801.13 v -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 1801.13 v -x4349 -x4350 x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 1801.13 v -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 1801.13 v -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 1801.13 v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 x4447 1801.13 v -x4448 -x4449 x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 1801.13 v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 x4472 x4473 x4474 -x4475 x4476 x4477 -x4478 -x4479 -x4480 -x4481 -x4482 1801.13 v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 1801.13 v -x4500 x4501 x4502 -x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 1801.13 v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 1801.13 v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 1801.13 v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 -x4562 -x4563 -x4564 x4565 x4566 -x4567 -x4568 -x4569 1801.13 v x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 1801.13 v -x4587 -x4588 -x4589 -x4590 -x4591 x4592 -x4593 -x4594 x4595 x4596 x4597 -x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 1801.13 v -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 1801.13 v x4622 -x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 -x4630 x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 1801.13 v -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 1801.13 v -x4657 x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 1801.13 v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 x4688 x4689 -x4690 -x4691 -x4692 1801.13 v -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 1801.13 v -x4710 -x4741 -x4742 x4743 -x4744 -x4745 -x4746 x4747 -x4748 x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 1801.13 v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 1801.13 v -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 1801.13 v -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 1801.13 v -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 1801.13 v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 x4835 x4836 -x4837 x4838 -x4839 -x4840 x4841 -x4842 -x4843 1801.13 v -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 1801.13 v x4861 x4862 x4863 -x4864 x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 1801.13 v -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 1801.13 v -x4896 -x4897 -x4898 x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 1801.13 v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4921 x4922 x4923 -x4924 x4925 -x4926 -x4927 -x4928 -x4929 -x4930 1801.13 v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 1801.13 v -x4948 -x4949 -x4950 -x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 x4960 -x4961 x4962 -x4963 -x4964 -x4965 1801.13 v -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 1801.13 v x4983 -x4984 x4985 -x4986 -x4987 -x4988 -x4989 x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1801.13 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 x5011 x5012 x5013 x5014 x5015 x5016 x5017 -x5018 1801.13 v -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 1801.13 v -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 1801.13 v -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 1801.13 v -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 1801.13 v -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 1801.13 v x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 1801.13 v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 -x5162 -x5163 -x5164 -x5165 -x5166 x5167 -x5168 1801.13 v x5169 x5170 x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 1801.13 v -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 1801.13 v -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 1801.13 v -x5221 -x5222 -x5223 x5224 -x5225 -x5226 x5227 x5228 x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 1801.13 v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 1801.13 v -x5256 x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 1801.13 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 x5284 -x5285 -x5286 x5287 x5288 -x5289 -x5290 -x5291 1801.13 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 1801.13 v -x5309 -x5310 -x5311 -x5312 -x5313 x5314 -x5315 -x5316 x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 1801.13 v -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 1801.13 v -x5344 -x5345 -x5346 -x5347 -x5348 x5349 x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 1801.13 v -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 -x5402 x5403 x5404 -x5405 -x5406 x5407 -x5408 x5409 1801.13 v x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 1801.13 v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 -x5435 -x5436 x5437 -x5438 x5439 x5440 x5441 -x5442 -x5443 -x5444 1801.13 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 1801.13 v -x5462 -x5463 -x5464 -x5465 -x5466 x5467 -x5468 x5469 -x5470 x5471 -x5472 x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 1801.13 v -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 1801.13 v x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 1801.13 v -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 x5522 -x5523 -x5524 -x5525 -x5526 -x5527 x5528 -x5529 -x5530 -x5531 -x5532 1801.13 v -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 1801.13 v -x5550 -x5551 -x5552 -x5553 x5554 -x5555 -x5556 x5557 x5558 x5559 -x5560 -x5561 x5562 -x5563 -x5564 -x5565 -x5566 -x5567 1801.13 v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 -x5583 x5584 -x5585 1801.13 v -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 1801.13 v -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 x5619 1801.13 v x5620 x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 1801.13 v -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 -x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 1801.13 v -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 1801.13 v x5673 -x5674 -x5675 -x5676 -x5677 -x5678 x5679 x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 1801.13 v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 1801.13 v -x5738 x5739 x5740 -x5741 x5742 x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 1801.13 v -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 x5769 -x5770 x5771 x5772 -x5773 1801.13 v -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 1801.13 v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 1801.13 v -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 x5823 -x5824 1801.13 v -x5825 x5826 x5827 x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 1801.13 v -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 x5858 -x5859 -x5860 1801.13 v -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 1801.13 v -x5878 -x5879 -x5880 -x5881 -x5882 x5883 -x5884 x5885 x5886 x5887 -x5888 -x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 1801.13 v -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 1801.13 v -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 x5919 x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 1801.13 v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 x5943 -x5944 -x5945 x5946 x5947 x5948 1801.13 v x5949 x5950 -x5951 -x5952 x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 1801.13 v -x5967 -x5968 -x5969 -x5970 x5971 x5972 -x5973 -x5974 x5975 -x5976 x5977 -x5978 -x5979 x5980 -x5981 -x5982 -x5983 x5984 1801.13 v -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 1801.13 v -x6002 x6003 -x6004 -x6005 x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 x6014 -x6015 -x6016 -x6017 -x6018 -x6019 1801.13 v -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 x6061 x6062 x6063 -x6064 x6065 x6066 x6067 1801.13 v -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 1801.13 v -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 1801.13 v x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 1801.13 v -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 1801.13 v -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 x6152 1801.13 v -x6153 x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 1801.13 v -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 x6182 -x6183 -x6184 -x6185 -x6186 1801.13 v x6187 -x6188 -x6189 x6190 x6191 x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 1801.13 v -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 1801.13 v -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 1801.13 v -x6239 -x6240 -x6241 x6242 -x6243 -x6244 -x6245 -x6246 x6247 -x6248 -x6249 x6250 x6251 x6252 -x6253 -x6254 -x6255 -x6256 1801.13 v -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 x6271 x6272 -x6273 -x6274 1801.13 v -x6275 -x6276 x6277 -x6278 x6279 -x6280 x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 1801.13 v -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 x6302 -x6303 -x6304 -x6305 x6306 -x6307 -x6308 -x6309 -x6310 1801.13 v x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 1801.13 v -x6328 -x6329 -x6330 x8671 x8672 -x8783 x8883 x8894 x8905 x8916 x8927 x8938 -x8949 x8673 x8684 x8695 x8706 x8717 x8728 x8739 1801.13 v x8750 x8761 x8772 x8784 x8795 x8806 x8817 x8828 x8839 x8850 x8861 x8872 x8882 x8884 x8885 x8886 x8887 x8888 x8889 x8890 x8891 1801.13 v x8892 x8893 x8895 x8896 x8897 x8898 x8899 x8900 x8901 x8902 x8903 x8904 x8906 x8907 x8908 x8909 x8910 -x8911 x8912 x8913 1801.13 v x8914 x8915 x8917 x8918 x8919 x8920 x8921 x8922 x8923 x8924 -x8925 x8926 x8928 x8929 x8930 x8931 x8932 x8933 x8934 x8935 1801.13 v x8936 x8937 x8939 x8940 x8941 x8942 -x8943 x8944 x8945 x8946 x8947 x8948 x8950 x8951 x8952 x8953 x8954 -x8955 x8956 x8957 1801.13 v x8958 x8959 x8674 x8675 x8676 x8677 x8678 x8679 x8680 x8681 x8682 x8683 x8685 -x8686 x8687 x8688 x8689 x8690 x8691 x8692 1801.13 v x8693 -x8694 x8696 x8697 x8698 x8699 x8700 x8701 x8702 x8703 x8704 x8705 x8707 -x8708 x8709 x8710 x8711 x8712 x8713 x8714 1801.13 v x8715 -x8716 x8718 x8719 x8720 -x8721 x8722 x8723 x8724 x8725 -x8726 x8727 x8729 -x8730 x8731 x8732 x8733 x8734 x8735 x8736 1801.13 v x8737 x8738 x8740 x8741 -x8742 x8743 x8744 x8745 x8746 x8747 x8748 x8749 x8751 x8752 x8753 x8754 x8755 x8756 x8757 x8758 1801.13 v x8759 x8760 x8762 x8763 x8764 x8765 x8766 x8767 x8768 x8769 x8770 x8771 x8773 x8774 x8775 x8776 x8777 x8778 x8779 x8780 x8781 1801.13 v x8782 x8785 x8786 x8787 x8788 x8789 -x8790 x8791 x8792 x8793 x8794 x8796 -x8797 x8798 x8799 x8800 -x8801 x8802 x8803 x8804 1801.13 v x8805 x8807 x8808 x8809 x8810 x8811 x8812 x8813 x8814 -x8815 x8816 x8818 x8819 x8820 x8821 -x8822 x8823 x8824 x8825 x8826 1801.13 v x8827 x8829 -x8830 x8831 x8832 x8833 x8834 x8835 x8836 x8837 x8838 -x8840 x8841 x8842 x8843 -x8844 x8845 x8846 x8847 x8848 1801.13 v x8849 x8851 x8852 x8853 x8854 x8855 x8856 x8857 x8858 x8859 x8860 x8862 x8863 -x8864 x8865 x8866 x8867 x8868 x8869 x8870 1801.13 v x8871 x8873 x8874 x8875 x8876 x8877 -x8878 x8879 x8880 x8881
OK 15971955
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/node49/watcher-35670-1149303837 -o ROOT/results/node49/solver-35670-1149303837 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node49/35670-1149303837/instance-35670-1149303837.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 3/64 9752 /proc/meminfo: memFree=1723744/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=1180 CPUtime=0 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 196050908 1208320 124 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 295 124 67 215 0 77 0 [startup+10.0018 s] /proc/loadavg: 0.93 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1713840/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=11368 CPUtime=9.99 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 2766 0 0 0 998 1 0 0 25 0 1 0 196050908 11640832 2639 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 2842 2639 123 215 0 2624 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11368 [startup+20.0077 s] /proc/loadavg: 0.94 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1713520/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=11764 CPUtime=19.99 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 2868 0 0 0 1998 1 0 0 25 0 1 0 196050908 12046336 2741 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 2941 2741 123 215 0 2723 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 11764 [startup+30.0135 s] /proc/loadavg: 0.95 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1708848/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=16496 CPUtime=29.99 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 4026 0 0 0 2997 2 0 0 25 0 1 0 196050908 16891904 3899 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581202 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 4124 3899 123 215 0 3906 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 16496 [startup+40.0193 s] /proc/loadavg: 0.96 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1693744/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=31696 CPUtime=40 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 7809 0 0 0 3996 4 0 0 25 0 1 0 196050908 32456704 7682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 7924 7682 123 215 0 7706 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 31696 [startup+50.0252 s] /proc/loadavg: 0.96 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1680112/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=45172 CPUtime=50 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 11207 0 0 0 4994 6 0 0 25 0 1 0 196050908 46256128 11080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 11293 11080 123 215 0 11075 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 45172 [startup+60.031 s] /proc/loadavg: 0.97 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1678384/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=47032 CPUtime=60.01 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 11638 0 0 0 5994 7 0 0 25 0 1 0 196050908 48160768 11511 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 11758 11511 123 215 0 11540 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 47032 [startup+70.0368 s] /proc/loadavg: 0.97 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1676464/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=49008 CPUtime=70.01 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 12139 0 0 0 6994 7 0 0 25 0 1 0 196050908 50184192 12012 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 12252 12012 123 215 0 12034 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 49008 [startup+80.0426 s] /proc/loadavg: 0.98 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1675504/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=49932 CPUtime=80.01 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 12378 0 0 0 7994 7 0 0 25 0 1 0 196050908 51130368 12251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573331 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 12483 12251 123 215 0 12265 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 49932 [startup+90.0485 s] /proc/loadavg: 0.98 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1675504/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=49932 CPUtime=90.01 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 12378 0 0 0 8994 7 0 0 25 0 1 0 196050908 51130368 12251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 12483 12251 123 215 0 12265 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 49932 [startup+100.054 s] /proc/loadavg: 0.98 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1675504/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=49932 CPUtime=100.02 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 12378 0 0 0 9995 7 0 0 25 0 1 0 196050908 51130368 12251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 12483 12251 123 215 0 12265 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 49932 [startup+110.06 s] /proc/loadavg: 0.98 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1675504/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=49932 CPUtime=110.02 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 12378 0 0 0 10995 7 0 0 25 0 1 0 196050908 51130368 12251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 12483 12251 123 215 0 12265 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 49932 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1675504/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=49932 CPUtime=120.02 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 12378 0 0 0 11995 7 0 0 25 0 1 0 196050908 51130368 12251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 12483 12251 123 215 0 12265 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 49932 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1675184/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=50196 CPUtime=130.03 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 12458 0 0 0 12995 8 0 0 25 0 1 0 196050908 51400704 12331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 12549 12331 123 215 0 12331 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 50196 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1668976/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=56400 CPUtime=140.03 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 14003 0 0 0 13994 9 0 0 25 0 1 0 196050908 57753600 13876 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569795 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 14100 13876 123 215 0 13882 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 56400 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1659952/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=65648 CPUtime=150.04 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 16243 0 0 0 14993 11 0 0 25 0 1 0 196050908 67223552 16116 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 16412 16116 123 215 0 16194 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 65648 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1659632/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=66044 CPUtime=160.04 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 16329 0 0 0 15993 11 0 0 25 0 1 0 196050908 67629056 16202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 16511 16202 123 215 0 16293 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 66044 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1659632/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=66044 CPUtime=170.04 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 16329 0 0 0 16993 11 0 0 25 0 1 0 196050908 67629056 16202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 16511 16202 123 215 0 16293 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 66044 [startup+180.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1659632/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=66044 CPUtime=180.04 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 16329 0 0 0 17993 11 0 0 25 0 1 0 196050908 67629056 16202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 16511 16202 123 215 0 16293 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 66044 [startup+190.106 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1659632/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=66044 CPUtime=190.05 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 16329 0 0 0 18994 11 0 0 25 0 1 0 196050908 67629056 16202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 16511 16202 123 215 0 16293 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 66044 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1659632/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=66044 CPUtime=200.05 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 16329 0 0 0 19994 11 0 0 25 0 1 0 196050908 67629056 16202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588646 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 16511 16202 123 215 0 16293 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 66044 [startup+210.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9752 /proc/meminfo: memFree=1659632/2055920 swapFree=4181416/4192956 ################ # More data... # ################ [pid=9752] ppid=9750 vsize=278900 CPUtime=1781.54 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 178092 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 278900 [startup+1783.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1782.55 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 178193 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580384 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 278900 [startup+1784.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1783.55 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 178293 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574545 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 278900 [startup+1785.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1784.56 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 178394 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 278900 [startup+1786.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1785.56 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 178494 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 278900 [startup+1787.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1786.57 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 178595 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 278900 [startup+1788.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1787.57 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 178695 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 278900 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1788.58 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 178796 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 278900 [startup+1790.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1789.58 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 178896 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 278900 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1790.59 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 178997 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 278900 [startup+1792.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1791.59 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 179097 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 278900 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1792.6 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 179198 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 278900 [startup+1794.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1793.6 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 179298 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581147 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 278900 [startup+1795.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1794.61 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 179399 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 278900 [startup+1796.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1795.61 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 179499 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 278900 [startup+1797.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1796.61 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 179599 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 278900 [startup+1798.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1797.62 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 179700 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577203 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 278900 [startup+1799.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1798.62 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 179800 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 278900 [startup+1800.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1799.63 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 179901 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572709 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 278900 [startup+1801.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1800.63 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 180001 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 278900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9754 /proc/meminfo: memFree=1448752/2055920 swapFree=4181416/4192956 [pid=9752] ppid=9750 vsize=278900 CPUtime=1800.64 /proc/9752/stat : 9752 (minisat+) R 9750 9752 9706 0 -1 4194304 69713 0 0 0 180002 62 0 0 25 0 1 0 196050908 285593600 68754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9752/statm: 69725 68754 123 215 0 69507 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 278900 Sending SIGTERM to -9752 Sleeping 2 seconds Child status: 10 Real time (s): 1801.18 CPU time (s): 1800.7 CPU user time (s): 1800.03 CPU system time (s): 0.669898 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (Kb): 278900
Begin job on node49 on Sat Jun 3 03:03:57 UTC 2006 FILE ID= 35670-1149303837 PBS_JOBID= 307513 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node49/35670-1149303837/instance-35670-1149303837.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node49/watcher-35670-1149303837 -o ROOT/results/node49/solver-35670-1149303837 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node49/35670-1149303837/instance-35670-1149303837.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 041d40ba01d992f8c3bb358df2c9aea9 RANDOM SEED= 158498482 /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.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1724144 kB Buffers: 20468 kB Cached: 249948 kB SwapCached: 3284 kB Active: 51924 kB Inactive: 227176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1724144 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14908 kB Slab: 38668 kB Committed_AS: 300988 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node49 on Sat Jun 3 03:33:59 UTC 2006