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-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-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-80-1_network-3.net.wcnf *** c c Min unsat cost LB: 30 ... c Min unsat cost LB: 1569 ... c Min unsat cost LB: 1752 ... c Min unsat cost LB: 2228 ... c Min unsat cost LB: 2439 ... c Min unsat cost LB: 3031 ... c Min unsat cost LB: 3961 ... c Min unsat cost LB: 5143 ... c Min unsat cost LB: 5575 ... c Min unsat cost LB: 6957 ... c Min unsat cost LB: 7350 ... c Min unsat cost LB: 7746 ... c Min unsat cost LB: 7758 ... c Min unsat cost LB: 8298 ... c Min unsat cost LB: 8846 ... c Min unsat cost LB: 9880 ... c Min unsat cost LB: 10611 ... c Min unsat cost LB: 12371 ... c Min unsat cost LB: 12546 ... c Min unsat cost LB: 12711 ... c Min unsat cost LB: 13309 ... c Min unsat cost LB: 13604 ... c Min unsat cost LB: 13852 ... c Min unsat cost LB: 14209 ... c Min unsat cost LB: 14437 ... c Min unsat cost LB: 14838 ... c Min unsat cost LB: 14877 ... c Min unsat cost LB: 15688 ... c Min unsat cost LB: 16984 ... c Min unsat cost LB: 17203 ... c Min unsat cost LB: 18472 ... c Min unsat cost LB: 18808 ... c Min unsat cost LB: 19040 ... c Min unsat cost LB: 19055 ... c Min unsat cost LB: 19297 ... c Min unsat cost LB: 19446 ... c Min unsat cost LB: 19530 ... c Min unsat cost LB: 19765 ... c Min unsat cost LB: 19997 ... c Min unsat cost LB: 20212 ... c Min unsat cost LB: 20314 ... c Min unsat cost LB: 20462 ... c Min unsat cost LB: 20694 ... c Min unsat cost LB: 21165 ... c Min unsat cost LB: 21801 ... c Min unsat cost LB: 22670 ... c Min unsat cost LB: 22817 ... c Min unsat cost LB: 23477 ... c Min unsat cost LB: 23510 ... c Min unsat cost LB: 23864 ... c Min unsat cost LB: 24302 ... c Min unsat cost LB: 24501 ... c Min unsat cost LB: 24950 ... c Min unsat cost LB: 25061 ... c Min unsat cost LB: 25758 ... c Min unsat cost LB: 26037 ... c Min unsat cost LB: 26346 ... c Min unsat cost LB: 27008 ... c Min unsat cost LB: 27461 ... c Min unsat cost LB: 27773 ... c Min unsat cost LB: 27908 ... c Min unsat cost LB: 28047 ... c Min unsat cost LB: 28211 ... c Min unsat cost LB: 28629 ... c Min unsat cost LB: 28682 ... c Min unsat cost LB: 28855 ... c Min unsat cost LB: 28861 ... c Min unsat cost LB: 28870 ... c Min unsat cost LB: 28883 ... c Min unsat cost LB: 29008 ... c Min unsat cost LB: 29481 ... c Min unsat cost LB: 29749 ... c Min unsat cost LB: 29928 ... c Min unsat cost LB: 29965 ... c Min unsat cost LB: 30136 ... c Min unsat cost LB: 30290 ... c Min unsat cost LB: 30622 ... c Min unsat cost LB: 31237 ... c Min unsat cost LB: 31363 ... c Min unsat cost LB: 31522 ... c Min unsat cost LB: 31583 ... c Min unsat cost LB: 31603 ... c Min unsat cost LB: 31656 ... c Min unsat cost LB: 31690 ... c Min unsat cost LB: 31729 ... c Min unsat cost LB: 31902 ... c Min unsat cost LB: 32013 ... c Min unsat cost LB: 32286 ... c Min unsat cost LB: 32429 ... c Min unsat cost LB: 32503 ... c Min unsat cost LB: 33065 ... c Min unsat cost LB: 33071 ... c Min unsat cost LB: 33078 ... c Min unsat cost LB: 33558 ... c Min unsat cost LB: 33566 ... c Min unsat cost LB: 33568 ... c Min unsat cost LB: 33588 ... c Min unsat cost LB: 33600 ... c Min unsat cost LB: 33711 ... c Min unsat cost LB: 34214 ... c Min unsat cost LB: 34259 ... c Min unsat cost LB: 34339 ... c Min unsat cost LB: 34532 ... c Min unsat cost LB: 34577 ... c Min unsat cost LB: 34597 ... c Min unsat cost LB: 34752 ... c Min unsat cost LB: 35391 ... c Min unsat cost LB: 35442 ... c Min unsat cost LB: 36635 ... c Min unsat cost LB: 37238 ... c Min unsat cost LB: 37240 ... c Min unsat cost LB: 37388 ... c Min unsat cost LB: 37464 ... c Min unsat cost LB: 38269 ... c Min unsat cost LB: 38394 ... c Min unsat cost LB: 38449 ... c Min unsat cost LB: 38451 ... c Min unsat cost LB: 38457 ... c Min unsat cost LB: 38469 ... c Min unsat cost LB: 38470 ... c Min unsat cost LB: 38499 ... c Min unsat cost LB: 38524 ... c Min unsat cost LB: 38525 ... c Min unsat cost LB: 38526 ... c Min unsat cost LB: 38530 ... c Min unsat cost LB: 38555 ... c Min unsat cost LB: 38564 ... c Min unsat cost LB: 38609 ... c Min unsat cost LB: 38899 ... c Min unsat cost LB: 39767 ... c Min unsat cost LB: 40347 ... c Min unsat cost LB: 40455 ... c Min unsat cost LB: 40934 ... c Min unsat cost LB: 40956 ... c Min unsat cost LB: 41185 ... c Min unsat cost LB: 41662 ... c Min unsat cost LB: 41963 ... c Min unsat cost LB: 42075 ... c Min unsat cost LB: 42077 ... c Min unsat cost LB: 42446 ... c Min unsat cost LB: 42487 ... c Min unsat cost LB: 42735 ... c Min unsat cost LB: 43018 ... c Min unsat cost LB: 43182 ... c Min unsat cost LB: 43348 ... c Min unsat cost LB: 43483 ... c Min unsat cost LB: 43540 ... c Min unsat cost LB: 43577 ... c Min unsat cost LB: 43709 ... c Min unsat cost LB: 44033 ... c Min unsat cost LB: 44052 ... c Min unsat cost LB: 44275 ... c Min unsat cost LB: 44784 ... c Min unsat cost LB: 44831 ... c Min unsat cost LB: 45157 ... c Min unsat cost LB: 45215 ... c Min unsat cost LB: 45441 ... c Min unsat cost LB: 45677 ... c Min unsat cost LB: 46132 ... c Min unsat cost LB: 47006 ... c Min unsat cost LB: 47138 ... c Min unsat cost LB: 47184 ... c Min unsat cost LB: 47554 ... c Min unsat cost LB: 47810 ... c Min unsat cost LB: 48214 ... c Min unsat cost LB: 48321 ... c Min unsat cost LB: 48550 ... c Min unsat cost LB: 48712 ... c Min unsat cost LB: 49358 ... c Min unsat cost LB: 49435 ... c Min unsat cost LB: 49795 ... c Min unsat cost LB: 50009 ... c Min unsat cost LB: 50016 ... c Min unsat cost LB: 50154 ... c Min unsat cost LB: 50443 ... c Min unsat cost LB: 50928 ... c Min unsat cost LB: 51222 ... c Min unsat cost LB: 51402 ... c Min unsat cost LB: 51484 ... c Min unsat cost LB: 51779 ... c Min unsat cost LB: 51874 ... c Min unsat cost LB: 51907 ... c Min unsat cost LB: 52016 ... c Min unsat cost LB: 52232 ... c Min unsat cost LB: 52669 ... c Min unsat cost LB: 52707 ... c Min unsat cost LB: 52785 ... c Min unsat cost LB: 52836 ... c Min unsat cost LB: 52931 ... c Min unsat cost LB: 52947 ... c Min unsat cost LB: 53170 ... c Min unsat cost LB: 53410 ... c Min unsat cost LB: 53460 ... c Min unsat cost LB: 53682 ... c Min unsat cost LB: 53719 ... c Min unsat cost LB: 53996 ... c Min unsat cost LB: 54090 ... c Min unsat cost LB: 54356 ... c Min unsat cost LB: 54433 ... c Min unsat cost LB: 54658 ... c Min unsat cost LB: 54758 ... c Min unsat cost LB: 55229 ... c Min unsat cost LB: 55967 ... c Min unsat cost LB: 56292 ... c Min unsat cost LB: 56568 ... c Min unsat cost LB: 56714 ... c Min unsat cost LB: 56718 ... c Min unsat cost LB: 56826 ... c Min unsat cost LB: 57566 ... c Min unsat cost LB: 57697 ... c Min unsat cost LB: 57927 ... c Min unsat cost LB: 58096 ... c Min unsat cost LB: 58412 ... c Min unsat cost LB: 58642 ... c Min unsat cost LB: 59320 ... c Min unsat cost LB: 59380 ... c Min unsat cost LB: 59539 ... c Min unsat cost LB: 59856 ... c Min unsat cost LB: 60113 ... c Min unsat cost LB: 60648 ... c Min unsat cost LB: 60690 ... c Min unsat cost LB: 61048 ... c Min unsat cost LB: 61345 ... c Min unsat cost LB: 61457 ... c Min unsat cost LB: 61734 ... c Min unsat cost LB: 61743 ... c Min unsat cost LB: 62251 ... c Min unsat cost LB: 62407 ... c Min unsat cost LB: 62724 ... c Min unsat cost LB: 62782 ... c Min unsat cost LB: 63010 ... c Min unsat cost LB: 63995 ... c Min unsat cost LB: 64147 ... c Min unsat cost LB: 64934 ... c Min unsat cost LB: 65265 ... c Min unsat cost LB: 65583 ... c Min unsat cost LB: 65728 ... c Min unsat cost LB: 65738 ... c Min unsat cost LB: 66296 ... c Min unsat cost LB: 66382 ... c Min unsat cost LB: 66411 ... c Min unsat cost LB: 66497 ... c Min unsat cost LB: 66671 ... c Min unsat cost LB: 66877 ... c Min unsat cost LB: 66934 ... c Min unsat cost LB: 67013 ... c Min unsat cost LB: 67015 ... c Min unsat cost LB: 67238 ... c Min unsat cost LB: 67239 ... c Min unsat cost LB: 67260 ... c Min unsat cost LB: 67500 ... c Min unsat cost LB: 67905 ... c Min unsat cost LB: 68429 ... c Min unsat cost LB: 68570 ... c Min unsat cost LB: 69430 ... c Min unsat cost LB: 69506 ... c Min unsat cost LB: 69535 ... c Min unsat cost LB: 69659 ... c Min unsat cost LB: 69922 ... c Min unsat cost LB: 70587 ... c Min unsat cost LB: 70676 ... c Min unsat cost LB: 70694 ... c Min unsat cost LB: 70811 ... c Min unsat cost LB: 70904 ... c Min unsat cost LB: 71014 ... o 71014 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 c CPU Time: 4.78127 4.794u 0.016s 0:04.81 99.7% 0+0k 0+0io 0pf+0w