| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB12: minisatp 1.0-2-g022594c | SAT (TO) | 1075079936 | 1800.07 | 1800.51 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-rout.opb |
| MD5SUM | 00504f72d4d33ef46136a0269c782c15 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1074949888 |
| Best CPU time to get the best result obtained on this benchmark | 1800.85 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1074976000 |
| Optimality of the best value was proved | NO |
| Number of variables | 7561 |
| Total number of constraints | 306 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 292 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 917 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 26904326400 |
| Number of bits of the biggest number in a constraint | 35 |
| Biggest sum of numbers in a constraint | 81230087655 |
| Number of bits of the biggest sum of numbers | 37 |
| 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.00/0.01 c Converting 337 PB-constraints to clauses... 0.00/0.01 c -- Unit propagations: (none) 0.00/0.01 c -- Detecting intervals from adjacent constraints: ############################### 0.00/0.01 c -- Clauses(.)/Splits(s): ............... 0.00/0.01 c ---[ 320]---> Adder-cost: 3908 maxlim: 27410865895 bits: 36/35 6.89/6.95 c ---[ 319]---> BDD-cost: 37 6.89/6.95 c ---[ 318]---> BDD-cost: 16 6.89/6.95 c ---[ 317]---> BDD-cost: 16 6.89/6.95 c ---[ 316]---> BDD-cost: 28 6.89/6.95 c ---[ 315]---> BDD-cost: 28 6.89/6.95 c ---[ 314]---> BDD-cost: 28 6.89/6.95 c ---[ 313]---> BDD-cost: 28 6.89/6.95 c ---[ 312]---> BDD-cost: 28 6.89/6.95 c ---[ 311]---> BDD-cost: 28 6.89/6.95 c ---[ 310]---> BDD-cost: 28 6.89/6.95 c ---[ 309]---> BDD-cost: 28 6.89/6.95 c ---[ 308]---> BDD-cost: 37 6.89/6.95 c ---[ 307]---> BDD-cost: 28 6.89/6.95 c ---[ 306]---> BDD-cost: 28 6.89/6.95 c ---[ 305]---> BDD-cost: 16 6.89/6.95 c ---[ 304]---> BDD-cost: 16 6.89/6.95 c ---[ 303]---> BDD-cost: 16 6.89/6.95 c ---[ 302]---> BDD-cost: 16 6.89/6.95 c ---[ 301]---> BDD-cost: 16 6.89/6.95 c ---[ 300]---> BDD-cost: 16 6.89/6.95 c ---[ 299]---> BDD-cost: 16 6.89/6.95 c ---[ 298]---> BDD-cost: 16 6.89/6.95 c ---[ 297]---> BDD-cost: 37 6.89/6.95 c ---[ 296]---> BDD-cost: 16 6.89/6.95 c ---[ 295]---> BDD-cost: 16 6.89/6.95 c ---[ 294]---> BDD-cost: 16 6.89/6.95 c ---[ 293]---> BDD-cost: 16 6.89/6.95 c ---[ 292]---> BDD-cost: 16 6.89/6.95 c ---[ 291]---> BDD-cost: 16 6.89/6.95 c ---[ 290]---> BDD-cost: 16 6.89/6.95 c ---[ 289]---> BDD-cost: 16 6.89/6.95 c ---[ 288]---> BDD-cost: 16 6.89/6.95 c ---[ 287]---> BDD-cost: 16 6.89/6.95 c ---[ 286]---> BDD-cost: 37 6.89/6.95 c ---[ 285]---> BDD-cost: 16 6.89/6.95 c ---[ 284]---> BDD-cost: 16 6.89/6.95 c ---[ 283]---> BDD-cost: 16 6.89/6.95 c ---[ 282]---> BDD-cost: 16 6.89/6.95 c ---[ 281]---> BDD-cost: 16 6.89/6.95 c ---[ 280]---> BDD-cost: 16 6.89/6.95 c ---[ 279]---> BDD-cost: 16 6.89/6.95 c ---[ 278]---> BDD-cost: 16 6.89/6.95 c ---[ 277]---> BDD-cost: 16 6.89/6.95 c ---[ 276]---> BDD-cost: 16 6.89/6.95 c ---[ 275]---> BDD-cost: 37 6.89/6.95 c ---[ 274]---> BDD-cost: 16 6.89/6.95 c ---[ 273]---> BDD-cost: 16 6.89/6.95 c ---[ 272]---> BDD-cost: 16 6.89/6.95 c ---[ 271]---> BDD-cost: 16 6.89/6.95 c ---[ 270]---> BDD-cost: 16 6.89/6.95 c ---[ 269]---> BDD-cost: 16 6.89/6.95 c ---[ 268]---> BDD-cost: 16 6.89/6.95 c ---[ 267]---> BDD-cost: 16 6.89/6.95 c ---[ 266]---> BDD-cost: 16 6.89/6.95 c ---[ 265]---> BDD-cost: 16 6.89/6.95 c ---[ 264]---> BDD-cost: 37 6.89/6.95 c ---[ 263]---> BDD-cost: 16 6.89/6.95 c ---[ 262]---> BDD-cost: 16 6.89/6.95 c ---[ 261]---> BDD-cost: 16 6.89/6.95 c ---[ 260]---> BDD-cost: 16 6.89/6.95 c ---[ 259]---> BDD-cost: 16 6.89/6.95 c ---[ 258]---> BDD-cost: 16 6.89/6.95 c ---[ 257]---> BDD-cost: 16 6.89/6.95 c ---[ 256]---> BDD-cost: 16 6.89/6.95 c ---[ 255]---> BDD-cost: 16 6.89/6.95 c ---[ 254]---> BDD-cost: 16 6.89/6.95 c ---[ 253]---> BDD-cost: 37 6.89/6.95 c ---[ 252]---> BDD-cost: 16 6.89/6.95 c ---[ 251]---> BDD-cost: 16 6.89/6.95 c ---[ 250]---> BDD-cost: 16 6.89/6.95 c ---[ 249]---> BDD-cost: 16 6.89/6.95 c ---[ 248]---> BDD-cost: 16 6.89/6.95 c ---[ 247]---> BDD-cost: 16 6.89/6.95 c ---[ 246]---> BDD-cost: 16 6.89/6.95 c ---[ 245]---> BDD-cost: 16 6.89/6.95 c ---[ 244]---> BDD-cost: 16 6.89/6.95 c ---[ 243]---> BDD-cost: 16 6.89/6.95 c ---[ 242]---> BDD-cost: 37 6.89/6.95 c ---[ 241]---> BDD-cost: 16 6.89/6.95 c ---[ 240]---> BDD-cost: 16 6.89/6.95 c ---[ 239]---> BDD-cost: 16 6.89/6.95 c ---[ 238]---> BDD-cost: 16 6.89/6.95 c ---[ 237]---> BDD-cost: 16 6.89/6.95 c ---[ 236]---> BDD-cost: 16 6.89/6.95 c ---[ 235]---> BDD-cost: 16 6.89/6.95 c ---[ 234]---> BDD-cost: 16 6.89/6.95 c ---[ 233]---> BDD-cost: 16 6.89/6.95 c ---[ 232]---> BDD-cost: 16 6.89/6.95 c ---[ 231]---> BDD-cost: 37 6.89/6.95 c ---[ 230]---> BDD-cost: 16 6.89/6.95 c ---[ 229]---> BDD-cost: 16 6.89/6.95 c ---[ 228]---> BDD-cost: 16 6.89/6.95 c ---[ 227]---> BDD-cost: 16 6.89/6.95 c ---[ 226]---> BDD-cost: 16 6.89/6.95 c ---[ 225]---> BDD-cost: 16 6.89/6.95 c ---[ 224]---> BDD-cost: 16 6.89/6.95 c ---[ 223]---> BDD-cost: 16 6.89/6.95 c ---[ 222]---> BDD-cost: 16 6.89/6.95 c ---[ 221]---> BDD-cost: 16 6.89/6.95 c ---[ 220]---> BDD-cost: 37 6.89/6.95 c ---[ 219]---> BDD-cost: 16 6.89/6.95 c ---[ 218]---> BDD-cost: 16 6.89/6.95 c ---[ 217]---> BDD-cost: 16 6.89/6.95 c ---[ 216]---> BDD-cost: 16 6.89/6.95 c ---[ 215]---> BDD-cost: 16 6.89/6.95 c ---[ 214]---> BDD-cost: 16 6.89/6.95 c ---[ 213]---> BDD-cost: 16 6.89/6.95 c ---[ 212]---> BDD-cost: 16 6.89/6.95 c ---[ 211]---> BDD-cost: 16 6.89/6.95 c ---[ 210]---> BDD-cost: 16 6.89/6.95 c ---[ 209]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 6.89/6.95 c ---[ 208]---> BDD-cost: 37 6.89/6.95 c ---[ 207]---> BDD-cost: 16 6.89/6.95 c ---[ 206]---> BDD-cost: 16 6.89/6.95 c ---[ 205]---> BDD-cost: 16 6.89/6.95 c ---[ 204]---> BDD-cost: 16 6.89/6.95 c ---[ 203]---> BDD-cost: 16 6.89/6.95 c ---[ 202]---> BDD-cost: 16 6.89/6.95 c ---[ 201]---> BDD-cost: 16 6.89/6.95 c ---[ 200]---> BDD-cost: 16 6.89/6.95 c ---[ 199]---> BDD-cost: 16 6.89/6.95 c ---[ 198]---> BDD-cost: 16 6.89/6.95 c ---[ 197]---> BDD-cost: 37 6.89/6.95 c ---[ 196]---> BDD-cost: 16 6.89/6.95 c ---[ 195]---> BDD-cost: 16 6.89/6.95 c ---[ 194]---> BDD-cost: 16 6.89/6.95 c ---[ 193]---> BDD-cost: 16 6.89/6.95 c ---[ 192]---> BDD-cost: 16 6.89/6.95 c ---[ 191]---> BDD-cost: 16 6.89/6.95 c ---[ 190]---> BDD-cost: 16 6.89/6.95 c ---[ 189]---> BDD-cost: 16 6.89/6.95 c ---[ 188]---> BDD-cost: 16 6.89/6.95 c ---[ 187]---> BDD-cost: 16 6.89/6.95 c ---[ 185]---> Sorter-cost: 441 Base: 2 6.89/6.95 c ---[ 184]---> BDD-cost: 16 6.89/6.95 c ---[ 183]---> BDD-cost: 16 6.89/6.95 c ---[ 182]---> BDD-cost: 16 6.89/6.95 c ---[ 181]---> BDD-cost: 16 6.89/6.95 c ---[ 180]---> BDD-cost: 16 6.89/6.95 c ---[ 179]---> BDD-cost: 16 6.89/6.95 c ---[ 178]---> BDD-cost: 16 6.89/6.95 c ---[ 177]---> BDD-cost: 16 6.89/6.95 c ---[ 176]---> BDD-cost: 16 6.89/6.95 c ---[ 175]---> BDD-cost: 16 6.89/6.95 c ---[ 173]---> Sorter-cost: 441 Base: 2 6.89/6.95 c ---[ 172]---> BDD-cost: 16 6.89/6.95 c ---[ 171]---> BDD-cost: 16 6.89/6.95 c ---[ 170]---> BDD-cost: 16 6.89/6.95 c ---[ 169]---> BDD-cost: 16 6.89/6.95 c ---[ 168]---> BDD-cost: 16 6.89/6.95 c ---[ 167]---> BDD-cost: 16 6.89/6.95 c ---[ 166]---> BDD-cost: 16 6.89/6.95 c ---[ 165]---> BDD-cost: 16 6.89/6.95 c ---[ 164]---> BDD-cost: 16 6.89/6.95 c ---[ 163]---> BDD-cost: 16 6.89/6.95 c ---[ 161]---> Sorter-cost: 441 Base: 2 6.89/6.95 c ---[ 160]---> BDD-cost: 16 6.89/6.95 c ---[ 159]---> BDD-cost: 16 6.89/6.95 c ---[ 158]---> BDD-cost: 16 6.89/6.95 c ---[ 157]---> BDD-cost: 16 6.89/6.95 c ---[ 156]---> BDD-cost: 16 6.89/6.95 c ---[ 155]---> BDD-cost: 16 6.89/6.95 c ---[ 154]---> BDD-cost: 16 6.89/6.95 c ---[ 153]---> BDD-cost: 16 6.89/6.95 c ---[ 152]---> BDD-cost: 16 6.89/6.95 c ---[ 151]---> BDD-cost: 16 6.89/6.95 c ---[ 149]---> Sorter-cost: 441 Base: 2 6.89/6.95 c ---[ 148]---> BDD-cost: 16 6.89/6.95 c ---[ 147]---> BDD-cost: 16 6.89/6.95 c ---[ 146]---> BDD-cost: 16 6.89/6.95 c ---[ 145]---> BDD-cost: 16 6.89/6.95 c ---[ 144]---> BDD-cost: 16 6.89/6.95 c ---[ 143]---> BDD-cost: 16 6.89/6.95 c ---[ 142]---> BDD-cost: 16 6.89/6.95 c ---[ 141]---> BDD-cost: 16 6.89/6.95 c ---[ 140]---> BDD-cost: 16 6.89/6.95 c ---[ 139]---> BDD-cost: 16 6.89/6.95 c ---[ 137]---> Sorter-cost: 441 Base: 2 6.89/6.95 c ---[ 136]---> BDD-cost: 16 6.89/6.95 c ---[ 135]---> BDD-cost: 16 6.89/6.95 c ---[ 134]---> BDD-cost: 16 6.89/6.95 c ---[ 133]---> BDD-cost: 16 6.89/6.95 c ---[ 132]---> BDD-cost: 16 6.89/6.95 c ---[ 131]---> BDD-cost: 16 6.89/6.95 c ---[ 130]---> BDD-cost: 16 6.89/6.95 c ---[ 129]---> BDD-cost: 16 6.89/6.95 c ---[ 128]---> BDD-cost: 16 6.89/6.95 c ---[ 127]---> BDD-cost: 16 6.89/6.95 c ---[ 125]---> Sorter-cost: 347 Base: 2 6.89/6.95 c ---[ 124]---> BDD-cost: 16 6.89/6.95 c ---[ 123]---> BDD-cost: 16 6.89/6.95 c ---[ 122]---> BDD-cost: 16 6.89/6.95 c ---[ 121]---> BDD-cost: 16 6.89/6.95 c ---[ 120]---> BDD-cost: 16 6.89/6.95 c ---[ 119]---> BDD-cost: 16 6.89/6.95 c ---[ 118]---> BDD-cost: 16 6.89/6.95 c ---[ 117]---> BDD-cost: 16 6.89/6.95 c ---[ 116]---> BDD-cost: 16 6.89/6.95 c ---[ 115]---> BDD-cost: 16 6.89/6.95 c ---[ 113]---> Sorter-cost: 347 Base: 2 6.89/6.95 c ---[ 112]---> BDD-cost: 16 6.89/6.95 c ---[ 111]---> BDD-cost: 16 6.89/6.95 c ---[ 110]---> BDD-cost: 16 6.89/6.95 c ---[ 109]---> BDD-cost: 16 6.89/6.95 c ---[ 108]---> BDD-cost: 16 6.89/6.95 c ---[ 107]---> BDD-cost: 16 6.89/6.95 c ---[ 106]---> BDD-cost: 16 6.89/6.95 c ---[ 105]---> BDD-cost: 16 6.89/6.95 c ---[ 104]---> BDD-cost: 16 6.89/6.95 c ---[ 103]---> BDD-cost: 16 6.89/6.95 c ---[ 101]---> Sorter-cost: 347 Base: 2 6.89/6.95 c ---[ 100]---> BDD-cost: 16 6.89/6.95 c ---[ 99]---> BDD-cost: 16 6.89/6.95 c ---[ 98]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 6.89/6.96 c ---[ 96]---> Sorter-cost: 347 Base: 2 6.89/6.96 c ---[ 94]---> Sorter-cost: 347 Base: 2 6.89/6.96 c ---[ 92]---> Sorter-cost: 515 Base: 2 6.89/6.96 c ---[ 90]---> Sorter-cost: 515 Base: 2 6.89/6.96 c ---[ 88]---> Sorter-cost: 515 Base: 2 6.89/6.96 c ---[ 86]---> Sorter-cost: 515 Base: 2 6.89/6.96 c ---[ 84]---> Sorter-cost: 515 Base: 2 6.89/6.96 c ---[ 82]---> Adder-cost: 698 maxlim: 172017 bits: 19/18 6.89/6.96 c ---[ 80]---> Adder-cost: 698 maxlim: 172017 bits: 19/18 6.89/6.97 c ---[ 78]---> Adder-cost: 698 maxlim: 172017 bits: 19/18 6.89/6.97 c ---[ 77]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 6.89/6.98 c ---[ 75]---> Adder-cost: 698 maxlim: 172017 bits: 19/18 6.89/6.98 c ---[ 73]---> Adder-cost: 698 maxlim: 172017 bits: 19/18 6.89/6.98 c ---[ 71]---> Adder-cost: 586 maxlim: 73719 bits: 18/17 6.89/6.98 c ---[ 69]---> Adder-cost: 586 maxlim: 73719 bits: 18/17 6.89/6.98 c ---[ 67]---> Adder-cost: 586 maxlim: 73719 bits: 18/17 6.89/6.98 c ---[ 65]---> Adder-cost: 586 maxlim: 73719 bits: 18/17 6.89/6.99 c ---[ 63]---> Adder-cost: 586 maxlim: 73719 bits: 18/17 6.89/6.99 c ---[ 61]---> Adder-cost: 798 maxlim: 172011 bits: 19/18 6.89/6.99 c ---[ 59]---> Adder-cost: 798 maxlim: 172011 bits: 19/18 6.89/6.99 c ---[ 57]---> Adder-cost: 798 maxlim: 172011 bits: 19/18 6.89/6.99 c ---[ 56]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 6.98/7.00 c ---[ 54]---> Adder-cost: 798 maxlim: 172011 bits: 19/18 6.98/7.00 c ---[ 52]---> Adder-cost: 798 maxlim: 172011 bits: 19/18 6.98/7.01 c ---[ 51]---> BDD-cost: 16 6.98/7.01 c ---[ 50]---> BDD-cost: 16 6.98/7.01 c ---[ 49]---> BDD-cost: 16 6.98/7.01 c ---[ 48]---> BDD-cost: 16 6.98/7.01 c ---[ 47]---> BDD-cost: 16 6.98/7.01 c ---[ 46]---> BDD-cost: 16 6.98/7.01 c ---[ 45]---> BDD-cost: 16 6.98/7.01 c ---[ 44]---> BDD-cost: 16 6.98/7.01 c ---[ 43]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 6.98/7.01 c ---[ 42]---> BDD-cost: 16 6.98/7.01 c ---[ 41]---> BDD-cost: 16 6.98/7.01 c ---[ 40]---> BDD-cost: 16 6.98/7.01 c ---[ 39]---> BDD-cost: 16 6.98/7.01 c ---[ 38]---> BDD-cost: 16 6.98/7.01 c ---[ 37]---> BDD-cost: 16 6.98/7.01 c ---[ 36]---> BDD-cost: 16 6.98/7.01 c ---[ 35]---> BDD-cost: 16 6.98/7.01 c ---[ 34]---> BDD-cost: 16 6.98/7.01 c ---[ 33]---> BDD-cost: 16 6.98/7.01 c ---[ 32]---> BDD-cost: 37 6.98/7.01 c ---[ 31]---> BDD-cost: 16 6.98/7.01 c ---[ 30]---> BDD-cost: 16 6.98/7.01 c ---[ 29]---> BDD-cost: 16 6.98/7.01 c ---[ 28]---> BDD-cost: 16 6.98/7.01 c ---[ 27]---> BDD-cost: 16 6.98/7.01 c ---[ 26]---> BDD-cost: 16 6.98/7.01 c ---[ 25]---> BDD-cost: 16 6.98/7.01 c ---[ 24]---> BDD-cost: 16 6.98/7.01 c ---[ 23]---> BDD-cost: 16 6.98/7.01 c ---[ 22]---> BDD-cost: 16 6.98/7.01 c ---[ 21]---> BDD-cost: 37 6.98/7.01 c ---[ 20]---> BDD-cost: 16 6.98/7.01 c ---[ 19]---> BDD-cost: 16 6.98/7.01 c ---[ 18]---> BDD-cost: 16 6.98/7.01 c ---[ 17]---> BDD-cost: 16 6.98/7.01 c ---[ 16]---> BDD-cost: 16 6.98/7.01 c ---[ 15]---> BDD-cost: 16 6.98/7.01 c ---[ 14]---> BDD-cost: 16 6.98/7.01 c ---[ 13]---> BDD-cost: 16 6.98/7.01 c ---[ 12]---> BDD-cost: 16 6.98/7.01 c ---[ 11]---> BDD-cost: 16 6.98/7.01 c ---[ 10]---> BDD-cost: 84 6.98/7.01 c ---[ 9]---> BDD-cost: 16 6.98/7.01 c ---[ 8]---> BDD-cost: 16 6.98/7.01 c ---[ 7]---> BDD-cost: 16 6.98/7.01 c ---[ 6]---> BDD-cost: 16 6.98/7.01 c ---[ 5]---> BDD-cost: 16 6.98/7.01 c ---[ 4]---> BDD-cost: 16 6.98/7.01 c ---[ 3]---> BDD-cost: 16 6.98/7.01 c ---[ 2]---> BDD-cost: 16 6.98/7.01 c ---[ 1]---> BDD-cost: 16 6.98/7.01 c ---[ 0]---> BDD-cost: 16 6.98/7.06 c ==================================[MINISAT+]================================== 6.98/7.06 c | Conflicts | Original | Learnt | Progress | 6.98/7.06 c | | Clauses Literals | Max Clauses Literals LPC | | 6.98/7.06 c ============================================================================== 6.98/7.06 c | 0 | 141334 476894 | 47111 0 0 -nan | 0.000 % | 7.08/7.10 c | 100 | 141055 476217 | 51822 68 454 6.7 | 16.345 % | 7.08/7.17 c | 250 | 140847 475747 | 57004 195 9930 50.9 | 16.536 % | 7.18/7.21 c | 475 | 140661 475290 | 62704 396 14198 35.9 | 16.727 % | 7.18/7.28 c | 813 | 140521 474945 | 68975 722 22649 31.4 | 16.825 % | 7.28/7.32 c | 1319 | 140521 474945 | 75872 1228 37021 30.1 | 16.825 % | 7.38/7.45 c | 2079 | 140486 474836 | 83460 1985 78844 39.7 | 16.850 % | 7.59/7.60 c | 3218 | 140377 474563 | 91806 3116 121786 39.1 | 16.951 % | 7.78/7.82 c | 4928 | 140251 474223 | 100986 4801 194535 40.5 | 17.034 % | 8.08/8.10 c | 7491 | 140108 473878 | 111085 7358 287028 39.0 | 17.151 % | 8.69/8.75 c | 11335 | 139333 471964 | 122193 11113 418577 37.7 | 17.809 % | 9.39/9.42 c | 17102 | 139137 471520 | 134413 16827 660302 39.2 | 18.005 % | 10.59/10.62 c | 25754 | 138310 469460 | 147854 25384 953218 37.6 | 18.675 % | 12.69/12.76 c | 38731 | 137446 467343 | 162639 38259 1453851 38.0 | 19.434 % | 14.58/14.63 c ============================================================================== 14.58/14.63 c [1mFound solution: 1075422464[0m 14.58/14.63 c ---[ 0]---> BDD-cost: 22 14.58/14.65 c ==================================[MINISAT+]================================== 14.58/14.65 c | Conflicts | Original | Learnt | Progress | 14.58/14.65 c | | Clauses Literals | Max Clauses Literals LPC | | 14.58/14.65 c ============================================================================== 14.58/14.65 c | 50402 | 136634 465419 | 45544 49864 2376839 47.7 | 19.434 % | 14.58/14.66 c | 50502 | 136634 465419 | 50098 49964 2377560 47.6 | 20.224 % | 14.68/14.70 c | 50653 | 136625 465388 | 55108 50109 2381349 47.5 | 20.227 % | 14.78/14.80 c | 50879 | 136488 465075 | 60619 50330 2412030 47.9 | 20.360 % | 14.78/14.85 c | 51216 | 136488 465075 | 66680 50667 2418129 47.7 | 20.360 % | 14.98/15.03 c | 51723 | 136362 464782 | 73349 51169 2459432 48.1 | 20.455 % | 15.08/15.17 c | 52484 | 136346 464747 | 80683 51926 2495086 48.1 | 20.470 % | 15.29/15.34 c | 53623 | 136275 464586 | 88752 53061 2515183 47.4 | 20.538 % | 15.58/15.61 c | 55333 | 136165 464310 | 97627 54761 2587707 47.3 | 20.627 % | 16.18/16.28 c | 57895 | 135696 463191 | 107390 57246 2676824 46.8 | 21.051 % | 16.88/16.98 c | 61740 | 135532 462787 | 118129 61057 2865114 46.9 | 21.201 % | 18.08/18.13 c | 67506 | 135373 462407 | 129942 66776 3233634 48.4 | 21.349 % | 19.58/19.68 c | 76156 | 135173 461938 | 142936 75407 3591557 47.6 | 21.542 % | 22.79/22.84 c | 89130 | 134832 460869 | 157230 88335 4628530 52.4 | 21.696 % | 26.18/26.24 c ============================================================================== 26.18/26.24 c [1mFound solution: 1075368704[0m 26.18/26.24 c ---[ 0]---> BDD-cost: 22 26.18/26.27 c ==================================[MINISAT+]================================== 26.18/26.27 c | Conflicts | Original | Learnt | Progress | 26.18/26.27 c | | Clauses Literals | Max Clauses Literals LPC | | 26.18/26.27 c ============================================================================== 26.18/26.27 c | 105470 | 134650 460375 | 44883 104626 6025225 57.6 | 21.696 % | 26.29/26.40 c | 105571 | 134632 460313 | 49371 20162 1270803 63.0 | 21.859 % | 26.38/26.41 c | 105722 | 134632 460313 | 54308 20313 1274293 62.7 | 21.859 % | 26.38/26.47 c | 105948 | 134632 460313 | 59739 20539 1282823 62.5 | 21.859 % | 26.48/26.52 c | 106287 | 134632 460313 | 65713 20878 1295462 62.0 | 21.859 % | 26.48/26.59 c | 106795 | 134585 460208 | 72284 21383 1305833 61.1 | 21.905 % | 26.58/26.66 c | 107554 | 134585 460208 | 79512 22142 1331481 60.1 | 21.905 % | 26.78/26.87 c | 108694 | 134585 460208 | 87464 23282 1407497 60.5 | 21.905 % | 27.08/27.12 c | 110404 | 134585 460208 | 96210 24992 1541582 61.7 | 21.905 % | 27.68/27.70 c | 112967 | 134442 459710 | 105831 27547 1750846 63.6 | 21.936 % | 28.37/28.47 c | 116812 | 134220 459040 | 116414 31362 1937482 61.8 | 22.059 % | 29.17/29.25 c | 122578 | 134203 458989 | 128056 37127 2345214 63.2 | 22.071 % | 31.17/31.22 c | 131229 | 133602 456941 | 140862 45705 3440188 75.3 | 22.265 % | 33.37/33.45 c ============================================================================== 33.37/33.45 c [1mFound solution: 1075254016[0m 33.37/33.45 c ---[ 0]---> BDD-cost: 17 33.37/33.48 c ==================================[MINISAT+]================================== 33.37/33.48 c | Conflicts | Original | Learnt | Progress | 33.37/33.48 c | | Clauses Literals | Max Clauses Literals LPC | | 33.37/33.48 c ============================================================================== 33.37/33.48 c | 141044 | 133205 455572 | 44401 55458 4512959 81.4 | 22.265 % | 33.47/33.54 c | 141144 | 133205 455572 | 48841 19552 1248993 63.9 | 22.405 % | 33.47/33.57 c | 141294 | 133205 455572 | 53725 19702 1257627 63.8 | 22.405 % | 33.47/33.59 c | 141520 | 133205 455572 | 59097 19928 1273884 63.9 | 22.405 % | 33.57/33.64 c | 141859 | 133183 455521 | 65007 20259 1285711 63.5 | 22.426 % | 33.67/33.74 c | 142366 | 133138 455364 | 71508 20763 1308422 63.0 | 22.439 % | 33.77/33.88 c | 143125 | 133120 455315 | 78659 21519 1368882 63.6 | 22.451 % | 33.97/34.08 c | 144265 | 133120 455315 | 86524 22659 1448055 63.9 | 22.451 % | 34.17/34.25 c | 145974 | 133120 455315 | 95177 24368 1510833 62.0 | 22.451 % | 34.67/34.76 c | 148537 | 133114 455301 | 104695 26929 1839076 68.3 | 22.457 % | 35.47/35.56 c | 152381 | 132785 454239 | 115164 30726 2080945 67.7 | 22.604 % | 36.57/36.62 c | 158148 | 132584 453547 | 126681 36461 2362249 64.8 | 22.666 % | 38.16/38.29 c | 166799 | 132265 452511 | 139349 45057 3095923 68.7 | 22.816 % | 41.06/41.19 c | 179773 | 131740 450800 | 153284 57929 4349255 75.1 | 23.047 % | 45.87/45.93 c | 199235 | 131467 449885 | 168612 77327 7223277 93.4 | 23.154 % | 52.86/52.93 c | 228427 | 131156 448882 | 185473 106470 11031346 103.6 | 23.317 % | 65.45/65.59 c | 272220 | 130992 448399 | 204021 150224 18609298 123.9 | 23.421 % | 92.22/92.38 c | 337907 | 130367 446416 | 224423 30560 2610708 85.4 | 23.765 % | 117.10/117.24 c | 436434 | 130081 445512 | 246865 129035 19307125 149.6 | 23.937 % | 182.50/182.68 c | 584223 | 129707 444395 | 271552 38882 5997948 154.3 | 24.205 % | 281.58/281.70 c ============================================================================== 281.58/281.70 c [1mFound solution: 1075127296[0m 281.58/281.70 c ---[ 0]---> BDD-cost: 20 281.68/281.88 c ==================================[MINISAT+]================================== 281.68/281.88 c | Conflicts | Original | Learnt | Progress | 281.68/281.88 c | | Clauses Literals | Max Clauses Literals LPC | | 281.68/281.88 c ============================================================================== 281.68/281.88 c | 799653 | 129172 442695 | 43057 254209 48715542 191.6 | 24.205 % | 281.98/282.15 c | 799753 | 129172 442695 | 47362 26892 4211496 156.6 | 24.535 % | 281.98/282.20 c | 799909 | 129172 442695 | 52098 27048 4217852 155.9 | 24.535 % | 282.08/282.24 c | 800134 | 129172 442695 | 57308 27273 4227746 155.0 | 24.535 % | 282.08/282.29 c | 800472 | 129172 442695 | 63039 27611 4243241 153.7 | 24.535 % | 282.18/282.33 c | 800979 | 129172 442695 | 69343 28118 4259048 151.5 | 24.535 % | 282.18/282.39 c | 801740 | 129172 442695 | 76278 28879 4290429 148.6 | 24.535 % | 282.28/282.48 c | 802879 | 129172 442695 | 83905 30018 4309159 143.6 | 24.535 % | 282.78/282.97 c | 804587 | 129166 442675 | 92296 31724 4507223 142.1 | 24.538 % | 283.37/283.52 c | 807150 | 129111 442482 | 101526 34279 4625728 134.9 | 24.559 % | 284.27/284.48 c | 810995 | 129098 442447 | 111678 38118 5203105 136.5 | 24.569 % | 285.67/285.88 c | 816761 | 129098 442447 | 122846 43884 6221511 141.8 | 24.569 % | 287.87/288.02 c | 825412 | 129075 442395 | 135131 52532 7641123 145.5 | 24.590 % | 291.67/291.84 c | 838386 | 129075 442395 | 148644 65506 10113677 154.4 | 24.590 % | 299.27/299.46 c | 857848 | 129041 442288 | 163508 84959 14156988 166.6 | 24.618 % | 309.56/309.78 c | 887041 | 128977 442111 | 179859 114146 19204134 168.2 | 24.667 % | 333.54/333.75 c | 930832 | 128755 441386 | 197845 157906 28878332 182.9 | 24.793 % | 362.02/362.24 c | 996518 | 128746 441355 | 217630 40973 2850969 69.6 | 24.796 % | 389.02/389.27 c | 1095046 | 128667 441115 | 239393 139492 19108513 137.0 | 24.845 % | 450.01/450.27 c | 1242835 | 128612 440952 | 263332 49324 6158301 124.9 | 24.888 % | 534.31/534.54 c | 1464518 | 128493 440612 | 289665 270984 47727879 176.1 | 24.965 % | 705.46/705.80 c | 1797044 | 128173 439581 | 318632 58271 9172636 157.4 | 25.130 % | 710.06/710.34 c ============================================================================== 710.06/710.34 c [1mFound solution: 1075079936[0m 710.06/710.34 c ---[ 0]---> BDD-cost: 20 710.06/710.39 c ==================================[MINISAT+]================================== 710.06/710.39 c | Conflicts | Original | Learnt | Progress | 710.06/710.39 c | | Clauses Literals | Max Clauses Literals LPC | | 710.06/710.39 c ============================================================================== 710.06/710.39 c | 1812774 | 128181 439578 | 42727 73993 11423502 154.4 | 25.130 % | 710.16/710.46 c | 1812874 | 128181 439578 | 46999 23053 2131115 92.4 | 25.135 % | 710.16/710.48 c | 1813025 | 128181 439578 | 51699 23204 2133427 91.9 | 25.135 % | 710.26/710.51 c | 1813253 | 128181 439578 | 56869 23432 2142841 91.4 | 25.135 % | 710.26/710.55 c | 1813590 | 128181 439578 | 62556 23769 2158878 90.8 | 25.135 % | 710.37/710.61 c | 1814097 | 128181 439578 | 68812 24276 2180355 89.8 | 25.135 % | 710.46/710.71 c | 1814859 | 128181 439578 | 75693 25038 2204294 88.0 | 25.135 % | 710.76/711.05 c | 1815998 | 128181 439578 | 83262 26177 2568633 98.1 | 25.135 % | 711.16/711.40 c | 1817707 | 128067 439234 | 91589 27871 2639115 94.7 | 25.224 % | 711.86/712.12 c | 1820269 | 128067 439234 | 100748 30433 3294130 108.2 | 25.224 % | 712.96/713.29 c | 1824113 | 128067 439234 | 110822 34277 4397063 128.3 | 25.224 % | 714.56/714.86 c | 1829879 | 128035 439124 | 121905 40034 5390482 134.6 | 25.239 % | 715.66/716.00 c | 1838528 | 128008 439043 | 134095 48677 5861610 120.4 | 25.255 % | 718.26/718.56 c | 1851502 | 128008 439043 | 147505 61651 7955007 129.0 | 25.255 % | 722.86/723.12 c | 1870965 | 128008 439043 | 162255 81114 10934544 134.8 | 25.255 % | 734.65/734.96 c | 1900158 | 127990 438981 | 178481 110301 17270364 156.6 | 25.261 % | 755.05/755.35 c | 1943950 | 127942 438819 | 196329 154087 24683034 160.2 | 25.282 % | 789.55/789.89 c | 2009637 | 127747 438354 | 215962 219759 39782547 181.0 | 25.479 % | 822.04/822.30 c | 2108163 | 127747 438354 | 237558 111563 18560237 166.4 | 25.479 % | 909.23/909.56 c | 2255955 | 127501 437611 | 261314 30242 6007075 198.6 | 25.641 % | 1033.91/1034.23 c | 2477639 | 127501 437611 | 287445 251926 55152754 218.9 | 25.641 % | 1216.85/1217.23 c | 2810166 | 127050 436151 | 316190 304320 62334475 204.8 | 25.899 % | 1548.31/1548.72 c | 3308955 | 126956 435835 | 347809 191965 36717557 191.3 | 25.939 % | 1800.06/1800.50 c 1800.06/1800.50 c *** TERMINATED *** 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 v -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 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 x5098 -x5099 x5100 -x5101 x4772 -x4773 x4774 x4775 x4776 -x4777 -x4778 -x4779 -x4810 -x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x5040 -x5041 -x5102 -x5103 x5104 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 x5423 -x5424 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5605 -x5606 x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 x5651 -x5652 -x5653 -x5654 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5845 -x5846 x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5955 -x5956 -x5957 -x5958 x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6035 -x6036 -x6037 -x6038 -x6039 x6040 -x6041 x6042 -x6043 -x6044 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -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 -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 -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 -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 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -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 -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 -x6272 -x6273 x6274 -x6275 x6276 x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 x6363 -x6364 -x6365 -x6366 x6367 x6368 -x6369 -x6370 -x6371 -x6372 x6373 x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 x7387 -x7388 x7389 -x7390 -x7391 -x7392 x7393 x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -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 -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 -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 -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 -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 -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 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -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 -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 -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 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -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 -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 -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 -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 -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 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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
OK 1075079936
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3722978-1338572120/watcher-3722978-1338572120 -o /tmp/evaluation-result-3722978-1338572120/solver-3722978-1338572120 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3722978-1338572120.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.85 3/174 17201 /proc/meminfo: memFree=31975068/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [startup+0.038607 s] /proc/loadavg: 2.00 2.00 1.85 3/174 17201 /proc/meminfo: memFree=31975068/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100258 s] /proc/loadavg: 2.00 2.00 1.85 3/174 17201 /proc/meminfo: memFree=31975068/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300247 s] /proc/loadavg: 2.00 2.00 1.85 3/174 17201 /proc/meminfo: memFree=31975068/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700242 s] /proc/loadavg: 2.00 2.00 1.85 3/174 17201 /proc/meminfo: memFree=31975068/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 1.85 3/179 17215 /proc/meminfo: memFree=31956124/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=6296 CPUtime=1.49 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 1975 0 0 0 149 0 0 0 20 0 1 0 323340603 6447104 1292 33554432000 4194304 5276501 140734406219792 140734406218984 4378892 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 1574 1292 89 265 0 1306 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15444 [startup+3.10025 s] /proc/loadavg: 2.00 2.00 1.85 3/179 17215 /proc/meminfo: memFree=31955256/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=6296 CPUtime=3.09 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 1975 0 0 0 309 0 0 0 20 0 1 0 323340603 6447104 1292 33554432000 4194304 5276501 140734406219792 140734406218984 4378892 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 1574 1292 89 265 0 1306 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15444 [startup+6.30024 s] /proc/loadavg: 2.00 2.00 1.85 3/179 17215 /proc/meminfo: memFree=31955256/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=6296 CPUtime=6.29 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 1975 0 0 0 629 0 0 0 20 0 1 0 323340603 6447104 1292 33554432000 4194304 5276501 140734406219792 140734406218984 4378937 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 1574 1292 89 265 0 1306 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15444 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.85 3/179 17215 /proc/meminfo: memFree=31934992/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=28396 CPUtime=12.69 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 7312 0 0 0 1268 1 0 0 20 0 1 0 323340603 29077504 6629 33554432000 4194304 5276501 140734406219792 140734406217976 4400134 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 7099 6629 149 265 0 6831 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37544 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 1.85 3/179 17215 /proc/meminfo: memFree=31850620/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=49164 CPUtime=25.48 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 12441 0 0 0 2546 2 0 0 20 0 1 0 323340603 50343936 11758 33554432000 4194304 5276501 140734406219792 140734406217784 4399836 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 12291 11759 150 265 0 12023 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58312 [startup+51.1004 s] /proc/loadavg: 2.06 2.01 1.86 3/179 17215 /proc/meminfo: memFree=31811760/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=70064 CPUtime=51.06 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 17693 0 0 0 5102 4 0 0 20 0 1 0 323340603 71745536 17140 33554432000 4194304 5276501 140734406219792 140734406217784 4399804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 17516 17140 151 265 0 17248 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 79212 [startup+102.307 s] /proc/loadavg: 2.02 2.01 1.86 3/179 17215 /proc/meminfo: memFree=31707084/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=152452 CPUtime=102.22 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 38123 0 0 0 10211 11 0 0 20 0 1 0 323340603 156110848 37543 33554432000 4194304 5276501 140734406219792 140734406218040 4394779 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 38113 37543 151 265 0 37845 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 161600 [startup+162.3 s] /proc/loadavg: 2.01 2.00 1.87 3/179 17215 /proc/meminfo: memFree=31644808/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=202404 CPUtime=162.19 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 50627 0 0 0 16204 15 0 0 20 0 1 0 323340603 207261696 50047 33554432000 4194304 5276501 140734406219792 140734406217784 4399804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 50601 50047 151 265 0 50333 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 211552 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 17215 /proc/meminfo: memFree=31601252/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=229024 CPUtime=222.19 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 57363 0 0 0 22201 18 0 0 20 0 1 0 323340603 234520576 56783 33554432000 4194304 5276501 140734406219792 140734406218040 4399854 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 57256 56783 151 265 0 56988 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 238172 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.88 3/180 17219 /proc/meminfo: memFree=31579876/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=241000 CPUtime=282.18 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 60346 0 0 0 28199 19 0 0 20 0 1 0 323340603 246784000 59766 33554432000 4194304 5276501 140734406219792 140734406217784 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 60250 59766 151 265 0 59982 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 250148 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 17219 /proc/meminfo: memFree=31570924/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=241000 CPUtime=342.13 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 60384 0 0 0 34194 19 0 0 20 0 1 0 323340603 246784000 59777 33554432000 4194304 5276501 140734406219792 140734406218040 4400432 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 60250 59777 151 265 0 59982 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 250148 [startup+402.3 s] /proc/loadavg: 2.05 2.01 1.90 3/179 17219 /proc/meminfo: memFree=31560248/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=328396 CPUtime=1121.99 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 82271 0 0 0 112170 29 0 0 20 0 1 0 323340603 336277504 81666 33554432000 4194304 5276501 140734406219792 140734406217384 4397587 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 82099 81666 151 265 0 81831 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 337544 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17226 /proc/meminfo: memFree=31116108/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=328396 CPUtime=1181.96 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 82298 0 0 0 118167 29 0 0 20 0 1 0 323340603 336277504 81704 33554432000 4194304 5276501 140734406219792 140734406217384 4399860 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 82099 81704 151 265 0 81831 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 337544 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17226 /proc/meminfo: memFree=31095524/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=347504 CPUtime=1241.95 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 86811 0 0 0 124164 31 0 0 20 0 1 0 323340603 355844096 86217 33554432000 4194304 5276501 140734406219792 140734406217784 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 86876 86217 151 265 0 86608 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 356652 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17226 /proc/meminfo: memFree=31090624/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=347504 CPUtime=1301.95 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 86811 0 0 0 130164 31 0 0 20 0 1 0 323340603 355844096 86217 33554432000 4194304 5276501 140734406219792 140734406217784 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 86876 86217 151 265 0 86608 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 356652 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17226 /proc/meminfo: memFree=31088144/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=347504 CPUtime=1361.94 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 86811 0 0 0 136163 31 0 0 20 0 1 0 323340603 355844096 86217 33554432000 4194304 5276501 140734406219792 140734406217784 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 86876 86217 151 265 0 86608 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 356652 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17226 /proc/meminfo: memFree=31083412/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=347504 CPUtime=1421.93 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 86811 0 0 0 142162 31 0 0 20 0 1 0 323340603 355844096 86217 33554432000 4194304 5276501 140734406219792 140734406217784 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 86876 86217 151 265 0 86608 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 356652 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 17230 /proc/meminfo: memFree=31063016/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=365820 CPUtime=1481.92 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 91373 0 0 0 148158 34 0 0 20 0 1 0 323340603 374599680 90779 33554432000 4194304 5276501 140734406219792 140734406217784 4397140 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 91455 90779 151 265 0 91187 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 374968 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 17253 /proc/meminfo: memFree=31055612/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=365820 CPUtime=1541.91 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 91373 0 0 0 154157 34 0 0 20 0 1 0 323340603 374599680 90779 33554432000 4194304 5276501 140734406219792 140734406217784 4394737 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 91455 90779 151 265 0 91187 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 374968 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17253 /proc/meminfo: memFree=31054072/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=365820 CPUtime=1601.9 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 91373 0 0 0 160156 34 0 0 20 0 1 0 323340603 374599680 90779 33554432000 4194304 5276501 140734406219792 140734406218040 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 91455 90779 151 265 0 91187 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 374968 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17253 /proc/meminfo: memFree=31051592/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=365820 CPUtime=1661.89 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 91373 0 0 0 166155 34 0 0 20 0 1 0 323340603 374599680 90779 33554432000 4194304 5276501 140734406219792 140734406218040 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 91455 90779 151 265 0 91187 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 374968 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17253 /proc/meminfo: memFree=31040600/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=370876 CPUtime=1721.87 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 92673 0 0 0 172152 35 0 0 20 0 1 0 323340603 379777024 92075 33554432000 4194304 5276501 140734406219792 140734406217384 4397776 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 92719 92075 151 265 0 92451 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 380024 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17254 /proc/meminfo: memFree=31037476/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=370876 CPUtime=1781.86 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 92684 0 0 0 178151 35 0 0 20 0 1 0 323340603 379777024 92294 33554432000 4194304 5276501 140734406219792 140734406217384 4399829 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 92719 92294 151 265 0 92451 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 380024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.00 1.93 2/177 17255 /proc/meminfo: memFree=31602320/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=370876 CPUtime=1800.06 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 92684 0 0 0 179971 35 0 0 20 0 1 0 323340603 379777024 92294 33554432000 4194304 5276501 140734406219792 140734406217384 4391563 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 92719 92294 151 265 0 92451 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 380024 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.00 2.00 1.93 2/177 17255 /proc/meminfo: memFree=31602320/32873844 swapFree=7116/7116 [pid=17201] ppid=17198 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17201/stat : 17201 (minisat+_script) S 17198 17201 15226 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323340603 9367552 277 33554432000 4194304 5064252 140736288101888 140736288100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17201/statm: 2287 277 236 213 0 72 0 [pid=17205] ppid=17201 vsize=370876 CPUtime=1800.06 cores=1,3,5,7 /proc/17205/stat : 17205 (minisat+_64-bit) R 17201 17201 15226 0 -1 4202496 92684 0 0 0 179971 35 0 0 20 0 1 0 323340603 379777024 92294 33554432000 4194304 5276501 140734406219792 140734406217384 4391563 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/17205/statm: 92719 92294 151 265 0 92451 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 380024 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.72 CPU system time (s): 0.355945 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 380024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.72 system time used= 0.355945 maximum resident set size= 369180 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93631 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= 186 involuntary context switches= 1873 runsolver used 3.67944 second user time and 8.86865 second system time The end
Begin job on node103 at 2012-06-01 19:35:20 IDJOB=3722978 IDBENCH=2513 IDSOLVER=2307 FILE ID=node103/3722978-1338572120 RUNJOBID= node103-1338570317-17077 PBS_JOBID= 14635887 Free space on /tmp= 71140 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722978-1338572120/watcher-3722978-1338572120 -o /tmp/evaluation-result-3722978-1338572120/solver-3722978-1338572120 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3722978-1338572120.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 00504f72d4d33ef46136a0269c782c15 RANDOM SEED=963239095 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 : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.37 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5411.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31977348 kB Buffers: 78376 kB Cached: 69568 kB SwapCached: 5604 kB Active: 43280 kB Inactive: 112404 kB Active(anon): 5268 kB Inactive(anon): 4628 kB Active(file): 38012 kB Inactive(file): 107776 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67096276 kB Dirty: 2776 kB Writeback: 0 kB AnonPages: 10004 kB Mapped: 7876 kB Shmem: 0 kB Slab: 603296 kB SReclaimable: 43988 kB SUnreclaim: 559308 kB KernelStack: 1440 kB PageTables: 3616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 103028 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71136 MiB End job on node103 at 2012-06-01 20:05:21