Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-IncWMaxSatz-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-100-2_network-9.net.wcnf Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-9.net.wcnf Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 4218222 o 316352 o 315231 o 314936 o 313455 o 312334 o 312039 o 311999 o 311704 o 311619 o 311284 o 310989 o 310573 o 310278 o 308797 o 307676 o 307381 o 307341 o 307046 o 306350 o 306015 o 305720 o 305495 o 305200 o 303719 o 302598 o 302303 o 302263 o 301968 o 301940 o 301645 o 300788 o 300493 o 300453 o 300158 o 299290 o 298169 o 297874 o 297834 o 297539 o 297511 o 297216 o 296359 o 296064 o 296024 o 295729 o 295601 o 295573 o 295278 o 295023 o 294554 o 294259 o 294086 o 293791 o 293751 o 293456 o 293350 o 292748 o 292280 o 291985 o 291880 o 291707 o 291412 o 291372 o 291077 o 291026 o 290742 o 290274 o 289979 o 289956 o 289661 o 289556 o 289406 o 289383 o 289088 o 289071 o 289048 o 288753 o 288678 o 288343 o 288097 o 287762 o 287467 o 287418 o 287245 o 286950 o 286927 o 286632 o 286377 o 286354 o 286059 o 286042 o 286019 o 285724 o 285716 o 285478 o 285461 o 285438 o 285143 o 284993 o 284950 o 284615 o 284320 o 284074 o 284034 o 283739 o 283716 o 283421 o 283281 o 283244 o 283224 o 283192 o 283155 o 283135 o 282897 o 282860 o 282840 o 282724 o 282687 o 282667 o 282429 o 282392 o 282372 o 282324 o 282287 o 282267 o 282151 o 282114 o 282094 o 281856 o 281819 o 281799 o 281796 o 281776 o 281538 o 281501 o 281481 o 281473 o 281425 o 281388 o 281368 o 281275 o 281238 o 281218 o 281215 o 281195 o 280957 o 280920 o 280900 o 280883 o 280880 o 280860 o 280622 o 280585 o 280565 o 280472 o 280435 o 280415 o 280392 o 280372 o 280094 o 280057 o 280037 o 279799 o 279762 o 279742 o 279553 o 279516 o 279496 o 279476 o 279456 o 279218 o 279181 o 279161 o 279158 o 279138 o 278900 o 278863 o 278843 o 278757 o 278720 o 278700 o 278697 o 278677 o 278439 o 278402 o 278382 o 278351 o 278314 o 278294 o 278290 o 278276 o 278239 o 278219 o 277981 o 277944 o 277924 o 277808 o 277771 o 277751 o 277513 o 277476 o 277456 o 277436 o 277416 o 277178 o 277141 o 277121 o 277118 o 277098 o 276860 o 276823 o 276803 o 276795 o 276614 o 276577 o 276557 o 276540 o 276537 o 276517 o 276279 o 276242 o 276222 o 276014 o 275977 o 275957 o 275546 o 275509 o 275489 o 275251 o 275214 o 275194 o 275191 o 275171 o 274933 o 274896 o 274876 o 274868 o 274670 o 274633 o 274613 o 274610 o 274590 o 274352 o 274315 o 274295 o 274278 o 274275 o 274255 o 274017 o 273980 o 273960 o 273884 o 273847 o 273827 o 273799 o 273762 o 273742 o 273393 o 273356 o 273336 o 273098 o 273061 o 273041 o 272925 o 272888 o 272868 o 272630 o 272593 o 272573 o 272570 o 272550 o 272312 o 272275 o 272255 o 272247 o 272199 o 272162 o 272142 o 272049 o 272012 o 271992 o 271989 o 271969 o 271731 o 271694 o 271674 o 271657 o 271654 o 271634 o 271396 o 271359 o 271339 o 271327 o 271307 o 271210 o 271173 o 271153 o 271123 o 271103 o 270865 o 270828 o 270808 o 270805 o 270785 o 270547 o 270510 o 270490 o 270397 o 270360 o 270340 o 270337 o 270317 o 270079 o 270042 o 270022 o 269946 o 269909 o 269889 o 269560 o 269523 o 269503 o 269455 o 269418 o 269398 o 268987 o 268950 o 268930 o 268692 o 268655 o 268635 o 268632 o 268612 o 268374 o 268337 o 268317 o 268309 o 268261 o 268224 o 268204 o 268111 o 268074 o 268054 o 268051 o 268031 o 267793 o 267756 o 267736 o 267719 o 267716 o 267696 o 267458 o 267421 o 267401 o 267336 o 267299 o 267279 o 267001 o 266964 o 266944 o 266706 o 266669 o 266649 o 266533 o 266496 o 266476 o 266238 o 266201 o 266181 o 266178 o 266158 o 265920 o 265883 o 265863 o 265778 o 265741 o 265721 o 265704 o 265701 o 265681 o 265443 o 265406 o 265386 o 265355 o 265335 o 265272 o 265235 o 265215 o 265099 o 265062 o 265042 o 264804 o 264767 o 264747 o 264739 o 264691 o 264654 o 264634 o 264518 o 264481 o 264461 o 264223 o 264186 o 264166 o 264163 o 264143 o 263905 o 263868 o 263848 o 263746 o 263709 o 263689 o 263596 o 263559 o 263539 o 263536 o 263516 o 263278 o 263241 o 263221 o 263204 o 263201 o 263181 o 262943 o 262906 o 262886 o 262855 o 262835 o 262772 o 262735 o 262715 o 262599 o 262562 o 262542 o 262304 o 262267 o 262247 o 262058 o 262021 o 262001 o 261981 o 261961 o 261723 o 261686 o 261666 o 261663 o 261643 o 261405 o 261368 o 261348 o 261304 o 261267 o 261247 o 261009 o 260972 o 260952 o 260949 o 260929 o 260691 o 260654 o 260634 o 260541 o 260504 o 260484 o 260481 o 260461 o 260223 o 260186 o 260166 o 260064 o 260027 o 260007 o 259914 o 259877 o 259857 o 259854 o 259834 o 259596 o 259559 o 259539 o 259522 o 259519 o 259499 o 259261 o 259224 o 259204 o 259173 o 259153 o 259090 o 259053 o 259033 o 258917 o 258880 o 258860 o 258622 o 258585 o 258565 o 258376 o 258339 o 258319 o 258299 o 258279 o 258041 o 258004 o 257984 o 257981 o 257961 o 257723 o 257686 o 257666 o 257439 o 257402 o 257382 o 257289 o 257252 o 257232 o 257229 o 257209 o 256971 o 256934 o 256914 o 256714 o 256677 o 256657 o 256575 o 256538 o 256518 o 256515 o 256495 o 256257 o 256220 o 256200 o 256107 o 256070 o 256050 o 256047 o 256027 o 255789 o 255752 o 255732 o 255706 o 255686 o 255678 o 255630 o 255593 o 255573 o 255480 o 255443 o 255423 o 255420 o 255400 o 255162 o 255125 o 255105 o 255074 o 255054 o 254867 o 254830 o 254810 o 254807 o 254787 o 254549 o 254512 o 254492 o 254410 o 254373 o 254353 o 254237 o 254200 o 254180 o 253942 o 253905 o 253885 o 253882 o 253862 o 253624 o 253587 o 253567 o 253550 o 253547 o 253527 o 253289 o 253252 o 253232 o 253223 o 253220 o 253200 o 252962 o 252925 o 252905 o 252812 o 252775 o 252755 o 252752 o 252732 o 252494 o 252457 o 252437 o 252210 o 252173 o 252153 o 252060 o 252023 o 252003 o 252000 o 251980 o 251742 o 251705 o 251685 o 251666 o 251629 o 251609 o 251422 o 251385 o 251365 o 251362 o 251342 o 251104 o 251067 o 251047 o 250965 o 250928 o 250908 o 250792 o 250755 o 250735 o 250497 o 250460 o 250440 o 250437 o 250417 o 250179 o 250142 o 250122 o 250114 o 249933 o 249896 o 249876 o 249859 o 249856 o 249836 o 249598 o 249561 o 249541 o 249510 o 249490 o 249303 o 249266 o 249246 o 249243 o 249223 o 248985 o 248948 o 248928 o 248846 o 248809 o 248789 o 248673 o 248636 o 248616 o 248378 o 248341 o 248321 o 248318 o 248298 o 248060 o 248023 o 248003 o 247994 o 247991 o 247971 o 247733 o 247696 o 247676 o 247449 o 247412 o 247392 o 247299 o 247262 o 247242 o 247239 o 247219 o 246981 o 246944 o 246924 o 246843 o 246806 o 246786 o 246548 o 246511 o 246491 o 246488 o 246468 o 246230 o 246193 o 246173 o 246080 o 246043 o 246023 o 246020 o 246000 o 245762 o 245725 o 245705 o 245675 o 245638 o 245618 o 245410 o 245373 o 245353 o 245305 o 245268 o 245248 o 245155 o 245118 o 245098 o 245095 o 245075 o 244837 o 244800 o 244780 o 244749 o 244729 o 244542 o 244505 o 244485 o 244482 o 244462 o 244224 o 244187 o 244167 o 244085 o 244048 o 244028 o 243912 o 243875 o 243855 o 243617 o 243580 o 243560 o 243557 o 243537 o 243299 o 243262 o 243242 o 243137 o 243100 o 243080 o 242980 o 242943 o 242923 o 242669 o 242632 o 242612 o 242374 o 242337 o 242317 o 242314 o 242294 o 242056 o 242019 o 241999 o 241969 o 241932 o 241912 o 241704 o 241667 o 241647 o 241442 o 241405 o 241385 o 241369 o 241131 o 241094 o 241074 o 241043 o 241023 o 240836 o 240799 o 240779 o 240772 o 240756 o 240518 o 240481 o 240461 o 240379 o 240342 o 240322 o 240206 o 240169 o 240149 o 239911 o 239874 o 239854 o 239847 o 239831 o 239593 o 239556 o 239536 o 239428 o 239391 o 239371 o 239266 o 239229 o 239209 o 239109 o 239072 o 239052 o 238798 o 238761 o 238741 o 238503 o 238466 o 238446 o 238443 o 238423 o 238185 o 238148 o 238128 o 238114 o 238094 o 238091 o 238071 o 237833 o 237796 o 237776 o 237571 o 237534 o 237514 o 237498 o 237260 o 237223 o 237203 o 237172 o 237152 o 236965 o 236928 o 236908 o 236901 o 236885 o 236647 o 236610 o 236590 o 236508 o 236471 o 236451 o 236335 o 236298 o 236278 o 236040 o 236003 o 235983 o 235976 o 235960 o 235722 o 235685 o 235665 o 235449 o 235412 o 235392 o 235385 o 235369 o 235131 o 235094 o 235074 o 235037 o 235017 o 234779 o 234742 o 234722 o 234517 o 234480 o 234460 o 234444 o 234206 o 234169 o 234149 o 234118 o 234098 o 233950 o 233913 o 233893 o 233777 o 233740 o 233720 o 233482 o 233445 o 233425 o 233297 o 233260 o 233240 o 233224 o 232986 o 232949 o 232929 o 232922 o 232906 o 232668 o 232631 o 232611 o 232600 o 232507 o 232470 o 232450 o 232447 o 232427 o 232189 o 232152 o 232132 o 231919 o 231882 o 231862 o 231846 o 231608 o 231571 o 231551 o 231537 o 231517 o 231514 o 231494 o 231256 o 231219 o 231199 o 230994 o 230957 o 230937 o 230921 o 230683 o 230646 o 230626 o 230595 o 230575 o 230388 o 230351 o 230331 o 230324 o 230308 o 230070 o 230033 o 230013 o 229931 o 229894 o 229874 o 229758 o 229721 o 229701 o 229463 o 229426 o 229406 o 229399 o 229383 o 229145 o 229108 o 229088 o 228872 o 228835 o 228815 o 228808 o 228792 o 228554 o 228517 o 228497 o 228460 o 228440 o 228202 o 228165 o 228145 o 227940 o 227903 o 227883 o 227867 o 227629 o 227592 o 227572 o 227541 o 227521 o 227373 o 227336 o 227316 o 227200 o 227163 o 227143 o 226905 o 226868 o 226848 o 226720 o 226683 o 226663 o 226647 o 226409 o 226372 o 226352 o 226345 o 226329 o 226091 o 226054 o 226034 o 225801 o 225764 o 225744 o 225528 o 225491 o 225471 o 225464 o 225448 o 225210 o 225173 o 225153 o 225116 o 225096 o 224858 o 224821 o 224801 o 224596 o 224559 o 224539 o 224523 o 224285 o 224248 o 224228 o 224197 o 224177 o 224029 o 223992 o 223972 o 223856 o 223819 o 223799 o 223561 o 223524 o 223504 o 223376 o 223339 o 223319 o 223303 o 223065 o 223028 o 223008 o 223001 o 222985 o 222747 o 222710 o 222690 o 222675 o 222559 o 222522 o 222502 o 222264 o 222227 o 222207 o 222200 o 222184 o 221946 o 221909 o 221889 o 221807 o 221770 o 221750 o 221634 o 221597 o 221577 o 221339 o 221302 o 221282 o 221275 o 221259 o 221021 o 220984 o 220964 o 220954 o 220741 o 220704 o 220684 o 220668 o 220430 o 220393 o 220373 o 220342 o 220322 o 220174 o 220137 o 220117 o 220001 o 219964 o 219944 o 219706 o 219669 o 219649 o 219521 o 219484 o 219464 o 219448 o 219210 o 219173 o 219153 o 219146 o 219130 o 218892 o 218855 o 218835 o 218821 o 218801 o 218798 o 218778 o 218540 o 218503 o 218483 o 218278 o 218241 o 218221 o 218205 o 217967 o 217930 o 217910 o 217677 o 217640 o 217620 o 217404 o 217367 o 217347 o 217340 o 217324 o 217086 o 217049 o 217029 o 216992 o 216972 o 216734 o 216697 o 216677 o 216472 o 216435 o 216415 o 216399 o 216161 o 216124 o 216104 o 216073 o 216053 o 215905 o 215868 o 215848 o 215732 o 215695 o 215675 o 215437 o 215400 o 215380 o 215252 o 215215 o 215195 o 215179 o 214941 o 214904 o 214884 o 214877 o 214861 o 214623 o 214586 o 214566 o 214561 o 214524 o 214504 o 214288 o 214251 o 214231 o 214224 o 214208 o 213970 o 213933 o 213913 o 213876 o 213856 o 213618 o 213581 o 213561 o 213356 o 213319 o 213299 o 213283 o 213045 o 213008 o 212988 o 212957 o 212937 o 212789 o 212752 o 212732 o 212616 o 212579 o 212559 o 212321 o 212284 o 212264 o 212136 o 212099 o 212079 o 212063 o 211825 o 211788 o 211768 o 211761 o 211745 o 211507 o 211470 o 211450 o 211217 o 211180 o 211160 o 210944 o 210907 o 210887 o 210880 o 210864 o 210626 o 210589 o 210569 o 210532 o 210512 o 210274 o 210237 o 210217 o 210012 o 209975 o 209955 o 209939 o 209701 o 209664 o 209644 o 209613 o 209593 o 209445 o 209408 o 209388 o 209272 o 209235 o 209215 o 208977 o 208940 o 208920 o 208792 o 208755 o 208735 o 208719 o 208481 o 208444 o 208424 o 208417 o 208401 o 208163 o 208126 o 208106 o 208018 o 207981 o 207961 o 207927 o 207907 o 207879 o 207842 o 207822 o 207691 o 207654 o 207634 o 207518 o 207481 o 207461 o 207223 o 207186 o 207166 o 207038 o 207001 o 206981 o 206965 o 206727 o 206690 o 206670 o 206666 o 206646 o 206630 o 206392 o 206355 o 206335 o 206243 o 206206 o 206186 o 206040 o 206003 o 205983 o 205778 o 205741 o 205721 o 205705 o 205467 o 205430 o 205410 o 205177 o 205140 o 205120 o 204904 o 204867 o 204847 o 204840 o 204824 o 204586 o 204549 o 204529 o 204437 o 204400 o 204380 o 204234 o 204197 o 204177 o 203972 o 203935 o 203915 o 203899 o 203661 o 203624 o 203604 o 203573 o 203553 o 203512 o 203475 o 203455 o 203217 o 203180 o 203160 o 203153 o 203137 o 202899 o 202862 o 202842 o 202736 o 202699 o 202679 o 202441 o 202404 o 202384 o 202377 o 202361 o 202123 o 202086 o 202066 o 202055 o 202052 o 202032 o 201794 o 201757 o 201737 o 201724 o 201486 o 201449 o 201429 o 201336 o 201299 o 201279 o 201276 o 201256 o 201018 o 200981 o 200961 o 200768 o 200731 o 200711 o 200573 o 200536 o 200516 o 200303 o 200266 o 200246 o 200230 o 199992 o 199955 o 199935 o 199929 o 199909 o 199906 o 199886 o 199648 o 199611 o 199591 o 199378 o 199341 o 199321 o 199305 o 199067 o 199030 o 199010 o 198787 o 198750 o 198730 o 198717 o 198479 o 198442 o 198422 o 198329 o 198292 o 198272 o 198265 o 198249 o 198011 o 197974 o 197954 o 197951 o 197858 o 197821 o 197801 o 197798 o 197778 o 197540 o 197503 o 197483 o 197267 o 197230 o 197210 o 197203 o 197187 o 196949 o 196912 o 196892 o 196800 o 196763 o 196743 o 196728 o 196691 o 196671 o 196597 o 196560 o 196540 o 196335 o 196298 o 196278 o 196262 o 196024 o 195987 o 195967 o 195936 o 195916 o 195909 o 195891 o 195854 o 195834 o 195818 o 195580 o 195543 o 195523 o 195516 o 195500 o 195262 o 195225 o 195205 o 195190 o 195153 o 195133 o 195115 o 195078 o 195058 o 195042 o 194804 o 194767 o 194747 o 194740 o 194724 o 194486 o 194449 o 194429 o 194418 o 194415 o 194395 o 194157 o 194120 o 194100 o 194085 o 194048 o 194028 o 193849 o 193812 o 193792 o 193699 o 193662 o 193642 o 193639 o 193619 o 193381 o 193344 o 193324 o 193131 o 193094 o 193074 o 193061 o 193041 o 193025 o 192787 o 192750 o 192730 o 192517 o 192480 o 192460 o 192444 o 192206 o 192169 o 192149 o 192011 o 191974 o 191954 o 191741 o 191704 o 191684 o 191668 o 191430 o 191393 o 191373 o 191150 o 191113 o 191093 o 191078 o 191041 o 191021 o 190842 o 190805 o 190785 o 190692 o 190655 o 190635 o 190632 o 190612 o 190374 o 190337 o 190317 o 190167 o 190130 o 190110 o 190103 o 190087 o 189849 o 189812 o 189792 o 189687 o 189650 o 189630 o 189392 o 189355 o 189335 o 189219 o 189182 o 189162 o 188924 o 188887 o 188867 o 188836 o 188816 o 188809 o 188791 o 188754 o 188734 o 188718 o 188480 o 188443 o 188423 o 188416 o 188400 o 188162 o 188125 o 188105 o 188090 o 188053 o 188033 o 188015 o 187978 o 187958 o 187942 o 187704 o 187667 o 187647 o 187640 o 187624 o 187386 o 187349 o 187329 o 187327 o 187104 o 187067 o 187047 o 187032 o 186995 o 186975 o 186901 o 186864 o 186844 o 186639 o 186602 o 186582 o 186566 o 186328 o 186291 o 186271 o 186269 o 186031 o 185994 o 185974 o 185959 o 185922 o 185902 o 185723 o 185686 o 185666 o 185573 o 185536 o 185516 o 185513 o 185493 o 185255 o 185218 o 185198 o 185184 o 185164 o 185161 o 185141 o 184903 o 184866 o 184846 o 184667 o 184630 o 184610 o 184517 o 184480 o 184460 o 184457 o 184437 o 184199 o 184162 o 184142 o 184050 o 184013 o 183993 o 183978 o 183941 o 183921 o 183742 o 183705 o 183685 o 183592 o 183555 o 183535 o 183532 o 183512 o 183274 o 183237 o 183217 o 183213 o 182990 o 182953 o 182933 o 182918 o 182881 o 182861 o 182682 o 182645 o 182625 o 182532 o 182495 o 182475 o 182468 o 182452 o 182214 o 182177 o 182157 o 181949 o 181912 o 181892 o 181889 o 181869 o 181631 o 181594 o 181574 o 181540 o 181503 o 181483 o 181245 o 181208 o 181188 o 181185 o 181165 o 180927 o 180890 o 180870 o 180732 o 180695 o 180675 o 180462 o 180425 o 180405 o 180389 o 180151 o 180114 o 180094 o 180002 o 179965 o 179945 o 179930 o 179893 o 179873 o 179799 o 179762 o 179742 o 179537 o 179500 o 179480 o 179464 o 179226 o 179189 o 179169 o 179020 o 178983 o 178963 o 178944 o 178907 o 178887 o 178872 o 178835 o 178815 o 178741 o 178704 o 178684 o 178479 o 178442 o 178422 o 178406 o 178168 o 178131 o 178111 o 178109 o 177871 o 177834 o 177814 o 177676 o 177639 o 177619 o 177406 o 177369 o 177349 o 177333 o 177095 o 177058 o 177038 o 177024 o 177004 o 177001 o 176981 o 176743 o 176706 o 176686 o 176507 o 176470 o 176450 o 176357 o 176320 o 176300 o 176297 o 176277 o 176039 o 176002 o 175982 o 175890 o 175853 o 175833 o 175818 o 175781 o 175761 o 175687 o 175650 o 175630 o 175425 o 175388 o 175368 o 175352 o 175114 o 175077 o 175057 o 174989 o 174952 o 174932 o 174916 o 174678 o 174641 o 174621 o 174426 o 174389 o 174369 o 174362 o 174346 o 174108 o 174071 o 174051 o 174037 o 174017 o 174014 o 173994 o 173756 o 173719 o 173699 o 173681 o 173644 o 173624 o 173608 o 173370 o 173333 o 173313 o 173306 o 173290 o 173052 o 173015 o 172995 o 172985 o 172772 o 172735 o 172715 o 172699 o 172461 o 172424 o 172404 o 172297 o 172260 o 172240 o 172233 o 172217 o 171979 o 171942 o 171922 o 171908 o 171888 o 171885 o 171865 o 171627 o 171590 o 171570 o 171552 o 171515 o 171495 o 171479 o 171241 o 171204 o 171184 o 171177 o 171161 o 170923 o 170886 o 170866 o 170774 o 170737 o 170717 o 170702 o 170665 o 170645 o 170571 o 170534 o 170514 o 170309 o 170272 o 170252 o 170236 o 169998 o 169961 o 169941 o 169893 o 169856 o 169836 o 169829 o 169703 o 169666 o 169646 o 169575 o 169538 o 169518 o 169492 o 169455 o 169435 o 169428 o 169302 o 169265 o 169245 o 169174 o 169137 o 169117 o 169089 o 169069 o 168963 o 168926 o 168906 o 168893 o 168818 o 168781 o 168761 o 168655 o 168618 o 168598 o 168498 o 168461 o 168441 o 168425 o 168350 o 168313 o 168293 o 168187 o 168150 o 168130 o 168082 o 168045 o 168025 o 168018 o 167998 o 167927 o 167890 o 167870 o 167855 o 167835 o 167764 o 167727 o 167707 o 167613 o 167576 o 167556 o 167501 o 167464 o 167444 o 167318 o 167281 o 167261 o 167190 o 167153 o 167133 o 167059 o 167022 o 167002 o 166961 o 166924 o 166904 o 166889 o 166852 o 166832 o 166653 o 166616 o 166596 o 166503 o 166466 o 166446 o 166443 o 166423 o 166185 o 166148 o 166128 o 165933 o 165896 o 165876 o 165869 o 165853 o 165615 o 165578 o 165558 o 165335 o 165298 o 165278 o 165263 o 165226 o 165206 o 165188 o 165151 o 165131 o 165115 o 164877 o 164840 o 164820 o 164813 o 164797 o 164559 o 164522 o 164502 o 164447 o 164410 o 164390 o 164264 o 164227 o 164207 o 164136 o 164099 o 164079 o 164070 o 164033 o 164013 o 164009 o 163989 o 163863 o 163826 o 163806 o 163735 o 163698 o 163678 o 163667 o 163561 o 163524 o 163504 o 163449 o 163412 o 163392 o 163372 o 163301 o 163264 o 163244 o 163229 o 163209 o 163138 o 163101 o 163081 o 163059 o 163022 o 163002 o 162986 o 162911 o 162874 o 162854 o 162748 o 162711 o 162691 o 162636 o 162599 o 162579 o 162559 o 162488 o 162451 o 162431 o 162416 o 162396 o 162325 o 162288 o 162268 o 162246 o 162226 o 162155 o 162118 o 162098 o 162096 o 162059 o 162039 o 161924 o 161887 o 161867 o 161851 o 161613 o 161576 o 161556 o 161351 o 161314 o 161294 o 161278 o 161040 o 161003 o 160983 o 160928 o 160891 o 160871 o 160745 o 160708 o 160688 o 160617 o 160580 o 160560 o 160527 o 160490 o 160470 o 160344 o 160307 o 160287 o 160216 o 160179 o 160159 o 160131 o 160111 o 160005 o 159968 o 159948 o 159933 o 159896 o 159876 o 159860 o 159823 o 159803 o 159697 o 159660 o 159640 o 159547 o 159510 o 159490 o 159487 o 159467 o 159392 o 159355 o 159335 o 159229 o 159192 o 159172 o 159117 o 159080 o 159060 o 159040 o 158969 o 158932 o 158912 o 158897 o 158877 o 158806 o 158769 o 158749 o 158711 o 158674 o 158654 o 158449 o 158412 o 158392 o 158376 o 158138 o 158101 o 158081 o 158026 o 157989 o 157969 o 157843 o 157806 o 157786 o 157715 o 157678 o 157658 o 157625 o 157588 o 157568 o 157442 o 157405 o 157385 o 157314 o 157277 o 157257 o 157229 o 157209 o 157103 o 157066 o 157046 o 157031 o 156994 o 156974 o 156958 o 156921 o 156901 o 156795 o 156758 o 156738 o 156645 o 156608 o 156588 o 156585 o 156565 o 156490 o 156453 o 156433 o 156327 o 156290 o 156270 o 156215 o 156178 o 156158 o 156138 o 156067 o 156030 o 156010 o 155995 o 155975 o 155904 o 155867 o 155847 o 155839 o 155802 o 155782 o 155727 o 155690 o 155670 o 155609 o 155572 o 155552 o 155542 o 155522 o 155507 o 155487 o 155416 o 155379 o 155359 o 155352 o 155332 o 155261 o 155224 o 155204 o 155180 o 155160 o 155105 o 155068 o 155048 o 155028 o 154957 o 154920 o 154900 o 154885 o 154865 o 154794 o 154757 o 154737 o 154715 o 154678 o 154658 o 154642 o 154567 o 154530 o 154510 o 154404 o 154367 o 154347 o 154292 o 154255 o 154235 o 154215 o 154144 o 154107 o 154087 o 154072 o 154052 o 153981 o 153944 o 153924 o 153872 o 153835 o 153815 o 153795 o 153724 o 153687 o 153667 o 153652 o 153632 o 153561 o 153524 o 153504 o 153500 o 153480 o 153460 o 153389 o 153352 o 153332 o 153317 o 153297 o 153226 o 153189 o 153169 o 153098 o 153061 o 153041 o 153013 o 152993 o 152887 o 152850 o 152830 o 152810 o 152790 o 152684 o 152647 o 152627 o 152585 o 152548 o 152528 o 152422 o 152385 o 152365 o 152349 o 152274 o 152237 o 152217 o 152111 o 152074 o 152054 o 151999 o 151962 o 151942 o 151922 o 151851 o 151814 o 151794 o 151779 o 151759 o 151688 o 151651 o 151631 o 151606 o 151586 o 151570 o 151499 o 151462 o 151442 o 151427 o 151390 o 151370 o 151288 o 151251 o 151231 o 151224 o 151187 o 151167 o 151085 o 151048 o 151028 o 150962 o 150925 o 150905 o 150823 o 150786 o 150766 o 150750 o 150651 o 150614 o 150594 o 150512 o 150475 o 150455 o 150400 o 150363 o 150343 o 150334 o 150319 o 150299 o 150228 o 150191 o 150171 o 150160 o 150089 o 150052 o 150032 o 150005 o 149985 o 149972 o 149873 o 149836 o 149816 o 149734 o 149697 o 149677 o 149666 o 149584 o 149547 o 149527 o 149524 o 149504 o 149429 o 149392 o 149372 o 149368 o 149348 o 149266 o 149229 o 149209 o 149154 o 149117 o 149097 o 149088 o 149073 o 149053 o 148982 o 148945 o 148925 o 148914 o 148843 o 148806 o 148786 o 148769 o 148687 o 148650 o 148630 o 148575 o 148538 o 148518 o 148509 o 148494 o 148474 o 148403 o 148366 o 148346 o 148335 o 148264 o 148227 o 148207 o 148203 o 148183 o 148174 o 148159 o 148139 o 148068 o 148031 o 148011 o 148000 o 147929 o 147892 o 147872 o 147865 o 147794 o 147757 o 147737 o 147735 o 147715 o 147711 o 147691 o 147682 o 147667 o 147647 o 147638 o 147576 o 147539 o 147519 o 147508 o 147499 o 147437 o 147400 o 147380 o 147377 o 147362 o 147342 o 147271 o 147234 o 147214 o 147203 o 147132 o 147095 o 147075 o 147013 o 146976 o 146956 o 146953 o 146916 o 146896 o 146887 o 146872 o 146852 o 146781 o 146744 o 146724 o 146713 o 146642 o 146605 o 146585 o 146523 o 146486 o 146466 o 146450 o 146388 o 146351 o 146331 o 146319 o 146310 o 146295 o 146275 o 146204 o 146167 o 146147 o 146136 o 146065 o 146028 o 146008 o 146001 o 145930 o 145893 o 145873 o 145858 o 145838 o 145829 o 145767 o 145730 o 145710 o 145699 o 145690 o 145628 o 145591 o 145571 o 145550 o 145530 o 145510 o 145448 o 145411 o 145391 o 145375 o 145358 o 145338 o 145276 o 145239 o 145219 o 145199 o 145137 o 145100 o 145080 o 145025 o 144988 o 144968 o 144959 o 144944 o 144924 o 144915 o 144853 o 144816 o 144796 o 144785 o 144776 o 144714 o 144677 o 144657 o 144641 o 144579 o 144542 o 144522 o 144510 o 144501 o 144486 o 144466 o 144395 o 144358 o 144338 o 144327 o 144256 o 144219 o 144199 o 144192 o 144121 o 144084 o 144064 o 144056 o 144035 o 144015 o 143995 o 143958 o 143938 o 143927 o 143856 o 143819 o 143799 o 143737 o 143700 o 143680 o 143664 o 143602 o 143565 o 143545 o 143533 o 143524 o 143509 o 143489 o 143418 o 143381 o 143361 o 143350 o 143279 o 143242 o 143222 o 143215 o 143144 o 143107 o 143087 o 143079 o 143052 o 143032 o 143021 o 142950 o 142913 o 142893 o 142831 o 142794 o 142774 o 142758 o 142696 o 142659 o 142639 o 142627 o 142618 o 142603 o 142583 o 142512 o 142475 o 142455 o 142444 o 142373 o 142336 o 142316 o 142309 o 142238 o 142201 o 142181 o 142173 o 142136 o 142099 o 142079 o 142067 o 142058 o 142043 o 142023 o 141952 o 141915 o 141895 o 141884 o 141813 o 141776 o 141756 o 141749 o 141678 o 141641 o 141621 o 141613 o 141586 o 141566 o 141555 o 141484 o 141447 o 141427 o 141420 o 141349 o 141312 o 141292 o 141284 o 141232 o 141195 o 141175 o 141129 o 141092 o 141072 o 141060 o 141040 o 140994 o 140957 o 140937 o 140929 o 140921 o 140898 o 140861 o 140841 o 140830 o 140759 o 140722 o 140702 o 140695 o 140624 o 140587 o 140567 o 140559 o 140551 o 140531 o 140523 o 140518 o 140498 o 140461 o 140441 o 140430 o 140359 o 140322 o 140302 o 140240 o 140203 o 140183 o 140167 o 140105 o 140068 o 140048 o 140028 o 139991 o 139971 o 139963 o 139911 o 139874 o 139854 o 139838 o 139776 o 139739 o 139719 o 139699 o 139662 o 139642 o 139634 o 139618 o 139602 o 139556 o 139519 o 139499 o 139483 o 139467 o 139421 o 139384 o 139364 o 139344 o 139307 o 139287 o 139279 o 139271 o 139268 o 139248 o 139186 o 139149 o 139129 o 139113 o 139051 o 139014 o 138994 o 138974 o 138937 o 138917 o 138909 o 138893 o 138873 o 138862 o 138791 o 138754 o 138734 o 138727 o 138656 o 138619 o 138599 o 138591 o 138585 o 138577 o 138541 o 138504 o 138484 o 138468 o 138422 o 138385 o 138365 o 138349 o 138333 o 138287 o 138250 o 138230 o 138222 o 138214 o 138171 o 138134 o 138114 o 138052 o 138015 o 137995 o 137979 o 137917 o 137880 o 137860 o 137852 o 137848 o 137841 o 137770 o 137733 o 137713 o 137705 o 137653 o 137616 o 137596 o 137550 o 137513 o 137493 o 137481 o 137461 o 137415 o 137378 o 137358 o 137350 o 137342 o 137319 o 137282 o 137262 o 137251 o 137180 o 137143 o 137123 o 137116 o 137045 o 137008 o 136988 o 136980 o 136969 o 136949 o 136941 o 136933 o 136890 o 136853 o 136833 o 136771 o 136734 o 136714 o 136698 o 136636 o 136599 o 136579 o 136571 o 136567 o 136560 o 136489 o 136452 o 136432 o 136424 o 136372 o 136335 o 136315 o 136269 o 136232 o 136212 o 136200 o 136180 o 136134 o 136097 o 136077 o 136069 o 136061 o 136038 o 136001 o 135981 o 135970 o 135899 o 135862 o 135842 o 135835 o 135764 o 135727 o 135707 o 135699 o 135686 o 135640 o 135603 o 135583 o 135571 o 135551 o 135505 o 135468 o 135448 o 135440 o 135432 o 135409 o 135372 o 135352 o 135341 o 135270 o 135233 o 135213 o 135206 o 135135 o 135098 o 135078 o 135070 o 135059 o 135039 o 135031 o 135023 o 134980 o 134943 o 134923 o 134861 o 134824 o 134804 o 134788 o 134726 o 134689 o 134669 o 134661 o 134657 o 134650 o 134579 o 134542 o 134522 o 134514 o 134462 o 134425 o 134405 o 134359 o 134322 o 134302 o 134290 o 134270 o 134224 o 134187 o 134167 o 134159 o 134151 o 134128 o 134091 o 134071 o 134060 o 133989 o 133952 o 133932 o 133925 o 133854 o 133817 o 133797 o 133789 o 133781 o 133729 o 133692 o 133672 o 133626 o 133589 o 133569 o 133557 o 133537 o 133491 o 133454 o 133434 o 133426 o 133418 o 133395 o 133358 o 133338 o 133327 o 133256 o 133219 o 133199 o 133192 o 133121 o 133084 o 133064 o 133056 o 133045 o 133025 o 133017 o 133009 o 132966 o 132929 o 132909 o 132847 o 132810 o 132790 o 132774 o 132712 o 132675 o 132655 o 132647 o 132643 o 132636 o 132565 o 132528 o 132508 o 132500 o 132448 o 132411 o 132391 o 132345 o 132308 o 132288 o 132276 o 132256 o 132210 o 132173 o 132153 o 132145 o 132137 o 132114 o 132077 o 132057 o 132046 o 131975 o 131938 o 131918 o 131911 o 131840 o 131803 o 131783 o 131775 o 131761 o 131724 o 131704 o 131692 o 131672 o 131626 o 131589 o 131569 o 131561 o 131553 o 131530 o 131493 o 131473 o 131462 o 131391 o 131354 o 131334 o 131327 o 131256 o 131219 o 131199 o 131191 o 131183 o 131163 o 131117 o 131080 o 131060 o 131048 o 131028 o 130982 o 130945 o 130925 o 130917 o 130892 o 130872 o 130864 o 130856 o 130849 o 130829 o 130818 o 130747 o 130710 o 130690 o 130683 o 130612 o 130575 o 130555 o 130547 o 130522 o 130502 o 130494 o 130483 o 130463 o 130455 o 130447 o 130420 o 130400 o 130338 o 130301 o 130281 o 130265 o 130203 o 130166 o 130146 o 130138 o 130113 o 130093 o 130085 o 130056 o 130019 o 129999 o 129991 o 129966 o 129946 o 129938 o 129902 o 129882 o 129836 o 129799 o 129779 o 129767 o 129747 o 129701 o 129664 o 129644 o 129636 o 129611 o 129591 o 129583 o 129575 o 129568 o 129548 o 129537 o 129466 o 129429 o 129409 o 129402 o 129331 o 129294 o 129274 o 129266 o 129241 o 129221 o 129213 o 129205 o 129185 o 129177 o 129152 o 129132 o 129124 o 129111 o 129091 o 129059 o 129022 o 129002 o 128976 o 128956 o 128948 o 128940 o 128926 o 128906 o 128895 o 128824 o 128787 o 128767 o 128741 o 128721 o 128689 o 128652 o 128632 o 128606 o 128586 o 128578 o 128573 o 128553 o 128527 o 128507 o 128475 o 128438 o 128418 o 128392 o 128372 o 128364 o 128356 o 128342 o 128322 o 128311 o 128240 o 128203 o 128183 o 128157 o 128137 o 128105 o 128068 o 128048 o 128022 o 128002 o 127994 o 127966 o 127929 o 127909 o 127883 o 127863 o 127831 o 127794 o 127774 o 127748 o 127728 o 127720 o 127695 o 127675 o 127667 o 127659 o 127596 o 127559 o 127539 o 127513 o 127493 o 127461 o 127424 o 127404 o 127378 o 127358 o 127350 o 127325 o 127305 o 127297 o 127286 o 127266 o 127258 o 127250 o 127249 o 127187 o 127150 o 127130 o 127104 o 127084 o 127052 o 127015 o 126995 o 126969 o 126949 o 126941 o 126916 o 126896 o 126888 o 126868 o 126848 oKilled 1979.651u 0.047s 33:13.62 99.3% 0+0k 0+0io 0pf+0w