Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisat+ 1.14 | SAT (TO) | 24052299 | 1800.54 | 1801.19 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x26.opb |
| MD5SUM | 24310f50398f30cad58c742db29765ce |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 7772113 |
| Best CPU time to get the best result obtained on this benchmark | 1800.99 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 6593540 |
| Optimality of the best value was proved | NO |
| Number of variables | 8060 |
| Total number of constraints | 296 |
| 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 | 296 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 780 |
| Number of terms in the objective function | 8060 |
| 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 | 1599918681646 |
| 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 | 1599918681646 |
| 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.40 c Converting 332 PB-constraints to clauses... 0.40 c -- Unit propagations: (none) 0.77 c -- Detecting intervals from adjacent constraints: #################################### 0.77 c -- Clauses(.)/Splits(s): (none) 0.77 c ---[ 330]---> Adder-cost: 688 maxlim: 456678 bits: 19/19 0.83 c ---[ 328]---> Adder-cost: 686 maxlim: 418790 bits: 19/19 0.89 c ---[ 326]---> Adder-cost: 686 maxlim: 420838 bits: 19/19 0.95 c ---[ 324]---> Adder-cost: 686 maxlim: 424934 bits: 19/19 1.00 c ---[ 322]---> Adder-cost: 686 maxlim: 429030 bits: 19/19 1.06 c ---[ 320]---> Adder-cost: 688 maxlim: 472038 bits: 19/19 1.12 c ---[ 318]---> Adder-cost: 672 maxlim: 308198 bits: 19/19 1.17 c ---[ 316]---> Adder-cost: 688 maxlim: 460774 bits: 19/19 1.23 c ---[ 314]---> Adder-cost: 686 maxlim: 432102 bits: 19/19 1.29 c ---[ 312]---> Adder-cost: 688 maxlim: 454630 bits: 19/19 1.35 c ---[ 310]---> Adder-cost: 270 maxlim: 289782 bits: 19/19 1.37 c ---[ 308]---> Sorter-cost: 2738 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.39 c ---[ 306]---> Adder-cost: 270 maxlim: 281590 bits: 19/19 1.42 c ---[ 304]---> Sorter-cost: 3052 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.44 c ---[ 302]---> Sorter-cost: 2522 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.46 c ---[ 300]---> Sorter-cost: 2522 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.48 c ---[ 298]---> Adder-cost: 270 maxlim: 283638 bits: 19/19 1.50 c ---[ 296]---> Sorter-cost: 2306 Base: 2 2 2 2 2 2 2 2 2 2 2 1.52 c ---[ 294]---> Sorter-cost: 2738 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.54 c ---[ 292]---> Sorter-cost: 2738 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.56 c ---[ 290]---> Adder-cost: 270 maxlim: 280566 bits: 19/19 1.58 c ---[ 288]---> Sorter-cost: 2738 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.60 c ---[ 286]---> Sorter-cost: 2738 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.62 c ---[ 284]---> Sorter-cost: 2522 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.64 c ---[ 282]---> Adder-cost: 270 maxlim: 294902 bits: 19/19 1.67 c ---[ 280]---> Sorter-cost: 3052 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.69 c ---[ 278]---> Sorter-cost: 2522 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.72 c ---[ 276]---> Sorter-cost: 2522 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.73 c ---[ 274]---> Sorter-cost: 2306 Base: 2 2 2 2 2 2 2 2 2 2 2 1.75 c ---[ 272]---> Sorter-cost: 2738 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.77 c ---[ 270]---> Sorter-cost: 2738 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.79 c ---[ 268]---> Adder-cost: 270 maxlim: 291830 bits: 19/19 1.82 c ---[ 266]---> Sorter-cost: 2306 Base: 2 2 2 2 2 2 2 2 2 2 2 1.83 c ---[ 264]---> Sorter-cost: 2522 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.85 c ---[ 262]---> Sorter-cost: 2306 Base: 2 2 2 2 2 2 2 2 2 2 2 1.87 c ---[ 260]---> Sorter-cost: 2522 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.88 c ---[ 259]---> BDD-cost: 20 1.88 c ---[ 258]---> BDD-cost: 15 1.88 c ---[ 257]---> BDD-cost: 20 1.88 c ---[ 256]---> BDD-cost: 20 1.89 c ---[ 255]---> BDD-cost: 14 1.89 c ---[ 254]---> BDD-cost: 15 1.89 c ---[ 253]---> BDD-cost: 14 1.89 c ---[ 252]---> BDD-cost: 20 1.89 c ---[ 251]---> BDD-cost: 15 1.89 c ---[ 250]---> BDD-cost: 17 1.89 c ---[ 249]---> BDD-cost: 17 1.89 c ---[ 248]---> BDD-cost: 18 1.89 c ---[ 247]---> BDD-cost: 20 1.89 c ---[ 246]---> BDD-cost: 19 1.89 c ---[ 245]---> BDD-cost: 14 1.89 c ---[ 244]---> BDD-cost: 15 1.89 c ---[ 243]---> BDD-cost: 13 1.89 c ---[ 242]---> BDD-cost: 16 1.89 c ---[ 241]---> BDD-cost: 20 1.89 c ---[ 240]---> BDD-cost: 20 1.89 c ---[ 239]---> BDD-cost: 14 1.89 c ---[ 238]---> BDD-cost: 15 1.89 c ---[ 237]---> BDD-cost: 20 1.89 c ---[ 236]---> BDD-cost: 13 1.89 c ---[ 235]---> BDD-cost: 14 1.89 c ---[ 234]---> BDD-cost: 15 1.89 c ---[ 233]---> BDD-cost: 15 1.89 c ---[ 232]---> BDD-cost: 20 1.89 c ---[ 231]---> BDD-cost: 18 1.89 c ---[ 230]---> BDD-cost: 15 1.89 c ---[ 229]---> BDD-cost: 16 1.89 c ---[ 228]---> BDD-cost: 20 1.89 c ---[ 227]---> BDD-cost: 14 1.89 c ---[ 226]---> BDD-cost: 15 1.89 c ---[ 225]---> BDD-cost: 14 1.89 c ---[ 224]---> BDD-cost: 15 1.89 c ---[ 223]---> BDD-cost: 20 1.89 c ---[ 222]---> BDD-cost: 15 1.89 c ---[ 221]---> BDD-cost: 17 1.89 c ---[ 220]---> BDD-cost: 17 1.89 c ---[ 219]---> BDD-cost: 18 1.89 c ---[ 218]---> BDD-cost: 20 1.89 c ---[ 217]---> BDD-cost: 14 1.89 c ---[ 216]---> BDD-cost: 15 1.89 c ---[ 215]---> BDD-cost: 13 1.89 c ---[ 214]---> BDD-cost: 16 1.89 c ---[ 213]---> BDD-cost: 20 1.89 c ---[ 212]---> BDD-cost: 20 1.89 c ---[ 211]---> BDD-cost: 22 1.89 c ---[ 210]---> BDD-cost: 14 1.89 c ---[ 209]---> BDD-cost: 15 1.89 c ---[ 208]---> BDD-cost: 20 1.89 c ---[ 207]---> BDD-cost: 13 1.89 c ---[ 206]---> BDD-cost: 15 1.90 c ---[ 205]---> BDD-cost: 15 1.90 c ---[ 204]---> BDD-cost: 19 1.90 c ---[ 203]---> BDD-cost: 18 1.90 c ---[ 202]---> BDD-cost: 13 1.90 c ---[ 201]---> BDD-cost: 15 1.90 c ---[ 200]---> BDD-cost: 16 1.90 c ---[ 199]---> BDD-cost: 22 1.90 c ---[ 198]---> BDD-cost: 14 1.90 c ---[ 197]---> BDD-cost: 15 1.90 c ---[ 196]---> BDD-cost: 14 1.90 c ---[ 195]---> BDD-cost: 18 1.90 c ---[ 194]---> BDD-cost: 15 1.90 c ---[ 193]---> BDD-cost: 18 1.90 c ---[ 192]---> BDD-cost: 17 1.90 c ---[ 191]---> BDD-cost: 15 1.90 c ---[ 190]---> BDD-cost: 18 1.90 c ---[ 189]---> BDD-cost: 18 1.90 c ---[ 188]---> BDD-cost: 14 1.90 c ---[ 187]---> BDD-cost: 15 1.90 c ---[ 186]---> BDD-cost: 13 1.90 c ---[ 185]---> BDD-cost: 16 1.90 c ---[ 184]---> BDD-cost: 18 1.90 c ---[ 183]---> BDD-cost: 18 1.90 c ---[ 182]---> BDD-cost: 14 1.90 c ---[ 181]---> BDD-cost: 15 1.90 c ---[ 180]---> BDD-cost: 15 1.90 c ---[ 179]---> BDD-cost: 18 1.90 c ---[ 178]---> BDD-cost: 13 1.90 c ---[ 177]---> BDD-cost: 15 1.90 c ---[ 176]---> BDD-cost: 15 1.90 c ---[ 175]---> BDD-cost: 18 1.90 c ---[ 174]---> BDD-cost: 18 1.90 c ---[ 173]---> BDD-cost: 15 1.90 c ---[ 172]---> BDD-cost: 18 1.90 c ---[ 171]---> BDD-cost: 18 1.90 c ---[ 170]---> BDD-cost: 14 1.90 c ---[ 169]---> BDD-cost: 19 1.90 c ---[ 168]---> BDD-cost: 15 1.90 c ---[ 167]---> BDD-cost: 14 1.90 c ---[ 166]---> BDD-cost: 20 1.90 c ---[ 165]---> BDD-cost: 15 1.90 c ---[ 164]---> BDD-cost: 17 1.90 c ---[ 163]---> BDD-cost: 17 1.90 c ---[ 162]---> BDD-cost: 18 1.90 c ---[ 161]---> BDD-cost: 20 1.90 c ---[ 160]---> BDD-cost: 14 1.90 c ---[ 159]---> BDD-cost: 15 1.90 c ---[ 158]---> BDD-cost: 18 1.90 c ---[ 157]---> BDD-cost: 13 1.90 c ---[ 156]---> BDD-cost: 16 1.90 c ---[ 155]---> BDD-cost: 20 1.91 c ---[ 154]---> BDD-cost: 21 1.91 c ---[ 153]---> BDD-cost: 14 1.91 c ---[ 152]---> BDD-cost: 15 1.91 c ---[ 151]---> BDD-cost: 20 1.91 c ---[ 150]---> BDD-cost: 13 1.91 c ---[ 149]---> BDD-cost: 15 1.91 c ---[ 148]---> BDD-cost: 15 1.91 c ---[ 147]---> BDD-cost: 17 1.91 c ---[ 146]---> BDD-cost: 15 1.91 c ---[ 145]---> BDD-cost: 19 1.91 c ---[ 144]---> BDD-cost: 18 1.91 c ---[ 143]---> BDD-cost: 15 1.91 c ---[ 142]---> BDD-cost: 16 1.91 c ---[ 141]---> BDD-cost: 22 1.91 c ---[ 140]---> BDD-cost: 14 1.91 c ---[ 139]---> BDD-cost: 15 1.91 c ---[ 138]---> BDD-cost: 14 1.91 c ---[ 137]---> BDD-cost: 19 1.91 c ---[ 136]---> BDD-cost: 15 1.91 c ---[ 135]---> BDD-cost: 16 1.91 c ---[ 134]---> BDD-cost: 17 1.91 c ---[ 133]---> BDD-cost: 17 1.91 c ---[ 132]---> BDD-cost: 18 1.91 c ---[ 131]---> BDD-cost: 19 1.91 c ---[ 130]---> BDD-cost: 14 1.91 c ---[ 129]---> BDD-cost: 15 1.91 c ---[ 128]---> BDD-cost: 13 1.91 c ---[ 127]---> BDD-cost: 16 1.91 c ---[ 126]---> BDD-cost: 19 1.91 c ---[ 125]---> BDD-cost: 19 1.91 c ---[ 124]---> BDD-cost: 22 1.91 c ---[ 123]---> BDD-cost: 14 1.91 c ---[ 122]---> BDD-cost: 15 1.91 c ---[ 121]---> BDD-cost: 19 1.91 c ---[ 120]---> BDD-cost: 13 1.91 c ---[ 119]---> BDD-cost: 15 1.91 c ---[ 118]---> BDD-cost: 15 1.91 c ---[ 117]---> BDD-cost: 19 1.91 c ---[ 116]---> BDD-cost: 18 1.91 c ---[ 115]---> BDD-cost: 15 1.91 c ---[ 114]---> BDD-cost: 16 1.91 c ---[ 113]---> BDD-cost: 14 1.91 c ---[ 112]---> BDD-cost: 19 1.91 c ---[ 111]---> BDD-cost: 14 1.91 c ---[ 110]---> BDD-cost: 15 1.91 c ---[ 109]---> BDD-cost: 14 1.91 c ---[ 108]---> BDD-cost: 20 1.91 c ---[ 107]---> BDD-cost: 15 1.91 c ---[ 106]---> BDD-cost: 17 1.92 c ---[ 105]---> BDD-cost: 17 1.92 c ---[ 104]---> BDD-cost: 18 1.92 c ---[ 103]---> BDD-cost: 20 1.92 c ---[ 102]---> BDD-cost: 15 1.92 c ---[ 101]---> BDD-cost: 14 1.92 c ---[ 100]---> BDD-cost: 15 1.92 c ---[ 99]---> BDD-cost: 13 1.92 c ---[ 98]---> BDD-cost: 16 1.92 c ---[ 97]---> BDD-cost: 20 1.92 c ---[ 96]---> BDD-cost: 19 1.92 c ---[ 95]---> BDD-cost: 14 1.92 c ---[ 94]---> BDD-cost: 15 1.92 c ---[ 93]---> BDD-cost: 20 1.92 c ---[ 92]---> BDD-cost: 13 1.92 c ---[ 91]---> BDD-cost: 14 1.92 c ---[ 90]---> BDD-cost: 15 1.92 c ---[ 89]---> BDD-cost: 15 1.92 c ---[ 88]---> BDD-cost: 19 1.92 c ---[ 87]---> BDD-cost: 18 1.92 c ---[ 86]---> BDD-cost: 15 1.92 c ---[ 85]---> BDD-cost: 16 1.92 c ---[ 84]---> BDD-cost: 22 1.92 c ---[ 83]---> BDD-cost: 14 1.92 c ---[ 82]---> BDD-cost: 15 1.92 c ---[ 81]---> BDD-cost: 14 1.92 c ---[ 80]---> BDD-cost: 20 1.92 c ---[ 79]---> BDD-cost: 15 1.92 c ---[ 78]---> BDD-cost: 17 1.92 c ---[ 77]---> BDD-cost: 17 1.92 c ---[ 76]---> BDD-cost: 17 1.92 c ---[ 75]---> BDD-cost: 18 1.92 c ---[ 74]---> BDD-cost: 20 1.92 c ---[ 73]---> BDD-cost: 14 1.92 c ---[ 72]---> BDD-cost: 15 1.92 c ---[ 71]---> BDD-cost: 13 1.92 c ---[ 70]---> BDD-cost: 16 1.92 c ---[ 69]---> BDD-cost: 20 1.92 c ---[ 68]---> BDD-cost: 20 1.92 c ---[ 67]---> BDD-cost: 14 1.92 c ---[ 66]---> BDD-cost: 15 1.92 c ---[ 65]---> BDD-cost: 18 1.92 c ---[ 64]---> BDD-cost: 20 1.92 c ---[ 63]---> BDD-cost: 13 1.92 c ---[ 62]---> BDD-cost: 15 1.92 c ---[ 61]---> BDD-cost: 15 1.92 c ---[ 60]---> BDD-cost: 19 1.92 c ---[ 59]---> BDD-cost: 18 1.92 c ---[ 58]---> BDD-cost: 15 1.92 c ---[ 57]---> BDD-cost: 16 1.92 c ---[ 56]---> BDD-cost: 20 1.93 c ---[ 55]---> BDD-cost: 14 1.93 c ---[ 54]---> BDD-cost: 20 1.93 c ---[ 53]---> BDD-cost: 15 1.93 c ---[ 52]---> BDD-cost: 14 1.93 c ---[ 51]---> BDD-cost: 20 1.93 c ---[ 50]---> BDD-cost: 15 1.93 c ---[ 49]---> BDD-cost: 17 1.93 c ---[ 48]---> BDD-cost: 17 1.93 c ---[ 47]---> BDD-cost: 18 1.93 c ---[ 46]---> BDD-cost: 20 1.93 c ---[ 45]---> BDD-cost: 14 1.93 c ---[ 44]---> BDD-cost: 15 1.93 c ---[ 43]---> BDD-cost: 14 1.93 c ---[ 42]---> BDD-cost: 13 1.93 c ---[ 41]---> BDD-cost: 16 1.93 c ---[ 40]---> BDD-cost: 20 1.93 c ---[ 39]---> BDD-cost: 20 1.93 c ---[ 38]---> BDD-cost: 14 1.93 c ---[ 37]---> BDD-cost: 15 1.93 c ---[ 36]---> BDD-cost: 20 1.93 c ---[ 35]---> BDD-cost: 13 1.93 c ---[ 34]---> BDD-cost: 15 1.93 c ---[ 33]---> BDD-cost: 15 1.93 c ---[ 32]---> BDD-cost: 15 1.93 c ---[ 31]---> BDD-cost: 20 1.93 c ---[ 30]---> BDD-cost: 18 1.93 c ---[ 29]---> BDD-cost: 15 1.93 c ---[ 28]---> BDD-cost: 16 1.93 c ---[ 27]---> BDD-cost: 20 1.93 c ---[ 26]---> BDD-cost: 14 1.93 c ---[ 25]---> BDD-cost: 15 1.93 c ---[ 24]---> BDD-cost: 14 1.93 c ---[ 23]---> BDD-cost: 20 1.93 c ---[ 22]---> BDD-cost: 15 1.93 c ---[ 21]---> BDD-cost: 13 1.93 c ---[ 20]---> BDD-cost: 17 1.93 c ---[ 19]---> BDD-cost: 17 1.93 c ---[ 18]---> BDD-cost: 18 1.93 c ---[ 17]---> BDD-cost: 20 1.93 c ---[ 16]---> BDD-cost: 14 1.93 c ---[ 15]---> BDD-cost: 15 1.93 c ---[ 14]---> BDD-cost: 13 1.93 c ---[ 13]---> BDD-cost: 16 1.93 c ---[ 12]---> BDD-cost: 20 1.93 c ---[ 11]---> BDD-cost: 20 1.93 c ---[ 10]---> BDD-cost: 16 1.93 c ---[ 9]---> BDD-cost: 14 1.93 c ---[ 8]---> BDD-cost: 15 1.93 c ---[ 7]---> BDD-cost: 20 1.93 c ---[ 6]---> BDD-cost: 13 1.94 c ---[ 5]---> BDD-cost: 15 1.94 c ---[ 4]---> BDD-cost: 15 1.94 c ---[ 3]---> BDD-cost: 20 1.94 c ---[ 2]---> BDD-cost: 18 1.94 c ---[ 1]---> BDD-cost: 15 1.94 c ---[ 0]---> BDD-cost: 16 2.13 c ==================================[MINISAT+]================================== 2.13 c | Conflicts | Original | Learnt | Progress | 2.13 c | | Clauses Literals | Max Clauses Literals LPC | | 2.13 c ============================================================================== 2.13 c | 0 | 201399 543727 | 67133 0 0 nan | 0.000 % | 2.14 c | 100 | 201399 543727 | 73846 100 438 4.4 | 9.424 % | 2.19 c | 252 | 201255 543392 | 81230 249 1044 4.2 | 9.492 % | 2.28 c | 477 | 200773 542283 | 89354 451 2151 4.8 | 9.706 % | 2.36 c | 817 | 200698 542092 | 98289 789 3832 4.9 | 9.736 % | 2.58 c | 1324 | 200431 541406 | 108118 1283 6394 5.0 | 9.849 % | 2.85 c | 2083 | 199984 540378 | 118930 2013 9738 4.8 | 10.061 % | 3.36 c | 3222 | 199245 538687 | 130823 3131 15088 4.8 | 10.427 % | 3.92 c | 4930 | 198577 537127 | 143905 4801 23355 4.9 | 10.759 % | 4.95 c | 7493 | 197614 534895 | 158296 7295 35467 4.9 | 11.204 % | 6.99 c | 11337 | 196697 532713 | 174125 11090 54544 4.9 | 11.634 % | 10.81 c | 17104 | 194703 528028 | 191538 16736 83448 5.0 | 12.556 % | 18.04 c | 25755 | 192721 523379 | 210692 25254 127176 5.0 | 13.496 % | 33.70 c | 38729 | 189353 515298 | 231761 37971 196828 5.2 | 15.116 % | 50.30 c | 58190 | 186901 509561 | 254937 57107 437525 7.7 | 16.321 % | 73.60 c | 87382 | 185975 507314 | 280431 86111 1171154 13.6 | 16.762 % | 112.15 c | 131171 | 184439 503340 | 308474 129649 1953146 15.1 | 17.450 % | 153.31 c | 196857 | 183900 501895 | 339321 195244 4100815 21.0 | 17.674 % | 161.45 c ============================================================================== 161.45 c [1mFound solution: 45137502[0m 161.45 o 45137502 161.53 c ---[ 0]---> Adder-cost: 13711 maxlim: 24563664 bits: 26/25 165.58 c ==================================[MINISAT+]================================== 165.58 c | Conflicts | Original | Learnt | Progress | 165.58 c | | Clauses Literals | Max Clauses Literals LPC | | 165.58 c ============================================================================== 165.58 c | 213596 | 279599 843953 | 93199 211941 4764180 22.5 | 17.674 % | 166.09 c | 213696 | 279599 843953 | 102518 37197 591382 15.9 | 14.652 % | 166.35 c | 213846 | 279583 843916 | 112770 37346 592070 15.9 | 14.660 % | 166.63 c | 214071 | 279557 843856 | 124047 37567 593093 15.8 | 14.670 % | 167.24 c | 214408 | 279557 843856 | 136452 37904 594833 15.7 | 14.670 % | 167.93 c | 214914 | 279433 843564 | 150097 38405 597317 15.6 | 14.724 % | 168.87 c | 215673 | 279332 843329 | 165107 39154 601725 15.4 | 14.768 % | 170.44 c | 216812 | 279174 842965 | 181618 40277 607573 15.1 | 14.833 % | 172.72 c | 218520 | 279079 842732 | 199780 41971 617159 14.7 | 14.867 % | 175.96 c | 221082 | 278990 842530 | 219758 44523 632551 14.2 | 14.903 % | 180.73 c | 224926 | 278636 841703 | 241734 48320 663672 13.7 | 15.049 % | 188.38 c | 230692 | 278629 841687 | 265907 54085 715840 13.2 | 15.053 % | 194.26 c | 239341 | 278591 841592 | 292498 62726 1314087 20.9 | 15.068 % | 206.14 c | 252315 | 278540 841473 | 321748 75689 1589005 21.0 | 15.089 % | 222.32 c | 271776 | 278206 840665 | 353923 95112 2127924 22.4 | 15.222 % | 241.04 c ============================================================================== 241.04 c [1mFound solution: 43690507[0m 241.04 o 43690507 241.11 c ---[ 0]---> Adder-cost: 0 maxlim: 26010659 bits: 26/25 244.99 c ==================================[MINISAT+]================================== 244.99 c | Conflicts | Original | Learnt | Progress | 244.99 c | | Clauses Literals | Max Clauses Literals LPC | | 244.99 c ============================================================================== 244.99 c | 294254 | 278150 840604 | 92716 117578 2633914 22.4 | 15.222 % | 245.30 c | 294355 | 278125 840546 | 101987 36038 408900 11.3 | 15.266 % | 245.54 c | 294505 | 278120 840535 | 112186 36186 409567 11.3 | 15.269 % | 245.76 c | 294730 | 278100 840489 | 123404 36409 410957 11.3 | 15.276 % | 246.22 c | 295067 | 278084 840437 | 135745 36742 412695 11.2 | 15.280 % | 247.10 c | 295573 | 278065 840387 | 149320 37245 415249 11.1 | 15.287 % | 248.23 c | 296332 | 278060 840375 | 164252 38003 419282 11.0 | 15.289 % | 249.95 c | 297471 | 277842 839864 | 180677 39122 425973 10.9 | 15.384 % | 252.12 c | 299179 | 277795 839755 | 198744 40827 436088 10.7 | 15.403 % | 255.41 c | 301741 | 277795 839755 | 218619 43389 455449 10.5 | 15.403 % | 260.42 c | 305586 | 277667 839465 | 240481 47215 491401 10.4 | 15.452 % | 265.82 c | 311352 | 277566 839227 | 264529 52971 580489 11.0 | 15.494 % | 270.64 c | 320001 | 277561 839214 | 290982 61619 848415 13.8 | 15.497 % | 285.19 c | 332975 | 277459 838970 | 320080 74577 1017068 13.6 | 15.539 % | 306.82 c | 352436 | 277384 838783 | 352088 94027 1291435 13.7 | 15.567 % | 322.10 c | 381628 | 277310 838608 | 387297 123204 2440576 19.8 | 15.594 % | 361.70 c | 425417 | 276978 837735 | 426027 166961 3245855 19.4 | 15.719 % | 455.27 c | 491102 | 276978 837735 | 468630 232646 17903604 77.0 | 15.719 % | 471.16 c ============================================================================== 471.16 c [1mFound solution: 43362968[0m 471.16 o 43362968 471.23 c ---[ 0]---> Adder-cost: 0 maxlim: 26338198 bits: 26/25 474.98 c ==================================[MINISAT+]================================== 474.98 c | Conflicts | Original | Learnt | Progress | 474.98 c | | Clauses Literals | Max Clauses Literals LPC | | 474.98 c ============================================================================== 474.98 c | 507444 | 276961 837894 | 92320 248982 18438065 74.1 | 15.719 % | 475.78 c | 507544 | 276886 837717 | 101552 42643 560568 13.1 | 15.778 % | 476.04 c | 507694 | 276875 837690 | 111707 42791 561254 13.1 | 15.783 % | 476.47 c | 507919 | 276818 837557 | 122877 43010 562339 13.1 | 15.809 % | 477.03 c | 508256 | 276698 837264 | 135165 43333 563898 13.0 | 15.856 % | 478.06 c | 508763 | 276669 837198 | 148682 43826 566358 12.9 | 15.867 % | 479.12 c | 509522 | 276632 837110 | 163550 44581 573233 12.9 | 15.884 % | 480.81 c | 510661 | 276632 837110 | 179905 45720 579436 12.7 | 15.884 % | 483.78 c | 512369 | 276632 837110 | 197896 47428 588829 12.4 | 15.884 % | 488.26 c | 514931 | 276610 837059 | 217685 49988 603609 12.1 | 15.893 % | 493.40 c | 518775 | 276604 837045 | 239454 53831 637697 11.8 | 15.897 % | 502.86 c | 524541 | 276454 836687 | 263399 59577 677036 11.4 | 15.966 % | 513.80 c | 533190 | 276409 836571 | 289739 68220 810869 11.9 | 15.984 % | 524.93 c | 546164 | 276375 836484 | 318713 81187 1014070 12.5 | 15.999 % | 540.52 c | 565625 | 276269 836233 | 350585 100611 1374775 13.7 | 16.040 % | 559.12 c | 594817 | 276153 835937 | 385643 129793 2178385 16.8 | 16.086 % | 588.94 c | 638609 | 276103 835821 | 424207 173579 3808398 21.9 | 16.107 % | 618.28 c ============================================================================== 618.29 c [1mFound solution: 39845043[0m 618.29 o 39845043 618.35 c ---[ 0]---> Adder-cost: 0 maxlim: 29856123 bits: 26/25 621.99 c ==================================[MINISAT+]================================== 621.99 c | Conflicts | Original | Learnt | Progress | 621.99 c | | Clauses Literals | Max Clauses Literals LPC | | 621.99 c ============================================================================== 621.99 c | 684411 | 276122 836041 | 92040 219381 7998122 36.5 | 16.107 % | 622.69 c | 684512 | 276122 836041 | 101244 40519 1449725 35.8 | 16.119 % | 622.87 c | 684662 | 276122 836041 | 111368 40669 1450568 35.7 | 16.119 % | 623.26 c | 684887 | 276122 836041 | 122505 40894 1452159 35.5 | 16.119 % | 623.69 c | 685224 | 276122 836041 | 134755 41231 1454395 35.3 | 16.119 % | 624.18 c | 685730 | 276122 836041 | 148231 41737 1458684 34.9 | 16.119 % | 625.06 c | 686490 | 276122 836041 | 163054 42497 1463977 34.4 | 16.119 % | 626.18 c | 687629 | 276122 836041 | 179359 43636 1472298 33.7 | 16.119 % | 627.92 c | 689337 | 276108 836008 | 197295 45341 1490076 32.9 | 16.126 % | 630.54 c | 691899 | 276108 836008 | 217025 47903 1510743 31.5 | 16.126 % | 635.03 c | 695743 | 276038 835847 | 238728 51739 1545012 29.9 | 16.157 % | 641.89 c | 701510 | 276032 835833 | 262600 57505 1688821 29.4 | 16.160 % | 653.21 c | 710159 | 275987 835728 | 288860 66140 1763390 26.7 | 16.180 % | 668.54 c | 723133 | 275810 835317 | 317747 79087 1923257 24.3 | 16.254 % | 695.28 c | 742594 | 275804 835297 | 349521 98547 2125353 21.6 | 16.255 % | 720.23 c | 771788 | 275764 835202 | 384473 127732 2656671 20.8 | 16.273 % | 745.16 c | 815577 | 275705 835064 | 422921 171515 4422002 25.8 | 16.299 % | 812.65 c | 881263 | 275682 835000 | 465213 237199 10779451 45.4 | 16.308 % | 842.47 c ============================================================================== 842.47 c [1mFound solution: 31281088[0m 842.47 o 31281088 842.54 c ---[ 0]---> Adder-cost: 2 maxlim: 38420078 bits: 27/26 846.15 c ==================================[MINISAT+]================================== 846.15 c | Conflicts | Original | Learnt | Progress | 846.15 c | | Clauses Literals | Max Clauses Literals LPC | | 846.15 c ============================================================================== 846.15 c | 938617 | 275711 835301 | 91903 294553 14218339 48.3 | 16.308 % | 847.40 c | 938717 | 275711 835301 | 101093 38568 1290324 33.5 | 16.322 % | 847.61 c | 938867 | 275711 835301 | 111202 38718 1290950 33.3 | 16.322 % | 848.08 c | 939092 | 275707 835292 | 122322 38942 1291948 33.2 | 16.325 % | 848.88 c | 939429 | 275701 835278 | 134555 39278 1293435 32.9 | 16.327 % | 849.70 c | 939935 | 275673 835213 | 148010 39779 1296059 32.6 | 16.340 % | 851.05 c | 940694 | 275673 835213 | 162811 40538 1300039 32.1 | 16.340 % | 853.09 c | 941834 | 275673 835213 | 179092 41678 1306671 31.4 | 16.340 % | 856.42 c | 943542 | 275673 835213 | 197002 43386 1315967 30.3 | 16.340 % | 861.29 c | 946104 | 275632 835120 | 216702 45939 1330813 29.0 | 16.356 % | 867.98 c | 949948 | 275598 835043 | 238372 49780 1355114 27.2 | 16.368 % | 875.73 c | 955714 | 275550 834934 | 262209 55538 1399777 25.2 | 16.386 % | 889.93 c | 964363 | 275512 834846 | 288430 64179 1466601 22.9 | 16.402 % | 901.98 c | 977337 | 275512 834846 | 317274 77153 1780317 23.1 | 16.402 % | 919.69 c | 996798 | 275411 834609 | 349001 96596 2243280 23.2 | 16.445 % | 933.23 c | 1025990 | 275411 834609 | 383901 125788 3983881 31.7 | 16.445 % | 945.69 c ============================================================================== 945.69 c [1mFound solution: 28008990[0m 945.69 o 28008990 945.76 c ---[ 0]---> Adder-cost: 0 maxlim: 41692176 bits: 27/26 949.29 c ==================================[MINISAT+]================================== 949.29 c | Conflicts | Original | Learnt | Progress | 949.29 c | | Clauses Literals | Max Clauses Literals LPC | | 949.29 c ============================================================================== 949.29 c | 1040386 | 275402 834702 | 91800 140182 4320128 30.8 | 16.445 % | 949.74 c | 1040486 | 275402 834702 | 100980 42680 355842 8.3 | 16.462 % | 949.99 c | 1040636 | 275402 834702 | 111078 42830 356586 8.3 | 16.462 % | 950.54 c | 1040861 | 275379 834648 | 122185 43054 357498 8.3 | 16.473 % | 951.33 c | 1041198 | 275361 834606 | 134404 43387 359095 8.3 | 16.483 % | 952.23 c | 1041704 | 275357 834597 | 147844 43892 361780 8.2 | 16.484 % | 953.37 c | 1042463 | 275349 834578 | 162629 44649 366361 8.2 | 16.488 % | 955.29 c | 1043602 | 275319 834510 | 178892 45782 372738 8.1 | 16.500 % | 958.75 c | 1045310 | 275319 834510 | 196781 47490 382162 8.0 | 16.500 % | 961.95 c | 1047872 | 275319 834510 | 216459 50052 406220 8.1 | 16.500 % | 967.54 c | 1051717 | 275261 834376 | 238105 53889 460973 8.6 | 16.523 % | 974.35 c | 1057484 | 275243 834334 | 261916 59653 523199 8.8 | 16.532 % | 983.68 c | 1066133 | 275243 834334 | 288107 68302 641130 9.4 | 16.532 % | 996.41 c | 1079107 | 275234 834313 | 316918 81274 843255 10.4 | 16.537 % | 1014.14 c | 1098569 | 275206 834222 | 348610 100729 1112822 11.0 | 16.544 % | 1030.52 c | 1127761 | 275206 834222 | 383471 129921 2966468 22.8 | 16.544 % | 1060.21 c | 1171554 | 275196 834199 | 421818 173711 4994943 28.8 | 16.549 % | 1117.34 c | 1237238 | 275169 834126 | 464000 239389 9931065 41.5 | 16.557 % | 1194.82 c | 1335764 | 275150 834072 | 510400 337906 16505082 48.8 | 16.562 % | 1332.97 c | 1483553 | 275144 834058 | 561440 485693 26273813 54.1 | 16.565 % | 1347.14 c ============================================================================== 1347.14 c [1mFound solution: 24052299[0m 1347.14 o 24052299 1347.22 c ---[ 0]---> Adder-cost: 0 maxlim: 45648867 bits: 27/26 1351.09 c ==================================[MINISAT+]================================== 1351.09 c | Conflicts | Original | Learnt | Progress | 1351.09 c | | Clauses Literals | Max Clauses Literals LPC | | 1351.09 c ============================================================================== 1351.09 c | 1500353 | 275163 834261 | 91721 502493 27297285 54.3 | 16.565 % | 1352.79 c | 1500453 | 275157 834247 | 100893 42723 1001355 23.4 | 16.579 % | 1353.02 c | 1500603 | 275157 834247 | 110982 42873 1002063 23.4 | 16.579 % | 1353.36 c | 1500828 | 275157 834247 | 122080 43098 1003217 23.3 | 16.579 % | 1353.97 c | 1501165 | 275157 834247 | 134288 43435 1004763 23.1 | 16.579 % | 1354.80 c | 1501671 | 275157 834247 | 147717 43941 1007202 22.9 | 16.579 % | 1355.89 c | 1502431 | 275147 834224 | 162489 44700 1011013 22.6 | 16.584 % | 1357.68 c | 1503570 | 275141 834210 | 178738 45838 1017192 22.2 | 16.588 % | 1360.39 c | 1505278 | 275108 834132 | 196612 47540 1027184 21.6 | 16.602 % | 1363.28 c | 1507840 | 275108 834132 | 216273 50102 1048975 20.9 | 16.602 % | 1368.01 c | 1511684 | 275108 834132 | 237900 53946 1077604 20.0 | 16.602 % | 1376.44 c | 1517450 | 275108 834132 | 261690 59712 1122952 18.8 | 16.602 % | 1386.73 c | 1526099 | 275082 834071 | 287859 68357 1207261 17.7 | 16.613 % | 1401.10 c | 1539073 | 275058 833989 | 316645 81326 1356462 16.7 | 16.618 % | 1423.53 c | 1558534 | 275016 833890 | 348310 100777 1780028 17.7 | 16.637 % | 1452.35 c | 1587726 | 275016 833890 | 383141 129969 2819901 21.7 | 16.637 % | 1480.29 c | 1631516 | 275009 833870 | 421455 173758 4966864 28.6 | 16.639 % | 1530.25 c | 1697202 | 275009 833870 | 463601 239444 9508658 39.7 | 16.639 % | 1625.70 c | 1795729 | 275000 833850 | 509961 337969 16375833 48.5 | 16.643 % | 1801.15 c 1801.15 c *** TERMINATED *** 1801.15 s SATISFIABLE 1801.15 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 1801.15 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1801.15 v -x55 -x56 -x57 -x58 -x59 -x60 x3361 x3362 x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 x3370 x3371 -x3372 x3373 -x3374 1801.15 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x5491 1801.15 v x5492 x5493 x5494 x5495 x5496 -x5497 x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 1801.15 v -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5821 x5822 x5823 -x5824 -x5825 x5826 -x5827 1801.15 v x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 1801.15 v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x6151 x6152 x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 1801.15 v -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 1801.15 v -x6180 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 1801.15 v -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6811 -x6812 -x6813 1801.15 v -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 1801.15 v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 x7141 x7142 x7143 -x7144 -x7145 -x7146 -x7147 x7148 1801.15 v -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 1801.15 v -x7166 -x7167 -x7168 -x7169 -x7170 x7471 x7472 x7473 -x7474 -x7475 x7476 -x7477 x7478 -x7479 -x7480 -x7481 -x7482 -x7483 1801.15 v -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 1801.15 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.15 v -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1801.15 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x721 x722 x723 x724 x725 x726 -x727 -x728 x729 x730 1801.15 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 1801.15 v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 1801.15 v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1381 x1382 x1383 x1384 x1385 x1386 1801.15 v -x1387 -x1388 x1389 -x1390 -x1391 x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1801.15 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1801.15 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1801.15 v -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1801.15 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2371 x2372 -x2373 1801.15 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1801.15 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2701 x2702 x2703 x2704 x2705 x2706 -x2707 -x2708 1801.15 v -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 1801.15 v -x2726 -x2727 -x2728 -x2729 -x2730 x3031 x3032 x3033 x3034 x3035 -x3036 x3037 -x3038 x3039 -x3040 -x3041 x3042 -x3043 -x3044 1801.15 v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3391 1801.15 v x3392 x3393 -x3394 x3395 x3396 -x3397 -x3398 x3399 x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 1801.15 v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 1801.15 v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 1801.15 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x4051 x4052 -x4053 -x4054 x4055 x4056 -x4057 -x4058 -x4059 -x4060 -x4061 1801.15 v -x4062 -x4063 x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 1801.15 v -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 1801.15 v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4711 x4712 x4713 1801.15 v -x4714 -x4715 -x4716 x4717 -x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 1801.15 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x5041 x5042 x5043 -x5044 -x5045 x5046 x5047 -x5048 x5049 1801.15 v -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 1801.15 v -x5067 -x5068 -x5069 -x5070 -x5371 x5372 -x5373 x5374 -x5375 x5376 -x5377 -x5378 x5379 x5380 -x5381 -x5382 -x5383 -x5384 1801.15 v x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 1801.15 v -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 1801.15 v -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 x5431 x5432 x5433 x5434 x5435 x5436 1801.15 v -x5437 x5438 x5439 x5440 x5441 x5442 x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 1801.15 v -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 -x5462 x5463 x5464 x5465 x5466 x5467 x5468 -x5469 x5470 -x5471 -x5472 -x5473 1801.15 v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 1801.15 v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 1801.15 v -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 x5552 x5553 -x5554 -x5555 1801.15 v x5556 x5557 -x5558 x5559 x5560 x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 1801.15 v -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 1801.15 v -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 1801.15 v -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 1801.15 v -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 1801.15 v -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 1801.15 v -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 1801.15 v -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 1801.15 v -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 1801.15 v -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 1801.15 v -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 1801.15 v -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 1801.15 v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 1801.15 v -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 1801.15 v -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 1801.15 v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 1801.15 v -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 1801.15 v -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 1801.15 v -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 1801.15 v -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 1801.15 v -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 x5942 x5943 -x5944 1801.15 v -x5945 x5946 -x5947 x5948 x5949 x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 1801.15 v -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 x5972 x5973 x5974 x5975 -x5976 x5977 -x5978 -x5979 x5980 1801.15 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 1801.15 v -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 1801.15 v -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 1801.15 v -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 1801.15 v -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 1801.15 v -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 1801.15 v -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 x6097 -x6098 -x6099 1801.15 v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 1801.15 v -x6117 -x6118 -x6119 -x6120 -x6121 x6122 x6123 x6124 -x6125 x6126 x6127 -x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6134 1801.15 v -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6181 1801.15 v -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 1801.15 v -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 1801.15 v -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 1801.15 v -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 x6241 -x6242 -x6243 x6244 x6245 -x6246 -x6247 x6248 x6249 -x6250 1801.15 v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 1801.15 v -x6268 -x6269 -x6270 x6271 -x6272 -x6273 x6274 -x6275 -x6276 x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 1801.15 v -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 x6302 -x6303 1801.15 v -x6304 x6305 x6306 x6307 x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 1801.15 v -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 x6332 x6333 x6334 x6335 x6336 x6337 x6338 x6339 -x6340 1801.15 v -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 1801.15 v -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 1801.15 v -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 x6391 1801.15 v x6392 x6393 -x6394 -x6395 x6396 x6397 x6398 x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 1801.15 v -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 x6422 x6423 -x6424 -x6425 x6426 x6427 1801.15 v x6428 x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 1801.15 v -x6446 -x6447 -x6448 -x6449 -x6450 x6451 x6452 x6453 x6454 x6455 x6456 x6457 x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6464 1801.15 v -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6511 1801.15 v -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 1801.15 v -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 1801.15 v -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 1801.15 v -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 1801.15 v -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 1801.15 v -x6597 -x6598 -x6599 -x6600 x6601 -x6602 -x6603 -x6604 x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 x6613 -x6614 1801.15 v -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 1801.15 v x6632 x6633 -x6634 -x6635 x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 1801.15 v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 x6661 x6662 x6663 -x6664 -x6665 x6666 x6667 1801.15 v -x6668 -x6669 -x6670 -x6671 -x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 1801.15 v -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 1801.15 v -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 1801.15 v -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 1801.15 v -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 1801.15 v -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 x6764 -x6765 -x6766 -x6767 -x6768 -x6769 1801.15 v -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 1801.15 v -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 1801.15 v -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6841 -x6842 -x6843 -x6844 -x6845 x6846 -x6847 -x6848 -x6849 -x6850 1801.15 v -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 1801.15 v -x6868 -x6869 -x6870 x6871 x6872 x6873 -x6874 x6875 -x6876 x6877 x6878 x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 1801.15 v -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 x6902 1801.15 v x6903 -x6904 -x6905 x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 1801.15 v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 1801.15 v -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 1801.15 v -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 x6961 x6962 x6963 -x6964 x6965 x6966 x6967 -x6968 -x6969 x6970 -x6971 -x6972 1801.15 v -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 1801.15 v -x6990 x6991 x6992 x6993 x6994 x6995 x6996 x6997 -x6998 -x6999 x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 1801.15 v -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 1801.15 v x7026 -x7027 x7028 x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 1801.15 v -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 x7055 -x7056 -x7057 -x7058 -x7059 -x7060 1801.15 v -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 1801.15 v -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 1801.15 v -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 1801.15 v -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 1801.15 v -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7171 -x7172 -x7173 -x7174 -x7175 1801.15 v -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 1801.15 v -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 x7202 x7203 x7204 x7205 x7206 -x7207 x7208 -x7209 -x7210 1801.15 v x7211 x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 1801.15 v -x7229 -x7230 -x7231 -x7232 x7233 -x7234 -x7235 -x7236 -x7237 x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 1801.15 v -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x7261 x7262 x7263 -x7264 1801.15 v x7265 x7266 -x7267 x7268 x7269 x7270 x7271 x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 1801.15 v -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 x7292 x7293 x7294 -x7295 -x7296 -x7297 x7298 -x7299 -x7300 1801.15 v -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 1801.15 v -x7318 -x7319 -x7320 x7321 x7322 x7323 x7324 -x7325 x7326 x7327 -x7328 x7329 x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 1801.15 v -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 1801.15 v -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 1801.15 v -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 x7384 x7385 x7386 x7387 x7388 1801.15 v x7389 -x7390 x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 1801.15 v -x7407 -x7408 -x7409 -x7410 x7411 x7412 x7413 x7414 -x7415 -x7416 x7417 x7418 -x7419 x7420 -x7421 -x7422 x7423 x7424 -x7425 1801.15 v -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 1801.15 v -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 1801.15 v -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 1801.15 v -x7507 -x7508 -x7509 x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 1801.15 v -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 1801.15 v -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 1801.15 v -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 1801.15 v -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 x7591 1801.15 v -x7592 x7593 x7594 x7595 x7596 x7597 x7598 x7599 -x7600 x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 1801.15 v -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 1801.15 v -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 1801.15 v -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 1801.15 v -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 1801.15 v -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 1801.15 v -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 1801.15 v -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 1801.15 v -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 x7741 x7742 x7743 x7744 x7745 x7746 -x7747 1801.15 v -x7748 -x7749 x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 1801.15 v -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 1801.15 v -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 1801.15 v -x7799 -x7800 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 1801.15 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 1801.15 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 1801.15 v x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 1801.15 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 1801.15 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1801.15 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1801.15 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1801.15 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1801.15 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1801.15 v -x300 x301 -x302 x303 x304 x305 x306 -x307 -x308 x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 1801.15 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 1801.15 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 x363 x364 1801.15 v x365 x366 x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 1801.15 v -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 1801.15 v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1801.15 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1801.15 v -x479 -x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 1801.15 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 1801.15 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 1801.15 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 1801.15 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 1801.15 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 1801.15 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1801.15 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 1801.15 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 1801.15 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 1801.15 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 1801.15 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 1801.15 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1801.15 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 1801.15 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 x817 x818 -x819 x820 -x821 -x822 -x823 -x824 x825 -x826 1801.15 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 1801.15 v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1801.15 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 1801.15 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 1801.15 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 1801.15 v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1801.15 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 x964 x965 x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 1801.15 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1801.15 v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1801.15 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1801.15 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1801.15 v -x1048 -x1049 -x1050 x1081 x1082 -x1083 x1084 x1085 x1086 x1087 -x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1801.15 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 1801.15 v x1114 x1115 x1116 -x1117 x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1801.15 v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 1801.15 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1801.15 v -x1166 -x1167 -x1168 -x1169 -x1170 x1171 x1172 x1173 x1174 x1175 x1176 -x1177 -x1178 x1179 x1180 -x1181 -x1182 -x1183 -x1184 1801.15 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 1801.15 v x1202 -x1203 x1204 x1205 x1206 x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 1801.15 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 1801.15 v -x1238 x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1801.15 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 x1263 x1264 -x1265 x1266 x1267 x1268 x1269 x1270 x1271 -x1272 -x1273 -x1274 1801.15 v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 1801.15 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1801.15 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 1801.15 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 1801.15 v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1801.15 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1801.15 v -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 1801.15 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1801.15 v -x1441 -x1442 x1443 -x1444 -x1445 -x1446 x1447 -x1448 x1449 x1450 -x1451 x1452 -x1453 x1454 x1455 -x1456 -x1457 -x1458 1801.15 v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 x1472 -x1473 x1474 -x1475 -x1476 1801.15 v -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 1801.15 v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 x1502 -x1503 x1504 x1505 -x1506 -x1507 x1508 -x1509 x1510 -x1511 1801.15 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 1801.15 v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 1801.15 v -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 1801.15 v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 1801.15 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 1801.15 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 1801.15 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 x1623 -x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 x1631 1801.15 v -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 1801.15 v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 1801.15 v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 x1682 x1683 1801.15 v x1684 x1685 -x1686 x1687 x1688 x1689 x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 1801.15 v -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1741 x1742 -x1743 x1744 x1745 -x1746 -x1747 x1748 -x1749 1801.15 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1801.15 v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 1801.15 v -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 1801.15 v -x1801 -x1802 x1803 -x1804 x1805 x1806 x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1801.15 v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 x1833 x1834 x1835 x1836 1801.15 v x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1801.15 v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 1801.15 v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 1801.15 v -x1889 -x1890 -x1891 x1892 x1893 -x1894 x1895 x1896 x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1801.15 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 1801.15 v x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1801.15 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1801.15 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1801.15 v -x1977 -x1978 -x1979 -x1980 x1981 x1982 x1983 -x1984 -x1985 -x1986 x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1801.15 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 1801.15 v x2012 x2013 x2014 x2015 x2016 x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1801.15 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1801.15 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1801.15 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 x2104 -x2105 x2106 x2107 x2108 -x2109 -x2110 -x2111 1801.15 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1801.15 v -x2129 -x2130 -x2131 x2132 x2133 x2134 -x2135 -x2136 x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 1801.15 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 x2162 x2163 -x2164 1801.15 v x2165 -x2166 x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1801.15 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1801.15 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 1801.15 v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 1801.15 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1801.15 v -x2251 x2252 -x2253 x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1801.15 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1801.15 v -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1801.15 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1801.15 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1801.15 v -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1801.15 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 1801.15 v -x2402 -x2403 x2404 -x2405 -x2406 x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1801.15 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1801.15 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1801.15 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1801.15 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1801.15 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1801.15 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1801.15 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1801.15 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 x2554 -x2555 -x2556 1801.15 v x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1801.15 v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 1801.15 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1801.15 v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 1801.15 v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 1801.15 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1801.15 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 x2672 x2673 -x2674 -x2675 -x2676 x2677 -x2678 1801.15 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 1801.15 v -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 1801.15 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 1801.15 v -x2760 x2761 -x2762 x2763 x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 1801.15 v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 -x2793 -x2794 -x2795 1801.15 v x2796 -x2797 -x2798 x2799 x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 1801.15 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1801.15 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1801.15 v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1801.15 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 1801.15 v -x2882 x2883 x2884 x2885 x2886 x2887 x2888 -x2889 x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1801.15 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 1801.15 v -x2919 -x2920 -x2921 x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 1801.15 v -x2937 -x2938 -x2939 -x2940 x2941 -x2942 x2943 x2944 -x2945 -x2946 -x2947 x2948 -x2949 x2950 x2951 x2952 -x2953 -x2954 1801.15 v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 1801.15 v x2972 -x2973 -x2974 -x2975 x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 1801.15 v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 x3002 -x3003 -x3004 x3005 x3006 x3007 1801.15 v x3008 x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 1801.15 v -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 1801.15 v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 1801.15 v -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 1801.15 v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 1801.15 v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 1801.15 v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 1801.15 v -x3158 -x3159 x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 1801.15 v -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 -x3191 -x3192 -x3193 1801.15 v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 1801.15 v x3211 -x3212 -x3213 x3214 x3215 -x3216 x3217 x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 1801.15 v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 x3241 -x3242 -x3243 -x3244 -x3245 1801.15 v x3246 x3247 x3248 x3249 -x3250 x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 1801.15 v -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 1801.15 v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 1801.15 v -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 1801.15 v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 1801.15 v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 1801.15 v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3421 -x3422 -x3423 -x3424 -x3425 1801.15 v x3426 x3427 x3428 x3429 x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 1801.15 v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 x3452 -x3453 x3454 x3455 -x3456 x3457 x3458 x3459 x3460 x3461 -x3462 1801.15 v -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 1801.15 v -x3480 x3481 -x3482 -x3483 x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 1801.15 v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 1801.15 v -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 1801.15 v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 -x3543 -x3544 -x3545 x3546 x3547 -x3548 -x3549 1801.15 v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 1801.15 v -x3567 -x3568 -x3569 -x3570 x3571 x3572 -x3573 -x3574 -x3575 x3576 x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 1801.15 v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 1801.15 v -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 1801.15 v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 1801.15 v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1801.15 v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 1801.15 v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 1801.15 v -x3687 -x3688 -x3689 -x3690 x3691 -x3692 x3693 x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 1801.15 v -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 1801.15 v -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 1801.15 v -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 x3784 -x3785 1801.15 v -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 1801.15 v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 1801.15 v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 1801.15 v -x3837 -x3838 -x3839 -x3840 x3841 -x3842 x3843 x3844 x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 1801.15 v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 1801.15 v -x3872 x3873 x3874 -x3875 x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 1801.15 v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 1801.15 v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 1801.15 v -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 x3932 x3933 x3934 -x3935 x3936 -x3937 -x3938 -x3939 -x3940 -x3941 1801.15 v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 1801.15 v -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 1801.15 v -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 1801.15 v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 1801.15 v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 x4022 -x4023 x4024 -x4025 -x4026 -x4027 1801.15 v -x4028 -x4029 x4030 -x4031 -x4032 -x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 1801.15 v -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 1801.15 v -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 1801.15 v -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 1801.15 v -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 1801.15 v x4144 x4145 -x4146 -x4147 x4148 x4149 x4150 -x4151 x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 1801.15 v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 1801.15 v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 1801.15 v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 1801.15 v -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 1801.15 v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 1801.15 v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 -x4264 1801.15 v x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 1801.15 v -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 1801.15 v -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 1801.15 v -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 x4325 -x4326 -x4327 x4328 -x4329 -x4330 -x4331 x4332 -x4333 -x4334 1801.15 v -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 1801.15 v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 1801.15 v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 x4411 -x4412 x4413 x4414 x4415 x4416 1801.15 v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 1801.15 v -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 x4442 x4443 -x4444 x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 1801.15 v -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 1801.15 v -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 1801.15 v -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 -x4502 1801.15 v -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 1801.15 v -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 1801.15 v -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 1801.15 v -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 x4566 x4567 x4568 x4569 -x4570 x4571 1801.15 v x4572 x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 1801.15 v -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 1801.15 v -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 1801.15 v x4624 -x4625 -x4626 -x4627 -x4628 x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 1801.15 v -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 1801.15 v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 1801.15 v -x4676 -x4677 -x4678 -x4679 -x4680 x4681 x4682 x4683 x4684 x4685 -x4686 x4687 -x4688 -x4689 x4690 x4691 x4692 x4693 -x4694 1801.15 v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 1801.15 v -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 1801.15 v -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 x4774 -x4775 1801.15 v -x4776 x4777 x4778 x4779 x4780 x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 1801.15 v -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 x4802 -x4803 x4804 -x4805 -x4806 x4807 -x4808 x4809 -x4810 -x4811 1801.15 v -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 1801.15 v -x4829 -x4830 x4831 -x4832 -x4833 -x4834 -x4835 x4836 x4837 -x4838 x4839 -x4840 x4841 -x4842 x4843 -x4844 -x4845 -x4846 1801.15 v -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 1801.15 v -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 1801.15 v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 1801.15 v -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 1801.15 v -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 1801.15 v -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 1801.15 v -x4949 -x4950 x4951 x4952 -x4953 x4954 -x4955 -x4956 -x4957 -x4958 -x4959 x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1801.15 v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 1801.15 v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1801.15 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 -x5013 -x5014 x5015 x5016 x5017 x5018 1801.15 v x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 1801.15 v -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 1801.15 v -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 1801.15 v -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 1801.15 v -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 1801.15 v -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 1801.15 v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 -x5162 -x5163 -x5164 -x5165 -x5166 x5167 x5168 1801.15 v x5169 x5170 x5171 x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 1801.15 v -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 1801.15 v -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 1801.15 v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 1801.15 v -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 x5252 -x5253 -x5254 -x5255 1801.15 v -x5256 -x5257 -x5258 -x5259 x5260 x5261 x5262 x5263 -x5264 x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 1801.15 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 x5283 -x5284 x5285 x5286 x5287 -x5288 -x5289 -x5290 -x5291 1801.15 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 1801.15 v -x5309 -x5310 -x5311 x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5319 -x5320 x5321 -x5322 x5323 -x5324 -x5325 -x5326 1801.15 v -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 x5342 -x5343 -x5344 1801.15 v -x5345 -x5346 -x5347 -x5348 x5349 x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 1801.15 v -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x7801 -x7802 x7913 x7984 x7995 x8006 -x8017 -x8028 x8039 x8050 1801.15 v x7803 -x7814 x7825 -x7836 x7847 -x7858 x7869 x7880 x7891 x7902 x7914 -x7925 x7936 -x7947 x7958 x7969 x7980 -x7981 x7982 1801.15 v x7983 -x7985 x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7996 -x7997 -x7998 x7999 x8000 -x8001 -x8002 1801.15 v -x8003 x8004 x8005 -x8007 -x8008 x8009 x8010 x8011 x8012 -x8013 x8014 x8015 x8016 -x8018 -x8019 -x8020 x8021 x8022 x8023 1801.15 v -x8024 -x8025 x8026 -x8027 x8029 x8030 x8031 -x8032 x8033 x8034 x8035 x8036 -x8037 -x8038 -x8040 x8041 x8042 x8043 x8044 1801.15 v x8045 -x8046 x8047 x8048 -x8049 x8051 -x8052 -x8053 x8054 -x8055 -x8056 -x8057 -x8058 x8059 x8060 -x7804 -x7805 x7806 -x7807 1801.15 v -x7808 -x7809 -x7810 x7811 x7812 x7813 -x7815 -x7816 x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 x7826 -x7827 1801.15 v x7828 -x7829 -x7830 -x7831 -x7832 x7833 -x7834 x7835 x7837 x7838 -x7839 x7840 x7841 x7842 x7843 -x7844 -x7845 -x7846 -x7848 1801.15 v x7849 x7850 x7851 -x7852 -x7853 -x7854 x7855 -x7856 x7857 x7859 -x7860 x7861 x7862 -x7863 x7864 x7865 -x7866 x7867 x7868 1801.15 v -x7870 x7871 x7872 x7873 -x7874 -x7875 x7876 x7877 -x7878 x7879 x7881 -x7882 -x7883 -x7884 -x7885 x7886 x7887 x7888 -x7889 1801.15 v x7890 -x7892 x7893 x7894 -x7895 -x7896 x7897 x7898 x7899 x7900 x7901 -x7903 -x7904 -x7905 x7906 x7907 x7908 x7909 -x7910 1801.15 v x7911 -x7912 x7915 x7916 x7917 x7918 x7919 x7920 x7921 -x7922 -x7923 x7924 -x7926 x7927 -x7928 x7929 x7930 -x7931 x7932 1801.15 v -x7933 -x7934 x7935 x7937 x7938 x7939 x7940 -x7941 -x7942 x7943 -x7944 x7945 -x7946 x7948 x7949 -x7950 x7951 -x7952 x7953 1801.15 v -x7954 x7955 -x7956 x7957 -x7959 x7960 x7961 x7962 -x7963 -x7964 x7965 x7966 -x7967 x7968 -x7970 -x7971 -x7972 x7973 -x7974 1801.15 v -x7975 x7976 x7977 x7978 x7979
OK 24052299
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/node15/watcher-35656-1149302690 -o ROOT/results/node15/solver-35656-1149302690 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node15/35656-1149302690/instance-35656-1149302690.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1214240/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=1180 CPUtime=0 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 117 0 0 0 0 0 0 0 19 0 1 0 195931800 1208320 102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 295 107 67 215 0 77 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1196128/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=20704 CPUtime=9.99 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 4854 0 0 0 996 3 0 0 25 0 1 0 195931800 21200896 4649 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588680 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 5176 4649 124 215 0 4958 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 20704 [startup+20.0074 s] /proc/loadavg: 0.94 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1195424/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=21412 CPUtime=19.99 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 5034 0 0 0 1996 3 0 0 25 0 1 0 195931800 21925888 4829 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572687 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 5353 4829 124 215 0 5135 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 21412 [startup+30.0131 s] /proc/loadavg: 0.95 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1194912/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=21972 CPUtime=29.99 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 5165 0 0 0 2996 3 0 0 25 0 1 0 195931800 22499328 4960 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569815 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 5493 4960 124 215 0 5275 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 21972 [startup+40.0188 s] /proc/loadavg: 0.96 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1194464/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=22444 CPUtime=39.99 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 5291 0 0 0 3996 3 0 0 25 0 1 0 195931800 22982656 5086 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 5611 5086 124 215 0 5393 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 22444 [startup+50.0246 s] /proc/loadavg: 0.96 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1193120/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=23764 CPUtime=50 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 5621 0 0 0 4997 3 0 0 25 0 1 0 195931800 24334336 5416 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581457 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 5941 5416 124 215 0 5723 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 23764 [startup+60.0303 s] /proc/loadavg: 0.97 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1192416/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=24536 CPUtime=60 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 5786 0 0 0 5997 3 0 0 25 0 1 0 195931800 25124864 5581 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580505 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 6134 5581 124 215 0 5916 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 24536 [startup+70.036 s] /proc/loadavg: 0.97 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1189344/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=27552 CPUtime=70 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 6559 0 0 0 6996 4 0 0 25 0 1 0 195931800 28213248 6354 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588692 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 6888 6354 124 215 0 6670 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 27552 [startup+80.0417 s] /proc/loadavg: 0.98 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1188512/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=28212 CPUtime=80.01 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 6756 0 0 0 7996 5 0 0 25 0 1 0 195931800 28889088 6551 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 7053 6551 124 215 0 6835 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 28212 [startup+90.0475 s] /proc/loadavg: 0.98 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1187040/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=29964 CPUtime=90.01 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 7132 0 0 0 8996 5 0 0 25 0 1 0 195931800 30683136 6927 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 7491 6927 124 215 0 7273 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 29964 [startup+100.054 s] /proc/loadavg: 0.98 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1185440/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=31412 CPUtime=100.01 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 7523 0 0 0 9996 5 0 0 25 0 1 0 195931800 32165888 7318 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 7853 7318 124 215 0 7635 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 31412 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1184352/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=32464 CPUtime=110.01 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 7785 0 0 0 10996 5 0 0 25 0 1 0 195931800 33243136 7580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 8116 7580 124 215 0 7898 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 32464 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1182624/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=34444 CPUtime=120.02 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 8232 0 0 0 11996 6 0 0 25 0 1 0 195931800 35270656 8027 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 8611 8027 124 215 0 8393 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 34444 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1180128/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=36940 CPUtime=130.03 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 8863 0 0 0 12996 7 0 0 25 0 1 0 195931800 37826560 8658 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 9235 8658 124 215 0 9017 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 36940 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1178528/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=38388 CPUtime=140.02 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 9260 0 0 0 13995 7 0 0 25 0 1 0 195931800 39309312 9055 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 9597 9055 124 215 0 9379 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 38388 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1174112/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=42728 CPUtime=150.03 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 10355 0 0 0 14995 8 0 0 25 0 1 0 195931800 43753472 10150 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580738 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 10682 10150 124 215 0 10464 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 42728 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1169952/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=47204 CPUtime=160.03 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 11393 0 0 0 15994 9 0 0 25 0 1 0 195931800 48336896 11188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 11801 11188 124 215 0 11583 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 47204 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1143904/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=74700 CPUtime=170.03 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 19186 0 0 0 16990 13 0 0 25 0 1 0 195931800 76492800 17675 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 18675 17675 124 215 0 18457 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 74700 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1143904/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=74700 CPUtime=180.03 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 19195 0 0 0 17990 13 0 0 25 0 1 0 195931800 76492800 17684 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569822 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 18675 17684 124 215 0 18457 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 74700 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1143904/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=74700 CPUtime=190.04 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 19195 0 0 0 18991 13 0 0 25 0 1 0 195931800 76492800 17684 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 18675 17684 124 215 0 18457 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 74700 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1143904/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=74700 CPUtime=200.04 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 19196 0 0 0 19991 13 0 0 25 0 1 0 195931800 76492800 17685 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 18675 17685 124 215 0 18457 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 74700 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4290 /proc/meminfo: memFree=1143904/2055920 swapFree=4181408/4192956 ################ # More data... # ################ [pid=4290] ppid=4288 vsize=224044 CPUtime=1781.4 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 57179 0 0 0 178087 53 0 0 25 0 1 0 195931800 229421056 54972 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 56011 54972 124 215 0 55793 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 224044 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=993760/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=224576 CPUtime=1782.41 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 57306 0 0 0 178188 53 0 0 25 0 1 0 195931800 229965824 55099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 56144 55099 124 215 0 55926 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 224576 [startup+1784.06 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=993184/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=225236 CPUtime=1783.41 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 57449 0 0 0 178288 53 0 0 25 0 1 0 195931800 230641664 55242 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584041 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 56309 55242 124 215 0 56091 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 225236 [startup+1785.07 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=992608/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=225768 CPUtime=1784.41 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 57586 0 0 0 178388 53 0 0 25 0 1 0 195931800 231186432 55379 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 56442 55379 124 215 0 56224 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 225768 [startup+1786.07 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=991968/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=226292 CPUtime=1785.42 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 57741 0 0 0 178489 53 0 0 25 0 1 0 195931800 231723008 55534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 56573 55534 124 215 0 56355 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 226292 [startup+1787.08 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=991392/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=226948 CPUtime=1786.43 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 57894 0 0 0 178589 54 0 0 25 0 1 0 195931800 232394752 55687 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 56737 55687 124 215 0 56519 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 226948 [startup+1788.08 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=990880/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=227472 CPUtime=1787.43 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 58025 0 0 0 178689 54 0 0 25 0 1 0 195931800 232931328 55818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 56868 55818 124 215 0 56650 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 227472 [startup+1789.09 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=990304/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=227992 CPUtime=1788.43 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 58169 0 0 0 178789 54 0 0 25 0 1 0 195931800 233463808 55962 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 56998 55962 124 215 0 56780 0 Current children cumulated CPU time (s) 1788.43 Current children cumulated vsize (Kb) 227992 [startup+1790.09 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=989728/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=228520 CPUtime=1789.44 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 58298 0 0 0 178890 54 0 0 25 0 1 0 195931800 234004480 56091 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 57130 56091 124 215 0 56912 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 228520 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=989216/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=229048 CPUtime=1790.44 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 58430 0 0 0 178990 54 0 0 25 0 1 0 195931800 234545152 56223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 57262 56223 124 215 0 57044 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 229048 [startup+1792.1 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=988704/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=229576 CPUtime=1791.45 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 58564 0 0 0 179091 54 0 0 25 0 1 0 195931800 235085824 56357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 57394 56357 124 215 0 57176 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 229576 [startup+1793.11 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=988128/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=230228 CPUtime=1792.45 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 58697 0 0 0 179191 54 0 0 25 0 1 0 195931800 235753472 56490 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 57557 56490 124 215 0 57339 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 230228 [startup+1794.11 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=987680/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=230628 CPUtime=1793.45 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 58821 0 0 0 179291 54 0 0 25 0 1 0 195931800 236163072 56614 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573987 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 57657 56614 124 215 0 57439 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 230628 [startup+1795.12 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=987232/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=231148 CPUtime=1794.46 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 58932 0 0 0 179392 54 0 0 25 0 1 0 195931800 236695552 56725 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 57787 56725 124 215 0 57569 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 231148 [startup+1796.12 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=986720/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=231544 CPUtime=1795.46 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 59051 0 0 0 179492 54 0 0 25 0 1 0 195931800 237101056 56844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 57886 56844 124 215 0 57668 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 231544 [startup+1797.13 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=986208/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=232072 CPUtime=1796.46 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 59177 0 0 0 179592 54 0 0 25 0 1 0 195931800 237641728 56970 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 58018 56970 124 215 0 57800 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 232072 [startup+1798.13 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=985696/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=232596 CPUtime=1797.47 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 59305 0 0 0 179693 54 0 0 25 0 1 0 195931800 238178304 57098 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 58149 57098 124 215 0 57931 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 232596 [startup+1799.13 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=985248/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=233128 CPUtime=1798.47 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 59426 0 0 0 179793 54 0 0 25 0 1 0 195931800 238723072 57219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 58282 57219 124 215 0 58064 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 233128 [startup+1800.14 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=984736/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=233644 CPUtime=1799.48 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 59557 0 0 0 179894 54 0 0 25 0 1 0 195931800 239251456 57350 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 58411 57350 124 215 0 58193 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 233644 [startup+1801.15 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=984096/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=234176 CPUtime=1800.49 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 59702 0 0 0 179994 55 0 0 25 0 1 0 195931800 239796224 57495 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 58544 57495 124 215 0 58326 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 234176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.98 0.95 2/64 4485 /proc/meminfo: memFree=984096/2055920 swapFree=4181408/4192956 [pid=4290] ppid=4288 vsize=234176 CPUtime=1800.49 /proc/4290/stat : 4290 (minisat+) R 4288 4290 4244 0 -1 4194304 59702 0 0 0 179994 55 0 0 25 0 1 0 195931800 239796224 57495 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573865 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4290/statm: 58544 57495 124 215 0 58326 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 234176 Sending SIGTERM to -4290 Sleeping 2 seconds Child status: 10 Real time (s): 1801.19 CPU time (s): 1800.54 CPU user time (s): 1799.95 CPU system time (s): 0.584911 CPU usage (%): 99.9636 Max. virtual memory (cumulated for all children) (Kb): 234176
Begin job on node15 on Sat Jun 3 02:44:50 UTC 2006 FILE ID= 35656-1149302690 PBS_JOBID= 307456 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-ran10x26.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node15/35656-1149302690/instance-35656-1149302690.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-35656-1149302690 -o ROOT/results/node15/solver-35656-1149302690 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node15/35656-1149302690/instance-35656-1149302690.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 24310f50398f30cad58c742db29765ce RANDOM SEED= 683264428 /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.285 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.285 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: 1214512 kB Buffers: 39680 kB Cached: 727656 kB SwapCached: 3308 kB Active: 121632 kB Inactive: 654444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1214512 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14692 kB Slab: 51316 kB Committed_AS: 301080 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Sat Jun 3 03:14:51 UTC 2006