Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-WMaxSatz+-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/WMaxSatz+/WMaxSatz+ c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 295 2206 4218222 WARNING: Ubcsat not found. o 4218222 o 316352 o 315231 o 314936 o 313455 o 312334 o 312039 o 311999 o 311704 o 311619 o 311324 o 311284 o 310989 o 310573 o 310278 o 308797 o 307676 o 307381 o 307341 o 307046 o 306350 o 306055 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 295561 o 295266 o 295238 o 294943 o 294554 o 294259 o 294086 o 293791 o 293751 o 293456 o 293350 o 293243 o 293137 o 292748 o 292453 o 292280 o 291985 o 291945 o 291650 o 291412 o 291372 o 291077 o 291026 o 290870 o 290742 o 290447 o 290274 o 289979 o 289939 o 289644 o 289406 o 289366 o 289071 o 289048 o 288753 o 288670 o 288375 o 288335 o 288040 o 287802 o 287762 o 287467 o 287416 o 287260 o 287132 o 286837 o 286664 o 286369 o 286329 o 286034 o 285796 o 285756 o 285461 o 285438 o 285143 o 284993 o 284942 o 284647 o 284607 o 284312 o 284074 o 284034 o 283739 o 283716 o 283421 o 283281 o 283244 o 283224 o 283204 o 283184 o 282946 o 282909 o 282889 o 282858 o 282838 o 282739 o 282702 o 282682 o 282611 o 282574 o 282554 o 282316 o 282279 o 282259 o 282143 o 282106 o 282086 o 281848 o 281811 o 281791 o 281771 o 281751 o 281513 o 281476 o 281456 o 281275 o 281238 o 281218 o 281198 o 281178 o 280940 o 280903 o 280883 o 280880 o 280860 o 280622 o 280585 o 280565 o 280472 o 280435 o 280415 o 280384 o 280364 o 280126 o 280089 o 280069 o 280049 o 280029 o 279791 o 279754 o 279734 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 278282 o 278262 o 278259 o 278239 o 278001 o 277964 o 277944 o 277851 o 277814 o 277794 o 277763 o 277743 o 277505 o 277468 o 277448 o 277428 o 277408 o 277170 o 277133 o 277113 o 276932 o 276895 o 276875 o 276855 o 276835 o 276597 o 276560 o 276540 o 276537 o 276517 o 276279 o 276242 o 276222 o 276057 o 276020 o 276000 o 275997 o 275977 o 275739 o 275702 o 275682 o 275589 o 275552 o 275532 o 275501 o 275481 o 275243 o 275206 o 275186 o 275166 o 275146 o 274908 o 274871 o 274851 o 274670 o 274633 o 274613 o 274593 o 274573 o 274335 o 274298 o 274278 o 274275 o 274255 o 274017 o 273980 o 273960 o 273874 o 273837 o 273817 o 273814 o 273794 o 273556 o 273519 o 273499 o 273468 o 273431 o 273411 o 273399 o 273379 o 273376 o 273356 o 273118 o 273081 o 273061 o 272968 o 272931 o 272911 o 272880 o 272860 o 272622 o 272585 o 272565 o 272545 o 272525 o 272287 o 272250 o 272230 o 272049 o 272012 o 271992 o 271972 o 271952 o 271714 o 271677 o 271657 o 271654 o 271634 o 271396 o 271359 o 271339 o 271305 o 271268 o 271248 o 271228 o 271208 o 270970 o 270933 o 270913 o 270732 o 270695 o 270675 o 270655 o 270635 o 270397 o 270360 o 270340 o 270337 o 270317 o 270079 o 270042 o 270022 o 269936 o 269899 o 269879 o 269876 o 269856 o 269618 o 269581 o 269561 o 269530 o 269493 o 269473 o 269461 o 269441 o 269438 o 269418 o 269180 o 269143 o 269123 o 269030 o 268993 o 268973 o 268942 o 268922 o 268684 o 268647 o 268627 o 268607 o 268587 o 268349 o 268312 o 268292 o 268111 o 268074 o 268054 o 268034 o 268014 o 267776 o 267739 o 267719 o 267716 o 267696 o 267458 o 267421 o 267401 o 267384 o 267146 o 267109 o 267089 o 267069 o 267049 o 266811 o 266774 o 266754 o 266573 o 266536 o 266516 o 266496 o 266476 o 266238 o 266201 o 266181 o 266178 o 266158 o 265920 o 265883 o 265863 o 265761 o 265724 o 265704 o 265701 o 265681 o 265443 o 265406 o 265386 o 265369 o 265131 o 265094 o 265074 o 265054 o 265034 o 264796 o 264759 o 264739 o 264558 o 264521 o 264501 o 264481 o 264461 o 264223 o 264186 o 264166 o 264163 o 264143 o 263905 o 263868 o 263848 o 263834 o 263797 o 263777 o 263596 o 263559 o 263539 o 263519 o 263499 o 263261 o 263224 o 263204 o 263201 o 263181 o 262943 o 262906 o 262886 o 262869 o 262631 o 262594 o 262574 o 262554 o 262534 o 262296 o 262259 o 262239 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 261114 o 261077 o 261057 o 260876 o 260839 o 260819 o 260799 o 260779 o 260541 o 260504 o 260484 o 260481 o 260461 o 260223 o 260186 o 260166 o 260152 o 260115 o 260095 o 259914 o 259877 o 259857 o 259837 o 259817 o 259579 o 259542 o 259522 o 259519 o 259499 o 259261 o 259224 o 259204 o 259187 o 258949 o 258912 o 258892 o 258872 o 258852 o 258614 o 258577 o 258557 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 257624 o 257587 o 257567 o 257547 o 257527 o 257289 o 257252 o 257232 o 257229 o 257209 o 256971 o 256934 o 256914 o 256714 o 256677 o 256657 o 256643 o 256623 o 256442 o 256405 o 256385 o 256365 o 256345 o 256107 o 256070 o 256050 o 256047 o 256027 o 255789 o 255752 o 255732 o 255715 o 255695 o 255681 o 255661 o 255480 o 255443 o 255423 o 255403 o 255383 o 255145 o 255108 o 255088 o 255085 o 255065 o 254827 o 254790 o 254770 o 254532 o 254495 o 254475 o 254472 o 254452 o 254214 o 254177 o 254157 o 254143 o 254123 o 253942 o 253905 o 253885 o 253865 o 253845 o 253607 o 253570 o 253550 o 253547 o 253527 o 253289 o 253252 o 253232 o 253147 o 253110 o 253090 o 253070 o 253050 o 252812 o 252775 o 252755 o 252752 o 252732 o 252494 o 252457 o 252437 o 252395 o 252358 o 252338 o 252318 o 252298 o 252060 o 252023 o 252003 o 252000 o 251980 o 251742 o 251705 o 251685 o 251485 o 251448 o 251428 o 251414 o 251394 o 251213 o 251176 o 251156 o 251136 o 251116 o 250878 o 250841 o 250821 o 250818 o 250798 o 250560 o 250523 o 250503 o 250486 o 250466 o 250452 o 250432 o 250251 o 250214 o 250194 o 250174 o 250154 o 249916 o 249879 o 249859 o 249856 o 249836 o 249598 o 249561 o 249541 o 249303 o 249266 o 249246 o 249243 o 249223 o 248985 o 248948 o 248928 o 248914 o 248894 o 248713 o 248676 o 248656 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 247634 o 247597 o 247577 o 247557 o 247537 o 247299 o 247262 o 247242 o 247239 o 247219 o 246981 o 246944 o 246924 o 246724 o 246687 o 246667 o 246653 o 246633 o 246452 o 246415 o 246395 o 246375 o 246355 o 246117 o 246080 o 246060 o 246057 o 246037 o 245799 o 245762 o 245742 o 245725 o 245705 o 245691 o 245671 o 245490 o 245453 o 245433 o 245413 o 245393 o 245155 o 245118 o 245098 o 245095 o 245075 o 244837 o 244800 o 244780 o 244542 o 244505 o 244485 o 244482 o 244462 o 244224 o 244187 o 244167 o 244153 o 244133 o 243952 o 243915 o 243895 o 243875 o 243855 o 243617 o 243580 o 243560 o 243557 o 243537 o 243299 o 243262 o 243242 o 243238 o 243218 o 243018 o 242981 o 242961 o 242947 o 242927 o 242722 o 242685 o 242665 o 242649 o 242411 o 242374 o 242354 o 242347 o 242331 o 242093 o 242056 o 242036 o 242019 o 241999 o 241985 o 241965 o 241760 o 241723 o 241703 o 241687 o 241449 o 241412 o 241392 o 241385 o 241369 o 241131 o 241094 o 241074 o 240836 o 240799 o 240779 o 240772 o 240756 o 240518 o 240481 o 240461 o 240447 o 240427 o 240222 o 240185 o 240165 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 239367 o 239347 o 239147 o 239110 o 239090 o 239076 o 239056 o 238851 o 238814 o 238794 o 238778 o 238540 o 238503 o 238483 o 238476 o 238460 o 238222 o 238185 o 238165 o 238148 o 238128 o 238114 o 238094 o 237889 o 237852 o 237832 o 237816 o 237578 o 237541 o 237521 o 237514 o 237498 o 237260 o 237223 o 237203 o 236965 o 236928 o 236908 o 236901 o 236885 o 236647 o 236610 o 236590 o 236576 o 236556 o 236351 o 236314 o 236294 o 236278 o 236040 o 236003 o 235983 o 235976 o 235960 o 235722 o 235685 o 235665 o 235486 o 235449 o 235429 o 235422 o 235406 o 235168 o 235131 o 235111 o 235094 o 235074 o 235060 o 235040 o 234835 o 234798 o 234778 o 234762 o 234524 o 234487 o 234467 o 234460 o 234444 o 234206 o 234169 o 234149 o 233911 o 233874 o 233854 o 233847 o 233831 o 233593 o 233556 o 233536 o 233522 o 233502 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 232570 o 232533 o 232513 o 232499 o 232479 o 232274 o 232237 o 232217 o 232201 o 231963 o 231926 o 231906 o 231899 o 231883 o 231645 o 231608 o 231588 o 231571 o 231551 o 231537 o 231517 o 231312 o 231275 o 231255 o 231239 o 231001 o 230964 o 230944 o 230937 o 230921 o 230683 o 230646 o 230626 o 230388 o 230351 o 230331 o 230324 o 230308 o 230070 o 230033 o 230013 o 229999 o 229979 o 229774 o 229737 o 229717 o 229701 o 229463 o 229426 o 229406 o 229399 o 229383 o 229145 o 229108 o 229088 o 228909 o 228872 o 228852 o 228845 o 228829 o 228591 o 228554 o 228534 o 228517 o 228497 o 228483 o 228463 o 228258 o 228221 o 228201 o 228185 o 227947 o 227910 o 227890 o 227883 o 227867 o 227629 o 227592 o 227572 o 227334 o 227297 o 227277 o 227270 o 227254 o 227016 o 226979 o 226959 o 226945 o 226925 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 225656 o 225619 o 225599 o 225592 o 225576 o 225338 o 225301 o 225281 o 225276 o 225247 o 225210 o 225190 o 225173 o 225153 o 225139 o 225119 o 224914 o 224877 o 224857 o 224841 o 224603 o 224566 o 224546 o 224539 o 224523 o 224285 o 224248 o 224228 o 223990 o 223953 o 223933 o 223926 o 223910 o 223672 o 223635 o 223615 o 223601 o 223581 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 222559 o 222522 o 222502 o 222264 o 222227 o 222207 o 222200 o 222184 o 221946 o 221909 o 221889 o 221875 o 221855 o 221650 o 221613 o 221593 o 221577 o 221339 o 221302 o 221282 o 221275 o 221259 o 221021 o 220984 o 220964 o 220785 o 220748 o 220728 o 220721 o 220705 o 220467 o 220430 o 220410 o 220393 o 220373 o 220359 o 220339 o 220134 o 220097 o 220077 o 220061 o 219823 o 219786 o 219766 o 219759 o 219743 o 219505 o 219468 o 219448 o 219210 o 219173 o 219153 o 219146 o 219130 o 218892 o 218855 o 218835 o 218821 o 218801 o 218596 o 218559 o 218539 o 218523 o 218285 o 218248 o 218228 o 218221 o 218205 o 217967 o 217930 o 217910 o 217677 o 217640 o 217620 o 217532 o 217495 o 217475 o 217468 o 217452 o 217214 o 217177 o 217157 o 217152 o 217123 o 217086 o 217066 o 217049 o 217029 o 217015 o 216995 o 216790 o 216753 o 216733 o 216717 o 216479 o 216442 o 216422 o 216415 o 216399 o 216161 o 216124 o 216104 o 215866 o 215829 o 215809 o 215802 o 215786 o 215548 o 215511 o 215491 o 215477 o 215457 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 214325 o 214288 o 214268 o 214261 o 214245 o 214007 o 213970 o 213950 o 213933 o 213913 o 213899 o 213879 o 213674 o 213637 o 213617 o 213601 o 213363 o 213326 o 213306 o 213299 o 213283 o 213045 o 213008 o 212988 o 212750 o 212713 o 212693 o 212686 o 212670 o 212432 o 212395 o 212375 o 212361 o 212341 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 211072 o 211035 o 211015 o 211008 o 210992 o 210754 o 210717 o 210697 o 210692 o 210663 o 210626 o 210606 o 210589 o 210569 o 210555 o 210535 o 210330 o 210293 o 210273 o 210257 o 210019 o 209982 o 209962 o 209955 o 209939 o 209701 o 209664 o 209644 o 209406 o 209369 o 209349 o 209342 o 209326 o 209088 o 209051 o 209031 o 209017 o 208997 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 208099 o 208062 o 208042 o 208035 o 208019 o 207781 o 207744 o 207724 o 207486 o 207449 o 207429 o 207422 o 207406 o 207168 o 207131 o 207111 o 207097 o 207077 o 206872 o 206835 o 206815 o 206799 o 206561 o 206524 o 206504 o 206497 o 206481 o 206243 o 206206 o 206186 o 206096 o 206059 o 206039 o 206023 o 205785 o 205748 o 205728 o 205721 o 205705 o 205467 o 205430 o 205410 o 205399 o 205362 o 205342 o 205325 o 205305 o 205291 o 205271 o 205066 o 205029 o 205009 o 204993 o 204755 o 204718 o 204698 o 204691 o 204675 o 204437 o 204400 o 204380 o 204142 o 204105 o 204085 o 204078 o 204062 o 203824 o 203787 o 203767 o 203753 o 203733 o 203528 o 203491 o 203471 o 203455 o 203217 o 203180 o 203160 o 203153 o 203137 o 202899 o 202862 o 202842 o 202752 o 202715 o 202695 o 202679 o 202441 o 202404 o 202384 o 202377 o 202361 o 202123 o 202086 o 202066 o 202055 o 202048 o 202032 o 201794 o 201757 o 201737 o 201647 o 201610 o 201590 o 201574 o 201336 o 201299 o 201279 o 201272 o 201256 o 201018 o 200981 o 200961 o 200768 o 200731 o 200711 o 200697 o 200677 o 200472 o 200435 o 200415 o 200399 o 200161 o 200124 o 200104 o 200097 o 200081 o 199843 o 199806 o 199786 o 199696 o 199659 o 199639 o 199623 o 199385 o 199348 o 199328 o 199321 o 199305 o 199067 o 199030 o 199010 o 198787 o 198750 o 198730 o 198640 o 198603 o 198583 o 198567 o 198329 o 198292 o 198272 o 198265 o 198249 o 198011 o 197974 o 197954 o 197830 o 197793 o 197773 o 197762 o 197725 o 197705 o 197688 o 197668 o 197654 o 197634 o 197429 o 197392 o 197372 o 197356 o 197118 o 197081 o 197061 o 197054 o 197038 o 196800 o 196763 o 196743 o 196505 o 196468 o 196448 o 196441 o 196425 o 196187 o 196150 o 196130 o 196116 o 196096 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 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 194411 o 194395 o 194157 o 194120 o 194100 o 194010 o 193973 o 193953 o 193937 o 193699 o 193662 o 193642 o 193635 o 193619 o 193381 o 193344 o 193324 o 193131 o 193094 o 193074 o 193060 o 193040 o 192835 o 192798 o 192778 o 192762 o 192524 o 192487 o 192467 o 192460 o 192444 o 192206 o 192169 o 192149 o 192059 o 192022 o 192002 o 191986 o 191748 o 191711 o 191691 o 191684 o 191668 o 191430 o 191393 o 191373 o 191150 o 191113 o 191093 o 191003 o 190966 o 190946 o 190930 o 190692 o 190655 o 190635 o 190628 o 190612 o 190374 o 190337 o 190317 o 190187 o 190150 o 190130 o 190123 o 190107 o 189869 o 189832 o 189812 o 189700 o 189663 o 189643 o 189405 o 189368 o 189348 o 189341 o 189325 o 189087 o 189050 o 189030 o 189016 o 188996 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 188015 o 187978 o 187958 o 187942 o 187704 o 187667 o 187647 o 187640 o 187624 o 187386 o 187349 o 187329 o 187318 o 187311 o 187295 o 187057 o 187020 o 187000 o 186910 o 186873 o 186853 o 186837 o 186599 o 186562 o 186542 o 186535 o 186519 o 186281 o 186244 o 186224 o 186031 o 185994 o 185974 o 185960 o 185940 o 185735 o 185698 o 185678 o 185662 o 185424 o 185387 o 185367 o 185360 o 185344 o 185106 o 185069 o 185049 o 184959 o 184922 o 184902 o 184886 o 184648 o 184611 o 184591 o 184584 o 184568 o 184330 o 184293 o 184273 o 184050 o 184013 o 183993 o 183903 o 183866 o 183846 o 183830 o 183592 o 183555 o 183535 o 183528 o 183512 o 183274 o 183237 o 183217 o 183213 o 182990 o 182953 o 182933 o 182843 o 182806 o 182786 o 182770 o 182532 o 182495 o 182475 o 182468 o 182452 o 182214 o 182177 o 182157 o 182027 o 181990 o 181970 o 181963 o 181947 o 181709 o 181672 o 181652 o 181540 o 181503 o 181483 o 181245 o 181208 o 181188 o 181181 o 181165 o 180927 o 180890 o 180870 o 180856 o 180836 o 180631 o 180594 o 180574 o 180558 o 180320 o 180283 o 180263 o 180256 o 180240 o 180002 o 179965 o 179945 o 179855 o 179818 o 179798 o 179782 o 179544 o 179507 o 179487 o 179480 o 179464 o 179226 o 179189 o 179169 o 179158 o 179151 o 179135 o 178897 o 178860 o 178840 o 178750 o 178713 o 178693 o 178677 o 178439 o 178402 o 178382 o 178375 o 178359 o 178121 o 178084 o 178064 o 177871 o 177834 o 177814 o 177800 o 177780 o 177575 o 177538 o 177518 o 177502 o 177264 o 177227 o 177207 o 177200 o 177184 o 176946 o 176909 o 176889 o 176799 o 176762 o 176742 o 176726 o 176488 o 176451 o 176431 o 176424 o 176408 o 176170 o 176133 o 176113 o 175890 o 175853 o 175833 o 175743 o 175706 o 175686 o 175670 o 175432 o 175395 o 175375 o 175368 o 175352 o 175114 o 175077 o 175057 o 174886 o 174849 o 174829 o 174739 o 174702 o 174682 o 174666 o 174428 o 174391 o 174371 o 174364 o 174348 o 174110 o 174073 o 174053 o 174042 o 174035 o 174019 o 173781 o 173744 o 173724 o 173634 o 173597 o 173577 o 173561 o 173323 o 173286 o 173266 o 173259 o 173243 o 173005 o 172968 o 172948 o 172755 o 172718 o 172698 o 172684 o 172664 o 172459 o 172422 o 172402 o 172386 o 172148 o 172111 o 172091 o 172084 o 172068 o 171830 o 171793 o 171773 o 171683 o 171646 o 171626 o 171610 o 171372 o 171335 o 171315 o 171308 o 171292 o 171054 o 171017 o 170997 o 170774 o 170737 o 170717 o 170627 o 170590 o 170570 o 170554 o 170316 o 170279 o 170259 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 168816 o 168779 o 168759 o 168743 o 168668 o 168631 o 168611 o 168505 o 168468 o 168448 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 167566 o 167529 o 167509 o 167485 o 167465 o 167458 o 167442 o 167204 o 167167 o 167147 o 167020 o 166983 o 166963 o 166947 o 166709 o 166672 o 166652 o 166645 o 166629 o 166391 o 166354 o 166334 o 166244 o 166207 o 166187 o 166171 o 165933 o 165896 o 165876 o 165869 o 165853 o 165615 o 165578 o 165558 o 165335 o 165298 o 165278 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 164454 o 164417 o 164397 o 164390 o 164264 o 164227 o 164207 o 164136 o 164099 o 164079 o 164053 o 164016 o 163996 o 163989 o 163863 o 163826 o 163806 o 163735 o 163698 o 163678 o 163650 o 163630 o 163524 o 163487 o 163467 o 163377 o 163340 o 163320 o 163304 o 163229 o 163192 o 163172 o 163066 o 163029 o 163009 o 163002 o 162986 o 162911 o 162874 o 162854 o 162748 o 162711 o 162691 o 162643 o 162606 o 162586 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 161816 o 161779 o 161759 o 161669 o 161632 o 161612 o 161596 o 161358 o 161321 o 161301 o 161294 o 161278 o 161040 o 161003 o 160983 o 160935 o 160898 o 160878 o 160871 o 160745 o 160708 o 160688 o 160617 o 160580 o 160560 o 160534 o 160497 o 160477 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 159858 o 159821 o 159801 o 159785 o 159710 o 159673 o 159653 o 159547 o 159510 o 159490 o 159483 o 159467 o 159392 o 159355 o 159335 o 159229 o 159192 o 159172 o 159124 o 159087 o 159067 o 159060 o 159040 o 158969 o 158932 o 158912 o 158897 o 158877 o 158806 o 158769 o 158749 o 158730 o 158710 o 158694 o 158456 o 158419 o 158399 o 158392 o 158376 o 158138 o 158101 o 158081 o 158033 o 157996 o 157976 o 157969 o 157843 o 157806 o 157786 o 157715 o 157678 o 157658 o 157632 o 157595 o 157575 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 156956 o 156919 o 156899 o 156883 o 156808 o 156771 o 156751 o 156645 o 156608 o 156588 o 156581 o 156565 o 156490 o 156453 o 156433 o 156327 o 156290 o 156270 o 156222 o 156185 o 156165 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 155734 o 155697 o 155677 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 155143 o 155123 o 155033 o 154996 o 154976 o 154960 o 154885 o 154848 o 154828 o 154722 o 154685 o 154665 o 154658 o 154642 o 154567 o 154530 o 154510 o 154404 o 154367 o 154347 o 154299 o 154262 o 154242 o 154235 o 154215 o 154144 o 154107 o 154087 o 154072 o 154052 o 153981 o 153944 o 153924 o 153922 o 153885 o 153865 o 153817 o 153780 o 153760 o 153753 o 153627 o 153590 o 153570 o 153499 o 153462 o 153442 o 153416 o 153379 o 153359 o 153352 o 153226 o 153189 o 153169 o 153098 o 153061 o 153041 o 153Killed 1979.691u 0.008s 33:01.36 99.9% 0+0k 0+0io 0pf+0w