| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | SAT (TO) | 27745668 | 1800.02 | 1800.31 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb |
| MD5SUM | 334ff12347ae763156f4e4389dfec521 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 6150263 |
| Best CPU time to get the best result obtained on this benchmark | 1800.15 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5885956 |
| Optimality of the best value was proved | NO |
| Number of variables | 7936 |
| Total number of constraints | 288 |
| 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 | 288 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 480 |
| Number of terms in the objective function | 7936 |
| 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 | 1558042522197 |
| 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 | 1558042522197 |
| 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 320 PB-constraints to clauses... 0.09/0.17 c -- Unit propagations: (none) 0.19/0.20 c -- Detecting intervals from adjacent constraints: ################################ 0.19/0.20 c -- Clauses(.)/Splits(s): (none) 0.19/0.20 c ---[ 318]---> Adder-cost: 422 maxlim: 333808 bits: 19/19 0.19/0.22 c ---[ 316]---> Adder-cost: 422 maxlim: 331760 bits: 19/19 0.19/0.24 c ---[ 314]---> Adder-cost: 422 maxlim: 336880 bits: 19/19 0.19/0.25 c ---[ 312]---> Adder-cost: 426 maxlim: 415728 bits: 19/19 0.19/0.27 c ---[ 310]---> Adder-cost: 382 maxlim: 104432 bits: 17/17 0.19/0.29 c ---[ 308]---> Adder-cost: 406 maxlim: 195568 bits: 18/18 0.29/0.30 c ---[ 306]---> Adder-cost: 426 maxlim: 415728 bits: 19/19 0.29/0.32 c ---[ 304]---> Adder-cost: 382 maxlim: 104432 bits: 17/17 0.29/0.33 c ---[ 302]---> Adder-cost: 406 maxlim: 198640 bits: 18/18 0.29/0.35 c ---[ 300]---> Adder-cost: 358 maxlim: 58352 bits: 16/16 0.29/0.36 c ---[ 298]---> Adder-cost: 422 maxlim: 337904 bits: 19/19 0.29/0.38 c ---[ 296]---> Adder-cost: 426 maxlim: 399344 bits: 19/19 0.39/0.40 c ---[ 294]---> Adder-cost: 406 maxlim: 199664 bits: 18/18 0.39/0.41 c ---[ 292]---> Adder-cost: 422 maxlim: 338928 bits: 19/19 0.39/0.43 c ---[ 290]---> Adder-cost: 406 maxlim: 193520 bits: 18/18 0.39/0.45 c ---[ 288]---> Adder-cost: 422 maxlim: 337904 bits: 19/19 0.39/0.47 c ---[ 286]---> Adder-cost: 418 maxlim: 222192 bits: 18/18 0.39/0.48 c ---[ 284]---> Adder-cost: 434 maxlim: 356336 bits: 19/19 0.49/0.50 c ---[ 282]---> Adder-cost: 330 maxlim: 31728 bits: 15/15 0.49/0.51 c ---[ 280]---> Adder-cost: 440 maxlim: 417776 bits: 19/19 0.49/0.53 c ---[ 278]---> Adder-cost: 434 maxlim: 363504 bits: 19/19 0.49/0.55 c ---[ 276]---> Adder-cost: 330 maxlim: 31728 bits: 15/15 0.49/0.56 c ---[ 274]---> Adder-cost: 434 maxlim: 350192 bits: 19/19 0.49/0.58 c ---[ 272]---> Adder-cost: 434 maxlim: 363504 bits: 19/19 0.59/0.60 c ---[ 270]---> Adder-cost: 360 maxlim: 63472 bits: 16/16 0.59/0.61 c ---[ 268]---> Adder-cost: 440 maxlim: 429040 bits: 19/19 0.59/0.63 c ---[ 266]---> Adder-cost: 360 maxlim: 63472 bits: 16/16 0.59/0.64 c ---[ 264]---> Adder-cost: 434 maxlim: 358384 bits: 19/19 0.59/0.66 c ---[ 262]---> Adder-cost: 440 maxlim: 437232 bits: 19/19 0.59/0.68 c ---[ 260]---> Adder-cost: 418 maxlim: 225264 bits: 18/18 0.59/0.69 c ---[ 258]---> Adder-cost: 418 maxlim: 224240 bits: 18/18 0.69/0.71 c ---[ 256]---> Adder-cost: 434 maxlim: 364528 bits: 19/19 0.69/0.73 c ---[ 255]---> BDD-cost: 18 0.69/0.73 c ---[ 254]---> BDD-cost: 19 0.69/0.73 c ---[ 253]---> BDD-cost: 12 0.69/0.73 c ---[ 252]---> BDD-cost: 13 0.69/0.73 c ---[ 251]---> BDD-cost: 18 0.69/0.73 c ---[ 250]---> BDD-cost: 18 0.69/0.73 c ---[ 249]---> BDD-cost: 15 0.69/0.73 c ---[ 248]---> BDD-cost: 18 0.69/0.73 c ---[ 247]---> BDD-cost: 18 0.69/0.73 c ---[ 246]---> BDD-cost: 12 0.69/0.73 c ---[ 245]---> BDD-cost: 18 0.69/0.73 c ---[ 244]---> BDD-cost: 18 0.69/0.73 c ---[ 243]---> BDD-cost: 12 0.69/0.73 c ---[ 242]---> BDD-cost: 19 0.69/0.73 c ---[ 241]---> BDD-cost: 18 0.69/0.73 c ---[ 240]---> BDD-cost: 18 0.69/0.73 c ---[ 239]---> BDD-cost: 18 0.69/0.73 c ---[ 238]---> BDD-cost: 20 0.69/0.73 c ---[ 237]---> BDD-cost: 13 0.69/0.73 c ---[ 236]---> BDD-cost: 20 0.69/0.73 c ---[ 235]---> BDD-cost: 13 0.69/0.73 c ---[ 234]---> BDD-cost: 20 0.69/0.73 c ---[ 233]---> BDD-cost: 20 0.69/0.73 c ---[ 232]---> BDD-cost: 15 0.69/0.73 c ---[ 231]---> BDD-cost: 20 0.69/0.73 c ---[ 230]---> BDD-cost: 18 0.69/0.73 c ---[ 229]---> BDD-cost: 16 0.69/0.73 c ---[ 228]---> BDD-cost: 12 0.69/0.73 c ---[ 227]---> BDD-cost: 20 0.69/0.73 c ---[ 226]---> BDD-cost: 20 0.69/0.73 c ---[ 225]---> BDD-cost: 12 0.69/0.73 c ---[ 224]---> BDD-cost: 20 0.69/0.73 c ---[ 223]---> BDD-cost: 20 0.69/0.73 c ---[ 222]---> BDD-cost: 18 0.69/0.73 c ---[ 221]---> BDD-cost: 18 0.69/0.73 c ---[ 220]---> BDD-cost: 12 0.69/0.73 c ---[ 219]---> BDD-cost: 13 0.69/0.73 c ---[ 218]---> BDD-cost: 18 0.69/0.73 c ---[ 217]---> BDD-cost: 13 0.69/0.73 c ---[ 216]---> BDD-cost: 18 0.69/0.73 c ---[ 215]---> BDD-cost: 18 0.69/0.73 c ---[ 214]---> BDD-cost: 15 0.69/0.73 c ---[ 213]---> BDD-cost: 18 0.69/0.73 c ---[ 212]---> BDD-cost: 18 0.69/0.73 c ---[ 211]---> BDD-cost: 12 0.69/0.73 c ---[ 210]---> BDD-cost: 18 0.69/0.73 c ---[ 209]---> BDD-cost: 19 0.69/0.73 c ---[ 208]---> BDD-cost: 18 0.69/0.73 c ---[ 207]---> BDD-cost: 12 0.69/0.73 c ---[ 206]---> BDD-cost: 18 0.69/0.73 c ---[ 205]---> BDD-cost: 18 0.69/0.73 c ---[ 204]---> BDD-cost: 18 0.69/0.73 c ---[ 203]---> BDD-cost: 19 0.69/0.73 c ---[ 202]---> BDD-cost: 13 0.69/0.73 c ---[ 201]---> BDD-cost: 19 0.69/0.73 c ---[ 200]---> BDD-cost: 13 0.69/0.73 c ---[ 199]---> BDD-cost: 19 0.69/0.74 c ---[ 198]---> BDD-cost: 20 0.69/0.74 c ---[ 197]---> BDD-cost: 19 0.69/0.74 c ---[ 196]---> BDD-cost: 15 0.69/0.74 c ---[ 195]---> BDD-cost: 18 0.69/0.74 c ---[ 194]---> BDD-cost: 16 0.69/0.74 c ---[ 193]---> BDD-cost: 12 0.69/0.74 c ---[ 192]---> BDD-cost: 19 0.69/0.74 c ---[ 191]---> BDD-cost: 20 0.69/0.74 c ---[ 190]---> BDD-cost: 12 0.69/0.74 c ---[ 189]---> BDD-cost: 19 0.69/0.74 c ---[ 188]---> BDD-cost: 20 0.69/0.74 c ---[ 187]---> BDD-cost: 18 0.69/0.74 c ---[ 186]---> BDD-cost: 18 0.69/0.74 c ---[ 185]---> BDD-cost: 20 0.69/0.74 c ---[ 184]---> BDD-cost: 13 0.69/0.74 c ---[ 183]---> BDD-cost: 20 0.69/0.74 c ---[ 182]---> BDD-cost: 13 0.69/0.74 c ---[ 181]---> BDD-cost: 20 0.69/0.74 c ---[ 180]---> BDD-cost: 20 0.69/0.74 c ---[ 179]---> BDD-cost: 15 0.69/0.74 c ---[ 178]---> BDD-cost: 18 0.69/0.74 c ---[ 177]---> BDD-cost: 16 0.69/0.74 c ---[ 176]---> BDD-cost: 17 0.69/0.74 c ---[ 175]---> BDD-cost: 12 0.69/0.74 c ---[ 174]---> BDD-cost: 20 0.69/0.74 c ---[ 173]---> BDD-cost: 20 0.69/0.74 c ---[ 172]---> BDD-cost: 12 0.69/0.74 c ---[ 171]---> BDD-cost: 20 0.69/0.74 c ---[ 170]---> BDD-cost: 20 0.69/0.74 c ---[ 169]---> BDD-cost: 18 0.69/0.74 c ---[ 168]---> BDD-cost: 17 0.69/0.74 c ---[ 167]---> BDD-cost: 13 0.69/0.74 c ---[ 166]---> BDD-cost: 21 0.69/0.74 c ---[ 165]---> BDD-cost: 13 0.69/0.74 c ---[ 164]---> BDD-cost: 13 0.69/0.74 c ---[ 163]---> BDD-cost: 19 0.69/0.74 c ---[ 162]---> BDD-cost: 21 0.69/0.74 c ---[ 161]---> BDD-cost: 15 0.69/0.74 c ---[ 160]---> BDD-cost: 18 0.69/0.74 c ---[ 159]---> BDD-cost: 16 0.69/0.74 c ---[ 158]---> BDD-cost: 12 0.69/0.74 c ---[ 157]---> BDD-cost: 21 0.69/0.74 c ---[ 156]---> BDD-cost: 20 0.69/0.74 c ---[ 155]---> BDD-cost: 12 0.69/0.74 c ---[ 154]---> BDD-cost: 17 0.69/0.74 c ---[ 153]---> BDD-cost: 19 0.69/0.74 c ---[ 152]---> BDD-cost: 20 0.69/0.74 c ---[ 151]---> BDD-cost: 15 0.69/0.74 c ---[ 150]---> BDD-cost: 15 0.69/0.74 c ---[ 149]---> BDD-cost: 13 0.69/0.74 c ---[ 148]---> BDD-cost: 15 0.69/0.74 c ---[ 147]---> BDD-cost: 13 0.69/0.74 c ---[ 146]---> BDD-cost: 15 0.69/0.74 c ---[ 145]---> BDD-cost: 15 0.69/0.74 c ---[ 144]---> BDD-cost: 15 0.69/0.74 c ---[ 143]---> BDD-cost: 13 0.69/0.74 c ---[ 142]---> BDD-cost: 13 0.69/0.74 c ---[ 141]---> BDD-cost: 15 0.69/0.74 c ---[ 140]---> BDD-cost: 15 0.69/0.74 c ---[ 139]---> BDD-cost: 12 0.69/0.74 c ---[ 138]---> BDD-cost: 15 0.69/0.74 c ---[ 137]---> BDD-cost: 15 0.69/0.74 c ---[ 136]---> BDD-cost: 12 0.69/0.74 c ---[ 135]---> BDD-cost: 15 0.69/0.74 c ---[ 134]---> BDD-cost: 15 0.69/0.74 c ---[ 133]---> BDD-cost: 18 0.69/0.74 c ---[ 132]---> BDD-cost: 18 0.69/0.74 c ---[ 131]---> BDD-cost: 19 0.69/0.74 c ---[ 130]---> BDD-cost: 13 0.69/0.74 c ---[ 129]---> BDD-cost: 18 0.69/0.74 c ---[ 128]---> BDD-cost: 13 0.69/0.74 c ---[ 127]---> BDD-cost: 18 0.69/0.74 c ---[ 126]---> BDD-cost: 18 0.69/0.74 c ---[ 125]---> BDD-cost: 15 0.69/0.74 c ---[ 124]---> BDD-cost: 18 0.69/0.74 c ---[ 123]---> BDD-cost: 18 0.69/0.74 c ---[ 122]---> BDD-cost: 12 0.69/0.74 c ---[ 121]---> BDD-cost: 18 0.69/0.74 c ---[ 120]---> BDD-cost: 17 0.69/0.74 c ---[ 119]---> BDD-cost: 18 0.69/0.74 c ---[ 118]---> BDD-cost: 12 0.69/0.74 c ---[ 117]---> BDD-cost: 18 0.69/0.74 c ---[ 116]---> BDD-cost: 18 0.69/0.74 c ---[ 115]---> BDD-cost: 18 0.69/0.74 c ---[ 114]---> BDD-cost: 17 0.69/0.74 c ---[ 113]---> BDD-cost: 13 0.69/0.74 c ---[ 112]---> BDD-cost: 21 0.69/0.74 c ---[ 111]---> BDD-cost: 13 0.69/0.74 c ---[ 110]---> BDD-cost: 19 0.69/0.74 c ---[ 109]---> BDD-cost: 15 0.69/0.74 c ---[ 108]---> BDD-cost: 21 0.69/0.74 c ---[ 107]---> BDD-cost: 15 0.69/0.74 c ---[ 106]---> BDD-cost: 18 0.69/0.74 c ---[ 105]---> BDD-cost: 16 0.69/0.74 c ---[ 104]---> BDD-cost: 12 0.69/0.74 c ---[ 103]---> BDD-cost: 21 0.69/0.74 c ---[ 102]---> BDD-cost: 20 0.69/0.74 c ---[ 101]---> BDD-cost: 12 0.69/0.74 c ---[ 100]---> BDD-cost: 19 0.69/0.74 c ---[ 99]---> BDD-cost: 20 0.69/0.75 c ---[ 98]---> BDD-cost: 18 0.69/0.75 c ---[ 97]---> BDD-cost: 15 0.69/0.75 c ---[ 96]---> BDD-cost: 15 0.69/0.75 c ---[ 95]---> BDD-cost: 13 0.69/0.75 c ---[ 94]---> BDD-cost: 15 0.69/0.75 c ---[ 93]---> BDD-cost: 13 0.69/0.75 c ---[ 92]---> BDD-cost: 15 0.69/0.75 c ---[ 91]---> BDD-cost: 15 0.69/0.75 c ---[ 90]---> BDD-cost: 15 0.69/0.75 c ---[ 89]---> BDD-cost: 15 0.69/0.75 c ---[ 88]---> BDD-cost: 15 0.69/0.75 c ---[ 87]---> BDD-cost: 16 0.69/0.75 c ---[ 86]---> BDD-cost: 12 0.69/0.75 c ---[ 85]---> BDD-cost: 15 0.69/0.75 c ---[ 84]---> BDD-cost: 15 0.69/0.75 c ---[ 83]---> BDD-cost: 12 0.69/0.75 c ---[ 82]---> BDD-cost: 15 0.69/0.75 c ---[ 81]---> BDD-cost: 15 0.69/0.75 c ---[ 80]---> BDD-cost: 12 0.69/0.75 c ---[ 79]---> BDD-cost: 17 0.69/0.75 c ---[ 78]---> BDD-cost: 20 0.69/0.75 c ---[ 77]---> BDD-cost: 12 0.69/0.75 c ---[ 76]---> BDD-cost: 19 0.69/0.75 c ---[ 75]---> BDD-cost: 17 0.69/0.75 c ---[ 74]---> BDD-cost: 20 0.69/0.75 c ---[ 73]---> BDD-cost: 17 0.69/0.75 c ---[ 72]---> BDD-cost: 17 0.69/0.75 c ---[ 71]---> BDD-cost: 13 0.69/0.75 c ---[ 70]---> BDD-cost: 17 0.69/0.75 c ---[ 69]---> BDD-cost: 13 0.69/0.75 c ---[ 68]---> BDD-cost: 17 0.69/0.75 c ---[ 67]---> BDD-cost: 17 0.69/0.75 c ---[ 66]---> BDD-cost: 15 0.69/0.75 c ---[ 65]---> BDD-cost: 13 0.69/0.75 c ---[ 64]---> BDD-cost: 18 0.69/0.75 c ---[ 63]---> BDD-cost: 17 0.69/0.75 c ---[ 62]---> BDD-cost: 12 0.69/0.75 c ---[ 61]---> BDD-cost: 17 0.69/0.75 c ---[ 60]---> BDD-cost: 17 0.69/0.75 c ---[ 59]---> BDD-cost: 12 0.69/0.75 c ---[ 58]---> BDD-cost: 17 0.69/0.75 c ---[ 57]---> BDD-cost: 17 0.69/0.75 c ---[ 56]---> BDD-cost: 14 0.69/0.75 c ---[ 55]---> BDD-cost: 14 0.69/0.75 c ---[ 54]---> BDD-cost: 19 0.69/0.75 c ---[ 53]---> BDD-cost: 13 0.69/0.75 c ---[ 52]---> BDD-cost: 14 0.69/0.75 c ---[ 51]---> BDD-cost: 13 0.69/0.75 c ---[ 50]---> BDD-cost: 14 0.69/0.75 c ---[ 49]---> BDD-cost: 14 0.69/0.75 c ---[ 48]---> BDD-cost: 14 0.69/0.75 c ---[ 47]---> BDD-cost: 14 0.69/0.75 c ---[ 46]---> BDD-cost: 14 0.69/0.75 c ---[ 45]---> BDD-cost: 12 0.69/0.75 c ---[ 44]---> BDD-cost: 14 0.69/0.75 c ---[ 43]---> BDD-cost: 19 0.69/0.75 c ---[ 42]---> BDD-cost: 14 0.69/0.75 c ---[ 41]---> BDD-cost: 12 0.69/0.75 c ---[ 40]---> BDD-cost: 14 0.69/0.75 c ---[ 39]---> BDD-cost: 14 0.69/0.75 c ---[ 38]---> BDD-cost: 18 0.69/0.75 c ---[ 37]---> BDD-cost: 19 0.69/0.75 c ---[ 36]---> BDD-cost: 13 0.69/0.75 c ---[ 35]---> BDD-cost: 19 0.69/0.75 c ---[ 34]---> BDD-cost: 13 0.69/0.75 c ---[ 33]---> BDD-cost: 19 0.69/0.75 c ---[ 32]---> BDD-cost: 15 0.69/0.75 c ---[ 31]---> BDD-cost: 19 0.69/0.75 c ---[ 30]---> BDD-cost: 15 0.69/0.75 c ---[ 29]---> BDD-cost: 18 0.69/0.75 c ---[ 28]---> BDD-cost: 16 0.69/0.75 c ---[ 27]---> BDD-cost: 12 0.69/0.75 c ---[ 26]---> BDD-cost: 19 0.69/0.75 c ---[ 25]---> BDD-cost: 20 0.69/0.75 c ---[ 24]---> BDD-cost: 12 0.69/0.75 c ---[ 23]---> BDD-cost: 19 0.69/0.75 c ---[ 22]---> BDD-cost: 20 0.69/0.75 c ---[ 21]---> BDD-cost: 18 0.69/0.75 c ---[ 20]---> BDD-cost: 18 0.69/0.75 c ---[ 19]---> BDD-cost: 17 0.69/0.75 c ---[ 18]---> BDD-cost: 13 0.69/0.75 c ---[ 17]---> BDD-cost: 22 0.69/0.75 c ---[ 16]---> BDD-cost: 13 0.69/0.75 c ---[ 15]---> BDD-cost: 19 0.69/0.75 c ---[ 14]---> BDD-cost: 22 0.69/0.75 c ---[ 13]---> BDD-cost: 15 0.69/0.75 c ---[ 12]---> BDD-cost: 18 0.69/0.75 c ---[ 11]---> BDD-cost: 16 0.69/0.75 c ---[ 10]---> BDD-cost: 16 0.69/0.75 c ---[ 9]---> BDD-cost: 12 0.69/0.75 c ---[ 8]---> BDD-cost: 21 0.69/0.75 c ---[ 7]---> BDD-cost: 20 0.69/0.75 c ---[ 6]---> BDD-cost: 12 0.69/0.75 c ---[ 5]---> BDD-cost: 19 0.69/0.75 c ---[ 4]---> BDD-cost: 20 0.69/0.75 c ---[ 3]---> BDD-cost: 18 0.69/0.75 c ---[ 2]---> BDD-cost: 18 0.69/0.75 c ---[ 1]---> BDD-cost: 13 0.69/0.75 c ---[ 0]---> BDD-cost: 18 33.88/33.95 | Eliminated clauses: 0.02 Mb | 33.88/33.95 ============================[ Search Statistics ]============================== 33.88/33.95 | Conflicts | ORIGINAL | LEARNT | Progress | 33.88/33.95 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 33.88/33.95 =============================================================================== 33.88/33.95 | 100 | 15953 88847 305910 | 32577 96 3 | 26.794 % | 33.88/33.95 | 250 | 15953 88847 305910 | 35834 246 3 | 26.794 % | 33.88/33.95 | 475 | 15949 88847 305910 | 39418 470 4 | 26.812 % | 33.88/33.95 | 812 | 15941 88847 305910 | 43360 805 4 | 26.847 % | 33.88/33.95 | 1318 | 15932 88847 305910 | 47696 1309 4 | 26.886 % | 33.88/33.95 | 2077 | 15924 88847 305910 | 52465 2067 4 | 26.921 % | 33.88/33.95 | 3216 | 15922 88847 305910 | 57712 3204 4 | 26.930 % | 33.88/33.95 | 4924 | 15922 88847 305910 | 63483 4912 4 | 26.930 % | 33.88/33.95 | 7486 | 15922 88847 305910 | 69832 7474 5 | 26.930 % | 33.88/33.95 | 11330 | 15922 88847 305910 | 76815 11318 7 | 26.930 % | 33.88/33.95 | 17096 | 15921 88847 305910 | 84496 17083 11 | 26.934 % | 33.88/33.95 | 25745 | 15920 88847 305910 | 92946 25731 13 | 26.939 % | 33.88/33.95 | 38719 | 15918 88847 305910 | 102241 38703 13 | 26.947 % | 33.88/33.95 | 58180 | 15897 88847 305910 | 112465 58155 14 | 27.039 % | 33.88/33.95 | 87372 | 15871 88847 305910 | 123711 87336 16 | 27.153 % | 33.88/33.95 | 131161 | 15858 88847 305910 | 136083 25992 12 | 27.210 % | 33.88/33.95 | 196845 | 15847 88847 305910 | 149691 91663 17 | 27.258 % | 33.88/33.95 | 295371 | 15811 88847 305910 | 164660 61392 13 | 27.416 % | 33.88/33.95 =============================================================================== 33.88/33.95 c [1mFound solution: 44824331[0m 33.88/33.97 c ---[ 0]---> Adder-cost: 13231 maxlim: 25144138 bits: 26/25 47.39/47.49 | Eliminated clauses: 0.02 Mb | 47.39/47.49 ============================[ Search Statistics ]============================== 47.39/47.49 | Conflicts | ORIGINAL | LEARNT | Progress | 47.39/47.49 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 47.39/47.49 =============================================================================== 47.39/47.49 | 370951 | 28966 179878 630528 | 65955 26802 11 | 17.468 % | 47.39/47.49 | 371101 | 28966 179878 630528 | 72550 26952 11 | 17.468 % | 47.39/47.49 | 371326 | 28966 179878 630528 | 79805 27177 11 | 17.468 % | 47.39/47.49 | 371663 | 28966 179878 630528 | 87786 27514 11 | 17.468 % | 47.39/47.49 | 372169 | 28966 179878 630528 | 96565 28020 11 | 17.468 % | 47.39/47.49 | 372928 | 28966 179878 630528 | 106221 28779 11 | 17.468 % | 47.39/47.49 | 374067 | 28966 179878 630528 | 116843 29918 11 | 17.468 % | 47.39/47.49 | 375775 | 28966 179878 630528 | 128528 31625 11 | 17.468 % | 47.39/47.49 | 378337 | 28966 179878 630528 | 141380 34187 12 | 17.468 % | 47.39/47.49 | 382181 | 28966 179878 630528 | 155519 38031 12 | 17.468 % | 47.39/47.49 | 387947 | 28966 179878 630528 | 171070 43797 14 | 17.468 % | 47.39/47.49 | 396596 | 28966 179878 630528 | 188178 52446 13 | 17.468 % | 47.39/47.49 | 409570 | 28966 179878 630528 | 206995 65420 13 | 17.468 % | 47.39/47.49 | 429031 | 28966 179878 630528 | 227695 84881 17 | 17.468 % | 47.39/47.49 | 458223 | 28962 179878 630528 | 250465 114070 17 | 17.479 % | 47.39/47.49 =============================================================================== 47.39/47.49 c [1mFound solution: 44232800[0m 47.49/47.52 c ---[ 0]---> Adder-cost: 0 maxlim: 25735669 bits: 26/25 61.98/62.08 | Eliminated clauses: 0.02 Mb | 61.98/62.08 ============================[ Search Statistics ]============================== 61.98/62.08 | Conflicts | ORIGINAL | LEARNT | Progress | 61.98/62.08 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 61.98/62.08 =============================================================================== 61.98/62.08 | 468227 | 28972 179917 630869 | 65969 25944 9 | 17.498 % | 61.98/62.08 | 468377 | 28972 179917 630869 | 72566 26094 9 | 17.498 % | 61.98/62.08 | 468602 | 28972 179917 630869 | 79823 26319 9 | 17.498 % | 61.98/62.08 | 468939 | 28972 179917 630869 | 87805 26656 9 | 17.498 % | 61.98/62.08 | 469445 | 28972 179917 630869 | 96586 27162 9 | 17.498 % | 61.98/62.08 | 470204 | 28972 179917 630869 | 106244 27921 9 | 17.498 % | 61.98/62.08 | 471343 | 28972 179917 630869 | 116869 29060 9 | 17.498 % | 61.98/62.08 | 473051 | 28972 179917 630869 | 128556 30768 8 | 17.498 % | 61.98/62.08 | 475613 | 28972 179917 630869 | 141411 33330 8 | 17.498 % | 61.98/62.08 | 479457 | 28972 179917 630869 | 155552 37174 8 | 17.498 % | 61.98/62.08 | 485223 | 28972 179917 630869 | 171108 42940 8 | 17.498 % | 61.98/62.08 | 493872 | 28972 179917 630869 | 188218 51589 8 | 17.498 % | 61.98/62.08 | 506846 | 28972 179917 630869 | 207040 64563 9 | 17.498 % | 61.98/62.08 | 526307 | 28949 179917 630869 | 227744 84005 16 | 17.562 % | 61.98/62.08 =============================================================================== 61.98/62.08 c [1mFound solution: 44224624[0m 62.08/62.10 c ---[ 0]---> Adder-cost: 0 maxlim: 25743845 bits: 26/25 67.28/67.39 | Eliminated clauses: 0.02 Mb | 67.28/67.39 ============================[ Search Statistics ]============================== 67.28/67.39 | Conflicts | ORIGINAL | LEARNT | Progress | 67.28/67.39 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 67.28/67.39 =============================================================================== 67.28/67.39 | 547009 | 28941 179668 629994 | 65878 27972 9 | 17.591 % | 67.28/67.39 | 547159 | 28941 179668 629994 | 72466 28122 9 | 17.591 % | 67.28/67.39 | 547384 | 28941 179668 629994 | 79712 28347 9 | 17.591 % | 67.28/67.39 | 547721 | 28941 179668 629994 | 87683 28684 9 | 17.591 % | 67.28/67.39 | 548227 | 28941 179668 629994 | 96452 29190 9 | 17.591 % | 67.28/67.39 | 548986 | 28941 179668 629994 | 106097 29949 9 | 17.591 % | 67.28/67.39 | 550125 | 28941 179668 629994 | 116707 31087 9 | 17.591 % | 67.28/67.39 | 551833 | 28941 179668 629994 | 128378 32795 9 | 17.591 % | 67.38/67.40 | 554395 | 28941 179668 629994 | 141215 35357 9 | 17.591 % | 67.38/67.40 | 558239 | 28940 179668 629994 | 155337 39200 8 | 17.594 % | 67.38/67.40 | 564005 | 28940 179668 629994 | 170871 44966 8 | 17.594 % | 67.38/67.40 =============================================================================== 67.38/67.40 c [1mFound solution: 43803143[0m 67.38/67.42 c ---[ 0]---> Adder-cost: 0 maxlim: 26165326 bits: 26/25 78.28/78.39 | Eliminated clauses: 0.02 Mb | 78.28/78.39 ============================[ Search Statistics ]============================== 78.28/78.39 | Conflicts | ORIGINAL | LEARNT | Progress | 78.28/78.39 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 78.28/78.39 =============================================================================== 78.28/78.39 | 566141 | 28940 179662 629987 | 65876 47102 8 | 17.611 % | 78.28/78.39 | 566291 | 28940 179662 629987 | 72463 47252 8 | 17.611 % | 78.28/78.39 | 566516 | 28940 179662 629987 | 79710 47477 8 | 17.611 % | 78.28/78.39 | 566853 | 28940 179662 629987 | 87681 47814 8 | 17.611 % | 78.28/78.39 | 567359 | 28940 179662 629987 | 96449 48320 8 | 17.611 % | 78.28/78.39 | 568118 | 28940 179662 629987 | 106094 49079 8 | 17.611 % | 78.28/78.39 | 569257 | 28940 179662 629987 | 116703 50218 8 | 17.611 % | 78.28/78.39 | 570965 | 28940 179662 629987 | 128373 51926 8 | 17.611 % | 78.28/78.39 | 573527 | 28940 179662 629987 | 141211 54488 8 | 17.611 % | 78.28/78.39 | 577371 | 28940 179662 629987 | 155332 58332 8 | 17.611 % | 78.28/78.39 | 583137 | 28940 179662 629987 | 170865 64098 9 | 17.611 % | 78.28/78.39 | 591786 | 28940 179662 629987 | 187952 72747 10 | 17.611 % | 78.28/78.39 | 604760 | 28938 179662 629987 | 206747 85715 10 | 17.617 % | 78.28/78.39 | 624221 | 28937 179662 629987 | 227422 105174 10 | 17.620 % | 78.28/78.39 =============================================================================== 78.28/78.39 c [1mFound solution: 43785104[0m 78.38/78.41 c ---[ 0]---> Adder-cost: 0 maxlim: 26183365 bits: 26/25 83.58/83.62 | Eliminated clauses: 0.03 Mb | 83.58/83.62 ============================[ Search Statistics ]============================== 83.58/83.62 | Conflicts | ORIGINAL | LEARNT | Progress | 83.58/83.62 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 83.58/83.62 =============================================================================== 83.58/83.62 | 632420 | 28932 179605 629777 | 65855 32356 11 | 17.636 % | 83.58/83.62 | 632570 | 28932 179605 629777 | 72440 32506 11 | 17.636 % | 83.58/83.62 | 632795 | 28932 179605 629777 | 79684 32731 11 | 17.636 % | 83.58/83.62 | 633132 | 28932 179605 629777 | 87653 33068 11 | 17.636 % | 83.58/83.62 | 633638 | 28932 179605 629777 | 96418 33574 11 | 17.636 % | 83.58/83.62 | 634397 | 28932 179605 629777 | 106060 34333 11 | 17.636 % | 83.58/83.62 | 635536 | 28932 179605 629777 | 116666 35472 11 | 17.636 % | 83.58/83.62 | 637244 | 28932 179605 629777 | 128333 37180 11 | 17.636 % | 83.58/83.62 | 639806 | 28932 179605 629777 | 141166 39742 11 | 17.636 % | 83.58/83.62 | 643650 | 28932 179605 629777 | 155283 43586 10 | 17.636 % | 83.58/83.62 | 649416 | 28932 179605 629777 | 170811 49352 10 | 17.636 % | 83.58/83.62 =============================================================================== 83.58/83.62 c [1mFound solution: 43570604[0m 83.58/83.65 c ---[ 0]---> Adder-cost: 0 maxlim: 26397865 bits: 26/25 91.28/91.40 | Eliminated clauses: 0.03 Mb | 91.28/91.40 ============================[ Search Statistics ]============================== 91.28/91.40 | Conflicts | ORIGINAL | LEARNT | Progress | 91.28/91.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 91.28/91.40 =============================================================================== 91.28/91.40 | 650602 | 28930 179573 629378 | 65843 50538 10 | 17.655 % | 91.28/91.40 | 650752 | 28930 179573 629378 | 72427 50688 10 | 17.655 % | 91.28/91.40 | 650977 | 28930 179573 629378 | 79670 50913 10 | 17.655 % | 91.28/91.40 | 651314 | 28930 179573 629378 | 87637 51250 10 | 17.655 % | 91.28/91.40 | 651820 | 28930 179573 629378 | 96401 51756 10 | 17.655 % | 91.28/91.40 | 652579 | 28930 179573 629378 | 106041 52515 10 | 17.655 % | 91.28/91.40 | 653718 | 28930 179573 629378 | 116645 53654 10 | 17.655 % | 91.28/91.40 | 655426 | 28928 179573 629378 | 128310 55358 10 | 17.661 % | 91.28/91.40 | 657988 | 28928 179573 629378 | 141141 57919 10 | 17.661 % | 91.28/91.40 | 661832 | 28928 179573 629378 | 155255 61763 10 | 17.661 % | 91.28/91.40 | 667598 | 28928 179573 629378 | 170780 67529 10 | 17.661 % | 91.28/91.40 | 676247 | 28928 179573 629378 | 187858 76178 10 | 17.661 % | 91.28/91.40 | 689221 | 28927 179573 629378 | 206644 89149 12 | 17.664 % | 91.28/91.40 =============================================================================== 91.28/91.40 c [1mFound solution: 39194440[0m 91.38/91.43 c ---[ 0]---> Adder-cost: 0 maxlim: 30774029 bits: 26/25 112.18/112.30 | Eliminated clauses: 0.03 Mb | 112.18/112.30 ============================[ Search Statistics ]============================== 112.18/112.30 | Conflicts | ORIGINAL | LEARNT | Progress | 112.18/112.30 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 112.18/112.30 =============================================================================== 112.18/112.30 | 692646 | 28924 179519 629155 | 65823 30676 13 | 17.684 % | 112.18/112.30 | 692796 | 28924 179519 629155 | 72405 30826 13 | 17.684 % | 112.18/112.30 | 693021 | 28924 179519 629155 | 79646 31051 13 | 17.684 % | 112.18/112.30 | 693358 | 28924 179519 629155 | 87611 31388 13 | 17.684 % | 112.18/112.30 | 693864 | 28924 179519 629155 | 96372 31894 13 | 17.684 % | 112.18/112.30 | 694623 | 28924 179519 629155 | 106009 32653 13 | 17.684 % | 112.18/112.30 | 695762 | 28924 179519 629155 | 116610 33792 13 | 17.684 % | 112.18/112.30 | 697470 | 28924 179519 629155 | 128271 35500 12 | 17.684 % | 112.18/112.30 | 700032 | 28924 179519 629155 | 141098 38062 13 | 17.684 % | 112.18/112.30 | 703876 | 28924 179519 629155 | 155208 41906 13 | 17.684 % | 112.18/112.30 | 709642 | 28924 179519 629155 | 170729 47672 13 | 17.684 % | 112.18/112.30 | 718291 | 28924 179519 629155 | 187802 56321 12 | 17.684 % | 112.18/112.30 | 731265 | 28924 179519 629155 | 206582 69295 13 | 17.684 % | 112.18/112.30 | 750726 | 28924 179519 629155 | 227241 88756 12 | 17.684 % | 112.18/112.30 | 779918 | 28924 179519 629155 | 249965 117948 15 | 17.684 % | 112.18/112.30 | 823707 | 28923 179519 629155 | 274961 161734 18 | 17.687 % | 112.18/112.30 =============================================================================== 112.18/112.30 c [1mFound solution: 29827397[0m 112.28/112.33 c ---[ 0]---> Adder-cost: 2 maxlim: 40141072 bits: 27/26 192.57/192.66 | Eliminated clauses: 0.03 Mb | 192.57/192.66 ============================[ Search Statistics ]============================== 192.57/192.66 | Conflicts | ORIGINAL | LEARNT | Progress | 192.57/192.66 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 192.57/192.66 =============================================================================== 192.57/192.66 | 835192 | 28929 179525 629217 | 65825 36729 10 | 17.702 % | 192.57/192.66 | 835342 | 28929 179525 629217 | 72408 36879 10 | 17.702 % | 192.57/192.66 | 835567 | 28929 179525 629217 | 79649 37104 10 | 17.702 % | 192.57/192.66 | 835904 | 28929 179525 629217 | 87614 37441 10 | 17.702 % | 192.57/192.66 | 836410 | 28929 179525 629217 | 96375 37944 10 | 17.702 % | 192.57/192.66 | 837169 | 28929 179525 629217 | 106013 38703 10 | 17.702 % | 192.57/192.66 | 838308 | 28929 179525 629217 | 116614 39842 10 | 17.702 % | 192.57/192.66 | 840016 | 28929 179525 629217 | 128275 41550 10 | 17.702 % | 192.57/192.66 | 842578 | 28929 179525 629217 | 141103 44112 10 | 17.702 % | 192.57/192.66 | 846422 | 28929 179525 629217 | 155213 47956 9 | 17.702 % | 192.57/192.66 | 852188 | 28929 179525 629217 | 170735 53722 11 | 17.702 % | 192.57/192.66 | 860837 | 28929 179525 629217 | 187808 62371 11 | 17.702 % | 192.57/192.66 | 873811 | 28929 179525 629217 | 206589 75345 12 | 17.702 % | 192.57/192.66 | 893272 | 28929 179525 629217 | 227248 94806 12 | 17.702 % | 192.57/192.66 | 922464 | 28929 179525 629217 | 249973 123998 13 | 17.702 % | 192.57/192.66 | 966253 | 28928 179525 629217 | 274970 167785 21 | 17.705 % | 192.57/192.66 | 1031937 | 28927 179525 629217 | 302467 233467 24 | 17.707 % | 192.57/192.66 | 1130463 | 28923 179525 629217 | 332714 61685 17 | 17.718 % | 192.57/192.66 | 1278252 | 28923 179525 629217 | 365986 209474 24 | 17.718 % | 192.57/192.66 =============================================================================== 192.57/192.66 c [1mFound solution: 27745668[0m 192.57/192.69 c ---[ 0]---> Adder-cost: 0 maxlim: 42222801 bits: 27/26 1800.00/1800.30 | Eliminated clauses: 0.03 Mb | 1800.00/1800.30 ============================[ Search Statistics ]============================== 1800.00/1800.30 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.00/1800.30 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.00/1800.30 =============================================================================== 1800.00/1800.30 | 1433171 | 28927 179494 629153 | 65814 42502 12 | 17.732 % | 1800.00/1800.30 | 1433321 | 28927 179494 629153 | 72395 42652 12 | 17.732 % | 1800.00/1800.30 | 1433546 | 28927 179494 629153 | 79635 42877 12 | 17.732 % | 1800.00/1800.30 | 1433883 | 28927 179494 629153 | 87599 43214 12 | 17.732 % | 1800.00/1800.30 | 1434389 | 28927 179494 629153 | 96358 43720 12 | 17.732 % | 1800.00/1800.30 | 1435148 | 28927 179494 629153 | 105994 44479 12 | 17.732 % | 1800.00/1800.30 | 1436287 | 28927 179494 629153 | 116594 45618 12 | 17.732 % | 1800.00/1800.30 | 1437995 | 28927 179494 629153 | 128253 47326 12 | 17.732 % | 1800.00/1800.30 | 1440557 | 28927 179494 629153 | 141079 49888 11 | 17.732 % | 1800.00/1800.30 | 1444401 | 28927 179494 629153 | 155187 53732 11 | 17.732 % | 1800.00/1800.30 | 1450167 | 28927 179494 629153 | 170705 59498 11 | 17.732 % | 1800.00/1800.30 | 1458816 | 28927 179494 629153 | 187776 68147 11 | 17.732 % | 1800.00/1800.30 | 1471790 | 28927 179494 629153 | 206553 81121 11 | 17.732 % | 1800.00/1800.30 | 1491251 | 28927 179494 629153 | 227209 100582 12 | 17.732 % | 1800.00/1800.30 | 1520443 | 28927 179494 629153 | 249930 129774 16 | 17.732 % | 1800.00/1800.30 | 1564232 | 28926 179494 629153 | 274923 173559 19 | 17.735 % | 1800.00/1800.30 | 1629916 | 28926 179494 629153 | 302415 239243 21 | 17.735 % | 1800.00/1800.30 | 1728442 | 28926 179494 629153 | 332657 74115 13 | 17.735 % | 1800.00/1800.30 | 1876231 | 28926 179494 629153 | 365922 221904 26 | 17.735 % | 1800.00/1800.30 | 2097914 | 28926 179494 629153 | 402515 114902 14 | 17.735 % | 1800.00/1800.30 | 2430439 | 28926 179494 629153 | 442766 56550 27 | 17.735 % | 1800.00/1800.30 | 2929227 | 28926 179494 629153 | 487043 157498 17 | 17.735 % | 1800.00/1800.30 | 3677409 | 28925 179494 629153 | 535747 456793 45 | 17.737 % | 1800.00/1800.30 | 4799683 | 28925 179494 629153 | 589322 536989 35 | 17.737 % | 1800.00/1800.30 | 6483094 | 28925 179494 629153 | 648254 516276 102 | 17.737 % | 1800.00/1800.30 | 9008210 | 28925 179494 629153 | 713080 542719 49 | 17.737 % | 1800.00/1800.30 c 1800.00/1800.30 c *** TERMINATED *** 1800.00/1800.30 s SATISFIABLE 1800.00/1800.30 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -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 -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 -x7681 -x7682 -x7793 x7860 -x7871 -x7882 x7893 -x7904 x7915 -x7926 -x7683 -x7694 x7705 -x7716 x7727 x7738 -x7749 -x7760 x7771 x7782 x7794 x7805 x7816 x7827 x7838 x7849 -x7856 -x7857 x7858 -x7859 x7861 -x7862 x7863 -x7864 -x7865 -x7866 x7867 x7868 -x7869 x7870 x7872 x7873 x7874 x7875 x7876 x7877 x7878 x7879 -x7880 x7881 x7883 -x7884 x7885 x7886 -x7887 x7888 x7889 -x7890 x7891 -x7892 -x7894 x7895 -x7896 -x7897 x7898 -x7899 x7900 x7901 -x7902 -x7903 x7905 -x7906 x7907 x7908 x7909 x7910 x7911 -x7912 x7913 x7914 x7916 x7917 -x7918 x7919 -x7920 -x7921 x7922 -x7923 -x7924 -x7925 -x7927 x7928 -x7929 -x7930 x7931 x7932 x7933 -x7934 -x7935 x7936 x7684 x7685 x7686 -x7687 x7688 -x7689 -x7690 x7691 x7692 -x7693 x7695 x7696 -x7697 -x7698 -x7699 x7700 -x7701 -x7702 -x7703 -x7704 x7706 x7707 x7708 x7709 x7710 x7711 x7712 -x7713 x7714 x7715 -x7717 x7718 -x7719 -x7720 x7721 x7722 -x7723 -x7724 x7725 x7726 x7728 x7729 x7730 -x7731 -x7732 -x7733 x7734 x7735 -x7736 x7737 x7739 x7740 x7741 x7742 -x7743 x7744 -x7745 -x7746 -x7747 x7748 -x7750 x7751 x7752 x7753 x7754 -x7755 x7756 -x7757 -x7758 x7759 x7761 x7762 x7763 x7764 x7765 -x7766 x7767 x7768 -x7769 -x7770 x7772 x7773 -x7774 x7775 x7776 -x7777 -x7778 x7779 x7780 x7781 x7783 x7784 -x7785 x7786 -x7787 x7788 x7789 x7790 x7791 x7792 x7795 x7796 x7797 -x7798 x7799 -x7800 -x7801 x7802 x7803 x7804 x7806 -x7807 -x7808 x7809 x7810 -x7811 x7812 x7813 -x7814 -x7815 x7817 x7818 x7819 x7820 x7821 x7822 -x7823 x7824 -x7825 x7826 -x7828 -x7829 x7830 x7831 x7832 x7833 x7834 -x7835 -x7836 x7837 x7839 -x7840 x7841 -x7842 -x7843 -x7844 x7845 -x7846 x7847 x7848 -x7850 x7851 -x7852 x7853 x7854 -x7855
OK 27745668
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-4114477-1466542712/watcher-4114477-1466542712 -o /tmp/evaluation-result-4114477-1466542712/solver-4114477-1466542712 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466515277-21330 --watchdog 1960 minisatp HOME/instance-4114477-1466542712.opb pid=25902 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.24 2.14 2.10 3/176 25905 /proc/meminfo: memFree=31097596/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=7308 CPUtime=0 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 56316828 7483392 390 33554432000 4194304 5646918 140736805896352 140735926993480 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 1827 390 84 355 0 1468 0 [startup+0.100157 s] /proc/loadavg: 2.24 2.14 2.10 3/176 25905 /proc/meminfo: memFree=31097596/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=10392 CPUtime=0.09 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 1242 0 0 0 9 0 0 0 20 0 1 0 56316828 10641408 1119 33554432000 4194304 5646918 140736805896352 140735926993480 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 2598 1123 97 355 0 2239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10392 [startup+0.200299 s] /proc/loadavg: 2.24 2.14 2.10 3/176 25905 /proc/meminfo: memFree=31097596/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=12656 CPUtime=0.19 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 1842 0 0 0 19 0 0 0 20 0 1 0 56316828 12959744 1719 33554432000 4194304 5646918 140736805896352 140735926993480 4464663 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 3164 1719 105 355 0 2805 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12656 [startup+0.300267 s] /proc/loadavg: 2.24 2.14 2.10 3/176 25905 /proc/meminfo: memFree=31097596/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=12700 CPUtime=0.29 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 1951 0 0 0 29 0 0 0 20 0 1 0 56316828 13004800 1765 33554432000 4194304 5646918 140736805896352 140735926993480 4823297 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 3175 1765 152 355 0 2816 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12700 [startup+0.700228 s] /proc/loadavg: 2.24 2.14 2.10 3/176 25905 /proc/meminfo: memFree=31097596/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=13832 CPUtime=0.69 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 2319 0 0 0 69 0 0 0 20 0 1 0 56316828 14163968 2050 33554432000 4194304 5646918 140736805896352 140736805895016 4824670 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 3458 2050 152 355 0 3099 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13832 [startup+1.50029 s] /proc/loadavg: 2.24 2.14 2.10 3/177 25906 /proc/meminfo: memFree=31080684/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=19876 CPUtime=1.49 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 4212 0 0 0 149 0 0 0 20 0 1 0 56316828 20353024 4323 33554432000 4194304 5646918 140736805896352 140736805894488 4396858 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 4969 4323 183 355 0 4610 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19876 [startup+3.10028 s] /proc/loadavg: 2.24 2.14 2.10 3/177 25906 /proc/meminfo: memFree=31079692/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=21280 CPUtime=3.09 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 4678 0 0 0 309 0 0 0 20 0 1 0 56316828 21790720 4784 33554432000 4194304 5646918 140736805896352 140736805894488 4388951 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 5320 4784 183 355 0 4961 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21280 [startup+6.30028 s] /proc/loadavg: 2.22 2.14 2.10 3/177 25906 /proc/meminfo: memFree=31074628/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=26444 CPUtime=6.29 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 6000 0 0 0 628 1 0 0 20 0 1 0 56316828 27078656 6064 33554432000 4194304 5646918 140736805896352 140736805894488 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 6611 6064 183 355 0 6252 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26444 [startup+12.7003 s] /proc/loadavg: 2.20 2.14 2.10 3/177 25906 /proc/meminfo: memFree=31063500/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=27812 CPUtime=12.68 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 7420 0 0 0 1267 1 0 0 20 0 1 0 56316828 28479488 6528 33554432000 4194304 5646918 140736805896352 140736805895064 4396854 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 6953 6528 185 355 0 6594 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27812 [startup+25.5004 s] /proc/loadavg: 2.16 2.13 2.09 3/177 25906 /proc/meminfo: memFree=31067672/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=31484 CPUtime=25.49 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 11434 0 0 0 2546 3 0 0 20 0 1 0 56316828 32239616 7420 33554432000 4194304 5646918 140736805896352 140736805895064 4403497 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 7871 7420 185 355 0 7512 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31484 [startup+51.1004 s] /proc/loadavg: 2.16 2.14 2.09 3/177 25906 /proc/meminfo: memFree=31006136/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=100524 CPUtime=51.09 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 17718 0 0 0 5104 5 0 0 20 0 1 0 56316828 102936576 22662 33554432000 4194304 5646918 140736805896352 140736805894664 4402827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 25131 22662 187 355 0 24772 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 100524 [startup+102.3 s] /proc/loadavg: 2.13 2.13 2.09 3/178 25910 /proc/meminfo: memFree=31004084/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=100524 CPUtime=102.28 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 17959 0 0 0 10223 5 0 0 20 0 1 0 56316828 102936576 22903 33554432000 4194304 5646918 140736805896352 140736805894664 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 25131 22903 189 355 0 24772 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 100524 [startup+162.3 s] /proc/loadavg: 2.22 2.15 2.10 3/178 25933 /proc/meminfo: memFree=30982780/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=131772 CPUtime=162.26 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 19003 0 0 0 16220 6 0 0 20 0 1 0 56316828 134934528 27663 33554432000 4194304 5646918 140736805896352 140736805895064 4389292 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 32943 27663 189 355 0 32584 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 131772 [startup+222.307 s] /proc/loadavg: 2.11 2.13 2.09 3/177 25935 /proc/meminfo: memFree=30956320/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=144556 CPUtime=222.26 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 19956 0 0 0 22219 7 0 0 20 0 1 0 56316828 148025344 34885 33554432000 4194304 5646918 140736805896352 140736805894600 4388996 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 36139 34885 189 355 0 35780 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 144556 [startup+282.3 s] /proc/loadavg: 2.13 2.14 2.09 3/177 25936 /proc/meminfo: memFree=30950412/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=144556 CPUtime=282.24 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 21487 0 0 0 28215 9 0 0 20 0 1 0 56316828 148025344 35221 33554432000 4194304 5646918 140736805896352 140736805895064 4402661 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 36139 35221 189 355 0 35780 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 144556 [startup+342.3 s] /proc/loadavg: 2.21 2.15 2.10 3/177 25937 /proc/meminfo: memFree=30949596/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=145364 CPUtime=342.23 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 22379 0 0 0 34212 11 0 0 20 0 1 0 56316828 148852736 35301 33554432000 4194304 5646918 140736805896352 140736805895064 4396854 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 36341 35301 189 355 0 35982 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 145364 [startup+402.3 s] /proc/loadavg: 2.23 2.17 2.10 3/177 25938 /proc/meminfo: memFree=30947488/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=145364 CPUtime=402.21 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 23303 0 0 0 40208 13 0 0 20 0 1 0 56316828 148852736 35330 33554432000 4194304 5646918 140736805896352 140736805895064 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 36341 35330 189 355 0 35982 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 145364 [startup+462.3 s] /proc/loadavg: 2.08 2.14 2.09 3/177 25939 /proc/meminfo: memFree=30945888/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=145364 CPUtime=462.21 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 24243 0 0 0 46205 16 0 0 20 0 1 0 56316828 148852736 35374 33554432000 4194304 5646918 140736805896352 140736805895064 4402844 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 36341 35374 189 355 0 35982 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 145364 [startup+522.3 s] /proc/loadavg: 2.11 2.13 2.09 3/176 25940 /proc/meminfo: memFree=30824308/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=275592 CPUtime=522.2 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 25488 0 0 0 52201 19 0 0 20 0 1 0 56316828 282206208 65742 33554432000 4194304 5646918 140736805896352 140736805895048 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 68898 65742 189 355 0 68539 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 275592 [startup+582.3 s] /proc/loadavg: 2.11 2.12 2.09 3/177 25942 /proc/meminfo: memFree=30832304/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=275592 CPUtime=582.19 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 27269 0 0 0 58197 22 0 0 20 0 1 0 56316828 282206208 63734 33554432000 4194304 5646918 140736805896352 140736805895048 4396812 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 68898 63734 189 355 0 68539 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 275592 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.10 2.07 2.08 3/177 25952 /proc/meminfo: memFree=30732580/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=423320 CPUtime=942.14 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 36860 0 0 0 94169 45 0 0 20 0 1 0 56316828 433479680 85532 33554432000 4194304 5646918 140736805896352 140736805895048 4402774 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 105830 85532 189 355 0 105471 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 423320 [startup+1002.3 s] /proc/loadavg: 2.09 2.07 2.08 3/177 25953 /proc/meminfo: memFree=30803676/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=305160 CPUtime=1002.13 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 39232 0 0 0 100163 50 0 0 20 0 1 0 56316828 312483840 67743 33554432000 4194304 5646918 140736805896352 140736805895048 4396923 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 76290 67743 189 355 0 75931 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 305160 [startup+1062.3 s] /proc/loadavg: 2.10 2.07 2.08 4/178 26068 /proc/meminfo: memFree=31271188/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=225020 CPUtime=1062.12 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 40137 0 0 0 106159 53 0 0 20 0 1 0 56316828 230420480 55152 33554432000 4194304 5646918 140736805896352 140736805895064 4403079 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 56255 55152 189 355 0 55896 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 225020 [startup+1122.3 s] /proc/loadavg: 2.11 2.07 2.07 4/177 26069 /proc/meminfo: memFree=31170496/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=305160 CPUtime=1122.11 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 41039 0 0 0 112157 54 0 0 20 0 1 0 56316828 312483840 72992 33554432000 4194304 5646918 140736805896352 140736805895048 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 76290 72992 189 355 0 75931 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 305160 [startup+1182.3 s] /proc/loadavg: 2.04 2.05 2.07 4/177 26071 /proc/meminfo: memFree=31173660/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=274340 CPUtime=1182.1 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 41651 0 0 0 118154 56 0 0 20 0 1 0 56316828 280924160 64733 33554432000 4194304 5646918 140736805896352 140736805894648 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 68585 64733 189 355 0 68226 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 274340 [startup+1242.3 s] /proc/loadavg: 2.01 2.04 2.06 4/177 26072 /proc/meminfo: memFree=31054456/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=436636 CPUtime=1242.1 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 43115 0 0 0 124151 59 0 0 20 0 1 0 56316828 447115264 94285 33554432000 4194304 5646918 140736805896352 140736805895048 4402818 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 109159 94285 189 355 0 108800 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 436636 [startup+1302.3 s] /proc/loadavg: 2.04 2.05 2.06 4/178 26076 /proc/meminfo: memFree=31130736/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=305160 CPUtime=1302.08 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 44282 0 0 0 130146 62 0 0 20 0 1 0 56316828 312483840 75272 33554432000 4194304 5646918 140736805896352 140736805895048 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 76290 75272 189 355 0 75931 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 305160 [startup+1362.3 s] /proc/loadavg: 2.09 2.05 2.06 4/177 26077 /proc/meminfo: memFree=31199068/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=225020 CPUtime=1362.07 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 44702 0 0 0 136144 63 0 0 20 0 1 0 56316828 230420480 55244 33554432000 4194304 5646918 140736805896352 140736805895064 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 56255 55244 189 355 0 55896 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 225020 [startup+1422.3 s] /proc/loadavg: 2.03 2.04 2.06 4/177 26078 /proc/meminfo: memFree=31104552/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=385996 CPUtime=1422.07 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 46495 0 0 0 142140 67 0 0 20 0 1 0 56316828 395259904 78968 33554432000 4194304 5646918 140736805896352 140736805895048 4403173 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 96499 78968 189 355 0 96140 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 385996 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.05 4/177 26080 /proc/meminfo: memFree=31186328/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=255768 CPUtime=1482.05 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 46513 0 0 0 148137 68 0 0 20 0 1 0 56316828 261906432 58359 33554432000 4194304 5646918 140736805896352 140736805895064 4403057 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 63942 58359 189 355 0 63583 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 255768 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.04 4/177 26081 /proc/meminfo: memFree=31032792/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=385996 CPUtime=1542.05 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 47736 0 0 0 154135 70 0 0 20 0 1 0 56316828 395259904 88184 33554432000 4194304 5646918 140736805896352 140736805895048 4396933 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 96499 88184 189 355 0 96140 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 385996 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.04 4/177 26082 /proc/meminfo: memFree=31049968/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=467384 CPUtime=1602.03 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 50005 0 0 0 160129 74 0 0 20 0 1 0 56316828 478601216 92280 33554432000 4194304 5646918 140736805896352 140736805895048 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 116846 92280 189 355 0 116487 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 467384 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.03 4/177 26083 /proc/meminfo: memFree=30965404/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=599644 CPUtime=1662.02 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 50401 0 0 0 166125 77 0 0 20 0 1 0 56316828 614035456 111573 33554432000 4194304 5646918 140736805896352 140736805895048 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 149911 111573 189 355 0 149552 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 599644 [startup+1722.3 s] /proc/loadavg: 2.06 2.02 2.03 4/176 26084 /proc/meminfo: memFree=30956084/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=467384 CPUtime=1722.01 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 52305 0 0 0 172118 83 0 0 20 0 1 0 56316828 478601216 114296 33554432000 4194304 5646918 140736805896352 140736805895048 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 116846 114296 189 355 0 116487 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 467384 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.03 4/177 26087 /proc/meminfo: memFree=30846972/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=599644 CPUtime=1782.01 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 52807 0 0 0 178115 86 0 0 20 0 1 0 56316828 614035456 132681 33554432000 4194304 5646918 140736805896352 140736805895048 4402761 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 149911 132681 189 355 0 149552 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 599644 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.01 2.02 2.02 4/177 26087 /proc/meminfo: memFree=31013540/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=423040 CPUtime=1800 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 55060 0 0 0 179911 89 0 0 20 0 1 0 56316828 433192960 90744 33554432000 4194304 5646918 140736805896352 140736805895048 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 105760 90744 189 355 0 105401 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 423040 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 25905 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.01 2.02 2.02 4/177 26087 /proc/meminfo: memFree=31013540/32872528 swapFree=534252/566956 [pid=25905] ppid=25902 vsize=423040 CPUtime=1800 cores=1,3,5,7 /proc/25905/stat : 25905 (minisatp) R 25902 25905 21313 0 -1 4202496 55060 0 0 0 179911 89 0 0 20 0 1 0 56316828 433192960 90744 33554432000 4194304 5646918 140736805896352 140736805895048 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/25905/statm: 105760 90744 189 355 0 105401 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 423040 Child status: 0 Real time (s): 1800.31 CPU time (s): 1800.02 CPU user time (s): 1799.12 CPU system time (s): 0.903862 CPU usage (%): 99.984 Max. virtual memory (cumulated for all children) (KiB): 606336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.12 system time used= 0.903862 maximum resident set size= 536452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55060 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= 29 involuntary context switches= 1980 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.41233 second user time and 7.17191 second system time The end
Begin job on node138 at 2016-06-21 22:58:32 IDJOB=4114477 IDBENCH=2293 IDSOLVER=2555 FILE ID=node138/4114477-1466542712 RUNJOBID= node138-1466515277-21330 PBS_JOBID= 19942888 Free space on /tmp= 71716 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-ran16x16.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114477-1466542712/watcher-4114477-1466542712 -o /tmp/evaluation-result-4114477-1466542712/solver-4114477-1466542712 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466515277-21330 --watchdog 1960 minisatp HOME/instance-4114477-1466542712.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 334ff12347ae763156f4e4389dfec521 RANDOM SEED=1736935347 node138.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.395 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 : 5332.79 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.395 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.395 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.55 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.395 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.395 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.395 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.395 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.54 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.395 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: 31097924 kB Buffers: 19060 kB Cached: 73764 kB SwapCached: 2544 kB Active: 444136 kB Inactive: 58476 kB Active(anon): 409868 kB Inactive(anon): 2152 kB Active(file): 34268 kB Inactive(file): 56324 kB Unevictable: 566956 kB Mlocked: 534252 kB SwapTotal: 67108856 kB SwapFree: 67099020 kB Dirty: 3916 kB Writeback: 12 kB AnonPages: 975744 kB Mapped: 9464 kB Shmem: 0 kB Slab: 573108 kB SReclaimable: 16884 kB SUnreclaim: 556224 kB KernelStack: 1456 kB PageTables: 5932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1114248 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 405504 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-4114477-1466542712.opb Free space on /tmp at the end= 71720 MiB End job on node138 at 2016-06-21 23:28:32