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-1_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-2.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-1_network-2.net.wcnf *** c c Min unsat cost LB: 414 ... c Min unsat cost LB: 2635 ... c Min unsat cost LB: 4469 ... c Min unsat cost LB: 5413 ... c Min unsat cost LB: 7048 ... c Min unsat cost LB: 7145 ... c Min unsat cost LB: 7358 ... c Min unsat cost LB: 7634 ... c Min unsat cost LB: 8240 ... c Min unsat cost LB: 9917 ... c Min unsat cost LB: 10747 ... c Min unsat cost LB: 11187 ... c Min unsat cost LB: 11203 ... c Min unsat cost LB: 11559 ... c Min unsat cost LB: 11735 ... c Min unsat cost LB: 12401 ... c Min unsat cost LB: 13249 ... c Min unsat cost LB: 13293 ... c Min unsat cost LB: 14872 ... c Min unsat cost LB: 15036 ... c Min unsat cost LB: 15047 ... c Min unsat cost LB: 15252 ... c Min unsat cost LB: 15415 ... c Min unsat cost LB: 15627 ... c Min unsat cost LB: 15824 ... c Min unsat cost LB: 16107 ... c Min unsat cost LB: 16518 ... c Min unsat cost LB: 17033 ... c Min unsat cost LB: 17295 ... c Min unsat cost LB: 17391 ... c Min unsat cost LB: 17427 ... c Min unsat cost LB: 17697 ... c Min unsat cost LB: 18860 ... c Min unsat cost LB: 18988 ... c Min unsat cost LB: 19347 ... c Min unsat cost LB: 19974 ... c Min unsat cost LB: 20011 ... c Min unsat cost LB: 20232 ... c Min unsat cost LB: 20622 ... c Min unsat cost LB: 20666 ... c Min unsat cost LB: 20830 ... c Min unsat cost LB: 21238 ... c Min unsat cost LB: 21394 ... c Min unsat cost LB: 21620 ... c Min unsat cost LB: 21898 ... c Min unsat cost LB: 21981 ... c Min unsat cost LB: 22384 ... c Min unsat cost LB: 22410 ... c Min unsat cost LB: 22583 ... c Min unsat cost LB: 22596 ... c Min unsat cost LB: 23015 ... c Min unsat cost LB: 23063 ... c Min unsat cost LB: 23773 ... c Min unsat cost LB: 23778 ... c Min unsat cost LB: 24045 ... c Min unsat cost LB: 25806 ... c Min unsat cost LB: 25831 ... c Min unsat cost LB: 26740 ... c Min unsat cost LB: 27998 ... c Min unsat cost LB: 28036 ... c Min unsat cost LB: 28146 ... c Min unsat cost LB: 29115 ... c Min unsat cost LB: 29243 ... c Min unsat cost LB: 30154 ... c Min unsat cost LB: 30261 ... c Min unsat cost LB: 30609 ... c Min unsat cost LB: 30627 ... c Min unsat cost LB: 30738 ... c Min unsat cost LB: 30749 ... c Min unsat cost LB: 31067 ... c Min unsat cost LB: 32251 ... c Min unsat cost LB: 32657 ... c Min unsat cost LB: 33006 ... c Min unsat cost LB: 33390 ... c Min unsat cost LB: 33439 ... c Min unsat cost LB: 33870 ... c Min unsat cost LB: 33892 ... c Min unsat cost LB: 34140 ... c Min unsat cost LB: 34424 ... c Min unsat cost LB: 34804 ... c Min unsat cost LB: 35117 ... c Min unsat cost LB: 35546 ... c Min unsat cost LB: 36691 ... c Min unsat cost LB: 36953 ... c Min unsat cost LB: 37090 ... c Min unsat cost LB: 37242 ... c Min unsat cost LB: 37303 ... c Min unsat cost LB: 37404 ... c Min unsat cost LB: 37727 ... c Min unsat cost LB: 37972 ... c Min unsat cost LB: 37983 ... c Min unsat cost LB: 38624 ... c Min unsat cost LB: 39169 ... c Min unsat cost LB: 39836 ... c Min unsat cost LB: 40310 ... c Min unsat cost LB: 40656 ... c Min unsat cost LB: 40826 ... c Min unsat cost LB: 40922 ... c Min unsat cost LB: 41550 ... c Min unsat cost LB: 41911 ... c Min unsat cost LB: 42210 ... c Min unsat cost LB: 42605 ... c Min unsat cost LB: 42766 ... c Min unsat cost LB: 42896 ... c Min unsat cost LB: 43019 ... c Min unsat cost LB: 43518 ... c Min unsat cost LB: 43734 ... c Min unsat cost LB: 44089 ... c Min unsat cost LB: 44267 ... c Min unsat cost LB: 44433 ... c Min unsat cost LB: 44799 ... c Min unsat cost LB: 45123 ... c Min unsat cost LB: 45293 ... c Min unsat cost LB: 45367 ... c Min unsat cost LB: 45509 ... c Min unsat cost LB: 45556 ... c Min unsat cost LB: 45624 ... c Min unsat cost LB: 45757 ... c Min unsat cost LB: 46107 ... c Min unsat cost LB: 46271 ... c Min unsat cost LB: 46305 ... c Min unsat cost LB: 46499 ... c Min unsat cost LB: 46611 ... c Min unsat cost LB: 46714 ... c Min unsat cost LB: 46744 ... c Min unsat cost LB: 46958 ... c Min unsat cost LB: 47100 ... c Min unsat cost LB: 47891 ... c Min unsat cost LB: 47920 ... c Min unsat cost LB: 48072 ... c Min unsat cost LB: 48387 ... c Min unsat cost LB: 48762 ... c Min unsat cost LB: 48904 ... c Min unsat cost LB: 48957 ... c Min unsat cost LB: 49870 ... c Min unsat cost LB: 50069 ... c Min unsat cost LB: 50298 ... c Min unsat cost LB: 50463 ... c Min unsat cost LB: 50719 ... c Min unsat cost LB: 50753 ... c Min unsat cost LB: 50928 ... c Min unsat cost LB: 50964 ... c Min unsat cost LB: 51433 ... c Min unsat cost LB: 51570 ... c Min unsat cost LB: 51603 ... c Min unsat cost LB: 52225 ... c Min unsat cost LB: 52630 ... c Min unsat cost LB: 52973 ... c Min unsat cost LB: 53439 ... c Min unsat cost LB: 53600 ... c Min unsat cost LB: 53853 ... c Min unsat cost LB: 54414 ... c Min unsat cost LB: 54633 ... c Min unsat cost LB: 54793 ... c Min unsat cost LB: 54882 ... c Min unsat cost LB: 55976 ... c Min unsat cost LB: 57184 ... c Min unsat cost LB: 57469 ... c Min unsat cost LB: 57798 ... c Min unsat cost LB: 57879 ... c Min unsat cost LB: 58018 ... c Min unsat cost LB: 58119 ... c Min unsat cost LB: 58310 ... c Min unsat cost LB: 58957 ... c Min unsat cost LB: 59369 ... c Min unsat cost LB: 59374 ... c Min unsat cost LB: 59906 ... c Min unsat cost LB: 60470 ... c Min unsat cost LB: 60974 ... c Min unsat cost LB: 61090 ... c Min unsat cost LB: 61815 ... c Min unsat cost LB: 61881 ... c Min unsat cost LB: 62217 ... c Min unsat cost LB: 62802 ... c Min unsat cost LB: 62921 ... c Min unsat cost LB: 62926 ... c Min unsat cost LB: 63055 ... c Min unsat cost LB: 63467 ... c Min unsat cost LB: 64369 ... c Min unsat cost LB: 64371 ... c Min unsat cost LB: 64374 ... c Min unsat cost LB: 64648 ... c Min unsat cost LB: 64911 ... c Min unsat cost LB: 65033 ... c Min unsat cost LB: 65040 ... c Min unsat cost LB: 65185 ... c Min unsat cost LB: 65232 ... c Min unsat cost LB: 65576 ... c Min unsat cost LB: 65855 ... c Min unsat cost LB: 65891 ... c Min unsat cost LB: 65921 ... c Min unsat cost LB: 65938 ... c Min unsat cost LB: 65951 ... c Min unsat cost LB: 65978 ... c Min unsat cost LB: 66008 ... c Min unsat cost LB: 66042 ... c Min unsat cost LB: 66323 ... c Min unsat cost LB: 67029 ... c Min unsat cost LB: 67033 ... c Min unsat cost LB: 67348 ... c Min unsat cost LB: 67992 ... c Min unsat cost LB: 68057 ... c Min unsat cost LB: 68065 ... c Min unsat cost LB: 68266 ... c Min unsat cost LB: 68325 ... c Min unsat cost LB: 68595 ... c Min unsat cost LB: 68685 ... c Min unsat cost LB: 69386 ... c Min unsat cost LB: 69863 ... c Min unsat cost LB: 70132 ... c Min unsat cost LB: 70258 ... c Min unsat cost LB: 70274 ... c Min unsat cost LB: 70278 ... c Min unsat cost LB: 70335 ... c Min unsat cost LB: 70969 ... c Min unsat cost LB: 70971 ... c Min unsat cost LB: 70980 ... c Min unsat cost LB: 70982 ... c Min unsat cost LB: 71067 ... c Min unsat cost LB: 71081 ... c Min unsat cost LB: 71110 ... c Min unsat cost LB: 71167 ... c Min unsat cost LB: 71847 ... c Min unsat cost LB: 72159 ... c Min unsat cost LB: 72584 ... c Min unsat cost LB: 72605 ... c Min unsat cost LB: 72616 ... c Min unsat cost LB: 72621 ... c Min unsat cost LB: 72633 ... c Min unsat cost LB: 72644 ... c Min unsat cost LB: 72657 ... c Min unsat cost LB: 72689 ... c Min unsat cost LB: 72691 ... c Min unsat cost LB: 72706 ... c Min unsat cost LB: 72988 ... c Min unsat cost LB: 73001 ... c Min unsat cost LB: 73182 ... c Min unsat cost LB: 73346 ... c Min unsat cost LB: 74143 ... c Min unsat cost LB: 74450 ... c Min unsat cost LB: 75138 ... c Min unsat cost LB: 75222 ... c Min unsat cost LB: 75277 ... c Min unsat cost LB: 75349 ... c Min unsat cost LB: 75427 ... c Min unsat cost LB: 75620 ... c Min unsat cost LB: 75769 ... c Min unsat cost LB: 75775 ... c Min unsat cost LB: 76012 ... c Min unsat cost LB: 76067 ... c Min unsat cost LB: 76194 ... c Min unsat cost LB: 76354 ... c Min unsat cost LB: 76364 ... c Min unsat cost LB: 76409 ... c Min unsat cost LB: 76429 ... c Min unsat cost LB: 76436 ... c Min unsat cost LB: 76442 ... c Min unsat cost LB: 76607 ... c Min unsat cost LB: 76633 ... c Min unsat cost LB: 76783 ... c Min unsat cost LB: 77191 ... c Min unsat cost LB: 77203 ... c Min unsat cost LB: 77445 ... c Min unsat cost LB: 77583 ... c Min unsat cost LB: 77995 ... c Min unsat cost LB: 78020 ... c Min unsat cost LB: 78052 ... c Min unsat cost LB: 78139 ... o 78139 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 162 163 -164 -165 -166 -167 168 -169 -170 171 -172 -173 174 -175 -176 177 -178 179 -180 -181 -182 183 -184 -185 -186 187 -188 -189 190 -191 -192 -193 -194 195 -196 -197 -198 199 -200 201 -202 203 -204 -205 -206 -207 208 -209 -210 211 -212 -213 -214 -215 216 217 -218 -219 -220 221 222 -223 -224 c CPU Time: 4.64729 4.661u 0.012s 0:04.71 99.1% 0+0k 0+0io 0pf+0w