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_120_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0003.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_120_0003.txt.wcnf *** c c Min unsat cost LB: 1022 ... c Min unsat cost LB: 1072 ... c Min unsat cost LB: 1122 ... c Min unsat cost LB: 2144 ... c Min unsat cost LB: 3166 ... c Min unsat cost LB: 3216 ... c Min unsat cost LB: 3266 ... c Min unsat cost LB: 3316 ... c Min unsat cost LB: 4338 ... c Min unsat cost LB: 4384 ... c Min unsat cost LB: 4434 ... c Min unsat cost LB: 4480 ... c Min unsat cost LB: 5502 ... c Min unsat cost LB: 6524 ... c Min unsat cost LB: 7546 ... c Min unsat cost LB: 7550 ... c Min unsat cost LB: 7554 ... c Min unsat cost LB: 7600 ... c Min unsat cost LB: 8622 ... c Min unsat cost LB: 8626 ... c Min unsat cost LB: 9648 ... c Min unsat cost LB: 10872 ... c Min unsat cost LB: 11529 ... c Min unsat cost LB: 12551 ... c Min unsat cost LB: 12601 ... c Min unsat cost LB: 13258 ... c Min unsat cost LB: 14482 ... c Min unsat cost LB: 14847 ... c Min unsat cost LB: 15139 ... c Min unsat cost LB: 15796 ... c Min unsat cost LB: 16818 ... c Min unsat cost LB: 17020 ... c Min unsat cost LB: 17093 ... c Min unsat cost LB: 18317 ... c Min unsat cost LB: 18974 ... c Min unsat cost LB: 19631 ... c Min unsat cost LB: 19794 ... c Min unsat cost LB: 19832 ... c Min unsat cost LB: 20326 ... c Min unsat cost LB: 20416 ... c Min unsat cost LB: 21640 ... c Min unsat cost LB: 21690 ... c Min unsat cost LB: 21740 ... c Min unsat cost LB: 22397 ... c Min unsat cost LB: 22401 ... c Min unsat cost LB: 22451 ... c Min unsat cost LB: 23675 ... c Min unsat cost LB: 23725 ... c Min unsat cost LB: 23775 ... c Min unsat cost LB: 24849 ... c Min unsat cost LB: 26073 ... c Min unsat cost LB: 27095 ... c Min unsat cost LB: 27145 ... c Min unsat cost LB: 28369 ... c Min unsat cost LB: 28419 ... c Min unsat cost LB: 29643 ... c Min unsat cost LB: 29693 ... c Min unsat cost LB: 30917 ... c Min unsat cost LB: 31119 ... c Min unsat cost LB: 31776 ... c Min unsat cost LB: 32343 ... c Min unsat cost LB: 32393 ... c Min unsat cost LB: 33517 ... c Min unsat cost LB: 33607 ... c Min unsat cost LB: 33617 ... c Min unsat cost LB: 34184 ... c Min unsat cost LB: 34234 ... c Min unsat cost LB: 35458 ... c Min unsat cost LB: 35508 ... c Min unsat cost LB: 36105 ... c Min unsat cost LB: 36155 ... c Min unsat cost LB: 36205 ... c Min unsat cost LB: 37227 ... c Min unsat cost LB: 37317 ... c Min unsat cost LB: 37467 ... c Min unsat cost LB: 37517 ... c Min unsat cost LB: 38084 ... c Min unsat cost LB: 38537 ... c Min unsat cost LB: 39711 ... c Min unsat cost LB: 39915 ... c Min unsat cost LB: 40731 ... c Min unsat cost LB: 41139 ... c Min unsat cost LB: 42213 ... c Min unsat cost LB: 42263 ... c Min unsat cost LB: 42313 ... c Min unsat cost LB: 42966 ... c Min unsat cost LB: 43016 ... c Min unsat cost LB: 43066 ... c Min unsat cost LB: 43116 ... c Min unsat cost LB: 43166 ... c Min unsat cost LB: 43778 ... c Min unsat cost LB: 43828 ... c Min unsat cost LB: 44030 ... c Min unsat cost LB: 44485 ... c Min unsat cost LB: 44535 ... c Min unsat cost LB: 44585 ... c Min unsat cost LB: 45607 ... c Min unsat cost LB: 45657 ... c Min unsat cost LB: 46529 ... c Min unsat cost LB: 46937 ... c Min unsat cost LB: 47186 ... c Min unsat cost LB: 47236 ... c Min unsat cost LB: 47286 ... c Min unsat cost LB: 47290 ... c Min unsat cost LB: 47336 ... c Min unsat cost LB: 47340 ... c Min unsat cost LB: 48514 ... c Min unsat cost LB: 48552 ... c Min unsat cost LB: 48560 ... c Min unsat cost LB: 49077 ... c Min unsat cost LB: 50099 ... c Min unsat cost LB: 50466 ... c Min unsat cost LB: 50870 ... c Min unsat cost LB: 51497 ... c Min unsat cost LB: 51647 ... c Min unsat cost LB: 52519 ... c Min unsat cost LB: 52912 ... c Min unsat cost LB: 53013 ... c Min unsat cost LB: 53103 ... c Min unsat cost LB: 53528 ... c Min unsat cost LB: 53670 ... c Min unsat cost LB: 53760 ... c Min unsat cost LB: 53810 ... c Min unsat cost LB: 53860 ... c Min unsat cost LB: 53962 ... c Min unsat cost LB: 54012 ... c Min unsat cost LB: 54062 ... c Min unsat cost LB: 54112 ... c Min unsat cost LB: 54162 ... c Min unsat cost LB: 54166 ... c Min unsat cost LB: 54212 ... c Min unsat cost LB: 54262 ... c Min unsat cost LB: 54266 ... c Min unsat cost LB: 54312 ... c Min unsat cost LB: 54362 ... c Min unsat cost LB: 54366 ... c Min unsat cost LB: 54412 ... c Min unsat cost LB: 54416 ... c Min unsat cost LB: 54454 ... c Min unsat cost LB: 54504 ... c Min unsat cost LB: 54516 ... c Min unsat cost LB: 54550 ... c Min unsat cost LB: 54566 ... c Min unsat cost LB: 54700 ... c Min unsat cost LB: 54750 ... c Min unsat cost LB: 54800 ... c Min unsat cost LB: 54850 ... c Min unsat cost LB: 55000 ... c Min unsat cost LB: 55388 ... c Min unsat cost LB: 55438 ... c Min unsat cost LB: 55588 ... c Min unsat cost LB: 55955 ... c Min unsat cost LB: 56045 ... c Min unsat cost LB: 56249 ... c Min unsat cost LB: 56500 ... c Min unsat cost LB: 56592 ... c Min unsat cost LB: 56602 ... c Min unsat cost LB: 56606 ... c Min unsat cost LB: 56702 ... c Min unsat cost LB: 56752 ... c Min unsat cost LB: 56851 ... c Min unsat cost LB: 56915 ... c Min unsat cost LB: 57015 ... c Min unsat cost LB: 57259 ... c Min unsat cost LB: 57572 ... c Min unsat cost LB: 57580 ... c Min unsat cost LB: 57916 ... c Min unsat cost LB: 57989 ... c Min unsat cost LB: 58544 ... c Min unsat cost LB: 58646 ... c Min unsat cost LB: 58746 ... c Min unsat cost LB: 58870 ... c Min unsat cost LB: 59038 ... c Min unsat cost LB: 59274 ... c Min unsat cost LB: 59324 ... c Min unsat cost LB: 59339 ... c Min unsat cost LB: 59388 ... c Min unsat cost LB: 59706 ... c Min unsat cost LB: 59905 ... c Min unsat cost LB: 60055 ... c Min unsat cost LB: 60360 ... c Min unsat cost LB: 60676 ... c Min unsat cost LB: 60728 ... c Min unsat cost LB: 60878 ... c Min unsat cost LB: 60930 ... c Min unsat cost LB: 60946 ... c Min unsat cost LB: 60958 ... c Min unsat cost LB: 60962 ... c Min unsat cost LB: 60964 ... c Min unsat cost LB: 61096 ... c Min unsat cost LB: 61134 ... c Min unsat cost LB: 61184 ... c Min unsat cost LB: 61230 ... c Min unsat cost LB: 61557 ... c Min unsat cost LB: 61791 ... c Min unsat cost LB: 62663 ... c Min unsat cost LB: 63275 ... c Min unsat cost LB: 63315 ... c Min unsat cost LB: 63719 ... c Min unsat cost LB: 63835 ... c Min unsat cost LB: 63887 ... c Min unsat cost LB: 64063 ... c Min unsat cost LB: 64281 ... c Min unsat cost LB: 64614 ... c Min unsat cost LB: 65050 ... c Min unsat cost LB: 65352 ... c Min unsat cost LB: 65756 ... c Min unsat cost LB: 66352 ... c Min unsat cost LB: 66454 ... c Min unsat cost LB: 66544 ... c Min unsat cost LB: 66545 ... c Min unsat cost LB: 66972 ... c Min unsat cost LB: 67034 ... c Min unsat cost LB: 67252 ... c Min unsat cost LB: 67302 ... c Min unsat cost LB: 67328 ... c Min unsat cost LB: 67332 ... c Min unsat cost LB: 67378 ... c Min unsat cost LB: 67382 ... c Min unsat cost LB: 67524 ... c Min unsat cost LB: 67686 ... c Min unsat cost LB: 67714 ... c Min unsat cost LB: 67736 ... c Min unsat cost LB: 67760 ... c Min unsat cost LB: 67786 ... c Min unsat cost LB: 67807 ... c Min unsat cost LB: 67810 ... c Min unsat cost LB: 67848 ... c Min unsat cost LB: 67857 ... c Min unsat cost LB: 67860 ... c Min unsat cost LB: 67874 ... c Min unsat cost LB: 67900 ... c Min unsat cost LB: 67906 ... c Min unsat cost LB: 67961 ... c Min unsat cost LB: 68253 ... c Min unsat cost LB: 68303 ... c Min unsat cost LB: 68416 ... c Min unsat cost LB: 68455 ... c Min unsat cost LB: 68611 ... c Min unsat cost LB: 68615 ... c Min unsat cost LB: 68619 ... c Min unsat cost LB: 68623 ... c Min unsat cost LB: 68629 ... c Min unsat cost LB: 68630 ... c Min unsat cost LB: 68667 ... c Min unsat cost LB: 69176 ... c Min unsat cost LB: 69185 ... c Min unsat cost LB: 69193 ... c Min unsat cost LB: 69226 ... c Min unsat cost LB: 69240 ... c Min unsat cost LB: 69241 ... c Min unsat cost LB: 69291 ... c Min unsat cost LB: 69441 ... c Min unsat cost LB: 69455 ... c Min unsat cost LB: 69480 ... c Min unsat cost LB: 69490 ... c Min unsat cost LB: 69493 ... c Min unsat cost LB: 69502 ... c Min unsat cost LB: 69504 ... c Min unsat cost LB: 69527 ... c Min unsat cost LB: 69528 ... c Min unsat cost LB: 69540 ... c Min unsat cost LB: 69552 ... c Min unsat cost LB: 69578 ... c Min unsat cost LB: 69582 ... c Min unsat cost LB: 69631 ... c Min unsat cost LB: 69632 ... c Min unsat cost LB: 69637 ... c Min unsat cost LB: 69652 ... c Min unsat cost LB: 69664 ... c Min unsat cost LB: 69666 ... c Min unsat cost LB: 69682 ... c Min unsat cost LB: 69683 ... c Min unsat cost LB: 69701 ... c Min unsat cost LB: 69702 ... c Min unsat cost LB: 69706 ... c Min unsat cost LB: 69756 ... c Min unsat cost LB: 69829 ... c Min unsat cost LB: 69858 ... c Min unsat cost LB: 70094 ... c Min unsat cost LB: 70126 ... c Min unsat cost LB: 70144 ... c Min unsat cost LB: 70175 ... c Min unsat cost LB: 70176 ... c Min unsat cost LB: 70189 ... c Min unsat cost LB: 70190 ... c Min unsat cost LB: 70198 ... c Min unsat cost LB: 70272 ... c Min unsat cost LB: 70324 ... c Min unsat cost LB: 70388 ... c Min unsat cost LB: 70440 ... c Min unsat cost LB: 70716 ... c Min unsat cost LB: 70724 ... c Min unsat cost LB: 70753 ... c Min unsat cost LB: 70805 ... c Min unsat cost LB: 70817 ... c Min unsat cost LB: 70818 ... c Min unsat cost LB: 70826 ... c Min unsat cost LB: 70827 ... c Min unsat cost LB: 70872 ... c Min unsat cost LB: 70918 ... c Min unsat cost LB: 70937 ... c Min unsat cost LB: 70938 ... c Min unsat cost LB: 70965 ... c Min unsat cost LB: 70967 ... c Min unsat cost LB: 70997 ... c Min unsat cost LB: 71067 ... c Min unsat cost LB: 71100 ... c Min unsat cost LB: 71103 ... c Min unsat cost LB: 71104 ... c Min unsat cost LB: 71112 ... c Min unsat cost LB: 71114 ... c Min unsat cost LB: 71115 ... c Min unsat cost LB: 71124 ... c Min unsat cost LB: 71126 ... c Min unsat cost LB: 71127 ... c Min unsat cost LB: 71128 ... c Min unsat cost LB: 71130 ... c Min unsat cost LB: 71131 ... c Min unsat cost LB: 71132 ... c Min unsat cost LB: 71133 ... c Min unsat cost LB: 71135 ... c Min unsat cost LB: 71140 ... c Min unsat cost LB: 71150 ... c Min unsat cost LB: 71154 ... c Min unsat cost LB: 71183 ... c Min unsat cost LB: 71204 ... c Min unsat cost LB: 71264 ... c Min unsat cost LB: 71270 ... c Min unsat cost LB: 71296 ... c Min unsat cost LB: 71302 ... c Min unsat cost LB: 71469 ... c Min unsat cost LB: 71619 ... c Min unsat cost LB: 71671 ... c Min unsat cost LB: 71802 ... c Min unsat cost LB: 71905 ... c Min unsat cost LB: 71924 ... c Min unsat cost LB: 71925 ... c Min unsat cost LB: 71932 ... c Min unsat cost LB: 71938 ... c Min unsat cost LB: 71941 ... c Min unsat cost LB: 71942 ... c Min unsat cost LB: 71948 ... c Min unsat cost LB: 71949 ... c Min unsat cost LB: 71955 ... c Min unsat cost LB: 71963 ... c Min unsat cost LB: 71974 ... c Min unsat cost LB: 71978 ... c Min unsat cost LB: 71993 ... c Min unsat cost LB: 71994 ... c Min unsat cost LB: 72005 ... c Min unsat cost LB: 72068 ... c Min unsat cost LB: 72074 ... c Min unsat cost LB: 72078 ... c Min unsat cost LB: 72082 ... c Min unsat cost LB: 72098 ... c Min unsat cost LB: 72100 ... c Min unsat cost LB: 72104 ... c Min unsat cost LB: 72114 ... c Min unsat cost LB: 72130 ... c Min unsat cost LB: 72134 ... c Min unsat cost LB: 72265 ... c Min unsat cost LB: 72284 ... c Min unsat cost LB: 72285 ... c Min unsat cost LB: 72286 ... c Min unsat cost LB: 72502 ... c Min unsat cost LB: 72583 ... c Min unsat cost LB: 72593 ... c Min unsat cost LB: 72601 ... c Min unsat cost LB: 72602 ... c Min unsat cost LB: 72617 ... c Min unsat cost LB: 72625 ... c Min unsat cost LB: 72626 ... c Min unsat cost LB: 72632 ... c Min unsat cost LB: 72638 ... c Min unsat cost LB: 72656 ... c Min unsat cost LB: 72658 ... c Min unsat cost LB: 72726 ... c Min unsat cost LB: 72727 ... c Min unsat cost LB: 72729 ... c Min unsat cost LB: 72730 ... c Min unsat cost LB: 72731 ... c Min unsat cost LB: 72783 ... c Min unsat cost LB: 72862 ... c Min unsat cost LB: 72881 ... c Min unsat cost LB: 72882 ... c Min unsat cost LB: 72914 ... c Min unsat cost LB: 72927 ... c Min unsat cost LB: 72934 ... c Min unsat cost LB: 72947 ... c Min unsat cost LB: 72966 ... c Min unsat cost LB: 72973 ... c Min unsat cost LB: 72979 ... c Min unsat cost LB: 72985 ... c Min unsat cost LB: 72998 ... c Min unsat cost LB: 73004 ... c Min unsat cost LB: 73005 ... c Min unsat cost LB: 73006 ... c Min unsat cost LB: 73126 ... c Min unsat cost LB: 73131 ... c Min unsat cost LB: 73136 ... c Min unsat cost LB: 73137 ... c Min unsat cost LB: 73143 ... c Min unsat cost LB: 73144 ... c Min unsat cost LB: 73145 ... c Min unsat cost LB: 73146 ... c Min unsat cost LB: 73148 ... c Min unsat cost LB: 73149 ... c Min unsat cost LB: 73150 ... c Min unsat cost LB: 73154 ... c Min unsat cost LB: 73155 ... c Min unsat cost LB: 73156 ... c Min unsat cost LB: 73157 ... c Min unsat cost LB: 73163 ... c Min unsat cost LB: 73164 ... c Min unsat cost LB: 73166 ... c Min unsat cost LB: 73167 ... c Min unsat cost LB: 73168 ... c Min unsat cost LB: 73169 ... c Min unsat cost LB: 73170 ... c Min unsat cost LB: 73171 ... c Min unsat cost LB: 73176 ... c Min unsat cost LB: 73177 ... c Min unsat cost LB: 73178 ... c Min unsat cost LB: 73180 ... c Min unsat cost LB: 73181 ... c Min unsat cost LB: 73182 ... c Min unsat cost LB: 73183 ... c Min unsat cost LB: 73184 ... c Min unsat cost LB: 73186 ... c Min unsat cost LB: 73276 ... c Min unsat cost LB: 73287 ... c Min unsat cost LB: 73288 ... c Min unsat cost LB: 73289 ... c Min unsat cost LB: 73291 ... c Min unsat cost LB: 73292 ... c Min unsat cost LB: 73293 ... c Min unsat cost LB: 73294 ... c Min unsat cost LB: 73295 ... c Min unsat cost LB: 73298 ... c Min unsat cost LB: 73299 ... c Min unsat cost LB: 73300 ... c Min unsat cost LB: 73316 ... c Min unsat cost LB: 73320 ... c Min unsat cost LB: 73321 ... c Min unsat cost LB: 73322 ... c Min unsat cost LB: 73323 ... c Min unsat cost LB: 73325 ... c Min unsat cost LB: 73330 ... c Min unsat cost LB: 73331 ... c Min unsat cost LB: 73332 ... c Min unsat cost LB: 73333 ... c Min unsat cost LB: 73334 ... c Min unsat cost LB: 73335 ... c Min unsat cost LB: 73336 ... c Min unsat cost LB: 73337 ... c Min unsat cost LB: 73338 ... c Min unsat cost LB: 73339 ... c Min unsat cost LB: 73349 ... c Min unsat cost LB: 73350 ... c Min unsat cost LB: 73351 ... c Min unsat cost LB: 73353 ... c Min unsat cost LB: 73356 ... c Min unsat cost LB: 73366 ... c Min unsat cost LB: 73367 ... c Min unsat cost LB: 73563 ... c Min unsat cost LB: 73564 ... c Min unsat cost LB: 73565 ... c Min unsat cost LB: 73566 ... c Min unsat cost LB: 73567 ... c Min unsat cost LB: 73568 ... c Min unsat cost LB: 73569 ... c Min unsat cost LB: 73570 ... c Min unsat cost LB: 73571 ... c Min unsat cost LB: 73806 ... c Min unsat cost LB: 73807 ... c Min unsat cost LB: 73808 ... c Min unsat cost LB: 73993 ... c Min unsat cost LB: 73994 ... c Min unsat cost LB: 73995 ... c Min unsat cost LB: 73996 ... c Min unsat cost LB: 73997 ... c Min unsat cost LB: 73998 ... c Min unsat cost LB: 74007 ... c Min unsat cost LB: 74024 ... c Min unsat cost LB: 74159 ... c Min unsat cost LB: 74160 ... c Min unsat cost LB: 74168 ... c Min unsat cost LB: 74187 ... c Min unsat cost LB: 74198 ... c Min unsat cost LB: 74202 ... c Min unsat cost LB: 74265 ... c Min unsat cost LB: 74267 ... c Min unsat cost LB: 74268 ... c Min unsat cost LB: 74269 ... c Min unsat cost LB: 74271 ... c Min unsat cost LB: 74274 ... c Min unsat cost LB: 74276 ... c Min unsat cost LB: 74277 ... c Min unsat cost LB: 74296 ... c Min unsat cost LB: 74302 ... c Min unsat cost LB: 74303 ... c Min unsat cost LB: 74306 ... c Min unsat cost LB: 74307 ... c Min unsat cost LB: 74323 ... c Min unsat cost LB: 74326 ... c Min unsat cost LB: 74426 ... c Min unsat cost LB: 74432 ... c Min unsat cost LB: 74433 ... c Min unsat cost LB: 74437 ... c Min unsat cost LB: 74438 ... c Min unsat cost LB: 74439 ... c Min unsat cost LB: 74444 ... c Min unsat cost LB: 74445 ... c Min unsat cost LB: 74448 ... c Min unsat cost LB: 74449 ... c Min unsat cost LB: 74450 ... c Min unsat cost LB: 74451 ... c Min unsat cost LB: 74452 ... c Min unsat cost LB: 74453 ... c Min unsat cost LB: 74455 ... c Min unsat cost LB: 74457 ... c Min unsat cost LB: 74460 ... c Min unsat cost LB: 74461 ... c Min unsat cost LB: 74462 ... c Min unsat cost LB: 74463 ... c Min unsat cost LB: 74503 ... c Min unsat cost LB: 74504 ... c Min unsat cost LB: 74508 ... c Min unsat cost LB: 74521 ... c Min unsat cost LB: 74522 ... c Min unsat cost LB: 74524 ... c Min unsat cost LB: 74532 ... c Min unsat cost LB: 74533 ... c Min unsat cost LB: 74534 ... c Min unsat cost LB: 74535 ... c Min unsat cost LB: 74754 ... c Min unsat cost LB: 74756 ... c Min unsat cost LB: 74757 ... c Min unsat cost LB: 74758 ... c Min unsat cost LB: 74759 ... c Min unsat cost LB: 74760 ... c Min unsat cost LB: 74761 ... c Min unsat cost LB: 74762 ... c Min unsat cost LB: 74790 ... c Min unsat cost LB: 74791 ... c Min unsat cost LB: 74799 ... c Min unsat cost LB: 74805 ... c Min unsat cost LB: 74823 ... c Min unsat cost LB: 74824 ... c Min unsat cost LB: 74828 ... c Min unsat cost LB: 74830 ... c Min unsat cost LB: 74831 ... c Min unsat cost LB: 74832 ... c Min unsat cost LB: 74833 ... c Min unsat cost LB: 74838 ... c Min unsat cost LB: 74847 ... c Min unsat cost LB: 74848 ... c Min unsat cost LB: 74864 ... c Min unsat cost LB: 74867 ... c Min unsat cost LB: 74868 ... c Min unsat cost LB: 74875 ... c Min unsat cost LB: 74876 ... c Min unsat cost LB: 74878 ... c Min unsat cost LB: 74879 ... c Min unsat cost LB: 74886 ... c Min unsat cost LB: 74887 ... c Min unsat cost LB: 74888 ... c Min unsat cost LB: 74889 ... c Min unsat cost LB: 74890 ... c Min unsat cost LB: 74900 ... c Min unsat cost LB: 74920 ... c Min unsat cost LB: 74942 ... c Min unsat cost LB: 75009 ... c Min unsat cost LB: 75018 ... c Min unsat cost LB: 75022 ... c Min unsat cost LB: 75042 ... c Min unsat cost LB: 75043 ... c Min unsat cost LB: 75046 ... c Min unsat cost LB: 75047 ... c Min unsat cost LB: 75049 ... c Min unsat cost LB: 75054 ... c Min unsat cost LB: 75055 ... c Min unsat cost LB: 75056 ... c Min unsat cost LB: 75058 ... c Min unsat cost LB: 75059 ... c Min unsat cost LB: 75060 ... c Min unsat cost LB: 75063 ... c Min unsat cost LB: 75064 ... c Min unsat cost LB: 75065 ... c Min unsat cost LB: 75069 ... c Min unsat cost LB: 75070 ... c Min unsat cost LB: 75071 ... c Min unsat cost LB: 75072 ... c Min unsat cost LB: 75073 ... c Min unsat cost LB: 75074 ... c Min unsat cost LB: 75075 ... c Min unsat cost LB: 75076 ... c Min unsat cost LB: 75077 ... c Min unsat cost LB: 75078 ... c Min unsat cost LB: 75079 ... c Min unsat cost LB: 75080 ... c Min unsat cost LB: 75082 ... c Min unsat cost LB: 75083 ... c Min unsat cost LB: 75084 ... c Min unsat cost LB: 75085 ... c Min unsat cost LB: 75086 ... c Min unsat cost LB: 75088 ... c Min unsat cost LB: 75089 ... c Min unsat cost LB: 75092 ... c Min unsat cost LB: 75093 ... c Min unsat cost LB: 75094 ... c Min unsat cost LB: 75096 ... c Min unsat cost LB: 75097 ... c Min unsat cost LB: 75098 ... c Min unsat cost LB: 75099 ... c Min unsat cost LB: 75100 ... c Min unsat cost LB: 75101 ... c Min unsat cost LB: 75102 ... c Min unsat cost LB: 75103 ... c Min unsat cost LB: 75104 ... c Min unsat cost LB: 75105 ... c Min unsat cost LB: 75106 ... c Min unsat cost LB: 75113 ... c Min unsat cost LB: 75114 ... c Min unsat cost LB: 75115 ... c Min unsat cost LB: 75118 ... c Min unsat cost LB: 75119 ... c Min unsat cost LB: 75124 ... c Min unsat cost LB: 75126 ... c Min unsat cost LB: 75146 ... c Min unsat cost LB: 75153 ... c Min unsat cost LB: 75173 ... c Min unsat cost LB: 75175 ... c Min unsat cost LB: 75188 ... c Min unsat cost LB: 75194 ... c Min unsat cost LB: 75195 ... c Min unsat cost LB: 75196 ... c Min unsat cost LB: 75197 ... c Min unsat cost LB: 75203 ... c Min unsat cost LB: 75204 ... c Min unsat cost LB: 75205 ... c Min unsat cost LB: 75206 ... c Min unsat cost LB: 75210 ... c Min unsat cost LB: 75211 ... c Min unsat cost LB: 75212 ... c Min unsat cost LB: 75213 ... c Min unsat cost LB: 75219 ... c Min unsat cost LB: 75224 ... c Min unsat cost LB: 75225 ... c Min unsat cost LB: 75230 ... c Min unsat cost LB: 75231 ... c Min unsat cost LB: 75232 ... c Min unsat cost LB: 75233 ... c Min unsat cost LB: 75234 ... c Min unsat cost LB: 75239 ... c Min unsat cost LB: 75253 ... c Min unsat cost LB: 75259 ... c Min unsat cost LB: 75267 ... c Min unsat cost LB: 75268 ... c Min unsat cost LB: 75269 ... c Min unsat cost LB: 75270 ... c Min unsat cost LB: 75284 ... c Min unsat cost LB: 75285 ... c Min unsat cost LB: 75286 ... c Min unsat cost LB: 75287 ... c Min unsat cost LB: 75288 ... c Min unsat cost LB: 75290 ... c Min unsat cost LB: 75291 ... c Min unsat cost LB: 75292 ... c Min unsat cost LB: 75293 ... c Min unsat cost LB: 75294 ... c Min unsat cost LB: 75295 ... c Min unsat cost LB: 75296 ... c Min unsat cost LB: 75297 ... c Min unsat cost LB: 75298 ... c Min unsat cost LB: 75299 ... c Min unsat cost LB: 75300 ... c Min unsat cost LB: 75301 ... c Min unsat cost LB: 75302 ... c Min unsat cost LB: 75303 ... c Min unsat cost LB: 75307 ... c Min unsat cost LB: 75346 ... c Min unsat cost LB: 75348 ... c Min unsat cost LB: 75356 ... c Min unsat cost LB: 75364 ... c Min unsat cost LB: 75383 ... c Min unsat cost LB: 75401 ... c Min unsat cost LB: 75402 ... c Min unsat cost LB: 75403 ... c Min unsat cost LB: 75404 ... c Min unsat cost LB: 75406 ... c Min unsat cost LB: 75407 ... c Min unsat cost LB: 75408 ... c Min unsat cost LB: 75409 ... c Min unsat cost LB: 75410 ... c Min unsat cost LB: 75411 ... c Min unsat cost LB: 75464 ... c Min unsat cost LB: 75505 ... c Min unsat cost LB: 75506 ... c Min unsat cost LB: 75507 ... c Min unsat cost LB: 75508 ... c Min unsat cost LB: 75509 ... c Min unsat cost LB: 75510 ... c Min unsat cost LB: 75511 ... c Min unsat cost LB: 75512 ... c Min unsat cost LB: 75513 ... c Min unsat cost LB: 75514 ... c Min unsat cost LB: 75515 ... c Min unsat cost LB: 75516 ... c Min unsat cost LB: 75517 ... c Min unsat cost LB: 75518 ... c Min unsat cost LB: 75519 ... c Min unsat cost LB: 75520 ... c Min unsat cost LB: 75522 ... c Min unsat cost LB: 75523 ... c Min unsat cost LB: 75524 ... c Min unsat cost LB: 75525 ... c Min unsat cost LB: 75526 ... c Min unsat cost LB: 75527 ... c Min unsat cost LB: 75528 ... c Min unsat cost LB: 75529 ... c Min unsat cost LB: 75530 ... c Min unsat cost LB: 75531 ... c Min unsat cost LB: 75533 ... c Min unsat cost LB: 75534 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75559 ... c Min unsat cost LB: 75560 ... c Min unsat cost LB: 75568 ... c Min unsat cost LB: 75569 ... c Min unsat cost LB: 75570 ... c Min unsat cost LB: 75576 ... c Min unsat cost LB: 75577 ... c Min unsat cost LB: 75578 ... c Min unsat cost LB: 75579 ... c Min unsat cost LB: 75618 ... c Min unsat cost LB: 75619 ... c Min unsat cost LB: 75620 ... c Min unsat cost LB: 75662 ... c Min unsat cost LB: 75813 ... c Min unsat cost LB: 75814 ... c Min unsat cost LB: 75815 ... c Min unsat cost LB: 75816 ... c Min unsat cost LB: 75818 ... c Min unsat cost LB: 75821 ... c Min unsat cost LB: 75822 ... c Min unsat cost LB: 75823 ... c Min unsat cost LB: 75824 ... c Min unsat cost LB: 75825 ... c Min unsat cost LB: 75826 ... c Min unsat cost LB: 75827 ... c Min unsat cost LB: 75862 ... c Min unsat cost LB: 75863 ... c Min unsat cost LB: 75864 ... c Min unsat cost LB: 75874 ... c Min unsat cost LB: 76002 ... c Min unsat cost LB: 76120 ... c Min unsat cost LB: 76121 ... c Min unsat cost LB: 76122 ... c Min unsat cost LB: 76126 ... c Min unsat cost LB: 76136 ... c Min unsat cost LB: 76139 ... c Min unsat cost LB: 76140 ... c Min unsat cost LB: 76142 ... c Min unsat cost LB: 76143 ... c Min unsat cost LB: 76155 ... c Min unsat cost LB: 76157 ... c Min unsat cost LB: 76169 ... c Min unsat cost LB: 76172 ... c Min unsat cost LB: 76173 ... c Min unsat cost LB: 76174 ... c Min unsat cost LB: 76175 ... c Min unsat cost LB: 76176 ... c Min unsat cost LB: 76177 ... c Min unsat cost LB: 76178 ... c Min unsat cost LB: 76179 ... c Min unsat cost LB: 76180 ... c Min unsat cost LB: 76181 ... c Min unsat cost LB: 76183 ... c Min unsat cost LB: 76184 ... c Min unsat cost LB: 76185 ... c Min unsat cost LB: 76186 ... c Min unsat cost LB: 76187 ... c Min unsat cost LB: 76194 ... c Min unsat cost LB: 76195 ... c Min unsat cost LB: 76202 ... c Min unsat cost LB: 76203 ... c Min unsat cost LB: 76204 ... c Min unsat cost LB: 76205 ... c Min unsat cost LB: 76206 ... c Min unsat cost LB: 76207 ... c Min unsat cost LB: 76208 ... c Min unsat cost LB: 76209 ... c Min unsat cost LB: 76210 ... c Min unsat cost LB: 76225 ... c Min unsat cost LB: 76257 ... c Min unsat cost LB: 76258 ... c Min unsat cost LB: 76260 ... c Min unsat cost LB: 76261 ... c Min unsat cost LB: 76262 ... c Min unsat cost LB: 76263 ... c Min unsat cost LB: 76264 ... c Min unsat cost LB: 76266 ... c Min unsat cost LB: 76267 ... c Min unsat cost LB: 76271 ... c Min unsat cost LB: 76272 ... c Min unsat cost LB: 76273 ... c Min unsat cost LB: 76274 ... c Min unsat cost LB: 76275 ... c Min unsat cost LB: 76277 ... c Min unsat cost LB: 76279 ... c Min unsat cost LB: 76281 ... c Min unsat cost LB: 76283 ... c Min unsat cost LB: 76284 ... c Min unsat cost LB: 76285 ... c Min unsat cost LB: 76286 ... c Min unsat cost LB: 76287 ... c Min unsat cost LB: 76288 ... c Min unsat cost LB: 76289 ... c Min unsat cost LB: 76290 ... c Min unsat cost LB: 76291 ... c Min unsat cost LB: 76292 ... c Min unsat cost LB: 76295 ... c Min unsat cost LB: 76297 ... c Min unsat cost LB: 76298 ... c Min unsat cost LB: 76308 ... c Min unsat cost LB: 76309 ... c Min unsat cost LB: 76320 ... c Min unsat cost LB: 76321 ... c Min unsat cost LB: 76322 ... c Min unsat cost LB: 76323 ... c Min unsat cost LB: 76325 ... c Min unsat cost LB: 76326 ... c Min unsat cost LB: 76327 ... c Min unsat cost LB: 76328 ... c Min unsat cost LB: 76329 ... c Min unsat cost LB: 76330 ... c Min unsat cost LB: 76331 ... c Min unsat cost LB: 76333 ... c Min unsat cost LB: 76334 ... c Min unsat cost LB: 76335 ... c Min unsat cost LB: 76337 ... c Min unsat cost LB: 76349 ... c Min unsat cost LB: 76350 ... c Min unsat cost LB: 76351 ... c Min unsat cost LB: 76352 ... c Min unsat cost LB: 76357 ... c Min unsat cost LB: 76358 ... c Min unsat cost LB: 76359 ... c Min unsat cost LB: 76360 ... c Min unsat cost LB: 76363 ... c Min unsat cost LB: 76364 ... c Min unsat cost LB: 76365 ... c Min unsat cost LB: 76366 ... c Min unsat cost LB: 76367 ... c Min unsat cost LB: 76368 ... c Min unsat cost LB: 76502 ... c Min unsat cost LB: 76718 ... c Min unsat cost LB: 76772 ... c Min unsat cost LB: 76928 ... c Min unsat cost LB: 76936 ... c Min unsat cost LB: 76972 ... c Min unsat cost LB: 76980 ... c Min unsat cost LB: 76982 ... c Min unsat cost LB: 77054 ... c Min unsat cost LB: 77062 ... c Min unsat cost LB: 77070 ... c Min unsat cost LB: 77078 ... c Min unsat cost LB: 77098 ... c Min unsat cost LB: 77132 ... c Min unsat cost LB: 77144 ... c Min unsat cost LB: 77146 ... c Min unsat cost LB: 77152 ... c Min unsat cost LB: 77182 ... c Min unsat cost LB: 77188 ... c Min unsat cost LB: 77190 ... c Min unsat cost LB: 77196 ... c Min unsat cost LB: 77197 ... c Min unsat cost LB: 77198 ... c Min unsat cost LB: 77199 ... c Min unsat cost LB: 77200 ... c Min unsat cost LB: 77201 ... c Min unsat cost LB: 77202 ... c Min unsat cost LB: 77203 ... c Min unsat cost LB: 77204 ... c Min unsat cost LB: 77205 ... c Min unsat cost LB: 77206 ... 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: 77217 ... c Min unsat cost LB: 77222 ... c Min unsat cost LB: 77223 ... c Min unsat cost LB: 77225 ... c Min unsat cost LB: 77251 ... c Min unsat cost LB: 77252 ... c Min unsat cost LB: 77253 ... c Min unsat cost LB: 77254 ... c Min unsat cost LB: 77255 ... c Min unsat cost LB: 77256 ... c Min unsat cost LB: 77257 ... c Min unsat cost LB: 77258 ... c Min unsat cost LB: 77259 ... c Min unsat cost LB: 77260 ... c Min unsat cost LB: 77261 ... c Min unsat cost LB: 77262 ... c Min unsat cost LB: 77263 ... c Min unsat cost LB: 77264 ... c Min unsat cost LB: 77265 ... c Min unsat cost LB: 77266 ... c Min unsat cost LB: 77267 ... c Min unsat cost LB: 77268 ... c Min unsat cost LB: 77269 ... c Min unsat cost LB: 77270 ... c Min unsat cost LB: 77271 ... c Min unsat cost LB: 77272 ... c Min unsat cost LB: 77273 ... c Min unsat cost LB: 77274 ... c Min unsat cost LB: 77275 ... c Min unsat cost LB: 77278 ... c Min unsat cost LB: 77279 ... c Min unsat cost LB: 77280 ... c Min unsat cost LB: 77281 ... c Min unsat cost LB: 77282 ... c Min unsat cost LB: 77284 ... c Min unsat cost LB: 77285 ... c Min unsat cost LB: 77286 ... c Min unsat cost LB: 77287 ... c Min unsat cost LB: 77288 ... c Min unsat cost LB: 77289 ... c Min unsat cost LB: 77290 ... c Min unsat cost LB: 77291 ... c Min unsat cost LB: 77292 ... c Min unsat cost LB: 77294 ... c Min unsat cost LB: 77295 ... c Min unsat cost LB: 77296 ... c Min unsat cost LB: 77297 ... c Min unsat cost LB: 77298 ... c Min unsat cost LB: 77300 ... c Min unsat cost LB: 77301 ... c Min unsat cost LB: 77302 ... c Min unsat cost LB: 77308 ... c Min unsat cost LB: 77310 ... c Min unsat cost LB: 77312 ... c Min unsat cost LB: 77313 ... c Min unsat cost LB: 77316 ... c Min unsat cost LB: 77317 ... c Min unsat cost LB: 77318 ... c Min unsat cost LB: 77321 ... c Min unsat cost LB: 77323 ... c Min unsat cost LB: 77324 ... c Min unsat cost LB: 77327 ... c Min unsat cost LB: 77328 ... c Min unsat cost LB: 77329 ... c Min unsat cost LB: 77330 ... c Min unsat cost LB: 77331 ... c Min unsat cost LB: 77332 ... c Min unsat cost LB: 77333 ... c Min unsat cost LB: 77334 ... c Min unsat cost LB: 77335 ... c Min unsat cost LB: 77336 ... c Min unsat cost LB: 77337 ... c Min unsat cost LB: 77338 ... c Min unsat cost LB: 77339 ... c Min unsat cost LB: 77340 ... c Min unsat cost LB: 77341 ... c Min unsat cost LB: 77342 ... c Min unsat cost LB: 77343 ... c Min unsat cost LB: 77344 ... c Min unsat cost LB: 77345 ... c Min unsat cost LB: 77346 ... c Min unsat cost LB: 77347 ... c Min unsat cost LB: 77348 ... c Min unsat cost LB: 77349 ... c Min unsat cost LB: 77352 ... c Min unsat cost LB: 77353 ... c Min unsat cost LB: 77355 ... c Min unsat cost LB: 77356 ... c Min unsat cost LB: 77357 ... c Min unsat cost LB: 77358 ... c Min unsat cost LB: 77359 ... c Min unsat cost LB: 77360 ... c Min unsat cost LB: 77361 ... c Min unsat cost LB: 77362 ... c Min unsat cost LB: 77363 ... c Min unsat cost LB: 77364 ... c Min unsat cost LB: 77365 ... c Min unsat cost LB: 77366 ... c Min unsat cost LB: 77367 ... c Min unsat cost LB: 77368 ... c Min unsat cost LB: 77369 ... c Min unsat cost LB: 77370 ... c Min unsat cost LB: 77371 ... c Min unsat cost LB: 77372 ... c Min unsat cost LB: 77373 ... c Min unsat cost LB: 77374 ... c Min unsat cost LB: 77375 ... c Min unsat cost LB: 77376 ... c Min unsat cost LB: 77378 ... c Min unsat cost LB: 77379 ... c Min unsat cost LB: 77380 ... c Min unsat cost LB: 77381 ... c Min unsat cost LB: 77382 ... c Min unsat cost LB: 77383 ... c Min unsat cost LB: 77384 ... c Min unsat cost LB: 77385 ... c Min unsat cost LB: 77386 ... c Min unsat cost LB: 77387 ... c Min unsat cost LB: 77388 ... c Min unsat cost LB: 77389 ... c Min unsat cost LB: 77390 ... c Min unsat cost LB: 77391 ... c Min unsat cost LB: 77392 ... c Min unsat cost LB: 77393 ... c Min unsat cost LB: 77394 ... c Min unsat cost LB: 77395 ... c Min unsat cost LB: Killed 1813.486u 6.253s 30:20.45 99.9% 0+0k 0+0io 0pf+0w