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-140-1_network-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_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-140-1_network-3.net.wcnf *** c c Min unsat cost LB: 1229 ... c Min unsat cost LB: 1770 ... c Min unsat cost LB: 2025 ... c Min unsat cost LB: 3215 ... c Min unsat cost LB: 4458 ... c Min unsat cost LB: 5089 ... c Min unsat cost LB: 5995 ... c Min unsat cost LB: 6339 ... c Min unsat cost LB: 6687 ... c Min unsat cost LB: 7643 ... c Min unsat cost LB: 8603 ... c Min unsat cost LB: 9438 ... c Min unsat cost LB: 9607 ... c Min unsat cost LB: 10484 ... c Min unsat cost LB: 10914 ... c Min unsat cost LB: 11309 ... c Min unsat cost LB: 11442 ... c Min unsat cost LB: 11957 ... c Min unsat cost LB: 12316 ... c Min unsat cost LB: 13978 ... c Min unsat cost LB: 14066 ... c Min unsat cost LB: 15207 ... c Min unsat cost LB: 15701 ... c Min unsat cost LB: 15708 ... c Min unsat cost LB: 15810 ... c Min unsat cost LB: 15966 ... c Min unsat cost LB: 16443 ... c Min unsat cost LB: 16499 ... c Min unsat cost LB: 16595 ... c Min unsat cost LB: 16938 ... c Min unsat cost LB: 18025 ... c Min unsat cost LB: 18334 ... c Min unsat cost LB: 18955 ... c Min unsat cost LB: 18989 ... c Min unsat cost LB: 20813 ... c Min unsat cost LB: 21321 ... c Min unsat cost LB: 21645 ... c Min unsat cost LB: 22338 ... c Min unsat cost LB: 22461 ... c Min unsat cost LB: 23528 ... c Min unsat cost LB: 24044 ... c Min unsat cost LB: 24132 ... c Min unsat cost LB: 25264 ... c Min unsat cost LB: 25890 ... c Min unsat cost LB: 26177 ... c Min unsat cost LB: 26751 ... c Min unsat cost LB: 26770 ... c Min unsat cost LB: 28431 ... c Min unsat cost LB: 29040 ... c Min unsat cost LB: 29367 ... c Min unsat cost LB: 29873 ... c Min unsat cost LB: 30218 ... c Min unsat cost LB: 30226 ... c Min unsat cost LB: 30338 ... c Min unsat cost LB: 30687 ... c Min unsat cost LB: 31678 ... c Min unsat cost LB: 31922 ... c Min unsat cost LB: 32246 ... c Min unsat cost LB: 32523 ... c Min unsat cost LB: 32879 ... c Min unsat cost LB: 33499 ... c Min unsat cost LB: 33897 ... c Min unsat cost LB: 34018 ... c Min unsat cost LB: 34406 ... c Min unsat cost LB: 34618 ... c Min unsat cost LB: 34664 ... c Min unsat cost LB: 34744 ... c Min unsat cost LB: 35692 ... c Min unsat cost LB: 36900 ... c Min unsat cost LB: 37257 ... c Min unsat cost LB: 37324 ... c Min unsat cost LB: 37391 ... c Min unsat cost LB: 37931 ... c Min unsat cost LB: 37997 ... c Min unsat cost LB: 38211 ... c Min unsat cost LB: 38609 ... c Min unsat cost LB: 38683 ... c Min unsat cost LB: 38745 ... c Min unsat cost LB: 38950 ... c Min unsat cost LB: 39380 ... c Min unsat cost LB: 39543 ... c Min unsat cost LB: 39955 ... c Min unsat cost LB: 40161 ... c Min unsat cost LB: 40676 ... c Min unsat cost LB: 41129 ... c Min unsat cost LB: 41752 ... c Min unsat cost LB: 41884 ... c Min unsat cost LB: 42009 ... c Min unsat cost LB: 42285 ... c Min unsat cost LB: 42303 ... c Min unsat cost LB: 42559 ... c Min unsat cost LB: 42613 ... c Min unsat cost LB: 42666 ... c Min unsat cost LB: 42750 ... c Min unsat cost LB: 42906 ... c Min unsat cost LB: 42916 ... c Min unsat cost LB: 42932 ... c Min unsat cost LB: 42954 ... c Min unsat cost LB: 43518 ... c Min unsat cost LB: 43656 ... c Min unsat cost LB: 43999 ... c Min unsat cost LB: 44180 ... c Min unsat cost LB: 45071 ... c Min unsat cost LB: 45133 ... c Min unsat cost LB: 45658 ... c Min unsat cost LB: 45904 ... c Min unsat cost LB: 46252 ... c Min unsat cost LB: 46502 ... c Min unsat cost LB: 46577 ... c Min unsat cost LB: 46685 ... c Min unsat cost LB: 47378 ... c Min unsat cost LB: 47547 ... c Min unsat cost LB: 47610 ... c Min unsat cost LB: 47649 ... c Min unsat cost LB: 47932 ... c Min unsat cost LB: 48427 ... c Min unsat cost LB: 48429 ... c Min unsat cost LB: 48517 ... c Min unsat cost LB: 48671 ... c Min unsat cost LB: 49733 ... c Min unsat cost LB: 49958 ... c Min unsat cost LB: 49960 ... c Min unsat cost LB: 50096 ... c Min unsat cost LB: 50206 ... c Min unsat cost LB: 50387 ... c Min unsat cost LB: 51051 ... c Min unsat cost LB: 51066 ... c Min unsat cost LB: 51326 ... c Min unsat cost LB: 51819 ... c Min unsat cost LB: 52248 ... c Min unsat cost LB: 52257 ... c Min unsat cost LB: 52325 ... c Min unsat cost LB: 52419 ... c Min unsat cost LB: 52614 ... c Min unsat cost LB: 53313 ... c Min unsat cost LB: 53549 ... c Min unsat cost LB: 53852 ... c Min unsat cost LB: 53870 ... c Min unsat cost LB: 53897 ... c Min unsat cost LB: 53971 ... c Min unsat cost LB: 53990 ... c Min unsat cost LB: 54154 ... c Min unsat cost LB: 54394 ... c Min unsat cost LB: 54786 ... c Min unsat cost LB: 54833 ... c Min unsat cost LB: 54914 ... c Min unsat cost LB: 54969 ... c Min unsat cost LB: 55046 ... c Min unsat cost LB: 55557 ... c Min unsat cost LB: 55604 ... c Min unsat cost LB: 55623 ... c Min unsat cost LB: 55641 ... c Min unsat cost LB: 55643 ... c Min unsat cost LB: 55673 ... c Min unsat cost LB: 55698 ... c Min unsat cost LB: 55781 ... c Min unsat cost LB: 56328 ... c Min unsat cost LB: 56750 ... c Min unsat cost LB: 57321 ... c Min unsat cost LB: 57333 ... c Min unsat cost LB: 57351 ... c Min unsat cost LB: 57509 ... c Min unsat cost LB: 57574 ... c Min unsat cost LB: 57871 ... c Min unsat cost LB: 58875 ... c Min unsat cost LB: 59008 ... c Min unsat cost LB: 59035 ... c Min unsat cost LB: 59109 ... c Min unsat cost LB: 59387 ... c Min unsat cost LB: 59724 ... c Min unsat cost LB: 59872 ... c Min unsat cost LB: 59942 ... c Min unsat cost LB: 60267 ... c Min unsat cost LB: 60767 ... c Min unsat cost LB: 61031 ... c Min unsat cost LB: 62093 ... c Min unsat cost LB: 62271 ... c Min unsat cost LB: 62283 ... c Min unsat cost LB: 62354 ... c Min unsat cost LB: 62419 ... c Min unsat cost LB: 63330 ... c Min unsat cost LB: 63602 ... c Min unsat cost LB: 63622 ... c Min unsat cost LB: 63624 ... c Min unsat cost LB: 63638 ... c Min unsat cost LB: 63661 ... c Min unsat cost LB: 63672 ... c Min unsat cost LB: 63915 ... c Min unsat cost LB: 63940 ... c Min unsat cost LB: 63960 ... c Min unsat cost LB: 64095 ... c Min unsat cost LB: 64896 ... c Min unsat cost LB: 65182 ... c Min unsat cost LB: 65252 ... c Min unsat cost LB: 65387 ... c Min unsat cost LB: 66179 ... c Min unsat cost LB: 66195 ... c Min unsat cost LB: 66503 ... c Min unsat cost LB: 66757 ... c Min unsat cost LB: 66766 ... c Min unsat cost LB: 66777 ... c Min unsat cost LB: 66782 ... c Min unsat cost LB: 66786 ... c Min unsat cost LB: 67627 ... c Min unsat cost LB: 67640 ... c Min unsat cost LB: 68445 ... c Min unsat cost LB: 68559 ... c Min unsat cost LB: 68754 ... c Min unsat cost LB: 68796 ... c Min unsat cost LB: 69810 ... c Min unsat cost LB: 70147 ... c Min unsat cost LB: 70279 ... c Min unsat cost LB: 70657 ... c Min unsat cost LB: 71088 ... c Min unsat cost LB: 71454 ... c Min unsat cost LB: 71845 ... c Min unsat cost LB: 72476 ... c Min unsat cost LB: 72859 ... c Min unsat cost LB: 73455 ... c Min unsat cost LB: 73507 ... c Min unsat cost LB: 73544 ... c Min unsat cost LB: 73550 ... c Min unsat cost LB: 73628 ... c Min unsat cost LB: 73787 ... c Min unsat cost LB: 73992 ... c Min unsat cost LB: 74901 ... c Min unsat cost LB: 75309 ... c Min unsat cost LB: 76070 ... c Min unsat cost LB: 76300 ... c Min unsat cost LB: 76304 ... c Min unsat cost LB: 76444 ... c Min unsat cost LB: 77046 ... c Min unsat cost LB: 77172 ... c Min unsat cost LB: 77636 ... c Min unsat cost LB: 77712 ... c Min unsat cost LB: 78615 ... c Min unsat cost LB: 78640 ... c Min unsat cost LB: 79242 ... c Min unsat cost LB: 79290 ... c Min unsat cost LB: 79624 ... c Min unsat cost LB: 80731 ... c Min unsat cost LB: 80750 ... c Min unsat cost LB: 82042 ... c Min unsat cost LB: 82292 ... c Min unsat cost LB: 82823 ... c Min unsat cost LB: 83119 ... c Min unsat cost LB: 83414 ... c Min unsat cost LB: 83674 ... c Min unsat cost LB: 83884 ... c Min unsat cost LB: 83935 ... c Min unsat cost LB: 84179 ... c Min unsat cost LB: 85057 ... c Min unsat cost LB: 85203 ... c Min unsat cost LB: 85572 ... c Min unsat cost LB: 86120 ... c Min unsat cost LB: 86137 ... c Min unsat cost LB: 86305 ... c Min unsat cost LB: 86323 ... c Min unsat cost LB: 86409 ... c Min unsat cost LB: 86581 ... c Min unsat cost LB: 86612 ... c Min unsat cost LB: 86734 ... c Min unsat cost LB: 86774 ... c Min unsat cost LB: 86788 ... c Min unsat cost LB: 87125 ... c Min unsat cost LB: 87133 ... c Min unsat cost LB: 87403 ... c Min unsat cost LB: 87520 ... c Min unsat cost LB: 88330 ... c Min unsat cost LB: 88491 ... c Min unsat cost LB: 88605 ... c Min unsat cost LB: 88770 ... c Min unsat cost LB: 88822 ... c Min unsat cost LB: 88841 ... c Min unsat cost LB: 88859 ... c Min unsat cost LB: 88955 ... c Min unsat cost LB: 89071 ... c Min unsat cost LB: 89086 ... c Min unsat cost LB: 89170 ... c Min unsat cost LB: 89550 ... c Min unsat cost LB: 89638 ... c Min unsat cost LB: 89754 ... c Min unsat cost LB: 90024 ... c Min unsat cost LB: 90141 ... c Min unsat cost LB: 90149 ... c Min unsat cost LB: 90257 ... c Min unsat cost LB: 90262 ... c Min unsat cost LB: 90271 ... c Min unsat cost LB: 90279 ... c Min unsat cost LB: 90332 ... c Min unsat cost LB: 90490 ... c Min unsat cost LB: 90533 ... c Min unsat cost LB: 90554 ... c Min unsat cost LB: 90598 ... c Min unsat cost LB: 90627 ... c Min unsat cost LB: 90646 ... c Min unsat cost LB: 90756 ... c Min unsat cost LB: 90832 ... c Min unsat cost LB: 90859 ... c Min unsat cost LB: 90906 ... c Min unsat cost LB: 90989 ... c Min unsat cost LB: 91203 ... c Min unsat cost LB: 91286 ... c Min unsat cost LB: 91535 ... c Min unsat cost LB: 92024 ... c Min unsat cost LB: 92120 ... c Min unsat cost LB: 92417 ... c Min unsat cost LB: 92467 ... c Min unsat cost LB: 92711 ... c Min unsat cost LB: 93233 ... c Min unsat cost LB: 93541 ... c Min unsat cost LB: 93673 ... c Min unsat cost LB: 93856 ... c Min unsat cost LB: 93984 ... c Min unsat cost LB: 94269 ... c Min unsat cost LB: 94345 ... c Min unsat cost LB: 95316 ... c Min unsat cost LB: 95619 ... c Min unsat cost LB: 95692 ... c Min unsat cost LB: 95721 ... c Min unsat cost LB: 95756 ... c Min unsat cost LB: 95823 ... c Min unsat cost LB: 95829 ... c Min unsat cost LB: 96053 ... c Min unsat cost LB: 96064 ... c Min unsat cost LB: 96780 ... c Min unsat cost LB: 96981 ... c Min unsat cost LB: 97425 ... c Min unsat cost LB: 98383 ... c Min unsat cost LB: 99567 ... c Min unsat cost LB: 100037 ... c Min unsat cost LB: 100059 ... c Min unsat cost LB: 100229 ... c Min unsat cost LB: 100551 ... c Min unsat cost LB: 100659 ... c Min unsat cost LB: 101933 ... c Min unsat cost LB: 101975 ... c Min unsat cost LB: 102168 ... c Min unsat cost LB: 102467 ... c Min unsat cost LB: 102766 ... c Min unsat cost LB: 102776 ... c Min unsat cost LB: 102892 ... c Min unsat cost LB: 103321 ... c Min unsat cost LB: 103505 ... c Min unsat cost LB: 103578 ... c Min unsat cost LB: 104232 ... c Min unsat cost LB: 104307 ... c Min unsat cost LB: 104524 ... c Min unsat cost LB: 104632 ... c Min unsat cost LB: 104699 ... c Min unsat cost LB: 104952 ... c Min unsat cost LB: 104960 ... c Min unsat cost LB: 105027 ... c Min unsat cost LB: 105029 ... c Min unsat cost LB: 105037 ... c Min unsat cost LB: 105042 ... c Min unsat cost LB: 105046 ... c Min unsat cost LB: 105060 ... c Min unsat cost LB: 105090 ... c Min unsat cost LB: 105099 ... c Min unsat cost LB: 105125 ... c Min unsat cost LB: 105132 ... c Min unsat cost LB: 105140 ... c Min unsat cost LB: 105199 ... c Min unsat cost LB: 105214 ... c Min unsat cost LB: 105224 ... c Min unsat cost LB: 105226 ... c Min unsat cost LB: 105232 ... c Min unsat cost LB: 105238 ... c Min unsat cost LB: 105243 ... c Min unsat cost LB: 105248 ... c Min unsat cost LB: 105254 ... c Min unsat cost LB: 105255 ... c Min unsat cost LB: 105335 ... c Min unsat cost LB: 105439 ... c Min unsat cost LB: 105440 ... c Min unsat cost LB: 105444 ... c Min unsat cost LB: 106229 ... c Min unsat cost LB: 106969 ... c Min unsat cost LB: 107492 ... c Min unsat cost LB: 107583 ... c Min unsat cost LB: 107853 ... c Min unsat cost LB: 107910 ... c Min unsat cost LB: 107925 ... c Min unsat cost LB: 107973 ... c Min unsat cost LB: 108030 ... c Min unsat cost LB: 108746 ... c Min unsat cost LB: 109506 ... c Min unsat cost LB: 109651 ... c Min unsat cost LB: 109830 ... c Min unsat cost LB: 110148 ... c Min unsat cost LB: 110339 ... c Min unsat cost LB: 111143 ... c Min unsat cost LB: 111148 ... c Min unsat cost LB: 111509 ... c Min unsat cost LB: 111870 ... c Min unsat cost LB: 111992 ... c Min unsat cost LB: 112004 ... c Min unsat cost LB: 112165 ... c Min unsat cost LB: 112335 ... c Min unsat cost LB: 112775 ... c Min unsat cost LB: 113215 ... c Min unsat cost LB: 113389 ... c Min unsat cost LB: 113470 ... c Min unsat cost LB: 114026 ... c Min unsat cost LB: 114454 ... c Min unsat cost LB: 114628 ... c Min unsat cost LB: 114750 ... c Min unsat cost LB: 115384 ... c Min unsat cost LB: 115649 ... c Min unsat cost LB: 115774 ... c Min unsat cost LB: 115823 ... c Min unsat cost LB: 115832 ... c Min unsat cost LB: 116451 ... c Min unsat cost LB: 116515 ... c Min unsat cost LB: 116792 ... c Min unsat cost LB: 116929 ... c Min unsat cost LB: 117574 ... c Min unsat cost LB: 117678 ... c Min unsat cost LB: 117901 ... c Min unsat cost LB: 117909 ... c Min unsat cost LB: 117958 ... c Min unsat cost LB: 117959 ... c Min unsat cost LB: 118114 ... c Min unsat cost LB: 118379 ... c Min unsat cost LB: 118900 ... c Min unsat cost LB: 118921 ... c Min unsat cost LB: 119322 ... c Min unsat cost LB: 119367 ... c Min unsat cost LB: 119877 ... c Min unsat cost LB: 120541 ... c Min unsat cost LB: 120899 ... c Min unsat cost LB: 120989 ... c Min unsat cost LB: 121005 ... c Min unsat cost LB: 121379 ... c Min unsat cost LB: 121385 ... c Min unsat cost LB: 121395 ... c Min unsat cost LB: 121478 ... c Min unsat cost LB: 121492 ... c Min unsat cost LB: 121510 ... c Min unsat cost LB: 121526 ... c Min unsat cost LB: 121529 ... c Min unsat cost LB: 121539 ... c Min unsat cost LB: 121553 ... c Min unsat cost LB: 121557 ... c Min unsat cost LB: 121567 ... c Min unsat cost LB: 121570 ... c Min unsat cost LB: 121571 ... c Min unsat cost LB: 121585 ... c Min unsat cost LB: 121714 ... c Min unsat cost LB: 121718 ... c Min unsat cost LB: 121719 ... c Min unsat cost LB: 122169 ... c Min unsat cost LB: 122176 ... c Min unsat cost LB: 122735 ... c Min unsat cost LB: 122808 ... c Min unsat cost LB: 122907 ... c Min unsat cost LB: 122910 ... c Min unsat cost LB: 122911 ... c Min unsat cost LB: 122914 ... c Min unsat cost LB: 122921 ... c Min unsat cost LB: 122924 ... c Min unsat cost LB: 122925 ... c Min unsat cost LB: 122931 ... c Min unsat cost LB: 122933 ... c Min unsat cost LB: 122936 ... c Min unsat cost LB: 122940 ... c Min unsat cost LB: 122941 ... c Min unsat cost LB: 122943 ... o 122943 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 -225 -226 -227 228 -229 -230 231 -232 -233 -234 235 -236 237 -238 -239 -240 -241 -242 243 -244 -245 246 -247 248 -249 -250 -251 -252 253 -254 255 -256 -257 -258 -259 260 261 -262 263 -264 265 -266 -267 268 -269 270 -271 -272 273 -274 -275 -276 277 -278 -279 -280 281 -282 283 -284 285 -286 287 -288 -289 -290 291 292 -293 294 -295 -296 -297 298 299 -300 301 -302 -303 -304 -305 -306 307 -308 -309 310 311 -312 313 -314 315 -316 -317 318 -319 -320 -321 322 323 -324 325 -326 -327 -328 329 -330 -331 -332 333 -334 -335 336 -337 -338 339 -340 -341 342 -343 -344 -345 346 -347 348 -349 c CPU Time: 16.1435 16.172u 0.048s 0:16.26 99.6% 0+0k 0+0io 0pf+0w