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-140-1_network-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-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 352 1194 2039648 WARNING: Ubcsat not found. o 2039648 o 397677 o 397035 o 396345 o 396296 o 396065 o 396041 o 395969 o 395279 o 395230 o 394999 o 394975 o 394612 o 394563 o 394332 o 394308 o 394210 o 394186 o 394082 o 394058 o 393986 o 393296 o 393247 o 393016 o 392992 o 392629 o 392580 o 392349 o 392325 o 392005 o 391956 o 391725 o 391701 o 391042 o 390993 o 390762 o 390738 o 390375 o 390326 o 390095 o 390071 o 389855 o 389831 o 389468 o 389419 o 389188 o 389164 o 388930 o 388881 o 388650 o 388626 o 388263 o 388214 o 387983 o 387959 o 387641 o 387592 o 387361 o 387337 o 387220 o 387196 o 387125 o 387076 o 386845 o 386821 o 386757 o 386733 o 386587 o 386538 o 386307 o 386283 o 386219 o 386195 o 385920 o 385871 o 385640 o 385616 o 385552 o 385528 o 385298 o 385249 o 385018 o 384994 o 384930 o 384906 o 384877 o 384853 o 384789 o 384765 o 384742 o 384718 o 384654 o 384630 o 384479 o 384455 o 384391 o 384367 o 384338 o 384314 o 384250 o 384226 o 384197 o 384173 o 384144 o 384120 o 384056 o 384032 o 384010 o 383780 o 383731 o 383500 o 383476 o 383412 o 383388 o 383359 o 383335 o 383271 o 383247 o 383224 o 383200 o 383136 o 383112 o 382961 o 382937 o 382873 o 382849 o 382820 o 382796 o 382732 o 382708 o 382679 o 382655 o 382626 o 382602 o 382538 o 382514 o 382491 o 382467 o 382438 o 382414 o 382350 o 382326 o 382193 o 382144 o 381913 o 381889 o 381825 o 381801 o 381772 o 381748 o 381684 o 381660 o 381637 o 381613 o 381549 o 381525 o 381374 o 381350 o 381286 o 381262 o 381233 o 381209 o 381145 o 381121 o 381092 o 381068 o 381039 o 381015 o 380951 o 380927 o 380904 o 380880 o 380851 o 380827 o 380763 o 380739 o 380726 o 380662 o 380638 o 380609 o 380585 o 380521 o 380497 o 380474 o 380450 o 380386 o 380362 o 380211 o 380187 o 380123 o 380099 o 380070 o 380046 o 379982 o 379958 o 379929 o 379905 o 379876 o 379852 o 379788 o 379764 o 379741 o 379717 o 379688 o 379664 o 379600 o 379576 o 379573 o 379544 o 379520 o 379456 o 379432 o 379408 o 379344 o 379320 o 379291 o 379267 o 379238 o 379214 o 379150 o 379126 o 379122 o 379058 o 379034 o 379005 o 378981 o 378917 o 378893 o 378864 o 378840 o 378811 o 378787 o 378723 o 378699 o 378676 o 378652 o 378623 o 378599 o 378535 o 378511 o 378466 o 378442 o 378378 o 378354 o 378325 o 378301 o 378237 o 378213 o 378184 o 378160 o 378131 o 378107 o 378043 o 378019 o 377996 o 377972 o 377943 o 377919 o 377855 o 377831 o 377828 o 377799 o 377775 o 377711 o 377687 o 377663 o 377599 o 377575 o 377546 o 377522 o 377493 o 377469 o 377405 o 377381 o 377377 o 377313 o 377289 o 377260 o 377236 o 377172 o 377148 o 377119 o 377095 o 377066 o 377042 o 376978 o 376954 o 376931 o 376907 o 376878 o 376854 o 376790 o 376766 o 376756 o 376692 o 376668 o 376639 o 376615 o 376586 o 376562 o 376498 o 376474 o 376451 o 376427 o 376398 o 376374 o 376310 o 376286 o 376273 o 376249 o 376185 o 376161 o 376138 o 376114 o 376085 o 376061 o 375997 o 375973 o 375970 o 375941 o 375917 o 375853 o 375829 o 375805 o 375741 o 375717 o 375688 o 375664 o 375635 o 375611 o 375547 o 375523 o 375519 o 375455 o 375431 o 375402 o 375378 o 375314 o 375290 o 375261 o 375237 o 375208 o 375184 o 375120 o 375096 o 375073 o 375049 o 375020 o 374996 o 374932 o 374908 o 374863 o 374839 o 374775 o 374751 o 374722 o 374698 o 374634 o 374610 o 374581 o 374557 o 374528 o 374504 o 374440 o 374416 o 374393 o 374369 o 374340 o 374316 o 374252 o 374228 o 374225 o 374196 o 374172 o 374108 o 374084 o 374060 o 373996 o 373972 o 373943 o 373919 o 373890 o 373866 o 373802 o 373778 o 373774 o 373710 o 373686 o 373657 o 373633 o 373569 o 373545 o 373516 o 373492 o 373463 o 373439 o 373375 o 373351 o 373328 o 373304 o 373275 o 373251 o 373187 o 373163 o 373153 o 373089 o 373065 o 373036 o 373012 o 372983 o 372959 o 372895 o 372871 o 372848 o 372824 o 372795 o 372771 o 372707 o 372683 o 372676 o 372647 o 372623 o 372594 o 372570 o 372506 o 372482 o 372459 o 372435 o 372406 o 372382 o 372318 o 372294 o 372284 o 372220 o 372196 o 372167 o 372143 o 372114 o 372090 o 372026 o 372002 o 371979 o 371955 o 371926 o 371902 o 371838 o 371814 o 371808 o 371784 o 371755 o 371731 o 371667 o 371643 o 371620 o 371596 o 371567 o 371543 o 371479 o 371455 o 371410 o 371386 o 371322 o 371298 o 371269 o 371245 o 371181 o 371157 o 371128 o 371104 o 371075 o 371051 o 370987 o 370963 o 370940 o 370916 o 370887 o 370863 o 370799 o 370775 o 370772 o 370743 o 370719 o 370655 o 370631 o 370607 o 370543 o 370519 o 370490 o 370466 o 370437 o 370413 o 370349 o 370325 o 370321 o 370257 o 370233 o 370204 o 370180 o 370116 o 370092 o 370063 o 370039 o 370010 o 369986 o 369922 o 369898 o 369875 o 369851 o 369822 o 369798 o 369734 o 369710 o 369700 o 369636 o 369612 o 369583 o 369559 o 369530 o 369506 o 369442 o 369418 o 369395 o 369371 o 369342 o 369318 o 369254 o 369230 o 369225 o 369161 o 369137 o 369114 o 369090 o 369061 o 369037 o 368973 o 368949 o 368929 o 368905 o 368904 o 368880 o 368816 o 368792 o 368763 o 368739 o 368675 o 368651 o 368622 o 368598 o 368569 o 368545 o 368481 o 368457 o 368434 o 368410 o 368381 o 368357 o 368293 o 368269 o 368266 o 368237 o 368213 o 368149 o 368125 o 368101 o 368037 o 368013 o 367984 o 367960 o 367931 o 367907 o 367843 o 367819 o 367815 o 367751 o 367727 o 367698 o 367674 o 367610 o 367586 o 367557 o 367533 o 367504 o 367480 o 367416 o 367392 o 367369 o 367345 o 367316 o 367292 o 367228 o 367204 o 367194 o 367130 o 367106 o 367077 o 367053 o 367024 o 367000 o 366936 o 366912 o 366889 o 366865 o 366836 o 366812 o 366748 o 366724 o 366661 o 366637 o 366614 o 366590 o 366561 o 366537 o 366473 o 366449 o 366435 o 366431 o 366367 o 366343 o 366314 o 366290 o 366226 o 366202 o 366173 o 366149 o 366120 o 366096 o 366032 o 366008 o 365985 o 365961 o 365932 o 365908 o 365844 o 365820 o 365810 o 365746 o 365722 o 365693 o 365669 o 365640 o 365616 o 365552 o 365528 o 365505 o 365481 o 365452 o 365428 o 365364 o 365340 o 365337 o 365313 o 365249 o 365225 o 365196 o 365172 o 365143 o 365119 o 365055 o 365031 o 365008 o 364984 o 364955 o 364931 o 364867 o 364843 o 364833 o 364769 o 364745 o 364716 o 364692 o 364663 o 364639 o 364575 o 364551 o 364528 o 364504 o 364475 o 364451 o 364387 o 364363 o 364358 o 364334 o 364302 o 364278 o 364249 o 364225 o 364161 o 364137 o 364108 o 364084 o 364055 o 364031 o 363967 o 363943 o 363920 o 363896 o 363867 o 363843 o 363779 o 363755 o 363745 o 363681 o 363657 o 363628 o 363604 o 363575 o 363551 o 363487 o 363463 o 363440 o 363416 o 363387 o 363363 o 363299 o 363275 o 363212 o 363188 o 363165 o 363141 o 363112 o 363088 o 363024 o 363000 o 362986 o 362974 o 362950 o 362918 o 362894 o 362865 o 362841 o 362777 o 362753 o 362724 o 362700 o 362671 o 362647 o 362583 o 362559 o 362536 o 362512 o 362483 o 362459 o 362395 o 362371 o 362361 o 362297 o 362273 o 362244 o 362220 o 362191 o 362167 o 362103 o 362079 o 362056 o 362032 o 362003 o 361979 o 361915 o 361891 o 361888 o 361864 o 361800 o 361776 o 361747 o 361723 o 361694 o 361670 o 361606 o 361582 o 361559 o 361535 o 361506 o 361482 o 361418 o 361394 o 361384 o 361320 o 361296 o 361267 o 361243 o 361214 o 361190 o 361126 o 361102 o 361079 o 361055 o 361026 o 361002 o 360938 o 360914 o 360910 o 360886 o 360857 o 360833 o 360769 o 360745 o 360731 o 360707 o 360678 o 360654 o 360625 o 360601 o 360537 o 360513 o 360490 o 360466 o 360437 o 360413 o 360349 o 360325 o 360320 o 360296 o 360264 o 360240 o 360211 o 360187 o 360123 o 360099 o 360070 o 360046 o 360017 o 359993 o 359929 o 359905 o 359882 o 359858 o 359829 o 359805 o 359741 o 359717 o 359707 o 359643 o 359619 o 359590 o 359566 o 359537 o 359513 o 359449 o 359425 o 359402 o 359378 o 359349 o 359325 o 359261 o 359237 o 359174 o 359150 o 359127 o 359103 o 359074 o 359050 o 358986 o 358962 o 358948 o 358936 o 358912 o 358880 o 358856 o 358827 o 358803 o 358739 o 358715 o 358686 o 358662 o 358633 o 358609 o 358545 o 358521 o 358498 o 358474 o 358445 o 358421 o 358357 o 358333 o 358323 o 358259 o 358235 o 358206 o 358182 o 358153 o 358129 o 358065 o 358041 o 358018 o 357994 o 357965 o 357941 o 357877 o 357853 o 357850 o 357826 o 357762 o 357738 o 357709 o 357685 o 357656 o 357632 o 357568 o 357544 o 357521 o 357497 o 357468 o 357444 o 357380 o 357356 o 357346 o 357282 o 357258 o 357229 o 357205 o 357176 o 357152 o 357088 o 357064 o 357041 o 357017 o 356988 o 356964 o 356900 o 356876 o 356871 o 356847 o 356818 o 356794 o 356730 o 356706 o 356703 o 356679 o 356615 o 356591 o 356562 o 356538 o 356509 o 356485 o 356421 o 356397 o 356374 o 356350 o 356321 o 356297 o 356233 o 356209 o 356199 o 356135 o 356111 o 356082 o 356058 o 356029 o 356005 o 355941 o 355917 o 355894 o 355870 o 355841 o 355817 o 355753 o 355729 o 355711 o 355647 o 355623 o 355594 o 355570 o 355541 o 355517 o 355453 o 355429 o 355406 o 355382 o 355353 o 355329 o 355265 o 355241 o 355231 o 355167 o 355143 o 355114 o 355090 o 355061 o 355037 o 354973 o 354949 o 354926 o 354902 o 354873 o 354849 o 354785 o 354761 o 354758 o 354734 o 354670 o 354646 o 354617 o 354593 o 354564 o 354540 o 354476 o 354452 o 354429 o 354405 o 354376 o 354352 o 354288 o 354264 o 354254 o 354190 o 354166 o 354137 o 354113 o 354084 o 354060 o 353996 o 353972 o 353949 o 353925 o 353896 o 353872 o 353808 o 353784 o 353760 o 353731 o 353707 o 353643 o 353619 o 353596 o 353572 o 353543 o 353519 o 353455 o 353431 o 353428 o 353404 o 353340 o 353316 o 353287 o 353263 o 353234 o 353210 o 353146 o 353122 o 353099 o 353075 o 353046 o 353022 o 352958 o 352934 o 352924 o 352860 o 352836 o 352807 o 352783 o 352754 o 352730 o 352666 o 352642 o 352619 o 352595 o 352566 o 352542 o 352478 o 352454 o 352452 o 352429 o 352405 o 352376 o 352352 o 352288 o 352264 o 352254 o 352190 o 352166 o 352137 o 352113 o 352084 o 352060 o 351996 o 351972 o 351949 o 351925 o 351896 o 351872 o 351808 o 351784 o 351766 o 351702 o 351678 o 351649 o 351625 o 351596 o 351572 o 351508 o 351484 o 351461 o 351437 o 351408 o 351384 o 351320 o 351296 o 351286 o 351222 o 351198 o 351169 o 351145 o 351116 o 351092 o 351028 o 351004 o 350981 o 350957 o 350928 o 350904 o 350840 o 350816 o 350813 o 350789 o 350725 o 350701 o 350672 o 350648 o 350619 o 350595 o 350531 o 350507 o 350484 o 350460 o 350431 o 350407 o 350343 o 350319 o 350309 o 350245 o 350221 o 350192 o 350168 o 350139 o 350115 o 350051 o 350027 o 350004 o 349980 o 349951 o 349927 o 349863 o 349839 o 349789 o 349765 o 349742 o 349718 o 349689 o 349665 o 349601 o 349577 o 349571 o 349547 o 349527 o 349498 o 349474 o 349410 o 349386 o 349368 o 349304 o 349280 o 349251 o 349227 o 349198 o 349174 o 349110 o 349086 o 349063 o 349039 o 349010 o 348986 o 348922 o 348898 o 348888 o 348824 o 348800 o 348771 o 348747 o 348718 o 348694 o 348630 o 348606 o 348583 o 348559 o 348530 o 348506 o 348442 o 348418 o 348415 o 348391 o 348327 o 348303 o 348274 o 348250 o 348221 o 348197 o 348133 o 348109 o 348086 o 348062 o 348033 o 348009 o 347945 o 347921 o 347911 o 347847 o 347823 o 347794 o 347770 o 347741 o 347717 o 347653 o 347629 o 347606 o 347582 o 347553 o 347529 o 347465 o 347441 o 347391 o 347367 o 347344 o 347320 o 347291 o 347267 o 347203 o 347179 o 347173 o 347149 o 347138 o 347114 o 347085 o 347061 o 346997 o 346973 o 346923 o 346899 o 346876 o 346852 o 346823 o 346799 o 346735 o 346711 o 346705 o 346681 o 346674 o 346610 o 346586 o 346557 o 346533 o 346504 o 346480 o 346416 o 346392 o 346369 o 346345 o 346316 o 346292 o 346228 o 346204 o 346194 o 346130 o 346106 o 346077 o 346053 o 346024 o 346000 o 345936 o 345912 o 345889 o 345865 o 345836 o 345812 o 345748 o 345724 o 345721 o 345697 o 345633 o 345609 o 345580 o 345556 o 345527 o 345503 o 345439 o 345415 o 345392 o 345368 o 345339 o 345315 o 345251 o 345227 o 345217 o 345153 o 345129 o 345100 o 345076 o 345047 o 345023 o 344959 o 344935 o 344912 o 344888 o 344859 o 344835 o 344771 o 344747 o 344697 o 344673 o 344650 o 344626 o 344597 o 344573 o 344509 o 344485 o 344479 o 344455 o 344435 o 344406 o 344382 o 344318 o 344294 o 344276 o 344212 o 344188 o 344159 o 344135 o 344106 o 344082 o 344018 o 343994 o 343971 o 343947 o 343918 o 343894 o 343830 o 343806 o 343796 o 343732 o 343708 o 343679 o 343655 o 343626 o 343602 o 343538 o 343514 o 343491 o 343467 o 343438 o 343414 o 343350 o 343326 o 343323 o 343299 o 343235 o 343211 o 343182 o 343158 o 343129 o 343105 o 343041 o 343017 o 342994 o 342970 o 342941 o 342917 o 342853 o 342829 o 342819 o 342755 o 342731 o 342702 o 342678 o 342649 o 342625 o 342561 o 342537 o 342514 o 342490 o 342461 o 342437 o 342373 o 342349 o 342299 o 342275 o 342252 o 342228 o 342199 o 342175 o 342111 o 342087 o 342081 o 342057 o 342046 o 342022 o 341993 o 341969 o 341905 o 341881 o 341831 o 341807 o 341784 o 341760 o 341731 o 341707 o 341643 o 341619 o 341613 o 341589 o 341578 o 341554 o 341490 o 341466 o 341443 o 341419 o 341390 o 341366 o 341302 o 341278 o 341275 o 341251 o 341187 o 341163 o 341134 o 341110 o 341081 o 341057 o 340993 o 340969 o 340946 o 340922 o 340893 o 340869 o 340805 o 340781 o 340771 o 340707 o 340683 o 340654 o 340630 o 340601 o 340577 o 340513 o 340489 o 340466 o 340442 o 340413 o 340389 o 340325 o 340301 o 340251 o 340227 o 340204 o 340180 o 340151 o 340127 o 340063 o 340039 o 340033 o 340009 o 339989 o 339960 o 339936 o 339872 o 339848 o 339830 o 339766 o 339742 o 339713 o 339689 o 339660 o 339636 o 339572 o 339548 o 339525 o 339501 o 339472 o 339448 o 339384 o 339360 o 339350 o 339286 o 339262 o 339233 o 339209 o 339180 o 339156 o 339092 o 339068 o 339045 o 339021 o 338992 o 338968 o 338904 o 338880 o 338877 o 338853 o 338789 o 338765 o 338736 o 338712 o 338683 o 338659 o 338595 o 338571 o 338548 o 338524 o 338495 o 338471 o 338407 o 338383 o 338373 o 338309 o 338285 o 338256 o 338232 o 338203 o 338179 o 338115 o 338091 o 338068 o 338044 o 338015 o 337991 o 337927 o 337903 o 337853 o 337829 o 337806 o 337782 o 337753 o 337729 o 337665 o 337641 o 337635 o 337611 o 337600 o 337576 o 337547 o 337523 o 337459 o 337435 o 337385 o 337361 o 337338 o 337314 o 337285 o 337261 o 337197 o 337173 o 337167 o 337143 o 337137 o 337113 o 337049 o 337025 o 336975 o 336951 o 336928 o 336904 o 336875 o 336851 o 336787 o 336763 o 336757 o 336733 o 336722 o 336698 o 336634 o 336610 o 336587 o 336563 o 336534 o 336510 o 336446 o 336422 o 336419 o 336395 o 336331 o 336307 o 336278 o 336254 o 336225 o 336201 o 336137 o 336113 o 336090 o 336066 o 336037 o 336013 o 335949 o 335925 o 335915 o 335851 o 335827 o 335798 o 335774 o 335745 o 335721 o 335657 o 335633 o 335610 o 335586 o 335557 o 335533 o 335469 o 335445 o 335395 o 335371 o 335348 o 335324 o 335295 o 335271 o 335207 o 335183 o 335177 o 335153 o 335133 o 335104 o 335080 o 335016 o 334992 o 334974 o 334910 o 334886 o 334857 o 334833 o 334804 o 334780 o 334716 o 334692 o 334669 o 334645 o 334616 o 334592 o 334528 o 334504 o 334494 o 334430 o 334406 o 334377 o 334353 o 334324 o 334300 o 334236 o 334212 o 334189 o 334165 o 334136 o 334112 o 334048 o 334024 o 334021 o 333997 o 333933 o 333909 o 333880 o 333856 o 333827 o 333803 o 333739 o 333715 o 333692 o 333668 o 333639 o 333615 o 333551 o 333527 o 333517 o 333453 o 333429 o 333400 o 333376 o 333347 o 333323 o 333259 o 333235 o 333212 o 333188 o 333159 o 333135 o 333071 o 333047 o 332997 o 332973 o 332950 o 332926 o 332897 o 332873 o 332809 o 332785 o 332779 o 332755 o 332744 o 332720 o 332691 o 332667 o 332603 o 332579 o 332529 o 332505 o 332482 o 332458 o 332429 o 332405 o 332341 o 332317 o 332311 o 332287 o 332278 o 332272 o 332248 o 332237 o 332213 o 332184 o 332160 o 332096 o 332072 o 332022 o 331998 o 331975 o 331951 o 331922 o 331898 o 331834 o 331810 o 331804 o 331780 o 331774 o 331750 o 331686 o 331662 o 331612 o 331588 o 331565 o 331541 o 331512 o 331488 o 331424 o 331400 o 331394 o 331370 o 331322 o 331298 o 331269 o 331245 o 331216 o 331192 o 331128 o 331104 o 331081 o 331057 o 331028 o 331004 o 330940 o 330916 o 330913 o 330889 o 330825 o 330801 o 330772 o 330748 o 330719 o 330695 o 330631 o 330607 o 330584 o 330560 o 330531 o 330507 o 330443 o 330419 o 330409 o 330345 o 330321 o 330292 o 330268 o 330239 o 330215 o 330151 o 330127 o 330104 o 330080 o 330051 o 330027 o 329963 o 329939 o 329889 o 329865 o 329842 o 329818 o 329789 o 329765 o 329701 o 329677 o 329671 o 329647 o 329636 o 329612 o 329583 o 329559 o 329495 o 329471 o 329421 o 329397 o 329374 o 329350 o 329321 o 329297 o 329233 o 329209 o 329203 o 329179 o 329165 o 329141 o 329131 o 329067 o 329043 o 329014 o 328990 o 328961 o 328937 o 328873 o 328849 o 328826 o 328802 o 328773 o 328749 o 328685 o 328661 o 328658 o 328634 o 328570 o 328546 o 328517 o 328493 o 328464 o 328440 o 328376 o 328352 o 328329 o 328305 o 328276 o 328252 o 328188 o 328164 o 328154 o 328090 o 328066 o 328037 o 328013 o 327984 o 327960 o 327896 o 327872 o 327849 o 327825 o 327796 o 327772 o 327708 o 327684 o 327634 o 327610 o 327587 o 327563 o 327534 o 327510 o 327446 o 327422 o 327416 o 327392 o 327381 o 327357 o 327328 o 327304 o 327240 o 327216 o 327166 o 327142 o 327119 o 327095 o 327066 o 327042 o 326978 o 326954 o 326948 o 326924 o 326920 o 326896 o 326890 o 326866 o 326856 o 326832 o 326782 o 326758 o 326735 o 326711 o 326682 o 326658 o 326594 o 326570 o 326564 o 326540 o 326534 o 326510 o 326446 o 326422 o 326372 o 326348 o 326325 o 326301 o 326272 o 326248 o 326184 o 326160 o 326154 o 326130 o 326082 o 326058 o 326029 o 326005 o 325976 o 325952 o 325888 o 325864 o 325841 o 325817 o 325788 o 325764 o 325700 o 325676 o 325673 o 325649 o 325585 o 325561 o 325532 o 325508 o 325479 o 325455 o 325391 o 325367 o 325344 o 325320 o 325291 o 325267 o 325203 o 325179 o 325169 o 325105 o 325081 o 325052 o 325028 o 324999 o 324975 o 324911 o 324887 o 324864 o 324840 o 324811 o 324787 o 324723 o 324699 o 324649 o 324625 o 324602 o 324578 o 324549 o 324525 o 324461 o 324437 o 324431 o 324407 o 324396 o 324372 o 324343 o 324319 o 324255 o 324231 o 324181 o 324157 o 324134 o 324110 o 324081 o 324057 o 323993 o 323969 o 323963 o 323939 o 323925 o 323901 o 323891 o 323827 o 323803 o 323774 o 323750 o 323721 o 323697 o 323633 o 323609 o 323586 o 323562 o 323533 o 323509 o 323445 o 323421 o 323418 o 323394 o 323330 o 323306 o 323277 o 323253 o 323224 o 323200 o 323136 o 323112 o 323089 o 323065 o 323036 o 323012 o 322948 o 322924 o 322914 o 322850 o 322826 o 322797 o 322773 o 322744 o 322720 o 322656 o 322632 o 322609 o 322585 o 322556 o 322532 o 322468 o 322444 o 322394 o 322370 o 322347 o 322323 o 322294 o 322270 o 322206 o 322182 o 322176 o 322152 o 322141 o 322117 o 322088 o 322064 o 322000 o 321976 o 321926 o 321902 o 321879 o 321855 o 321826 o 321802 o 321738 o 321714 o 321708 o 321684 o 321671 o 321647 o 321624 o 321600 o 321571 o 321547 o 321483 o 321459 o 321453 o 321429 o 321423 o 321399 o 321335 o 321311 o 321261 o 321237 o 321214 o 321190 o 321161 o 321137 o 321073 o 321049 o 321043 o 321019 o 320971 o 320947 o 320918 o 320894 o 320865 o 320841 o 320777 o 320753 o 320730 o 320706 o 320677 o 320653 o 320589 o 320565 o 320562 o 320538 o 320474 o 320450 o 320421 o 320397 o 320368 o 320344 o 320280 o 320256 o 320233 o 320209 o 320180 o 320156 o 320092 o 320068 o 320058 o 319994 o 319970 o 319941 o 319917 o 319888 o 319864 o 319800 o 319776 o 319753 o 319729 o 319700 o 319676 o 319612 o 319588 o 319538 o 319514 o 319491 o 319467 o 319438 o 319414 o 319350 o 319326 o 319320 o 319296 o 319285 o 319261 o 319232 o 319208 o 319144 o 319120 o 319070 o 319046 o 319023 o 318999 o 318970 o 318946 o 318882 o 318858 o 318852 o 318828 o 318814 o 318790 o 318780 o 318716 o 318692 o 318663 o 318639 o 318610 o 318586 o 318522 o 318498 o 318475 o 318451 o 318422 o 318398 o 318334 o 318310 o 318307 o 318283 o 318219 o 318195 o 318166 o 318142 o 318113 o 318089 o 318025 o 318001 o 317978 o 317954 o 317925 o 317901 o 317837 o 317813 o 317803 o 317739 o 317715 o 317686 o 317662 o 317633 o 317609 o 317545 o 317521 o 317498 o 317474 o 317445 o 317421 o 317357 o 317333 o 317283 o 317259 o 317236 o 317212 o 317183 o 317159 o 317095 o 317071 o 317065 o 317041 o 317030 o 317006 o 316977 o 316953 o 316889 o 316865 o 316815 o 316791 o 316768 o 316744 o 316715 o 316691 o 316627 o 316603 o 316597 o 316573 o 316559 o 316530 o 316506 o 316442 o 316418 o 316412 o 316388 o 316377 o 316353 o 316324 o 316300 o 316236 o 316212 o 316162 o 316138 o 316115 o 316091 o 316062 o 316038 o 315974 o 315950 o 315944 o 315920 o 315897 o 315873 o 315809 o 315785 o 315779 o 315755 o 315741 o 315717 o 315707 o 315643 o 315619 o 315590 o 315566 o 315537 o 315513 o 315449 o 315425 o 315402 o 315378 o 315349 o 315325 o 315261 o 315237 o 315234 o 315210 o 315146 o 315122 o 315093 o 315069 o 315040 o 315016 o 314952 o 314928 o 314905 o 314881 o 314852 o 314828 o 314764 o 314740 o 314730 o 314666 o 314642 o 314613 o 314589 o 314560 o 314536 o 314472 o 314448 o 314425 o 314401 o 314372 o 314348 o 314284 o 314260 o 314210 o 314186 o 314163 o 314139 o 314110 o 314086 o 314022 o 313998 o 313992 o 313968 o 313957 o 313933 o 313904 o 313880 o 313816 o 313792 o 313742 o 313718 o 313695 o 313671 o 313642 o 313618 o 313554 o 313530 o 313524 o 313500 o 313483 o 313419 o 313395 o 313372 o 313348 o 313319 o 313295 o 313231 o 313207 o 313204 o 313180 o 313116 o 313092 o 313063 o 313039 o 313010 o 312986 o 312922 o 312898 o 312875 o 312851 o 312822 o 312798 o 312734 o 312710 o 312700 o 312636 o 312612 o 312583 o 312559 o 312530 o 312506 o 312442 o 312418 o 312395 o 312371 o 312342 o 312318 o 312254 o 312230 o 312180 o 312156 o 312133 o 312109 o 312080 o 312056 o 311992 o 311968 o 311962 o 311938 o 311927 o 311903 o 311874 o 311850 o 311786 o 311762 o 311712 o 311688 o 311665 o 311641 o 311612 o 311588 o 311524 o 311500 o 311494 o 311470 o 311423 o 311399 o 311349 o 311325 o 311302 o 311278 o 311249 o 311225 o 311161 o 311137 o 311131 o 311107 o 311106 o 311082 o 311076 o 311052 o 311041 o 311017 o 310988 o 310964 o 310900 o 310876 o 310826 o 310802 o 310779 o 310755 o 310726 o 310702 o 310638 o 310614 o 310608 o 310584 o 310582 o 310559 o 310535 o 310506 o 310482 o 310418 o 310394 o 310344 o 310320 o 310297 o 310273 o 310244 o 310220 o 310156 o 310132 o 310126 o 310102 o 310091 o 310067 o 310038 o 310014 o 309950 o 309926 o 309876 o 309852 o 309829 o 309805 o 309776 o 309752 o 309688 o 309664 o 309658 o 309634 o 309617 o 309553 o 309529 o 309506 o 309482 o 309453 o 309429 o 309365 o 309341 o 309338 o 309314 o 309250 o 309226 o 309197 o 309173 o 309144 o 309120 o 309056 o 309032 o 309009 o 308985 o 308956 o 308932 o 308868 o 308844 o 308834 o 308770 o 308746 o 308717 o 308693 o 308664 o 308640 o 308576 o 308552 o 308529 o 308505 o 308476 o 308452 o 308388 o 308364 o 308314 o 308290 o 308267 o 308243 o 308214 o 308190 o 308126 o 308102 o 308096 o 308072 o 308061 o 308037 o 308008 o 307984 o 307920 o 307896 o 307846 o 307822 o 307799 o 307775 o 307746 o 307722 o 307658 o 307634 o 307628 o 307604 o 307591 o 307567 o 307538 o 307514 o 307450 o 307426 o 307403 o 307379 o 307350 o 307326 o 307262 o 307238 o 307228 o 307164 o 307140 o 307111 o 307087 o 307058 o 307034 o 306970 o 306946 o 306923 o 306899 o 306870 o 306846 o 306782 o 306758 o 306708 o 306684 o 306661 o 306637 o 306608 o 306584 o 306520 o 306496 o 306490 o 306466 o 306455 o 306431 o 306402 o 306378 o 306314 o 306290 o 306240 o 306216 o 306193 o 306169 o 306140 o 306116 o 306052 o 306028 o 306022 o 305998 o 305951 o 305927 o 305877 o 305853 o 305830 o 305806 o 305777 o 305753 o 305689 o 305665 o 305659 o 305635 o 305634 o 305610 o 305604 o 305580 o 305569 o 305545 o 305516 o 305492 o 305428 o 305404 o 305354 o 305330 o 305307 o 305283 o 305254 o 305230 o 305166 o 305142 o 305136 o 305112 o 305110 o 305087 o 305063 o 305034 o 305010 o 304946 o 304922 o 304872 o 304848 o 304825 o 304801 o 304772 o 304748 o 304684 o 304660 o 304654 o 304630 o 304619 o 304595 o 304566 o 304542 o 304478 o 304454 o 304404 o 304380 o 304357 o 304333 o 304304 o 304280 o 304216 o 304192 o 304186 o 304162 o 304145 o 304081 o 304057 o 304034 o 304010 o 303981 o 303957 o 303893 o 303869 o 303866 o 303842 o 303778 o 303754 o 303725 o 303701 o 303672 o 303648 o 303584 o 303560 o 303537 o 303513 o 303484 o 303460 o 303396 o 303372 o 303362 o 303298 o 303274 o 303245 o 303221 o 303192 o 303168 o 303104 o 303080 o 303057 o 303033 o 303004 o 302980 o 302916 o 302892 o 302842 o 302818 o 302795 o 302771 o 302742 o 302718 o 302654 o 302630 o 302624 o 302600 o 302589 o 302565 o 302536 o 302512 o 302448 o 302424 o 302374 o 302350 o 302327 o 302303 o 302274 o 302250 o 302186 o 302162 o 302156 o 302132 o 302088 o 302064 o 302035 o 302011 o 301982 o 301958 o 301894 o 301870 o 301847 o 301823 o 301794 o 301770 o 301706 o 301682 o 301632 o 301608 o 301585 o 301561 o 301532 o 301508 o 301444 o 301420 o 301414 o 301390 o 301379 o 301355 o 301326 o 301302 o 301238 o 301214 o 301164 o 301140 o 301117 o 301093 o 301064 o 301040 o 300976 o 300952 o 300946 o 300922 o 300875 o 300851 o 300801 o 300777 o 300754 o 300730 o 300701 o 300677 o 300613 o 300589 o 300583 o 300559 o 300558 o 300534 o 300528 o 300504 o 300493 o 300469 o 300440 o 300416 o 300352 o 300328 o 300278 o 300254 o 300231 o 300207 o 300178 o 300154 o 300090 o 300066 o 300060 o 300036 o 300034 o 300011 o 299987 o 299958 o 299934 o 299870 o 299846 o 299796 o 299772 o 299749 o 299725 o 299696 o 299672 o 299608 o 299584 o 299578 o 299554 o 299543 o 299519 o 299490 o 299466 o 299402 o 299378 o 299328 o 299304 o 299281 o 299257 o 299228 o 299204 o 299140 o 299116 o 299110 o 299086 o 299069 o 299005 o 298981 o 298958 o 298934 o 298905 o 298881 o 298817 o 298793 o 298790 o 298766 o 298702 o 298678 o 298649 o 298625 o 298596 o 298572 o 298508 o 298484 o 298461 o 298437 o 298408 o 298384 o 298320 o 298296 o 298286 o 298222 o 298198 o 298169 o 298145 o 298116 o 298092 o 298028 o 298004 o 297981 o 297957 o 297928 o 297904 o 297840 o 297816 o 297766 o 297742 o 297719 o 297695 o 297666 o 297642 o 297578 o 297554 o 297548 o 297524 o 297513 o 297489 o 297460 o 297436 o 297372 o 297348 o 297298 o 297274 o 297251 o 297227 o 297198 o 297174 o 297110 o 297086 o 297080 o 297056 o 297052 o 297028 o 296999 o 296975 o 296911 o 296887 o 296837 o 296813 o 296790 o 296766 o 296737 o 296713 o 296649 o 296625 o 296619 o 296595 o 296593 o 296570 o 296546 o 296517 o 296493 o 296429 o 296405 o 296355 o 296331 o 296308 o 296284 o 296255 o 296231 o 296167 o 296143 o 296137 o 296113 o 296102 o 296078 o 296049 o 296025 o 295961 o 295937 o 295887 o 295863 o 295840 o 295816 o 295787 o 295763 o 295699 o 295675 o 295669 o 295645 o 295628 o 295564 o 295540 o 295517 o 295493 o 295464 o 295440 o 295376 o 295352 o 295349 o 295325 o 295261 o 295237 o 295208 o 295184 o 295155 o 295131 o 295067 o 295043 o 295020 o 294996 o 294967 o 294943 o 294879 o 294855 o 294845 o 294781 o 294757 o 294728 o 294704 o 294675 o 294651 o 294587 o 294563 o 294540 o 294516 o 294487 o 294463 o 294399 o 294375 o 294325 o 294301 o 294278 o 294254 o 294225 o 294201 o 294137 o 294113 o 294107 o 294083 o 294072 o 294048 o 294019 o 293995 o 293931 o 293907 o 293857 o 293833 o 293810 o 293786 o 293757 o 293733 o 293669 o 293645 o 293639 o 293615 o 293587 o 293563 o 293499 o 293475 o 293472 o 293448 o 293384 o 293360 o 293331 o 293307 o 293278 o 293254 o 293190 o 293166 o 293143 o 293119 o 293090 o 293066 o 293002 o 292978 o 292968 o 292904 o 292880 o 292851 o 292827 o 292798 o 292774 o 292710 o 292686 o 292663 o 292639 o 292610 o 292586 o 292522 o 292498 o 292448 o 292424 o 292401 o 292377 o 292348 o 292324 o 292260 o 292236 o 292230 o 292206 o 292195 o 292171 o 292142 o 292118 o 292054 o 292030 o 291980 o 291956 o 291933 o 291909 o 291880 o 291856 o 291792 o 291768 o 291762 o 291738 o 291714 o 291650 o 291626 o 291576 o 291552 o 291529 o 291505 o 291476 o 291452 o 291388 o 291364 o 291358 o 291334 o 291330 o 291306 o 291277 o 291253 o 291189 o 291165 o 291115 o 291091 o 291068 o 291044 o 291015 o 290991 o 290927 o 290903 o 290897 o 290873 o 290871 o 290848 o 290824 o 290795 o 290771 o 290707 o 290683 o 290633 o 290609 o 290586 o 290562 o 290533 o 290509 o 290445 o 290421 o 290415 o 290391 o 290380 o 290356 o 290327 o 290303 o 290239 o 290215 o 290165 o 290141 o 290118 o 290094 o 290065 o 290041 o 289977 o 289953 o 289947 o 289923 o 289906 o 289842 o 289818 o 289795 o 289771 o 289742 o 289718 o 289654 o 289630 o 289627 o 289603 o 289539 o 289515 o 289486 o 289462 o 289433 o 289409 o 289345 o 289321 o 289298 o 289274 o 289245 o 289221 o 289157 o 289133 o 289123 o 289059 o 289035 o 289006 o 288982 o 288953 o 288929 o 288865 o 288841 o 288818 o 288794 o 288765 o 288741 o 288677 o 288653 o 288603 o 288579 o 288556 o 288532 o 288503 o 288479 o 288415 o 288391 o 288385 o 288361 o 288350 o 288326 o 288297 o 288273 o 288209 o 288185 o 288135 o 288111 o 288088 o 288064 o 288035 o 288011 o 287947 o 287923 o 287917 o 287893 o 287865 o 287841 o 287777 o 287753 o 287750 o 287726 o 287662 o 287638 o 287609 o 287585 o 287556 o 287532 o 287468 o 287444 o 287421 o 287397 o 287368 o 287344 o 287280 o 287256 o 287246 o 287182 o 287158 o 287129 o 287105 o 287076 o 287052 o 286988 o 286964 o 286941 o 286917 o 286888 o 286864 o 286800 o 286776 o 286726 o 286702 o 286679 o 286655 o 286626 o 286602 o 286538 o 286514 o 286508 o 286484 o 286473 o 286449 o 286420 o 286396 o 286332 o 286308 o 286258 o 286234 o 286211 o 286187 o 286158 o 286134 o 286070 o 286046 o 286040 o 286016 o 286015 o 285992 o 285968 o 285939 o 285915 o 285851 o 285827 o 285777 o 285753 o 285730 o 285706 o 285677 o 285653 o 285589 o 285565 o 285559 o 285535 o 285524 o 285500 o 285471 o 285447 o 285383 o 285359 o 285309 o 285285 o 285262 o 285238 o 285209 o 285185 o 285121 o 285097 o 285091 o 285067 o 285043 o 284979 o 284955 o 284905 o 284881 o 284858 o 284834 o 284805 o 284781 o 284717 o 284693 o 284687 o 284663 o 284659 o 284635 o 284606 o 284582 o 284518 o 284494 o 284444 o 284420 o 284397 o 284373 o 284344 o 284320 o 284256 o 284232 o 284226 o 284202 o 284200 o 284177 o 284153 o 284124 o 284100 o 284036 o 284012 o 283962 o 283938 o 283915 o 283891 o 283862 o 283838 o 283774 o 283750 o 283744 o 283720 o 283709 o 283685 o 283656 o 283632 o 283568 o 283544 o 283494 o 283470 o 283447 o 283423 o 283394 o 283370 o 283306 o 283282 o 283276 o 283252 o 283235 o 283171 o 283147 o 283124 o 283100 o 283071 o 283047 o 282983 o 282959 o 282956 o 282932 o 282868 o 282844 o 282815 o 282791 o 282762 o 282738 o 282674 o 282650 o 282627 o 282603 o 282574 o 282550 o 282486 o 282462 o 282452 o 282388 o 282364 o 282335 o 282311 o 282282 o 282258 o 282194 o 282170 o 282147 o 282123 o 282094 o 282070 o 282006 o 281982 o 281932 o 281908 o 281885 o 281861 o 281832 o 281808 o 281744 o 281720 o 281714 o 281690 o 281679 o 281655 o 281626 o 281602 o 281538 o 281514 o 281464 o 281440 o 281417 o 281393 o 281364 o 281340 o 281276 o 281252 o 281246 o 281222 o 281194 o 281170 o 281106 o 281082 o 281079 o 281055 o 280991 o 280967 o 280938 o 280914 o 280885 o 280861 o 280797 o 280773 o 280750 o 280726 o 280697 o 280673 o 280609 o 280585 o 280575 o 280511 o 280487 o 280458 o 280434 o 280405 o 280381 o 280317 o 280293 o 280270 o 280246 o 280217 o 280193 o 280129 o 280105 o 280055 o 280031 o 280008 o 279984 o 279955 o 279931 o 279867 o 279843 o 279837 o 279813 o 279802 o 279778 o 279749 o 279725 o 279661 o 279637 o 279587 o 279563 o 279540 o 279516 o 279487 o 279463 o 279399 o 279375 o 279369 o 279345 o 279342 o 279313 o 279289 o 279225 o 279201 o 279151 o 279127 o 279104 o 279080 o 279051 o 279027 o 278963 o 278939 o 278933 o 278909 o 278898 o 278874 o 278845 o 278821 o 278757 o 278733 o 278683 o 278659 o 278636 o 278612 o 278583 o 278559 o 278495 o 278471 o 278465 o 278441 o 278426 o 278402 o 278379 o 278355 o 278326 o 278302 o 278238 o 278214 o 278208 o 278184 o 278156 o 278132 o 278068 o 278044 o 278041 o 278017 o 277953 o 277929 o 277900 o 277876 o 277847 o 277823 o 277759 o 277735 o 277712 o 277688 o 277659 o 277635 o 277571 o 277547 o 277537 o 277473 o 277449 o 277420 o 277396 o 277367 o 277343 o 277279 o 277255 o 277232 o 277208 o 277179 o 277155 o 277091 o 277067 o 277017 o 276993 o 276970 o 276946 o 276917 o 276893 o 276829 o 276805 o 276799 o 276775 o 276764 o 276740 o 276711 o 276687 o 276623 o 276599 o 276549 o 276525 o 276502 o 276478 o 276449 o 276425 o 276361 o 276337 o 276331 o 276307 o 276270 o 276246 o 276223 o 276199 o 276170 o 276146 o 276082 o 276058 o 276052 o 276028 o 276011 o 275947 o 275923 o 275900 o 275876 o 275847 o 275823 o 275759 o 275735 o 275732 o 275708 o 275644 o 275620 o 275591 o 275567 o 275538 o 275514 o 275450 o 275426 o 275403 o 275379 o 275350 o 275326 o 275262 o 275238 o 275228 o 275164 o 275140 o 275111 o 275087 o 275058 o 275034 o 274970 o 274946 o 274923 o 274899 o 274870 o 274846 o 274782Killed 1819.707u 0.016s 1:01:09.35 49.5% 0+0k 0+0io 0pf+0w