Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-140-1_network-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-8.net.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 2219486 o 425817 o 425684 o 424893 o 423353 o 423220 o 422429 o 421562 o 421429 o 420638 o 420260 o 420127 o 419336 o 419260 o 419031 o 418882 o 418749 o 417958 o 417729 o 417365 o 417331 o 416987 o 416854 o 416063 o 415987 o 415758 o 415609 o 415476 o 414685 o 414456 o 414246 o 414097 o 413964 o 413173 o 412944 o 412921 o 412692 o 412607 o 412045 o 411816 o 411606 o 411457 o 411324 o 410533 o 410304 o 410281 o 410052 o 409845 o 409616 o 409457 o 409247 o 409098 o 408965 o 408174 o 407945 o 407922 o 407693 o 407413 o 407161 o 406932 o 406906 o 406820 o 406705 o 406572 o 405781 o 405552 o 405529 o 405300 o 405152 o 404923 o 404900 o 404671 o 404391 o 404139 o 403910 o 403884 o 403798 o 403683 o 403550 o 403404 o 403148 o 402759 o 402530 o 402507 o 402278 o 402239 o 402159 o 402091 o 402011 o 401862 o 401782 o 401759 o 401610 o 401530 o 401330 o 401250 o 401101 o 401021 o 400998 o 400849 o 400769 o 400743 o 400737 o 400657 o 400622 o 400542 o 400489 o 400409 o 400364 o 400343 o 400087 o 399698 o 399618 o 399469 o 399389 o 399366 o 399217 o 399137 o 399116 o 399048 o 398968 o 398819 o 398739 o 398716 o 398567 o 398487 o 398287 o 398207 o 398058 o 397978 o 397955 o 397806 o 397726 o 397700 o 397694 o 397614 o 397579 o 397499 o 397446 o 397366 o 397321 o 397300 o 397044 o 396655 o 396575 o 396426 o 396346 o 396323 o 396174 o 396094 o 396078 o 396055 o 395906 o 395826 o 395787 o 395764 o 395615 o 395535 o 395509 o 395474 o 395394 o 395371 o 395222 o 395142 o 395130 o 395109 o 394853 o 394464 o 394384 o 394235 o 394155 o 394132 o 393983 o 393903 o 393816 o 393736 o 393564 o 393484 o 393335 o 393255 o 393253 o 393104 o 393024 o 392998 o 392963 o 392883 o 392860 o 392711 o 392631 o 392619 o 392598 o 392342 o 391953 o 391873 o 391724 o 391644 o 391621 o 391472 o 391392 o 391376 o 391227 o 391147 o 391124 o 390975 o 390895 o 390871 o 390791 o 390704 o 390624 o 390556 o 390476 o 390452 o 390372 o 390327 o 390247 o 390223 o 390143 o 390096 o 390016 o 389992 o 389912 o 389886 o 389766 o 389686 o 389623 o 389611 o 389590 o 389334 o 388945 o 388865 o 388716 o 388636 o 388613 o 388464 o 388384 o 388360 o 388280 o 388181 o 388101 o 388038 o 388026 o 388005 o 387749 o 387360 o 387280 o 387131 o 387051 o 387028 o 386879 o 386799 o 386775 o 386695 o 386686 o 386377 o 386297 o 386273 o 386193 o 386125 o 386045 o 386021 o 385941 o 385896 o 385816 o 385792 o 385712 o 385646 o 385620 o 385500 o 385420 o 385357 o 385345 o 385324 o 385068 o 384679 o 384599 o 384450 o 384370 o 384347 o 384198 o 384118 o 384094 o 384014 o 383915 o 383835 o 383772 o 383760 o 383739 o 383483 o 383094 o 383014 o 382865 o 382785 o 382762 o 382613 o 382533 o 382509 o 382429 o 382420 o 382111 o 382031 o 382007 o 381927 o 381859 o 381779 o 381755 o 381675 o 381630 o 381550 o 381526 o 381446 o 381416 o 381231 o 380842 o 380762 o 380738 o 380658 o 380613 o 380533 o 380509 o 380429 o 380406 o 380361 o 380281 o 380257 o 380177 o 380078 o 379998 o 379935 o 379923 o 379902 o 379646 o 379257 o 379177 o 379028 o 378948 o 378925 o 378776 o 378696 o 378672 o 378592 o 378559 o 378479 o 378274 o 378194 o 378170 o 378090 o 378045 o 377965 o 377941 o 377861 o 377838 o 377793 o 377713 o 377689 o 377609 o 377418 o 377338 o 377314 o 377234 o 377166 o 377086 o 377062 o 376982 o 376937 o 376857 o 376833 o 376753 o 376728 o 376648 o 376624 o 376544 o 376359 o 375970 o 375890 o 375866 o 375786 o 375741 o 375661 o 375637 o 375557 o 375534 o 375489 o 375409 o 375385 o 375305 o 375248 o 375234 o 375154 o 375131 o 374982 o 374902 o 374890 o 374869 o 374613 o 374224 o 374144 o 373995 o 373915 o 373892 o 373743 o 373663 o 373630 o 373550 o 373241 o 373161 o 373012 o 372932 o 372909 o 372760 o 372680 o 372656 o 372576 o 372511 o 372385 o 372281 o 372201 o 372156 o 372076 o 372052 o 371972 o 371949 o 371904 o 371824 o 371800 o 371720 o 371575 o 371495 o 371471 o 371391 o 371323 o 371243 o 371219 o 371139 o 371094 o 371014 o 370990 o 370910 o 370853 o 370839 o 370759 o 370736 o 370587 o 370507 o 370297 o 370217 o 370138 o 369829 o 369749 o 369600 o 369520 o 369497 o 369348 o 369268 o 369234 o 369155 o 368846 o 368766 o 368617 o 368537 o 368514 o 368365 o 368285 o 368261 o 368181 o 368116 o 368045 o 367990 o 367910 o 367886 o 367806 o 367761 o 367681 o 367657 o 367577 o 367554 o 367509 o 367429 o 367405 o 367325 o 367254 o 367230 o 367150 o 367127 o 367082 o 367002 o 366978 o 366898 o 366841 o 366768 o 366697 o 366538 o 366458 o 366309 o 366229 o 366206 o 366057 o 365977 o 365817 o 365737 o 365588 o 365508 o 365485 o 365336 o 365256 o 365223 o 365143 o 364834 o 364754 o 364605 o 364525 o 364502 o 364353 o 364273 o 364249 o 364169 o 364104 o 364033 o 363978 o 363898 o 363874 o 363794 o 363749 o 363669 o 363645 o 363565 o 363542 o 363497 o 363417 o 363393 o 363313 o 363269 o 363189 o 363165 o 363085 o 363016 o 362979 o 362831 o 362751 o 362442 o 362362 o 362338 o 362258 o 362213 o 362133 o 362109 o 362029 o 362006 o 361961 o 361881 o 361857 o 361777 o 361712 o 361641 o 361586 o 361506 o 361482 o 361402 o 361357 o 361277 o 361253 o 361173 o 361150 o 361105 o 361025 o 361001 o 360921 o 360898 o 360818 o 360794 o 360714 o 360645 o 360608 o 360460 o 360380 o 360071 o 359991 o 359967 o 359887 o 359842 o 359762 o 359738 o 359658 o 359635 o 359590 o 359510 o 359486 o 359406 o 359215 o 359135 o 359111 o 359031 o 358986 o 358906 o 358882 o 358802 o 358779 o 358734 o 358654 o 358630 o 358550 o 358526 o 358446 o 358297 o 358217 o 358194 o 358045 o 357965 o 357896 o 357892 o 357869 o 357720 o 357640 o 357607 o 357527 o 357218 o 357138 o 356989 o 356909 o 356886 o 356737 o 356657 o 356633 o 356553 o 356506 o 356483 o 356453 o 356438 o 356358 o 356349 o 356334 o 356254 o 356231 o 356151 o 356142 o 356127 o 356047 o 355978 o 355941 o 355888 o 355793 o 355713 o 355499 o 355419 o 355404 o 355324 o 355300 o 355220 o 355175 o 355095 o 355071 o 354991 o 354968 o 354923 o 354843 o 354819 o 354739 o 354643 o 354548 o 354468 o 354444 o 354364 o 354334 o 354319 o 354239 o 354230 o 354215 o 354135 o 354112 o 354082 o 354067 o 353987 o 353978 o 353963 o 353883 o 353859 o 353779 o 353725 o 353630 o 353550 o 353527 o 353473 o 353378 o 353298 o 353229 o 353225 o 353202 o 353148 o 353053 o 352973 o 352940 o 352860 o 352646 o 352551 o 352471 o 352417 o 352337 o 352322 o 352242 o 352219 o 352165 o 352085 o 352070 o 351990 o 351966 o 351886 o 351835 o 351812 o 351758 o 351663 o 351583 o 351559 o 351479 o 351425 o 351345 o 351315 o 351291 o 351211 o 351196 o 351116 o 351093 o 351048 o 350968 o 350944 o 350864 o 350795 o 350758 o 350705 o 350625 o 350601 o 350521 o 350316 o 350236 o 350212 o 350132 o 350117 o 350037 o 349983 o 349903 o 349888 o 349808 o 349785 o 349755 o 349731 o 349651 o 349636 o 349556 o 349532 o 349452 o 349398 o 349303 o 349223 o 349200 o 349146 o 349066 o 349051 o 348971 o 348947 o 348867 o 348798 o 348761 o 348708 o 348628 o 348604 o 348524 o 348319 o 348239 o 348215 o 348135 o 348120 o 348040 o 347986 o 347906 o 347891 o 347811 o 347788 o 347758 o 347734 o 347654 o 347639 o 347559 o 347518 o 347485 o 347405 o 347295 o 347200 o 347120 o 347111 o 347096 o 347016 o 346948 o 346868 o 346844 o 346764 o 346719 o 346639 o 346615 o 346535 o 346460 o 346350 o 346255 o 346246 o 346151 o 346071 o 346003 o 345923 o 345899 o 345819 o 345774 o 345694 o 345670 o 345590 o 345558 o 345535 o 345481 o 345386 o 345306 o 345282 o 345202 o 345133 o 345096 o 345054 o 345043 o 344939 o 344859 o 344654 o 344574 o 344550 o 344470 o 344455 o 344375 o 344321 o 344241 o 344226 o 344146 o 344123 o 344093 o 344069 o 343989 o 343974 o 343894 o 343798 o 343703 o 343623 o 343599 o 343519 o 343489 o 343474 o 343394 o 343385 o 343370 o 343290 o 343267 o 343237 o 343222 o 343142 o 343133 o 343118 o 343038 o 342997 o 342964 o 342884 o 342774 o 342679 o 342599 o 342590 o 342575 o 342495 o 342427 o 342347 o 342323 o 342243 o 342198 o 342118 o 342094 o 342014 o 341939 o 341829 o 341734 o 341725 o 341630 o 341550 o 341482 o 341402 o 341378 o 341298 o 341253 o 341173 o 341149 o 341069 o 341051 o 341006 o 340926 o 340902 o 340822 o 340727 o 340647 o 340593 o 340513 o 340498 o 340418 o 340395 o 340341 o 340261 o 340246 o 340166 o 340125 o 340092 o 340012 o 339798 o 339703 o 339623 o 339569 o 339489 o 339474 o 339394 o 339371 o 339317 o 339237 o 339222 o 339142 o 339067 o 338853 o 338758 o 338678 o 338624 o 338544 o 338529 o 338449 o 338426 o 338372 o 338292 o 338277 o 338197 o 338173 o 338093 o 337997 o 337902 o 337822 o 337798 o 337718 o 337688 o 337673 o 337593 o 337584 o 337569 o 337489 o 337466 o 337436 o 337421 o 337341 o 337332 o 337317 o 337237 o 337219 o 337124 o 337115 o 337020 o 336940 o 336895 o 336815 o 336791 o 336711 o 336657 o 336633 o 336553 o 336489 o 336458 o 336324 o 336229 o 336149 o 336126 o 336072 o 335977 o 335897 o 335892 o 335797 o 335717 o 335694 o 335640 o 335545 o 335465 o 335434 o 335354 o 335300 o 335205 o 335125 o 335102 o 335048 o 334953 o 334873 o 334852 o 334772 o 334749 o 334695 o 334600 o 334520 o 334489 o 334409 o 334355 o 334260 o 334180 o 334157 o 334103 o 334008 o 333928 o 333904 o 333824 o 333812 o 333789 o 333759 o 333744 o 333664 o 333655 o 333640 o 333560 o 333553 o 333529 o 333449 o 333404 o 333324 o 333300 o 333220 o 333197 o 333167 o 333152 o 333072 o 333063 o 333048 o 332968 o 332950 o 332855 o 332846 o 332751 o 332671 o 332626 o 332546 o 332522 o 332442 o 332372 o 332357 o 332277 o 332202 o 332092 o 331997 o 331988 o 331893 o 331813 o 331745 o 331665 o 331641 o 331561 o 331516 o 331436 o 331412 o 331332 o 331278 o 331254 o 331174 o 331110 o 331079 o 330945 o 330850 o 330770 o 330747 o 330693 o 330598 o 330518 o 330513 o 330418 o 330338 o 330315 o 330261 o 330166 o 330086 o 330055 o 329975 o 329921 o 329826 o 329746 o 329723 o 329669 o 329574 o 329494 o 329473 o 329393 o 329370 o 329316 o 329221 o 329141 o 329110 o 329030 o 328976 o 328881 o 328801 o 328778 o 328724 o 328629 o 328549 o 328525 o 328445 o 328433 o 328410 o 328380 o 328365 o 328285 o 328276 o 328261 o 328181 o 328174 o 328150 o 328070 o 328025 o 327945 o 327921 o 327841 o 327818 o 327788 o 327773 o 327693 o 327684 o 327669 o 327589 o 327544 o 327499 o 327419 o 327395 o 327315 o 327292 o 327247 o 327167 o 327143 o 327063 o 327032 o 327009 o 326979 o 326955 o 326875 o 326860 o 326780 o 326759 o 326679 o 326656 o 326611 o 326531 o 326507 o 326427 o 326396 o 326366 o 326271 o 326262 o 326167 o 326087 o 326064 o 326019 o 325939 o 325915 o 325835 o 325829 o 325749 o 325709 o 325629 o 325605 o 325525 o 325469 o 325460 o 325365 o 325285 o 325240 o 325160 o 325136 o 325056 o 325033 o 324988 o 324908 o 324884 o 324804 o 324750 o 324741 o 324726 o 324646 o 324556 o 324547 o 324452 o 324372 o 324349 o 324304 o 324224 o 324200 o 324120 o 324119 o 324024 o 323944 o 323920 o 323840 o 323809 o 323786 o 323756 o 323661 o 323652 o 323557 o 323477 o 323454 o 323409 o 323329 o 323305 o 323225 o 323194 o 323114 o 323091 o 323061 o 323037 o 322957 o 322942 o 322862 o 322841 o 322761 o 322738 o 322693 o 322613 o 322589 o 322509 o 322478 o 322448 o 322353 o 322344 o 322249 o 322169 o 322146 o 322101 o 322021 o 321997 o 321917 o 321905 o 321882 o 321852 o 321837 o 321757 o 321748 o 321733 o 321653 o 321646 o 321622 o 321542 o 321497 o 321417 o 321393 o 321313 o 321290 o 321260 o 321245 o 321165 o 321156 o 321141 o 321061 o 321016 o 320971 o 320891 o 320867 o 320787 o 320764 o 320719 o 320639 o 320615 o 320535 o 320504 o 320481 o 320451 o 320427 o 320347 o 320332 o 320252 o 320231 o 320151 o 320128 o 320083 o 320003 o 319979 o 319899 o 319868 o 319838 o 319743 o 319734 o 319639 o 319559 o 319536 o 319491 o 319411 o 319387 o 319307 o 319305 o 319262 o 319238 o 319158 o 319157 o 319062 o 318982 o 318958 o 318878 o 318847 o 318824 o 318794 o 318699 o 318690 o 318595 o 318515 o 318492 o 318447 o 318367 o 318343 o 318263 o 318232 o 318152 o 318129 o 318099 o 318075 o 317995 o 317980 o 317900 o 317879 o 317799 o 317776 o 317731 o 317651 o 317627 o 317547 o 317516 o 317486 o 317391 o 317382 o 317287 o 317207 o 317184 o 317139 o 317059 o 317035 o 316955 o 316943 o 316920 o 316890 o 316875 o 316795 o 316786 o 316771 o 316691 o 316684 o 316660 o 316580 o 316535 o 316455 o 316431 o 316351 o 316328 o 316298 o 316283 o 316203 o 316194 o 316179 o 316099 o 316054 o 316009 o 315929 o 315905 o 315825 o 315802 o 315757 o 315677 o 315653 o 315573 o 315542 o 315519 o 315489 o 315474 o 315394 o 315385 o 315370 o 315290 o 315250 o 315170 o 315146 o 315066 o 315041 o 315017 o 314937 o 314906 o 314876 o 314781 o 314772 o 314677 o 314597 o 314574 o 314529 o 314449 o 314425 o 314345 o 314300 o 314220 o 314197 o 314143 o 314048 o 313968 o 313959 o 313944 o 313864 o 313679 o 313584 o 313504 o 313450 o 313370 o 313355 o 313275 o 313252 o 313198 o 313103 o 313023 o 312999 o 312919 o 312874 o 312829 o 312749 o 312725 o 312645 o 312622 o 312577 o 312497 o 312473 o 312393 o 312391 o 312348 o 312324 o 312244 o 312243 o 312148 o 312068 o 312044 o 311964 o 311933 o 311910 o 311880 o 311785 o 311776 o 311681 o 311601 o 311578 o 311533 o 311453 o 311429 o 311349 o 311318 o 311238 o 311215 o 311185 o 311161 o 311081 o 311066 o 310986 o 310965 o 310885 o 310862 o 310817 o 310737 o 310713 o 310633 o 310602 o 310572 o 310477 o 310468 o 310373 o 310293 o 310270 o 310225 o 310145 o 310121 o 310041 o 310029 o 310006 o 309976 o 309961 o 309881 o 309872 o 309857 o 309777 o 309770 o 309746 o 309666 o 309621 o 309541 o 309517 o 309437 o 309414 o 309384 o 309369 o 309289 o 309280 o 309265 o 309185 o 309140 o 309095 o 309015 o 308991 o 308911 o 308888 o 308843 o 308763 o 308739 o 308659 o 308628 o 308605 o 308575 o 308560 o 308480 o 308471 o 308456 o 308376 o 308336 o 308256 o 308232 o 308152 o 308127 o 308103 o 308023 o 307992 o 307962 o 307867 o 307858 o 307763 o 307683 o 307660 o 307615 o 307535 o 307511 o 307431 o 307405 o 307381 o 307301 o 307278 o 307233 o 307153 o 307129 o 307049 o 307048 o 306953 o 306873 o 306849 o 306769 o 306738 o 306715 o 306685 o 306590 o 306581 o 306486 o 306406 o 306383 o 306338 o 306258 o 306234 o 306154 o 306123 o 306043 o 306020 o 305990 o 305966 o 305886 o 305871 o 305791 o 305770 o 305690 o 305667 o 305637 o 305613 o 305533 o 305518 o 305438 o 305407 o 305327 o 305273 o 305178 o 305098 o 305075 o 305045 o 305021 o 304941 o 304926 o 304846 o 304834 o 304811 o 304781 o 304766 o 304686 o 304677 o 304662 o 304582 o 304575 o 304551 o 304471 o 304426 o 304346 o 304322 o 304242 o 304219 o 304189 o 304174 o 304094 o 304085 o 304070 o 303990 o 303945 o 303900 o 303820 o 303796 o 303716 o 303693 o 303648 o 303568 o 303544 o 303464 o 303441 o 303361 o 303323 o 303241 o 303146 o 303066 o 303057 o 303042 o 302962 o 302951 o 302871 o 302814 o 302791 o 302657 o 302562 o 302482 o 302473 o 302458 o 302378 o 302366 o 302286 o 302246 o 302166 o 302117 o 302037 o 302006 o 301872 o 301777 o 301697 o 301674 o 301620 o 301525 o 301445 o 301421 o 301341 o 301296 o 301242 o 301147 o 301067 o 301044 o 300999 o 300919 o 300895 o 300815 o 300813 o 300783 o 300768 o 300688 o 300679 o 300664 o 300584 o 300544 o 300464 o 300440 o 300360 o 300327 o 300303 o 300223 o 300212 o 300132 o 300075 o 300052 o 299918 o 299823 o 299743 o 299734 o 299719 o 299639 o 299549 o 299469 o 299446 o 299392 o 299297 o 299217 o 299193 o 299113 o 299101 o 299021 o 298981 o 298901 o 298877 o 298797 o 298772 o 298748 o 298668 o 298637 o 298607 o 298512 o 298503 o 298408 o 298328 o 298305 o 298260 o 298180 o 298156 o 298076 o 298045 o 298022 o 297992 o 297977 o 297897 o 297888 o 297873 o 297793 o 297772 o 297692 o 297669 o 297639 o 297624 o 297544 o 297535 o 297520 o 297440 o 297433 o 297409 o 297329 o 297284 o 297204 o 297180 o 297100 o 297077 o 297047 o 297032 o 296952 o 296943 o 296928 o 296848 o 296773 o 296764 o 296749 o 296669 o 296636 o 296579 o 296556 o 296422 o 296327 o 296247 o 296238 o 296223 o 296143 o 296120 o 296040 o 296002 o 295920 o 295825 o 295745 o 295736 o 295721 o 295641 o 295630 o 295550 o 295493 o 295470 o 295336 o 295241 o 295161 o 295152 o 295137 o 295057 o 295045 o 294965 o 294925 o 294845 o 294796 o 294716 o 294685 o 294551 o 294456 o 294376 o 294353 o 294299 o 294204 o 294124 o 294100 o 294020 o 293975 o 293921 o 293826 o 293746 o 293723 o 293678 o 293598 o 293574 o 293494 o 293492 o 293462 o 293447 o 293367 o 293358 o 293343 o 293263 o 293223 o 293143 o 293119 o 293039 o 293006 o 292982 o 292902 o 292891 o 292811 o 292754 o 292731 o 292597 o 292502 o 292422 o 292413 o 292398 o 292318 o 292228 o 292148 o 292125 o 292071 o 291976 o 291896 o 291872 o 291792 o 291780 o 291700 o 291660 o 291580 o 291556 o 291476 o 291451 o 291427 o 291347 o 291316 o 291286 o 291191 o 291182 o 291087 o 291007 o 290984 o 290939 o 290859 o 290835 o 290755 o 290724 o 290701 o 290671 o 290656 o 290576 o 290567 o 290552 o 290472 o 290451 o 290371 o 290348 o 290318 o 290303 o 290223 o 290214 o 290199 o 290119 o 290112 o 290088 o 290008 o 289963 o 289883 o 289859 o 289779 o 289756 o 289726 o 289711 o 289631 o 289622 o 289607 o 289527 o 289461 o 289438 o 289393 o 289313 o 289289 o 289209 o 289197 o 289117 o 289077 o 288997 o 288973 o 288893 o 288868 o 288844 o 288764 o 288733 o 288703 o 288608 o 288599 o 288504 o 288424 o 288401 o 288356 o 288276 o 288252 o 288172 o 288097 o 288088 o 288073 o 287993 o 287960 o 287903 o 287880 o 287746 o 287651 o 287571 o 287562 o 287547 o 287467 o 287447 o 287367 o 287344 o 287290 o 287195 o 287115 o 287091 o 287011 o 286993 o 286970 o 286925 o 286845 o 286821 o 286741 o 286710 o 286687 o 286657 o 286562 o 286553 o 286458 o 286378 o 286355 o 286310 o 286230 o 286206 o 286126 o 286095 o 286015 o 285992 o 285962 o 285938 o 285858 o 285843 o 285763 o 285742 o 285662 o 285639 o 285594 o 285514 o 285490 o 285410 o 285379 o 285349 o 285254 o 285245 o 285150 o 285070 o 285047 o 285002 o 284922 o 284898 o 284818 o 284812 o 284767 o 284687 o 284663 o 284583 o 284540 o 284516 o 284436 o 284410 o 284401 o 284386 o 284306 o 284295 o 284215 o 284158 o 284135 o 284001 o 283906 o 283826 o 283817 o 283802 o 283722 o 283691 o 283611 o 283588 o 283558 o 283534 o 283454 o 283439 o 283359 o 283338 o 283258 o 283235 o 283190 o 283110 o 283086 o 283006 o 282975 o 282945 o 282850 o 282841 o 282746 o 282666 o 282643 o 282598 o 282518 o 282494 o 282414 o 282402 o 282322 o 282282 o 282202 o 282178 o 282098 o 282073 o 282049 o 281969 o 281938 o 281908 o 281813 o 281804 o 281709 o 281629 o 281606 o 281561 o 281481 o 281457 o 281377 o 281332 o 281287 o 281207 o 281183 o 281103 o 281080 o 281035 o 280955 o 280931 o 280851 o 280814 o 280805 o 280790 o 280710 o 280620 o 280611 o 280516 o 280436 o 280413 o 280368 o 280288 o 280264 o 280184 o 280105 o 280096 o 280081 o 280001 o 279923 o 279843 o 279819 o 279739 o 279686 o 279591 o 279511 o 279297 o 279217 o 279202 o 279122 o 279098 o 279018 o 279006 o 278926 o 278905 o 278825 o 278802 o 278772 o 278748 o 278668 o 278653 o 278573 o 278542 o 278462 o 278408 o 278313 o 278233 o 278210 o 278180 o 278156 o 278076 o 278061 o 277981 o 277969 o 277946 o 277916 o 277901 o 277821 o 277812 o 277797 o 277717 o 277710 o 277686 o 277606 o 277561 o 277481 o 277457 o 277377 o 277354 o 277324 o 277309 o 277229 o 277220 o 277205 o 277125 o 277080 o 277035 o 276955 o 276931 o 276851 o 276828 o 276783 o 276703 o 276679 o 276599 o 276568 o 276545 o 276515 o 276500 o 276420 o 276411 o 276396 o 276316 o 276276 o 276196 o 276172 o 276092 o 276067 o 276043 o 275963 o 275932 o 275902 o 275807 o 275798 o 275703 o 275623 o 275600 o 275555 o 275475 o 275451 o 275371 o 275350 o 275327 o 275297 o 275282 o 275202 o 275193 o 275178 o 275098 o 275058 o 274978 o 274954 o 274874 o 274841 o 274817 o 274737 o 274726 o 274646 o 274589 o 274566 o 274432 o 274337 o 274257 o 274248 o 274233 o 274153 o 274063 o 273983 o 273960 o 273906 o 273811 o 273731 o 273707 o 273627 o 273615 o 273535 o 273514 o 273434 o 273411 o 273381 o 273357 o 273277 o 273262 o 273182 o 273151 o 273071 o 273017 o 272922 o 272842 o 272819 o 272789 o 272765 o 272685 o 272670 o 272590 o 272559 o 272536 o 272506 o 272491 o 272411 o 272402 o 272387 o 272307 o 272267 o 272187 o 272163 o 272083 o 272058 o 272034 o 271954 o 271923 o 271893 o 271798 o 271789 o 271694 o 271614 o 271591 o 271546 o 271466 o 271442 o 271362 o 271350 o 271270 o 271246 o 271166 o 271143 o 271112 o 271082 o 270987 o 270978 o 270883 o 270803 o 270780 o 270735 o 270655 o 270631 o 270551 o 270520 o 270440 o 270417 o 270387 o 270363 o 270283 o 270268 o 270188 o 270167 o 270087 o 270064 o 270019 o 269939 o 269915 o 269835 o 269804 o 269774 o 269679 o 269670 o 269575 o 269495 o 269472 o 269427 o 269347 o 269323 o 269243 o 269212 o 269189 o 269159 o 269144 o 269064 o 269055 o 269040 o 268960 o 268920 o 268840 o 268816 o 268736 o 268711 o 268687 o 268607 o 268576 o 268546 o 268451 o 268442 o 268347 o 268267 o 268244 o 268199 o 268119 o 268095 o 268015 o 267973 o 267893 o 267870 o 267816 o 267721 o 267641 o 267617 o 267537 o 267519 o 267496 o 267451 o 267371 o 267347 o 267267 o 267236 o 267213 o 267183 o 267088 o 267079 o 266984 o 266904 o 266881 o 266836 o 266756 o 266732 o 266652 o 266621 o 266541 o 266518 o 266488 o 266464 o 266384 o 266369 o 266289 o 266268 o 266188 o 266165 o 266120 o 266040 o 266016 o 265936 o 265905 o 265875 o 265780 o 265771 o 265676 o 265596 o 265573 o 265528 o 265448 o 265424 o 265344 o 265340 o 265260 o 265237 o 265207 o 265192 o 265112 o 265103 o 265088 o 265008 o 265001 o 264977 o 264897 o 264852 o 264772 o 264748 o 264668 o 264645 o 264615 o 264600 o 264520 o 264511 o 264496 o 264416 o 264404 o 264324 o 264303 o 264223 o 264200 o 264170 o 264155 o 264075 o 264066 o 264051 o 263971 o 263964 o 263940 o 263860 o 263815 o 263735 o 263711 o 263631 o 263608 o 263578 o 263563 o 263483 o 263474 o 263459 o 263379 o 263367 o 263344 o 263314 o 263290 o 263210 o 263195 o 263115 o 263084 o 263004 o 262950 o 262855 o 262775 o 262752 o 262722 o 262698 o 262618 o 262603 o 262523 o 262478 o 262433 o 262353 o 262329 o 262249 o 262226 o 262181 o 262101 o 262077 o 261997 o 261990 o 261910 o 261887 o 261857 o 261842 o 261762 o 261753 o 261738 o 261658 o 261625 o 261568 o 261545 o 261411 o 261316 o 261236 o 261227 o 261212 o 261132 o 261125 o 261117 o 261064 o 260984 o 260961 o 260812 o 260732 o 260717 o 260637 o 260628 o 260613 o 260533 o 260524 o 260310 o 260215 o 260135 o 260111 o 260031 o 259986 o 259906 o 259882 o 259802 o 259779 o 259734 o 259654 o 259630 o 259550 o 259505 o 259451 o 259356 o 259276 o 259253 o 259208 o 259128 o 259104 o 259024 o 259012 o 258932 o 258911 o 258831 o 258808 o 258778 o 258763 o 258683 o 258674 o 258659 o 258579 o 258572 o 258548 o 258468 o 258423 o 258343 o 258319 o 258239 o 258216 o 258186 o 258171 o 258091 o 258082 o 258067 o 257987 o 257925 o 257845 o 257822 o 257768 o 257673 o 257593 o 257584 o 257569 o 257489 o 257468 o 257388 o 257365 o 257335 o 257320 o 257240 o 257231 o 257216 o 257136 o 257129 o 257105 o 257025 o 256980 o 256900 o 256876 o 256796 o 256773 o 256743 o 256728 o 256648 o 256639 o 256624 o 256544 o 256513 o 256490 o 256460 o 256436 o 256356 o 256341 o 256261 o 256221 o 256141 o 256117 o 256037 o 256012 o 255988 o 255908 o 255877 o 255847 o 255752 o 255743 o 255648 o 255568 o 255545 o 255500 o 255420 o 255396 o 255316 o 255314 o 255291 o 255237 o 255142 o 255062 o 255053 o 255038 o 254958 o 254895 o 254681 o 254586 o 254506 o 254482 o 254402 o 254357 o 254277 o 254253 o 254173 o 254150 o 254105 o 254025 o 254001 o 253921 o 253867 o 253787 o 253764 o 253719 o 253615 o 253535 o 253520 o 253440 o 253419 o 253339 o 253316 o 253286 o 253262 o 253182 o 253167 o 253087 o 253056 o 252976 o 252922 o 252827 o 252747 o 252724 o 252694 o 252670 o 252590 o 252575 o 252495 o 252450 o 252405 o 252325 o 252301 o 252221 o 252198 o 252153 o 252073 o 252049 o 251969 o 251962 o 251882 o 251859 o 251829 o 251814 o 251734 o 251725 o 251710 o 251630 o 251597 o 251540 o 251517 o 251383 o 251288 o 251208 o 251199 o 251184 o 251104 o 251055 o 251002 o 250907 o 250884 o 250750 o 250655 o 250575 o 250566 o 250551 o 250471 o 250440 o 250360 o 250337 o 250307 o 250283 o 250203 o 250188 o 250108 o 250087 o 250007 o 249984 o 249939 o 249859 o 249835 o 249755 o 249724 o 249694 o 249599 o 249590 o 249495 o 249415 o 249392 o 249347 o 249267 o 249243 o 249163 o 249132 o 249123 o 249108 o 249028 o 248954 o 248859 o 248779 o 248770 o 248755 o 248675 o 248667 o 248656 o 248576 o 248362 o 248267 o 248187 o 248163 o 248083 o 247993 o 247913 o 247890 o 247836 o 247741 o 247661 o 247652 o 247637 o 247557 o 247532 o 247517 o 247437 o 247416 o 247336 o 247313 o 247283 o 247259 o 247179 o 247164 o 247084 o 247053 o 246973 o 246919 o 246824 o 246744 o 246721 o 246691 o 246667 o 246587 o 246572 o 246492 o 246472 o 246448 o 246368 o 246311 o 246292 o 246212 o 245998 o 245903 o 245823 o 245814 o 245799 o 245719 o 245710 o 245496 o 245401 o 245321 o 245297 o 245217 o 245172 o 245092 o 245068 o 244988 o 244965 o 244920 o 244840 o 244816 o 244736 o 244691 o 244637 o 244542 o 244462 o 244439 o 244394 o 244314 o 244290 o 244210 o 244194 o 244185 o 244170 o 244090 o 244069 o 243989 o 243966 o 243936 o 243921 o 243841 o 243832 o 243817 o 243737 o 243730 o 243706 o 243626 o 243581 o 243501 o 243477 o 243397 o 243374 o 243344 o 243329 o 243249 o 243240 o 243225 o 243145 o 243124 o 243101 o 243071 o 243056 o 242976 o 242967 o 242952 o 242872 o 242865 o 242841 o 242761 o 242716 o 242636 o 242612 o 242532 o 242509 o 242479 o 242464 o 242384 o 242375 o 242360 o 242280 o 242275 o 242266 o 242251 o 242171 o 242163 o 242068 o 242059 o 241964 o 241884 o 241861 o 241816 o 241736 o 241712 o 241632 o 241542 o 241533 o 241438 o 241358 o 241335 o 241290 o 241210 o 241186 o 241106 o 241093 o 241070 o 241040 o 241025 o 240945 o 240936 o 240921 o 240841 o 240751 o 240742 o 240647 o 240567 o 240544 o 240499 o 240419 o 240395 o 240315 o 240270 o 240190 o 240181 o 240166 o 240086 o 240046 o 239966 o 239942 o 239862 o 239837 o 239813 o 239733 o 239702 o 239672 o 239577 o 239568 o 239473 o 239393 o 239370 o 239325 o 239245 o 239221 o 239141 o 239123 o 239043 o 239020 o 238966 o 238871 o 238791 o 238782 o 238767 o 238687 o 238666 o 238586 o 238562 o 238482 o 238459 o 238414 o 238334 o 238310 o 238230 o 238197 o 238140 o 238117 o 237983 o 237888 o 237808 o 237799 o 237784 o 237704 o 237697 o 237617 o 237594 o 237564 o 237549 o 237469 o 237460 o 237445 o 237365 o 237332 o 237275 o 237252 o 237118 o 237023 o 236943 o 236934 o 236919 o 236839 o 236794 o 236714 o 236705 o 236690 o 236610 o 236570 o 236490 o 236466 o 236386 o 236361 o 236337 o 236257 o 236226 o 236196 o 236101 o 236092 o 235997 o 235917 o 235894 o 235849 o 235769 o 235745 o 235665 o 235574 o 235494 o 235470 o 235390 o 235334 o 235250 o 235155 o 235075 o 235051 o 234971 o 234941 o 234926 o 234846 o 234837 o 234822 o 234742 o 234709 o 234629 o 234495 o 234400 o 234320 o 234311 o 234296 o 234216 o 234156 o 234061 o 233981 o 233972 o 233957 o 233877 o 233844 o 233764 o 233630 o 233535 o 233455 o 233446 o 233431 o 233351 o 233348 o 233324 o 233244 o 233187 o 233162 o 233138 o 233058 o 232992 o 232974 o 232879 o 232799 o 232790 o 232775 o 232695 o 232650 o 232570 o 232546 o 232466 o 232463 o 232439 o 232359 o 232295 o 232286 o 232191 o 232111 o 232108 o 232084 o 232004 o 232002 o 231922 o 231898 o 231818 o 231752 o 231734 o 231639 o 231559 o 231550 o 231535 o 231455 o 231410 o 231330 o 231306 o 231226 o 231223 o 231199 o 231119 o 231098 o 231018 o 230991 o 230911 o 230893 o 230866 o 230786 o 230762 o 230682 o 230625 o 230613 o 230598 o 230518 o 230444 o 230340 o 230260 o 230245 o 230165 o 230137 o 230042 o 229962 o 229959 o 229852 o 229748 o 229653 o 229573 o 229561 o 229481 o 229469 o 229454 o 229374 o 229290 o 229186 o 229091 o 229011 o 228981 o 228957 o 228877 o 228862 o 228782 o 228742 o 228662 o 228635 o 228555 o 228546 o 228531 o 228451 o 228436 o 228356 o 228347 o 228332 o 228252 o 228180 o 228100 o 228073 o 227993 o 227969 o 227889 o 227871 o 227859 o 227844 o 227764 o 227755 o 227740 o 227660 o 227584 o 227560 o 227480 o 227438 o 227408 o 227328 o 227301 o 227221 o 227197 o 227117 o 227099 o 227072 o 226992 o 226968 o 226888 o 226875 o 226795 o 226771 o 226691 o 226619 o 226539 o 226512 o 226432 o 226408 o 226328 o 226310 o 226283 o 226203 o 226179 o 226099 o 226082 o 226021 o 225989 o 225917 o 225885 o 225845 o 225765 o 225738 o 225658 o 225634 o 225554 o 225522 o 225504 o 225429 o 225397 o 225325 o 225293 o 225215 o 225188 o 225108 o 225084 o 225004 o 224986 o 224959 o 224879 o 224855 o 224775 o 224722 o 224698 o 224618 o 224605 o 224525 o 224501 o 224421 o 224349 o 224242 o 224162 o 224138 o 224058 o 224040 o 224013 o 223933 o 223909 o 223829 o 223812 o 223751 o 223719 o 223647 o 223615 o 223575 o 223468 o 223388 o 223364 o 223284 o 223252 o 223239 o 223159 o 223127 o 223103 o 223055 o 223023 o 222989 o 222973 o 222966 o 222942 o 222862 o 222845 o 222838 o 222814 o 222734 o 222720 o 222696 o 222616 o 222609 o 222585 o 222505 o 222479 o 222452 o 222372 o 222340 o 222336 o 222261 o 222229 o 222223 o 222143 o 222111 o 222107 o 222032 o 222000 o 221928 o 221896 o 221846 o 221822 o 221798 o 221718 o 221711 o 221687 o 221607 o 221593 o 221569 o 221489 o 221482 o 221458 o 221378 o 221325 o 221301 o 221221 o 221208 o 221128 o 221104 o 221024 o 220952 o 220845 o 220765 o 220741 o 220661 o 220643 o 220616 o 220536 o 220512 o 220432 o 220415 o 220354 o 220322 o 220250 o 220218 o 220178 o 220071 o 219991 o 219967 o 219887 o 219855 o 219842 o 219762 o 219730 o 219706 o 219658 o 219626 o 219592 o 219576 o 219569 o 219545 o 219465 o 219448 o 219441 o 219417 o 219337 o 219323 o 219299 o 219219 o 219212 o 219188 o 219108 o 219084 o 219057 o 218977 o 218945 o 218873 o 218841 o 218767 o 218763 o 218736 o 218656 o 218645 o 218618 o 218538 o 218534 o 218507 o 218427 o 218403 o 218323 o 218311 o 218255 o 218231 o 218151 o 218127 o 218047 o 218031 o 218019 o 217966 o 217963 o 217957 o 217939 o 217859 o 217853 o 217835 o 217755 o 217748 o 217724 o 217644 o 217620 o 217540 o 217524 o 217512 o 217459 o 217456 o 217450 o 217432 o 217352 o 217346 o 217328 o 217248 o 217239 o 217197 o 217117 o 217090 o 217010 o 216986 o 216906 o 216894 o 216838 o 216814 o 216734 o 216710 o 216630 o 216614 o 216602 o 216549 o 216546 o 216540 o 216522 o 216442 o 216436 o 216418 o 216338 o 216331 o 216307 o 216227 o 216203 o 216123 o 216107 o 216095 o 216042 o 216039 o 216033 o 216015 o 215935 o 215929 o 215911 o 215831 o 215794 o 215776 o 215737 o 215669 o 215633 o 215565 o 215548 o 215487 o 215455 o 215451 o 215383 o 215351 o 215272 o 215192 o 215124 o 215088 o 215020 o 214988 o 214963 o 214931 o 214895 o 214863 o 214859 o 214791 o 214759 o 214725 o 214702 o 214666 o 214598 o 214574 o 214538 o 214470 o 214452 o 214413 o 214345 o 214309 o 214241 o 214217 o 214178 o 214110 o 214078 o 214074 o 214006 o 213974 o 213940 o 213896 o 213857 o 213789 o 213753 o 213685 o 213667 o 213628 o 213560 o 213524 o 213456 o 213388 o 213352 o 213284 o 213248 o 213180 o 213164 o 213152 o 213099 o 213096 o 213090 o 213060 o 212992 o 212986 o 212956 o 212888 o 212881 o 212845 o 212777 o 212741 o 212673 o 212657 o 212645 o 212592 o 212589 o 212583 o 212553 o 212485 o 212479 o 212449 o 212381 o 212372 o 212318 o 212250 o 212211 o 212143 o 212107 o 212039 o 211971 o 211935 o 211867 o 211831 o 211763 o 211747 o 211735 o 211682 o 211679 o 211673 o 211643 o 211575 o 211569 o 211539 o 211471 o 211464 o 211428 o 211360 o 211324 o 211256 o 211240 o 211228 o 211175 o 211172 o 211166 o 211136 o 211068 o 211062 o 211032 o 210964 o 210916 o 210853 o 210785 o 210753 o 210749 o 210717 o 210681 o 210649 o 210615 o 210592 o 210532 o 210464 o 210428 o 210360 o 210303 o 210235 o 210199 o 210131 o 210063 o 210027 o 209959 o 209923 o 209855 o 209839 o 209827 o 209771 o 209765 o 209735 o 209667 o 209661 o 209631 o 209563 o 209556 o 209520 o 209452 o 209416 o 209348 o 209332 o 209320 o 209264 o 209258 o 209228 o 209160 o 209154 o 209124 o 209056 o 209047 o 209014 o 208946 o 208886 o 208818 o 208782 o 208714 o 208646 o 208610 o 208542 o 208506 o 208438 o 208422 o 208410 o 208354 o 208348 o 208318 o 208250 o 208244 o 208214 o 208146 o 208139 o 208103 o 208035 o 207999 o 207931 o 207915 o 207903 o 207847 o 207841 o 207811 o 207743 o 207737 o 207707 o 207639 o 207638 o 207618 o 207588 o 207520 o 207514 o 207484 o 207416 o 207383 o 207373 o 207343 o 207275 o 207259 o 207242 o 207226 o 207202 o 207178 o 207172 o 207142 o 207074 o 207065 o 207041 o 207032 o 206969 o 206937 o 206874 o 206838 o 206770 o 206752 o 206716 o 206648 o 206630 o 206591 o 206523 o 206487 o 206419 o 206351 o 206315 o 206247 o 206211 o 206143 o 206127 o 206115 o 206062 o 206059 o 206053 o 206023 o 205955 o 205949 o 205919 o 205851 o 205844 o 205808 o 205740 o 205704 o 205636 o 205620 o 205608 o Killed 1819.536u 0.186s 30:23.77 99.7% 0+0k 0+0io 0pf+0w