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-160-1_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-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-160-1_network-2.net.wcnf *** c c Min unsat cost LB: 70 ... c Min unsat cost LB: 572 ... c Min unsat cost LB: 1121 ... c Min unsat cost LB: 2149 ... c Min unsat cost LB: 3227 ... c Min unsat cost LB: 4038 ... c Min unsat cost LB: 5367 ... c Min unsat cost LB: 5426 ... c Min unsat cost LB: 6466 ... c Min unsat cost LB: 6873 ... c Min unsat cost LB: 7458 ... c Min unsat cost LB: 8134 ... c Min unsat cost LB: 9357 ... c Min unsat cost LB: 10702 ... c Min unsat cost LB: 11551 ... c Min unsat cost LB: 12364 ... c Min unsat cost LB: 12837 ... c Min unsat cost LB: 14072 ... c Min unsat cost LB: 14147 ... c Min unsat cost LB: 14943 ... c Min unsat cost LB: 14962 ... c Min unsat cost LB: 15837 ... c Min unsat cost LB: 15999 ... c Min unsat cost LB: 16022 ... c Min unsat cost LB: 16417 ... c Min unsat cost LB: 16431 ... c Min unsat cost LB: 16590 ... c Min unsat cost LB: 16594 ... c Min unsat cost LB: 16941 ... c Min unsat cost LB: 17384 ... c Min unsat cost LB: 18027 ... c Min unsat cost LB: 18371 ... c Min unsat cost LB: 19255 ... c Min unsat cost LB: 19469 ... c Min unsat cost LB: 20789 ... c Min unsat cost LB: 20962 ... c Min unsat cost LB: 21355 ... c Min unsat cost LB: 22006 ... c Min unsat cost LB: 22889 ... c Min unsat cost LB: 23070 ... c Min unsat cost LB: 23536 ... c Min unsat cost LB: 23655 ... c Min unsat cost LB: 24059 ... c Min unsat cost LB: 24159 ... c Min unsat cost LB: 24343 ... c Min unsat cost LB: 24427 ... c Min unsat cost LB: 25145 ... c Min unsat cost LB: 25399 ... c Min unsat cost LB: 26277 ... c Min unsat cost LB: 26309 ... c Min unsat cost LB: 26610 ... c Min unsat cost LB: 27900 ... c Min unsat cost LB: 28171 ... c Min unsat cost LB: 28884 ... c Min unsat cost LB: 29628 ... c Min unsat cost LB: 29724 ... c Min unsat cost LB: 29755 ... c Min unsat cost LB: 30181 ... c Min unsat cost LB: 30297 ... c Min unsat cost LB: 30367 ... c Min unsat cost LB: 30496 ... c Min unsat cost LB: 30519 ... c Min unsat cost LB: 30570 ... c Min unsat cost LB: 30640 ... c Min unsat cost LB: 31116 ... c Min unsat cost LB: 31955 ... c Min unsat cost LB: 32122 ... c Min unsat cost LB: 32190 ... c Min unsat cost LB: 32687 ... c Min unsat cost LB: 32780 ... c Min unsat cost LB: 32881 ... c Min unsat cost LB: 33090 ... c Min unsat cost LB: 33372 ... c Min unsat cost LB: 33400 ... c Min unsat cost LB: 33904 ... c Min unsat cost LB: 34131 ... c Min unsat cost LB: 34158 ... c Min unsat cost LB: 34802 ... c Min unsat cost LB: 36244 ... c Min unsat cost LB: 36259 ... c Min unsat cost LB: 36327 ... c Min unsat cost LB: 36396 ... c Min unsat cost LB: 36926 ... c Min unsat cost LB: 37116 ... c Min unsat cost LB: 38006 ... c Min unsat cost LB: 38015 ... c Min unsat cost LB: 38752 ... c Min unsat cost LB: 39143 ... c Min unsat cost LB: 39236 ... c Min unsat cost LB: 39788 ... c Min unsat cost LB: 39794 ... c Min unsat cost LB: 41126 ... c Min unsat cost LB: 41170 ... c Min unsat cost LB: 41174 ... c Min unsat cost LB: 41253 ... c Min unsat cost LB: 41404 ... c Min unsat cost LB: 42120 ... c Min unsat cost LB: 42390 ... c Min unsat cost LB: 42436 ... c Min unsat cost LB: 42570 ... c Min unsat cost LB: 42711 ... c Min unsat cost LB: 42712 ... c Min unsat cost LB: 42742 ... c Min unsat cost LB: 42884 ... c Min unsat cost LB: 43028 ... c Min unsat cost LB: 43834 ... c Min unsat cost LB: 43919 ... c Min unsat cost LB: 44243 ... c Min unsat cost LB: 44478 ... c Min unsat cost LB: 44778 ... c Min unsat cost LB: 45661 ... c Min unsat cost LB: 45667 ... c Min unsat cost LB: 45898 ... c Min unsat cost LB: 46205 ... c Min unsat cost LB: 47143 ... c Min unsat cost LB: 47354 ... c Min unsat cost LB: 48535 ... c Min unsat cost LB: 48882 ... c Min unsat cost LB: 49147 ... c Min unsat cost LB: 49854 ... c Min unsat cost LB: 50156 ... c Min unsat cost LB: 50195 ... c Min unsat cost LB: 50510 ... c Min unsat cost LB: 50773 ... c Min unsat cost LB: 51119 ... c Min unsat cost LB: 51678 ... c Min unsat cost LB: 51721 ... c Min unsat cost LB: 51853 ... c Min unsat cost LB: 52073 ... c Min unsat cost LB: 52357 ... c Min unsat cost LB: 52409 ... c Min unsat cost LB: 53532 ... c Min unsat cost LB: 54104 ... c Min unsat cost LB: 54121 ... c Min unsat cost LB: 54307 ... c Min unsat cost LB: 54571 ... c Min unsat cost LB: 54848 ... c Min unsat cost LB: 55542 ... c Min unsat cost LB: 55700 ... c Min unsat cost LB: 55884 ... c Min unsat cost LB: 56169 ... c Min unsat cost LB: 56446 ... c Min unsat cost LB: 56447 ... c Min unsat cost LB: 56757 ... c Min unsat cost LB: 57385 ... c Min unsat cost LB: 57639 ... c Min unsat cost LB: 58912 ... c Min unsat cost LB: 59028 ... c Min unsat cost LB: 59151 ... c Min unsat cost LB: 59361 ... c Min unsat cost LB: 59375 ... c Min unsat cost LB: 59494 ... c Min unsat cost LB: 60221 ... c Min unsat cost LB: 60416 ... c Min unsat cost LB: 60605 ... c Min unsat cost LB: 60694 ... c Min unsat cost LB: 60939 ... c Min unsat cost LB: 61064 ... c Min unsat cost LB: 61166 ... c Min unsat cost LB: 61310 ... c Min unsat cost LB: 61499 ... c Min unsat cost LB: 62705 ... c Min unsat cost LB: 62708 ... c Min unsat cost LB: 62711 ... c Min unsat cost LB: 62916 ... c Min unsat cost LB: 62992 ... c Min unsat cost LB: 63515 ... c Min unsat cost LB: 63518 ... c Min unsat cost LB: 63601 ... c Min unsat cost LB: 63811 ... c Min unsat cost LB: 63851 ... c Min unsat cost LB: 64931 ... c Min unsat cost LB: 65277 ... c Min unsat cost LB: 65366 ... c Min unsat cost LB: 65950 ... c Min unsat cost LB: 66604 ... c Min unsat cost LB: 66948 ... c Min unsat cost LB: 67285 ... c Min unsat cost LB: 67577 ... c Min unsat cost LB: 67921 ... c Min unsat cost LB: 67975 ... c Min unsat cost LB: 68085 ... c Min unsat cost LB: 68740 ... c Min unsat cost LB: 68743 ... c Min unsat cost LB: 69266 ... c Min unsat cost LB: 69381 ... c Min unsat cost LB: 69836 ... c Min unsat cost LB: 70175 ... c Min unsat cost LB: 70671 ... c Min unsat cost LB: 70674 ... c Min unsat cost LB: 70681 ... c Min unsat cost LB: 71579 ... c Min unsat cost LB: 71741 ... c Min unsat cost LB: 72105 ... c Min unsat cost LB: 73154 ... c Min unsat cost LB: 73357 ... c Min unsat cost LB: 73584 ... c Min unsat cost LB: 74034 ... c Min unsat cost LB: 74521 ... c Min unsat cost LB: 74899 ... c Min unsat cost LB: 75444 ... c Min unsat cost LB: 75964 ... c Min unsat cost LB: 75981 ... c Min unsat cost LB: 76099 ... c Min unsat cost LB: 76410 ... c Min unsat cost LB: 77467 ... c Min unsat cost LB: 77642 ... c Min unsat cost LB: 78666 ... c Min unsat cost LB: 78685 ... c Min unsat cost LB: 78994 ... c Min unsat cost LB: 79424 ... c Min unsat cost LB: 79455 ... c Min unsat cost LB: 79494 ... c Min unsat cost LB: 79857 ... c Min unsat cost LB: 80591 ... c Min unsat cost LB: 81217 ... c Min unsat cost LB: 81325 ... c Min unsat cost LB: 82335 ... c Min unsat cost LB: 82482 ... c Min unsat cost LB: 82945 ... c Min unsat cost LB: 83811 ... c Min unsat cost LB: 83824 ... c Min unsat cost LB: 83846 ... c Min unsat cost LB: 85201 ... c Min unsat cost LB: 85385 ... c Min unsat cost LB: 85412 ... c Min unsat cost LB: 85508 ... c Min unsat cost LB: 85554 ... c Min unsat cost LB: 86182 ... c Min unsat cost LB: 86695 ... c Min unsat cost LB: 86880 ... c Min unsat cost LB: 87019 ... c Min unsat cost LB: 87270 ... c Min unsat cost LB: 87921 ... c Min unsat cost LB: 88006 ... c Min unsat cost LB: 88423 ... c Min unsat cost LB: 88802 ... c Min unsat cost LB: 88903 ... c Min unsat cost LB: 88924 ... c Min unsat cost LB: 89003 ... c Min unsat cost LB: 89154 ... c Min unsat cost LB: 89209 ... c Min unsat cost LB: 89651 ... c Min unsat cost LB: 89805 ... c Min unsat cost LB: 89834 ... c Min unsat cost LB: 90139 ... c Min unsat cost LB: 90529 ... c Min unsat cost LB: 90855 ... c Min unsat cost LB: 91095 ... c Min unsat cost LB: 91625 ... c Min unsat cost LB: 91733 ... c Min unsat cost LB: 91737 ... c Min unsat cost LB: 91992 ... c Min unsat cost LB: 92428 ... c Min unsat cost LB: 92453 ... c Min unsat cost LB: 92992 ... c Min unsat cost LB: 93036 ... c Min unsat cost LB: 93988 ... c Min unsat cost LB: 93994 ... c Min unsat cost LB: 94458 ... c Min unsat cost LB: 94735 ... c Min unsat cost LB: 95272 ... c Min unsat cost LB: 95275 ... c Min unsat cost LB: 96110 ... c Min unsat cost LB: 96112 ... c Min unsat cost LB: 96135 ... c Min unsat cost LB: 96661 ... c Min unsat cost LB: 97075 ... c Min unsat cost LB: 97090 ... c Min unsat cost LB: 97092 ... c Min unsat cost LB: 97094 ... c Min unsat cost LB: 97412 ... c Min unsat cost LB: 97456 ... c Min unsat cost LB: 97466 ... c Min unsat cost LB: 97468 ... c Min unsat cost LB: 97470 ... c Min unsat cost LB: 97471 ... c Min unsat cost LB: 97521 ... c Min unsat cost LB: 97592 ... c Min unsat cost LB: 98336 ... c Min unsat cost LB: 98386 ... c Min unsat cost LB: 98412 ... c Min unsat cost LB: 98692 ... c Min unsat cost LB: 99598 ... c Min unsat cost LB: 100063 ... c Min unsat cost LB: 100549 ... c Min unsat cost LB: 100599 ... c Min unsat cost LB: 101273 ... c Min unsat cost LB: 101582 ... c Min unsat cost LB: 101765 ... c Min unsat cost LB: 101848 ... c Min unsat cost LB: 101906 ... c Min unsat cost LB: 101948 ... c Min unsat cost LB: 102074 ... c Min unsat cost LB: 102534 ... c Min unsat cost LB: 102745 ... c Min unsat cost LB: 103036 ... c Min unsat cost LB: 104388 ... c Min unsat cost LB: 104426 ... c Min unsat cost LB: 104503 ... c Min unsat cost LB: 104796 ... c Min unsat cost LB: 104815 ... c Min unsat cost LB: 104859 ... c Min unsat cost LB: 105497 ... c Min unsat cost LB: 105570 ... c Min unsat cost LB: 106224 ... c Min unsat cost LB: 106931 ... c Min unsat cost LB: 107084 ... c Min unsat cost LB: 107248 ... c Min unsat cost LB: 107286 ... c Min unsat cost LB: 107336 ... c Min unsat cost LB: 107375 ... c Min unsat cost LB: 107964 ... c Min unsat cost LB: 108162 ... c Min unsat cost LB: 108226 ... c Min unsat cost LB: 108494 ... c Min unsat cost LB: 109503 ... c Min unsat cost LB: 109524 ... c Min unsat cost LB: 109822 ... c Min unsat cost LB: 110190 ... c Min unsat cost LB: 110202 ... c Min unsat cost LB: 110451 ... c Min unsat cost LB: 110809 ... c Min unsat cost LB: 110949 ... c Min unsat cost LB: 111684 ... c Min unsat cost LB: 111724 ... c Min unsat cost LB: 112411 ... c Min unsat cost LB: 112558 ... c Min unsat cost LB: 112642 ... c Min unsat cost LB: 112725 ... c Min unsat cost LB: 113071 ... c Min unsat cost LB: 113196 ... c Min unsat cost LB: 113538 ... c Min unsat cost LB: 113933 ... c Min unsat cost LB: 113953 ... c Min unsat cost LB: 113972 ... c Min unsat cost LB: 114012 ... c Min unsat cost LB: 114298 ... c Min unsat cost LB: 114345 ... c Min unsat cost LB: 114488 ... c Min unsat cost LB: 115191 ... c Min unsat cost LB: 115247 ... c Min unsat cost LB: 115778 ... c Min unsat cost LB: 115970 ... c Min unsat cost LB: 116264 ... c Min unsat cost LB: 116493 ... c Min unsat cost LB: 117031 ... c Min unsat cost LB: 117904 ... c Min unsat cost LB: 118363 ... c Min unsat cost LB: 118437 ... c Min unsat cost LB: 118536 ... c Min unsat cost LB: 118578 ... c Min unsat cost LB: 119475 ... c Min unsat cost LB: 119509 ... c Min unsat cost LB: 119511 ... c Min unsat cost LB: 120398 ... c Min unsat cost LB: 120466 ... c Min unsat cost LB: 120504 ... c Min unsat cost LB: 120595 ... c Min unsat cost LB: 121579 ... c Min unsat cost LB: 121650 ... c Min unsat cost LB: 121784 ... c Min unsat cost LB: 122266 ... c Min unsat cost LB: 122375 ... c Min unsat cost LB: 122436 ... c Min unsat cost LB: 122665 ... c Min unsat cost LB: 122877 ... c Min unsat cost LB: 123505 ... c Min unsat cost LB: 123955 ... c Min unsat cost LB: 124745 ... c Min unsat cost LB: 125103 ... c Min unsat cost LB: 125469 ... c Min unsat cost LB: 125589 ... c Min unsat cost LB: 125610 ... c Min unsat cost LB: 125850 ... c Min unsat cost LB: 126221 ... c Min unsat cost LB: 126279 ... c Min unsat cost LB: 126399 ... c Min unsat cost LB: 126636 ... c Min unsat cost LB: 126990 ... c Min unsat cost LB: 127360 ... c Min unsat cost LB: 127387 ... c Min unsat cost LB: 127454 ... c Min unsat cost LB: 127473 ... c Min unsat cost LB: 127587 ... c Min unsat cost LB: 127826 ... c Min unsat cost LB: 127910 ... c Min unsat cost LB: 128053 ... c Min unsat cost LB: 128519 ... c Min unsat cost LB: 128580 ... c Min unsat cost LB: 128668 ... c Min unsat cost LB: 128718 ... c Min unsat cost LB: 128857 ... c Min unsat cost LB: 129038 ... c Min unsat cost LB: 129491 ... c Min unsat cost LB: 129811 ... c Min unsat cost LB: 129824 ... c Min unsat cost LB: 129883 ... c Min unsat cost LB: 129963 ... c Min unsat cost LB: 129992 ... c Min unsat cost LB: 130010 ... c Min unsat cost LB: 130656 ... c Min unsat cost LB: 130751 ... c Min unsat cost LB: 130808 ... c Min unsat cost LB: 131349 ... c Min unsat cost LB: 131356 ... c Min unsat cost LB: 131394 ... c Min unsat cost LB: 131545 ... c Min unsat cost LB: 132065 ... c Min unsat cost LB: 132245 ... c Min unsat cost LB: 132313 ... c Min unsat cost LB: 132832 ... c Min unsat cost LB: 133025 ... c Min unsat cost LB: 133028 ... c Min unsat cost LB: 133439 ... c Min unsat cost LB: 133915 ... c Min unsat cost LB: 134219 ... c Min unsat cost LB: 134226 ... c Min unsat cost LB: 134402 ... c Min unsat cost LB: 135088 ... c Min unsat cost LB: 135272 ... c Min unsat cost LB: 135600 ... c Min unsat cost LB: 136327 ... c Min unsat cost LB: 136834 ... c Min unsat cost LB: 136866 ... c Min unsat cost LB: 137220 ... c Min unsat cost LB: 137448 ... c Min unsat cost LB: 137504 ... c Min unsat cost LB: 137522 ... c Min unsat cost LB: 137775 ... c Min unsat cost LB: 137965 ... c Min unsat cost LB: 138587 ... c Min unsat cost LB: 138754 ... c Min unsat cost LB: 139412 ... c Min unsat cost LB: 139451 ... c Min unsat cost LB: 139731 ... c Min unsat cost LB: 139898 ... c Min unsat cost LB: 140265 ... c Min unsat cost LB: 140444 ... c Min unsat cost LB: 140782 ... c Min unsat cost LB: 140804 ... c Min unsat cost LB: 140961 ... c Min unsat cost LB: 141290 ... c Min unsat cost LB: 141412 ... c Min unsat cost LB: 141907 ... c Min unsat cost LB: 142100 ... c Min unsat cost LB: 142119 ... c Min unsat cost LB: 142138 ... c Min unsat cost LB: 142233 ... c Min unsat cost LB: 142252 ... c Min unsat cost LB: 142271 ... c Min unsat cost LB: 142731 ... c Min unsat cost LB: 142736 ... c Min unsat cost LB: 142757 ... c Min unsat cost LB: 142807 ... c Min unsat cost LB: 142813 ... c Min unsat cost LB: 142819 ... c Min unsat cost LB: 142830 ... c Min unsat cost LB: 142852 ... c Min unsat cost LB: 142891 ... c Min unsat cost LB: 143253 ... c Min unsat cost LB: 143265 ... c Min unsat cost LB: 143355 ... c Min unsat cost LB: 143612 ... c Min unsat cost LB: 144459 ... c Min unsat cost LB: 144578 ... c Min unsat cost LB: 144602 ... c Min unsat cost LB: 144655 ... c Min unsat cost LB: 144668 ... c Min unsat cost LB: 144690 ... c Min unsat cost LB: 144772 ... c Min unsat cost LB: 144848 ... c Min unsat cost LB: 144925 ... o 144925 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 371 372 -373 -374 -375 376 -377 -378 379 -380 -381 -382 383 -384 -385 -386 -387 388 -389 390 -391 392 -393 -394 -395 396 -397 398 -399 -400 -401 402 -403 404 -405 -406 -407 -408 409 410 -411 412 -413 -414 -415 416 -417 418 -419 -420 421 -422 c CPU Time: 13.323 13.333u 0.063s 0:13.43 99.7% 0+0k 0+0io 0pf+0w