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-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-1.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-1.net.wcnf *** c c Min unsat cost LB: 1242 ... c Min unsat cost LB: 1387 ... c Min unsat cost LB: 2132 ... c Min unsat cost LB: 3800 ... c Min unsat cost LB: 4943 ... c Min unsat cost LB: 5027 ... c Min unsat cost LB: 5205 ... c Min unsat cost LB: 5350 ... c Min unsat cost LB: 6014 ... c Min unsat cost LB: 6475 ... c Min unsat cost LB: 7363 ... c Min unsat cost LB: 7453 ... c Min unsat cost LB: 8423 ... c Min unsat cost LB: 8548 ... c Min unsat cost LB: 8615 ... c Min unsat cost LB: 9347 ... c Min unsat cost LB: 9962 ... c Min unsat cost LB: 10788 ... c Min unsat cost LB: 11241 ... c Min unsat cost LB: 11579 ... c Min unsat cost LB: 12914 ... c Min unsat cost LB: 12960 ... c Min unsat cost LB: 13090 ... c Min unsat cost LB: 13381 ... c Min unsat cost LB: 14026 ... c Min unsat cost LB: 14626 ... c Min unsat cost LB: 15390 ... c Min unsat cost LB: 15668 ... c Min unsat cost LB: 15975 ... c Min unsat cost LB: 17101 ... c Min unsat cost LB: 17121 ... c Min unsat cost LB: 18216 ... c Min unsat cost LB: 18468 ... c Min unsat cost LB: 18851 ... c Min unsat cost LB: 19632 ... c Min unsat cost LB: 19865 ... c Min unsat cost LB: 20015 ... c Min unsat cost LB: 20436 ... c Min unsat cost LB: 20914 ... c Min unsat cost LB: 21592 ... c Min unsat cost LB: 22126 ... c Min unsat cost LB: 23008 ... c Min unsat cost LB: 23574 ... c Min unsat cost LB: 23579 ... c Min unsat cost LB: 23821 ... c Min unsat cost LB: 23992 ... c Min unsat cost LB: 24015 ... c Min unsat cost LB: 24124 ... c Min unsat cost LB: 24368 ... c Min unsat cost LB: 24603 ... c Min unsat cost LB: 24944 ... c Min unsat cost LB: 24974 ... c Min unsat cost LB: 25553 ... c Min unsat cost LB: 25923 ... c Min unsat cost LB: 26472 ... c Min unsat cost LB: 26637 ... c Min unsat cost LB: 26832 ... c Min unsat cost LB: 27377 ... c Min unsat cost LB: 27706 ... c Min unsat cost LB: 27934 ... c Min unsat cost LB: 28377 ... c Min unsat cost LB: 28720 ... c Min unsat cost LB: 29185 ... c Min unsat cost LB: 29225 ... c Min unsat cost LB: 30068 ... c Min unsat cost LB: 30532 ... c Min unsat cost LB: 30584 ... c Min unsat cost LB: 30721 ... c Min unsat cost LB: 31062 ... c Min unsat cost LB: 31305 ... c Min unsat cost LB: 31504 ... c Min unsat cost LB: 32100 ... c Min unsat cost LB: 32324 ... c Min unsat cost LB: 32966 ... c Min unsat cost LB: 33571 ... c Min unsat cost LB: 33780 ... c Min unsat cost LB: 34493 ... c Min unsat cost LB: 34610 ... c Min unsat cost LB: 34691 ... c Min unsat cost LB: 34794 ... c Min unsat cost LB: 34874 ... c Min unsat cost LB: 34953 ... c Min unsat cost LB: 34969 ... c Min unsat cost LB: 34972 ... c Min unsat cost LB: 36336 ... c Min unsat cost LB: 36369 ... c Min unsat cost LB: 36476 ... c Min unsat cost LB: 36495 ... c Min unsat cost LB: 36577 ... c Min unsat cost LB: 36611 ... c Min unsat cost LB: 36660 ... c Min unsat cost LB: 36839 ... c Min unsat cost LB: 37165 ... c Min unsat cost LB: 37325 ... c Min unsat cost LB: 37524 ... c Min unsat cost LB: 37864 ... c Min unsat cost LB: 38067 ... c Min unsat cost LB: 38742 ... c Min unsat cost LB: 38846 ... c Min unsat cost LB: 39571 ... c Min unsat cost LB: 39591 ... c Min unsat cost LB: 39606 ... c Min unsat cost LB: 39858 ... c Min unsat cost LB: 40208 ... c Min unsat cost LB: 40414 ... c Min unsat cost LB: 40832 ... c Min unsat cost LB: 41053 ... c Min unsat cost LB: 41132 ... c Min unsat cost LB: 41308 ... c Min unsat cost LB: 41423 ... c Min unsat cost LB: 41442 ... c Min unsat cost LB: 41461 ... c Min unsat cost LB: 41540 ... c Min unsat cost LB: 41786 ... c Min unsat cost LB: 41889 ... c Min unsat cost LB: 42638 ... c Min unsat cost LB: 42983 ... c Min unsat cost LB: 43323 ... c Min unsat cost LB: 43378 ... c Min unsat cost LB: 44056 ... c Min unsat cost LB: 44221 ... c Min unsat cost LB: 44644 ... c Min unsat cost LB: 44934 ... c Min unsat cost LB: 44959 ... c Min unsat cost LB: 45488 ... c Min unsat cost LB: 45525 ... c Min unsat cost LB: 46226 ... c Min unsat cost LB: 46245 ... c Min unsat cost LB: 46405 ... c Min unsat cost LB: 46412 ... c Min unsat cost LB: 46485 ... c Min unsat cost LB: 46499 ... c Min unsat cost LB: 46562 ... c Min unsat cost LB: 46678 ... c Min unsat cost LB: 46853 ... c Min unsat cost LB: 47464 ... c Min unsat cost LB: 47623 ... c Min unsat cost LB: 47875 ... c Min unsat cost LB: 47913 ... c Min unsat cost LB: 48631 ... c Min unsat cost LB: 48791 ... c Min unsat cost LB: 49635 ... c Min unsat cost LB: 49898 ... c Min unsat cost LB: 50208 ... c Min unsat cost LB: 51200 ... c Min unsat cost LB: 51203 ... c Min unsat cost LB: 51374 ... c Min unsat cost LB: 51387 ... c Min unsat cost LB: 52394 ... c Min unsat cost LB: 52451 ... c Min unsat cost LB: 52470 ... c Min unsat cost LB: 52706 ... c Min unsat cost LB: 52712 ... c Min unsat cost LB: 53026 ... c Min unsat cost LB: 53377 ... c Min unsat cost LB: 53647 ... c Min unsat cost LB: 53725 ... c Min unsat cost LB: 53826 ... c Min unsat cost LB: 54078 ... c Min unsat cost LB: 54194 ... c Min unsat cost LB: 54416 ... c Min unsat cost LB: 54435 ... c Min unsat cost LB: 54441 ... c Min unsat cost LB: 54501 ... c Min unsat cost LB: 54785 ... c Min unsat cost LB: 54854 ... c Min unsat cost LB: 55204 ... c Min unsat cost LB: 55538 ... c Min unsat cost LB: 55663 ... c Min unsat cost LB: 56018 ... c Min unsat cost LB: 56602 ... c Min unsat cost LB: 57274 ... c Min unsat cost LB: 58155 ... c Min unsat cost LB: 58194 ... c Min unsat cost LB: 58292 ... c Min unsat cost LB: 58414 ... c Min unsat cost LB: 58580 ... c Min unsat cost LB: 58621 ... c Min unsat cost LB: 58688 ... c Min unsat cost LB: 58890 ... c Min unsat cost LB: 59465 ... c Min unsat cost LB: 59489 ... c Min unsat cost LB: 59907 ... c Min unsat cost LB: 60063 ... c Min unsat cost LB: 60197 ... c Min unsat cost LB: 61058 ... c Min unsat cost LB: 61102 ... c Min unsat cost LB: 61159 ... c Min unsat cost LB: 61414 ... c Min unsat cost LB: 62319 ... c Min unsat cost LB: 62385 ... c Min unsat cost LB: 62827 ... c Min unsat cost LB: 62986 ... c Min unsat cost LB: 63077 ... c Min unsat cost LB: 63242 ... c Min unsat cost LB: 63364 ... c Min unsat cost LB: 63511 ... c Min unsat cost LB: 64039 ... c Min unsat cost LB: 64225 ... c Min unsat cost LB: 64267 ... c Min unsat cost LB: 64450 ... c Min unsat cost LB: 64754 ... c Min unsat cost LB: 65299 ... c Min unsat cost LB: 65317 ... c Min unsat cost LB: 65458 ... c Min unsat cost LB: 65499 ... c Min unsat cost LB: 66648 ... c Min unsat cost LB: 66900 ... c Min unsat cost LB: 66977 ... c Min unsat cost LB: 67674 ... c Min unsat cost LB: 67691 ... c Min unsat cost LB: 67736 ... c Min unsat cost LB: 68396 ... c Min unsat cost LB: 68409 ... c Min unsat cost LB: 68411 ... c Min unsat cost LB: 68415 ... c Min unsat cost LB: 68434 ... c Min unsat cost LB: 68436 ... c Min unsat cost LB: 68455 ... c Min unsat cost LB: 68465 ... c Min unsat cost LB: 68467 ... c Min unsat cost LB: 68471 ... c Min unsat cost LB: 69785 ... c Min unsat cost LB: 69902 ... c Min unsat cost LB: 69944 ... c Min unsat cost LB: 70010 ... c Min unsat cost LB: 70463 ... c Min unsat cost LB: 70515 ... c Min unsat cost LB: 70544 ... c Min unsat cost LB: 71342 ... c Min unsat cost LB: 71489 ... c Min unsat cost LB: 71541 ... c Min unsat cost LB: 71727 ... c Min unsat cost LB: 71733 ... c Min unsat cost LB: 71781 ... c Min unsat cost LB: 71785 ... c Min unsat cost LB: 72863 ... c Min unsat cost LB: 73006 ... c Min unsat cost LB: 73158 ... c Min unsat cost LB: 73434 ... c Min unsat cost LB: 73463 ... c Min unsat cost LB: 73920 ... c Min unsat cost LB: 73978 ... c Min unsat cost LB: 74900 ... c Min unsat cost LB: 75057 ... c Min unsat cost LB: 75117 ... c Min unsat cost LB: 75667 ... c Min unsat cost LB: 75852 ... c Min unsat cost LB: 75881 ... c Min unsat cost LB: 75891 ... c Min unsat cost LB: 75948 ... c Min unsat cost LB: 75958 ... c Min unsat cost LB: 76000 ... c Min unsat cost LB: 76029 ... c Min unsat cost LB: 76057 ... c Min unsat cost LB: 76172 ... c Min unsat cost LB: 76192 ... c Min unsat cost LB: 76485 ... c Min unsat cost LB: 76925 ... c Min unsat cost LB: 77786 ... c Min unsat cost LB: 77843 ... c Min unsat cost LB: 78203 ... c Min unsat cost LB: 78314 ... c Min unsat cost LB: 78373 ... c Min unsat cost LB: 78873 ... c Min unsat cost LB: 79451 ... c Min unsat cost LB: 79746 ... c Min unsat cost LB: 80261 ... c Min unsat cost LB: 80306 ... c Min unsat cost LB: 80476 ... c Min unsat cost LB: 81084 ... c Min unsat cost LB: 81096 ... c Min unsat cost LB: 81782 ... c Min unsat cost LB: 81830 ... c Min unsat cost LB: 82279 ... c Min unsat cost LB: 82302 ... c Min unsat cost LB: 82305 ... c Min unsat cost LB: 82331 ... c Min unsat cost LB: 82802 ... c Min unsat cost LB: 82831 ... c Min unsat cost LB: 82859 ... c Min unsat cost LB: 82861 ... c Min unsat cost LB: 82919 ... c Min unsat cost LB: 82927 ... c Min unsat cost LB: 82928 ... c Min unsat cost LB: 83186 ... c Min unsat cost LB: 83193 ... c Min unsat cost LB: 83315 ... c Min unsat cost LB: 83327 ... c Min unsat cost LB: 83374 ... c Min unsat cost LB: 83397 ... c Min unsat cost LB: 83418 ... c Min unsat cost LB: 83846 ... c Min unsat cost LB: 83854 ... c Min unsat cost LB: 83895 ... c Min unsat cost LB: 84017 ... c Min unsat cost LB: 84379 ... c Min unsat cost LB: 84456 ... c Min unsat cost LB: 84476 ... c Min unsat cost LB: 85051 ... c Min unsat cost LB: 85117 ... c Min unsat cost LB: 85366 ... c Min unsat cost LB: 86117 ... c Min unsat cost LB: 86570 ... c Min unsat cost LB: 86612 ... c Min unsat cost LB: 86912 ... c Min unsat cost LB: 87067 ... c Min unsat cost LB: 87190 ... c Min unsat cost LB: 87303 ... c Min unsat cost LB: 87586 ... c Min unsat cost LB: 87953 ... c Min unsat cost LB: 88069 ... c Min unsat cost LB: 88506 ... c Min unsat cost LB: 89093 ... c Min unsat cost LB: 89213 ... c Min unsat cost LB: 89549 ... c Min unsat cost LB: 89592 ... c Min unsat cost LB: 89663 ... c Min unsat cost LB: 90322 ... c Min unsat cost LB: 90625 ... c Min unsat cost LB: 90868 ... c Min unsat cost LB: 90983 ... c Min unsat cost LB: 91002 ... c Min unsat cost LB: 91004 ... c Min unsat cost LB: 91015 ... c Min unsat cost LB: 91017 ... c Min unsat cost LB: 91019 ... c Min unsat cost LB: 91021 ... o 91021 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 c CPU Time: 6.30704 6.322u 0.039s 0:06.43 98.7% 0+0k 0+0io 0pf+0w