| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | SAT (TO) | 27459536 | 1800.11 | 1800.41 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb |
| MD5SUM | 291088d217a1998c91be99350439e903 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5928600 |
| Best CPU time to get the best result obtained on this benchmark | 1800 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5965824 |
| Optimality of the best value was proved | NO |
| Number of variables | 7812 |
| Total number of constraints | 285 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 285 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 630 |
| Number of terms in the objective function | 7812 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1543007621731 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1543007621731 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.09/0.17 c Converting 318 PB-constraints to clauses... 0.09/0.17 c -- Unit propagations: (none) 0.19/0.21 c -- Detecting intervals from adjacent constraints: ################################# 0.19/0.21 c -- Clauses(.)/Splits(s): (none) 0.19/0.21 c ---[ 316]---> Adder-cost: 548 maxlim: 356331 bits: 19/19 0.19/0.23 c ---[ 314]---> Adder-cost: 548 maxlim: 361451 bits: 19/19 0.19/0.25 c ---[ 312]---> Adder-cost: 554 maxlim: 446443 bits: 19/19 0.19/0.28 c ---[ 310]---> Adder-cost: 548 maxlim: 355307 bits: 19/19 0.29/0.30 c ---[ 308]---> Adder-cost: 548 maxlim: 349163 bits: 19/19 0.29/0.32 c ---[ 306]---> Adder-cost: 548 maxlim: 350187 bits: 19/19 0.29/0.34 c ---[ 304]---> Adder-cost: 548 maxlim: 354283 bits: 19/19 0.29/0.37 c ---[ 302]---> Adder-cost: 532 maxlim: 235499 bits: 18/18 0.29/0.39 c ---[ 300]---> Adder-cost: 548 maxlim: 357355 bits: 19/19 0.39/0.41 c ---[ 298]---> Adder-cost: 548 maxlim: 360427 bits: 19/19 0.39/0.43 c ---[ 296]---> Adder-cost: 554 maxlim: 414699 bits: 19/19 0.39/0.46 c ---[ 294]---> Adder-cost: 532 maxlim: 236523 bits: 18/18 0.39/0.48 c ---[ 292]---> Adder-cost: 264 maxlim: 47092 bits: 16/16 0.39/0.49 c ---[ 290]---> Adder-cost: 308 maxlim: 188404 bits: 18/18 0.49/0.50 c ---[ 288]---> Adder-cost: 264 maxlim: 46068 bits: 16/16 0.49/0.51 c ---[ 286]---> Adder-cost: 328 maxlim: 338932 bits: 19/19 0.49/0.52 c ---[ 284]---> Adder-cost: 264 maxlim: 47092 bits: 16/16 0.49/0.53 c ---[ 282]---> Adder-cost: 328 maxlim: 330740 bits: 19/19 0.49/0.55 c ---[ 280]---> Adder-cost: 286 maxlim: 93172 bits: 17/17 0.49/0.56 c ---[ 278]---> Adder-cost: 332 maxlim: 374772 bits: 19/19 0.49/0.57 c ---[ 276]---> Adder-cost: 308 maxlim: 187380 bits: 18/18 0.49/0.59 c ---[ 274]---> Adder-cost: 286 maxlim: 91124 bits: 17/17 0.59/0.60 c ---[ 272]---> Adder-cost: 328 maxlim: 332788 bits: 19/19 0.59/0.61 c ---[ 270]---> Adder-cost: 286 maxlim: 91124 bits: 17/17 0.59/0.62 c ---[ 268]---> Adder-cost: 264 maxlim: 47092 bits: 16/16 0.59/0.63 c ---[ 266]---> Adder-cost: 328 maxlim: 332788 bits: 19/19 0.59/0.65 c ---[ 264]---> Adder-cost: 264 maxlim: 46068 bits: 16/16 0.59/0.66 c ---[ 262]---> Adder-cost: 328 maxlim: 340980 bits: 19/19 0.59/0.67 c ---[ 260]---> Adder-cost: 286 maxlim: 93172 bits: 17/17 0.59/0.68 c ---[ 258]---> Adder-cost: 308 maxlim: 181236 bits: 18/18 0.59/0.69 c ---[ 256]---> Adder-cost: 332 maxlim: 387060 bits: 19/19 0.69/0.71 c ---[ 254]---> Adder-cost: 332 maxlim: 393204 bits: 19/19 0.69/0.72 c ---[ 252]---> Adder-cost: 308 maxlim: 187380 bits: 18/18 0.69/0.74 c ---[ 251]---> BDD-cost: 13 0.69/0.74 c ---[ 250]---> BDD-cost: 15 0.69/0.74 c ---[ 249]---> BDD-cost: 14 0.69/0.74 c ---[ 248]---> BDD-cost: 18 0.69/0.74 c ---[ 247]---> BDD-cost: 16 0.69/0.74 c ---[ 246]---> BDD-cost: 19 0.69/0.74 c ---[ 245]---> BDD-cost: 16 0.69/0.74 c ---[ 244]---> BDD-cost: 19 0.69/0.74 c ---[ 243]---> BDD-cost: 13 0.69/0.74 c ---[ 242]---> BDD-cost: 15 0.69/0.74 c ---[ 241]---> BDD-cost: 13 0.69/0.74 c ---[ 240]---> BDD-cost: 14 0.69/0.74 c ---[ 239]---> BDD-cost: 17 0.69/0.74 c ---[ 238]---> BDD-cost: 20 0.69/0.74 c ---[ 237]---> BDD-cost: 16 0.69/0.74 c ---[ 236]---> BDD-cost: 17 0.69/0.74 c ---[ 235]---> BDD-cost: 17 0.69/0.74 c ---[ 234]---> BDD-cost: 17 0.69/0.74 c ---[ 233]---> BDD-cost: 18 0.69/0.74 c ---[ 232]---> BDD-cost: 14 0.69/0.74 c ---[ 231]---> BDD-cost: 17 0.69/0.74 c ---[ 230]---> BDD-cost: 13 0.69/0.74 c ---[ 229]---> BDD-cost: 17 0.69/0.74 c ---[ 228]---> BDD-cost: 16 0.69/0.74 c ---[ 227]---> BDD-cost: 13 0.69/0.74 c ---[ 226]---> BDD-cost: 17 0.69/0.74 c ---[ 225]---> BDD-cost: 18 0.69/0.74 c ---[ 224]---> BDD-cost: 16 0.69/0.74 c ---[ 223]---> BDD-cost: 17 0.69/0.74 c ---[ 222]---> BDD-cost: 16 0.69/0.74 c ---[ 221]---> BDD-cost: 17 0.69/0.74 c ---[ 220]---> BDD-cost: 13 0.69/0.74 c ---[ 219]---> BDD-cost: 15 0.69/0.74 c ---[ 218]---> BDD-cost: 13 0.69/0.74 c ---[ 217]---> BDD-cost: 14 0.69/0.74 c ---[ 216]---> BDD-cost: 17 0.69/0.74 c ---[ 215]---> BDD-cost: 20 0.69/0.74 c ---[ 214]---> BDD-cost: 16 0.69/0.74 c ---[ 213]---> BDD-cost: 18 0.69/0.74 c ---[ 212]---> BDD-cost: 20 0.69/0.74 c ---[ 211]---> BDD-cost: 20 0.69/0.74 c ---[ 210]---> BDD-cost: 18 0.69/0.74 c ---[ 209]---> BDD-cost: 14 0.69/0.74 c ---[ 208]---> BDD-cost: 20 0.69/0.74 c ---[ 207]---> BDD-cost: 13 0.69/0.74 c ---[ 206]---> BDD-cost: 20 0.69/0.74 c ---[ 205]---> BDD-cost: 16 0.69/0.74 c ---[ 204]---> BDD-cost: 16 0.69/0.74 c ---[ 203]---> BDD-cost: 20 0.69/0.74 c ---[ 202]---> BDD-cost: 18 0.69/0.74 c ---[ 201]---> BDD-cost: 16 0.69/0.74 c ---[ 200]---> BDD-cost: 20 0.69/0.74 c ---[ 199]---> BDD-cost: 16 0.69/0.74 c ---[ 198]---> BDD-cost: 20 0.69/0.74 c ---[ 197]---> BDD-cost: 13 0.69/0.74 c ---[ 196]---> BDD-cost: 15 0.69/0.74 c ---[ 195]---> BDD-cost: 13 0.69/0.74 c ---[ 194]---> BDD-cost: 17 0.69/0.74 c ---[ 193]---> BDD-cost: 14 0.69/0.74 c ---[ 192]---> BDD-cost: 20 0.69/0.74 c ---[ 191]---> BDD-cost: 16 0.69/0.74 c ---[ 190]---> BDD-cost: 18 0.69/0.74 c ---[ 189]---> BDD-cost: 18 0.69/0.74 c ---[ 188]---> BDD-cost: 18 0.69/0.74 c ---[ 187]---> BDD-cost: 18 0.69/0.74 c ---[ 186]---> BDD-cost: 14 0.69/0.74 c ---[ 185]---> BDD-cost: 18 0.69/0.74 c ---[ 184]---> BDD-cost: 13 0.69/0.74 c ---[ 183]---> BDD-cost: 18 0.69/0.74 c ---[ 182]---> BDD-cost: 18 0.69/0.74 c ---[ 181]---> BDD-cost: 16 0.69/0.74 c ---[ 180]---> BDD-cost: 18 0.69/0.74 c ---[ 179]---> BDD-cost: 18 0.69/0.74 c ---[ 178]---> BDD-cost: 16 0.69/0.74 c ---[ 177]---> BDD-cost: 18 0.69/0.74 c ---[ 176]---> BDD-cost: 16 0.69/0.74 c ---[ 175]---> BDD-cost: 18 0.69/0.74 c ---[ 174]---> BDD-cost: 13 0.69/0.75 c ---[ 173]---> BDD-cost: 15 0.69/0.75 c ---[ 172]---> BDD-cost: 16 0.69/0.75 c ---[ 171]---> BDD-cost: 13 0.69/0.75 c ---[ 170]---> BDD-cost: 14 0.69/0.75 c ---[ 169]---> BDD-cost: 20 0.69/0.75 c ---[ 168]---> BDD-cost: 16 0.69/0.75 c ---[ 167]---> BDD-cost: 18 0.69/0.75 c ---[ 166]---> BDD-cost: 21 0.69/0.75 c ---[ 165]---> BDD-cost: 17 0.69/0.75 c ---[ 164]---> BDD-cost: 18 0.69/0.75 c ---[ 163]---> BDD-cost: 14 0.69/0.75 c ---[ 162]---> BDD-cost: 20 0.69/0.75 c ---[ 161]---> BDD-cost: 17 0.69/0.75 c ---[ 160]---> BDD-cost: 13 0.69/0.75 c ---[ 159]---> BDD-cost: 20 0.69/0.75 c ---[ 158]---> BDD-cost: 16 0.69/0.75 c ---[ 157]---> BDD-cost: 21 0.69/0.75 c ---[ 156]---> BDD-cost: 18 0.69/0.75 c ---[ 155]---> BDD-cost: 16 0.69/0.75 c ---[ 154]---> BDD-cost: 20 0.69/0.75 c ---[ 153]---> BDD-cost: 16 0.69/0.75 c ---[ 152]---> BDD-cost: 20 0.69/0.75 c ---[ 151]---> BDD-cost: 13 0.69/0.75 c ---[ 150]---> BDD-cost: 16 0.69/0.75 c ---[ 149]---> BDD-cost: 15 0.69/0.75 c ---[ 148]---> BDD-cost: 13 0.69/0.75 c ---[ 147]---> BDD-cost: 14 0.69/0.75 c ---[ 146]---> BDD-cost: 18 0.69/0.75 c ---[ 145]---> BDD-cost: 16 0.69/0.75 c ---[ 144]---> BDD-cost: 18 0.69/0.75 c ---[ 143]---> BDD-cost: 18 0.69/0.75 c ---[ 142]---> BDD-cost: 18 0.69/0.75 c ---[ 141]---> BDD-cost: 18 0.69/0.75 c ---[ 140]---> BDD-cost: 14 0.69/0.75 c ---[ 139]---> BDD-cost: 13 0.69/0.75 c ---[ 138]---> BDD-cost: 17 0.69/0.75 c ---[ 137]---> BDD-cost: 18 0.69/0.75 c ---[ 136]---> BDD-cost: 13 0.69/0.75 c ---[ 135]---> BDD-cost: 18 0.69/0.75 c ---[ 134]---> BDD-cost: 16 0.69/0.75 c ---[ 133]---> BDD-cost: 18 0.69/0.75 c ---[ 132]---> BDD-cost: 18 0.69/0.75 c ---[ 131]---> BDD-cost: 16 0.69/0.75 c ---[ 130]---> BDD-cost: 18 0.69/0.75 c ---[ 129]---> BDD-cost: 16 0.69/0.75 c ---[ 128]---> BDD-cost: 18 0.69/0.75 c ---[ 127]---> BDD-cost: 13 0.69/0.75 c ---[ 126]---> BDD-cost: 13 0.69/0.75 c ---[ 125]---> BDD-cost: 15 0.69/0.75 c ---[ 124]---> BDD-cost: 13 0.69/0.75 c ---[ 123]---> BDD-cost: 14 0.69/0.75 c ---[ 122]---> BDD-cost: 20 0.69/0.75 c ---[ 121]---> BDD-cost: 16 0.69/0.75 c ---[ 120]---> BDD-cost: 18 0.69/0.75 c ---[ 119]---> BDD-cost: 17 0.69/0.75 c ---[ 118]---> BDD-cost: 17 0.69/0.75 c ---[ 117]---> BDD-cost: 18 0.69/0.75 c ---[ 116]---> BDD-cost: 15 0.69/0.75 c ---[ 115]---> BDD-cost: 14 0.69/0.75 c ---[ 114]---> BDD-cost: 20 0.69/0.75 c ---[ 113]---> BDD-cost: 13 0.69/0.75 c ---[ 112]---> BDD-cost: 20 0.69/0.75 c ---[ 111]---> BDD-cost: 16 0.69/0.75 c ---[ 110]---> BDD-cost: 17 0.69/0.75 c ---[ 109]---> BDD-cost: 18 0.69/0.75 c ---[ 108]---> BDD-cost: 16 0.69/0.75 c ---[ 107]---> BDD-cost: 20 0.69/0.75 c ---[ 106]---> BDD-cost: 16 0.69/0.75 c ---[ 105]---> BDD-cost: 13 0.69/0.75 c ---[ 104]---> BDD-cost: 20 0.69/0.75 c ---[ 103]---> BDD-cost: 13 0.69/0.75 c ---[ 102]---> BDD-cost: 15 0.69/0.75 c ---[ 101]---> BDD-cost: 13 0.69/0.75 c ---[ 100]---> BDD-cost: 14 0.69/0.75 c ---[ 99]---> BDD-cost: 20 0.69/0.75 c ---[ 98]---> BDD-cost: 16 0.69/0.75 c ---[ 97]---> BDD-cost: 18 0.69/0.75 c ---[ 96]---> BDD-cost: 20 0.69/0.75 c ---[ 95]---> BDD-cost: 20 0.69/0.75 c ---[ 94]---> BDD-cost: 14 0.69/0.75 c ---[ 93]---> BDD-cost: 18 0.69/0.75 c ---[ 92]---> BDD-cost: 14 0.69/0.75 c ---[ 91]---> BDD-cost: 20 0.69/0.75 c ---[ 90]---> BDD-cost: 13 0.69/0.75 c ---[ 89]---> BDD-cost: 20 0.69/0.75 c ---[ 88]---> BDD-cost: 16 0.69/0.75 c ---[ 87]---> BDD-cost: 20 0.69/0.75 c ---[ 86]---> BDD-cost: 18 0.69/0.75 c ---[ 85]---> BDD-cost: 16 0.69/0.75 c ---[ 84]---> BDD-cost: 20 0.69/0.75 c ---[ 83]---> BDD-cost: 20 0.69/0.75 c ---[ 82]---> BDD-cost: 16 0.69/0.75 c ---[ 81]---> BDD-cost: 20 0.69/0.75 c ---[ 80]---> BDD-cost: 16 0.69/0.75 c ---[ 79]---> BDD-cost: 18 0.69/0.75 c ---[ 78]---> BDD-cost: 20 0.69/0.75 c ---[ 77]---> BDD-cost: 20 0.69/0.75 c ---[ 76]---> BDD-cost: 14 0.69/0.75 c ---[ 75]---> BDD-cost: 18 0.69/0.75 c ---[ 74]---> BDD-cost: 14 0.69/0.76 c ---[ 73]---> BDD-cost: 20 0.69/0.76 c ---[ 72]---> BDD-cost: 13 0.69/0.76 c ---[ 71]---> BDD-cost: 20 0.69/0.76 c ---[ 70]---> BDD-cost: 16 0.69/0.76 c ---[ 69]---> BDD-cost: 20 0.69/0.76 c ---[ 68]---> BDD-cost: 18 0.69/0.76 c ---[ 67]---> BDD-cost: 16 0.69/0.76 c ---[ 66]---> BDD-cost: 20 0.69/0.76 c ---[ 65]---> BDD-cost: 20 0.69/0.76 c ---[ 64]---> BDD-cost: 16 0.69/0.76 c ---[ 63]---> BDD-cost: 20 0.69/0.76 c ---[ 62]---> BDD-cost: 13 0.69/0.76 c ---[ 61]---> BDD-cost: 15 0.69/0.76 c ---[ 60]---> BDD-cost: 13 0.69/0.76 c ---[ 59]---> BDD-cost: 14 0.69/0.76 c ---[ 58]---> BDD-cost: 20 0.69/0.76 c ---[ 57]---> BDD-cost: 16 0.69/0.76 c ---[ 56]---> BDD-cost: 18 0.69/0.76 c ---[ 55]---> BDD-cost: 20 0.69/0.76 c ---[ 54]---> BDD-cost: 16 0.69/0.76 c ---[ 53]---> BDD-cost: 20 0.69/0.76 c ---[ 52]---> BDD-cost: 18 0.69/0.76 c ---[ 51]---> BDD-cost: 14 0.69/0.76 c ---[ 50]---> BDD-cost: 20 0.69/0.76 c ---[ 49]---> BDD-cost: 13 0.69/0.76 c ---[ 48]---> BDD-cost: 20 0.69/0.76 c ---[ 47]---> BDD-cost: 16 0.69/0.76 c ---[ 46]---> BDD-cost: 20 0.69/0.76 c ---[ 45]---> BDD-cost: 18 0.69/0.76 c ---[ 44]---> BDD-cost: 16 0.69/0.76 c ---[ 43]---> BDD-cost: 18 0.69/0.76 c ---[ 42]---> BDD-cost: 20 0.69/0.76 c ---[ 41]---> BDD-cost: 16 0.69/0.76 c ---[ 40]---> BDD-cost: 20 0.69/0.76 c ---[ 39]---> BDD-cost: 13 0.69/0.76 c ---[ 38]---> BDD-cost: 15 0.69/0.76 c ---[ 37]---> BDD-cost: 13 0.69/0.76 c ---[ 36]---> BDD-cost: 14 0.69/0.76 c ---[ 35]---> BDD-cost: 20 0.69/0.76 c ---[ 34]---> BDD-cost: 16 0.69/0.76 c ---[ 33]---> BDD-cost: 18 0.69/0.76 c ---[ 32]---> BDD-cost: 17 0.69/0.76 c ---[ 31]---> BDD-cost: 19 0.69/0.76 c ---[ 30]---> BDD-cost: 19 0.69/0.76 c ---[ 29]---> BDD-cost: 18 0.69/0.76 c ---[ 28]---> BDD-cost: 14 0.69/0.76 c ---[ 27]---> BDD-cost: 20 0.69/0.76 c ---[ 26]---> BDD-cost: 13 0.69/0.76 c ---[ 25]---> BDD-cost: 20 0.69/0.76 c ---[ 24]---> BDD-cost: 16 0.69/0.76 c ---[ 23]---> BDD-cost: 19 0.69/0.76 c ---[ 22]---> BDD-cost: 18 0.69/0.76 c ---[ 21]---> BDD-cost: 17 0.69/0.76 c ---[ 20]---> BDD-cost: 16 0.69/0.76 c ---[ 19]---> BDD-cost: 20 0.69/0.76 c ---[ 18]---> BDD-cost: 16 0.69/0.76 c ---[ 17]---> BDD-cost: 20 0.69/0.76 c ---[ 16]---> BDD-cost: 13 0.69/0.76 c ---[ 15]---> BDD-cost: 15 0.69/0.76 c ---[ 14]---> BDD-cost: 13 0.69/0.76 c ---[ 13]---> BDD-cost: 14 0.69/0.76 c ---[ 12]---> BDD-cost: 20 0.69/0.76 c ---[ 11]---> BDD-cost: 16 0.69/0.76 c ---[ 10]---> BDD-cost: 18 0.69/0.76 c ---[ 9]---> BDD-cost: 18 0.69/0.76 c ---[ 8]---> BDD-cost: 19 0.69/0.76 c ---[ 7]---> BDD-cost: 19 0.69/0.76 c ---[ 6]---> BDD-cost: 18 0.69/0.76 c ---[ 5]---> BDD-cost: 14 0.69/0.76 c ---[ 4]---> BDD-cost: 20 0.69/0.76 c ---[ 3]---> BDD-cost: 13 0.69/0.76 c ---[ 2]---> BDD-cost: 19 0.69/0.76 c ---[ 1]---> BDD-cost: 16 0.69/0.76 c ---[ 0]---> BDD-cost: 19 22.18/22.24 | Eliminated clauses: 0.02 Mb | 22.18/22.24 ============================[ Search Statistics ]============================== 22.18/22.24 | Conflicts | ORIGINAL | LEARNT | Progress | 22.18/22.24 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 22.18/22.24 =============================================================================== 22.18/22.24 | 100 | 15690 87407 301028 | 32049 100 3 | 26.839 % | 22.18/22.24 | 250 | 15690 87407 301028 | 35254 250 3 | 26.839 % | 22.18/22.24 | 475 | 15690 87407 301028 | 38779 475 4 | 26.839 % | 22.18/22.24 | 812 | 15690 87407 301028 | 42657 812 4 | 26.839 % | 22.18/22.24 | 1318 | 15689 87407 301028 | 46923 1317 4 | 26.843 % | 22.18/22.24 | 2077 | 15689 87407 301028 | 51615 2076 4 | 26.843 % | 22.18/22.24 | 3216 | 15688 87407 301028 | 56777 3214 4 | 26.847 % | 22.18/22.24 | 4924 | 15687 87407 301028 | 62454 4921 5 | 26.852 % | 22.18/22.24 | 7486 | 15687 87407 301028 | 68700 7483 5 | 26.852 % | 22.18/22.24 | 11330 | 15687 87407 301028 | 75570 11327 7 | 26.852 % | 22.18/22.24 | 17096 | 15685 87407 301028 | 83127 17091 7 | 26.861 % | 22.18/22.24 | 25745 | 15683 87407 301028 | 91440 25738 8 | 26.870 % | 22.18/22.24 | 38719 | 15682 87407 301028 | 100584 38711 10 | 26.874 % | 22.18/22.24 | 58180 | 15671 87407 301028 | 110642 58165 10 | 26.923 % | 22.18/22.24 | 87372 | 15662 87407 301028 | 121706 87351 14 | 26.963 % | 22.18/22.24 | 131161 | 15636 87407 301028 | 133877 30220 9 | 27.078 % | 22.18/22.24 | 196845 | 15620 87407 301028 | 147265 95898 15 | 27.149 % | 22.18/22.24 =============================================================================== 22.18/22.24 c [1mFound solution: 42211115[0m 22.18/22.27 c ---[ 0]---> Adder-cost: 13342 maxlim: 24697656 bits: 26/25 37.69/37.74 | Eliminated clauses: 0.02 Mb | 37.69/37.74 ============================[ Search Statistics ]============================== 37.69/37.74 | Conflicts | ORIGINAL | LEARNT | Progress | 37.69/37.74 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 37.69/37.74 =============================================================================== 37.69/37.74 | 231855 | 28911 179968 631494 | 65988 24391 17 | 17.106 % | 37.69/37.74 | 232005 | 28910 179968 631494 | 72587 24540 17 | 17.109 % | 37.69/37.74 | 232230 | 28910 179968 631494 | 79845 24765 17 | 17.109 % | 37.69/37.74 | 232567 | 28910 179968 631494 | 87830 25102 17 | 17.109 % | 37.69/37.74 | 233073 | 28910 179968 631494 | 96613 25608 16 | 17.109 % | 37.69/37.74 | 233832 | 28910 179968 631494 | 106274 26367 16 | 17.109 % | 37.69/37.74 | 234971 | 28910 179968 631494 | 116902 27505 16 | 17.109 % | 37.69/37.74 | 236679 | 28910 179968 631494 | 128592 29213 15 | 17.109 % | 37.69/37.74 | 239241 | 28910 179968 631494 | 141451 31775 15 | 17.109 % | 37.69/37.74 | 243085 | 28910 179968 631494 | 155596 35619 15 | 17.109 % | 37.69/37.74 | 248851 | 28910 179968 631494 | 171156 41385 14 | 17.109 % | 37.69/37.74 | 257500 | 28910 179968 631494 | 188272 50034 14 | 17.109 % | 37.69/37.74 | 270474 | 28910 179968 631494 | 207099 63008 13 | 17.109 % | 37.69/37.74 | 289935 | 28905 179968 631494 | 227809 82467 13 | 17.123 % | 37.69/37.74 | 319127 | 28886 179968 631494 | 250590 111652 13 | 17.176 % | 37.69/37.74 =============================================================================== 37.69/37.74 c [1mFound solution: 41824157[0m 37.69/37.76 c ---[ 0]---> Adder-cost: 0 maxlim: 25084614 bits: 26/25 45.28/45.38 | Eliminated clauses: 0.02 Mb | 45.28/45.38 ============================[ Search Statistics ]============================== 45.28/45.38 | Conflicts | ORIGINAL | LEARNT | Progress | 45.28/45.38 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 45.28/45.38 =============================================================================== 45.28/45.38 | 324915 | 28877 179703 630596 | 65891 26774 9 | 17.227 % | 45.28/45.38 | 325065 | 28877 179703 630596 | 72480 26924 9 | 17.227 % | 45.28/45.38 | 325290 | 28877 179703 630596 | 79728 27149 9 | 17.227 % | 45.28/45.38 | 325627 | 28877 179703 630596 | 87701 27486 9 | 17.227 % | 45.28/45.38 | 326133 | 28877 179703 630596 | 96471 27992 9 | 17.227 % | 45.28/45.38 | 326892 | 28877 179703 630596 | 106118 28751 9 | 17.227 % | 45.28/45.38 | 328031 | 28877 179703 630596 | 116730 29890 9 | 17.227 % | 45.28/45.38 | 329739 | 28877 179703 630596 | 128403 31598 9 | 17.227 % | 45.28/45.38 | 332301 | 28877 179703 630596 | 141243 34160 8 | 17.227 % | 45.28/45.38 | 336145 | 28877 179703 630596 | 155367 38004 8 | 17.227 % | 45.28/45.38 | 341911 | 28877 179703 630596 | 170904 43770 9 | 17.227 % | 45.28/45.38 | 350560 | 28877 179703 630596 | 187994 52419 9 | 17.227 % | 45.28/45.38 =============================================================================== 45.28/45.38 c [1mFound solution: 41814023[0m 45.38/45.40 c ---[ 0]---> Adder-cost: 0 maxlim: 25094748 bits: 26/25 58.18/58.21 | Eliminated clauses: 0.02 Mb | 58.18/58.21 ============================[ Search Statistics ]============================== 58.18/58.21 | Conflicts | ORIGINAL | LEARNT | Progress | 58.18/58.21 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 58.18/58.21 =============================================================================== 58.18/58.21 | 363176 | 28879 179733 630843 | 65902 65035 9 | 17.243 % | 58.18/58.21 | 363326 | 28879 179733 630843 | 72492 65185 9 | 17.243 % | 58.18/58.21 | 363551 | 28879 179733 630843 | 79741 65410 9 | 17.243 % | 58.18/58.21 | 363888 | 28879 179733 630843 | 87715 65747 9 | 17.243 % | 58.18/58.21 | 364394 | 28879 179733 630843 | 96487 66253 9 | 17.243 % | 58.18/58.21 | 365153 | 28879 179733 630843 | 106135 67012 9 | 17.243 % | 58.18/58.21 | 366292 | 28879 179733 630843 | 116749 68151 9 | 17.243 % | 58.18/58.21 | 368000 | 28878 179733 630843 | 128424 69857 9 | 17.246 % | 58.18/58.21 | 370562 | 28877 179733 630843 | 141267 72418 9 | 17.249 % | 58.18/58.21 | 374406 | 28877 179733 630843 | 155393 76262 9 | 17.249 % | 58.18/58.21 | 380172 | 28876 179733 630843 | 170933 82027 11 | 17.252 % | 58.18/58.21 | 388821 | 28874 179733 630843 | 188026 90670 11 | 17.257 % | 58.18/58.21 | 401795 | 28871 179733 630843 | 206829 103639 11 | 17.266 % | 58.18/58.21 | 421256 | 28867 179733 630843 | 227511 123092 13 | 17.277 % | 58.18/58.21 =============================================================================== 58.18/58.21 c [1mFound solution: 41401269[0m 58.18/58.23 c ---[ 0]---> Adder-cost: 0 maxlim: 25507502 bits: 26/25 72.58/72.61 | Eliminated clauses: 0.03 Mb | 72.58/72.61 ============================[ Search Statistics ]============================== 72.58/72.61 | Conflicts | ORIGINAL | LEARNT | Progress | 72.58/72.61 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 72.58/72.61 =============================================================================== 72.58/72.61 | 434724 | 28857 179595 630178 | 65851 31108 10 | 17.310 % | 72.58/72.61 | 434874 | 28857 179595 630178 | 72436 31258 10 | 17.310 % | 72.58/72.61 | 435099 | 28857 179595 630178 | 79680 31483 10 | 17.310 % | 72.58/72.61 | 435436 | 28857 179595 630178 | 87648 31820 10 | 17.310 % | 72.58/72.61 | 435942 | 28857 179595 630178 | 96413 32326 10 | 17.310 % | 72.58/72.61 | 436701 | 28857 179595 630178 | 106054 33085 9 | 17.310 % | 72.58/72.61 | 437840 | 28857 179595 630178 | 116659 34224 9 | 17.310 % | 72.58/72.61 | 439548 | 28857 179595 630178 | 128325 35932 9 | 17.310 % | 72.58/72.61 | 442110 | 28857 179595 630178 | 141158 38494 9 | 17.310 % | 72.58/72.61 | 445954 | 28857 179595 630178 | 155274 42338 9 | 17.310 % | 72.58/72.61 | 451720 | 28857 179595 630178 | 170801 48104 9 | 17.310 % | 72.58/72.61 | 460369 | 28857 179595 630178 | 187882 56753 10 | 17.310 % | 72.58/72.61 | 473343 | 28857 179595 630178 | 206670 69727 10 | 17.310 % | 72.58/72.61 | 492804 | 28856 179595 630178 | 227337 89187 12 | 17.313 % | 72.58/72.61 =============================================================================== 72.58/72.61 c [1mFound solution: 41397737[0m 72.58/72.64 c ---[ 0]---> Adder-cost: 0 maxlim: 25511034 bits: 26/25 100.36/100.41 | Eliminated clauses: 0.03 Mb | 100.36/100.41 ============================[ Search Statistics ]============================== 100.36/100.41 | Conflicts | ORIGINAL | LEARNT | Progress | 100.36/100.41 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 100.36/100.41 =============================================================================== 100.36/100.41 | 521438 | 28849 179522 629892 | 65824 30921 9 | 17.342 % | 100.36/100.41 | 521588 | 28849 179522 629892 | 72407 31071 9 | 17.342 % | 100.36/100.41 | 521813 | 28849 179522 629892 | 79647 31296 9 | 17.342 % | 100.36/100.41 | 522150 | 28849 179522 629892 | 87612 31633 9 | 17.342 % | 100.36/100.41 | 522656 | 28849 179522 629892 | 96373 32139 9 | 17.342 % | 100.36/100.41 | 523415 | 28849 179522 629892 | 106011 32898 9 | 17.342 % | 100.36/100.41 | 524554 | 28849 179522 629892 | 116612 34037 9 | 17.342 % | 100.36/100.41 | 526262 | 28849 179522 629892 | 128273 35745 9 | 17.342 % | 100.36/100.41 | 528824 | 28849 179522 629892 | 141101 38307 9 | 17.342 % | 100.36/100.41 | 532668 | 28849 179522 629892 | 155211 42151 9 | 17.342 % | 100.36/100.41 | 538434 | 28849 179522 629892 | 170732 47917 9 | 17.342 % | 100.36/100.41 | 547083 | 28849 179522 629892 | 187805 56566 10 | 17.342 % | 100.36/100.41 | 560057 | 28849 179522 629892 | 206586 69540 10 | 17.342 % | 100.36/100.41 | 579518 | 28849 179522 629892 | 227244 89001 11 | 17.342 % | 100.36/100.41 | 608710 | 28848 179522 629892 | 249969 118191 18 | 17.345 % | 100.36/100.41 | 652499 | 28848 179522 629892 | 274966 161980 21 | 17.345 % | 100.36/100.41 =============================================================================== 100.36/100.41 c [1mFound solution: 36988082[0m 100.36/100.43 c ---[ 0]---> Adder-cost: 0 maxlim: 29920689 bits: 26/25 126.66/126.75 | Eliminated clauses: 0.03 Mb | 126.66/126.75 ============================[ Search Statistics ]============================== 126.66/126.75 | Conflicts | ORIGINAL | LEARNT | Progress | 126.66/126.75 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 126.66/126.75 =============================================================================== 126.66/126.75 | 715783 | 28844 179493 629782 | 65814 35192 17 | 17.364 % | 126.66/126.75 | 715933 | 28844 179493 629782 | 72395 35342 17 | 17.364 % | 126.66/126.75 | 716158 | 28844 179493 629782 | 79635 35567 17 | 17.364 % | 126.66/126.75 | 716495 | 28844 179493 629782 | 87598 35904 17 | 17.364 % | 126.66/126.75 | 717001 | 28844 179493 629782 | 96358 36410 17 | 17.364 % | 126.66/126.75 | 717760 | 28844 179493 629782 | 105994 37169 17 | 17.364 % | 126.66/126.75 | 718899 | 28844 179493 629782 | 116593 38308 16 | 17.364 % | 126.66/126.75 | 720607 | 28844 179493 629782 | 128253 40016 16 | 17.364 % | 126.66/126.75 | 723169 | 28844 179493 629782 | 141078 42578 15 | 17.364 % | 126.66/126.75 | 727013 | 28844 179493 629782 | 155186 46422 15 | 17.364 % | 126.66/126.75 | 732779 | 28844 179493 629782 | 170704 52188 16 | 17.364 % | 126.66/126.75 | 741428 | 28844 179493 629782 | 187775 60837 16 | 17.364 % | 126.66/126.75 | 754402 | 28844 179493 629782 | 206552 73811 16 | 17.364 % | 126.66/126.75 | 773863 | 28844 179493 629782 | 227208 93272 19 | 17.364 % | 126.66/126.75 | 803055 | 28844 179493 629782 | 249928 122464 21 | 17.364 % | 126.66/126.75 | 846844 | 28844 179493 629782 | 274921 166253 21 | 17.364 % | 126.66/126.75 =============================================================================== 126.66/126.75 c [1mFound solution: 33032200[0m 126.66/126.78 c ---[ 0]---> Adder-cost: 0 maxlim: 33876571 bits: 26/26 153.15/153.25 | Eliminated clauses: 0.03 Mb | 153.15/153.25 ============================[ Search Statistics ]============================== 153.15/153.25 | Conflicts | ORIGINAL | LEARNT | Progress | 153.15/153.25 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 153.15/153.25 =============================================================================== 153.15/153.25 | 900923 | 28849 179452 629364 | 65799 39062 10 | 17.379 % | 153.15/153.25 | 901073 | 28849 179452 629364 | 72378 39212 10 | 17.379 % | 153.15/153.25 | 901298 | 28849 179452 629364 | 79616 39437 10 | 17.379 % | 153.15/153.25 | 901635 | 28849 179452 629364 | 87578 39774 10 | 17.379 % | 153.15/153.25 | 902141 | 28849 179452 629364 | 96336 40280 10 | 17.379 % | 153.15/153.25 | 902900 | 28849 179452 629364 | 105970 41039 10 | 17.379 % | 153.15/153.25 | 904039 | 28849 179452 629364 | 116567 42178 10 | 17.379 % | 153.15/153.25 | 905747 | 28849 179452 629364 | 128223 43886 9 | 17.379 % | 153.15/153.25 | 908309 | 28849 179452 629364 | 141046 46448 9 | 17.379 % | 153.15/153.25 | 912153 | 28849 179452 629364 | 155150 50292 9 | 17.379 % | 153.15/153.25 | 917919 | 28849 179452 629364 | 170665 56058 9 | 17.379 % | 153.15/153.25 | 926568 | 28849 179452 629364 | 187732 64707 10 | 17.379 % | 153.15/153.25 | 939542 | 28849 179452 629364 | 206505 77681 10 | 17.379 % | 153.15/153.25 | 959003 | 28849 179452 629364 | 227156 97142 13 | 17.379 % | 153.15/153.25 | 988195 | 28849 179452 629364 | 249871 126334 16 | 17.379 % | 153.15/153.25 | 1031984 | 28849 179452 629364 | 274859 170123 21 | 17.379 % | 153.15/153.25 =============================================================================== 153.15/153.25 c [1mFound solution: 29015675[0m 153.15/153.28 c ---[ 0]---> Adder-cost: 0 maxlim: 37893096 bits: 26/26 416.41/416.53 | Eliminated clauses: 0.03 Mb | 416.41/416.53 ============================[ Search Statistics ]============================== 416.41/416.53 | Conflicts | ORIGINAL | LEARNT | Progress | 416.41/416.53 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 416.41/416.53 =============================================================================== 416.41/416.53 | 1095075 | 28840 179432 629473 | 65791 34843 17 | 17.399 % | 416.41/416.53 | 1095225 | 28840 179432 629473 | 72370 34993 17 | 17.399 % | 416.41/416.53 | 1095450 | 28840 179432 629473 | 79607 35218 17 | 17.399 % | 416.41/416.53 | 1095787 | 28840 179432 629473 | 87568 35555 17 | 17.399 % | 416.41/416.53 | 1096293 | 28840 179432 629473 | 96325 36061 17 | 17.399 % | 416.41/416.53 | 1097052 | 28840 179432 629473 | 105958 36820 16 | 17.399 % | 416.41/416.53 | 1098191 | 28840 179432 629473 | 116554 37959 16 | 17.399 % | 416.41/416.53 | 1099899 | 28840 179432 629473 | 128209 39667 16 | 17.399 % | 416.41/416.53 | 1102461 | 28840 179432 629473 | 141030 42229 15 | 17.399 % | 416.41/416.53 | 1106305 | 28840 179432 629473 | 155133 46073 14 | 17.399 % | 416.41/416.53 | 1112071 | 28840 179432 629473 | 170646 51839 14 | 17.399 % | 416.41/416.53 | 1120720 | 28840 179432 629473 | 187711 60488 13 | 17.399 % | 416.41/416.53 | 1133694 | 28840 179432 629473 | 206482 73462 13 | 17.399 % | 416.41/416.53 | 1153155 | 28840 179432 629473 | 227130 92923 13 | 17.399 % | 416.41/416.53 | 1182347 | 28840 179432 629473 | 249843 122115 14 | 17.399 % | 416.41/416.53 | 1226136 | 28840 179432 629473 | 274828 165904 15 | 17.399 % | 416.41/416.53 | 1291820 | 28840 179432 629473 | 302311 231588 19 | 17.399 % | 416.41/416.53 | 1390346 | 28840 179432 629473 | 332542 58617 15 | 17.399 % | 416.41/416.53 | 1538135 | 28839 179432 629473 | 365796 206401 28 | 17.402 % | 416.41/416.53 | 1759818 | 28837 179432 629473 | 402376 83287 21 | 17.407 % | 416.41/416.53 | 2092343 | 28837 179432 629473 | 442613 415812 35 | 17.407 % | 416.41/416.53 | 2591131 | 28837 179432 629473 | 486875 86963 20 | 17.407 % | 416.41/416.53 =============================================================================== 416.41/416.53 c [1mFound solution: 27459536[0m 416.41/416.55 c ---[ 0]---> Adder-cost: 0 maxlim: 39449235 bits: 26/26 1800.08/1800.40 | Eliminated clauses: 0.03 Mb | 1800.08/1800.40 ============================[ Search Statistics ]============================== 1800.08/1800.40 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.08/1800.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.08/1800.40 =============================================================================== 1800.08/1800.40 | 3105214 | 28840 179444 629681 | 65796 38416 12 | 17.424 % | 1800.08/1800.40 | 3105364 | 28840 179444 629681 | 72375 38566 12 | 17.424 % | 1800.08/1800.40 | 3105589 | 28840 179444 629681 | 79613 38791 12 | 17.424 % | 1800.08/1800.40 | 3105926 | 28840 179444 629681 | 87574 39128 12 | 17.424 % | 1800.08/1800.40 | 3106432 | 28840 179444 629681 | 96332 39634 12 | 17.424 % | 1800.08/1800.40 | 3107191 | 28840 179444 629681 | 105965 40393 12 | 17.424 % | 1800.08/1800.40 | 3108330 | 28840 179444 629681 | 116561 41532 12 | 17.424 % | 1800.08/1800.40 | 3110038 | 28840 179444 629681 | 128218 43240 11 | 17.424 % | 1800.08/1800.40 | 3112600 | 28840 179444 629681 | 141039 45802 12 | 17.424 % | 1800.08/1800.40 | 3116444 | 28840 179444 629681 | 155143 49646 12 | 17.424 % | 1800.08/1800.40 | 3122210 | 28840 179444 629681 | 170658 55412 12 | 17.424 % | 1800.08/1800.40 | 3130859 | 28840 179444 629681 | 187724 64061 13 | 17.424 % | 1800.08/1800.40 | 3143833 | 28840 179444 629681 | 206496 77035 13 | 17.424 % | 1800.08/1800.40 | 3163294 | 28840 179444 629681 | 227146 96496 18 | 17.424 % | 1800.08/1800.40 | 3192486 | 28840 179444 629681 | 249860 125688 18 | 17.424 % | 1800.08/1800.40 | 3236275 | 28839 179444 629681 | 274846 169475 19 | 17.427 % | 1800.08/1800.40 | 3301959 | 28839 179444 629681 | 302331 235159 23 | 17.427 % | 1800.08/1800.40 | 3400485 | 28839 179444 629681 | 332564 60615 12 | 17.427 % | 1800.08/1800.40 | 3548274 | 28839 179444 629681 | 365821 208404 24 | 17.427 % | 1800.08/1800.40 | 3769957 | 28839 179444 629681 | 402403 83931 37 | 17.427 % | 1800.08/1800.40 | 4102482 | 28839 179444 629681 | 442643 31260 52 | 17.427 % | 1800.08/1800.40 | 4601270 | 28839 179444 629681 | 486907 124621 25 | 17.427 % | 1800.08/1800.40 | 5349452 | 28839 179444 629681 | 535598 397500 54 | 17.427 % | 1800.08/1800.40 | 6471726 | 28839 179444 629681 | 589158 468595 44 | 17.427 % | 1800.08/1800.40 | 8155137 | 28839 179444 629681 | 648074 417135 72 | 17.427 % | 1800.08/1800.40 | 10680253 | 28838 179444 629681 | 712881 488215 49 | 17.430 % | 1800.08/1800.40 c 1800.08/1800.40 c *** TERMINATED *** 1800.08/1800.40 s SATISFIABLE 1800.08/1800.40 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -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 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 x5042 x5043 -x5044 x5045 -x5046 -x5047 x5048 x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 x5164 x5165 -x5166 x5167 x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 x5191 x5192 x5193 x5194 x5195 x5196 x5197 x5198 x5199 x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 x5230 -x5231 -x5232 -x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 x5494 x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 x5525 -x5526 x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 x5555 x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 x5611 x5612 -x5613 -x5614 -x5615 x5616 -x5617 -x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 x5793 x5794 -x5795 x5796 x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 x5853 x5854 x5855 -x5856 x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 x5950 -x5951 -x5952 -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 x6093 x6094 -x6095 x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 x6156 x6157 -x6158 x6159 x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 x6183 -x6184 -x6185 -x6186 -x6187 -x6188 x6189 -x6190 x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 x6211 -x6212 -x6213 x6214 x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 x6302 x6303 -x6304 x6305 -x6306 -x6307 -x6308 x6309 x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 x6332 x6333 x6334 -x6335 x6336 -x6337 -x6338 x6339 -x6340 x6341 -x6342 -x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 x6972 -x6973 -x6974 x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 x7149 x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7261 -x7262 -x7263 x7264 -x7265 -x7266 x7267 -x7268 x7269 -x7270 -x7271 -x7272 x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 x7291 x7292 x7293 x7294 -x7295 x7296 x7297 x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 x7473 -x7474 x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 x7502 x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 x7542 -x7543 -x7544 x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 x124 -x125 -x126 -x127 x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 x335 x336 -x337 x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 x364 x365 x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 x486 -x487 -x488 -x489 -x490 x491 x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 x754 -x755 x756 -x757 -x758 x759 x760 x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 x1082 -x1083 x1084 x1085 x1086 x1087 x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 x1145 x1146 -x1147 x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 x1174 -x1175 x1176 x1177 x1178 x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 x1413 x1414 -x1415 x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 x1477 x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 x1506 x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 x2462 x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 x2524 x2525 -x2526 -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 x2767 -x2768 -x2769 -x2770 -x2771 x2772 x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 x2793 x2794 -x2795 -x2796 x2797 -x2798 x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 x2826 -x2827 -x2828 -x2829 x2830 x2831 -x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 x2945 x2946 x2947 -x2948 x2949 x2950 x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 x2972 -x2973 x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 x2981 x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 -x4003 x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 x4929 x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x7561 x7562 x7673 -x7736 x7747 -x7758 x7769 -x7780 -x7791 -x7802 -x7563 -x7574 -x7585 x7596 -x7607 x7618 x7629 x7640 x7651 -x7662 x7674 -x7685 x7696 -x7707 x7718 x7729 -x7732 x7733 x7734 x7735 x7737 -x7738 x7739 -x7740 -x7741 x7742 x7743 x7744 x7745 x7746 x7748 x7749 -x7750 x7751 -x7752 x7753 x7754 -x7755 x7756 -x7757 x7759 x7760 x7761 -x7762 -x7763 x7764 -x7765 x7766 x7767 x7768 -x7770 x7771 x7772 -x7773 x7774 x7775 -x7776 -x7777 -x7778 x7779 x7781 x7782 x7783 x7784 -x7785 x7786 -x7787 -x7788 -x7789 -x7790 x7792 x7793 -x7794 x7795 -x7796 -x7797 -x7798 x7799 -x7800 x7801 x7803 x7804 x7805 x7806 -x7807 -x7808 x7809 x7810 x7811 x7812 x7564 x7565 x7566 x7567 -x7568 -x7569 x7570 -x7571 x7572 x7573 -x7575 x7576 x7577 -x7578 -x7579 -x7580 -x7581 x7582 x7583 x7584 x7586 -x7587 x7588 -x7589 x7590 x7591 -x7592 x7593 x7594 x7595 x7597 -x7598 x7599 x7600 x7601 -x7602 x7603 x7604 -x7605 x7606 x7608 -x7609 x7610 x7611 x7612 x7613 x7614 x7615 -x7616 x7617 -x7619 x7620 x7621 x7622 x7623 x7624 -x7625 -x7626 x7627 x7628 x7630 x7631 x7632 -x7633 x7634 -x7635 x7636 -x7637 x7638 -x7639 x7641 x7642 x7643 -x7644 x7645 -x7646 x7647 -x7648 x7649 x7650 x7652 x7653 x7654 x7655 -x7656 x7657 x7658 x7659 x7660 -x7661 x7663 -x7664 -x7665 -x7666 -x7667 -x7668 x7669 x7670 x7671 x7672 -x7675 -x7676 x7677 -x7678 -x7679 x7680 x7681 x7682 x7683 x7684 x7686 -x7687 x7688 -x7689 -x7690 x7691 x7692 x7693 x7694 x7695 x7697 x7698 x7699 x7700 x7701 x7702 x7703 x7704 x7705 x7706 -x7708 x7709 x7710 x7711 x7712 -x7713 -x7714 x7715 x7716 x7717 x7719 -x7720 -x7721 -x7722 x7723 x7724 x7725 x7726 -x7727 -x7728 -x7730 x7731
OK 27459536
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4111984-1466542768/watcher-4111984-1466542768 -o /tmp/evaluation-result-4111984-1466542768/solver-4111984-1466542768 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466515264-21135 --watchdog 1960 minisatp HOME/instance-4111984-1466542768.opb pid=26317 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 26320 /proc/meminfo: memFree=31789880/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=7308 CPUtime=0 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 56327367 7483392 389 33554432000 4194304 5646918 140736869885920 140735269655992 4832048 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 1827 389 84 355 0 1468 0 [startup+0.10016 s] /proc/loadavg: 2.00 2.00 2.00 3/176 26320 /proc/meminfo: memFree=31789880/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=10372 CPUtime=0.09 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 1234 0 0 0 9 0 0 0 20 0 1 0 56327367 10620928 1111 33554432000 4194304 5646918 140736869885920 140736869885368 4271367 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 2593 1111 97 355 0 2234 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10372 [startup+0.2003 s] /proc/loadavg: 2.00 2.00 2.00 3/176 26320 /proc/meminfo: memFree=31789880/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=12752 CPUtime=0.19 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 1822 0 0 0 19 0 0 0 20 0 1 0 56327367 13058048 1699 33554432000 4194304 5646918 140736869885920 140736869885368 4464673 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 3188 1699 105 355 0 2829 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12752 [startup+0.300333 s] /proc/loadavg: 2.00 2.00 2.00 3/176 26320 /proc/meminfo: memFree=31789880/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=12772 CPUtime=0.29 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 1960 0 0 0 29 0 0 0 20 0 1 0 56327367 13078528 1775 33554432000 4194304 5646918 140736869885920 140736869885368 4565119 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 3193 1775 152 355 0 2834 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12772 [startup+0.700236 s] /proc/loadavg: 2.00 2.00 2.00 3/176 26320 /proc/meminfo: memFree=31789880/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=13340 CPUtime=0.69 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 2081 0 0 0 69 0 0 0 20 0 1 0 56327367 13660160 1896 33554432000 4194304 5646918 140736869885920 140736869885368 4832125 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 3335 1896 152 355 0 2976 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13340 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/177 26321 /proc/meminfo: memFree=31770944/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=20040 CPUtime=1.48 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 4460 0 0 0 148 0 0 0 20 0 1 0 56327367 20520960 4530 33554432000 4194304 5646918 140736869885920 140736869884024 4402661 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 5010 4530 183 355 0 4651 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 20040 [startup+3.10025 s] /proc/loadavg: 2.00 2.00 2.00 4/177 26321 /proc/meminfo: memFree=31767532/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=21024 CPUtime=3.08 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 4684 0 0 0 308 0 0 0 20 0 1 0 56327367 21528576 4754 33554432000 4194304 5646918 140736869885920 140736869884024 4396923 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 5256 4754 183 355 0 4897 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21024 [startup+6.30029 s] /proc/loadavg: 2.00 2.00 2.00 3/177 26321 /proc/meminfo: memFree=31761496/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=25584 CPUtime=6.29 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 5373 0 0 0 628 1 0 0 20 0 1 0 56327367 26198016 5424 33554432000 4194304 5646918 140736869885920 140736869884616 4388936 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 6396 5424 183 355 0 6037 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25584 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 26321 /proc/meminfo: memFree=31744592/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=33696 CPUtime=12.69 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 7150 0 0 0 1267 2 0 0 20 0 1 0 56327367 34504704 7675 33554432000 4194304 5646918 140736869885920 140736869884056 4403372 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 8424 7675 183 355 0 8065 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33696 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/177 26321 /proc/meminfo: memFree=31709700/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=67696 CPUtime=25.49 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 15843 0 0 0 2545 4 0 0 20 0 1 0 56327367 69320704 16423 33554432000 4194304 5646918 140736869885920 140736869884024 4402784 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 16924 16423 187 355 0 16565 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 67696 [startup+51.1004 s] /proc/loadavg: 2.07 2.02 2.00 3/178 26324 /proc/meminfo: memFree=31691148/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=86824 CPUtime=51.08 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 16945 0 0 0 5104 4 0 0 20 0 1 0 56327367 88907776 21076 33554432000 4194304 5646918 140736869885920 140736869884232 4403091 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 21706 21076 188 355 0 21347 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 86824 [startup+102.3 s] /proc/loadavg: 2.03 2.01 2.00 3/178 26348 /proc/meminfo: memFree=31696076/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=77740 CPUtime=102.27 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 19533 0 0 0 10221 6 0 0 20 0 1 0 56327367 79605760 18891 33554432000 4194304 5646918 140736869885920 140736868446744 4402661 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 19435 18891 189 355 0 19076 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 77740 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 26349 /proc/meminfo: memFree=31653640/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=119784 CPUtime=162.25 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 20637 0 0 0 16218 7 0 0 20 0 1 0 56327367 122658816 29291 33554432000 4194304 5646918 140736869885920 140736869884232 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 29946 29291 189 355 0 29587 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 119784 [startup+222.307 s] /proc/loadavg: 2.07 2.02 2.00 3/177 26351 /proc/meminfo: memFree=31586740/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=200464 CPUtime=222.24 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 22444 0 0 0 22215 9 0 0 20 0 1 0 56327367 205275136 45969 33554432000 4194304 5646918 140736869885920 140736869884616 4400072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 50116 45969 189 355 0 49757 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 200464 [startup+282.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 26352 /proc/meminfo: memFree=31603184/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=169644 CPUtime=282.23 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 23228 0 0 0 28212 11 0 0 20 0 1 0 56327367 173715456 41915 33554432000 4194304 5646918 140736869885920 140736869884216 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 42411 41915 189 355 0 42052 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 169644 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 26353 /proc/meminfo: memFree=31574248/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=205004 CPUtime=342.22 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 25677 0 0 0 34206 16 0 0 20 0 1 0 56327367 209924096 49156 33554432000 4194304 5646918 140736869885920 140736869884616 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 51251 49156 189 355 0 50892 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 205004 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 26354 /proc/meminfo: memFree=31529320/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=155320 CPUtime=402.21 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 27471 0 0 0 40202 19 0 0 20 0 1 0 56327367 159047680 38426 33554432000 4194304 5646918 140736869885920 140736869884616 4402788 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 38830 38426 189 355 0 38471 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 155320 [startup+462.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 26355 /proc/meminfo: memFree=31616312/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=155320 CPUtime=462.2 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 27862 0 0 0 46201 19 0 0 20 0 1 0 56327367 159047680 38426 33554432000 4194304 5646918 140736869885920 140736869884632 4403184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 38830 38426 189 355 0 38471 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 155320 [startup+522.3 s] /proc/loadavg: 2.14 2.05 2.01 3/176 26356 /proc/meminfo: memFree=31574264/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=204640 CPUtime=522.19 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 29250 0 0 0 52197 22 0 0 20 0 1 0 56327367 209551360 49038 33554432000 4194304 5646918 140736869885920 140736869884216 4403368 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 51160 49038 189 355 0 50801 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 204640 [startup+582.3 s] /proc/loadavg: 2.12 2.05 2.01 3/177 26414 /proc/meminfo: memFree=31538944/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=366936 CPUtime=582.18 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 31683 0 0 0 58192 26 0 0 20 0 1 0 56327367 375742464 75006 33554432000 4194304 5646918 140736869885920 140736869884616 4402627 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 91734 75006 189 355 0 91375 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 366936 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.06 2.05 2.00 3/177 26423 /proc/meminfo: memFree=31395568/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=337676 CPUtime=882.14 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 41284 0 0 0 88170 44 0 0 20 0 1 0 56327367 345780224 74322 33554432000 4194304 5646918 140736869885920 140736869884616 4403184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 84419 74322 189 355 0 84060 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 337676 [startup+942.3 s] /proc/loadavg: 2.02 2.04 2.00 3/177 26424 /proc/meminfo: memFree=31438284/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=287588 CPUtime=942.12 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 42823 0 0 0 94165 47 0 0 20 0 1 0 56327367 294490112 70440 33554432000 4194304 5646918 140736869885920 140736869884616 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 71897 70440 189 355 0 71538 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 287588 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 26425 /proc/meminfo: memFree=31309068/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=450796 CPUtime=1002.11 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 45629 0 0 0 100159 52 0 0 20 0 1 0 56327367 461615104 89788 33554432000 4194304 5646918 140736869885920 140736869884616 4402840 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 112699 89788 189 355 0 112340 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 450796 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 26426 /proc/meminfo: memFree=31219188/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=584272 CPUtime=1062.1 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 46217 0 0 0 106155 55 0 0 20 0 1 0 56327367 598294528 117958 33554432000 4194304 5646918 140736869885920 140736869884616 4402821 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 146068 117958 189 355 0 145709 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 584272 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 26427 /proc/meminfo: memFree=31293428/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=370624 CPUtime=1122.09 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 47554 0 0 0 112151 58 0 0 20 0 1 0 56327367 379518976 83893 33554432000 4194304 5646918 140736869885920 140736869884616 4402788 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 92656 83893 189 355 0 92297 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 370624 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 26429 /proc/meminfo: memFree=31396396/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=340228 CPUtime=1182.08 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 49507 0 0 0 118147 61 0 0 20 0 1 0 56327367 348393472 73757 33554432000 4194304 5646918 140736869885920 140736869884616 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 85057 73757 189 355 0 84698 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 340228 [startup+1242.3 s] /proc/loadavg: 2.07 2.02 2.00 4/178 26433 /proc/meminfo: memFree=31391804/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=260088 CPUtime=1242.08 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 50494 0 0 0 124144 64 0 0 20 0 1 0 56327367 266330112 62673 33554432000 4194304 5646918 140736869885920 140736869884632 4402751 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 65022 62673 189 355 0 64663 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 260088 [startup+1302.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 26434 /proc/meminfo: memFree=31274700/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=390316 CPUtime=1302.06 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 51815 0 0 0 130140 66 0 0 20 0 1 0 56327367 399683584 87989 33554432000 4194304 5646918 140736869885920 140736869884616 4402811 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 97579 87989 189 355 0 97220 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 390316 [startup+1362.3 s] /proc/loadavg: 2.09 2.04 2.01 3/177 26435 /proc/meminfo: memFree=31255564/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=340228 CPUtime=1362.05 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 52807 0 0 0 136137 68 0 0 20 0 1 0 56327367 348393472 79496 33554432000 4194304 5646918 140736869885920 140736869884616 4402882 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 85057 79496 189 355 0 84698 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 340228 [startup+1422.3 s] /proc/loadavg: 2.07 2.04 2.01 3/177 26436 /proc/meminfo: memFree=31209208/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=471704 CPUtime=1422.05 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 53671 0 0 0 142135 70 0 0 20 0 1 0 56327367 483024896 102837 33554432000 4194304 5646918 140736869885920 140736869884616 4402911 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 117926 102837 189 355 0 117567 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 471704 [startup+1482.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 26438 /proc/meminfo: memFree=31328648/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=260088 CPUtime=1482.04 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 53697 0 0 0 148132 72 0 0 20 0 1 0 56327367 266330112 63698 33554432000 4194304 5646918 140736869885920 140736869884632 4402974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 65022 63698 189 355 0 64663 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 260088 [startup+1542.31 s] /proc/loadavg: 2.13 2.06 2.01 3/177 26439 /proc/meminfo: memFree=31158464/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=390316 CPUtime=1542.03 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 55388 0 0 0 154129 74 0 0 20 0 1 0 56327367 399683584 86817 33554432000 4194304 5646918 140736869885920 140736869884616 4403464 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 97579 86817 189 355 0 97220 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 390316 [startup+1602.3 s] /proc/loadavg: 2.11 2.06 2.01 3/177 26440 /proc/meminfo: memFree=31296460/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=292316 CPUtime=1602.01 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 56087 0 0 0 160126 75 0 0 20 0 1 0 56327367 299331584 66257 33554432000 4194304 5646918 140736869885920 140736869884168 4402821 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 73079 66257 189 355 0 72720 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 292316 [startup+1662.3 s] /proc/loadavg: 2.04 2.05 2.00 3/177 26441 /proc/meminfo: memFree=31116864/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=422544 CPUtime=1662.01 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 57413 0 0 0 166123 78 0 0 20 0 1 0 56327367 432685056 99765 33554432000 4194304 5646918 140736869885920 140736869884616 4398908 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 105636 99765 189 355 0 105277 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 422544 [startup+1722.3 s] /proc/loadavg: 2.01 2.04 2.00 3/177 26442 /proc/meminfo: memFree=31276940/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=292316 CPUtime=1722 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 57953 0 0 0 172121 79 0 0 20 0 1 0 56327367 299331584 68305 33554432000 4194304 5646918 140736869885920 140736869884632 4402788 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 73079 68305 189 355 0 72720 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 292316 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/177 26444 /proc/meminfo: memFree=31227788/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=372456 CPUtime=1782 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 58940 0 0 0 178119 81 0 0 20 0 1 0 56327367 381394944 85640 33554432000 4194304 5646918 140736869885920 140736869884616 4402818 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 93114 85640 189 355 0 92755 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 372456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.02 2.00 3/177 26444 /proc/meminfo: memFree=31189880/32872528 swapFree=190484/190484 [pid=26320] ppid=26317 vsize=422544 CPUtime=1800.08 cores=1,3,5,7 /proc/26320/stat : 26320 (minisatp) R 26317 26320 21118 0 -1 4202496 59259 0 0 0 179927 81 0 0 20 0 1 0 56327367 432685056 89013 33554432000 4194304 5646918 140736869885920 140736869884616 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26320/statm: 105636 89013 189 355 0 105277 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 422544 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 26320 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.11 CPU user time (s): 1799.28 CPU system time (s): 0.824874 CPU usage (%): 99.9832 Max. virtual memory (cumulated for all children) (KiB): 584272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.824874 maximum resident set size= 473892 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59259 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41 involuntary context switches= 1851 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.53731 second user time and 6.92195 second system time The end
Begin job on node102 at 2016-06-21 22:59:28 IDJOB=4111984 IDBENCH=2297 IDSOLVER=2555 FILE ID=node102/4111984-1466542768 RUNJOBID= node102-1466515264-21135 PBS_JOBID= 19942887 Free space on /tmp= 71724 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111984-1466542768/watcher-4111984-1466542768 -o /tmp/evaluation-result-4111984-1466542768/solver-4111984-1466542768 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466515264-21135 --watchdog 1960 minisatp HOME/instance-4111984-1466542768.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 291088d217a1998c91be99350439e903 RANDOM SEED=1388888709 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31790596 kB Buffers: 21992 kB Cached: 79372 kB SwapCached: 1232 kB Active: 112604 kB Inactive: 74232 kB Active(anon): 85512 kB Inactive(anon): 1936 kB Active(file): 27092 kB Inactive(file): 72296 kB Unevictable: 190484 kB Mlocked: 190484 kB SwapTotal: 67108856 kB SwapFree: 67099880 kB Dirty: 3916 kB Writeback: 8 kB AnonPages: 275096 kB Mapped: 8784 kB Shmem: 0 kB Slab: 566616 kB SReclaimable: 10804 kB SUnreclaim: 555812 kB KernelStack: 1480 kB PageTables: 4844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 419028 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4111984-1466542768.opb Free space on /tmp at the end= 71720 MiB End job on node102 at 2016-06-21 23:29:29