| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | SAT (TO) | 11370769 | 1800.01 | 1800.3 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran17x17.opb |
| MD5SUM | 041d40ba01d992f8c3bb358df2c9aea9 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2026924 |
| Best CPU time to get the best result obtained on this benchmark | 1800.82 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2191362 |
| Optimality of the best value was proved | NO |
| Number of variables | 8959 |
| Total number of constraints | 323 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 323 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 510 |
| Number of terms in the objective function | 8959 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1612776422946 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1612776422946 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.09/0.19 c Converting 357 PB-constraints to clauses... 0.09/0.20 c -- Unit propagations: (none) 0.19/0.23 c -- Detecting intervals from adjacent constraints: ################################## 0.19/0.23 c -- Clauses(.)/Splits(s): (none) 0.19/0.23 c ---[ 355]---> Adder-cost: 434 maxlim: 225263 bits: 18/18 0.19/0.25 c ---[ 353]---> Adder-cost: 406 maxlim: 124911 bits: 17/17 0.19/0.26 c ---[ 351]---> Adder-cost: 434 maxlim: 223215 bits: 18/18 0.19/0.28 c ---[ 349]---> Adder-cost: 434 maxlim: 227311 bits: 18/18 0.29/0.30 c ---[ 347]---> Adder-cost: 456 maxlim: 372719 bits: 19/19 0.29/0.32 c ---[ 345]---> Adder-cost: 434 maxlim: 228335 bits: 18/18 0.29/0.33 c ---[ 343]---> Adder-cost: 434 maxlim: 229359 bits: 18/18 0.29/0.35 c ---[ 341]---> Adder-cost: 456 maxlim: 372719 bits: 19/19 0.29/0.37 c ---[ 339]---> Adder-cost: 458 maxlim: 431087 bits: 19/19 0.29/0.39 c ---[ 337]---> Adder-cost: 456 maxlim: 377839 bits: 19/19 0.39/0.41 c ---[ 335]---> Adder-cost: 456 maxlim: 375791 bits: 19/19 0.39/0.43 c ---[ 333]---> Adder-cost: 434 maxlim: 222191 bits: 18/18 0.39/0.45 c ---[ 331]---> Adder-cost: 458 maxlim: 434159 bits: 19/19 0.39/0.47 c ---[ 329]---> Adder-cost: 456 maxlim: 373743 bits: 19/19 0.39/0.49 c ---[ 327]---> Adder-cost: 456 maxlim: 381935 bits: 19/19 0.49/0.51 c ---[ 325]---> Adder-cost: 406 maxlim: 125935 bits: 17/17 0.49/0.52 c ---[ 323]---> Adder-cost: 406 maxlim: 126959 bits: 17/17 0.49/0.54 c ---[ 321]---> Adder-cost: 454 maxlim: 367599 bits: 19/19 0.49/0.56 c ---[ 319]---> Adder-cost: 416 maxlim: 133103 bits: 18/18 0.49/0.57 c ---[ 317]---> Adder-cost: 438 maxlim: 245743 bits: 18/18 0.49/0.59 c ---[ 315]---> Adder-cost: 416 maxlim: 135151 bits: 18/18 0.59/0.61 c ---[ 313]---> Adder-cost: 438 maxlim: 238575 bits: 18/18 0.59/0.63 c ---[ 311]---> Adder-cost: 454 maxlim: 368623 bits: 19/19 0.59/0.65 c ---[ 309]---> Adder-cost: 438 maxlim: 241647 bits: 18/18 0.59/0.66 c ---[ 307]---> Adder-cost: 458 maxlim: 416751 bits: 19/19 0.59/0.68 c ---[ 305]---> Adder-cost: 454 maxlim: 365551 bits: 19/19 0.69/0.70 c ---[ 303]---> Adder-cost: 384 maxlim: 66543 bits: 17/17 0.69/0.72 c ---[ 301]---> Adder-cost: 454 maxlim: 364527 bits: 19/19 0.69/0.74 c ---[ 299]---> Adder-cost: 454 maxlim: 358383 bits: 19/19 0.69/0.76 c ---[ 297]---> Adder-cost: 454 maxlim: 361455 bits: 19/19 0.69/0.78 c ---[ 295]---> Adder-cost: 458 maxlim: 413679 bits: 19/19 0.79/0.80 c ---[ 293]---> Adder-cost: 454 maxlim: 354287 bits: 19/19 0.79/0.82 c ---[ 291]---> Adder-cost: 384 maxlim: 66543 bits: 17/17 0.79/0.83 c ---[ 289]---> Adder-cost: 454 maxlim: 355311 bits: 19/19 0.79/0.85 c ---[ 288]---> BDD-cost: 16 0.79/0.85 c ---[ 287]---> BDD-cost: 15 0.79/0.85 c ---[ 286]---> BDD-cost: 15 0.79/0.85 c ---[ 285]---> BDD-cost: 17 0.79/0.85 c ---[ 284]---> BDD-cost: 20 0.79/0.85 c ---[ 283]---> BDD-cost: 20 0.79/0.85 c ---[ 282]---> BDD-cost: 15 0.79/0.85 c ---[ 281]---> BDD-cost: 14 0.79/0.85 c ---[ 280]---> BDD-cost: 18 0.79/0.85 c ---[ 279]---> BDD-cost: 19 0.79/0.85 c ---[ 278]---> BDD-cost: 20 0.79/0.85 c ---[ 277]---> BDD-cost: 20 0.79/0.85 c ---[ 276]---> BDD-cost: 20 0.79/0.85 c ---[ 275]---> BDD-cost: 14 0.79/0.85 c ---[ 274]---> BDD-cost: 14 0.79/0.85 c ---[ 273]---> BDD-cost: 20 0.79/0.85 c ---[ 272]---> BDD-cost: 15 0.79/0.85 c ---[ 271]---> BDD-cost: 14 0.79/0.85 c ---[ 270]---> BDD-cost: 18 0.79/0.85 c ---[ 269]---> BDD-cost: 16 0.79/0.85 c ---[ 268]---> BDD-cost: 16 0.79/0.85 c ---[ 267]---> BDD-cost: 20 0.79/0.85 c ---[ 266]---> BDD-cost: 20 0.79/0.85 c ---[ 265]---> BDD-cost: 20 0.79/0.85 c ---[ 264]---> BDD-cost: 16 0.79/0.85 c ---[ 263]---> BDD-cost: 15 0.79/0.85 c ---[ 262]---> BDD-cost: 14 0.79/0.85 c ---[ 261]---> BDD-cost: 20 0.79/0.85 c ---[ 260]---> BDD-cost: 20 0.79/0.85 c ---[ 259]---> BDD-cost: 20 0.79/0.85 c ---[ 258]---> BDD-cost: 20 0.79/0.85 c ---[ 257]---> BDD-cost: 20 0.79/0.85 c ---[ 256]---> BDD-cost: 14 0.79/0.85 c ---[ 255]---> BDD-cost: 20 0.79/0.85 c ---[ 254]---> BDD-cost: 15 0.79/0.85 c ---[ 253]---> BDD-cost: 16 0.79/0.85 c ---[ 252]---> BDD-cost: 14 0.79/0.85 c ---[ 251]---> BDD-cost: 18 0.79/0.85 c ---[ 250]---> BDD-cost: 16 0.79/0.85 c ---[ 249]---> BDD-cost: 16 0.79/0.85 c ---[ 248]---> BDD-cost: 20 0.79/0.85 c ---[ 247]---> BDD-cost: 20 0.79/0.85 c ---[ 246]---> BDD-cost: 16 0.79/0.85 c ---[ 245]---> BDD-cost: 16 0.79/0.85 c ---[ 244]---> BDD-cost: 14 0.79/0.85 c ---[ 243]---> BDD-cost: 16 0.79/0.85 c ---[ 242]---> BDD-cost: 16 0.79/0.85 c ---[ 241]---> BDD-cost: 16 0.79/0.85 c ---[ 240]---> BDD-cost: 16 0.79/0.85 c ---[ 239]---> BDD-cost: 16 0.79/0.85 c ---[ 238]---> BDD-cost: 16 0.79/0.85 c ---[ 237]---> BDD-cost: 14 0.79/0.85 c ---[ 236]---> BDD-cost: 16 0.79/0.85 c ---[ 235]---> BDD-cost: 16 0.79/0.85 c ---[ 234]---> BDD-cost: 14 0.79/0.85 c ---[ 233]---> BDD-cost: 16 0.79/0.85 c ---[ 232]---> BDD-cost: 16 0.79/0.85 c ---[ 231]---> BDD-cost: 16 0.79/0.85 c ---[ 230]---> BDD-cost: 16 0.79/0.85 c ---[ 229]---> BDD-cost: 16 0.79/0.85 c ---[ 228]---> BDD-cost: 16 0.79/0.86 c ---[ 227]---> BDD-cost: 14 0.79/0.86 c ---[ 226]---> BDD-cost: 14 0.79/0.86 c ---[ 225]---> BDD-cost: 14 0.79/0.86 c ---[ 224]---> BDD-cost: 14 0.79/0.86 c ---[ 223]---> BDD-cost: 14 0.79/0.86 c ---[ 222]---> BDD-cost: 14 0.79/0.86 c ---[ 221]---> BDD-cost: 14 0.79/0.86 c ---[ 220]---> BDD-cost: 16 0.79/0.86 c ---[ 219]---> BDD-cost: 14 0.79/0.86 c ---[ 218]---> BDD-cost: 14 0.79/0.86 c ---[ 217]---> BDD-cost: 14 0.79/0.86 c ---[ 216]---> BDD-cost: 14 0.79/0.86 c ---[ 215]---> BDD-cost: 14 0.79/0.86 c ---[ 214]---> BDD-cost: 14 0.79/0.86 c ---[ 213]---> BDD-cost: 14 0.79/0.86 c ---[ 212]---> BDD-cost: 14 0.79/0.86 c ---[ 211]---> BDD-cost: 14 0.79/0.86 c ---[ 210]---> BDD-cost: 14 0.79/0.86 c ---[ 209]---> BDD-cost: 15 0.79/0.86 c ---[ 208]---> BDD-cost: 17 0.79/0.86 c ---[ 207]---> BDD-cost: 15 0.79/0.86 c ---[ 206]---> BDD-cost: 14 0.79/0.86 c ---[ 205]---> BDD-cost: 17 0.79/0.86 c ---[ 204]---> BDD-cost: 17 0.79/0.86 c ---[ 203]---> BDD-cost: 17 0.79/0.86 c ---[ 202]---> BDD-cost: 17 0.79/0.86 c ---[ 201]---> BDD-cost: 17 0.79/0.86 c ---[ 200]---> BDD-cost: 14 0.79/0.86 c ---[ 199]---> BDD-cost: 17 0.79/0.86 c ---[ 198]---> BDD-cost: 15 0.79/0.86 c ---[ 197]---> BDD-cost: 15 0.79/0.86 c ---[ 196]---> BDD-cost: 14 0.79/0.86 c ---[ 195]---> BDD-cost: 17 0.79/0.86 c ---[ 194]---> BDD-cost: 17 0.79/0.86 c ---[ 193]---> BDD-cost: 16 0.79/0.86 c ---[ 192]---> BDD-cost: 17 0.79/0.86 c ---[ 191]---> BDD-cost: 17 0.79/0.86 c ---[ 190]---> BDD-cost: 17 0.79/0.86 c ---[ 189]---> BDD-cost: 15 0.79/0.86 c ---[ 188]---> BDD-cost: 14 0.79/0.86 c ---[ 187]---> BDD-cost: 14 0.79/0.86 c ---[ 186]---> BDD-cost: 17 0.79/0.86 c ---[ 185]---> BDD-cost: 17 0.79/0.86 c ---[ 184]---> BDD-cost: 17 0.79/0.86 c ---[ 183]---> BDD-cost: 17 0.79/0.86 c ---[ 182]---> BDD-cost: 17 0.79/0.86 c ---[ 181]---> BDD-cost: 14 0.79/0.86 c ---[ 180]---> BDD-cost: 17 0.79/0.86 c ---[ 179]---> BDD-cost: 15 0.79/0.86 c ---[ 178]---> BDD-cost: 14 0.79/0.86 c ---[ 177]---> BDD-cost: 17 0.79/0.86 c ---[ 176]---> BDD-cost: 14 0.79/0.86 c ---[ 175]---> BDD-cost: 15 0.79/0.86 c ---[ 174]---> BDD-cost: 17 0.79/0.86 c ---[ 173]---> BDD-cost: 17 0.79/0.86 c ---[ 172]---> BDD-cost: 17 0.79/0.86 c ---[ 171]---> BDD-cost: 17 0.79/0.86 c ---[ 170]---> BDD-cost: 20 0.79/0.86 c ---[ 169]---> BDD-cost: 15 0.79/0.86 c ---[ 168]---> BDD-cost: 14 0.79/0.86 c ---[ 167]---> BDD-cost: 18 0.79/0.86 c ---[ 166]---> BDD-cost: 19 0.79/0.86 c ---[ 165]---> BDD-cost: 20 0.79/0.86 c ---[ 164]---> BDD-cost: 15 0.79/0.86 c ---[ 163]---> BDD-cost: 18 0.79/0.86 c ---[ 162]---> BDD-cost: 18 0.79/0.86 c ---[ 161]---> BDD-cost: 14 0.79/0.86 c ---[ 160]---> BDD-cost: 18 0.79/0.86 c ---[ 159]---> BDD-cost: 15 0.79/0.86 c ---[ 158]---> BDD-cost: 14 0.79/0.86 c ---[ 157]---> BDD-cost: 18 0.79/0.86 c ---[ 156]---> BDD-cost: 16 0.79/0.86 c ---[ 155]---> BDD-cost: 16 0.79/0.86 c ---[ 154]---> BDD-cost: 18 0.79/0.86 c ---[ 153]---> BDD-cost: 15 0.79/0.86 c ---[ 152]---> BDD-cost: 20 0.79/0.86 c ---[ 151]---> BDD-cost: 18 0.79/0.86 c ---[ 150]---> BDD-cost: 15 0.79/0.86 c ---[ 149]---> BDD-cost: 14 0.79/0.86 c ---[ 148]---> BDD-cost: 18 0.79/0.86 c ---[ 147]---> BDD-cost: 18 0.79/0.86 c ---[ 146]---> BDD-cost: 18 0.79/0.86 c ---[ 145]---> BDD-cost: 18 0.79/0.86 c ---[ 144]---> BDD-cost: 18 0.79/0.86 c ---[ 143]---> BDD-cost: 14 0.79/0.86 c ---[ 142]---> BDD-cost: 15 0.79/0.86 c ---[ 141]---> BDD-cost: 18 0.79/0.86 c ---[ 140]---> BDD-cost: 15 0.79/0.86 c ---[ 139]---> BDD-cost: 14 0.79/0.86 c ---[ 138]---> BDD-cost: 18 0.79/0.86 c ---[ 137]---> BDD-cost: 18 0.79/0.86 c ---[ 136]---> BDD-cost: 18 0.79/0.86 c ---[ 135]---> BDD-cost: 18 0.79/0.86 c ---[ 134]---> BDD-cost: 18 0.79/0.86 c ---[ 133]---> BDD-cost: 15 0.79/0.86 c ---[ 132]---> BDD-cost: 15 0.79/0.86 c ---[ 131]---> BDD-cost: 15 0.79/0.86 c ---[ 130]---> BDD-cost: 14 0.79/0.86 c ---[ 129]---> BDD-cost: 15 0.79/0.86 c ---[ 128]---> BDD-cost: 15 0.79/0.86 c ---[ 127]---> BDD-cost: 15 0.79/0.86 c ---[ 126]---> BDD-cost: 15 0.79/0.86 c ---[ 125]---> BDD-cost: 15 0.79/0.87 c ---[ 124]---> BDD-cost: 14 0.79/0.87 c ---[ 123]---> BDD-cost: 15 0.79/0.87 c ---[ 122]---> BDD-cost: 15 0.79/0.87 c ---[ 121]---> BDD-cost: 14 0.79/0.87 c ---[ 120]---> BDD-cost: 14 0.79/0.87 c ---[ 119]---> BDD-cost: 15 0.79/0.87 c ---[ 118]---> BDD-cost: 15 0.79/0.87 c ---[ 117]---> BDD-cost: 15 0.79/0.87 c ---[ 116]---> BDD-cost: 15 0.79/0.87 c ---[ 115]---> BDD-cost: 15 0.79/0.87 c ---[ 114]---> BDD-cost: 20 0.79/0.87 c ---[ 113]---> BDD-cost: 15 0.79/0.87 c ---[ 112]---> BDD-cost: 14 0.79/0.87 c ---[ 111]---> BDD-cost: 18 0.79/0.87 c ---[ 110]---> BDD-cost: 19 0.79/0.87 c ---[ 109]---> BDD-cost: 15 0.79/0.87 c ---[ 108]---> BDD-cost: 20 0.79/0.87 c ---[ 107]---> BDD-cost: 18 0.79/0.87 c ---[ 106]---> BDD-cost: 18 0.79/0.87 c ---[ 105]---> BDD-cost: 14 0.79/0.87 c ---[ 104]---> BDD-cost: 18 0.79/0.87 c ---[ 103]---> BDD-cost: 15 0.79/0.87 c ---[ 102]---> BDD-cost: 14 0.79/0.87 c ---[ 101]---> BDD-cost: 18 0.79/0.87 c ---[ 100]---> BDD-cost: 16 0.79/0.87 c ---[ 99]---> BDD-cost: 16 0.79/0.87 c ---[ 98]---> BDD-cost: 15 0.79/0.87 c ---[ 97]---> BDD-cost: 18 0.79/0.87 c ---[ 96]---> BDD-cost: 20 0.79/0.87 c ---[ 95]---> BDD-cost: 20 0.79/0.87 c ---[ 94]---> BDD-cost: 15 0.79/0.87 c ---[ 93]---> BDD-cost: 14 0.79/0.87 c ---[ 92]---> BDD-cost: 18 0.79/0.87 c ---[ 91]---> BDD-cost: 19 0.79/0.87 c ---[ 90]---> BDD-cost: 20 0.79/0.87 c ---[ 89]---> BDD-cost: 22 0.79/0.87 c ---[ 88]---> BDD-cost: 19 0.79/0.87 c ---[ 87]---> BDD-cost: 14 0.79/0.87 c ---[ 86]---> BDD-cost: 14 0.79/0.87 c ---[ 85]---> BDD-cost: 20 0.79/0.87 c ---[ 84]---> BDD-cost: 15 0.79/0.87 c ---[ 83]---> BDD-cost: 14 0.79/0.87 c ---[ 82]---> BDD-cost: 18 0.79/0.87 c ---[ 81]---> BDD-cost: 16 0.79/0.87 c ---[ 80]---> BDD-cost: 16 0.79/0.87 c ---[ 79]---> BDD-cost: 22 0.79/0.87 c ---[ 78]---> BDD-cost: 20 0.79/0.87 c ---[ 77]---> BDD-cost: 15 0.79/0.87 c ---[ 76]---> BDD-cost: 16 0.79/0.87 c ---[ 75]---> BDD-cost: 15 0.79/0.87 c ---[ 74]---> BDD-cost: 15 0.79/0.87 c ---[ 73]---> BDD-cost: 15 0.79/0.87 c ---[ 72]---> BDD-cost: 15 0.79/0.87 c ---[ 71]---> BDD-cost: 20 0.79/0.87 c ---[ 70]---> BDD-cost: 15 0.79/0.87 c ---[ 69]---> BDD-cost: 14 0.79/0.87 c ---[ 68]---> BDD-cost: 18 0.79/0.87 c ---[ 67]---> BDD-cost: 20 0.79/0.87 c ---[ 66]---> BDD-cost: 20 0.79/0.87 c ---[ 65]---> BDD-cost: 16 0.79/0.87 c ---[ 64]---> BDD-cost: 20 0.79/0.87 c ---[ 63]---> BDD-cost: 20 0.79/0.87 c ---[ 62]---> BDD-cost: 14 0.79/0.87 c ---[ 61]---> BDD-cost: 20 0.79/0.87 c ---[ 60]---> BDD-cost: 15 0.79/0.87 c ---[ 59]---> BDD-cost: 14 0.79/0.87 c ---[ 58]---> BDD-cost: 18 0.79/0.87 c ---[ 57]---> BDD-cost: 16 0.79/0.87 c ---[ 56]---> BDD-cost: 16 0.79/0.87 c ---[ 55]---> BDD-cost: 20 0.79/0.87 c ---[ 54]---> BDD-cost: 16 0.79/0.87 c ---[ 53]---> BDD-cost: 20 0.79/0.87 c ---[ 52]---> BDD-cost: 20 0.79/0.87 c ---[ 51]---> BDD-cost: 15 0.79/0.87 c ---[ 50]---> BDD-cost: 14 0.79/0.87 c ---[ 49]---> BDD-cost: 18 0.79/0.87 c ---[ 48]---> BDD-cost: 20 0.79/0.87 c ---[ 47]---> BDD-cost: 20 0.79/0.87 c ---[ 46]---> BDD-cost: 20 0.79/0.87 c ---[ 45]---> BDD-cost: 20 0.79/0.87 c ---[ 44]---> BDD-cost: 14 0.79/0.87 c ---[ 43]---> BDD-cost: 16 0.79/0.87 c ---[ 42]---> BDD-cost: 20 0.79/0.87 c ---[ 41]---> BDD-cost: 15 0.79/0.87 c ---[ 40]---> BDD-cost: 14 0.79/0.87 c ---[ 39]---> BDD-cost: 18 0.79/0.87 c ---[ 38]---> BDD-cost: 16 0.79/0.87 c ---[ 37]---> BDD-cost: 16 0.79/0.87 c ---[ 36]---> BDD-cost: 20 0.79/0.87 c ---[ 35]---> BDD-cost: 20 0.79/0.87 c ---[ 34]---> BDD-cost: 18 0.79/0.87 c ---[ 33]---> BDD-cost: 15 0.79/0.87 c ---[ 32]---> BDD-cost: 16 0.79/0.87 c ---[ 31]---> BDD-cost: 14 0.79/0.87 c ---[ 30]---> BDD-cost: 18 0.79/0.87 c ---[ 29]---> BDD-cost: 18 0.79/0.87 c ---[ 28]---> BDD-cost: 18 0.79/0.87 c ---[ 27]---> BDD-cost: 18 0.79/0.88 c ---[ 26]---> BDD-cost: 18 0.79/0.88 c ---[ 25]---> BDD-cost: 14 0.79/0.88 c ---[ 24]---> BDD-cost: 18 0.79/0.88 c ---[ 23]---> BDD-cost: 15 0.79/0.88 c ---[ 22]---> BDD-cost: 14 0.79/0.88 c ---[ 21]---> BDD-cost: 14 0.79/0.88 c ---[ 20]---> BDD-cost: 18 0.79/0.88 c ---[ 19]---> BDD-cost: 18 0.79/0.88 c ---[ 18]---> BDD-cost: 16 0.79/0.88 c ---[ 17]---> BDD-cost: 18 0.79/0.88 c ---[ 16]---> BDD-cost: 18 0.79/0.88 c ---[ 15]---> BDD-cost: 20 0.79/0.88 c ---[ 14]---> BDD-cost: 15 0.79/0.88 c ---[ 13]---> BDD-cost: 14 0.79/0.88 c ---[ 12]---> BDD-cost: 18 0.79/0.88 c ---[ 11]---> BDD-cost: 19 0.79/0.88 c ---[ 10]---> BDD-cost: 16 0.79/0.88 c ---[ 9]---> BDD-cost: 20 0.79/0.88 c ---[ 8]---> BDD-cost: 17 0.79/0.88 c ---[ 7]---> BDD-cost: 19 0.79/0.88 c ---[ 6]---> BDD-cost: 14 0.79/0.88 c ---[ 5]---> BDD-cost: 20 0.79/0.88 c ---[ 4]---> BDD-cost: 15 0.79/0.88 c ---[ 3]---> BDD-cost: 14 0.79/0.88 c ---[ 2]---> BDD-cost: 18 0.79/0.88 c ---[ 1]---> BDD-cost: 16 0.79/0.88 c ---[ 0]---> BDD-cost: 16 84.98/85.03 | Eliminated clauses: 0.02 Mb | 84.98/85.03 ============================[ Search Statistics ]============================== 84.98/85.03 | Conflicts | ORIGINAL | LEARNT | Progress | 84.98/85.03 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 84.98/85.03 =============================================================================== 84.98/85.03 | 100 | 18351 102607 354414 | 37622 100 3 | 25.815 % | 84.98/85.03 | 250 | 18335 102607 354414 | 41384 245 3 | 25.877 % | 84.98/85.03 | 475 | 18307 102607 354414 | 45523 463 4 | 25.985 % | 84.98/85.03 | 812 | 18307 102607 354414 | 50075 795 4 | 25.985 % | 84.98/85.03 | 1318 | 18275 102607 354414 | 55083 1295 4 | 26.109 % | 84.98/85.03 | 2077 | 18257 102607 354414 | 60591 2051 4 | 26.178 % | 84.98/85.03 | 3216 | 18233 102607 354414 | 66650 3185 4 | 26.271 % | 84.98/85.03 | 4924 | 18228 102607 354414 | 73315 4891 4 | 26.291 % | 84.98/85.03 | 7486 | 18228 102607 354414 | 80647 7453 4 | 26.291 % | 84.98/85.03 | 11330 | 18224 102607 354414 | 88712 11296 5 | 26.306 % | 84.98/85.03 | 17096 | 18224 102607 354414 | 97583 17062 6 | 26.306 % | 84.98/85.03 | 25745 | 18224 102607 354414 | 107341 25711 8 | 26.306 % | 84.98/85.03 | 38719 | 18220 102607 354414 | 118075 38681 9 | 26.322 % | 84.98/85.03 | 58180 | 18191 102607 354414 | 129883 58131 10 | 26.434 % | 84.98/85.03 | 87372 | 18136 102607 354414 | 142871 87290 13 | 26.647 % | 84.98/85.03 | 131161 | 18117 102607 354414 | 157158 131066 21 | 26.720 % | 84.98/85.03 | 196845 | 18100 102607 354414 | 172874 56974 15 | 26.786 % | 84.98/85.03 | 295371 | 18080 102607 354414 | 190162 155486 30 | 26.864 % | 84.98/85.03 | 443160 | 18044 102607 354414 | 209178 134949 24 | 27.003 % | 84.98/85.03 | 664843 | 18036 102607 354414 | 230096 169302 21 | 27.034 % | 84.98/85.03 =============================================================================== 84.98/85.03 c [1mFound solution: 17841732[0m 84.98/85.06 c ---[ 0]---> Adder-cost: 13958 maxlim: 25911262 bits: 26/25 105.96/106.08 | Eliminated clauses: 0.02 Mb | 105.96/106.08 ============================[ Search Statistics ]============================== 105.96/106.08 | Conflicts | ORIGINAL | LEARNT | Progress | 105.96/106.08 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 105.96/106.08 =============================================================================== 105.96/106.08 | 907707 | 31889 197325 691697 | 72352 30564 11 | 17.712 % | 105.96/106.08 | 907857 | 31889 197325 691697 | 79587 30714 11 | 17.712 % | 105.96/106.08 | 908082 | 31889 197325 691697 | 87546 30939 11 | 17.712 % | 105.96/106.08 | 908419 | 31889 197325 691697 | 96301 31276 11 | 17.712 % | 105.96/106.08 | 908925 | 31889 197325 691697 | 105931 31782 11 | 17.712 % | 105.96/106.08 | 909684 | 31889 197325 691697 | 116524 32541 11 | 17.712 % | 105.96/106.08 | 910823 | 31889 197325 691697 | 128176 33680 11 | 17.712 % | 105.96/106.08 | 912531 | 31889 197325 691697 | 140994 35388 11 | 17.712 % | 105.96/106.08 | 915093 | 31889 197325 691697 | 155094 37950 11 | 17.712 % | 105.96/106.08 | 918937 | 31889 197325 691697 | 170603 41793 11 | 17.712 % | 105.96/106.08 | 924703 | 31889 197325 691697 | 187663 47559 12 | 17.712 % | 105.96/106.08 | 933352 | 31889 197325 691697 | 206430 56208 12 | 17.712 % | 105.96/106.08 | 946326 | 31889 197325 691697 | 227073 69182 11 | 17.712 % | 105.96/106.08 | 965787 | 31889 197325 691697 | 249780 88643 11 | 17.712 % | 105.96/106.08 | 994979 | 31889 197325 691697 | 274758 117835 12 | 17.712 % | 105.96/106.08 | 1038768 | 31887 197325 691697 | 302234 161622 13 | 17.717 % | 105.96/106.08 =============================================================================== 105.96/106.08 c [1mFound solution: 17834308[0m 106.06/106.10 c ---[ 0]---> Adder-cost: 0 maxlim: 25918686 bits: 26/25 122.96/123.03 | Eliminated clauses: 0.03 Mb | 122.96/123.03 ============================[ Search Statistics ]============================== 122.96/123.03 | Conflicts | ORIGINAL | LEARNT | Progress | 122.96/123.03 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 122.96/123.03 =============================================================================== 122.96/123.03 | 1044315 | 31903 197388 692166 | 72375 28864 8 | 17.729 % | 122.96/123.03 | 1044465 | 31894 197388 692166 | 79613 29011 8 | 17.752 % | 122.96/123.03 | 1044690 | 31889 197388 692166 | 87574 29234 8 | 17.764 % | 122.96/123.03 | 1045027 | 31887 197388 692166 | 96331 29569 8 | 17.769 % | 122.96/123.03 | 1045533 | 31883 197388 692166 | 105965 30074 8 | 17.779 % | 122.96/123.03 | 1046292 | 31882 197388 692166 | 116561 30832 8 | 17.782 % | 122.96/123.03 | 1047431 | 31881 197388 692166 | 128217 31964 8 | 17.784 % | 122.96/123.03 | 1049139 | 31881 197388 692166 | 141039 33672 8 | 17.784 % | 122.96/123.03 | 1051701 | 31881 197388 692166 | 155143 36234 8 | 17.784 % | 122.96/123.03 | 1055545 | 31880 197388 692166 | 170657 40076 8 | 17.787 % | 122.96/123.03 | 1061311 | 31880 197388 692166 | 187723 45842 9 | 17.787 % | 122.96/123.03 | 1069960 | 31879 197388 692166 | 206496 54489 10 | 17.789 % | 122.96/123.03 | 1082934 | 31875 197388 692166 | 227145 67461 12 | 17.799 % | 122.96/123.03 | 1102395 | 31874 197388 692166 | 249860 86921 15 | 17.802 % | 122.96/123.03 | 1131587 | 31874 197388 692166 | 274846 116113 17 | 17.802 % | 122.96/123.03 | 1175376 | 31874 197388 692166 | 302330 159902 19 | 17.802 % | 122.96/123.03 =============================================================================== 122.96/123.03 c [1mFound solution: 17572494[0m 122.96/123.06 c ---[ 0]---> Adder-cost: 0 maxlim: 26180500 bits: 26/25 198.25/198.39 | Eliminated clauses: 0.03 Mb | 198.25/198.39 ============================[ Search Statistics ]============================== 198.25/198.39 | Conflicts | ORIGINAL | LEARNT | Progress | 198.25/198.39 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 198.25/198.39 =============================================================================== 198.25/198.39 | 1226914 | 31860 197111 691063 | 72274 24536 10 | 17.825 % | 198.25/198.39 | 1227064 | 31860 197111 691063 | 79501 24686 9 | 17.825 % | 198.25/198.39 | 1227289 | 31860 197111 691063 | 87451 24911 9 | 17.825 % | 198.25/198.39 | 1227626 | 31860 197111 691063 | 96196 25248 9 | 17.825 % | 198.25/198.39 | 1228132 | 31860 197111 691063 | 105816 25754 9 | 17.825 % | 198.25/198.39 | 1228891 | 31860 197111 691063 | 116398 26513 9 | 17.825 % | 198.25/198.39 | 1230030 | 31860 197111 691063 | 128037 27652 9 | 17.825 % | 198.25/198.39 | 1231738 | 31860 197111 691063 | 140841 29360 9 | 17.825 % | 198.25/198.39 | 1234300 | 31860 197111 691063 | 154925 31922 9 | 17.825 % | 198.25/198.39 | 1238144 | 31860 197111 691063 | 170418 35766 9 | 17.825 % | 198.25/198.39 | 1243910 | 31860 197111 691063 | 187460 41532 9 | 17.825 % | 198.25/198.39 | 1252559 | 31860 197111 691063 | 206206 50181 10 | 17.825 % | 198.25/198.39 | 1265533 | 31856 197111 691063 | 226826 63154 12 | 17.835 % | 198.25/198.39 | 1284994 | 31852 197111 691063 | 249509 82613 14 | 17.845 % | 198.25/198.39 | 1314186 | 31852 197111 691063 | 274460 111805 19 | 17.845 % | 198.25/198.39 | 1357975 | 31852 197111 691063 | 301906 155594 24 | 17.845 % | 198.25/198.39 | 1423659 | 31852 197111 691063 | 332097 221278 30 | 17.845 % | 198.25/198.39 | 1522185 | 31852 197111 691063 | 365306 319804 36 | 17.845 % | 198.25/198.39 | 1669974 | 31852 197111 691063 | 401837 120260 20 | 17.845 % | 198.25/198.39 | 1891657 | 31852 197111 691063 | 442021 341943 32 | 17.845 % | 198.25/198.39 =============================================================================== 198.25/198.39 c [1mFound solution: 17496948[0m 198.35/198.41 c ---[ 0]---> Adder-cost: 0 maxlim: 26256046 bits: 26/25 226.15/226.26 | Eliminated clauses: 0.03 Mb | 226.15/226.26 ============================[ Search Statistics ]============================== 226.15/226.26 | Conflicts | ORIGINAL | LEARNT | Progress | 226.15/226.26 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 226.15/226.26 =============================================================================== 226.15/226.26 | 1946131 | 31853 197008 690617 | 72236 36688 13 | 17.867 % | 226.15/226.26 | 1946281 | 31853 197008 690617 | 79459 36838 13 | 17.867 % | 226.15/226.26 | 1946506 | 31853 197008 690617 | 87405 37063 13 | 17.867 % | 226.15/226.26 | 1946843 | 31853 197008 690617 | 96146 37400 13 | 17.867 % | 226.15/226.26 | 1947349 | 31853 197008 690617 | 105761 37906 13 | 17.867 % | 226.15/226.26 | 1948108 | 31853 197008 690617 | 116337 38665 13 | 17.867 % | 226.15/226.26 | 1949247 | 31853 197008 690617 | 127970 39804 13 | 17.867 % | 226.15/226.26 | 1950955 | 31853 197008 690617 | 140768 41512 12 | 17.867 % | 226.15/226.26 | 1953517 | 31853 197008 690617 | 154844 44074 12 | 17.867 % | 226.15/226.26 | 1957361 | 31853 197008 690617 | 170329 47918 12 | 17.867 % | 226.15/226.26 | 1963127 | 31853 197008 690617 | 187362 53683 13 | 17.867 % | 226.15/226.26 | 1971776 | 31853 197008 690617 | 206098 62332 13 | 17.867 % | 226.15/226.26 | 1984750 | 31853 197008 690617 | 226708 75306 14 | 17.867 % | 226.15/226.26 | 2004211 | 31853 197008 690617 | 249379 94767 16 | 17.867 % | 226.15/226.26 | 2033403 | 31853 197008 690617 | 274317 123959 17 | 17.867 % | 226.15/226.26 | 2077192 | 31853 197008 690617 | 301748 167748 22 | 17.867 % | 226.15/226.26 | 2142876 | 31853 197008 690617 | 331923 233432 24 | 17.867 % | 226.15/226.26 =============================================================================== 226.15/226.26 c [1mFound solution: 17486950[0m 226.15/226.29 c ---[ 0]---> Adder-cost: 0 maxlim: 26266044 bits: 26/25 239.25/239.34 | Eliminated clauses: 0.03 Mb | 239.25/239.34 ============================[ Search Statistics ]============================== 239.25/239.34 | Conflicts | ORIGINAL | LEARNT | Progress | 239.25/239.34 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 239.25/239.34 =============================================================================== 239.25/239.34 | 2187897 | 31849 196994 690552 | 72231 36577 20 | 17.884 % | 239.25/239.34 | 2188047 | 31849 196994 690552 | 79454 36727 20 | 17.884 % | 239.25/239.34 | 2188272 | 31849 196994 690552 | 87399 36952 20 | 17.884 % | 239.25/239.34 | 2188609 | 31847 196994 690552 | 96139 37287 20 | 17.889 % | 239.25/239.34 | 2189115 | 31847 196994 690552 | 105753 37793 20 | 17.889 % | 239.25/239.34 | 2189874 | 31847 196994 690552 | 116328 38552 19 | 17.889 % | 239.25/239.34 | 2191013 | 31847 196994 690552 | 127961 39691 19 | 17.889 % | 239.25/239.34 | 2192721 | 31847 196994 690552 | 140758 41399 19 | 17.889 % | 239.25/239.34 | 2195283 | 31847 196994 690552 | 154833 43961 18 | 17.889 % | 239.25/239.34 | 2199127 | 31847 196994 690552 | 170317 47801 17 | 17.889 % | 239.25/239.34 | 2204893 | 31847 196994 690552 | 187348 53567 17 | 17.889 % | 239.25/239.34 | 2213542 | 31847 196994 690552 | 206083 62216 17 | 17.889 % | 239.25/239.34 | 2226516 | 31847 196994 690552 | 226692 75190 17 | 17.889 % | 239.25/239.34 | 2245977 | 31847 196994 690552 | 249361 94651 19 | 17.889 % | 239.25/239.34 | 2275169 | 31847 196994 690552 | 274297 123843 18 | 17.889 % | 239.25/239.34 =============================================================================== 239.25/239.34 c [1mFound solution: 17436321[0m 239.25/239.37 c ---[ 0]---> Adder-cost: 0 maxlim: 26316673 bits: 26/25 264.24/264.35 | Eliminated clauses: 0.03 Mb | 264.24/264.35 ============================[ Search Statistics ]============================== 264.24/264.35 | Conflicts | ORIGINAL | LEARNT | Progress | 264.24/264.35 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 264.24/264.35 =============================================================================== 264.24/264.35 | 2297975 | 31848 196958 690375 | 72217 32145 9 | 17.900 % | 264.24/264.35 | 2298125 | 31848 196958 690375 | 79439 32295 9 | 17.900 % | 264.24/264.35 | 2298350 | 31848 196958 690375 | 87383 32520 9 | 17.900 % | 264.24/264.35 | 2298687 | 31848 196958 690375 | 96122 32857 9 | 17.900 % | 264.24/264.35 | 2299193 | 31848 196958 690375 | 105734 33363 9 | 17.900 % | 264.24/264.35 | 2299952 | 31848 196958 690375 | 116307 34122 9 | 17.900 % | 264.24/264.35 | 2301091 | 31848 196958 690375 | 127938 35261 9 | 17.900 % | 264.24/264.35 | 2302799 | 31848 196958 690375 | 140732 36969 9 | 17.900 % | 264.24/264.35 | 2305361 | 31848 196958 690375 | 154805 39531 9 | 17.900 % | 264.24/264.35 | 2309205 | 31848 196958 690375 | 170286 43375 9 | 17.900 % | 264.24/264.35 | 2314971 | 31848 196958 690375 | 187314 49141 12 | 17.900 % | 264.24/264.35 | 2323620 | 31848 196958 690375 | 206046 57790 12 | 17.900 % | 264.24/264.35 | 2336594 | 31848 196958 690375 | 226650 70764 16 | 17.900 % | 264.24/264.35 | 2356055 | 31848 196958 690375 | 249315 90225 17 | 17.900 % | 264.24/264.35 | 2385247 | 31848 196958 690375 | 274247 119417 19 | 17.900 % | 264.24/264.35 | 2429036 | 31848 196958 690375 | 301672 163206 19 | 17.900 % | 264.24/264.35 | 2494720 | 31846 196958 690375 | 331839 228887 18 | 17.905 % | 264.24/264.35 =============================================================================== 264.24/264.35 c [1mFound solution: 17039671[0m 264.24/264.37 c ---[ 0]---> Adder-cost: 0 maxlim: 26713323 bits: 26/25 292.74/292.82 | Eliminated clauses: 0.03 Mb | 292.74/292.82 ============================[ Search Statistics ]============================== 292.74/292.82 | Conflicts | ORIGINAL | LEARNT | Progress | 292.74/292.82 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 292.74/292.82 =============================================================================== 292.74/292.82 | 2513088 | 31841 196934 690293 | 72209 31010 18 | 17.924 % | 292.74/292.82 | 2513238 | 31841 196934 690293 | 79430 31160 18 | 17.924 % | 292.74/292.82 | 2513463 | 31841 196934 690293 | 87373 31385 18 | 17.924 % | 292.74/292.82 | 2513800 | 31841 196934 690293 | 96110 31722 18 | 17.924 % | 292.74/292.82 | 2514306 | 31841 196934 690293 | 105721 32228 17 | 17.924 % | 292.74/292.82 | 2515065 | 31841 196934 690293 | 116293 32987 17 | 17.924 % | 292.74/292.82 | 2516204 | 31841 196934 690293 | 127922 34126 17 | 17.924 % | 292.74/292.82 | 2517912 | 31841 196934 690293 | 140715 35834 16 | 17.924 % | 292.74/292.82 | 2520474 | 31841 196934 690293 | 154786 38396 16 | 17.924 % | 292.74/292.82 | 2524318 | 31841 196934 690293 | 170265 42240 15 | 17.924 % | 292.74/292.82 | 2530084 | 31841 196934 690293 | 187291 48006 14 | 17.924 % | 292.74/292.82 | 2538733 | 31841 196934 690293 | 206021 56655 14 | 17.924 % | 292.74/292.82 | 2551707 | 31841 196934 690293 | 226623 69629 13 | 17.924 % | 292.74/292.82 | 2571168 | 31841 196934 690293 | 249285 89090 13 | 17.924 % | 292.74/292.82 | 2600360 | 31841 196934 690293 | 274214 118282 13 | 17.924 % | 292.74/292.82 | 2644149 | 31840 196934 690293 | 301635 162069 15 | 17.926 % | 292.74/292.82 =============================================================================== 292.74/292.82 c [1mFound solution: 15024930[0m 292.74/292.85 c ---[ 0]---> Adder-cost: 0 maxlim: 28728064 bits: 26/25 324.43/324.51 | Eliminated clauses: 0.03 Mb | 324.43/324.51 ============================[ Search Statistics ]============================== 324.43/324.51 | Conflicts | ORIGINAL | LEARNT | Progress | 324.43/324.51 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 324.43/324.51 =============================================================================== 324.43/324.51 | 2707646 | 31845 196930 690203 | 72207 33399 16 | 17.939 % | 324.43/324.51 | 2707796 | 31845 196930 690203 | 79428 33549 16 | 17.939 % | 324.43/324.51 | 2708021 | 31845 196930 690203 | 87371 33774 16 | 17.939 % | 324.43/324.51 | 2708358 | 31845 196930 690203 | 96108 34111 16 | 17.939 % | 324.43/324.51 | 2708864 | 31845 196930 690203 | 105719 34617 16 | 17.939 % | 324.43/324.51 | 2709623 | 31845 196930 690203 | 116291 35376 15 | 17.939 % | 324.43/324.51 | 2710762 | 31845 196930 690203 | 127920 36515 15 | 17.939 % | 324.43/324.51 | 2712470 | 31845 196930 690203 | 140712 38223 15 | 17.939 % | 324.43/324.51 | 2715032 | 31845 196930 690203 | 154783 40785 14 | 17.939 % | 324.43/324.51 | 2718876 | 31845 196930 690203 | 170261 44629 14 | 17.939 % | 324.43/324.51 | 2724642 | 31845 196930 690203 | 187288 50395 13 | 17.939 % | 324.43/324.51 | 2733291 | 31845 196930 690203 | 206016 59044 15 | 17.939 % | 324.43/324.51 | 2746265 | 31845 196930 690203 | 226618 72018 14 | 17.939 % | 324.43/324.51 | 2765726 | 31845 196930 690203 | 249280 91479 14 | 17.939 % | 324.43/324.51 | 2794918 | 31844 196930 690203 | 274208 120668 14 | 17.941 % | 324.43/324.51 | 2838707 | 31844 196930 690203 | 301629 164457 21 | 17.941 % | 324.43/324.51 | 2904391 | 31843 196930 690203 | 331792 230139 24 | 17.944 % | 324.43/324.51 =============================================================================== 324.43/324.51 c [1mFound solution: 14279873[0m 324.43/324.54 c ---[ 0]---> Adder-cost: 0 maxlim: 29473121 bits: 26/25 496.51/496.66 | Eliminated clauses: 0.03 Mb | 496.51/496.66 ============================[ Search Statistics ]============================== 496.51/496.66 | Conflicts | ORIGINAL | LEARNT | Progress | 496.51/496.66 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 496.51/496.66 =============================================================================== 496.51/496.66 | 2928320 | 31841 196906 690164 | 72198 27186 40 | 17.959 % | 496.51/496.66 | 2928470 | 31841 196906 690164 | 79418 27336 40 | 17.959 % | 496.51/496.66 | 2928695 | 31841 196906 690164 | 87360 27561 40 | 17.959 % | 496.51/496.66 | 2929032 | 31841 196906 690164 | 96096 27898 40 | 17.959 % | 496.51/496.66 | 2929538 | 31841 196906 690164 | 105706 28404 39 | 17.959 % | 496.51/496.66 | 2930297 | 31841 196906 690164 | 116276 29163 38 | 17.959 % | 496.51/496.66 | 2931436 | 31841 196906 690164 | 127904 30302 37 | 17.959 % | 496.51/496.66 | 2933144 | 31841 196906 690164 | 140695 32010 35 | 17.959 % | 496.51/496.66 | 2935706 | 31841 196906 690164 | 154764 34572 33 | 17.959 % | 496.51/496.66 | 2939550 | 31841 196906 690164 | 170241 38416 31 | 17.959 % | 496.51/496.66 | 2945316 | 31841 196906 690164 | 187265 44182 31 | 17.959 % | 496.51/496.66 | 2953965 | 31841 196906 690164 | 205991 52831 29 | 17.959 % | 496.51/496.66 | 2966939 | 31841 196906 690164 | 226590 65805 27 | 17.959 % | 496.51/496.66 | 2986400 | 31841 196906 690164 | 249250 85266 25 | 17.959 % | 496.51/496.66 | 3015592 | 31841 196906 690164 | 274175 114458 27 | 17.959 % | 496.51/496.66 | 3059381 | 31841 196906 690164 | 301592 158247 27 | 17.959 % | 496.51/496.66 | 3125065 | 31841 196906 690164 | 331751 223931 30 | 17.959 % | 496.51/496.66 | 3223591 | 31841 196906 690164 | 364927 322457 33 | 17.959 % | 496.51/496.66 | 3371380 | 31841 196906 690164 | 401419 126347 26 | 17.959 % | 496.51/496.66 | 3593063 | 31841 196906 690164 | 441561 348030 30 | 17.959 % | 496.51/496.66 | 3925588 | 31841 196906 690164 | 485717 274258 46 | 17.959 % | 496.51/496.66 =============================================================================== 496.51/496.66 c [1mFound solution: 12883148[0m 496.51/496.69 c ---[ 0]---> Adder-cost: 0 maxlim: 30869846 bits: 26/25 675.29/675.49 | Eliminated clauses: 0.03 Mb | 675.29/675.49 ============================[ Search Statistics ]============================== 675.29/675.49 | Conflicts | ORIGINAL | LEARNT | Progress | 675.29/675.49 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 675.29/675.49 =============================================================================== 675.29/675.49 | 4374504 | 31838 196886 690085 | 72191 39910 9 | 17.977 % | 675.29/675.49 | 4374654 | 31838 196886 690085 | 79410 40060 9 | 17.977 % | 675.29/675.49 | 4374879 | 31838 196886 690085 | 87351 40285 9 | 17.977 % | 675.29/675.49 | 4375216 | 31838 196886 690085 | 96086 40622 9 | 17.977 % | 675.29/675.49 | 4375722 | 31838 196886 690085 | 105695 41128 9 | 17.977 % | 675.29/675.49 | 4376481 | 31838 196886 690085 | 116265 41887 9 | 17.977 % | 675.29/675.49 | 4377620 | 31838 196886 690085 | 127891 43026 9 | 17.977 % | 675.29/675.49 | 4379328 | 31838 196886 690085 | 140680 44734 9 | 17.977 % | 675.29/675.49 | 4381890 | 31838 196886 690085 | 154748 47296 9 | 17.977 % | 675.29/675.49 | 4385734 | 31838 196886 690085 | 170223 51140 9 | 17.977 % | 675.29/675.49 | 4391500 | 31838 196886 690085 | 187246 56906 9 | 17.977 % | 675.29/675.49 | 4400149 | 31838 196886 690085 | 205970 65555 9 | 17.977 % | 675.29/675.49 | 4413123 | 31838 196886 690085 | 226567 78529 10 | 17.977 % | 675.29/675.49 | 4432584 | 31838 196886 690085 | 249224 97990 12 | 17.977 % | 675.29/675.49 | 4461776 | 31838 196886 690085 | 274147 127182 14 | 17.977 % | 675.29/675.49 | 4505565 | 31838 196886 690085 | 301561 170971 22 | 17.977 % | 675.29/675.49 | 4571249 | 31838 196886 690085 | 331718 236655 24 | 17.977 % | 675.29/675.49 | 4669775 | 31838 196886 690085 | 364889 335181 27 | 17.977 % | 675.29/675.49 | 4817564 | 31838 196886 690085 | 401378 139386 32 | 17.977 % | 675.29/675.49 | 5039247 | 31838 196886 690085 | 441516 361069 52 | 17.977 % | 675.29/675.49 | 5371772 | 31838 196886 690085 | 485668 278337 33 | 17.977 % | 675.29/675.49 | 5870560 | 31838 196886 690085 | 534235 319902 25 | 17.977 % | 675.29/675.49 =============================================================================== 675.29/675.49 c [1mFound solution: 11370769[0m 675.39/675.52 c ---[ 0]---> Adder-cost: 0 maxlim: 32382225 bits: 26/25 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 | 5877987 | 31836 196879 690040 | 72188 43447 16 | 17.989 % | 1800.00/1800.30 | 5878137 | 31836 196879 690040 | 79407 43597 16 | 17.989 % | 1800.00/1800.30 | 5878362 | 31836 196879 690040 | 87348 43822 16 | 17.989 % | 1800.00/1800.30 | 5878699 | 31836 196879 690040 | 96083 44159 16 | 17.989 % | 1800.00/1800.30 | 5879205 | 31836 196879 690040 | 105691 44665 16 | 17.989 % | 1800.00/1800.30 | 5879964 | 31836 196879 690040 | 116261 45424 15 | 17.989 % | 1800.00/1800.30 | 5881103 | 31836 196879 690040 | 127887 46563 15 | 17.989 % | 1800.00/1800.30 | 5882811 | 31836 196879 690040 | 140675 48271 15 | 17.989 % | 1800.00/1800.30 | 5885373 | 31836 196879 690040 | 154743 50833 15 | 17.989 % | 1800.00/1800.30 | 5889217 | 31836 196879 690040 | 170217 54677 14 | 17.989 % | 1800.00/1800.30 | 5894983 | 31836 196879 690040 | 187239 60443 14 | 17.989 % | 1800.00/1800.30 | 5903632 | 31836 196879 690040 | 205963 69092 14 | 17.989 % | 1800.00/1800.30 | 5916606 | 31836 196879 690040 | 226559 82066 15 | 17.989 % | 1800.00/1800.30 | 5936067 | 31836 196879 690040 | 249215 101527 17 | 17.989 % | 1800.00/1800.30 | 5965259 | 31836 196879 690040 | 274137 130719 17 | 17.989 % | 1800.00/1800.30 | 6009048 | 31836 196879 690040 | 301551 174508 20 | 17.989 % | 1800.00/1800.30 | 6074732 | 31836 196879 690040 | 331706 240192 20 | 17.989 % | 1800.00/1800.30 | 6173258 | 31836 196879 690040 | 364876 338718 26 | 17.989 % | 1800.00/1800.30 | 6321047 | 31836 196879 690040 | 401364 150293 21 | 17.989 % | 1800.00/1800.30 | 6542730 | 31836 196879 690040 | 441501 371976 32 | 17.989 % | 1800.00/1800.30 | 6875255 | 31836 196879 690040 | 485651 286505 34 | 17.989 % | 1800.00/1800.30 | 7374043 | 31836 196879 690040 | 534216 333133 26 | 17.989 % | 1800.00/1800.30 | 8122225 | 31836 196879 690040 | 587638 36276 66 | 17.989 % | 1800.00/1800.30 | 9244499 | 31836 196879 690040 | 646401 42104 16 | 17.989 % | 1800.00/1800.30 | 10927910 | 31836 196879 690040 | 711042 497084 110 | 17.989 % | 1800.00/1800.30 | 13453026 | 31836 196879 690040 | 782146 315770 42 | 17.989 % | 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 -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 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -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 -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 -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 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 -x7772 x7773 x7774 x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 x7803 -x7804 -x7805 -x7806 x7807 -x7808 -x7809 -x7810 -x7811 -x7812 x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 x7868 x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 x7893 x7894 x7895 x7896 x7897 x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 x7921 x7922 -x7923 -x7924 x7925 x7926 x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 x7952 x7953 -x7954 -x7955 x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 x7982 x7983 x7984 -x7985 -x7986 -x7987 x7988 x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8041 x8042 x8043 x8044 -x8045 -x8046 x8047 -x8048 -x8049 -x8050 x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 x8222 x8223 x8224 -x8225 x8226 -x8227 -x8228 x8229 x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 x8311 -x8312 -x8313 -x8314 x8315 -x8316 -x8317 -x8318 x8319 -x8320 -x8321 -x8322 x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 x8371 -x8372 x8373 x8374 x8375 -x8376 -x8377 -x8378 x8379 -x8380 -x8381 x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 x8431 x8432 -x8433 -x8434 x8435 -x8436 -x8437 x8438 -x8439 x8440 x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 x8462 -x8463 x8464 x8465 x8466 -x8467 x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 x8492 x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 x8526 -x8527 x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 x8551 x8552 x8553 x8554 x8555 -x8556 x8557 x8558 x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 x8585 -x8586 -x8587 x8588 -x8589 x8590 x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -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 -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 -x8671 -x8672 -x8783 x8883 x8894 -x8905 -x8916 x8927 x8938 x8949 -x8673 x8684 -x8695 -x8706 -x8717 x8728 -x8739 -x8750 -x8761 x8772 -x8784 x8795 -x8806 x8817 x8828 -x8839 x8850 -x8861 -x8872 x8882 -x8884 -x8885 -x8886 x8887 -x8888 -x8889 x8890 x8891 x8892 x8893 x8895 x8896 x8897 x8898 x8899 x8900 x8901 -x8902 -x8903 x8904 -x8906 -x8907 x8908 -x8909 x8910 -x8911 -x8912 -x8913 x8914 x8915 x8917 x8918 -x8919 x8920 -x8921 x8922 -x8923 x8924 -x8925 x8926 -x8928 -x8929 x8930 x8931 x8932 x8933 x8934 x8935 x8936 x8937 x8939 -x8940 -x8941 -x8942 x8943 -x8944 x8945 -x8946 -x8947 x8948 x8950 x8951 x8952 x8953 x8954 x8955 x8956 x8957 x8958 -x8959 x8674 x8675 x8676 -x8677 -x8678 x8679 x8680 -x8681 x8682 x8683 -x8685 x8686 x8687 x8688 x8689 -x8690 -x8691 x8692 x8693 -x8694 x8696 -x8697 x8698 x8699 x8700 x8701 x8702 x8703 x8704 x8705 x8707 x8708 x8709 x8710 x8711 x8712 -x8713 -x8714 -x8715 -x8716 x8718 x8719 x8720 -x8721 x8722 -x8723 x8724 x8725 -x8726 x8727 x8729 -x8730 -x8731 x8732 -x8733 x8734 -x8735 x8736 x8737 -x8738 x8740 -x8741 -x8742 x8743 -x8744 x8745 x8746 x8747 -x8748 x8749 x8751 x8752 x8753 x8754 x8755 x8756 -x8757 x8758 x8759 x8760 x8762 x8763 x8764 -x8765 -x8766 x8767 x8768 -x8769 -x8770 -x8771 x8773 -x8774 x8775 -x8776 x8777 x8778 x8779 x8780 -x8781 -x8782 -x8785 x8786 -x8787 x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8796 -x8797 -x8798 x8799 x8800 -x8801 x8802 x8803 x8804 x8805 -x8807 -x8808 x8809 x8810 -x8811 x8812 -x8813 x8814 x8815 x8816 x8818 x8819 -x8820 x8821 x8822 x8823 x8824 -x8825 x8826 x8827 -x8829 x8830 x8831 -x8832 x8833 -x8834 -x8835 -x8836 x8837 -x8838 x8840 x8841 x8842 -x8843 x8844 x8845 x8846 x8847 -x8848 x8849 x8851 x8852 x8853 x8854 x8855 x8856 x8857 x8858 -x8859 -x8860 -x8862 x8863 -x8864 x8865 -x8866 x8867 x8868 x8869 -x8870 x8871 x8873 x8874 x8875 x8876 x8877 -x8878 -x8879 -x8880 x8881
OK 11370769
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-4113832-1466542876/watcher-4113832-1466542876 -o /tmp/evaluation-result-4113832-1466542876/solver-4113832-1466542876 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466515278-25741 --watchdog 1960 minisatp HOME/instance-4113832-1466542876.opb pid=30609 running on 4 cores: 0,2,4,6 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.12 2.09 2.02 3/177 30612 /proc/meminfo: memFree=31712404/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=7420 CPUtime=0 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 56338058 7598080 390 33554432000 4194304 5646918 140736725819120 140736794474296 4388221 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 1855 390 84 355 0 1496 0 [startup+0.10016 s] /proc/loadavg: 2.12 2.09 2.02 3/177 30612 /proc/meminfo: memFree=31712404/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=10664 CPUtime=0.09 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 1297 0 0 0 9 0 0 0 20 0 1 0 56338058 10919936 1174 33554432000 4194304 5646918 140736725819120 140736794474296 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 2666 1174 97 355 0 2307 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10664 [startup+0.200346 s] /proc/loadavg: 2.12 2.09 2.02 3/177 30612 /proc/meminfo: memFree=31712404/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=13652 CPUtime=0.19 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 2038 0 0 0 19 0 0 0 20 0 1 0 56338058 13979648 1915 33554432000 4194304 5646918 140736725819120 140736725818376 4457027 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 3413 1915 105 355 0 3054 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13652 [startup+0.300264 s] /proc/loadavg: 2.12 2.09 2.02 3/177 30612 /proc/meminfo: memFree=31712404/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=13588 CPUtime=0.29 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 2148 0 0 0 29 0 0 0 20 0 1 0 56338058 13914112 1955 33554432000 4194304 5646918 140736725819120 140736725818376 4831277 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 3397 1955 152 355 0 3038 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13588 [startup+0.70024 s] /proc/loadavg: 2.12 2.09 2.02 3/177 30612 /proc/meminfo: memFree=31712404/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=14388 CPUtime=0.69 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 2344 0 0 0 69 0 0 0 20 0 1 0 56338058 14733312 2151 33554432000 4194304 5646918 140736725819120 140736725818376 4831202 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 3597 2151 152 355 0 3238 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14388 [startup+1.50024 s] /proc/loadavg: 2.12 2.09 2.02 3/178 30613 /proc/meminfo: memFree=31691948/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=21804 CPUtime=1.49 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 4875 0 0 0 149 0 0 0 20 0 1 0 56338058 22327296 4946 33554432000 4194304 5646918 140736725819120 140736725817224 4389251 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 5451 4946 183 355 0 5092 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21804 [startup+3.10021 s] /proc/loadavg: 2.11 2.09 2.02 3/178 30613 /proc/meminfo: memFree=31690212/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=22596 CPUtime=3.09 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 5071 0 0 0 309 0 0 0 20 0 1 0 56338058 23138304 5142 33554432000 4194304 5646918 140736725819120 140736725817256 4402863 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 5649 5142 183 355 0 5290 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22596 [startup+6.30029 s] /proc/loadavg: 2.11 2.09 2.02 3/178 30613 /proc/meminfo: memFree=31682300/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=27312 CPUtime=6.29 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 5708 0 0 0 629 0 0 0 20 0 1 0 56338058 27967488 5775 33554432000 4194304 5646918 140736725819120 140736725817256 4394832 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 6828 5775 183 355 0 6469 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27312 [startup+12.7003 s] /proc/loadavg: 2.09 2.09 2.02 3/178 30613 /proc/meminfo: memFree=31660468/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=43328 CPUtime=12.69 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 8252 0 0 0 1268 1 0 0 20 0 1 0 56338058 44367872 9275 33554432000 4194304 5646918 140736725819120 140736725817256 4396858 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 10832 9275 183 355 0 10473 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43328 [startup+25.5004 s] /proc/loadavg: 2.08 2.08 2.02 3/178 30613 /proc/meminfo: memFree=31701848/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=60860 CPUtime=25.49 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 11522 0 0 0 2547 2 0 0 20 0 1 0 56338058 62320640 12032 33554432000 4194304 5646918 140736725819120 140736725817816 4402784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 15215 12032 185 355 0 14856 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60860 [startup+51.1004 s] /proc/loadavg: 2.05 2.08 2.02 3/177 30613 /proc/meminfo: memFree=31661900/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=85896 CPUtime=51.09 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 14301 0 0 0 5105 4 0 0 20 0 1 0 56338058 87957504 16703 33554432000 4194304 5646918 140736725819120 140736725817832 4389094 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 21474 16703 185 355 0 21115 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 85896 [startup+102.3 s] /proc/loadavg: 2.07 2.08 2.02 3/177 30615 /proc/meminfo: memFree=31576500/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=124916 CPUtime=102.27 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 18115 0 0 0 10222 5 0 0 20 0 1 0 56338058 127913984 29766 33554432000 4194304 5646918 140736725819120 140736725817368 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 31229 29766 187 355 0 30870 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 124916 [startup+162.3 s] /proc/loadavg: 2.11 2.09 2.02 4/177 30616 /proc/meminfo: memFree=31599088/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=155804 CPUtime=162.26 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 19867 0 0 0 16219 7 0 0 20 0 1 0 56338058 159543296 34018 33554432000 4194304 5646918 140736725819120 140736725817832 4397111 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 38951 34018 189 355 0 38592 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 155804 [startup+222.307 s] /proc/loadavg: 2.10 2.09 2.02 3/177 30617 /proc/meminfo: memFree=31514492/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=205124 CPUtime=222.26 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 21427 0 0 0 22217 9 0 0 20 0 1 0 56338058 210046976 42684 33554432000 4194304 5646918 140736725819120 140736725817416 4397445 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 51281 42684 189 355 0 50922 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 205124 [startup+282.3 s] /proc/loadavg: 2.09 2.08 2.02 3/177 30618 /proc/meminfo: memFree=31564200/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=155804 CPUtime=282.24 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 22233 0 0 0 28214 10 0 0 20 0 1 0 56338058 159543296 38457 33554432000 4194304 5646918 140736725819120 140736725817832 4396847 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 38951 38457 190 355 0 38592 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 155804 [startup+342.3 s] /proc/loadavg: 2.03 2.07 2.02 4/177 30619 /proc/meminfo: memFree=31558084/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=168280 CPUtime=342.23 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 22899 0 0 0 34212 11 0 0 20 0 1 0 56338058 172318720 40700 33554432000 4194304 5646918 140736725819120 140736725817368 4402832 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 42070 40700 190 355 0 41711 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 168280 [startup+402.3 s] /proc/loadavg: 2.14 2.10 2.03 3/177 30621 /proc/meminfo: memFree=31499468/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=249228 CPUtime=402.22 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 25471 0 0 0 40208 14 0 0 20 0 1 0 56338058 255209472 56471 33554432000 4194304 5646918 140736725819120 140736725817816 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 62307 56471 190 355 0 61948 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 249228 [startup+462.3 s] /proc/loadavg: 2.10 2.09 2.03 3/177 30622 /proc/meminfo: memFree=31428032/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=299316 CPUtime=462.21 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 26874 0 0 0 46204 17 0 0 20 0 1 0 56338058 306499584 71630 33554432000 4194304 5646918 140736725819120 140736725817816 4403246 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 74829 71630 190 355 0 74470 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 299316 [startup+522.3 s] /proc/loadavg: 2.10 2.09 2.03 3/177 30623 /proc/meminfo: memFree=31498484/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=176160 CPUtime=522.2 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 27166 0 0 0 52202 18 0 0 20 0 1 0 56338058 180387840 43439 33554432000 4194304 5646918 140736725819120 140736725817384 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 44040 43439 190 355 0 43681 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 176160 [startup+582.3 s] /proc/loadavg: 2.07 2.08 2.03 3/178 30627 /proc/meminfo: memFree=31475916/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=306388 CPUtime=582.19 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 29612 0 0 0 58197 22 0 0 20 0 1 0 56338058 313741312 64226 33554432000 4194304 5646918 140736725819120 140736725817816 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 76597 64226 190 355 0 76238 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 306388 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.12 2.10 2.04 3/177 30635 /proc/meminfo: memFree=31440152/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=309032 CPUtime=942.13 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 39737 0 0 0 94176 37 0 0 20 0 1 0 56338058 316448768 68014 33554432000 4194304 5646918 140736725819120 140736725817816 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 77258 68014 191 355 0 76899 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 309032 [startup+1002.3 s] /proc/loadavg: 2.10 2.09 2.04 3/177 30637 /proc/meminfo: memFree=31252692/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=572768 CPUtime=1002.13 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 41112 0 0 0 100171 42 0 0 20 0 1 0 56338058 586514432 114860 33554432000 4194304 5646918 140736725819120 140736725817816 4402781 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 143192 114860 191 355 0 142833 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 572768 [startup+1062.3 s] /proc/loadavg: 2.08 2.09 2.04 3/177 30638 /proc/meminfo: memFree=31322248/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=359120 CPUtime=1062.12 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 42541 0 0 0 106167 45 0 0 20 0 1 0 56338058 367738880 75507 33554432000 4194304 5646918 140736725819120 140736725817816 4403411 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 89780 75507 191 355 0 89421 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 359120 [startup+1122.3 s] /proc/loadavg: 2.13 2.10 2.04 3/177 30639 /proc/meminfo: memFree=31211604/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=359120 CPUtime=1122.11 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 43956 0 0 0 112163 48 0 0 20 0 1 0 56338058 367738880 85752 33554432000 4194304 5646918 140736725819120 140736725817816 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 89780 85752 191 355 0 89421 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 359120 [startup+1182.3 s] /proc/loadavg: 2.05 2.08 2.04 3/178 30643 /proc/meminfo: memFree=31383856/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=310248 CPUtime=1182.1 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 45077 0 0 0 118160 50 0 0 20 0 1 0 56338058 317693952 72703 33554432000 4194304 5646918 140736725819120 140736725817816 4403571 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 77562 72703 191 355 0 77203 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 310248 [startup+1242.3 s] /proc/loadavg: 2.12 2.09 2.04 3/177 30644 /proc/meminfo: memFree=31403352/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=295720 CPUtime=1242.09 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 46848 0 0 0 124156 53 0 0 20 0 1 0 56338058 302817280 73083 33554432000 4194304 5646918 140736725819120 140736725817416 4402947 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 73930 73083 191 355 0 73571 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 295720 [startup+1302.3 s] /proc/loadavg: 2.10 2.09 2.04 3/177 30645 /proc/meminfo: memFree=31146348/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=458016 CPUtime=1302.08 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 48328 0 0 0 130151 57 0 0 20 0 1 0 56338058 469008384 105218 33554432000 4194304 5646918 140736725819120 140736725817816 4402827 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 114504 105218 191 355 0 114145 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 458016 [startup+1362.3 s] /proc/loadavg: 2.04 2.07 2.04 3/177 30647 /proc/meminfo: memFree=31036124/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=590276 CPUtime=1362.07 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 48875 0 0 0 136147 60 0 0 20 0 1 0 56338058 604442624 146643 33554432000 4194304 5646918 140736725819120 140736725817816 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 147569 146643 191 355 0 147210 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 590276 [startup+1422.3 s] /proc/loadavg: 2.01 2.05 2.03 4/177 30648 /proc/meminfo: memFree=31388584/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=326540 CPUtime=1422.06 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 50391 0 0 0 142142 64 0 0 20 0 1 0 56338058 334376960 73573 33554432000 4194304 5646918 140736725819120 140736725817816 4402642 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 81635 73573 191 355 0 81276 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 326540 [startup+1482.3 s] /proc/loadavg: 2.03 2.06 2.03 3/177 30649 /proc/meminfo: memFree=31202012/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=458016 CPUtime=1482.05 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 51418 0 0 0 148139 66 0 0 20 0 1 0 56338058 469008384 98090 33554432000 4194304 5646918 140736725819120 140736725817816 4402776 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 114504 98090 191 355 0 114145 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 458016 [startup+1542.31 s] /proc/loadavg: 2.01 2.04 2.02 3/177 30650 /proc/meminfo: memFree=31211152/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=493112 CPUtime=1542.04 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 53956 0 0 0 154134 70 0 0 20 0 1 0 56338058 504946688 103276 33554432000 4194304 5646918 140736725819120 140736725817816 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 123278 103276 191 355 0 122919 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 493112 [startup+1602.3 s] /proc/loadavg: 2.04 2.05 2.02 3/177 30651 /proc/meminfo: memFree=31365300/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=361636 CPUtime=1602.03 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 55022 0 0 0 160131 72 0 0 20 0 1 0 56338058 370315264 81471 33554432000 4194304 5646918 140736725819120 140736725817816 4403243 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 90409 81471 191 355 0 90050 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 361636 [startup+1662.3 s] /proc/loadavg: 2.13 2.07 2.03 3/177 30653 /proc/meminfo: memFree=31183712/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=411724 CPUtime=1662.01 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 55362 0 0 0 166128 73 0 0 20 0 1 0 56338058 421605376 96620 33554432000 4194304 5646918 140736725819120 140736725817816 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 102931 96620 191 355 0 102572 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 411724 [startup+1722.3 s] /proc/loadavg: 2.12 2.07 2.03 3/177 30710 /proc/meminfo: memFree=31300616/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=494036 CPUtime=1722.01 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 57638 0 0 0 172123 78 0 0 20 0 1 0 56338058 505892864 108117 33554432000 4194304 5646918 140736725819120 140736725817816 4403502 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 123509 108117 191 355 0 123150 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 494036 [startup+1782.3 s] /proc/loadavg: 2.08 2.07 2.03 3/178 30714 /proc/meminfo: memFree=31178708/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=282420 CPUtime=1782 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 57721 0 0 0 178121 79 0 0 20 0 1 0 56338058 289198080 69990 33554432000 4194304 5646918 140736725819120 140736725817832 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 70605 69990 191 355 0 70246 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 282420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.13 2.08 2.03 3/177 30714 /proc/meminfo: memFree=31124416/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=331740 CPUtime=1800 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 58210 0 0 0 179920 80 0 0 20 0 1 0 56338058 339701760 82231 33554432000 4194304 5646918 140736725819120 140736725817416 4402818 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 82935 82231 191 355 0 82576 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 331740 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 30612 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.13 2.08 2.03 3/177 30714 /proc/meminfo: memFree=31124416/32872528 swapFree=249320/249320 [pid=30612] ppid=30609 vsize=331740 CPUtime=1800 cores=0,2,4,6 /proc/30612/stat : 30612 (minisatp) R 30609 30612 25725 0 -1 4202496 58210 0 0 0 179920 80 0 0 20 0 1 0 56338058 339701760 82231 33554432000 4194304 5646918 140736725819120 140736725817416 4402818 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/30612/statm: 82935 82231 191 355 0 82576 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 331740 Child status: 0 Real time (s): 1800.3 CPU time (s): 1800.01 CPU user time (s): 1799.2 CPU system time (s): 0.802877 CPU usage (%): 99.9835 Max. virtual memory (cumulated for all children) (KiB): 805200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.2 system time used= 0.802877 maximum resident set size= 693224 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58210 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= 38 involuntary context switches= 1858 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.5013 second user time and 8.16476 second system time The end
Begin job on node103 at 2016-06-21 23:01:16 IDJOB=4113832 IDBENCH=2302 IDSOLVER=2555 FILE ID=node103/4113832-1466542876 RUNJOBID= node103-1466515278-25741 PBS_JOBID= 19942890 Free space on /tmp= 71728 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-ran17x17.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113832-1466542876/watcher-4113832-1466542876 -o /tmp/evaluation-result-4113832-1466542876/solver-4113832-1466542876 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466515278-25741 --watchdog 1960 minisatp HOME/instance-4113832-1466542876.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 041d40ba01d992f8c3bb358df2c9aea9 RANDOM SEED=2072803278 node103.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 : 2667.278 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 : 5334.55 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31713320 kB Buffers: 21300 kB Cached: 65108 kB SwapCached: 1184 kB Active: 151116 kB Inactive: 59976 kB Active(anon): 124884 kB Inactive(anon): 2036 kB Active(file): 26232 kB Inactive(file): 57940 kB Unevictable: 249320 kB Mlocked: 249320 kB SwapTotal: 67108856 kB SwapFree: 67100264 kB Dirty: 4296 kB Writeback: 0 kB AnonPages: 372748 kB Mapped: 9152 kB Shmem: 0 kB Slab: 568996 kB SReclaimable: 12924 kB SUnreclaim: 556072 kB KernelStack: 1480 kB PageTables: 4936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 503004 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 26624 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-4113832-1466542876.opb Free space on /tmp at the end= 71720 MiB End job on node103 at 2016-06-21 23:31:17