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-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-9.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-9.net.wcnf *** c c Min unsat cost LB: 867 ... c Min unsat cost LB: 1350 ... c Min unsat cost LB: 2418 ... c Min unsat cost LB: 4275 ... c Min unsat cost LB: 5905 ... c Min unsat cost LB: 6656 ... c Min unsat cost LB: 7026 ... c Min unsat cost LB: 7635 ... c Min unsat cost LB: 9943 ... c Min unsat cost LB: 11579 ... c Min unsat cost LB: 12379 ... c Min unsat cost LB: 12923 ... c Min unsat cost LB: 13015 ... c Min unsat cost LB: 13727 ... c Min unsat cost LB: 14055 ... c Min unsat cost LB: 14791 ... c Min unsat cost LB: 15119 ... c Min unsat cost LB: 15658 ... c Min unsat cost LB: 16443 ... c Min unsat cost LB: 17066 ... c Min unsat cost LB: 17994 ... c Min unsat cost LB: 18101 ... c Min unsat cost LB: 18516 ... c Min unsat cost LB: 18659 ... c Min unsat cost LB: 19089 ... c Min unsat cost LB: 19507 ... c Min unsat cost LB: 19581 ... c Min unsat cost LB: 19738 ... c Min unsat cost LB: 19847 ... c Min unsat cost LB: 20073 ... c Min unsat cost LB: 20897 ... c Min unsat cost LB: 21413 ... c Min unsat cost LB: 21784 ... c Min unsat cost LB: 21844 ... c Min unsat cost LB: 22060 ... c Min unsat cost LB: 23593 ... c Min unsat cost LB: 23648 ... c Min unsat cost LB: 23851 ... c Min unsat cost LB: 23966 ... c Min unsat cost LB: 24285 ... c Min unsat cost LB: 24291 ... c Min unsat cost LB: 24793 ... c Min unsat cost LB: 25444 ... c Min unsat cost LB: 25566 ... c Min unsat cost LB: 25575 ... c Min unsat cost LB: 25628 ... c Min unsat cost LB: 26030 ... c Min unsat cost LB: 26188 ... c Min unsat cost LB: 26917 ... c Min unsat cost LB: 27284 ... c Min unsat cost LB: 27412 ... c Min unsat cost LB: 27487 ... c Min unsat cost LB: 27502 ... c Min unsat cost LB: 28239 ... c Min unsat cost LB: 28533 ... c Min unsat cost LB: 28580 ... c Min unsat cost LB: 28819 ... c Min unsat cost LB: 28892 ... c Min unsat cost LB: 28982 ... c Min unsat cost LB: 29268 ... c Min unsat cost LB: 29729 ... c Min unsat cost LB: 30128 ... c Min unsat cost LB: 30668 ... c Min unsat cost LB: 30709 ... c Min unsat cost LB: 31156 ... c Min unsat cost LB: 31639 ... c Min unsat cost LB: 32084 ... c Min unsat cost LB: 33132 ... c Min unsat cost LB: 33567 ... c Min unsat cost LB: 33793 ... c Min unsat cost LB: 34076 ... c Min unsat cost LB: 34861 ... c Min unsat cost LB: 35066 ... c Min unsat cost LB: 35323 ... c Min unsat cost LB: 35745 ... c Min unsat cost LB: 35986 ... c Min unsat cost LB: 36487 ... c Min unsat cost LB: 36525 ... c Min unsat cost LB: 36697 ... c Min unsat cost LB: 37095 ... c Min unsat cost LB: 37178 ... c Min unsat cost LB: 37267 ... c Min unsat cost LB: 37348 ... c Min unsat cost LB: 37834 ... c Min unsat cost LB: 38067 ... c Min unsat cost LB: 38090 ... c Min unsat cost LB: 38222 ... c Min unsat cost LB: 38665 ... c Min unsat cost LB: 38733 ... c Min unsat cost LB: 39418 ... c Min unsat cost LB: 39455 ... c Min unsat cost LB: 39730 ... c Min unsat cost LB: 40005 ... c Min unsat cost LB: 40122 ... c Min unsat cost LB: 40775 ... c Min unsat cost LB: 41262 ... c Min unsat cost LB: 41355 ... c Min unsat cost LB: 41928 ... c Min unsat cost LB: 42044 ... c Min unsat cost LB: 42145 ... c Min unsat cost LB: 42183 ... c Min unsat cost LB: 42416 ... c Min unsat cost LB: 42439 ... c Min unsat cost LB: 42514 ... c Min unsat cost LB: 42655 ... c Min unsat cost LB: 42692 ... c Min unsat cost LB: 42720 ... c Min unsat cost LB: 42885 ... c Min unsat cost LB: 42934 ... c Min unsat cost LB: 42997 ... c Min unsat cost LB: 43209 ... c Min unsat cost LB: 44163 ... c Min unsat cost LB: 44195 ... c Min unsat cost LB: 44263 ... c Min unsat cost LB: 44286 ... c Min unsat cost LB: 44482 ... c Min unsat cost LB: 44503 ... c Min unsat cost LB: 44599 ... c Min unsat cost LB: 44752 ... c Min unsat cost LB: 45788 ... c Min unsat cost LB: 45808 ... c Min unsat cost LB: 46009 ... c Min unsat cost LB: 46035 ... c Min unsat cost LB: 46464 ... c Min unsat cost LB: 46501 ... c Min unsat cost LB: 46554 ... c Min unsat cost LB: 47158 ... c Min unsat cost LB: 47205 ... c Min unsat cost LB: 47236 ... c Min unsat cost LB: 47763 ... c Min unsat cost LB: 47788 ... c Min unsat cost LB: 48162 ... c Min unsat cost LB: 48192 ... c Min unsat cost LB: 48526 ... c Min unsat cost LB: 48760 ... c Min unsat cost LB: 48790 ... c Min unsat cost LB: 49070 ... c Min unsat cost LB: 49180 ... c Min unsat cost LB: 50364 ... c Min unsat cost LB: 50549 ... c Min unsat cost LB: 50553 ... c Min unsat cost LB: 50569 ... c Min unsat cost LB: 50602 ... c Min unsat cost LB: 50608 ... c Min unsat cost LB: 50632 ... c Min unsat cost LB: 51167 ... c Min unsat cost LB: 51230 ... c Min unsat cost LB: 51676 ... c Min unsat cost LB: 51818 ... c Min unsat cost LB: 51831 ... c Min unsat cost LB: 51851 ... c Min unsat cost LB: 51888 ... c Min unsat cost LB: 52124 ... c Min unsat cost LB: 52324 ... c Min unsat cost LB: 52369 ... c Min unsat cost LB: 52658 ... c Min unsat cost LB: 52965 ... c Min unsat cost LB: 52997 ... c Min unsat cost LB: 53032 ... c Min unsat cost LB: 53551 ... c Min unsat cost LB: 54758 ... c Min unsat cost LB: 54778 ... c Min unsat cost LB: 55185 ... c Min unsat cost LB: 55297 ... c Min unsat cost LB: 55421 ... c Min unsat cost LB: 55538 ... c Min unsat cost LB: 55709 ... c Min unsat cost LB: 55735 ... c Min unsat cost LB: 56051 ... c Min unsat cost LB: 56120 ... c Min unsat cost LB: 56264 ... c Min unsat cost LB: 56955 ... c Min unsat cost LB: 57002 ... c Min unsat cost LB: 57039 ... c Min unsat cost LB: 57067 ... c Min unsat cost LB: 57174 ... c Min unsat cost LB: 57198 ... c Min unsat cost LB: 57211 ... c Min unsat cost LB: 57218 ... c Min unsat cost LB: 58097 ... c Min unsat cost LB: 58103 ... c Min unsat cost LB: 58148 ... c Min unsat cost LB: 58156 ... c Min unsat cost LB: 58162 ... c Min unsat cost LB: 58199 ... c Min unsat cost LB: 58214 ... c Min unsat cost LB: 58436 ... c Min unsat cost LB: 58454 ... c Min unsat cost LB: 58515 ... c Min unsat cost LB: 59003 ... c Min unsat cost LB: 59518 ... c Min unsat cost LB: 59537 ... c Min unsat cost LB: 60168 ... c Min unsat cost LB: 60347 ... c Min unsat cost LB: 60476 ... c Min unsat cost LB: 60492 ... c Min unsat cost LB: 60493 ... c Min unsat cost LB: 60513 ... c Min unsat cost LB: 60516 ... c Min unsat cost LB: 60915 ... c Min unsat cost LB: 61026 ... c Min unsat cost LB: 61061 ... c Min unsat cost LB: 61070 ... c Min unsat cost LB: 61074 ... c Min unsat cost LB: 61179 ... c Min unsat cost LB: 61205 ... c Min unsat cost LB: 61230 ... c Min unsat cost LB: 61275 ... c Min unsat cost LB: 61369 ... c Min unsat cost LB: 61370 ... c Min unsat cost LB: 61375 ... c Min unsat cost LB: 62269 ... c Min unsat cost LB: 62402 ... c Min unsat cost LB: 62417 ... c Min unsat cost LB: 62572 ... c Min unsat cost LB: 63762 ... c Min unsat cost LB: 63833 ... c Min unsat cost LB: 63834 ... c Min unsat cost LB: 63839 ... c Min unsat cost LB: 63844 ... c Min unsat cost LB: 63846 ... c Min unsat cost LB: 63853 ... c Min unsat cost LB: 63859 ... c Min unsat cost LB: 63865 ... c Min unsat cost LB: 63916 ... c Min unsat cost LB: 64400 ... c Min unsat cost LB: 64685 ... c Min unsat cost LB: 64698 ... c Min unsat cost LB: 64703 ... c Min unsat cost LB: 65011 ... c Min unsat cost LB: 65122 ... c Min unsat cost LB: 65378 ... c Min unsat cost LB: 65390 ... c Min unsat cost LB: 65585 ... c Min unsat cost LB: 65909 ... c Min unsat cost LB: 66425 ... c Min unsat cost LB: 66795 ... c Min unsat cost LB: 66800 ... c Min unsat cost LB: 67170 ... c Min unsat cost LB: 67297 ... c Min unsat cost LB: 67440 ... c Min unsat cost LB: 67507 ... c Min unsat cost LB: 67560 ... c Min unsat cost LB: 67637 ... c Min unsat cost LB: 67824 ... c Min unsat cost LB: 67887 ... c Min unsat cost LB: 67901 ... c Min unsat cost LB: 67942 ... c Min unsat cost LB: 67964 ... c Min unsat cost LB: 67968 ... c Min unsat cost LB: 67984 ... c Min unsat cost LB: 68081 ... c Min unsat cost LB: 68185 ... c Min unsat cost LB: 68190 ... c Min unsat cost LB: 68194 ... c Min unsat cost LB: 68436 ... c Min unsat cost LB: 69003 ... c Min unsat cost LB: 69510 ... c Min unsat cost LB: 69517 ... c Min unsat cost LB: 69697 ... c Min unsat cost LB: 70468 ... c Min unsat cost LB: 70475 ... c Min unsat cost LB: 70741 ... c Min unsat cost LB: 70766 ... c Min unsat cost LB: 71018 ... c Min unsat cost LB: 71930 ... c Min unsat cost LB: 72278 ... c Min unsat cost LB: 72540 ... c Min unsat cost LB: 72545 ... c Min unsat cost LB: 72699 ... c Min unsat cost LB: 72720 ... c Min unsat cost LB: 72727 ... c Min unsat cost LB: 73178 ... c Min unsat cost LB: 73293 ... c Min unsat cost LB: 73635 ... o 73635 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 c CPU Time: 6.23105 6.252u 0.020s 0:06.27 100.0% 0+0k 0+0io 0pf+0w