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) | 35948065 | 1800.68 | 1801.28 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran6x43.opb |
| MD5SUM | 9dd7506c46c3c26c10ff03753daf5d0f |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 8442880 |
| Best CPU time to get the best result obtained on this benchmark | 1800.55 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 8442880 |
| Optimality of the best value was proved | NO |
| Number of variables | 7998 |
| Total number of constraints | 307 |
| 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 | 307 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 1290 |
| Number of terms in the objective function | 7998 |
| 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 | 1568780661323 |
| 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 | 1568780661323 |
| 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 356 PB-constraints to clauses... 0.40 c -- Unit propagations: (none) 0.97 c -- Detecting intervals from adjacent constraints: ################################################# 0.98 c -- Clauses(.)/Splits(s): (none) 0.98 c ---[ 354]---> Adder-cost: 1146 maxlim: 629717 bits: 20/20 1.08 c ---[ 352]---> Adder-cost: 1146 maxlim: 674773 bits: 20/20 1.17 c ---[ 350]---> Adder-cost: 1138 maxlim: 631765 bits: 20/20 1.26 c ---[ 348]---> Adder-cost: 1146 maxlim: 745429 bits: 20/20 1.35 c ---[ 346]---> Adder-cost: 1070 maxlim: 304085 bits: 19/19 1.43 c ---[ 344]---> Adder-cost: 1146 maxlim: 675797 bits: 20/20 1.53 c ---[ 342]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.54 c ---[ 340]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.55 c ---[ 338]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.56 c ---[ 336]---> Sorter-cost: 1260 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.57 c ---[ 334]---> Sorter-cost: 1260 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.59 c ---[ 332]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.60 c ---[ 330]---> Sorter-cost: 954 Base: 2 2 2 2 2 2 2 2 2 2 2 1.61 c ---[ 328]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.62 c ---[ 326]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.63 c ---[ 324]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.65 c ---[ 322]---> Sorter-cost: 954 Base: 2 2 2 2 2 2 2 2 2 2 2 1.65 c ---[ 320]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.67 c ---[ 318]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.68 c ---[ 316]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.69 c ---[ 314]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.71 c ---[ 312]---> Sorter-cost: 954 Base: 2 2 2 2 2 2 2 2 2 2 2 1.72 c ---[ 310]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.73 c ---[ 308]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.74 c ---[ 306]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.75 c ---[ 304]---> Sorter-cost: 954 Base: 2 2 2 2 2 2 2 2 2 2 2 1.76 c ---[ 302]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.77 c ---[ 300]---> Sorter-cost: 1260 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.78 c ---[ 298]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.80 c ---[ 296]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.81 c ---[ 294]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.82 c ---[ 292]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.83 c ---[ 290]---> Sorter-cost: 866 Base: 2 2 2 2 2 2 2 2 2 2 1.84 c ---[ 288]---> Sorter-cost: 954 Base: 2 2 2 2 2 2 2 2 2 2 2 1.85 c ---[ 286]---> Sorter-cost: 1260 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.86 c ---[ 284]---> Sorter-cost: 954 Base: 2 2 2 2 2 2 2 2 2 2 2 1.87 c ---[ 282]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.89 c ---[ 280]---> Sorter-cost: 1260 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.90 c ---[ 278]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.92 c ---[ 276]---> Sorter-cost: 866 Base: 2 2 2 2 2 2 2 2 2 2 1.92 c ---[ 274]---> Sorter-cost: 1260 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 1.94 c ---[ 272]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.95 c ---[ 270]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.96 c ---[ 268]---> Sorter-cost: 954 Base: 2 2 2 2 2 2 2 2 2 2 2 1.97 c ---[ 266]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 1.98 c ---[ 264]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2.00 c ---[ 262]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2.01 c ---[ 260]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2.02 c ---[ 258]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2.03 c ---[ 257]---> BDD-cost: 15 2.03 c ---[ 256]---> BDD-cost: 15 2.03 c ---[ 255]---> BDD-cost: 17 2.03 c ---[ 254]---> BDD-cost: 14 2.03 c ---[ 253]---> BDD-cost: 18 2.03 c ---[ 252]---> BDD-cost: 20 2.03 c ---[ 251]---> BDD-cost: 17 2.03 c ---[ 250]---> BDD-cost: 13 2.03 c ---[ 249]---> BDD-cost: 15 2.03 c ---[ 248]---> BDD-cost: 20 2.03 c ---[ 247]---> BDD-cost: 15 2.03 c ---[ 246]---> BDD-cost: 13 2.04 c ---[ 245]---> BDD-cost: 18 2.04 c ---[ 244]---> BDD-cost: 20 2.04 c ---[ 243]---> BDD-cost: 15 2.04 c ---[ 242]---> BDD-cost: 16 2.04 c ---[ 241]---> BDD-cost: 14 2.04 c ---[ 240]---> BDD-cost: 18 2.04 c ---[ 239]---> BDD-cost: 20 2.04 c ---[ 238]---> BDD-cost: 15 2.04 c ---[ 237]---> BDD-cost: 14 2.04 c ---[ 236]---> BDD-cost: 15 2.04 c ---[ 235]---> BDD-cost: 12 2.04 c ---[ 234]---> BDD-cost: 14 2.04 c ---[ 233]---> BDD-cost: 16 2.04 c ---[ 232]---> BDD-cost: 20 2.04 c ---[ 231]---> BDD-cost: 13 2.04 c ---[ 230]---> BDD-cost: 17 2.04 c ---[ 229]---> BDD-cost: 20 2.04 c ---[ 228]---> BDD-cost: 20 2.04 c ---[ 227]---> BDD-cost: 12 2.04 c ---[ 226]---> BDD-cost: 18 2.04 c ---[ 225]---> BDD-cost: 17 2.04 c ---[ 224]---> BDD-cost: 14 2.04 c ---[ 223]---> BDD-cost: 15 2.04 c ---[ 222]---> BDD-cost: 15 2.04 c ---[ 221]---> BDD-cost: 15 2.04 c ---[ 220]---> BDD-cost: 16 2.04 c ---[ 219]---> BDD-cost: 14 2.04 c ---[ 218]---> BDD-cost: 20 2.04 c ---[ 217]---> BDD-cost: 17 2.04 c ---[ 216]---> BDD-cost: 17 2.04 c ---[ 215]---> BDD-cost: 14 2.04 c ---[ 214]---> BDD-cost: 14 2.04 c ---[ 213]---> BDD-cost: 15 2.04 c ---[ 212]---> BDD-cost: 17 2.04 c ---[ 211]---> BDD-cost: 14 2.04 c ---[ 210]---> BDD-cost: 20 2.04 c ---[ 209]---> BDD-cost: 16 2.04 c ---[ 208]---> BDD-cost: 15 2.04 c ---[ 207]---> BDD-cost: 14 2.04 c ---[ 206]---> BDD-cost: 18 2.04 c ---[ 205]---> BDD-cost: 22 2.05 c ---[ 204]---> BDD-cost: 17 2.05 c ---[ 203]---> BDD-cost: 13 2.05 c ---[ 202]---> BDD-cost: 15 2.05 c ---[ 201]---> BDD-cost: 18 2.05 c ---[ 200]---> BDD-cost: 18 2.05 c ---[ 199]---> BDD-cost: 15 2.05 c ---[ 198]---> BDD-cost: 13 2.05 c ---[ 197]---> BDD-cost: 18 2.05 c ---[ 196]---> BDD-cost: 15 2.05 c ---[ 195]---> BDD-cost: 16 2.05 c ---[ 194]---> BDD-cost: 14 2.05 c ---[ 193]---> BDD-cost: 18 2.05 c ---[ 192]---> BDD-cost: 20 2.05 c ---[ 191]---> BDD-cost: 15 2.05 c ---[ 190]---> BDD-cost: 14 2.05 c ---[ 189]---> BDD-cost: 22 2.05 c ---[ 188]---> BDD-cost: 15 2.05 c ---[ 187]---> BDD-cost: 12 2.05 c ---[ 186]---> BDD-cost: 14 2.05 c ---[ 185]---> BDD-cost: 20 2.05 c ---[ 184]---> BDD-cost: 13 2.05 c ---[ 183]---> BDD-cost: 17 2.05 c ---[ 182]---> BDD-cost: 20 2.05 c ---[ 181]---> BDD-cost: 22 2.05 c ---[ 180]---> BDD-cost: 12 2.05 c ---[ 179]---> BDD-cost: 18 2.05 c ---[ 178]---> BDD-cost: 17 2.05 c ---[ 177]---> BDD-cost: 17 2.05 c ---[ 176]---> BDD-cost: 14 2.05 c ---[ 175]---> BDD-cost: 16 2.05 c ---[ 174]---> BDD-cost: 15 2.05 c ---[ 173]---> BDD-cost: 16 2.05 c ---[ 172]---> BDD-cost: 14 2.05 c ---[ 171]---> BDD-cost: 16 2.05 c ---[ 170]---> BDD-cost: 16 2.05 c ---[ 169]---> BDD-cost: 16 2.05 c ---[ 168]---> BDD-cost: 14 2.05 c ---[ 167]---> BDD-cost: 13 2.05 c ---[ 166]---> BDD-cost: 14 2.05 c ---[ 165]---> BDD-cost: 16 2.05 c ---[ 164]---> BDD-cost: 16 2.05 c ---[ 163]---> BDD-cost: 16 2.06 c ---[ 162]---> BDD-cost: 16 2.06 c ---[ 161]---> BDD-cost: 15 2.06 c ---[ 160]---> BDD-cost: 14 2.06 c ---[ 159]---> BDD-cost: 16 2.06 c ---[ 158]---> BDD-cost: 16 2.06 c ---[ 157]---> BDD-cost: 16 2.06 c ---[ 156]---> BDD-cost: 15 2.06 c ---[ 155]---> BDD-cost: 13 2.06 c ---[ 154]---> BDD-cost: 16 2.06 c ---[ 153]---> BDD-cost: 16 2.06 c ---[ 152]---> BDD-cost: 15 2.06 c ---[ 151]---> BDD-cost: 13 2.06 c ---[ 150]---> BDD-cost: 16 2.06 c ---[ 149]---> BDD-cost: 15 2.06 c ---[ 148]---> BDD-cost: 16 2.06 c ---[ 147]---> BDD-cost: 14 2.06 c ---[ 146]---> BDD-cost: 16 2.06 c ---[ 145]---> BDD-cost: 16 2.06 c ---[ 144]---> BDD-cost: 22 2.06 c ---[ 143]---> BDD-cost: 16 2.06 c ---[ 142]---> BDD-cost: 16 2.06 c ---[ 141]---> BDD-cost: 14 2.06 c ---[ 140]---> BDD-cost: 15 2.06 c ---[ 139]---> BDD-cost: 12 2.06 c ---[ 138]---> BDD-cost: 14 2.06 c ---[ 137]---> BDD-cost: 16 2.06 c ---[ 136]---> BDD-cost: 13 2.06 c ---[ 135]---> BDD-cost: 16 2.06 c ---[ 134]---> BDD-cost: 16 2.06 c ---[ 133]---> BDD-cost: 15 2.06 c ---[ 132]---> BDD-cost: 16 2.06 c ---[ 131]---> BDD-cost: 12 2.06 c ---[ 130]---> BDD-cost: 16 2.06 c ---[ 129]---> BDD-cost: 16 2.06 c ---[ 128]---> BDD-cost: 14 2.06 c ---[ 127]---> BDD-cost: 15 2.06 c ---[ 126]---> BDD-cost: 15 2.06 c ---[ 125]---> BDD-cost: 16 2.06 c ---[ 124]---> BDD-cost: 14 2.06 c ---[ 123]---> BDD-cost: 20 2.06 c ---[ 122]---> BDD-cost: 13 2.06 c ---[ 121]---> BDD-cost: 17 2.06 c ---[ 120]---> BDD-cost: 17 2.07 c ---[ 119]---> BDD-cost: 14 2.07 c ---[ 118]---> BDD-cost: 14 2.07 c ---[ 117]---> BDD-cost: 15 2.07 c ---[ 116]---> BDD-cost: 17 2.07 c ---[ 115]---> BDD-cost: 20 2.07 c ---[ 114]---> BDD-cost: 16 2.07 c ---[ 113]---> BDD-cost: 15 2.07 c ---[ 112]---> BDD-cost: 14 2.07 c ---[ 111]---> BDD-cost: 18 2.07 c ---[ 110]---> BDD-cost: 18 2.07 c ---[ 109]---> BDD-cost: 22 2.07 c ---[ 108]---> BDD-cost: 17 2.07 c ---[ 107]---> BDD-cost: 13 2.07 c ---[ 106]---> BDD-cost: 15 2.07 c ---[ 105]---> BDD-cost: 22 2.07 c ---[ 104]---> BDD-cost: 15 2.07 c ---[ 103]---> BDD-cost: 13 2.07 c ---[ 102]---> BDD-cost: 18 2.07 c ---[ 101]---> BDD-cost: 15 2.07 c ---[ 100]---> BDD-cost: 15 2.07 c ---[ 99]---> BDD-cost: 16 2.07 c ---[ 98]---> BDD-cost: 14 2.07 c ---[ 97]---> BDD-cost: 18 2.07 c ---[ 96]---> BDD-cost: 20 2.07 c ---[ 95]---> BDD-cost: 15 2.07 c ---[ 94]---> BDD-cost: 14 2.07 c ---[ 93]---> BDD-cost: 15 2.07 c ---[ 92]---> BDD-cost: 12 2.07 c ---[ 91]---> BDD-cost: 14 2.07 c ---[ 90]---> BDD-cost: 20 2.07 c ---[ 89]---> BDD-cost: 16 2.07 c ---[ 88]---> BDD-cost: 13 2.07 c ---[ 87]---> BDD-cost: 17 2.07 c ---[ 86]---> BDD-cost: 20 2.07 c ---[ 85]---> BDD-cost: 22 2.07 c ---[ 84]---> BDD-cost: 12 2.07 c ---[ 83]---> BDD-cost: 18 2.07 c ---[ 82]---> BDD-cost: 17 2.07 c ---[ 81]---> BDD-cost: 14 2.07 c ---[ 80]---> BDD-cost: 14 2.07 c ---[ 79]---> BDD-cost: 18 2.08 c ---[ 78]---> BDD-cost: 20 2.08 c ---[ 77]---> BDD-cost: 15 2.08 c ---[ 76]---> BDD-cost: 14 2.08 c ---[ 75]---> BDD-cost: 14 2.08 c ---[ 74]---> BDD-cost: 15 2.08 c ---[ 73]---> BDD-cost: 12 2.08 c ---[ 72]---> BDD-cost: 14 2.08 c ---[ 71]---> BDD-cost: 20 2.08 c ---[ 70]---> BDD-cost: 13 2.08 c ---[ 69]---> BDD-cost: 17 2.08 c ---[ 68]---> BDD-cost: 20 2.08 c ---[ 67]---> BDD-cost: 22 2.08 c ---[ 66]---> BDD-cost: 12 2.08 c ---[ 65]---> BDD-cost: 20 2.08 c ---[ 64]---> BDD-cost: 18 2.08 c ---[ 63]---> BDD-cost: 17 2.08 c ---[ 62]---> BDD-cost: 14 2.08 c ---[ 61]---> BDD-cost: 15 2.08 c ---[ 60]---> BDD-cost: 15 2.08 c ---[ 59]---> BDD-cost: 16 2.08 c ---[ 58]---> BDD-cost: 14 2.08 c ---[ 57]---> BDD-cost: 20 2.08 c ---[ 56]---> BDD-cost: 17 2.08 c ---[ 55]---> BDD-cost: 17 2.08 c ---[ 54]---> BDD-cost: 17 2.08 c ---[ 53]---> BDD-cost: 14 2.08 c ---[ 52]---> BDD-cost: 14 2.08 c ---[ 51]---> BDD-cost: 15 2.08 c ---[ 50]---> BDD-cost: 17 2.08 c ---[ 49]---> BDD-cost: 20 2.08 c ---[ 48]---> BDD-cost: 16 2.08 c ---[ 47]---> BDD-cost: 15 2.08 c ---[ 46]---> BDD-cost: 14 2.08 c ---[ 45]---> BDD-cost: 18 2.08 c ---[ 44]---> BDD-cost: 22 2.08 c ---[ 43]---> BDD-cost: 17 2.08 c ---[ 42]---> BDD-cost: 17 2.08 c ---[ 41]---> BDD-cost: 13 2.08 c ---[ 40]---> BDD-cost: 15 2.08 c ---[ 39]---> BDD-cost: 22 2.09 c ---[ 38]---> BDD-cost: 15 2.09 c ---[ 37]---> BDD-cost: 13 2.09 c ---[ 36]---> BDD-cost: 18 2.09 c ---[ 35]---> BDD-cost: 15 2.09 c ---[ 34]---> BDD-cost: 16 2.09 c ---[ 33]---> BDD-cost: 14 2.09 c ---[ 32]---> BDD-cost: 14 2.09 c ---[ 31]---> BDD-cost: 18 2.09 c ---[ 30]---> BDD-cost: 20 2.09 c ---[ 29]---> BDD-cost: 15 2.09 c ---[ 28]---> BDD-cost: 14 2.09 c ---[ 27]---> BDD-cost: 15 2.09 c ---[ 26]---> BDD-cost: 12 2.09 c ---[ 25]---> BDD-cost: 14 2.09 c ---[ 24]---> BDD-cost: 20 2.09 c ---[ 23]---> BDD-cost: 13 2.09 c ---[ 22]---> BDD-cost: 17 2.09 c ---[ 21]---> BDD-cost: 14 2.09 c ---[ 20]---> BDD-cost: 20 2.09 c ---[ 19]---> BDD-cost: 22 2.09 c ---[ 18]---> BDD-cost: 12 2.09 c ---[ 17]---> BDD-cost: 18 2.09 c ---[ 16]---> BDD-cost: 17 2.09 c ---[ 15]---> BDD-cost: 14 2.09 c ---[ 14]---> BDD-cost: 15 2.09 c ---[ 13]---> BDD-cost: 15 2.09 c ---[ 12]---> BDD-cost: 16 2.09 c ---[ 11]---> BDD-cost: 14 2.09 c ---[ 10]---> BDD-cost: 15 2.09 c ---[ 9]---> BDD-cost: 20 2.09 c ---[ 8]---> BDD-cost: 17 2.09 c ---[ 7]---> BDD-cost: 20 2.09 c ---[ 6]---> BDD-cost: 14 2.09 c ---[ 5]---> BDD-cost: 14 2.09 c ---[ 4]---> BDD-cost: 15 2.09 c ---[ 3]---> BDD-cost: 17 2.09 c ---[ 2]---> BDD-cost: 20 2.09 c ---[ 1]---> BDD-cost: 16 2.09 c ---[ 0]---> BDD-cost: 15 2.26 c ==================================[MINISAT+]================================== 2.26 c | Conflicts | Original | Learnt | Progress | 2.26 c | | Clauses Literals | Max Clauses Literals LPC | | 2.26 c ============================================================================== 2.26 c | 0 | 172022 462734 | 57340 0 0 nan | 0.000 % | 2.36 c | 100 | 171839 462227 | 63074 75 267 3.6 | 11.567 % | 2.43 c | 250 | 171625 461736 | 69381 215 722 3.4 | 11.667 % | 2.58 c | 475 | 171422 461100 | 76319 417 1449 3.5 | 11.751 % | 2.92 c | 812 | 171117 460259 | 83951 737 2704 3.7 | 11.878 % | 3.29 c | 1318 | 170968 459787 | 92346 1224 4530 3.7 | 11.931 % | 3.93 c | 2077 | 170579 458888 | 101581 1961 7214 3.7 | 12.133 % | 5.39 c | 3216 | 169969 457351 | 111739 3058 11147 3.6 | 12.423 % | 7.78 c | 4924 | 169289 455770 | 122913 4724 17322 3.7 | 12.773 % | 11.02 c | 7486 | 168764 454566 | 135204 7250 27207 3.8 | 13.062 % | 16.24 c | 11331 | 167989 452805 | 148725 11047 43339 3.9 | 13.482 % | 24.74 c | 17097 | 167244 451073 | 163597 16759 70081 4.2 | 13.878 % | 37.33 c | 25746 | 165824 447768 | 179957 25315 116066 4.6 | 14.638 % | 52.37 c | 38720 | 165227 446367 | 197953 38234 229007 6.0 | 14.967 % | 65.09 c | 58181 | 164299 444096 | 217748 57576 670649 11.6 | 15.438 % | 78.38 c | 87374 | 164006 443421 | 239523 86736 1729574 19.9 | 15.597 % | 84.16 c ============================================================================== 84.16 c [1mFound solution: 45222998[0m 84.16 o 45222998 84.23 c ---[ 0]---> Adder-cost: 13121 maxlim: 22685173 bits: 26/25 87.83 c ==================================[MINISAT+]================================== 87.83 c | Conflicts | Original | Learnt | Progress | 87.83 c | | Clauses Literals | Max Clauses Literals LPC | | 87.83 c ============================================================================== 87.83 c | 105047 | 255648 770848 | 85216 104403 2434749 23.3 | 15.597 % | 88.07 c | 105147 | 255648 770848 | 93737 25344 531975 21.0 | 12.714 % | 88.29 c | 105298 | 255648 770848 | 103111 25495 532590 20.9 | 12.714 % | 88.68 c | 105523 | 255624 770793 | 113422 25715 533778 20.8 | 12.725 % | 89.21 c | 105860 | 255608 770756 | 124764 26051 535899 20.6 | 12.734 % | 90.49 c | 106366 | 255446 770367 | 137241 26542 538045 20.3 | 12.801 % | 92.05 c | 107127 | 255344 770132 | 150965 27289 541623 19.8 | 12.847 % | 94.41 c | 108266 | 255319 770074 | 166061 28426 547383 19.3 | 12.858 % | 97.09 c | 109974 | 255099 769561 | 182668 30104 557292 18.5 | 12.954 % | 100.91 c | 112536 | 254935 769182 | 200934 32644 574199 17.6 | 13.027 % | 107.18 c | 116380 | 254901 769099 | 221028 36481 602368 16.5 | 13.042 % | 112.19 c | 122146 | 254831 768939 | 243131 42239 710725 16.8 | 13.077 % | 119.26 c | 130795 | 254663 768555 | 267444 50864 1035951 20.4 | 13.157 % | 126.77 c | 143769 | 254606 768416 | 294188 63832 1984446 31.1 | 13.180 % | 135.98 c | 163235 | 254581 768356 | 323607 83294 3021934 36.3 | 13.190 % | 146.40 c | 192428 | 254581 768356 | 355968 112487 4337761 38.6 | 13.190 % | 171.58 c | 236217 | 254272 767607 | 391565 156238 6275224 40.2 | 13.328 % | 178.99 c ============================================================================== 178.99 c [1mFound solution: 35948065[0m 178.99 o 35948065 179.06 c ---[ 0]---> Adder-cost: 0 maxlim: 31960106 bits: 26/25 182.61 c ==================================[MINISAT+]================================== 182.61 c | Conflicts | Original | Learnt | Progress | 182.61 c | | Clauses Literals | Max Clauses Literals LPC | | 182.61 c ============================================================================== 182.61 c | 245721 | 254239 767736 | 84746 165734 6902005 41.6 | 13.328 % | 183.13 c | 245823 | 254239 767736 | 93220 25699 829604 32.3 | 13.378 % | 183.33 c | 245973 | 254235 767727 | 102542 25848 830278 32.1 | 13.381 % | 183.72 c | 246198 | 254235 767727 | 112796 26073 831542 31.9 | 13.381 % | 184.16 c | 246535 | 254203 767655 | 124076 26407 833083 31.5 | 13.395 % | 184.79 c | 247041 | 254176 767594 | 136484 26911 835622 31.1 | 13.407 % | 185.58 c | 247800 | 254176 767594 | 150132 27670 839187 30.3 | 13.407 % | 187.03 c | 248939 | 254172 767585 | 165145 28808 845365 29.3 | 13.408 % | 189.08 c | 250647 | 254085 767384 | 181660 30504 856353 28.1 | 13.444 % | 192.39 c | 253209 | 254075 767361 | 199826 33064 873337 26.4 | 13.450 % | 194.70 c | 257057 | 254055 767315 | 219809 36910 932109 25.3 | 13.460 % | 202.51 c | 262823 | 254040 767279 | 241790 42672 978453 22.9 | 13.468 % | 212.11 c | 271472 | 253979 767139 | 265969 51316 1091216 21.3 | 13.493 % | 218.76 c | 284446 | 253979 767139 | 292566 64290 1454802 22.6 | 13.493 % | 228.98 c | 303907 | 253901 766961 | 321822 83740 1888522 22.6 | 13.525 % | 259.10 c | 333099 | 253901 766961 | 354005 112932 9343925 82.7 | 13.525 % | 287.76 c | 376889 | 253816 766768 | 389405 156715 13614742 86.9 | 13.561 % | 333.06 c | 442575 | 253808 766750 | 428346 222399 19905424 89.5 | 13.565 % | 391.70 c | 541111 | 253763 766647 | 471180 320933 27467021 85.6 | 13.584 % | 507.07 c | 688900 | 253578 766217 | 518298 468696 36817866 78.6 | 13.667 % | 836.09 c | 910583 | 253491 766017 | 570128 146393 12200982 83.3 | 13.710 % | 1562.37 c | 1243108 | 253198 765341 | 627141 478878 71732097 149.8 | 13.834 % | 1801.20 c 1801.20 c *** TERMINATED *** 1801.20 s SATISFIABLE 1801.20 v -x1 x2 -x3 x4 -x5 -x6 x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1801.20 v -x30 -x31 x32 -x33 x34 x35 -x36 x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1801.20 v -x57 -x58 -x59 -x60 -x3361 x3362 x3363 -x3364 x3365 -x3366 x3367 x3368 x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1801.20 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x5431 x5432 x5433 x5434 1801.20 v -x5435 x5436 -x5437 -x5438 x5439 x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 1801.20 v -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5761 x5762 -x5763 -x5764 -x5765 -x5766 x5767 x5768 x5769 -x5770 1801.20 v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 1801.20 v -x5788 -x5789 -x5790 -x6091 -x6092 -x6093 x6094 x6095 x6096 x6097 x6098 x6099 -x6100 -x6101 -x6102 -x6103 x6104 -x6105 1801.20 v -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 x6421 -x6422 1801.20 v x6423 x6424 -x6425 x6426 -x6427 x6428 x6429 -x6430 x6431 x6432 x6433 x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 1801.20 v -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 x6751 -x6752 x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 1801.20 v -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 1801.20 v -x6777 -x6778 -x6779 -x6780 x7081 -x7082 -x7083 -x7084 x7085 x7086 x7087 x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 1801.20 v -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7411 1801.20 v x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 x7420 x7421 x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 1801.20 v -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x61 x62 -x63 x64 x65 -x66 -x67 -x68 x69 -x70 1801.20 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 x393 x394 x395 1801.20 v -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 1801.20 v -x417 -x418 -x419 -x420 x721 x722 -x723 -x724 x725 x726 x727 x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 1801.20 v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 x1052 -x1053 x1054 x1055 -x1056 x1057 -x1058 1801.20 v x1059 x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1801.20 v -x1077 -x1078 -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 1801.20 v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 1801.20 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1801.20 v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 x2044 1801.20 v -x2045 x2046 x2047 x2048 x2049 x2050 x2051 x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 1801.20 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 x2374 x2375 x2376 x2377 x2378 x2379 x2380 x2381 -x2382 1801.20 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1801.20 v -x2400 -x2701 x2702 -x2703 -x2704 x2705 -x2706 x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 1801.20 v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x3031 -x3032 x3033 -x3034 x3035 1801.20 v -x3036 -x3037 -x3038 -x3039 x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1801.20 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3391 x3392 x3393 x3394 -x3395 -x3396 x3397 -x3398 x3399 -x3400 -x3401 1801.20 v -x3402 -x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 1801.20 v -x3419 -x3420 -x3721 -x3722 x3723 x3724 x3725 x3726 x3727 -x3728 x3729 x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 1801.20 v -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 x4052 x4053 x4054 1801.20 v x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 1801.20 v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 x4385 x4386 -x4387 x4388 -x4389 1801.20 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1801.20 v -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 x4713 -x4714 -x4715 x4716 x4717 -x4718 -x4719 x4720 x4721 -x4722 -x4723 -x4724 1801.20 v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 1801.20 v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 1801.20 v -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5311 x5312 x5313 x5314 x5315 x5316 1801.20 v x5317 x5318 x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 1801.20 v -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 x5344 -x5345 x5346 -x5347 x5348 x5349 -x5350 x5351 -x5352 1801.20 v -x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 1801.20 v -x5370 -x5371 -x5372 -x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 x5382 x5383 x5384 -x5385 -x5386 -x5387 1801.20 v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 x5404 -x5405 1801.20 v x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 1801.20 v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5461 -x5462 -x5463 x5464 -x5465 x5466 -x5467 x5468 x5469 x5470 1801.20 v x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 1801.20 v -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 x5501 -x5502 -x5503 -x5504 1801.20 v -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 1801.20 v -x5522 x5523 -x5524 x5525 -x5526 x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 1801.20 v -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 -x5552 -x5553 -x5554 x5555 -x5556 x5557 1801.20 v -x5558 x5559 x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 1801.20 v -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 x5584 x5585 -x5586 x5587 x5588 -x5589 x5590 -x5591 -x5592 -x5593 1801.20 v -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 1801.20 v x5611 -x5612 -x5613 -x5614 x5615 -x5616 x5617 -x5618 -x5619 -x5620 x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 1801.20 v -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 x5644 x5645 x5646 1801.20 v x5647 x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 1801.20 v -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 1801.20 v -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 1801.20 v -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5706 x5707 x5708 x5709 x5710 -x5711 -x5712 x5713 x5714 x5715 -x5716 -x5717 1801.20 v -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 1801.20 v x5735 x5736 x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 1801.20 v -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 1801.20 v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 1801.20 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 1801.20 v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 1801.20 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 1801.20 v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 1801.20 v -x5885 -x5886 -x5887 -x5888 x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 1801.20 v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 1801.20 v -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 1801.20 v -x5937 -x5938 -x5939 -x5940 x5941 -x5942 -x5943 x5944 -x5945 -x5946 -x5947 -x5948 -x5949 x5950 -x5951 -x5952 -x5953 -x5954 1801.20 v -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 1801.20 v -x5972 -x5973 x5974 -x5975 x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 1801.20 v -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 x6004 -x6005 -x6006 1801.20 v -x6007 -x6008 -x6009 -x6010 x6011 -x6012 -x6013 x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 1801.20 v -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 1801.20 v -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 1801.20 v -x6059 -x6060 -x6061 -x6062 -x6063 x6064 x6065 -x6066 -x6067 -x6068 x6069 x6070 x6071 -x6072 x6073 x6074 -x6075 -x6076 1801.20 v -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 x6121 -x6122 -x6123 1801.20 v x6124 x6125 -x6126 x6127 x6128 -x6129 -x6130 x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 1801.20 v -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 x6153 x6154 -x6155 -x6156 x6157 -x6158 -x6159 1801.20 v -x6160 x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 1801.20 v -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 1801.20 v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 1801.20 v -x6211 -x6212 -x6213 -x6214 -x6215 x6216 x6217 -x6218 -x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 1801.20 v -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 x6242 -x6243 x6244 -x6245 -x6246 1801.20 v x6247 x6248 -x6249 -x6250 x6251 x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 1801.20 v -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 x6274 -x6275 -x6276 -x6277 -x6278 -x6279 x6280 -x6281 x6282 1801.20 v -x6283 x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 1801.20 v -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 1801.20 v -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 1801.20 v -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 1801.20 v -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 x6361 -x6362 -x6363 -x6364 -x6365 -x6366 x6367 -x6368 -x6369 1801.20 v x6370 x6371 x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 1801.20 v -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 x6395 -x6396 x6397 x6398 x6399 x6400 x6401 x6402 -x6403 -x6404 x6405 -x6406 1801.20 v -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 x6451 -x6452 x6453 x6454 1801.20 v x6455 -x6456 x6457 x6458 x6459 x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 1801.20 v -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 x6481 -x6482 x6483 -x6484 x6485 -x6486 -x6487 -x6488 x6489 -x6490 1801.20 v x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 1801.20 v -x6508 -x6509 -x6510 x6511 x6512 -x6513 x6514 -x6515 -x6516 x6517 -x6518 -x6519 x6520 -x6521 x6522 -x6523 -x6524 -x6525 1801.20 v -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 1801.20 v -x6543 -x6544 x6545 -x6546 -x6547 -x6548 x6549 -x6550 x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 1801.20 v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 x6573 x6574 x6575 x6576 x6577 -x6578 1801.20 v -x6579 x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 1801.20 v -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 x6602 x6603 -x6604 -x6605 -x6606 -x6607 -x6608 x6609 -x6610 -x6611 -x6612 -x6613 1801.20 v -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 1801.20 v -x6631 -x6632 -x6633 x6634 x6635 x6636 x6637 -x6638 x6639 -x6640 -x6641 -x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648 1801.20 v -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 x6665 1801.20 v -x6666 x6667 -x6668 -x6669 -x6670 x6671 x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 1801.20 v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 x6691 -x6692 -x6693 -x6694 -x6695 x6696 -x6697 -x6698 -x6699 -x6700 -x6701 1801.20 v -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 1801.20 v -x6719 -x6720 x6721 x6722 x6723 -x6724 x6725 x6726 x6727 x6728 x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 1801.20 v -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6781 -x6782 -x6783 -x6784 1801.20 v -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 1801.20 v -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 1801.20 v -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 1801.20 v -x6836 -x6837 -x6838 -x6839 -x6840 x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 x6849 -x6850 -x6851 -x6852 x6853 1801.20 v -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 1801.20 v -x6871 -x6872 -x6873 -x6874 -x6875 x6876 -x6877 -x6878 x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 1801.20 v -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 1801.20 v -x6906 -x6907 -x6908 -x6909 -x6910 x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 1801.20 v -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 1801.20 v -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 1801.20 v -x6957 -x6958 -x6959 -x6960 x6961 x6962 x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 x6970 -x6971 -x6972 -x6973 -x6974 1801.20 v -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 1801.20 v -x6992 x6993 -x6994 x6995 x6996 -x6997 -x6998 x6999 -x7000 x7001 -x7002 x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 1801.20 v -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 x7021 -x7022 -x7023 x7024 -x7025 x7026 -x7027 1801.20 v -x7028 x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 1801.20 v -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 x7054 x7055 x7056 x7057 x7058 -x7059 x7060 -x7061 -x7062 1801.20 v x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 1801.20 v -x7080 x7111 -x7112 x7113 x7114 -x7115 -x7116 -x7117 x7118 -x7119 -x7120 -x7121 x7122 -x7123 -x7124 -x7125 -x7126 -x7127 1801.20 v -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 1801.20 v -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 1801.20 v -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 x7172 -x7173 -x7174 -x7175 x7176 -x7177 -x7178 -x7179 1801.20 v -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 1801.20 v -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 x7205 x7206 -x7207 -x7208 -x7209 x7210 -x7211 x7212 x7213 -x7214 1801.20 v -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 1801.20 v -x7232 -x7233 -x7234 x7235 x7236 x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 1801.20 v -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 x7263 x7264 -x7265 -x7266 x7267 1801.20 v x7268 -x7269 -x7270 x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 1801.20 v -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 1801.20 v -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 1801.20 v -x7320 -x7321 -x7322 x7323 x7324 -x7325 -x7326 -x7327 -x7328 x7329 x7330 x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 1801.20 v -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 1801.20 v -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 1801.20 v -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 x7381 x7382 x7383 x7384 -x7385 x7386 x7387 x7388 x7389 x7390 1801.20 v -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 1801.20 v -x7408 -x7409 -x7410 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 1801.20 v -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 x7471 1801.20 v x7472 -x7473 x7474 x7475 x7476 x7477 x7478 x7479 x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 1801.20 v -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 x7502 x7503 x7504 -x7505 -x7506 -x7507 -x7508 1801.20 v x7509 x7510 -x7511 x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 1801.20 v -x7527 -x7528 -x7529 -x7530 x7531 -x7532 x7533 -x7534 x7535 -x7536 -x7537 -x7538 x7539 x7540 -x7541 -x7542 -x7543 -x7544 1801.20 v -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 1801.20 v -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 1801.20 v -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 x7591 -x7592 x7593 -x7594 -x7595 x7596 1801.20 v x7597 x7598 x7599 x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 1801.20 v -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 1801.20 v -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 1801.20 v -x7649 -x7650 -x7651 x7652 x7653 x7654 x7655 -x7656 x7657 -x7658 x7659 x7660 -x7661 x7662 -x7663 -x7664 -x7665 -x7666 -x7667 1801.20 v -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 1801.20 v -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 1801.20 v -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 1801.20 v -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 1801.20 v -x7736 -x7737 -x7738 -x7739 -x7740 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1801.20 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 x125 x126 -x127 1801.20 v -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1801.20 v -x149 -x150 x151 x152 -x153 -x154 -x155 x156 x157 x158 x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1801.20 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 x184 x185 x186 x187 -x188 -x189 x190 -x191 -x192 1801.20 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1801.20 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1801.20 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 1801.20 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 -x274 x275 -x276 1801.20 v x277 -x278 x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1801.20 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1801.20 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 -x334 x335 x336 x337 -x338 x339 -x340 1801.20 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1801.20 v x362 -x363 x364 -x365 x366 -x367 -x368 x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1801.20 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 x422 -x423 -x424 x425 -x426 -x427 x428 -x429 x430 -x431 -x432 -x433 -x434 1801.20 v -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 x454 x455 1801.20 v x456 x457 x458 x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 1801.20 v -x478 -x479 -x480 -x481 x482 -x483 -x484 x485 x486 -x487 -x488 x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 1801.20 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 x519 -x520 1801.20 v x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 1801.20 v x542 -x543 -x544 x545 x546 -x547 x548 x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 1801.20 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 -x573 -x574 -x575 -x576 x577 x578 x579 x580 -x581 -x582 -x583 -x584 -x585 1801.20 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 1801.20 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1801.20 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 1801.20 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 x665 -x666 x667 x668 -x669 1801.20 v x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 1801.20 v -x691 x692 x693 x694 -x695 -x696 -x697 -x698 x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1801.20 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 x753 -x754 -x755 x756 x757 x758 x759 x760 -x761 -x762 -x763 -x764 1801.20 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1801.20 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1801.20 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 x815 x816 x817 x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1801.20 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 x843 x844 -x845 -x846 -x847 x848 x849 -x850 1801.20 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 1801.20 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 1801.20 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 x903 -x904 -x905 x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 1801.20 v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 1801.20 v -x935 -x936 x937 -x938 x939 x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 1801.20 v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 x970 x971 -x972 -x973 -x974 -x975 -x976 1801.20 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 1801.20 v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1801.20 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 1801.20 v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1801.20 v -x1050 -x1081 x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1801.20 v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 1801.20 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1801.20 v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 1801.20 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 1801.20 v -x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1801.20 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 1801.20 v -x1202 -x1203 x1204 x1205 x1206 x1207 x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 1801.20 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 x1233 x1234 -x1235 x1236 -x1237 1801.20 v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 1801.20 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 1801.20 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 1801.20 v -x1290 x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1801.20 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 1801.20 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1801.20 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 1801.20 v -x1360 -x1361 x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 1801.20 v -x1378 -x1379 -x1380 -x1411 x1412 x1413 x1414 x1415 x1416 -x1417 -x1418 x1419 -x1420 -x1421 x1422 x1423 -x1424 -x1425 -x1426 1801.20 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 x1443 -x1444 1801.20 v -x1445 -x1446 -x1447 -x1448 x1449 -x1450 x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 1801.20 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 1801.20 v x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1801.20 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1801.20 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 1801.20 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1801.20 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1801.20 v -x1567 x1568 x1569 x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1801.20 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 x1594 -x1595 x1596 -x1597 x1598 -x1599 x1600 x1601 -x1602 1801.20 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1801.20 v -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1801.20 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 1801.20 v x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 1801.20 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 1801.20 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1801.20 v -x1707 -x1708 -x1709 -x1710 -x1741 x1742 x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 x1751 -x1752 -x1753 -x1754 1801.20 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 1801.20 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1801.20 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 x1803 -x1804 -x1805 x1806 1801.20 v -x1807 x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1801.20 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 x1833 x1834 -x1835 x1836 -x1837 x1838 -x1839 x1840 -x1841 -x1842 1801.20 v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 1801.20 v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 1801.20 v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 x1892 x1893 x1894 1801.20 v -x1895 x1896 -x1897 x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1801.20 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 x1924 -x1925 x1926 -x1927 x1928 -x1929 -x1930 1801.20 v x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 1801.20 v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 1801.20 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 1801.20 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 1801.20 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1801.20 v -x2017 -x2018 x2019 x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1801.20 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 1801.20 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1801.20 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1801.20 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 1801.20 v -x2133 -x2134 -x2135 -x2136 -x2137 x2138 x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1801.20 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1801.20 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 1801.20 v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 x2200 -x2201 -x2202 1801.20 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1801.20 v -x2220 -x2221 -x2222 -x2223 x2224 x2225 x2226 x2227 x2228 -x2229 x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1801.20 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 x2253 x2254 -x2255 1801.20 v -x2256 -x2257 x2258 x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 1801.20 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 1801.20 v -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 1801.20 v -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1801.20 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 x2342 x2343 x2344 1801.20 v -x2345 -x2346 -x2347 x2348 -x2349 x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1801.20 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 x2408 -x2409 -x2410 1801.20 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 1801.20 v -x2428 -x2429 -x2430 x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1801.20 v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1801.20 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1801.20 v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 x2494 -x2495 -x2496 -x2497 1801.20 v -x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 1801.20 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 1801.20 v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 1801.20 v -x2550 -x2551 -x2552 x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1801.20 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1801.20 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1801.20 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 1801.20 v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1801.20 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 1801.20 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 1801.20 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1801.20 v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 1801.20 v -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 1801.20 v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 1801.20 v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 1801.20 v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 1801.20 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 1801.20 v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 1801.20 v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 1801.20 v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 1801.20 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 1801.20 v -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 1801.20 v -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 1801.20 v -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 1801.20 v -x2939 -x2940 x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 1801.20 v -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 x2973 1801.20 v -x2974 x2975 -x2976 -x2977 -x2978 x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1801.20 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 x3003 x3004 -x3005 -x3006 -x3007 -x3008 x3009 1801.20 v x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 1801.20 v -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 -x3063 x3064 x3065 -x3066 -x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 -x3074 1801.20 v -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 1801.20 v -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 1801.20 v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 x3124 -x3125 -x3126 -x3127 1801.20 v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 1801.20 v -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 1801.20 v -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1801.20 v -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 1801.20 v -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 1801.20 v -x3213 x3214 -x3215 -x3216 -x3217 -x3218 x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 1801.20 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 x3244 -x3245 -x3246 -x3247 -x3248 1801.20 v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 1801.20 v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 1801.20 v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 1801.20 v -x3300 -x3301 -x3302 x3303 x3304 -x3305 -x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 1801.20 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 x3332 -x3333 x3334 -x3335 1801.20 v x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 1801.20 v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 1801.20 v -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 1801.20 v -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 1801.20 v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1801.20 v -x3481 -x3482 -x3483 x3484 x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 1801.20 v -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 1801.20 v -x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 1801.20 v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 1801.20 v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 1801.20 v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 1801.20 v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 1801.20 v -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 1801.20 v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 1801.20 v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1801.20 v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665 x3666 -x3667 -x3668 -x3669 -x3670 1801.20 v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 1801.20 v -x3688 -x3689 -x3690 -x3691 x3692 x3693 x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 1801.20 v -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 1801.20 v x3753 x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 1801.20 v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 x3785 -x3786 -x3787 1801.20 v -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 1801.20 v -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 1801.20 v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 1801.20 v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 1801.20 v -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 1801.20 v -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 1801.20 v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 x3905 x3906 -x3907 1801.20 v -x3908 x3909 x3910 -x3911 x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 1801.20 v -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 x3938 -x3939 x3940 x3941 -x3942 -x3943 1801.20 v -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 1801.20 v x3961 -x3962 -x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 x3970 x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 1801.20 v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 1801.20 v x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 1801.20 v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 x4025 x4026 -x4027 -x4028 x4029 -x4030 x4031 1801.20 v x4032 x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1801.20 v -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 1801.20 v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 1801.20 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 1801.20 v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 1801.20 v -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 1801.20 v -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 1801.20 v x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 1801.20 v -x4199 -x4200 x4201 -x4202 -x4203 x4204 x4205 -x4206 -x4207 -x4208 -x4209 x4210 x4211 x4212 -x4213 -x4214 -x4215 -x4216 1801.20 v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233 1801.20 v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 1801.20 v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 x4262 x4263 x4264 x4265 x4266 x4267 -x4268 -x4269 1801.20 v x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 1801.20 v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 1801.20 v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 x4321 1801.20 v -x4322 -x4323 -x4324 -x4325 x4326 -x4327 -x4328 -x4329 -x4330 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 1801.20 v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 1801.20 v -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 1801.20 v -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 x4419 x4420 x4421 1801.20 v x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 1801.20 v -x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446 x4447 x4448 x4449 x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 1801.20 v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 x4474 1801.20 v x4475 x4476 x4477 x4478 x4479 x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 1801.20 v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 1801.20 v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 1801.20 v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 x4536 x4537 x4538 x4539 x4540 x4541 -x4542 -x4543 -x4544 1801.20 v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 1801.20 v -x4562 -x4563 -x4564 -x4565 -x4566 x4567 -x4568 -x4569 x4570 -x4571 x4572 x4573 x4574 -x4575 -x4576 -x4577 -x4578 -x4579 1801.20 v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 x4592 -x4593 x4594 x4595 x4596 x4597 1801.20 v x4598 x4599 x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 1801.20 v -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 x4622 x4623 -x4624 -x4625 x4626 x4627 -x4628 x4629 -x4630 -x4631 -x4632 -x4633 1801.20 v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 1801.20 v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 1801.20 v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 1801.20 v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 1801.20 v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4741 -x4742 x4743 -x4744 -x4745 x4746 x4747 x4748 x4749 1801.20 v x4750 x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 1801.20 v -x4768 -x4769 -x4770 -x4771 x4772 x4773 x4774 x4775 -x4776 x4777 x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 1801.20 v -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 1801.20 v x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 1801.20 v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 -x4832 x4833 x4834 x4835 -x4836 -x4837 -x4838 1801.20 v -x4839 -x4840 x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 1801.20 v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 -x4867 -x4868 x4869 x4870 -x4871 x4872 -x4873 -x4874 1801.20 v -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 1801.20 v -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 1801.20 v -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 1801.20 v -x4926 -x4927 -x4928 -x4929 -x4930 x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 1801.20 v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 -x4956 x4957 x4958 -x4959 -x4960 1801.20 v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 1801.20 v -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 1801.20 v -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 1801.20 v -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 1801.20 v -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 1801.20 v -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 1801.20 v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 x5105 x5106 x5107 x5108 x5109 x5110 1801.20 v x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 1801.20 v -x5128 -x5129 -x5130 x5131 -x5132 -x5133 x5134 x5135 x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 x5143 x5144 -x5145 1801.20 v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 1801.20 v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 1801.20 v -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 x5191 -x5192 x5193 -x5194 x5195 x5196 -x5197 1801.20 v -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 1801.20 v -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 1801.20 v -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 1801.20 v -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 x5255 -x5256 x5257 x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 1801.20 v -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 x5283 x5284 1801.20 v -x5285 x5286 -x5287 -x5288 x5289 x5290 x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 1801.20 v -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x7741 x7742 x7853 x7922 x7933 x7944 x7955 x7966 x7977 x7988 x7743 1801.20 v x7754 x7765 x7776 -x7787 -x7798 x7809 x7820 x7831 x7842 x7854 x7865 x7876 x7887 x7898 -x7909 x7918 x7919 x7920 x7921 x7923 1801.20 v x7924 x7925 x7926 x7927 x7928 x7929 -x7930 x7931 x7932 -x7934 x7935 -x7936 x7937 -x7938 x7939 x7940 x7941 -x7942 x7943 x7945 1801.20 v x7946 -x7947 x7948 x7949 x7950 -x7951 x7952 x7953 x7954 x7956 x7957 x7958 x7959 x7960 x7961 x7962 x7963 x7964 x7965 -x7967 1801.20 v -x7968 x7969 x7970 x7971 -x7972 x7973 x7974 x7975 x7976 x7978 -x7979 x7980 x7981 x7982 x7983 -x7984 x7985 -x7986 x7987 -x7989 1801.20 v x7990 x7991 x7992 -x7993 x7994 -x7995 x7996 -x7997 -x7998 -x7744 x7745 x7746 x7747 -x7748 x7749 x7750 -x7751 x7752 x7753 1801.20 v x7755 x7756 x7757 x7758 x7759 x7760 -x7761 x7762 x7763 x7764 x7766 -x7767 x7768 x7769 -x7770 x7771 x7772 x7773 -x7774 x7775 1801.20 v x7777 x7778 x7779 x7780 x7781 x7782 x7783 x7784 -x7785 x7786 x7788 x7789 x7790 -x7791 x7792 x7793 x7794 x7795 x7796 -x7797 1801.20 v x7799 x7800 x7801 x7802 -x7803 x7804 x7805 x7806 -x7807 x7808 x7810 x7811 x7812 -x7813 x7814 x7815 x7816 x7817 x7818 x7819 1801.20 v x7821 x7822 -x7823 x7824 x7825 x7826 -x7827 x7828 -x7829 -x7830 x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 x7839 x7840 1801.20 v x7841 x7843 x7844 x7845 -x7846 -x7847 x7848 x7849 -x7850 x7851 x7852 -x7855 x7856 x7857 x7858 x7859 x7860 x7861 -x7862 x7863 1801.20 v x7864 x7866 x7867 x7868 x7869 -x7870 x7871 x7872 x7873 x7874 x7875 -x7877 -x7878 -x7879 x7880 x7881 x7882 x7883 -x7884 x7885 1801.20 v -x7886 x7888 x7889 x7890 -x7891 x7892 x7893 x7894 x7895 -x7896 -x7897 x7899 x7900 x7901 x7902 x7903 -x7904 x7905 x7906 -x7907 1801.20 v -x7908 -x7910 x7911 x7912 -x7913 x7914 -x7915 x7916 x7917
OK 35948065
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/node35/watcher-35650-1149302048 -o ROOT/results/node35/solver-35650-1149302048 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35650-1149302048/instance-35650-1149302048.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.72 0.93 0.91 2/64 3338 /proc/meminfo: memFree=1551968/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=1048 CPUtime=0 /proc/3338/stat : 3338 (minisat+) D 3336 3338 3292 0 -1 4194304 85 0 0 0 0 0 0 0 19 0 1 0 195868729 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 2147483391 4096 16386 18446744072099781622 0 0 17 1 0 0 /proc/3338/statm: 262 70 58 215 0 44 0 [startup+10.0017 s] /proc/loadavg: 0.76 0.94 0.91 2/64 3338 /proc/meminfo: memFree=1536416/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=17508 CPUtime=9.97 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 4248 0 0 0 995 2 0 0 25 0 1 0 195868729 17928192 4047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 4377 4047 124 215 0 4159 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 17508 [startup+20.0079 s] /proc/loadavg: 0.80 0.94 0.91 2/64 3338 /proc/meminfo: memFree=1535904/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=18036 CPUtime=19.97 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 4373 0 0 0 1995 2 0 0 25 0 1 0 195868729 18468864 4172 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 4509 4172 124 215 0 4291 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 18036 [startup+30.0142 s] /proc/loadavg: 0.83 0.94 0.91 2/64 3338 /proc/meminfo: memFree=1535520/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=18432 CPUtime=29.97 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 4478 0 0 0 2995 2 0 0 25 0 1 0 195868729 18874368 4277 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581124 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 4608 4277 124 215 0 4390 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 18432 [startup+40.0204 s] /proc/loadavg: 0.85 0.94 0.91 2/64 3338 /proc/meminfo: memFree=1535008/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=18992 CPUtime=39.97 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 4611 0 0 0 3995 2 0 0 25 0 1 0 195868729 19447808 4410 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 4748 4410 124 215 0 4530 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 18992 [startup+50.0276 s] /proc/loadavg: 0.87 0.94 0.91 2/64 3338 /proc/meminfo: memFree=1534496/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=19388 CPUtime=49.98 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 4729 0 0 0 4995 3 0 0 25 0 1 0 195868729 19853312 4528 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588609 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 4847 4528 124 215 0 4629 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 19388 [startup+60.0328 s] /proc/loadavg: 0.89 0.94 0.91 2/64 3338 /proc/meminfo: memFree=1533280/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=20652 CPUtime=59.99 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 5029 0 0 0 5996 3 0 0 25 0 1 0 195868729 21147648 4828 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581139 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 5163 4828 124 215 0 4945 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 20652 [startup+70.039 s] /proc/loadavg: 0.91 0.94 0.91 2/64 3338 /proc/meminfo: memFree=1531360/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=22616 CPUtime=69.98 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 5511 0 0 0 6995 3 0 0 25 0 1 0 195868729 23158784 5310 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 5654 5310 124 215 0 5436 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 22616 [startup+80.0452 s] /proc/loadavg: 0.92 0.95 0.91 2/64 3340 /proc/meminfo: memFree=1525024/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=28980 CPUtime=79.99 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 7101 0 0 0 7995 4 0 0 25 0 1 0 195868729 29675520 6900 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 7245 6900 124 215 0 7027 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 28980 [startup+90.0515 s] /proc/loadavg: 0.93 0.95 0.91 2/64 3340 /proc/meminfo: memFree=1499360/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=58196 CPUtime=90 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 14813 0 0 0 8993 7 0 0 25 0 1 0 195868729 59592704 13295 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 14549 13295 124 215 0 14331 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 58196 [startup+100.058 s] /proc/loadavg: 0.94 0.95 0.91 2/64 3340 /proc/meminfo: memFree=1499360/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=58196 CPUtime=100 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 14813 0 0 0 9993 7 0 0 25 0 1 0 195868729 59592704 13295 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580806 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 14549 13295 124 215 0 14331 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 58196 [startup+110.064 s] /proc/loadavg: 0.95 0.95 0.91 2/64 3340 /proc/meminfo: memFree=1499296/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=58196 CPUtime=110 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 14820 0 0 0 10993 7 0 0 25 0 1 0 195868729 59592704 13302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 14549 13302 124 215 0 14331 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 58196 [startup+120.069 s] /proc/loadavg: 0.96 0.95 0.91 2/64 3340 /proc/meminfo: memFree=1499296/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=58196 CPUtime=120 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 14822 0 0 0 11993 7 0 0 25 0 1 0 195868729 59592704 13304 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 14549 13304 124 215 0 14331 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 58196 [startup+130.075 s] /proc/loadavg: 0.96 0.95 0.91 2/64 3340 /proc/meminfo: memFree=1498144/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=59380 CPUtime=130.01 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 15119 0 0 0 12994 7 0 0 25 0 1 0 195868729 60805120 13601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 14845 13601 124 215 0 14627 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 59380 [startup+140.082 s] /proc/loadavg: 0.97 0.95 0.91 2/64 3340 /proc/meminfo: memFree=1492512/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=64912 CPUtime=140.01 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 16521 0 0 0 13992 9 0 0 25 0 1 0 195868729 66469888 15003 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 16228 15003 124 215 0 16010 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 64912 [startup+150.088 s] /proc/loadavg: 0.97 0.95 0.91 2/64 3340 /proc/meminfo: memFree=1488288/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=69128 CPUtime=150.01 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 17566 0 0 0 14991 10 0 0 25 0 1 0 195868729 70787072 16048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 17282 16048 124 215 0 17064 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 69128 [startup+160.094 s] /proc/loadavg: 0.98 0.95 0.91 2/64 3340 /proc/meminfo: memFree=1487008/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=70316 CPUtime=160.01 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 17884 0 0 0 15991 10 0 0 25 0 1 0 195868729 72003584 16366 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 17579 16366 124 215 0 17361 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 70316 [startup+170.1 s] /proc/loadavg: 0.98 0.95 0.91 2/64 3340 /proc/meminfo: memFree=1480864/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=76652 CPUtime=170.02 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 19427 0 0 0 16991 11 0 0 25 0 1 0 195868729 78491648 17909 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 19163 17909 124 215 0 18945 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 76652 [startup+180.105 s] /proc/loadavg: 0.98 0.96 0.91 2/64 3340 /proc/meminfo: memFree=1475744/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=81756 CPUtime=180.02 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 21065 0 0 0 17989 13 0 0 25 0 1 0 195868729 83718144 19176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134834166 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 20439 19176 124 215 0 20221 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 81756 [startup+190.112 s] /proc/loadavg: 0.98 0.96 0.91 2/64 3340 /proc/meminfo: memFree=1475104/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=82284 CPUtime=190.03 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 21225 0 0 0 18990 13 0 0 25 0 1 0 195868729 84258816 19336 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 20571 19336 124 215 0 20353 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 82284 [startup+200.118 s] /proc/loadavg: 0.99 0.96 0.91 2/64 3340 /proc/meminfo: memFree=1475104/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=82284 CPUtime=200.03 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 21225 0 0 0 19990 13 0 0 25 0 1 0 195868729 84258816 19336 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 20571 19336 124 215 0 20353 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 82284 [startup+210.124 s] /proc/loadavg: 0.99 0.96 0.91 2/64 3340 /proc/meminfo: memFree=1475104/2055920 swapFree=4180888/4192956 ################ # More data... # ################ [pid=3338] ppid=3336 vsize=413108 CPUtime=1781.5 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 103811 0 0 0 178052 98 0 0 25 0 1 0 195868729 423022592 101922 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103277 101922 124 215 0 103059 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 413108 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1143720/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=413240 CPUtime=1782.5 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 103848 0 0 0 178152 98 0 0 25 0 1 0 195868729 423157760 101959 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103310 101959 124 215 0 103092 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 413240 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1143592/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=413372 CPUtime=1783.52 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 103880 0 0 0 178253 99 0 0 25 0 1 0 195868729 423292928 101991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103343 101991 124 215 0 103125 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 413372 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1143464/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=413504 CPUtime=1784.52 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 103913 0 0 0 178353 99 0 0 25 0 1 0 195868729 423428096 102024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103376 102024 124 215 0 103158 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 413504 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1143336/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=413636 CPUtime=1785.53 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 103944 0 0 0 178454 99 0 0 25 0 1 0 195868729 423563264 102055 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103409 102055 124 215 0 103191 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 413636 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1143208/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=413916 CPUtime=1786.53 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 103985 0 0 0 178554 99 0 0 25 0 1 0 195868729 423849984 102096 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103479 102096 124 215 0 103261 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 413916 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1143080/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=413916 CPUtime=1787.54 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104015 0 0 0 178655 99 0 0 25 0 1 0 195868729 423849984 102126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103479 102126 124 215 0 103261 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 413916 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1142952/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=414048 CPUtime=1788.54 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104049 0 0 0 178755 99 0 0 25 0 1 0 195868729 423985152 102160 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103512 102160 124 215 0 103294 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 414048 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1142760/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=414352 CPUtime=1789.54 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104088 0 0 0 178855 99 0 0 25 0 1 0 195868729 424296448 102199 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103588 102199 124 215 0 103370 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 414352 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1142632/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=414352 CPUtime=1790.55 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104120 0 0 0 178956 99 0 0 25 0 1 0 195868729 424296448 102231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103588 102231 124 215 0 103370 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 414352 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1142504/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=414484 CPUtime=1791.55 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104154 0 0 0 179056 99 0 0 25 0 1 0 195868729 424431616 102265 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573987 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103621 102265 124 215 0 103403 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 414484 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1142376/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=414616 CPUtime=1792.56 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104186 0 0 0 179157 99 0 0 25 0 1 0 195868729 424566784 102297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103654 102297 124 215 0 103436 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 414616 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1142248/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=414744 CPUtime=1793.56 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104220 0 0 0 179257 99 0 0 25 0 1 0 195868729 424697856 102331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103686 102331 124 215 0 103468 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 414744 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1142120/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=414876 CPUtime=1794.56 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104256 0 0 0 179357 99 0 0 25 0 1 0 195868729 424833024 102367 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103719 102367 124 215 0 103501 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 414876 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1141992/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=415008 CPUtime=1795.57 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104288 0 0 0 179458 99 0 0 25 0 1 0 195868729 424968192 102399 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103752 102399 124 215 0 103534 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 415008 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1141800/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=415140 CPUtime=1796.57 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104324 0 0 0 179558 99 0 0 25 0 1 0 195868729 425103360 102435 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580798 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103785 102435 124 215 0 103567 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 415140 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1141672/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=415272 CPUtime=1797.57 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104356 0 0 0 179658 99 0 0 25 0 1 0 195868729 425238528 102467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103818 102467 124 215 0 103600 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (Kb) 415272 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1141544/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=415536 CPUtime=1798.58 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104397 0 0 0 179759 99 0 0 25 0 1 0 195868729 425508864 102508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103884 102508 124 215 0 103666 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 415536 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1141352/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=415668 CPUtime=1799.58 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104437 0 0 0 179859 99 0 0 25 0 1 0 195868729 425644032 102548 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103917 102548 124 215 0 103699 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 415668 [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1141224/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=415800 CPUtime=1800.59 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104477 0 0 0 179960 99 0 0 25 0 1 0 195868729 425779200 102588 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103950 102588 124 215 0 103732 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 415800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3535 /proc/meminfo: memFree=1141224/2055920 swapFree=4180888/4192956 [pid=3338] ppid=3336 vsize=415800 CPUtime=1800.59 /proc/3338/stat : 3338 (minisat+) R 3336 3338 3292 0 -1 4194304 104477 0 0 0 179960 99 0 0 25 0 1 0 195868729 425779200 102588 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3338/statm: 103950 102588 124 215 0 103732 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 415800 Sending SIGTERM to -3338 Sleeping 2 seconds Child status: 10 Real time (s): 1801.28 CPU time (s): 1800.68 CPU user time (s): 1799.61 CPU system time (s): 1.06584 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (Kb): 415800
Begin job on node35 on Sat Jun 3 02:34:08 UTC 2006 FILE ID= 35650-1149302048 PBS_JOBID= 307432 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-ran6x43.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35650-1149302048/instance-35650-1149302048.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-35650-1149302048 -o ROOT/results/node35/solver-35650-1149302048 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35650-1149302048/instance-35650-1149302048.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 9dd7506c46c3c26c10ff03753daf5d0f RANDOM SEED= 460192813 /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.210 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.210 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: 1552240 kB Buffers: 27912 kB Cached: 407428 kB SwapCached: 3872 kB Active: 80356 kB Inactive: 363772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1552240 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14936 kB Slab: 45436 kB Committed_AS: 349448 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node35 on Sat Jun 3 03:04:10 UTC 2006