Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | OPT | 4750 | 170.527 | 170.525 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb |
MD5SUM | afde7889f43b30fcc4bad7828bff7cb4 |
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 | 4750 |
Best CPU time to get the best result obtained on this benchmark | 0.380942 |
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 | 5571 |
Total number of constraints | 25010 |
Number of constraints which are clauses | 24721 |
Number of constraints which are cardinality constraints (but not clauses) | 289 |
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 | 2066 |
Biggest coefficient in the objective function | 1517 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 837382 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1517 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 837382 |
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. 47.29/47.36 o 527031 47.29/47.36 o 525513 47.29/47.36 o 523999 47.29/47.36 o 519446 47.29/47.36 o 516411 47.29/47.36 o 513375 47.29/47.36 o 511858 47.29/47.36 o 508824 47.29/47.36 o 507307 47.29/47.36 o 504271 47.29/47.36 o 502754 47.29/47.36 o 501237 47.29/47.36 o 499720 47.29/47.36 o 498202 47.29/47.36 o 496685 47.29/47.36 o 493650 47.29/47.36 o 492133 47.29/47.36 o 490616 47.29/47.36 o 489099 47.29/47.36 o 486066 47.29/47.36 o 484549 47.29/47.36 o 483032 47.29/47.36 o 481515 47.29/47.36 o 473929 47.29/47.36 o 472412 47.29/47.36 o 469378 47.29/47.36 o 467862 47.29/47.36 o 466345 47.29/47.36 o 464829 47.29/47.36 o 463312 47.29/47.36 o 461795 47.29/47.36 o 460278 47.29/47.36 o 460277 47.29/47.36 o 458760 47.29/47.36 o 457243 47.29/47.36 o 455724 47.29/47.36 o 455723 47.29/47.36 o 454206 47.29/47.36 o 452689 47.29/47.36 o 451171 47.29/47.36 o 449654 47.29/47.36 o 448138 47.29/47.36 o 446620 47.29/47.36 o 445103 47.29/47.36 o 440550 47.29/47.36 o 439033 47.29/47.36 o 437516 47.29/47.36 o 435999 47.29/47.36 o 434482 47.29/47.36 o 432964 47.29/47.36 o 431447 47.29/47.36 o 431446 47.29/47.36 o 429929 47.29/47.36 o 428412 47.29/47.36 o 426895 47.29/47.36 o 426894 47.29/47.36 o 425377 47.29/47.36 o 423860 47.29/47.36 o 422343 47.29/47.36 o 420825 47.29/47.36 o 419312 47.29/47.36 o 417795 47.29/47.36 o 416278 47.29/47.36 o 416277 47.29/47.36 o 414760 47.29/47.36 o 413243 47.29/47.36 o 411726 47.29/47.36 o 410209 47.29/47.36 o 408691 47.29/47.36 o 408690 47.29/47.36 o 407173 47.29/47.36 o 405656 47.29/47.36 o 405655 47.29/47.36 o 405654 47.29/47.36 o 404138 47.29/47.36 o 404137 47.29/47.36 o 402620 47.29/47.36 o 401103 47.29/47.36 o 398067 47.29/47.36 o 396550 47.29/47.36 o 395034 47.29/47.36 o 395033 47.29/47.36 o 395032 47.29/47.36 o 391996 47.29/47.36 o 391995 47.29/47.36 o 390478 47.29/47.36 o 388961 47.29/47.36 o 387444 47.29/47.36 o 387443 47.29/47.36 o 387442 47.29/47.36 o 387441 47.29/47.36 o 387440 47.29/47.36 o 385922 47.29/47.36 o 384405 47.29/47.36 o 382888 47.29/47.36 o 381371 47.29/47.36 o 379861 47.29/47.36 o 378343 47.29/47.36 o 378342 47.29/47.36 o 378341 47.29/47.36 o 378340 47.29/47.36 o 378339 47.29/47.36 o 376823 47.29/47.36 o 376822 47.29/47.36 o 375305 47.29/47.36 o 375304 47.29/47.36 o 375303 47.29/47.36 o 375302 47.29/47.36 o 373784 47.29/47.36 o 373783 47.29/47.36 o 373782 47.29/47.36 o 372265 47.29/47.36 o 372264 47.29/47.36 o 372263 47.29/47.36 o 370745 47.29/47.36 o 369228 47.29/47.36 o 367711 47.29/47.36 o 364681 47.29/47.36 o 364680 47.29/47.36 o 363163 47.29/47.36 o 363162 47.29/47.36 o 361644 47.29/47.36 o 361643 47.29/47.36 o 360125 47.29/47.36 o 360124 47.29/47.36 o 360122 47.29/47.36 o 360120 47.29/47.36 o 360119 47.29/47.36 o 358606 47.29/47.36 o 358605 47.29/47.36 o 357087 47.29/47.36 o 357085 47.29/47.36 o 355569 47.29/47.36 o 354054 47.29/47.36 o 354053 47.29/47.36 o 352535 47.29/47.36 o 351019 47.29/47.36 o 351018 47.29/47.36 o 347984 47.29/47.36 o 346466 47.29/47.36 o 344949 47.29/47.36 o 343432 47.29/47.36 o 343431 47.29/47.36 o 341913 47.29/47.36 o 340403 47.29/47.36 o 338886 47.29/47.36 o 338885 47.29/47.36 o 337367 47.29/47.36 o 335849 47.29/47.36 o 335848 47.29/47.36 o 335847 47.29/47.36 o 334329 47.29/47.36 o 332813 47.29/47.36 o 332812 47.29/47.36 o 332811 47.29/47.36 o 331293 47.29/47.36 o 329776 47.29/47.36 o 328258 47.29/47.36 o 326741 47.29/47.36 o 325227 47.29/47.36 o 325225 47.29/47.36 o 325224 47.29/47.36 o 323707 47.29/47.36 o 322192 47.29/47.36 o 322190 47.29/47.36 o 322189 47.29/47.36 o 322188 47.29/47.36 o 320674 47.29/47.36 o 319156 47.29/47.36 o 319155 47.29/47.36 o 319154 47.29/47.36 o 317636 47.29/47.36 o 316119 47.29/47.36 o 316118 47.29/47.36 o 314601 47.29/47.36 o 313083 47.29/47.36 o 311566 47.29/47.36 o 311565 47.29/47.36 o 311564 47.29/47.36 o 310047 47.29/47.36 o 308531 47.29/47.36 o 307024 47.29/47.36 o 303988 47.29/47.36 o 303987 47.29/47.36 o 302469 47.29/47.36 o 302468 47.29/47.36 o 302467 47.29/47.36 o 300950 47.29/47.36 o 300949 47.29/47.36 o 300948 47.29/47.36 o 299430 47.29/47.36 o 299429 47.29/47.36 o 299428 47.29/47.36 o 297910 47.29/47.36 o 296393 47.29/47.36 o 296392 47.29/47.36 o 296390 47.29/47.36 o 296388 47.29/47.36 o 294871 47.29/47.36 o 294870 47.29/47.36 o 294869 47.29/47.36 o 293351 47.29/47.36 o 291834 47.29/47.36 o 290317 47.29/47.36 o 288800 47.29/47.36 o 287283 47.29/47.36 o 285766 47.29/47.36 o 285765 47.29/47.36 o 284248 47.29/47.36 o 284247 47.29/47.36 o 282729 47.29/47.36 o 282728 47.29/47.36 o 281211 47.29/47.36 o 279694 47.29/47.36 o 279693 47.29/47.36 o 279692 47.29/47.36 o 278174 47.29/47.36 o 278173 47.29/47.36 o 276656 47.29/47.36 o 275138 47.29/47.36 o 273621 47.29/47.36 o 273620 47.29/47.36 o 272103 47.29/47.36 o 272102 47.29/47.36 o 270585 47.29/47.36 o 269068 47.29/47.36 o 269067 47.29/47.36 o 267549 47.29/47.36 o 266032 47.29/47.36 o 264515 47.29/47.36 o 264514 47.29/47.36 o 262997 47.29/47.36 o 261480 47.29/47.36 o 259962 47.29/47.36 o 259960 47.29/47.36 o 259959 47.29/47.36 o 258442 47.29/47.36 o 256925 47.29/47.36 o 255408 47.29/47.36 o 253890 47.29/47.36 o 253889 47.29/47.36 o 252372 47.29/47.36 o 250856 47.29/47.36 o 249339 47.29/47.36 o 247822 47.29/47.36 o 246304 47.29/47.36 o 246303 47.29/47.36 o 246302 47.29/47.36 o 244785 47.29/47.36 o 243269 47.29/47.36 o 243268 47.29/47.36 o 240235 47.29/47.36 o 238718 47.29/47.36 o 237201 47.29/47.36 o 235684 47.29/47.36 o 234167 47.29/47.36 o 234166 47.29/47.36 o 234165 47.29/47.36 o 232647 47.29/47.36 o 232646 47.29/47.36 o 231128 47.29/47.36 o 231127 47.29/47.36 o 231126 47.29/47.36 o 231125 47.29/47.36 o 229607 47.29/47.36 o 228090 47.29/47.36 o 226573 47.29/47.36 o 226572 47.29/47.36 o 225054 47.29/47.36 o 225053 47.29/47.36 o 225052 47.29/47.36 o 223534 47.29/47.36 o 223533 47.29/47.36 o 223532 47.29/47.36 o 222014 47.29/47.36 o 222013 47.29/47.36 o 222012 47.29/47.36 o 220495 47.29/47.36 o 218978 47.29/47.36 o 218977 47.29/47.36 o 217460 47.29/47.36 o 217459 47.29/47.36 o 215941 47.29/47.36 o 215940 47.29/47.36 o 215939 47.29/47.36 o 215938 47.29/47.36 o 215937 47.29/47.36 o 215936 47.29/47.36 o 214418 47.29/47.36 o 214417 47.29/47.36 o 212899 47.29/47.36 o 211422 47.29/47.36 o 211421 47.29/47.36 o 211420 47.29/47.36 o 209903 47.29/47.36 o 209902 47.29/47.36 o 209901 47.29/47.36 o 208383 47.29/47.36 o 206871 47.29/47.36 o 206870 47.29/47.36 o 205353 47.29/47.36 o 205352 47.29/47.36 o 205351 47.29/47.36 o 205350 47.29/47.36 o 203833 47.29/47.36 o 203832 47.29/47.36 o 203831 47.29/47.36 o 203830 47.29/47.36 o 203829 47.29/47.36 o 203828 47.29/47.36 o 200794 47.29/47.36 o 199276 47.29/47.36 o 199275 47.29/47.36 o 193201 47.29/47.36 o 193200 47.29/47.36 o 193199 47.29/47.36 o 193198 47.29/47.36 o 193196 47.29/47.36 o 193195 47.29/47.36 o 193194 47.29/47.36 o 193193 47.29/47.36 o 193192 47.29/47.36 o 190158 47.29/47.36 o 188641 47.29/47.36 o 187128 47.29/47.36 o 187127 47.29/47.36 o 187126 47.29/47.36 o 185609 47.29/47.36 o 184094 47.29/47.36 o 184093 47.29/47.36 o 184092 47.29/47.36 o 184091 47.29/47.36 o 182576 47.29/47.36 o 182575 47.29/47.36 o 182574 47.29/47.36 o 182573 47.29/47.36 o 181055 47.29/47.36 o 181054 47.29/47.36 o 179537 47.29/47.36 o 178029 47.29/47.36 o 178028 47.29/47.36 o 178027 47.29/47.36 o 178026 47.29/47.36 o 176510 47.29/47.36 o 176509 47.29/47.36 o 176508 47.29/47.36 o 174992 47.29/47.36 o 174991 47.29/47.36 o 174990 47.29/47.36 o 174989 47.29/47.36 o 173472 47.29/47.36 o 173471 47.29/47.36 o 173470 47.29/47.36 o 171956 47.29/47.36 o 171955 47.29/47.36 o 171954 47.29/47.36 o 170437 47.29/47.36 o 170436 47.29/47.36 o 170435 47.29/47.36 o 170434 47.29/47.36 o 170433 47.29/47.36 o 170432 47.29/47.36 o 170431 47.29/47.36 o 170430 47.29/47.36 o 170429 47.29/47.36 o 170428 47.29/47.36 o 170427 47.29/47.36 o 170426 47.29/47.36 o 170425 47.29/47.36 o 170424 47.29/47.36 o 170422 47.29/47.36 o 170421 47.29/47.36 o 170420 47.29/47.36 o 170419 47.29/47.36 o 170418 47.29/47.36 o 168904 47.29/47.36 o 168903 47.29/47.36 o 168902 47.29/47.36 o 168901 47.29/47.36 o 167384 47.29/47.36 o 165867 47.29/47.36 o 165866 47.29/47.36 o 164352 47.29/47.36 o 164351 47.29/47.36 o 164350 47.29/47.36 o 164349 47.29/47.36 o 162840 47.29/47.36 o 162839 47.29/47.36 o 162837 47.29/47.36 o 162836 47.29/47.36 o 162835 47.29/47.36 o 162834 47.29/47.36 o 162833 47.29/47.36 o 162832 47.29/47.36 o 162831 47.29/47.36 o 161316 47.29/47.36 o 161315 47.29/47.36 o 161313 47.29/47.36 o 159798 47.29/47.36 o 156776 47.29/47.36 o 156774 47.29/47.36 o 156773 47.29/47.36 o 156772 47.29/47.36 o 156771 47.29/47.36 o 156770 47.29/47.36 o 156769 47.29/47.36 o 156768 47.29/47.36 o 156767 47.29/47.36 o 156766 47.29/47.36 o 156765 47.29/47.36 o 155259 47.29/47.36 o 155257 47.29/47.36 o 155256 47.29/47.36 o 155255 47.29/47.36 o 155254 47.29/47.36 o 155253 47.29/47.36 o 155252 47.29/47.36 o 155251 47.29/47.36 o 155250 47.29/47.36 o 155249 47.29/47.36 o 155248 47.29/47.36 o 153739 47.29/47.36 o 153737 47.29/47.36 o 153736 47.29/47.36 o 153735 47.29/47.36 o 153734 47.29/47.36 o 153733 47.29/47.36 o 153732 47.29/47.36 o 153731 47.29/47.36 o 153730 47.29/47.36 o 152217 47.29/47.36 o 152216 47.29/47.36 o 152215 47.29/47.36 o 152214 47.29/47.36 o 150701 47.29/47.36 o 150700 47.29/47.36 o 150699 47.29/47.36 o 150698 47.29/47.36 o 150697 47.29/47.36 o 150696 47.29/47.36 o 149182 47.29/47.36 o 149181 47.29/47.36 o 149180 47.29/47.36 o 149179 47.29/47.36 o 147666 47.29/47.36 o 147665 47.29/47.36 o 147664 47.29/47.36 o 147663 47.29/47.36 o 147662 47.29/47.36 o 146146 47.29/47.36 o 146145 47.29/47.36 o 146144 47.29/47.36 o 146143 47.29/47.36 o 144631 47.29/47.36 o 143114 47.29/47.36 o 143113 109.20/109.25 o 143112 109.20/109.25 o 143111 109.20/109.25 o 143110 109.20/109.25 o 143109 109.20/109.25 o 143108 109.20/109.25 o 141592 109.20/109.25 o 141591 109.20/109.25 o 141590 109.20/109.25 o 141589 109.20/109.25 o 140082 109.20/109.25 o 140080 109.20/109.25 o 140079 109.20/109.25 o 140078 109.20/109.25 o 140077 109.20/109.25 o 140076 109.20/109.25 o 140075 109.20/109.25 o 140074 109.20/109.25 o 140072 109.20/109.25 o 138564 109.20/109.25 o 138563 109.20/109.25 o 138561 109.20/109.25 o 138560 109.20/109.25 o 138559 109.20/109.25 o 137042 109.20/109.25 o 135524 109.20/109.25 o 134006 109.20/109.25 o 132492 109.20/109.25 o 130975 109.20/109.25 o 130973 109.20/109.25 o 130972 109.20/109.25 o 130971 109.20/109.25 o 130970 109.20/109.25 o 130968 109.20/109.25 o 130967 109.20/109.25 o 130965 109.20/109.25 o 130964 109.20/109.25 o 130963 109.20/109.25 o 130962 109.20/109.25 o 130960 109.20/109.25 o 130959 109.20/109.25 o 129441 109.20/109.25 o 127923 109.20/109.25 o 126406 109.20/109.25 o 126405 109.20/109.25 o 123369 109.20/109.25 o 123357 109.20/109.25 o 121840 109.20/109.25 o 121839 109.20/109.25 o 121838 109.20/109.25 o 121835 109.20/109.25 o 121834 109.20/109.25 o 121833 109.20/109.25 o 120315 109.20/109.25 o 118800 109.20/109.25 o 118798 109.20/109.25 o 117281 109.20/109.25 o 117280 109.20/109.25 o 117279 109.20/109.25 o 115761 109.20/109.25 o 114243 109.20/109.25 o 112726 109.20/109.25 o 112725 109.20/109.25 o 112724 109.20/109.25 o 112723 109.20/109.25 o 112722 109.20/109.25 o 112721 109.20/109.25 o 111204 109.20/109.25 o 109686 109.20/109.25 o 108170 109.20/109.25 o 108169 109.20/109.25 o 106651 109.20/109.25 o 106650 109.20/109.25 o 106649 109.20/109.25 o 105131 109.20/109.25 o 103615 109.20/109.25 o 103614 109.20/109.25 o 103613 109.20/109.25 o 102095 109.20/109.25 o 97559 109.20/109.25 o 97558 109.20/109.25 o 97557 109.20/109.25 o 97556 109.20/109.25 o 97555 109.20/109.25 o 97554 109.20/109.25 o 97553 109.20/109.25 o 97551 109.20/109.25 o 96032 109.20/109.25 o 94515 109.20/109.25 o 94514 109.20/109.25 o 94513 109.20/109.25 o 94512 109.20/109.25 o 92995 109.20/109.25 o 92994 109.20/109.25 o 92993 109.20/109.25 o 92992 109.20/109.25 o 92991 109.20/109.25 o 92990 109.20/109.25 o 92989 109.20/109.25 o 91471 109.20/109.25 o 91470 109.20/109.25 o 91469 109.20/109.25 o 91467 109.20/109.25 o 89957 109.20/109.25 o 89956 109.20/109.25 o 88438 109.20/109.25 o 88434 109.20/109.25 o 88433 109.20/109.25 o 88432 109.20/109.25 o 88430 109.20/109.25 o 86936 109.20/109.25 o 86935 109.20/109.25 o 86934 109.20/109.25 o 85417 109.20/109.25 o 85416 109.20/109.25 o 85414 109.20/109.25 o 85412 109.20/109.25 o 85411 109.20/109.25 o 85408 109.20/109.25 o 85407 109.20/109.25 o 85403 109.20/109.25 o 85402 109.20/109.25 o 85401 109.20/109.25 o 85399 109.20/109.25 o 85398 109.20/109.25 o 85397 109.20/109.25 o 85396 109.20/109.25 o 85395 109.20/109.25 o 85394 109.20/109.25 o 85393 109.20/109.25 o 85391 109.20/109.25 o 85390 109.20/109.25 o 85389 109.20/109.25 o 83871 109.20/109.25 o 83870 109.20/109.25 o 83869 109.20/109.25 o 82352 109.20/109.25 o 80835 109.20/109.25 o 79318 109.20/109.25 o 77800 109.20/109.25 o 77799 109.20/109.25 o 77798 109.20/109.25 o 77797 109.20/109.25 o 77796 109.20/109.25 o 76279 109.20/109.25 o 74772 109.20/109.25 o 73257 109.20/109.25 o 73256 109.20/109.25 o 73255 109.20/109.25 o 71737 109.20/109.25 o 70223 109.20/109.25 o 68709 109.20/109.25 o 67197 109.20/109.25 o 67196 109.20/109.25 o 67195 109.20/109.25 o 67194 109.20/109.25 o 67193 109.20/109.25 o 67192 109.20/109.25 o 67191 109.20/109.25 o 65673 109.20/109.25 o 65672 109.20/109.25 o 65671 109.20/109.25 o 64153 109.20/109.25 o 62638 109.20/109.25 o 62636 109.20/109.25 o 62635 109.20/109.25 o 62634 109.20/109.25 o 62633 109.20/109.25 o 62632 109.20/109.25 o 61114 109.20/109.25 o 61113 109.20/109.25 o 61112 109.20/109.25 o 59602 109.20/109.25 o 59600 109.20/109.25 o 59599 109.20/109.25 o 59598 109.20/109.25 o 59597 109.20/109.25 o 58087 109.20/109.25 o 58086 109.20/109.25 o 58085 109.20/109.25 o 58084 109.20/109.25 o 58083 109.20/109.25 o 58082 109.20/109.25 o 58081 109.20/109.25 o 58080 109.20/109.25 o 56566 109.20/109.25 o 56565 109.20/109.25 o 56564 109.20/109.25 o 56563 109.20/109.25 o 56562 109.20/109.25 o 56561 109.20/109.25 o 56560 109.20/109.25 o 56559 109.20/109.25 o 56558 109.20/109.25 o 56554 109.20/109.25 o 56553 109.20/109.25 o 56552 109.20/109.25 o 56551 109.20/109.25 o 56550 109.20/109.25 o 56549 109.20/109.25 o 56548 109.20/109.25 o 56546 109.20/109.25 o 56545 109.20/109.25 o 56544 109.20/109.25 o 56543 109.20/109.25 o 56542 109.20/109.25 o 56540 109.20/109.25 o 56539 109.20/109.25 o 56537 109.20/109.25 o 55021 109.20/109.25 o 55020 109.20/109.25 o 53509 109.20/109.25 o 53508 109.20/109.25 o 53507 109.20/109.25 o 51989 109.20/109.25 o 51988 109.20/109.25 o 51987 109.20/109.25 o 51986 109.20/109.25 o 51984 109.20/109.25 o 51975 109.20/109.25 o 51974 109.20/109.25 o 51973 109.20/109.25 o 51972 109.20/109.25 o 51970 109.20/109.25 o 51969 109.20/109.25 o 51968 109.20/109.25 o 51967 109.20/109.25 o 50452 109.20/109.25 o 48935 109.20/109.25 o 48934 109.20/109.25 o 48932 109.20/109.25 o 47443 109.20/109.25 o 47442 109.20/109.25 o 47441 109.20/109.25 o 47439 109.20/109.25 o 45925 109.20/109.25 o 45924 109.20/109.25 o 45922 109.20/109.25 o 45921 109.20/109.25 o 45920 109.20/109.25 o 45919 109.20/109.25 o 45918 109.20/109.25 o 45917 109.20/109.25 o 45916 109.20/109.25 o 45915 109.20/109.25 o 45914 109.20/109.25 o 44396 109.20/109.25 o 44395 109.20/109.25 o 42876 109.20/109.25 o 41367 109.20/109.25 o 41366 109.20/109.25 o 41365 109.20/109.25 o 41364 109.20/109.25 o 41363 109.20/109.25 o 39846 109.20/109.25 o 38330 109.20/109.25 o 36813 109.20/109.25 o 36812 109.20/109.25 o 35303 109.20/109.25 o 33786 109.20/109.25 o 33785 109.20/109.25 o 33784 109.20/109.25 o 33781 109.20/109.25 o 33780 109.20/109.25 o 33779 109.20/109.25 o 33777 109.20/109.25 o 33776 109.20/109.25 o 33775 109.20/109.25 o 33774 109.20/109.25 o 33773 109.20/109.25 o 33772 109.20/109.25 o 33770 109.20/109.25 o 33769 109.20/109.25 o 33768 109.20/109.25 o 32251 109.20/109.25 o 30733 109.20/109.25 o 30732 109.20/109.25 o 29214 109.20/109.25 o 29213 109.20/109.25 o 29212 109.20/109.25 o 29211 109.20/109.25 o 29210 109.20/109.25 o 27693 109.20/109.25 o 26176 109.20/109.25 o 24659 109.20/109.25 o 24658 109.20/109.25 o 23140 109.20/109.25 o 23139 109.20/109.25 o 21622 109.20/109.25 o 20113 109.20/109.25 o 20109 109.20/109.25 o 20108 109.20/109.25 o 20107 109.20/109.25 o 20106 109.20/109.25 o 20105 109.20/109.25 o 20087 109.20/109.25 o 20086 109.20/109.25 o 20085 109.20/109.25 o 20084 109.20/109.25 o 20083 109.20/109.25 o 20082 109.20/109.25 o 20081 109.20/109.25 o 20079 109.20/109.25 o 20078 109.20/109.25 o 20077 109.20/109.25 o 20076 109.20/109.25 o 20075 109.20/109.25 o 20074 109.20/109.25 o 20073 109.20/109.25 o 20072 109.20/109.25 o 20071 109.20/109.25 o 20070 109.20/109.25 o 20069 109.20/109.25 o 18577 109.20/109.25 o 18576 109.20/109.25 o 18568 109.20/109.25 o 18567 109.20/109.25 o 17049 109.20/109.25 o 17048 109.20/109.25 o 17047 109.20/109.25 o 17045 109.20/109.25 o 17044 109.20/109.25 o 17043 109.20/109.25 o 17042 109.20/109.25 o 17041 109.20/109.25 o 17040 109.20/109.25 o 17039 109.20/109.25 o 17038 109.20/109.25 o 17037 109.20/109.25 o 17035 109.20/109.25 o 17034 109.20/109.25 o 17033 109.20/109.25 o 17032 109.20/109.25 o 17031 109.20/109.25 o 17030 109.20/109.25 o 17029 109.20/109.25 o 15522 109.20/109.25 o 15521 109.20/109.25 o 15520 109.20/109.25 o 15519 109.20/109.25 o 15518 109.20/109.25 o 15517 109.20/109.25 o 15516 109.20/109.25 o 15515 109.20/109.25 o 15514 109.20/109.25 o 15513 109.20/109.25 o 15512 109.20/109.25 o 15511 109.20/109.25 o 15510 109.20/109.25 o 15509 109.20/109.25 o 15508 109.20/109.25 o 15507 109.20/109.25 o 15506 109.20/109.25 o 15505 109.20/109.25 o 15504 109.20/109.25 o 15503 109.20/109.25 o 15502 109.20/109.25 o 15501 109.20/109.25 o 15500 109.20/109.25 o 15499 109.20/109.25 o 15498 109.20/109.25 o 15497 109.20/109.25 o 15496 109.20/109.25 o 15495 109.20/109.25 o 15494 109.20/109.25 o 15493 109.20/109.25 o 15492 109.20/109.25 o 15491 109.20/109.25 o 15490 109.20/109.25 o 15489 109.20/109.25 o 15488 109.20/109.25 o 13998 109.20/109.25 o 13997 109.20/109.25 o 13993 109.20/109.25 o 13992 109.20/109.26 o 13991 109.20/109.26 o 13990 109.20/109.26 o 13989 109.20/109.26 o 13988 109.20/109.26 o 13987 109.20/109.26 o 13986 109.20/109.26 o 13985 109.20/109.26 o 13984 109.20/109.26 o 13983 109.20/109.26 o 13982 109.20/109.26 o 13981 109.20/109.26 o 13980 109.20/109.26 o 13979 109.20/109.26 o 13978 109.20/109.26 o 13977 109.20/109.26 o 13976 109.20/109.26 o 13975 109.20/109.26 o 13974 109.20/109.26 o 13970 109.20/109.26 o 13969 109.20/109.26 o 13968 109.20/109.26 o 13967 109.20/109.26 o 13966 109.20/109.26 o 13965 109.20/109.26 o 13964 109.20/109.26 o 13963 109.20/109.26 o 13962 109.20/109.26 o 13961 109.20/109.26 o 13959 109.20/109.26 o 13958 109.20/109.26 o 13957 109.20/109.26 o 13956 109.20/109.26 o 13955 109.20/109.26 o 13954 109.20/109.26 o 13953 109.20/109.26 o 13952 109.20/109.26 o 13951 109.20/109.26 o 13950 109.20/109.26 o 13949 109.20/109.26 o 13948 109.20/109.26 o 13947 109.20/109.26 o 13946 109.20/109.26 o 13945 109.20/109.26 o 13944 109.20/109.26 o 13943 109.20/109.26 o 13942 109.20/109.26 o 13941 109.20/109.26 o 12499 109.20/109.26 o 12498 109.20/109.26 o 12497 109.20/109.26 o 12496 109.20/109.26 o 12495 109.20/109.26 o 12494 109.20/109.26 o 12493 109.20/109.26 o 12492 109.20/109.26 o 12491 109.20/109.26 o 12490 109.20/109.26 o 12489 109.20/109.26 o 12488 109.20/109.26 o 12487 109.20/109.26 o 10976 109.20/109.26 o 10975 109.20/109.26 o 10974 109.20/109.26 o 10973 109.20/109.26 o 10972 109.20/109.26 o 10971 109.20/109.26 o 10970 109.20/109.26 o 10969 109.20/109.26 o 10968 109.20/109.26 o 10967 109.20/109.26 o 10966 109.20/109.26 o 10965 109.20/109.26 o 10964 109.20/109.26 o 10963 109.20/109.26 o 10962 109.20/109.26 o 10961 109.20/109.26 o 10960 109.20/109.26 o 10959 109.20/109.26 o 10958 109.20/109.26 o 10957 109.20/109.26 o 10955 109.20/109.26 o 10954 109.20/109.26 o 10953 109.20/109.26 o 10952 109.20/109.26 o 10951 109.20/109.26 o 10950 109.20/109.26 o 10949 109.20/109.26 o 10945 109.20/109.26 o 10943 109.20/109.26 o 10942 109.20/109.26 o 10941 109.20/109.26 o 10940 109.20/109.26 o 10939 109.20/109.26 o 10938 109.20/109.26 o 10937 109.20/109.26 o 10936 109.20/109.26 o 10935 109.20/109.26 o 10934 109.20/109.26 o 10933 109.20/109.26 o 10932 109.20/109.26 o 10931 109.20/109.26 o 10930 109.20/109.26 o 10929 109.20/109.26 o 10928 109.20/109.26 o 10927 109.20/109.26 o 10926 109.20/109.26 o 10925 109.20/109.26 o 10924 109.20/109.26 o 10923 109.20/109.26 o 10922 109.20/109.26 o 10921 109.20/109.26 o 10920 109.20/109.26 o 10919 109.20/109.26 o 10918 109.20/109.26 o 10917 109.20/109.26 o 10916 109.20/109.26 o 10915 109.20/109.26 o 10914 109.20/109.26 o 10913 109.20/109.26 o 10912 109.20/109.26 o 9412 109.20/109.26 o 9411 109.20/109.26 o 9410 109.20/109.26 o 9409 109.20/109.26 o 9408 109.20/109.26 o 9407 109.20/109.26 o 9406 109.20/109.26 o 9405 109.20/109.26 o 9404 170.50/170.51 o 9403 170.50/170.51 o 9402 170.50/170.51 o 9401 170.50/170.51 o 9400 170.50/170.51 o 9399 170.50/170.51 o 9398 170.50/170.51 o 9397 170.50/170.51 o 9396 170.50/170.51 o 9395 170.50/170.51 o 9394 170.50/170.51 o 9393 170.50/170.51 o 9392 170.50/170.51 o 9391 170.50/170.51 o 9390 170.50/170.51 o 9389 170.50/170.51 o 9388 170.50/170.51 o 9387 170.50/170.51 o 9386 170.50/170.51 o 9385 170.50/170.51 o 9384 170.50/170.51 o 9383 170.50/170.51 o 9382 170.50/170.51 o 9381 170.50/170.51 o 7864 170.50/170.51 o 7863 170.50/170.51 o 7862 170.50/170.51 o 7861 170.50/170.51 o 7860 170.50/170.51 o 7859 170.50/170.51 o 7858 170.50/170.51 o 7857 170.50/170.51 o 7856 170.50/170.51 o 7855 170.50/170.51 o 7854 170.50/170.51 o 7853 170.50/170.51 o 7852 170.50/170.51 o 7851 170.50/170.51 o 7850 170.50/170.51 o 7849 170.50/170.51 o 7848 170.50/170.51 o 6352 170.50/170.51 o 6351 170.50/170.51 o 6350 170.50/170.51 o 6349 170.50/170.51 o 6348 170.50/170.51 o 6347 170.50/170.51 o 6346 170.50/170.51 o 6345 170.50/170.51 o 6344 170.50/170.51 o 6343 170.50/170.51 o 6341 170.50/170.51 o 6340 170.50/170.51 o 6339 170.50/170.51 o 6338 170.50/170.51 o 6337 170.50/170.51 o 6336 170.50/170.51 o 6335 170.50/170.51 o 6334 170.50/170.51 o 6333 170.50/170.51 o 6332 170.50/170.51 o 6331 170.50/170.51 o 6330 170.50/170.51 o 6329 170.50/170.51 o 6328 170.50/170.51 o 6327 170.50/170.51 o 6326 170.50/170.51 o 6325 170.50/170.51 o 6324 170.50/170.51 o 6323 170.50/170.51 o 6322 170.50/170.51 o 6321 170.50/170.51 o 6320 170.50/170.51 o 6319 170.50/170.51 o 6318 170.50/170.51 o 6317 170.50/170.51 o 6316 170.50/170.51 o 6315 170.50/170.51 o 6314 170.50/170.51 o 6313 170.50/170.51 o 6312 170.50/170.51 o 6311 170.50/170.51 o 6310 170.50/170.51 o 6309 170.50/170.51 o 6308 170.50/170.51 o 6307 170.50/170.51 o 4811 170.50/170.51 o 4810 170.50/170.51 o 4808 170.50/170.51 o 4807 170.50/170.51 o 4806 170.50/170.51 o 4805 170.50/170.51 o 4804 170.50/170.51 o 4803 170.50/170.51 o 4802 170.50/170.51 o 4801 170.50/170.51 o 4800 170.50/170.51 o 4799 170.50/170.51 o 4798 170.50/170.51 o 4797 170.50/170.51 o 4796 170.50/170.51 o 4795 170.50/170.51 o 4794 170.50/170.51 o 4793 170.50/170.51 o 4792 170.50/170.51 o 4791 170.50/170.51 o 4790 170.50/170.51 o 4789 170.50/170.51 o 4788 170.50/170.51 o 4787 170.50/170.51 o 4783 170.50/170.51 o 4782 170.50/170.51 o 4781 170.50/170.51 o 4780 170.50/170.51 o 4779 170.50/170.51 o 4778 170.50/170.51 o 4777 170.50/170.51 o 4776 170.50/170.51 o 4774 170.50/170.51 o 4773 170.50/170.51 o 4772 170.50/170.51 o 4771 170.50/170.51 o 4770 170.50/170.51 o 4769 170.50/170.51 o 4768 170.50/170.51 o 4767 170.50/170.51 o 4766 170.50/170.51 o 4765 170.50/170.51 o 4764 170.50/170.51 o 4763 170.50/170.51 o 4762 170.50/170.51 o 4761 170.50/170.51 o 4760 170.50/170.51 o 4759 170.50/170.51 o 4758 170.50/170.51 o 4757 170.50/170.51 o 4756 170.50/170.51 o 4755 170.50/170.51 o 4754 170.50/170.51 o 4753 170.50/170.51 o 4752 170.50/170.51 o 4751 170.50/170.51 o 4750 170.50/170.51 s OPTIMUM FOUND 170.50/170.51 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
OK 4750
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-3498070-1307934961/watcher-3498070-1307934961 -o /var/tmp/evaluation-result-3498070-1307934961/solver-3498070-1307934961 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498070-1307934961.opb --verbosity=0 --format=opb --randomseed=1484745433 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: 1.99 1.98 1.99 2/177 27373 /proc/meminfo: memFree=2351048/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=8592 CPUtime=0 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 573 0 0 0 0 0 0 0 25 0 1 0 905094657 8798208 526 33554432000 4194304 6957856 140737085046384 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 2148 526 231 675 0 1464 0 [startup+0.093756 s] /proc/loadavg: 1.99 1.98 1.99 2/177 27373 /proc/meminfo: memFree=2351048/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=15096 CPUtime=0.09 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 2246 0 0 0 9 0 0 0 25 0 1 0 905094657 15458304 2182 33554432000 4194304 6957856 140737085046384 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 3774 2183 251 675 0 3090 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15096 [startup+0.100754 s] /proc/loadavg: 1.99 1.98 1.99 2/177 27373 /proc/meminfo: memFree=2351048/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=15624 CPUtime=0.09 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 2376 0 0 0 9 0 0 0 25 0 1 0 905094657 15998976 2312 33554432000 4194304 6957856 140737085046384 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 3906 2313 251 675 0 3222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15624 [startup+0.30072 s] /proc/loadavg: 1.99 1.98 1.99 2/177 27373 /proc/meminfo: memFree=2351048/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=33144 CPUtime=0.29 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 6897 0 0 0 29 0 0 0 25 0 1 0 905094657 33939456 6694 33554432000 4194304 6957856 140737085046384 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 8286 6695 267 675 0 7602 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33144 [startup+0.700658 s] /proc/loadavg: 1.99 1.98 1.99 2/177 27373 /proc/meminfo: memFree=2351048/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=79468 CPUtime=0.69 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 18471 0 0 0 68 1 0 0 25 0 1 0 905094657 81375232 18202 33554432000 4194304 6957856 140737085046384 18446744073709551615 5915102 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 19867 18202 268 675 0 19183 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 79468 [startup+1.50053 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27374 /proc/meminfo: memFree=2279028/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=79468 CPUtime=1.49 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 18490 0 0 0 148 1 0 0 25 0 1 0 905094657 81375232 18221 33554432000 4194304 6957856 140737085046384 18446744073709551615 5922073 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 19867 18221 283 675 0 19183 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 79468 [startup+3.10025 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27374 /proc/meminfo: memFree=2278660/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=79472 CPUtime=3.09 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 18527 0 0 0 308 1 0 0 25 0 1 0 905094657 81379328 18258 33554432000 4194304 6957856 140737085046384 18446744073709551615 4869865 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 19868 18258 286 675 0 19184 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 79472 [startup+6.30071 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27374 /proc/meminfo: memFree=2277668/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=79748 CPUtime=6.29 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 18652 0 0 0 628 1 0 0 25 0 1 0 905094657 81661952 18383 33554432000 4194304 6957856 140737085046384 18446744073709551615 5918143 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 19937 18383 286 675 0 19253 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 79748 [startup+12.7006 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27374 /proc/meminfo: memFree=2275876/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=80772 CPUtime=12.69 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 18946 0 0 0 1268 1 0 0 25 0 1 0 905094657 82710528 18676 33554432000 4194304 6957856 140737085046384 18446744073709551615 5918102 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 20193 18676 286 675 0 19509 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 80772 [startup+25.5005 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27375 /proc/meminfo: memFree=2270900/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=81128 CPUtime=25.49 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 20178 0 0 0 2547 2 0 0 25 0 1 0 905094657 83075072 19662 33554432000 4194304 6957856 140737085046384 18446744073709551615 4838196 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 20282 19662 287 675 0 19598 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81128 [startup+51.1012 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27375 /proc/meminfo: memFree=2256116/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=93516 CPUtime=51.1 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 25029 0 0 0 5107 3 0 0 25 0 1 0 905094657 95760384 22700 33554432000 4194304 6957856 140737085046384 18446744073709551615 5315800 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 23379 22700 287 675 0 22695 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 93516 [startup+102.307 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27377 /proc/meminfo: memFree=2241196/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=106228 CPUtime=102.3 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 28117 0 0 0 10226 4 0 0 25 0 1 0 905094657 108777472 25782 33554432000 4194304 6957856 140737085046384 18446744073709551615 5385152 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 26557 25782 287 675 0 25873 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 106228 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27378 /proc/meminfo: memFree=2230992/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=110580 CPUtime=162.29 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 33597 0 0 0 16225 4 0 0 25 0 1 0 905094657 113233920 27114 33554432000 4194304 6957856 140737085046384 18446744073709551615 5922047 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 27645 27114 287 675 0 26961 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 110580 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27378 /proc/meminfo: memFree=2230732/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=110580 CPUtime=166.29 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 33598 0 0 0 16625 4 0 0 25 0 1 0 905094657 113233920 27115 33554432000 4194304 6957856 140737085046384 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 27645 27115 287 675 0 26961 0 Current children cumulated CPU time (s) 166.29 Current children cumulated vsize (KiB) 110580 [startup+167.901 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27378 /proc/meminfo: memFree=2230608/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=110580 CPUtime=167.89 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 33598 0 0 0 16785 4 0 0 25 0 1 0 905094657 113233920 27115 33554432000 4194304 6957856 140737085046384 18446744073709551615 5922121 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 27645 27115 287 675 0 26961 0 Current children cumulated CPU time (s) 167.89 Current children cumulated vsize (KiB) 110580 [startup+169.5 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27378 /proc/meminfo: memFree=2230484/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=110580 CPUtime=169.49 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 33598 0 0 0 16945 4 0 0 25 0 1 0 905094657 113233920 27115 33554432000 4194304 6957856 140737085046384 18446744073709551615 4867915 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 27645 27115 287 675 0 26961 0 Current children cumulated CPU time (s) 169.49 Current children cumulated vsize (KiB) 110580 [startup+170.301 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27378 /proc/meminfo: memFree=2230484/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=110580 CPUtime=170.29 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 33598 0 0 0 17025 4 0 0 25 0 1 0 905094657 113233920 27115 33554432000 4194304 6957856 140737085046384 18446744073709551615 5922029 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 27645 27115 287 675 0 26961 0 Current children cumulated CPU time (s) 170.29 Current children cumulated vsize (KiB) 110580 [startup+170.506 s] /proc/loadavg: 1.99 1.98 1.99 3/178 27379 /proc/meminfo: memFree=2230360/32951124 swapFree=67054520/67111528 [pid=27373] ppid=27371 vsize=110580 CPUtime=170.5 cores=0,2,4,6 /proc/27373/stat : 27373 (minisatid-gmp) R 27371 27373 23709 0 -1 4202496 33598 0 0 0 17046 4 0 0 25 0 1 0 905094657 113233920 27115 33554432000 4194304 6957856 140737085046384 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27373/statm: 27645 27115 287 675 0 26961 0 Current children cumulated CPU time (s) 170.5 Current children cumulated vsize (KiB) 110580 Child status: 10 Real time (s): 170.525 CPU time (s): 170.527 CPU user time (s): 170.473 CPU system time (s): 0.053991 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 122076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 170.473 system time used= 0.053991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33601 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= 4 involuntary context switches= 174 runsolver used 0.26196 second user time and 0.52392 second system time The end
Begin job on node130 at 2011-06-13 05:16:02 IDJOB=3498070 IDBENCH=72095 IDSOLVER=1990 FILE ID=node130/3498070-1307934961 RUNJOBID= node130-1307919795-23727 PBS_JOBID= 13559649 Free space on /var/tmp= 2892 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd7b2b4.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-3498070-1307934961/watcher-3498070-1307934961 -o /var/tmp/evaluation-result-3498070-1307934961/solver-3498070-1307934961 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498070-1307934961.opb --verbosity=0 --format=opb --randomseed=1484745433 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= afde7889f43b30fcc4bad7828bff7cb4 RANDOM SEED=1484745433 node130.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.838 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.67 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.838 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.838 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.75 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.838 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.81 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.838 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.75 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.838 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.838 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.75 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.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 2351608 kB Buffers: 106800 kB Cached: 28760000 kB SwapCached: 10356 kB Active: 14925164 kB Inactive: 14746440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 2351608 kB SwapTotal: 67111528 kB SwapFree: 67054520 kB Dirty: 3916 kB Writeback: 8 kB AnonPages: 801884 kB Mapped: 14076 kB Slab: 861240 kB PageTables: 6196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1015892 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= 2888 MiB End job on node130 at 2011-06-13 05:18:52