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_KnotPipatsrisawat_random-net-80-2_network-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-3.net.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/KnotPipatsrisawat/random-net-80-2_network-3.net.wcnf *** c c Min unsat cost LB: 280 ... c Min unsat cost LB: 1395 ... c Min unsat cost LB: 1961 ... c Min unsat cost LB: 3129 ... c Min unsat cost LB: 3270 ... c Min unsat cost LB: 3906 ... c Min unsat cost LB: 4346 ... c Min unsat cost LB: 5591 ... c Min unsat cost LB: 5724 ... c Min unsat cost LB: 6399 ... c Min unsat cost LB: 7240 ... c Min unsat cost LB: 8663 ... c Min unsat cost LB: 8859 ... c Min unsat cost LB: 9917 ... c Min unsat cost LB: 9990 ... c Min unsat cost LB: 10187 ... c Min unsat cost LB: 10753 ... c Min unsat cost LB: 10817 ... c Min unsat cost LB: 10890 ... c Min unsat cost LB: 11256 ... c Min unsat cost LB: 11409 ... c Min unsat cost LB: 11620 ... c Min unsat cost LB: 11888 ... c Min unsat cost LB: 11897 ... c Min unsat cost LB: 11931 ... c Min unsat cost LB: 12494 ... c Min unsat cost LB: 12665 ... c Min unsat cost LB: 12876 ... c Min unsat cost LB: 12965 ... c Min unsat cost LB: 13029 ... c Min unsat cost LB: 13064 ... c Min unsat cost LB: 13173 ... c Min unsat cost LB: 13384 ... c Min unsat cost LB: 13432 ... c Min unsat cost LB: 14381 ... c Min unsat cost LB: 14534 ... c Min unsat cost LB: 14575 ... c Min unsat cost LB: 14968 ... c Min unsat cost LB: 15237 ... c Min unsat cost LB: 15574 ... c Min unsat cost LB: 15577 ... c Min unsat cost LB: 15590 ... c Min unsat cost LB: 15615 ... c Min unsat cost LB: 15636 ... c Min unsat cost LB: 15648 ... c Min unsat cost LB: 15712 ... c Min unsat cost LB: 15803 ... c Min unsat cost LB: 16329 ... c Min unsat cost LB: 16364 ... c Min unsat cost LB: 16864 ... c Min unsat cost LB: 18084 ... c Min unsat cost LB: 18427 ... c Min unsat cost LB: 19232 ... c Min unsat cost LB: 19290 ... c Min unsat cost LB: 19955 ... c Min unsat cost LB: 20248 ... c Min unsat cost LB: 20565 ... c Min unsat cost LB: 21104 ... c Min unsat cost LB: 21275 ... c Min unsat cost LB: 21636 ... c Min unsat cost LB: 21667 ... c Min unsat cost LB: 21993 ... c Min unsat cost LB: 22196 ... c Min unsat cost LB: 22357 ... c Min unsat cost LB: 22393 ... c Min unsat cost LB: 22398 ... c Min unsat cost LB: 22412 ... c Min unsat cost LB: 22705 ... c Min unsat cost LB: 23176 ... c Min unsat cost LB: 24399 ... c Min unsat cost LB: 24761 ... c Min unsat cost LB: 24906 ... c Min unsat cost LB: 25067 ... c Min unsat cost LB: 25533 ... c Min unsat cost LB: 26144 ... c Min unsat cost LB: 26277 ... c Min unsat cost LB: 26281 ... c Min unsat cost LB: 26333 ... c Min unsat cost LB: 26824 ... c Min unsat cost LB: 27022 ... c Min unsat cost LB: 27152 ... c Min unsat cost LB: 27200 ... c Min unsat cost LB: 27275 ... c Min unsat cost LB: 27317 ... c Min unsat cost LB: 27485 ... c Min unsat cost LB: 27714 ... c Min unsat cost LB: 27871 ... c Min unsat cost LB: 28124 ... c Min unsat cost LB: 28205 ... c Min unsat cost LB: 28245 ... c Min unsat cost LB: 28295 ... c Min unsat cost LB: 28465 ... c Min unsat cost LB: 28507 ... c Min unsat cost LB: 28675 ... c Min unsat cost LB: 29274 ... c Min unsat cost LB: 29577 ... c Min unsat cost LB: 30785 ... c Min unsat cost LB: 30834 ... c Min unsat cost LB: 31032 ... c Min unsat cost LB: 31049 ... c Min unsat cost LB: 31389 ... c Min unsat cost LB: 31410 ... c Min unsat cost LB: 31897 ... c Min unsat cost LB: 32212 ... c Min unsat cost LB: 32468 ... c Min unsat cost LB: 32603 ... c Min unsat cost LB: 32622 ... c Min unsat cost LB: 32737 ... c Min unsat cost LB: 32882 ... c Min unsat cost LB: 32979 ... c Min unsat cost LB: 33094 ... c Min unsat cost LB: 33141 ... c Min unsat cost LB: 33142 ... c Min unsat cost LB: 33159 ... c Min unsat cost LB: 33187 ... c Min unsat cost LB: 33519 ... c Min unsat cost LB: 33608 ... c Min unsat cost LB: 33639 ... c Min unsat cost LB: 33769 ... c Min unsat cost LB: 33817 ... c Min unsat cost LB: 33832 ... c Min unsat cost LB: 33872 ... c Min unsat cost LB: 33985 ... c Min unsat cost LB: 34015 ... c Min unsat cost LB: 34031 ... c Min unsat cost LB: 34209 ... c Min unsat cost LB: 34381 ... c Min unsat cost LB: 34411 ... c Min unsat cost LB: 34553 ... c Min unsat cost LB: 34696 ... c Min unsat cost LB: 34705 ... c Min unsat cost LB: 34741 ... c Min unsat cost LB: 34819 ... c Min unsat cost LB: 34905 ... c Min unsat cost LB: 34928 ... c Min unsat cost LB: 34934 ... c Min unsat cost LB: 34944 ... c Min unsat cost LB: 34974 ... c Min unsat cost LB: 35032 ... c Min unsat cost LB: 35106 ... c Min unsat cost LB: 35155 ... c Min unsat cost LB: 35216 ... c Min unsat cost LB: 35219 ... c Min unsat cost LB: 35248 ... c Min unsat cost LB: 35254 ... c Min unsat cost LB: 35265 ... c Min unsat cost LB: 35320 ... c Min unsat cost LB: 35404 ... c Min unsat cost LB: 35456 ... c Min unsat cost LB: 35626 ... c Min unsat cost LB: 35643 ... c Min unsat cost LB: 35808 ... c Min unsat cost LB: 35822 ... c Min unsat cost LB: 35988 ... c Min unsat cost LB: 36010 ... c Min unsat cost LB: 36100 ... c Min unsat cost LB: 36119 ... c Min unsat cost LB: 36315 ... c Min unsat cost LB: 36420 ... c Min unsat cost LB: 36616 ... c Min unsat cost LB: 36675 ... c Min unsat cost LB: 36717 ... c Min unsat cost LB: 36764 ... c Min unsat cost LB: 36885 ... c Min unsat cost LB: 36977 ... c Min unsat cost LB: 37295 ... c Min unsat cost LB: 37297 ... c Min unsat cost LB: 37337 ... c Min unsat cost LB: 37422 ... c Min unsat cost LB: 37481 ... c Min unsat cost LB: 37543 ... c Min unsat cost LB: 37618 ... c Min unsat cost LB: 37643 ... c Min unsat cost LB: 37685 ... c Min unsat cost LB: 37700 ... c Min unsat cost LB: 37717 ... c Min unsat cost LB: 37779 ... c Min unsat cost LB: 37819 ... c Min unsat cost LB: 37878 ... c Min unsat cost LB: 38053 ... c Min unsat cost LB: 38102 ... c Min unsat cost LB: 38142 ... c Min unsat cost LB: 38144 ... c Min unsat cost LB: 38183 ... c Min unsat cost LB: 38186 ... c Min unsat cost LB: 38229 ... c Min unsat cost LB: 38241 ... c Min unsat cost LB: 38243 ... c Min unsat cost LB: 38283 ... c Min unsat cost LB: 38302 ... c Min unsat cost LB: 38351 ... c Min unsat cost LB: 38484 ... c Min unsat cost LB: 38766 ... c Min unsat cost LB: 39119 ... c Min unsat cost LB: 39332 ... c Min unsat cost LB: 39336 ... c Min unsat cost LB: 39367 ... c Min unsat cost LB: 39426 ... c Min unsat cost LB: 39473 ... c Min unsat cost LB: 39475 ... c Min unsat cost LB: 39503 ... c Min unsat cost LB: 39537 ... c Min unsat cost LB: 39548 ... c Min unsat cost LB: 39620 ... c Min unsat cost LB: 39678 ... c Min unsat cost LB: 39679 ... c Min unsat cost LB: 40037 ... c Min unsat cost LB: 40163 ... c Min unsat cost LB: 40172 ... c Min unsat cost LB: 40187 ... c Min unsat cost LB: 40280 ... c Min unsat cost LB: 40281 ... c Min unsat cost LB: 40319 ... c Min unsat cost LB: 40384 ... c Min unsat cost LB: 40535 ... c Min unsat cost LB: 40555 ... c Min unsat cost LB: 40570 ... c Min unsat cost LB: 40632 ... c Min unsat cost LB: 40753 ... c Min unsat cost LB: 40801 ... c Min unsat cost LB: 40802 ... c Min unsat cost LB: 40841 ... c Min unsat cost LB: 40853 ... c Min unsat cost LB: 40947 ... c Min unsat cost LB: 41001 ... c Min unsat cost LB: 41058 ... c Min unsat cost LB: 41141 ... c Min unsat cost LB: 41196 ... c Min unsat cost LB: 41758 ... c Min unsat cost LB: 42185 ... c Min unsat cost LB: 42329 ... c Min unsat cost LB: 42331 ... c Min unsat cost LB: 42347 ... c Min unsat cost LB: 42477 ... c Min unsat cost LB: 42521 ... c Min unsat cost LB: 42527 ... c Min unsat cost LB: 42648 ... c Min unsat cost LB: 42692 ... c Min unsat cost LB: 42703 ... c Min unsat cost LB: 42712 ... c Min unsat cost LB: 42827 ... c Min unsat cost LB: 42988 ... c Min unsat cost LB: 43290 ... c Min unsat cost LB: 43292 ... c Min unsat cost LB: 43301 ... c Min unsat cost LB: 43306 ... c Min unsat cost LB: 43312 ... c Min unsat cost LB: 43336 ... c Min unsat cost LB: 43380 ... c Min unsat cost LB: 43420 ... c Min unsat cost LB: 43422 ... c Min unsat cost LB: 43683 ... c Min unsat cost LB: 43728 ... c Min unsat cost LB: 44005 ... c Min unsat cost LB: 44107 ... c Min unsat cost LB: 44132 ... c Min unsat cost LB: 44242 ... c Min unsat cost LB: 44281 ... c Min unsat cost LB: 44419 ... c Min unsat cost LB: 44460 ... c Min unsat cost LB: 44461 ... c Min unsat cost LB: 44470 ... c Min unsat cost LB: 44482 ... c Min unsat cost LB: 44485 ... c Min unsat cost LB: 44498 ... c Min unsat cost LB: 44499 ... c Min unsat cost LB: 44522 ... c Min unsat cost LB: 44564 ... c Min unsat cost LB: 44568 ... c Min unsat cost LB: 45579 ... c Min unsat cost LB: 45582 ... c Min unsat cost LB: 45589 ... c Min unsat cost LB: 45661 ... c Min unsat cost LB: 45718 ... c Min unsat cost LB: 45729 ... c Min unsat cost LB: 45930 ... c Min unsat cost LB: 46101 ... c Min unsat cost LB: 46177 ... c Min unsat cost LB: 46190 ... c Min unsat cost LB: 46254 ... c Min unsat cost LB: 46341 ... c Min unsat cost LB: 46347 ... c Min unsat cost LB: 46357 ... c Min unsat cost LB: 46358 ... c Min unsat cost LB: 46363 ... c Min unsat cost LB: 46384 ... c Min unsat cost LB: 46398 ... c Min unsat cost LB: 46401 ... c Min unsat cost LB: 46402 ... c Min unsat cost LB: 46403 ... c Min unsat cost LB: 46407 ... c Min unsat cost LB: 46409 ... c Min unsat cost LB: 46414 ... c Min unsat cost LB: 46428 ... c Min unsat cost LB: 46431 ... c Min unsat cost LB: 46433 ... c Min unsat cost LB: 46436 ... c Min unsat cost LB: 46439 ... c Min unsat cost LB: 46462 ... c Min unsat cost LB: 46464 ... c Min unsat cost LB: 46471 ... c Min unsat cost LB: 46478 ... c Min unsat cost LB: 46479 ... c Min unsat cost LB: 46787 ... c Min unsat cost LB: 46855 ... c Min unsat cost LB: 46863 ... c Min unsat cost LB: 46876 ... c Min unsat cost LB: 46878 ... c Min unsat cost LB: 46881 ... c Min unsat cost LB: 46882 ... c Min unsat cost LB: 46883 ... c Min unsat cost LB: 46889 ... c Min unsat cost LB: 46903 ... c Min unsat cost LB: 46907 ... c Min unsat cost LB: 46947 ... c Min unsat cost LB: 47215 ... c Min unsat cost LB: 47217 ... c Min unsat cost LB: 47218 ... c Min unsat cost LB: 47220 ... c Min unsat cost LB: 47226 ... c Min unsat cost LB: 47239 ... c Min unsat cost LB: 47243 ... c Min unsat cost LB: 47244 ... c Min unsat cost LB: 47245 ... c Min unsat cost LB: 47259 ... c Min unsat cost LB: 47265 ... c Min unsat cost LB: 47270 ... c Min unsat cost LB: 47279 ... c Min unsat cost LB: 47284 ... c Min unsat cost LB: 47286 ... c Min unsat cost LB: 47287 ... c Min unsat cost LB: 47290 ... c Min unsat cost LB: 47291 ... c Min unsat cost LB: 47293 ... c Min unsat cost LB: 47294 ... c Min unsat cost LB: 47296 ... c Min unsat cost LB: 47297 ... c Min unsat cost LB: 47317 ... c Min unsat cost LB: 47761 ... c Min unsat cost LB: 47767 ... c Min unsat cost LB: 48083 ... c Min unsat cost LB: 48084 ... c Min unsat cost LB: 48086 ... c Min unsat cost LB: 48152 ... c Min unsat cost LB: 48314 ... c Min unsat cost LB: 48315 ... c Min unsat cost LB: 48317 ... c Min unsat cost LB: 48319 ... c Min unsat cost LB: 48321 ... c Min unsat cost LB: 48323 ... c Min unsat cost LB: 48325 ... c Min unsat cost LB: 48326 ... c Min unsat cost LB: 48328 ... c Min unsat cost LB: 48329 ... c Min unsat cost LB: 48330 ... c Min unsat cost LB: 48331 ... c Min unsat cost LB: 48332 ... c Min unsat cost LB: 48334 ... c Min unsat cost LB: 48338 ... c Min unsat cost LB: 48340 ... c Min unsat cost LB: 48341 ... c Min unsat cost LB: 48342 ... c Min unsat cost LB: 48345 ... c Min unsat cost LB: 48346 ... c Min unsat cost LB: 48347 ... c Min unsat cost LB: 48348 ... c Min unsat cost LB: 48349 ... c Min unsat cost LB: 48350 ... c Min unsat cost LB: 48351 ... c Min unsat cost LB: 48352 ... c Min unsat cost LB: 48353 ... c Min unsat cost LB: 48354 ... c Min unsat cost LB: 48355 ... c Min unsat cost LB: 48356 ... c Min unsat cost LB: 48357 ... c Min unsat cost LB: 48358 ... c Min unsat cost LB: 48359 ... c Min unsat cost LB: 48609 ... c Min unsat cost LB: 48623 ... c Min unsat cost LB: 48627 ... c Min unsat cost LB: 48643 ... c Min unsat cost LB: 48794 ... c Min unsat cost LB: 48801 ... c Min unsat cost LB: 49051 ... c Min unsat cost LB: 49055 ... c Min unsat cost LB: 49071 ... c Min unsat cost LB: 49093 ... c Min unsat cost LB: 49511 ... c Min unsat cost LB: 49557 ... c Min unsat cost LB: 49599 ... c Min unsat cost LB: 49629 ... c Min unsat cost LB: 49682 ... c Min unsat cost LB: 49731 ... c Min unsat cost LB: 49804 ... c Min unsat cost LB: 49805 ... c Min unsat cost LB: 49818 ... c Min unsat cost LB: 49821 ... c Min unsat cost LB: 49867 ... c Min unsat cost LB: 49870 ... c Min unsat cost LB: 49877 ... c Min unsat cost LB: 49881 ... c Min unsat cost LB: 49985 ... c Min unsat cost LB: 50047 ... c Min unsat cost LB: 50050 ... c Min unsat cost LB: 50075 ... c Min unsat cost LB: 50083 ... c Min unsat cost LB: 50084 ... c Min unsat cost LB: 50146 ... c Min unsat cost LB: 50220 ... c Min unsat cost LB: 50234 ... c Min unsat cost LB: 50253 ... c Min unsat cost LB: 50287 ... c Min unsat cost LB: 50302 ... c Min unsat cost LB: 50309 ... c Min unsat cost LB: 50328 ... c Min unsat cost LB: 50335 ... c Min unsat cost LB: 50342 ... c Min unsat cost LB: 50363 ... c Min unsat cost LB: 50380 ... c Min unsat cost LB: 50503 ... c Min unsat cost LB: 50570 ... c Min unsat cost LB: 50585 ... c Min unsat cost LB: 50591 ... c Min unsat cost LB: 50617 ... c Min unsat cost LB: 50625 ... c Min unsat cost LB: 50637 ... c Min unsat cost LB: 50644 ... c Min unsat cost LB: 50651 ... c Min unsat cost LB: 50652 ... c Min unsat cost LB: 50671 ... c Min unsat cost LB: 50692 ... c Min unsat cost LB: 50705 ... c Min unsat cost LB: 50707 ... c Min unsat cost LB: 50755 ... c Min unsat cost LB: 50953 ... c Min unsat cost LB: 51042 ... c Min unsat cost LB: 51072 ... c Min unsat cost LB: 51172 ... c Min unsat cost LB: 51176 ... c Min unsat cost LB: 51193 ... c Min unsat cost LB: 51212 ... c Min unsat cost LB: 51225 ... c Min unsat cost LB: 51227 ... c Min unsat cost LB: 51228 ... c Min unsat cost LB: 51701 ... c Min unsat cost LB: 51940 ... c Min unsat cost LB: 52000 ... c Min unsat cost LB: 52044 ... c Min unsat cost LB: 52059 ... c Min unsat cost LB: 52167 ... c Min unsat cost LB: 52177 ... c Min unsat cost LB: 52446 ... c Min unsat cost LB: 52464 ... c Min unsat cost LB: 52603 ... c Min unsat cost LB: 52607 ... c Min unsat cost LB: 52639 ... c Min unsat cost LB: 52711 ... c Min unsat cost LB: 52806 ... c Min unsat cost LB: 52829 ... c Min unsat cost LB: 53215 ... c Min unsat cost LB: 53499 ... c Min unsat cost LB: 53545 ... c Min unsat cost LB: 53634 ... c Min unsat cost LB: 53727 ... c Min unsat cost LB: 53743 ... c Min unsat cost LB: 54080 ... c Min unsat cost LB: 54125 ... c Min unsat cost LB: 54178 ... c Min unsat cost LB: 54230 ... c Min unsat cost LB: 54362 ... c Min unsat cost LB: 54363 ... c Min unsat cost LB: 54397 ... c Min unsat cost LB: 55234 ... c Min unsat cost LB: 55313 ... c Min unsat cost LB: 55381 ... c Min unsat cost LB: 55437 ... c Min unsat cost LB: 55460 ... c Min unsat cost LB: 55521 ... c Min unsat cost LB: 55536 ... c Min unsat cost LB: 55537 ... c Min unsat cost LB: 55567 ... c Min unsat cost LB: 55589 ... c Min unsat cost LB: 55604 ... c Min unsat cost LB: 55610 ... c Min unsat cost LB: 55611 ... c Min unsat cost LB: 55623 ... c Min unsat cost LB: 55650 ... c Min unsat cost LB: 55654 ... c Min unsat cost LB: 55669 ... c Min unsat cost LB: 55819 ... c Min unsat cost LB: 55898 ... c Min unsat cost LB: 55910 ... c Min unsat cost LB: 55914 ... c Min unsat cost LB: 55920 ... c Min unsat cost LB: 55946 ... c Min unsat cost LB: 55947 ... c Min unsat cost LB: 55962 ... c Min unsat cost LB: 55992 ... c Min unsat cost LB: 55993 ... c Min unsat cost LB: 55994 ... c Min unsat cost LB: 56016 ... c Min unsat cost LB: 56031 ... c Min unsat cost LB: 56074 ... c Min unsat cost LB: 56082 ... c Min unsat cost LB: 56097 ... c Min unsat cost LB: 56119 ... c Min unsat cost LB: 56125 ... c Min unsat cost LB: 56137 ... c Min unsat cost LB: 56141 ... c Min unsat cost LB: 56142 ... c Min unsat cost LB: 56168 ... c Min unsat cost LB: 56198 ... c Min unsat cost LB: 56199 ... c Min unsat cost LB: 56211 ... c Min unsat cost LB: 56214 ... c Min unsat cost LB: 56215 ... c Min unsat cost LB: 56230 ... c Min unsat cost LB: 56250 ... c Min unsat cost LB: 56251 ... c Min unsat cost LB: 56257 ... c Min unsat cost LB: 56273 ... c Min unsat cost LB: 56285 ... c Min unsat cost LB: 56289 ... c Min unsat cost LB: 56298 ... c Min unsat cost LB: 56300 ... c Min unsat cost LB: 56301 ... c Min unsat cost LB: 56322 ... c Min unsat cost LB: 56329 ... c Min unsat cost LB: 56543 ... c Min unsat cost LB: 56690 ... c Min unsat cost LB: 56805 ... c Min unsat cost LB: 56806 ... c Min unsat cost LB: 56818 ... c Min unsat cost LB: 56886 ... c Min unsat cost LB: 57193 ... c Min unsat cost LB: 57558 ... c Min unsat cost LB: 57609 ... c Min unsat cost LB: 57716 ... c Min unsat cost LB: 57771 ... c Min unsat cost LB: 57854 ... c Min unsat cost LB: 57860 ... c Min unsat cost LB: 58038 ... c Min unsat cost LB: 58183 ... c Min unsat cost LB: 58245 ... c Min unsat cost LB: 58357 ... c Min unsat cost LB: 58380 ... c Min unsat cost LB: 58410 ... c Min unsat cost LB: 58448 ... c Min unsat cost LB: 58460 ... c Min unsat cost LB: 58501 ... c Min unsat cost LB: 58572 ... c Min unsat cost LB: 58575 ... c Min unsat cost LB: 58607 ... c Min unsat cost LB: 58690 ... c Min unsat cost LB: 58695 ... c Min unsat cost LB: 58794 ... c Min unsat cost LB: 59204 ... c Min unsat cost LB: 59435 ... c Min unsat cost LB: 59471 ... c Min unsat cost LB: 59594 ... c Min unsat cost LB: 59717 ... c Min unsat cost LB: 59843 ... c Min unsat cost LB: 59868 ... c Min unsat cost LB: 59959 ... c Min unsat cost LB: 60100 ... c Min unsat cost LB: 60186 ... c Min unsat cost LB: 60204 ... c Min unsat cost LB: 60452 ... c Min unsat cost LB: 60760 ... c Min unsat cost LB: 60856 ... c Min unsat cost LB: 60857 ... c Min unsat cost LB: 60906 ... c Min unsat cost LB: 60958 ... c Min unsat cost LB: 60959 ... c Min unsat cost LB: 60960 ... c Min unsat cost LB: 60996 ... c Min unsat cost LB: 61017 ... c Min unsat cost LB: 61055 ... c Min unsat cost LB: 61089 ... c Min unsat cost LB: 61097 ... c Min unsat cost LB: 61099 ... c Min unsat cost LB: 61103 ... c Min unsat cost LB: 61115 ... c Min unsat cost LB: 61138 ... c Min unsat cost LB: 61212 ... c Min unsat cost LB: 61253 ... c Min unsat cost LB: 61273 ... c Min unsat cost LB: 61360 ... c Min unsat cost LB: 61416 ... c Min unsat cost LB: 61515 ... c Min unsat cost LB: 61519 ... c Min unsat cost LB: 61588 ... c Min unsat cost LB: 61655 ... c Min unsat cost LB: 61759 ... c Min unsat cost LB: 61765 ... c Min unsat cost LB: 62032 ... c Min unsat cost LB: 62171 ... c Min unsat cost LB: 62270 ... c Min unsat cost LB: 62340 ... c Min unsat cost LB: 62357 ... c Min unsat cost LB: 62386 ... c Min unsat cost LB: 62403 ... c Min unsat cost LB: 62407 ... c Min unsat cost LB: 62453 ... c Min unsat cost LB: 62455 ... c Min unsat cost LB: 62456 ... c Min unsat cost LB: 62487 ... c Min unsat cost LB: 62488 ... c Min unsat cost LB: 62498 ... c Min unsat cost LB: 62543 ... c Min unsat cost LB: 62639 ... c Min unsat cost LB: 62640 ... c Min unsat cost LB: 62646 ... c Min unsat cost LB: 62648 ... c Min unsat cost LB: 62650 ... c Min unsat cost LB: 62662 ... c Min unsat cost LB: 62669 ... c Min unsat cost LB: 62675 ... c Min unsat cost LB: 62682 ... c Min unsat cost LB: 62692 ... c Min unsat cost LB: 62696 ... c Min unsat cost LB: 62700 ... c Min unsat cost LB: 62702 ... c Min unsat cost LB: 62703 ... c Min unsat cost LB: 62704 ... c Min unsat cost LB: 62719 ... c Min unsat cost LB: 62725 ... c Min unsat cost LB: 62727 ... c Min unsat cost LB: 62793 ... c Min unsat cost LB: 62804 ... c Min unsat cost LB: 62835 ... c Min unsat cost LB: 62848 ... c Min unsat cost LB: 62855 ... c Min unsat cost LB: 62859 ... c Min unsat cost LB: 62860 ... c Min unsat cost LB: 62872 ... c Min unsat cost LB: 63093 ... c Min unsat cost LB: 63160 ... c Min unsat cost LB: 63230 ... c Min unsat cost LB: 63260 ... c Min unsat cost LB: 63423 ... c Min unsat cost LB: 63500 ... c Min unsat cost LB: 63501 ... c Min unsat cost LB: 63514 ... c Min unsat cost LB: 63531 ... c Min unsat cost LB: 63546 ... c Min unsat cost LB: 63547 ... c Min unsat cost LB: 63559 ... c Min unsat cost LB: 63560 ... c Min unsat cost LB: 63584 ... c Min unsat cost LB: 63587 ... c Min unsat cost LB: 63610 ... c Min unsat cost LB: 63615 ... c Min unsat cost LB: 63616 ... c Min unsat cost LB: 63617 ... c Min unsat cost LB: 63624 ... c Min unsat cost LB: 63625 ... c Min unsat cost LB: 63626 ... c Min unsat cost LB: 63627 ... c Min unsat cost LB: 63628 ... c Min unsat cost LB: 63629 ... c Min unsat cost LB: 63630 ... c Min unsat cost LB: 63631 ... c Min unsat cost LB: 63635 ... c Min unsat cost LB: 63637 ... c Min unsat cost LB: 63639 ... c Min unsat cost LB: 63640 ... c Min unsat cost LB: 63642 ... c Min unsat cost LB: 63647 ... c Min unsat cost LB: 63648 ... c Min unsat cost LB: 63652 ... c Min unsat cost LB: 63656 ... c Min unsat cost LB: 63659 ... c Min unsat cost LB: 63669 ... c Min unsat cost LB: 63671 ... c Min unsat cost LB: 63673 ... c Min unsat cost LB: 63674 ... c Min unsat cost LB: 63676 ... c Min unsat cost LB: 63677 ... c Min unsat cost LB: 63683 ... c Min unsat cost LB: 63695 ... c Min unsat cost LB: 63702 ... c Min unsat cost LB: 63703 ... c Min unsat cost LB: 63705 ... c Min unsat cost LB: 63707 ... c Min unsat cost LB: 63714 ... c Min unsat cost LB: 63715 ... c Min unsat cost LB: 63716 ... c Min unsat cost LB: 63722 ... c Min unsat cost LB: 63724 ... c Min unsat cost LB: 63725 ... c Min unsat cost LB: 63726 ... c Min unsat cost LB: 63727 ... c Min unsat cost LB: 63728 ... c Min unsat cost LB: 63729 ... c Min unsat cost LB: 63730 ... c Min unsat cost LB: 63731 ... c Min unsat cost LB: 63733 ... c Min unsat cost LB: 63734 ... c Min unsat cost LB: 63735 ... c Min unsat cost LB: 63736 ... c Min unsat cost LB: 63737 ... c Min unsat cost LB: 63738 ... c Min unsat cost LB: 63739 ... c Min unsat cost LB: 63740 ... c Min unsat cost LB: 63741 ... c Min unsat cost LB: 63742 ... c Min unsat cost LB: 63743 ... c Min unsat cost LB: 63744 ... c Min unsat cost LB: 63745 ... c Min unsat cost LB: 63746 ... c Min unsat cost LB: 63747 ... c Min unsat cost LB: 63748 ... c Min unsat cost LB: 63749 ... c Min unsat cost LB: 63750 ... c Min unsat cost LB: 63752 ... c Min unsat cost LB: 63753 ... c Min unsat cost LB: 63754 ... c Min unsat cost LB: 63755 ... c Min unsat cost LB: 63756 ... c Min unsat cost LB: 63757 ... c Min unsat cost LB: 63758 ... c Min unsat cost LB: 63759 ... c Min unsat cost LB: 63760 ... c Min unsat cost LB: 63761 ... c Min unsat cost LB: 63762 ... c Min unsat cost LB: 63763 ... c Min unsat cost LB: 63764 ... c Min unsat cost LB: 63765 ... c Min unsat cost LB: 63766 ... c Min unsat cost LB: 63767 ... c Min unsat cost LB: 63768 ... c Min unsat cost LB: 63769 ... c Min unsat cost LB: 63770 ... c Min unsat cost LB: 63771 ... c Min unsat cost LB: 63772 ... c Min unsat cost LB: 63773 ... c Min unsat cost LB: 63774 ... c Min unsat cost LB: 63776 ... c Min unsat cost LB: 63777 ... c Min unsat cost LB: 63779 ... c Min unsat cost LB: 63780 ... c Min unsat cost LB: 63781 ... c Min unsat cost LB: 63785 ... c Min unsat cost LB: 63787 ... c Min unsat cost LB: 63789 ... c Min unsat cost LB: 63791 ... c Min unsat cost LB: 63793 ... c Min unsat cost LB: 63794 ... c Min unsat cost LB: 63795 ... c Min unsat cost LB: 63797 ... c Min unsat cost LB: 63798 ... c Min unsat cost LB: 63799 ... c Min unsat cost LB: 63801 ... c Min unsat cost LB: 63802 ... c Min unsat cost LB: 63803 ... c Min unsat cost LB: 63804 ... c Min unsat cost LB: 63805 ... c Min unsat cost LB: 63806 ... c Min unsat cost LB: 63807 ... c Min unsat cost LB: 63808 ... c Min unsat cost LB: 63809 ... c Min unsat cost LB: 63810 ... c Min unsat cost LB: 63811 ... c Min unsat cost LB: 63812 ... c Min unsat cost LB: 63813 ... c Min unsat cost LB: 63814 ... c Min unsat cost LB: 63815 ... c Min unsat cost LB: 63816 ... c Min unsat cost LB: 63817 ... c Min unsat cost LB: 63818 ... c Min unsat cost LB: 63819 ... c Min unsat cost LB: 63820 ... c Min unsat cost LB: 63821 ... c Min unsat cost LB: 63822 ... c Min unsat cost LB: 63828 ... c Min unsat cost LB: 63852 ... c Min unsat cost LB: 63862 ... c Min unsat cost LB: 63876 ... c Min unsat cost LB: 63877 ... c Min unsat cost LB: 63892 ... c Min unsat cost LB: 63898 ... c Min unsat cost LB: 63929 ... c Min unsat cost LB: 63935 ... c Min unsat cost LB: 63938 ... c Min unsat cost LB: 63941 ... c Min unsat cost LB: 63978 ... c Min unsat cost LB: 63989 ... c Min unsat cost LB: 63995 ... c Min unsat cost LB: 64047 ... c Min unsat cost LB: 64098 ... c Min unsat cost LB: 64114 ... c Min unsat cost LB: 64155 ... c Min unsat cost LB: 64163 ... c Min unsat cost LB: 64208 ... c Min unsat cost LB: 64265 ... c Min unsat cost LB: 64271 ... c Min unsat cost LB: 64363 ... c Min unsat cost LB: 64391 ... c Min unsat cost LB: 64409 ... c Min unsat cost LB: 64411 ... c Min unsat cost LB: 64417 ... c Min unsat cost LB: 64439 ... c Min unsat cost LB: 64461 ... c Min unsat cost LB: 64462 ... c Min unsat cost LB: 64463 ... c Min unsat cost LB: 64469 ... c Min unsat cost LB: 64472 ... c Min unsat cost LB: 64513 ... c Min unsat cost LB: 64617 ... c Min unsat cost LB: 64633 ... c Min unsat cost LB: 64647 ... c Min unsat cost LB: 64649 ... c Min unsat cost LB: 64658 ... c Min unsat cost LB: 64661 ... c Min unsat cost LB: 64664 ... c Min unsat cost LB: 64685 ... c Min unsat cost LB: 64691 ... c Min unsat cost LB: 64695 ... c Min unsat cost LB: 64703 ... c Min unsat cost LB: 64707 ... c Min unsat cost LB: 64722 ... c Min unsat cost LB: 64732 ... c Min unsat cost LB: 64754 ... c Min unsat cost LB: 64762 ... c Min unsat cost LB: 64765 ... c Min unsat cost LB: 64811 ... c Min unsat cost LB: 64824 ... c Min unsat cost LB: 64917 ... c Min unsat cost LB: 64974 ... c Min unsat cost LB: 64982 ... c Min unsat cost LB: 64992 ... c Min unsat cost LB: 64993 ... c Min unsat cost LB: 64994 ... c Min unsat cost LB: 65000 ... c Min unsat cost LB: 65002 ... c Min unsat cost LB: 65179 ... c Min unsat cost LB: 65384 ... c Min unsat cost LB: 65524 ... c Min unsat cost LB: 65563 ... c Min unsat cost LB: 65603 ... c Min unsat cost LB: 65632 ... c Min unsat cost LB: 65646 ... c Min unsat cost LB: 65647 ... c Min unsat cost LB: 65652 ... c Min unsat cost LB: 65654 ... c Min unsat cost LB: 65657 ... c Min unsat cost LB: 65660 ... c Min unsat cost LB: 65663 ... c Min unsat cost LB: 65672 ... c Min unsat cost LB: 65674 ... c Min unsat cost LB: 65675 ... c Min unsat cost LB: 65676 ... c Min unsat cost LB: 65682 ... c Min unsat cost LB: 65697 ... c Min unsat cost LB: 65701 ... c Min unsat cost LB: 65702 ... c Min unsat cost LB: 65703 ... c Min unsat cost LB: 65704 ... c Min unsat cost LB: 65705 ... c Min unsat cost LB: 65706 ... c Min unsat cost LB: 65707 ... c Min unsat cost LB: 65708 ... c Min unsat cost LB: 65709 ... c Min unsat cost LB: 65710 ... c Min unsat cost LB: 65711 ... c Min unsat cost LB: 65712 ... c Min unsat cost LB: 65713 ... c Min unsat cost LB: 65720 ... c Min unsat cost LB: 65723 ... c Min unsat cost LB: 65726 ... c Min unsat cost LB: 65733 ... c Min unsat cost LB: 65737 ... c Min unsat cost LB: 65739 ... c Min unsat cost LB: 65745 ... c Min unsat cost LB: 65750 ... c Min unsat cost LB: 65758 ... c Min unsat cost LB: 65759 ... c Min unsat cost LB: 65760 ... c Min unsat cost LB: 65761 ... c Min unsat cost LB: 65762 ... c Min unsat cost LB: 65767 ... c Min unsat cost LB: 65784 ... c Min unsat cost LB: 65797 ... c Min unsat cost LB: 65810 ... c Min unsat cost LB: 65816 ... c Min unsat cost LB: 65817 ... c Min unsat cost LB: 65821 ... c Min unsat cost LB: 65923 ... c Min unsat cost LB: 65962 ... c Min unsat cost LB: 65997 ... c Min unsat cost LB: 66129 ... c Min unsat cost LB: 66159 ... c Min unsat cost LB: 66198 ... c Min unsat cost LB: 66199 ... c Min unsat cost LB: 66200 ... c Min unsat cost LB: 66407 ... c Min unsat cost LB: 66533 ... c Min unsat cost LB: 66576 ... c Min unsat cost LB: 66581 ... c Min unsat cost LB: 66589 ... c Min unsat cost LB: 66590 ... c Min unsat cost LB: 66591 ... c Min unsat cost LB: 66592 ... c Min unsat cost LB: 66593 ... c Min unsat cost LB: 66594 ... c Min unsat cost LB: 66596 ... c Min unsat cost LB: 66599 ... c Min unsat cost LB: 66623 ... c Min unsat cost LB: 66626 ... c Min unsat cost LB: 66627 ... c Min unsat cost LB: 66630 ... c Min unsat cost LB: 66631 ... c Min unsat cost LB: 66633 ... c Min unsat cost LB: 66635 ... c Min unsat cost LB: 66636 ... c Min unsat cost LB: 66637 ... c Min unsat cost LB: 66639 ... c Min unsat cost LB: 66640 ... c Min unsat cost LB: 66641 ... c Min unsat cost LB: 66642 ... c Min unsat cost LB: 66643 ... c Min unsat cost LB: 66644 ... c Min unsat cost LB: 66649 ... c Min unsat cost LB: 66651 ... c Min unsat cost LB: 66654 ... c Min unsat cost LB: 66655 ... c Min unsat cost LB: 66659 ... c Min unsat cost LB: 66660 ... c Min unsat cost LB: 66661 ... c Min unsat cost LB: 66663 ... c Min unsat cost LB: 66665 ... c Min unsat cost LB: 66666 ... c Min unsat cost LB: 66667 ... c Min unsat cost LB: 66668 ... c Min unsat cost LB: 66669 ... c Min unsat cost LB: 66670 ... c Min unsat cost LB: 66671 ... c Min unsat cost LB: 66674 ... c Min unsat cost LB: 66676 ... c Min unsat cost LB: 66677 ... c Min unsat cost LB: 66683 ... c Min unsat cost LB: 66691 ... c Min unsat cost LB: 66693 ... c Min unsat cost LB: 66695 ... c Min unsat cost LB: 66710 ... c Min unsat cost LB: 66711 ... c Min unsat cost LB: 66712 ... c Min unsat cost LB: 66714 ... c Min unsat cost LB: 66716 ... c Min unsat cost LB: 66720 ... c Min unsat cost LB: 66722 ... c Min unsat cost LB: 66724 ... c Min unsat cost LB: 66734 ... c Min unsat cost LB: 66742 ... c Min unsat cost LB: 66745 ... c Min unsat cost LB: 66747 ... c Min unsat cost LB: 66781 ... c Min unsat cost LB: 66790 ... c Min unsat cost LB: 66804 ... c Min unsat cost LB: 66807 ... c Min unsat cost LB: 66811 ... c Min unsat cost LB: 66813 ... c Min unsat cost LB: 66905 ... c Min unsat cost LB: 66906 ... c Min unsat cost LB: 66907 ... c Min unsat cost LB: 66909 ... c Min unsat cost LB: 66910 ... c Min unsat cost LB: 66911 ... c Min unsat cost LB: 66913 ... c Min unsat cost LB: 66914 ... c Min unsat cost LB: 66915 ... c Min unsat cost LB: 66919 ... c Min unsat cost LB: 66921 ... c Min unsat cost LB: 66922 ... c Min unsat cost LB: 66923 ... c Min unsat cost LB: 66926 ... c Min unsat cost LB: 66927 ... c Min unsat cost LB: 66928 ... c Min unsat cost LB: 66938 ... c Min unsat cost LB: 66941 ... c Min unsat cost LB: 66944 ... c Min unsat cost LB: 66950 ... c Min unsat cost LB: 66959 ... c Min unsat cost LB: 66960 ... c Min unsat cost LB: 66967 ... c Min unsat cost LB: 66968 ... c Min unsat cost LB: 66971 ... c Min unsat cost LB: 66973 ... c Min unsat cost LB: 66974 ... c Min unsat cost LB: 66975 ... c Min unsat cost LB: 66976 ... c Min unsat cost LB: 66980 ... c Min unsat cost LB: 66984 ... c Min unsat cost LB: 66986 ... c Min unsat cost LB: 66987 ... c Min unsat cost LB: 66994 ... c Min unsat cost LB: 66996 ... c Min unsat cost LB: 66999 ... c Min unsat cost LB: 67008 ... c Min unsat cost LB: 67012 ... c Min unsat cost LB: 67019 ... c Min unsat cost LB: 67020 ... c Min unsat cost LB: 67021 ... c Min unsat cost LB: 67024 ... c Min unsat cost LB: 67025 ... c Min unsat cost LB: 67027 ... c Min unsat cost LB: 67029 ... c Min unsat cost LB: 67031 ... c Min unsat cost LB: 67032 ... c Min unsat cost LB: 67033 ... c Min unsat cost LB: 67035 ... c Min unsat cost LB: 67036 ... c Min unsat cost LB: 67037 ... c Min unsat cost LB: 67040 ... c Min unsat cost LB: 67044 ... c Min unsat cost LB: 67045 ... c Min unsat cost LB: 67046 ... c Min unsat cost LB: 67047 ... c Min unsat cost LB: 67049 ... c Min unsat cost LB: 67051 ... c Min unsat cost LB: 67053 ... c Min unsat cost LB: 67054 ... c Min unsat cost LB: 67061 ... c Min unsat costKilled 1817.571u 2.162s 30:24.07 99.7% 0+0k 0+0io 0pf+0w