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_170_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_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_170_0006.txt.wcnf *** c c Min unsat cost LB: 1030 ... c Min unsat cost LB: 1623 ... c Min unsat cost LB: 1948 ... c Min unsat cost LB: 1994 ... c Min unsat cost LB: 2664 ... c Min unsat cost LB: 3119 ... c Min unsat cost LB: 3431 ... c Min unsat cost LB: 3742 ... c Min unsat cost LB: 4131 ... c Min unsat cost LB: 4586 ... c Min unsat cost LB: 4944 ... c Min unsat cost LB: 5329 ... c Min unsat cost LB: 5714 ... c Min unsat cost LB: 5774 ... c Min unsat cost LB: 6159 ... c Min unsat cost LB: 6297 ... c Min unsat cost LB: 6582 ... c Min unsat cost LB: 7159 ... c Min unsat cost LB: 7921 ... c Min unsat cost LB: 8348 ... c Min unsat cost LB: 8993 ... c Min unsat cost LB: 9520 ... c Min unsat cost LB: 9855 ... c Min unsat cost LB: 10240 ... c Min unsat cost LB: 10253 ... c Min unsat cost LB: 10708 ... c Min unsat cost LB: 11276 ... c Min unsat cost LB: 11844 ... c Min unsat cost LB: 12459 ... c Min unsat cost LB: 12914 ... c Min unsat cost LB: 13180 ... c Min unsat cost LB: 13942 ... c Min unsat cost LB: 14767 ... c Min unsat cost LB: 14992 ... c Min unsat cost LB: 15377 ... c Min unsat cost LB: 16113 ... c Min unsat cost LB: 17121 ... c Min unsat cost LB: 18129 ... c Min unsat cost LB: 18552 ... c Min unsat cost LB: 19560 ... c Min unsat cost LB: 20254 ... c Min unsat cost LB: 20342 ... c Min unsat cost LB: 20910 ... c Min unsat cost LB: 21221 ... c Min unsat cost LB: 21608 ... c Min unsat cost LB: 21833 ... c Min unsat cost LB: 22105 ... c Min unsat cost LB: 22329 ... c Min unsat cost LB: 22778 ... c Min unsat cost LB: 23072 ... c Min unsat cost LB: 23415 ... c Min unsat cost LB: 23945 ... c Min unsat cost LB: 24163 ... c Min unsat cost LB: 25171 ... c Min unsat cost LB: 25933 ... c Min unsat cost LB: 25971 ... c Min unsat cost LB: 26296 ... c Min unsat cost LB: 26769 ... c Min unsat cost LB: 27568 ... c Min unsat cost LB: 27784 ... c Min unsat cost LB: 29123 ... c Min unsat cost LB: 29793 ... c Min unsat cost LB: 30176 ... c Min unsat cost LB: 30490 ... c Min unsat cost LB: 30552 ... c Min unsat cost LB: 30675 ... c Min unsat cost LB: 30677 ... c Min unsat cost LB: 30696 ... c Min unsat cost LB: 30905 ... c Min unsat cost LB: 31435 ... c Min unsat cost LB: 31760 ... c Min unsat cost LB: 32197 ... c Min unsat cost LB: 32221 ... c Min unsat cost LB: 32606 ... c Min unsat cost LB: 32748 ... c Min unsat cost LB: 33517 ... c Min unsat cost LB: 34136 ... c Min unsat cost LB: 34706 ... c Min unsat cost LB: 35089 ... c Min unsat cost LB: 35325 ... c Min unsat cost LB: 35418 ... c Min unsat cost LB: 35710 ... c Min unsat cost LB: 36123 ... c Min unsat cost LB: 37105 ... c Min unsat cost LB: 37907 ... c Min unsat cost LB: 38889 ... c Min unsat cost LB: 39248 ... c Min unsat cost LB: 39454 ... c Min unsat cost LB: 39971 ... c Min unsat cost LB: 40251 ... c Min unsat cost LB: 40295 ... c Min unsat cost LB: 40316 ... c Min unsat cost LB: 40657 ... c Min unsat cost LB: 40940 ... c Min unsat cost LB: 41039 ... c Min unsat cost LB: 41709 ... c Min unsat cost LB: 42478 ... c Min unsat cost LB: 43098 ... c Min unsat cost LB: 43332 ... c Min unsat cost LB: 43571 ... c Min unsat cost LB: 43767 ... c Min unsat cost LB: 43913 ... c Min unsat cost LB: 44495 ... c Min unsat cost LB: 44814 ... c Min unsat cost LB: 45151 ... c Min unsat cost LB: 45575 ... c Min unsat cost LB: 45596 ... c Min unsat cost LB: 45910 ... c Min unsat cost LB: 46255 ... c Min unsat cost LB: 47057 ... c Min unsat cost LB: 47371 ... c Min unsat cost LB: 47513 ... c Min unsat cost LB: 48023 ... c Min unsat cost LB: 48215 ... c Min unsat cost LB: 48224 ... c Min unsat cost LB: 48496 ... c Min unsat cost LB: 48839 ... c Min unsat cost LB: 49201 ... c Min unsat cost LB: 49369 ... c Min unsat cost LB: 50076 ... c Min unsat cost LB: 50150 ... c Min unsat cost LB: 50421 ... c Min unsat cost LB: 50469 ... c Min unsat cost LB: 50708 ... c Min unsat cost LB: 50721 ... c Min unsat cost LB: 50931 ... c Min unsat cost LB: 51094 ... c Min unsat cost LB: 51215 ... c Min unsat cost LB: 51576 ... c Min unsat cost LB: 51667 ... c Min unsat cost LB: 51751 ... c Min unsat cost LB: 52009 ... c Min unsat cost LB: 52018 ... c Min unsat cost LB: 52147 ... c Min unsat cost LB: 52275 ... c Min unsat cost LB: 52323 ... c Min unsat cost LB: 52493 ... c Min unsat cost LB: 52778 ... c Min unsat cost LB: 53114 ... c Min unsat cost LB: 53205 ... c Min unsat cost LB: 53326 ... c Min unsat cost LB: 53417 ... c Min unsat cost LB: 53627 ... c Min unsat cost LB: 53964 ... c Min unsat cost LB: 54060 ... c Min unsat cost LB: 54104 ... c Min unsat cost LB: 54419 ... c Min unsat cost LB: 54595 ... c Min unsat cost LB: 54637 ... c Min unsat cost LB: 54685 ... c Min unsat cost LB: 54723 ... c Min unsat cost LB: 54936 ... c Min unsat cost LB: 54955 ... c Min unsat cost LB: 55192 ... c Min unsat cost LB: 55338 ... c Min unsat cost LB: 55501 ... c Min unsat cost LB: 55682 ... c Min unsat cost LB: 56071 ... c Min unsat cost LB: 56138 ... c Min unsat cost LB: 56162 ... c Min unsat cost LB: 56166 ... c Min unsat cost LB: 56221 ... c Min unsat cost LB: 56796 ... c Min unsat cost LB: 56928 ... c Min unsat cost LB: 57023 ... c Min unsat cost LB: 57211 ... c Min unsat cost LB: 57217 ... c Min unsat cost LB: 57746 ... c Min unsat cost LB: 57881 ... c Min unsat cost LB: 57980 ... c Min unsat cost LB: 58249 ... c Min unsat cost LB: 58623 ... c Min unsat cost LB: 58668 ... c Min unsat cost LB: 58823 ... c Min unsat cost LB: 58850 ... c Min unsat cost LB: 58919 ... c Min unsat cost LB: 59131 ... c Min unsat cost LB: 59158 ... c Min unsat cost LB: 59257 ... c Min unsat cost LB: 59649 ... c Min unsat cost LB: 59733 ... c Min unsat cost LB: 60041 ... c Min unsat cost LB: 60116 ... c Min unsat cost LB: 60157 ... c Min unsat cost LB: 60192 ... c Min unsat cost LB: 60334 ... c Min unsat cost LB: 60355 ... c Min unsat cost LB: 60358 ... c Min unsat cost LB: 60446 ... c Min unsat cost LB: 60476 ... c Min unsat cost LB: 60480 ... c Min unsat cost LB: 60751 ... c Min unsat cost LB: 60823 ... c Min unsat cost LB: 60985 ... c Min unsat cost LB: 60987 ... c Min unsat cost LB: 61009 ... c Min unsat cost LB: 61123 ... c Min unsat cost LB: 61155 ... c Min unsat cost LB: 61176 ... c Min unsat cost LB: 61224 ... c Min unsat cost LB: 61314 ... c Min unsat cost LB: 61323 ... c Min unsat cost LB: 61354 ... c Min unsat cost LB: 61393 ... c Min unsat cost LB: 61440 ... c Min unsat cost LB: 61471 ... c Min unsat cost LB: 61505 ... c Min unsat cost LB: 61772 ... c Min unsat cost LB: 61823 ... c Min unsat cost LB: 61869 ... c Min unsat cost LB: 61968 ... c Min unsat cost LB: 62569 ... c Min unsat cost LB: 62571 ... c Min unsat cost LB: 62580 ... c Min unsat cost LB: 62593 ... c Min unsat cost LB: 62601 ... c Min unsat cost LB: 62603 ... c Min unsat cost LB: 62765 ... c Min unsat cost LB: 62768 ... c Min unsat cost LB: 62786 ... c Min unsat cost LB: 62789 ... c Min unsat cost LB: 62806 ... c Min unsat cost LB: 62833 ... c Min unsat cost LB: 62894 ... c Min unsat cost LB: 62900 ... c Min unsat cost LB: 62906 ... c Min unsat cost LB: 62921 ... c Min unsat cost LB: 62924 ... c Min unsat cost LB: 62986 ... c Min unsat cost LB: 63121 ... c Min unsat cost LB: 63198 ... c Min unsat cost LB: 63284 ... c Min unsat cost LB: 63382 ... c Min unsat cost LB: 63549 ... c Min unsat cost LB: 63558 ... c Min unsat cost LB: 63574 ... c Min unsat cost LB: 63616 ... c Min unsat cost LB: 63832 ... c Min unsat cost LB: 63866 ... c Min unsat cost LB: 63923 ... c Min unsat cost LB: 63974 ... c Min unsat cost LB: 64017 ... c Min unsat cost LB: 64039 ... c Min unsat cost LB: 64153 ... c Min unsat cost LB: 64266 ... c Min unsat cost LB: 64310 ... c Min unsat cost LB: 64327 ... c Min unsat cost LB: 64439 ... c Min unsat cost LB: 64444 ... c Min unsat cost LB: 64473 ... c Min unsat cost LB: 64550 ... c Min unsat cost LB: 64610 ... c Min unsat cost LB: 64710 ... c Min unsat cost LB: 64739 ... c Min unsat cost LB: 64779 ... c Min unsat cost LB: 64782 ... c Min unsat cost LB: 64845 ... c Min unsat cost LB: 64850 ... c Min unsat cost LB: 64957 ... c Min unsat cost LB: 65025 ... c Min unsat cost LB: 65078 ... c Min unsat cost LB: 65157 ... c Min unsat cost LB: 65176 ... c Min unsat cost LB: 65196 ... c Min unsat cost LB: 65319 ... c Min unsat cost LB: 65426 ... c Min unsat cost LB: 65471 ... c Min unsat cost LB: 65534 ... c Min unsat cost LB: 65537 ... c Min unsat cost LB: 65561 ... c Min unsat cost LB: 65592 ... c Min unsat cost LB: 65611 ... c Min unsat cost LB: 65660 ... c Min unsat cost LB: 65666 ... c Min unsat cost LB: 65714 ... c Min unsat cost LB: 65743 ... c Min unsat cost LB: 65756 ... c Min unsat cost LB: 65851 ... c Min unsat cost LB: 65920 ... c Min unsat cost LB: 66165 ... c Min unsat cost LB: 66290 ... c Min unsat cost LB: 66317 ... c Min unsat cost LB: 66361 ... c Min unsat cost LB: 66698 ... c Min unsat cost LB: 66711 ... c Min unsat cost LB: 66755 ... c Min unsat cost LB: 66793 ... c Min unsat cost LB: 66814 ... c Min unsat cost LB: 66857 ... c Min unsat cost LB: 66912 ... c Min unsat cost LB: 66947 ... c Min unsat cost LB: 67059 ... c Min unsat cost LB: 67082 ... c Min unsat cost LB: 67102 ... c Min unsat cost LB: 67108 ... c Min unsat cost LB: 67127 ... c Min unsat cost LB: 67149 ... c Min unsat cost LB: 67219 ... c Min unsat cost LB: 67265 ... c Min unsat cost LB: 67574 ... c Min unsat cost LB: 67646 ... c Min unsat cost LB: 67715 ... c Min unsat cost LB: 67731 ... c Min unsat cost LB: 67790 ... c Min unsat cost LB: 67801 ... c Min unsat cost LB: 67946 ... c Min unsat cost LB: 67957 ... c Min unsat cost LB: 68018 ... c Min unsat cost LB: 68034 ... c Min unsat cost LB: 68103 ... c Min unsat cost LB: 68105 ... c Min unsat cost LB: 68147 ... c Min unsat cost LB: 68186 ... c Min unsat cost LB: 68198 ... c Min unsat cost LB: 68224 ... c Min unsat cost LB: 68252 ... c Min unsat cost LB: 68277 ... c Min unsat cost LB: 68287 ... c Min unsat cost LB: 68394 ... c Min unsat cost LB: 68538 ... c Min unsat cost LB: 68632 ... c Min unsat cost LB: 68773 ... c Min unsat cost LB: 68800 ... c Min unsat cost LB: 68818 ... c Min unsat cost LB: 68887 ... c Min unsat cost LB: 68902 ... c Min unsat cost LB: 68940 ... c Min unsat cost LB: 68965 ... c Min unsat cost LB: 69024 ... c Min unsat cost LB: 69063 ... c Min unsat cost LB: 69094 ... c Min unsat cost LB: 69100 ... c Min unsat cost LB: 69124 ... c Min unsat cost LB: 69125 ... c Min unsat cost LB: 69135 ... c Min unsat cost LB: 69144 ... c Min unsat cost LB: 69161 ... c Min unsat cost LB: 69170 ... c Min unsat cost LB: 69211 ... c Min unsat cost LB: 69218 ... c Min unsat cost LB: 69261 ... c Min unsat cost LB: 69264 ... c Min unsat cost LB: 69267 ... c Min unsat cost LB: 69268 ... c Min unsat cost LB: 69341 ... c Min unsat cost LB: 69347 ... c Min unsat cost LB: 69539 ... c Min unsat cost LB: 69576 ... c Min unsat cost LB: 69836 ... c Min unsat cost LB: 69935 ... c Min unsat cost LB: 69937 ... c Min unsat cost LB: 69940 ... c Min unsat cost LB: 69943 ... c Min unsat cost LB: 70001 ... c Min unsat cost LB: 70003 ... c Min unsat cost LB: 70029 ... c Min unsat cost LB: 70030 ... c Min unsat cost LB: 70057 ... c Min unsat cost LB: 70061 ... c Min unsat cost LB: 70062 ... c Min unsat cost LB: 70064 ... c Min unsat cost LB: 70101 ... c Min unsat cost LB: 70108 ... c Min unsat cost LB: 70134 ... c Min unsat cost LB: 70160 ... c Min unsat cost LB: 70216 ... c Min unsat cost LB: 70221 ... c Min unsat cost LB: 70227 ... c Min unsat cost LB: 70232 ... c Min unsat cost LB: 70233 ... c Min unsat cost LB: 70248 ... c Min unsat cost LB: 70294 ... c Min unsat cost LB: 70306 ... c Min unsat cost LB: 70313 ... c Min unsat cost LB: 70317 ... c Min unsat cost LB: 70320 ... c Min unsat cost LB: 70323 ... c Min unsat cost LB: 70341 ... c Min unsat cost LB: 70359 ... c Min unsat cost LB: 70362 ... c Min unsat cost LB: 70368 ... c Min unsat cost LB: 70380 ... c Min unsat cost LB: 70383 ... c Min unsat cost LB: 70384 ... c Min unsat cost LB: 70389 ... c Min unsat cost LB: 70391 ... c Min unsat cost LB: 70393 ... c Min unsat cost LB: 70398 ... c Min unsat cost LB: 70401 ... c Min unsat cost LB: 70410 ... c Min unsat cost LB: 70416 ... c Min unsat cost LB: 70423 ... c Min unsat cost LB: 70426 ... c Min unsat cost LB: 70428 ... c Min unsat cost LB: 70429 ... c Min unsat cost LB: 70431 ... c Min unsat cost LB: 70444 ... c Min unsat cost LB: 70445 ... c Min unsat cost LB: 70451 ... c Min unsat cost LB: 70456 ... c Min unsat cost LB: 70462 ... c Min unsat cost LB: 70475 ... c Min unsat cost LB: 70522 ... c Min unsat cost LB: 70584 ... c Min unsat cost LB: 70636 ... c Min unsat cost LB: 70646 ... c Min unsat cost LB: 70650 ... c Min unsat cost LB: 70651 ... c Min unsat cost LB: 70662 ... c Min unsat cost LB: 70705 ... c Min unsat cost LB: 70707 ... c Min unsat cost LB: 70709 ... c Min unsat cost LB: 70727 ... c Min unsat cost LB: 70785 ... c Min unsat cost LB: 70786 ... c Min unsat cost LB: 70790 ... c Min unsat cost LB: 70794 ... c Min unsat cost LB: 70800 ... c Min unsat cost LB: 70801 ... c Min unsat cost LB: 70802 ... c Min unsat cost LB: 70808 ... c Min unsat cost LB: 70828 ... c Min unsat cost LB: 70888 ... c Min unsat cost LB: 70915 ... c Min unsat cost LB: 70917 ... c Min unsat cost LB: 70931 ... c Min unsat cost LB: 70947 ... c Min unsat cost LB: 70948 ... c Min unsat cost LB: 70959 ... c Min unsat cost LB: 70975 ... c Min unsat cost LB: 70985 ... c Min unsat cost LB: 70994 ... c Min unsat cost LB: 70999 ... c Min unsat cost LB: 71000 ... c Min unsat cost LB: 71003 ... c Min unsat cost LB: 71014 ... c Min unsat cost LB: 71015 ... c Min unsat cost LB: 71020 ... c Min unsat cost LB: 71030 ... c Min unsat cost LB: 71034 ... c Min unsat cost LB: 71035 ... c Min unsat cost LB: 71095 ... c Min unsat cost LB: 71105 ... c Min unsat cost LB: 71106 ... c Min unsat cost LB: 71114 ... c Min unsat cost LB: 71118 ... c Min unsat cost LB: 71135 ... c Min unsat cost LB: 71158 ... c Min unsat cost LB: 71174 ... c Min unsat cost LB: 71200 ... c Min unsat cost LB: 71214 ... c Min unsat cost LB: 71227 ... c Min unsat cost LB: 71232 ... c Min unsat cost LB: 71233 ... c Min unsat cost LB: 71234 ... c Min unsat cost LB: 71235 ... c Min unsat cost LB: 71238 ... c Min unsat cost LB: 71239 ... c Min unsat cost LB: 71243 ... c Min unsat cost LB: 71262 ... c Min unsat cost LB: 71271 ... c Min unsat cost LB: 71272 ... c Min unsat cost LB: 71280 ... c Min unsat cost LB: 71288 ... c Min unsat cost LB: 71291 ... c Min unsat cost LB: 71293 ... c Min unsat cost LB: 71295 ... c Min unsat cost LB: 71304 ... c Min unsat cost LB: 71329 ... c Min unsat cost LB: 71333 ... c Min unsat cost LB: 71335 ... c Min unsat cost LB: 71336 ... c Min unsat cost LB: 71337 ... c Min unsat cost LB: 71356 ... c Min unsat cost LB: 71357 ... c Min unsat cost LB: 71359 ... c Min unsat cost LB: 71363 ... c Min unsat cost LB: 71368 ... c Min unsat cost LB: 71377 ... c Min unsat cost LB: 71380 ... c Min unsat cost LB: 71382 ... c Min unsat cost LB: 71384 ... c Min unsat cost LB: 71385 ... c Min unsat cost LB: 71388 ... c Min unsat cost LB: 71425 ... c Min unsat cost LB: 71429 ... c Min unsat cost LB: 71430 ... c Min unsat cost LB: 71431 ... c Min unsat cost LB: 71433 ... c Min unsat cost LB: 71442 ... c Min unsat cost LB: 71443 ... c Min unsat cost LB: 71444 ... c Min unsat cost LB: 71447 ... c Min unsat cost LB: 71457 ... c Min unsat cost LB: 71459 ... c Min unsat cost LB: 71460 ... c Min unsat cost LB: 71461 ... c Min unsat cost LB: 71463 ... c Min unsat cost LB: 71464 ... c Min unsat cost LB: 71469 ... c Min unsat cost LB: 71478 ... c Min unsat cost LB: 71479 ... c Min unsat cost LB: 71480 ... c Min unsat cost LB: 71489 ... c Min unsat cost LB: 71496 ... c Min unsat cost LB: 71507 ... c Min unsat cost LB: 71508 ... c Min unsat cost LB: 71510 ... c Min unsat cost LB: 71513 ... c Min unsat cost LB: 71514 ... c Min unsat cost LB: 71515 ... c Min unsat cost LB: 71517 ... c Min unsat cost LB: 71527 ... c Min unsat cost LB: 71529 ... c Min unsat cost LB: 71530 ... c Min unsat cost LB: 71532 ... c Min unsat cost LB: 71534 ... c Min unsat cost LB: 71535 ... c Min unsat cost LB: 71536 ... c Min unsat cost LB: 71537 ... c Min unsat cost LB: 71538 ... c Min unsat cost LB: 71539 ... c Min unsat cost LB: 71542 ... c Min unsat cost LB: 71546 ... c Min unsat cost LB: 71550 ... c Min unsat cost LB: 71553 ... c Min unsat cost LB: 71554 ... c Min unsat cost LB: 71563 ... c Min unsat cost LB: 71564 ... c Min unsat cost LB: 71568 ... c Min unsat cost LB: 71572 ... c Min unsat cost LB: 71574 ... c Min unsat cost LB: 71575 ... c Min unsat cost LB: 71577 ... c Min unsat cost LB: 71578 ... c Min unsat cost LB: 71580 ... c Min unsat cost LB: 71587 ... c Min unsat cost LB: 71588 ... c Min unsat cost LB: 71591 ... c Min unsat cost LB: 71594 ... c Min unsat cost LB: 71606 ... c Min unsat cost LB: 71637 ... c Min unsat cost LB: 71643 ... c Min unsat cost LB: 71650 ... c Min unsat cost LB: 71657 ... c Min unsat cost LB: 71658 ... c Min unsat cost LB: 71659 ... c Min unsat cost LB: 71661 ... c Min unsat cost LB: 71662 ... c Min unsat cost LB: 71664 ... c Min unsat cost LB: 71665 ... c Min unsat cost LB: 71666 ... c Min unsat cost LB: 71671 ... c Min unsat cost LB: 71672 ... c Min unsat cost LB: 71676 ... c Min unsat cost LB: 71696 ... c Min unsat cost LB: 71703 ... c Min unsat cost LB: 71704 ... c Min unsat cost LB: 71705 ... c Min unsat cost LB: 71707 ... c Min unsat cost LB: 71708 ... c Min unsat cost LB: 71709 ... c Min unsat cost LB: 71715 ... c Min unsat cost LB: 71723 ... c Min unsat cost LB: 71725 ... c Min unsat cost LB: 71729 ... c Min unsat cost LB: 71736 ... c Min unsat cost LB: 71745 ... c Min unsat cost LB: 71756 ... c Min unsat cost LB: 71757 ... c Min unsat cost LB: 71759 ... c Min unsat cost LB: 71762 ... c Min unsat cost LB: 71765 ... c Min unsat cost LB: 71767 ... c Min unsat cost LB: 71768 ... c Min unsat cost LB: 71771 ... c Min unsat cost LB: 71772 ... c Min unsat cost LB: 71773 ... c Min unsat cost LB: 71774 ... c Min unsat cost LB: 71775 ... c Min unsat cost LB: 71776 ... c Min unsat cost LB: 71778 ... c Min unsat cost LB: 71785 ... c Min unsat cost LB: 71788 ... c Min unsat cost LB: 71790 ... c Min unsat cost LB: 71791 ... c Min unsat cost LB: 71792 ... c Min unsat cost LB: 71793 ... c Min unsat cost LB: 71798 ... c Min unsat cost LB: 71808 ... c Min unsat cost LB: 71809 ... c Min unsat cost LB: 71810 ... c Min unsat cost LB: 71811 ... c Min unsat cost LB: 71818 ... c Min unsat cost LB: 71869 ... c Min unsat cost LB: 71874 ... c Min unsat cost LB: 71889 ... c Min unsat cost LB: 71890 ... c Min unsat cost LB: 71906 ... c Min unsat cost LB: 71908 ... c Min unsat cost LB: 71917 ... c Min unsat cost LB: 71927 ... c Min unsat cost LB: 71928 ... c Min unsat cost LB: 71929 ... c Min unsat cost LB: 71930 ... c Min unsat cost LB: 71931 ... c Min unsat cost LB: 71935 ... c Min unsat cost LB: 71937 ... c Min unsat cost LB: 71952 ... c Min unsat cost LB: 71954 ... c Min unsat cost LB: 71955 ... c Min unsat cost LB: 71956 ... c Min unsat cost LB: 71957 ... c Min unsat cost LB: 71958 ... c Min unsat cost LB: 71959 ... c Min unsat cost LB: 71960 ... c Min unsat cost LB: 71964 ... c Min unsat cost LB: 71965 ... c Min unsat cost LB: 71967 ... c Min unsat cost LB: 71968 ... c Min unsat cost LB: 71971 ... c Min unsat cost LB: 71984 ... c Min unsat cost LB: 71985 ... c Min unsat cost LB: 71986 ... c Min unsat cost LB: 71988 ... c Min unsat cost LB: 71989 ... c Min unsat cost LB: 71990 ... c Min unsat cost LB: 71991 ... c Min unsat cost LB: 71993 ... c Min unsat cost LB: 71994 ... c Min unsat cost LB: 71995 ... c Min unsat cost LB: 71996 ... c Min unsat cost LB: 71997 ... c Min unsat cost LB: 71998 ... c Min unsat cost LB: 71999 ... c Min unsat cost LB: 72000 ... c Min unsat cost LB: 72001 ... c Min unsat cost LB: 72002 ... c Min unsat cost LB: 72003 ... c Min unsat cost LB: 72005 ... c Min unsat cost LB: 72006 ... c Min unsat cost LB: 72008 ... c Min unsat cost LB: 72011 ... c Min unsat cost LB: 72017 ... c Min unsat cost LB: 72026 ... c Min unsat cost LB: 72028 ... c Min unsat cost LB: 72029 ... c Min unsat cost LB: 72030 ... c Min unsat cost LB: 72031 ... c Min unsat cost LB: 72032 ... c Min unsat cost LB: 72034 ... c Min unsat cost LB: 72035 ... c Min unsat cost LB: 72036 ... c Min unsat cost LB: 72037 ... c Min unsat cost LB: 72038 ... c Min unsat cost LB: 72042 ... c Min unsat cost LB: 72052 ... c Min unsat cost LB: 72056 ... c Min unsat cost LB: 72088 ... c Min unsat cost LB: 72089 ... c Min unsat cost LB: 72090 ... c Min unsat cost LB: 72091 ... c Min unsat cost LB: 72092 ... c Min unsat cost LB: 72093 ... c Min unsat cost LB: 72102 ... c Min unsat cost LB: 72106 ... c Min unsat cost LB: 72108 ... c Min unsat cost LB: 72111 ... c Min unsat cost LB: 72112 ... c Min unsat cost LB: 72113 ... c Min unsat cost LB: 72114 ... c Min unsat cost LB: 72115 ... c Min unsat cost LB: 72116 ... c Min unsat cost LB: 72119 ... c Min unsat cost LB: 72121 ... c Min unsat cost LB: 72122 ... c Min unsat cost LB: 72125 ... c Min unsat cost LB: 72137 ... c Min unsat cost LB: 72144 ... c Min unsat cost LB: 72155 ... c Min unsat cost LB: 72159 ... c Min unsat cost LB: 72164 ... c Min unsat cost LB: 72168 ... c Min unsat cost LB: 72183 ... c Min unsat cost LB: 72185 ... c Min unsat cost LB: 72186 ... c Min unsat cost LB: 72187 ... c Min unsat cost LB: 72188 ... c Min unsat cost LB: 72189 ... c Min unsat cost LB: 72190 ... c Min unsat cost LB: 72194 ... c Min unsat cost LB: 72219 ... c Min unsat cost LB: 72220 ... c Min unsat cost LB: 72222 ... c Min unsat cost LB: 72223 ... c Min unsat cost LB: 72230 ... c Min unsat cost LB: 72231 ... c Min unsat cost LB: 72232 ... c Min unsat cost LB: 72240 ... c Min unsat cost LB: 72243 ... c Min unsat cost LB: 72244 ... c Min unsat cost LB: 72246 ... c Min unsat cost LB: 72248 ... c Min unsat cost LB: 72250 ... c Min unsat cost LB: 72251 ... c Min unsat cost LB: 72269 ... c Min unsat cost LB: 72275 ... c Min unsat cost LB: 72276 ... c Min unsat cost LB: 72293 ... c Min unsat cost LB: 72294 ... c Min unsat cost LB: 72295 ... c Min unsat cost LB: 72298 ... c Min unsat cost LB: 72299 ... c Min unsat cost LB: 72300 ... c Min unsat cost LB: 72305 ... c Min unsat cost LB: 72306 ... c Min unsat cost LB: 72316 ... c Min unsat cost LB: 72318 ... c Min unsat cost LB: 72321 ... c Min unsat cost LB: 72324 ... c Min unsat cost LB: 72337 ... c Min unsat cost LB: 72346 ... c Min unsat cost LB: 72349 ... c Min unsat cost LB: 72354 ... c Min unsat cost LB: 72355 ... c Min unsat cost LB: 72358 ... c Min unsat cost LB: 72380 ... c Min unsat cost LB: 72383 ... c Min unsat cost LB: 72430 ... c Min unsat cost LB: 72431 ... c Min unsat cost LB: 72432 ... c Min unsat cost LB: 72433 ... c Min unsat cost LB: 72434 ... c Min unsat cost LB: 72435 ... c Min unsat cost LB: 72436 ... c Min unsat cost LB: 72443 ... c Min unsat cost LB: 72444 ... c Min unsat cost LB: 72446 ... c Min unsat cost LB: 72447 ... c Min unsat cost LB: 72448 ... c Min unsat cost LB: 72449 ... c Min unsat cost LB: 72458 ... c Min unsat cost LB: 72459 ... c Min unsat cost LB: 72460 ... c Min unsat cost LB: 72464 ... c Min unsat cost LB: 72465 ... c Min unsat cost LB: 72468 ... c Min unsat cost LB: 72469 ... c Min unsat cost LB: 72470 ... c Min unsat cost LB: 72471 ... c Min unsat cost LB: 72472 ... c Min unsat cost LB: 72474 ... c Min unsat cost LB: 72475 ... c Min unsat cost LB: 72476 ... c Min unsat cost LB: 72478 ... c Min unsat cost LB: 72483 ... c Min unsat cost LB: 72484 ... c Min unsat cost LB: 72485 ... c Min unsat cost LB: 72486 ... c Min unsat cost LB: 72488 ... c Min unsat cost LB: 72489 ... c Min unsat cost LB: 72490 ... c Min unsat cost LB: 72492 ... c Min unsat cost LB: 72493 ... c Min unsat cost LB: 72495 ... c Min unsat cost LB: 72496 ... c Min unsat cost LB: 72497 ... c Min unsat cost LB: 72498 ... c Min unsat cost LB: 72499 ... c Min unsat cost LB: 72500 ... c Min unsat cost LB: 72501 ... c Min unsat cost LB: 72502 ... c Min unsat cost LB: 72503 ... c Min unsat cost LB: 72504 ... c Min unsat cost LB: 72505 ... c Min unsat cost LB: 72506 ... c Min unsat cost LB: 72507 ... c Min unsat cost LB: 72508 ... c Min unsat cost LB: 72509 ... c Min unsat cost LB: 72510 ... c Min unsat cost LB: 72511 ... c Min unsat cost LB: 72512 ... c Min unsat cost LB: 72513 ... c Min unsat cost LB: 72514 ... c Min unsat cost LB: 72515 ... c Min unsat cost LB: 72516 ... c Min unsat cost LB: 72518 ... c Min unsat cost LB: 72523 ... c Min unsat cost LB: 72524 ... c Min unsat cost LB: 72525 ... c Min unsat cost LB: 72526 ... c Min unsat cost LB: 72529 ... c Min unsat cost LB: 72530 ... c Min unsat cost LB: 72531 ... c Min unsat cost LB: 72542 ... c Min unsat cost LB: 72543 ... c Min unsat cost LB: 72544 ... c Min unsat cost LB: 72545 ... c Min unsat cost LB: 72546 ... c Min unsat cost LB: 72547 ... c Min unsat cost LB: 72548 ... c Min unsat cost LB: 72549 ... c Min unsat cost LB: 72550 ... c Min unsat cost LB: 72551 ... c Min unsat cost LB: 72552 ... c Min unsat cost LB: 72554 ... c Min unsat cost LB: 72555 ... c Min unsat cost LB: 72556 ... c Min unsat cost LB: 72557 ... c Min unsat cost LB: 72558 ... c Min unsat cost LB: 72559 ... c Min unsat cost LB: 72560 ... c Min unsat cost LB: 72561 ... c Min unsat cost LB: 72565 ... c Min unsat cost LB: 72566 ... c Min unsat cost LB: 72567 ... c Min unsat cost LB: 72568 ... c Min unsat cost LB: 72569 ... c Min unsat cost LB: 72570 ... c Min unsat cost LB: 72571 ... c Min unsat cost LB: 72574 ... c Min unsat cost LB: 72625 ... c Min unsat cost LB: 72626 ... c Min unsat cost LB: 72627 ... c Min unsat cost LB: 72628 ... c Min unsat cost LB: 72629 ... c Min unsat cost LB: 72630 ... c Min unsat cost LB: 72631 ... c Min unsat cost LB: 72632 ... c Min unsat cost LB: 72637 ... c Min unsat cost LB: 72640 ... c Min unsat cost LB: 72643 ... c Min unsat cost LB: 72647 ... c Min unsat cost LB: 72648 ... c Min unsat cost LB: 72694 ... c Min unsat cost LB: 72699 ... c Min unsat cost LB: 72700 ... c Min unsat cost LB: 72704 ... c Min unsat cost LB: 72705 ... c Min unsat cost LB: 72706 ... c Min unsat cost LB: 72707 ... c Min unsat cost LB: 72708 ... c Min unsat cost LB: 72709 ... c Min unsat cost LB: 72712 ... c Min unsat cost LB: 72713 ... c Min unsat cost LB: 72715 ... c Min unsat cost LB: 72716 ... c Min unsat cost LB: 72728 ... c Min unsat cost LB: 72730 ... c Min unsat cost LB: 72731 ... c Min unsat cost LB: 72735 ... c Min unsat cost LB: 72748 ... c Min unsat cost LB: 72749 ... c Min unsat cost LB: 72750 ... c Min unsat cost LB: 72751 ... c Min unsat cost LB: 72752 ... c Min unsat cost LB: 72753 ... c Min unsat cost LB: 72754 ... c Min unsat cost LB: 72755 ... c Min unsat cost LB: 72756 ... c Min unsat cost LB: 72757 ... c Min unsat cost LB: 72758 ... c Min unsat cost LB: 72759 ... c Min unsat cost LB: 72760 ... c Min unsat cost LB: 72761 ... c Min unsat cost LB: 72763 ... c Min unsat cost LB: 72764 ... c Min unsat cost LB: 72765 ... c Min unsat cost LB: 72766 ... c Min unsat cost LB: 72768 ... c Min unsat cost LB: 72769 ... c Min unsat cost LB: 72770 ... c Min unsat cost LB: 72772 ... c Min unsat cost LB: 72773 ... c Min unsat cost LB: 72782 ... c Min unsat cost LB: 72785 ... c Min unsat cost LB: 72786 ... c Min unsat cost LB: 72843 ... c Min unsat cost LB: 72846 ... c Min unsat cost LB: 72907 ... c Min unsat cost LB: 72908 ... c Min unsat cost LB: 72909 ... c Min unsat cost LB: 72911 ... c Min unsat cost LB: 72912 ... c Min unsat cost LB: 72913 ... c Min unsat cost LB: 72914 ... c Min unsat cost LB: 72925 ... c Min unsat cost LB: 72926 ... c Min unsat cost LB: 72927 ... c Min unsat cost LB: 72929 ... c Min unsat cost LB: 72930 ... c Min unsat cost LB: 72935 ... c Min unsat cost LB: 72936 ... c Min unsat cost LB: 72937 ... c Min unsat cost LB: 72938 ... c Min unsat cost LB: 72942 ... c Min unsat cost LB: 72943 ... c Min unsat cost LB: 72944 ... c Min unsat cost LB: 72945 ... c Min unsat cost LB: 72946 ... c Min unsat cost LB: 72949 ... c Min unsat cost LB: 72950 ... c Min unsat cost LB: 72951 ... c Min unsat cost LB: 72952 ... c Min unsat cost LB: 72955 ... c Min unsat cost LB: 72956 ... c Min unsat cost LB: 72957 ... c Min unsat cost LB: 72958 ... c Min unsat cost LB: 72959 ... c Min unsat cost LB: 72960 ... c Min unsat cost LB: 72961 ... c Min unsat cost LB: 72962 ... c Min unsat cost LB: 72963 ... c Min unsat cost LB: 72964 ... c Min unsat cost LB: 72969 ... c Min unsat cost LB: 72970 ... c Min unsat cost LB: 72971 ... c Min unsat cost LB: 72972 ... c Min unsat cost LB: 72986 ... c Min unsat cost LB: 72987 ... c Min unsat cost LB: 72988 ... c Min unsat cost LB: 72989 ... c Min unsat cost LB: 72990 ... c Min unsat cost LB: 72991 ... c Min unsat cost LB: 72992 ... c Min unsat cost LB: 72993 ... c Min unsat cost LB: 72994 ... c Min unsat cost LB: 72999 ... c Min unsat cost LB: 73048 ... c Min unsat cost LB: 73049 ... c Min unsat cost LB: 73053 ... c Min unsat cost LB: 73058 ... c Min unsat cost LB: 73059 ... c Min unsat cost LB: 73063 ... c Min unsat cost LB: 73064 ... c Min unsat cost LB: 73065 ... c Min unsat cost LB: 73087 ... c Min unsat cost LB: 73089 ... c Min unsat cost LB: 73092 ... c Min unsat cost LB: 73096 ... c Min unsat cost LB: 73101 ... c Min unsat cost LB: 73111 ... c Min unsat cost LB: 73112 ... c Min unsat cost LB: 73115 ... c Min unsat cost LB: 73116 ... c Min unsat cost LB: 73117 ... c Min unsat cost LB: 73123 ... c Min unsat cost LB: 73124 ... c Min unsat cost LB: 73125 ... c Min unsat cost LB: 73126 ... c Min unsat cost LB: 73127 ... c Min unsat cost LB: 73131 ... c Min unsat cost LB: 73132 ... c Min unsat cost LB: 73133 ... c Min unsat cost LB: 73134 ... c Min unsat cost LB: 73135 ... c Min unsat cost LB: 73150 ... c Min unsat cost LB: 73151 ... c Min unsat cost LB: 73152 ... c Min unsat cost LB: 73153 ... 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: 73158 ... c Min unsat cost LB: 73159 ... c Min unsat cost LB: 73160 ... c Min unsat cost LB: 73162 ... c Min unsat cost LB: 73165 ... c Min unsat cost LB: 73166 ... c Min unsat cost LB: 73218 ... c Min unsat cost LB: 73219 ... c Min unsat cost LB: 73220 ... c Min unsat cost LB: 73221 ... c Min unsat cost LB: 73222 ... c Min unsat cost LB: 73223 ... c Min unsat cost LB: 73224 ... c Min unsat cost LB: 73225 ... c Min unsat cost LB: 73226 ... c Min unsat cost LB: 73227 ... c Min unsat cost LB: 73228 ... c Min unsat cost LB: 73229 ... c Min unsat cost LB: 73230 ... c Min unsat cost LB: 73231 ... c Min unsat cost LB: 73232 ... c Min unsat cost LB: 73233 ... c Min unsat cost LB: 73234 ... c Min unsat cost LB: 73236 ... c Min unsat cost LB: 73242 ... c Min unsat cost LB: 73247 ... c Min unsat cost LB: 73248 ... c Min unsat cost LB: 73249 ... c Min unsat cost LB: 73250 ... c Min unsat cost LB: 73252 ... c Min unsat cost LB: 73262 ... c Min unsat cost LB: 73263 ... c Min unsat cost LB: 73264 ... c Min unsat cost LB: 73265 ... c Min unsat cost LB: 73266 ... c Min unsat cost LB: 73267 ... c Min unsat cost LB: 73268 ... c Min unsat cost LB: 73269 ... c Min unsat cost LB: 73270 ... c Min unsat cost LB: 73271 ... c Min unsat cost LB: 73272 ... c Min unsat cost LB: 73273 ... c Min unsat cost LB: 73274 ... c Min unsat cost LB: 73275 ... c Min unsat cost LB: 73276 ... c Min unsat cost LB: 73277 ... c Min unsat cost LB: 73278 ... c Min unsat cost LB: 73279 ... c Min unsat cost LB: 73280 ... c Min unsat cost LB: 73281 ... c Min unsat cost LB: 73282 ... c Min unsat cost LB: 73283 ... c Min unsat cost LB: 73284 ... c Min unsat cost LB: 73285 ... c Min unsat cost LB: 73286 ... c Min unsat cost LB: 73287 ... c Min unsat cost LB: 73288 ... c Min unsat cost LB: 73289 ... c Min unsat cost LB: 73290 ... c Min unsat cost LB: 73291 ... c Min unsat cost LB: 73Killed 1814.745u 4.996s 51:29.06 58.9% 0+0k 0+0io 0pf+0w