| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | OPT | -80 | 1786.21 | 1786.55 |
| Name | /OPT-SMALLINT-LIN/heinz/ normalized-neos-777800.opb |
| MD5SUM | fa5c07257df1fb9de8867209807734ca |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -80 |
| Best CPU time to get the best result obtained on this benchmark | 97.7781 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6400 |
| Total number of constraints | 475 |
| Number of constraints which are clauses | 4 |
| Number of constraints which are cardinality constraints (but not clauses) | 471 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 6400 |
| Number of terms in the objective function | 6400 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6400 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 80 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 6480 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.19/0.21 c Converting 476 PB-constraints to clauses... 0.19/0.21 c -- Unit propagations: (none) 0.19/0.21 c -- Detecting intervals from adjacent constraints: # 0.19/0.21 c -- Clauses(.)/Splits(s): .... 0.19/0.21 c ---[ 475]---> BDD-cost: 157 0.19/0.21 c ---[ 474]---> BDD-cost: 157 0.19/0.22 c ---[ 473]---> BDD-cost: 157 0.19/0.22 c ---[ 472]---> BDD-cost: 157 0.19/0.22 c ---[ 471]---> BDD-cost: 157 0.19/0.22 c ---[ 470]---> BDD-cost: 157 0.19/0.22 c ---[ 469]---> BDD-cost: 157 0.19/0.22 c ---[ 468]---> BDD-cost: 157 0.19/0.23 c ---[ 467]---> BDD-cost: 157 0.19/0.23 c ---[ 466]---> BDD-cost: 157 0.19/0.23 c ---[ 465]---> BDD-cost: 157 0.19/0.23 c ---[ 464]---> BDD-cost: 157 0.19/0.23 c ---[ 463]---> BDD-cost: 157 0.19/0.23 c ---[ 462]---> BDD-cost: 157 0.19/0.24 c ---[ 461]---> BDD-cost: 157 0.19/0.24 c ---[ 460]---> BDD-cost: 157 0.19/0.24 c ---[ 459]---> BDD-cost: 157 0.19/0.24 c ---[ 458]---> BDD-cost: 157 0.19/0.24 c ---[ 457]---> BDD-cost: 157 0.19/0.24 c ---[ 456]---> BDD-cost: 157 0.19/0.25 c ---[ 455]---> BDD-cost: 157 0.19/0.25 c ---[ 454]---> BDD-cost: 157 0.19/0.25 c ---[ 453]---> BDD-cost: 157 0.19/0.25 c ---[ 452]---> BDD-cost: 157 0.19/0.25 c ---[ 451]---> BDD-cost: 157 0.19/0.25 c ---[ 450]---> BDD-cost: 157 0.19/0.26 c ---[ 449]---> BDD-cost: 157 0.19/0.26 c ---[ 448]---> BDD-cost: 157 0.19/0.26 c ---[ 447]---> BDD-cost: 157 0.19/0.26 c ---[ 446]---> BDD-cost: 157 0.19/0.26 c ---[ 445]---> BDD-cost: 157 0.19/0.26 c ---[ 444]---> BDD-cost: 157 0.19/0.27 c ---[ 443]---> BDD-cost: 157 0.19/0.27 c ---[ 442]---> BDD-cost: 157 0.19/0.27 c ---[ 441]---> BDD-cost: 157 0.19/0.27 c ---[ 440]---> BDD-cost: 157 0.19/0.27 c ---[ 439]---> BDD-cost: 157 0.19/0.27 c ---[ 438]---> BDD-cost: 157 0.19/0.28 c ---[ 437]---> BDD-cost: 157 0.19/0.28 c ---[ 436]---> BDD-cost: 157 0.19/0.28 c ---[ 435]---> BDD-cost: 157 0.19/0.28 c ---[ 434]---> BDD-cost: 157 0.19/0.28 c ---[ 433]---> BDD-cost: 157 0.19/0.28 c ---[ 432]---> BDD-cost: 157 0.19/0.29 c ---[ 431]---> BDD-cost: 157 0.19/0.29 c ---[ 430]---> BDD-cost: 157 0.19/0.29 c ---[ 429]---> BDD-cost: 157 0.19/0.29 c ---[ 428]---> BDD-cost: 157 0.19/0.29 c ---[ 427]---> BDD-cost: 157 0.19/0.29 c ---[ 426]---> BDD-cost: 157 0.29/0.30 c ---[ 425]---> BDD-cost: 157 0.29/0.30 c ---[ 424]---> BDD-cost: 157 0.29/0.30 c ---[ 423]---> BDD-cost: 157 0.29/0.30 c ---[ 422]---> BDD-cost: 157 0.29/0.30 c ---[ 421]---> BDD-cost: 157 0.29/0.30 c ---[ 420]---> BDD-cost: 157 0.29/0.31 c ---[ 419]---> BDD-cost: 157 0.29/0.31 c ---[ 418]---> BDD-cost: 157 0.29/0.31 c ---[ 417]---> BDD-cost: 157 0.29/0.31 c ---[ 416]---> BDD-cost: 157 0.29/0.31 c ---[ 415]---> BDD-cost: 157 0.29/0.31 c ---[ 414]---> BDD-cost: 157 0.29/0.32 c ---[ 413]---> BDD-cost: 157 0.29/0.32 c ---[ 412]---> BDD-cost: 157 0.29/0.32 c ---[ 411]---> BDD-cost: 157 0.29/0.32 c ---[ 410]---> BDD-cost: 157 0.29/0.32 c ---[ 409]---> BDD-cost: 157 0.29/0.32 c ---[ 408]---> BDD-cost: 157 0.29/0.33 c ---[ 407]---> BDD-cost: 157 0.29/0.33 c ---[ 406]---> BDD-cost: 157 0.29/0.33 c ---[ 405]---> BDD-cost: 157 0.29/0.33 c ---[ 404]---> BDD-cost: 157 0.29/0.33 c ---[ 403]---> BDD-cost: 157 0.29/0.33 c ---[ 402]---> BDD-cost: 157 0.29/0.34 c ---[ 401]---> BDD-cost: 157 0.29/0.34 c ---[ 400]---> BDD-cost: 157 0.29/0.34 c ---[ 399]---> BDD-cost: 157 0.29/0.34 c ---[ 398]---> BDD-cost: 157 0.29/0.34 c ---[ 397]---> BDD-cost: 157 0.29/0.34 c ---[ 396]---> BDD-cost: 157 0.29/0.35 c ---[ 395]---> BDD-cost: 157 0.29/0.35 c ---[ 394]---> BDD-cost: 157 0.29/0.35 c ---[ 393]---> BDD-cost: 157 0.29/0.35 c ---[ 392]---> BDD-cost: 157 0.29/0.35 c ---[ 391]---> BDD-cost: 157 0.29/0.35 c ---[ 390]---> BDD-cost: 157 0.29/0.36 c ---[ 389]---> BDD-cost: 157 0.29/0.36 c ---[ 388]---> BDD-cost: 157 0.29/0.36 c ---[ 387]---> BDD-cost: 157 0.29/0.36 c ---[ 386]---> BDD-cost: 157 0.29/0.36 c ---[ 385]---> BDD-cost: 157 0.29/0.36 c ---[ 384]---> BDD-cost: 157 0.29/0.37 c ---[ 383]---> BDD-cost: 157 0.29/0.37 c ---[ 382]---> BDD-cost: 157 0.29/0.37 c ---[ 381]---> BDD-cost: 157 0.29/0.37 c ---[ 380]---> BDD-cost: 157 0.29/0.37 c ---[ 379]---> BDD-cost: 157 0.29/0.37 c ---[ 378]---> BDD-cost: 157 0.29/0.38 c ---[ 377]---> BDD-cost: 157 0.29/0.38 c ---[ 376]---> BDD-cost: 157 0.29/0.38 c ---[ 375]---> BDD-cost: 157 0.29/0.38 c ---[ 374]---> BDD-cost: 157 0.29/0.38 c ---[ 373]---> BDD-cost: 157 0.29/0.38 c ---[ 372]---> BDD-cost: 157 0.29/0.39 c ---[ 371]---> BDD-cost: 157 0.29/0.39 c ---[ 370]---> BDD-cost: 157 0.29/0.39 c ---[ 369]---> BDD-cost: 157 0.29/0.39 c ---[ 368]---> BDD-cost: 157 0.29/0.39 c ---[ 367]---> BDD-cost: 157 0.29/0.39 c ---[ 366]---> BDD-cost: 157 0.39/0.40 c ---[ 365]---> BDD-cost: 157 0.39/0.40 c ---[ 364]---> BDD-cost: 157 0.39/0.40 c ---[ 363]---> BDD-cost: 157 0.39/0.40 c ---[ 362]---> BDD-cost: 157 0.39/0.40 c ---[ 361]---> BDD-cost: 157 0.39/0.41 c ---[ 360]---> BDD-cost: 157 0.39/0.41 c ---[ 359]---> BDD-cost: 157 0.39/0.41 c ---[ 358]---> BDD-cost: 157 0.39/0.41 c ---[ 357]---> BDD-cost: 157 0.39/0.41 c ---[ 356]---> BDD-cost: 157 0.39/0.41 c ---[ 355]---> BDD-cost: 157 0.39/0.42 c ---[ 354]---> BDD-cost: 157 0.39/0.42 c ---[ 353]---> BDD-cost: 157 0.39/0.42 c ---[ 352]---> BDD-cost: 157 0.39/0.42 c ---[ 351]---> BDD-cost: 157 0.39/0.42 c ---[ 350]---> BDD-cost: 157 0.39/0.42 c ---[ 349]---> BDD-cost: 157 0.39/0.43 c ---[ 348]---> BDD-cost: 157 0.39/0.43 c ---[ 347]---> BDD-cost: 157 0.39/0.43 c ---[ 346]---> BDD-cost: 157 0.39/0.43 c ---[ 345]---> BDD-cost: 157 0.39/0.43 c ---[ 344]---> BDD-cost: 157 0.39/0.43 c ---[ 343]---> BDD-cost: 157 0.39/0.44 c ---[ 342]---> BDD-cost: 157 0.39/0.44 c ---[ 341]---> BDD-cost: 157 0.39/0.44 c ---[ 340]---> BDD-cost: 157 0.39/0.44 c ---[ 339]---> BDD-cost: 157 0.39/0.44 c ---[ 338]---> BDD-cost: 157 0.39/0.44 c ---[ 337]---> BDD-cost: 157 0.39/0.45 c ---[ 336]---> BDD-cost: 157 0.39/0.45 c ---[ 335]---> BDD-cost: 157 0.39/0.45 c ---[ 334]---> BDD-cost: 157 0.39/0.45 c ---[ 333]---> BDD-cost: 157 0.39/0.45 c ---[ 332]---> BDD-cost: 157 0.39/0.45 c ---[ 331]---> BDD-cost: 157 0.39/0.46 c ---[ 330]---> BDD-cost: 157 0.39/0.46 c ---[ 329]---> BDD-cost: 157 0.39/0.46 c ---[ 328]---> BDD-cost: 157 0.39/0.46 c ---[ 327]---> BDD-cost: 157 0.39/0.46 c ---[ 326]---> BDD-cost: 157 0.39/0.46 c ---[ 325]---> BDD-cost: 157 0.39/0.47 c ---[ 324]---> BDD-cost: 157 0.39/0.47 c ---[ 323]---> BDD-cost: 157 0.39/0.47 c ---[ 322]---> BDD-cost: 157 0.39/0.47 c ---[ 321]---> BDD-cost: 157 0.39/0.47 c ---[ 320]---> BDD-cost: 157 0.39/0.47 c ---[ 319]---> BDD-cost: 157 0.39/0.48 c ---[ 318]---> BDD-cost: 157 0.39/0.48 c ---[ 317]---> BDD-cost: 157 0.39/0.48 c ---[ 316]---> BDD-cost: 157 0.39/0.48 c ---[ 314]---> Adder-cost: 12794 maxlim: 6320 bits: 13/13 13.39/13.40 c ---[ 312]---> BDD-cost: 3 13.39/13.40 c ---[ 311]---> BDD-cost: 5 13.39/13.40 c ---[ 310]---> BDD-cost: 7 13.39/13.40 c ---[ 309]---> BDD-cost: 9 13.39/13.40 c ---[ 308]---> BDD-cost: 11 13.39/13.40 c ---[ 307]---> BDD-cost: 13 13.39/13.40 c ---[ 306]---> BDD-cost: 15 13.39/13.40 c ---[ 305]---> BDD-cost: 17 13.39/13.40 c ---[ 304]---> BDD-cost: 19 13.39/13.40 c ---[ 303]---> BDD-cost: 21 13.39/13.40 c ---[ 302]---> BDD-cost: 23 13.39/13.40 c ---[ 301]---> BDD-cost: 25 13.39/13.40 c ---[ 300]---> BDD-cost: 27 13.39/13.40 c ---[ 299]---> BDD-cost: 29 13.39/13.40 c ---[ 298]---> BDD-cost: 31 13.39/13.40 c ---[ 297]---> BDD-cost: 33 13.39/13.40 c ---[ 296]---> BDD-cost: 35 13.39/13.40 c ---[ 295]---> BDD-cost: 37 13.39/13.40 c ---[ 294]---> BDD-cost: 39 13.39/13.40 c ---[ 293]---> BDD-cost: 41 13.39/13.40 c ---[ 292]---> BDD-cost: 43 13.39/13.40 c ---[ 291]---> BDD-cost: 45 13.39/13.40 c ---[ 290]---> BDD-cost: 47 13.39/13.40 c ---[ 289]---> BDD-cost: 49 13.39/13.40 c ---[ 288]---> BDD-cost: 51 13.39/13.40 c ---[ 287]---> BDD-cost: 53 13.39/13.41 c ---[ 286]---> BDD-cost: 55 13.39/13.41 c ---[ 285]---> BDD-cost: 57 13.39/13.41 c ---[ 284]---> BDD-cost: 59 13.39/13.41 c ---[ 283]---> BDD-cost: 61 13.39/13.41 c ---[ 282]---> BDD-cost: 63 13.39/13.41 c ---[ 281]---> BDD-cost: 65 13.39/13.41 c ---[ 280]---> BDD-cost: 67 13.39/13.41 c ---[ 279]---> BDD-cost: 69 13.39/13.41 c ---[ 278]---> BDD-cost: 71 13.39/13.41 c ---[ 277]---> BDD-cost: 73 13.39/13.41 c ---[ 276]---> BDD-cost: 75 13.39/13.41 c ---[ 275]---> BDD-cost: 77 13.39/13.41 c ---[ 274]---> BDD-cost: 79 13.39/13.41 c ---[ 273]---> BDD-cost: 81 13.39/13.41 c ---[ 272]---> BDD-cost: 83 13.39/13.41 c ---[ 271]---> BDD-cost: 85 13.39/13.41 c ---[ 270]---> BDD-cost: 87 13.39/13.41 c ---[ 269]---> BDD-cost: 89 13.39/13.41 c ---[ 268]---> BDD-cost: 91 13.39/13.41 c ---[ 267]---> BDD-cost: 93 13.39/13.41 c ---[ 266]---> BDD-cost: 95 13.39/13.42 c ---[ 265]---> BDD-cost: 97 13.39/13.42 c ---[ 264]---> BDD-cost: 99 13.39/13.42 c ---[ 263]---> BDD-cost: 101 13.39/13.42 c ---[ 262]---> BDD-cost: 103 13.39/13.42 c ---[ 261]---> BDD-cost: 105 13.39/13.42 c ---[ 260]---> BDD-cost: 107 13.39/13.42 c ---[ 259]---> BDD-cost: 109 13.39/13.42 c ---[ 258]---> BDD-cost: 111 13.39/13.42 c ---[ 257]---> BDD-cost: 113 13.39/13.42 c ---[ 256]---> BDD-cost: 115 13.39/13.42 c ---[ 255]---> BDD-cost: 117 13.39/13.42 c ---[ 254]---> BDD-cost: 119 13.39/13.43 c ---[ 253]---> BDD-cost: 121 13.39/13.43 c ---[ 252]---> BDD-cost: 123 13.39/13.43 c ---[ 251]---> BDD-cost: 125 13.39/13.43 c ---[ 250]---> BDD-cost: 127 13.39/13.43 c ---[ 249]---> BDD-cost: 129 13.39/13.43 c ---[ 248]---> BDD-cost: 131 13.39/13.43 c ---[ 247]---> BDD-cost: 133 13.39/13.43 c ---[ 246]---> BDD-cost: 135 13.39/13.43 c ---[ 245]---> BDD-cost: 137 13.39/13.44 c ---[ 244]---> BDD-cost: 139 13.39/13.44 c ---[ 243]---> BDD-cost: 141 13.39/13.44 c ---[ 242]---> BDD-cost: 143 13.39/13.44 c ---[ 241]---> BDD-cost: 145 13.39/13.44 c ---[ 240]---> BDD-cost: 147 13.39/13.44 c ---[ 239]---> BDD-cost: 149 13.39/13.44 c ---[ 238]---> BDD-cost: 151 13.39/13.44 c ---[ 237]---> BDD-cost: 153 13.39/13.45 c ---[ 236]---> BDD-cost: 155 13.39/13.45 c ---[ 235]---> BDD-cost: 157 13.39/13.45 c ---[ 234]---> BDD-cost: 155 13.39/13.45 c ---[ 233]---> BDD-cost: 153 13.39/13.45 c ---[ 232]---> BDD-cost: 151 13.39/13.45 c ---[ 231]---> BDD-cost: 149 13.39/13.46 c ---[ 230]---> BDD-cost: 147 13.39/13.46 c ---[ 229]---> BDD-cost: 145 13.39/13.46 c ---[ 228]---> BDD-cost: 143 13.39/13.46 c ---[ 227]---> BDD-cost: 141 13.39/13.46 c ---[ 226]---> BDD-cost: 139 13.39/13.46 c ---[ 225]---> BDD-cost: 137 13.39/13.46 c ---[ 224]---> BDD-cost: 135 13.39/13.46 c ---[ 223]---> BDD-cost: 133 13.39/13.47 c ---[ 222]---> BDD-cost: 131 13.39/13.47 c ---[ 221]---> BDD-cost: 129 13.39/13.47 c ---[ 220]---> BDD-cost: 127 13.39/13.47 c ---[ 219]---> BDD-cost: 125 13.39/13.47 c ---[ 218]---> BDD-cost: 123 13.39/13.47 c ---[ 217]---> BDD-cost: 121 13.39/13.47 c ---[ 216]---> BDD-cost: 119 13.39/13.47 c ---[ 215]---> BDD-cost: 117 13.39/13.47 c ---[ 214]---> BDD-cost: 115 13.39/13.48 c ---[ 213]---> BDD-cost: 113 13.39/13.48 c ---[ 212]---> BDD-cost: 111 13.39/13.48 c ---[ 211]---> BDD-cost: 109 13.39/13.48 c ---[ 210]---> BDD-cost: 107 13.39/13.48 c ---[ 209]---> BDD-cost: 105 13.39/13.48 c ---[ 208]---> BDD-cost: 103 13.39/13.48 c ---[ 207]---> BDD-cost: 101 13.39/13.48 c ---[ 206]---> BDD-cost: 99 13.39/13.48 c ---[ 205]---> BDD-cost: 97 13.39/13.48 c ---[ 204]---> BDD-cost: 95 13.39/13.48 c ---[ 203]---> BDD-cost: 93 13.39/13.48 c ---[ 202]---> BDD-cost: 91 13.39/13.48 c ---[ 201]---> BDD-cost: 89 13.39/13.48 c ---[ 200]---> BDD-cost: 87 13.39/13.49 c ---[ 199]---> BDD-cost: 85 13.39/13.49 c ---[ 198]---> BDD-cost: 83 13.39/13.49 c ---[ 197]---> BDD-cost: 81 13.39/13.49 c ---[ 196]---> BDD-cost: 79 13.39/13.49 c ---[ 195]---> BDD-cost: 77 13.39/13.49 c ---[ 194]---> BDD-cost: 75 13.39/13.49 c ---[ 193]---> BDD-cost: 73 13.39/13.49 c ---[ 192]---> BDD-cost: 71 13.39/13.49 c ---[ 191]---> BDD-cost: 69 13.39/13.49 c ---[ 190]---> BDD-cost: 67 13.39/13.49 c ---[ 189]---> BDD-cost: 65 13.39/13.49 c ---[ 188]---> BDD-cost: 63 13.39/13.49 c ---[ 187]---> BDD-cost: 61 13.39/13.49 c ---[ 186]---> BDD-cost: 59 13.39/13.49 c ---[ 185]---> BDD-cost: 57 13.39/13.49 c ---[ 184]---> BDD-cost: 55 13.39/13.49 c ---[ 183]---> BDD-cost: 53 13.39/13.49 c ---[ 182]---> BDD-cost: 51 13.39/13.49 c ---[ 181]---> BDD-cost: 49 13.39/13.49 c ---[ 180]---> BDD-cost: 47 13.39/13.49 c ---[ 179]---> BDD-cost: 45 13.39/13.49 c ---[ 178]---> BDD-cost: 43 13.39/13.49 c ---[ 177]---> BDD-cost: 41 13.39/13.49 c ---[ 176]---> BDD-cost: 39 13.39/13.49 c ---[ 175]---> BDD-cost: 37 13.39/13.49 c ---[ 174]---> BDD-cost: 35 13.39/13.49 c ---[ 173]---> BDD-cost: 33 13.39/13.49 c ---[ 172]---> BDD-cost: 31 13.39/13.49 c ---[ 171]---> BDD-cost: 29 13.39/13.49 c ---[ 170]---> BDD-cost: 27 13.39/13.49 c ---[ 169]---> BDD-cost: 25 13.39/13.50 c ---[ 168]---> BDD-cost: 23 13.39/13.50 c ---[ 167]---> BDD-cost: 21 13.39/13.50 c ---[ 166]---> BDD-cost: 19 13.39/13.50 c ---[ 165]---> BDD-cost: 17 13.39/13.50 c ---[ 164]---> BDD-cost: 15 13.39/13.50 c ---[ 163]---> BDD-cost: 13 13.49/13.50 c ---[ 162]---> BDD-cost: 11 13.49/13.50 c ---[ 161]---> BDD-cost: 9 13.49/13.50 c ---[ 160]---> BDD-cost: 7 13.49/13.50 c ---[ 159]---> BDD-cost: 5 13.49/13.50 c ---[ 158]---> BDD-cost: 3 13.49/13.50 c ---[ 155]---> BDD-cost: 3 13.49/13.50 c ---[ 154]---> BDD-cost: 5 13.49/13.50 c ---[ 153]---> BDD-cost: 7 13.49/13.50 c ---[ 152]---> BDD-cost: 9 13.49/13.50 c ---[ 151]---> BDD-cost: 11 13.49/13.50 c ---[ 150]---> BDD-cost: 13 13.49/13.50 c ---[ 149]---> BDD-cost: 15 13.49/13.50 c ---[ 148]---> BDD-cost: 17 13.49/13.50 c ---[ 147]---> BDD-cost: 19 13.49/13.50 c ---[ 146]---> BDD-cost: 21 13.49/13.50 c ---[ 145]---> BDD-cost: 23 13.49/13.50 c ---[ 144]---> BDD-cost: 25 13.49/13.50 c ---[ 143]---> BDD-cost: 27 13.49/13.50 c ---[ 142]---> BDD-cost: 29 13.49/13.50 c ---[ 141]---> BDD-cost: 31 13.49/13.50 c ---[ 140]---> BDD-cost: 33 13.49/13.50 c ---[ 139]---> BDD-cost: 35 13.49/13.50 c ---[ 138]---> BDD-cost: 37 13.49/13.50 c ---[ 137]---> BDD-cost: 39 13.49/13.50 c ---[ 136]---> BDD-cost: 41 13.49/13.50 c ---[ 135]---> BDD-cost: 43 13.49/13.50 c ---[ 134]---> BDD-cost: 45 13.49/13.50 c ---[ 133]---> BDD-cost: 47 13.49/13.50 c ---[ 132]---> BDD-cost: 49 13.49/13.50 c ---[ 131]---> BDD-cost: 51 13.49/13.50 c ---[ 130]---> BDD-cost: 53 13.49/13.50 c ---[ 129]---> BDD-cost: 55 13.49/13.50 c ---[ 128]---> BDD-cost: 57 13.49/13.50 c ---[ 127]---> BDD-cost: 59 13.49/13.50 c ---[ 126]---> BDD-cost: 61 13.49/13.50 c ---[ 125]---> BDD-cost: 63 13.49/13.50 c ---[ 124]---> BDD-cost: 65 13.49/13.50 c ---[ 123]---> BDD-cost: 67 13.49/13.50 c ---[ 122]---> BDD-cost: 69 13.49/13.50 c ---[ 121]---> BDD-cost: 71 13.49/13.50 c ---[ 120]---> BDD-cost: 73 13.49/13.50 c ---[ 119]---> BDD-cost: 75 13.49/13.50 c ---[ 118]---> BDD-cost: 77 13.49/13.50 c ---[ 117]---> BDD-cost: 79 13.49/13.50 c ---[ 116]---> BDD-cost: 81 13.49/13.50 c ---[ 115]---> BDD-cost: 83 13.49/13.51 c ---[ 114]---> BDD-cost: 85 13.49/13.51 c ---[ 113]---> BDD-cost: 87 13.49/13.51 c ---[ 112]---> BDD-cost: 89 13.49/13.51 c ---[ 111]---> BDD-cost: 91 13.49/13.51 c ---[ 110]---> BDD-cost: 93 13.49/13.51 c ---[ 109]---> BDD-cost: 95 13.49/13.51 c ---[ 108]---> BDD-cost: 97 13.49/13.51 c ---[ 107]---> BDD-cost: 99 13.49/13.51 c ---[ 106]---> BDD-cost: 101 13.49/13.51 c ---[ 105]---> BDD-cost: 103 13.49/13.51 c ---[ 104]---> BDD-cost: 105 13.49/13.51 c ---[ 103]---> BDD-cost: 107 13.49/13.51 c ---[ 102]---> BDD-cost: 109 13.49/13.51 c ---[ 101]---> BDD-cost: 111 13.49/13.52 c ---[ 100]---> BDD-cost: 113 13.49/13.52 c ---[ 99]---> BDD-cost: 115 13.49/13.52 c ---[ 98]---> BDD-cost: 117 13.49/13.52 c ---[ 97]---> BDD-cost: 119 13.49/13.52 c ---[ 96]---> BDD-cost: 121 13.49/13.52 c ---[ 95]---> BDD-cost: 123 13.49/13.52 c ---[ 94]---> BDD-cost: 125 13.49/13.52 c ---[ 93]---> BDD-cost: 127 13.49/13.52 c ---[ 92]---> BDD-cost: 129 13.49/13.52 c ---[ 91]---> BDD-cost: 131 13.49/13.53 c ---[ 90]---> BDD-cost: 133 13.49/13.53 c ---[ 89]---> BDD-cost: 135 13.49/13.53 c ---[ 88]---> BDD-cost: 137 13.49/13.53 c ---[ 87]---> BDD-cost: 139 13.49/13.53 c ---[ 86]---> BDD-cost: 141 13.49/13.53 c ---[ 85]---> BDD-cost: 143 13.49/13.53 c ---[ 84]---> BDD-cost: 145 13.49/13.53 c ---[ 83]---> BDD-cost: 147 13.49/13.54 c ---[ 82]---> BDD-cost: 149 13.49/13.54 c ---[ 81]---> BDD-cost: 151 13.49/13.54 c ---[ 80]---> BDD-cost: 153 13.49/13.54 c ---[ 79]---> BDD-cost: 155 13.49/13.54 c ---[ 78]---> BDD-cost: 157 13.49/13.54 c ---[ 77]---> BDD-cost: 155 13.49/13.54 c ---[ 76]---> BDD-cost: 153 13.49/13.55 c ---[ 75]---> BDD-cost: 151 13.49/13.55 c ---[ 74]---> BDD-cost: 149 13.49/13.55 c ---[ 73]---> BDD-cost: 147 13.49/13.55 c ---[ 72]---> BDD-cost: 145 13.49/13.55 c ---[ 71]---> BDD-cost: 143 13.49/13.55 c ---[ 70]---> BDD-cost: 141 13.49/13.55 c ---[ 69]---> BDD-cost: 139 13.49/13.56 c ---[ 68]---> BDD-cost: 137 13.49/13.56 c ---[ 67]---> BDD-cost: 135 13.49/13.56 c ---[ 66]---> BDD-cost: 133 13.49/13.56 c ---[ 65]---> BDD-cost: 131 13.49/13.56 c ---[ 64]---> BDD-cost: 129 13.49/13.56 c ---[ 63]---> BDD-cost: 127 13.49/13.56 c ---[ 62]---> BDD-cost: 125 13.49/13.56 c ---[ 61]---> BDD-cost: 123 13.49/13.57 c ---[ 60]---> BDD-cost: 121 13.49/13.57 c ---[ 59]---> BDD-cost: 119 13.49/13.57 c ---[ 58]---> BDD-cost: 117 13.49/13.57 c ---[ 57]---> BDD-cost: 115 13.49/13.57 c ---[ 56]---> BDD-cost: 113 13.49/13.57 c ---[ 55]---> BDD-cost: 111 13.49/13.57 c ---[ 54]---> BDD-cost: 109 13.49/13.57 c ---[ 53]---> BDD-cost: 107 13.49/13.57 c ---[ 52]---> BDD-cost: 105 13.49/13.57 c ---[ 51]---> BDD-cost: 103 13.49/13.57 c ---[ 50]---> BDD-cost: 101 13.49/13.57 c ---[ 49]---> BDD-cost: 99 13.49/13.58 c ---[ 48]---> BDD-cost: 97 13.49/13.58 c ---[ 47]---> BDD-cost: 95 13.49/13.58 c ---[ 46]---> BDD-cost: 93 13.49/13.58 c ---[ 45]---> BDD-cost: 91 13.49/13.58 c ---[ 44]---> BDD-cost: 89 13.49/13.58 c ---[ 43]---> BDD-cost: 87 13.49/13.58 c ---[ 42]---> BDD-cost: 85 13.49/13.58 c ---[ 41]---> BDD-cost: 83 13.49/13.58 c ---[ 40]---> BDD-cost: 81 13.49/13.58 c ---[ 39]---> BDD-cost: 79 13.49/13.58 c ---[ 38]---> BDD-cost: 77 13.49/13.58 c ---[ 37]---> BDD-cost: 75 13.49/13.58 c ---[ 36]---> BDD-cost: 73 13.49/13.58 c ---[ 35]---> BDD-cost: 71 13.49/13.58 c ---[ 34]---> BDD-cost: 69 13.49/13.58 c ---[ 33]---> BDD-cost: 67 13.49/13.58 c ---[ 32]---> BDD-cost: 65 13.49/13.58 c ---[ 31]---> BDD-cost: 63 13.49/13.58 c ---[ 30]---> BDD-cost: 61 13.49/13.59 c ---[ 29]---> BDD-cost: 59 13.49/13.59 c ---[ 28]---> BDD-cost: 57 13.49/13.59 c ---[ 27]---> BDD-cost: 55 13.49/13.59 c ---[ 26]---> BDD-cost: 53 13.49/13.59 c ---[ 25]---> BDD-cost: 51 13.49/13.59 c ---[ 24]---> BDD-cost: 49 13.49/13.59 c ---[ 23]---> BDD-cost: 47 13.49/13.59 c ---[ 22]---> BDD-cost: 45 13.49/13.59 c ---[ 21]---> BDD-cost: 43 13.49/13.59 c ---[ 20]---> BDD-cost: 41 13.49/13.59 c ---[ 19]---> BDD-cost: 39 13.49/13.59 c ---[ 18]---> BDD-cost: 37 13.49/13.59 c ---[ 17]---> BDD-cost: 35 13.49/13.59 c ---[ 16]---> BDD-cost: 33 13.49/13.59 c ---[ 15]---> BDD-cost: 31 13.49/13.59 c ---[ 14]---> BDD-cost: 29 13.49/13.59 c ---[ 13]---> BDD-cost: 27 13.49/13.59 c ---[ 12]---> BDD-cost: 25 13.49/13.59 c ---[ 11]---> BDD-cost: 23 13.49/13.59 c ---[ 10]---> BDD-cost: 21 13.49/13.59 c ---[ 9]---> BDD-cost: 19 13.49/13.59 c ---[ 8]---> BDD-cost: 17 13.49/13.59 c ---[ 7]---> BDD-cost: 15 13.49/13.59 c ---[ 6]---> BDD-cost: 13 13.49/13.59 c ---[ 5]---> BDD-cost: 11 13.49/13.59 c ---[ 4]---> BDD-cost: 9 13.49/13.59 c ---[ 3]---> BDD-cost: 7 13.49/13.59 c ---[ 2]---> BDD-cost: 5 13.49/13.59 c ---[ 1]---> BDD-cost: 3 52.48/52.51 | Eliminated clauses: 0.06 Mb | 52.48/52.51 ============================[ Search Statistics ]============================== 52.48/52.51 | Conflicts | ORIGINAL | LEARNT | Progress | 52.48/52.51 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 52.48/52.51 =============================================================================== 52.48/52.51 | 100 | 66393 210161 631228 | 77059 97 16 | 0.799 % | 52.48/52.51 | 250 | 66391 210161 631228 | 84764 245 17 | 0.802 % | 52.48/52.51 | 475 | 66390 210161 631228 | 93241 448 18 | 0.803 % | 52.48/52.51 | 812 | 66390 210161 631228 | 102565 785 23 | 0.803 % | 52.48/52.51 | 1318 | 66389 210161 631228 | 112822 1288 21 | 0.805 % | 52.48/52.51 | 2077 | 66389 210161 631228 | 124104 2047 23 | 0.805 % | 52.48/52.51 | 3216 | 66389 210161 631228 | 136514 3186 25 | 0.805 % | 52.48/52.51 | 4924 | 66384 210161 631228 | 150166 4883 24 | 0.812 % | 52.48/52.51 | 7486 | 66384 210161 631228 | 165182 7442 28 | 0.812 % | 52.48/52.51 | 11330 | 66381 210161 631228 | 181701 11277 29 | 0.816 % | 52.48/52.51 | 17096 | 66362 210161 631228 | 199871 17020 31 | 0.844 % | 52.48/52.51 | 25745 | 66348 210161 631228 | 219858 25627 37 | 0.864 % | 52.48/52.51 | 38719 | 66337 210161 631228 | 241844 38560 40 | 0.880 % | 52.48/52.51 | 58180 | 66320 210161 631228 | 266028 57873 46 | 0.905 % | 52.48/52.51 | 87372 | 66275 210161 631228 | 292631 86794 52 | 0.970 % | 52.48/52.51 | 131161 | 66253 210161 631228 | 321894 130020 56 | 1.002 % | 52.48/52.51 =============================================================================== 52.48/52.51 c [1mFound solution: -80[0m 52.48/52.55 c ---[ 0]---> Adder-cost: 574 maxlim: 80 bits: 8/7 1786.15/1786.54 | Eliminated clauses: 0.06 Mb | 1786.15/1786.54 ============================[ Search Statistics ]============================== 1786.15/1786.54 | Conflicts | ORIGINAL | LEARNT | Progress | 1786.15/1786.54 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1786.15/1786.54 =============================================================================== 1786.15/1786.54 | 143316 | 66741 211816 635910 | 77665 29798 61 | 1.016 % | 1786.15/1786.54 | 143466 | 66741 211816 635910 | 85432 29948 61 | 1.016 % | 1786.15/1786.54 | 143691 | 66741 211816 635910 | 93975 30173 61 | 1.016 % | 1786.15/1786.54 | 144028 | 66741 211816 635910 | 103373 30510 61 | 1.016 % | 1786.15/1786.54 | 144534 | 66737 211816 635910 | 113710 30995 60 | 1.022 % | 1786.15/1786.54 | 145293 | 66737 211816 635910 | 125081 31754 60 | 1.022 % | 1786.15/1786.54 | 146432 | 66736 211816 635910 | 137589 32892 60 | 1.023 % | 1786.15/1786.54 | 148140 | 66733 211816 635910 | 151348 34555 58 | 1.027 % | 1786.15/1786.54 | 150702 | 66726 211816 635910 | 166483 37024 56 | 1.037 % | 1786.15/1786.54 | 154546 | 66721 211816 635910 | 183132 40863 54 | 1.045 % | 1786.15/1786.54 | 160312 | 66718 211816 635910 | 201445 46627 54 | 1.049 % | 1786.15/1786.54 | 168961 | 66718 211816 635910 | 221589 55171 55 | 1.049 % | 1786.15/1786.54 | 181935 | 66718 211816 635910 | 243748 68145 57 | 1.049 % | 1786.15/1786.54 | 201396 | 66718 211816 635910 | 268123 87606 59 | 1.049 % | 1786.15/1786.54 | 230588 | 66718 211816 635910 | 294935 116798 61 | 1.049 % | 1786.15/1786.54 | 274377 | 66705 211816 635910 | 324429 160575 64 | 1.068 % | 1786.15/1786.54 | 340061 | 66703 211816 635910 | 356872 226255 65 | 1.070 % | 1786.15/1786.54 | 438587 | 66703 211816 635910 | 392559 324777 65 | 1.070 % | 1786.15/1786.54 | 586376 | 66660 211816 635910 | 431815 115945 54 | 1.132 % | 1786.15/1786.54 | 808059 | 66660 211816 635910 | 474997 337628 60 | 1.132 % | 1786.15/1786.54 | 1140584 | 66527 211816 635910 | 522497 233502 55 | 1.324 % | 1786.15/1786.54 | 1639372 | 66438 211816 635910 | 574746 251847 53 | 1.452 % | 1786.15/1786.54 | 2387554 | 66383 211816 635910 | 632221 468497 51 | 1.531 % | 1786.15/1786.54 | 3509828 | 66179 211816 635910 | 695443 379970 51 | 1.824 % | 1786.15/1786.54 =============================================================================== 1786.15/1786.54 c [1mOptimal solution: -80[0m 1786.15/1786.54 s OPTIMUM FOUND 1786.15/1786.54 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -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 1786.15/1786.54 c _______________________________________________________________________________ 1786.15/1786.54 c 1786.15/1786.54 restarts : 8570 1786.15/1786.54 conflicts : 4752154 (2661 /sec) 1786.15/1786.54 decisions : 9425606 (0.00 % random) (5278 /sec) 1786.15/1786.54 propagations : 899159436 (503521 /sec) 1786.15/1786.54 conflict literals : 258244755 (55.09 % deleted) 1786.15/1786.54 Memory used : 402.54 MB 1786.15/1786.54 CPU time : 1785.74 s 1786.15/1786.54 c _______________________________________________________________________________
OK -80
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4112926-1466598211/watcher-4112926-1466598211 -o /tmp/evaluation-result-4112926-1466598211/solver-4112926-1466598211 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466586650-31753 --watchdog 1960 minisatp HOME/instance-4112926-1466598211.opb pid=969 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.32 2.24 2.19 4/174 972 /proc/meminfo: memFree=29895584/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=6884 CPUtime=0 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 393 0 0 0 0 0 0 0 20 0 1 0 61868004 7049216 269 33554432000 4194304 5646918 140736415191744 140733582019960 4393973 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/972/statm: 1721 269 84 355 0 1362 0 [startup+0.100114 s] /proc/loadavg: 2.32 2.24 2.19 4/174 972 /proc/meminfo: memFree=29895584/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=13616 CPUtime=0.09 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 1993 0 0 0 9 0 0 0 20 0 1 0 61868004 13942784 1869 33554432000 4194304 5646918 140736415191744 140733582019960 4831206 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/972/statm: 3404 1869 94 355 0 3045 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13616 [startup+0.200289 s] /proc/loadavg: 2.32 2.24 2.19 4/174 972 /proc/meminfo: memFree=29895584/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=13832 CPUtime=0.19 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 2665 0 0 0 19 0 0 0 20 0 1 0 61868004 14163968 1770 33554432000 4194304 5646918 140736415191744 140733582019960 4251039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/972/statm: 3458 1770 94 355 0 3099 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13832 [startup+0.300266 s] /proc/loadavg: 2.32 2.24 2.19 4/174 972 /proc/meminfo: memFree=29895584/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=14800 CPUtime=0.29 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 2964 0 0 0 29 0 0 0 20 0 1 0 61868004 15155200 2018 33554432000 4194304 5646918 140736415191744 140733582019960 4831232 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/972/statm: 3700 2018 116 355 0 3341 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14800 [startup+0.700248 s] /proc/loadavg: 2.32 2.24 2.19 4/174 972 /proc/meminfo: memFree=29895584/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=21120 CPUtime=0.69 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 4653 0 0 0 69 0 0 0 20 0 1 0 61868004 21626880 3624 33554432000 4194304 5646918 140736415191744 140736412888568 4817372 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/972/statm: 5280 3624 116 355 0 4921 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21120 [startup+1.50025 s] /proc/loadavg: 2.32 2.24 2.19 4/175 973 /proc/meminfo: memFree=29881316/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=21488 CPUtime=1.49 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 4693 0 0 0 149 0 0 0 20 0 1 0 61868004 22003712 3664 33554432000 4194304 5646918 140736415191744 140736412888568 4823361 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/972/statm: 5372 3664 116 355 0 5013 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21488 [startup+3.10027 s] /proc/loadavg: 2.32 2.24 2.19 4/175 973 /proc/meminfo: memFree=29880696/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=21756 CPUtime=3.08 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 4766 0 0 0 308 0 0 0 20 0 1 0 61868004 22278144 3737 33554432000 4194304 5646918 140736415191744 140736413676968 4817468 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 5439 3737 116 355 0 5080 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21756 [startup+6.30027 s] /proc/loadavg: 2.38 2.25 2.19 3/175 973 /proc/meminfo: memFree=29876264/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=21756 CPUtime=6.28 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 4768 0 0 0 628 0 0 0 20 0 1 0 61868004 22278144 3739 33554432000 4194304 5646918 140736415191744 140736414730568 4831393 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 5439 3739 116 355 0 5080 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21756 [startup+12.7003 s] /proc/loadavg: 2.35 2.25 2.19 3/175 973 /proc/meminfo: memFree=29871304/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=25452 CPUtime=12.68 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 5846 0 0 0 1268 0 0 0 20 0 1 0 61868004 26062848 4652 33554432000 4194304 5646918 140736415191744 140736413460968 4560515 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 6363 4652 116 355 0 6004 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25452 [startup+25.5004 s] /proc/loadavg: 2.34 2.25 2.19 3/174 973 /proc/meminfo: memFree=29805912/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=86284 CPUtime=25.48 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 18053 0 0 0 2545 3 0 0 20 0 1 0 61868004 88354816 19641 33554432000 4194304 5646918 140736415191744 140736415189848 4403201 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 21571 19641 182 355 0 21212 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 86284 [startup+51.1003 s] /proc/loadavg: 2.30 2.25 2.19 3/174 973 /proc/meminfo: memFree=29770552/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=123828 CPUtime=51.08 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 20724 0 0 0 5104 4 0 0 20 0 1 0 61868004 126799872 26898 33554432000 4194304 5646918 140736415191744 140736415189880 4402784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 30957 26898 182 355 0 30598 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 123828 [startup+102.3 s] /proc/loadavg: 2.20 2.22 2.18 3/175 1089 /proc/meminfo: memFree=30077180/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=171496 CPUtime=102.27 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 27223 0 0 0 10220 7 0 0 20 0 1 0 61868004 175611904 38180 33554432000 4194304 5646918 140736415191744 140736415189880 4403087 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 42874 38180 186 355 0 42515 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 171496 [startup+162.3 s] /proc/loadavg: 2.24 2.22 2.18 3/175 1090 /proc/meminfo: memFree=29830312/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=237604 CPUtime=162.26 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 31449 0 0 0 16217 9 0 0 20 0 1 0 61868004 243306496 49043 33554432000 4194304 5646918 140736415191744 140736415189880 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 59401 49043 186 355 0 59042 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 237604 [startup+222.307 s] /proc/loadavg: 2.24 2.23 2.18 3/175 1091 /proc/meminfo: memFree=29688016/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=162136 CPUtime=222.26 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 34228 0 0 0 22215 11 0 0 20 0 1 0 61868004 166027264 38757 33554432000 4194304 5646918 140736415191744 140736415190440 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 40534 38757 186 355 0 40175 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 162136 [startup+282.3 s] /proc/loadavg: 2.26 2.23 2.18 3/175 1093 /proc/meminfo: memFree=29482204/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=247548 CPUtime=282.24 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 36199 0 0 0 28212 12 0 0 20 0 1 0 61868004 253489152 49401 33554432000 4194304 5646918 140736415191744 140736415189880 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 61887 49401 186 355 0 61528 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 247548 [startup+342.3 s] /proc/loadavg: 2.19 2.22 2.18 3/175 1094 /proc/meminfo: memFree=29749740/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=258484 CPUtime=342.23 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 38833 0 0 0 34209 14 0 0 20 0 1 0 61868004 264687616 59700 33554432000 4194304 5646918 140736415191744 140736415189880 4403368 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 64621 59700 186 355 0 64262 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 258484 [startup+402.3 s] /proc/loadavg: 2.26 2.23 2.18 3/176 1098 /proc/meminfo: memFree=29629328/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=209536 CPUtime=402.22 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 41382 0 0 0 40207 15 0 0 20 0 1 0 61868004 214564864 45931 33554432000 4194304 5646918 140736415191744 140736415189880 4403173 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 52384 45931 186 355 0 52025 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 209536 [startup+462.3 s] /proc/loadavg: 2.25 2.23 2.18 3/175 1099 /proc/meminfo: memFree=29395456/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=264388 CPUtime=462.19 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 42996 0 0 0 46202 17 0 0 20 0 1 0 61868004 270733312 59945 33554432000 4194304 5646918 140736415191744 140736415189880 4403416 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 66097 59945 186 355 0 65738 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 264388 [startup+522.3 s] /proc/loadavg: 2.26 2.23 2.18 3/175 1100 /proc/meminfo: memFree=29231296/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=269828 CPUtime=522.17 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 44084 0 0 0 52200 17 0 0 20 0 1 0 61868004 276303872 66130 33554432000 4194304 5646918 140736415191744 140736415189880 4399784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 67457 66130 186 355 0 67098 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 269828 [startup+582.3 s] /proc/loadavg: 2.20 2.22 2.18 4/175 1102 /proc/meminfo: memFree=29930268/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=219740 CPUtime=582.15 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 46595 0 0 0 58194 21 0 0 20 0 1 0 61868004 225013760 48065 33554432000 4194304 5646918 140736415191744 140736415190440 4403176 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 54935 48065 186 355 0 54576 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 219740 ################ # More data... # ################ /proc/loadavg: 2.16 2.19 2.18 3/175 1115 /proc/meminfo: memFree=29254604/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=291716 CPUtime=1122.08 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 57521 0 0 0 112177 31 0 0 20 0 1 0 61868004 298717184 68076 33554432000 4194304 5646918 140736415191744 140736415190440 4402784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 72929 68076 186 355 0 72570 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 291716 [startup+1182.3 s] /proc/loadavg: 2.23 2.20 2.18 3/175 1117 /proc/meminfo: memFree=29841452/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=373104 CPUtime=1182.07 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 57764 0 0 0 118175 32 0 0 20 0 1 0 61868004 382058496 72914 33554432000 4194304 5646918 140736415191744 140736415190440 4403136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 93276 72914 186 355 0 92917 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 373104 [startup+1242.3 s] /proc/loadavg: 2.43 2.25 2.20 3/175 1118 /proc/meminfo: memFree=29638056/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=244868 CPUtime=1242.06 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 60251 0 0 0 124171 35 0 0 20 0 1 0 61868004 250744832 53966 33554432000 4194304 5646918 140736415191744 140736415190440 4402751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 61217 53966 186 355 0 60858 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 244868 [startup+1302.3 s] /proc/loadavg: 2.32 2.25 2.20 3/175 1119 /proc/meminfo: memFree=29344236/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=294956 CPUtime=1302.04 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 60792 0 0 0 130169 35 0 0 20 0 1 0 61868004 302034944 61134 33554432000 4194304 5646918 140736415191744 140736415190440 4403408 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 73739 61134 186 355 0 73380 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 294956 [startup+1362.3 s] /proc/loadavg: 2.27 2.24 2.19 3/175 1120 /proc/meminfo: memFree=29088380/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=294956 CPUtime=1362.04 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 60810 0 0 0 136168 36 0 0 20 0 1 0 61868004 302034944 68306 33554432000 4194304 5646918 140736415191744 140736415190440 4402776 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 73739 68306 186 355 0 73380 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 294956 [startup+1422.3 s] /proc/loadavg: 2.16 2.21 2.18 3/175 1121 /proc/meminfo: memFree=28807160/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=377304 CPUtime=1422.03 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 61183 0 0 0 142166 37 0 0 20 0 1 0 61868004 386359296 74298 33554432000 4194304 5646918 140736415191744 140736415190440 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 94326 74298 186 355 0 93967 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 377304 [startup+1482.3 s] /proc/loadavg: 2.10 2.19 2.18 3/175 1123 /proc/meminfo: memFree=28789936/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=203240 CPUtime=1482.02 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 63795 0 0 0 148163 39 0 0 20 0 1 0 61868004 208117760 47310 33554432000 4194304 5646918 140736415191744 140736415190440 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 50810 47310 186 355 0 50451 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 203240 [startup+1542.31 s] /proc/loadavg: 2.27 2.21 2.19 4/175 1124 /proc/meminfo: memFree=28629736/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=253028 CPUtime=1542.02 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 64919 0 0 0 154162 40 0 0 20 0 1 0 61868004 259100672 57617 33554432000 4194304 5646918 140736415191744 140736415190440 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 63257 57617 186 355 0 62898 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 253028 [startup+1602.3 s] /proc/loadavg: 2.24 2.22 2.18 3/176 1128 /proc/meminfo: memFree=29887292/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=305276 CPUtime=1601.99 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 65904 0 0 0 160158 41 0 0 20 0 1 0 61868004 312602624 66458 33554432000 4194304 5646918 140736415191744 140736415190440 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 76319 66458 186 355 0 75960 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 305276 [startup+1662.3 s] /proc/loadavg: 2.33 2.25 2.19 3/175 1129 /proc/meminfo: memFree=29661504/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=316080 CPUtime=1661.97 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 67797 0 0 0 166155 42 0 0 20 0 1 0 61868004 323665920 73957 33554432000 4194304 5646918 140736415191744 140736415189880 4402751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 79020 73957 186 355 0 78661 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 316080 [startup+1722.3 s] /proc/loadavg: 2.40 2.28 2.20 3/175 1130 /proc/meminfo: memFree=29503152/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=319320 CPUtime=1721.96 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 68059 0 0 0 172154 42 0 0 20 0 1 0 61868004 326983680 78818 33554432000 4194304 5646918 140736415191744 140736415189880 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 79830 78818 186 355 0 79471 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 319320 [startup+1782.3 s] /proc/loadavg: 2.30 2.27 2.20 4/175 1132 /proc/meminfo: memFree=29435664/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=269232 CPUtime=1781.95 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 70695 0 0 0 178150 45 0 0 20 0 1 0 61868004 275693568 59503 33554432000 4194304 5646918 140736415191744 140736415190440 4402736 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 67308 59503 186 355 0 66949 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 269232 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 972 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1782.4 s] /proc/loadavg: 2.30 2.27 2.20 4/175 1132 /proc/meminfo: memFree=29435664/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=269232 CPUtime=1782.05 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 70695 0 0 0 178160 45 0 0 20 0 1 0 61868004 275693568 59503 33554432000 4194304 5646918 140736415191744 140736415190440 4402815 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 67308 59503 186 355 0 66949 0 Current children cumulated CPU time (s) 1782.05 Current children cumulated vsize (KiB) 269232 [startup+1784 s] /proc/loadavg: 2.30 2.27 2.20 4/175 1132 /proc/meminfo: memFree=29431072/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=269232 CPUtime=1783.65 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 70695 0 0 0 178320 45 0 0 20 0 1 0 61868004 275693568 59503 33554432000 4194304 5646918 140736415191744 140736415190440 4403368 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 67308 59503 186 355 0 66949 0 Current children cumulated CPU time (s) 1783.65 Current children cumulated vsize (KiB) 269232 [startup+1785.6 s] /proc/loadavg: 2.27 2.26 2.20 3/175 1132 /proc/meminfo: memFree=29429028/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=269232 CPUtime=1785.25 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 70695 0 0 0 178480 45 0 0 20 0 1 0 61868004 275693568 59503 33554432000 4194304 5646918 140736415191744 140736415190440 4398952 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 67308 59503 186 355 0 66949 0 Current children cumulated CPU time (s) 1785.25 Current children cumulated vsize (KiB) 269232 [startup+1786 s] /proc/loadavg: 2.27 2.26 2.20 3/175 1132 /proc/meminfo: memFree=29429028/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=269232 CPUtime=1785.65 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 70695 0 0 0 178520 45 0 0 20 0 1 0 61868004 275693568 59503 33554432000 4194304 5646918 140736415191744 140736415190440 4402661 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 67308 59503 186 355 0 66949 0 Current children cumulated CPU time (s) 1785.65 Current children cumulated vsize (KiB) 269232 [startup+1786.4 s] /proc/loadavg: 2.27 2.26 2.20 3/175 1132 /proc/meminfo: memFree=29429028/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=269232 CPUtime=1786.05 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 70695 0 0 0 178560 45 0 0 20 0 1 0 61868004 275693568 59503 33554432000 4194304 5646918 140736415191744 140736415190440 4402863 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 67308 59503 186 355 0 66949 0 Current children cumulated CPU time (s) 1786.05 Current children cumulated vsize (KiB) 269232 [startup+1786.51 s] /proc/loadavg: 2.27 2.26 2.20 3/175 1132 /proc/meminfo: memFree=29429028/32872528 swapFree=1316768/1463936 [pid=972] ppid=969 vsize=269232 CPUtime=1786.15 cores=0,2,4,6 /proc/972/stat : 972 (minisatp) R 969 972 31737 0 -1 4202496 70696 0 0 0 178570 45 0 0 20 0 1 0 61868004 275693568 60015 33554432000 4194304 5646918 140736415191744 140736415190440 4403495 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/972/statm: 67308 60015 186 355 0 66949 0 Current children cumulated CPU time (s) 1786.15 Current children cumulated vsize (KiB) 269232 Child status: 0 Real time (s): 1786.55 CPU time (s): 1786.21 CPU user time (s): 1785.75 CPU system time (s): 0.463929 CPU usage (%): 99.981 Max. virtual memory (cumulated for all children) (KiB): 400708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.75 system time used= 0.463929 maximum resident set size= 329492 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70705 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= 96 involuntary context switches= 1988 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.19536 second user time and 5.59115 second system time The end
Begin job on node121 at 2016-06-22 14:23:31 IDJOB=4112926 IDBENCH=89843 IDSOLVER=2555 FILE ID=node121/4112926-1466598211 RUNJOBID= node121-1466586650-31753 PBS_JOBID= 19953372 Free space on /tmp= 71708 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-777800.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112926-1466598211/watcher-4112926-1466598211 -o /tmp/evaluation-result-4112926-1466598211/solver-4112926-1466598211 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466586650-31753 --watchdog 1960 minisatp HOME/instance-4112926-1466598211.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fa5c07257df1fb9de8867209807734ca RANDOM SEED=1901011794 node121.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.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.38 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.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 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.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29895516 kB Buffers: 111564 kB Cached: 199764 kB SwapCached: 2044 kB Active: 532912 kB Inactive: 230136 kB Active(anon): 453004 kB Inactive(anon): 1452 kB Active(file): 79908 kB Inactive(file): 228684 kB Unevictable: 1463936 kB Mlocked: 1316768 kB SwapTotal: 67108856 kB SwapFree: 67099876 kB Dirty: 4328 kB Writeback: 0 kB AnonPages: 1927640 kB Mapped: 8856 kB Shmem: 0 kB Slab: 602364 kB SReclaimable: 46660 kB SUnreclaim: 555704 kB KernelStack: 1432 kB PageTables: 7844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2083652 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 505856 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4112926-1466598211.opb Free space on /tmp at the end= 71712 MiB End job on node121 at 2016-06-22 14:53:17