Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-100-2_network-5.net.wcnf Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-5.net.wcnf Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat o 308448 o 308058 o 307838 o 307810 o 306633 o 306243 o 306023 o 305995 o 305614 o 305224 o 305004 o 304976 o 304793 o 304573 o 304545 o 304251 o 304031 o 304003 o 303908 o 303518 o 303298 o 303270 o 303200 o 303172 o 303061 o 302841 o 302813 o 302499 o 302279 o 302251 o 302181 o 302153 o 302042 o 301822 o 301794 o 301750 o 301722 o 301611 o 301391 o 301363 o 301306 o 301278 o 301208 o 301180 o 301069 o 300849 o 300821 o 300464 o 300244 o 300216 o 300146 o 300118 o 300007 o 299787 o 299759 o 299445 o 299225 o 299197 o 299127 o 299099 o 298988 o 298768 o 298740 o 298696 o 298668 o 298557 o 298337 o 298309 o 298252 o 298224 o 298154 o 298126 o 298015 o 297795 o 297767 o 297766 o 297546 o 297518 o 297474 o 297446 o 297335 o 297115 o 297087 o 297030 o 297002 o 296932 o 296904 o 296793 o 296573 o 296545 o 296526 o 296498 o 296387 o 296167 o 296139 o 296045 o 295825 o 295797 o 295753 o 295725 o 295614 o 295394 o 295366 o 295309 o 295281 o 295211 o 295183 o 295072 o 294852 o 294824 o 294772 o 294744 o 294603 o 294575 o 294531 o 294503 o 294392 o 294172 o 294144 o 294087 o 294059 o 293989 o 293961 o 293850 o 293630 o 293602 o 293550 o 293522 o 293515 o 293487 o 293430 o 293402 o 293332 o 293304 o 293193 o 292973 o 292945 o 292893 o 292865 o 292850 o 292822 o 292752 o 292724 o 292613 o 292393 o 292365 o 292313 o 292285 o 292144 o 292116 o 292072 o 292044 o 291933 o 291713 o 291685 o 291628 o 291600 o 291530 o 291502 o 291391 o 291171 o 291143 o 291091 o 291063 o 291057 o 291005 o 290977 o 290968 o 290940 o 290829 o 290609 o 290581 o 290508 o 290480 o 290423 o 290395 o 290325 o 290297 o 290186 o 289966 o 289938 o 289836 o 289808 o 289751 o 289723 o 289653 o 289625 o 289514 o 289294 o 289266 o 289214 o 289186 o 289173 o 289103 o 289075 o 288964 o 288744 o 288716 o 288614 o 288586 o 288529 o 288501 o 288431 o 288403 o 288292 o 288072 o 288044 o 287992 o 287964 o 287957 o 287929 o 287872 o 287844 o 287774 o 287746 o 287635 o 287415 o 287387 o 287335 o 287307 o 287292 o 287264 o 287194 o 287166 o 287055 o 286835 o 286807 o 286755 o 286727 o 286714 o 286644 o 286616 o 286505 o 286285 o 286257 o 286155 o 286127 o 286070 o 286042 o 285972 o 285944 o 285833 o 285613 o 285585 o 285533 o 285505 o 285499 o 285447 o 285419 o 285242 o 285214 o 285112 o 285084 o 284955 o 284927 o 284901 o 284790 o 284570 o 284542 o 284469 o 284441 o 284312 o 284284 o 284258 o 284147 o 283927 o 283899 o 283797 o 283769 o 283640 o 283612 o 283586 o 283475 o 283255 o 283227 o 283175 o 283147 o 283090 o 283062 o 283036 o 282925 o 282705 o 282677 o 282575 o 282547 o 282418 o 282390 o 282364 o 282253 o 282033 o 282005 o 281953 o 281925 o 281918 o 281890 o 281761 o 281733 o 281707 o 281596 o 281376 o 281348 o 281296 o 281268 o 281181 o 281153 o 281127 o 281016 o 280796 o 280768 o 280716 o 280688 o 280631 o 280603 o 280577 o 280466 o 280246 o 280218 o 280116 o 280088 o 279959 o 279931 o 279905 o 279794 o 279574 o 279546 o 279494 o 279466 o 279460 o 279408 o 279380 o 279240 o 279212 o 279160 o 279132 o 279125 o 279097 o 278968 o 278940 o 278914 o 278803 o 278583 o 278555 o 278503 o 278475 o 278388 o 278360 o 278334 o 278223 o 278003 o 277975 o 277923 o 277895 o 277838 o 277810 o 277784 o 277673 o 277453 o 277425 o 277323 o 277295 o 277166 o 277138 o 277112 o 277001 o 276781 o 276753 o 276701 o 276673 o 276667 o 276615 o 276587 o 276565 o 276537 o 276535 o 276483 o 276455 o 276451 o 276449 o 276397 o 276369 o 276358 o 276332 o 276303 o 276221 o 276219 o 276083 o 276001 o 275973 o 275921 o 275893 o 275887 o 275835 o 275807 o 275749 o 275667 o 275639 o 275587 o 275559 o 275552 o 275524 o 275477 o 275395 o 275367 o 275341 o 275312 o 275230 o 275228 o 275092 o 275010 o 274982 o 274930 o 274902 o 274897 o 274815 o 274787 o 274761 o 274732 o 274650 o 274648 o 274512 o 274430 o 274402 o 274350 o 274322 o 274265 o 274237 o 274211 o 274182 o 274100 o 274098 o 273962 o 273880 o 273852 o 273832 o 273750 o 273722 o 273675 o 273593 o 273565 o 273539 o 273510 o 273428 o 273426 o 273290 o 273208 o 273180 o 273128 o 273100 o 273094 o 273042 o 273014 o 272997 o 272969 o 272943 o 272914 o 272832 o 272830 o 272694 o 272612 o 272584 o 272532 o 272504 o 272497 o 272469 o 272422 o 272340 o 272312 o 272286 o 272257 o 272175 o 272173 o 272037 o 271955 o 271927 o 271875 o 271847 o 271842 o 271760 o 271732 o 271706 o 271677 o 271595 o 271593 o 271457 o 271375 o 271347 o 271295 o 271267 o 271210 o 271182 o 271156 o 271127 o 271045 o 271043 o 270907 o 270825 o 270797 o 270777 o 270695 o 270667 o 270620 o 270538 o 270510 o 270484 o 270455 o 270373 o 270371 o 270235 o 270153 o 270125 o 270073 o 270045 o 270039 o 269987 o 269959 o 269901 o 269819 o 269791 o 269739 o 269711 o 269704 o 269676 o 269629 o 269547 o 269519 o 269493 o 269464 o 269382 o 269380 o 269244 o 269162 o 269134 o 269082 o 269054 o 269049 o 268967 o 268939 o 268913 o 268884 o 268802 o 268800 o 268664 o 268582 o 268554 o 268502 o 268474 o 268417 o 268389 o 268363 o 268334 o 268252 o 268250 o 268114 o 268032 o 268004 o 267984 o 267902 o 267874 o 267827 o 267745 o 267717 o 267691 o 267662 o 267580 o 267578 o 267442 o 267360 o 267332 o 267280 o 267252 o 267246 o 267194 o 267166 o 267141 o 267089 o 267061 o 267055 o 267003 o 266975 o 266970 o 266942 o 266895 o 266813 o 266785 o 266759 o 266730 o 266648 o 266646 o 266510 o 266428 o 266400 o 266348 o 266320 o 266315 o 266233 o 266205 o 266179 o 266150 o 266068 o 266066 o 265930 o 265848 o 265820 o 265768 o 265740 o 265683 o 265655 o 265629 o 265600 o 265518 o 265516 o 265380 o 265298 o 265270 o 265250 o 265168 o 265140 o 265093 o 265011 o 264983 o 264957 o 264928 o 264846 o 264844 o 264708 o 264626 o 264598 o 264546 o 264518 o 264512 o 264460 o 264432 o 264374 o 264292 o 264264 o 264212 o 264184 o 264177 o 264149 o 264102 o 264020 o 263992 o 263966 o 263937 o 263855 o 263853 o 263717 o 263635 o 263607 o 263555 o 263527 o 263522 o 263440 o 263412 o 263386 o 263357 o 263275 o 263273 o 263137 o 263055 o 263027 o 262975 o 262947 o 262890 o 262862 o 262836 o 262807 o 262725 o 262723 o 262587 o 262505 o 262477 o 262457 o 262375 o 262347 o 262300 o 262218 o 262190 o 262164 o 262135 o 262053 o 262051 o 261915 o 261833 o 261805 o 261753 o 261725 o 261719 o 261667 o 261639 o 261617 o 261615 o 261479 o 261397 o 261369 o 261296 o 261268 o 261221 o 261139 o 261111 o 261085 o 261056 o 260974 o 260972 o 260836 o 260754 o 260726 o 260706 o 260624 o 260596 o 260549 o 260467 o 260439 o 260413 o 260384 o 260302 o 260300 o 260164 o 260082 o 260054 o 260002 o 259974 o 259917 o 259889 o 259863 o 259834 o 259752 o 259750 o 259614 o 259532 o 259504 o 259484 o 259402 o 259374 o 259327 o 259245 o 259217 o 259191 o 259162 o 259080 o 259078 o 258942 o 258860 o 258832 o 258780 o 258752 o 258747 o 258665 o 258637 o 258611 o 258582 o 258500 o 258498 o 258362 o 258280 o 258252 o 258200 o 258172 o 258123 o 258095 o 258090 o 258008 o 257980 o 257954 o 257925 o 257843 o 257841 o 257705 o 257623 o 257595 o 257543 o 257515 o 257458 o 257430 o 257404 o 257375 o 257293 o 257291 o 257155 o 257073 o 257045 o 257025 o 256943 o 256915 o 256868 o 256786 o 256758 o 256732 o 256703 o 256621 o 256619 o 256483 o 256401 o 256373 o 256321 o 256293 o 256288 o 256206 o 256178 o 256152 o 256123 o 256041 o 256039 o 255903 o 255821 o 255793 o 255741 o 255713 o 255707 o 255655 o 255627 o 255569 o 255487 o 255459 o 255407 o 255379 o 255330 o 255302 o 255297 o 255215 o 255187 o 255161 o 255132 o 255050 o 255048 o 254912 o 254830 o 254802 o 254750 o 254722 o 254665 o 254637 o 254611 o 254582 o 254500 o 254498 o 254362 o 254280 o 254252 o 254232 o 254150 o 254122 o 254075 o 253993 o 253965 o 253939 o 253910 o 253828 o 253826 o 253690 o 253608 o 253580 o 253528 o 253500 o 253495 o 253413 o 253385 o 253359 o 253330 o 253248 o 253246 o 253110 o 253028 o 253000 o 252948 o 252920 o 252914 o 252862 o 252834 o 252830 o 252802 o 252729 o 252701 o 252654 o 252572 o 252544 o 252518 o 252489 o 252407 o 252405 o 252269 o 252187 o 252159 o 252139 o 252057 o 252029 o 251982 o 251900 o 251872 o 251846 o 251817 o 251735 o 251733 o 251597 o 251515 o 251487 o 251435 o 251407 o 251350 o 251322 o 251296 o 251267 o 251185 o 251183 o 251047 o 250965 o 250937 o 250917 o 250835 o 250807 o 250760 o 250678 o 250650 o 250624 o 250595 o 250513 o 250511 o 250375 o 250293 o 250265 o 250213 o 250185 o 250180 o 250098 o 250070 o 250044 o 250015 o 249933 o 249931 o 249795 o 249713 o 249685 o 249633 o 249605 o 249556 o 249528 o 249523 o 249441 o 249413 o 249387 o 249358 o 249276 o 249274 o 249138 o 249056 o 249028 o 248976 o 248948 o 248891 o 248863 o 248837 o 248808 o 248726 o 248724 o 248588 o 248506 o 248478 o 248458 o 248376 o 248348 o 248301 o 248219 o 248191 o 248165 o 248136 o 248054 o 248052 o 247916 o 247834 o 247806 o 247754 o 247726 o 247721 o 247639 o 247611 o 247585 o 247556 o 247474 o 247472 o 247336 o 247254 o 247226 o 247174 o 247146 o 247140 o 247088 o 247060 o 247002 o 246920 o 246892 o 246840 o 246812 o 246763 o 246735 o 246730 o 246648 o 246620 o 246594 o 246565 o 246483 o 246481 o 246345 o 246263 o 246235 o 246183 o 246155 o 246098 o 246070 o 246044 o 246015 o 245933 o 245931 o 245795 o 245713 o 245685 o 245665 o 245583 o 245555 o 245508 o 245426 o 245398 o 245372 o 245343 o 245261 o 245259 o 245123 o 245041 o 245013 o 244961 o 244933 o 244928 o 244846 o 244818 o 244792 o 244763 o 244681 o 244679 o 244543 o 244461 o 244433 o 244381 o 244353 o 244347 o 244295 o 244267 o 244248 o 244220 o 244168 o 244140 o 244134 o 244082 o 244054 o 243996 o 243914 o 243886 o 243834 o 243806 o 243757 o 243729 o 243724 o 243642 o 243614 o 243588 o 243559 o 243477 o 243475 o 243339 o 243257 o 243229 o 243177 o 243149 o 243092 o 243064 o 243038 o 243009 o 242927 o 242925 o 242789 o 242707 o 242679 o 242659 o 242577 o 242549 o 242502 o 242420 o 242392 o 242366 o 242337 o 242255 o 242253 o 242117 o 242035 o 242007 o 241955 o 241927 o 241922 o 241840 o 241812 o 241786 o 241757 o 241675 o 241673 o 241537 o 241455 o 241427 o 241375 o 241347 o 241341 o 241289 o 241261 o 241215 o 241187 o 241181 o 241129 o 241101 o 241043 o 240961 o 240933 o 240881 o 240853 o 240804 o 240776 o 240771 o 240689 o 240661 o 240635 o 240606 o 240524 o 240522 o 240386 o 240304 o 240276 o 240224 o 240196 o 240139 o 240111 o 240085 o 240056 o 239974 o 239972 o 239836 o 239754 o 239726 o 239706 o 239624 o 239596 o 239549 o 239467 o 239439 o 239413 o 239384 o 239302 o 239300 o 239164 o 239082 o 239054 o 239002 o 238974 o 238969 o 238887 o 238859 o 238833 o 238804 o 238722 o 238720 o 238584 o 238502 o 238474 o 238422 o 238394 o 238388 o 238336 o 238308 o 238284 o 238256 o 238251 o 238169 o 238141 o 238115 o 238086 o 238004 o 238002 o 237866 o 237784 o 237756 o 237704 o 237676 o 237670 o 237618 o 237590 o 237555 o 237527 o 237475 o 237447 o 237442 o 237360 o 237332 o 237306 o 237277 o 237195 o 237193 o 237057 o 236975 o 236947 o 236895 o 236867 o 236861 o 236809 o 236781 o 236735 o 236707 o 236701 o 236649 o 236621 o 236563 o 236481 o 236453 o 236401 o 236373 o 236324 o 236296 o 236291 o 236209 o 236181 o 236155 o 236126 o 236044 o 236042 o 235906 o 235824 o 235796 o 235744 o 235716 o 235708 o 235626 o 235598 o 235572 o 235543 o 235461 o 235459 o 235323 o 235241 o 235213 o 235144 o 235116 o 235069 o 234987 o 234959 o 234933 o 234904 o 234822 o 234820 o 234684 o 234602 o 234574 o 234522 o 234494 o 234489 o 234407 o 234379 o 234353 o 234324 o 234242 o 234240 o 234104 o 234022 o 233994 o 233942 o 233914 o 233908 o 233856 o 233828 o 233804 o 233776 o 233771 o 233689 o 233661 o 233635 o 233606 o 233524 o 233522 o 233386 o 233304 o 233276 o 233224 o 233196 o 233190 o 233138 o 233110 o 233072 o 233044 o 233018 o 232989 o 232907 o 232905 o 232769 o 232687 o 232659 o 232607 o 232579 o 232574 o 232492 o 232464 o 232438 o 232409 o 232327 o 232325 o 232189 o 232107 o 232079 o 232027 o 231999 o 231993 o 231941 o 231913 o 231901 o 231872 o 231790 o 231788 o 231652 o 231570 o 231542 o 231490 o 231462 o 231456 o 231404 o 231376 o 231352 o 231324 o 231319 o 231237 o 231209 o 231183 o 231154 o 231072 o 231070 o 230934 o 230852 o 230824 o 230772 o 230744 o 230738 o 230686 o 230658 o 230638 o 230592 o 230564 o 230558 o 230506 o 230478 o 230420 o 230338 o 230310 o 230258 o 230230 o 230181 o 230153 o 230148 o 230066 o 230038 o 230012 o 229983 o 229901 o 229899 o 229763 o 229681 o 229653 o 229601 o 229573 o 229565 o 229483 o 229455 o 229429 o 229400 o 229318 o 229316 o 229180 o 229098 o 229070 o 229001 o 228973 o 228926 o 228844 o 228816 o 228790 o 228761 o 228679 o 228677 o 228541 o 228459 o 228431 o 228379 o 228351 o 228346 o 228264 o 228236 o 228210 o 228181 o 228099 o 228097 o 227961 o 227879 o 227851 o 227799 o 227771 o 227765 o 227713 o 227685 o 227661 o 227633 o 227628 o 227546 o 227518 o 227492 o 227463 o 227381 o 227379 o 227243 o 227161 o 227133 o 227081 o 227053 o 227047 o 226995 o 226967 o 226948 o 226946 o 226810 o 226728 o 226700 o 226648 o 226620 o 226615 o 226533 o 226505 o 226479 o 226450 o 226368 o 226366 o 226230 o 226148 o 226120 o 226068 o 226040 o 226034 o 225982 o 225954 o 225930 o 225902 o 225897 o 225815 o 225787 o 225761 o 225732 o 225650 o 225648 o 225512 o 225430 o 225402 o 225350 o 225322 o 225316 o 225264 o 225236 o 225221 o 225193 o 225185 o 225103 o 225075 o 225049 o 225020 o 224938 o 224936 o 224800 o 224718 o 224690 o 224621 o 224593 o 224546 o 224464 o 224436 o 224410 o 224381 o 224299 o 224297 o 224161 o 224079 o 224051 o 223999 o 223971 o 223966 o 223884 o 223856 o 223830 o 223801 o 223719 o 223717 o 223581 o 223499 o 223471 o 223419 o 223391 o 223385 o 223333 o 223305 o 223281 o 223253 o 223248 o 223166 o 223138 o 223112 o 223083 o 223001 o 222999 o 222863 o 222781 o 222753 o 222701 o 222673 o 222667 o 222615 o 222587 o 222568 o 222566 o 222430 o 222348 o 222320 o 222268 o 222240 o 222235 o 222153 o 222125 o 222099 o 222070 o 221988 o 221986 o 221850 o 221768 o 221740 o 221688 o 221660 o 221654 o 221602 o 221574 o 221550 o 221522 o 221517 o 221435 o 221407 o 221381 o 221352 o 221270 o 221268 o 221132 o 221050 o 221022 o 220970 o 220942 o 220936 o 220884 o 220856 o 220818 o 220736 o 220708 o 220656 o 220628 o 220621 o 220593 o 220546 o 220464 o 220436 o 220410 o 220381 o 220299 o 220297 o 220161 o 220079 o 220051 o 219999 o 219971 o 219899 o 219871 o 219845 o 219816 o 219734 o 219732 o 219596 o 219514 o 219486 o 219434 o 219406 o 219391 o 219319 o 219291 o 219265 o 219236 o 219154 o 219152 o 219016 o 218934 o 218906 o 218854 o 218826 o 218820 o 218768 o 218740 o 218733 o 218705 o 218679 o 218650 o 218568 o 218566 o 218430 o 218348 o 218320 o 218268 o 218240 o 218168 o 218140 o 218114 o 218085 o 218003 o 218001 o 217865 o 217783 o 217755 o 217703 o 217675 o 217660 o 217588 o 217560 o 217534 o 217505 o 217423 o 217421 o 217285 o 217203 o 217175 o 217123 o 217095 o 217089 o 217037 o 217009 o 216997 o 216968 o 216886 o 216884 o 216748 o 216666 o 216638 o 216586 o 216558 o 216552 o 216500 o 216472 o 216448 o 216420 o 216405 o 216333 o 216305 o 216279 o 216250 o 216168 o 216166 o 216030 o 215948 o 215920 o 215868 o 215840 o 215834 o 215782 o 215754 o 215734 o 215688 o 215660 o 215654 o 215602 o 215574 o 215516 o 215434 o 215406 o 215354 o 215326 o 215277 o 215249 o 215234 o 215162 o 215134 o 215108 o 215079 o 214997 o 214995 o 214859 o 214777 o 214749 o 214697 o 214669 o 214662 o 214634 o 214587 o 214505 o 214477 o 214451 o 214422 o 214340 o 214338 o 214202 o 214120 o 214092 o 214040 o 214012 o 213940 o 213912 o 213886 o 213857 o 213775 o 213773 o 213637 o 213555 o 213527 o 213475 o 213447 o 213432 o 213360 o 213332 o 213306 o 213277 o 213195 o 213193 o 213057 o 212975 o 212947 o 212895 o 212867 o 212861 o 212809 o 212781 o 212757 o 212729 o 212714 o 212642 o 212614 o 212588 o 212559 o 212477 o 212475 o 212339 o 212257 o 212229 o 212177 o 212149 o 212143 o 212091 o 212063 o 212044 o 212042 o 211906 o 211824 o 211796 o 211744 o 211716 o 211701 o 211629 o 211601 o 211575 o 211546 o 211464 o 211462 o 211326 o 211244 o 211216 o 211164 o 211136 o 211130 o 211078 o 211050 o 211026 o 210998 o 210983 o 210911 o 210883 o 210857 o 210828 o 210746 o 210744 o 210608 o 210526 o 210498 o 210446 o 210418 o 210412 o 210360 o 210332 o 210268 o 210266 o 210130 o 210048 o 210020 o 209968 o 209940 o 209934 o 209882 o 209854 o 209843 o 209815 o 209769 o 209741 o 209689 o 209661 o 209655 o 209603 o 209575 o 209511 o 209509 o 209373 o 209291 o 209263 o 209211 o 209183 o 209177 o 209125 o 209097 o 209077 o 209011 o 208983 o 208931 o 208903 o 208897 o 208845 o 208817 o 208816 o 208680 o 208598 o 208570 o 208518 o 208490 o 208483 o 208455 o 208408 o 208326 o 208298 o 208272 o 208243 o 208161 o 208159 o 208023 o 207941 o 207913 o 207861 o 207833 o 207761 o 207733 o 207707 o 207678 o 207596 o 207594 o 207458 o 207376 o 207348 o 207296 o 207268 o 207253 o 207181 o 207153 o 207127 o 207098 o 207016 o 207014 o 206878 o 206796 o 206768 o 206716 o 206688 o 206682 o 206630 o 206602 o 206538 o 206536 o 206400 o 206318 o 206290 o 206238 o 206210 o 206204 o 206152 o 206124 o 206078 o 206050 o 205998 o 205970 o 205964 o 205912 o 205884 o 205820 o 205818 o 205682 o 205600 o 205572 o 205520 o 205492 o 205486 o 205434 o 205406 o 205396 o 205367 o 205285 o 205283 o 205147 o 205065 o 205037 o 204985 o 204957 o 204951 o 204899 o 204871 o 204807 o 204805 o 204669 o 204587 o 204559 o 204507 o 204479 o 204473 o 204421 o 204393 o 204347 o 204319 o 204267 o 204239 o 204233 o 204181 o 204153 o 204089 o 204087 o 203951 o 203869 o 203841 o 203789 o 203761 o 203755 o 203703 o 203675 o 203623 o 203541 o 203513 o 203461 o 203433 o 203427 o 203375 o 203347 o 203301 o 203273 o 203221 o 203193 o 203187 o 203135 o 203107 o 203043 o 203041 o 202905 o 202823 o 202795 o 202743 o 202715 o 202709 o 202657 o 202629 o 202619 o 202590 o 202508 o 202506 o 202370 o 202288 o 202260 o 202208 o 202180 o 202174 o 202122 o 202094 o 202030 o 202028 o 201892 o 201810 o 201782 o 201730 o 201702 o 201696 o 201644 o 201616 o 201570 o 201542 o 201490 o 201462 o 201456 o 201404 o 201376 o 201312 o 201310 o 201174 o 201092 o 201064 o 201012 o 200984 o 200978 o 200926 o 200898 o 200889 o 200837 o 200809 o 200803 o 200751 o 200723 o 200713 o 200684 o 200602 o 200600 o 200464 o 200382 o 200354 o 200302 o 200274 o 200268 o 200216 o 200188 o 200124 o 200122 o 199986 o 199904 o 199876 o 199824 o 199796 o 199790 o 199738 o 199710 o 199664 o 199636 o 199584 o 199556 o 199550 o 199498 o 199470 o 199406 o 199404 o 199268 o 199186 o 199158 o 199106 o 199078 o 199072 o 199020 o 198992 o 198981 o 198953 o 198901 o 198873 o 198858 o 198786 o 198758 o 198732 o 198703 o 198621 o 198619 o 198483 o 198401 o 198373 o 198321 o 198293 o 198287 o 198235 o 198207 o 198143 o 198141 o 198005 o 197923 o 197895 o 197843 o 197815 o 197809 o 197757 o 197729 o 197683 o 197655 o 197603 o 197575 o 197569 o 197517 o 197489 o 197425 o 197423 o 197287 o 197205 o 197177 o 197125 o 197097 o 197091 o 197039 o 197011 o 197001 o 196972 o 196890 o 196888 o 196752 o 196670 o 196642 o 196590 o 196562 o 196556 o 196504 o 196476 o 196412 o 196410 o 196274 o 196192 o 196164 o 196112 o 196084 o 196078 o 196026 o 195998 o 195952 o 195924 o 195872 o 195844 o 195838 o 195786 o 195758 o 195694 o 195692 o 195556 o 195474 o 195446 o 195394 o 195366 o 195360 o 195308 o 195280 o 195267 o 195185 o 195157 o 195105 o 195077 o 195071 o 195019 o 194991 o 194945 o 194917 o 194865 o 194837 o 194831 o 194779 o 194751 o 194687 o 194685 o 194549 o 194467 o 194439 o 194387 o 194359 o 194353 o 194301 o 194273 o 194174 o 194092 o 194064 o 194012 o 193984 o 193978 o 193926 o 193898 o 193874 o 193846 o 193837 o 193785 o 193757 o 193751 o 193699 o 193671 o 193661 o 193632 o 193550 o 193548 o 193412 o 193330 o 193302 o 193250 o 193222 o 193216 o 193164 o 193136 o 193072 o 193070 o 192934 o 192852 o 192824 o 192772 o 192744 o 192738 o 192686 o 192658 o 192612 o 192584 o 192532 o 192504 o 192498 o 192446 o 192418 o 192354 o 192352 o 192216 o 192134 o 192106 o 192054 o 192026 o 192020 o 191968 o 191940 o 191929 o 191901 o 191849 o 191821 o 191806 o 191734 o 191706 o 191680 o 191651 o 191569 o 191567 o 191431 o 191349 o 191321 o 191269 o 191241 o 191235 o 191183 o 191155 o 191091 o 191089 o 190953 o 190871 o 190843 o 190791 o 190763 o 190757 o 190705 o 190677 o 190631 o 190603 o 190551 o 190523 o 190517 o 190465 o 190437 o 190373 o 190371 o 190235 o 190153 o 190125 o 190073 o 190045 o 190039 o 189987 o 189959 o 189949 o 189920 o 189838 o 189836 o 189700 o 189618 o 189590 o 189538 o 189510 o 189504 o 189452 o 189424 o 189360 o 189358 o 189222 o 189140 o 189112 o 189060 o 189032 o 189026 o 188974 o 188946 o 188900 o 188872 o 188820 o 188792 o 188786 o 188734 o 188706 o 188642 o 188640 o 188504 o 188422 o 188394 o 188342 o 188314 o 188308 o 188256 o 188228 o 188215 o 188133 o 188105 o 188053 o 188025 o 188019 o 187967 o 187939 o 187893 o 187865 o 187813 o 187785 o 187779 o 187727 o 187699 o 187635 o 187633 o 187497 o 187415 o 187387 o 187335 o 187307 o 187301 o 187249 o 187221 o 187179 o 187177 o 187041 o 186959 o 186931 o 186879 o 186851 o 186845 o 186793 o 186765 o 186701 o 186699 o 186563 o 186481 o 186453 o 186401 o 186373 o 186367 o 186315 o 186287 o 186283 o 186254 o 186172 o 186170 o 186034 o 185952 o 185924 o 185872 o 185844 o 185838 o 185786 o 185758 o 185694 o 185692 o 185556 o 185474 o 185446 o 185394 o 185366 o 185360 o 185308 o 185280 o 185256 o 185228 o 185219 o 185167 o 185139 o 185133 o 185081 o 185053 o 185043 o 185014 o 184932 o 184930 o 184794 o 184712 o 184684 o 184632 o 184604 o 184598 o 184546 o 184518 o 184454 o 184452 o 184316 o 184234 o 184206 o 184154 o 184126 o 184120 o 184068 o 184040 o 183994 o 183966 o 183914 o 183886 o 183880 o 183828 o 183800 o 183736 o 183734 o 183598 o 183516 o 183488 o 183436 o 183408 o 183402 o 183350 o 183322 o 183311 o 183283 o 183231 o 183203 o 183188 o 183116 o 183088 o 183062 o 183033 o 182951 o 182949 o 182813 o 182731 o 182703 o 182651 o 182623 o 182617 o 182565 o 182537 o 182473 o 182471 o 182335 o 182253 o 182225 o 182173 o 182145 o 182139 o 182087 o 182059 o 182013 o 181985 o 181933 o 181905 o 181899 o 181847 o 181819 o 181755 o 181753 o 181617 o 181535 o 181507 o 181455 o 181427 o 181421 o 181369 o 181341 o 181331 o 181302 o 181220 o 181218 o 181082 o 181000 o 180972 o 180920 o 180892 o 180886 o 180834 o 180806 o 180742 o 180740 o 180604 o 180522 o 180494 o 180442 o 180414 o 180408 o 180356 o 180328 o 180282 o 180254 o 180202 o 180174 o 180168 o 180116 o 180088 o 180024 o 180022 o 179886 o 179804 o 179776 o 179724 o 179696 o 179690 o 179638 o 179610 o 179597 o 179515 o 179487 o 179435 o 179407 o 179401 o 179349 o 179321 o 179275 o 179247 o 179195 o 179167 o 179161 o 179109 o 179081 o 179017 o 179015 o 178879 o 178797 o 178769 o 178717 o 178689 o 178683 o 178631 o 178603 o 178578 o 178550 o 178544 o 178492 o 178464 o 178400 o 178398 o 178262 o 178180 o 178152 o 178100 o 178072 o 178066 o 178014 o 177986 o 177976 o 177947 o 177865 o 177863 o 177727 o 177645 o 177617 o 177565 o 177537 o 177531 o 177479 o 177451 o 177387 o 177385 o 177249 o 177167 o 177139 o 177087 o 177059 o 177053 o 177001 o 176973 o 176927 o 176899 o 176847 o 176819 o 176813 o 176761 o 176733 o 176669 o 176667 o 176531 o 176449 o 176421 o 176369 o 176341 o 176335 o 176283 o 176255 o 176242 o 176160 o 176132 o 176080 o 176052 o 176046 o 175994 o 175966 o 175920 o 175892 o 175840 o 175812 o 175806 o 175754 o 175726 o 175662 o 175660 o 175524 o 175442 o 175414 o 175362 o 175334 o 175328 o 175276 o 175248 o 175229 o 175201 o 175149 o 175121 o 175115 o 175063 o 175035 o 174989 o 174961 o 174909 o 174881 o 174875 o 174823 o 174795 o 174731 o 174729 o 174593 o 174511 o 174483 o 174431 o 174403 o 174397 o 174345 o 174317 o 174294 o 174278 o 174226 o 174198 o 174183 o 174111 o 174083 o 174057 o 174028 o 173946 o 173944 o 173808 o 173726 o 173698 o 173646 o 173618 o 173612 o 173560 o 173532 o 173468 o 173466 o 173330 o 173248 o 173220 o 173168 o 173140 o 173134 o 173082 o 173054 o 173008 o 172980 o 172928 o 172900 o 172894 o 172842 o 172814 o 172750 o 172748 o 172612 o 172530 o 172502 o 172450 o 172422 o 172416 o 172364 o 172336 o 172326 o 172297 o 172215 o 172213 o 172077 o 171995 o 171967 o 171915 o 171887 o 171881 o 171829 o 171801 o 171737 o 171735 o 171599 o 171517 o 171489 o 171437 o 171409 o 171403 o 171351 o 171323 o 171277 o 171249 o 171197 o 171169 o 171163 o 171111 o 171083 o 171019 o 171017 o 170881 o 170799 o 170771 o 170719 o 170691 o 170685 o 170633 o 170605 o 170592 o 170510 o 170482 o 170430 o 170402 o 170396 o 170344 o 170316 o 170270 o 170242 o 170190 o 170162 o 170156 o 170104 o 170076 o 170012 o 170010 o 169874 o 169792 o 169764 o 169712 o 169684 o 169678 o 169626 o 169598 o 169582 o 169554 o 169502 o 169474 o 169468 o 169416 o 169388 o 169342 o 169314 o 169262 o 169234 o 169228 o 169176 o 169148 o 169084 o 169082 o 168946 o 168864 o 168836 o 168784 o 168756 o 168750 o 168698 o 168670 o 168657 o 168575 o 168547 o 168495 o 168467 o 168461 o 168409 o 168381 o 168335 o 168307 o 168255 o 168227 o 168221 o 168169 o 168141 o 168077 o 168075 o 167939 o 167857 o 167829 o 167777 o 167749 o 167743 o 167691 o 167663 o 167662 o 167656 o 167604 o 167576 o 167568 o 167540 o 167494 o 167466 o 167414 o 167386 o 167380 o 167328 o 167300 o 167236 o 167234 o 167098 o 167016 o 166988 o 166936 o 166908 o 166902 o 166850 o 166822 o 166821 o 166815 o 166763 o 166735 o 166684 o 166656 o 166577 o 166571 o 166491 o 166417 o 166337 o 166331 o 166251 o 166157 o 166021 o 165939 o 165859 o 165853 o 165773 o 165772 o 165766 o 165686 o 165607 o 165592 o 165586 o 165506 o 165432 o 165352 o 165346 o 165266 o 165172 o 165036 o 164954 o 164874 o 164868 o 164788 o 164718 o 164638 o 164632 o 164552 o 164478 o 164398 o 164392 o 164312 o 164218 o 164082 o 164000 o 163920 o 163914 o 163834 o 163833 o 163827 o 163747 o 163668 o 163630 o 163624 o 163544 o 163450 o 163314 o 163232 o 163152 o 163146 o 163066 o 163065 o 163059 o 162979 o 162900 o 162875 o 162869 o 162789 o 162719 o 162639 o 162633 o 162553 o 162479 o 162399 o 162393 o 162313 o 162219 o 162083 o 162001 o 161921 o 161915 o 161835 o 161771 o 161691 o 161685 o 161605 o 161511 o 161375 o 161293 o 161213 o 161207 o 161127 o 161126 o 161120 o 161040 o 160961 o 160841 o 160759 o 160731 o 160679 o 160651 o 160645 o 160593 o 160565 o 160501 o 160499 o 160363 o 160281 o 160253 o 160201 o 160173 o 160167 o 160115 o 160087 o 160025 o 160023 o 159887 o 159805 o 159777 o 159725 o 159697 o 159691 o 159639 o 159611 o 159547 o 159545 o 159409 o 159327 o 159299 o 159247 o 159219 o 159213 o 159161 o 159133 o 159109 o 159081 o 159060 o 159018 o 158990 o 158938 o 158910 o 158904 o 158852 o 158824 o 158778 o 158750 o 158698 o 158670 o 158664 o 158612 o 158584 o 158520 o 158518 o 158382 o 158300 o 158272 o 158220 o 158192 o 158186 o 158134 o 158106 o 158100 o 158072 o 158020 o 157992 o 157986 o 157934 o 157906 o 157842 o 157840 o 157704 o 157622 o 157594 o 157542 o 157514 o 157508 o 157456 o 157428 o 157424 o 157372 o 157344 o 157280 o 157278 o 157142 o 157060 o 157032 o 156980 o 156952 o 156946 o 156894 o 156866 o 156820 o 156792 o 156740 o 156712 o 156706 o 156654 o 156626 o 156562 o 156560 o 156424 o 156342 o 156314 o 156262 o 156234 o 156228 o 156176 o 156148 o 156119 o 156091 o 156027 o 156025 o 155889 o 155807 o 155779 o 155727 o 155699 o 155693 o 155641 o 155613 o 155549 o 155547 o 155411 o 155329 o 155301 o 155249 o 155221 o 155215 o 155163 o 155135 o 155089 o 155061 o 155009 o 154981 o 154975 o 154923 o 154895 o 154831 o 154829 o 154693 o 154611 o 154583 o 154531 o 154503 o 154497 o 154445 o 154417 o 154404 o 154322 o 154294 o 154242 o 154214 o 154208 o 154156 o 154128 o 154082 o 154054 o 154002 o 153974 o 153968 o 153916 o 153888 o 153824 o 153822 o 153686 o 153604 o 153576 o 153524 o 153496 o 153490 o 153438 o 153410 o 153368 o 153340 o 153288 o 153260 o 153254 o 153202 o 153174 o 153128 o 153100 o 153048 o 153020 o 153014 o 152962 o 152934 o 152870 o 152868 o 152732 o 152650 o 152622 o 152570 o 152542 o 152536 o 152484 o 152456 o 152455 o 152449 o 152397 o 152369 o 152318 o 152290 o 152211 o 152205 o 152125 o 152051 o 151971 o 151965 o 151885 o 151791 o 151655 o 151573 o 151493 o 151487 o 151407 o 151406 o 151400 o 151320 o 151241 o 151226 o 151220 o 151140 o 151066 o 150986 o 150980 o 150900 o 150806 o 150670 o 150588 o 150508 o 150502 o 150422 o 150352 o 150272 o 150266 o 150186 o 150112 o 150032 o 150026 o 149946 o 149852 o 149716 o 149634 o 149554 o 149548 o 149468 o 149467 o 149461 o 149381 o 149302 o 149264 o 149258 o 149178 o 149084 o 148948 o 148866 o 148786 o 148780 o 148700 o 148699 o 148693 o 148613 o 148589 o 148509 o 148503 o 148423 o 148353 o 148273 o 148267 o 148187 o 148113 o 148033 o 148027 o 147947 o 147853 o 147717 o 147635 o 147555 o 147549 o 147469 o 147405 o 147325 o 147319 o 147239 o 147145 o 147009 o 146927 o 146847 o 146841 o 146761 o 146760 o 146754 o 146674 o 146595 o 146556 o 146476 o 146470 o 146390 o 146311 o 146297 o 146271 o 146203 o 146067 o 145985 o 145905 o 145899 o 145819 o 145755 o 145675 o 145669 o 145589 o 145563 o 145495 o 145359 o 145277 o 145197 o 145191 o 145111 o 145095 o 145015 o 145009 o 144929 o 144835 o 144699 o 144617 o 144537 o 144531 o 144451 o 144372 o 144308 o 144172 o 144090 o 144010 o 144004 o 143924 o 143923 o 143917 o 143837 o 143758 o 143719 o 143639 o 143633 o 143553 o 143474 o 143434 o 143366 o 143230 o 143148 o 143068 o 143062 o 142982 o 142888 o 142806 o 142726 o 142658 o 142522 o 142440 o 142360 o 142354 o 142274 o 142265 o 142248 o 142247 o 142165 o 141998 o 141862 o 141780 o 141700 o 141694 o 141614 o 141535 o 141493 o 141357 o 141275 o 141195 o 141189 o 141109 o 141030 o 140985 o 140979 o 140899 o 140805 o 140723 o 140643 o 140575 o 140439 o 140357 o 140277 o 140271 o 140191 o 140165 o 140164 o 140082 o 139915 o 139779 o 139697 o 139617 o 139611 o 139531 o 139452 o 139412 o 139386 o 139385 o 139303 o 139136 o 139000 o 138918 o 138838 o 138832 o 138752 o 138673 o 138664 o 138585 o 138543 o 138407 o 138325 o 138245 o 138239 o 138159 o 138080 o 138035 o 138029 o 137949 o 137855 o 137773 o 137693 o 137625 o 137489 o 137407 o 137327 o 137321 o 137241 o 137215 o 137214 o 137132 o 136965 o 136829 o 136747 o 136667 o 136661 o 136581 o 136502 o 136413 o 136333 o 136327 o 136247 o 136246 o 136240 o 136160 o 136081 o 136020 o 135941 o 135924 o 135681 o 135601 o 135595 o 135515 o 135436 o 135391 o 135385 o 135305 o 135129 o 135049 o 135006 o 134763 o 134683 o 134677 o 134597 o 134571 o 134488 o 134346 o 134103 o 134023 o 134017 o 133937 o 133858 o 133716 o 133636 o 133630 o 133550 o 133457 o 133377 o 133371 o 133291 o 133056 o 132976 o 132970 o 132890 o 132863 o 132721 o 132478 o 132398 o 132392 o 132312 o 132309 o 132283 o 132200 o 132058 o 131815 o 131735 o 131729 o 131649 o 131539 o 131459 o 131453 o 131373 o 131199 o 131119 o 131113 o 131033 o 131032 o 131026 o 130946 o 130932 o 130790 o 130710 o 130704 o 130624 o 130531 o 130451 o 130445 o 130365 o 130130 o 130050 o 130044 o 129964 o 129937 o 129795 o 129552 o 129472 o 129466 o 129386 o 129383 o 129357 o 129274 o 129132 o 128889 o 128809 o 128803 o 128723 o 128646 o 128640 o 128560 o 128485 o 128479 o 128399 o 128350 o 128332 o 128252 o 128239 o 128097 o 127854 o 127774 o 127767 o 127687 o 127665 o 127523 o 127280 o 127200 o 127078 o 126998 o 126917 o 126837 o 126754 o 126674 o 126593 o 126513 o 126494 o 126414 o 126331 o 126251 o 126170 o 126090 o 125932 o 125852 o 125845 o 125765 o 125747 o 125667 o 125654 o 125512 o 125269 o 125189 o 125182 o 125102 o 124945 o 124865 o 124858 o 124778 o 124704 o 124697 o 124617 o 124598 o 124591 o 124511 o 124435 o 124428 o 124348 o 124274 o 124267 o 124187 o 124150 o 124116 o 124096 o 124062 o 124052 o 124018 o 123654 o 123620 o 123574 o 123540 o 123533 o 123487 o 123453 o 123413 o 123379 o 123372 o 123326 o 123292 o 123250 o 123243 o 123163 o 123089 o 123082 o 123002 o 122919 o 122839 o 122758 o 122678 o 122472 o 122392 o 122385 o 122305 o 122231 o 122224 o 122144 o 122116 o 122109 o 122029 o 121997 o 121931 o 121918 o 121533 o 121453 o 121446 o 121366 o 121292 o 121285 o 121205 o 121163 o 121131 o 121065 o 121052 o 120667 o 120587 o 120580 o 120500 o 120426 o 120419 o 120339 o 120321 o 120247 o 120160 o 120118 o 120086 o 120020 o 119927 o 119542 o 119455 o 119381 o 119294 o 119278 o 119204 o 119197 o 119117 o 119075 o 119043 o 118977 o 118964 o 118579 o 118499 o 118492 o 118412 o 118338 o 118331 o 118251 o 118233 o 118159 o 118072 o 118030 o 117998 o 117932 o 117551 o 117454 o 117367 o 117293 o 117206 o 117087 o 117007 o 117000 o 116920 o 116846 o 116839 o 116759 o 116565 o 116485 o 116478 o 116398 o 116344 o 116300 o 116287 o 115902 o 115822 o 115815 o 115735 o 115661 o 115654 o 115574 o 115569 o 115489 o 115260 o 115180 o 115173 o 115093 o 115061 o 114995 o 114982 o 114597 o 114517 o 114510 o 114430 o 114356 o 114349 o 114269 o 114256 o 114212 o 114199 o 113814 o 113734 o 113727 o 113647 o 113573 o 113566 o 113486 o 113480 o 113383 o 113303 o 113296 o 113216 o 113172 o 113092 o 113085 o 113005 o 112973 o 112907 o 112606 o 112509 o 112429 o 112422 o 112342 o 112268 o 112261 o 112181 o 112139 o 112107 o 112041 o 112028 o 111643 o 111563 o 111556 o 111476 o 111402 o 111395 o 111315 o 111297 o 111223 o 111136 o 111094 o 111062 o 110996 o 110903 o 110518 o 110431 o 110357 o 110270 o 110267 o 110235 o 110169 o 109788 o 109691 o 109604 o 109530 o 109443 o 109409 o 109322 o 109223 o 109136 o 109062 o 108975 o 108743 o 108656 o 108396 o 108309 o 108235 o 108148 o 108109 o 108077 o 108011 o 107630 o 107533 o 107446 o 107372 o 107285 o 107282 o 107250 o 107184 o 106803 o 106706 o 106619 o 106545 o 106458 o 106370 o 106107 o 105946 o 105943 o 105824 o 105543 o 105280 o 105119 o 105080 o 104999 o 104919 o 104901 o 104740 o 104698 o 104579 o 104035 o 103874 o 103871 o 103752 o 103208 o 103047 o 103035 o 102741 o 102580 o 102504 o 102448 o 102327 o 102195 o 102034 o 101661 o 101500 o 101368 o 101207 o 101119 o 101107 o 100813 o 100652 o 100576 o 100520 o 100485 o 100387 o 100267 o 100106 o 99830 o 99733 o 99669 o 99572 o 99440 o 99279 o 99240 o 99019 o 98922 o 98761 o 98629 o 98536 o 98468 o 98463 o 98379 o 98302 o 98269 o 98228 o 98151 o 98096 o 98019 o 97935 o 97858 o 97765 o 97604 o 97336 o 97175 o 97126 o 97042 o 96965 o 96910 o 96833 o 96749 o 96672 o 96489 o 96392 o 96315 o 96231 o 96154 o 96099 o 96022 o 95938 o 95861 o 95768 o 95607 o 95529 o 95452 o 95451 o 95367 o 95290 o 95235 o 95158 o 95074 o 94997 o 94904 o 94743 o 94729 o 94645 o 94568 o 94475 o 94314 o 94259 o 94182 o 93902 o 93825 o 93741 o 93664 o 93609 o 93532 o 93448 o 93371 o 93278 o 93117 o 93101 o 92990 o 92942 o 92849 o 92688 o 92672 o 92561 o 92508 o 92314 o 92237 o 92153 o 92076 o 91983 o 91822 Killed 1979.640u 0.058s 33:07.01 99.6% 0+0k 0+0io 0pf+0w