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-100-1_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-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-100-1_network-2.net.wcnf *** c c Min unsat cost LB: 536 ... c Min unsat cost LB: 2168 ... c Min unsat cost LB: 2691 ... c Min unsat cost LB: 3254 ... c Min unsat cost LB: 3565 ... c Min unsat cost LB: 4474 ... c Min unsat cost LB: 5424 ... c Min unsat cost LB: 5846 ... c Min unsat cost LB: 7054 ... c Min unsat cost LB: 8644 ... c Min unsat cost LB: 9527 ... c Min unsat cost LB: 10306 ... c Min unsat cost LB: 10592 ... c Min unsat cost LB: 10601 ... c Min unsat cost LB: 11425 ... c Min unsat cost LB: 11506 ... c Min unsat cost LB: 11601 ... c Min unsat cost LB: 11625 ... c Min unsat cost LB: 11746 ... c Min unsat cost LB: 13079 ... c Min unsat cost LB: 14002 ... c Min unsat cost LB: 15924 ... c Min unsat cost LB: 16550 ... c Min unsat cost LB: 16601 ... c Min unsat cost LB: 17136 ... c Min unsat cost LB: 17155 ... c Min unsat cost LB: 17173 ... c Min unsat cost LB: 17635 ... c Min unsat cost LB: 18025 ... c Min unsat cost LB: 18058 ... c Min unsat cost LB: 19317 ... c Min unsat cost LB: 20370 ... c Min unsat cost LB: 21351 ... c Min unsat cost LB: 22562 ... c Min unsat cost LB: 23002 ... c Min unsat cost LB: 24015 ... c Min unsat cost LB: 25188 ... c Min unsat cost LB: 25312 ... c Min unsat cost LB: 25497 ... c Min unsat cost LB: 26090 ... c Min unsat cost LB: 26727 ... c Min unsat cost LB: 27329 ... c Min unsat cost LB: 27576 ... c Min unsat cost LB: 28316 ... c Min unsat cost LB: 28571 ... c Min unsat cost LB: 28906 ... c Min unsat cost LB: 29210 ... c Min unsat cost LB: 29509 ... c Min unsat cost LB: 29774 ... c Min unsat cost LB: 30100 ... c Min unsat cost LB: 30660 ... c Min unsat cost LB: 30960 ... c Min unsat cost LB: 31083 ... c Min unsat cost LB: 31497 ... c Min unsat cost LB: 31641 ... c Min unsat cost LB: 32170 ... c Min unsat cost LB: 32273 ... c Min unsat cost LB: 32587 ... c Min unsat cost LB: 33699 ... c Min unsat cost LB: 33845 ... c Min unsat cost LB: 34175 ... c Min unsat cost LB: 34527 ... c Min unsat cost LB: 34680 ... c Min unsat cost LB: 35365 ... c Min unsat cost LB: 36230 ... c Min unsat cost LB: 36295 ... c Min unsat cost LB: 36908 ... c Min unsat cost LB: 37393 ... c Min unsat cost LB: 37426 ... c Min unsat cost LB: 37542 ... c Min unsat cost LB: 37548 ... c Min unsat cost LB: 38826 ... c Min unsat cost LB: 38916 ... c Min unsat cost LB: 39058 ... c Min unsat cost LB: 39692 ... c Min unsat cost LB: 39769 ... c Min unsat cost LB: 40305 ... c Min unsat cost LB: 41284 ... c Min unsat cost LB: 41623 ... c Min unsat cost LB: 42227 ... c Min unsat cost LB: 42491 ... c Min unsat cost LB: 42532 ... c Min unsat cost LB: 42769 ... c Min unsat cost LB: 42807 ... c Min unsat cost LB: 42860 ... c Min unsat cost LB: 42996 ... c Min unsat cost LB: 43148 ... c Min unsat cost LB: 43372 ... c Min unsat cost LB: 43961 ... c Min unsat cost LB: 43978 ... c Min unsat cost LB: 44096 ... c Min unsat cost LB: 44230 ... c Min unsat cost LB: 45355 ... c Min unsat cost LB: 45507 ... c Min unsat cost LB: 46462 ... c Min unsat cost LB: 46682 ... c Min unsat cost LB: 46759 ... c Min unsat cost LB: 46989 ... c Min unsat cost LB: 47131 ... c Min unsat cost LB: 47148 ... c Min unsat cost LB: 47936 ... c Min unsat cost LB: 47951 ... c Min unsat cost LB: 47978 ... c Min unsat cost LB: 48729 ... c Min unsat cost LB: 48738 ... c Min unsat cost LB: 49080 ... c Min unsat cost LB: 49097 ... c Min unsat cost LB: 49103 ... c Min unsat cost LB: 49458 ... c Min unsat cost LB: 50161 ... c Min unsat cost LB: 50215 ... c Min unsat cost LB: 50272 ... c Min unsat cost LB: 50329 ... c Min unsat cost LB: 50349 ... c Min unsat cost LB: 50526 ... c Min unsat cost LB: 50573 ... c Min unsat cost LB: 51000 ... c Min unsat cost LB: 52038 ... c Min unsat cost LB: 52097 ... c Min unsat cost LB: 52441 ... c Min unsat cost LB: 52514 ... c Min unsat cost LB: 52567 ... c Min unsat cost LB: 52603 ... c Min unsat cost LB: 52799 ... c Min unsat cost LB: 52900 ... c Min unsat cost LB: 52971 ... c Min unsat cost LB: 53637 ... c Min unsat cost LB: 53956 ... c Min unsat cost LB: 54175 ... c Min unsat cost LB: 54791 ... c Min unsat cost LB: 55028 ... c Min unsat cost LB: 55103 ... c Min unsat cost LB: 55168 ... c Min unsat cost LB: 55357 ... c Min unsat cost LB: 55463 ... c Min unsat cost LB: 55469 ... c Min unsat cost LB: 55505 ... c Min unsat cost LB: 55558 ... c Min unsat cost LB: 55608 ... c Min unsat cost LB: 55766 ... c Min unsat cost LB: 55804 ... c Min unsat cost LB: 55837 ... c Min unsat cost LB: 56312 ... c Min unsat cost LB: 56330 ... c Min unsat cost LB: 56783 ... c Min unsat cost LB: 56800 ... c Min unsat cost LB: 56802 ... c Min unsat cost LB: 56803 ... c Min unsat cost LB: 56807 ... c Min unsat cost LB: 56823 ... c Min unsat cost LB: 56888 ... c Min unsat cost LB: 56908 ... c Min unsat cost LB: 57004 ... c Min unsat cost LB: 57053 ... c Min unsat cost LB: 57128 ... c Min unsat cost LB: 57612 ... c Min unsat cost LB: 58175 ... c Min unsat cost LB: 58518 ... c Min unsat cost LB: 59401 ... c Min unsat cost LB: 59497 ... c Min unsat cost LB: 59820 ... c Min unsat cost LB: 59869 ... c Min unsat cost LB: 60805 ... c Min unsat cost LB: 60808 ... c Min unsat cost LB: 61506 ... c Min unsat cost LB: 61511 ... c Min unsat cost LB: 61533 ... c Min unsat cost LB: 61693 ... c Min unsat cost LB: 61771 ... c Min unsat cost LB: 61783 ... c Min unsat cost LB: 61806 ... c Min unsat cost LB: 62446 ... c Min unsat cost LB: 62457 ... c Min unsat cost LB: 62468 ... c Min unsat cost LB: 62473 ... c Min unsat cost LB: 62821 ... c Min unsat cost LB: 63058 ... c Min unsat cost LB: 63686 ... c Min unsat cost LB: 64406 ... c Min unsat cost LB: 64649 ... c Min unsat cost LB: 64650 ... c Min unsat cost LB: 64797 ... c Min unsat cost LB: 64881 ... c Min unsat cost LB: 65763 ... c Min unsat cost LB: 65909 ... c Min unsat cost LB: 65968 ... c Min unsat cost LB: 66040 ... c Min unsat cost LB: 66316 ... c Min unsat cost LB: 66327 ... c Min unsat cost LB: 66809 ... c Min unsat cost LB: 67388 ... c Min unsat cost LB: 67700 ... c Min unsat cost LB: 67780 ... c Min unsat cost LB: 68347 ... c Min unsat cost LB: 68494 ... c Min unsat cost LB: 68495 ... c Min unsat cost LB: 68510 ... c Min unsat cost LB: 68854 ... c Min unsat cost LB: 69304 ... c Min unsat cost LB: 69387 ... c Min unsat cost LB: 69478 ... c Min unsat cost LB: 69583 ... c Min unsat cost LB: 70181 ... c Min unsat cost LB: 70311 ... c Min unsat cost LB: 70319 ... c Min unsat cost LB: 70496 ... c Min unsat cost LB: 70655 ... c Min unsat cost LB: 70845 ... c Min unsat cost LB: 71243 ... c Min unsat cost LB: 71570 ... c Min unsat cost LB: 71682 ... c Min unsat cost LB: 72146 ... c Min unsat cost LB: 72371 ... c Min unsat cost LB: 72467 ... c Min unsat cost LB: 72867 ... c Min unsat cost LB: 73890 ... c Min unsat cost LB: 73952 ... c Min unsat cost LB: 74176 ... c Min unsat cost LB: 74672 ... c Min unsat cost LB: 75153 ... c Min unsat cost LB: 75195 ... c Min unsat cost LB: 75722 ... c Min unsat cost LB: 76787 ... c Min unsat cost LB: 76978 ... c Min unsat cost LB: 77192 ... c Min unsat cost LB: 77470 ... c Min unsat cost LB: 77569 ... c Min unsat cost LB: 78439 ... c Min unsat cost LB: 78940 ... c Min unsat cost LB: 79061 ... c Min unsat cost LB: 79467 ... c Min unsat cost LB: 79471 ... c Min unsat cost LB: 79566 ... c Min unsat cost LB: 80714 ... c Min unsat cost LB: 80801 ... c Min unsat cost LB: 80808 ... c Min unsat cost LB: 81027 ... c Min unsat cost LB: 81408 ... c Min unsat cost LB: 81887 ... c Min unsat cost LB: 82443 ... c Min unsat cost LB: 82483 ... c Min unsat cost LB: 83183 ... c Min unsat cost LB: 83687 ... c Min unsat cost LB: 83997 ... c Min unsat cost LB: 84770 ... c Min unsat cost LB: 84777 ... c Min unsat cost LB: 84983 ... c Min unsat cost LB: 85230 ... c Min unsat cost LB: 85475 ... c Min unsat cost LB: 85547 ... c Min unsat cost LB: 85632 ... c Min unsat cost LB: 85649 ... c Min unsat cost LB: 85658 ... c Min unsat cost LB: 85770 ... c Min unsat cost LB: 86086 ... c Min unsat cost LB: 86270 ... c Min unsat cost LB: 86403 ... c Min unsat cost LB: 86421 ... c Min unsat cost LB: 86733 ... c Min unsat cost LB: 86736 ... c Min unsat cost LB: 86737 ... c Min unsat cost LB: 86811 ... c Min unsat cost LB: 87947 ... c Min unsat cost LB: 87973 ... c Min unsat cost LB: 88043 ... c Min unsat cost LB: 88586 ... c Min unsat cost LB: 88994 ... c Min unsat cost LB: 89056 ... c Min unsat cost LB: 89302 ... c Min unsat cost LB: 89680 ... c Min unsat cost LB: 89681 ... c Min unsat cost LB: 89762 ... c Min unsat cost LB: 89795 ... c Min unsat cost LB: 89798 ... c Min unsat cost LB: 89802 ... c Min unsat cost LB: 89803 ... c Min unsat cost LB: 89807 ... c Min unsat cost LB: 89871 ... c Min unsat cost LB: 89905 ... c Min unsat cost LB: 89965 ... c Min unsat cost LB: 91110 ... c Min unsat cost LB: 91181 ... c Min unsat cost LB: 91197 ... c Min unsat cost LB: 91270 ... c Min unsat cost LB: 91466 ... c Min unsat cost LB: 91467 ... c Min unsat cost LB: 91617 ... c Min unsat cost LB: 91661 ... c Min unsat cost LB: 91663 ... c Min unsat cost LB: 92026 ... c Min unsat cost LB: 92885 ... c Min unsat cost LB: 93253 ... c Min unsat cost LB: 93337 ... c Min unsat cost LB: 93532 ... c Min unsat cost LB: 93705 ... c Min unsat cost LB: 93755 ... c Min unsat cost LB: 93799 ... c Min unsat cost LB: 93905 ... c Min unsat cost LB: 93956 ... c Min unsat cost LB: 94154 ... c Min unsat cost LB: 94706 ... c Min unsat cost LB: 94722 ... c Min unsat cost LB: 94723 ... c Min unsat cost LB: 94731 ... c Min unsat cost LB: 94756 ... c Min unsat cost LB: 94800 ... c Min unsat cost LB: 94816 ... c Min unsat cost LB: 94817 ... c Min unsat cost LB: 94852 ... c Min unsat cost LB: 94925 ... c Min unsat cost LB: 94959 ... c Min unsat cost LB: 94960 ... c Min unsat cost LB: 94969 ... c Min unsat cost LB: 95022 ... c Min unsat cost LB: 95035 ... c Min unsat cost LB: 95046 ... c Min unsat cost LB: 95068 ... c Min unsat cost LB: 95271 ... c Min unsat cost LB: 95756 ... c Min unsat cost LB: 95764 ... o 95764 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 c CPU Time: 5.72413 5.733u 0.021s 0:05.78 99.4% 0+0k 0+0io 0pf+0w