Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | OPT | 3511 | 327.373 | 327.371 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randfd04d4.cudf.paranoid.opb |
MD5SUM | 96ae353809ccf018b1066e79a85baf24 |
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 | 3511 |
Best CPU time to get the best result obtained on this benchmark | 0.218966 |
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 | 5875 |
Total number of constraints | 26163 |
Number of constraints which are clauses | 25883 |
Number of constraints which are cardinality constraints (but not clauses) | 280 |
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 | 2183 |
Biggest coefficient in the objective function | 1634 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 901966 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1634 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 901966 |
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. 67.78/67.85 o 535016 67.78/67.85 o 533382 67.78/67.85 o 531748 67.78/67.85 o 530114 67.78/67.85 o 528480 67.78/67.85 o 526846 67.78/67.85 o 525212 67.78/67.85 o 523577 67.78/67.85 o 521942 67.78/67.85 o 520308 67.78/67.85 o 518674 67.78/67.85 o 517040 67.78/67.85 o 512137 67.78/67.85 o 510502 67.78/67.85 o 508867 67.78/67.85 o 507233 67.78/67.85 o 507232 67.78/67.85 o 505598 67.78/67.85 o 503964 67.78/67.85 o 502330 67.78/67.85 o 502329 67.78/67.85 o 500694 67.78/67.85 o 499060 67.78/67.85 o 497426 67.78/67.85 o 495792 67.78/67.85 o 494158 67.78/67.85 o 492524 67.78/67.85 o 490890 67.78/67.85 o 489255 67.78/67.85 o 487621 67.78/67.85 o 485987 67.78/67.85 o 484353 67.78/67.85 o 482719 67.78/67.85 o 481084 67.78/67.85 o 479450 67.78/67.85 o 477816 67.78/67.85 o 476182 67.78/67.85 o 474548 67.78/67.85 o 472915 67.78/67.85 o 471281 67.78/67.85 o 471280 67.78/67.85 o 471279 67.78/67.85 o 469645 67.78/67.85 o 468011 67.78/67.85 o 463106 67.78/67.85 o 461472 67.78/67.85 o 459838 67.78/67.85 o 456573 67.78/67.85 o 454939 67.78/67.85 o 453305 67.78/67.85 o 451671 67.78/67.85 o 450037 67.78/67.85 o 448403 67.78/67.85 o 448402 67.78/67.85 o 448401 67.78/67.85 o 446766 67.78/67.85 o 446765 67.78/67.85 o 445131 67.78/67.85 o 443497 67.78/67.85 o 441863 67.78/67.85 o 441862 67.78/67.85 o 440228 67.78/67.85 o 438593 67.78/67.85 o 436958 67.78/67.85 o 435323 67.78/67.85 o 433689 67.78/67.85 o 432055 67.78/67.85 o 430421 67.78/67.85 o 430420 67.78/67.85 o 428786 67.78/67.85 o 427152 67.78/67.85 o 425518 67.78/67.85 o 425517 67.78/67.85 o 422247 67.78/67.85 o 420613 67.78/67.85 o 418979 67.78/67.85 o 417345 67.78/67.85 o 415715 67.78/67.85 o 415714 67.78/67.85 o 414080 67.78/67.85 o 414079 67.78/67.85 o 412446 67.78/67.85 o 410812 67.78/67.85 o 410811 67.78/67.85 o 409177 67.78/67.85 o 407543 67.78/67.85 o 407542 67.78/67.85 o 405908 67.78/67.85 o 405907 67.78/67.85 o 405906 67.78/67.85 o 404272 67.78/67.85 o 404271 67.78/67.85 o 404270 67.78/67.85 o 404269 67.78/67.85 o 404268 67.78/67.85 o 404267 67.78/67.85 o 402633 67.78/67.85 o 400999 67.78/67.85 o 399365 67.78/67.85 o 399364 67.78/67.85 o 397730 67.78/67.85 o 397729 67.78/67.85 o 396095 67.78/67.85 o 396094 67.78/67.85 o 396093 67.78/67.85 o 391190 67.78/67.85 o 391189 67.78/67.85 o 391188 67.78/67.85 o 391187 67.78/67.85 o 391186 67.78/67.85 o 391185 67.78/67.85 o 391184 67.78/67.85 o 386325 67.78/67.85 o 386324 67.78/67.85 o 386323 67.78/67.85 o 386322 67.78/67.85 o 386321 67.78/67.85 o 386320 67.78/67.85 o 386319 67.78/67.85 o 386318 67.78/67.85 o 386317 67.78/67.85 o 386316 67.78/67.85 o 386315 67.78/67.85 o 386314 67.78/67.85 o 386313 67.78/67.85 o 386312 67.78/67.85 o 386311 67.78/67.85 o 386310 67.78/67.85 o 386309 67.78/67.85 o 386308 67.78/67.85 o 386307 67.78/67.85 o 386306 67.78/67.85 o 386305 67.78/67.85 o 386304 67.78/67.85 o 386303 67.78/67.85 o 386302 67.78/67.85 o 386301 67.78/67.85 o 386300 67.78/67.85 o 386299 67.78/67.85 o 386298 67.78/67.85 o 386297 67.78/67.85 o 386296 67.78/67.85 o 386295 67.78/67.85 o 386294 67.78/67.85 o 386293 67.78/67.85 o 386292 67.78/67.85 o 386290 67.78/67.85 o 378123 67.78/67.85 o 376488 67.78/67.85 o 376487 67.78/67.85 o 376486 67.78/67.85 o 374851 67.78/67.85 o 373217 67.78/67.85 o 371582 67.78/67.85 o 369948 67.78/67.85 o 368313 67.78/67.85 o 363410 67.78/67.85 o 363409 67.78/67.85 o 363408 67.78/67.85 o 361774 67.78/67.85 o 360140 67.78/67.85 o 358506 67.78/67.85 o 356871 67.78/67.85 o 356870 67.78/67.85 o 356869 67.78/67.85 o 350332 67.78/67.85 o 347076 67.78/67.85 o 345442 67.78/67.85 o 343808 67.78/67.85 o 342173 67.78/67.85 o 340540 67.78/67.85 o 340539 67.78/67.85 o 338904 67.78/67.85 o 337269 67.78/67.85 o 335635 67.78/67.85 o 335634 67.78/67.85 o 333999 67.78/67.85 o 333998 67.78/67.85 o 332364 67.78/67.85 o 332363 67.78/67.85 o 332362 67.78/67.85 o 332361 67.78/67.85 o 332360 67.78/67.85 o 330725 67.78/67.85 o 329098 67.78/67.85 o 329097 67.78/67.85 o 327463 67.78/67.85 o 327462 67.78/67.85 o 325828 67.78/67.85 o 324194 67.78/67.85 o 322560 67.78/67.85 o 320926 67.78/67.85 o 320925 67.78/67.85 o 319291 67.78/67.85 o 317657 67.78/67.85 o 316023 67.78/67.85 o 314389 67.78/67.85 o 314388 67.78/67.85 o 314387 67.78/67.85 o 314386 67.78/67.85 o 314385 67.78/67.85 o 314384 67.78/67.85 o 314383 67.78/67.85 o 312749 67.78/67.85 o 312748 67.78/67.85 o 311114 67.78/67.85 o 309480 67.78/67.85 o 309479 67.78/67.85 o 309478 67.78/67.85 o 309477 67.78/67.85 o 307844 67.78/67.85 o 306210 67.78/67.85 o 306209 67.78/67.85 o 306208 67.78/67.85 o 306207 67.78/67.85 o 304573 67.78/67.85 o 302939 67.78/67.85 o 298048 67.78/67.85 o 296414 67.78/67.85 o 294780 67.78/67.85 o 294779 67.78/67.85 o 294778 67.78/67.85 o 293144 67.78/67.85 o 291510 67.78/67.85 o 289876 67.78/67.85 o 288241 67.78/67.85 o 286608 67.78/67.85 o 286607 67.78/67.85 o 286604 67.78/67.85 o 284970 67.78/67.85 o 284969 67.78/67.85 o 284968 67.78/67.85 o 283335 67.78/67.85 o 281701 67.78/67.85 o 280067 67.78/67.85 o 280066 67.78/67.85 o 280065 67.78/67.85 o 280064 67.78/67.85 o 280061 67.78/67.85 o 278427 67.78/67.85 o 278426 67.78/67.85 o 278425 67.78/67.85 o 276818 67.78/67.85 o 276817 67.78/67.85 o 276816 67.78/67.85 o 276815 67.78/67.85 o 276814 67.78/67.85 o 276813 67.78/67.85 o 276812 67.78/67.85 o 276811 67.78/67.85 o 276810 67.78/67.85 o 276809 67.78/67.85 o 276807 67.78/67.85 o 276806 67.78/67.85 o 275172 67.78/67.85 o 275171 67.78/67.85 o 273537 67.78/67.85 o 273536 67.78/67.85 o 271902 67.78/67.85 o 270268 67.78/67.85 o 268634 67.78/67.85 o 268633 67.78/67.85 o 268632 67.78/67.85 o 268631 67.78/67.85 o 266997 67.78/67.85 o 265363 67.78/67.85 o 263729 67.78/67.85 o 262094 67.78/67.85 o 262093 67.78/67.85 o 262092 67.78/67.85 o 260459 67.78/67.85 o 260458 67.78/67.85 o 258827 67.78/67.85 o 258826 67.78/67.85 o 258825 67.78/67.85 o 257192 67.78/67.85 o 257191 67.78/67.85 o 257190 67.78/67.85 o 257189 67.78/67.85 o 257188 67.78/67.85 o 257187 67.78/67.85 o 257186 67.78/67.85 o 255566 67.78/67.85 o 255565 67.78/67.85 o 255564 67.78/67.85 o 255563 67.78/67.85 o 255562 67.78/67.85 o 255561 67.78/67.85 o 255560 67.78/67.85 o 255559 67.78/67.85 o 255558 67.78/67.85 o 253928 67.78/67.85 o 253925 67.78/67.85 o 253924 67.78/67.85 o 253923 67.78/67.85 o 252315 67.78/67.85 o 250681 67.78/67.85 o 249051 67.78/67.85 o 249050 67.78/67.85 o 249049 67.78/67.85 o 249048 67.78/67.85 o 249047 67.78/67.85 o 249046 67.78/67.85 o 247416 67.78/67.85 o 247415 67.78/67.85 o 247414 67.78/67.85 o 247413 67.78/67.85 o 245779 67.78/67.85 o 244144 67.78/67.85 o 244143 67.78/67.85 o 242509 67.78/67.85 o 240875 67.78/67.85 o 240874 67.78/67.85 o 240873 67.78/67.85 o 240872 67.78/67.85 o 239238 67.78/67.85 o 237605 67.78/67.85 o 235971 67.78/67.85 o 235970 67.78/67.85 o 235969 67.78/67.85 o 234335 67.78/67.85 o 234334 67.78/67.85 o 234333 67.78/67.85 o 234332 67.78/67.85 o 232698 67.78/67.85 o 232697 67.78/67.85 o 232696 67.78/67.85 o 231062 67.78/67.85 o 231061 67.78/67.85 o 231060 67.78/67.85 o 229426 67.78/67.85 o 227791 67.78/67.85 o 227790 67.78/67.85 o 222887 67.78/67.85 o 222886 67.78/67.85 o 221251 67.78/67.85 o 219616 67.78/67.85 o 217981 67.78/67.85 o 216346 67.78/67.85 o 216341 67.78/67.85 o 214707 67.78/67.85 o 213073 67.78/67.85 o 211438 67.78/67.85 o 209808 67.78/67.85 o 209807 67.78/67.85 o 208173 67.78/67.85 o 204905 67.78/67.85 o 203271 67.78/67.85 o 203270 67.78/67.85 o 203269 67.78/67.85 o 203266 67.78/67.85 o 203265 67.78/67.85 o 203264 67.78/67.85 o 201629 67.78/67.85 o 199997 67.78/67.85 o 199996 67.78/67.85 o 199995 67.78/67.85 o 198360 67.78/67.85 o 196725 67.78/67.85 o 195091 67.78/67.85 o 193457 67.78/67.85 o 193456 67.78/67.85 o 193455 67.78/67.85 o 193454 67.78/67.85 o 191820 67.78/67.85 o 190185 67.78/67.85 o 188554 67.78/67.85 o 186919 67.78/67.85 o 186918 67.78/67.85 o 186917 67.78/67.85 o 185282 67.78/67.85 o 183651 67.78/67.85 o 182019 67.78/67.85 o 180388 67.78/67.85 o 180387 67.78/67.85 o 180385 67.78/67.85 o 180384 67.78/67.85 o 180382 67.78/67.85 o 178750 67.78/67.85 o 178749 67.78/67.85 o 177116 67.78/67.85 o 177115 67.78/67.85 o 175488 67.78/67.85 o 175487 67.78/67.85 o 175486 67.78/67.85 o 175485 67.78/67.85 o 175484 67.78/67.85 o 175483 67.78/67.85 o 175482 67.78/67.85 o 175481 67.78/67.85 o 175480 67.78/67.85 o 175479 67.78/67.85 o 173845 67.78/67.85 o 173844 67.78/67.85 o 172211 67.78/67.85 o 172210 67.78/67.85 o 172209 67.78/67.85 o 170581 67.78/67.85 o 170579 67.78/67.85 o 170578 67.78/67.85 o 170577 67.78/67.85 o 170576 67.78/67.85 o 170575 67.78/67.85 o 170574 67.78/67.85 o 170573 67.78/67.85 o 170572 67.78/67.85 o 168945 67.78/67.85 o 168942 67.78/67.85 o 168941 67.78/67.85 o 168940 67.78/67.85 o 168939 67.78/67.85 o 167307 67.78/67.85 o 167306 67.78/67.85 o 167305 67.78/67.85 o 167304 67.78/67.85 o 167303 67.78/67.85 o 165669 67.78/67.85 o 164038 67.78/67.85 o 164037 67.78/67.85 o 164036 67.78/67.85 o 164035 67.78/67.85 o 164034 67.78/67.85 o 162403 67.78/67.85 o 162402 67.78/67.85 o 162401 67.78/67.85 o 162400 67.78/67.85 o 160766 67.78/67.85 o 159138 67.78/67.85 o 159137 67.78/67.85 o 159136 67.78/67.85 o 159135 67.78/67.85 o 159134 67.78/67.85 o 159133 67.78/67.85 o 159132 67.78/67.85 o 159131 67.78/67.85 o 159130 67.78/67.85 o 159129 67.78/67.85 o 159128 67.78/67.85 o 159127 67.78/67.85 o 159126 67.78/67.85 o 159125 67.78/67.85 o 159124 67.78/67.85 o 159123 67.78/67.85 o 157491 67.78/67.85 o 157490 67.78/67.85 o 157489 67.78/67.85 o 155854 67.78/67.85 o 154229 67.78/67.85 o 152611 67.78/67.85 o 152608 67.78/67.85 o 152607 67.78/67.85 o 152606 67.78/67.85 o 152605 67.78/67.85 o 152604 67.78/67.85 o 152603 67.78/67.85 o 152602 195.49/195.55 o 152600 195.49/195.55 o 152599 195.49/195.55 o 152598 195.49/195.55 o 152597 195.49/195.55 o 152596 195.49/195.55 o 150961 195.49/195.55 o 150960 195.49/195.55 o 150959 195.49/195.55 o 150958 195.49/195.55 o 149326 195.49/195.55 o 149325 195.49/195.55 o 149324 195.49/195.55 o 147696 195.49/195.55 o 147695 195.49/195.55 o 147694 195.49/195.55 o 147693 195.49/195.55 o 147692 195.49/195.55 o 147691 195.49/195.55 o 146062 195.49/195.55 o 146061 195.49/195.55 o 146060 195.49/195.55 o 146059 195.49/195.55 o 146058 195.49/195.55 o 146057 195.49/195.55 o 146056 195.49/195.55 o 146055 195.49/195.55 o 146054 195.49/195.55 o 146053 195.49/195.55 o 146052 195.49/195.55 o 146051 195.49/195.55 o 146050 195.49/195.55 o 146049 195.49/195.55 o 144417 195.49/195.55 o 144416 195.49/195.55 o 144415 195.49/195.55 o 142783 195.49/195.55 o 142782 195.49/195.55 o 141159 195.49/195.55 o 141158 195.49/195.55 o 141157 195.49/195.55 o 141156 195.49/195.55 o 141155 195.49/195.55 o 141154 195.49/195.55 o 141153 195.49/195.55 o 141152 195.49/195.55 o 141151 195.49/195.55 o 141150 195.49/195.55 o 141149 195.49/195.55 o 141148 195.49/195.55 o 141147 195.49/195.55 o 141146 195.49/195.55 o 141145 195.49/195.55 o 141144 195.49/195.55 o 141143 195.49/195.55 o 139511 195.49/195.55 o 139510 195.49/195.55 o 139509 195.49/195.55 o 139508 195.49/195.55 o 139507 195.49/195.55 o 137874 195.49/195.55 o 137873 195.49/195.55 o 137872 195.49/195.55 o 137871 195.49/195.55 o 136237 195.49/195.55 o 136236 195.49/195.55 o 134607 195.49/195.55 o 134606 195.49/195.55 o 134605 195.49/195.55 o 134604 195.49/195.55 o 134603 195.49/195.55 o 134602 195.49/195.55 o 132978 195.49/195.55 o 132977 195.49/195.55 o 132976 195.49/195.55 o 132975 195.49/195.55 o 132974 195.49/195.55 o 132973 195.49/195.55 o 132972 195.49/195.55 o 132971 195.49/195.55 o 132970 195.49/195.55 o 132969 195.49/195.55 o 132968 195.49/195.55 o 132967 195.49/195.55 o 132966 195.49/195.55 o 132965 195.49/195.55 o 132964 195.49/195.55 o 132963 195.49/195.55 o 132962 195.49/195.55 o 132961 195.49/195.55 o 131333 195.49/195.55 o 129699 195.49/195.55 o 129698 195.49/195.55 o 128071 195.49/195.55 o 128070 195.49/195.55 o 128069 195.49/195.55 o 128068 195.49/195.55 o 128067 195.49/195.55 o 128066 195.49/195.55 o 128065 195.49/195.55 o 128064 195.49/195.55 o 128063 195.49/195.55 o 128062 195.49/195.55 o 128061 195.49/195.55 o 126426 195.49/195.55 o 126425 195.49/195.55 o 124801 195.49/195.55 o 124800 195.49/195.55 o 124799 195.49/195.55 o 124798 195.49/195.55 o 124797 195.49/195.55 o 124796 195.49/195.55 o 124795 195.49/195.55 o 124794 195.49/195.55 o 124793 195.49/195.55 o 124792 195.49/195.55 o 124791 195.49/195.55 o 124790 195.49/195.55 o 124789 195.49/195.55 o 124788 195.49/195.55 o 124787 195.49/195.55 o 123156 195.49/195.55 o 123155 195.49/195.55 o 123154 195.49/195.55 o 123153 195.49/195.55 o 123152 195.49/195.55 o 121521 195.49/195.55 o 121520 195.49/195.55 o 121519 195.49/195.55 o 121518 195.49/195.55 o 121517 195.49/195.55 o 121516 195.49/195.55 o 121515 195.49/195.55 o 121514 195.49/195.55 o 121513 195.49/195.55 o 119888 195.49/195.55 o 119887 195.49/195.55 o 119886 195.49/195.55 o 119885 195.49/195.55 o 119884 195.49/195.55 o 119883 195.49/195.55 o 119882 195.49/195.55 o 119881 195.49/195.55 o 119880 195.49/195.55 o 119879 195.49/195.55 o 119878 195.49/195.55 o 119877 195.49/195.55 o 118249 195.49/195.55 o 118248 195.49/195.55 o 118247 195.49/195.55 o 118246 195.49/195.55 o 118245 195.49/195.55 o 118244 195.49/195.55 o 118243 195.49/195.55 o 118242 195.49/195.55 o 118241 195.49/195.55 o 116611 195.49/195.55 o 116610 195.49/195.55 o 116609 195.49/195.55 o 116608 195.49/195.55 o 111706 195.49/195.55 o 111705 195.49/195.55 o 111704 195.49/195.55 o 110074 195.49/195.55 o 108446 195.49/195.55 o 108445 195.49/195.55 o 108444 195.49/195.55 o 108443 195.49/195.55 o 108442 195.49/195.55 o 108441 195.49/195.55 o 108440 195.49/195.55 o 108439 195.49/195.55 o 108438 195.49/195.55 o 108437 195.49/195.55 o 108436 195.49/195.55 o 108435 195.49/195.55 o 108434 195.49/195.55 o 108433 195.49/195.55 o 108432 195.49/195.55 o 108431 195.49/195.55 o 108430 195.49/195.55 o 108429 195.49/195.55 o 108428 195.49/195.55 o 108427 195.49/195.55 o 108426 195.49/195.55 o 106804 195.49/195.55 o 106803 195.49/195.55 o 106802 195.49/195.55 o 106801 195.49/195.55 o 106800 195.49/195.55 o 106799 195.49/195.55 o 106798 195.49/195.55 o 106797 195.49/195.55 o 106796 195.49/195.55 o 106795 195.49/195.55 o 106794 195.49/195.55 o 105178 195.49/195.55 o 105177 195.49/195.55 o 105176 195.49/195.55 o 105175 195.49/195.55 o 105173 195.49/195.55 o 105172 195.49/195.55 o 105171 195.49/195.55 o 105170 195.49/195.55 o 105169 195.49/195.55 o 105168 195.49/195.55 o 105167 195.49/195.55 o 105166 195.49/195.55 o 105165 195.49/195.55 o 105164 195.49/195.55 o 105163 195.49/195.55 o 105162 195.49/195.55 o 105161 195.49/195.55 o 105159 195.49/195.55 o 105158 195.49/195.55 o 103538 195.49/195.55 o 103537 195.49/195.55 o 103536 195.49/195.55 o 103535 195.49/195.55 o 103534 195.49/195.55 o 103533 195.49/195.55 o 103532 195.49/195.55 o 103531 195.49/195.55 o 103530 195.49/195.55 o 103529 195.49/195.55 o 103528 195.49/195.55 o 103527 195.49/195.55 o 103526 195.49/195.55 o 103525 195.49/195.55 o 103524 195.49/195.55 o 103523 195.49/195.55 o 103519 195.49/195.55 o 103518 195.49/195.55 o 103517 195.49/195.55 o 103516 195.49/195.55 o 103515 195.49/195.55 o 103514 195.49/195.55 o 101889 195.49/195.55 o 101883 195.49/195.55 o 101882 195.49/195.55 o 101881 195.49/195.55 o 101880 195.49/195.55 o 101879 195.49/195.55 o 100246 195.49/195.55 o 100245 195.49/195.55 o 100244 195.49/195.55 o 98614 195.49/195.55 o 98613 195.49/195.55 o 98612 195.49/195.55 o 98611 195.49/195.55 o 98610 195.49/195.55 o 98609 195.49/195.55 o 96982 195.49/195.55 o 96981 195.49/195.55 o 96980 195.49/195.55 o 96979 195.49/195.55 o 96978 195.49/195.55 o 96977 195.49/195.55 o 96976 195.49/195.55 o 95349 195.49/195.55 o 95348 195.49/195.55 o 95347 195.49/195.55 o 95346 195.49/195.55 o 95345 195.49/195.55 o 95344 195.49/195.55 o 95343 195.49/195.55 o 95342 195.49/195.55 o 95341 195.49/195.55 o 95340 195.49/195.55 o 95339 195.49/195.55 o 92076 195.49/195.55 o 92075 195.49/195.55 o 92074 195.49/195.55 o 92073 195.49/195.55 o 92072 195.49/195.55 o 92071 195.49/195.55 o 90442 195.49/195.55 o 90441 195.49/195.55 o 90440 195.49/195.55 o 90439 195.49/195.55 o 90438 195.49/195.55 o 88814 195.49/195.55 o 88807 195.49/195.55 o 88806 195.49/195.55 o 88805 195.49/195.55 o 88804 195.49/195.55 o 88803 195.49/195.55 o 88799 195.49/195.55 o 88798 195.49/195.55 o 88797 195.49/195.55 o 87166 195.49/195.55 o 87164 195.49/195.55 o 85539 195.49/195.55 o 85534 195.49/195.55 o 85533 195.49/195.55 o 85532 195.49/195.55 o 85531 195.49/195.55 o 85530 195.49/195.55 o 83899 195.49/195.55 o 83898 195.49/195.55 o 83897 195.49/195.55 o 83896 195.49/195.55 o 83895 195.49/195.55 o 82262 195.49/195.55 o 82261 195.49/195.55 o 82260 195.49/195.55 o 82259 195.49/195.55 o 80632 195.49/195.55 o 80631 195.49/195.55 o 80630 195.49/195.55 o 80629 195.49/195.55 o 80628 195.49/195.55 o 78997 195.49/195.55 o 78996 195.49/195.55 o 78995 195.49/195.55 o 78994 195.49/195.55 o 78993 195.49/195.55 o 78992 195.49/195.55 o 78991 195.49/195.55 o 78990 195.49/195.55 o 78989 195.49/195.55 o 77359 195.49/195.55 o 77358 195.49/195.55 o 75727 195.49/195.55 o 75726 195.49/195.55 o 75725 195.49/195.55 o 75724 195.49/195.55 o 75723 195.49/195.55 o 75722 195.49/195.55 o 75721 195.49/195.55 o 75720 195.49/195.55 o 75719 195.49/195.55 o 74092 195.49/195.55 o 74091 195.49/195.55 o 74090 195.49/195.55 o 74089 195.49/195.55 o 74088 195.49/195.55 o 74087 195.49/195.55 o 72455 195.49/195.55 o 72454 195.49/195.55 o 72453 195.49/195.55 o 72452 195.49/195.55 o 72451 195.49/195.55 o 72450 195.49/195.55 o 72449 195.49/195.55 o 72448 195.49/195.55 o 72447 195.49/195.55 o 72446 195.49/195.55 o 72445 195.49/195.55 o 72444 195.49/195.55 o 72443 195.49/195.55 o 72442 195.49/195.55 o 70818 195.49/195.55 o 70817 195.49/195.55 o 70816 195.49/195.55 o 70815 195.49/195.55 o 70814 195.49/195.55 o 70813 195.49/195.55 o 70812 195.49/195.55 o 70811 195.49/195.55 o 70810 195.49/195.55 o 70809 195.49/195.55 o 70808 195.49/195.55 o 70807 195.49/195.55 o 69178 195.49/195.55 o 69177 195.49/195.55 o 69176 195.49/195.55 o 69175 195.49/195.55 o 69174 195.49/195.55 o 69173 195.49/195.55 o 69172 195.49/195.55 o 69170 195.49/195.55 o 69169 195.49/195.55 o 69168 195.49/195.55 o 69167 195.49/195.55 o 69166 195.49/195.55 o 69165 195.49/195.55 o 69164 195.49/195.55 o 67530 195.49/195.55 o 67529 195.49/195.55 o 65903 195.49/195.55 o 65902 195.49/195.55 o 65901 195.49/195.55 o 65900 195.49/195.55 o 65899 195.49/195.55 o 65898 195.49/195.55 o 65897 195.49/195.55 o 65896 195.49/195.55 o 65895 195.49/195.55 o 65894 195.49/195.55 o 65893 195.49/195.55 o 65892 195.49/195.55 o 65891 195.49/195.55 o 65890 195.49/195.55 o 65889 195.49/195.55 o 65888 195.49/195.55 o 65887 195.49/195.55 o 65886 195.49/195.55 o 65885 195.49/195.55 o 64260 195.49/195.55 o 64259 195.49/195.55 o 64258 195.49/195.55 o 64257 195.49/195.55 o 64256 195.49/195.55 o 64255 195.49/195.55 o 64254 195.49/195.55 o 64253 195.49/195.55 o 64252 195.49/195.55 o 64251 195.49/195.55 o 64250 195.49/195.55 o 64249 195.49/195.55 o 64248 195.49/195.55 o 64247 195.49/195.55 o 64246 195.49/195.55 o 64245 195.49/195.55 o 64244 195.49/195.55 o 64243 195.49/195.55 o 64242 195.49/195.55 o 64241 195.49/195.55 o 64240 195.49/195.55 o 64239 195.49/195.55 o 64238 195.49/195.55 o 64237 195.49/195.55 o 64236 195.49/195.55 o 64235 195.49/195.55 o 64234 195.49/195.55 o 64233 195.49/195.55 o 62605 195.49/195.55 o 62604 195.49/195.55 o 62603 195.49/195.55 o 62602 195.49/195.55 o 62601 195.49/195.55 o 62600 195.49/195.55 o 62599 195.49/195.55 o 62598 195.49/195.55 o 60977 195.49/195.55 o 60976 195.49/195.55 o 60975 195.49/195.55 o 60974 195.49/195.55 o 60973 195.49/195.55 o 60972 195.49/195.55 o 60971 195.49/195.55 o 60970 195.49/195.55 o 60969 195.49/195.55 o 60968 195.49/195.55 o 60967 195.49/195.55 o 60966 195.49/195.55 o 59349 195.49/195.55 o 59348 195.49/195.55 o 59347 195.49/195.55 o 59346 195.49/195.55 o 59345 195.49/195.55 o 59344 195.49/195.55 o 59343 195.49/195.55 o 59342 195.49/195.55 o 59341 195.49/195.55 o 59340 195.49/195.55 o 59339 195.49/195.55 o 59338 195.49/195.55 o 59337 195.49/195.55 o 59336 195.49/195.55 o 59335 195.49/195.55 o 59334 195.49/195.55 o 59333 195.49/195.55 o 59332 195.49/195.55 o 59331 195.49/195.55 o 59330 195.49/195.55 o 59329 195.49/195.55 o 57704 195.49/195.55 o 57703 195.49/195.55 o 57702 195.49/195.55 o 57701 195.49/195.55 o 57700 195.49/195.55 o 57699 195.49/195.55 o 57698 195.49/195.55 o 57697 195.49/195.55 o 57696 195.49/195.55 o 57695 195.49/195.55 o 56070 195.49/195.55 o 56069 195.49/195.55 o 56068 195.49/195.55 o 56067 302.19/302.27 o 56066 302.19/302.27 o 56065 302.19/302.27 o 56064 302.19/302.27 o 56063 302.19/302.27 o 56062 302.19/302.27 o 56061 302.19/302.27 o 56060 302.19/302.27 o 56059 302.19/302.27 o 56058 302.19/302.27 o 56057 302.19/302.27 o 56056 302.19/302.27 o 54435 302.19/302.27 o 54434 302.19/302.27 o 54433 302.19/302.27 o 54432 302.19/302.27 o 54431 302.19/302.27 o 54430 302.19/302.27 o 54429 302.19/302.27 o 54428 302.19/302.27 o 54427 302.19/302.27 o 54426 302.19/302.27 o 54425 302.19/302.27 o 54424 302.19/302.27 o 54423 302.19/302.27 o 54422 302.19/302.27 o 54421 302.19/302.27 o 54420 302.19/302.27 o 54419 302.19/302.27 o 54418 302.19/302.27 o 54416 302.19/302.27 o 54415 302.19/302.27 o 54414 302.19/302.27 o 54413 302.19/302.27 o 54412 302.19/302.27 o 54411 302.19/302.27 o 54410 302.19/302.27 o 54409 302.19/302.27 o 54408 302.19/302.27 o 54407 302.19/302.27 o 54406 302.19/302.27 o 54405 302.19/302.27 o 54404 302.19/302.27 o 54403 302.19/302.27 o 52787 302.19/302.27 o 52786 302.19/302.27 o 52785 302.19/302.27 o 52784 302.19/302.27 o 52783 302.19/302.27 o 52782 302.19/302.27 o 52781 302.19/302.27 o 52780 302.19/302.27 o 52779 302.19/302.27 o 52778 302.19/302.27 o 52777 302.19/302.27 o 52776 302.19/302.27 o 51153 302.19/302.27 o 51152 302.19/302.27 o 51151 302.19/302.27 o 51150 302.19/302.27 o 51149 302.19/302.27 o 51148 302.19/302.27 o 51147 302.19/302.27 o 51146 302.19/302.27 o 51145 302.19/302.27 o 51144 302.19/302.27 o 51143 302.19/302.27 o 51142 302.19/302.27 o 49515 302.19/302.27 o 49514 302.19/302.27 o 49513 302.19/302.27 o 49512 302.19/302.27 o 49511 302.19/302.27 o 49510 302.19/302.27 o 49509 302.19/302.27 o 49508 302.19/302.27 o 49507 302.19/302.27 o 49506 302.19/302.27 o 49505 302.19/302.27 o 49504 302.19/302.27 o 49503 302.19/302.27 o 49502 302.19/302.27 o 49501 302.19/302.27 o 47892 302.19/302.27 o 47891 302.19/302.27 o 47890 302.19/302.27 o 47889 302.19/302.27 o 47888 302.19/302.27 o 47887 302.19/302.27 o 47886 302.19/302.27 o 47885 302.19/302.27 o 47884 302.19/302.27 o 47883 302.19/302.27 o 47882 302.19/302.27 o 47881 302.19/302.27 o 47880 302.19/302.27 o 47879 302.19/302.27 o 46247 302.19/302.27 o 46246 302.19/302.27 o 46245 302.19/302.27 o 46244 302.19/302.27 o 46243 302.19/302.27 o 46242 302.19/302.27 o 46241 302.19/302.27 o 46240 302.19/302.27 o 46239 302.19/302.27 o 46238 302.19/302.27 o 46237 302.19/302.27 o 46235 302.19/302.27 o 46234 302.19/302.27 o 46233 302.19/302.27 o 46232 302.19/302.27 o 44608 302.19/302.27 o 44607 302.19/302.27 o 44605 302.19/302.27 o 44604 302.19/302.27 o 44603 302.19/302.27 o 44602 302.19/302.27 o 44601 302.19/302.27 o 44600 302.19/302.27 o 44599 302.19/302.27 o 44598 302.19/302.27 o 42966 302.19/302.27 o 42965 302.19/302.27 o 42964 302.19/302.27 o 42963 302.19/302.27 o 42962 302.19/302.27 o 42961 302.19/302.27 o 42960 302.19/302.27 o 42959 302.19/302.27 o 42958 302.19/302.27 o 42957 302.19/302.27 o 42956 302.19/302.27 o 42955 302.19/302.27 o 42954 302.19/302.27 o 41319 302.19/302.27 o 41318 302.19/302.27 o 39695 302.19/302.27 o 39694 302.19/302.27 o 39693 302.19/302.27 o 39692 302.19/302.27 o 39691 302.19/302.27 o 39690 302.19/302.27 o 39689 302.19/302.27 o 39688 302.19/302.27 o 39686 302.19/302.27 o 39685 302.19/302.27 o 39684 302.19/302.27 o 39683 302.19/302.27 o 39682 302.19/302.27 o 38049 302.19/302.27 o 38048 302.19/302.27 o 36426 302.19/302.27 o 36425 302.19/302.27 o 36424 302.19/302.27 o 36423 302.19/302.27 o 36422 302.19/302.27 o 36421 302.19/302.27 o 36420 302.19/302.27 o 36418 302.19/302.27 o 36417 302.19/302.27 o 36416 302.19/302.27 o 36415 302.19/302.27 o 36414 302.19/302.27 o 36413 302.19/302.27 o 34779 302.19/302.27 o 34778 302.19/302.27 o 33153 302.19/302.27 o 33152 302.19/302.27 o 33151 302.19/302.27 o 33150 302.19/302.27 o 33149 302.19/302.27 o 33148 302.19/302.27 o 33147 302.19/302.27 o 33146 302.19/302.27 o 33145 302.19/302.27 o 33144 302.19/302.27 o 33143 302.19/302.27 o 31518 302.19/302.27 o 31517 302.19/302.27 o 31516 302.19/302.27 o 31515 302.19/302.27 o 31514 302.19/302.27 o 31513 302.19/302.27 o 31512 302.19/302.27 o 31511 302.19/302.27 o 31510 302.19/302.27 o 31509 302.19/302.27 o 31508 302.19/302.27 o 31507 302.19/302.27 o 31506 302.19/302.27 o 31505 302.19/302.27 o 31504 302.19/302.27 o 31503 302.19/302.27 o 31502 302.19/302.27 o 31492 302.19/302.27 o 31491 302.19/302.27 o 29877 302.19/302.27 o 29876 302.19/302.27 o 28253 302.19/302.27 o 28252 302.19/302.27 o 28251 302.19/302.27 o 28250 302.19/302.27 o 28249 302.19/302.27 o 28248 302.19/302.27 o 28247 302.19/302.27 o 28246 302.19/302.27 o 28245 302.19/302.27 o 28244 302.19/302.27 o 28243 302.19/302.27 o 28242 302.19/302.27 o 28241 302.19/302.27 o 28240 302.19/302.27 o 28239 302.19/302.27 o 28238 302.19/302.27 o 28237 302.19/302.27 o 28236 302.19/302.27 o 28235 302.19/302.27 o 28234 302.19/302.27 o 28233 302.19/302.27 o 28232 302.19/302.27 o 28231 302.19/302.27 o 28230 302.19/302.27 o 28229 302.19/302.27 o 26607 302.19/302.27 o 26606 302.19/302.27 o 26605 302.19/302.27 o 26604 302.19/302.27 o 26603 302.19/302.27 o 26602 302.19/302.27 o 26601 302.19/302.27 o 26600 302.19/302.27 o 26599 302.19/302.27 o 26598 302.19/302.27 o 26597 302.19/302.27 o 26596 302.19/302.27 o 26595 302.19/302.27 o 26594 302.19/302.27 o 26593 302.19/302.27 o 26591 302.19/302.27 o 26590 302.19/302.27 o 26589 302.19/302.27 o 26588 302.19/302.27 o 26587 302.19/302.27 o 26586 302.19/302.27 o 26585 302.19/302.27 o 24997 302.19/302.27 o 24992 302.19/302.27 o 24991 302.19/302.27 o 24990 302.19/302.27 o 24989 302.19/302.27 o 24988 302.19/302.27 o 24987 302.19/302.27 o 24986 302.19/302.27 o 24985 302.19/302.27 o 24984 302.19/302.27 o 24983 302.19/302.27 o 24982 302.19/302.27 o 24981 302.19/302.27 o 24980 302.19/302.27 o 24979 302.19/302.27 o 24978 302.19/302.27 o 24977 302.19/302.27 o 24976 302.19/302.27 o 24975 302.19/302.27 o 24974 302.19/302.27 o 24973 302.19/302.27 o 24972 302.19/302.27 o 24971 302.19/302.27 o 24970 302.19/302.27 o 24969 302.19/302.27 o 23350 302.19/302.27 o 23349 302.19/302.27 o 23348 302.19/302.27 o 23347 302.19/302.27 o 23346 302.19/302.27 o 23345 302.19/302.27 o 23344 302.19/302.27 o 23343 302.19/302.27 o 23342 302.19/302.27 o 23341 302.19/302.27 o 23340 302.19/302.27 o 23339 302.19/302.27 o 23338 302.19/302.27 o 23336 302.19/302.27 o 23335 302.19/302.27 o 23334 302.19/302.27 o 23333 302.19/302.27 o 23332 302.19/302.27 o 23331 302.19/302.27 o 23330 302.19/302.27 o 23329 302.19/302.27 o 23328 302.19/302.27 o 23327 302.19/302.27 o 23326 302.19/302.27 o 23325 302.19/302.27 o 23324 302.19/302.27 o 23323 302.19/302.27 o 23322 302.19/302.27 o 23321 302.19/302.27 o 23320 302.19/302.27 o 23319 302.19/302.27 o 23318 302.19/302.27 o 23317 302.19/302.27 o 23316 302.19/302.27 o 23315 302.19/302.27 o 23314 302.19/302.27 o 23313 302.19/302.27 o 23312 302.19/302.27 o 21703 302.19/302.27 o 21702 302.19/302.27 o 21701 302.19/302.27 o 21700 302.19/302.27 o 21699 302.19/302.27 o 21698 302.19/302.27 o 21697 302.19/302.27 o 21695 302.19/302.27 o 21694 302.19/302.27 o 21693 302.19/302.27 o 21692 302.19/302.27 o 21691 302.19/302.27 o 21690 302.19/302.27 o 21689 302.19/302.27 o 21688 302.19/302.27 o 21687 302.19/302.27 o 21686 302.19/302.27 o 21685 302.19/302.27 o 21684 302.19/302.27 o 21683 302.19/302.27 o 21682 302.19/302.27 o 21681 302.19/302.27 o 21680 302.19/302.27 o 21679 302.19/302.27 o 21678 302.19/302.27 o 21677 302.19/302.27 o 21676 302.19/302.27 o 21675 302.19/302.27 o 21674 302.19/302.27 o 21673 302.19/302.27 o 20064 302.19/302.27 o 20063 302.19/302.27 o 20062 302.19/302.27 o 20061 302.19/302.27 o 20060 302.19/302.27 o 20059 302.19/302.27 o 20058 302.19/302.27 o 20057 302.19/302.27 o 20056 302.19/302.27 o 20055 302.19/302.27 o 20054 302.19/302.27 o 20053 302.19/302.27 o 20052 302.19/302.27 o 20051 302.19/302.27 o 20050 302.19/302.27 o 20049 302.19/302.27 o 20048 302.19/302.27 o 20047 302.19/302.27 o 20046 302.19/302.27 o 20045 302.19/302.27 o 20044 302.19/302.27 o 20043 302.19/302.27 o 20042 302.19/302.27 o 20041 302.19/302.27 o 20039 302.19/302.27 o 20038 302.19/302.27 o 20037 302.19/302.27 o 20036 302.19/302.27 o 20035 302.19/302.27 o 20034 302.19/302.27 o 20033 302.19/302.27 o 20032 302.19/302.27 o 18401 302.19/302.27 o 18400 302.19/302.27 o 18399 302.19/302.27 o 18398 302.19/302.27 o 18397 302.19/302.27 o 18396 302.19/302.27 o 18395 302.19/302.27 o 18394 302.19/302.27 o 18393 302.19/302.27 o 18392 302.19/302.27 o 18391 302.19/302.27 o 18390 302.19/302.27 o 18389 302.19/302.27 o 18388 302.19/302.27 o 18387 302.19/302.27 o 18386 302.19/302.27 o 18385 302.19/302.27 o 18384 302.19/302.27 o 18383 302.19/302.27 o 18382 302.19/302.27 o 18381 302.19/302.27 o 16747 302.19/302.27 o 16746 302.19/302.27 o 16745 302.19/302.27 o 16744 302.19/302.27 o 16743 302.19/302.27 o 16742 302.19/302.27 o 15147 302.19/302.27 o 15146 302.19/302.27 o 15145 302.19/302.27 o 15144 302.19/302.27 o 15143 302.19/302.27 o 15142 302.19/302.27 o 15141 302.19/302.27 o 15140 302.19/302.27 o 15139 302.19/302.27 o 15138 302.19/302.27 o 15137 302.19/302.27 o 15136 302.19/302.27 o 15135 302.19/302.27 o 15134 302.19/302.27 o 15133 302.19/302.27 o 15132 302.19/302.27 o 15131 302.19/302.27 o 15130 302.19/302.27 o 15129 302.19/302.27 o 15128 302.19/302.27 o 15127 302.19/302.27 o 15126 302.19/302.27 o 15125 302.19/302.27 o 15124 302.19/302.27 o 13491 302.19/302.27 o 13490 302.19/302.27 o 13489 302.19/302.27 o 13488 302.19/302.27 o 13487 302.19/302.27 o 13486 302.19/302.27 o 13485 302.19/302.27 o 13484 302.19/302.27 o 13483 302.19/302.27 o 13482 302.19/302.27 o 13481 302.19/302.27 o 13480 302.19/302.27 o 13479 302.19/302.27 o 13478 302.19/302.27 o 13477 302.19/302.27 o 13476 302.19/302.27 o 13475 302.19/302.27 o 13474 302.19/302.27 o 13473 302.19/302.27 o 13472 302.19/302.27 o 13471 302.19/302.27 o 13470 302.19/302.27 o 13469 302.19/302.27 o 13468 302.19/302.27 o 13467 302.19/302.27 o 13466 302.19/302.27 o 13465 302.19/302.27 o 13464 302.19/302.27 o 13463 302.19/302.27 o 13462 302.19/302.27 o 13460 302.19/302.27 o 13459 302.19/302.27 o 13458 302.19/302.27 o 13457 302.19/302.27 o 13456 302.19/302.27 o 13455 302.19/302.27 o 13454 302.19/302.27 o 13453 302.19/302.27 o 13452 302.19/302.27 o 11798 302.19/302.27 o 11797 302.19/302.27 o 11796 302.19/302.27 o 11795 302.19/302.27 o 11794 302.19/302.27 o 11793 302.19/302.27 o 11792 302.19/302.27 o 11791 302.19/302.27 o 11790 302.19/302.27 o 11789 302.19/302.27 o 11788 302.19/302.27 o 11787 302.19/302.27 o 11786 302.19/302.27 o 11784 302.19/302.27 o 11783 302.19/302.27 o 11782 302.19/302.27 o 11781 302.19/302.27 o 11780 302.19/302.27 o 11779 302.19/302.27 o 11778 302.19/302.27 o 11777 302.19/302.27 o 11776 302.19/302.27 o 11775 302.19/302.27 o 11774 302.19/302.27 o 11773 302.19/302.27 o 11772 302.19/302.27 o 11771 302.19/302.27 o 11770 302.19/302.27 o 11769 302.19/302.27 o 10138 302.19/302.27 o 10137 302.19/302.27 o 10136 302.19/302.27 o 10135 302.19/302.27 o 10134 302.19/302.27 o 10133 302.19/302.27 o 10131 302.19/302.27 o 10130 302.19/302.27 o 10129 302.19/302.27 o 10128 302.19/302.27 o 10127 302.19/302.27 o 10126 302.19/302.27 o 10125 302.19/302.27 o 10124 302.19/302.27 o 10123 302.19/302.27 o 10122 302.19/302.27 o 10121 302.19/302.27 o 10120 302.19/302.27 o 10119 302.19/302.27 o 10118 302.19/302.27 o 10117 302.19/302.27 o 10116 302.19/302.27 o 10115 327.30/327.36 o 10114 327.30/327.36 o 10113 327.30/327.36 o 10112 327.30/327.36 o 10111 327.30/327.36 o 10110 327.30/327.36 o 10109 327.30/327.36 o 10108 327.30/327.36 o 10107 327.30/327.36 o 10106 327.30/327.36 o 10105 327.30/327.36 o 10104 327.30/327.36 o 8503 327.30/327.36 o 8502 327.30/327.36 o 8501 327.30/327.36 o 8500 327.30/327.36 o 8499 327.30/327.36 o 8497 327.30/327.36 o 8496 327.30/327.36 o 8495 327.30/327.36 o 8494 327.30/327.36 o 8493 327.30/327.36 o 8492 327.30/327.36 o 8491 327.30/327.36 o 8490 327.30/327.36 o 8489 327.30/327.36 o 8488 327.30/327.36 o 8487 327.30/327.36 o 8486 327.30/327.36 o 8485 327.30/327.36 o 8484 327.30/327.36 o 8483 327.30/327.36 o 8482 327.30/327.36 o 8481 327.30/327.36 o 8480 327.30/327.36 o 8479 327.30/327.36 o 8478 327.30/327.36 o 8477 327.30/327.36 o 8476 327.30/327.36 o 8475 327.30/327.36 o 8474 327.30/327.36 o 8473 327.30/327.36 o 8472 327.30/327.36 o 8471 327.30/327.36 o 8470 327.30/327.36 o 8469 327.30/327.36 o 6854 327.30/327.36 o 6853 327.30/327.36 o 6852 327.30/327.36 o 6851 327.30/327.36 o 6850 327.30/327.36 o 6849 327.30/327.36 o 6848 327.30/327.36 o 6847 327.30/327.36 o 6846 327.30/327.36 o 6845 327.30/327.36 o 6844 327.30/327.36 o 6843 327.30/327.36 o 6842 327.30/327.36 o 6841 327.30/327.36 o 6840 327.30/327.36 o 6839 327.30/327.36 o 6838 327.30/327.36 o 6837 327.30/327.36 o 6836 327.30/327.36 o 6835 327.30/327.36 o 6834 327.30/327.36 o 6833 327.30/327.36 o 6832 327.30/327.36 o 6831 327.30/327.36 o 5215 327.30/327.36 o 5214 327.30/327.36 o 5213 327.30/327.36 o 5212 327.30/327.36 o 5211 327.30/327.36 o 5210 327.30/327.36 o 5209 327.30/327.36 o 5208 327.30/327.36 o 5207 327.30/327.36 o 5206 327.30/327.36 o 5205 327.30/327.36 o 5204 327.30/327.36 o 5203 327.30/327.36 o 5202 327.30/327.36 o 5201 327.30/327.36 o 5200 327.30/327.36 o 5199 327.30/327.36 o 5198 327.30/327.36 o 5197 327.30/327.36 o 5196 327.30/327.36 o 5194 327.30/327.36 o 5192 327.30/327.36 o 5191 327.30/327.36 o 5190 327.30/327.36 o 5189 327.30/327.36 o 5188 327.30/327.36 o 5187 327.30/327.36 o 5186 327.30/327.36 o 5185 327.30/327.36 o 5184 327.30/327.36 o 5183 327.30/327.36 o 5182 327.30/327.36 o 5181 327.30/327.36 o 5180 327.30/327.36 o 5179 327.30/327.36 o 5178 327.30/327.36 o 5177 327.30/327.36 o 5176 327.30/327.36 o 5175 327.30/327.36 o 5174 327.30/327.36 o 5173 327.30/327.36 o 5172 327.30/327.36 o 5171 327.30/327.36 o 5170 327.30/327.36 o 5169 327.30/327.36 o 5168 327.30/327.36 o 5167 327.30/327.36 o 5166 327.30/327.36 o 5165 327.30/327.36 o 5164 327.30/327.36 o 5163 327.30/327.36 o 5162 327.30/327.36 o 5161 327.30/327.36 o 3546 327.30/327.36 o 3545 327.30/327.36 o 3543 327.30/327.36 o 3541 327.30/327.36 o 3540 327.30/327.36 o 3539 327.30/327.36 o 3538 327.30/327.36 o 3537 327.30/327.36 o 3536 327.30/327.36 o 3535 327.30/327.36 o 3534 327.30/327.36 o 3533 327.30/327.36 o 3532 327.30/327.36 o 3531 327.30/327.36 o 3530 327.30/327.36 o 3529 327.30/327.36 o 3528 327.30/327.36 o 3527 327.30/327.36 o 3526 327.30/327.36 o 3524 327.30/327.36 o 3519 327.30/327.36 o 3518 327.30/327.36 o 3517 327.30/327.36 o 3516 327.30/327.36 o 3515 327.30/327.36 o 3514 327.30/327.36 o 3513 327.30/327.36 o 3512 327.30/327.36 o 3511 327.30/327.36 s OPTIMUM FOUND 327.30/327.36 v x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30 x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 -x272 x273 -x274 x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 x294 -x295 x296 -x297 x298 -x299 -x300 -x301 x302 x303 -x304 -x305 x306 x307 -x308 -x309 x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 x348 -x349 -x350 x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 x382 x383 x384 x385 x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 x422 -x423 x424 x425 x426 -x427 -x428 -x429 x430 x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 x523 -x524 x525 -x526 -x527 x528 -x529 -x530 x531 x532 -x533 x534 -x535 -x536 x537 -x538 -x539 x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 x603 x604 -x605 -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 x619 -x620 x621 x622 -x623 x624 -x625 -x626 x627 -x628 x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 x637 x638 -x639 x640 x641 x642 x643 x644 -x645 x646 x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 x720 x721 -x722 -x723 -x724 x725 -x726 x727 -x728 x729 x730 -x731 -x732 x733 x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 x753 x754 -x755 -x756 x757 -x758 -x759 x760 -x761 x762 -x763 x764 -x765 -x766 x767 x768 -x769 -x770 x771 -x772 x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 x783 -x784 -x785 x786 -x787 x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 -x797 -x798 -x799 -x800 x801 -x802 x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 x815 -x816 -x817 x818 x819 -x820 x821 -x822 x823 x824 -x825 x826 -x827 -x828 -x829 -x830 x831 -x832 x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 x841 x842 -x843 -x844 x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 x866 x867 -x868 x869 -x870 x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 x887 x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 x913 x914 -x915 -x916 -x917 x918 -x919 -x920 x921 -x922 x923 x924 -x925 x926 -x927 -x928 x929 x930 -x931 -x932 -x933 -x934 x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 x973 -x974 x975 -x976 -x977 x978 -x979 -x980 x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 x1141 x1142 x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 x1159 -x1160 -x1161 -x1162 x1163 -x1164 x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 x1251 x1252 -x1253 x1254 -x1255 -x1256 x1257 -x1258 -x1259 x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281 x1282 x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 x1315 x1316 -x1317 -x1318 x1319 -x1320 x1321 -x1322 x1323 x1324 x1325 -x1326 -x1327 x1328 -x1329 x1330 -x1331 -x1332 x1333 -x1334 x1335 -x1336 x1337 -x1338 x1339 -x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 x1356 x1357 -x1358 -x1359 x1360 -x1361 -x1362 x1363 -x1364 -x1365 x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 x1424 -x1425 x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 x1454 x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 x1585 x1586 x1587 x1588 x1589 -x1590 x1591 -x1592 -x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 x1608 -x1609 x1610 x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 x1696 x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 x1795 -x1796 -x1797 x1798 -x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 x1810 -x1811 x1812 x1813 -x1814 x1815 -x1816 x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 x1827 -x1828 -x1829 x1830 -x1831 -x1832 x1833 -x1834 x1835 -x1836 x1837 -x1838 x1839 x1840 -x1841 x1842 -x1843 x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 x1859 -x1860 x1861 x1862 -x1863 -x1864 x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 x1908 -x1909 x1910 -x1911 x1912 x1913 -x1914 x1915 -x1916 -x1917 x1918 -x1919 x1920 -x1921 x1922 x1923 -x1924 -x1925 x1926 -x1927 x1928 x1929 x1930 x1931 -x1932 x1933 -x1934 x1935 -x1936 x1937 x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 -x1953 x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 x1979 x1980 x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 x2024 x2025 -x2026 x2027 -x2028 -x2029 x2030 -x2031 -x2032 x2033 -x2034 x2035 -x2036 x2037 -x2038 x2039 -x2040 x2041 -x2042 x2043 x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 x2051 x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 x2078 x2079 -x2080 x2081 x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 x2098 -x2099 -x2100 x2101 -x2102 -x2103 x2104 x2105 -x2106 -x2107 x2108 x2109 -x2110 -x2111 x2112 -x2113 x2114 x2115 -x2116 -x2117 x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2140 x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 x2154 -x2155 -x2156 x2157 -x2158 x2159 x2160 x2161 x2162 x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 x2177 x2178 -x2179 -x2180 -x2181 x2182 x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 x2216 -x2217 -x2218 -x2219 x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 -x2233 x2234 x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 x2281 x2282 x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 x2342 -x2343 x2344 -x2345 x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 x2362 -x2363 x2364 x2365 -x2366 -x2367 x2368 -x2369 x2370 -x2371 -x2372 x2373 x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 x2414 -x2415 x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 x2437 -x2438 x2439 x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 x2462 -x2463 x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 x2476 -x2477 x2478 x2479 -x2480 -x2481 x2482 -x2483 -x2484 x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 x2520 -x2521 x2522 -x2523 -x2524 x2525 x2526 x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 x2559 -x2560 x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 -x2611 -x2612 x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 -x2643 x2644 x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 x2660 x2661 -x2662 x2663 -x2664 -x2665 x2666 x2667 -x2668 -x2669 x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736 x2737 -x2738 -x2739 x2740 x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 x2772 x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 -x2829 -x2830 x2831 x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 x2840 x2841 -x2842 -x2843 -x2844 x2845 x2846 x2847 x2848 -x2849 -x2850 x2851 -x2852 x2853 -x2854 -x2855 x2856 x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 x2884 x2885 x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 -x2909 x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 x2948 -x2949 x2950 -x2951 -x2952 x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 x2965 -x2966 x2967 -x2968 -x2969 x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 x3003 -x3004 x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 -x3033 x3034 -x3035 -x3036 x3037 x3038 -x3039 x3040 -x3041 x3042 -x3043 x3044 x3045 x3046 -x3047 -x3048 x3049 -x3050 x3051 -x3052 x3053 -x3054 x3055 -x3056 x3057 -x3058 x3059 -x3060 -x3061 x3062 x3063 x3064 -x3065 -x3066 x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x3080 -x3081 -x3082 x3083 x3084 x3085 x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 x3101 -x3102 x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 x3128 x3129 -x3130 -x3131 x3132 -x3133 -x3134 x3135 -x3136 -x3137 -x3138 x3139 x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 x4312 x4313 x4314 x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 x4381 x4382 x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 x4460 -x4461 x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 x4496 x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 x4546 x4547 x4548 x4549 x4550 x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 x4650 -x4651 x4652 -x4653 x4654 -x4655 -x4656 -x4657 x4658 x4659 x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 x4670 x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 x4690 x4691 x4692 x4693 -x4694 -x4695 -x4696 -x4697 x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 x4762 x4763 -x4764 -x4765 -x4766 x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4783 -x4784 x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 x4809 -x4810 -x4811 -x4812 -x4813 x4814 x4815 x4816 x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 x4848 x4849 -x4850 x4851 -x4852 x4853 x4854 -x4855 -x4856 x4857 -x4858 -x4859 x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 x4875 x4876 -x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 x4893 x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 x4910 x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 x4932 x4933 x4934 x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 x4943 x4944 x4945 -x4946 x4947 x4948 -x4949 x4950 x4951 -x4952 -x4953 x4954 -x4955 -x4956 -x4957 x4958 x4959 x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 x4969 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 -x4978 -x4979 x4980 -x4981 x4982 -x4983 x4984 -x4985 x4986 -x4987 x4988 -x4989 x4990 -x4991 x4992 -x4993 x4994 -x4995 -x4996 -x4997 -x4998 x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 x5019 x5020 -x5021 -x5022 -x5023 x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 -x5036 -x5037 -x5038 x5039 x5040 -x5041 -x5042 -x5043 -x5044 -x5045 x5046 -x5047 -x5048 x5049 -x5050 -x5051 -x5052 x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 x5087 -x5088 -x5089 -x5090 x5091 -x5092 -x5093 -x5094 x5095 x5096 x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 x5136 x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 x5144 -x5145 -x5146 -x5147 -x5148 x5149 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 x5164 x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 -x5172 -x5173 -x5174 x5175 x5176 x5177 -x5178 -x5179 x5180 -x5181 x5182 -x5183 -x5184 x5185 x5186 x5187 x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 x5218 -x5219 -x5220 x5221 x5222 x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 x5271 x5272 -x5273 -x5274 -x5275 x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 x5298 x5299 x5300 x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 x5322 -x5323 -x5324 -x5325 -x5326 x5327 x5328 x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 x5368 -x5369 -x5370 x5371 -x5372 x5373 -x5374 -x5375 -x5376 x5377 -x5378 x5379 -x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 x5391 x5392 -x5393 -x5394 x5395 -x5396 -x5397 -x5398 x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 x5413 x5414 -x5415 x5416 -x5417 -x5418 x5419 -x5420 -x5421 -x5422 -x5423 x5424 -x5425 -x5426 x5427 x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 x5448 x5449 -x5450 x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 x5481 x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 x5495 -x5496 x5497 -x5498 x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5598 x5599 x5600 x5601 x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 x5630 -x5631 -x5632 -x5633 x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 x5733 x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 x5774 -x5775 x5776 x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 -x5831 x5832 x5833 -x5834 -x5835 x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 x5854 x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 x5873 x5874 x5875
OK 3511
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-3498075-1307935223/watcher-3498075-1307935223 -o /var/tmp/evaluation-result-3498075-1307935223/solver-3498075-1307935223 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498075-1307935223.opb --verbosity=0 --format=opb --randomseed=58303239 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/177 17200 /proc/meminfo: memFree=194296/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=7680 CPUtime=0 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 370 0 0 0 0 0 0 0 25 0 1 0 905121019 7864320 324 33554432000 4194304 6957856 140734945608112 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 1920 324 227 675 0 1236 0 [startup+0.0349871 s] /proc/loadavg: 2.00 2.00 2.00 3/177 17200 /proc/meminfo: memFree=194296/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=10300 CPUtime=0.03 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 1068 0 0 0 3 0 0 0 25 0 1 0 905121019 10547200 1001 33554432000 4194304 6957856 140734945608112 18446744073709551615 5448754 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 2575 1001 251 675 0 1891 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10300 [startup+0.101034 s] /proc/loadavg: 2.00 2.00 2.00 3/177 17200 /proc/meminfo: memFree=194296/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=14988 CPUtime=0.09 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 2212 0 0 0 9 0 0 0 25 0 1 0 905121019 15347712 2145 33554432000 4194304 6957856 140734945608112 18446744073709551615 4426356 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 3747 2146 251 675 0 3063 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14988 [startup+0.301023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 17200 /proc/meminfo: memFree=194296/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=30232 CPUtime=0.29 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 6180 0 0 0 29 0 0 0 25 0 1 0 905121019 30957568 5971 33554432000 4194304 6957856 140734945608112 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 7558 5972 267 675 0 6874 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30232 [startup+0.700953 s] /proc/loadavg: 2.00 2.00 2.00 3/177 17200 /proc/meminfo: memFree=194296/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=67760 CPUtime=0.69 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 15581 0 0 0 68 1 0 0 25 0 1 0 905121019 69386240 15306 33554432000 4194304 6957856 140734945608112 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 16940 15308 267 675 0 16256 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 67760 [startup+1.50083 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17201 /proc/meminfo: memFree=119168/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=82248 CPUtime=1.49 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 19213 0 0 0 148 1 0 0 25 0 1 0 905121019 84221952 18937 33554432000 4194304 6957856 140734945608112 18446744073709551615 4741152 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 20562 18937 283 675 0 19878 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 82248 [startup+3.10048 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17201 /proc/meminfo: memFree=118672/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=82252 CPUtime=3.09 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 19239 0 0 0 308 1 0 0 25 0 1 0 905121019 84226048 18963 33554432000 4194304 6957856 140734945608112 18446744073709551615 5918022 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 20563 18963 286 675 0 19879 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 82252 [startup+6.30094 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17201 /proc/meminfo: memFree=117880/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=82540 CPUtime=6.29 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 19363 0 0 0 628 1 0 0 25 0 1 0 905121019 84520960 19086 33554432000 4194304 6957856 140734945608112 18446744073709551615 5932528 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 20635 19086 286 675 0 19951 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 82540 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17201 /proc/meminfo: memFree=116628/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=83644 CPUtime=12.69 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 19683 0 0 0 1268 1 0 0 25 0 1 0 905121019 85651456 19406 33554432000 4194304 6957856 140734945608112 18446744073709551615 4630749 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 20911 19406 286 675 0 20227 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 83644 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17202 /proc/meminfo: memFree=115028/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=84608 CPUtime=25.49 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 19976 0 0 0 2548 1 0 0 25 0 1 0 905121019 86638592 19699 33554432000 4194304 6957856 140734945608112 18446744073709551615 5922139 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 21152 19699 286 675 0 20468 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 84608 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17202 /proc/meminfo: memFree=109172/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=87076 CPUtime=51.09 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 21774 0 0 0 5108 1 0 0 25 0 1 0 905121019 89165824 21037 33554432000 4194304 6957856 140734945608112 18446744073709551615 5314078 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 21769 21037 287 675 0 21085 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 87076 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17204 /proc/meminfo: memFree=94080/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=117792 CPUtime=102.3 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 39019 0 0 0 10226 4 0 0 25 0 1 0 905121019 120619008 28858 33554432000 4194304 6957856 140734945608112 18446744073709551615 5933982 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 29448 28858 287 675 0 28764 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 117792 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17205 /proc/meminfo: memFree=93280/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=125004 CPUtime=162.29 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 52220 0 0 0 16223 6 0 0 25 0 1 0 905121019 128004096 30614 33554432000 4194304 6957856 140734945608112 18446744073709551615 5934391 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 31251 30614 287 675 0 30567 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 125004 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17207 /proc/meminfo: memFree=92064/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=136496 CPUtime=222.29 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54795 0 0 0 22222 7 0 0 25 0 1 0 905121019 139771904 33187 33554432000 4194304 6957856 140734945608112 18446744073709551615 5307369 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 34124 33187 287 675 0 33440 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 136496 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17208 /proc/meminfo: memFree=98604/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=136496 CPUtime=282.29 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54917 0 0 0 28222 7 0 0 25 0 1 0 905121019 139771904 33309 33554432000 4194304 6957856 140734945608112 18446744073709551615 5932674 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 34124 33309 287 675 0 33440 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 136496 Solver just ended. Dumping a history of the last processes samples [startup+307.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17209 /proc/meminfo: memFree=97856/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=136496 CPUtime=307.09 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54917 0 0 0 30702 7 0 0 25 0 1 0 905121019 139771904 33309 33554432000 4194304 6957856 140734945608112 18446744073709551615 5311774 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 34124 33309 287 675 0 33440 0 Current children cumulated CPU time (s) 307.09 Current children cumulated vsize (KiB) 136496 [startup+319.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17210 /proc/meminfo: memFree=97480/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=136812 CPUtime=319.89 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 31982 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 34203 33330 287 675 0 33519 0 Current children cumulated CPU time (s) 319.89 Current children cumulated vsize (KiB) 136812 [startup+323.101 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17210 /proc/meminfo: memFree=97472/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=136812 CPUtime=323.09 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 32302 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5932611 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 34203 33330 287 675 0 33519 0 Current children cumulated CPU time (s) 323.09 Current children cumulated vsize (KiB) 136812 [startup+324.701 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17210 /proc/meminfo: memFree=97348/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=136812 CPUtime=324.69 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 32462 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5922034 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 34203 33330 287 675 0 33519 0 Current children cumulated CPU time (s) 324.69 Current children cumulated vsize (KiB) 136812 [startup+326.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17210 /proc/meminfo: memFree=97344/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=136812 CPUtime=326.29 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 32622 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5918037 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 34203 33330 287 675 0 33519 0 Current children cumulated CPU time (s) 326.29 Current children cumulated vsize (KiB) 136812 [startup+327.101 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17210 /proc/meminfo: memFree=97344/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=136812 CPUtime=327.1 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 32703 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5918124 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 34203 33330 287 675 0 33519 0 Current children cumulated CPU time (s) 327.1 Current children cumulated vsize (KiB) 136812 [startup+327.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 17210 /proc/meminfo: memFree=97344/32950928 swapFree=67050636/67111528 [pid=17200] ppid=17198 vsize=136812 CPUtime=327.3 cores=0,2,4,6 /proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 32723 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5313040 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/17200/statm: 34203 33330 287 675 0 33519 0 Current children cumulated CPU time (s) 327.3 Current children cumulated vsize (KiB) 136812 Child status: 10 Real time (s): 327.371 CPU time (s): 327.373 CPU user time (s): 327.294 CPU system time (s): 0.078987 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 136812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 327.294 system time used= 0.078987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54941 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= 912 runsolver used 0.538918 second user time and 1.06384 second system time The end
Begin job on node126 at 2011-06-13 05:20:23 IDJOB=3498075 IDBENCH=72107 IDSOLVER=1990 FILE ID=node126/3498075-1307935223 RUNJOBID= node126-1307919795-15272 PBS_JOBID= 13559653 Free space on /var/tmp= 2856 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randfd04d4.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-3498075-1307935223/watcher-3498075-1307935223 -o /var/tmp/evaluation-result-3498075-1307935223/solver-3498075-1307935223 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498075-1307935223.opb --verbosity=0 --format=opb --randomseed=58303239 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 96ae353809ccf018b1066e79a85baf24 RANDOM SEED=58303239 node126.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.783 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.56 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.783 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.75 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.783 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.783 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.74 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.783 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.80 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.783 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.75 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.783 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.82 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.783 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 194724 kB Buffers: 100124 kB Cached: 29816356 kB SwapCached: 14604 kB Active: 16805180 kB Inactive: 14999244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 194724 kB SwapTotal: 67111528 kB SwapFree: 67050636 kB Dirty: 3960 kB Writeback: 0 kB AnonPages: 1885852 kB Mapped: 10432 kB Slab: 883808 kB PageTables: 8748 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 2111872 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= 2852 MiB End job on node126 at 2011-06-13 05:25:51