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_SCHEDULING_cat_sched_60_100_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_100_0000.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_SCHEDULING/cat_sched_60_100_0000.txt.wcnf *** c c Min unsat cost LB: 582 ... c Min unsat cost LB: 1164 ... c Min unsat cost LB: 1746 ... c Min unsat cost LB: 2400 ... c Min unsat cost LB: 3054 ... c Min unsat cost LB: 3636 ... c Min unsat cost LB: 4218 ... c Min unsat cost LB: 4872 ... c Min unsat cost LB: 5526 ... c Min unsat cost LB: 6180 ... c Min unsat cost LB: 6762 ... c Min unsat cost LB: 7416 ... c Min unsat cost LB: 8070 ... c Min unsat cost LB: 8724 ... c Min unsat cost LB: 9697 ... c Min unsat cost LB: 10670 ... c Min unsat cost LB: 11232 ... c Min unsat cost LB: 11252 ... c Min unsat cost LB: 11906 ... c Min unsat cost LB: 12560 ... c Min unsat cost LB: 13214 ... c Min unsat cost LB: 13796 ... c Min unsat cost LB: 14450 ... c Min unsat cost LB: 15423 ... c Min unsat cost LB: 16396 ... c Min unsat cost LB: 17369 ... c Min unsat cost LB: 18274 ... c Min unsat cost LB: 19247 ... c Min unsat cost LB: 19829 ... c Min unsat cost LB: 20152 ... c Min unsat cost LB: 20411 ... c Min unsat cost LB: 20993 ... c Min unsat cost LB: 21057 ... c Min unsat cost LB: 22030 ... c Min unsat cost LB: 22098 ... c Min unsat cost LB: 22935 ... c Min unsat cost LB: 23071 ... c Min unsat cost LB: 23840 ... c Min unsat cost LB: 24338 ... c Min unsat cost LB: 25311 ... c Min unsat cost LB: 25383 ... c Min unsat cost LB: 25587 ... c Min unsat cost LB: 26221 ... c Min unsat cost LB: 26875 ... c Min unsat cost LB: 27780 ... c Min unsat cost LB: 27848 ... c Min unsat cost LB: 28821 ... c Min unsat cost LB: 29522 ... c Min unsat cost LB: 29726 ... c Min unsat cost LB: 30699 ... c Min unsat cost LB: 31536 ... c Min unsat cost LB: 32118 ... c Min unsat cost LB: 32509 ... c Min unsat cost LB: 33482 ... c Min unsat cost LB: 33502 ... c Min unsat cost LB: 33765 ... c Min unsat cost LB: 34419 ... c Min unsat cost LB: 35324 ... c Min unsat cost LB: 36229 ... c Min unsat cost LB: 36297 ... c Min unsat cost LB: 37270 ... c Min unsat cost LB: 37426 ... c Min unsat cost LB: 38331 ... c Min unsat cost LB: 38809 ... c Min unsat cost LB: 38985 ... c Min unsat cost LB: 39463 ... c Min unsat cost LB: 39531 ... c Min unsat cost LB: 39599 ... c Min unsat cost LB: 39667 ... c Min unsat cost LB: 40504 ... c Min unsat cost LB: 40680 ... c Min unsat cost LB: 41158 ... c Min unsat cost LB: 41294 ... c Min unsat cost LB: 41613 ... c Min unsat cost LB: 42267 ... c Min unsat cost LB: 42450 ... c Min unsat cost LB: 42626 ... c Min unsat cost LB: 43104 ... c Min unsat cost LB: 43758 ... c Min unsat cost LB: 43941 ... c Min unsat cost LB: 44412 ... c Min unsat cost LB: 45317 ... c Min unsat cost LB: 45500 ... c Min unsat cost LB: 45723 ... c Min unsat cost LB: 46628 ... c Min unsat cost LB: 47078 ... c Min unsat cost LB: 47146 ... c Min unsat cost LB: 47800 ... c Min unsat cost LB: 48048 ... c Min unsat cost LB: 48104 ... c Min unsat cost LB: 48287 ... c Min unsat cost LB: 48761 ... c Min unsat cost LB: 49666 ... c Min unsat cost LB: 50248 ... c Min unsat cost LB: 50719 ... c Min unsat cost LB: 50902 ... c Min unsat cost LB: 51556 ... c Min unsat cost LB: 52210 ... c Min unsat cost LB: 52278 ... c Min unsat cost LB: 52461 ... c Min unsat cost LB: 53115 ... c Min unsat cost LB: 53366 ... c Min unsat cost LB: 53549 ... c Min unsat cost LB: 53617 ... c Min unsat cost LB: 53837 ... c Min unsat cost LB: 54013 ... c Min unsat cost LB: 54017 ... c Min unsat cost LB: 54189 ... c Min unsat cost LB: 54667 ... c Min unsat cost LB: 54671 ... c Min unsat cost LB: 55142 ... c Min unsat cost LB: 55145 ... c Min unsat cost LB: 55321 ... c Min unsat cost LB: 55975 ... c Min unsat cost LB: 56158 ... c Min unsat cost LB: 56450 ... c Min unsat cost LB: 56524 ... c Min unsat cost LB: 56660 ... c Min unsat cost LB: 56747 ... c Min unsat cost LB: 56911 ... c Min unsat cost LB: 57314 ... c Min unsat cost LB: 57507 ... c Min unsat cost LB: 57628 ... c Min unsat cost LB: 57816 ... c Min unsat cost LB: 58009 ... c Min unsat cost LB: 58591 ... c Min unsat cost LB: 58982 ... c Min unsat cost LB: 59173 ... c Min unsat cost LB: 60146 ... c Min unsat cost LB: 60413 ... c Min unsat cost LB: 60672 ... c Min unsat cost LB: 60860 ... c Min unsat cost LB: 61012 ... c Min unsat cost LB: 61277 ... c Min unsat cost LB: 61297 ... c Min unsat cost LB: 61931 ... c Min unsat cost LB: 61951 ... c Min unsat cost LB: 61999 ... c Min unsat cost LB: 62059 ... c Min unsat cost LB: 62063 ... c Min unsat cost LB: 62127 ... c Min unsat cost LB: 62195 ... c Min unsat cost LB: 62276 ... c Min unsat cost LB: 62332 ... c Min unsat cost LB: 62440 ... c Min unsat cost LB: 62467 ... c Min unsat cost LB: 62734 ... c Min unsat cost LB: 63049 ... c Min unsat cost LB: 63359 ... c Min unsat cost LB: 63440 ... c Min unsat cost LB: 63543 ... c Min unsat cost LB: 64069 ... c Min unsat cost LB: 64273 ... c Min unsat cost LB: 64349 ... c Min unsat cost LB: 64460 ... c Min unsat cost LB: 64723 ... c Min unsat cost LB: 64931 ... c Min unsat cost LB: 65377 ... c Min unsat cost LB: 65801 ... c Min unsat cost LB: 66031 ... c Min unsat cost LB: 66214 ... c Min unsat cost LB: 66256 ... c Min unsat cost LB: 66276 ... c Min unsat cost LB: 66511 ... c Min unsat cost LB: 66514 ... c Min unsat cost LB: 66579 ... c Min unsat cost LB: 66634 ... c Min unsat cost LB: 66851 ... c Min unsat cost LB: 66942 ... c Min unsat cost LB: 67170 ... c Min unsat cost LB: 67228 ... c Min unsat cost LB: 67296 ... c Min unsat cost LB: 67319 ... c Min unsat cost LB: 67847 ... c Min unsat cost LB: 67858 ... c Min unsat cost LB: 67930 ... c Min unsat cost LB: 68058 ... c Min unsat cost LB: 68066 ... c Min unsat cost LB: 68227 ... c Min unsat cost LB: 68306 ... c Min unsat cost LB: 68374 ... c Min unsat cost LB: 68462 ... c Min unsat cost LB: 68534 ... c Min unsat cost LB: 68655 ... c Min unsat cost LB: 68776 ... c Min unsat cost LB: 68964 ... c Min unsat cost LB: 68984 ... c Min unsat cost LB: 69048 ... c Min unsat cost LB: 69097 ... c Min unsat cost LB: 69151 ... c Min unsat cost LB: 69225 ... c Min unsat cost LB: 69268 ... c Min unsat cost LB: 69328 ... c Min unsat cost LB: 69355 ... c Min unsat cost LB: 69638 ... c Min unsat cost LB: 69846 ... c Min unsat cost LB: 69895 ... c Min unsat cost LB: 70066 ... c Min unsat cost LB: 70069 ... c Min unsat cost LB: 70207 ... c Min unsat cost LB: 70275 ... c Min unsat cost LB: 70504 ... c Min unsat cost LB: 70535 ... c Min unsat cost LB: 70601 ... c Min unsat cost LB: 70698 ... c Min unsat cost LB: 70784 ... c Min unsat cost LB: 71076 ... c Min unsat cost LB: 71212 ... c Min unsat cost LB: 71271 ... c Min unsat cost LB: 71313 ... c Min unsat cost LB: 71449 ... c Min unsat cost LB: 71844 ... c Min unsat cost LB: 71939 ... c Min unsat cost LB: 71947 ... c Min unsat cost LB: 72007 ... c Min unsat cost LB: 72109 ... c Min unsat cost LB: 72303 ... c Min unsat cost LB: 72398 ... c Min unsat cost LB: 72666 ... c Min unsat cost LB: 72721 ... c Min unsat cost LB: 73044 ... c Min unsat cost LB: 73106 ... c Min unsat cost LB: 73345 ... c Min unsat cost LB: 73354 ... c Min unsat cost LB: 73422 ... c Min unsat cost LB: 73518 ... c Min unsat cost LB: 73626 ... c Min unsat cost LB: 73715 ... c Min unsat cost LB: 73783 ... c Min unsat cost LB: 73885 ... c Min unsat cost LB: 73959 ... c Min unsat cost LB: 73962 ... c Min unsat cost LB: 73966 ... c Min unsat cost LB: 74048 ... c Min unsat cost LB: 74366 ... c Min unsat cost LB: 74437 ... c Min unsat cost LB: 74447 ... c Min unsat cost LB: 74522 ... c Min unsat cost LB: 74599 ... c Min unsat cost LB: 74698 ... c Min unsat cost LB: 74834 ... c Min unsat cost LB: 74838 ... c Min unsat cost LB: 74842 ... c Min unsat cost LB: 75010 ... c Min unsat cost LB: 75070 ... c Min unsat cost LB: 75087 ... c Min unsat cost LB: 75090 ... c Min unsat cost LB: 75164 ... c Min unsat cost LB: 75168 ... c Min unsat cost LB: 75176 ... c Min unsat cost LB: 75224 ... c Min unsat cost LB: 75232 ... c Min unsat cost LB: 75244 ... c Min unsat cost LB: 75284 ... c Min unsat cost LB: 75304 ... c Min unsat cost LB: 75311 ... c Min unsat cost LB: 75324 ... c Min unsat cost LB: 75335 ... c Min unsat cost LB: 75618 ... c Min unsat cost LB: 75645 ... c Min unsat cost LB: 75724 ... c Min unsat cost LB: 75735 ... c Min unsat cost LB: 75816 ... c Min unsat cost LB: 75897 ... c Min unsat cost LB: 75918 ... c Min unsat cost LB: 75984 ... c Min unsat cost LB: 75997 ... c Min unsat cost LB: 76015 ... c Min unsat cost LB: 76069 ... c Min unsat cost LB: 76081 ... c Min unsat cost LB: 76192 ... c Min unsat cost LB: 76258 ... c Min unsat cost LB: 76300 ... c Min unsat cost LB: 76363 ... c Min unsat cost LB: 76375 ... c Min unsat cost LB: 76388 ... c Min unsat cost LB: 76406 ... c Min unsat cost LB: 76417 ... c Min unsat cost LB: 76429 ... c Min unsat cost LB: 76515 ... c Min unsat cost LB: 76523 ... c Min unsat cost LB: 76524 ... c Min unsat cost LB: 76584 ... c Min unsat cost LB: 76592 ... c Min unsat cost LB: 76593 ... c Min unsat cost LB: 76599 ... c Min unsat cost LB: 76606 ... c Min unsat cost LB: 76607 ... c Min unsat cost LB: 76613 ... c Min unsat cost LB: 76617 ... c Min unsat cost LB: 76618 ... c Min unsat cost LB: 76678 ... c Min unsat cost LB: 76686 ... c Min unsat cost LB: 76722 ... c Min unsat cost LB: 76727 ... c Min unsat cost LB: 76730 ... c Min unsat cost LB: 76781 ... c Min unsat cost LB: 76798 ... c Min unsat cost LB: 76801 ... c Min unsat cost LB: 76809 ... c Min unsat cost LB: 76836 ... c Min unsat cost LB: 76837 ... c Min unsat cost LB: 76858 ... c Min unsat cost LB: 76892 ... c Min unsat cost LB: 76954 ... c Min unsat cost LB: 76960 ... c Min unsat cost LB: 76969 ... c Min unsat cost LB: 77009 ... c Min unsat cost LB: 77014 ... c Min unsat cost LB: 77015 ... c Min unsat cost LB: 77016 ... c Min unsat cost LB: 77022 ... c Min unsat cost LB: 77048 ... c Min unsat cost LB: 77049 ... c Min unsat cost LB: 77094 ... c Min unsat cost LB: 77096 ... c Min unsat cost LB: 77184 ... c Min unsat cost LB: 77185 ... c Min unsat cost LB: 77186 ... c Min unsat cost LB: 77187 ... c Min unsat cost LB: 77202 ... c Min unsat cost LB: 77207 ... c Min unsat cost LB: 77208 ... c Min unsat cost LB: 77209 ... c Min unsat cost LB: 77210 ... c Min unsat cost LB: 77211 ... c Min unsat cost LB: 77212 ... c Min unsat cost LB: 77213 ... c Min unsat cost LB: 77214 ... c Min unsat cost LB: 77215 ... c Min unsat cost LB: 77216 ... c Min unsat cost LB: 77223 ... c Min unsat cost LB: 77285 ... c Min unsat cost LB: 77286 ... c Min unsat cost LB: 77290 ... c Min unsat cost LB: 77293 ... c Min unsat cost LB: 77295 ... c Min unsat cost LB: 77312 ... c Min unsat cost LB: 77313 ... c Min unsat cost LB: 77317 ... c Min unsat cost LB: 77321 ... c Min unsat cost LB: 77323 ... c Min unsat cost LB: 77324 ... c Min unsat cost LB: 77325 ... c Min unsat cost LB: 77326 ... c Min unsat cost LB: 77327 ... c Min unsat cost LB: 77334 ... c Min unsat cost LB: 77337 ... c Min unsat cost LB: 77338 ... c Min unsat cost LB: 77339 ... c Min unsat cost LB: 77344 ... c Min unsat cost LB: 77378 ... c Min unsat cost LB: 77387 ... c Min unsat cost LB: 77388 ... c Min unsat cost LB: 77390 ... c Min unsat cost LB: 77391 ... c Min unsat cost LB: 77446 ... c Min unsat cost LB: 77447 ... c Min unsat cost LB: 77448 ... c Min unsat cost LB: 77449 ... c Min unsat cost LB: 77451 ... c Min unsat cost LB: 77842 ... c Min unsat cost LB: 77855 ... c Min unsat cost LB: 77862 ... c Min unsat cost LB: 77869 ... c Min unsat cost LB: 77875 ... c Min unsat cost LB: 77890 ... c Min unsat cost LB: 77891 ... c Min unsat cost LB: 77897 ... c Min unsat cost LB: 77939 ... c Min unsat cost LB: 77943 ... c Min unsat cost LB: 78008 ... c Min unsat cost LB: 78054 ... c Min unsat cost LB: 78070 ... c Min unsat cost LB: 78105 ... c Min unsat cost LB: 78181 ... c Min unsat cost LB: 78241 ... c Min unsat cost LB: 78271 ... c Min unsat cost LB: 78276 ... c Min unsat cost LB: 78280 ... c Min unsat cost LB: 78344 ... c Min unsat cost LB: 78368 ... c Min unsat cost LB: 78370 ... c Min unsat cost LB: 78425 ... c Min unsat cost LB: 78620 ... c Min unsat cost LB: 78657 ... c Min unsat cost LB: 78684 ... c Min unsat cost LB: 78688 ... c Min unsat cost LB: 78700 ... c Min unsat cost LB: 78704 ... c Min unsat cost LB: 78730 ... c Min unsat cost LB: 78789 ... c Min unsat cost LB: 78792 ... c Min unsat cost LB: 78801 ... c Min unsat cost LB: 78804 ... c Min unsat cost LB: 78813 ... c Min unsat cost LB: 78839 ... c Min unsat cost LB: 78845 ... c Min unsat cost LB: 78847 ... c Min unsat cost LB: 78858 ... c Min unsat cost LB: 78883 ... c Min unsat cost LB: 78906 ... c Min unsat cost LB: 78919 ... c Min unsat cost LB: 78937 ... c Min unsat cost LB: 79324 ... c Min unsat cost LB: 79343 ... c Min unsat cost LB: 79362 ... c Min unsat cost LB: 79370 ... c Min unsat cost LB: 79603 ... c Min unsat cost LB: 79617 ... c Min unsat cost LB: 79647 ... c Min unsat cost LB: 79749 ... c Min unsat cost LB: 79759 ... c Min unsat cost LB: 79795 ... c Min unsat cost LB: 79831 ... c Min unsat cost LB: 79841 ... c Min unsat cost LB: 79863 ... c Min unsat cost LB: 79873 ... c Min unsat cost LB: 79874 ... c Min unsat cost LB: 79876 ... c Min unsat cost LB: 79878 ... c Min unsat cost LB: 79886 ... c Min unsat cost LB: 79889 ... c Min unsat cost LB: 79892 ... c Min unsat cost LB: 79895 ... c Min unsat cost LB: 79897 ... c Min unsat cost LB: 79900 ... c Min unsat cost LB: 79909 ... c Min unsat cost LB: 79910 ... c Min unsat cost LB: 79911 ... c Min unsat cost LB: 79912 ... c Min unsat cost LB: 79919 ... c Min unsat cost LB: 79920 ... c Min unsat cost LB: 79923 ... c Min unsat cost LB: 79924 ... c Min unsat cost LB: 79925 ... c Min unsat cost LB: 79926 ... c Min unsat cost LB: 79929 ... c Min unsat cost LB: 79930 ... c Min unsat cost LB: 79942 ... c Min unsat cost LB: 79953 ... c Min unsat cost LB: 79963 ... c Min unsat cost LB: 79978 ... c Min unsat cost LB: 79980 ... c Min unsat cost LB: 79993 ... c Min unsat cost LB: 80003 ... c Min unsat cost LB: 80021 ... c Min unsat cost LB: 80047 ... c Min unsat cost LB: 80055 ... c Min unsat cost LB: 80059 ... c Min unsat cost LB: 80177 ... c Min unsat cost LB: 80178 ... c Min unsat cost LB: 80180 ... c Min unsat cost LB: 80181 ... c Min unsat cost LB: 80182 ... c Min unsat cost LB: 80183 ... c Min unsat cost LB: 80184 ... c Min unsat cost LB: 80185 ... c Min unsat cost LB: 80186 ... c Min unsat cost LB: 80187 ... c Min unsat cost LB: 80188 ... c Min unsat cost LB: 80189 ... c Min unsat cost LB: 80190 ... c Min unsat cost LB: 80191 ... c Min unsat cost LB: 80192 ... c Min unsat cost LB: 80193 ... c Min unsat cost LB: 80194 ... c Min unsat cost LB: 80195 ... c Min unsat cost LB: 80197 ... c Min unsat cost LB: 80198 ... c Min unsat cost LB: 80199 ... c Min unsat cost LB: 80200 ... c Min unsat cost LB: 80201 ... c Min unsat cost LB: 80202 ... c Min unsat cost LB: 80203 ... c Min unsat cost LB: 80204 ... c Min unsat cost LB: 80205 ... c Min unsat cost LB: 80207 ... c Min unsat cost LB: 80208 ... c Min unsat cost LB: 80216 ... c Min unsat cost LB: 80218 ... c Min unsat cost LB: 80423 ... c Min unsat cost LB: 80611 ... c Min unsat cost LB: 80620 ... c Min unsat cost LB: 80631 ... c Min unsat cost LB: 80667 ... c Min unsat cost LB: 80675 ... c Min unsat cost LB: 80676 ... c Min unsat cost LB: 80684 ... c Min unsat cost LB: 80691 ... c Min unsat cost LB: 80693 ... c Min unsat cost LB: 80732 ... c Min unsat cost LB: 80741 ... c Min unsat cost LB: 80745 ... c Min unsat cost LB: 80748 ... c Min unsat cost LB: 80754 ... c Min unsat cost LB: 80757 ... c Min unsat cost LB: 80759 ... c Min unsat cost LB: 80761 ... c Min unsat cost LB: 80802 ... c Min unsat cost LB: 80849 ... c Min unsat cost LB: 80850 ... c Min unsat cost LB: 80855 ... c Min unsat cost LB: 80859 ... c Min unsat cost LB: 80860 ... c Min unsat cost LB: 80891 ... c Min unsat cost LB: 80896 ... c Min unsat cost LB: 80906 ... c Min unsat cost LB: 80909 ... c Min unsat cost LB: 80932 ... c Min unsat cost LB: 80950 ... c Min unsat cost LB: 80964 ... c Min unsat cost LB: 80965 ... c Min unsat cost LB: 80966 ... c Min unsat cost LB: 81278 ... c Min unsat cost LB: 81286 ... c Min unsat cost LB: 81287 ... c Min unsat cost LB: 81290 ... c Min unsat cost LB: 81292 ... c Min unsat cost LB: 81305 ... c Min unsat cost LB: 81310 ... c Min unsat cost LB: 81316 ... c Min unsat cost LB: 81317 ... c Min unsat cost LB: 81323 ... c Min unsat cost LB: 81338 ... c Min unsat cost LB: 81341 ... c Min unsat cost LB: 81347 ... c Min unsat cost LB: 81359 ... c Min unsat cost LB: 81360 ... c Min unsat cost LB: 81363 ... c Min unsat cost LB: 81364 ... c Min unsat cost LB: 81365 ... c Min unsat cost LB: 81366 ... c Min unsat cost LB: 81367 ... c Min unsat cost LB: 81368 ... c Min unsat cost LB: 81369 ... c Min unsat cost LB: 81370 ... c Min unsat cost LB: 81371 ... c Min unsat cost LB: 81373 ... c Min unsat cost LB: 81377 ... c Min unsat cost LB: 81379 ... c Min unsat cost LB: 81381 ... c Min unsat cost LB: 81382 ... c Min unsat cost LB: 81384 ... c Min unsat cost LB: 81386 ... c Min unsat cost LB: 81391 ... c Min unsat cost LB: 81392 ... c Min unsat cost LB: 81396 ... c Min unsat cost LB: 81401 ... c Min unsat cost LB: 81402 ... c Min unsat cost LB: 81403 ... c Min unsat cost LB: 81405 ... c Min unsat cost LB: 81407 ... c Min unsat cost LB: 81409 ... c Min unsat cost LB: 81411 ... c Min unsat cost LB: 81419 ... c Min unsat cost LB: 81428 ... c Min unsat cost LB: 81430 ... c Min unsat cost LB: 81434 ... c Min unsat cost LB: 81435 ... c Min unsat cost LB: 81436 ... c Min unsat cost LB: 81437 ... c Min unsat cost LB: 81439 ... c Min unsat cost LB: 81441 ... c Min unsat cost LB: 81442 ... c Min unsat cost LB: 81443 ... c Min unsat cost LB: 81444 ... c Min unsat cost LB: 81445 ... c Min unsat cost LB: 81446 ... c Min unsat cost LB: 81450 ... c Min unsat cost LB: 81453 ... c Min unsat cost LB: 81454 ... c Min unsat cost LB: 81456 ... c Min unsat cost LB: 81458 ... c Min unsat cost LB: 81460 ... c Min unsat cost LB: 81462 ... c Min unsat cost LB: 81465 ... c Min unsat cost LB: 81466 ... c Min unsat cost LB: 81472 ... c Min unsat cost LB: 81475 ... c Min unsat cost LB: 81478 ... c Min unsat cost LB: 81480 ... c Min unsat cost LB: 81482 ... c Min unsat cost LB: 81485 ... c Min unsat cost LB: 81492 ... c Min unsat cost LB: 81493 ... c Min unsat cost LB: 81494 ... c Min unsat cost LB: 81495 ... c Min unsat cost LB: 81500 ... c Min unsat cost LB: 81513 ... c Min unsat cost LB: 81576 ... c Min unsat cost LB: 81580 ... c Min unsat cost LB: 81581 ... c Min unsat cost LB: 81585 ... c Min unsat cost LB: 81586 ... c Min unsat cost LB: 81588 ... c Min unsat cost LB: 81592 ... c Min unsat cost LB: 81593 ... c Min unsat cost LB: 81594 ... c Min unsat cost LB: 81596 ... c Min unsat cost LB: 81599 ... c Min unsat cost LB: 81600 ... c Min unsat cost LB: 81645 ... c Min unsat cost LB: 81693 ... c Min unsat cost LB: 81694 ... c Min unsat cost LB: 81695 ... c Min unsat cost LB: 81696 ... c Min unsat cost LB: 81697 ... c Min unsat cost LB: 81698 ... c Min unsat cost LB: 81699 ... c Min unsat cost LB: 81700 ... c Min unsat cost LB: 81701 ... c Min unsat cost LB: 81702 ... c Min unsat cost LB: 81703 ... c Min unsat cost LB: 81770 ... c Min unsat cost LB: 81791 ... c Min unsat cost LB: 81807 ... c Min unsat cost LB: 81808 ... c Min unsat cost LB: 81839 ... c Min unsat cost LB: 81859 ... c Min unsat cost LB: 81860 ... c Min unsat cost LB: 81861 ... c Min unsat cost LB: 81867 ... c Min unsat cost LB: 81881 ... c Min unsat cost LB: 81882 ... c Min unsat cost LB: 81883 ... c Min unsat cost LB: 81884 ... c Min unsat cost LB: 81885 ... c Min unsat cost LB: 81886 ... c Min unsat cost LB: 81887 ... c Min unsat cost LB: 81888 ... c Min unsat cost LB: 81889 ... c Min unsat cost LB: 81890 ... c Min unsat cost LB: 81891 ... c Min unsat cost LB: 81892 ... c Min unsat cost LB: 81893 ... c Min unsat cost LB: 81896 ... c Min unsat cost LB: 81906 ... c Min unsat cost LB: 81910 ... c Min unsat cost LB: 81911 ... c Min unsat cost LB: 81921 ... c Min unsat cost LB: 81922 ... c Min unsat cost LB: 81943 ... c Min unsat cost LB: 81944 ... c Min unsat cost LB: 81947 ... c Min unsat cost LB: 81948 ... c Min unsat cost LB: 81952 ... c Min unsat cost LB: 81967 ... c Min unsat cost LB: 81968 ... c Min unsat cost LB: 81974 ... c Min unsat cost LB: 81979 ... c Min unsat cost LB: 82008 ... c Min unsat cost LB: 82009 ... c Min unsat cost LB: 82016 ... c Min unsat cost LB: 82017 ... c Min unsat cost LB: 82019 ... c Min unsat cost LB: 82021 ... c Min unsat cost LB: 82024 ... c Min unsat cost LB: 82026 ... c Min unsat cost LB: 82028 ... c Min unsat cost LB: 82034 ... c Min unsat cost LB: 82055 ... c Min unsat cost LB: 82056 ... c Min unsat cost LB: 82059 ... c Min unsat cost LB: 82064 ... c Min unsat cost LB: 82066 ... c Min unsat cost LB: 82067 ... c Min unsat cost LB: 82073 ... c Min unsat cost LB: 82074 ... c Min unsat cost LB: 82075 ... c Min unsat cost LB: 82076 ... c Min unsat cost LB: 82077 ... c Min unsat cost LB: 82080 ... c Min unsat cost LB: 82082 ... c Min unsat cost LB: 82083 ... c Min unsat cost LB: 82086 ... c Min unsat cost LB: 82087 ... c Min unsat cost LB: 82088 ... c Min unsat cost LB: 82089 ... c Min unsat cost LB: 82104 ... c Min unsat cost LB: 82105 ... c Min unsat cost LB: 82106 ... c Min unsat cost LB: 82108 ... c Min unsat cost LB: 82109 ... c Min unsat cost LB: 82110 ... c Min unsat cost LB: 82111 ... c Min unsat cost LB: 82116 ... c Min unsat cost LB: 82129 ... c Min unsat cost LB: 82130 ... c Min unsat cost LB: 82132 ... c Min unsat cost LB: 82133 ... c Min unsat cost LB: 82134 ... c Min unsat cost LB: 82135 ... c Min unsat cost LB: 82136 ... c Min unsat cost LB: 82137 ... c Min unsat cost LB: 82138 ... c Min unsat cost LB: 82139 ... c Min unsat cost LB: 82140 ... c Min unsat cost LB: 82141 ... c Min unsat cost LB: 82142 ... c Min unsat cost LB: 82145 ... c Min unsat cost LB: 82146 ... c Min unsat cost LB: 82147 ... c Min unsat cost LB: 82148 ... c Min unsat cost LB: 82149 ... c Min unsat cost LB: 82150 ... c Min unsat cost LB: 82151 ... c Min unsat cost LB: 82152 ... c Min unsat cost LB: 82153 ... c Min unsat cost LB: 82154 ... c Min unsat cost LB: 82155 ... c Min unsat cost LB: 82156 ... c Min unsat cost LB: 82157 ... c Min unsat cost LB: 82158 ... c Min unsat cost LB: 82159 ... c Min unsat cost LB: 82160 ... c Min unsat cost LB: 82161 ... c Min unsat cost LB: 82162 ... c Min unsat cost LB: 82163 ... c Min unsat cost LB: 82164 ... c Min unsat cost LB: 82165 ... c Min unsat cost LB: 82166 ... c Min unsat cost LB: 82167 ... c Min unsat cost LB: 82168 ... c Min unsat cost LB: 82169 ... c Min unsat cost LB: 82170 ... c Min unsat cost LB: 82171 ... c Min unsat cost LB: 82172 ... c Min unsat cost LB: 82173 ... c Min unsat cost LB: 82174 ... c Min unsat cost LB: 82175 ... c Min unsat cost LB: 82176 ... c Min unsat cost LB: 82177 ... c Min unsat cost LB: 82178 ... c Min unsat cost LB: 82179 ... c Min unsat cost LB: 82180 ... c Min unsat cost LB: 82181 ... c Min unsat cost LB: 82182 ... c Min unsat cost LB: 82183 ... c Min unsat cost LB: 82184 ... c Min unsat cost LB: 82200 ... c Min unsat cost LB: 82201 ... c Min unsat cost LB: 82204 ... c Min unsat cost LB: 82205 ... c Min unsat cost LB: 82206 ... c Min unsat cost LB: 82207 ... c Min unsat cost LB: 82215 ... c Min unsat cost LB: 82231 ... c Min unsat cost LB: 82248 ... c Min unsat cost LB: 82249 ... c Min unsat cost LB: 82250 ... c Min unsat cost LB: 82251 ... c Min unsat cost LB: 82252 ... c Min unsat cost LB: 82253 ... c Min unsat cost LB: 82254 ... c Min unsat cost LB: 82255 ... c Min unsat cost LB: 82256 ... c Min unsat cost LB: 82258 ... c Min unsat cost LB: 82259 ... c Min unsat cost LB: 82260 ... c Min unsat cost LB: 82264 ... c Min unsat cost LB: 82266 ... c Min unsat cost LB: 82267 ... c Min unsat cost LB: 82268 ... c Min unsat cost LB: 82269 ... c Min unsat cost LB: 82270 ... c Min unsat cost LB: 82271 ... c Min unsat cost LB: 82272 ... c Min unsat cost LB: 82273 ... c Min unsat cost LB: 82274 ... c Min unsat cost LB: 82275 ... c Min unsat cost LB: 82276 ... c Min unsat cost LB: 82278 ... c Min unsat cost LB: 82279 ... c Min unsat cost LB: 82280 ... c Min unsat cost LB: 82281 ... c Min unsat cost LB: 82282 ... c Min unsat cost LB: 82283 ... c Min unsat cost LB: 82284 ... c Min unsat cost LB: 82285 ... c Min unsat cost LB: 82286 ... c Min unsat cost LB: 82287 ... c Min unsat cost LB: 82290 ... c Min unsat cost LB: 82291 ... c Min unsat cost LB: 82292 ... c Min unsat cost LB: 82293 ... c Min unsat cost LB: 82294 ... c Min unsat cost LB: 82295 ... c Min unsat cost LB: 82296 ... c Min unsat cost LB: 82297 ... c Min unsat cost LB: 82299 ... c Min unsat cost LB: 82300 ... c Min unsat cost LB: 82301 ... c Min unsat cost LB: 82302 ... c Min unsat cost LB: 82305 ... c Min unsat cost LB: 82306 ... c Min unsat cost LB: 82307 ... c Min unsat cost LB: 82308 ... c Min unsat cost LB: 82312 ... c Min unsat cost LB: 82313 ... c Min unsat cost LB: 82314 ... c Min unsat cost LB: 82315 ... c Min unsat cost LB: 82316 ... c Min unsat cost LB: 82317 ... c Min unsat cost LB: 82318 ... c Min unsat cost LB: 82319 ... c Min unsat cost LB: 82320 ... c Min unsat cost LB: 82321 ... c Min unsat cost LB: 82322 ... c Min unsat cost LB: 82323 ... c Min unsat cost LB: 82324 ... c Min unsat cost LB: 82325 ... c Min unsat cost LB: 82326 ... c Min unsat cost LB: 82327 ... c Min unsat cost LB: 82328 ... c Min unsat cost LB: 82329 ... c Min unsat cost LB: 82330 ... c Min unsat cost LB: 82331 ... c Min unsat cost LB: 82332 ... c Min unsat cost LB: 82334 ... c Min unsat cost LB: 82335 ... c Min unsat cost LB: 82336 ... c Min unsat cost LB: 82337 ... c Min unsat cost LB: 82339 ... c Min unsat cost LB: 82340 ... c Min unsat cost LB: 82341 ... c Min unsat cost LB: 82342 ... c Min unsat cost LB: 82343 ... c Min unsat cost LB: 82344 ... c Min unsat cost LB: 82345 ... c Min unsat cost LB: 82346 ... c Min unsat cost LB: 82347 ... c Min unsat cost LB: 82350 ... c Min unsat cost LB: 82351 ... c Min unsat cost LB: 82355 ... c Min unsat cost LB: 82356 ... c Min unsat cost LB: 82357 ... c Min unsat cost LB: 82358 ... c Min unsat cost LB: 82359 ... c Min unsat cost LB: 82360 ... c Min unsat cost LB: 82361 ... c Min unsat cost LB: 82362 ... c Min unsat cost LB: 82363 ... c Min unsat cost LB: 82364 ... c Min unsat cost LB: 82365 ... c Min unsat cost LB: 82366 ... c Min unsat cost LB: 82367 ... c Min unsat cost LB: 82368 ... c Min unsat cost LB: 82369 ... c Min unsat cost LB: 82370 ... c Min unsat cost LB: 82371 ... c Min unsat cost LB: 82372 ... c Min unsat cost LB: 82373 ... c Min unsat cost LB: 82374 ... c Min unsat cost LB: 82375 ... c Min unsat cost LB: 82376 ... c Min unsat cost LB: 82377 ... c Min unsat cost LB: 82378 ... c Min unsat cost LB: 82379 ... c Min unsat cost LB: 82380 ... c Min unsat cost LB: 82381 ... c Min unsat cost LB: 82382 ... c Min unsat cost LB: 82383 ... c Min unsat cost LB: 82384 ... c Min unsat cost LB: 82385 ... c Min unsat cost LB: 82386 ... c Min unsat cost LB: 82387 ... c Min unsat cost LB: 82388 ... c Min unsat cost LB: 82389 ... c Min unsat cost LB: 82390 ... c Min unsat cost LB: 82391 ... c Min unsat cost LB: 82392 ... c Min unsat cost LB: 82396 ... c Min unsat cost LB: 82397 ... c Min unsat cost LB: 82398 ... c Min unsat cost LB: 82400 ... c Min unsat cost LB: 82401 ... c Min unsat cost LB: 82403 ... c Min unsat cost LB: 82404 ... c Min unsat cost LB: 82405 ... c Min unsat cost LB: 82419 ... c Min unsat cost LB: 82420 ... c Min unsat cost LB: 82421 ... c Min unsat cost LB: 82422 ... c Min unsat cost LB: 82423 ... c Min unsat cost LB: 82424 ... c Min unsat cost LB: 82425 ... c Min unsat cost LB: 82426 ... c Min unsat cost LB: 82427 ... c Min unsat cost LB: 82429 ... c Min unsat cost LB: 82433 ... c Min unsat cost LB: 82434 ... c Min unsat cost LB: 82435 ... c Min unsat cost LB: 82436 ... c Min unsat cost LB: 82438 ... c Min unsat cost LB: 82439 ... c Min unsat cost LB: 82440 ... c Min unsat cost LB: 82441 ... c Min unsat cost LB: 82448 ... c Min unsat cost LB: 82452 ... c Min unsat cost LB: 82458 ... c Min unsat cost LB: 82460 ... c Min unsat cost LB: 82478 ... c Min unsat cost LB: 82640 ... c Min unsat cost LB: 82641 ... c Min unsat cost LB: 82642 ... c Min unsat cost LB: 82643 ... c Min unsat cost LB: 82644 ... c Min unsat cost LB: 82645 ... c Min unsat cost LB: 82646 ... c Min unsat cost LB: 82647 ... c Min unsat cost LB: 82648 ... c Min unsat cost LB: 82649 ... c Min unsat cost LB: 82650 ... c Min unsat cost LB: 82651 ... c Min unsat cost LB: 82652 ... c Min unsat cost LB: 82653 ... c Min unsat cost LB: 82654 ... c Min unsat cost LB: 82655 ... c Min unsat cost LB: 82656 ... c Min unsat cost LB: 82657 ... c Min unsat cost LB: 82658 ... c Min unsat cost LB: 82659 ... c Min unsat cost LB: 82660 ... c Min unsat cost LB: 82661 ... c Min unsat cost LB: 82662 ... c Min unsat cost LB: 82663 ... c Min unsat cost LB: 82664 ... c Min unsat cost LB: 82666 ... c Min unsat cost LB: 82671 ... c Min unsat cost LB: 82674 ... c Min unsat cost LB: 82675 ... c Min unsat cost LB: 82676 ... c Min unsat cost LB: 82677 ... c Min unsat cost LB: 82678 ... c Min unsat cost LB: 82679 ... c Min unsat cost LB: 82680 ... c Min unsat cost LB: 82681 ... c Min unsat cost LB: 82682 ... c Min unsat cost LB: 82683 ... c Min unsat cost LB: 82684 ... c Min unsat cost LB: 82685 ... c Min unsat cost LB: 82686 ... c Min unsat cost LB: 82687 ... c Min unsat cost LB: 82688 ... c Min unsat cost LB: 82689 ... c Min unsat cost LB: 82690 ... c Min unsat cost LB: 82694 ... c Min unsat cost LB: 82695 ... c Min unsat cost LB: 82696 ... c Min unsat cost LB: 82697 ... c Min unsat cost LB: 82698 ... c Min unsat cost LB: 82699 ... c Min unsat cost LB: 82700 ... c Min unsat cost LB: 82701 ... c Min unsat cost LB: 82702 ... c Min unsat cost LB: 82703 ... c Min unsat cost LB: 82704 ... c Min unsat cost LB: 82705 ... c Min unsat cost LB: 82706 ... c Min unsat cost LB: 82707 ... c Min unsat cost LB: 82708 ... c Min unsat cost LB: 82709 ... c Min unsat cost LB: 82710 ... c Min unsat cost LB: 82711 ... c Min unsat cost LB: 82712 ... c Min unsat cost LB: 82713 ... c Min unsat cost LB: 82714 ... c Min unsat cost LB: 82715 ... c Min unsat cost LB: 82716 ... c Min unsat cost LB: 82717 ... c Min unsat cost LB: 82718 ... c Min unsat cost LB: 82719 ... c Min unsat cost LB: 82720 ... c Min unsat cost LB: 82721 ... c Min unsat cost LB: 82722 ... c Min unsat cost LB: 82723 ... c Min unsat cost LB: 82724 ... c Min unsat cost LB: 82725 ... c Min unsat cost LB: 82726 ... c Min unsat cost LB: 82727 ... c Min unsat cost LB: 82728 ... c Min unsat cost LB: 82729 ... c Min unsat cost LB: 82730 ... c Min unsat cost LB: 82731 ... c Min unsat cost LB: 82732 ... c Min unsat cost LB: 82753 ... c Min unsat cost LB: 82778 ... c Min unsat cost LB: 82779 ... c Min unsat cost LB: 82789 ... c Min unsat cost LB: 82794 ... c Min unsat cost LB: 82795 ... c Min unsat cost LB: 82796 ... c Min unsat cost LB: 82800 ... c Min unsat cost LB: 82801 ... c Min unsat cost LB: 82802 ... c Min unsat cost LB: 82803 ... c Min unsat cost LB: 82806 ... c Min unsat cost LB: 82807 ... c Min unsat cost LB: 82808 ... c Min unsat cost LB: 82809 ... c Min unsat cost LB: 82810 ... c Min unsat cost LB: 82811 ... c Min unsat cost LB: 82813 ... c Min unsat cost LB: 82814 ... c Min unsat cost LB: 82820 ... c Min unsat cost LB: 82821 ... c Min unsat cost LB: 82822 ... c Min unsat cost LB: 82823 ... c Min unsat cost LB: 82824 ... c Min unsat cost LB: 82829 ... c Min unsat cost LB: 82830 ... c Min unsat cost LB: 82831 ... c Min unsat cost LB: 82832 ... c Min unsat cost LB: 82833 ... c Min unsat cost LB: 82834 ... c Min unsat cost LB: 82835 ... c Min unsat cost LB: 82836 ... c Min unsat cost LB: 82840 ... c Min unsat cost LB: 82865 ... c Min unsat cost LB: 82866 ... c Min unsat cost LB: 82876 ... c Min unsat cost LB: 82879 ... c Min unsat cost LB: 82880 ... c Min unsat costKilled 1814.876u 4.861s 30:20.14 99.9% 0+0k 0+0io 0pf+0w