Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_130_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0006.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0006.txt.wcnf *** c c Min unsat cost LB: 1039 ... c Min unsat cost LB: 1864 ... c Min unsat cost LB: 1896 ... c Min unsat cost LB: 2561 ... c Min unsat cost LB: 3200 ... c Min unsat cost LB: 3386 ... c Min unsat cost LB: 3943 ... c Min unsat cost LB: 4589 ... c Min unsat cost LB: 4674 ... c Min unsat cost LB: 5542 ... c Min unsat cost LB: 5760 ... c Min unsat cost LB: 6431 ... c Min unsat cost LB: 7470 ... c Min unsat cost LB: 8055 ... c Min unsat cost LB: 8912 ... c Min unsat cost LB: 9541 ... c Min unsat cost LB: 10126 ... c Min unsat cost LB: 10190 ... c Min unsat cost LB: 10612 ... c Min unsat cost LB: 11092 ... c Min unsat cost LB: 11723 ... c Min unsat cost LB: 12372 ... c Min unsat cost LB: 12572 ... c Min unsat cost LB: 13021 ... c Min unsat cost LB: 13037 ... c Min unsat cost LB: 13309 ... c Min unsat cost LB: 13955 ... c Min unsat cost LB: 14459 ... c Min unsat cost LB: 15029 ... c Min unsat cost LB: 15352 ... c Min unsat cost LB: 15599 ... c Min unsat cost LB: 15826 ... c Min unsat cost LB: 16557 ... c Min unsat cost LB: 16779 ... c Min unsat cost LB: 16804 ... c Min unsat cost LB: 17843 ... c Min unsat cost LB: 17954 ... c Min unsat cost LB: 18805 ... c Min unsat cost LB: 18849 ... c Min unsat cost LB: 19023 ... c Min unsat cost LB: 19321 ... c Min unsat cost LB: 19513 ... c Min unsat cost LB: 20338 ... c Min unsat cost LB: 20417 ... c Min unsat cost LB: 20902 ... c Min unsat cost LB: 20965 ... c Min unsat cost LB: 21060 ... c Min unsat cost LB: 21073 ... c Min unsat cost LB: 21153 ... c Min unsat cost LB: 21617 ... c Min unsat cost LB: 21710 ... c Min unsat cost LB: 21779 ... c Min unsat cost LB: 21997 ... c Min unsat cost LB: 22244 ... c Min unsat cost LB: 23456 ... c Min unsat cost LB: 23673 ... c Min unsat cost LB: 24472 ... c Min unsat cost LB: 25454 ... c Min unsat cost LB: 25559 ... c Min unsat cost LB: 26440 ... c Min unsat cost LB: 26608 ... c Min unsat cost LB: 26933 ... c Min unsat cost LB: 27866 ... c Min unsat cost LB: 28573 ... c Min unsat cost LB: 29371 ... c Min unsat cost LB: 29702 ... c Min unsat cost LB: 29882 ... c Min unsat cost LB: 30468 ... c Min unsat cost LB: 30768 ... c Min unsat cost LB: 31245 ... c Min unsat cost LB: 31337 ... c Min unsat cost LB: 31479 ... c Min unsat cost LB: 32049 ... c Min unsat cost LB: 32568 ... c Min unsat cost LB: 33286 ... c Min unsat cost LB: 33635 ... c Min unsat cost LB: 34094 ... c Min unsat cost LB: 34154 ... c Min unsat cost LB: 34479 ... c Min unsat cost LB: 35161 ... c Min unsat cost LB: 35620 ... c Min unsat cost LB: 35904 ... c Min unsat cost LB: 37005 ... c Min unsat cost LB: 37227 ... c Min unsat cost LB: 37736 ... c Min unsat cost LB: 38020 ... c Min unsat cost LB: 38808 ... c Min unsat cost LB: 38868 ... c Min unsat cost LB: 39058 ... c Min unsat cost LB: 39150 ... c Min unsat cost LB: 39235 ... c Min unsat cost LB: 39857 ... c Min unsat cost LB: 39920 ... c Min unsat cost LB: 40094 ... c Min unsat cost LB: 40138 ... c Min unsat cost LB: 40920 ... c Min unsat cost LB: 41177 ... c Min unsat cost LB: 41405 ... c Min unsat cost LB: 41414 ... c Min unsat cost LB: 41657 ... c Min unsat cost LB: 41736 ... c Min unsat cost LB: 41896 ... c Min unsat cost LB: 42627 ... c Min unsat cost LB: 42721 ... c Min unsat cost LB: 42913 ... c Min unsat cost LB: 43289 ... c Min unsat cost LB: 43496 ... c Min unsat cost LB: 43703 ... c Min unsat cost LB: 43813 ... c Min unsat cost LB: 43991 ... c Min unsat cost LB: 44148 ... c Min unsat cost LB: 44213 ... c Min unsat cost LB: 44364 ... c Min unsat cost LB: 44419 ... c Min unsat cost LB: 44542 ... c Min unsat cost LB: 44551 ... c Min unsat cost LB: 44587 ... c Min unsat cost LB: 44634 ... c Min unsat cost LB: 44834 ... c Min unsat cost LB: 45567 ... c Min unsat cost LB: 45616 ... c Min unsat cost LB: 45711 ... c Min unsat cost LB: 46036 ... c Min unsat cost LB: 46170 ... c Min unsat cost LB: 46191 ... c Min unsat cost LB: 46237 ... c Min unsat cost LB: 46276 ... c Min unsat cost LB: 46361 ... c Min unsat cost LB: 46472 ... c Min unsat cost LB: 46967 ... c Min unsat cost LB: 47181 ... c Min unsat cost LB: 47251 ... c Min unsat cost LB: 47345 ... c Min unsat cost LB: 47354 ... c Min unsat cost LB: 47376 ... c Min unsat cost LB: 47445 ... c Min unsat cost LB: 47650 ... c Min unsat cost LB: 47763 ... c Min unsat cost LB: 47848 ... c Min unsat cost LB: 47876 ... c Min unsat cost LB: 47887 ... c Min unsat cost LB: 48218 ... c Min unsat cost LB: 48291 ... c Min unsat cost LB: 48508 ... c Min unsat cost LB: 48575 ... c Min unsat cost LB: 48621 ... c Min unsat cost LB: 48768 ... c Min unsat cost LB: 48835 ... c Min unsat cost LB: 48861 ... c Min unsat cost LB: 48893 ... c Min unsat cost LB: 48952 ... c Min unsat cost LB: 48974 ... c Min unsat cost LB: 48983 ... c Min unsat cost LB: 49066 ... c Min unsat cost LB: 49082 ... c Min unsat cost LB: 49132 ... c Min unsat cost LB: 49141 ... c Min unsat cost LB: 49161 ... c Min unsat cost LB: 49169 ... c Min unsat cost LB: 49194 ... c Min unsat cost LB: 49299 ... c Min unsat cost LB: 49300 ... c Min unsat cost LB: 49345 ... c Min unsat cost LB: 49529 ... c Min unsat cost LB: 49545 ... c Min unsat cost LB: 49592 ... c Min unsat cost LB: 49622 ... c Min unsat cost LB: 49757 ... c Min unsat cost LB: 49772 ... c Min unsat cost LB: 49825 ... c Min unsat cost LB: 49901 ... c Min unsat cost LB: 49915 ... c Min unsat cost LB: 49921 ... c Min unsat cost LB: 49941 ... c Min unsat cost LB: 50336 ... c Min unsat cost LB: 50366 ... c Min unsat cost LB: 50415 ... c Min unsat cost LB: 50445 ... c Min unsat cost LB: 50453 ... c Min unsat cost LB: 50464 ... c Min unsat cost LB: 50523 ... c Min unsat cost LB: 50533 ... c Min unsat cost LB: 50602 ... c Min unsat cost LB: 50713 ... c Min unsat cost LB: 50786 ... c Min unsat cost LB: 50841 ... c Min unsat cost LB: 50935 ... c Min unsat cost LB: 51032 ... c Min unsat cost LB: 51163 ... c Min unsat cost LB: 51612 ... c Min unsat cost LB: 51626 ... c Min unsat cost LB: 51642 ... c Min unsat cost LB: 51657 ... c Min unsat cost LB: 51730 ... c Min unsat cost LB: 51785 ... c Min unsat cost LB: 51841 ... c Min unsat cost LB: 51872 ... c Min unsat cost LB: 51885 ... c Min unsat cost LB: 51951 ... c Min unsat cost LB: 52011 ... c Min unsat cost LB: 52373 ... c Min unsat cost LB: 52374 ... c Min unsat cost LB: 52395 ... c Min unsat cost LB: 52403 ... c Min unsat cost LB: 52464 ... c Min unsat cost LB: 52508 ... c Min unsat cost LB: 52521 ... c Min unsat cost LB: 52539 ... c Min unsat cost LB: 52584 ... c Min unsat cost LB: 52641 ... c Min unsat cost LB: 52649 ... c Min unsat cost LB: 52787 ... c Min unsat cost LB: 52796 ... c Min unsat cost LB: 52827 ... c Min unsat cost LB: 52891 ... c Min unsat cost LB: 52906 ... c Min unsat cost LB: 52925 ... c Min unsat cost LB: 52964 ... c Min unsat cost LB: 53018 ... c Min unsat cost LB: 53114 ... c Min unsat cost LB: 53136 ... c Min unsat cost LB: 53169 ... c Min unsat cost LB: 53197 ... c Min unsat cost LB: 53301 ... c Min unsat cost LB: 53424 ... c Min unsat cost LB: 53436 ... c Min unsat cost LB: 53507 ... c Min unsat cost LB: 53519 ... c Min unsat cost LB: 53563 ... c Min unsat cost LB: 53761 ... c Min unsat cost LB: 53847 ... c Min unsat cost LB: 53850 ... c Min unsat cost LB: 54105 ... c Min unsat cost LB: 54149 ... c Min unsat cost LB: 54151 ... c Min unsat cost LB: 54253 ... c Min unsat cost LB: 54301 ... c Min unsat cost LB: 54323 ... c Min unsat cost LB: 54366 ... c Min unsat cost LB: 54375 ... c Min unsat cost LB: 54411 ... c Min unsat cost LB: 54425 ... c Min unsat cost LB: 54464 ... c Min unsat cost LB: 54471 ... c Min unsat cost LB: 54509 ... c Min unsat cost LB: 54518 ... c Min unsat cost LB: 54531 ... c Min unsat cost LB: 54533 ... c Min unsat cost LB: 54546 ... c Min unsat cost LB: 54592 ... c Min unsat cost LB: 54623 ... c Min unsat cost LB: 54631 ... c Min unsat cost LB: 54656 ... c Min unsat cost LB: 54659 ... c Min unsat cost LB: 54697 ... c Min unsat cost LB: 54712 ... c Min unsat cost LB: 54713 ... c Min unsat cost LB: 54723 ... c Min unsat cost LB: 54732 ... c Min unsat cost LB: 54738 ... c Min unsat cost LB: 54742 ... c Min unsat cost LB: 54779 ... c Min unsat cost LB: 54816 ... c Min unsat cost LB: 55036 ... c Min unsat cost LB: 55052 ... c Min unsat cost LB: 55105 ... c Min unsat cost LB: 55111 ... c Min unsat cost LB: 55161 ... c Min unsat cost LB: 55167 ... c Min unsat cost LB: 55175 ... c Min unsat cost LB: 55182 ... c Min unsat cost LB: 55192 ... c Min unsat cost LB: 55200 ... c Min unsat cost LB: 55207 ... c Min unsat cost LB: 55218 ... c Min unsat cost LB: 55222 ... c Min unsat cost LB: 55225 ... c Min unsat cost LB: 55228 ... c Min unsat cost LB: 55229 ... c Min unsat cost LB: 55248 ... c Min unsat cost LB: 55253 ... c Min unsat cost LB: 55335 ... c Min unsat cost LB: 55341 ... c Min unsat cost LB: 55363 ... c Min unsat cost LB: 55371 ... c Min unsat cost LB: 55373 ... c Min unsat cost LB: 55406 ... c Min unsat cost LB: 55421 ... c Min unsat cost LB: 55468 ... c Min unsat cost LB: 55479 ... c Min unsat cost LB: 55480 ... c Min unsat cost LB: 55484 ... c Min unsat cost LB: 55503 ... c Min unsat cost LB: 55510 ... c Min unsat cost LB: 55591 ... c Min unsat cost LB: 55640 ... c Min unsat cost LB: 55656 ... c Min unsat cost LB: 55687 ... c Min unsat cost LB: 55689 ... c Min unsat cost LB: 55690 ... c Min unsat cost LB: 55702 ... c Min unsat cost LB: 55712 ... c Min unsat cost LB: 55714 ... c Min unsat cost LB: 55716 ... c Min unsat cost LB: 55718 ... c Min unsat cost LB: 55719 ... c Min unsat cost LB: 55722 ... c Min unsat cost LB: 55730 ... c Min unsat cost LB: 55735 ... c Min unsat cost LB: 55745 ... c Min unsat cost LB: 55750 ... c Min unsat cost LB: 55798 ... c Min unsat cost LB: 55800 ... c Min unsat cost LB: 55815 ... c Min unsat cost LB: 55821 ... c Min unsat cost LB: 55822 ... c Min unsat cost LB: 55823 ... c Min unsat cost LB: 55824 ... c Min unsat cost LB: 55830 ... c Min unsat cost LB: 55842 ... c Min unsat cost LB: 55848 ... c Min unsat cost LB: 55858 ... c Min unsat cost LB: 55863 ... c Min unsat cost LB: 55866 ... c Min unsat cost LB: 55870 ... c Min unsat cost LB: 55871 ... c Min unsat cost LB: 55893 ... c Min unsat cost LB: 55898 ... c Min unsat cost LB: 55958 ... c Min unsat cost LB: 55961 ... c Min unsat cost LB: 55976 ... c Min unsat cost LB: 56013 ... c Min unsat cost LB: 56016 ... c Min unsat cost LB: 56024 ... c Min unsat cost LB: 56030 ... c Min unsat cost LB: 56040 ... c Min unsat cost LB: 56058 ... c Min unsat cost LB: 56061 ... c Min unsat cost LB: 56072 ... c Min unsat cost LB: 56089 ... c Min unsat cost LB: 56095 ... c Min unsat cost LB: 56106 ... c Min unsat cost LB: 56114 ... c Min unsat cost LB: 56119 ... c Min unsat cost LB: 56125 ... c Min unsat cost LB: 56128 ... c Min unsat cost LB: 56143 ... c Min unsat cost LB: 56156 ... c Min unsat cost LB: 56166 ... c Min unsat cost LB: 56176 ... c Min unsat cost LB: 56177 ... c Min unsat cost LB: 56179 ... c Min unsat cost LB: 56180 ... c Min unsat cost LB: 56181 ... c Min unsat cost LB: 56183 ... c Min unsat cost LB: 56190 ... c Min unsat cost LB: 56192 ... c Min unsat cost LB: 56221 ... c Min unsat cost LB: 56223 ... c Min unsat cost LB: 56239 ... c Min unsat cost LB: 56258 ... c Min unsat cost LB: 56299 ... c Min unsat cost LB: 56306 ... c Min unsat cost LB: 56314 ... c Min unsat cost LB: 56326 ... c Min unsat cost LB: 56329 ... c Min unsat cost LB: 56333 ... c Min unsat cost LB: 56334 ... c Min unsat cost LB: 56337 ... c Min unsat cost LB: 56341 ... c Min unsat cost LB: 56349 ... c Min unsat cost LB: 56350 ... c Min unsat cost LB: 56361 ... c Min unsat cost LB: 56366 ... c Min unsat cost LB: 56367 ... c Min unsat cost LB: 56371 ... c Min unsat cost LB: 56374 ... c Min unsat cost LB: 56383 ... c Min unsat cost LB: 56388 ... c Min unsat cost LB: 56396 ... c Min unsat cost LB: 56414 ... c Min unsat cost LB: 56419 ... c Min unsat cost LB: 56420 ... c Min unsat cost LB: 56424 ... c Min unsat cost LB: 56425 ... c Min unsat cost LB: 56427 ... c Min unsat cost LB: 56429 ... c Min unsat cost LB: 56431 ... c Min unsat cost LB: 56435 ... c Min unsat cost LB: 56442 ... c Min unsat cost LB: 56452 ... c Min unsat cost LB: 56454 ... c Min unsat cost LB: 56460 ... c Min unsat cost LB: 56479 ... c Min unsat cost LB: 56480 ... c Min unsat cost LB: 56485 ... c Min unsat cost LB: 56491 ... c Min unsat cost LB: 56493 ... c Min unsat cost LB: 56497 ... c Min unsat cost LB: 56505 ... c Min unsat cost LB: 56513 ... c Min unsat cost LB: 56517 ... c Min unsat cost LB: 56520 ... c Min unsat cost LB: 56530 ... c Min unsat cost LB: 56534 ... c Min unsat cost LB: 56536 ... c Min unsat cost LB: 56539 ... c Min unsat cost LB: 56540 ... c Min unsat cost LB: 56542 ... c Min unsat cost LB: 56546 ... c Min unsat cost LB: 56552 ... c Min unsat cost LB: 56556 ... c Min unsat cost LB: 56558 ... c Min unsat cost LB: 56559 ... c Min unsat cost LB: 56560 ... c Min unsat cost LB: 56632 ... c Min unsat cost LB: 56633 ... c Min unsat cost LB: 56634 ... c Min unsat cost LB: 56636 ... c Min unsat cost LB: 56639 ... c Min unsat cost LB: 56650 ... c Min unsat cost LB: 56693 ... c Min unsat cost LB: 56701 ... c Min unsat cost LB: 56709 ... c Min unsat cost LB: 56714 ... c Min unsat cost LB: 56741 ... c Min unsat cost LB: 56854 ... c Min unsat cost LB: 56867 ... c Min unsat cost LB: 56892 ... c Min unsat cost LB: 56893 ... c Min unsat cost LB: 56894 ... c Min unsat cost LB: 56895 ... c Min unsat cost LB: 56896 ... c Min unsat cost LB: 56908 ... c Min unsat cost LB: 56923 ... c Min unsat cost LB: 56925 ... c Min unsat cost LB: 56930 ... c Min unsat cost LB: 56931 ... c Min unsat cost LB: 56941 ... c Min unsat cost LB: 56943 ... c Min unsat cost LB: 56945 ... c Min unsat cost LB: 56947 ... c Min unsat cost LB: 56950 ... c Min unsat cost LB: 56952 ... c Min unsat cost LB: 56953 ... c Min unsat cost LB: 56954 ... c Min unsat cost LB: 56955 ... c Min unsat cost LB: 56957 ... c Min unsat cost LB: 56958 ... c Min unsat cost LB: 56959 ... c Min unsat cost LB: 56960 ... c Min unsat cost LB: 56961 ... c Min unsat cost LB: 56962 ... c Min unsat cost LB: 56963 ... c Min unsat cost LB: 56965 ... c Min unsat cost LB: 56966 ... c Min unsat cost LB: 56967 ... c Min unsat cost LB: 56969 ... c Min unsat cost LB: 56972 ... c Min unsat cost LB: 56973 ... c Min unsat cost LB: 56988 ... c Min unsat cost LB: 56990 ... c Min unsat cost LB: 57016 ... c Min unsat cost LB: 57024 ... c Min unsat cost LB: 57025 ... c Min unsat cost LB: 57026 ... c Min unsat cost LB: 57038 ... c Min unsat cost LB: 57040 ... c Min unsat cost LB: 57041 ... c Min unsat cost LB: 57043 ... c Min unsat cost LB: 57051 ... c Min unsat cost LB: 57052 ... c Min unsat cost LB: 57059 ... c Min unsat cost LB: 57061 ... c Min unsat cost LB: 57066 ... c Min unsat cost LB: 57067 ... c Min unsat cost LB: 57070 ... c Min unsat cost LB: 57078 ... c Min unsat cost LB: 57079 ... c Min unsat cost LB: 57080 ... c Min unsat cost LB: 57093 ... c Min unsat cost LB: 57094 ... c Min unsat cost LB: 57097 ... c Min unsat cost LB: 57101 ... c Min unsat cost LB: 57105 ... c Min unsat cost LB: 57106 ... c Min unsat cost LB: 57108 ... c Min unsat cost LB: 57109 ... c Min unsat cost LB: 57110 ... c Min unsat cost LB: 57112 ... c Min unsat cost LB: 57113 ... c Min unsat cost LB: 57114 ... c Min unsat cost LB: 57115 ... c Min unsat cost LB: 57116 ... c Min unsat cost LB: 57117 ... c Min unsat cost LB: 57119 ... c Min unsat cost LB: 57122 ... c Min unsat cost LB: 57123 ... c Min unsat cost LB: 57124 ... c Min unsat cost LB: 57125 ... c Min unsat cost LB: 57127 ... c Min unsat cost LB: 57128 ... c Min unsat cost LB: 57131 ... c Min unsat cost LB: 57133 ... c Min unsat cost LB: 57134 ... c Min unsat cost LB: 57135 ... c Min unsat cost LB: 57136 ... c Min unsat cost LB: 57137 ... c Min unsat cost LB: 57138 ... c Min unsat cost LB: 57140 ... c Min unsat cost LB: 57141 ... c Min unsat cost LB: 57142 ... c Min unsat cost LB: 57145 ... c Min unsat cost LB: 57146 ... c Min unsat cost LB: 57147 ... c Min unsat cost LB: 57149 ... c Min unsat cost LB: 57150 ... c Min unsat cost LB: 57151 ... c Min unsat cost LB: 57152 ... c Min unsat cost LB: 57154 ... c Min unsat cost LB: 57159 ... c Min unsat cost LB: 57162 ... c Min unsat cost LB: 57165 ... c Min unsat cost LB: 57166 ... c Min unsat cost LB: 57169 ... c Min unsat cost LB: 57170 ... c Min unsat cost LB: 57172 ... c Min unsat cost LB: 57173 ... c Min unsat cost LB: 57178 ... c Min unsat cost LB: 57180 ... c Min unsat cost LB: 57182 ... c Min unsat cost LB: 57183 ... c Min unsat cost LB: 57184 ... c Min unsat cost LB: 57195 ... c Min unsat cost LB: 57217 ... c Min unsat cost LB: 57221 ... c Min unsat cost LB: 57231 ... c Min unsat cost LB: 57246 ... c Min unsat cost LB: 57247 ... c Min unsat cost LB: 57249 ... c Min unsat cost LB: 57253 ... c Min unsat cost LB: 57274 ... c Min unsat cost LB: 57275 ... c Min unsat cost LB: 57277 ... c Min unsat cost LB: 57279 ... c Min unsat cost LB: 57280 ... c Min unsat cost LB: 57281 ... c Min unsat cost LB: 57282 ... c Min unsat cost LB: 57284 ... c Min unsat cost LB: 57286 ... c Min unsat cost LB: 57289 ... c Min unsat cost LB: 57348 ... c Min unsat cost LB: 57349 ... c Min unsat cost LB: 57351 ... c Min unsat cost LB: 57352 ... c Min unsat cost LB: 57353 ... c Min unsat cost LB: 57355 ... c Min unsat cost LB: 57356 ... c Min unsat cost LB: 57357 ... c Min unsat cost LB: 57361 ... c Min unsat cost LB: 57362 ... c Min unsat cost LB: 57363 ... c Min unsat cost LB: 57364 ... c Min unsat cost LB: 57365 ... c Min unsat cost LB: 57369 ... c Min unsat cost LB: 57373 ... c Min unsat cost LB: 57374 ... c Min unsat cost LB: 57375 ... c Min unsat cost LB: 57380 ... c Min unsat cost LB: 57382 ... c Min unsat cost LB: 57383 ... c Min unsat cost LB: 57384 ... c Min unsat cost LB: 57386 ... c Min unsat cost LB: 57387 ... c Min unsat cost LB: 57389 ... c Min unsat cost LB: 57390 ... c Min unsat cost LB: 57391 ... c Min unsat cost LB: 57393 ... c Min unsat cost LB: 57394 ... c Min unsat cost LB: 57395 ... c Min unsat cost LB: 57396 ... c Min unsat cost LB: 57397 ... c Min unsat cost LB: 57401 ... c Min unsat cost LB: 57431 ... c Min unsat cost LB: 57432 ... c Min unsat cost LB: 57433 ... c Min unsat cost LB: 57434 ... c Min unsat cost LB: 57435 ... c Min unsat cost LB: 57437 ... c Min unsat cost LB: 57438 ... c Min unsat cost LB: 57439 ... c Min unsat cost LB: 57441 ... c Min unsat cost LB: 57472 ... c Min unsat cost LB: 57480 ... c Min unsat cost LB: 57505 ... c Min unsat cost LB: 57506 ... c Min unsat cost LB: 57507 ... c Min unsat cost LB: 57508 ... c Min unsat cost LB: 57509 ... c Min unsat cost LB: 57510 ... c Min unsat cost LB: 57513 ... c Min unsat cost LB: 57521 ... c Min unsat cost LB: 57522 ... c Min unsat cost LB: 57524 ... c Min unsat cost LB: 57525 ... c Min unsat cost LB: 57526 ... c Min unsat cost LB: 57527 ... c Min unsat cost LB: 57528 ... c Min unsat cost LB: 57529 ... c Min unsat cost LB: 57530 ... c Min unsat cost LB: 57531 ... c Min unsat cost LB: 57532 ... c Min unsat cost LB: 57533 ... c Min unsat cost LB: 57534 ... c Min unsat cost LB: 57535 ... c Min unsat cost LB: 57539 ... c Min unsat cost LB: 57540 ... c Min unsat cost LB: 57541 ... c Min unsat cost LB: 57542 ... c Min unsat cost LB: 57543 ... c Min unsat cost LB: 57544 ... c Min unsat cost LB: 57545 ... c Min unsat cost LB: 57546 ... c Min unsat cost LB: 57547 ... c Min unsat cost LB: 57548 ... c Min unsat cost LB: 57549 ... c Min unsat cost LB: 57550 ... c Min unsat cost LB: 57551 ... c Min unsat cost LB: 57552 ... c Min unsat cost LB: 57553 ... c Min unsat cost LB: 57555 ... c Min unsat cost LB: 57556 ... c Min unsat cost LB: 57557 ... c Min unsat cost LB: 57558 ... c Min unsat cost LB: 57559 ... c Min unsat cost LB: 57560 ... c Min unsat cost LB: 57561 ... c Min unsat cost LB: 57562 ... c Min unsat cost LB: 57563 ... c Min unsat cost LB: 57565 ... c Min unsat cost LB: 57566 ... c Min unsat cost LB: 57567 ... c Min unsat cost LB: 57568 ... c Min unsat cost LB: 57569 ... c Min unsat cost LB: 57570 ... c Min unsat cost LB: 57571 ... c Min unsat cost LB: 57572 ... c Min unsat cost LB: 57573 ... c Min unsat cost LB: 57574 ... c Min unsat cost LB: 57575 ... c Min unsat cost LB: 57576 ... c Min unsat cost LB: 57577 ... c Min unsat cost LB: 57578 ... c Min unsat cost LB: 57579 ... c Min unsat cost LB: 57580 ... c Min unsat cost LB: 57581 ... c Min unsat cost LB: 57582 ... c Min unsat cost LB: 57583 ... c Min unsat cost LB: 57584 ... c Min unsat cost LB: 57585 ... c Min unsat cost LB: 57586 ... c Min unsat cost LB: 57587 ... c Min unsat cost LB: 57588 ... c Min unsat cost LB: 57589 ... c Min unsat cost LB: 57591 ... c Min unsat cost LB: 57592 ... c Min unsat cost LB: 57593 ... c Min unsat cost LB: 57595 ... c Min unsat cost LB: 57598 ... c Min unsat cost LB: 57602 ... c Min unsat cost LB: 57603 ... c Min unsat cost LB: 57604 ... c Min unsat cost LB: 57605 ... c Min unsat cost LB: 57611 ... c Min unsat cost LB: 57614 ... c Min unsat cost LB: 57615 ... c Min unsat cost LB: 57617 ... c Min unsat cost LB: 57618 ... c Min unsat cost LB: 57619 ... c Min unsat cost LB: 57620 ... c Min unsat cost LB: 57621 ... c Min unsat cost LB: 57622 ... c Min unsat cost LB: 57623 ... c Min unsat cost LB: 57624 ... c Min unsat cost LB: 57625 ... c Min unsat cost LB: 57626 ... c Min unsat cost LB: 57627 ... c Min unsat cost LB: 57628 ... c Min unsat cost LB: 57629 ... c Min unsat cost LB: 57630 ... c Min unsat cost LB: 57631 ... c Min unsat cost LB: 57632 ... c Min unsat cost LB: 57633 ... c Min unsat cost LB: 57634 ... c Min unsat cost LB: 57635 ... c Min unsat cost LB: 57636 ... c Min unsat cost LB: 57637 ... c Min unsat cost LB: 57638 ... c Min unsat cost LB: 57639 ... c Min unsat cost LB: 57640 ... c Min unsat cost LB: 57644 ... c Min unsat cost LB: 57645 ... c Min unsat cost LB: 57648 ... c Min unsat cost LB: 57651 ... c Min unsat cost LB: 57652 ... c Min unsat cost LB: 57655 ... c Min unsat cost LB: 57666 ... c Min unsat cost LB: 57668 ... c Min unsat cost LB: 57669 ... c Min unsat cost LB: 57675 ... c Min unsat cost LB: 57679 ... c Min unsat cost LB: 57680 ... c Min unsat cost LB: 57684 ... c Min unsat cost LB: 57686 ... c Min unsat cost LB: 57691 ... c Min unsat cost LB: 57692 ... c Min unsat cost LB: 57693 ... c Min unsat cost LB: 57694 ... c Min unsat cost LB: 57695 ... c Min unsat cost LB: 57696 ... c Min unsat cost LB: 57697 ... c Min unsat cost LB: 57704 ... c Min unsat cost LB: 57711 ... c Min unsat cost LB: 57712 ... c Min unsat cost LB: 57713 ... c Min unsat cost LB: 57714 ... c Min unsat cost LB: 57715 ... c Min unsat cost LB: 57719 ... c Min unsat cost LB: 57720 ... c Min unsat cost LB: 57721 ... c Min unsat cost LB: 57722 ... c Min unsat cost LB: 57723 ... c Min unsat cost LB: 57724 ... c Min unsat cost LB: 57725 ... c Min unsat cost LB: 57726 ... c Min unsat cost LB: 57727 ... c Min unsat cost LB: 57728 ... c Min unsat cost LB: 57729 ... c Min unsat cost LB: 57730 ... c Min unsat cost LB: 57731 ... c Min unsat cost LB: 57732 ... c Min unsat cost LB: 57733 ... c Min unsat cost LB: 57734 ... c Min unsat cost LB: 57735 ... c Min unsat cost LB: 57736 ... c Min unsat cost LB: 57737 ... c Min unsat cost LB: 57738 ... c Min unsat cost LB: 57739 ... c Min unsat cost LB: 57740 ... c Min unsat cost LB: 57741 ... c Min unsat cost LB: 57742 ... c Min unsat cost LB: 57743 ... c Min unsat cost LB: 57744 ... c Min unsat cost LB: 57745 ... c Min unsat cost LB: 57746 ... c Min unsat cost LB: 57747 ... c Min unsat cost LB: 57748 ... c Min unsat cost LB: 57749 ... c Min unsat cost LB: 57750 ... c Min unsat cost LB: 57751 ... c Min unsat cost LB: 57752 ... c Min unsat cost LB: 57753 ... c Min unsat cost LB: 57754 ... c Min unsat cost LB: 57755 ... c Min unsat cost LB: 57756 ... c Min unsat cost LB: 57757 ... c Min unsat cost LB: 57758 ... c Min unsat cost LB: 57759 ... c Min unsat cost LB: 57760 ... c Min unsat cost LB: 57761 ... c Min unsat cost LB: 57762 ... c Min unsat cost LB: 57763 ... c Min unsat cost LB: 57764 ... c Min unsat cost LB: 57765 ... c Min unsat cost LB: 57766 ... c Min unsat cost LB: 57767 ... c Min unsat cost LB: 57768 ... c Min unsat cost LB: 57769 ... c Min unsat cost LB: 57770 ... c Min unsat cost LB: 57771 ... c Min unsat cost LB: 57772 ... c Min unsat cost LB: 57773 ... c Min unsat cost LB: 57774 ... c Min unsat cost LB: 57775 ... c Min unsat cost LB: 57776 ... c Min unsat cost LB: 57777 ... c Min unsat cost LB: 57778 ... c Min unsat cost LB: 57779 ... c Min unsat cost LB: 57781 ... c Min unsat cost LB: 57782 ... c Min unsat cost LB: 57783 ... c Min unsat cost LB: 57784 ... c Min unsat cost LB: 57785 ... c Min unsat cost LB: 57786 ... c Min unsat cost LB: 57787 ... c Min unsat cost LB: 57788 ... c Min unsat cost LB: 57789 ... c Min unsat cost LB: 57790 ... c Min unsat cost LB: 57791 ... c Min unsat cost LB: 57792 ... c Min unsat cost LB: 57793 ... c Min unsat cost LB: 57794 ... c Min unsat cost LB: 57795 ... c Min unsat cost LB: 57796 ... c Min unsat cost LB: 57797 ... c Min unsat cost LB: 57798 ... c Min unsat cost LB: 57801 ... c Min unsat cost LB: 57802 ... c Min unsat cost LB: 57803 ... c Min unsat cost LB: 57804 ... c Min unsat cost LB: 57805 ... c Min unsat cost LB: 58113 ... c Min unsat cost LB: 58115 ... c Min unsat cost LB: 58116 ... c Min unsat cost LB: 58117 ... c Min unsat cost LB: 58118 ... c Min unsat cost LB: 58119 ... c Min unsat cost LB: 58120 ... c Min unsat cost LB: 58123 ... c Min unsat cost LB: 58125 ... c Min unsat cost LB: 58135 ... c Min unsat cost LB: 58136 ... c Min unsat cost LB: 58137 ... c Min unsat cost LB: 58139 ... c Min unsat cost LB: 58140 ... c Min unsat cost LB: 58141 ... c Min unsat cost LB: 58142 ... c Min unsat cost LB: 58143 ... c Min unsat cost LB: 58149 ... c Min unsat cost LB: 58150 ... c Min unsat cost LB: 58151 ... c Min unsat cost LB: 58154 ... c Min unsat cost LB: 58155 ... c Min unsat cost LB: 58156 ... c Min unsat cost LB: 58157 ... c Min unsat cost LB: 58158 ... c Min unsat cost LB: 58159 ... c Min unsat cost LB: 58216 ... c Min unsat cost LB: 58228 ... c Min unsat cost LB: 58235 ... c Min unsat cost LB: 58256 ... c Min unsat cost LB: 58257 ... c Min unsat cost LB: 58258 ... c Min unsat cost LB: 58259 ... c Min unsat cost LB: 58260 ... c Min unsat cost LB: 58261 ... c Min unsat cost LB: 58263 ... c Min unsat cost LB: 58264 ... c Min unsat cost LB: 58265 ... c Min unsat cost LB: 58269 ... c Min unsat cost LB: 58270 ... c Min unsat cost LB: 58271 ... c Min unsat cost LB: 58272 ... c Min unsat cost LB: 58273 ... c Min unsat cost LB: 58274 ... c Min unsat cost LB: 58275 ... c Min unsat cost LB: 58300 ... c Min unsat cost LB: 58301 ... c Min unsat cost LB: 58303 ... c Min unsat cost LB: 58305 ... c Min unsat cost LB: 58306 ... c Min unsat cost LB: 58350 ... c Min unsat cost LB: 58364 ... c Min unsat cost LB: 58368 ... c Min unsat cost LB: 58476 ... c Min unsat cost LB: 58477 ... c Min unsat cost LB: 58478 ... c Min unsat cost LB: 58479 ... c Min unsat cost LB: 58480 ... c Min unsat cost LB: 58481 ... c Min unsat cost LB: 58482 ... c Min unsat cost LB: 58483 ... c Min unsat cost LB: 58484 ... c Min unsat cost LB: 58485 ... c Min unsat cost LB: 58486 ... c Min unsat cost LB: 58487 ... c Min unsat cost LB: 58488 ... c Min unsat cost LB: 58489 ... c Min unsat cost LB: 58490 ... c Min unsat cost LB: 58491 ... c Min unsat cost LB: 58493 ... c Min unsat cost LB: 58494 ... c Min unsat cost LB: 58495 ... c Min unsat cost LB: 58496 ... c Min unsat cost LB: 58497 ... c Min unsat cost LB: 58500 ... c Min unsat cost LB: 58501 ... c Min unsat cost LB: 58502 ... c Min unsat cost LB: 58503 ... c Min unsat cost LB: 58504 ... c Min unsat cost LB: 58505 ... c Min unsat cost LB: 58506 ... c Min unsat cost LB: 58507 ... c Min unsat cost LB: 58508 ... c Min unsat cost LB: 58509 ... c Min unsat cost LB: 58510 ... c Min unsat cost LB: 58511 ... c Min unsat cost LB: 58512 ... c Min unsat cost LB: 58513 ... c Min unsat cost LB: 58514 ... c Min unsat cost LB: 58515 ... c Min unsat cost LB: 58516 ... c Min unsat cost LB: 58519 ... c Min unsat cost LB: 58520 ... c Min unsat cost LB: 58521 ... c Min unsat cost LB: 58523 ... c Min unsat cost LB: 58524 ... c Min unsat cost LB: 58525 ... c Min unsat cost LB: 58526 ... c Min unsat cost LB: 58527 ... c Min unsat cost LB: 58528 ... c Min unsat cost LB: 58530 ... c Min unsat cost LB: 58531 ... c Min unsat cost LB: 58534 ... c Min unsat cost LB: 58535 ... c Min unsat cost LB: 58536 ... c Min unsat cost LB: 58537 ... c Min unsat cost LB: 58538 ... c Min unsat cost LB: 58541 ... c Min unsat cost LB: 58542 ... c Min unsat cost LB: 58543 ... c Min unsat cost LB: 58544 ... c Min unsat cost LB: 58545 ... c Min unsat cost LB: 58546 ... c Min unsat cost LB: 58547 ... c Min unsat cost LB: 58548 ... c Min unsat cost LB: 58549 ... c Min unsat cost LB: 58550 ... c Min unsat cost LB: 58551 ... c Min unsat cost LB: 58552 ... c Min unsat cost LB: 58556 ... c Min unsat cost LB: 58557 ... c Min unsat cost LB: 58559 ... c Min unsat cost LB: 58561 ... c Min unsat cost LB: 58562 ... c Min unsat cost LB: 58563 ... c Min unsat cost LB: 58564 ... c Min unsat cost LB: 58565 ... c Min unsat cost LB: 58566 ... c Min unsat cost LB: 58567 ... c Min unsat cost LB: 58568 ... c Min unsat cost LB: 58570 ... c Min unsat cost LB: 58571 ... c Min unsat cost LB: 58572 ... c Min unsat cost LB: 58573 ... c Min unsat cost LB: 58574 ... c Min unsat cost LB: 58575 ... c Min unsat cost LB: 58576 ... c Min unsat cost LB: 58577 ... c Min unsat cost LB: 58578 ... c Min unsat cost LB: 58579 ... c Min unsat cost LB: 58580 ... c Min unsat cost LB: 58581 ... c Min unsat cost LB: 58582 ... c Min unsat cost LB: 58583 ... c Min unsat cost LB: 58584 ... c Min unsat cost LB: 58585 ... c Min unsat cost LB: 58586 ... c Min unsat cost LB: 58587 ... c Min unsat cost LB: 58588 ... c Min unsat cost LB: 58589 ... c Min unsat cost LB: 58590 ... c Min unsat cost LB: 58591 ... c Min unsat cost LB: 58592 ... c Min unsat cost LB: 58593 ... c Min unsat cost LB: 58594 ... c Min unsat cost LB: 58595 ... c Min unsat cost LB: 58596 ... c Min unsat cost LB: 58597 ... c Min unsat cost LB: 58598 ... c Min unsat cost LB: 58599 ... c Min unsat cost LB: 58600 ... c Min unsat cost LB: 58601 ... c Min unsat cost LB: 58602 ... c Min unsat cost LB: 58603 ... c Min unsat cost LB: 58604 ... c Min unsat cost LB: 58605 ... c Min unsat cost LB: 58606 ... c Min unsat cost LB: 58607 ... c Min unsat cost LB: 58608 ... c Min unsat cost LB: 58609 ... c Min unsat cost LB: 58610 ... c Min unsat cost LB: 58611 ... c Min unsat cost LB: 58612 ... c Min unsat cost LB: 58613 ... c Min unsat cost LB: 58614 ... c Min unsat cost LB: 58615 ... c Min unsat cost LB: 58616 ... c Min unsat cost LB: 58617 ... c Min unsat cost LB: 58619 ... c Min unsat cost LB: 58620 ... c Min unsat cost LB: 58621 ... c Min unsat cost LB: 58622 ... c Min unsat cost LB: 58623 ... c Min unsat cost LB: 58624 ... c Min unsat cost LB: 58625 ... c Min unsat cost LB: 58626 ... c Min unsat cost LB: 58627 ... c Min unsat cost LB: 58628 ... c Min unsat cost LB: 58629 ... c Min unsat cost LB: 58630 ... c Min unsat cost LB: 58631 ... c Min unsat cost LB: 58632 ... c Min unsat cost LB: 58633 ... c Min unsat cost LB: 58634 ... c Min unsat cost LB: 58635 ... c Min unsat cost LB: 58636 ... c Min unsat cost LB: 58637 ... c Min unsat cost LB: 58638 ... c Min unsat cost LB: 58639 ... c Min unsat cost LB: 58640 ... c Min unsat cost LB: 58641 ... c Min unsat cost LB: 58642 ... c Min unsat cost LB: 58644 ... c Min unsat cost LB: 58645 ... c Min unsat cost LB: 58646 ... c Min unsat cost LB: 58648 ... c Min unsat cost LB: 58649 ... c Min unsat cost LB: 58650 ... c Min unsat cost LB: 58651 ... c Min unsat cost LB: 58652 ... c Min unsat cost LB: 58653 ... c Min unsat cost LB: 58654 ... c Min unsat cost LB: 58655 ... c Min unsat costKilled 1815.153u 4.583s 30:23.38 99.7% 0+0k 0+0io 0pf+0w