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-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-4.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-4.net.wcnf *** c c Min unsat cost LB: 793 ... c Min unsat cost LB: 844 ... c Min unsat cost LB: 1799 ... c Min unsat cost LB: 2055 ... c Min unsat cost LB: 2451 ... c Min unsat cost LB: 3624 ... c Min unsat cost LB: 4460 ... c Min unsat cost LB: 5204 ... c Min unsat cost LB: 6900 ... c Min unsat cost LB: 7971 ... c Min unsat cost LB: 8101 ... c Min unsat cost LB: 8342 ... c Min unsat cost LB: 8607 ... c Min unsat cost LB: 9468 ... c Min unsat cost LB: 10368 ... c Min unsat cost LB: 10505 ... c Min unsat cost LB: 10640 ... c Min unsat cost LB: 10890 ... c Min unsat cost LB: 12233 ... c Min unsat cost LB: 12283 ... c Min unsat cost LB: 12859 ... c Min unsat cost LB: 13919 ... c Min unsat cost LB: 15312 ... c Min unsat cost LB: 15528 ... c Min unsat cost LB: 15747 ... c Min unsat cost LB: 16230 ... c Min unsat cost LB: 16966 ... c Min unsat cost LB: 17534 ... c Min unsat cost LB: 17823 ... c Min unsat cost LB: 18803 ... c Min unsat cost LB: 19061 ... c Min unsat cost LB: 19795 ... c Min unsat cost LB: 19903 ... c Min unsat cost LB: 20240 ... c Min unsat cost LB: 20526 ... c Min unsat cost LB: 20694 ... c Min unsat cost LB: 20846 ... c Min unsat cost LB: 20983 ... c Min unsat cost LB: 21241 ... c Min unsat cost LB: 21809 ... c Min unsat cost LB: 22184 ... c Min unsat cost LB: 22341 ... c Min unsat cost LB: 22561 ... c Min unsat cost LB: 22605 ... c Min unsat cost LB: 22947 ... c Min unsat cost LB: 23538 ... c Min unsat cost LB: 24249 ... c Min unsat cost LB: 24254 ... c Min unsat cost LB: 24333 ... c Min unsat cost LB: 25028 ... c Min unsat cost LB: 25145 ... c Min unsat cost LB: 25386 ... c Min unsat cost LB: 25613 ... c Min unsat cost LB: 27059 ... c Min unsat cost LB: 27180 ... c Min unsat cost LB: 27289 ... c Min unsat cost LB: 27342 ... c Min unsat cost LB: 27446 ... c Min unsat cost LB: 27509 ... c Min unsat cost LB: 27553 ... c Min unsat cost LB: 27564 ... c Min unsat cost LB: 28123 ... c Min unsat cost LB: 28191 ... c Min unsat cost LB: 28535 ... c Min unsat cost LB: 28832 ... c Min unsat cost LB: 28856 ... c Min unsat cost LB: 28862 ... c Min unsat cost LB: 28933 ... c Min unsat cost LB: 29103 ... c Min unsat cost LB: 29278 ... c Min unsat cost LB: 30553 ... c Min unsat cost LB: 30682 ... c Min unsat cost LB: 30817 ... c Min unsat cost LB: 30828 ... c Min unsat cost LB: 31427 ... c Min unsat cost LB: 31616 ... c Min unsat cost LB: 31963 ... c Min unsat cost LB: 32743 ... c Min unsat cost LB: 32968 ... c Min unsat cost LB: 33239 ... c Min unsat cost LB: 33408 ... c Min unsat cost LB: 33435 ... c Min unsat cost LB: 33480 ... c Min unsat cost LB: 33627 ... c Min unsat cost LB: 33699 ... c Min unsat cost LB: 33796 ... c Min unsat cost LB: 34060 ... c Min unsat cost LB: 34355 ... c Min unsat cost LB: 34645 ... c Min unsat cost LB: 35198 ... c Min unsat cost LB: 35478 ... c Min unsat cost LB: 35847 ... c Min unsat cost LB: 35900 ... c Min unsat cost LB: 36057 ... c Min unsat cost LB: 37182 ... c Min unsat cost LB: 37274 ... c Min unsat cost LB: 37318 ... c Min unsat cost LB: 37395 ... c Min unsat cost LB: 38075 ... c Min unsat cost LB: 38147 ... c Min unsat cost LB: 38465 ... c Min unsat cost LB: 38503 ... c Min unsat cost LB: 38861 ... c Min unsat cost LB: 39504 ... c Min unsat cost LB: 40319 ... c Min unsat cost LB: 40614 ... c Min unsat cost LB: 40914 ... c Min unsat cost LB: 41248 ... c Min unsat cost LB: 41345 ... c Min unsat cost LB: 41473 ... c Min unsat cost LB: 42143 ... c Min unsat cost LB: 42248 ... c Min unsat cost LB: 42433 ... c Min unsat cost LB: 42470 ... c Min unsat cost LB: 42599 ... c Min unsat cost LB: 42899 ... c Min unsat cost LB: 43510 ... c Min unsat cost LB: 43631 ... c Min unsat cost LB: 44436 ... c Min unsat cost LB: 44492 ... c Min unsat cost LB: 44544 ... c Min unsat cost LB: 44564 ... c Min unsat cost LB: 44629 ... c Min unsat cost LB: 44701 ... c Min unsat cost LB: 44848 ... c Min unsat cost LB: 45253 ... c Min unsat cost LB: 45263 ... c Min unsat cost LB: 45473 ... c Min unsat cost LB: 45528 ... c Min unsat cost LB: 45717 ... c Min unsat cost LB: 45761 ... c Min unsat cost LB: 46986 ... c Min unsat cost LB: 47000 ... c Min unsat cost LB: 47050 ... c Min unsat cost LB: 47274 ... c Min unsat cost LB: 47614 ... c Min unsat cost LB: 48084 ... c Min unsat cost LB: 48096 ... c Min unsat cost LB: 48655 ... c Min unsat cost LB: 48962 ... c Min unsat cost LB: 49449 ... c Min unsat cost LB: 49470 ... c Min unsat cost LB: 49724 ... c Min unsat cost LB: 49997 ... c Min unsat cost LB: 50115 ... c Min unsat cost LB: 50670 ... c Min unsat cost LB: 50882 ... c Min unsat cost LB: 50927 ... c Min unsat cost LB: 50928 ... c Min unsat cost LB: 50956 ... c Min unsat cost LB: 51089 ... c Min unsat cost LB: 51127 ... c Min unsat cost LB: 51303 ... c Min unsat cost LB: 51685 ... c Min unsat cost LB: 52016 ... c Min unsat cost LB: 52072 ... c Min unsat cost LB: 52322 ... c Min unsat cost LB: 52619 ... c Min unsat cost LB: 53011 ... c Min unsat cost LB: 53331 ... c Min unsat cost LB: 53383 ... c Min unsat cost LB: 53468 ... c Min unsat cost LB: 53707 ... c Min unsat cost LB: 53933 ... c Min unsat cost LB: 54116 ... c Min unsat cost LB: 54363 ... c Min unsat cost LB: 54500 ... c Min unsat cost LB: 54635 ... c Min unsat cost LB: 55094 ... c Min unsat cost LB: 55321 ... c Min unsat cost LB: 56114 ... c Min unsat cost LB: 56227 ... c Min unsat cost LB: 56347 ... c Min unsat cost LB: 56355 ... c Min unsat cost LB: 56677 ... c Min unsat cost LB: 57300 ... c Min unsat cost LB: 57407 ... c Min unsat cost LB: 58091 ... c Min unsat cost LB: 58193 ... c Min unsat cost LB: 58237 ... c Min unsat cost LB: 58242 ... c Min unsat cost LB: 58355 ... c Min unsat cost LB: 58425 ... c Min unsat cost LB: 58485 ... c Min unsat cost LB: 58545 ... c Min unsat cost LB: 58948 ... c Min unsat cost LB: 59047 ... c Min unsat cost LB: 59081 ... c Min unsat cost LB: 59442 ... c Min unsat cost LB: 59813 ... c Min unsat cost LB: 60296 ... c Min unsat cost LB: 60415 ... c Min unsat cost LB: 60476 ... c Min unsat cost LB: 60741 ... c Min unsat cost LB: 61024 ... c Min unsat cost LB: 61220 ... c Min unsat cost LB: 61406 ... c Min unsat cost LB: 61830 ... c Min unsat cost LB: 62096 ... c Min unsat cost LB: 62390 ... c Min unsat cost LB: 62972 ... c Min unsat cost LB: 63419 ... c Min unsat cost LB: 64353 ... c Min unsat cost LB: 64451 ... c Min unsat cost LB: 64524 ... c Min unsat cost LB: 64777 ... c Min unsat cost LB: 64945 ... c Min unsat cost LB: 65391 ... c Min unsat cost LB: 65499 ... c Min unsat cost LB: 65538 ... c Min unsat cost LB: 66515 ... c Min unsat cost LB: 66683 ... c Min unsat cost LB: 66686 ... c Min unsat cost LB: 67036 ... c Min unsat cost LB: 67794 ... c Min unsat cost LB: 68119 ... c Min unsat cost LB: 68200 ... c Min unsat cost LB: 68313 ... c Min unsat cost LB: 68374 ... c Min unsat cost LB: 68606 ... c Min unsat cost LB: 68857 ... c Min unsat cost LB: 68946 ... c Min unsat cost LB: 69017 ... c Min unsat cost LB: 69917 ... c Min unsat cost LB: 70185 ... c Min unsat cost LB: 70342 ... c Min unsat cost LB: 70501 ... c Min unsat cost LB: 71740 ... c Min unsat cost LB: 72002 ... c Min unsat cost LB: 72217 ... c Min unsat cost LB: 72391 ... c Min unsat cost LB: 72411 ... c Min unsat cost LB: 72579 ... c Min unsat cost LB: 72731 ... c Min unsat cost LB: 72781 ... c Min unsat cost LB: 72912 ... c Min unsat cost LB: 72938 ... c Min unsat cost LB: 73002 ... c Min unsat cost LB: 73090 ... c Min unsat cost LB: 73705 ... c Min unsat cost LB: 73792 ... c Min unsat cost LB: 74101 ... c Min unsat cost LB: 74207 ... c Min unsat cost LB: 74749 ... c Min unsat cost LB: 74998 ... c Min unsat cost LB: 75138 ... c Min unsat cost LB: 75279 ... c Min unsat cost LB: 75695 ... c Min unsat cost LB: 76440 ... c Min unsat cost LB: 76601 ... c Min unsat cost LB: 76760 ... c Min unsat cost LB: 76908 ... c Min unsat cost LB: 76970 ... c Min unsat cost LB: 76993 ... c Min unsat cost LB: 77140 ... c Min unsat cost LB: 77584 ... c Min unsat cost LB: 77602 ... c Min unsat cost LB: 77694 ... c Min unsat cost LB: 77791 ... c Min unsat cost LB: 78392 ... c Min unsat cost LB: 78449 ... c Min unsat cost LB: 78555 ... c Min unsat cost LB: 78593 ... c Min unsat cost LB: 79061 ... c Min unsat cost LB: 79211 ... c Min unsat cost LB: 79329 ... c Min unsat cost LB: 79590 ... c Min unsat cost LB: 79601 ... c Min unsat cost LB: 79665 ... c Min unsat cost LB: 79873 ... c Min unsat cost LB: 79891 ... c Min unsat cost LB: 80132 ... c Min unsat cost LB: 80135 ... c Min unsat cost LB: 80143 ... c Min unsat cost LB: 80204 ... c Min unsat cost LB: 80457 ... c Min unsat cost LB: 80467 ... c Min unsat cost LB: 80487 ... c Min unsat cost LB: 80513 ... c Min unsat cost LB: 80517 ... c Min unsat cost LB: 80710 ... c Min unsat cost LB: 80732 ... c Min unsat cost LB: 80749 ... c Min unsat cost LB: 80751 ... c Min unsat cost LB: 80905 ... c Min unsat cost LB: 81242 ... c Min unsat cost LB: 81293 ... c Min unsat cost LB: 81391 ... c Min unsat cost LB: 81474 ... c Min unsat cost LB: 82204 ... c Min unsat cost LB: 82210 ... c Min unsat cost LB: 82488 ... c Min unsat cost LB: 82614 ... c Min unsat cost LB: 82700 ... c Min unsat cost LB: 82739 ... c Min unsat cost LB: 82750 ... c Min unsat cost LB: 82788 ... c Min unsat cost LB: 82892 ... c Min unsat cost LB: 83033 ... c Min unsat cost LB: 83266 ... c Min unsat cost LB: 83426 ... c Min unsat cost LB: 83453 ... c Min unsat cost LB: 83504 ... c Min unsat cost LB: 83517 ... c Min unsat cost LB: 83555 ... c Min unsat cost LB: 83573 ... c Min unsat cost LB: 83602 ... c Min unsat cost LB: 83638 ... c Min unsat cost LB: 83685 ... c Min unsat cost LB: 83703 ... c Min unsat cost LB: 84128 ... c Min unsat cost LB: 84201 ... c Min unsat cost LB: 84263 ... c Min unsat cost LB: 84290 ... c Min unsat cost LB: 84374 ... c Min unsat cost LB: 84611 ... c Min unsat cost LB: 84704 ... c Min unsat cost LB: 85113 ... c Min unsat cost LB: 85141 ... c Min unsat cost LB: 85429 ... c Min unsat cost LB: 85501 ... o 85501 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 c CPU Time: 5.9391 5.950u 0.023s 0:05.99 99.6% 0+0k 0+0io 0pf+0w