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-60-2_network-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-7.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-60-2_network-7.net.wcnf *** c c Min unsat cost LB: 1275 ... c Min unsat cost LB: 2393 ... c Min unsat cost LB: 3789 ... c Min unsat cost LB: 4599 ... c Min unsat cost LB: 4681 ... c Min unsat cost LB: 5543 ... c Min unsat cost LB: 6998 ... c Min unsat cost LB: 7794 ... c Min unsat cost LB: 8343 ... c Min unsat cost LB: 10083 ... c Min unsat cost LB: 11128 ... c Min unsat cost LB: 11406 ... c Min unsat cost LB: 11882 ... c Min unsat cost LB: 12732 ... c Min unsat cost LB: 12775 ... c Min unsat cost LB: 14277 ... c Min unsat cost LB: 14519 ... c Min unsat cost LB: 15004 ... c Min unsat cost LB: 16039 ... c Min unsat cost LB: 17342 ... c Min unsat cost LB: 17638 ... c Min unsat cost LB: 17665 ... c Min unsat cost LB: 17853 ... c Min unsat cost LB: 17930 ... c Min unsat cost LB: 18075 ... c Min unsat cost LB: 18357 ... c Min unsat cost LB: 18413 ... c Min unsat cost LB: 18440 ... c Min unsat cost LB: 18475 ... c Min unsat cost LB: 19076 ... c Min unsat cost LB: 19966 ... c Min unsat cost LB: 20073 ... c Min unsat cost LB: 20406 ... c Min unsat cost LB: 20828 ... c Min unsat cost LB: 21019 ... c Min unsat cost LB: 22154 ... c Min unsat cost LB: 22238 ... c Min unsat cost LB: 22563 ... c Min unsat cost LB: 22769 ... c Min unsat cost LB: 23216 ... c Min unsat cost LB: 23424 ... c Min unsat cost LB: 23457 ... c Min unsat cost LB: 23537 ... c Min unsat cost LB: 23633 ... c Min unsat cost LB: 23671 ... c Min unsat cost LB: 23711 ... c Min unsat cost LB: 24224 ... c Min unsat cost LB: 24250 ... c Min unsat cost LB: 25509 ... c Min unsat cost LB: 26007 ... c Min unsat cost LB: 26148 ... c Min unsat cost LB: 26557 ... c Min unsat cost LB: 26644 ... c Min unsat cost LB: 26766 ... c Min unsat cost LB: 26875 ... c Min unsat cost LB: 27034 ... c Min unsat cost LB: 27204 ... c Min unsat cost LB: 27525 ... c Min unsat cost LB: 27591 ... c Min unsat cost LB: 27628 ... c Min unsat cost LB: 27639 ... c Min unsat cost LB: 27747 ... c Min unsat cost LB: 27989 ... c Min unsat cost LB: 28155 ... c Min unsat cost LB: 28245 ... c Min unsat cost LB: 28312 ... c Min unsat cost LB: 29458 ... c Min unsat cost LB: 29749 ... c Min unsat cost LB: 29779 ... c Min unsat cost LB: 29806 ... c Min unsat cost LB: 29937 ... c Min unsat cost LB: 30135 ... c Min unsat cost LB: 30212 ... c Min unsat cost LB: 30227 ... c Min unsat cost LB: 30421 ... c Min unsat cost LB: 30681 ... c Min unsat cost LB: 31203 ... c Min unsat cost LB: 31220 ... c Min unsat cost LB: 31347 ... c Min unsat cost LB: 31940 ... c Min unsat cost LB: 32339 ... c Min unsat cost LB: 32587 ... c Min unsat cost LB: 32630 ... c Min unsat cost LB: 32647 ... c Min unsat cost LB: 32864 ... c Min unsat cost LB: 32920 ... c Min unsat cost LB: 33216 ... c Min unsat cost LB: 33263 ... c Min unsat cost LB: 33483 ... c Min unsat cost LB: 34548 ... c Min unsat cost LB: 34650 ... c Min unsat cost LB: 34850 ... c Min unsat cost LB: 35553 ... c Min unsat cost LB: 35786 ... c Min unsat cost LB: 35818 ... c Min unsat cost LB: 36239 ... c Min unsat cost LB: 36306 ... c Min unsat cost LB: 36861 ... c Min unsat cost LB: 37519 ... c Min unsat cost LB: 37755 ... c Min unsat cost LB: 38194 ... c Min unsat cost LB: 38454 ... c Min unsat cost LB: 38537 ... c Min unsat cost LB: 38586 ... c Min unsat cost LB: 38630 ... c Min unsat cost LB: 38634 ... c Min unsat cost LB: 38663 ... c Min unsat cost LB: 38671 ... c Min unsat cost LB: 38736 ... c Min unsat cost LB: 38743 ... c Min unsat cost LB: 38852 ... c Min unsat cost LB: 38987 ... c Min unsat cost LB: 39239 ... c Min unsat cost LB: 39647 ... c Min unsat cost LB: 39756 ... c Min unsat cost LB: 39865 ... c Min unsat cost LB: 39923 ... c Min unsat cost LB: 39976 ... c Min unsat cost LB: 40033 ... c Min unsat cost LB: 40080 ... c Min unsat cost LB: 40089 ... c Min unsat cost LB: 41105 ... c Min unsat cost LB: 41116 ... c Min unsat cost LB: 41239 ... c Min unsat cost LB: 41557 ... c Min unsat cost LB: 41918 ... c Min unsat cost LB: 42016 ... c Min unsat cost LB: 42318 ... c Min unsat cost LB: 42556 ... c Min unsat cost LB: 42617 ... c Min unsat cost LB: 42647 ... c Min unsat cost LB: 43092 ... c Min unsat cost LB: 43126 ... c Min unsat cost LB: 43179 ... c Min unsat cost LB: 43200 ... c Min unsat cost LB: 43282 ... c Min unsat cost LB: 43435 ... c Min unsat cost LB: 43446 ... c Min unsat cost LB: 43569 ... c Min unsat cost LB: 43602 ... c Min unsat cost LB: 43808 ... c Min unsat cost LB: 43898 ... c Min unsat cost LB: 43912 ... c Min unsat cost LB: 43948 ... c Min unsat cost LB: 43977 ... c Min unsat cost LB: 43993 ... c Min unsat cost LB: 44028 ... c Min unsat cost LB: 44116 ... c Min unsat cost LB: 44130 ... c Min unsat cost LB: 44146 ... c Min unsat cost LB: 44151 ... c Min unsat cost LB: 44166 ... c Min unsat cost LB: 44189 ... c Min unsat cost LB: 44233 ... c Min unsat cost LB: 44248 ... c Min unsat cost LB: 44348 ... c Min unsat cost LB: 44445 ... c Min unsat cost LB: 44493 ... c Min unsat cost LB: 44528 ... c Min unsat cost LB: 44580 ... c Min unsat cost LB: 44604 ... c Min unsat cost LB: 44638 ... c Min unsat cost LB: 44651 ... c Min unsat cost LB: 44680 ... c Min unsat cost LB: 44694 ... c Min unsat cost LB: 44704 ... c Min unsat cost LB: 44718 ... c Min unsat cost LB: 44760 ... c Min unsat cost LB: 44821 ... c Min unsat cost LB: 44876 ... c Min unsat cost LB: 45057 ... c Min unsat cost LB: 45084 ... c Min unsat cost LB: 45194 ... c Min unsat cost LB: 45233 ... c Min unsat cost LB: 45312 ... c Min unsat cost LB: 45512 ... c Min unsat cost LB: 45516 ... c Min unsat cost LB: 45519 ... c Min unsat cost LB: 45520 ... c Min unsat cost LB: 45525 ... c Min unsat cost LB: 45528 ... c Min unsat cost LB: 45543 ... c Min unsat cost LB: 45643 ... c Min unsat cost LB: 45666 ... c Min unsat cost LB: 45698 ... c Min unsat cost LB: 45760 ... c Min unsat cost LB: 45826 ... c Min unsat cost LB: 45827 ... c Min unsat cost LB: 45950 ... c Min unsat cost LB: 46078 ... c Min unsat cost LB: 46087 ... c Min unsat cost LB: 46098 ... c Min unsat cost LB: 46100 ... c Min unsat cost LB: 46105 ... c Min unsat cost LB: 46110 ... c Min unsat cost LB: 46180 ... c Min unsat cost LB: 46229 ... c Min unsat cost LB: 46278 ... c Min unsat cost LB: 46290 ... c Min unsat cost LB: 46347 ... c Min unsat cost LB: 46361 ... c Min unsat cost LB: 46365 ... c Min unsat cost LB: 46366 ... c Min unsat cost LB: 46369 ... c Min unsat cost LB: 46399 ... c Min unsat cost LB: 46474 ... c Min unsat cost LB: 46518 ... c Min unsat cost LB: 46775 ... c Min unsat cost LB: 47463 ... c Min unsat cost LB: 47505 ... c Min unsat cost LB: 47581 ... c Min unsat cost LB: 47651 ... c Min unsat cost LB: 47840 ... c Min unsat cost LB: 48027 ... c Min unsat cost LB: 48035 ... c Min unsat cost LB: 48078 ... c Min unsat cost LB: 48133 ... c Min unsat cost LB: 48149 ... c Min unsat cost LB: 48181 ... c Min unsat cost LB: 48302 ... c Min unsat cost LB: 48327 ... c Min unsat cost LB: 48350 ... c Min unsat cost LB: 48606 ... c Min unsat cost LB: 48714 ... c Min unsat cost LB: 48759 ... c Min unsat cost LB: 48792 ... c Min unsat cost LB: 48880 ... c Min unsat cost LB: 48935 ... c Min unsat cost LB: 49037 ... c Min unsat cost LB: 49123 ... c Min unsat cost LB: 49191 ... c Min unsat cost LB: 49260 ... c Min unsat cost LB: 49328 ... c Min unsat cost LB: 49623 ... c Min unsat cost LB: 49667 ... c Min unsat cost LB: 49686 ... c Min unsat cost LB: 49751 ... c Min unsat cost LB: 49810 ... c Min unsat cost LB: 49879 ... c Min unsat cost LB: 49883 ... c Min unsat cost LB: 49948 ... c Min unsat cost LB: 50016 ... c Min unsat cost LB: 50046 ... c Min unsat cost LB: 50240 ... c Min unsat cost LB: 50265 ... c Min unsat cost LB: 50571 ... c Min unsat cost LB: 50763 ... c Min unsat cost LB: 50767 ... c Min unsat cost LB: 50811 ... c Min unsat cost LB: 50830 ... c Min unsat cost LB: 50871 ... c Min unsat cost LB: 50893 ... c Min unsat cost LB: 50895 ... c Min unsat cost LB: 50936 ... c Min unsat cost LB: 51116 ... c Min unsat cost LB: 51127 ... c Min unsat cost LB: 51141 ... c Min unsat cost LB: 51185 ... c Min unsat cost LB: 51206 ... c Min unsat cost LB: 51244 ... c Min unsat cost LB: 51250 ... c Min unsat cost LB: 51269 ... c Min unsat cost LB: 51318 ... c Min unsat cost LB: 51340 ... c Min unsat cost LB: 51344 ... c Min unsat cost LB: 51346 ... c Min unsat cost LB: 51481 ... c Min unsat cost LB: 51482 ... c Min unsat cost LB: 51499 ... c Min unsat cost LB: 51521 ... c Min unsat cost LB: 51537 ... c Min unsat cost LB: 51548 ... c Min unsat cost LB: 51550 ... c Min unsat cost LB: 51671 ... c Min unsat cost LB: 51730 ... c Min unsat cost LB: 51744 ... c Min unsat cost LB: 51773 ... c Min unsat cost LB: 51786 ... c Min unsat cost LB: 51790 ... c Min unsat cost LB: 51900 ... c Min unsat cost LB: 51925 ... c Min unsat cost LB: 51937 ... c Min unsat cost LB: 52010 ... c Min unsat cost LB: 52026 ... c Min unsat cost LB: 52068 ... c Min unsat cost LB: 52073 ... c Min unsat cost LB: 52105 ... c Min unsat cost LB: 52240 ... c Min unsat cost LB: 52271 ... c Min unsat cost LB: 52455 ... c Min unsat cost LB: 52505 ... c Min unsat cost LB: 52816 ... c Min unsat cost LB: 52880 ... c Min unsat cost LB: 52909 ... c Min unsat cost LB: 52917 ... c Min unsat cost LB: 52923 ... c Min unsat cost LB: 52924 ... c Min unsat cost LB: 52989 ... c Min unsat cost LB: 52990 ... c Min unsat cost LB: 53102 ... c Min unsat cost LB: 53256 ... c Min unsat cost LB: 53309 ... c Min unsat cost LB: 53366 ... c Min unsat cost LB: 53390 ... c Min unsat cost LB: 53394 ... c Min unsat cost LB: 53419 ... c Min unsat cost LB: 53448 ... c Min unsat cost LB: 53450 ... c Min unsat cost LB: 53451 ... c Min unsat cost LB: 53453 ... c Min unsat cost LB: 53455 ... c Min unsat cost LB: 53469 ... c Min unsat cost LB: 53477 ... c Min unsat cost LB: 53482 ... c Min unsat cost LB: 53577 ... c Min unsat cost LB: 53639 ... c Min unsat cost LB: 53640 ... c Min unsat cost LB: 53645 ... c Min unsat cost LB: 53665 ... c Min unsat cost LB: 53780 ... c Min unsat cost LB: 53839 ... c Min unsat cost LB: 53888 ... c Min unsat cost LB: 53927 ... c Min unsat cost LB: 53928 ... c Min unsat cost LB: 53942 ... c Min unsat cost LB: 53964 ... c Min unsat cost LB: 53988 ... c Min unsat cost LB: 54007 ... c Min unsat cost LB: 54012 ... c Min unsat cost LB: 54023 ... c Min unsat cost LB: 54044 ... c Min unsat cost LB: 54096 ... c Min unsat cost LB: 54108 ... c Min unsat cost LB: 54117 ... c Min unsat cost LB: 54121 ... c Min unsat cost LB: 54122 ... c Min unsat cost LB: 54126 ... c Min unsat cost LB: 54136 ... c Min unsat cost LB: 54142 ... c Min unsat cost LB: 54148 ... c Min unsat cost LB: 54149 ... c Min unsat cost LB: 54157 ... c Min unsat cost LB: 54176 ... c Min unsat cost LB: 54180 ... c Min unsat cost LB: 54184 ... c Min unsat cost LB: 54185 ... c Min unsat cost LB: 54188 ... c Min unsat cost LB: 54189 ... c Min unsat cost LB: 54213 ... c Min unsat cost LB: 54225 ... c Min unsat cost LB: 54231 ... c Min unsat cost LB: 54246 ... c Min unsat cost LB: 54250 ... c Min unsat cost LB: 54268 ... c Min unsat cost LB: 54281 ... c Min unsat cost LB: 54286 ... c Min unsat cost LB: 54287 ... c Min unsat cost LB: 54563 ... c Min unsat cost LB: 54774 ... c Min unsat cost LB: 54777 ... c Min unsat cost LB: 54796 ... c Min unsat cost LB: 54801 ... c Min unsat cost LB: 54805 ... c Min unsat cost LB: 54806 ... c Min unsat cost LB: 54810 ... c Min unsat cost LB: 54815 ... c Min unsat cost LB: 54846 ... c Min unsat cost LB: 54874 ... c Min unsat cost LB: 54875 ... c Min unsat cost LB: 54895 ... c Min unsat cost LB: 54905 ... c Min unsat cost LB: 54922 ... c Min unsat cost LB: 54925 ... c Min unsat cost LB: 54954 ... c Min unsat cost LB: 54963 ... c Min unsat cost LB: 55077 ... c Min unsat cost LB: 55078 ... c Min unsat cost LB: 55086 ... c Min unsat cost LB: 55100 ... c Min unsat cost LB: 55112 ... c Min unsat cost LB: 55115 ... c Min unsat cost LB: 55121 ... c Min unsat cost LB: 55127 ... c Min unsat cost LB: 55151 ... c Min unsat cost LB: 55152 ... c Min unsat cost LB: 55191 ... c Min unsat cost LB: 55197 ... c Min unsat cost LB: 55210 ... c Min unsat cost LB: 55215 ... c Min unsat cost LB: 55216 ... c Min unsat cost LB: 55220 ... c Min unsat cost LB: 55221 ... c Min unsat cost LB: 55240 ... c Min unsat cost LB: 55244 ... c Min unsat cost LB: 55265 ... c Min unsat cost LB: 55268 ... c Min unsat cost LB: 55269 ... c Min unsat cost LB: 55270 ... c Min unsat cost LB: 55273 ... c Min unsat cost LB: 55307 ... c Min unsat cost LB: 55315 ... c Min unsat cost LB: 55321 ... c Min unsat cost LB: 55323 ... c Min unsat cost LB: 55329 ... c Min unsat cost LB: 55334 ... c Min unsat cost LB: 55338 ... c Min unsat cost LB: 55339 ... c Min unsat cost LB: 55344 ... c Min unsat cost LB: 55347 ... c Min unsat cost LB: 55348 ... c Min unsat cost LB: 55349 ... c Min unsat cost LB: 55352 ... c Min unsat cost LB: 55354 ... c Min unsat cost LB: 55358 ... c Min unsat cost LB: 55360 ... c Min unsat cost LB: 55365 ... c Min unsat cost LB: 55368 ... c Min unsat cost LB: 55369 ... c Min unsat cost LB: 55370 ... c Min unsat cost LB: 55375 ... c Min unsat cost LB: 55377 ... c Min unsat cost LB: 55378 ... c Min unsat cost LB: 55379 ... c Min unsat cost LB: 55380 ... c Min unsat cost LB: 55381 ... c Min unsat cost LB: 55382 ... c Min unsat cost LB: 55385 ... c Min unsat cost LB: 55386 ... c Min unsat cost LB: 55387 ... c Min unsat cost LB: 55388 ... c Min unsat cost LB: 55389 ... c Min unsat cost LB: 55394 ... c Min unsat cost LB: 55396 ... c Min unsat cost LB: 55400 ... c Min unsat cost LB: 55405 ... c Min unsat cost LB: 55408 ... c Min unsat cost LB: 55411 ... c Min unsat cost LB: 55415 ... c Min unsat cost LB: 55417 ... c Min unsat cost LB: 55421 ... c Min unsat cost LB: 55423 ... c Min unsat cost LB: 55424 ... c Min unsat cost LB: 55425 ... c Min unsat cost LB: 55427 ... c Min unsat cost LB: 55432 ... c Min unsat cost LB: 55433 ... c Min unsat cost LB: 55439 ... c Min unsat cost LB: 55442 ... o 55442 s OPTIMUM FOUND v -1 -2 3 -4 -5 -6 7 8 -9 -10 -11 12 -13 -14 15 -16 -17 -18 19 -20 21 -22 23 -24 -25 26 -27 -28 -29 30 31 -32 -33 -34 -35 36 -37 -38 39 -40 41 -42 -43 44 -45 46 -47 -48 49 -50 -51 -52 -53 54 -55 -56 -57 58 59 -60 -61 -62 63 -64 -65 -66 67 68 -69 -70 -71 72 -73 -74 75 76 -77 78 -79 -80 81 82 -83 -84 -85 -86 -87 88 -89 90 -91 -92 -93 -94 95 96 -97 -98 -99 -100 -101 102 -103 -104 105 -106 -107 108 -109 -110 -111 112 -113 114 -115 116 -117 -118 -119 120 121 -122 -123 124 -125 -126 -127 128 -129 -130 131 -132 133 -134 -135 -136 137 -138 -139 140 -141 -142 143 144 -145 -146 147 -148 -149 150 -151 -152 -153 154 -155 -156 157 -158 159 -160 -161 c CPU Time: 175.278 175.353u 0.538s 2:55.89 99.9% 0+0k 0+0io 0pf+0w