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-120-1_network-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-1.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-120-1_network-1.net.wcnf *** c c Min unsat cost LB: 476 ... c Min unsat cost LB: 882 ... c Min unsat cost LB: 2114 ... c Min unsat cost LB: 3526 ... c Min unsat cost LB: 3695 ... c Min unsat cost LB: 6873 ... c Min unsat cost LB: 7273 ... c Min unsat cost LB: 8276 ... c Min unsat cost LB: 9229 ... c Min unsat cost LB: 9427 ... c Min unsat cost LB: 9898 ... c Min unsat cost LB: 10103 ... c Min unsat cost LB: 11376 ... c Min unsat cost LB: 12963 ... c Min unsat cost LB: 13472 ... c Min unsat cost LB: 14701 ... c Min unsat cost LB: 15358 ... c Min unsat cost LB: 15537 ... c Min unsat cost LB: 16783 ... c Min unsat cost LB: 16813 ... c Min unsat cost LB: 16866 ... c Min unsat cost LB: 18364 ... c Min unsat cost LB: 18452 ... c Min unsat cost LB: 19308 ... c Min unsat cost LB: 20999 ... c Min unsat cost LB: 21137 ... c Min unsat cost LB: 21300 ... c Min unsat cost LB: 21386 ... c Min unsat cost LB: 22661 ... c Min unsat cost LB: 23129 ... c Min unsat cost LB: 23630 ... c Min unsat cost LB: 24398 ... c Min unsat cost LB: 25399 ... c Min unsat cost LB: 25876 ... c Min unsat cost LB: 25955 ... c Min unsat cost LB: 26170 ... c Min unsat cost LB: 26987 ... c Min unsat cost LB: 27163 ... c Min unsat cost LB: 27422 ... c Min unsat cost LB: 27669 ... c Min unsat cost LB: 27805 ... c Min unsat cost LB: 27970 ... c Min unsat cost LB: 28291 ... c Min unsat cost LB: 28501 ... c Min unsat cost LB: 28508 ... c Min unsat cost LB: 28980 ... c Min unsat cost LB: 29114 ... c Min unsat cost LB: 29518 ... c Min unsat cost LB: 29877 ... c Min unsat cost LB: 31321 ... c Min unsat cost LB: 31395 ... c Min unsat cost LB: 32385 ... c Min unsat cost LB: 32583 ... c Min unsat cost LB: 32882 ... c Min unsat cost LB: 33144 ... c Min unsat cost LB: 33292 ... c Min unsat cost LB: 34802 ... c Min unsat cost LB: 34897 ... c Min unsat cost LB: 35134 ... c Min unsat cost LB: 35702 ... c Min unsat cost LB: 35768 ... c Min unsat cost LB: 36901 ... c Min unsat cost LB: 37362 ... c Min unsat cost LB: 37473 ... c Min unsat cost LB: 37913 ... c Min unsat cost LB: 38626 ... c Min unsat cost LB: 38970 ... c Min unsat cost LB: 39369 ... c Min unsat cost LB: 39568 ... c Min unsat cost LB: 40100 ... c Min unsat cost LB: 40676 ... c Min unsat cost LB: 41115 ... c Min unsat cost LB: 41162 ... c Min unsat cost LB: 41189 ... c Min unsat cost LB: 41546 ... c Min unsat cost LB: 42468 ... c Min unsat cost LB: 42833 ... c Min unsat cost LB: 43286 ... c Min unsat cost LB: 43438 ... c Min unsat cost LB: 43472 ... c Min unsat cost LB: 43848 ... c Min unsat cost LB: 44136 ... c Min unsat cost LB: 44204 ... c Min unsat cost LB: 44647 ... c Min unsat cost LB: 44955 ... c Min unsat cost LB: 45107 ... c Min unsat cost LB: 45559 ... c Min unsat cost LB: 45588 ... c Min unsat cost LB: 46208 ... c Min unsat cost LB: 46210 ... c Min unsat cost LB: 46447 ... c Min unsat cost LB: 46481 ... c Min unsat cost LB: 46537 ... c Min unsat cost LB: 46539 ... c Min unsat cost LB: 46588 ... c Min unsat cost LB: 47199 ... c Min unsat cost LB: 47458 ... c Min unsat cost LB: 47610 ... c Min unsat cost LB: 47883 ... c Min unsat cost LB: 48586 ... c Min unsat cost LB: 48613 ... c Min unsat cost LB: 48628 ... c Min unsat cost LB: 48644 ... c Min unsat cost LB: 49244 ... c Min unsat cost LB: 49554 ... c Min unsat cost LB: 49587 ... c Min unsat cost LB: 49603 ... c Min unsat cost LB: 50447 ... c Min unsat cost LB: 50588 ... c Min unsat cost LB: 51151 ... c Min unsat cost LB: 51694 ... c Min unsat cost LB: 51802 ... c Min unsat cost LB: 52080 ... c Min unsat cost LB: 53358 ... c Min unsat cost LB: 53557 ... c Min unsat cost LB: 53717 ... c Min unsat cost LB: 53775 ... c Min unsat cost LB: 53924 ... c Min unsat cost LB: 54049 ... c Min unsat cost LB: 54147 ... c Min unsat cost LB: 54302 ... c Min unsat cost LB: 54346 ... c Min unsat cost LB: 54404 ... c Min unsat cost LB: 54777 ... c Min unsat cost LB: 54904 ... c Min unsat cost LB: 55591 ... c Min unsat cost LB: 55648 ... c Min unsat cost LB: 55685 ... c Min unsat cost LB: 55803 ... c Min unsat cost LB: 56111 ... c Min unsat cost LB: 56136 ... c Min unsat cost LB: 56532 ... c Min unsat cost LB: 56692 ... c Min unsat cost LB: 56763 ... c Min unsat cost LB: 56929 ... c Min unsat cost LB: 56969 ... c Min unsat cost LB: 57171 ... c Min unsat cost LB: 57351 ... c Min unsat cost LB: 57383 ... c Min unsat cost LB: 58102 ... c Min unsat cost LB: 58183 ... c Min unsat cost LB: 58221 ... c Min unsat cost LB: 58269 ... c Min unsat cost LB: 58270 ... c Min unsat cost LB: 58692 ... c Min unsat cost LB: 59952 ... c Min unsat cost LB: 60213 ... c Min unsat cost LB: 60230 ... c Min unsat cost LB: 60351 ... c Min unsat cost LB: 60363 ... c Min unsat cost LB: 60626 ... c Min unsat cost LB: 60817 ... c Min unsat cost LB: 61414 ... c Min unsat cost LB: 61482 ... c Min unsat cost LB: 61490 ... c Min unsat cost LB: 61530 ... c Min unsat cost LB: 61532 ... c Min unsat cost LB: 62734 ... c Min unsat cost LB: 62885 ... c Min unsat cost LB: 62949 ... c Min unsat cost LB: 63430 ... c Min unsat cost LB: 63504 ... c Min unsat cost LB: 63556 ... c Min unsat cost LB: 64029 ... c Min unsat cost LB: 65043 ... c Min unsat cost LB: 65225 ... c Min unsat cost LB: 65347 ... c Min unsat cost LB: 65449 ... c Min unsat cost LB: 65756 ... c Min unsat cost LB: 65758 ... c Min unsat cost LB: 65835 ... c Min unsat cost LB: 66850 ... c Min unsat cost LB: 67231 ... c Min unsat cost LB: 68183 ... c Min unsat cost LB: 68215 ... c Min unsat cost LB: 68261 ... c Min unsat cost LB: 68768 ... c Min unsat cost LB: 69272 ... c Min unsat cost LB: 69346 ... c Min unsat cost LB: 70067 ... c Min unsat cost LB: 70136 ... c Min unsat cost LB: 70640 ... c Min unsat cost LB: 70656 ... c Min unsat cost LB: 70679 ... c Min unsat cost LB: 70985 ... c Min unsat cost LB: 71037 ... c Min unsat cost LB: 71050 ... c Min unsat cost LB: 71053 ... c Min unsat cost LB: 71074 ... c Min unsat cost LB: 71222 ... c Min unsat cost LB: 71248 ... c Min unsat cost LB: 71330 ... c Min unsat cost LB: 71407 ... c Min unsat cost LB: 71473 ... c Min unsat cost LB: 71603 ... c Min unsat cost LB: 72290 ... c Min unsat cost LB: 72529 ... c Min unsat cost LB: 72608 ... c Min unsat cost LB: 73251 ... c Min unsat cost LB: 73586 ... c Min unsat cost LB: 73780 ... c Min unsat cost LB: 73870 ... c Min unsat cost LB: 74077 ... c Min unsat cost LB: 74104 ... c Min unsat cost LB: 74138 ... c Min unsat cost LB: 74161 ... c Min unsat cost LB: 74205 ... c Min unsat cost LB: 74284 ... c Min unsat cost LB: 74340 ... c Min unsat cost LB: 74453 ... c Min unsat cost LB: 74539 ... c Min unsat cost LB: 74643 ... c Min unsat cost LB: 74691 ... c Min unsat cost LB: 74725 ... c Min unsat cost LB: 74740 ... c Min unsat cost LB: 74746 ... c Min unsat cost LB: 74812 ... c Min unsat cost LB: 74908 ... c Min unsat cost LB: 75002 ... c Min unsat cost LB: 75085 ... c Min unsat cost LB: 75247 ... c Min unsat cost LB: 75459 ... c Min unsat cost LB: 75542 ... c Min unsat cost LB: 75636 ... c Min unsat cost LB: 75656 ... c Min unsat cost LB: 76078 ... c Min unsat cost LB: 76280 ... c Min unsat cost LB: 76298 ... c Min unsat cost LB: 76821 ... c Min unsat cost LB: 77143 ... c Min unsat cost LB: 77489 ... c Min unsat cost LB: 78236 ... c Min unsat cost LB: 78360 ... c Min unsat cost LB: 78557 ... c Min unsat cost LB: 78666 ... c Min unsat cost LB: 79674 ... c Min unsat cost LB: 80094 ... c Min unsat cost LB: 80188 ... c Min unsat cost LB: 80310 ... c Min unsat cost LB: 80354 ... c Min unsat cost LB: 80387 ... c Min unsat cost LB: 80547 ... c Min unsat cost LB: 80690 ... c Min unsat cost LB: 80769 ... c Min unsat cost LB: 81896 ... c Min unsat cost LB: 82017 ... c Min unsat cost LB: 82039 ... c Min unsat cost LB: 82548 ... c Min unsat cost LB: 82826 ... c Min unsat cost LB: 83264 ... c Min unsat cost LB: 83576 ... c Min unsat cost LB: 83823 ... c Min unsat cost LB: 83946 ... c Min unsat cost LB: 84339 ... c Min unsat cost LB: 84509 ... c Min unsat cost LB: 85500 ... c Min unsat cost LB: 85681 ... c Min unsat cost LB: 86325 ... c Min unsat cost LB: 86542 ... c Min unsat cost LB: 87487 ... c Min unsat cost LB: 87540 ... c Min unsat cost LB: 88208 ... c Min unsat cost LB: 88222 ... c Min unsat cost LB: 88281 ... c Min unsat cost LB: 88320 ... c Min unsat cost LB: 88517 ... c Min unsat cost LB: 88565 ... c Min unsat cost LB: 88759 ... c Min unsat cost LB: 89327 ... c Min unsat cost LB: 90323 ... c Min unsat cost LB: 90409 ... c Min unsat cost LB: 90458 ... c Min unsat cost LB: 90469 ... c Min unsat cost LB: 90470 ... c Min unsat cost LB: 90505 ... c Min unsat cost LB: 90520 ... c Min unsat cost LB: 90587 ... c Min unsat cost LB: 90593 ... c Min unsat cost LB: 90614 ... c Min unsat cost LB: 90854 ... c Min unsat cost LB: 90862 ... c Min unsat cost LB: 90940 ... c Min unsat cost LB: 90989 ... c Min unsat cost LB: 91642 ... c Min unsat cost LB: 91672 ... c Min unsat cost LB: 91771 ... c Min unsat cost LB: 93007 ... c Min unsat cost LB: 93084 ... c Min unsat cost LB: 93123 ... c Min unsat cost LB: 93408 ... c Min unsat cost LB: 93823 ... c Min unsat cost LB: 94147 ... c Min unsat cost LB: 94462 ... c Min unsat cost LB: 94491 ... c Min unsat cost LB: 94992 ... c Min unsat cost LB: 95957 ... c Min unsat cost LB: 96092 ... c Min unsat cost LB: 96308 ... c Min unsat cost LB: 97500 ... c Min unsat cost LB: 97670 ... c Min unsat cost LB: 97840 ... c Min unsat cost LB: 98012 ... c Min unsat cost LB: 98371 ... c Min unsat cost LB: 99249 ... c Min unsat cost LB: 99545 ... c Min unsat cost LB: 99561 ... c Min unsat cost LB: 99774 ... c Min unsat cost LB: 100170 ... c Min unsat cost LB: 100531 ... c Min unsat cost LB: 100742 ... c Min unsat cost LB: 101302 ... c Min unsat cost LB: 101463 ... c Min unsat cost LB: 101661 ... c Min unsat cost LB: 102244 ... c Min unsat cost LB: 102289 ... c Min unsat cost LB: 102345 ... c Min unsat cost LB: 102368 ... c Min unsat cost LB: 102402 ... c Min unsat cost LB: 102582 ... c Min unsat cost LB: 103711 ... c Min unsat cost LB: 103746 ... c Min unsat cost LB: 103779 ... c Min unsat cost LB: 103833 ... c Min unsat cost LB: 103914 ... c Min unsat cost LB: 103919 ... c Min unsat cost LB: 103935 ... c Min unsat cost LB: 103989 ... c Min unsat cost LB: 104070 ... c Min unsat cost LB: 104103 ... c Min unsat cost LB: 104108 ... c Min unsat cost LB: 104143 ... c Min unsat cost LB: 104153 ... c Min unsat cost LB: 104163 ... c Min unsat cost LB: 104171 ... c Min unsat cost LB: 104180 ... c Min unsat cost LB: 104181 ... c Min unsat cost LB: 104190 ... c Min unsat cost LB: 104191 ... c Min unsat cost LB: 104702 ... c Min unsat cost LB: 104830 ... c Min unsat cost LB: 104875 ... c Min unsat cost LB: 104898 ... c Min unsat cost LB: 104929 ... c Min unsat cost LB: 104954 ... c Min unsat cost LB: 105029 ... c Min unsat cost LB: 105074 ... c Min unsat cost LB: 105082 ... c Min unsat cost LB: 105112 ... c Min unsat cost LB: 105150 ... c Min unsat cost LB: 105173 ... c Min unsat cost LB: 105185 ... c Min unsat cost LB: 105189 ... c Min unsat cost LB: 105193 ... c Min unsat cost LB: 105194 ... c Min unsat cost LB: 105198 ... c Min unsat cost LB: 105654 ... c Min unsat cost LB: 105826 ... c Min unsat cost LB: 105976 ... c Min unsat cost LB: 106323 ... c Min unsat cost LB: 106330 ... c Min unsat cost LB: 106407 ... c Min unsat cost LB: 106426 ... c Min unsat cost LB: 106433 ... c Min unsat cost LB: 106437 ... c Min unsat cost LB: 106486 ... c Min unsat cost LB: 106951 ... c Min unsat cost LB: 107437 ... c Min unsat cost LB: 107480 ... c Min unsat cost LB: 107577 ... c Min unsat cost LB: 108236 ... c Min unsat cost LB: 108441 ... c Min unsat cost LB: 108803 ... c Min unsat cost LB: 108904 ... c Min unsat cost LB: 109121 ... c Min unsat cost LB: 109898 ... c Min unsat cost LB: 110165 ... c Min unsat cost LB: 110175 ... c Min unsat cost LB: 110435 ... c Min unsat cost LB: 110472 ... c Min unsat cost LB: 111193 ... c Min unsat cost LB: 111341 ... c Min unsat cost LB: 111343 ... c Min unsat cost LB: 111491 ... c Min unsat cost LB: 111510 ... c Min unsat cost LB: 111511 ... c Min unsat cost LB: 111512 ... c Min unsat cost LB: 111516 ... c Min unsat cost LB: 111518 ... c Min unsat cost LB: 111520 ... c Min unsat cost LB: 111523 ... c Min unsat cost LB: 111525 ... c Min unsat cost LB: 111571 ... c Min unsat cost LB: 111582 ... c Min unsat cost LB: 111583 ... c Min unsat cost LB: 111584 ... c Min unsat cost LB: 111587 ... c Min unsat cost LB: 111589 ... c Min unsat cost LB: 111591 ... c Min unsat cost LB: 111602 ... c Min unsat cost LB: 111606 ... c Min unsat cost LB: 111607 ... c Min unsat cost LB: 111608 ... c Min unsat cost LB: 111613 ... c Min unsat cost LB: 111615 ... c Min unsat cost LB: 111633 ... c Min unsat cost LB: 111634 ... c Min unsat cost LB: 111635 ... c Min unsat cost LB: 111770 ... c Min unsat cost LB: 111779 ... c Min unsat cost LB: 112395 ... c Min unsat cost LB: 112659 ... c Min unsat cost LB: 112670 ... c Min unsat cost LB: 112774 ... c Min unsat cost LB: 113064 ... c Min unsat cost LB: 113067 ... c Min unsat cost LB: 113098 ... c Min unsat cost LB: 113206 ... c Min unsat cost LB: 114451 ... c Min unsat cost LB: 114650 ... c Min unsat cost LB: 114717 ... c Min unsat cost LB: 114740 ... c Min unsat cost LB: 114798 ... c Min unsat cost LB: 114800 ... c Min unsat cost LB: 115287 ... c Min unsat cost LB: 115345 ... c Min unsat cost LB: 115878 ... c Min unsat cost LB: 115882 ... c Min unsat cost LB: 115883 ... c Min unsat cost LB: 116041 ... c Min unsat cost LB: 116082 ... c Min unsat cost LB: 116227 ... c Min unsat cost LB: 116275 ... c Min unsat cost LB: 116286 ... c Min unsat cost LB: 116312 ... c Min unsat cost LB: 116333 ... c Min unsat cost LB: 116392 ... c Min unsat cost LB: 116508 ... c Min unsat cost LB: 116519 ... c Min unsat cost LB: 116747 ... c Min unsat cost LB: 116781 ... c Min unsat cost LB: 117243 ... c Min unsat cost LB: 117253 ... c Min unsat cost LB: 117657 ... c Min unsat cost LB: 117658 ... c Min unsat cost LB: 117661 ... c Min unsat cost LB: 117664 ... c Min unsat cost LB: 117670 ... c Min unsat cost LB: 117673 ... c Min unsat cost LB: 117688 ... c Min unsat cost LB: 117988 ... c Min unsat cost LB: 118024 ... c Min unsat cost LB: 118047 ... c Min unsat cost LB: 118125 ... c Min unsat cost LB: 118185 ... c Min unsat cost LB: 118188 ... c Min unsat cost LB: 118535 ... c Min unsat cost LB: 118550 ... c Min unsat cost LB: 118558 ... c Min unsat cost LB: 118567 ... c Min unsat cost LB: 118594 ... c Min unsat cost LB: 118727 ... c Min unsat cost LB: 118730 ... c Min unsat cost LB: 118817 ... c Min unsat cost LB: 118850 ... c Min unsat cost LB: 118877 ... c Min unsat cost LB: 118886 ... c Min unsat cost LB: 118909 ... c Min unsat cost LB: 119072 ... c Min unsat cost LB: 119075 ... c Min unsat cost LB: 119078 ... c Min unsat cost LB: 119079 ... c Min unsat cost LB: 119080 ... c Min unsat cost LB: 119081 ... c Min unsat cost LB: 119082 ... c Min unsat cost LB: 119083 ... o 119083 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 c CPU Time: 18.3182 18.353u 0.080s 0:18.51 99.5% 0+0k 0+0io 0pf+0w