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_170_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_170_0004.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_170_0004.txt.wcnf *** c c Min unsat cost LB: 737 ... c Min unsat cost LB: 1474 ... c Min unsat cost LB: 2503 ... c Min unsat cost LB: 3420 ... c Min unsat cost LB: 3532 ... c Min unsat cost LB: 4269 ... c Min unsat cost LB: 5298 ... c Min unsat cost LB: 6327 ... c Min unsat cost LB: 6569 ... c Min unsat cost LB: 7374 ... c Min unsat cost LB: 8111 ... c Min unsat cost LB: 8403 ... c Min unsat cost LB: 9406 ... c Min unsat cost LB: 9648 ... c Min unsat cost LB: 10273 ... c Min unsat cost LB: 10385 ... c Min unsat cost LB: 10497 ... c Min unsat cost LB: 11229 ... c Min unsat cost LB: 11234 ... c Min unsat cost LB: 11971 ... c Min unsat cost LB: 12213 ... c Min unsat cost LB: 13216 ... c Min unsat cost LB: 14219 ... c Min unsat cost LB: 14461 ... c Min unsat cost LB: 14703 ... c Min unsat cost LB: 15506 ... c Min unsat cost LB: 15748 ... c Min unsat cost LB: 15948 ... c Min unsat cost LB: 16787 ... c Min unsat cost LB: 17029 ... c Min unsat cost LB: 17602 ... c Min unsat cost LB: 17607 ... c Min unsat cost LB: 18037 ... c Min unsat cost LB: 18798 ... c Min unsat cost LB: 19040 ... c Min unsat cost LB: 20043 ... c Min unsat cost LB: 20562 ... c Min unsat cost LB: 20804 ... c Min unsat cost LB: 21046 ... c Min unsat cost LB: 21148 ... c Min unsat cost LB: 21885 ... c Min unsat cost LB: 22622 ... c Min unsat cost LB: 22990 ... c Min unsat cost LB: 23130 ... c Min unsat cost LB: 23232 ... c Min unsat cost LB: 23474 ... c Min unsat cost LB: 24109 ... c Min unsat cost LB: 24249 ... c Min unsat cost LB: 24822 ... c Min unsat cost LB: 25064 ... c Min unsat cost LB: 25252 ... c Min unsat cost LB: 25480 ... c Min unsat cost LB: 25772 ... c Min unsat cost LB: 26509 ... c Min unsat cost LB: 27312 ... c Min unsat cost LB: 27821 ... c Min unsat cost LB: 28417 ... c Min unsat cost LB: 28519 ... c Min unsat cost LB: 29624 ... c Min unsat cost LB: 30385 ... c Min unsat cost LB: 30958 ... c Min unsat cost LB: 31593 ... c Min unsat cost LB: 31661 ... c Min unsat cost LB: 31804 ... c Min unsat cost LB: 32117 ... c Min unsat cost LB: 32258 ... c Min unsat cost LB: 32518 ... c Min unsat cost LB: 32760 ... c Min unsat cost LB: 32862 ... c Min unsat cost LB: 33484 ... c Min unsat cost LB: 33967 ... c Min unsat cost LB: 34209 ... c Min unsat cost LB: 34438 ... c Min unsat cost LB: 34680 ... c Min unsat cost LB: 35709 ... c Min unsat cost LB: 36282 ... c Min unsat cost LB: 36524 ... c Min unsat cost LB: 36766 ... c Min unsat cost LB: 36962 ... c Min unsat cost LB: 37281 ... c Min unsat cost LB: 37523 ... c Min unsat cost LB: 37765 ... c Min unsat cost LB: 38399 ... c Min unsat cost LB: 39020 ... c Min unsat cost LB: 40125 ... c Min unsat cost LB: 40581 ... c Min unsat cost LB: 40841 ... c Min unsat cost LB: 41946 ... c Min unsat cost LB: 42402 ... c Min unsat cost LB: 43507 ... c Min unsat cost LB: 44156 ... c Min unsat cost LB: 45261 ... c Min unsat cost LB: 45282 ... c Min unsat cost LB: 46387 ... c Min unsat cost LB: 46843 ... c Min unsat cost LB: 47948 ... c Min unsat cost LB: 48432 ... c Min unsat cost LB: 49169 ... c Min unsat cost LB: 49471 ... c Min unsat cost LB: 50500 ... c Min unsat cost LB: 51287 ... c Min unsat cost LB: 51529 ... c Min unsat cost LB: 51771 ... c Min unsat cost LB: 52634 ... c Min unsat cost LB: 53663 ... c Min unsat cost LB: 54058 ... c Min unsat cost LB: 55087 ... c Min unsat cost LB: 55522 ... c Min unsat cost LB: 55736 ... c Min unsat cost LB: 55841 ... c Min unsat cost LB: 56870 ... c Min unsat cost LB: 56946 ... c Min unsat cost LB: 57870 ... c Min unsat cost LB: 58899 ... c Min unsat cost LB: 59860 ... c Min unsat cost LB: 60026 ... c Min unsat cost LB: 60482 ... c Min unsat cost LB: 60550 ... c Min unsat cost LB: 60652 ... c Min unsat cost LB: 61579 ... c Min unsat cost LB: 61609 ... c Min unsat cost LB: 62243 ... c Min unsat cost LB: 63038 ... c Min unsat cost LB: 63207 ... c Min unsat cost LB: 63592 ... c Min unsat cost LB: 63633 ... c Min unsat cost LB: 64493 ... c Min unsat cost LB: 64738 ... c Min unsat cost LB: 65194 ... c Min unsat cost LB: 65955 ... c Min unsat cost LB: 66299 ... c Min unsat cost LB: 66449 ... c Min unsat cost LB: 66590 ... c Min unsat cost LB: 67074 ... c Min unsat cost LB: 67478 ... c Min unsat cost LB: 67661 ... c Min unsat cost LB: 67720 ... c Min unsat cost LB: 67825 ... c Min unsat cost LB: 68067 ... c Min unsat cost LB: 68398 ... c Min unsat cost LB: 68651 ... c Min unsat cost LB: 68688 ... c Min unsat cost LB: 69020 ... c Min unsat cost LB: 69122 ... c Min unsat cost LB: 69262 ... c Min unsat cost LB: 69364 ... c Min unsat cost LB: 69895 ... c Min unsat cost LB: 69896 ... c Min unsat cost LB: 69923 ... c Min unsat cost LB: 70380 ... c Min unsat cost LB: 70393 ... c Min unsat cost LB: 70518 ... c Min unsat cost LB: 70635 ... c Min unsat cost LB: 70723 ... c Min unsat cost LB: 71091 ... c Min unsat cost LB: 71167 ... c Min unsat cost LB: 71333 ... c Min unsat cost LB: 71547 ... c Min unsat cost LB: 71601 ... c Min unsat cost LB: 71740 ... c Min unsat cost LB: 71936 ... c Min unsat cost LB: 72196 ... c Min unsat cost LB: 72313 ... c Min unsat cost LB: 72555 ... c Min unsat cost LB: 72695 ... c Min unsat cost LB: 72797 ... c Min unsat cost LB: 72937 ... c Min unsat cost LB: 72958 ... c Min unsat cost LB: 72967 ... c Min unsat cost LB: 73393 ... c Min unsat cost LB: 73540 ... c Min unsat cost LB: 73740 ... c Min unsat cost LB: 74166 ... c Min unsat cost LB: 74408 ... c Min unsat cost LB: 74476 ... c Min unsat cost LB: 74642 ... c Min unsat cost LB: 74811 ... c Min unsat cost LB: 74985 ... c Min unsat cost LB: 75213 ... c Min unsat cost LB: 75229 ... c Min unsat cost LB: 75325 ... c Min unsat cost LB: 75411 ... c Min unsat cost LB: 75603 ... c Min unsat cost LB: 75705 ... c Min unsat cost LB: 75755 ... c Min unsat cost LB: 75773 ... c Min unsat cost LB: 75778 ... c Min unsat cost LB: 75832 ... c Min unsat cost LB: 76106 ... c Min unsat cost LB: 76121 ... c Min unsat cost LB: 76171 ... c Min unsat cost LB: 76179 ... c Min unsat cost LB: 76216 ... c Min unsat cost LB: 76257 ... c Min unsat cost LB: 76393 ... c Min unsat cost LB: 76430 ... c Min unsat cost LB: 76457 ... c Min unsat cost LB: 76551 ... c Min unsat cost LB: 76687 ... c Min unsat cost LB: 76916 ... c Min unsat cost LB: 76929 ... c Min unsat cost LB: 77011 ... c Min unsat cost LB: 77087 ... c Min unsat cost LB: 77109 ... c Min unsat cost LB: 77171 ... c Min unsat cost LB: 77174 ... c Min unsat cost LB: 77214 ... c Min unsat cost LB: 77236 ... c Min unsat cost LB: 77275 ... c Min unsat cost LB: 77281 ... c Min unsat cost LB: 77335 ... c Min unsat cost LB: 77358 ... c Min unsat cost LB: 77455 ... c Min unsat cost LB: 77932 ... c Min unsat cost LB: 78007 ... c Min unsat cost LB: 78182 ... c Min unsat cost LB: 78244 ... c Min unsat cost LB: 78699 ... c Min unsat cost LB: 78919 ... c Min unsat cost LB: 78938 ... c Min unsat cost LB: 78987 ... c Min unsat cost LB: 78991 ... c Min unsat cost LB: 79045 ... c Min unsat cost LB: 79098 ... c Min unsat cost LB: 79218 ... c Min unsat cost LB: 79295 ... c Min unsat cost LB: 79299 ... c Min unsat cost LB: 79587 ... c Min unsat cost LB: 79755 ... c Min unsat cost LB: 79808 ... c Min unsat cost LB: 79831 ... c Min unsat cost LB: 79899 ... c Min unsat cost LB: 80046 ... c Min unsat cost LB: 80139 ... c Min unsat cost LB: 80249 ... c Min unsat cost LB: 80878 ... c Min unsat cost LB: 80986 ... c Min unsat cost LB: 81082 ... c Min unsat cost LB: 81152 ... c Min unsat cost LB: 81270 ... c Min unsat cost LB: 81272 ... c Min unsat cost LB: 81765 ... c Min unsat cost LB: 81939 ... c Min unsat cost LB: 81949 ... c Min unsat cost LB: 81993 ... c Min unsat cost LB: 82376 ... c Min unsat cost LB: 82381 ... c Min unsat cost LB: 82465 ... c Min unsat cost LB: 82854 ... c Min unsat cost LB: 82910 ... c Min unsat cost LB: 82914 ... c Min unsat cost LB: 83621 ... c Min unsat cost LB: 83832 ... c Min unsat cost LB: 84007 ... c Min unsat cost LB: 84017 ... c Min unsat cost LB: 84165 ... c Min unsat cost LB: 84305 ... c Min unsat cost LB: 84597 ... c Min unsat cost LB: 84600 ... c Min unsat cost LB: 84610 ... c Min unsat cost LB: 84637 ... c Min unsat cost LB: 84890 ... c Min unsat cost LB: 84942 ... c Min unsat cost LB: 85001 ... c Min unsat cost LB: 85094 ... c Min unsat cost LB: 85095 ... c Min unsat cost LB: 85175 ... c Min unsat cost LB: 85187 ... c Min unsat cost LB: 85243 ... c Min unsat cost LB: 85332 ... c Min unsat cost LB: 85384 ... c Min unsat cost LB: 85405 ... c Min unsat cost LB: 85433 ... c Min unsat cost LB: 85532 ... c Min unsat cost LB: 85598 ... c Min unsat cost LB: 85619 ... c Min unsat cost LB: 85673 ... c Min unsat cost LB: 85683 ... c Min unsat cost LB: 85752 ... c Min unsat cost LB: 85785 ... c Min unsat cost LB: 85844 ... c Min unsat cost LB: 85925 ... c Min unsat cost LB: 85946 ... c Min unsat cost LB: 86133 ... c Min unsat cost LB: 86142 ... c Min unsat cost LB: 86235 ... c Min unsat cost LB: 86238 ... c Min unsat cost LB: 86239 ... c Min unsat cost LB: 86258 ... c Min unsat cost LB: 86261 ... c Min unsat cost LB: 86267 ... c Min unsat cost LB: 86323 ... c Min unsat cost LB: 86351 ... c Min unsat cost LB: 86413 ... c Min unsat cost LB: 86452 ... c Min unsat cost LB: 86453 ... c Min unsat cost LB: 86513 ... c Min unsat cost LB: 86535 ... c Min unsat cost LB: 86589 ... c Min unsat cost LB: 86592 ... c Min unsat cost LB: 86598 ... c Min unsat cost LB: 86675 ... c Min unsat cost LB: 86685 ... c Min unsat cost LB: 86702 ... c Min unsat cost LB: 86703 ... c Min unsat cost LB: 86730 ... c Min unsat cost LB: 86734 ... c Min unsat cost LB: 86755 ... c Min unsat cost LB: 86756 ... c Min unsat cost LB: 86808 ... c Min unsat cost LB: 86858 ... c Min unsat cost LB: 86861 ... c Min unsat cost LB: 86862 ... c Min unsat cost LB: 86871 ... c Min unsat cost LB: 86890 ... c Min unsat cost LB: 86976 ... c Min unsat cost LB: 87025 ... c Min unsat cost LB: 87132 ... c Min unsat cost LB: 87133 ... c Min unsat cost LB: 87142 ... c Min unsat cost LB: 87146 ... c Min unsat cost LB: 87154 ... c Min unsat cost LB: 87157 ... c Min unsat cost LB: 87164 ... c Min unsat cost LB: 87165 ... c Min unsat cost LB: 87167 ... c Min unsat cost LB: 87168 ... c Min unsat cost LB: 87169 ... c Min unsat cost LB: 87170 ... c Min unsat cost LB: 87178 ... c Min unsat cost LB: 87195 ... c Min unsat cost LB: 87213 ... c Min unsat cost LB: 87215 ... c Min unsat cost LB: 87216 ... c Min unsat cost LB: 87217 ... c Min unsat cost LB: 87222 ... c Min unsat cost LB: 87223 ... c Min unsat cost LB: 87247 ... c Min unsat cost LB: 87248 ... c Min unsat cost LB: 87251 ... c Min unsat cost LB: 87252 ... c Min unsat cost LB: 87253 ... c Min unsat cost LB: 87254 ... c Min unsat cost LB: 87257 ... c Min unsat cost LB: 87269 ... c Min unsat cost LB: 87270 ... c Min unsat cost LB: 87273 ... c Min unsat cost LB: 87274 ... c Min unsat cost LB: 87277 ... c Min unsat cost LB: 87280 ... c Min unsat cost LB: 87283 ... c Min unsat cost LB: 87299 ... c Min unsat cost LB: 87303 ... c Min unsat cost LB: 87307 ... c Min unsat cost LB: 87326 ... c Min unsat cost LB: 87330 ... c Min unsat cost LB: 87365 ... c Min unsat cost LB: 87368 ... c Min unsat cost LB: 87550 ... c Min unsat cost LB: 87554 ... c Min unsat cost LB: 87766 ... c Min unsat cost LB: 87769 ... c Min unsat cost LB: 87770 ... c Min unsat cost LB: 87773 ... c Min unsat cost LB: 87774 ... c Min unsat cost LB: 87775 ... c Min unsat cost LB: 87776 ... c Min unsat cost LB: 87778 ... c Min unsat cost LB: 87779 ... c Min unsat cost LB: 87780 ... c Min unsat cost LB: 87781 ... c Min unsat cost LB: 87782 ... c Min unsat cost LB: 87783 ... c Min unsat cost LB: 87785 ... c Min unsat cost LB: 87788 ... c Min unsat cost LB: 87791 ... c Min unsat cost LB: 87794 ... c Min unsat cost LB: 87795 ... c Min unsat cost LB: 87796 ... c Min unsat cost LB: 87797 ... c Min unsat cost LB: 87798 ... c Min unsat cost LB: 87799 ... c Min unsat cost LB: 87801 ... c Min unsat cost LB: 87802 ... c Min unsat cost LB: 87803 ... c Min unsat cost LB: 87804 ... c Min unsat cost LB: 87805 ... c Min unsat cost LB: 87806 ... c Min unsat cost LB: 87808 ... c Min unsat cost LB: 87814 ... c Min unsat cost LB: 87815 ... c Min unsat cost LB: 87816 ... c Min unsat cost LB: 87817 ... c Min unsat cost LB: 87819 ... c Min unsat cost LB: 87820 ... c Min unsat cost LB: 87821 ... c Min unsat cost LB: 87822 ... c Min unsat cost LB: 87823 ... c Min unsat cost LB: 87824 ... c Min unsat cost LB: 87825 ... c Min unsat cost LB: 87826 ... c Min unsat cost LB: 87827 ... c Min unsat cost LB: 87828 ... c Min unsat cost LB: 87830 ... c Min unsat cost LB: 87831 ... c Min unsat cost LB: 87832 ... c Min unsat cost LB: 87833 ... c Min unsat cost LB: 87834 ... c Min unsat cost LB: 87835 ... c Min unsat cost LB: 87836 ... c Min unsat cost LB: 87837 ... c Min unsat cost LB: 87838 ... c Min unsat cost LB: 87839 ... c Min unsat cost LB: 87840 ... c Min unsat cost LB: 87841 ... c Min unsat cost LB: 87842 ... c Min unsat cost LB: 87845 ... c Min unsat cost LB: 87846 ... c Min unsat cost LB: 87847 ... c Min unsat cost LB: 87848 ... c Min unsat cost LB: 87849 ... c Min unsat cost LB: 87850 ... c Min unsat cost LB: 87851 ... c Min unsat cost LB: 87852 ... c Min unsat cost LB: 87853 ... c Min unsat cost LB: 87854 ... c Min unsat cost LB: 87855 ... c Min unsat cost LB: 87856 ... c Min unsat cost LB: 87857 ... c Min unsat cost LB: 87901 ... c Min unsat cost LB: 87957 ... c Min unsat cost LB: 87961 ... c Min unsat cost LB: 87995 ... c Min unsat cost LB: 88037 ... c Min unsat cost LB: 88045 ... c Min unsat cost LB: 88050 ... c Min unsat cost LB: 88086 ... c Min unsat cost LB: 88122 ... c Min unsat cost LB: 88250 ... c Min unsat cost LB: 88256 ... c Min unsat cost LB: 88260 ... c Min unsat cost LB: 88263 ... c Min unsat cost LB: 88265 ... c Min unsat cost LB: 88297 ... c Min unsat cost LB: 88400 ... c Min unsat cost LB: 88407 ... c Min unsat cost LB: 88440 ... c Min unsat cost LB: 88547 ... c Min unsat cost LB: 88554 ... c Min unsat cost LB: 88566 ... c Min unsat cost LB: 88642 ... c Min unsat cost LB: 88670 ... c Min unsat cost LB: 88673 ... c Min unsat cost LB: 88675 ... c Min unsat cost LB: 88681 ... c Min unsat cost LB: 88687 ... c Min unsat cost LB: 88699 ... c Min unsat cost LB: 88701 ... c Min unsat cost LB: 88704 ... c Min unsat cost LB: 88714 ... c Min unsat cost LB: 88715 ... c Min unsat cost LB: 88718 ... c Min unsat cost LB: 88728 ... c Min unsat cost LB: 88729 ... c Min unsat cost LB: 88733 ... c Min unsat cost LB: 88745 ... c Min unsat cost LB: 88824 ... c Min unsat cost LB: 88827 ... c Min unsat cost LB: 88830 ... c Min unsat cost LB: 88831 ... c Min unsat cost LB: 88832 ... c Min unsat cost LB: 88833 ... c Min unsat cost LB: 88834 ... c Min unsat cost LB: 88836 ... c Min unsat cost LB: 88838 ... c Min unsat cost LB: 88840 ... c Min unsat cost LB: 88869 ... c Min unsat cost LB: 88906 ... c Min unsat cost LB: 88910 ... c Min unsat cost LB: 88924 ... c Min unsat cost LB: 88948 ... c Min unsat cost LB: 88954 ... c Min unsat cost LB: 88956 ... c Min unsat cost LB: 88958 ... c Min unsat cost LB: 88959 ... c Min unsat cost LB: 88981 ... c Min unsat cost LB: 88982 ... c Min unsat cost LB: 89031 ... c Min unsat cost LB: 89044 ... c Min unsat cost LB: 89067 ... c Min unsat cost LB: 89085 ... c Min unsat cost LB: 89111 ... c Min unsat cost LB: 89117 ... c Min unsat cost LB: 89135 ... c Min unsat cost LB: 89136 ... c Min unsat cost LB: 89139 ... c Min unsat cost LB: 89144 ... c Min unsat cost LB: 89149 ... c Min unsat cost LB: 89158 ... c Min unsat cost LB: 89162 ... c Min unsat cost LB: 89166 ... c Min unsat cost LB: 89172 ... c Min unsat cost LB: 89177 ... c Min unsat cost LB: 89193 ... c Min unsat cost LB: 89198 ... c Min unsat cost LB: 89209 ... c Min unsat cost LB: 89220 ... c Min unsat cost LB: 89239 ... c Min unsat cost LB: 89261 ... c Min unsat cost LB: 89283 ... c Min unsat cost LB: 89312 ... c Min unsat cost LB: 89366 ... c Min unsat cost LB: 89367 ... c Min unsat cost LB: 89368 ... c Min unsat cost LB: 89375 ... c Min unsat cost LB: 89382 ... c Min unsat cost LB: 89383 ... c Min unsat cost LB: 89386 ... c Min unsat cost LB: 89389 ... c Min unsat cost LB: 89393 ... c Min unsat cost LB: 89394 ... c Min unsat cost LB: 89435 ... c Min unsat cost LB: 89436 ... c Min unsat cost LB: 89469 ... c Min unsat cost LB: 89545 ... c Min unsat cost LB: 89552 ... c Min unsat cost LB: 89583 ... c Min unsat cost LB: 89586 ... c Min unsat cost LB: 89597 ... c Min unsat cost LB: 89665 ... c Min unsat cost LB: 89666 ... c Min unsat cost LB: 89673 ... c Min unsat cost LB: 89674 ... c Min unsat cost LB: 89675 ... c Min unsat cost LB: 89679 ... c Min unsat cost LB: 89680 ... c Min unsat cost LB: 89681 ... c Min unsat cost LB: 89683 ... c Min unsat cost LB: 89684 ... c Min unsat cost LB: 89685 ... c Min unsat cost LB: 89689 ... c Min unsat cost LB: 89705 ... c Min unsat cost LB: 89738 ... c Min unsat cost LB: 89739 ... c Min unsat cost LB: 89740 ... c Min unsat cost LB: 89743 ... c Min unsat cost LB: 89753 ... c Min unsat cost LB: 89754 ... c Min unsat cost LB: 89756 ... c Min unsat cost LB: 89790 ... c Min unsat cost LB: 89794 ... c Min unsat cost LB: 89795 ... c Min unsat cost LB: 89805 ... c Min unsat cost LB: 89817 ... c Min unsat cost LB: 89818 ... c Min unsat cost LB: 89819 ... c Min unsat cost LB: 89820 ... c Min unsat cost LB: 89840 ... c Min unsat cost LB: 89854 ... c Min unsat cost LB: 89856 ... c Min unsat cost LB: 89871 ... c Min unsat cost LB: 89879 ... c Min unsat cost LB: 89901 ... c Min unsat cost LB: 89902 ... c Min unsat cost LB: 89906 ... c Min unsat cost LB: 89907 ... c Min unsat cost LB: 89908 ... c Min unsat cost LB: 89909 ... c Min unsat cost LB: 89914 ... c Min unsat cost LB: 89930 ... c Min unsat cost LB: 90250 ... c Min unsat cost LB: 90251 ... c Min unsat cost LB: 90305 ... c Min unsat cost LB: 90307 ... c Min unsat cost LB: 90308 ... c Min unsat cost LB: 90335 ... c Min unsat cost LB: 90343 ... c Min unsat cost LB: 90346 ... c Min unsat cost LB: 90347 ... c Min unsat cost LB: 90350 ... c Min unsat cost LB: 90358 ... c Min unsat cost LB: 90360 ... c Min unsat cost LB: 90361 ... c Min unsat cost LB: 90363 ... c Min unsat cost LB: 90364 ... c Min unsat cost LB: 90366 ... c Min unsat cost LB: 90367 ... c Min unsat cost LB: 90369 ... c Min unsat cost LB: 90370 ... c Min unsat cost LB: 90373 ... c Min unsat cost LB: 90374 ... c Min unsat cost LB: 90375 ... c Min unsat cost LB: 90377 ... c Min unsat cost LB: 90388 ... c Min unsat cost LB: 90401 ... c Min unsat cost LB: 90402 ... c Min unsat cost LB: 90403 ... c Min unsat cost LB: 90404 ... c Min unsat cost LB: 90405 ... c Min unsat cost LB: 90406 ... c Min unsat cost LB: 90407 ... c Min unsat cost LB: 90408 ... c Min unsat cost LB: 90409 ... c Min unsat cost LB: 90410 ... c Min unsat cost LB: 90411 ... c Min unsat cost LB: 90412 ... c Min unsat cost LB: 90413 ... c Min unsat cost LB: 90430 ... c Min unsat cost LB: 90437 ... c Min unsat cost LB: 90456 ... c Min unsat cost LB: 90457 ... c Min unsat cost LB: 90458 ... c Min unsat cost LB: 90459 ... c Min unsat cost LB: 90460 ... c Min unsat cost LB: 90461 ... c Min unsat cost LB: 90462 ... c Min unsat cost LB: 90463 ... c Min unsat cost LB: 90464 ... c Min unsat cost LB: 90471 ... c Min unsat cost LB: 90508 ... c Min unsat cost LB: 90509 ... c Min unsat cost LB: 90510 ... c Min unsat cost LB: 90512 ... c Min unsat cost LB: 90515 ... c Min unsat cost LB: 90516 ... c Min unsat cost LB: 90517 ... c Min unsat cost LB: 90518 ... c Min unsat cost LB: 90519 ... c Min unsat cost LB: 90520 ... c Min unsat cost LB: 90527 ... c Min unsat cost LB: 90528 ... c Min unsat cost LB: 90532 ... c Min unsat cost LB: 90533 ... c Min unsat cost LB: 90534 ... c Min unsat cost LB: 90535 ... c Min unsat cost LB: 90536 ... c Min unsat cost LB: 90537 ... c Min unsat cost LB: 90538 ... c Min unsat cost LB: 90539 ... c Min unsat cost LB: 90540 ... c Min unsat cost LB: 90541 ... c Min unsat cost LB: 90542 ... c Min unsat cost LB: 90543 ... c Min unsat cost LB: 90545 ... c Min unsat cost LB: 90568 ... c Min unsat cost LB: 90582 ... c Min unsat cost LB: 90586 ... c Min unsat cost LB: 90587 ... c Min unsat cost LB: 90591 ... c Min unsat cost LB: 90592 ... c Min unsat cost LB: 90593 ... c Min unsat cost LB: 90594 ... c Min unsat cost LB: 90595 ... c Min unsat cost LB: 90597 ... c Min unsat cost LB: 90599 ... c Min unsat cost LB: 90600 ... c Min unsat cost LB: 90603 ... c Min unsat cost LB: 90606 ... c Min unsat cost LB: 90620 ... c Min unsat cost LB: 90621 ... c Min unsat cost LB: 90622 ... c Min unsat cost LB: 90623 ... c Min unsat cost LB: 90624 ... c Min unsat cost LB: 90625 ... c Min unsat cost LB: 90626 ... c Min unsat cost LB: 90627 ... c Min unsat cost LB: 90628 ... c Min unsat cost LB: 90629 ... c Min unsat cost LB: 90630 ... c Min unsat cost LB: 90631 ... c Min unsat cost LB: 90632 ... c Min unsat cost LB: 90633 ... c Min unsat cost LB: 90634 ... c Min unsat cost LB: 90635 ... c Min unsat cost LB: 90636 ... c Min unsat cost LB: 90637 ... c Min unsat cost LB: 90638 ... c Min unsat cost LB: 90639 ... c Min unsat cost LB: 90640 ... c Min unsat cost LB: 90641 ... c Min unsat cost LB: 90642 ... c Min unsat cost LB: 90643 ... c Min unsat cost LB: 90644 ... c Min unsat cost LB: 90645 ... c Min unsat cost LB: 90646 ... c Min unsat cost LB: 90647 ... c Min unsat cost LB: 90648 ... c Min unsat cost LB: 90649 ... c Min unsat cost LB: 90650 ... c Min unsat cost LB: 90651 ... c Min unsat cost LB: 90652 ... c Min unsat cost LB: 90653 ... c Min unsat cost LB: 90656 ... c Min unsat cost LB: 90659 ... c Min unsat cost LB: 90686 ... c Min unsat cost LB: 90735 ... c Min unsat cost LB: 90753 ... c Min unsat cost LB: 90785 ... c Min unsat cost LB: 90795 ... c Min unsat cost LB: 90799 ... c Min unsat cost LB: 90809 ... c Min unsat cost LB: 90819 ... c Min unsat cost LB: 90820 ... c Min unsat cost LB: 90821 ... c Min unsat cost LB: 90822 ... c Min unsat cost LB: 90823 ... c Min unsat cost LB: 90824 ... c Min unsat cost LB: 90825 ... c Min unsat cost LB: 90826 ... c Min unsat cost LB: 90827 ... c Min unsat cost LB: 90828 ... c Min unsat cost LB: 90829 ... c Min unsat cost LB: 90830 ... c Min unsat cost LB: 90831 ... c Min unsat cost LB: 90832 ... c Min unsat cost LB: 90833 ... c Min unsat cost LB: 90834 ... c Min unsat cost LB: 90835 ... c Min unsat cost LB: 90836 ... c Min unsat cost LB: 90837 ... c Min unsat cost LB: 90838 ... c Min unsat cost LB: 90839 ... c Min unsat cost LB: 90840 ... c Min unsat cost LB: 90841 ... c Min unsat cost LB: 90842 ... c Min unsat cost LB: 90843 ... c Min unsat cost LB: 90844 ... c Min unsat cost LB: 90845 ... c Min unsat cost LB: 90846 ... c Min unsat cost LB: 90847 ... c Min unsat cost LB: 90848 ... c Min unsat cost LB: 90849 ... c Min unsat cost LB: 90850 ... c Min unsat cost LB: 90851 ... c Min unsat cost LB: 90852 ... c Min unsat cost LB: 90853 ... c Min unsat cost LB: 90854 ... c Min unsat cost LB: 90855 ... c Min unsat cost LB: 90856 ... c Min unsat cost LB: 90857 ... c Min unsat cost LB: 90858 ... c Min unsat cost LB: 90859 ... c Min unsat cost LB: 90860 ... c Min unsat cost LB: 90861 ... c Min unsat cost LB: 90862 ... c Min unsat cost LB: 90864 ... c Min unsat cost LB: 90865 ... c Min unsat cost LB: 90866 ... c Min unsat cost LB: 90867 ... c Min unsat cost LB: 90871 ... c Min unsat cost LB: 90876 ... c Min unsat cost LB: 90878 ... c Min unsat cost LB: 90883 ... c Min unsat cost LB: 90884 ... c Min unsat cost LB: 90885 ... c Min unsat cost LB: 90886 ... c Min unsat cost LB: 90887 ... c Min unsat cost LB: 90889 ... c Min unsat cost LB: 90890 ... c Min unsat cost LB: 90891 ... c Min unsat cost LB: 90892 ... c Min unsat cost LB: 90893 ... c Min unsat cost LB: 90894 ... c Min unsat cost LB: 90895 ... c Min unsat cost LB: 90896 ... c Min unsat cost LB: 90897 ... c Min unsat cost LB: 90898 ... c Min unsat cost LB: 90899 ... c Min unsat cost LB: 90900 ... c Min unsat cost LB: 90901 ... c Min unsat cost LB: 90902 ... c Min unsat cost LB: 90903 ... c Min unsat cost LB: 90904 ... c Min unsat cost LB: 90905 ... c Min unsat cost LB: 90906 ... c Min unsat cost LB: 90907 ... c Min unsat cost LB: 90908 ... c Min unsat cost LB: 90909 ... c Min unsat cost LB: 90910 ... c Min unsat cost LB: 90911 ... c Min unsat cost LB: 90912 ... c Min unsat cost LB: 90913 ... c Min unsat cost LB: 90914 ... c Min unsat cost LB: 90915 ... c Min unsat cost LB: 90916 ... c Min unsat cost LB: 90917 ... c Min unsat cost LB: 90918 ... c Min unsat cost LB: 90919 ... c Min unsat cost LB: 90920 ... c Min unsat cost LB: 90921 ... c Min unsat cost LB: 90922 ... c Min unsat cost LB: 90923 ... c Min unsat cost LB: 90924 ... c Min unsat cost LB: 90925 ... c Min unsat cost LB: 90926 ... c Min unsat cost LB: 90927 ... c Min unsat cost LB: 90928 ... c Min unsat cost LB: 90929 ... c Min unsat cost LB: 90930 ... c Min unsat cost LB: 90931 ... c Min unsat cost LB: 90932 ... c Min unsat cost LB: 90933 ... c Min unsat cost LB: 90934 ... c Min unsat cost LB: 90935 ... c Min unsat cost LB: 90937 ... c Min unsat cost LB: 90938 ... c Min unsat cost LB: 90939 ... c Min unsat cost LB: 90940 ... c Min unsat cost LB: 90941 ... c Min unsat cost LB: 90942 ... c Min unsat cost LB: 90943 ... c Min unsat cost LB: 90944 ... c Min unsat cost LB: 90945 ... c Min unsat cost LB: 90946 ... c Min unsat cost LB: 90947 ... c Min unsat cost LB: 90948 ... c Min unsat cost LB: 90953 ... c Min unsat cost LB: 90954 ... c Min unsat cost LB: 90957 ... c Min unsat cost LB: 90958 ... c Min unsat cost LB: 90959 ... c Min unsat cost LB: 90960 ... c Min unsat cost LB: 90961 ... c Min unsat cost LB: 90962 ... c Min unsat cost LB: 90963 ... c Min unsat cost LB: 90965 ... c Min unsat cost LB: 90966 ... c Min unsat cost LB: 90973 ... c Min unsat cost LB: 90974 ... c Min unsat cost LB: 90975 ... c Min unsat cost LB: 90976 ... c Min unsat cost LB: 90977 ... c Min unsat cost LB: 90978 ... c Min unsat cost LB: 90979 ... c Min unsat cost LB: 90980 ... c Min unsat cost LB: 90981 ... c Min unsat cost LB: 90982 ... c Min unsat cost LB: 90983 ... c Min unsat cost LB: 90984 ... c Min unsat cost LB: 90985 ... c Min unsat cost LB: 90986 ... c Min unsat cost LB: 90987 ... c Min unsat cost LB: 90988 ... c Min unsat cost LB: 90989 ... c Min unsat cost LB: 90990 ... c Min unsat cost LB: 90991 ... c Min unsat cost LB: 91012 ... c Min unsat cost LB: 91013 ... c Min unsat cost LB: 91014 ... c Min unsat cost LB: 91015 ... c Min unsat cost LB: 91016 ... c Min unsat cost LB: 91017 ... c Min unsat cost LB: 91018 ... c Min unsat cost LB: 91019 ... c Min unsat cost LB: 91020 ... c Min unsat cost LB: 91021 ... c Min unsat cost LB: 91022 ... c Min unsat cost LB: 91023 ... c Min unsat cost LB: 91024 ... c Min unsat cost LB: 91025 ... c Min unsat cost LB: 91026 ... c Min unsat cost LB: 91027 ... c Min unsat cost LB: 91028 ... c Min unsat cost LB: 91029 ... c Min unsat cost LB: 91030 ... c Min unsat cost LB: 91031 ... c Min unsat cost LB: 91032 ... c Min unsat cost LB: 91033 ... c Min unsat cost LB: 91034 ... c Min unsat cost LB: 91035 ... c Min unsat cost LB: 91036 ... c Min unsat cost LB: 91037 ... c Min unsat cost LB: 91038 ... c Min unsat cost LB: 91039 ... c Min unsat cost LB: 91040 ... c Min unsat cost LB: 91041 ... c Min unsat cost LB: 91042 ... c Min unsat cost LB: 91043 ... c Min unsat cost LB: 91045 ... c Min unsat cost LB: 91046 ... c Min unsat cost LB: 91047 ... c Min unsat cost LB: 91048 ... c Min unsat cost LB: 91049 ... c Min unsat cost LB: 91050 ... c Min unsat cost LB: 91051 ... c Min unsat cost LB: 91053 ... c Min unsat cost LB: 91054 ... c Min unsat cost LB: 91055 ... c Min unsat cost LB: 91057 ... c Min unsat cost LB: 91063 ... c Min unsat cost LB: 91064 ... c Min unsat cost LB: 91065 ... c Min unsat cost LB: 91066 ... c Min unsat cost LB: 91067 ... c Min unsat cost LB: 91068 ... c Min unsat cost LB: 91069 ... c Min unsat cost LB: 91070 ... c Min unsat cost LB: 91071 ... c Min unsat cost LB: 91072 ... c Min unsat cost LB: 91073 ... c Min unsat cost LB: 91074 ... c Min unsat cost LB: 91075 ... c Min unsat cost LB: 91076 ... c Min unsat cost LB: 91077 ... c Min unsat cost LB: 91078 ... c Min unsat cost LB: 91079 ... c Min unsat cost LB: 91080 ... c Min unsat cost LB: 91081 ... c Min unsat cost LB: 91082 ... c Min unsat cost LB: 91083 ... c Min unsat cost LB: 91084 ... c Min unsat cost LB: 91280 ... c Min unsat cost LB: 91572 ... c Min unsat cost LB: 91573 ... c Min unsat cost LB: 91574 ... c Min unsat cost LB: 91575 ... c Min unsat cost LB: 91576 ... c Min unsat cost LB: 91577 ... c Min unsat cost LB: 91578 ... c Min unsat cost LB: 91579 ... c Min unsat cost LB: 91580 ... c Min unsat cost LB: 91581 ... c Min unsat cost LB: 91582 ... c Min unsat cost LB: 91583 ... c Min unsat cost LB: 91584 ... c Min unsat cost LB: 91585 ... c Min unsat cost LB: 91586 ... c Min unsat cost LB: 91587 ... c Min unsat cost LB: 91655 ... c Min unsat cost LB: 91821 ... c Min unsat cost LB: 91837 ... c Min unsat cost LB: 91857 ... c Min unsat cost LB: 91872 ... c Min unsat cost LB: 91917 ... c Min unsat cost LB: 91919 ... c Min unsat cost LB: 91933 ... c Min unsat cost LB: 91951 ... c Min unsat cost LB: 91979 ... c Min unsat cost LB: 92012 ... c Min unsat cost LB: 92015 ... c Min unsat cost LB: 92028 ... c Min unsat cost LB: 92035 ... c Min unsat cost LB: 92044 ... c Min unsat cost LB: 92056 ... c Min unsat cost LB: 92059 ... c Min unsat cost LB: 92076 ... c Min unsat cost LB: 92134 ... c Min unsat cost LB: 92190 ... c Min unsat cost LB: 92329 ... c Min unsat cost LB: 92336 ... c Min unsat cost LB: 92391 ... c Min unsat cost LB: 92395 ... c Min unsat cost LB: 92400 ... c Min unsat cost LB: 92407 ... c Min unsat cost LB: 92417 ... c Min unsat cost LB: 92425 ... c Min unsat cost LB: 92430 ... c Min unsat cost LB: 92432 ... c Min unsat cost LB: 92437 ... c Min unsat cost LB: 92439 ... c Min unsat cost LB: 92446 ... c Min unsat cost LB: 92447 ... c Min unsat cost LB: 92450 ... c Min unsat cost LB: 92453 ... c Min unsat cost LB: 92466 ... c Min unsat cost LB: 92474 ... c Min unsat cost LB: 92476 ... c Min unsat cost LB: 92533 ... c Min unsat cost LB: 92534 ... c Min unsat cost LB: 92535 ... c Min unsat cost LB: 92537 ... c Min unsat cost LB: 92540 ... c Min unsat cost LB: 92618 ... c Min unsat cost LB: 92619 ... c Min unsat cost LB: 92621 ... c Min unsat cost LB: 92643 ... c Min unsat cost LB: 92654 ... c Min unsat cost LB: 92673 ... c Min unsat cost LB: 92683 ... c Min unsat cost LB: 92687 ... c Min unsat cost LB: 92690 ... c Min unsat cost LB: 92696 ... c Min unsat cost LB: 92908 ... c Min unsat cost LB: 92909 ... c Min unsat cost LB: 92910 ... c Min unsat cost LB: 92911 ... c Min unsat cost LB: 92912 ... c Min unsat cost LB: 92913 ... c Min unsat cost LB: 92914 ... c Min unsat cost LB: 92915 ... c Min unsat cost LB: 92916 ... c Min unsat cost LB: 92917 ... c Min unsat cost LB: 92918 ... c Min unsat cost LB: 93058 ... c Min unsat cost LB: 93059 ... c Min unsat cost LB: 93060 ... c Min unsat cost LB: 93061 ... c Min unsat cost LB: 93062 ... c Min unsat cost LB: 93063 ... c Min unsat cost LB: 93066 ... c Min unsat cost LB: 93067 ... c Min unsat cost LB: 93072 ... c Min unsat cost LB: 93074 ... c Min unsat cost LB: 93076 ... c Min unsat cost LB: 93077 ... c Min unsat cost LB: 93078 ... c Min unsat cost LB: 93079 ... c Min unsat cost LB: 93080 ... c Min unsat cost LB: 93081 ... c Min unsat cost LB: 93083 ... c Min unsat cost LB: 93084 ... c Min unsat cost LB: 93085 ... c Min unsat cost LB: 93086 ... c Min unsat cost LB: 93087 ... c Min unsat cost LB: 93088 ... c Min unsat cost LB: 93090 ... c Min unsat cost LB: 93091 ... c Min unsat cost LB: 93096 ... c Min unsat cost LB: 93097 ... c Min unsat cost LB: 93098 ... c Min unsat cost LB: 93099 ... c Min unsat cost LB: 93100 ... c Min unsat cost LB: 93101 ... c Min unsat cost LB: 93102 ... c Min unsat cosKilled 1814.665u 5.071s 30:20.15 99.9% 0+0k 0+0io 0pf+0w