Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-WMaxSatz-2.5-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-220-1_network-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-6.net.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 568 1901 3310470 WARNING: Ubcsat not found. o 3310470 o 709789 o 709303 o 708809 o 708510 o 708122 o 707628 o 707149 o 707146 o 706685 o 706206 o 706203 o 705806 o 705327 o 705324 o 705155 o 704676 o 704673 o 704276 o 703797 o 703794 o 703362 o 703359 o 703170 o 703167 o 702770 o 702291 o 702288 o 701856 o 701853 o 701669 o 701666 o 701576 o 701573 o 701176 o 700697 o 700694 o 700262 o 700259 o 700075 o 700072 o 699855 o 699852 o 699420 o 699417 o 699233 o 699230 o 699142 o 699139 o 699041 o 699038 o 698854 o 698851 o 698761 o 698758 o 698361 o 697882 o 697879 o 697447 o 697444 o 697260 o 697257 o 697040 o 697037 o 696605 o 696602 o 696418 o 696415 o 696342 o 696339 o 695907 o 695904 o 695720 o 695717 o 695346 o 695343 o 695159 o 695156 o 695108 o 695105 o 694921 o 694918 o 694843 o 694840 o 694656 o 694653 o 694615 o 694612 o 694428 o 694425 o 694188 o 694185 o 694001 o 693998 o 693867 o 693864 o 693627 o 693624 o 693440 o 693437 o 693389 o 693386 o 693202 o 693199 o 693124 o 693121 o 692937 o 692934 o 692839 o 692836 o 692798 o 692795 o 692611 o 692608 o 692371 o 692368 o 692184 o 692181 o 692050 o 692047 o 691810 o 691807 o 691623 o 691620 o 691572 o 691569 o 691385 o 691382 o 691307 o 691304 o 691120 o 691117 o 691078 o 691075 o 691053 o 691050 o 690866 o 690863 o 690788 o 690785 o 690601 o 690598 o 690503 o 690500 o 690462 o 690459 o 690275 o 690272 o 690035 o 690032 o 689848 o 689845 o 689714 o 689711 o 689474 o 689471 o 689287 o 689284 o 689236 o 689233 o 689049 o 689046 o 688971 o 688968 o 688784 o 688781 o 688742 o 688739 o 688648 o 688645 o 688550 o 688547 o 688509 o 688506 o 688322 o 688319 o 688082 o 688079 o 687895 o 687892 o 687761 o 687758 o 687521 o 687518 o 687334 o 687331 o 687283 o 687280 o 687096 o 687093 o 687018 o 687015 o 686831 o 686828 o 686789 o 686786 o 686637 o 686634 o 686397 o 686394 o 686210 o 686207 o 686076 o 686073 o 685836 o 685833 o 685649 o 685646 o 685598 o 685595 o 685411 o 685408 o 685333 o 685330 o 685146 o 685143 o 685104 o 685101 o 685054 o 685051 o 684867 o 684864 o 684816 o 684813 o 684629 o 684626 o 684551 o 684548 o 684364 o 684361 o 684322 o 684319 o 684170 o 684167 o 683930 o 683927 o 683743 o 683740 o 683609 o 683606 o 683369 o 683366 o 683182 o 683179 o 683131 o 683128 o 682944 o 682941 o 682866 o 682863 o 682679 o 682676 o 682637 o 682634 o 682586 o 682583 o 682399 o 682396 o 682321 o 682318 o 682134 o 682131 o 682092 o 682089 o 681940 o 681937 o 681700 o 681697 o 681513 o 681510 o 681379 o 681376 o 681139 o 681136 o 680952 o 680949 o 680901 o 680898 o 680714 o 680711 o 680636 o 680633 o 680449 o 680446 o 680407 o 680404 o 680358 o 680355 o 680171 o 680168 o 680037 o 680034 o 679797 o 679794 o 679610 o 679607 o 679559 o 679556 o 679372 o 679369 o 679294 o 679291 o 679107 o 679104 o 679065 o 679062 o 679014 o 679011 o 678827 o 678824 o 678749 o 678746 o 678562 o 678559 o 678520 o 678517 o 678368 o 678365 o 678128 o 678125 o 677941 o 677938 o 677807 o 677804 o 677567 o 677564 o 677380 o 677377 o 677329 o 677326 o 677142 o 677139 o 677064 o 677061 o 676877 o 676874 o 676835 o 676832 o 676830 o 676760 o 676757 o 676718 o 676715 o 676566 o 676563 o 676326 o 676323 o 676139 o 676136 o 676005 o 676002 o 675765 o 675762 o 675578 o 675575 o 675527 o 675524 o 675340 o 675337 o 675262 o 675259 o 675075 o 675072 o 675033 o 675030 o 675028 o 674943 o 674940 o 674756 o 674753 o 674622 o 674619 o 674382 o 674379 o 674195 o 674192 o 674144 o 674141 o 673957 o 673954 o 673879 o 673876 o 673692 o 673689 o 673650 o 673647 o 673645 o 673484 o 673481 o 673297 o 673294 o 673163 o 673160 o 673152 o 672923 o 672920 o 672736 o 672733 o 672685 o 672682 o 672498 o 672495 o 672420 o 672417 o 672233 o 672230 o 672191 o 672188 o 672186 o 672101 o 672098 o 671914 o 671911 o 671780 o 671777 o 671769 o 671540 o 671537 o 671353 o 671350 o 671302 o 671299 o 671115 o 671112 o 671037 o 671034 o 670850 o 670847 o 670808 o 670805 o 670803 o 670793 o 670790 o 670742 o 670739 o 670555 o 670552 o 670477 o 670474 o 670290 o 670287 o 670248 o 670245 o 670243 o 670152 o 670149 o 670074 o 670071 o 669887 o 669884 o 669845 o 669842 o 669761 o 669758 o 669750 o 669521 o 669518 o 669334 o 669331 o 669283 o 669280 o 669096 o 669093 o 669018 o 669015 o 668831 o 668828 o 668789 o 668786 o 668784 o 668769 o 668766 o 668691 o 668688 o 668504 o 668501 o 668462 o 668459 o 668378 o 668375 o 668367 o 668138 o 668135 o 667951 o 667948 o 667900 o 667897 o 667713 o 667710 o 667635 o 667632 o 667448 o 667445 o 667406 o 667403 o 667401 o 667388 o 667385 o 667377 o 667148 o 667145 o 666961 o 666958 o 666910 o 666907 o 666723 o 666720 o 666645 o 666642 o 666458 o 666455 o 666416 o 666413 o 666411 o 666401 o 666398 o 666350 o 666347 o 666163 o 666160 o 666085 o 666082 o 665898 o 665895 o 665856 o 665853 o 665851 o 665760 o 665757 o 665682 o 665679 o 665495 o 665492 o 665453 o 665450 o 665369 o 665366 o 665358 o 665129 o 665126 o 664942 o 664939 o 664891 o 664888 o 664704 o 664701 o 664626 o 664623 o 664439 o 664436 o 664397 o 664394 o 664392 o 664377 o 664374 o 664299 o 664296 o 664112 o 664109 o 664070 o 664067 o 663986 o 663983 o 663975 o 663746 o 663743 o 663559 o 663556 o 663508 o 663505 o 663321 o 663318 o 663243 o 663240 o 663056 o 663053 o 663014 o 663011 o 663009 o 662902 o 662899 o 662860 o 662857 o 662855 o 662764 o 662761 o 662686 o 662683 o 662499 o 662496 o 662457 o 662454 o 662373 o 662370 o 662362 o 662133 o 662130 o 661946 o 661943 o 661895 o 661892 o 661708 o 661705 o 661630 o 661627 o 661443 o 661440 o 661401 o 661398 o 661396 o 661381 o 661378 o 661303 o 661300 o 661116 o 661113 o 661074 o 661071 o 660990 o 660987 o 660979 o 660750 o 660747 o 660563 o 660560 o 660512 o 660509 o 660325 o 660322 o 660247 o 660244 o 660060 o 660057 o 660018 o 660015 o 660013 o 659882 o 659879 o 659804 o 659801 o 659617 o 659614 o 659575 o 659572 o 659570 o 659459 o 659456 o 659272 o 659269 o 659221 o 659218 o 659034 o 659031 o 658956 o 658953 o 658769 o 658766 o 658727 o 658724 o 658722 o 658615 o 658612 o 658573 o 658570 o 658568 o 658549 o 658546 o 658362 o 658359 o 658284 o 658281 o 658097 o 658094 o 658055 o 658052 o 658050 o 657846 o 657843 o 657659 o 657656 o 657608 o 657605 o 657421 o 657418 o 657343 o 657340 o 657156 o 657153 o 657114 o 657111 o 657109 o 657094 o 657091 o 657016 o 657013 o 656829 o 656826 o 656787 o 656784 o 656703 o 656700 o 656692 o 656463 o 656460 o 656276 o 656273 o 656225 o 656222 o 656038 o 656035 o 655960 o 655957 o 655773 o 655770 o 655731 o 655728 o 655726 o 655595 o 655592 o 655517 o 655514 o 655330 o 655327 o 655288 o 655285 o 655283 o 655186 o 655183 o 655135 o 655132 o 654948 o 654945 o 654870 o 654867 o 654683 o 654680 o 654641 o 654638 o 654636 o 654529 o 654526 o 654487 o 654484 o 654482 o 654463 o 654460 o 654276 o 654273 o 654198 o 654195 o 654011 o 654008 o 653969 o 653966 o 653964 o 653760 o 653757 o 653573 o 653570 o 653522 o 653519 o 653335 o 653332 o 653257 o 653254 o 653070 o 653067 o 653028 o 653025 o 653023 o 653008 o 653005 o 652930 o 652927 o 652743 o 652740 o 652701 o 652698 o 652617 o 652614 o 652606 o 652377 o 652374 o 652190 o 652187 o 652139 o 652136 o 651952 o 651949 o 651874 o 651871 o 651687 o 651684 o 651645 o 651642 o 651640 o 651509 o 651506 o 651431 o 651428 o 651244 o 651241 o 651202 o 651199 o 651197 o 651145 o 651142 o 651103 o 651100 o 651098 o 650967 o 650964 o 650889 o 650886 o 650702 o 650699 o 650660 o 650657 o 650655 o 650513 o 650510 o 650435 o 650432 o 650248 o 650245 o 650206 o 650203 o 650201 o 649997 o 649994 o 649810 o 649807 o 649759 o 649756 o 649572 o 649569 o 649494 o 649491 o 649307 o 649304 o 649265 o 649262 o 649260 o 649245 o 649242 o 649167 o 649164 o 648980 o 648977 o 648938 o 648935 o 648854 o 648851 o 648843 o 648614 o 648611 o 648427 o 648424 o 648376 o 648373 o 648189 o 648186 o 648111 o 648108 o 647924 o 647921 o 647882 o 647879 o 647877 o 647746 o 647743 o 647668 o 647665 o 647481 o 647478 o 647439 o 647436 o 647434 o 647278 o 647275 o 647236 o 647233 o 647231 o 647192 o 647189 o 647005 o 647002 o 646963 o 646960 o 646958 o 646827 o 646824 o 646749 o 646746 o 646562 o 646559 o 646520 o 646517 o 646515 o 646463 o 646460 o 646421 o 646418 o 646416 o 646285 o 646282 o 646207 o 646204 o 646020 o 646017 o 645978 o 645975 o 645973 o 645831 o 645828 o 645753 o 645750 o 645566 o 645563 o 645524 o 645521 o 645519 o 645315 o 645312 o 645128 o 645125 o 645077 o 645074 o 644890 o 644887 o 644812 o 644809 o 644625 o 644622 o 644583 o 644580 o 644578 o 644563 o 644560 o 644485 o 644482 o 644298 o 644295 o 644256 o 644253 o 644172 o 644169 o 644161 o 643932 o 643929 o 643745 o 643742 o 643694 o 643691 o 643507 o 643504 o 643429 o 643426 o 643242 o 643239 o 643200 o 643197 o 643195 o 643064 o 643061 o 642986 o 642983 o 642799 o 642796 o 642757 o 642754 o 642752 o 642726 o 642723 o 642675 o 642672 o 642488 o 642485 o 642410 o 642407 o 642223 o 642220 o 642181 o 642178 o 642176 o 642137 o 642134 o 642132 o 642083 o 642080 o 641896 o 641893 o 641854 o 641851 o 641849 o 641810 o 641807 o 641770 o 641767 o 641759 o 641530 o 641527 o 641343 o 641340 o 641292 o 641289 o 641105 o 641102 o 641027 o 641024 o 640840 o 640837 o 640798 o 640795 o 640793 o 640754 o 640751 o 640749 o 640662 o 640659 o 640584 o 640581 o 640397 o 640394 o 640355 o 640352 o 640350 o 640311 o 640308 o 640306 o 640301 o 640298 o 640239 o 640236 o 640052 o 640049 o 640010 o 640007 o 639977 o 639974 o 639790 o 639787 o 639739 o 639736 o 639552 o 639549 o 639474 o 639471 o 639287 o 639284 o 639245 o 639242 o 639240 o 639109 o 639106 o 639031 o 639028 o 638844 o 638841 o 638802 o 638799 o 638797 o 638771 o 638768 o 638720 o 638717 o 638533 o 638530 o 638455 o 638452 o 638268 o 638265 o 638226 o 638223 o 638221 o 638182 o 638179 o 638177 o 638128 o 638125 o 637941 o 637938 o 637899 o 637896 o 637894 o 637855 o 637852 o 637837 o 637834 o 637650 o 637647 o 637608 o 637605 o 637575 o 637572 o 637388 o 637385 o 637337 o 637334 o 637150 o 637147 o 637072 o 637069 o 636885 o 636882 o 636843 o 636840 o 636838 o 636799 o 636796 o 636794 o 636707 o 636704 o 636629 o 636626 o 636442 o 636439 o 636400 o 636397 o 636395 o 636356 o 636353 o 636351 o 636338 o 636335 o 636320 o 636317 o 636133 o 636130 o 636091 o 636088 o 636058 o 636055 o 635871 o 635868 o 635820 o 635817 o 635633 o 635630 o 635555 o 635552 o 635368 o 635365 o 635326 o 635323 o 635321 o 635282 o 635279 o 635277 o 635190 o 635187 o 635112 o 635109 o 634925 o 634922 o 634883 o 634880 o 634878 o 634839 o 634836 o 634834 o 634794 o 634791 o 634607 o 634604 o 634529 o 634526 o 634342 o 634339 o 634300 o 634297 o 634295 o 634256 o 634253 o 634251 o 634202 o 634199 o 634015 o 634012 o 633973 o 633970 o 633968 o 633929 o 633926 o 633911 o 633908 o 633724 o 633721 o 633682 o 633679 o 633649 o 633646 o 633462 o 633459 o 633411 o 633408 o 633224 o 633221 o 633146 o 633143 o 632959 o 632956 o 632917 o 632914 o 632912 o 632873 o 632870 o 632868 o 632781 o 632778 o 632703 o 632700 o 632516 o 632513 o 632474 o 632471 o 632469 o 632430 o 632427 o 632425 o 632333 o 632330 o 632282 o 632279 o 632095 o 632092 o 632017 o 632014 o 631830 o 631827 o 631788 o 631785 o 631783 o 631744 o 631741 o 631739 o 631652 o 631649 o 631574 o 631571 o 631387 o 631384 o 631345 o 631342 o 631340 o 631301 o 631298 o 631296 o 631256 o 631253 o 631069 o 631066 o 630991 o 630988 o 630804 o 630801 o 630762 o 630759 o 630757 o 630718 o 630715 o 630713 o 630664 o 630661 o 630477 o 630474 o 630435 o 630432 o 630430 o 630391 o 630388 o 630373 o 630370 o 630186 o 630183 o 630144 o 630141 o 630111 o 630108 o 629924 o 629921 o 629873 o 629870 o 629686 o 629683 o 629608 o 629605 o 629421 o 629418 o 629379 o 629376 o 629374 o 629335 o 629332 o 629330 o 629243 o 629240 o 629165 o 629162 o 628978 o 628975 o 628936 o 628933 o 628931 o 628892 o 628889 o 628887 o 628877 o 628874 o 628859 o 628856 o 628672 o 628669 o 628630 o 628627 o 628597 o 628594 o 628410 o 628407 o 628359 o 628356 o 628172 o 628169 o 628094 o 628091 o 627907 o 627904 o 627865 o 627862 o 627860 o 627821 o 627818 o 627816 o 627729 o 627726 o 627651 o 627648 o 627464 o 627461 o 627422 o 627419 o 627417 o 627378 o 627375 o 627373 o 627251 o 627248 o 627247 o 627213 o 627210 o 627026 o 627023 o 626948 o 626945 o 626761 o 626758 o 626719 o 626716 o 626714 o 626675 o 626672 o 626670 o 626583 o 626580 o 626505 o 626502 o 626318 o 626315 o 626276 o 626273 o 626271 o 626232 o 626229 o 626227 o 626217 o 626214 o 626199 o 626196 o 626012 o 626009 o 625970 o 625967 o 625924 o 625921 o 625737 o 625734 o 625733 o 625699 o 625696 o 625512 o 625509 o 625434 o 625431 o 625247 o 625244 o 625205 o 625202 o 625200 o 625161 o 625158 o 625156 o 625069 o 625066 o 624991 o 624988 o 624804 o 624801 o 624762 o 624759 o 624757 o 624718 o 624715 o 624713 o 624573 o 624570 o 624531 o 624528 o 624526 o 624487 o 624484 o 624482 o 624395 o 624392 o 624317 o 624314 o 624130 o 624127 o 624088 o 624085 o 624083 o 624044 o 624041 o 624039 o 624029 o 624026 o 624011 o 624008 o 623824 o 623821 o 623782 o 623779 o 623749 o 623746 o 623562 o 623559 o 623511 o 623508 o 623324 o 623321 o 623246 o 623243 o 623059 o 623056 o 623017 o 623014 o 623012 o 622973 o 622970 o 622968 o 622881 o 622878 o 622803 o 622800 o 622616 o 622613 o 622574 o 622571 o 622569 o 622530 o 622527 o 622525 o 622403 o 622400 o 622399 o 622365 o 622362 o 622178 o 622175 o 622100 o 622097 o 621913 o 621910 o 621871 o 621868 o 621866 o 621827 o 621824 o 621822 o 621735 o 621732 o 621657 o 621654 o 621470 o 621467 o 621428 o 621425 o 621423 o 621384 o 621381 o 621379 o 621369 o 621366 o 621351 o 621348 o 621164 o 621161 o 621122 o 621119 o 621076 o 621073 o 620889 o 620886 o 620885 o 620851 o 620848 o 620664 o 620661 o 620586 o 620583 o 620399 o 620396 o 620357 o 620354 o 620352 o 620313 o 620310 o 620308 o 620221 o 620218 o 620143 o 620140 o 619956 o 619953 o 619914 o 619911 o 619909 o 619870 o 619867 o 619865 o 619789 o 619786 o 619747 o 619744 o 619742 o 619703 o 619700 o 619698 o 619689 o 619686 o 619647 o 619644 o 619642 o 619603 o 619600 o 619533 o 619530 o 619346 o 619343 o 619304 o 619301 o 619299 o 619260 o 619257 o 619255 o 619121 o 619118 o 619070 o 619067 o 618883 o 618880 o 618805 o 618802 o 618618 o 618615 o 618576 o 618573 o 618571 o 618532 o 618529 o 618462 o 618459 o 618275 o 618272 o 618233 o 618230 o 618228 o 618189 o 618186 o 618184 o 618175 o 618172 o 618133 o 618130 o 618128 o 618089 o 618086 o 618019 o 618016 o 617832 o 617829 o 617790 o 617787 o 617785 o 617746 o 617743 o 617741 o 617737 o 617734 o 617659 o 617656 o 617472 o 617469 o 617430 o 617427 o 617425 o 617386 o 617383 o 617316 o 617313 o 617129 o 617126 o 617087 o 617084 o 617082 o 617043 o 617040 o 617038 o 617029 o 617026 o 616987 o 616984 o 616982 o 616943 o 616940 o 616873 o 616870 o 616686 o 616683 o 616644 o 616641 o 616639 o 616600 o 616597 o 616595 o 616448 o 616445 o 616444 o 616410 o 616407 o 616223 o 616220 o 616145 o 616142 o 615958 o 615955 o 615916 o 615913 o 615911 o 615872 o 615869 o 615802 o 615799 o 615615 o 615612 o 615573 o 615570 o 615568 o 615529 o 615526 o 615524 o 615515 o 615512 o 615473 o 615470 o 615468 o 615429 o 615426 o 615359 o 615356 o 615172 o 615169 o 615130 o 615127 o 615125 o 615086 o 615083 o 615081 o 614935 o 614932 o 614893 o 614890 o 614888 o 614849 o 614846 o 614844 o 614768 o 614765 o 614726 o 614723 o 614721 o 614682 o 614679 o 614677 o 614668 o 614665 o 614626 o 614623 o 614621 o 614582 o 614579 o 614512 o 614509 o 614325 o 614322 o 614283 o 614280 o 614278 o 614239 o 614236 o 614234 o 614100 o 614097 o 614049 o 614046 o 613862 o 613859 o 613784 o 613781 o 613597 o 613594 o 613555 o 613552 o 613550 o 613511 o 613508 o 613441 o 613438 o 613254 o 613251 o 613212 o 613209 o 613207 o 613168 o 613165 o 613163 o 613154 o 613151 o 613112 o 613109 o 613107 o 613068 o 613065 o 612998 o 612995 o 612811 o 612808 o 612769 o 612766 o 612764 o 612725 o 612722 o 612720 o 612716 o 612713 o 612638 o 612635 o 612451 o 612448 o 612409 o 612406 o 612404 o 612365 o 612362 o 612295 o 612292 o 612108 o 612105 o 612066 o 612063 o 612061 o 612022 o 612019 o 612017 o 612008 o 612005 o 611966 o 611963 o 611961 o 611922 o 611919 o 611852 o 611849 o 611665 o 611662 o 611623 o 611620 o 611618 o 611579 o 611576 o 611574 o 611427 o 611424 o 611423 o 611389 o 611386 o 611202 o 611199 o 611124 o 611121 o 610937 o 610934 o 610895 o 610892 o 610890 o 610851 o 610848 o 610781 o 610778 o 610594 o 610591 o 610552 o 610549 o 610547 o 610508 o 610505 o 610503 o 610494 o 610491 o 610452 o 610449 o 610447 o 610408 o 610405 o 610338 o 610335 o 610151 o 610148 o 610109 o 610106 o 610104 o 610065 o 610062 o 610060 o 610021 o 610018 o 609979 o 609976 o 609974 o 609935 o 609932 o 609930 o 609788 o 609785 o 609710 o 609707 o 609523 o 609520 o 609481 o 609478 o 609476 o 609437 o 609434 o 609367 o 609364 o 609180 o 609177 o 609138 o 609135 o 609133 o 609094 o 609091 o 609089 o 609080 o 609077 o 609038 o 609035 o 609033 o 608994 o 608991 o 608924 o 608921 o 608737 o 608734 o 608695 o 608692 o 608690 o 608651 o 608648 o 608646 o 608642 o 608639 o 608564 o 608561 o 608377 o 608374 o 608335 o 608332 o 608330 o 608291 o 608288 o 608221 o 608218 o 608034 o 608031 o 607992 o 607989 o 607987 o 607948 o 607945 o 607943 o 607934 o 607931 o 607892 o 607889 o 607887 o 607848 o 607845 o 607778 o 607775 o 607591 o 607588 o 607549 o 607546 o 607544 o 607505 o 607502 o 607500 o 607353 o 607350 o 607349 o 607315 o 607312 o 607128 o 607125 o 607050 o 607047 o 606863 o 606860 o 606821 o 606818 o 606816 o 606777 o 606774 o 606707 o 606704 o 606520 o 606517 o 606478 o 606475 o 606473 o 606434 o 606431 o 606429 o 606420 o 606417 o 606378 o 606375 o 606373 o 606334 o 606331 o 606264 o 606261 o 606077 o 606074 o 606035 o 606032 o 606030 o 605991 o 605988 o 605986 o 605948 o 605945 o 605943 o 605918 o 605915 o 605876 o 605873 o 605871 o 605832 o 605829 o 605779 o 605776 o 605762 o 605759 o 605575 o 605572 o 605533 o 605530 o 605528 o 605489 o 605486 o 605484 o 605475 o 605472 o 605433 o 605430 o 605428 o 605389 o 605386 o 605336 o 605333 o 605319 o 605316 o 605132 o 605129 o 605090 o 605087 o 605085 o 605046 o 605043 o 605041 o 605037 o 605034 o 604976 o 604973 o 604959 o 604956 o 604772 o 604769 o 604730 o 604727 o 604725 o 604686 o 604683 o 604633 o 604630 o 604616 o 604613 o 604429 o 604426 o 604387 o 604384 o 604382 o 604343 o 604340 o 604338 o 604329 o 604326 o 604287 o 604284 o 604282 o 604243 o 604240 o 604190 o 604187 o 604173 o 604170 o 603986 o 603983 o 603944 o 603941 o 603939 o 603900 o 603897 o 603895 o 603748 o 603745 o 603744 o 603727 o 603724 o 603710 o 603707 o 603523 o 603520 o 603462 o 603459 o 603445 o 603442 o 603258 o 603255 o 603216 o 603213 o 603211 o 603172 o 603169 o 603119 o 603116 o 603102 o 603099 o 602915 o 602912 o 602873 o 602870 o 602868 o 602829 o 602826 o 602824 o 602815 o 602812 o 602773 o 602770 o 602768 o 602729 o 602726 o 602676 o 602673 o 602659 o 602656 o 602472 o 602469 o 602430 o 602427 o 602425 o 602386 o 602383 o 602381 o 602343 o 602340 o 602338 o 602310 o 602307 o 602305 o 602266 o 602263 o 602196 o 602193 o 602009 o 602006 o 601967 o 601964 o 601962 o 601923 o 601920 o 601918 o 601909 o 601906 o 601867 o 601864 o 601862 o 601823 o 601820 o 601753 o 601750 o 601566 o 601563 o 601524 o 601521 o 601519 o 601480 o 601477 o 601475 o 601437 o 601434 o 601432 o 601407 o 601404 o 601365 o 601362 o 601360 o 601321 o 601318 o 601268 o 601265 o 601251 o 601248 o 601064 o 601061 o 601022 o 601019 o 601017 o 600978 o 600975 o 600973 o 600964 o 600961 o 600922 o 600919 o 600917 o 600878 o 600875 o 600825 o 600822 o 600808 o 600805 o 600621 o 600618 o 600579 o 600576 o 600574 o 600535 o 600532 o 600530 o 600526 o 600523 o 600465 o 600462 o 600448 o 600445 o 600261 o 600258 o 600219 o 600216 o 600214 o 600175 o 600172 o 600122 o 600119 o 600105 o 600102 o 599918 o 599915 o 599876 o 599873 o 599871 o 599832 o 599829 o 599827 o 599818 o 599815 o 599776 o 599773 o 599771 o 599732 o 599729 o 599679 o 599676 o 599662 o 599659 o 599475 o 599472 o 599433 o 599430 o 599428 o 599389 o 599386 o 599384 o 599237 o 599234 o 599233 o 599216 o 599213 o 599199 o 599196 o 599012 o 599009 o 598951 o 598948 o 598934 o 598931 o 598747 o 598744 o 598705 o 598702 o 598700 o 598661 o 598658 o 598608 o 598605 o 598591 o 598588 o 598404 o 598401 o 598362 o 598359 o 598357 o 598318 o 598315 o 598313 o 598304 o 598301 o 598262 o 598259 o 598257 o 598218 o 598215 o 598165 o 598162 o 598148 o 598145 o 597961 o 597958 o 597919 o 597916 o 597914 o 597875 o 597872 o 597870 o 597832 o 597829 o 597827 o 597770 o 597767 o 597728 o 597725 o 597723 o 597684 o 597681 o 597679 o 597641 o 597638 o 597636 o 597608 o 597605 o 597603 o 597564 o 597561 o 597494 o 597491 o 597307 o 597304 o 597265 o 597262 o 597260 o 597221 o 597218 o 597216 o 597207 o 597204 o 597165 o 597162 o 597160 o 597121 o 597118 o 597051 o 597048 o 596864 o 596861 o 596822 o 596819 o 596817 o 596778 o 596775 o 596773 o 596735 o 596732 o 596730 o 596705 o 596702 o 596663 o 596660 o 596658 o 596619 o 596616 o 596566 o 596563 o 596549 o 596546 o 596362 o 596359 o 596320 o 596317 o 596315 o 596276 o 596273 o 596271 o 596262 o 596259 o 596220 o 596217 o 596215 o 596176 o 596173 o 596123 o 596120 o 596106 o 596103 o 595919 o 595916 o 595877 o 595874 o 595872 o 595833 o 595830 o 595828 o 595824 o 595821 o 595763 o 595760 o 595746 o 595743 o 595559 o 595556 o 595517 o 595514 o 595512 o 595473 o 595470 o 595420 o 595417 o 595403 o 595400 o 595216 o 595213 o 595174 o 595171 o 595169 o 595130 o 595127 o 595125 o 595116 o 595113 o 595074 o 595071 o 595069 o 595030 o 595027 o 594977 o 594974 o 594960 o 594957 o 594773 o 594770 o 594731 o 594728 o 594726 o 594687 o 594684 o 594682 o 594623 o 594620 o 594581 o 594578 o 594576 o 594537 o 594534 o 594532 o 594531 o 594514 o 594511 o 594497 o 594494 o 594310 o 594307 o 594249 o 594246 o 594232 o 594229 o 594045 o 594042 o 594003 o 594000 o 593998 o 593959 o 593956 o 593906 o 593903 o 593889 o 593886 o 593702 o 593699 o 593660 o 593657 o 593655 o 593616 o 593613 o 593611 o 593602 o 593599 o 593560 o 593557 o 593555 o 593516 o 593513 o 593463 o 593460 o 593446 o 593443 o 593259 o 593256 o 593217 o 593214 o 593212 o 593173 o 593170 o 593168 o 593130 o 593127 o 593125 o 593102 o 593099 o 593097 o 593058 o 593055 o 593053 o 593044 o 593041 o 593002 o 592999 o 592997 o 592958 o 592955 o 592905 o 592902 o 592888 o 592885 o 592701 o 592698 o 592659 o 592656 o 592654 o 592615 o 592612 o 592610 o 592572 o 592569 o 592567 o 592510 o 592507 o 592468 o 592465 o 592463 o 592424 o 592421 o 592419 o 592381 o 592378 o 592376 o 592348 o 592345 o 592343 o 592304 o 592301 o 592234 o 592231 o 592047 o 592044 o 592005 o 592002 o 592000 o 591961 o 591958 o 591956 o 591947 o 591944 o 591905 o 591902 o 591900 o 591861 o 591858 o 591791 o 591788 o 591604 o 591601 o 591562 o 591559 o 591557 o 591518 o 591515 o 591513 o 591475 o 591472 o 591470 o 591445 o 591442 o 591403 o 591400 o 591398 o 591359 o 591356 o 591306 o 591303 o 591289 o 591286 o 591102 o 591099 o 591060 o 591057 o 591055 o 591016 o 591013 o 591011 o 591002 o 590999 o 590960 o 590957 o 590955 o 590916 o 590913 o 590863 o 590860 o 590846 o 590843 o 590659 o 590656 o 590617 o 590614 o 590612 o 590573 o 590570 o 590568 o 590564 o 590561 o 590503 o 590500 o 590486 o 590483 o 590299 o 590296 o 590257 o 590254 o 590252 o 590213 o 590210 o 590160 o 590157 o 590143 o 590140 o 589956 o 589953 o 589914 o 589911 o 589909 o 589870 o 589867 o 589865 o 589856 o 589853 o 589814 o 589811 o 589809 o 589770 o 589767 o 589717 o 589714 o 589700 o 589697 o 589513 o 589510 o 589471 o 589468 o 589466 o 589427 o 589424 o 589422 o 589363 o 589360 o 589321 o 589318 o 589316 o 589277 o 589274 o 589272 o 589271 o 589254 o 589251 o 589237 o 589234 o 589050 o 589047 o 588989 o 588986 o 588972 o 588969 o 588785 o 588782 o 588743 o 588740 o 588738 o 588699 o 588696 o 588646 o 588643 o 588629 o 588626 o 588442 o 588439 o 588400 o 588397 o 588395 o 588356 o 588353 o 588351 o 588342 o 588339 o 588300 o 588297 o 588295 o 588256 o 588253 o 588203 o 588200 o 588186 o 588183 o 587999 o 587996 o 587957 o 587954 o 587952 o 587913 o 587910 o 587908 o 587870 o 587867 o 587865 o 587851 o 587848 o 587730 o 587727 o 587594 o 587591 o 587552 o 587549 o 587547 o 587508 o 587505 o 587503 o 587494 o 587491 o 587452 o 587449 o 587447 o 587408 o 587405 o 587287 o 587284 o 587151 o 587148 o 587109 o 587106 o 587104 o 587065 o 587062 o 587060 o 587022 o 587019 o 587017 o 586992 o 586989 o 586950 o 586947 o 586945 o 586906 o 586903 o 586785 o 586782 o 586649 o 586646 o 586607 o 586604 o 586602 o 586563 o 586560 o 586558 o 586549 o 586546 o 586507 o 586504 o 586502 o 586463 o 586460 o 586342 o 586339 o 586206 o 586203 o 586164 o 586161 o 586159 o 586120 o 586117 o 586115 o 585982 o 585979 o 585846 o 585843 o 585804 o 585801 o 585799 o 585760 o 585757 o 585639 o 585636 o 585503 o 585500 o 585461 o 585458 o 585456 o 585417 o 585414 o 585412 o 585403 o 585400 o 585361 o 585358 o 585356 o 585317 o 585314 o 585196 o 585193 o 585060 o 585057 o 585018 o 585015 o 585013 o 584974 o 584971 o 584969 o 584910 o 584907 o 584868 o 584865 o 584863 o 584824 o 584821 o 584819 o 584818 o 584733 o 584730 o 584672 o 584669 o 584655 o 584652 o 584468 o 584465 o 584332 o 584329 o 584290 o 584287 o 584285 o 584246 o 584243 o 584125 o 584122 o 583989 o 583986 o 583947 o 583944 o 583942 o 583903 o 583900 o 583898 o 583889 o 583886 o 583847 o 583844 o 583842 o 583803 o 583800 o 583682 o 583679 o 583546 o 583543 o 583504 o 583501 o 583499 o 583460 o 583457 o 583455 o 583417 o 583414 o 583412 o 583372 o 583369 o 583330 o 583327 o 583325 o 583286 o 583283 o 583233 o 583230 o 583216 o 583213 o 583029 o 583026 o 582987 o 582984 o 582982 o 582943 o 582940 o 582938 o 582929 o 582926 o 582887 o 582884 o 582882 o 582843 o 582840 o 582790 o 582787 o 582773 o 582770 o 582586 o 582583 o 582544 o 582541 o 582539 o 582500 o 582497 o 582495 o 582457 o 582454 o 582452 o 582438 o 582435 o 582317 o 582314 o 582181 o 582178 o 582139 o 582136 o 582134 o 582095 o 582092 o 582090 o 582081 o 582078 o 582039 o 582036 o 582034 o 581995 o 581992 o 581874 o 581871 o 581738 o 581735 o 581696 o 581693 o 581691 o 581652 o 581649 o 581647 o 581609 o 581606 o 581604 o 581579 o 581576 o 581537 o 581534 o 581532 o 581493 o 581490 o 581372 o 581369 o 581236 o 581233 o 581194 o 581191 o 581189 o 581150 o 581147 o 581145 o 581136 o 581133 o 581094 o 581091 o 581089 o 581050 o 581047 o 580929 o 580926 o 580793 o 580790 o 580751 o 580748 o 580746 o 580707 o 580704 o 580702 o 580569 o 580566 o 580433 o 580430 o 580391 o 580388 o 580386 o 580347 o 580344 o 580226 o 580223 o 580090 o 580087 o 580048 o 580045 o 580043 o 580004 o 580001 o 579999 o 579990 o 579987 o 579948 o 579945 o 579943 o 579904 o 579901 o 579783 o 579780 o 579647 o 579644 o 579605 o 579602 o 579600 o 579561 o 579558 o 579556 o 579497 o 579494 o 579455 o 579452 o 579450 o 579411 o 579408 o 579406 o 579405 o 579320 o 579317 o 579259 o 579256 o 579242 o 579239 o 579055 o 579052 o 578919 o 578916 o 578877 o 578874 o 578872 o 578833 o 578830 o 578712 o 578709 o 578576 o 578573 o 578534 o 578531 o 578529 o 578490 o 578487 o 578485 o 578476 o 578473 o 578434 o 578431 o 578429 o 578390 o 578387 o 578269 o 578266 o 578133 o 578130 o 578091 o 578088 o 578086 o 578047 o 578044 o 578042 o 578004 o 578001 o 577999 o 577942 o 577939 o 577900 o 577897 o 577895 o 577856 o 577853 o 577851 o 577842 o 577839 o 577800 o 577797 o 577795 o 577756 o 577753 o 577635 o 577632 o 577499 o 577496 o 577457 o 577454 o 577452 o 577413 o 577410 o 577408 o 577370 o 577367 o 577365 o 577340 o 577337 o 577298 o 577295 o 577293 o 577254 o 577251 o 577133 o 577130 o 576997 o 576994 o 576955 o 576952 o 576950 o 576911 o 576908 o 576906 o 576897 o 576894 o 576855 o 576852 o 576850 o 576811 o 576808 o 576690 o 576687 o 576554 o 576551 o 576512 o 576509 o 576507 o 576468 o 576465 o 576463 o 576330 o 576327 o 576194 o 576191 o 576152 o 576149 o 576147 o 576108 o 576105 o 575987 o 575984 o 575851 o 575848 o 575809 o 575806 o 575804 o 575765 o 575762 o 575760 o 575751 o 575748 o 575709 o 575706 o 575704 o 575665 o 575662 o 575544 o 575541 o 575408 o 575405 o 575366 o 575363 o 575361 o 575322 o 575319 o 575317 o 575258 o 575255 o 575216 o 575213 o 575211 o 575172 o 575169 o 575167 o 575166 o 575081 o 575078 o 575020 o 575017 o 575003 o 575000 o 574816 o 574813 o 574680 o 574677 o 574638 o 574635 o 574633 o 574594 o 574591 o 574473 o 574470 o 574337 o 574334 o 574295 o 574292 o 574290 o 574251 o 574248 o 574246 o 574237 o 574234 o 574195 o 574192 o 574190 o 574151 o 574148 o 574030 o 574027 o 573894 o 573891 o 573852 o 573849 o 573847 o 573808 o 573805 o 573803 o 573765 o 573762 o 573760 o 573703 o 573700 o 573661 o 573658 o 573656 o 573617 o 573614 o 573612 o 573553 o 573550 o 573511 o 573508 o 573506 o 573467 o 573464 o 573462 o 573461 o 573376 o 573373 o 573315 o 573312 o 573298 o 573295 o 573111 o 573108 o 572975 o 572972 o 572933 o 572930 o 572928 o 572889 o 572886 o 572768 o 572765 o 572632 o 572629 o 572590 o 572587 o 572585 o 572546 o 572543 o 572541 o 572532 o 572529 o 572490 o 572487 o 572485 o 572446 o 572443 o 572325 o 572322 o 572189 o 572186 o 572147 o 572144 o 572142 o 572103 o 572100 o 572098 o 572060 o 572057 o 572055 o 572041 o 572038 o 571999 o 571996 o 571994 o 571955 o 571952 o 571950 o 571912 o 571909 o 571907 o 571882 o 571879 o 571840 o 571837 o 571835 o 571796 o 571793 o 571675 o 571672 o 571539 o 571536 o 571497 o 571494 o 571492 o 571453 o 571450 o 571448 o 571439 o 571436 o 571397 o 571394 o 571392 o 571353 o 571350 o 571232 o 571229 o 571096 o 571093 o 571054 o 571051 o 571049 o 571010 o 571007 o 571005 o 570872 o 570869 o 570736 o 570733 o 570694 o 570691 o 570689 o 570650 o 570647 o 570529 o 570526 o 570393 o 570390 o 570351 o 570348 o 570346 o 570307 o 570304 o 570302 o 570293 o 570290 o 570251 o 570248 o 570246 o 570207 o 570204 o 570086 o 570083 o 569950 o 569947 o 569908 o 569905 o 569903 o 569864 o 569861 o 569859 o 569800 o 569797 o 569758 o 569755 o 569753 o 569714 o 569711 o 569709 o 569708 o 569623 o 569620 o 569562 o 569559 o 569545 o 569542 o 569358 o 569355 o 569222 o 569219 o 569180 o 569177 o 569175 o 569136 o 569133 o 569015 o 569012 o 568879 o 568876 o 568837 o 568834 o 568832 o 568793 o 568790 o 568788 o 568779 o 568776 o 568737 o 568734 o 568732 o 568693 o 568690 o 568572 o 568569 o 568436 o 568433 o 568394 o 568391 o 568389 o 568350 o 568347 o 568345 o 568307 o 568304 o 568302 o 568245 o 568242 o 568203 o 568200 o 568198 o 568159 o 568156 o 568154 o 568095 o 568092 o 568053 o 568050 o 568048 o 568009 o 568006 o 568004 o 568003 o 567918 o 567915 o 567857 o 567854 o 567840 o 567837 o 567653 o 567650 o 567517 o 567514 o 567475 o 567472 o 567470 o 567431 o 567428 o 567310 o 567307 o 567174 o 567171 o 567132 o 567129 o 567127 o 567088 o 567085 o 567083 o 567074 o 567071 o 567032 o 567029 o 567027 o 566988 o 566985 o 566867 o 566864 o 566731 o 566728 o 566689 o 566686 o 566684 o 566645 o 566642 o 566640 o 566602 o 566599 o 566597 o 566570 o 566567 o 566528 o 566525 o 566523 o 566484 o 566481 o 566479 o 566470 o 566467 o 566428 o 566425 o 566423 o 566384 o 566381 o 566263 o 566260 o 566127 o 566124 o 566085 o 566082 o 566080 o 566041 o 566038 o 566036 o 565903 o 565900 o 565767 o 565764 o 565725 o 565722 o 565720 o 565681 o 565678 o 565560 o 565557 o 565424 o 565421 o 565382 o 565379 o 565377 o 565338 o 565335 o 565333 o 565324 o 565321 o 565282 o 565279 o 565277 o 565238 o 565235 o 565117 o 565114 o 564981 o 564978 o 564939 o 564936 o 564934 o 564895 o 564892 o 564890 o 564831 o 564828 o 564789 o 564786 o 564784 o 564745 o 564742 o 564740 o 564739 o 564654 o 564651 o 564593 o 564590 o 564576 o 564573 o 564389 o 564386 o 564253 o 564250 o 564211 o 564208 o 564206 o 564167 o 564164 o 564046 o 564043 o 563910 o 563907 o 563868 o 563865 o 563863 o 563824 o 563821 o 563819 o 563810 o 563807 o 563768 o 563765 o 563763 o 563724 o 563721 o 563603 o 563600 o 563467 o 563464 o 563425 o 563422 o 563420 o 563381 o 563378 o 563376 o 563338 o 563335 o 563333 o 563276 o 563273 o 563234 o 563231 o 563229 o 563190 o 563187 o 563185 o 563126 o 563123 o 563084 o 563081 o 563079 o 563040 o 563037 o 563035 o 563034 o 562949 o 562946 o 562888 o 562885 o 562871 o 562868 o 562684 o 562681 o 562548 o 562545 o 562506 o 562503 o 562501 o 562462 o 562459 o 562341 o 562338 o 562205 o 562202 o 562163 o 562160 o 562158 o 562119 o 562116 o 562114 o 562105 o 562102 o 562063 o 562060 o 562058 o 562019 o 562016 o 561898 o 561895 o 561762 o 561759 o 561720 o 561717 o 561715 o 561676 o 561673 o 561671 o 561633Killed 1819.702u 0.021s 1:01:05.46 49.6% 0+0k 0+0io 0pf+0w