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-120-1_network-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-9.net.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 2098238 o 362739 o 362585 o 362511 o 362384 o 362310 o 361603 o 361449 o 361375 o 361349 o 361195 o 361121 o 360973 o 360899 o 360793 o 360719 o 360570 o 360496 o 360348 o 360274 o 360217 o 360068 o 359994 o 359846 o 359772 o 359729 o 359655 o 359507 o 359433 o 359327 o 359253 o 359104 o 359030 o 358882 o 358808 o 358802 o 358728 o 358622 o 358548 o 358399 o 358325 o 358177 o 358103 o 358069 o 357995 o 357938 o 357789 o 357715 o 357567 o 357493 o 357464 o 357450 o 357376 o 357228 o 357154 o 357048 o 356974 o 356825 o 356751 o 356603 o 356529 o 356435 o 356361 o 356255 o 356181 o 356032 o 355958 o 355810 o 355736 o 355730 o 355696 o 355622 o 355565 o 355416 o 355342 o 355194 o 355120 o 355091 o 355077 o 355003 o 354855 o 354781 o 354675 o 354601 o 354452 o 354378 o 354230 o 354156 o 354109 o 353960 o 353886 o 353738 o 353664 o 353613 o 353465 o 353391 o 353285 o 353211 o 353062 o 352988 o 352840 o 352766 o 352619 o 352545 o 352397 o 352323 o 352298 o 352224 o 352076 o 352002 o 351955 o 351806 o 351732 o 351584 o 351510 o 351452 o 351378 o 351229 o 351155 o 351007 o 350933 o 350908 o 350834 o 350686 o 350612 o 350558 o 350544 o 350395 o 350321 o 350173 o 350099 o 350093 o 349983 o 349909 o 349862 o 349713 o 349639 o 349491 o 349417 o 349359 o 349285 o 349136 o 349062 o 348914 o 348840 o 348815 o 348741 o 348593 o 348519 o 348393 o 348319 o 348171 o 348097 o 348031 o 347957 o 347831 o 347757 o 347609 o 347535 o 347510 o 347436 o 347288 o 347214 o 347100 o 347026 o 346972 o 346958 o 346809 o 346735 o 346587 o 346513 o 346507 o 346397 o 346323 o 346276 o 346127 o 346053 o 345905 o 345831 o 345773 o 345699 o 345550 o 345476 o 345328 o 345254 o 345229 o 345155 o 345007 o 344933 o 344807 o 344733 o 344585 o 344511 o 344509 o 344383 o 344309 o 344161 o 344087 o 344062 o 343988 o 343840 o 343766 o 343652 o 343578 o 343524 o 343510 o 343361 o 343287 o 343139 o 343065 o 343059 o 342949 o 342875 o 342828 o 342679 o 342605 o 342457 o 342383 o 342325 o 342251 o 342102 o 342028 o 341880 o 341806 o 341781 o 341707 o 341559 o 341485 o 341359 o 341285 o 341137 o 341063 o 341001 o 340927 o 340921 o 340889 o 340741 o 340667 o 340609 o 340535 o 340386 o 340312 o 340164 o 340090 o 340065 o 339991 o 339843 o 339769 o 339643 o 339569 o 339421 o 339347 o 339259 o 339185 o 339036 o 338962 o 338814 o 338740 o 338685 o 338623 o 338549 o 338543 o 338511 o 338363 o 338289 o 338231 o 338157 o 338008 o 337934 o 337786 o 337712 o 337687 o 337613 o 337465 o 337391 o 337265 o 337191 o 337043 o 336969 o 336881 o 336807 o 336658 o 336584 o 336436 o 336362 o 336343 o 336194 o 336120 o 335972 o 335898 o 335873 o 335799 o 335651 o 335577 o 335451 o 335377 o 335229 o 335155 o 335067 o 334993 o 334844 o 334770 o 334622 o 334548 o 334510 o 334361 o 334287 o 334139 o 334065 o 333966 o 333892 o 333744 o 333670 o 333645 o 333571 o 333423 o 333349 o 333223 o 333149 o 333001 o 332927 o 332839 o 332765 o 332616 o 332542 o 332394 o 332320 o 332177 o 332103 o 331955 o 331881 o 331782 o 331708 o 331560 o 331486 o 331461 o 331387 o 331239 o 331165 o 331039 o 330965 o 330817 o 330743 o 330655 o 330581 o 330432 o 330358 o 330210 o 330136 o 330111 o 330037 o 329911 o 329837 o 329689 o 329615 o 329504 o 329430 o 329304 o 329230 o 329082 o 329008 o 329002 o 328854 o 328780 o 328654 o 328580 o 328432 o 328358 o 328247 o 328173 o 328047 o 327973 o 327825 o 327751 o 327748 o 327664 o 327590 o 327442 o 327368 o 327343 o 327269 o 327121 o 327047 o 326991 o 326917 o 326791 o 326717 o 326569 o 326495 o 326470 o 326396 o 326248 o 326174 o 326086 o 326012 o 325863 o 325789 o 325641 o 325567 o 325542 o 325468 o 325342 o 325268 o 325120 o 325046 o 324935 o 324861 o 324735 o 324661 o 324513 o 324439 o 324420 o 324346 o 324198 o 324124 o 324050 o 323976 o 323828 o 323754 o 323732 o 323717 o 323643 o 323517 o 323443 o 323295 o 323221 o 323191 o 323043 o 322969 o 322843 o 322769 o 322621 o 322547 o 322459 o 322385 o 322236 o 322162 o 322014 o 321940 o 321915 o 321841 o 321715 o 321641 o 321493 o 321419 o 321308 o 321234 o 321108 o 321034 o 320886 o 320812 o 320783 o 320635 o 320561 o 320491 o 320417 o 320341 o 320267 o 320210 o 320136 o 319988 o 319914 o 319889 o 319815 o 319667 o 319593 o 319523 o 319449 o 319431 o 319361 o 319287 o 319282 o 319208 o 319060 o 318986 o 318916 o 318842 o 318786 o 318761 o 318687 o 318539 o 318465 o 318395 o 318321 o 318303 o 318253 o 318179 o 318154 o 318080 o 317932 o 317858 o 317788 o 317714 o 317648 o 317574 o 317573 o 317499 o 317397 o 317323 o 317322 o 317248 o 317179 o 317178 o 317104 o 317103 o 317029 o 317028 o 316954 o 316898 o 316750 o 316676 o 316675 o 316601 o 316577 o 316429 o 316355 o 316354 o 316280 o 316211 o 316210 o 316136 o 316123 o 316049 o 316048 o 315974 o 315970 o 315969 o 315895 o 315822 o 315748 o 315747 o 315673 o 315604 o 315603 o 315529 o 315523 o 315449 o 315301 o 315227 o 315226 o 315152 o 315083 o 315082 o 315008 o 314990 o 314941 o 314916 o 314842 o 314694 o 314620 o 314619 o 314545 o 314476 o 314475 o 314401 o 314340 o 314315 o 314241 o 314093 o 314019 o 313949 o 313875 o 313857 o 313807 o 313733 o 313708 o 313634 o 313486 o 313412 o 313342 o 313268 o 313202 o 313128 o 313127 o 313053 o 312951 o 312877 o 312876 o 312802 o 312733 o 312732 o 312658 o 312657 o 312583 o 312582 o 312508 o 312452 o 312304 o 312230 o 312229 o 312155 o 312131 o 311983 o 311909 o 311908 o 311834 o 311765 o 311764 o 311690 o 311677 o 311603 o 311602 o 311528 o 311524 o 311523 o 311449 o 311376 o 311302 o 311301 o 311227 o 311158 o 311157 o 311083 o 311077 o 311003 o 310855 o 310781 o 310780 o 310706 o 310637 o 310636 o 310562 o 310544 o 310495 o 310470 o 310396 o 310248 o 310174 o 310173 o 310099 o 310030 o 310029 o 309955 o 309925 o 309777 o 309703 o 309633 o 309559 o 309556 o 309538 o 309469 o 309468 o 309394 o 309390 o 309389 o 309315 o 309242 o 309168 o 309167 o 309093 o 309024 o 309023 o 308949 o 308914 o 308766 o 308692 o 308622 o 308548 o 308547 o 308473 o 308455 o 308406 o 308381 o 308307 o 308159 o 308085 o 308084 o 308010 o 307941 o 307940 o 307866 o 307819 o 307815 o 307814 o 307740 o 307667 o 307593 o 307592 o 307518 o 307449 o 307448 o 307374 o 307373 o 307368 o 307294 o 307146 o 307072 o 307002 o 306928 o 306927 o 306853 o 306840 o 306766 o 306761 o 306687 o 306539 o 306465 o 306395 o 306321 o 306320 o 306246 o 306181 o 306107 o 306106 o 306032 o 305963 o 305962 o 305888 o 305825 o 305824 o 305750 o 305694 o 305621 o 305547 o 305546 o 305472 o 305403 o 305402 o 305328 o 305295 o 305225 o 305151 o 305150 o 305076 o 305020 o 304947 o 304873 o 304872 o 304798 o 304729 o 304728 o 304654 o 304594 o 304593 o 304519 o 304515 o 304367 o 304293 o 304223 o 304149 o 304148 o 304074 o 304011 o 304010 o 303936 o 303880 o 303807 o 303733 o 303732 o 303658 o 303589 o 303588 o 303514 o 303481 o 303411 o 303337 o 303336 o 303262 o 303206 o 303133 o 303059 o 303058 o 302984 o 302915 o 302914 o 302840 o 302780 o 302715 o 302641 o 302640 o 302566 o 302497 o 302496 o 302422 o 302359 o 302358 o 302284 o 302228 o 302155 o 302081 o 302080 o 302006 o 301937 o 301936 o 301862 o 301829 o 301759 o 301685 o 301684 o 301610 o 301554 o 301481 o 301407 o 301406 o 301332 o 301263 o 301262 o 301188 o 301184 o 301183 o 301109 o 301087 o 301013 o 300966 o 300943 o 300817 o 300743 o 300595 o 300521 o 300496 o 300422 o 300274 o 300200 o 300199 o 300125 o 300056 o 300055 o 299981 o 299963 o 299914 o 299889 o 299815 o 299667 o 299593 o 299592 o 299518 o 299449 o 299448 o 299374 o 299353 o 299305 o 299303 o 299229 o 299206 o 299204 o 299130 o 299058 o 298982 o 298908 o 298907 o 298833 o 298765 o 298764 o 298763 o 298689 o 298671 o 298622 o 298599 o 298597 o 298523 o 298451 o 298375 o 298301 o 298300 o 298226 o 298158 o 298157 o 298156 o 298082 o 298079 o 298078 o 298077 o 298003 o 297983 o 297981 o 297907 o 297860 o 297837 o 297787 o 297713 o 297711 o 297637 o 297565 o 297489 o 297415 o 297392 o 297390 o 297316 o 297244 o 297168 o 297094 o 297093 o 297019 o 296951 o 296950 o 296949 o 296875 o 296857 o 296808 o 296785 o 296783 o 296709 o 296637 o 296561 o 296487 o 296486 o 296412 o 296344 o 296343 o 296342 o 296268 o 296260 o 296258 o 296184 o 296183 o 296109 o 296071 o 295997 o 295996 o 295995 o 295921 o 295905 o 295837 o 295835 o 295761 o 295760 o 295686 o 295633 o 295560 o 295486 o 295485 o 295411 o 295343 o 295342 o 295341 o 295267 o 295229 o 295155 o 295154 o 295153 o 295079 o 295076 o 295002 o 295000 o 294926 o 294888 o 294814 o 294812 o 294738 o 294737 o 294663 o 294599 o 294562 o 294560 o 294486 o 294485 o 294411 o 294399 o 294326 o 294252 o 294251 o 294177 o 294139 o 294065 o 294064 o 294063 o 293989 o 293921 o 293920 o 293919 o 293845 o 293834 o 293697 o 293623 o 293621 o 293547 o 293546 o 293472 o 293435 o 293433 o 293359 o 293358 o 293284 o 293216 o 293215 o 293214 o 293140 o 293090 o 293016 o 293014 o 292940 o 292939 o 292865 o 292828 o 292826 o 292752 o 292751 o 292677 o 292609 o 292608 o 292607 o 292533 o 292467 o 292393 o 292392 o 292391 o 292317 o 292309 o 292308 o 292234 o 292233 o 292232 o 292158 o 292120 o 292046 o 292045 o 292044 o 291970 o 291923 o 291884 o 291810 o 291809 o 291735 o 291682 o 291609 o 291535 o 291534 o 291460 o 291392 o 291391 o 291390 o 291316 o 291278 o 291204 o 291203 o 291202 o 291128 o 291125 o 291051 o 291049 o 290975 o 290937 o 290863 o 290861 o 290787 o 290786 o 290712 o 290648 o 290609 o 290535 o 290534 o 290460 o 290448 o 290375 o 290301 o 290300 o 290226 o 290188 o 290114 o 290113 o 290112 o 290038 o 289970 o 289969 o 289968 o 289894 o 289859 o 289789 o 289715 o 289713 o 289639 o 289616 o 289468 o 289394 o 289392 o 289318 o 289250 o 289248 o 289174 o 289173 o 289099 o 289061 o 288987 o 288986 o 288985 o 288911 o 288864 o 288826 o 288752 o 288750 o 288676 o 288661 o 288587 o 288585 o 288511 o 288473 o 288399 o 288397 o 288323 o 288266 o 288264 o 288190 o 288152 o 288078 o 288076 o 288002 o 287934 o 287932 o 287858 o 287857 o 287783 o 287756 o 287755 o 287681 o 287680 o 287679 o 287605 o 287537 o 287536 o 287535 o 287461 o 287398 o 287397 o 287323 o 287311 o 287308 o 287240 o 287238 o 287164 o 287163 o 287089 o 287051 o 286977 o 286976 o 286975 o 286901 o 286837 o 286798 o 286724 o 286723 o 286649 o 286637 o 286634 o 286566 o 286564 o 286490 o 286489 o 286415 o 286377 o 286303 o 286302 o 286301 o 286227 o 286221 o 286220 o 286219 o 286145 o 286077 o 286076 o 286075 o 286001 o 285938 o 285937 o 285863 o 285851 o 285848 o 285780 o 285778 o 285704 o 285703 o 285629 o 285591 o 285517 o 285516 o 285515 o 285441 o 285377 o 285338 o 285264 o 285263 o 285189 o 285177 o 285174 o 285106 o 285104 o 285030 o 285029 o 284955 o 284917 o 284843 o 284842 o 284841 o 284767 o 284732 o 284662 o 284588 o 284586 o 284512 o 284489 o 284341 o 284267 o 284265 o 284191 o 284123 o 284121 o 284047 o 284046 o 283972 o 283934 o 283860 o 283859 o 283858 o 283784 o 283737 o 283699 o 283625 o 283623 o 283549 o 283534 o 283460 o 283458 o 283384 o 283346 o 283272 o 283270 o 283196 o 283139 o 283137 o 283063 o 283025 o 282951 o 282949 o 282875 o 282807 o 282805 o 282731 o 282730 o 282656 o 282629 o 282628 o 282554 o 282553 o 282552 o 282478 o 282410 o 282409 o 282408 o 282334 o 282304 o 282303 o 282302 o 282228 o 282186 o 282184 o 282110 o 282077 o 282073 o 281999 o 281931 o 281929 o 281855 o 281817 o 281743 o 281741 o 281667 o 281661 o 281657 o 281583 o 281513 o 281439 o 281437 o 281363 o 281325 o 281251 o 281249 o 281175 o 281174 o 281100 o 281054 o 281052 o 280978 o 280910 o 280908 o 280834 o 280790 o 280722 o 280720 o 280646 o 280645 o 280571 o 280518 o 280445 o 280371 o 280370 o 280296 o 280258 o 280184 o 280183 o 280182 o 280108 o 280040 o 280039 o 280038 o 279964 o 279929 o 279859 o 279785 o 279783 o 279709 o 279686 o 279538 o 279464 o 279462 o 279388 o 279320 o 279318 o 279244 o 279243 o 279169 o 279131 o 279057 o 279056 o 279055 o 278981 o 278934 o 278896 o 278822 o 278820 o 278746 o 278731 o 278657 o 278655 o 278581 o 278543 o 278469 o 278467 o 278393 o 278336 o 278334 o 278260 o 278222 o 278148 o 278146 o 278072 o 278004 o 278002 o 277928 o 277927 o 277853 o 277826 o 277825 o 277751 o 277750 o 277749 o 277675 o 277607 o 277606 o 277605 o 277531 o 277501 o 277500 o 277499 o 277425 o 277383 o 277381 o 277307 o 277274 o 277270 o 277196 o 277128 o 277126 o 277052 o 277014 o 276940 o 276938 o 276864 o 276858 o 276854 o 276780 o 276710 o 276636 o 276634 o 276560 o 276522 o 276448 o 276446 o 276372 o 276371 o 276297 o 276269 o 276268 o 276267 o 276193 o 276163 o 276162 o 276161 o 276087 o 276045 o 276043 o 275969 o 275934 o 275864 o 275790 o 275788 o 275714 o 275667 o 275664 o 275662 o 275588 o 275516 o 275442 o 275440 o 275366 o 275298 o 275296 o 275222 o 275184 o 275110 o 275108 o 275034 o 275033 o 274959 o 274919 o 274918 o 274844 o 274838 o 274835 o 274765 o 274691 o 274690 o 274616 o 274615 o 274614 o 274540 o 274502 o 274428 o 274427 o 274426 o 274352 o 274325 o 274324 o 274250 o 274249 o 274248 o 274174 o 274106 o 274105 o 274104 o 274030 o 273967 o 273966 o 273892 o 273880 o 273877 o 273809 o 273807 o 273733 o 273732 o 273658 o 273620 o 273546 o 273545 o 273544 o 273470 o 273406 o 273367 o 273293 o 273292 o 273218 o 273206 o 273203 o 273135 o 273133 o 273059 o 273058 o 272984 o 272946 o 272872 o 272871 o 272870 o 272796 o 272759 o 272757 o 272683 o 272645 o 272571 o 272569 o 272495 o 272494 o 272420 o 272367 o 272294 o 272220 o 272219 o 272145 o 272107 o 272033 o 272032 o 272031 o 271957 o 271889 o 271888 o 271887 o 271813 o 271767 o 271765 o 271691 o 271619 o 271545 o 271543 o 271469 o 271468 o 271394 o 271356 o 271282 o 271281 o 271280 o 271206 o 271192 o 271190 o 271116 o 271093 o 270945 o 270871 o 270869 o 270795 o 270794 o 270720 o 270682 o 270608 o 270607 o 270606 o 270532 o 270464 o 270463 o 270462 o 270388 o 270350 o 270349 o 270348 o 270274 o 270206 o 270205 o 270204 o 270130 o 270072 o 270071 o 270070 o 269996 o 269958 o 269884 o 269883 o 269882 o 269808 o 269778 o 269777 o 269776 o 269702 o 269660 o 269658 o 269584 o 269551 o 269547 o 269473 o 269405 o 269403 o 269329 o 269291 o 269217 o 269215 o 269141 o 269135 o 269131 o 269057 o 268987 o 268913 o 268911 o 268837 o 268799 o 268725 o 268723 o 268649 o 268648 o 268574 o 268537 o 268535 o 268461 o 268423 o 268349 o 268347 o 268273 o 268272 o 268198 o 268145 o 268072 o 267998 o 267997 o 267923 o 267855 o 267854 o 267853 o 267779 o 267741 o 267667 o 267666 o 267665 o 267591 o 267546 o 267508 o 267434 o 267432 o 267358 o 267357 o 267283 o 267230 o 267157 o 267083 o 267082 o 267008 o 266970 o 266896 o 266895 o 266894 o 266820 o 266752 o 266751 o 266750 o 266676 o 266626 o 266587 o 266513 o 266512 o 266438 o 266392 o 266353 o 266279 o 266278 o 266204 o 266130 o 266115 o 266047 o 266045 o 265971 o 265970 o 265896 o 265861 o 265787 o 265786 o 265785 o 265711 o 265667 o 265599 o 265598 o 265597 o 265523 o 265509 o 265508 o 265507 o 265433 o 265365 o 265364 o 265363 o 265289 o 265235 o 265161 o 265159 o 265085 o 265084 o 265010 o 264972 o 264898 o 264897 o 264896 o 264822 o 264778 o 264777 o 264776 o 264702 o 264663 o 264589 o 264588 o 264514 o 264503 o 264501 o 264427 o 264424 o 264422 o 264348 o 264314 o 264276 o 264202 o 264200 o 264126 o 264058 o 264056 o 263982 o 263981 o 263907 o 263857 o 263818 o 263744 o 263743 o 263669 o 263623 o 263584 o 263510 o 263509 o 263435 o 263361 o 263350 o 263348 o 263274 o 263271 o 263269 o 263195 o 263161 o 263123 o 263049 o 263047 o 262973 o 262905 o 262903 o 262829 o 262828 o 262754 o 262708 o 262669 o 262595 o 262594 o 262520 o 262502 o 262501 o 262500 o 262426 o 262387 o 262313 o 262312 o 262238 o 262227 o 262225 o 262151 o 262148 o 262146 o 262072 o 262038 o 262000 o 261926 o 261924 o 261850 o 261782 o 261780 o 261706 o 261705 o 261631 o 261617 o 261616 o 261615 o 261541 o 261473 o 261472 o 261471 o 261397 o 261372 o 261371 o 261370 o 261296 o 261241 o 261216 o 261215 o 261214 o 261140 o 261120 o 261118 o 261044 o 261021 o 260996 o 260994 o 260920 o 260850 o 260776 o 260774 o 260700 o 260675 o 260673 o 260599 o 260598 o 260524 o 260513 o 260512 o 260511 o 260437 o 260412 o 260411 o 260410 o 260336 o 260327 o 260253 o 260251 o 260177 o 260176 o 260102 o 260091 o 260090 o 260089 o 260015 o 259990 o 259989 o 259988 o 259914 o 259854 o 259829 o 259828 o 259827 o 259753 o 259697 o 259623 o 259621 o 259547 o 259522 o 259520 o 259446 o 259435 o 259433 o 259359 o 259334 o 259332 o 259258 o 259257 o 259183 o 259171 o 259125 o 259124 o 259050 o 259024 o 259023 o 258949 o 258938 o 258937 o 258936 o 258862 o 258837 o 258836 o 258835 o 258761 o 258715 o 258702 o 258628 o 258603 o 258602 o 258601 o 258527 o 258452 o 258378 o 258376 o 258302 o 258279 o 258275 o 258201 o 258176 o 258131 o 258057 o 258055 o 257981 o 257943 o 257869 o 257867 o 257793 o 257792 o 257718 o 257672 o 257633 o 257559 o 257558 o 257484 o 257466 o 257465 o 257464 o 257390 o 257351 o 257277 o 257276 o 257202 o 257191 o 257189 o 257115 o 257083 o 257009 o 257007 o 256933 o 256890 o 256888 o 256814 o 256789 o 256746 o 256744 o 256670 o 256669 o 256595 o 256581 o 256580 o 256579 o 256505 o 256480 o 256437 o 256436 o 256435 o 256361 o 256336 o 256335 o 256334 o 256260 o 256223 o 256205 o 256180 o 256179 o 256178 o 256104 o 256060 o 255991 o 255948 o 255946 o 255872 o 255857 o 255783 o 255781 o 255707 o 255669 o 255595 o 255593 o 255519 o 255462 o 255460 o 255386 o 255348 o 255274 o 255272 o 255198 o 255197 o 255123 o 255055 o 255054 o 255053 o 254979 o 254954 o 254953 o 254952 o 254878 o 254836 o 254818 o 254793 o 254792 o 254791 o 254717 o 254704 o 254630 o 254628 o 254554 o 254531 o 254502 o 254428 o 254383 o 254309 o 254307 o 254233 o 254165 o 254163 o 254089 o 254045 o 254020 o 253977 o 253975 o 253901 o 253900 o 253826 o 253801 o 253800 o 253799 o 253725 o 253679 o 253666 o 253592 o 253567 o 253566 o 253565 o 253491 o 253458 o 253384 o 253382 o 253308 o 253307 o 253233 o 253196 o 253194 o 253120 o 253119 o 253045 o 252999 o 252960 o 252886 o 252885 o 252811 o 252804 o 252790 o 252789 o 252788 o 252714 o 252689 o 252671 o 252646 o 252645 o 252644 o 252570 o 252529 o 252483 o 252446 o 252445 o 252371 o 252370 o 252369 o 252295 o 252269 o 252268 o 252194 o 252159 o 252085 o 252084 o 252083 o 252009 o 251965 o 251922 o 251897 o 251896 o 251895 o 251821 o 251807 o 251806 o 251805 o 251731 o 251706 o 251688 o 251663 o 251662 o 251661 o 251587 o 251545 o 251534 o 251533 o 251532 o 251458 o 251433 o 251432 o 251431 o 251357 o 251293 o 251249 o 251181 o 251179 o 251105 o 251059 o 251015 o 250947 o 250945 o 250871 o 250860 o 250858 o 250784 o 250738 o 250700 o 250626 o 250624 o 250550 o 250549 o 250475 o 250449 o 250448 o 250374 o 250354 o 250353 o 250352 o 250278 o 250264 o 250263 o 250262 o 250188 o 250163 o 250145 o 250120 o 250119 o 250118 o 250044 o 250015 o 249990 o 249989 o 249988 o 249914 o 249902 o 249901 o 249827 o 249801 o 249800 o 249726 o 249680 o 249668 o 249667 o 249593 o 249567 o 249566 o 249492 o 249491 o 249417 o 249416 o 249415 o 249341 o 249315 o 249314 o 249240 o 249229 o 249228 o 249227 o 249153 o 249127 o 249126 o 249052 o 249006 o 248994 o 248993 o 248919 o 248893 o 248892 o 248818 o 248798 o 248769 o 248695 o 248652 o 248650 o 248576 o 248538 o 248464 o 248462 o 248388 o 248342 o 248273 o 248230 o 248228 o 248154 o 248086 o 248084 o 248010 o 248009 o 247935 o 247909 o 247908 o 247834 o 247773 o 247748 o 247747 o 247746 o 247672 o 247626 o 247615 o 247614 o 247613 o 247539 o 247514 o 247513 o 247512 o 247438 o 247418 o 247417 o 247416 o 247342 o 247328 o 247327 o 247326 o 247252 o 247227 o 247209 o 247184 o 247183 o 247182 o 247108 o 247079 o 247054 o 247053 o 247052 o 246978 o 246966 o 246965 o 246891 o 246865 o 246864 o 246790 o 246744 o 246732 o 246731 o 246657 o 246631 o 246630 o 246556 o 246555 o 246481 o 246480 o 246479 o 246405 o 246379 o 246378 o 246304 o 246293 o 246292 o 246291 o 246217 o 246191 o 246190 o 246116 o 246070 o 246058 o 246057 o 245983 o 245957 o 245956 o 245882 o 245809 o 245774 o 245700 o 245699 o 245698 o 245624 o 245586 o 245512 o 245511 o 245510 o 245436 o 245390 o 245351 o 245277 o 245276 o 245202 o 245191 o 245145 o 245108 o 245107 o 245033 o 245032 o 245031 o 244957 o 244931 o 244930 o 244856 o 244821 o 244747 o 244746 o 244745 o 244671 o 244602 o 244584 o 244559 o 244558 o 244557 o 244483 o 244444 o 244443 o 244442 o 244368 o 244350 o 244325 o 244324 o 244323 o 244249 o 244176 o 244130 o 244093 o 244092 o 244018 o 244017 o 244016 o 243942 o 243916 o 243915 o 243841 o 243811 o 243765 o 243764 o 243690 o 243664 o 243663 o 243589 o 243578 o 243577 o 243576 o 243502 o 243477 o 243476 o 243475 o 243401 o 243355 o 243343 o 243342 o 243268 o 243242 o 243241 o 243167 o 243124 o 243099 o 243098 o 243097 o 243023 o 242958 o 242933 o 242932 o 242931 o 242857 o 242845 o 242844 o 242770 o 242744 o 242743 o 242669 o 242623 o 242611 o 242610 o 242536 o 242510 o 242509 o 242435 o 242406 o 242381 o 242380 o 242379 o 242305 o 242293 o 242292 o 242218 o 242192 o 242191 o 242117 o 242071 o 242059 o 242058 o 241984 o 241958 o 241957 o 241883 o 241882 o 241808 o 241807 o 241806 o 241732 o 241706 o 241705 o 241631 o 241620 o 241619 o 241618 o 241544 o 241518 o 241517 o 241443 o 241397 o 241385 o 241384 o 241310 o 241284 o 241283 o 241209 o 241189 o 241160 o 241086 o 241043 o 241041 o 240967 o 240929 o 240855 o 240853 o 240779 o 240733 o 240664 o 240621 o 240619 o 240545 o 240477 o 240475 o 240401 o 240400 o 240326 o 240300 o 240299 o 240225 o 240201 o 240176 o 240158 o 240133 o 240132 o 240131 o 240057 o 240016 o 239970 o 239933 o 239932 o 239858 o 239857 o 239856 o 239782 o 239756 o 239755 o 239681 o 239646 o 239572 o 239571 o 239570 o 239496 o 239452 o 239409 o 239384 o 239383 o 239382 o 239308 o 239294 o 239293 o 239292 o 239218 o 239193 o 239175 o 239150 o 239149 o 239148 o 239074 o 239054 o 239053 o 239052 o 238978 o 238964 o 238963 o 238962 o 238888 o 238863 o 238845 o 238820 o 238819 o 238818 o 238744 o 238715 o 238690 o 238689 o 238688 o 238614 o 238602 o 238601 o 238527 o 238501 o 238500 o 238426 o 238380 o 238368 o 238367 o 238293 o 238267 o 238266 o 238192 o 238191 o 238117 o 238116 o 238115 o 238041 o 238015 o 238014 o 237940 o 237929 o 237928 o 237927 o 237853 o 237827 o 237826 o 237752 o 237706 o 237694 o 237693 o 237619 o 237593 o 237592 o 237518 o 237517 o 237451 o 237450 o 237449 o 237375 o 237361 o 237360 o 237359 o 237285 o 237260 o 237242 o 237217 o 237216 o 237215 o 237141 o 237106 o 237032 o 237031 o 237030 o 236956 o 236912 o 236869 o 236844 o 236843 o 236842 o 236768 o 236754 o 236753 o 236752 o 236678 o 236653 o 236635 o 236610 o 236609 o 236608 o 236534 o 236512 o 236487 o 236469 o 236444 o 236443 o 236442 o 236368 o 236312 o 236238 o 236236 o 236162 o 236161 o 236087 o 236050 o 236048 o 235974 o 235973 o 235899 o 235890 o 235816 o 235814 o 235740 o 235739 o 235665 o 235640 o 235639 o 235638 o 235564 o 235553 o 235552 o 235551 o 235477 o 235451 o 235450 o 235376 o 235330 o 235318 o 235317 o 235243 o 235217 o 235216 o 235142 o 235141 o 235075 o 235074 o 235073 o 234999 o 234985 o 234984 o 234983 o 234909 o 234884 o 234866 o 234841 o 234840 o 234839 o 234765 o 234730 o 234656 o 234655 o 234654 o 234580 o 234536 o 234493 o 234468 o 234467 o 234466 o 234392 o 234378 o 234377 o 234376 o 234302 o 234277 o 234259 o 234234 o 234233 o 234232 o 234158 o 234143 o 234142 o 234141 o 234067 o 234021 o 234010 o 234009 o 234008 o 233934 o 233909 o 233908 o 233907 o 233833 o 233794 o 233769 o 233768 o 233767 o 233693 o 233681 o 233680 o 233606 o 233580 o 233579 o 233505 o 233459 o 233447 o 233446 o 233372 o 233346 o 233345 o 233271 o 233206 o 233181 o 233180 o 233179 o 233105 o 233093 o 233092 o 233018 o 232992 o 232991 o 232917 o 232871 o 232859 o 232858 o 232784 o 232758 o 232757 o 232683 o 232654 o 232629 o 232628 o 232627 o 232553 o 232541 o 232540 o 232466 o 232440 o 232439 o 232365 o 232319 o 232307 o 232306 o 232232 o 232206 o 232205 o 232131 o 232130 o 232056 o 232055 o 232054 o 231980 o 231954 o 231953 o 231879 o 231868 o 231867 o 231866 o 231792 o 231766 o 231765 o 231691 o 231645 o 231633 o 231632 o 231558 o 231532 o 231531 o 231457 o 231398 o 231373 o 231372 o 231371 o 231297 o 231283 o 231282 o 231281 o 231207 o 231182 o 231164 o 231139 o 231138 o 231137 o 231063 o 231034 o 231009 o 231008 o 231007 o 230933 o 230921 o 230920 o 230846 o 230820 o 230819 o 230745 o 230699 o 230687 o 230686 o 230612 o 230586 o 230585 o 230511 o 230510 o 230436 o 230435 o 230434 o 230360 o 230334 o 230333 o 230259 o 230248 o 230247 o 230246 o 230172 o 230146 o 230145 o 230071 o 230025 o 230013 o 230012 o 229938 o 229912 o 229911 o 229837 o 229798 o 229773 o 229772 o 229771 o 229697 o 229685 o 229684 o 229610 o 229584 o 229583 o 229509 o 229463 o 229451 o 229450 o 229376 o 229350 o 229349 o 229275 o 229210 o 229185 o 229184 o 229183 o 229109 o 229097 o 229096 o 229022 o 228996 o 228995 o 228921 o 228875 o 228863 o 228862 o 228788 o 228762 o 228761 o 228687 o 228658 o 228633 o 228632 o 228631 o 228557 o 228545 o 228544 o 228470 o 228444 o 228443 o 228369 o 228323 o 228311 o 228310 o 228236 o 228210 o 228209 o 228135 o 228134 o 228060 o 228059 o 228058 o 227984 o 227958 o 227957 o 227883 o 227872 o 227871 o 227870 o 227796 o 227770 o 227769 o 227695 o 227649 o 227637 o 227636 o 227562 o 227536 o 227535 o 227461 o 227458 o 227457 o 227456 o 227382 o 227356 o 227355 o 227281 o 227246 o 227172 o 227171 o 227170 o 227096 o 227027 o 227009 o 226984 o 226983 o 226982 o 226908 o 226869 o 226868 o 226867 o 226793 o 226775 o 226750 o 226749 o 226748 o 226674 o 226601 o 226555 o 226518 o 226517 o 226443 o 226442 o 226441 o 226367 o 226341 o 226340 o 226266 o 226236 o 226235 o 226191 o 226190 o 226189 o 226115 o 226089 o 226088 o 226014 o 226003 o 226002 o 226001 o 225927 o 225902 o 225901 o 225900 o 225826 o 225780 o 225768 o 225767 o 225693 o 225667 o 225666 o 225592 o 225549 o 225524 o 225523 o 225522 o 225448 o 225389 o 225364 o 225363 o 225362 o 225288 o 225274 o 225249 o 225248 o 225247 o 225173 o 225155 o 225130 o 225129 o 225128 o 225054 o 224981 o 224935 o 224898 o 224897 o 224823 o 224822 o 224821 o 224747 o 224721 o 224720 o 224646 o 224616 o 224615 o 224571 o 224570 o 224569 o 224495 o 224469 o 224468 o 224394 o 224383 o 224382 o 224381 o 224307 o 224282 o 224281 o 224280 o 224206 o 224160 o 224148 o 224147 o 224073 o 224047 o 224046 o 223972 o 223929 o 223904 o 223903 o 223902 o 223828 o 223791 o 223790 o 223716 o 223688 o 223614 o 223612 o 223538 o 223537 o 223463 o 223454 o 223380 o 223378 o 223304 o 223303 o 223229 o 223184 o 223183 o 223109 o 223083 o 223082 o 223008 o 222988 o 222987 o 222986 o 222912 o 222898 o 222897 o 222896 o 222822 o 222797 o 222779 o 222754 o 222753 o 222752 o 222678 o 222649 o 222624 o 222623 o 222622 o 222548 o 222536 o 222535 o 222461 o 222435 o 222434 o 222360 o 222314 o 222302 o 222301 o 222227 o 222201 o 222200 o 222126 o 222125 o 222051 o 222050 o 222049 o 221975 o 221949 o 221948 o 221874 o 221863 o 221862 o 221861 o 221787 o 221761 o 221760 o 221686 o 221640 o 221628 o 221627 o 221553 o 221527 o 221526 o 221452 o 221451 o 221450 o 221376 o 221350 o 221349 o 221275 o 221261 o 221260 o 221259 o 221185 o 221160 o 221142 o 221117 o 221116 o 221115 o 221041 o 220968 o 220901 o 220854 o 220853 o 220779 o 220778 o 220777 o 220703 o 220658 o 220657 o 220583 o 220515 o 220470 o 220469 o 220395 o 220369 o 220368 o 220294 o 220237 o 220225 o 220224 o 220150 o 220124 o 220123 o 220049 o 220003 o 219991 o 219990 o 219916 o 219890 o 219889 o 219815 o 219756 o 219731 o 219730 o 219729 o 219655 o 219641 o 219640 o 219639 o 219565 o 219540 o 219522 o 219497 o 219496 o 219495 o 219421 o 219348 o 219281 o 219234 o 219233 o 219159 o 219158 o 219157 o 219083 o 219038 o 219037 o 218963 o 218937 o 218936 o 218862 o 218851 o 218850 o 218849 o 218775 o 218749 o 218748 o 218674 o 218617 o 218605 o 218604 o 218530 o 218504 o 218503 o 218429 o 218383 o 218371 o 218370 o 218296 o 218270 o 218269 o 218195 o 218129 o 218115 o 218090 o 218089 o 218088 o 218014 o 217996 o 217971 o 217970 o 217969 o 217895 o 217873 o 217872 o 217871 o 217797 o 217785 o 217784 o 217710 o 217684 o 217683 o 217609 o 217563 o 217551 o 217550 o 217476 o 217450 o 217449 o 217375 o 217325 o 217300 o 217299 o 217298 o 217224 o 217212 o 217211 o 217137 o 217111 o 217110 o 217036 o 217022 o 217021 o 217020 o 216946 o 216903 o 216878 o 216877 o 216876 o 216802 o 216753 o 216708 o 216707 o 216633 o 216587 o 216519 o 216475 o 216474 o 216473 o 216399 o 216373 o 216372 o 216298 o 216230 o 216229 o 216228 o 216154 o 216108 o 216071 o 216070 o 215996 o 215995 o 215994 o 215920 o 215894 o 215893 o 215819 o 215816 o 215807 o 215793 o 215792 o 215791 o 215717 o 215692 o 215674 o 215649 o 215648 o 215647 o 215573 o 215530 o 215526 o 215452 o 215427 o 215384 o 215382 o 215308 o 215270 o 215196 o 215194 o 215120 o 215074 o 215030 o 214962 o 214960 o 214886 o 214885 o 214811 o 214766 o 214765 o 214691 o 214665 o 214664 o 214590 o 214589 o 214588 o 214514 o 214488 o 214487 o 214413 o 214374 o 214373 o 214372 o 214298 o 214280 o 214255 o 214254 o 214253 o 214179 o 214175 o 214174 o 214173 o 214099 o 214073 o 214072 o 213998 o 213941 o 213940 o 213939 o 213865 o 213839 o 213838 o 213764 o 213753 o 213752 o 213751 o 213677 o 213651 o 213650 o 213576 o 213533 o 213507 o 213506 o 213432 o 213375 o 213363 o 213362 o 213288 o 213262 o 213261 o 213187 o 213173 o 213172 o 213171 o 213097 o 213054 o 213029 o 213028 o 213027 o 212953 o 212894 o 212869 o 212868 o 212867 o 212793 o 212779 o 212778 o 212777 o 212703 o 212678 o 212660 o 212635 o 212634 o 212633 o 212559 o 212486 o 212419 o 212372 o 212371 o 212297 o 212296 o 212295 o 212221 o 212176 o 212175 o 212101 o 212075 o 212074 o 212000 o 211989 o 211988 o 211987 o 211913 o 211887 o 211886 o 211812 o 211755 o 211743 o 211742 o 211668 o 211642 o 211641 o 211567 o 211521 o 211509 o 211508 o 211434 o 211408 o 211407 o 211333 o 211267 o 211253 o 211228 o 211227 o 211226 o 211152 o 211134 o 211109 o 211108 o 211107 o 211033 o 211011 o 211010 o 211009 o 210935 o 210923 o 210922 o 210848 o 210822 o 210821 o 210747 o 210701 o 210689 o 210688 o 210614 o 210588 o 210587 o 210513 o 210463 o 210438 o 210437 o 210436 o 210362 o 210350 o 210349 o 210275 o 210249 o 210248 o 210174 o 210160 o 210159 o 210158 o 210084 o 210059 o 210041 o 210016 o 210015 o 210014 o 209940 o 209891 o 209846 o 209845 o 209771 o 209725 o 209657 o 209613 o 209612 o 209611 o 209537 o 209511 o 209510 o 209436 o 209368 o 209367 o 209366 o 209292 o 209246 o 209209 o 209208 o 209134 o 209133 o 209132 o 209058 o 209032 o 209031 o 208957 o 208952 o 208951 o 208950 o 208876 o 208851 o 208850 o 208849 o 208775 o 208763 o 208762 o 208688 o 208662 o 208661 o 208587 o 208541 o 208529 o 208528 o 208454 o 208428 o 208427 o 208353 o 208323 o 208252 o 208251 o 208250 o 208176 o 208162 o 208161 o 208160 o 208086 o 208061 o 208043 o 208018 o 208017 o 208016 o 207942 o 207869 o 207810 o 207764 o 207753 o 207752 o 207751 o 207677 o 207652 o 207651 o 207650 o 207576 o 207505 o 207504 o 207503 o 207429 o 207415 o 207414 o 207413 o 207339 o 207314 o 207296 o 207271 o 207270 o 207269 o 207195 o 207138 o 207126 o 207125 o 207051 o 207025 o 207024 o 206950 o 206904 o 206892 o 206891 o 206817 o 206791 o 206790 o 206716 o 206695 o 206694 o 206620 o 206587 o 206513 o 206512 o 206438 o 206437 o 206436 o 206362 o 206317 o 206316 o 206242 o 206216 o 206215 o 206141 o 206070 o 206069 o 206068 o 205994 o 205980 o 205955 o 205954 o 205953 o 205879 o 205861 o 205836 o 205835 o 205834 o 205760 o 205756 o 205755 o 205754 o 205680 o 205654 o 205653 o 205579 o 205522 o 205521 o 205520 o 205446 o 205420 o 205419 o 205345 o 205334 o 205333 o 205332 o 205258 o 205232 o 205231 o 205157 o 205114 o 205088 o 205087 o 205013 o 204956 o 204944 o 204943 o 204869 o 204843 o 204842 o 204768 o 204754 o 204753 o 204752 o 204678 o 204635 o 204610 o 204609 o 204608 o 204534 o 204515 o 204504 o 204503 o 204502 o 204428 o 204403 o 204402 o 204401 o 204327 o 204256 o 204255 o 204254 o 204180 o 204166 o 204165 o 204164 o 204090 o 204065 o 204047 o 204022 o 204021 o 204020 o 203946 o 203873 o 203814 o 203768 o 203757 o 203756 o 203755 o 203681 o 203656 o 203655 o 203654 o 203580 o 203509 o 203508 o 203507 o 203433 o 203419 o 203418 o 203417 o 203343 o 203318 o 203300 o 203275 o 203274 o 203273 o 203199 o 203142 o 203130 o 203129 o 203055 o 203029 o 203028 o 202954 o 202908 o 202896 o 202895 o 202821 o 202795 o 202794 o 202720 o 202660 o 202625 o 202614 o 202613 o 202612 o 202538 o 202513 o 202512 o 202511 o 202437 o 202366 o 202365 o 202364 o 202290 o 202276 o 202251 o 202250 o 202249 o 202175 o 202157 o 202132 o 202131 o 202130 o 202056 o 202026 o 201955 o 201954 o 201953 o 201879 o 201865 o Killed 1819.715u 0.007s 30:19.66 100.0% 0+0k 0+0io 0pf+0w