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-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-2.net.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 2495963 o 447978 o 447731 o 447258 o 446812 o 446652 o 446201 o 446036 o 445879 o 445709 o 445549 o 445098 o 444933 o 444776 o 444649 o 444492 o 444386 o 444229 o 444102 o 443945 o 443890 o 443763 o 443606 o 443529 o 443519 o 443362 o 443235 o 443078 o 442972 o 442815 o 442688 o 442531 o 442476 o 442349 o 442192 o 442185 o 442028 o 441978 o 441961 o 441796 o 441639 o 441512 o 441355 o 441348 o 441191 o 441160 o 441003 o 440996 o 440839 o 440813 o 440648 o 440491 o 440467 o 440309 o 440152 o 440128 o 440025 o 440001 o 439868 o 439844 o 439837 o 439704 o 439680 o 439654 o 439630 o 439472 o 439315 o 439291 o 439188 o 439164 o 439031 o 439007 o 439000 o 438867 o 438843 o 438830 o 438812 o 438679 o 438655 o 438648 o 438515 o 438491 o 438443 o 438419 o 438279 o 438255 o 438237 o 438104 o 438080 o 438073 o 437940 o 437916 o 437890 o 437866 o 437708 o 437551 o 437527 o 437424 o 437400 o 437267 o 437243 o 437236 o 437103 o 437079 o 437066 o 437048 o 436915 o 436891 o 436884 o 436751 o 436727 o 436662 o 436638 o 436505 o 436481 o 436455 o 436431 o 436273 o 436116 o 436092 o 435989 o 435965 o 435832 o 435808 o 435801 o 435668 o 435644 o 435631 o 435613 o 435480 o 435456 o 435449 o 435316 o 435292 o 435261 o 435237 o 435165 o 435141 o 435023 o 434999 o 434841 o 434684 o 434660 o 434647 o 434489 o 434332 o 434308 o 434205 o 434181 o 434048 o 434024 o 434017 o 433884 o 433860 o 433745 o 433588 o 433564 o 433406 o 433249 o 433225 o 433212 o 433054 o 432897 o 432873 o 432770 o 432746 o 432613 o 432589 o 432582 o 432449 o 432425 o 432419 o 432395 o 432382 o 432231 o 432207 o 432067 o 432043 o 432012 o 431988 o 431916 o 431892 o 431774 o 431750 o 431592 o 431435 o 431411 o 431398 o 431240 o 431083 o 431059 o 430956 o 430932 o 430799 o 430775 o 430768 o 430635 o 430611 o 430496 o 430339 o 430315 o 430157 o 430000 o 429976 o 429963 o 429805 o 429648 o 429624 o 429521 o 429497 o 429364 o 429340 o 429333 o 429200 o 429176 o 429148 o 429124 o 428991 o 428967 o 428961 o 428937 o 428924 o 428906 o 428773 o 428749 o 428742 o 428609 o 428585 o 428554 o 428530 o 428458 o 428434 o 428316 o 428292 o 428134 o 427977 o 427953 o 427940 o 427782 o 427625 o 427601 o 427498 o 427474 o 427341 o 427317 o 427310 o 427177 o 427153 o 427038 o 426881 o 426857 o 426699 o 426542 o 426518 o 426505 o 426347 o 426190 o 426166 o 426063 o 426039 o 425906 o 425882 o 425875 o 425742 o 425718 o 425696 o 425624 o 425600 o 425482 o 425458 o 425300 o 425143 o 425119 o 425106 o 424948 o 424791 o 424767 o 424664 o 424640 o 424507 o 424483 o 424476 o 424343 o 424319 o 424204 o 424047 o 424023 o 423865 o 423708 o 423684 o 423671 o 423513 o 423356 o 423332 o 423229 o 423205 o 423072 o 423048 o 423041 o 422908 o 422884 o 422868 o 422710 o 422553 o 422529 o 422426 o 422402 o 422269 o 422245 o 422201 o 422177 o 422074 o 422050 o 421917 o 421893 o 421886 o 421753 o 421729 o 421587 o 421563 o 421556 o 421423 o 421399 o 421287 o 421130 o 421106 o 421088 o 420955 o 420931 o 420924 o 420791 o 420767 o 420760 o 420751 o 420593 o 420436 o 420412 o 420309 o 420285 o 420152 o 420128 o 420084 o 420060 o 419957 o 419933 o 419800 o 419776 o 419769 o 419636 o 419612 o 419607 o 419589 o 419456 o 419432 o 419425 o 419292 o 419268 o 419252 o 419094 o 418937 o 418913 o 418810 o 418786 o 418653 o 418629 o 418585 o 418561 o 418458 o 418434 o 418301 o 418277 o 418270 o 418137 o 418113 o 417971 o 417947 o 417940 o 417807 o 417783 o 417671 o 417514 o 417490 o 417472 o 417339 o 417315 o 417308 o 417175 o 417151 o 417032 o 416875 o 416851 o 416820 o 416796 o 416693 o 416669 o 416536 o 416512 o 416505 o 416372 o 416348 o 416335 o 416317 o 416184 o 416160 o 416153 o 416020 o 415996 o 415864 o 415840 o 415825 o 415801 o 415754 o 415730 o 415722 o 415698 o 415566 o 415542 o 415534 o 415402 o 415378 o 415312 o 415155 o 415131 o 414973 o 414816 o 414792 o 414779 o 414621 o 414464 o 414440 o 414337 o 414313 o 414180 o 414156 o 414149 o 414016 o 413992 o 413873 o 413716 o 413692 o 413661 o 413637 o 413534 o 413510 o 413377 o 413353 o 413346 o 413213 o 413189 o 413176 o 413158 o 413025 o 413001 o 412994 o 412861 o 412837 o 412705 o 412681 o 412668 o 412644 o 412638 o 412620 o 412487 o 412463 o 412456 o 412323 o 412299 o 412207 o 412183 o 412176 o 412043 o 412019 o 411863 o 411839 o 411821 o 411688 o 411664 o 411657 o 411524 o 411500 o 411397 o 411373 o 411240 o 411216 o 411203 o 411185 o 411052 o 411028 o 411021 o 410888 o 410864 o 410732 o 410708 o 410627 o 410603 o 410572 o 410445 o 410288 o 410264 o 410257 o 410124 o 410100 o 410093 o 409936 o 409912 o 409905 o 409772 o 409748 o 409616 o 409592 o 409473 o 409472 o 409316 o 409292 o 409261 o 409237 o 409133 o 409109 o 408977 o 408953 o 408946 o 408945 o 408813 o 408789 o 408776 o 408757 o 408625 o 408601 o 408593 o 408461 o 408437 o 408343 o 408319 o 408187 o 408163 o 408047 o 408023 o 407865 o 407708 o 407684 o 407671 o 407513 o 407356 o 407332 o 407229 o 407205 o 407072 o 407048 o 407041 o 406908 o 406884 o 406752 o 406728 o 406642 o 406618 o 406610 o 406586 o 406454 o 406430 o 406422 o 406290 o 406266 o 406221 o 406197 o 406057 o 406033 o 406020 o 405869 o 405845 o 405705 o 405681 o 405587 o 405563 o 405431 o 405407 o 405353 o 405329 o 405284 o 405127 o 405103 o 405085 o 404952 o 404928 o 404921 o 404788 o 404764 o 404751 o 404733 o 404600 o 404576 o 404569 o 404436 o 404412 o 404309 o 404285 o 404152 o 404128 o 403996 o 403972 o 403886 o 403862 o 403854 o 403830 o 403698 o 403674 o 403666 o 403534 o 403510 o 403453 o 403429 o 403427 o 403403 o 403270 o 403246 o 403114 o 403090 o 403077 o 403075 o 403051 o 402918 o 402894 o 402762 o 402738 o 402634 o 402610 o 402478 o 402454 o 402446 o 402314 o 402290 o 402191 o 402167 o 402149 o 402016 o 401992 o 401985 o 401852 o 401828 o 401783 o 401759 o 401619 o 401595 o 401582 o 401431 o 401407 o 401267 o 401243 o 401149 o 401125 o 400993 o 400969 o 400915 o 400891 o 400846 o 400689 o 400665 o 400647 o 400514 o 400490 o 400483 o 400350 o 400326 o 400313 o 400295 o 400162 o 400138 o 400131 o 399998 o 399974 o 399871 o 399847 o 399714 o 399690 o 399558 o 399534 o 399435 o 399411 o 399393 o 399260 o 399236 o 399229 o 399096 o 399072 o 399015 o 398991 o 398983 o 398959 o 398827 o 398803 o 398795 o 398663 o 398639 o 398616 o 398501 o 398477 o 398344 o 398320 o 398283 o 398126 o 398102 o 397944 o 397787 o 397763 o 397750 o 397592 o 397435 o 397411 o 397308 o 397284 o 397151 o 397127 o 397120 o 396987 o 396963 o 396864 o 396840 o 396822 o 396689 o 396665 o 396658 o 396525 o 396501 o 396369 o 396345 o 396301 o 396277 o 396178 o 396154 o 396136 o 396003 o 395979 o 395972 o 395839 o 395815 o 395802 o 395778 o 395638 o 395614 o 395528 o 395504 o 395491 o 395340 o 395316 o 395176 o 395152 o 395144 o 395004 o 394980 o 394972 o 394948 o 394816 o 394792 o 394784 o 394652 o 394628 o 394529 o 394505 o 394487 o 394354 o 394330 o 394323 o 394190 o 394166 o 394145 o 394121 o 394119 o 394095 o 393962 o 393938 o 393806 o 393782 o 393766 o 393742 o 393711 o 393687 o 393583 o 393559 o 393427 o 393403 o 393359 o 393335 o 393231 o 393207 o 393075 o 393051 o 393043 o 392911 o 392887 o 392788 o 392764 o 392762 o 392738 o 392605 o 392581 o 392449 o 392425 o 392381 o 392357 o 392258 o 392234 o 392232 o 392208 o 392075 o 392051 o 391919 o 391895 o 391870 o 391846 o 391815 o 391791 o 391687 o 391663 o 391531 o 391507 o 391463 o 391439 o 391335 o 391311 o 391179 o 391155 o 391147 o 391015 o 390991 o 390981 o 390980 o 390824 o 390800 o 390781 o 390649 o 390625 o 390617 o 390485 o 390461 o 390362 o 390338 o 390336 o 390312 o 390179 o 390155 o 390023 o 389999 o 389966 o 389942 o 389929 o 389921 o 389897 o 389765 o 389741 o 389733 o 389601 o 389577 o 389512 o 389511 o 389355 o 389331 o 389235 o 389211 o 389203 o 389071 o 389047 o 389036 o 389033 o 388929 o 388773 o 388749 o 388741 o 388609 o 388585 o 388580 o 388476 o 388452 o 388320 o 388296 o 388221 o 388197 o 388153 o 388129 o 388025 o 388001 o 387869 o 387845 o 387837 o 387705 o 387681 o 387626 o 387602 o 387514 o 387490 o 387488 o 387464 o 387331 o 387307 o 387175 o 387151 o 387140 o 387052 o 387028 o 387026 o 387002 o 386869 o 386845 o 386713 o 386689 o 386602 o 386578 o 386564 o 386460 o 386304 o 386280 o 386272 o 386140 o 386116 o 386072 o 386048 o 386037 o 385949 o 385925 o 385774 o 385750 o 385610 o 385586 o 385520 o 385519 o 385363 o 385339 o 385264 o 385240 o 385196 o 385172 o 385068 o 385044 o 384912 o 384888 o 384880 o 384748 o 384724 o 384669 o 384645 o 384557 o 384533 o 384531 o 384507 o 384374 o 384350 o 384218 o 384194 o 384183 o 384095 o 384071 o 384069 o 384045 o 383912 o 383888 o 383756 o 383732 o 383669 o 383645 o 383614 o 383486 o 383330 o 383306 o 383298 o 383166 o 383142 o 383131 o 383128 o 383024 o 382868 o 382844 o 382836 o 382704 o 382680 o 382666 o 382642 o 382634 o 382610 o 382478 o 382454 o 382446 o 382314 o 382290 o 382279 o 382204 o 382180 o 382172 o 382148 o 382016 o 381992 o 381984 o 381852 o 381828 o 381762 o 381761 o 381605 o 381581 o 381506 o 381482 o 381438 o 381414 o 381310 o 381286 o 381154 o 381130 o 381122 o 380990 o 380966 o 380911 o 380887 o 380799 o 380775 o 380773 o 380749 o 380616 o 380592 o 380460 o 380436 o 380425 o 380337 o 380313 o 380311 o 380287 o 380154 o 380130 o 379998 o 379974 o 379868 o 379844 o 379836 o 379704 o 379680 o 379617 o 379593 o 379562 o 379434 o 379278 o 379254 o 379246 o 379114 o 379090 o 379079 o 379076 o 378972 o 378816 o 378792 o 378784 o 378652 o 378628 o 378556 o 378532 o 378381 o 378357 o 378217 o 378193 o 378139 o 378115 o 378097 o 377964 o 377940 o 377933 o 377800 o 377776 o 377710 o 377709 o 377553 o 377529 o 377454 o 377430 o 377386 o 377362 o 377258 o 377234 o 377102 o 377078 o 377070 o 376938 o 376914 o 376859 o 376835 o 376747 o 376723 o 376721 o 376697 o 376564 o 376540 o 376408 o 376384 o 376373 o 376285 o 376261 o 376259 o 376235 o 376102 o 376078 o 375946 o 375922 o 375866 o 375842 o 375831 o 375807 o 375804 o 375780 o 375767 o 375765 o 375608 o 375452 o 375428 o 375373 o 375349 o 375261 o 375237 o 375235 o 375211 o 375078 o 375054 o 374922 o 374898 o 374794 o 374770 o 374638 o 374614 o 374606 o 374474 o 374450 o 374439 o 374351 o 374327 o 374325 o 374301 o 374168 o 374144 o 374012 o 373988 o 373882 o 373858 o 373850 o 373718 o 373694 o 373658 o 373634 o 373576 o 373552 o 373448 o 373424 o 373292 o 373268 o 373260 o 373128 o 373104 o 373093 o 373090 o 372986 o 372830 o 372806 o 372798 o 372666 o 372642 o 372628 o 372604 o 372596 o 372572 o 372440 o 372416 o 372408 o 372276 o 372252 o 372241 o 372166 o 372142 o 372134 o 372110 o 371978 o 371954 o 371946 o 371814 o 371790 o 371724 o 371723 o 371567 o 371543 o 371468 o 371444 o 371400 o 371376 o 371272 o 371248 o 371116 o 371092 o 371084 o 370952 o 370928 o 370873 o 370849 o 370761 o 370737 o 370735 o 370711 o 370578 o 370554 o 370422 o 370398 o 370387 o 370299 o 370275 o 370273 o 370249 o 370116 o 370092 o 369960 o 369936 o 369853 o 369829 o 369689 o 369665 o 369647 o 369623 o 369573 o 369549 o 369543 o 369541 o 369517 o 369384 o 369360 o 369228 o 369204 o 369150 o 369126 o 369103 o 368949 o 368925 o 368917 o 368785 o 368761 o 368758 o 368734 o 368732 o 368575 o 368419 o 368395 o 368387 o 368255 o 368231 o 368114 o 368113 o 367957 o 367933 o 367925 o 367793 o 367769 o 367726 o 367702 o 367562 o 367538 o 367520 o 367496 o 367446 o 367422 o 367416 o 367414 o 367390 o 367257 o 367233 o 367101 o 367077 o 367023 o 366999 o 366976 o 366822 o 366798 o 366790 o 366658 o 366634 o 366631 o 366607 o 366605 o 366448 o 366292 o 366268 o 366260 o 366128 o 366104 o 365987 o 365986 o 365830 o 365806 o 365798 o 365666 o 365642 o 365603 o 365579 o 365439 o 365415 o 365283 o 365259 o 365126 o 365102 o 365091 o 365067 o 365064 o 365040 o 365027 o 365025 o 364868 o 364712 o 364688 o 364633 o 364609 o 364521 o 364497 o 364495 o 364471 o 364338 o 364314 o 364182 o 364158 o 364054 o 364030 o 363898 o 363874 o 363866 o 363734 o 363710 o 363699 o 363611 o 363587 o 363585 o 363561 o 363428 o 363404 o 363272 o 363248 o 363156 o 363132 o 362999 o 362975 o 362964 o 362940 o 362937 o 362913 o 362900 o 362898 o 362741 o 362585 o 362561 o 362506 o 362482 o 362394 o 362370 o 362368 o 362344 o 362211 o 362187 o 362055 o 362031 o 361927 o 361903 o 361771 o 361747 o 361739 o 361607 o 361583 o 361572 o 361484 o 361460 o 361458 o 361434 o 361301 o 361277 o 361145 o 361121 o 361031 o 361007 o 360867 o 360843 o 360840 o 360832 o 360700 o 360676 o 360663 o 360655 o 360631 o 360499 o 360475 o 360467 o 360335 o 360311 o 360308 o 360284 o 360253 o 360125 o 359969 o 359945 o 359937 o 359805 o 359781 o 359664 o 359663 o 359507 o 359483 o 359475 o 359343 o 359319 o 359227 o 359203 o 359070 o 359046 o 358990 o 358966 o 358964 o 358940 o 358807 o 358783 o 358651 o 358627 o 358573 o 358549 o 358526 o 358372 o 358348 o 358340 o 358208 o 358184 o 358181 o 358157 o 358155 o 357998 o 357842 o 357818 o 357810 o 357678 o 357654 o 357537 o 357536 o 357380 o 357356 o 357348 o 357216 o 357192 o 357102 o 357078 o 356938 o 356914 o 356779 o 356778 o 356622 o 356598 o 356590 o 356458 o 356434 o 356423 o 356420 o 356316 o 356160 o 356136 o 356128 o 355996 o 355972 o 355882 o 355858 o 355718 o 355694 o 355691 o 355654 o 355630 o 355532 o 355508 o 355376 o 355352 o 355341 o 355317 o 355167 o 355143 o 355011 o 354987 o 354932 o 354908 o 354820 o 354796 o 354794 o 354770 o 354637 o 354613 o 354481 o 354457 o 354446 o 354437 o 354339 o 354183 o 354159 o 354151 o 354019 o 353995 o 353884 o 353860 o 353842 o 353709 o 353685 o 353678 o 353545 o 353521 o 353418 o 353394 o 353261 o 353237 o 353226 o 353217 o 353119 o 352963 o 352939 o 352931 o 352799 o 352775 o 352762 o 352738 o 352629 o 352605 o 352571 o 352547 o 352545 o 352389 o 352388 o 352232 o 352208 o 352099 o 352075 o 352054 o 352030 o 352022 o 351890 o 351866 o 351855 o 351831 o 351681 o 351657 o 351525 o 351501 o 351446 o 351422 o 351334 o 351310 o 351308 o 351284 o 351151 o 351127 o 350995 o 350971 o 350960 o 350951 o 350853 o 350697 o 350673 o 350665 o 350533 o 350509 o 350400 o 350376 o 350288 o 350264 o 350246 o 350113 o 350089 o 350082 o 349949 o 349925 o 349912 o 349893 o 349761 o 349737 o 349729 o 349597 o 349573 o 349470 o 349446 o 349313 o 349289 o 349180 o 349156 o 349043 o 349019 o 349001 o 348868 o 348844 o 348837 o 348704 o 348680 o 348577 o 348553 o 348420 o 348396 o 348385 o 348376 o 348278 o 348122 o 348098 o 348090 o 347958 o 347934 o 347921 o 347897 o 347788 o 347764 o 347730 o 347706 o 347704 o 347548 o 347547 o 347391 o 347367 o 347258 o 347234 o 347126 o 347102 o 347094 o 346962 o 346938 o 346894 o 346870 o 346856 o 346752 o 346596 o 346572 o 346564 o 346432 o 346408 o 346291 o 346290 o 346134 o 346110 o 346102 o 345970 o 345946 o 345837 o 345813 o 345692 o 345668 o 345559 o 345535 o 345464 o 345440 o 345426 o 345286 o 345262 o 345254 o 345230 o 345098 o 345074 o 345066 o 344934 o 344910 o 344793 o 344792 o 344636 o 344612 o 344604 o 344472 o 344448 o 344339 o 344315 o 344258 o 344234 o 344226 o 344202 o 344070 o 344046 o 344038 o 343906 o 343882 o 343773 o 343749 o 343628 o 343604 o 343495 o 343471 o 343451 o 343437 o 343333 o 343177 o 343153 o 343145 o 343013 o 342989 o 342978 o 342975 o 342871 o 342715 o 342691 o 342683 o 342551 o 342527 o 342437 o 342413 o 342273 o 342249 o 342168 o 342144 o 342133 o 342045 o 342021 o 341870 o 341846 o 341706 o 341682 o 341573 o 341549 o 341493 o 341469 o 341360 o 341336 o 341328 o 341304 o 341171 o 341147 o 341038 o 341014 o 340980 o 340956 o 340954 o 340798 o 340797 o 340641 o 340617 o 340508 o 340484 o 340450 o 340426 o 340414 o 340295 o 340271 o 340131 o 340107 o 340099 o 340075 o 339943 o 339919 o 339911 o 339779 o 339755 o 339711 o 339687 o 339667 o 339569 o 339413 o 339389 o 339381 o 339249 o 339225 o 339116 o 339092 o 338951 o 338927 o 338787 o 338763 o 338654 o 338630 o 338564 o 338540 o 338527 o 338429 o 338273 o 338249 o 338241 o 338109 o 338085 o 338078 o 338065 o 337967 o 337811 o 337787 o 337779 o 337647 o 337623 o 337610 o 337586 o 337477 o 337453 o 337408 o 337384 o 337359 o 337335 o 337202 o 337178 o 337069 o 337045 o 337007 o 337006 o 336850 o 336826 o 336717 o 336693 o 336566 o 336542 o 336433 o 336409 o 336288 o 336264 o 336155 o 336131 o 336015 o 335991 o 335882 o 335858 o 335827 o 335803 o 335791 o 335767 o 335765 o 335741 o 335608 o 335584 o 335452 o 335428 o 335415 o 335396 o 335264 o 335240 o 335232 o 335100 o 335076 o 335069 o 334990 o 334966 o 334958 o 334934 o 334802 o 334778 o 334770 o 334638 o 334614 o 334505 o 334481 o 334476 o 334325 o 334301 o 334161 o 334137 o 334028 o 334004 o 333994 o 333852 o 333828 o 333820 o 333688 o 333664 o 333620 o 333596 o 333576 o 333478 o 333322 o 333298 o 333290 o 333158 o 333134 o 333114 o 333016 o 332860 o 332836 o 332828 o 332696 o 332672 o 332563 o 332539 o 332473 o 332449 o 332370 o 332346 o 332338 o 332314 o 332182 o 332158 o 332150 o 332018 o 331994 o 331987 o 331908 o 331884 o 331876 o 331852 o 331720 o 331696 o 331688 o 331556 o 331532 o 331519 o 331495 o 331386 o 331362 o 331328 o 331304 o 331171 o 331147 o 331116 o 331092 o 331084 o 330952 o 330928 o 330819 o 330795 o 330783 o 330759 o 330626 o 330602 o 330475 o 330451 o 330342 o 330318 o 330197 o 330173 o 330064 o 330040 o 329924 o 329900 o 329791 o 329767 o 329669 o 329645 o 329505 o 329481 o 329372 o 329348 o 329259 o 329235 o 329214 o 329063 o 329039 o 328899 o 328875 o 328831 o 328807 o 328703 o 328679 o 328547 o 328523 o 328511 o 328510 o 328354 o 328330 o 328234 o 328210 o 328202 o 328070 o 328046 o 327937 o 327913 o 327848 o 327824 o 327814 o 327672 o 327648 o 327640 o 327508 o 327484 o 327440 o 327416 o 327396 o 327298 o 327142 o 327118 o 327110 o 326978 o 326954 o 326934 o 326836 o 326680 o 326656 o 326648 o 326516 o 326492 o 326383 o 326359 o 326315 o 326291 o 326257 o 326233 o 326215 o 326082 o 326058 o 326051 o 325918 o 325894 o 325785 o 325761 o 325715 o 325691 o 325613 o 325589 o 325501 o 325477 o 325475 o 325451 o 325318 o 325294 o 325162 o 325138 o 325125 o 325106 o 324974 o 324950 o 324942 o 324810 o 324786 o 324677 o 324653 o 324526 o 324502 o 324393 o 324369 o 324228 o 324204 o 324064 o 324040 o 323931 o 323907 o 323889 o 323865 o 323841 o 323817 o 323666 o 323642 o 323502 o 323478 o 323369 o 323345 o 323333 o 323317 o 323316 o 323160 o 323136 o 323027 o 323003 o 322969 o 322945 o 322943 o 322786 o 322630 o 322606 o 322497 o 322473 o 322324 o 322168 o 322144 o 322035 o 322011 o 321890 o 321866 o 321757 o 321733 o 321713 o 321705 o 321681 o 321549 o 321525 o 321517 o 321385 o 321361 o 321348 o 321250 o 321094 o 321070 o 321062 o 320930 o 320906 o 320899 o 320886 o 320788 o 320632 o 320608 o 320600 o 320468 o 320444 o 320335 o 320311 o 320298 o 320274 o 320175 o 320151 o 320000 o 319976 o 319836 o 319812 o 319703 o 319679 o 319635 o 319611 o 319577 o 319553 o 319535 o 319402 o 319378 o 319371 o 319238 o 319214 o 319105 o 319081 o 319035 o 319011 o 318924 o 318900 o 318773 o 318749 o 318640 o 318616 o 318605 o 318581 o 318448 o 318424 o 318294 o 318270 o 318262 o 318130 o 318106 o 317997 o 317973 o 317846 o 317822 o 317713 o 317689 o 317548 o 317524 o 317384 o 317360 o 317251 o 317227 o 317209 o 317185 o 317161 o 317137 o 316986 o 316962 o 316822 o 316798 o 316689 o 316665 o 316653 o 316637 o 316636 o 316480 o 316456 o 316347 o 316323 o 316289 o 316265 o 316263 o 316106 o 315950 o 315926 o 315817 o 315793 o 315644 o 315488 o 315464 o 315355 o 315331 o 315210 o 315186 o 315077 o 315053 o 315033 o 315025 o 315001 o 314869 o 314845 o 314837 o 314705 o 314681 o 314668 o 314570 o 314414 o 314390 o 314382 o 314250 o 314226 o 314219 o 314206 o 314108 o 313952 o 313928 o 313920 o 313788 o 313764 o 313655 o 313631 o 313531 o 313507 o 313463 o 313439 o 313405 o 313381 o 313363 o 313230 o 313206 o 313199 o 313066 o 313042 o 312933 o 312909 o 312863 o 312839 o 312752 o 312728 o 312601 o 312577 o 312468 o 312444 o 312433 o 312409 o 312276 o 312252 o 312122 o 312098 o 312090 o 311958 o 311934 o 311825 o 311801 o 311674 o 311650 o 311541 o 311517 o 311376 o 311352 o 311212 o 311188 o 311079 o 311055 o 311037 o 311013 o 310989 o 310965 o 310814 o 310790 o 310650 o 310626 o 310517 o 310493 o 310481 o 310465 o 310464 o 310308 o 310284 o 310175 o 310151 o 310117 o 310093 o 310091 o 309934 o 309778 o 309754 o 309645 o 309621 o 309472 o 309316 o 309292 o 309183 o 309159 o 309038 o 309014 o 308905 o 308881 o 308861 o 308853 o 308829 o 308697 o 308673 o 308665 o 308533 o 308509 o 308496 o 308398 o 308242 o 308218 o 308210 o 308078 o 308054 o 308047 o 308034 o 307936 o 307780 o 307756 o 307748 o 307616 o 307592 o 307483 o 307459 o 307368 o 307344 o 307336 o 307204 o 307180 o 307070 o 307069 o 306913 o 306889 o 306881 o 306749 o 306725 o 306718 o 306711 o 306607 o 306451 o 306427 o 306419 o 306287 o 306263 o 306154 o 306130 o 306009 o 305985 o 305876 o 305852 o 305736 o 305712 o 305603 o 305579 o 305481 o 305457 o 305317 o 305293 o 305184 o 305160 o 305071 o 305047 o 305026 o 304875 o 304851 o 304711 o 304687 o 304643 o 304619 o 304515 o 304491 o 304359 o 304335 o 304323 o 304322 o 304166 o 304142 o 304046 o 304022 o 304014 o 303882 o 303858 o 303749 o 303725 o 303649 o 303625 o 303604 o 303453 o 303429 o 303289 o 303265 o 303221 o 303197 o 303094 o 303070 o 302937 o 302913 o 302901 o 302900 o 302744 o 302720 o 302624 o 302600 o 302592 o 302460 o 302436 o 302327 o 302303 o 302168 o 302144 o 302136 o 302004 o 301980 o 301973 o 301881 o 301857 o 301838 o 301706 o 301682 o 301674 o 301542 o 301518 o 301409 o 301385 o 301365 o 301357 o 301333 o 301201 o 301177 o 301169 o 301037 o 301013 o 301000 o 300902 o 300746 o 300722 o 300714 o 300582 o 300558 o 300551 o 300538 o 300440 o 300284 o 300260 o 300252 o 300120 o 300096 o 299987 o 299963 o 299960 o 299936 o 299928 o 299796 o 299772 o 299759 o 299751 o 299727 o 299595 o 299571 o 299563 o 299431 o 299407 o 299363 o 299339 o 299317 o 299185 o 299161 o 299057 o 299033 o 298901 o 298877 o 298870 o 298863 o 298759 o 298603 o 298579 o 298571 o 298439 o 298415 o 298306 o 298282 o 298166 o 298142 o 298033 o 298009 o 297911 o 297887 o 297747 o 297723 o 297614 o 297590 o 297501 o 297477 o 297456 o 297305 o 297281 o 297141 o 297117 o 297073 o 297049 o 296945 o 296921 o 296789 o 296765 o 296753 o 296752 o 296596 o 296572 o 296476 o 296452 o 296444 o 296312 o 296288 o 296179 o 296155 o 296034 o 296010 o 295901 o 295877 o 295826 o 295802 o 295693 o 295669 o 295548 o 295524 o 295415 o 295391 o 295357 o 295333 o 295321 o 295305 o 295281 o 295273 o 295141 o 295117 o 295103 o 294963 o 294939 o 294931 o 294907 o 294775 o 294751 o 294743 o 294611 o 294587 o 294574 o 294476 o 294320 o 294296 o 294288 o 294156 o 294132 o 294023 o 293999 o 293858 o 293834 o 293694 o 293670 o 293561 o 293537 o 293457 o 293433 o 293426 o 293334 o 293310 o 293159 o 293135 o 292995 o 292971 o 292862 o 292838 o 292802 o 292778 o 292669 o 292645 o 292583 o 292559 o 292459 o 292435 o 292303 o 292279 o 292204 o 292180 o 292136 o 292112 o 292008 o 291984 o 291852 o 291828 o 291820 o 291688 o 291664 o 291547 o 291546 o 291390 o 291366 o 291358 o 291226 o 291202 o 291093 o 291069 o 290948 o 290924 o 290815 o 290791 o 290777 o 290626 o 290602 o 290462 o 290438 o 290329 o 290305 o 290259 o 290235 o 290148 o 290124 o 289997 o 289973 o 289864 o 289840 o 289829 o 289805 o 289672 o 289648 o 289518 o 289494 o 289486 o 289354 o 289330 o 289221 o 289197 o 289070 o 289046 o 288937 o 288913 o 288772 o 288748 o 288608 o 288584 o 288475 o 288451 o 288371 o 288347 o 288340 o 288248 o 288224 o 288073 o 288049 o 287909 o 287885 o 287776 o 287752 o 287721 o 287697 o 287557 o 287533 o 287526 o 287434 o 287410 o 287259 o 287235 o 287095 o 287071 o 286962 o 286938 o 286858 o 286834 o 286827 o 286735 o 286711 o 286560 o 286536 o 286396 o 286372 o 286263 o 286239 o 286201 o 286177 o 286037 o 286013 o 286006 o 285914 o 285890 o 285739 o 285715 o 285575 o 285551 o 285442 o 285418 o 285297 o 285273 o 285164 o 285140 o 285024 o 285000 o 284891 o 284867 o 284769 o 284745 o 284605 o 284581 o 284472 o 284448 o 284359 o 284335 o 284314 o 284163 o 284139 o 283999 o 283975 o 283931 o 283907 o 283803 o 283779 o 283647 o 283623 o 283611 o 283610 o 283454 o 283430 o 283334 o 283310 o 283302 o 283170 o 283146 o 283037 o 283013 o 282990 o 282926 o 282902 o 282894 o 282870 o 282738 o 282714 o 282706 o 282574 o 282550 o 282537 o 282439 o 282283 o 282259 o 282251 o 282119 o 282095 o 282088 o 282075 o 281977 o 281821 o 281797 o 281789 o 281657 o 281633 o 281524 o 281500 o 281427 o 281403 o 281396 o 281304 o 281280 o 281129 o 281105 o 280965 o 280941 o 280832 o 280808 o 280786 o 280779 o 280687 o 280663 o 280512 o 280488 o 280348 o 280324 o 280215 o 280191 o 280106 o 280082 o 279973 o 279949 o 279828 o 279804 o 279695 o 279671 o 279663 o 279639 o 279506 o 279482 o 279373 o 279349 o 279315 o 279291 o 279289 o 279133 o 279132 o 278976 o 278952 o 278843 o 278819 o 278733 o 278709 o 278701 o 278569 o 278545 o 278541 o 278453 o 278429 o 278410 o 278278 o 278254 o 278246 o 278114 o 278090 o 277981 o 277957 o 277808 o 277652 o 277628 o 277519 o 277495 o 277461 o 277437 o 277286 o 277262 o 277122 o 277098 o 276989 o 276965 o 276942 o 276878 o 276854 o 276846 o 276822 o 276690 o 276666 o 276658 o 276526 o 276502 o 276489 o 276391 o 276235 o 276211 o 276203 o 276071 o 276047 o 276040 o 276027 o 275929 o 275773 o 275749 o 275741 o 275609 o 275585 o 275476 o 275452 o 275379 o 275355 o 275348 o 275256 o 275232 o 275081 o 275057 o 274917 o 274893 o 274784 o 274760 o 274685 o 274661 o 274552 o 274528 o 274407 o 274383 o 274274 o 274250 o 274177 o 274153 o 274146 o 274054 o 274030 o 273879 o 273855 o 273715 o 273691 o 273582 o 273558 o 273536 o 273529 o 273437 o 273413 o 273262 o 273238 o 273098 o 273074 o 272965 o 272941 o 272926 o 272831 o 272807 o 272698 o 272674 o 272553 o 272529 o 272420 o 272396 o 272350 o 272326 o 272233 o 272209 o 272198 o 272174 o 272041 o 272017 o 271887 o 271863 o 271855 o 271723 o 271699 o 271590 o 271566 o 271439 o 271415 o 271306 o 271282 o 271161 o 271137 o 271028 o 271004 o 270977 o 270953 o 270844 o 270820 o 270699 o 270675 o 270566 o 270542 o 270528 o 270377 o 270353 o 270213 o 270189 o 270080 o 270056 o 270010 o 269986 o 269899 o 269875 o 269748 o 269724 o 269615 o 269591 o 269580 o 269556 o 269423 o 269399 o 269269 o 269245 o 269237 o 269105 o 269081 o 268972 o 268948 o 268821 o 268797 o 268688 o 268664 o 268523 o 268499 o 268359 o 268335 o 268226 o 268202 o 268129 o 268105 o 268098 o 268006 o 267982 o 267831 o 267807 o 267667 o 267643 o 267534 o 267510 o 267497 o 267496 o 267340 o 267333 o 267332 o 267176 o 267152 o 267043 o 267019 o 266936 o 266912 o 266910 o 266754 o 266753 o 266597 o 266573 o 266464 o 266440 o 266334 o 266310 o 266302 o 266170 o 266146 o 266139 o 266047 o 266023 o 266004 o 265872 o 265848 o 265840 o 265708 o 265684 o 265575 o 265551 o 265500 o 265476 o 265458 o 265325 o 265301 o 265294 o 265270 o 265161 o 265137 o 265016 o 264992 o 264883 o 264859 o 264743 o 264719 o 264610 o 264586 o 264488 o 264464 o 264324 o 264300 o 264191 o 264167 o 264078 o 264054 o 263925 o 263901 o 263865 o 263841 o 263732 o 263708 o 263581 o 263557 o 263448 o 263424 o 263385 o 263384 o 263228 o 263204 o 263053 o 263029 o 262889 o 262865 o 262756 o 262732 o 262681 o 262657 o 262548 o 262524 o 262403 o 262379 o 262270 o 262246 o 262200 o 262176 o 262169 o 262151 o 262127 o 261987 o 261963 o 261854 o 261830 o 261703 o 261679 o 261570 o 261546 o 261501 o 261477 o 261452 o 261451 o 261295 o 261162 o 261138 o 261011 o 260987 o 260878 o 260854 o 260713 o 260689 o 260549 o 260525 o 260416 o 260392 o 260379 o 260378 o 260222 o 260215 o 260214 o 260058 o 260034 o 259925 o 259901 o 259768 o 259744 o 259635 o 259611 o 259490 o 259466 o 259357 o 259333 o 259260 o 259236 o 259229 o 259137 o 259113 o 258962 o 258938 o 258798 o 258774 o 258665 o 258641 o 258510 o 258486 o 258478 o 258346 o 258322 o 258315 o 258223 o 258199 o 258180 o 258048 o 258024 o 258016 o 257884 o 257860 o 257751 o 257727 o 257676 o 257652 o 257634 o 257501 o 257477 o 257470 o 257446 o 257337 o 257313 o 257192 o 257168 o 257059 o 257035 o 256919 o 256895 o 256786 o 256762 o 256664 o 256640 o 256500 o 256476 o 256367 o 256343 o 256254 o 256230 o 256101 o 256077 o 256041 o 256017 o 255908 o 255884 o 255757 o 255733 o 255624 o 255600 o 255561 o 255560 o 255404 o 255380 o 255229 o 255205 o 255065 o 255041 o 254932 o 254908 o 254816 o 254792 o 254723 o 254699 o 254686 o 254577 o 254553 o 254501 o 254477 o 254452 o 254451 o 254295 o 254162 o 254138 o 254011 o 253987 o 253878 o 253854 o 253842 o 253818 o 253685 o 253661 o 253534 o 253510 o 253401 o 253377 o 253358 o 253249 o 253225 o 253214 o 253084 o 253060 o 252920 o 252896 o 252787 o 252763 o 252740 o 252676 o 252652 o 252644 o 252620 o 252488 o 252464 o 252456 o 252324 o 252300 o 252190 o 252189 o 252033 o 252009 o 252001 o 251869 o 251845 o 251838 o 251831 o 251727 o 251571 o 251547 o 251539 o 251407 o 251383 o 251274 o 251250 o 251129 o 251105 o 250996 o 250972 o 250928 o 250904 o 250795 o 250771 o 250752 o 250601 o 250577 o 250437 o 250413 o 250304 o 250280 o 250147 o 250123 o 250014 o 249990 o 249869 o 249845 o 249736 o 249712 o 249639 o 249615 o 249608 o 249516 o 249492 o 249341 o 249317 o 249177 o 249153 o 249044 o 249020 o 248889 o 248865 o 248857 o 248725 o 248701 o 248694 o 248602 o 248578 o 248559 o 248427 o 248403 o 248395 o 248263 o 248239 o 248130 o 248106 o 248055 o 248031 o 248013 o 247880 o 247856 o 247849 o 247825 o 247716 o 247692 o 247571 o 247547 o 247438 o 247414 o 247298 o 247274 o 247165 o 247141 o 247132 o 247108 o 246999 o 246975 o 246965 o 246941 o 246933 o 246801 o 246777 o 246735 o 246711 o 246667 o 246643 o 246539 o 246515 o 246383 o 246359 o 246347 o 246346 o 246190 o 246166 o 246070 o 246046 o 246038 o 245906 o 245882 o 245783 o 245759 o 245757 o 245600 o 245444 o 245420 o 245311 o 245287 o 245195 o 245171 o 245163 o 245139 o 245102 o 245078 o 244981 o 244980 o 244824 o 244800 o 244691 o 244667 o 244575 o 244551 o 244496 o 244472 o 244321 o 244297 o 244157 o 244133 o 244126 o 244122 o 244034 o 244010 o 243859 o 243835 o 243695 o 243671 o 243562 o 243538 o 243487 o 243463 o 243445 o 243312 o 243288 o 243281 o 243257 o 243148 o 243124 o 243003 o 242979 o 242870 o 242846 o 242730 o 242706 o 242597 o 242573 o 242475 o 242451 o 242311 o 242287 o 242178 o 242154 o 242065 o 242041 o 241912 o 241888 o 241852 o 241828 o 241719 o 241695 o 241568 o 241544 o 241435 o 241411 o 241372 o 241371 o 241215 o 241191 o 241040 o 241016 o 240876 o 240852 o 240743 o 240719 o 240647 o 240623 o 240472 o 240448 o 240308 o 240284 o 240175 o 240151 o 240131 o 240107 o 239974 o 239950 o 239936 o 239912 o 239780 o 239756 o 239748 o 239616 o 239592 o 239483 o 239459 o 239442 o 239418 o 239411 o 239319 o 239295 o 239144 o 239120 o 238980 o 238956 o 238847 o 238823 o 238702 o 238678 o 238569 o 238545 o 238526 o 238417 o 238393 o 238366 o 238342 o 238233 o 238209 o 238088 o 238064 o 237955 o 237931 o 237824 o 237800 o 237660 o 237636 o 237628 o 237604 o 237472 o 237448 o 237440 o 237308 o 237284 o 237174 o 237173 o 237017 o 236993 o 236985 o 236853 o 236829 o 236720 o 236696 o 236575 o 236551 o 236442 o 236418 o 236325 o 236301 o 236161 o 236137 o 236028 o 236004 o 235883 o 235859 o 235750 o 235726 o 235634 o 235610 o 235602 o 235578 o 235541 o 235517 o 235420 o 235419 o 235263 o 235239 o 235130 o 235106 o 235014 o 234990 o 234969 o 234877 o 234853 o 234784 o 234760 o 234651 o 234627 o 234506 o 234482 o 234373 o 234349 o 234257 o 234233 o 234228 o 234117 o 234093 o 233995 o 233971 o 233839 o 233815 o 233812 o 233811 o 233655 o 233631 o 233541 o 233517 o 233509 o 233377 o 233353 o 233244 o 233220 o 233169 o 233145 o 233127 o 232994 o 232970 o 232963 o 232939 o 232830 o 232806 o 232685 o 232661 o 232552 o 232528 o 232412 o 232388 o 232279 o 232255 o 232234 o 232125 o 232101 o 232062 o 232061 o 231905 o 231881 o 231730 o 231706 o 231566 o 231542 o 231433 o 231409 o 231407 o 231383 o 231250 o 231226 o 231117 o 231093 o 231054 o 231053 o 230897 o 230873 o 230722 o 230698 o 230558 o 230534 o 230425 o 230401 o 230318 o 230294 o 230231 o 230207 o 230067 o 230043 o 229934 o 229910 o 229808 o 229784 o 229734 o 229710 o 229589 o 229565 o 229456 o 229432 o 229361 o 229337 o 229204 o 229180 o 229059 o 229035 o 228926 o 228902 o 228875 o 228851 o 228742 o 228718 o 228597 o 228573 o 228464 o 228440 o 228348 o 228324 o 228275 o 228251 o 228111 o 228087 o 227978 o 227954 o 227862 o 227838 o 227727 o 227703 o 227696 o 227604 o 227580 o 227429 o 227405 o 227265 o 227241 o 227132 o 227108 o 227016 o 226992 o 226876 o 226852 o 226845 o 226712 o 226688 o 226684 o 226596 o 226572 o 226553 o 226421 o 226397 o 226389 o 226257 o 226233 o 226124 o 226100 o 226008 o 225984 o 225904 o Killed 1819.703u 0.019s 30:20.59 99.9% 0+0k 0+0io 0pf+0w