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-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-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-140-1_network-9.net.wcnf *** c c Min unsat cost LB: 944 ... c Min unsat cost LB: 2565 ... c Min unsat cost LB: 4389 ... c Min unsat cost LB: 6378 ... c Min unsat cost LB: 6759 ... c Min unsat cost LB: 7151 ... c Min unsat cost LB: 7339 ... c Min unsat cost LB: 8390 ... c Min unsat cost LB: 8914 ... c Min unsat cost LB: 10252 ... c Min unsat cost LB: 11577 ... c Min unsat cost LB: 11819 ... c Min unsat cost LB: 12919 ... c Min unsat cost LB: 13551 ... c Min unsat cost LB: 14194 ... c Min unsat cost LB: 15867 ... c Min unsat cost LB: 15952 ... c Min unsat cost LB: 16340 ... c Min unsat cost LB: 16991 ... c Min unsat cost LB: 17490 ... c Min unsat cost LB: 17590 ... c Min unsat cost LB: 17712 ... c Min unsat cost LB: 18242 ... c Min unsat cost LB: 18747 ... c Min unsat cost LB: 19374 ... c Min unsat cost LB: 19473 ... c Min unsat cost LB: 20072 ... c Min unsat cost LB: 20249 ... c Min unsat cost LB: 20665 ... c Min unsat cost LB: 20680 ... c Min unsat cost LB: 20739 ... c Min unsat cost LB: 21272 ... c Min unsat cost LB: 21340 ... c Min unsat cost LB: 21367 ... c Min unsat cost LB: 21776 ... c Min unsat cost LB: 22900 ... c Min unsat cost LB: 23643 ... c Min unsat cost LB: 23723 ... c Min unsat cost LB: 23724 ... c Min unsat cost LB: 24196 ... c Min unsat cost LB: 24489 ... c Min unsat cost LB: 24651 ... c Min unsat cost LB: 24983 ... c Min unsat cost LB: 26604 ... c Min unsat cost LB: 26621 ... c Min unsat cost LB: 26652 ... c Min unsat cost LB: 26682 ... c Min unsat cost LB: 27494 ... c Min unsat cost LB: 27630 ... c Min unsat cost LB: 27774 ... c Min unsat cost LB: 28056 ... c Min unsat cost LB: 28185 ... c Min unsat cost LB: 28643 ... c Min unsat cost LB: 28736 ... c Min unsat cost LB: 28742 ... c Min unsat cost LB: 29153 ... c Min unsat cost LB: 29202 ... c Min unsat cost LB: 29378 ... c Min unsat cost LB: 29870 ... c Min unsat cost LB: 29963 ... c Min unsat cost LB: 29997 ... c Min unsat cost LB: 30158 ... c Min unsat cost LB: 30433 ... c Min unsat cost LB: 30509 ... c Min unsat cost LB: 30569 ... c Min unsat cost LB: 30666 ... c Min unsat cost LB: 30877 ... c Min unsat cost LB: 30890 ... c Min unsat cost LB: 31511 ... c Min unsat cost LB: 31722 ... c Min unsat cost LB: 32081 ... c Min unsat cost LB: 32357 ... c Min unsat cost LB: 32410 ... c Min unsat cost LB: 33238 ... c Min unsat cost LB: 33286 ... c Min unsat cost LB: 33329 ... c Min unsat cost LB: 33334 ... c Min unsat cost LB: 34002 ... c Min unsat cost LB: 34015 ... c Min unsat cost LB: 34234 ... c Min unsat cost LB: 34235 ... c Min unsat cost LB: 34692 ... c Min unsat cost LB: 35313 ... c Min unsat cost LB: 35578 ... c Min unsat cost LB: 36014 ... c Min unsat cost LB: 36428 ... c Min unsat cost LB: 36925 ... c Min unsat cost LB: 37289 ... c Min unsat cost LB: 37299 ... c Min unsat cost LB: 37340 ... c Min unsat cost LB: 37401 ... c Min unsat cost LB: 38250 ... c Min unsat cost LB: 38336 ... c Min unsat cost LB: 38344 ... c Min unsat cost LB: 39158 ... c Min unsat cost LB: 39264 ... c Min unsat cost LB: 39752 ... c Min unsat cost LB: 40199 ... c Min unsat cost LB: 40597 ... c Min unsat cost LB: 41862 ... c Min unsat cost LB: 41877 ... c Min unsat cost LB: 41909 ... c Min unsat cost LB: 42055 ... c Min unsat cost LB: 42621 ... c Min unsat cost LB: 42760 ... c Min unsat cost LB: 42942 ... c Min unsat cost LB: 43285 ... c Min unsat cost LB: 43567 ... c Min unsat cost LB: 43826 ... c Min unsat cost LB: 44167 ... c Min unsat cost LB: 44549 ... c Min unsat cost LB: 44638 ... c Min unsat cost LB: 44709 ... c Min unsat cost LB: 45600 ... c Min unsat cost LB: 45614 ... c Min unsat cost LB: 45831 ... c Min unsat cost LB: 45960 ... c Min unsat cost LB: 46165 ... c Min unsat cost LB: 46425 ... c Min unsat cost LB: 47779 ... c Min unsat cost LB: 47885 ... c Min unsat cost LB: 48077 ... c Min unsat cost LB: 48285 ... c Min unsat cost LB: 48370 ... c Min unsat cost LB: 48755 ... c Min unsat cost LB: 48859 ... c Min unsat cost LB: 48862 ... c Min unsat cost LB: 48881 ... c Min unsat cost LB: 49003 ... c Min unsat cost LB: 49133 ... c Min unsat cost LB: 49874 ... c Min unsat cost LB: 49881 ... c Min unsat cost LB: 49977 ... c Min unsat cost LB: 50180 ... c Min unsat cost LB: 50262 ... c Min unsat cost LB: 50360 ... c Min unsat cost LB: 50495 ... c Min unsat cost LB: 50549 ... c Min unsat cost LB: 50854 ... c Min unsat cost LB: 51043 ... c Min unsat cost LB: 51487 ... c Min unsat cost LB: 52246 ... c Min unsat cost LB: 52258 ... c Min unsat cost LB: 53859 ... c Min unsat cost LB: 54024 ... c Min unsat cost LB: 55202 ... c Min unsat cost LB: 55241 ... c Min unsat cost LB: 55383 ... c Min unsat cost LB: 55482 ... c Min unsat cost LB: 55571 ... c Min unsat cost LB: 55726 ... c Min unsat cost LB: 55872 ... c Min unsat cost LB: 55953 ... c Min unsat cost LB: 56746 ... c Min unsat cost LB: 56852 ... c Min unsat cost LB: 57233 ... c Min unsat cost LB: 57430 ... c Min unsat cost LB: 57547 ... c Min unsat cost LB: 57616 ... c Min unsat cost LB: 57684 ... c Min unsat cost LB: 58131 ... c Min unsat cost LB: 58261 ... c Min unsat cost LB: 58345 ... c Min unsat cost LB: 58801 ... c Min unsat cost LB: 60120 ... c Min unsat cost LB: 60207 ... c Min unsat cost LB: 60219 ... c Min unsat cost LB: 60298 ... c Min unsat cost LB: 60311 ... c Min unsat cost LB: 60326 ... c Min unsat cost LB: 60355 ... c Min unsat cost LB: 60463 ... c Min unsat cost LB: 60474 ... c Min unsat cost LB: 60551 ... c Min unsat cost LB: 61485 ... c Min unsat cost LB: 61873 ... c Min unsat cost LB: 61979 ... c Min unsat cost LB: 62518 ... c Min unsat cost LB: 63323 ... c Min unsat cost LB: 63538 ... c Min unsat cost LB: 64984 ... c Min unsat cost LB: 65345 ... c Min unsat cost LB: 65573 ... c Min unsat cost LB: 65590 ... c Min unsat cost LB: 65610 ... c Min unsat cost LB: 66449 ... c Min unsat cost LB: 66604 ... c Min unsat cost LB: 66670 ... c Min unsat cost LB: 67075 ... c Min unsat cost LB: 67497 ... c Min unsat cost LB: 68017 ... c Min unsat cost LB: 68146 ... c Min unsat cost LB: 68207 ... c Min unsat cost LB: 68244 ... c Min unsat cost LB: 68338 ... c Min unsat cost LB: 68524 ... c Min unsat cost LB: 68590 ... c Min unsat cost LB: 69287 ... c Min unsat cost LB: 69579 ... c Min unsat cost LB: 70032 ... c Min unsat cost LB: 70250 ... c Min unsat cost LB: 70285 ... c Min unsat cost LB: 70460 ... c Min unsat cost LB: 70591 ... c Min unsat cost LB: 70601 ... c Min unsat cost LB: 71152 ... c Min unsat cost LB: 71901 ... c Min unsat cost LB: 72053 ... c Min unsat cost LB: 72226 ... c Min unsat cost LB: 72380 ... c Min unsat cost LB: 72451 ... c Min unsat cost LB: 72460 ... c Min unsat cost LB: 72492 ... c Min unsat cost LB: 72775 ... c Min unsat cost LB: 73080 ... c Min unsat cost LB: 73092 ... c Min unsat cost LB: 73157 ... c Min unsat cost LB: 73643 ... c Min unsat cost LB: 73710 ... c Min unsat cost LB: 73747 ... c Min unsat cost LB: 73990 ... c Min unsat cost LB: 74601 ... c Min unsat cost LB: 74608 ... c Min unsat cost LB: 74615 ... c Min unsat cost LB: 74738 ... c Min unsat cost LB: 74744 ... c Min unsat cost LB: 74772 ... c Min unsat cost LB: 74856 ... c Min unsat cost LB: 74996 ... c Min unsat cost LB: 75067 ... c Min unsat cost LB: 75268 ... c Min unsat cost LB: 75744 ... c Min unsat cost LB: 75785 ... c Min unsat cost LB: 75875 ... c Min unsat cost LB: 76462 ... c Min unsat cost LB: 76500 ... c Min unsat cost LB: 76540 ... c Min unsat cost LB: 76608 ... c Min unsat cost LB: 76642 ... c Min unsat cost LB: 76723 ... c Min unsat cost LB: 76784 ... c Min unsat cost LB: 76878 ... c Min unsat cost LB: 76907 ... c Min unsat cost LB: 76943 ... c Min unsat cost LB: 77277 ... c Min unsat cost LB: 77722 ... c Min unsat cost LB: 78167 ... c Min unsat cost LB: 78388 ... c Min unsat cost LB: 78435 ... c Min unsat cost LB: 78665 ... c Min unsat cost LB: 78848 ... c Min unsat cost LB: 79197 ... c Min unsat cost LB: 79321 ... c Min unsat cost LB: 79847 ... c Min unsat cost LB: 80198 ... c Min unsat cost LB: 80264 ... c Min unsat cost LB: 80921 ... c Min unsat cost LB: 80931 ... c Min unsat cost LB: 80956 ... c Min unsat cost LB: 82369 ... c Min unsat cost LB: 82581 ... c Min unsat cost LB: 82681 ... c Min unsat cost LB: 82690 ... c Min unsat cost LB: 84105 ... c Min unsat cost LB: 84107 ... c Min unsat cost LB: 84189 ... c Min unsat cost LB: 84509 ... c Min unsat cost LB: 85025 ... c Min unsat cost LB: 85033 ... c Min unsat cost LB: 85226 ... c Min unsat cost LB: 85719 ... c Min unsat cost LB: 86708 ... c Min unsat cost LB: 86838 ... c Min unsat cost LB: 87189 ... c Min unsat cost LB: 87234 ... c Min unsat cost LB: 87267 ... c Min unsat cost LB: 87361 ... c Min unsat cost LB: 87402 ... c Min unsat cost LB: 87532 ... c Min unsat cost LB: 87726 ... c Min unsat cost LB: 87766 ... c Min unsat cost LB: 88389 ... c Min unsat cost LB: 88419 ... c Min unsat cost LB: 88458 ... c Min unsat cost LB: 88500 ... c Min unsat cost LB: 88515 ... c Min unsat cost LB: 88528 ... c Min unsat cost LB: 88529 ... c Min unsat cost LB: 88670 ... c Min unsat cost LB: 88931 ... c Min unsat cost LB: 89265 ... c Min unsat cost LB: 89430 ... c Min unsat cost LB: 89787 ... c Min unsat cost LB: 90984 ... c Min unsat cost LB: 91132 ... c Min unsat cost LB: 91495 ... c Min unsat cost LB: 91516 ... c Min unsat cost LB: 91911 ... c Min unsat cost LB: 91961 ... c Min unsat cost LB: 92231 ... c Min unsat cost LB: 92247 ... c Min unsat cost LB: 92731 ... c Min unsat cost LB: 92781 ... c Min unsat cost LB: 92861 ... c Min unsat cost LB: 93286 ... c Min unsat cost LB: 94529 ... c Min unsat cost LB: 94699 ... c Min unsat cost LB: 95087 ... c Min unsat cost LB: 95164 ... c Min unsat cost LB: 95404 ... c Min unsat cost LB: 95457 ... c Min unsat cost LB: 95488 ... c Min unsat cost LB: 95491 ... c Min unsat cost LB: 95586 ... c Min unsat cost LB: 95589 ... c Min unsat cost LB: 95595 ... c Min unsat cost LB: 95620 ... c Min unsat cost LB: 96236 ... c Min unsat cost LB: 96609 ... c Min unsat cost LB: 96671 ... c Min unsat cost LB: 96746 ... c Min unsat cost LB: 96749 ... c Min unsat cost LB: 96774 ... c Min unsat cost LB: 96779 ... c Min unsat cost LB: 97870 ... c Min unsat cost LB: 98298 ... c Min unsat cost LB: 98383 ... c Min unsat cost LB: 98858 ... c Min unsat cost LB: 98872 ... c Min unsat cost LB: 99282 ... c Min unsat cost LB: 99364 ... c Min unsat cost LB: 99550 ... c Min unsat cost LB: 99745 ... c Min unsat cost LB: 99898 ... c Min unsat cost LB: 100219 ... c Min unsat cost LB: 100654 ... c Min unsat cost LB: 101204 ... c Min unsat cost LB: 101786 ... c Min unsat cost LB: 101802 ... c Min unsat cost LB: 101867 ... c Min unsat cost LB: 102173 ... c Min unsat cost LB: 102180 ... c Min unsat cost LB: 102188 ... c Min unsat cost LB: 102686 ... c Min unsat cost LB: 102733 ... c Min unsat cost LB: 102760 ... c Min unsat cost LB: 103633 ... c Min unsat cost LB: 103858 ... c Min unsat cost LB: 104618 ... c Min unsat cost LB: 105055 ... c Min unsat cost LB: 105219 ... c Min unsat cost LB: 105707 ... c Min unsat cost LB: 105871 ... c Min unsat cost LB: 105888 ... c Min unsat cost LB: 106012 ... c Min unsat cost LB: 106091 ... c Min unsat cost LB: 106209 ... c Min unsat cost LB: 106242 ... c Min unsat cost LB: 106259 ... c Min unsat cost LB: 106282 ... c Min unsat cost LB: 106409 ... c Min unsat cost LB: 106429 ... c Min unsat cost LB: 106532 ... c Min unsat cost LB: 106652 ... c Min unsat cost LB: 106723 ... c Min unsat cost LB: 106844 ... c Min unsat cost LB: 106847 ... c Min unsat cost LB: 106853 ... c Min unsat cost LB: 106879 ... c Min unsat cost LB: 107629 ... c Min unsat cost LB: 108690 ... c Min unsat cost LB: 108770 ... c Min unsat cost LB: 108772 ... c Min unsat cost LB: 108820 ... c Min unsat cost LB: 108821 ... c Min unsat cost LB: 108823 ... c Min unsat cost LB: 108868 ... c Min unsat cost LB: 108898 ... c Min unsat cost LB: 109158 ... c Min unsat cost LB: 109655 ... c Min unsat cost LB: 109717 ... c Min unsat cost LB: 109723 ... c Min unsat cost LB: 109727 ... c Min unsat cost LB: 109734 ... c Min unsat cost LB: 109735 ... c Min unsat cost LB: 109738 ... c Min unsat cost LB: 109740 ... c Min unsat cost LB: 109741 ... c Min unsat cost LB: 109744 ... c Min unsat cost LB: 109745 ... c Min unsat cost LB: 109747 ... c Min unsat cost LB: 109749 ... c Min unsat cost LB: 109757 ... c Min unsat cost LB: 109783 ... c Min unsat cost LB: 109923 ... c Min unsat cost LB: 110530 ... c Min unsat cost LB: 110535 ... c Min unsat cost LB: 110572 ... c Min unsat cost LB: 110642 ... c Min unsat cost LB: 110736 ... c Min unsat cost LB: 110767 ... c Min unsat cost LB: 111302 ... c Min unsat cost LB: 111937 ... c Min unsat cost LB: 111938 ... c Min unsat cost LB: 111939 ... c Min unsat cost LB: 111940 ... c Min unsat cost LB: 111941 ... c Min unsat cost LB: 111943 ... c Min unsat cost LB: 111944 ... c Min unsat cost LB: 111946 ... c Min unsat cost LB: 111947 ... c Min unsat cost LB: 111948 ... c Min unsat cost LB: 111949 ... c Min unsat cost LB: 111982 ... c Min unsat cost LB: 112543 ... c Min unsat cost LB: 112719 ... c Min unsat cost LB: 112956 ... c Min unsat cost LB: 112967 ... c Min unsat cost LB: 113087 ... c Min unsat cost LB: 113140 ... c Min unsat cost LB: 113808 ... c Min unsat cost LB: 113911 ... c Min unsat cost LB: 114065 ... c Min unsat cost LB: 114484 ... c Min unsat cost LB: 114989 ... c Min unsat cost LB: 115002 ... c Min unsat cost LB: 115292 ... c Min unsat cost LB: 115449 ... c Min unsat cost LB: 115507 ... c Min unsat cost LB: 115617 ... c Min unsat cost LB: 115629 ... c Min unsat cost LB: 115635 ... c Min unsat cost LB: 115649 ... c Min unsat cost LB: 115690 ... c Min unsat cost LB: 115691 ... c Min unsat cost LB: 115692 ... c Min unsat cost LB: 115693 ... c Min unsat cost LB: 115694 ... c Min unsat cost LB: 115696 ... c Min unsat cost LB: 115697 ... c Min unsat cost LB: 115698 ... c Min unsat cost LB: 115710 ... c Min unsat cost LB: 115714 ... c Min unsat cost LB: 115718 ... c Min unsat cost LB: 115730 ... c Min unsat cost LB: 115731 ... c Min unsat cost LB: 115739 ... c Min unsat cost LB: 115740 ... c Min unsat cost LB: 115741 ... c Min unsat cost LB: 115742 ... c Min unsat cost LB: 115747 ... c Min unsat cost LB: 115763 ... c Min unsat cost LB: 115766 ... c Min unsat cost LB: 115773 ... c Min unsat cost LB: 115840 ... c Min unsat cost LB: 115868 ... c Min unsat cost LB: 115880 ... c Min unsat cost LB: 116524 ... c Min unsat cost LB: 116530 ... c Min unsat cost LB: 116685 ... c Min unsat cost LB: 116694 ... c Min unsat cost LB: 117466 ... c Min unsat cost LB: 117472 ... c Min unsat cost LB: 117475 ... c Min unsat cost LB: 117477 ... c Min unsat cost LB: 117509 ... c Min unsat cost LB: 117618 ... c Min unsat cost LB: 118105 ... c Min unsat cost LB: 119358 ... c Min unsat cost LB: 119630 ... c Min unsat cost LB: 119656 ... c Min unsat cost LB: 119746 ... c Min unsat cost LB: 119787 ... c Min unsat cost LB: 119799 ... c Min unsat cost LB: 119800 ... c Min unsat cost LB: 120320 ... c Min unsat cost LB: 120333 ... c Min unsat cost LB: 120823 ... c Min unsat cost LB: 120893 ... c Min unsat cost LB: 120900 ... c Min unsat cost LB: 120919 ... c Min unsat cost LB: 121009 ... c Min unsat cost LB: 121557 ... c Min unsat cost LB: 121563 ... c Min unsat cost LB: 121650 ... c Min unsat cost LB: 121903 ... c Min unsat cost LB: 122281 ... c Min unsat cost LB: 122458 ... c Min unsat cost LB: 122812 ... c Min unsat cost LB: 123097 ... c Min unsat cost LB: 123484 ... c Min unsat cost LB: 123680 ... c Min unsat cost LB: 123754 ... c Min unsat cost LB: 123876 ... c Min unsat cost LB: 124136 ... c Min unsat cost LB: 124959 ... c Min unsat cost LB: 125154 ... c Min unsat cost LB: 125282 ... c Min unsat cost LB: 126180 ... c Min unsat cost LB: 126297 ... c Min unsat cost LB: 126508 ... c Min unsat cost LB: 126509 ... c Min unsat cost LB: 126510 ... c Min unsat cost LB: 126511 ... c Min unsat cost LB: 126512 ... o 126512 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 -350 -351 352 -353 -354 -355 -356 357 -358 359 -360 -361 -362 -363 -364 365 -366 -367 -368 369 -370 c CPU Time: 22.4116 22.455u 0.133s 0:22.64 99.7% 0+0k 0+0io 0pf+0w