Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | OPT | 1859 | 529.014 | 529.007 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randa2004a.cudf.paranoid.opb |
MD5SUM | 3b140fe9f2cb3c59ddf55faba2e83116 |
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 | 1859 |
Best CPU time to get the best result obtained on this benchmark | 0.331948 |
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 | 5800 |
Total number of constraints | 26001 |
Number of constraints which are clauses | 25730 |
Number of constraints which are cardinality constraints (but not clauses) | 271 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
Number of terms in the objective function | 2171 |
Biggest coefficient in the objective function | 1622 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 895342 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1622 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 895342 |
Number of bits of the biggest sum of numbers | 20 |
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 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 52.69/52.73 o 513271 52.69/52.73 o 511655 52.69/52.73 o 510039 52.69/52.73 o 505171 52.69/52.73 o 503549 52.69/52.73 o 501927 52.69/52.73 o 500304 52.69/52.73 o 492190 52.69/52.73 o 490568 52.69/52.73 o 488946 52.69/52.73 o 488945 52.69/52.73 o 487323 52.69/52.73 o 485701 52.69/52.73 o 484079 52.69/52.73 o 482457 52.69/52.73 o 480834 52.69/52.73 o 479215 52.69/52.73 o 477593 52.69/52.73 o 475971 52.69/52.73 o 474349 52.69/52.73 o 472726 52.69/52.73 o 471104 52.69/52.73 o 469482 52.69/52.73 o 466238 52.69/52.73 o 464616 52.69/52.73 o 462993 52.69/52.73 o 461371 52.69/52.73 o 459749 52.69/52.73 o 458127 52.69/52.73 o 456505 52.69/52.73 o 454883 52.69/52.73 o 453261 52.69/52.73 o 451639 52.69/52.73 o 450017 52.69/52.73 o 450016 52.69/52.73 o 448394 52.69/52.73 o 446772 52.69/52.73 o 445150 52.69/52.73 o 440282 52.69/52.73 o 438660 52.69/52.73 o 437038 52.69/52.73 o 435416 52.69/52.73 o 433794 52.69/52.73 o 432172 52.69/52.73 o 430550 52.69/52.73 o 428928 52.69/52.73 o 427306 52.69/52.73 o 425684 52.69/52.73 o 424062 52.69/52.73 o 424061 52.69/52.73 o 422439 52.69/52.73 o 419194 52.69/52.73 o 419193 52.69/52.73 o 417571 52.69/52.73 o 417570 52.69/52.73 o 415947 52.69/52.73 o 414325 52.69/52.73 o 412704 52.69/52.73 o 411081 52.69/52.73 o 411080 52.69/52.73 o 409457 52.69/52.73 o 407835 52.69/52.73 o 407834 52.69/52.73 o 407833 52.69/52.73 o 406211 52.69/52.73 o 404589 52.69/52.73 o 402967 52.69/52.73 o 401345 52.69/52.73 o 401344 52.69/52.73 o 401343 52.69/52.73 o 399730 52.69/52.73 o 398108 52.69/52.73 o 396486 52.69/52.73 o 388374 52.69/52.73 o 386752 52.69/52.73 o 385130 52.69/52.73 o 381896 52.69/52.73 o 380274 52.69/52.73 o 378652 52.69/52.73 o 378651 52.69/52.73 o 378650 52.69/52.73 o 378649 52.69/52.73 o 377033 52.69/52.73 o 375411 52.69/52.73 o 373788 52.69/52.73 o 373787 52.69/52.73 o 372165 52.69/52.73 o 372164 52.69/52.73 o 370542 52.69/52.73 o 368920 52.69/52.73 o 368919 52.69/52.73 o 368918 52.69/52.73 o 367302 52.69/52.73 o 367301 52.69/52.73 o 367300 52.69/52.73 o 367299 52.69/52.73 o 365677 52.69/52.73 o 365676 52.69/52.73 o 364054 52.69/52.73 o 364053 52.69/52.73 o 364052 52.69/52.73 o 364051 52.69/52.73 o 362429 52.69/52.73 o 362428 52.69/52.73 o 360806 52.69/52.73 o 359184 52.69/52.73 o 357572 52.69/52.73 o 355950 52.69/52.73 o 354328 52.69/52.73 o 352705 52.69/52.73 o 352704 52.69/52.73 o 351082 52.69/52.73 o 351081 52.69/52.73 o 351080 52.69/52.73 o 351079 52.69/52.73 o 351078 52.69/52.73 o 349456 52.69/52.73 o 349455 52.69/52.73 o 347832 52.69/52.73 o 346210 52.69/52.73 o 344588 52.69/52.73 o 344587 52.69/52.73 o 344586 52.69/52.73 o 344585 52.69/52.73 o 344584 52.69/52.73 o 344583 52.69/52.73 o 344582 52.69/52.73 o 344581 52.69/52.73 o 344580 52.69/52.73 o 344579 52.69/52.73 o 344578 52.69/52.73 o 344577 52.69/52.73 o 344576 52.69/52.73 o 344575 52.69/52.73 o 344574 52.69/52.73 o 344573 52.69/52.73 o 344572 52.69/52.73 o 344571 52.69/52.73 o 344570 52.69/52.73 o 344569 52.69/52.73 o 344568 52.69/52.73 o 344567 52.69/52.73 o 344566 52.69/52.73 o 344565 52.69/52.73 o 344564 52.69/52.73 o 344563 52.69/52.73 o 344562 52.69/52.73 o 344561 52.69/52.73 o 344560 52.69/52.73 o 342948 52.69/52.73 o 342947 52.69/52.73 o 341324 52.69/52.73 o 339705 52.69/52.73 o 338083 52.69/52.73 o 336461 52.69/52.73 o 336460 52.69/52.73 o 336459 52.69/52.73 o 336458 52.69/52.73 o 334836 52.69/52.73 o 333214 52.69/52.73 o 333213 52.69/52.73 o 331591 52.69/52.73 o 331590 52.69/52.73 o 326722 52.69/52.73 o 325099 52.69/52.73 o 325098 52.69/52.73 o 325097 52.69/52.73 o 325096 52.69/52.73 o 323477 52.69/52.73 o 321855 52.69/52.73 o 320232 52.69/52.73 o 315373 52.69/52.73 o 313751 52.69/52.73 o 312129 52.69/52.73 o 310507 52.69/52.73 o 310506 52.69/52.73 o 308884 52.69/52.73 o 307262 52.69/52.73 o 305640 52.69/52.73 o 304018 52.69/52.73 o 304017 52.69/52.73 o 302395 52.69/52.73 o 300773 52.69/52.73 o 299151 52.69/52.73 o 297529 52.69/52.73 o 295907 52.69/52.73 o 294284 52.69/52.73 o 294283 52.69/52.73 o 294282 52.69/52.73 o 292660 52.69/52.73 o 291038 52.69/52.73 o 291037 52.69/52.73 o 291036 52.69/52.73 o 291035 52.69/52.73 o 291034 52.69/52.73 o 287790 52.69/52.73 o 286168 52.69/52.73 o 286167 52.69/52.73 o 286166 52.69/52.73 o 286165 52.69/52.73 o 286164 52.69/52.73 o 284541 52.69/52.73 o 282919 52.69/52.73 o 281297 52.69/52.73 o 281296 52.69/52.73 o 279674 52.69/52.73 o 278056 52.69/52.73 o 276434 52.69/52.73 o 276433 52.69/52.73 o 274811 52.69/52.73 o 273188 52.69/52.73 o 273187 52.69/52.73 o 271566 52.69/52.73 o 271565 52.69/52.73 o 271563 52.69/52.73 o 269942 52.69/52.73 o 268321 52.69/52.73 o 268320 52.69/52.73 o 268319 52.69/52.73 o 266696 52.69/52.73 o 265075 52.69/52.73 o 263453 52.69/52.73 o 261830 52.69/52.73 o 260212 52.69/52.73 o 260211 52.69/52.73 o 258589 52.69/52.73 o 258588 52.69/52.73 o 256966 52.69/52.73 o 255344 52.69/52.73 o 253722 52.69/52.73 o 252100 52.69/52.73 o 252099 52.69/52.73 o 250476 52.69/52.73 o 250475 52.69/52.73 o 250474 52.69/52.73 o 248852 52.69/52.73 o 247230 52.69/52.73 o 245607 52.69/52.73 o 245606 52.69/52.73 o 245605 52.69/52.73 o 245604 52.69/52.73 o 243982 52.69/52.73 o 243981 52.69/52.73 o 242358 52.69/52.73 o 242357 52.69/52.73 o 242356 52.69/52.73 o 240733 52.69/52.73 o 240732 52.69/52.73 o 240731 52.69/52.73 o 240730 52.69/52.73 o 239108 52.69/52.73 o 237485 52.69/52.73 o 237484 52.69/52.73 o 237483 52.69/52.73 o 235861 52.69/52.73 o 234239 52.69/52.73 o 232616 52.69/52.73 o 230993 52.69/52.73 o 229371 52.69/52.73 o 229370 52.69/52.73 o 227747 52.69/52.73 o 226125 52.69/52.73 o 226124 52.69/52.73 o 224502 52.69/52.73 o 222882 52.69/52.73 o 222881 52.69/52.73 o 221258 52.69/52.73 o 219636 52.69/52.73 o 219635 52.69/52.73 o 218013 52.69/52.73 o 218012 52.69/52.73 o 216389 52.69/52.73 o 216388 52.69/52.73 o 216387 52.69/52.73 o 214765 52.69/52.73 o 214764 52.69/52.73 o 214763 52.69/52.73 o 214762 52.69/52.73 o 214761 52.69/52.73 o 214760 52.69/52.73 o 213138 52.69/52.73 o 213137 52.69/52.73 o 211515 52.69/52.73 o 211514 52.69/52.73 o 209892 52.69/52.73 o 209891 52.69/52.73 o 208269 52.69/52.73 o 208268 52.69/52.73 o 206645 52.69/52.73 o 205023 52.69/52.73 o 203400 52.69/52.73 o 201777 52.69/52.73 o 200154 52.69/52.73 o 198532 52.69/52.73 o 198531 52.69/52.73 o 198530 52.69/52.73 o 196907 52.69/52.73 o 196906 52.69/52.73 o 195284 52.69/52.73 o 195283 52.69/52.73 o 195282 52.69/52.73 o 195281 52.69/52.73 o 193658 52.69/52.73 o 193657 52.69/52.73 o 193656 52.69/52.73 o 193655 52.69/52.73 o 193654 52.69/52.73 o 193653 52.69/52.73 o 193652 52.69/52.73 o 193651 52.69/52.73 o 193650 52.69/52.73 o 192027 52.69/52.73 o 190405 52.69/52.73 o 190404 52.69/52.73 o 188785 52.69/52.73 o 187163 52.69/52.73 o 187162 52.69/52.73 o 185539 52.69/52.73 o 183917 52.69/52.73 o 183916 52.69/52.73 o 182294 52.69/52.73 o 182293 52.69/52.73 o 180673 52.69/52.73 o 180672 52.69/52.73 o 179047 52.69/52.73 o 177425 52.69/52.73 o 175803 52.69/52.73 o 174182 52.69/52.73 o 174181 52.69/52.73 o 172562 52.69/52.73 o 170940 52.69/52.73 o 170938 52.69/52.73 o 170937 52.69/52.73 o 169315 52.69/52.73 o 167693 52.69/52.73 o 167692 52.69/52.73 o 167691 52.69/52.73 o 167690 52.69/52.73 o 166069 52.69/52.73 o 164446 52.69/52.73 o 164445 52.69/52.73 o 162824 52.69/52.73 o 162823 52.69/52.73 o 162821 52.69/52.73 o 161200 52.69/52.73 o 159578 52.69/52.73 o 159577 52.69/52.73 o 159576 52.69/52.73 o 157953 52.69/52.73 o 156330 52.69/52.73 o 156329 52.69/52.73 o 156328 52.69/52.73 o 156327 52.69/52.73 o 156326 52.69/52.73 o 154703 52.69/52.73 o 153082 52.69/52.73 o 153081 52.69/52.73 o 153080 52.69/52.73 o 151460 52.69/52.73 o 151459 52.69/52.73 o 151458 52.69/52.73 o 149835 52.69/52.73 o 148213 52.69/52.73 o 148212 52.69/52.73 o 146589 52.69/52.73 o 144966 52.69/52.73 o 143343 52.69/52.73 o 141720 52.69/52.73 o 141719 52.69/52.73 o 141718 52.69/52.73 o 140096 52.69/52.73 o 138475 52.69/52.73 o 138474 52.69/52.73 o 136853 52.69/52.73 o 136852 52.69/52.73 o 136851 52.69/52.73 o 136849 52.69/52.73 o 135226 52.69/52.73 o 135225 52.69/52.73 o 135224 52.69/52.73 o 133601 52.69/52.73 o 131980 52.69/52.73 o 131978 52.69/52.73 o 130356 52.69/52.73 o 128735 52.69/52.73 o 128733 52.69/52.73 o 128732 52.69/52.73 o 127110 52.69/52.73 o 127109 52.69/52.73 o 125487 52.69/52.73 o 125486 52.69/52.73 o 123866 52.69/52.73 o 123865 52.69/52.73 o 122243 52.69/52.73 o 120620 52.69/52.73 o 118997 52.69/52.73 o 117373 52.69/52.73 o 115751 52.69/52.73 o 115750 52.69/52.73 o 114128 52.69/52.73 o 112506 52.69/52.73 o 112505 52.69/52.73 o 110882 52.69/52.73 o 110881 52.69/52.73 o 109259 52.69/52.73 o 107637 52.69/52.73 o 106014 52.69/52.73 o 104392 52.69/52.73 o 102770 52.69/52.73 o 102769 52.69/52.73 o 101146 52.69/52.73 o 99523 52.69/52.73 o 99522 52.69/52.73 o 99521 52.69/52.73 o 99520 52.69/52.73 o 97897 52.69/52.73 o 96274 52.69/52.73 o 96272 52.69/52.73 o 96271 52.69/52.73 o 94648 52.69/52.73 o 93026 52.69/52.73 o 91403 52.69/52.73 o 91402 52.69/52.73 o 91401 52.69/52.73 o 91400 52.69/52.73 o 91399 52.69/52.73 o 89778 52.69/52.73 o 88155 52.69/52.73 o 86533 52.69/52.73 o 84910 52.69/52.73 o 84909 52.69/52.73 o 84908 52.69/52.73 o 83285 52.69/52.73 o 83284 52.69/52.73 o 80038 52.69/52.73 o 78416 52.69/52.73 o 78415 52.69/52.73 o 76791 52.69/52.73 o 76790 52.69/52.73 o 76789 52.69/52.73 o 76786 52.69/52.73 o 76785 52.69/52.73 o 75163 52.69/52.73 o 73541 52.69/52.73 o 71918 52.69/52.73 o 71917 52.69/52.73 o 70294 52.69/52.73 o 70293 52.69/52.73 o 70292 52.69/52.73 o 68670 52.69/52.73 o 67048 52.69/52.73 o 67047 52.69/52.73 o 65425 52.69/52.73 o 65424 52.69/52.73 o 63802 52.69/52.73 o 63801 52.69/52.73 o 62179 52.69/52.73 o 60557 52.69/52.73 o 60556 52.69/52.73 o 60555 52.69/52.73 o 60554 528.91/528.99 o 60553 528.91/528.99 o 58930 528.91/528.99 o 58928 528.91/528.99 o 57305 528.91/528.99 o 55684 528.91/528.99 o 55683 528.91/528.99 o 55682 528.91/528.99 o 54061 528.91/528.99 o 52438 528.91/528.99 o 52437 528.91/528.99 o 52436 528.91/528.99 o 50814 528.91/528.99 o 50813 528.91/528.99 o 49190 528.91/528.99 o 49189 528.91/528.99 o 49188 528.91/528.99 o 47565 528.91/528.99 o 45942 528.91/528.99 o 44329 528.91/528.99 o 44327 528.91/528.99 o 44326 528.91/528.99 o 44325 528.91/528.99 o 42705 528.91/528.99 o 42704 528.91/528.99 o 42703 528.91/528.99 o 42702 528.91/528.99 o 41080 528.91/528.99 o 39457 528.91/528.99 o 39456 528.91/528.99 o 39455 528.91/528.99 o 39454 528.91/528.99 o 37832 528.91/528.99 o 37830 528.91/528.99 o 36208 528.91/528.99 o 36201 528.91/528.99 o 36197 528.91/528.99 o 36195 528.91/528.99 o 36194 528.91/528.99 o 36193 528.91/528.99 o 36192 528.91/528.99 o 36191 528.91/528.99 o 36190 528.91/528.99 o 36189 528.91/528.99 o 36188 528.91/528.99 o 34566 528.91/528.99 o 34565 528.91/528.99 o 23256 528.91/528.99 o 23254 528.91/528.99 o 23253 528.91/528.99 o 23252 528.91/528.99 o 23251 528.91/528.99 o 23250 528.91/528.99 o 23249 528.91/528.99 o 23247 528.91/528.99 o 23246 528.91/528.99 o 23245 528.91/528.99 o 23244 528.91/528.99 o 23243 528.91/528.99 o 23242 528.91/528.99 o 23241 528.91/528.99 o 23240 528.91/528.99 o 23239 528.91/528.99 o 23238 528.91/528.99 o 23236 528.91/528.99 o 23235 528.91/528.99 o 23234 528.91/528.99 o 23233 528.91/528.99 o 23232 528.91/528.99 o 23231 528.91/528.99 o 21608 528.91/528.99 o 21607 528.91/528.99 o 21606 528.91/528.99 o 19983 528.91/528.99 o 19982 528.91/528.99 o 19981 528.91/528.99 o 19980 528.91/528.99 o 19979 528.91/528.99 o 19978 528.91/528.99 o 19977 528.91/528.99 o 19976 528.91/528.99 o 19975 528.91/528.99 o 19974 528.91/528.99 o 19973 528.91/528.99 o 19972 528.91/528.99 o 19970 528.91/528.99 o 19969 528.91/528.99 o 19968 528.91/528.99 o 19967 528.91/528.99 o 18356 528.91/528.99 o 18355 528.91/528.99 o 18354 528.91/528.99 o 18353 528.91/528.99 o 18352 528.91/528.99 o 18351 528.91/528.99 o 18350 528.91/528.99 o 18349 528.91/528.99 o 18348 528.91/528.99 o 18347 528.91/528.99 o 18346 528.91/528.99 o 18345 528.91/528.99 o 18344 528.91/528.99 o 18343 528.91/528.99 o 18342 528.91/528.99 o 18341 528.91/528.99 o 18340 528.91/528.99 o 18339 528.91/528.99 o 18338 528.91/528.99 o 18337 528.91/528.99 o 18336 528.91/528.99 o 18335 528.91/528.99 o 18334 528.91/528.99 o 18333 528.91/528.99 o 18330 528.91/528.99 o 18329 528.91/528.99 o 18328 528.91/528.99 o 18327 528.91/528.99 o 18326 528.91/528.99 o 18325 528.91/528.99 o 18324 528.91/528.99 o 18323 528.91/528.99 o 18322 528.91/528.99 o 18321 528.91/528.99 o 18320 528.91/528.99 o 18319 528.91/528.99 o 18318 528.91/528.99 o 18317 528.91/528.99 o 18316 528.91/528.99 o 18315 528.91/528.99 o 18314 528.91/528.99 o 18313 528.91/528.99 o 18312 528.91/528.99 o 16691 528.91/528.99 o 16690 528.91/528.99 o 15069 528.91/528.99 o 15068 528.91/528.99 o 15067 528.91/528.99 o 15066 528.91/528.99 o 15065 528.91/528.99 o 15064 528.91/528.99 o 15063 528.91/528.99 o 15062 528.91/528.99 o 15061 528.91/528.99 o 15060 528.91/528.99 o 15059 528.91/528.99 o 15058 528.91/528.99 o 15057 528.91/528.99 o 15056 528.91/528.99 o 15055 528.91/528.99 o 15054 528.91/528.99 o 15053 528.91/528.99 o 15052 528.91/528.99 o 15051 528.91/528.99 o 15050 528.91/528.99 o 15049 528.91/528.99 o 10166 528.91/528.99 o 10165 528.91/528.99 o 10164 528.91/528.99 o 10163 528.91/528.99 o 10162 528.91/528.99 o 10161 528.91/528.99 o 10160 528.91/528.99 o 10159 528.91/528.99 o 10158 528.91/528.99 o 10157 528.91/528.99 o 10156 528.91/528.99 o 10155 528.91/528.99 o 10154 528.91/528.99 o 10153 528.91/528.99 o 10152 528.91/528.99 o 10151 528.91/528.99 o 10150 528.91/528.99 o 10149 528.91/528.99 o 10148 528.91/528.99 o 10147 528.91/528.99 o 10146 528.91/528.99 o 10145 528.91/528.99 o 10144 528.91/528.99 o 10143 528.91/528.99 o 10142 528.91/528.99 o 10141 528.91/528.99 o 10140 528.91/528.99 o 10139 528.91/528.99 o 10138 528.91/528.99 o 10137 528.91/528.99 o 10136 528.91/528.99 o 10135 528.91/528.99 o 10134 528.91/528.99 o 10133 528.91/528.99 o 8512 528.91/528.99 o 8511 528.91/528.99 o 8510 528.91/528.99 o 8509 528.91/528.99 o 8508 528.91/528.99 o 8507 528.91/528.99 o 8506 528.91/528.99 o 8505 528.91/528.99 o 8504 528.91/528.99 o 8503 528.91/528.99 o 8502 528.91/528.99 o 8501 528.91/528.99 o 8500 528.91/528.99 o 8499 528.91/528.99 o 8498 528.91/528.99 o 8497 528.91/528.99 o 8496 528.91/528.99 o 8495 528.91/528.99 o 8494 528.91/528.99 o 8493 528.91/528.99 o 8492 528.91/528.99 o 8491 528.91/528.99 o 8490 528.91/528.99 o 8489 528.91/528.99 o 8488 528.91/528.99 o 8487 528.91/528.99 o 8486 528.91/528.99 o 8485 528.91/528.99 o 8484 528.91/528.99 o 8483 528.91/528.99 o 8482 528.91/528.99 o 8481 528.91/528.99 o 8480 528.91/528.99 o 8479 528.91/528.99 o 8478 528.91/528.99 o 8477 528.91/528.99 o 8476 528.91/528.99 o 8475 528.91/528.99 o 8474 528.91/528.99 o 8473 528.91/528.99 o 8472 528.91/528.99 o 8471 528.91/528.99 o 8470 528.91/528.99 o 8469 528.91/528.99 o 8468 528.91/528.99 o 8467 528.91/528.99 o 8466 528.91/528.99 o 8465 528.91/528.99 o 8464 528.91/528.99 o 8463 528.91/528.99 o 8462 528.91/528.99 o 8461 528.91/528.99 o 8460 528.91/528.99 o 8459 528.91/528.99 o 8458 528.91/528.99 o 8457 528.91/528.99 o 8456 528.91/528.99 o 8455 528.91/528.99 o 8453 528.91/528.99 o 8452 528.91/528.99 o 8451 528.91/528.99 o 8449 528.91/528.99 o 8448 528.91/528.99 o 8447 528.91/528.99 o 8446 528.91/528.99 o 8445 528.91/528.99 o 8444 528.91/528.99 o 8443 528.91/528.99 o 8442 528.91/528.99 o 8441 528.91/528.99 o 8440 528.91/528.99 o 8439 528.91/528.99 o 8438 528.91/528.99 o 8437 528.91/528.99 o 8435 528.91/528.99 o 8434 528.91/528.99 o 8433 528.91/528.99 o 8432 528.91/528.99 o 8431 528.91/528.99 o 8430 528.91/528.99 o 8429 528.91/528.99 o 8428 528.91/528.99 o 8427 528.91/528.99 o 6805 528.91/528.99 o 6804 528.91/528.99 o 6803 528.91/528.99 o 6802 528.91/528.99 o 6801 528.91/528.99 o 6800 528.91/528.99 o 6798 528.91/528.99 o 6797 528.91/528.99 o 6796 528.91/528.99 o 6795 528.91/528.99 o 6794 528.91/528.99 o 6793 528.91/528.99 o 6792 528.91/528.99 o 6791 528.91/528.99 o 6790 528.91/528.99 o 6789 528.91/528.99 o 6788 528.91/528.99 o 6787 528.91/528.99 o 6786 528.91/528.99 o 6785 528.91/528.99 o 6784 528.91/528.99 o 6783 528.91/528.99 o 6782 528.91/528.99 o 6781 528.91/528.99 o 6780 528.91/528.99 o 6779 528.91/528.99 o 6778 528.91/528.99 o 6777 528.91/528.99 o 6776 528.91/528.99 o 6775 528.91/528.99 o 6773 528.91/528.99 o 6772 528.91/528.99 o 6771 528.91/528.99 o 6770 528.91/528.99 o 6769 528.91/528.99 o 6768 528.91/528.99 o 6767 528.91/528.99 o 6766 528.91/528.99 o 6765 528.91/528.99 o 6764 528.91/528.99 o 6763 528.91/528.99 o 6762 528.91/528.99 o 6761 528.91/528.99 o 6760 528.91/528.99 o 6759 528.91/528.99 o 6758 528.91/528.99 o 6757 528.91/528.99 o 6756 528.91/528.99 o 6755 528.91/528.99 o 6754 528.91/528.99 o 6753 528.91/528.99 o 6752 528.91/528.99 o 6751 528.91/528.99 o 3549 528.91/528.99 o 3548 528.91/528.99 o 3547 528.91/528.99 o 3546 528.91/528.99 o 3545 528.91/528.99 o 3544 528.91/528.99 o 3543 528.91/528.99 o 3542 528.91/528.99 o 3541 528.91/528.99 o 3540 528.91/528.99 o 3539 528.91/528.99 o 3538 528.91/528.99 o 3537 528.91/528.99 o 3536 528.91/528.99 o 3535 528.91/528.99 o 3534 528.91/528.99 o 3533 528.91/528.99 o 3532 528.91/528.99 o 3531 528.91/528.99 o 3530 528.91/528.99 o 3529 528.91/528.99 o 3528 528.91/528.99 o 3527 528.91/528.99 o 3526 528.91/528.99 o 3525 528.91/528.99 o 3524 528.91/528.99 o 3523 528.91/528.99 o 3522 528.91/528.99 o 3521 528.91/528.99 o 3520 528.91/528.99 o 3519 528.91/528.99 o 3518 528.91/528.99 o 3517 528.91/528.99 o 3516 528.91/528.99 o 3515 528.91/528.99 o 3514 528.91/528.99 o 3513 528.91/528.99 o 3512 528.91/528.99 o 3511 528.91/528.99 o 1888 528.91/528.99 o 1887 528.91/528.99 o 1886 528.91/528.99 o 1885 528.91/528.99 o 1884 528.91/528.99 o 1883 528.91/528.99 o 1882 528.91/528.99 o 1881 528.91/528.99 o 1880 528.91/528.99 o 1879 528.91/528.99 o 1878 528.91/528.99 o 1877 528.91/528.99 o 1875 528.91/528.99 o 1874 528.91/528.99 o 1873 528.91/528.99 o 1872 528.91/528.99 o 1871 528.91/528.99 o 1870 528.91/528.99 o 1869 528.91/528.99 o 1868 528.91/528.99 o 1866 528.91/528.99 o 1865 528.91/528.99 o 1864 528.91/528.99 o 1863 528.91/528.99 o 1861 528.91/528.99 o 1860 528.91/528.99 o 1859 528.91/528.99 s OPTIMUM FOUND 528.91/528.99 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
OK 1859
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498063-1307935303/watcher-3498063-1307935303 -o /var/tmp/evaluation-result-3498063-1307935303/solver-3498063-1307935303 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498063-1307935303.opb --verbosity=0 --format=opb --randomseed=1356190028 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.01 2.00 2/177 13617 /proc/meminfo: memFree=4659772/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=8332 CPUtime=0 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 541 0 0 0 0 0 0 0 25 0 1 0 983760995 8531968 495 33554432000 4194304 6957856 140735191957808 18446744073709551615 4777033 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 2083 496 231 675 0 1399 0 [startup+0.010368 s] /proc/loadavg: 2.04 2.01 2.00 2/177 13617 /proc/meminfo: memFree=4659772/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=8576 CPUtime=0 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 647 0 0 0 0 0 0 0 25 0 1 0 983760995 8781824 582 33554432000 4194304 6957856 140735191957808 18446744073709551615 5510996 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 2144 582 251 675 0 1460 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8576 [startup+0.10035 s] /proc/loadavg: 2.04 2.01 2.00 2/177 13617 /proc/meminfo: memFree=4659772/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=15620 CPUtime=0.09 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 2380 0 0 0 9 0 0 0 25 0 1 0 983760995 15994880 2315 33554432000 4194304 6957856 140735191957808 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 3905 2316 251 675 0 3221 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15620 [startup+0.300331 s] /proc/loadavg: 2.04 2.01 2.00 2/177 13617 /proc/meminfo: memFree=4659772/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=33160 CPUtime=0.29 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 6901 0 0 0 29 0 0 0 25 0 1 0 983760995 33955840 6697 33554432000 4194304 6957856 140735191957808 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 8290 6698 267 675 0 7606 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33160 [startup+0.700258 s] /proc/loadavg: 2.04 2.01 2.00 2/177 13617 /proc/meminfo: memFree=4659772/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=80560 CPUtime=0.69 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 18768 0 0 0 68 1 0 0 25 0 1 0 983760995 82493440 18498 33554432000 4194304 6957856 140735191957808 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 20140 18499 268 675 0 19456 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 80560 [startup+1.50112 s] /proc/loadavg: 2.04 2.01 2.00 3/178 13618 /proc/meminfo: memFree=4586140/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=81784 CPUtime=1.49 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 19081 0 0 0 148 1 0 0 25 0 1 0 983760995 83746816 18811 33554432000 4194304 6957856 140735191957808 18446744073709551615 5929002 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 20446 18811 283 675 0 19762 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 81784 [startup+3.10084 s] /proc/loadavg: 2.04 2.01 2.00 3/178 13618 /proc/meminfo: memFree=4585520/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=81788 CPUtime=3.09 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 19114 0 0 0 308 1 0 0 25 0 1 0 983760995 83750912 18843 33554432000 4194304 6957856 140735191957808 18446744073709551615 5314259 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 20447 18843 286 675 0 19763 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81788 [startup+6.30028 s] /proc/loadavg: 2.03 2.01 2.00 3/178 13618 /proc/meminfo: memFree=4584988/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=82208 CPUtime=6.29 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 19251 0 0 0 628 1 0 0 25 0 1 0 983760995 84180992 18980 33554432000 4194304 6957856 140735191957808 18446744073709551615 5917968 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 20552 18980 286 675 0 19868 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 82208 [startup+12.7002 s] /proc/loadavg: 2.03 2.01 2.00 3/178 13618 /proc/meminfo: memFree=4583300/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=83296 CPUtime=12.69 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 19571 0 0 0 1268 1 0 0 25 0 1 0 983760995 85295104 19299 33554432000 4194304 6957856 140735191957808 18446744073709551615 5311822 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 20824 19299 286 675 0 20140 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 83296 [startup+25.5009 s] /proc/loadavg: 2.02 2.01 2.00 3/178 13619 /proc/meminfo: memFree=4580812/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=85200 CPUtime=25.49 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 20151 0 0 0 2548 1 0 0 25 0 1 0 983760995 87244800 19878 33554432000 4194304 6957856 140735191957808 18446744073709551615 4742318 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 21300 19878 286 675 0 20616 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85200 [startup+51.1004 s] /proc/loadavg: 2.01 2.01 2.00 3/178 13619 /proc/meminfo: memFree=4571824/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=92288 CPUtime=51.09 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 23410 0 0 0 5107 2 0 0 25 0 1 0 983760995 94502912 22242 33554432000 4194304 6957856 140735191957808 18446744073709551615 5932688 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 23072 22242 287 675 0 22388 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 92288 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13621 /proc/meminfo: memFree=4525908/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=102.3 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 46196 0 0 0 10225 5 0 0 25 0 1 0 983760995 146219008 32302 33554432000 4194304 6957856 140735191957808 18446744073709551615 5922650 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 32302 287 675 0 35014 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 142792 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13622 /proc/meminfo: memFree=4511608/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=162.29 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 69721 0 0 0 16220 9 0 0 25 0 1 0 983760995 146219008 34779 33554432000 4194304 6957856 140735191957808 18446744073709551615 5922078 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 34779 288 675 0 35014 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 142792 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13624 /proc/meminfo: memFree=4506728/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=222.3 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 78275 0 0 0 22219 11 0 0 25 0 1 0 983760995 146219008 35140 33554432000 4194304 6957856 140735191957808 18446744073709551615 4837040 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 35140 288 675 0 35014 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 142792 [startup+282.301 s] /proc/loadavg: 2.04 2.01 2.00 3/178 13626 /proc/meminfo: memFree=4471728/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=192112 CPUtime=282.3 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 86749 0 0 0 28218 12 0 0 25 0 1 0 983760995 196722688 43611 33554432000 4194304 6957856 140735191957808 18446744073709551615 4871306 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 48028 43611 288 675 0 47344 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 192112 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 13627 /proc/meminfo: memFree=4461896/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=192112 CPUtime=342.3 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 118714 0 0 0 34212 18 0 0 25 0 1 0 983760995 196722688 45068 33554432000 4194304 6957856 140735191957808 18446744073709551615 5917978 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 48028 45068 288 675 0 47344 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 192112 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13629 /proc/meminfo: memFree=4496092/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=402.3 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 129977 0 0 0 40210 20 0 0 25 0 1 0 983760995 146219008 35173 33554432000 4194304 6957856 140735191957808 18446744073709551615 5932662 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 35173 288 675 0 35014 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 142792 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13630 /proc/meminfo: memFree=4530392/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=462.3 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 129977 0 0 0 46210 20 0 0 25 0 1 0 983760995 146219008 35173 33554432000 4194304 6957856 140735191957808 18446744073709551615 5933982 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 35173 288 675 0 35014 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 142792 [startup+522.301 s] /proc/loadavg: 2.07 2.02 2.00 3/178 13632 /proc/meminfo: memFree=4525276/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=522.31 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 129977 0 0 0 52211 20 0 0 25 0 1 0 983760995 146219008 35173 33554432000 4194304 6957856 140735191957808 18446744073709551615 5934014 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 35173 288 675 0 35014 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 142792 Solver just ended. Dumping a history of the last processes samples [startup+524.706 s] /proc/loadavg: 2.07 2.02 2.00 3/178 13632 /proc/meminfo: memFree=4525016/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=524.71 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 129977 0 0 0 52451 20 0 0 25 0 1 0 983760995 146219008 35173 33554432000 4194304 6957856 140735191957808 18446744073709551615 5918031 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 35173 288 675 0 35014 0 Current children cumulated CPU time (s) 524.71 Current children cumulated vsize (KiB) 142792 [startup+526.3 s] /proc/loadavg: 2.07 2.02 2.00 3/178 13632 /proc/meminfo: memFree=4524892/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=526.31 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 129977 0 0 0 52611 20 0 0 25 0 1 0 983760995 146219008 35173 33554432000 4194304 6957856 140735191957808 18446744073709551615 4857261 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 35173 288 675 0 35014 0 Current children cumulated CPU time (s) 526.31 Current children cumulated vsize (KiB) 142792 [startup+527.901 s] /proc/loadavg: 2.07 2.02 2.00 3/178 13632 /proc/meminfo: memFree=4524644/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=527.91 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 129977 0 0 0 52771 20 0 0 25 0 1 0 983760995 146219008 35173 33554432000 4194304 6957856 140735191957808 18446744073709551615 4871286 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 35173 288 675 0 35014 0 Current children cumulated CPU time (s) 527.91 Current children cumulated vsize (KiB) 142792 [startup+528.701 s] /proc/loadavg: 2.07 2.02 2.00 3/178 13632 /proc/meminfo: memFree=4524644/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=528.71 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 129977 0 0 0 52851 20 0 0 25 0 1 0 983760995 146219008 35173 33554432000 4194304 6957856 140735191957808 18446744073709551615 5915095 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 35173 288 675 0 35014 0 Current children cumulated CPU time (s) 528.71 Current children cumulated vsize (KiB) 142792 [startup+528.901 s] /proc/loadavg: 2.07 2.02 2.00 3/178 13632 /proc/meminfo: memFree=4524644/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=142792 CPUtime=528.91 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) R 13615 13617 11494 0 -1 4202496 129977 0 0 0 52871 20 0 0 25 0 1 0 983760995 146219008 35173 33554432000 4194304 6957856 140735191957808 18446744073709551615 5385219 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13617/statm: 35698 35173 288 675 0 35014 0 Current children cumulated CPU time (s) 528.91 Current children cumulated vsize (KiB) 142792 [startup+529.001 s] /proc/loadavg: 2.07 2.02 2.00 3/178 13632 /proc/meminfo: memFree=4629672/32951124 swapFree=67054712/67111528 [pid=13617] ppid=13615 vsize=0 CPUtime=529 cores=1,3,5,7 /proc/13617/stat : 13617 (minisatid-gmp) Z 13615 13617 11494 0 -1 4202524 129980 0 0 0 52880 20 0 0 25 0 1 0 983760995 0 0 33554432000 0 0 0 0 0 0 0 4096 17571 18446744073709551615 0 0 17 1 0 0 0 /proc/13617/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 529 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 529.007 CPU time (s): 529.014 CPU user time (s): 528.807 CPU system time (s): 0.206968 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 222932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 528.807 system time used= 0.206968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 129980 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= 5 involuntary context switches= 1282 runsolver used 0.732888 second user time and 1.92671 second system time The end
Begin job on node119 at 2011-06-13 05:21:43 IDJOB=3498063 IDBENCH=72111 IDSOLVER=1990 FILE ID=node119/3498063-1307935303 RUNJOBID= node119-1307919796-11513 PBS_JOBID= 13559660 Free space on /var/tmp= 2872 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randa2004a.cudf.paranoid.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498063-1307935303/watcher-3498063-1307935303 -o /var/tmp/evaluation-result-3498063-1307935303/solver-3498063-1307935303 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498063-1307935303.opb --verbosity=0 --format=opb --randomseed=1356190028 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3b140fe9f2cb3c59ddf55faba2e83116 RANDOM SEED=1356190028 node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 4660216 kB Buffers: 95756 kB Cached: 26876628 kB SwapCached: 11032 kB Active: 12200896 kB Inactive: 15221268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 4660216 kB SwapTotal: 67111528 kB SwapFree: 67054712 kB Dirty: 4084 kB Writeback: 0 kB AnonPages: 447376 kB Mapped: 14364 kB Slab: 803132 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 658480 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2868 MiB End job on node119 at 2011-06-13 05:30:33