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-120-1_network-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-3.net.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 316 1067 1901825 WARNING: Ubcsat not found. o 1901825 o 359312 o 358494 o 358015 o 358007 o 357977 o 357498 o 357370 o 357320 o 357302 o 356083 o 356075 o 356045 o 355566 o 355438 o 355097 o 354969 o 354919 o 354901 o 354877 o 354749 o 354746 o 354716 o 354237 o 354109 o 353682 o 353674 o 353644 o 353165 o 353037 o 352962 o 352834 o 352438 o 352430 o 352400 o 351921 o 351793 o 351771 o 351633 o 351505 o 351430 o 351302 o 351202 o 351074 o 350655 o 350527 o 350389 o 350261 o 350240 o 350112 o 350090 o 349952 o 349824 o 349749 o 349621 o 349521 o 349393 o 348974 o 348846 o 348708 o 348580 o 348496 o 348421 o 348293 o 348193 o 348065 o 347646 o 347518 o 347380 o 347252 o 346894 o 346766 o 346628 o 346500 o 346490 o 346362 o 346224 o 346096 o 346075 o 345947 o 345925 o 345787 o 345659 o 345584 o 345456 o 345356 o 345228 o 344809 o 344681 o 344543 o 344415 o 344331 o 344256 o 344128 o 344028 o 343900 o 343481 o 343353 o 343215 o 343087 o 342983 o 342975 o 342847 o 342823 o 342695 o 342644 o 342620 o 342492 o 342416 o 341997 o 341869 o 341731 o 341603 o 341579 o 341451 o 341367 o 341316 o 341292 o 341164 o 341088 o 340669 o 340541 o 340403 o 340275 o 340251 o 340123 o 339849 o 339721 o 339583 o 339455 o 339431 o 339303 o 339219 o 339168 o 339144 o 339016 o 338940 o 338521 o 338393 o 338255 o 338127 o 338103 o 337975 o 337958 o 337880 o 337668 o 337540 o 337402 o 337274 o 337250 o 337122 o 337048 o 336910 o 336782 o 336758 o 336630 o 336552 o 336439 o 336311 o 336173 o 336045 o 336021 o 335893 o 335876 o 335798 o 335586 o 335458 o 335320 o 335192 o 335168 o 335040 o 334966 o 334828 o 334700 o 334676 o 334548 o 334470 o 334449 o 334321 o 334247 o 334109 o 333981 o 333957 o 333829 o 333751 o 333697 o 333569 o 333545 o 333417 o 333339 o 333226 o 333098 o 332960 o 332832 o 332808 o 332680 o 332663 o 332585 o 332373 o 332245 o 332107 o 331979 o 331955 o 331827 o 331753 o 331615 o 331487 o 331463 o 331335 o 331257 o 331236 o 331108 o 331034 o 330896 o 330768 o 330744 o 330616 o 330538 o 330516 o 330499 o 330421 o 330209 o 330081 o 329943 o 329815 o 329791 o 329663 o 329589 o 329451 o 329323 o 329299 o 329171 o 329093 o 329072 o 328944 o 328870 o 328732 o 328604 o 328580 o 328452 o 328374 o 328325 o 328251 o 328113 o 327985 o 327961 o 327833 o 327755 o 327734 o 327606 o 327532 o 327394 o 327266 o 327242 o 327114 o 327036 o 326962 o 326834 o 326810 o 326682 o 326604 o 326583 o 326455 o 326381 o 326243 o 326115 o 326091 o 325963 o 325885 o 325847 o 325823 o 325695 o 325617 o 325568 o 325494 o 325356 o 325228 o 325204 o 325076 o 324998 o 324977 o 324849 o 324775 o 324637 o 324509 o 324485 o 324357 o 324279 o 324249 o 324225 o 324097 o 324019 o 323998 o 323870 o 323796 o 323658 o 323530 o 323506 o 323378 o 323300 o 323262 o 323238 o 323110 o 323032 o 322983 o 322909 o 322771 o 322643 o 322619 o 322491 o 322413 o 322392 o 322264 o 322190 o 322052 o 321924 o 321900 o 321772 o 321694 o 321686 o 321558 o 321480 o 321419 o 321281 o 321153 o 321129 o 321001 o 320923 o 320889 o 320761 o 320737 o 320609 o 320531 o 320510 o 320382 o 320308 o 320170 o 320042 o 320018 o 319890 o 319812 o 319804 o 319724 o 319646 o 319614 o 319536 o 319456 o 319378 o 319275 o 319147 o 319123 o 318995 o 318917 o 318837 o 318759 o 318694 o 318556 o 318428 o 318404 o 318276 o 318198 o 318118 o 318040 o 317984 o 317904 o 317826 o 317785 o 317657 o 317633 o 317505 o 317427 o 317347 o 317269 o 317265 o 317241 o 317113 o 317035 o 316955 o 316877 o 316812 o 316674 o 316546 o 316522 o 316394 o 316316 o 316236 o 316158 o 316137 o 316059 o 315979 o 315901 o 315842 o 315764 o 315684 o 315606 o 315541 o 315403 o 315275 o 315251 o 315123 o 315045 o 314965 o 314887 o 314831 o 314751 o 314673 o 314632 o 314504 o 314480 o 314352 o 314274 o 314194 o 314116 o 314112 o 314088 o 313960 o 313882 o 313802 o 313724 o 313659 o 313521 o 313393 o 313369 o 313241 o 313163 o 313083 o 313005 o 312903 o 312775 o 312751 o 312623 o 312545 o 312465 o 312387 o 312366 o 312288 o 312208 o 312130 o 312071 o 311993 o 311913 o 311835 o 311770 o 311632 o 311504 o 311480 o 311352 o 311274 o 311194 o 311116 o 311060 o 310980 o 310902 o 310861 o 310733 o 310709 o 310581 o 310503 o 310423 o 310345 o 310341 o 310317 o 310189 o 310111 o 310031 o 309953 o 309888 o 309750 o 309622 o 309598 o 309470 o 309392 o 309312 o 309234 o 309122 o 309098 o 308970 o 308892 o 308812 o 308734 o 308684 o 308606 o 308544 o 308483 o 308355 o 308278 o 308203 o 308126 o 308125 o 308048 o 308045 o 307968 o 307967 o 307890 o 307834 o 307831 o 307754 o 307753 o 307676 o 307584 o 307507 o 307432 o 307355 o 307354 o 307277 o 307274 o 307197 o 307196 o 307119 o 307115 o 307040 o 306963 o 306962 o 306885 o 306882 o 306805 o 306804 o 306727 o 306662 o 306601 o 306473 o 306396 o 306321 o 306244 o 306243 o 306166 o 306163 o 306086 o 306085 o 306008 o 305973 o 305896 o 305821 o 305744 o 305743 o 305666 o 305663 o 305586 o 305585 o 305508 o 305458 o 305457 o 305380 o 305303 o 305225 o 305160 o 305022 o 304894 o 304870 o 304742 o 304664 o 304584 o 304506 o 304394 o 304370 o 304242 o 304164 o 304084 o 304006 o 303956 o 303878 o 303816 o 303755 o 303627 o 303550 o 303475 o 303398 o 303397 o 303320 o 303317 o 303240 o 303239 o 303162 o 303106 o 303103 o 303026 o 303025 o 302948 o 302856 o 302779 o 302704 o 302627 o 302626 o 302549 o 302546 o 302469 o 302468 o 302391 o 302387 o 302312 o 302235 o 302234 o 302157 o 302154 o 302077 o 302076 o 301999 o 301934 o 301873 o 301745 o 301668 o 301593 o 301516 o 301515 o 301438 o 301435 o 301358 o 301357 o 301280 o 301245 o 301168 o 301093 o 301016 o 301015 o 300938 o 300935 o 300858 o 300857 o 300780 o 300730 o 300729 o 300652 o 300626 o 300549 o 300548 o 300471 o 300468 o 300391 o 300390 o 300313 o 300278 o 300201 o 300126 o 300049 o 300048 o 299971 o 299968 o 299891 o 299890 o 299813 o 299763 o 299762 o 299685 o 299663 o 299586 o 299508 o 299443 o 299305 o 299177 o 299153 o 299025 o 298947 o 298867 o 298789 o 298677 o 298653 o 298525 o 298447 o 298367 o 298289 o 298239 o 298161 o 298099 o 298038 o 297910 o 297833 o 297758 o 297681 o 297680 o 297603 o 297600 o 297523 o 297522 o 297445 o 297389 o 297386 o 297309 o 297308 o 297231 o 297139 o 297062 o 296987 o 296910 o 296909 o 296832 o 296829 o 296752 o 296751 o 296674 o 296670 o 296595 o 296518 o 296517 o 296440 o 296437 o 296360 o 296359 o 296282 o 296217 o 296156 o 296028 o 295951 o 295876 o 295799 o 295798 o 295721 o 295718 o 295641 o 295640 o 295563 o 295528 o 295451 o 295376 o 295299 o 295298 o 295221 o 295218 o 295141 o 295140 o 295063 o 295013 o 295012 o 294935 o 294867 o 294792 o 294715 o 294714 o 294637 o 294634 o 294557 o 294556 o 294479 o 294429 o 294428 o 294351 o 294329 o 294252 o 294174 o 294109 o 293971 o 293843 o 293819 o 293691 o 293613 o 293533 o 293455 o 293343 o 293319 o 293191 o 293113 o 293033 o 292955 o 292905 o 292827 o 292765 o 292704 o 292576 o 292499 o 292424 o 292347 o 292346 o 292269 o 292266 o 292189 o 292188 o 292111 o 292055 o 292052 o 291975 o 291974 o 291897 o 291805 o 291728 o 291653 o 291576 o 291575 o 291498 o 291495 o 291418 o 291417 o 291340 o 291336 o 291261 o 291184 o 291183 o 291106 o 291103 o 291026 o 291025 o 290948 o 290883 o 290822 o 290694 o 290617 o 290542 o 290465 o 290464 o 290387 o 290384 o 290307 o 290306 o 290229 o 290194 o 290117 o 290042 o 289965 o 289964 o 289887 o 289884 o 289807 o 289806 o 289729 o 289679 o 289678 o 289601 o 289573 o 289572 o 289495 o 289439 o 289436 o 289359 o 289358 o 289281 o 289189 o 289112 o 289037 o 288960 o 288959 o 288882 o 288879 o 288802 o 288801 o 288724 o 288720 o 288645 o 288568 o 288567 o 288490 o 288487 o 288410 o 288409 o 288332 o 288267 o 288206 o 288078 o 288001 o 287926 o 287849 o 287848 o 287771 o 287768 o 287691 o 287690 o 287613 o 287578 o 287501 o 287426 o 287349 o 287348 o 287271 o 287268 o 287191 o 287190 o 287113 o 287063 o 287062 o 286985 o 286982 o 286907 o 286830 o 286829 o 286752 o 286749 o 286672 o 286671 o 286594 o 286529 o 286468 o 286340 o 286263 o 286188 o 286111 o 286110 o 286033 o 286030 o 285953 o 285952 o 285875 o 285840 o 285763 o 285688 o 285611 o 285610 o 285533 o 285530 o 285453 o 285452 o 285375 o 285325 o 285324 o 285247 o 285197 o 285196 o 285119 o 285116 o 285039 o 285038 o 284961 o 284911 o 284910 o 284833 o 284830 o 284755 o 284678 o 284677 o 284600 o 284597 o 284520 o 284519 o 284442 o 284378 o 284377 o 284300 o 284242 o 284241 o 284164 o 284111 o 284036 o 283959 o 283958 o 283881 o 283878 o 283801 o 283800 o 283723 o 283664 o 283611 o 283536 o 283459 o 283458 o 283381 o 283378 o 283301 o 283300 o 283223 o 283173 o 283172 o 283095 o 283061 o 282984 o 282983 o 282906 o 282903 o 282826 o 282825 o 282748 o 282683 o 282622 o 282494 o 282417 o 282342 o 282265 o 282264 o 282187 o 282184 o 282107 o 282106 o 282029 o 281994 o 281917 o 281842 o 281765 o 281764 o 281687 o 281684 o 281607 o 281606 o 281529 o 281479 o 281478 o 281401 o 281351 o 281350 o 281273 o 281270 o 281193 o 281192 o 281115 o 281065 o 281064 o 280987 o 280984 o 280909 o 280832 o 280831 o 280754 o 280751 o 280674 o 280673 o 280596 o 280532 o 280531 o 280454 o 280396 o 280395 o 280318 o 280265 o 280190 o 280113 o 280112 o 280035 o 280032 o 279955 o 279954 o 279877 o 279818 o 279765 o 279690 o 279613 o 279612 o 279535 o 279532 o 279455 o 279454 o 279377 o 279327 o 279326 o 279249 o 279220 o 279219 o 279142 o 279083 o 279030 o 278955 o 278878 o 278877 o 278800 o 278797 o 278720 o 278719 o 278642 o 278592 o 278591 o 278514 o 278494 o 278442 o 278419 o 278367 o 278342 o 278290 o 278289 o 278264 o 278212 o 278209 o 278184 o 278132 o 278131 o 278106 o 278054 o 278019 o 277994 o 277942 o 277919 o 277867 o 277842 o 277790 o 277789 o 277764 o 277712 o 277709 o 277684 o 277632 o 277631 o 277606 o 277554 o 277504 o 277503 o 277478 o 277426 o 277376 o 277375 o 277350 o 277298 o 277295 o 277270 o 277218 o 277217 o 277192 o 277140 o 277090 o 277089 o 277064 o 277012 o 277009 o 276986 o 276934 o 276909 o 276857 o 276856 o 276831 o 276779 o 276776 o 276751 o 276699 o 276698 o 276673 o 276621 o 276609 o 276557 o 276556 o 276531 o 276479 o 276473 o 276421 o 276420 o 276395 o 276343 o 276342 o 276290 o 276267 o 276215 o 276190 o 276138 o 276137 o 276112 o 276060 o 276057 o 276032 o 275980 o 275979 o 275954 o 275902 o 275895 o 275843 o 275842 o 275790 o 275767 o 275715 o 275690 o 275638 o 275637 o 275612 o 275560 o 275557 o 275532 o 275480 o 275479 o 275454 o 275402 o 275352 o 275351 o 275326 o 275274 o 275245 o 275244 o 275219 o 275167 o 275160 o 275108 o 275107 o 275055 o 275032 o 274980 o 274955 o 274903 o 274902 o 274877 o 274825 o 274822 o 274797 o 274745 o 274744 o 274719 o 274667 o 274617 o 274616 o 274591 o 274539 o 274474 o 274445 o 274444 o 274367 o 274308 o 274255 o 274180 o 274103 o 274102 o 274025 o 274022 o 273945 o 273944 o 273867 o 273817 o 273816 o 273739 o 273719 o 273667 o 273644 o 273592 o 273567 o 273515 o 273514 o 273489 o 273437 o 273434 o 273409 o 273357 o 273356 o 273331 o 273279 o 273244 o 273219 o 273167 o 273144 o 273092 o 273067 o 273015 o 273014 o 272989 o 272937 o 272934 o 272909 o 272857 o 272856 o 272831 o 272779 o 272729 o 272728 o 272703 o 272651 o 272601 o 272600 o 272575 o 272523 o 272520 o 272495 o 272443 o 272442 o 272417 o 272365 o 272315 o 272314 o 272289 o 272237 o 272234 o 272211 o 272159 o 272134 o 272082 o 272081 o 272056 o 272004 o 272001 o 271976 o 271924 o 271923 o 271898 o 271846 o 271834 o 271782 o 271781 o 271756 o 271704 o 271698 o 271646 o 271645 o 271620 o 271568 o 271567 o 271515 o 271492 o 271440 o 271415 o 271363 o 271362 o 271337 o 271285 o 271282 o 271257 o 271205 o 271204 o 271179 o 271127 o 271120 o 271068 o 271067 o 271015 o 270992 o 270940 o 270915 o 270863 o 270862 o 270837 o 270785 o 270782 o 270757 o 270705 o 270704 o 270679 o 270627 o 270577 o 270576 o 270551 o 270499 o 270470 o 270469 o 270444 o 270392 o 270385 o 270333 o 270332 o 270280 o 270257 o 270205 o 270180 o 270128 o 270127 o 270102 o 270050 o 270047 o 270022 o 269970 o 269969 o 269944 o 269892 o 269842 o 269841 o 269816 o 269764 o 269714 o 269691 o 269639 o 269614 o 269562 o 269561 o 269536 o 269484 o 269481 o 269456 o 269404 o 269403 o 269378 o 269326 o 269291 o 269266 o 269214 o 269191 o 269139 o 269114 o 269062 o 269061 o 269036 o 268984 o 268981 o 268956 o 268904 o 268903 o 268878 o 268826 o 268776 o 268775 o 268750 o 268698 o 268648 o 268647 o 268622 o 268570 o 268567 o 268542 o 268490 o 268489 o 268464 o 268412 o 268362 o 268361 o 268336 o 268284 o 268278 o 268226 o 268223 o 268198 o 268146 o 268145 o 268120 o 268068 o 268051 o 268048 o 268023 o 267971 o 267970 o 267945 o 267893 o 267881 o 267829 o 267828 o 267803 o 267751 o 267745 o 267693 o 267692 o 267667 o 267615 o 267614 o 267562 o 267539 o 267487 o 267462 o 267410 o 267409 o 267384 o 267332 o 267329 o 267304 o 267252 o 267251 o 267226 o 267174 o 267167 o 267115 o 267114 o 267062 o 267039 o 266987 o 266962 o 266910 o 266909 o 266884 o 266832 o 266829 o 266804 o 266752 o 266751 o 266726 o 266674 o 266624 o 266623 o 266598 o 266546 o 266517 o 266516 o 266491 o 266439 o 266432 o 266380 o 266379 o 266327 o 266304 o 266252 o 266227 o 266175 o 266174 o 266149 o 266097 o 266094 o 266069 o 266017 o 266016 o 265991 o 265939 o 265889 o 265888 o 265863 o 265811 o 265800 o 265799 o 265774 o 265722 o 265672 o 265671 o 265646 o 265594 o 265591 o 265566 o 265514 o 265513 o 265488 o 265436 o 265386 o 265385 o 265360 o 265308 o 265305 o 265282 o 265230 o 265205 o 265153 o 265152 o 265127 o 265075 o 265072 o 265047 o 264995 o 264994 o 264969 o 264917 o 264905 o 264853 o 264852 o 264827 o 264775 o 264769 o 264717 o 264716 o 264691 o 264639 o 264638 o 264586 o 264563 o 264511 o 264486 o 264434 o 264433 o 264408 o 264356 o 264353 o 264328 o 264276 o 264275 o 264250 o 264198 o 264191 o 264139 o 264138 o 264086 o 264063 o 264011 o 263986 o 263934 o 263933 o 263908 o 263856 o 263853 o 263828 o 263776 o 263775 o 263750 o 263698 o 263648 o 263647 o 263622 o 263570 o 263541 o 263540 o 263515 o 263463 o 263456 o 263404 o 263403 o 263351 o 263328 o 263276 o 263251 o 263199 o 263198 o 263173 o 263121 o 263118 o 263093 o 263041 o 263040 o 263015 o 262963 o 262913 o 262912 o 262887 o 262835 o 262785 o 262762 o 262710 o 262685 o 262633 o 262632 o 262607 o 262555 o 262552 o 262527 o 262475 o 262474 o 262449 o 262397 o 262362 o 262337 o 262285 o 262262 o 262210 o 262185 o 262133 o 262132 o 262107 o 262055 o 262052 o 262027 o 261975 o 261974 o 261949 o 261897 o 261847 o 261846 o 261821 o 261769 o 261719 o 261718 o 261693 o 261641 o 261638 o 261613 o 261561 o 261560 o 261535 o 261483 o 261433 o 261432 o 261407 o 261355 o 261349 o 261297 o 261294 o 261269 o 261217 o 261216 o 261191 o 261139 o 261122 o 261119 o 261094 o 261042 o 261041 o 261016 o 260964 o 260952 o 260900 o 260899 o 260874 o 260822 o 260816 o 260764 o 260763 o 260738 o 260686 o 260685 o 260633 o 260610 o 260558 o 260533 o 260481 o 260480 o 260455 o 260403 o 260400 o 260375 o 260323 o 260322 o 260297 o 260245 o 260238 o 260186 o 260185 o 260133 o 260110 o 260058 o 260033 o 259981 o 259980 o 259955 o 259903 o 259900 o 259875 o 259823 o 259822 o 259797 o 259745 o 259695 o 259694 o 259669 o 259617 o 259588 o 259587 o 259562 o 259510 o 259503 o 259451 o 259450 o 259398 o 259375 o 259323 o 259298 o 259246 o 259245 o 259220 o 259168 o 259165 o 259140 o 259088 o 259087 o 259062 o 259010 o 258960 o 258959 o 258934 o 258882 o 258862 o 258810 o 258807 o 258782 o 258730 o 258729 o 258704 o 258652 o 258602 o 258601 o 258576 o 258524 o 258474 o 258473 o 258448 o 258396 o 258393 o 258368 o 258316 o 258315 o 258290 o 258238 o 258188 o 258187 o 258162 o 258110 o 258104 o 258052 o 258049 o 258024 o 257972 o 257971 o 257946 o 257894 o 257877 o 257874 o 257849 o 257797 o 257796 o 257771 o 257719 o 257707 o 257655 o 257654 o 257629 o 257577 o 257571 o 257519 o 257518 o 257493 o 257441 o 257440 o 257388 o 257365 o 257313 o 257288 o 257236 o 257235 o 257210 o 257158 o 257155 o 257130 o 257078 o 257077 o 257052 o 257000 o 256993 o 256941 o 256940 o 256888 o 256865 o 256813 o 256788 o 256736 o 256735 o 256710 o 256658 o 256655 o 256630 o 256578 o 256577 o 256552 o 256500 o 256450 o 256449 o 256424 o 256372 o 256343 o 256342 o 256317 o 256265 o 256258 o 256206 o 256205 o 256153 o 256130 o 256078 o 256053 o 256001 o 256000 o 255975 o 255923 o 255920 o 255895 o 255843 o 255842 o 255817 o 255765 o 255715 o 255714 o 255689 o 255637 o 255620 o 255619 o 255594 o 255542 o 255507 o 255482 o 255430 o 255407 o 255355 o 255330 o 255278 o 255277 o 255252 o 255200 o 255197 o 255172 o 255120 o 255119 o 255094 o 255042 o 254992 o 254991 o 254966 o 254914 o 254864 o 254863 o 254838 o 254786 o 254783 o 254758 o 254706 o 254705 o 254680 o 254628 o 254578 o 254577 o 254552 o 254500 o 254494 o 254442 o 254439 o 254414 o 254362 o 254361 o 254336 o 254284 o 254267 o 254264 o 254239 o 254187 o 254186 o 254161 o 254109 o 254097 o 254045 o 254044 o 254019 o 253967 o 253961 o 253909 o 253908 o 253883 o 253831 o 253830 o 253778 o 253755 o 253703 o 253678 o 253626 o 253625 o 253600 o 253548 o 253545 o 253520 o 253468 o 253467 o 253442 o 253390 o 253383 o 253331 o 253330 o 253278 o 253255 o 253203 o 253178 o 253126 o 253125 o 253100 o 253048 o 253045 o 253020 o 252968 o 252967 o 252942 o 252890 o 252840 o 252839 o 252814 o 252762 o 252733 o 252732 o 252707 o 252655 o 252648 o 252596 o 252595 o 252543 o 252520 o 252468 o 252443 o 252391 o 252390 o 252365 o 252313 o 252310 o 252285 o 252233 o 252232 o 252207 o 252155 o 252105 o 252104 o 252079 o 252027 o 252007 o 251955 o 251954 o 251929 o 251877 o 251827 o 251826 o 251801 o 251749 o 251699 o 251698 o 251673 o 251621 o 251618 o 251593 o 251541 o 251540 o 251515 o 251463 o 251413 o 251412 o 251387 o 251335 o 251329 o 251277 o 251274 o 251249 o 251197 o 251196 o 251171 o 251119 o 251102 o 251099 o 251074 o 251022 o 251021 o 250996 o 250944 o 250932 o 250880 o 250879 o 250854 o 250802 o 250796 o 250744 o 250743 o 250718 o 250666 o 250665 o 250613 o 250590 o 250538 o 250513 o 250461 o 250460 o 250435 o 250383 o 250380 o 250355 o 250303 o 250302 o 250277 o 250225 o 250218 o 250166 o 250165 o 250113 o 250090 o 250038 o 250013 o 249961 o 249960 o 249935 o 249883 o 249880 o 249855 o 249803 o 249802 o 249777 o 249725 o 249675 o 249674 o 249649 o 249597 o 249568 o 249567 o 249542 o 249490 o 249483 o 249431 o 249430 o 249378 o 249355 o 249303 o 249278 o 249226 o 249225 o 249200 o 249148 o 249145 o 249120 o 249068 o 249067 o 249042 o 248990 o 248940 o 248939 o 248914 o 248862 o 248845 o 248844 o 248819 o 248767 o 248732 o 248707 o 248655 o 248632 o 248580 o 248555 o 248503 o 248502 o 248477 o 248425 o 248422 o 248397 o 248345 o 248344 o 248319 o 248267 o 248217 o 248216 o 248191 o 248139 o 248089 o 248088 o 248063 o 248011 o 248008 o 247983 o 247931 o 247930 o 247905 o 247853 o 247803 o 247802 o 247777 o 247725 o 247719 o 247667 o 247664 o 247639 o 247587 o 247586 o 247561 o 247509 o 247492 o 247489 o 247464 o 247412 o 247411 o 247386 o 247334 o 247322 o 247270 o 247269 o 247244 o 247192 o 247186 o 247134 o 247133 o 247108 o 247056 o 247055 o 247003 o 246980 o 246928 o 246903 o 246851 o 246850 o 246825 o 246773 o 246770 o 246745 o 246693 o 246692 o 246667 o 246615 o 246608 o 246556 o 246555 o 246503 o 246480 o 246428 o 246403 o 246351 o 246350 o 246325 o 246273 o 246270 o 246245 o 246193 o 246192 o 246167 o 246115 o 246065 o 246064 o 246039 o 245987 o 245958 o 245957 o 245932 o 245880 o 245873 o 245821 o 245820 o 245768 o 245745 o 245693 o 245668 o 245616 o 245615 o 245590 o 245538 o 245535 o 245510 o 245458 o 245457 o 245432 o 245380 o 245330 o 245329 o 245304 o 245252 o 245213 o 245190 o 245138 o 245113 o 245061 o 245060 o 245035 o 244983 o 244980 o 244955 o 244903 o 244902 o 244877 o 244825 o 244818 o 244766 o 244765 o 244713 o 244690 o 244638 o 244613 o 244561 o 244560 o 244535 o 244483 o 244480 o 244455 o 244403 o 244402 o 244377 o 244325 o 244275 o 244274 o 244249 o 244197 o 244168 o 244167 o 244142 o 244090 o 244083 o 244031 o 244030 o 243978 o 243955 o 243903 o 243878 o 243826 o 243825 o 243800 o 243748 o 243745 o 243720 o 243668 o 243667 o 243642 o 243590 o 243540 o 243539 o 243514 o 243462 o 243445 o 243444 o 243419 o 243367 o 243332 o 243307 o 243255 o 243232 o 243180 o 243155 o 243103 o 243102 o 243077 o 243025 o 243022 o 242997 o 242945 o 242944 o 242919 o 242867 o 242817 o 242816 o 242791 o 242739 o 242689 o 242688 o 242663 o 242611 o 242608 o 242583 o 242531 o 242530 o 242505 o 242453 o 242403 o 242402 o 242377 o 242325 o 242319 o 242267 o 242264 o 242239 o 242187 o 242186 o 242161 o 242109 o 242092 o 242089 o 242064 o 242012 o 242011 o 241986 o 241934 o 241922 o 241870 o 241869 o 241844 o 241792 o 241786 o 241734 o 241733 o 241708 o 241656 o 241655 o 241603 o 241580 o 241528 o 241503 o 241451 o 241450 o 241425 o 241373 o 241370 o 241345 o 241293 o 241292 o 241267 o 241215 o 241208 o 241156 o 241155 o 241103 o 241080 o 241028 o 241003 o 240951 o 240950 o 240925 o 240873 o 240870 o 240845 o 240793 o 240792 o 240767 o 240715 o 240665 o 240664 o 240639 o 240587 o 240558 o 240557 o 240532 o 240480 o 240473 o 240421 o 240420 o 240368 o 240345 o 240293 o 240268 o 240216 o 240215 o 240190 o 240138 o 240135 o 240110 o 240058 o 240057 o 240032 o 239980 o 239930 o 239929 o 239904 o 239852 o 239847 o 239844 o 239819 o 239767 o 239766 o 239741 o 239689 o 239677 o 239625 o 239624 o 239599 o 239547 o 239541 o 239489 o 239488 o 239463 o 239411 o 239410 o 239358 o 239335 o 239283 o 239258 o 239206 o 239205 o 239180 o 239128 o 239125 o 239100 o 239048 o 239047 o 239022 o 238970 o 238963 o 238911 o 238910 o 238858 o 238835 o 238783 o 238758 o 238706 o 238705 o 238680 o 238628 o 238625 o 238600 o 238548 o 238547 o 238522 o 238470 o 238420 o 238419 o 238394 o 238342 o 238313 o 238312 o 238287 o 238235 o 238228 o 238176 o 238175 o 238123 o 238100 o 238048 o 238023 o 237971 o 237970 o 237945 o 237893 o 237890 o 237865 o 237813 o 237812 o 237787 o 237735 o 237685 o 237684 o 237659 o 237607 o 237598 o 237575 o 237523 o 237498 o 237446 o 237445 o 237420 o 237368 o 237365 o 237340 o 237288 o 237287 o 237262 o 237210 o 237203 o 237151 o 237150 o 237098 o 237075 o 237023 o 236998 o 236946 o 236945 o 236920 o 236868 o 236865 o 236840 o 236788 o 236787 o 236762 o 236710 o 236660 o 236659 o 236634 o 236582 o 236553 o 236552 o 236527 o 236475 o 236468 o 236416 o 236415 o 236363 o 236340 o 236288 o 236263 o 236211 o 236210 o 236185 o 236133 o 236130 o 236105 o 236053 o 236052 o 236027 o 235975 o 235925 o 235924 o 235899 o 235847 o 235830 o 235829 o 235804 o 235752 o 235717 o 235692 o 235640 o 235617 o 235565 o 235540 o 235488 o 235487 o 235462 o 235410 o 235407 o 235382 o 235330 o 235329 o 235304 o 235252 o 235202 o 235201 o 235176 o 235124 o 235074 o 235073 o 235048 o 234996 o 234993 o 234968 o 234916 o 234915 o 234890 o 234838 o 234788 o 234787 o 234762 o 234710 o 234704 o 234652 o 234649 o 234624 o 234572 o 234571 o 234546 o 234494 o 234477 o 234474 o 234449 o 234397 o 234396 o 234371 o 234319 o 234307 o 234255 o 234254 o 234229 o 234177 o 234171 o 234119 o 234118 o 234093 o 234041 o 234040 o 233988 o 233965 o 233913 o 233888 o 233836 o 233835 o 233810 o 233758 o 233755 o 233730 o 233678 o 233677 o 233652 o 233600 o 233593 o 233541 o 233540 o 233488 o 233465 o 233413 o 233388 o 233336 o 233335 o 233310 o 233258 o 233255 o 233230 o 233178 o 233177 o 233152 o 233100 o 233050 o 233049 o 233024 o 232972 o 232943 o 232942 o 232917 o 232865 o 232858 o 232806 o 232805 o 232753 o 232730 o 232678 o 232653 o 232601 o 232600 o 232575 o 232523 o 232520 o 232495 o 232443 o 232442 o 232417 o 232365 o 232315 o 232314 o 232289 o 232237 o 232232 o 232229 o 232204 o 232152 o 232151 o 232126 o 232074 o 232062 o 232010 o 232009 o 231984 o 231932 o 231926 o 231874 o 231873 o 231848 o 231796 o 231795 o 231743 o 231720 o 231668 o 231643 o 231591 o 231590 o 231565 o 231513 o 231510 o 231485 o 231433 o 231432 o 231407 o 231355 o 231348 o 231296 o 231295 o 231243 o 231220 o 231168 o 231143 o 231091 o 231090 o 231065 o 231013 o 231010 o 230985 o 230933 o 230932 o 230907 o 230855 o 230805 o 230804 o 230779 o 230727 o 230698 o 230697 o 230672 o 230620 o 230613 o 230561 o 230560 o 230508 o 230485 o 230433 o 230408 o 230356 o 230355 o 230330 o 230278 o 230275 o 230250 o 230198 o 230197 o 230172 o 230120 o 230070 o 230069 o 230044 o 229992 o 229991 o 229990 o 229965 o 229913 o 229910 o 229885 o 229833 o 229832 o 229807 o 229755 o 229705 o 229704 o 229679 o 229627 o 229598 o 229597 o 229572 o 229520 o 229513 o 229461 o 229460 o 229408 o 229385 o 229333 o 229308 o 229256 o 229255 o 229230 o 229178 o 229175 o 229150 o 229098 o 229097 o 229072 o 229020 o 228970 o 228969 o 228944 o 228892 o 228874 o 228822 o 228821 o 228796 o 228744 o 228694 o 228693 o 228668 o 228616 o 228601 o 228551 o 228550 o 228525 o 228473 o 228451 o 228450 o 228398 o 228375 o 228323 o 228298 o 228246 o 228245 o 228220 o 228168 o 228165 o 228140 o 228088 o 228087 o 228062 o 228010 o 228003 o 227951 o 227950 o 227898 o 227875 o 227823 o 227798 o 227746 o 227745 o 227720 o 227668 o 227665 o 227640 o 227588 o 227587 o 227562 o 227510 o 227460 o 227459 o 227434 o 227382 o 227353 o 227352 o 227327 o 227275 o 227268 o 227216 o 227215 o 227163 o 227140 o 227088 o 227063 o 227011 o 227010 o 226985 o 226933 o 226930 o 226905 o 226853 o 226852 o 226827 o 226775 o 226725 o 226724 o 226699 o 226647 o 226629 o 226577 o 226576 o 226551 o 226499 o 226449 o 226448 o 226423 o 226371 o 226356 o 226306 o 226305 o 226280 o 226228 o 226221 o 226169 o 226119 o 226118 o 226093 o 226041 o 226026 o 225976 o 225975 o 225950 o 225898 o 225855 o 225826 o 225825 o 225800 o 225748 o 225741 o 225689 o 225688 o 225636 o 225613 o 225561 o 225536 o 225484 o 225483 o 225458 o 225406 o 225403 o 225378 o 225326 o 225325 o 225300 o 225248 o 225198 o 225197 o 225172 o 225120 o 225102 o 225050 o 225049 o 225024 o 224972 o 224922 o 224921 o 224896 o 224844 o 224829 o 224779 o 224778 o 224753 o 224701 o 224679 o 224678 o 224626 o 224603 o 224551 o 224526 o 224474 o 224473 o 224448 o 224396 o 224393 o 224368 o 224316 o 224315 o 224290 o 224238 o 224231 o 224179 o 224178 o 224126 o 224103 o 224051 o 224026 o 223974 o 223973 o 223948 o 223896 o 223893 o 223868 o 223816 o 223815 o 223790 o 223738 o 223688 o 223687 o 223662 o 223610 o 223581 o 223580 o 223555 o 223503 o 223496 o 223444 o 223443 o 223391 o 223368 o 223316 o 223291 o 223239 o 223238 o 223213 o 223161 o 223158 o 223133 o 223081 o 223080 o 223055 o 223003 o 222953 o 222952 o 222927 o 222875 o 222857 o 222805 o 222804 o 222779 o 222727 o 222677 o 222676 o 222651 o 222599 o 222584 o 222534 o 222533 o 222508 o 222456 o 222433 o 222381 o 222378 o 222353 o 222301 o 222300 o 222275 o 222223 o 222173 o 222172 o 222147 o 222095 o 222094 o 222093 o 222068 o 222016 o 222013 o 221988 o 221936 o 221935 o 221910 o 221858 o 221808 o 221807 o 221782 o 221730 o 221701 o 221700 o 221675 o 221623 o 221616 o 221564 o 221563 o 221511 o 221488 o 221436 o 221411 o 221359 o 221358 o 221333 o 221281 o 221278 o 221253 o 221201 o 221200 o 221175 o 221123 o 221073 o 221072 o 221047 o 220995 o 220977 o 220925 o 220924 o 220899 o 220847 o 220797 o 220796 o 220771 o 220719 o 220704 o 220654 o 220653 o 220628 o 220576 o 220554 o 220553 o 220501 o 220478 o 220426 o 220401 o 220349 o 220348 o 220323 o 220271 o 220268 o 220243 o 220191 o 220190 o 220165 o 220113 o 220106 o 220054 o 220053 o 220001 o 219978 o 219926 o 219901 o 219849 o 219848 o 219823 o 219771 o 219768 o 219743 o 219691 o 219690 o 219665 o 219613 o 219563 o 219562 o 219537 o 219485 o 219456 o 219455 o 219430 o 219378 o 219371 o 219319 o 219318 o 219266 o 219243 o 219191 o 219166 o 219114 o 219113 o 219088 o 219036 o 219033 o 219008 o 218956 o 218955 o 218930 o 218878 o 218828 o 218827 o 218802 o 218750 o 218732 o 218680 o 218679 o 218654 o 218602 o 218552 o 218551 o 218526 o 218474 o 218459 o 218409 o 218408 o 218383 o 218331 o 218322 o 218299 o 218247 o 218222 o 218170 o 218169 o 218144 o 218092 o 218089 o 218064 o 218012 o 218011 o 217986 o 217934 o 217884 o 217883 o 217858 o 217806 o 217788 o 217736 o 217735 o 217710 o 217658 o 217608 o 217607 o 217582 o 217530 o 217515 o 217465 o 217464 o 217439 o 217387 o 217365 o 217364 o 217312 o 217289 o 217237 o 217212 o 217160 o 217159 o 217134 o 217082 o 217079 o 217054 o 217002 o 217001 o 216976 o 216924 o 216917 o 216865 o 216864 o 216812 o 216789 o 216737 o 216712 o 216660 o 216659 o 216634 o 216582 o 216579 o 216554 o 216502 o 216501 o 216476 o 216424 o 216374 o 216373 o 216348 o 216296 o 216267 o 216266 o 216241 o 216189 o 216182 o 216130 o 216129 o 216077 o 216054 o 216002 o 215977 o 215925 o 215924 o 215899 o 215847 o 215844 o 215819 o 215767 o 215766 o 215741 o 215689 o 215639 o 215638 o 215613 o 215561 o 215543 o 215491 o 215490 o 215465 o 215413 o 215363 o 215362 o 215337 o 215285 o 215270 o 215220 o 215219 o 215194 o 215142 o 215135 o 215083 o 215033 o 215032 o 215007 o 214955 o 214940 o 214890 o 214889 o 214864 o 214812 o 214769 o 214740 o 214739 o 214714 o 214662 o 214655 o 214603 o 214602 o 214550 o 214527 o 214475 o 214450 o 214398 o 214397 o 214372 o 214320 o 214317 o 214292 o 214240 o 214239 o 214214 o 214162 o 214112 o 214111 o 214086 o 214034 o 214016 o 213964 o 213963 o 213938 o 213886 o 213836 o 213835 o 213810 o 213758 o 213743 o 213693 o 213692 o 213667 o 213615 o 213593 o 213592 o 213540 o 213517 o 213465 o 213440 o 213388 o 213387 o 213362 o 213310 o 213307 o 213282 o 213230 o 213229 o 213204 o 213152 o 213145 o 213093 o 213092 o 213040 o 213017 o 212965 o 212940 o 212888 o 212887 o 212862 o 212810 o 212807 o 212782 o 212730 o 212729 o 212704 o 212652 o 212602 o 212601 o 212576 o 212524 o 212495 o 212494 o 212469 o 212417 o 212410 o 212358 o 212357 o 212305 o 212282 o 212230 o 212205 o 212153 o 212152 o 212127 o 212075 o 212072 o 212047 o 211995 o 211994 o 211969 o 211917 o 211867 o 211866 o 211841 o 211789 o 211771 o 211719 o 211718 o 211693 o 211641 o 211591 o 211590 o 211565 o 211513 o 211498 o 211448 o 211447 o 211422 o 211370 o 211347 o 211295 o 211292 o 211267 o 211215 o 211214 o 211189 o 211137 o 211087 o 211086 o 211061 o 211009 o 211008 o 211007 o 210982 o 210930 o 210927 o 210902 o 210850 o 210849 o 210824 o 210772 o 210722 o 210721 o 210696 o 210644 o 210615 o 210614 o 210589 o 210537 o 210530 o 210478 o 210477 o 210425 o 210402 o 210350 o 210325 o 210273 o 210272 o 210247 o 210195 o 210192 o 210167 o 210115 o 210114 o 210089 o 210037 o 209987 o 209986 o 209961 o 209909 o 209891 o 209839 o 209838 o 209813 o 209761 o 209711 o 209710 o 209685 o 209633 o 209618 o 209568 o 209567 o 209542 o 209490 o 209468 o 209467 o 209415 o 209392 o 209340 o 209315 o 209263 o 209262 o 209237 o 209185 o 209182 o 209157 o 209105 o 209104 o 209079 o 209027 o 209020 o 208968 o 208967 o 208915 o 208892 o 208840 o 208815 o 208763 o 208762 o 208737 o 208685 o 208682 o 208657 o 208605 o 208604 o 208579 o 208527 o 208477 o 208476 o 208451 o 208399 o 208370 o 208369 o 208344 o 208292 o 208285 o 208233 o 208232 o 208180 o 208157 o 208105 o 208080 o 208028 o 208027 o 208002 o 207950 o 207947 o 207922 o 207870 o 207869 o 207844 o 207792 o 207742 o 207741 o 207716 o 207664 o 207646 o 207594 o 207593 o 207568 o 207516 o 207466 o 207465 o 207440 o 207388 o 207373 o 207323 o 207322 o 207297 o 207245 o 207235 o 207185 o 207184 o 207159 o 207107 o 207092 o 207042 o 207041 o 207016 o 206964 o 206955 o 206932 o 206880 o 206855 o 206803 o 206802 o 206777 o 206725 o 206722 o 206697 o 206645 o 206644 o 206619 o 206567 o 206517 o 206516 o 206491 o 206439 o 206421 o 206369 o 206368 o 206343 o 206291 o 206241 o 206240 o 206215 o 206163 o 206148 o 206098 o 206097 o 206072 o 206020 o 206017 o 205965 o 205945 o 205922 o 205870 o 205845 o 205793 o 205792 o 205767 o 205715 o 205712 o 205687 o 205635 o 205634 o 205609 o 205557 o 205550 o 205498 o 205497 o 205445 o 205422 o 205370 o 205345 o 205293 o 205292 o 205267 o 205215 o 205212 o 205187 o 205135 o 205134 o 205109 o 205057 o 205007 o 205006 o 204981 o 204929 o 204900 o 204899 o 204874 o 204822 o 204815 o 204763 o 204762 o 204710 o 204687 o 204635 o 204610 o 204558 o 204557 o 204532 o 204480 o 204477 o 204452 o 204400 o 204399 o 204374 o 204322 o 204272 o 204271 o 204246 o 204194 o 204176 o 204124 o 204123 o 204098 o 204046 o 203996 o 203995 o 203970 o 203918 o 203903 o 203853 o 203852 o 203827 o 203775 o 203768 o 203716 o 203666 o 203665 o 203640 o 203588 o 203573 o 203523 o 203522 o 203497 o 203445 o 203402 o 203373 o 203372 o 203347 o 203295 o 203288 o 203236 o 203235 o 203183 o 203160 o 203108 o 203083 o 203031 o 203030 o 203005 o 202953 o 202950 o 202925 o 202873 o 202872 o 202847 o 202795 o 202745 o 202744 o 202719 o 202667 o 202649 o 202597Killed 1819.703u 0.020s 30:23.20 99.8% 0+0k 0+0io 0pf+0w