Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_90_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0005.txt.wcnf *** c c Min unsat cost LB: 794 ... c Min unsat cost LB: 870 ... c Min unsat cost LB: 1386 ... c Min unsat cost LB: 2672 ... c Min unsat cost LB: 3786 ... c Min unsat cost LB: 3853 ... c Min unsat cost LB: 4609 ... c Min unsat cost LB: 5273 ... c Min unsat cost LB: 5387 ... c Min unsat cost LB: 5468 ... c Min unsat cost LB: 6262 ... c Min unsat cost LB: 6376 ... c Min unsat cost LB: 7040 ... c Min unsat cost LB: 7579 ... c Min unsat cost LB: 8221 ... c Min unsat cost LB: 9268 ... c Min unsat cost LB: 9344 ... c Min unsat cost LB: 9728 ... c Min unsat cost LB: 10264 ... c Min unsat cost LB: 10413 ... c Min unsat cost LB: 10979 ... c Min unsat cost LB: 11060 ... c Min unsat cost LB: 11613 ... c Min unsat cost LB: 12369 ... c Min unsat cost LB: 13163 ... c Min unsat cost LB: 13349 ... c Min unsat cost LB: 13736 ... c Min unsat cost LB: 14228 ... c Min unsat cost LB: 15074 ... c Min unsat cost LB: 15566 ... c Min unsat cost LB: 16436 ... c Min unsat cost LB: 17230 ... c Min unsat cost LB: 17617 ... c Min unsat cost LB: 17826 ... c Min unsat cost LB: 18401 ... c Min unsat cost LB: 19054 ... c Min unsat cost LB: 19699 ... c Min unsat cost LB: 20238 ... c Min unsat cost LB: 20408 ... c Min unsat cost LB: 20564 ... c Min unsat cost LB: 20899 ... c Min unsat cost LB: 21507 ... c Min unsat cost LB: 21775 ... c Min unsat cost LB: 21858 ... c Min unsat cost LB: 21904 ... c Min unsat cost LB: 22230 ... c Min unsat cost LB: 23071 ... c Min unsat cost LB: 23257 ... c Min unsat cost LB: 23914 ... c Min unsat cost LB: 25211 ... c Min unsat cost LB: 25257 ... c Min unsat cost LB: 25754 ... c Min unsat cost LB: 26141 ... c Min unsat cost LB: 27106 ... c Min unsat cost LB: 27111 ... c Min unsat cost LB: 28158 ... c Min unsat cost LB: 29455 ... c Min unsat cost LB: 30165 ... c Min unsat cost LB: 31451 ... c Min unsat cost LB: 31797 ... c Min unsat cost LB: 32336 ... c Min unsat cost LB: 32596 ... c Min unsat cost LB: 32919 ... c Min unsat cost LB: 32986 ... c Min unsat cost LB: 33026 ... c Min unsat cost LB: 33489 ... c Min unsat cost LB: 33650 ... c Min unsat cost LB: 33717 ... c Min unsat cost LB: 33731 ... c Min unsat cost LB: 33811 ... c Min unsat cost LB: 34700 ... c Min unsat cost LB: 34725 ... c Min unsat cost LB: 34845 ... c Min unsat cost LB: 34858 ... c Min unsat cost LB: 36144 ... c Min unsat cost LB: 36328 ... c Min unsat cost LB: 36406 ... c Min unsat cost LB: 36741 ... c Min unsat cost LB: 36849 ... c Min unsat cost LB: 36962 ... c Min unsat cost LB: 37009 ... c Min unsat cost LB: 37111 ... c Min unsat cost LB: 37278 ... c Min unsat cost LB: 37440 ... c Min unsat cost LB: 37507 ... c Min unsat cost LB: 37561 ... c Min unsat cost LB: 37627 ... c Min unsat cost LB: 37925 ... c Min unsat cost LB: 38499 ... c Min unsat cost LB: 39026 ... c Min unsat cost LB: 39140 ... c Min unsat cost LB: 39656 ... c Min unsat cost LB: 39720 ... c Min unsat cost LB: 39733 ... c Min unsat cost LB: 39773 ... c Min unsat cost LB: 39901 ... c Min unsat cost LB: 39965 ... c Min unsat cost LB: 40041 ... c Min unsat cost LB: 40117 ... c Min unsat cost LB: 40169 ... c Min unsat cost LB: 40236 ... c Min unsat cost LB: 40252 ... c Min unsat cost LB: 40512 ... c Min unsat cost LB: 40763 ... c Min unsat cost LB: 41337 ... c Min unsat cost LB: 41355 ... c Min unsat cost LB: 41380 ... c Min unsat cost LB: 41431 ... c Min unsat cost LB: 41485 ... c Min unsat cost LB: 41593 ... c Min unsat cost LB: 41639 ... c Min unsat cost LB: 41655 ... c Min unsat cost LB: 41669 ... c Min unsat cost LB: 42143 ... c Min unsat cost LB: 42191 ... c Min unsat cost LB: 42329 ... c Min unsat cost LB: 42349 ... c Min unsat cost LB: 42350 ... c Min unsat cost LB: 42395 ... c Min unsat cost LB: 42435 ... c Min unsat cost LB: 42539 ... c Min unsat cost LB: 42604 ... c Min unsat cost LB: 42622 ... c Min unsat cost LB: 42658 ... c Min unsat cost LB: 42695 ... c Min unsat cost LB: 42873 ... c Min unsat cost LB: 43100 ... c Min unsat cost LB: 43133 ... c Min unsat cost LB: 43216 ... c Min unsat cost LB: 43234 ... c Min unsat cost LB: 43420 ... c Min unsat cost LB: 43479 ... c Min unsat cost LB: 43565 ... c Min unsat cost LB: 43593 ... c Min unsat cost LB: 43734 ... c Min unsat cost LB: 43761 ... c Min unsat cost LB: 43875 ... c Min unsat cost LB: 43914 ... c Min unsat cost LB: 44107 ... c Min unsat cost LB: 44118 ... c Min unsat cost LB: 44256 ... c Min unsat cost LB: 44338 ... c Min unsat cost LB: 44387 ... c Min unsat cost LB: 44401 ... c Min unsat cost LB: 44479 ... c Min unsat cost LB: 44490 ... c Min unsat cost LB: 44495 ... c Min unsat cost LB: 44549 ... c Min unsat cost LB: 44573 ... c Min unsat cost LB: 44595 ... c Min unsat cost LB: 44618 ... c Min unsat cost LB: 44642 ... c Min unsat cost LB: 44737 ... c Min unsat cost LB: 44797 ... c Min unsat cost LB: 44989 ... c Min unsat cost LB: 45051 ... c Min unsat cost LB: 45223 ... c Min unsat cost LB: 45356 ... c Min unsat cost LB: 45468 ... c Min unsat cost LB: 45514 ... c Min unsat cost LB: 45533 ... c Min unsat cost LB: 45629 ... c Min unsat cost LB: 45696 ... c Min unsat cost LB: 45771 ... c Min unsat cost LB: 45776 ... c Min unsat cost LB: 45974 ... c Min unsat cost LB: 46261 ... c Min unsat cost LB: 46428 ... c Min unsat cost LB: 46613 ... c Min unsat cost LB: 46706 ... c Min unsat cost LB: 46773 ... c Min unsat cost LB: 46889 ... c Min unsat cost LB: 47180 ... c Min unsat cost LB: 47192 ... c Min unsat cost LB: 47232 ... c Min unsat cost LB: 47240 ... c Min unsat cost LB: 47279 ... c Min unsat cost LB: 47280 ... c Min unsat cost LB: 47292 ... c Min unsat cost LB: 47320 ... c Min unsat cost LB: 47343 ... c Min unsat cost LB: 47371 ... c Min unsat cost LB: 47435 ... c Min unsat cost LB: 47436 ... c Min unsat cost LB: 47446 ... c Min unsat cost LB: 47447 ... c Min unsat cost LB: 47458 ... c Min unsat cost LB: 47460 ... c Min unsat cost LB: 47467 ... c Min unsat cost LB: 47487 ... c Min unsat cost LB: 47496 ... c Min unsat cost LB: 47507 ... c Min unsat cost LB: 47512 ... c Min unsat cost LB: 47521 ... c Min unsat cost LB: 47525 ... c Min unsat cost LB: 47546 ... c Min unsat cost LB: 47553 ... c Min unsat cost LB: 47637 ... c Min unsat cost LB: 47641 ... c Min unsat cost LB: 47658 ... c Min unsat cost LB: 47701 ... c Min unsat cost LB: 47776 ... c Min unsat cost LB: 47822 ... c Min unsat cost LB: 47854 ... c Min unsat cost LB: 47886 ... c Min unsat cost LB: 47918 ... c Min unsat cost LB: 47920 ... c Min unsat cost LB: 47926 ... c Min unsat cost LB: 47927 ... c Min unsat cost LB: 47929 ... c Min unsat cost LB: 47943 ... c Min unsat cost LB: 47949 ... c Min unsat cost LB: 47955 ... c Min unsat cost LB: 47960 ... c Min unsat cost LB: 47968 ... c Min unsat cost LB: 47986 ... c Min unsat cost LB: 47996 ... c Min unsat cost LB: 48007 ... c Min unsat cost LB: 48018 ... c Min unsat cost LB: 48023 ... c Min unsat cost LB: 48062 ... c Min unsat cost LB: 48082 ... c Min unsat cost LB: 48100 ... c Min unsat cost LB: 48106 ... c Min unsat cost LB: 48129 ... c Min unsat cost LB: 48141 ... c Min unsat cost LB: 48158 ... c Min unsat cost LB: 48161 ... c Min unsat cost LB: 48167 ... c Min unsat cost LB: 48178 ... c Min unsat cost LB: 48187 ... c Min unsat cost LB: 48191 ... c Min unsat cost LB: 48210 ... c Min unsat cost LB: 48218 ... c Min unsat cost LB: 48219 ... c Min unsat cost LB: 48220 ... c Min unsat cost LB: 48241 ... c Min unsat cost LB: 48244 ... c Min unsat cost LB: 48246 ... c Min unsat cost LB: 48248 ... c Min unsat cost LB: 48249 ... c Min unsat cost LB: 48251 ... c Min unsat cost LB: 48264 ... c Min unsat cost LB: 48271 ... c Min unsat cost LB: 48276 ... c Min unsat cost LB: 48277 ... c Min unsat cost LB: 48281 ... c Min unsat cost LB: 48291 ... c Min unsat cost LB: 48301 ... c Min unsat cost LB: 48302 ... c Min unsat cost LB: 48303 ... c Min unsat cost LB: 48316 ... c Min unsat cost LB: 48323 ... c Min unsat cost LB: 48325 ... c Min unsat cost LB: 48362 ... c Min unsat cost LB: 48367 ... c Min unsat cost LB: 48369 ... c Min unsat cost LB: 48378 ... c Min unsat cost LB: 48391 ... c Min unsat cost LB: 48399 ... c Min unsat cost LB: 48406 ... c Min unsat cost LB: 48428 ... c Min unsat cost LB: 48429 ... c Min unsat cost LB: 48433 ... c Min unsat cost LB: 48436 ... c Min unsat cost LB: 48437 ... c Min unsat cost LB: 48438 ... c Min unsat cost LB: 48440 ... c Min unsat cost LB: 48441 ... c Min unsat cost LB: 48444 ... c Min unsat cost LB: 48459 ... c Min unsat cost LB: 48460 ... c Min unsat cost LB: 48461 ... c Min unsat cost LB: 48464 ... c Min unsat cost LB: 48474 ... c Min unsat cost LB: 48478 ... c Min unsat cost LB: 48482 ... c Min unsat cost LB: 48483 ... c Min unsat cost LB: 48484 ... c Min unsat cost LB: 48485 ... c Min unsat cost LB: 48486 ... c Min unsat cost LB: 48487 ... c Min unsat cost LB: 48502 ... c Min unsat cost LB: 48507 ... c Min unsat cost LB: 48511 ... c Min unsat cost LB: 48515 ... c Min unsat cost LB: 48527 ... c Min unsat cost LB: 48529 ... c Min unsat cost LB: 48534 ... c Min unsat cost LB: 48535 ... c Min unsat cost LB: 48640 ... c Min unsat cost LB: 48644 ... c Min unsat cost LB: 48690 ... c Min unsat cost LB: 48691 ... c Min unsat cost LB: 48693 ... c Min unsat cost LB: 48694 ... c Min unsat cost LB: 48700 ... c Min unsat cost LB: 48701 ... c Min unsat cost LB: 48702 ... c Min unsat cost LB: 48711 ... c Min unsat cost LB: 48719 ... c Min unsat cost LB: 48733 ... c Min unsat cost LB: 48734 ... c Min unsat cost LB: 48735 ... c Min unsat cost LB: 48736 ... c Min unsat cost LB: 48738 ... c Min unsat cost LB: 48739 ... c Min unsat cost LB: 48757 ... c Min unsat cost LB: 48760 ... c Min unsat cost LB: 48766 ... c Min unsat cost LB: 48767 ... c Min unsat cost LB: 48768 ... c Min unsat cost LB: 48769 ... c Min unsat cost LB: 48770 ... c Min unsat cost LB: 48772 ... c Min unsat cost LB: 48777 ... c Min unsat cost LB: 48778 ... c Min unsat cost LB: 48783 ... c Min unsat cost LB: 48799 ... c Min unsat cost LB: 48802 ... c Min unsat cost LB: 48803 ... c Min unsat cost LB: 48804 ... c Min unsat cost LB: 48805 ... c Min unsat cost LB: 48806 ... c Min unsat cost LB: 48807 ... c Min unsat cost LB: 48808 ... c Min unsat cost LB: 48809 ... c Min unsat cost LB: 48810 ... c Min unsat cost LB: 48811 ... c Min unsat cost LB: 48812 ... c Min unsat cost LB: 48813 ... c Min unsat cost LB: 48815 ... c Min unsat cost LB: 48818 ... c Min unsat cost LB: 48819 ... c Min unsat cost LB: 48820 ... c Min unsat cost LB: 48821 ... c Min unsat cost LB: 48822 ... c Min unsat cost LB: 48823 ... c Min unsat cost LB: 48824 ... c Min unsat cost LB: 48825 ... c Min unsat cost LB: 48830 ... c Min unsat cost LB: 48831 ... c Min unsat cost LB: 48832 ... c Min unsat cost LB: 48833 ... c Min unsat cost LB: 48834 ... c Min unsat cost LB: 48835 ... c Min unsat cost LB: 48837 ... c Min unsat cost LB: 48844 ... c Min unsat cost LB: 48845 ... c Min unsat cost LB: 48848 ... c Min unsat cost LB: 48850 ... c Min unsat cost LB: 48851 ... c Min unsat cost LB: 48862 ... c Min unsat cost LB: 48866 ... c Min unsat cost LB: 48867 ... c Min unsat cost LB: 48868 ... c Min unsat cost LB: 48869 ... c Min unsat cost LB: 48873 ... c Min unsat cost LB: 48878 ... c Min unsat cost LB: 48879 ... c Min unsat cost LB: 48882 ... c Min unsat cost LB: 48883 ... c Min unsat cost LB: 48887 ... c Min unsat cost LB: 48888 ... c Min unsat cost LB: 48889 ... c Min unsat cost LB: 48890 ... c Min unsat cost LB: 48891 ... c Min unsat cost LB: 48892 ... c Min unsat cost LB: 48893 ... c Min unsat cost LB: 48894 ... c Min unsat cost LB: 48895 ... c Min unsat cost LB: 48896 ... c Min unsat cost LB: 48899 ... c Min unsat cost LB: 48900 ... c Min unsat cost LB: 48901 ... c Min unsat cost LB: 48902 ... c Min unsat cost LB: 48903 ... c Min unsat cost LB: 48904 ... c Min unsat cost LB: 48914 ... c Min unsat cost LB: 48916 ... c Min unsat cost LB: 48918 ... c Min unsat cost LB: 48925 ... c Min unsat cost LB: 48926 ... c Min unsat cost LB: 48927 ... c Min unsat cost LB: 48932 ... c Min unsat cost LB: 48937 ... c Min unsat cost LB: 48960 ... c Min unsat cost LB: 48962 ... c Min unsat cost LB: 48964 ... c Min unsat cost LB: 48966 ... c Min unsat cost LB: 48968 ... c Min unsat cost LB: 48969 ... c Min unsat cost LB: 48970 ... c Min unsat cost LB: 48971 ... c Min unsat cost LB: 48972 ... c Min unsat cost LB: 48973 ... c Min unsat cost LB: 48974 ... c Min unsat cost LB: 48975 ... c Min unsat cost LB: 48979 ... c Min unsat cost LB: 48980 ... c Min unsat cost LB: 48981 ... c Min unsat cost LB: 48982 ... c Min unsat cost LB: 48983 ... c Min unsat cost LB: 48984 ... c Min unsat cost LB: 48985 ... c Min unsat cost LB: 48986 ... c Min unsat cost LB: 48987 ... c Min unsat cost LB: 48988 ... c Min unsat cost LB: 48989 ... c Min unsat cost LB: 48990 ... c Min unsat cost LB: 48991 ... c Min unsat cost LB: 48992 ... c Min unsat cost LB: 48993 ... c Min unsat cost LB: 48994 ... c Min unsat cost LB: 48995 ... c Min unsat cost LB: 48997 ... c Min unsat cost LB: 49070 ... c Min unsat cost LB: 49071 ... c Min unsat cost LB: 49075 ... c Min unsat cost LB: 49076 ... c Min unsat cost LB: 49079 ... c Min unsat cost LB: 49080 ... c Min unsat cost LB: 49081 ... c Min unsat cost LB: 49082 ... c Min unsat cost LB: 49084 ... c Min unsat cost LB: 49092 ... c Min unsat cost LB: 49093 ... c Min unsat cost LB: 49094 ... c Min unsat cost LB: 49095 ... c Min unsat cost LB: 49096 ... c Min unsat cost LB: 49097 ... c Min unsat cost LB: 49098 ... c Min unsat cost LB: 49099 ... c Min unsat cost LB: 49100 ... c Min unsat cost LB: 49101 ... c Min unsat cost LB: 49137 ... c Min unsat cost LB: 49139 ... c Min unsat cost LB: 49141 ... c Min unsat cost LB: 49143 ... c Min unsat cost LB: 49154 ... c Min unsat cost LB: 49155 ... c Min unsat cost LB: 49157 ... c Min unsat cost LB: 49167 ... c Min unsat cost LB: 49171 ... c Min unsat cost LB: 49199 ... c Min unsat cost LB: 49203 ... c Min unsat cost LB: 49229 ... c Min unsat cost LB: 49231 ... c Min unsat cost LB: 49257 ... c Min unsat cost LB: 49275 ... c Min unsat cost LB: 49290 ... c Min unsat cost LB: 49294 ... c Min unsat cost LB: 49304 ... c Min unsat cost LB: 49315 ... c Min unsat cost LB: 49316 ... c Min unsat cost LB: 49317 ... c Min unsat cost LB: 49318 ... c Min unsat cost LB: 49320 ... c Min unsat cost LB: 49322 ... c Min unsat cost LB: 49323 ... c Min unsat cost LB: 49324 ... c Min unsat cost LB: 49325 ... c Min unsat cost LB: 49326 ... c Min unsat cost LB: 49327 ... c Min unsat cost LB: 49329 ... c Min unsat cost LB: 49330 ... c Min unsat cost LB: 49331 ... c Min unsat cost LB: 49335 ... c Min unsat cost LB: 49353 ... c Min unsat cost LB: 49354 ... c Min unsat cost LB: 49358 ... c Min unsat cost LB: 49359 ... c Min unsat cost LB: 49360 ... c Min unsat cost LB: 49361 ... c Min unsat cost LB: 49364 ... c Min unsat cost LB: 49365 ... c Min unsat cost LB: 49366 ... c Min unsat cost LB: 49367 ... c Min unsat cost LB: 49368 ... c Min unsat cost LB: 49370 ... c Min unsat cost LB: 49371 ... c Min unsat cost LB: 49372 ... c Min unsat cost LB: 49373 ... c Min unsat cost LB: 49374 ... c Min unsat cost LB: 49375 ... c Min unsat cost LB: 49377 ... c Min unsat cost LB: 49378 ... c Min unsat cost LB: 49379 ... c Min unsat cost LB: 49380 ... c Min unsat cost LB: 49381 ... c Min unsat cost LB: 49382 ... c Min unsat cost LB: 49383 ... c Min unsat cost LB: 49387 ... c Min unsat cost LB: 49389 ... c Min unsat cost LB: 49390 ... c Min unsat cost LB: 49391 ... c Min unsat cost LB: 49392 ... c Min unsat cost LB: 49394 ... c Min unsat cost LB: 49398 ... c Min unsat cost LB: 49399 ... c Min unsat cost LB: 49402 ... c Min unsat cost LB: 49403 ... c Min unsat cost LB: 49404 ... c Min unsat cost LB: 49405 ... c Min unsat cost LB: 49406 ... c Min unsat cost LB: 49411 ... c Min unsat cost LB: 49413 ... c Min unsat cost LB: 49414 ... c Min unsat cost LB: 49415 ... c Min unsat cost LB: 49416 ... c Min unsat cost LB: 49417 ... c Min unsat cost LB: 49418 ... c Min unsat cost LB: 49419 ... c Min unsat cost LB: 49420 ... c Min unsat cost LB: 49421 ... c Min unsat cost LB: 49422 ... c Min unsat cost LB: 49423 ... c Min unsat cost LB: 49424 ... c Min unsat cost LB: 49426 ... c Min unsat cost LB: 49427 ... c Min unsat cost LB: 49428 ... c Min unsat cost LB: 49430 ... c Min unsat cost LB: 49431 ... c Min unsat cost LB: 49433 ... c Min unsat cost LB: 49434 ... c Min unsat cost LB: 49435 ... c Min unsat cost LB: 49467 ... c Min unsat cost LB: 49468 ... c Min unsat cost LB: 49469 ... c Min unsat cost LB: 49470 ... c Min unsat cost LB: 49471 ... c Min unsat cost LB: 49472 ... c Min unsat cost LB: 49473 ... c Min unsat cost LB: 49474 ... c Min unsat cost LB: 49475 ... c Min unsat cost LB: 49476 ... c Min unsat cost LB: 49477 ... c Min unsat cost LB: 49478 ... c Min unsat cost LB: 49480 ... c Min unsat cost LB: 49481 ... c Min unsat cost LB: 49482 ... c Min unsat cost LB: 49483 ... c Min unsat cost LB: 49484 ... c Min unsat cost LB: 49485 ... c Min unsat cost LB: 49486 ... c Min unsat cost LB: 49487 ... c Min unsat cost LB: 49488 ... c Min unsat cost LB: 49489 ... c Min unsat cost LB: 49490 ... c Min unsat cost LB: 49491 ... c Min unsat cost LB: 49492 ... c Min unsat cost LB: 49493 ... c Min unsat cost LB: 49494 ... c Min unsat cost LB: 49495 ... c Min unsat cost LB: 49496 ... c Min unsat cost LB: 49497 ... c Min unsat cost LB: 49498 ... c Min unsat cost LB: 49499 ... c Min unsat cost LB: 49500 ... c Min unsat cost LB: 49501 ... c Min unsat cost LB: 49502 ... c Min unsat cost LB: 49503 ... c Min unsat cost LB: 49504 ... c Min unsat cost LB: 49505 ... c Min unsat cost LB: 49506 ... c Min unsat cost LB: 49507 ... c Min unsat cost LB: 49508 ... c Min unsat cost LB: 49509 ... c Min unsat cost LB: 49510 ... c Min unsat cost LB: 49511 ... c Min unsat cost LB: 49512 ... c Min unsat cost LB: 49513 ... c Min unsat cost LB: 49514 ... c Min unsat cost LB: 49515 ... c Min unsat cost LB: 49516 ... c Min unsat cost LB: 49517 ... c Min unsat cost LB: 49518 ... c Min unsat cost LB: 49519 ... c Min unsat cost LB: 49520 ... c Min unsat cost LB: 49521 ... c Min unsat cost LB: 49522 ... c Min unsat cost LB: 49524 ... c Min unsat cost LB: 49531 ... c Min unsat cost LB: 49532 ... c Min unsat cost LB: 49533 ... c Min unsat cost LB: 49534 ... c Min unsat cost LB: 49535 ... c Min unsat cost LB: 49536 ... c Min unsat cost LB: 49537 ... c Min unsat cost LB: 49538 ... c Min unsat cost LB: 49540 ... c Min unsat cost LB: 49541 ... c Min unsat cost LB: 49542 ... c Min unsat cost LB: 49543 ... c Min unsat cost LB: 49544 ... c Min unsat cost LB: 49545 ... c Min unsat cost LB: 49546 ... c Min unsat cost LB: 49547 ... c Min unsat cost LB: 49548 ... c Min unsat cost LB: 49549 ... c Min unsat cost LB: 49550 ... c Min unsat cost LB: 49551 ... c Min unsat cost LB: 49552 ... c Min unsat cost LB: 49553 ... c Min unsat cost LB: 49554 ... c Min unsat cost LB: 49556 ... c Min unsat cost LB: 49558 ... c Min unsat cost LB: 49559 ... c Min unsat cost LB: 49560 ... c Min unsat cost LB: 49561 ... c Min unsat cost LB: 49562 ... c Min unsat cost LB: 49563 ... c Min unsat cost LB: 49565 ... c Min unsat cost LB: 49566 ... c Min unsat cost LB: 49567 ... c Min unsat cost LB: 49569 ... c Min unsat cost LB: 49571 ... c Min unsat cost LB: 49572 ... c Min unsat cost LB: 49574 ... c Min unsat cost LB: 49576 ... c Min unsat cost LB: 49577 ... c Min unsat cost LB: 49578 ... c Min unsat cost LB: 49579 ... c Min unsat cost LB: 49580 ... c Min unsat cost LB: 49581 ... c Min unsat cost LB: 49582 ... c Min unsat cost LB: 49583 ... c Min unsat cost LB: 49584 ... c Min unsat cost LB: 49585 ... c Min unsat cost LB: 49588 ... c Min unsat cost LB: 49589 ... c Min unsat cost LB: 49590 ... c Min unsat cost LB: 49591 ... c Min unsat cost LB: 49592 ... c Min unsat cost LB: 49593 ... c Min unsat cost LB: 49594 ... c Min unsat cost LB: 49595 ... c Min unsat cost LB: 49596 ... c Min unsat cost LB: 49598 ... c Min unsat cost LB: 49600 ... c Min unsat cost LB: 49603 ... c Min unsat cost LB: 49604 ... c Min unsat cost LB: 49605 ... c Min unsat cost LB: 49606 ... c Min unsat cost LB: 49643 ... c Min unsat cost LB: 49644 ... c Min unsat cost LB: 49645 ... c Min unsat cost LB: 49646 ... c Min unsat cost LB: 49647 ... c Min unsat cost LB: 49648 ... c Min unsat cost LB: 49649 ... c Min unsat cost LB: 49650 ... c Min unsat cost LB: 49651 ... c Min unsat cost LB: 49652 ... c Min unsat cost LB: 49653 ... c Min unsat cost LB: 49654 ... c Min unsat cost LB: 49655 ... c Min unsat cost LB: 49661 ... c Min unsat cost LB: 49662 ... c Min unsat cost LB: 49663 ... c Min unsat cost LB: 49664 ... c Min unsat cost LB: 49665 ... c Min unsat cost LB: 49670 ... c Min unsat cost LB: 49671 ... c Min unsat cost LB: 49677 ... c Min unsat cost LB: 49678 ... c Min unsat cost LB: 49679 ... c Min unsat cost LB: 49680 ... c Min unsat cost LB: 49681 ... c Min unsat cost LB: 49682 ... c Min unsat cost LB: 49683 ... c Min unsat cost LB: 49685 ... c Min unsat cost LB: 49698 ... c Min unsat cost LB: 49703 ... c Min unsat cost LB: 49706 ... c Min unsat cost LB: 49707 ... c Min unsat cost LB: 49709 ... c Min unsat cost LB: 49710 ... c Min unsat cost LB: 49712 ... c Min unsat cost LB: 49717 ... c Min unsat cost LB: 49718 ... c Min unsat cost LB: 49719 ... c Min unsat cost LB: 49720 ... c Min unsat cost LB: 49721 ... c Min unsat cost LB: 49724 ... c Min unsat cost LB: 49725 ... c Min unsat cost LB: 49726 ... c Min unsat cost LB: 49727 ... c Min unsat cost LB: 49728 ... c Min unsat cost LB: 49729 ... c Min unsat cost LB: 49730 ... c Min unsat cost LB: 49731 ... c Min unsat cost LB: 49732 ... c Min unsat cost LB: 49735 ... c Min unsat cost LB: 49736 ... c Min unsat cost LB: 49737 ... c Min unsat cost LB: 49738 ... c Min unsat cost LB: 49739 ... c Min unsat cost LB: 49740 ... c Min unsat cost LB: 49741 ... c Min unsat cost LB: 49742 ... c Min unsat cost LB: 49743 ... c Min unsat cost LB: 49744 ... c Min unsat cost LB: 49747 ... c Min unsat cost LB: 49749 ... c Min unsat cost LB: 49750 ... c Min unsat cost LB: 49752 ... c Min unsat cost LB: 49753 ... c Min unsat cost LB: 49756 ... c Min unsat cost LB: 49757 ... c Min unsat cost LB: 49758 ... c Min unsat cost LB: 49759 ... c Min unsat cost LB: 49760 ... c Min unsat cost LB: 49761 ... c Min unsat cost LB: 49762 ... c Min unsat cost LB: 49763 ... c Min unsat cost LB: 49764 ... c Min unsat cost LB: 49765 ... c Min unsat cost LB: 49766 ... c Min unsat cost LB: 49767 ... c Min unsat cost LB: 49768 ... c Min unsat cost LB: 49769 ... c Min unsat cost LB: 49770 ... c Min unsat cost LB: 49771 ... c Min unsat cost LB: 49772 ... c Min unsat cost LB: 49773 ... c Min unsat cost LB: 49774 ... c Min unsat cost LB: 49775 ... c Min unsat cost LB: 49776 ... c Min unsat cost LB: 49777 ... c Min unsat cost LB: 49778 ... c Min unsat cost LB: 49783 ... c Min unsat cost LB: 49784 ... c Min unsat cost LB: 49785 ... c Min unsat cost LB: 49787 ... c Min unsat cost LB: 49788 ... c Min unsat cost LB: 49794 ... c Min unsat cost LB: 49795 ... c Min unsat cost LB: 49796 ... c Min unsat cost LB: 49801 ... c Min unsat cost LB: 49802 ... c Min unsat cost LB: 49803 ... c Min unsat cost LB: 49804 ... c Min unsat cost LB: 49805 ... c Min unsat cost LB: 49806 ... c Min unsat cost LB: 49807 ... c Min unsat cost LB: 49808 ... c Min unsat cost LB: 49809 ... c Min unsat cost LB: 49810 ... c Min unsat cost LB: 49811 ... c Min unsat cost LB: 49812 ... c Min unsat cost LB: 49813 ... c Min unsat cost LB: 49814 ... c Min unsat cost LB: 49815 ... c Min unsat cost LB: 49816 ... c Min unsat cost LB: 49817 ... c Min unsat cost LB: 49818 ... c Min unsat cost LB: 49819 ... c Min unsat cost LB: 49820 ... c Min unsat cost LB: 49821 ... c Min unsat cost LB: 49822 ... c Min unsat cost LB: 49823 ... c Min unsat cost LB: 49825 ... c Min unsat cost LB: 49826 ... c Min unsat cost LB: 49827 ... c Min unsat cost LB: 49828 ... c Min unsat cost LB: 49829 ... c Min unsat cost LB: 49830 ... c Min unsat cost LB: 49831 ... c Min unsat cost LB: 49832 ... c Min unsat cost LB: 49833 ... c Min unsat cost LB: 49834 ... c Min unsat cost LB: 49835 ... c Min unsat cost LB: 49836 ... c Min unsat cost LB: 49837 ... c Min unsat cost LB: 49838 ... c Min unsat cost LB: 49839 ... c Min unsat cost LB: 49840 ... c Min unsat cost LB: 49841 ... c Min unsat cost LB: 49842 ... c Min unsat cost LB: 49843 ... c Min unsat cost LB: 49844 ... c Min unsat cost LB: 49845 ... c Min unsat cost LB: 49846 ... c Min unsat cost LB: 49847 ... c Min unsat cost LB: 49848 ... c Min unsat cost LB: 49849 ... c Min unsat cost LB: 49851 ... c Min unsat cost LB: 49852 ... c Min unsat cost LB: 49853 ... c Min unsat cost LB: 49854 ... c Min unsat cost LB: 49855 ... c Min unsat cost LB: 49856 ... c Min unsat cost LB: 49857 ... c Min unsat cost LB: 49858 ... c Min unsat cost LB: 49859 ... c Min unsat cost LB: 49860 ... c Min unsat cost LB: 49861 ... c Min unsat cost LB: 49862 ... c Min unsat cost LB: 49863 ... c Min unsat cost LB: 49864 ... c Min unsat cost LB: 49865 ... c Min unsat cost LB: 49866 ... c Min unsat cost LB: 49867 ... c Min unsat cost LB: 49868 ... c Min unsat cost LB: 49869 ... c Min unsat cost LB: 49870 ... c Min unsat cost LB: 49871 ... c Min unsat cost LB: 49872 ... c Min unsat cost LB: 49873 ... c Min unsat cost LB: 49874 ... c Min unsat cost LB: 49875 ... c Min unsat cost LB: 49876 ... c Min unsat cost LB: 49877 ... c Min unsat cost LB: 49878 ... c Min unsat cost LB: 49879 ... c Min unsat cost LB: 49880 ... c Min unsat cost LB: 49881 ... c Min unsat cost LB: 49882 ... c Min unsat cost LB: 49883 ... c Min unsat cost LB: 49884 ... c Min unsat cost LB: 49885 ... c Min unsat cost LB: 49886 ... c Min unsat cost LB: 49887 ... c Min unsat cost LB: 49888 ... c Min unsat cost LB: 49889 ... c Min unsat cost LB: 49890 ... c Min unsat cost LB: 49891 ... c Min unsat cost LB: 49892 ... c Min unsat cost LB: 49893 ... c Min unsat cost LB: 49894 ... c Min unsat cost LB: 49895 ... c Min unsat cost LB: 49896 ... c Min unsat cost LB: 49897 ... c Min unsat cost LB: 49898 ... c Min unsat cost LB: 49899 ... c Min unsat cost LB: 49900 ... c Min unsat cost LB: 49901 ... c Min unsat cost LB: 49902 ... c Min unsat cost LB: 49903 ... c Min unsat cost LB: 49904 ... c Min unsat cost LB: 49905 ... c Min unsat cost LB: 49906 ... c Min unsat cost LB: 49907 ... c Min unsat cost LB: 49908 ... c Min unsat cost LB: 49909 ... c Min unsat cost LB: 49910 ... c Min unsat cost LB: 49911 ... c Min unsat cost LB: 49912 ... c Min unsat cost LB: 49913 ... c Min unsat cost LB: 49914 ... c Min unsat cost LB: 49915 ... c Min unsat cost LB: 49917 ... c Min unsat cost LB: 49918 ... c Min unsat cost LB: 49919 ... c Min unsat cost LB: 49920 ... c Min unsat cost LB: 49921 ... c Min unsat cost LB: 49922 ... c Min unsat cost LB: 49923 ... c Min unsat cost LB: 49924 ... c Min unsat cost LB: 49925 ... c Min unsat cost LB: 49926 ... c Min unsat cost LB: 49927 ... c Min unsat cost LB: 49928 ... c Min unsat cost LB: 49929 ... c Min unsat cost LB: 49930 ... c Min unsat cost LB: 49931 ... c Min unsat cost LB: 49932 ... c Min unsat cost LB: 49933 ... c Min unsat cost LB: 49935 ... c Min unsat cost LB: 49936 ... c Min unsat cost LB: 49937 ... c Min unsat cost LB: 49938 ... c Min unsat cost LB: 49939 ... c Min unsat cost LB: 49940 ... c Min unsat cost LB: 49941 ... c Min unsat cost LB: 49942 ... c Min unsat cost LB: 49943 ... c Min unsat cost LB: 49944 ... c Min unsat cost LB: 49945 ... c Min unsat cost LB: 49946 ... c Min unsat cost LB: 49947 ... c Min unsat cost LB: 49948 ... c Min unsat cost LB: 49949 ... c Min unsat cost LB: 49950 ... c Min unsat cost LB: 49951 ... c Min unsat cost LB: 49952 ... c Min unsat cost LB: 49953 ... c Min unsat cost LB: 49954 ... c Min unsat cost LB: 49955 ... c Min unsat cost LB: 49956 ... c Min unsat cost LB: 49957 ... c Min unsat cost LB: 49958 ... c Min unsat cost LB: 49959 ... c Min unsat cost LB: 49960 ... c Min unsat cost LB: 49961 ... c Min unsat cost LB: 49962 ... c Min unsat cost LB: 49963 ... c Min unsat cost LB: 49964 ... c Min unsat cost LB: 49965 ... c Min unsat cost LB: 49966 ... c Min unsat cost LB: 49967 ... c Min unsat cost LB: 49968 ... c Min unsat cost LB: 49969 ... c Min unsat cost LB: 49970 ... c Min unsat cost LB: 49971 ... c Min unsat cost LB: 49972 ... c Min unsat cost LB: 49973 ... c Min unsat cost LB: 49974 ... c Min unsat cost LB: 49975 ... c Min unsat cost LB: 49976 ... c Min unsat cost LB: 49977 ... c Min unsat cost LB: 49978 ... c Min unsat cost LB: 49979 ... c Min unsat cost LB: 49980 ... c Min unsat cost LB: 49981 ... c Min unsat cost LB: 49982 ... c Min unsat cost LB: 49983 ... c Min unsat cost LB: 49984 ... c Min unsat cost LB: 49985 ... c Min unsat cost LB: 49986 ... c Min unsat cost LB: 49987 ... c Min unsat cost LB: 49988 ... c Min unsat cost LB: 49989 ... c Min unsat cost LB: 49990 ... c Min unsat cost LB: 49991 ... c Min unsat cost LB: 49992 ... c Min unsat cost LB: 49993 ... c Min unsat cost LB: 49994 ... c Min unsat cost LB: 49995 ... c Min unsat cost LB: 49996 ... c Min unsat cost LB: 49997 ... c Min unsat cost LB: 49998 ... c Min unsat cost LB: 49999 ... c Min unsat cost LB: 50000 ... c Min unsat cost LB: 50001 ... c Min unsat cost LB: 50002 ... c Min unsat cost LB: 50003 ... c Min unsat cost LB: 50004 ... c Min unsat cost LB: 50005 ... c Min unsat cost LB: 50008 ... c Min unsat cost LB: 50009 ... c Min unsat cost LB: 50010 ... c Min unsat cost LB: 50011 ... c Min unsat cost LB: 50012 ... c Min unsat cost LB: 50013 ... c Min unsat cost LB: 50014 ... c Min unsat cost LB: 50015 ... c Min unsat cost LB: 50016 ... c Min unsat cost LB: 50017 ... c Min unsat cost LB: 50018 ... c Min unsat cost LB: 50019 ... c Min unsat cost LB: 50020 ... c Min unsat cost LB: 50021 ... c Min unsat cost LB: 50022 ... c Min unsat cost LB: 50023 ... c Min unsat cost LB: 50024 ... c Min unsat cost LB: 50025 ... c Min unsat cost LB: 50026 ... c Min unsat cost LB: 50027 ... c Min unsat cost LB: 50028 ... c Min unsat cost LB: 50029 ... c Min unsat cost LB: 50030 ... c Min unsat cost LB: 50031 ... c Min unsat cost LB: 50032 ... c Min unsat cost LB: 50033 ... c Min unsat cost LB: 50034 ... c Min unsat cost LB: 50035 ... c Min unsat cost LB: 50036 ... c Min unsat cost LB: 50037 ... c Min unsat cost LB: 50038 ... c Min unsat cost LB: 50039 ... c Min unsat cost LB: 50040 ... c Min unsat cost LB: 50041 ... c Min unsat cost LB: 50042 ... c Min unsat cost LB: 50043 ... c Min unsat cost LB: 50044 ... c Min unsat cost LB: 50045 ... c Min unsat cost LB: 50046 ... c Min unsat cost LB: 50047 ... c Min unsat cost LB: 50048 ... c Min unsat cost LB: 50049 ... c Min unsat cost LB: 50050 ... c Min unsat cost LB: 50051 ... c Min unsat cost LB: 50052 ... c Min unsat cost LB: 50053 ... c Min unsat cost LB: 50054 ... c Min unsat cost LB: 50055 ... c Min unsat cost LB: 50056 ... c Min unsat cost LB: 50057 ... c Min unsat cost LB: 50058 ... c Min unsat cost LB: 50059 ... c Min unsat cost LB: 50060 ... c Min unsat cost LB: 50061 ... c Min unsat cost LB: 50062 ... c Min unsat cost LB: 50063 ... c Min unsat cost LB: 50064 ... c Min unsat cost LB: 50065 ... c Min unsat cost LB: 50066 ... c Min unsat cost LB: 50067 ... c Min unsat cost LB: 50068 ... c Min unsat cost LB: 50069 ... c Min unsat cost LB: 50070 ... c Min unsat cost LB: 50071 ... c Min unsat cost LB: 50072 ... c Min unsat cost LB: 50073 ... c Min unsat cost LB: 50074 ... c Min unsat cost LB: 50075 ... c Min unsat cost LB: 50076 ... c Min unsat cost LB: 50077 ... c Min unsat cost LB: 50078 ... c Min unsat cost LB: 50079 ... c Min unsat cost LB: 50080 ... c Min unsat cost LB: 50081 ... c Min unsat cost LB: 50082 ... c Min unsat cost LB: 50083 ... c Min unsat cost LB: 50084 ... c Min unsat cost LB: 50085 ... c Min unsat cost LB: 50086 ... c Min unsat cost LB: 50087 ... c Min unsat cost LB: 50088 ... c Min unsat cost LB: 50089 ... c Min unsat cost LB: 50090 ... c Min unsat cost LB: 50091 ... c Min unsat cost LB:Killed 1811.424u 8.323s 30:21.52 99.9% 0+0k 0+0io 0pf+0w