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-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-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-80-1_network-4.net.wcnf *** c c Min unsat cost LB: 69 ... c Min unsat cost LB: 1846 ... c Min unsat cost LB: 2428 ... c Min unsat cost LB: 2703 ... c Min unsat cost LB: 3274 ... c Min unsat cost LB: 3497 ... c Min unsat cost LB: 4759 ... c Min unsat cost LB: 5271 ... c Min unsat cost LB: 6857 ... c Min unsat cost LB: 7272 ... c Min unsat cost LB: 7557 ... c Min unsat cost LB: 7847 ... c Min unsat cost LB: 8054 ... c Min unsat cost LB: 8478 ... c Min unsat cost LB: 12773 ... c Min unsat cost LB: 13750 ... c Min unsat cost LB: 13992 ... c Min unsat cost LB: 14068 ... c Min unsat cost LB: 15286 ... c Min unsat cost LB: 15716 ... c Min unsat cost LB: 15884 ... c Min unsat cost LB: 16113 ... c Min unsat cost LB: 17378 ... c Min unsat cost LB: 17582 ... c Min unsat cost LB: 17718 ... c Min unsat cost LB: 18481 ... c Min unsat cost LB: 19880 ... c Min unsat cost LB: 20085 ... c Min unsat cost LB: 20477 ... c Min unsat cost LB: 20758 ... c Min unsat cost LB: 20815 ... c Min unsat cost LB: 21943 ... c Min unsat cost LB: 22403 ... c Min unsat cost LB: 22502 ... c Min unsat cost LB: 22722 ... c Min unsat cost LB: 23408 ... c Min unsat cost LB: 23675 ... c Min unsat cost LB: 24468 ... c Min unsat cost LB: 24644 ... c Min unsat cost LB: 24723 ... c Min unsat cost LB: 25194 ... c Min unsat cost LB: 25276 ... c Min unsat cost LB: 25848 ... c Min unsat cost LB: 26545 ... c Min unsat cost LB: 26724 ... c Min unsat cost LB: 26826 ... c Min unsat cost LB: 27030 ... c Min unsat cost LB: 27377 ... c Min unsat cost LB: 27388 ... c Min unsat cost LB: 28052 ... c Min unsat cost LB: 28170 ... c Min unsat cost LB: 28378 ... c Min unsat cost LB: 28899 ... c Min unsat cost LB: 29062 ... c Min unsat cost LB: 29565 ... c Min unsat cost LB: 30011 ... c Min unsat cost LB: 30357 ... c Min unsat cost LB: 30709 ... c Min unsat cost LB: 31151 ... c Min unsat cost LB: 31527 ... c Min unsat cost LB: 31801 ... c Min unsat cost LB: 32374 ... c Min unsat cost LB: 32512 ... c Min unsat cost LB: 32676 ... c Min unsat cost LB: 32687 ... c Min unsat cost LB: 32904 ... c Min unsat cost LB: 33234 ... c Min unsat cost LB: 33442 ... c Min unsat cost LB: 33722 ... c Min unsat cost LB: 33733 ... c Min unsat cost LB: 33764 ... c Min unsat cost LB: 34958 ... c Min unsat cost LB: 35561 ... c Min unsat cost LB: 35738 ... c Min unsat cost LB: 35739 ... c Min unsat cost LB: 36435 ... c Min unsat cost LB: 36814 ... c Min unsat cost LB: 37359 ... c Min unsat cost LB: 37389 ... c Min unsat cost LB: 37396 ... c Min unsat cost LB: 37908 ... c Min unsat cost LB: 38154 ... c Min unsat cost LB: 38385 ... c Min unsat cost LB: 38734 ... c Min unsat cost LB: 38860 ... c Min unsat cost LB: 39654 ... c Min unsat cost LB: 39659 ... c Min unsat cost LB: 40099 ... c Min unsat cost LB: 40115 ... c Min unsat cost LB: 41208 ... c Min unsat cost LB: 41448 ... c Min unsat cost LB: 41472 ... c Min unsat cost LB: 42638 ... c Min unsat cost LB: 42744 ... c Min unsat cost LB: 42874 ... c Min unsat cost LB: 42905 ... c Min unsat cost LB: 42926 ... c Min unsat cost LB: 43160 ... c Min unsat cost LB: 43535 ... c Min unsat cost LB: 43540 ... c Min unsat cost LB: 43943 ... c Min unsat cost LB: 44259 ... c Min unsat cost LB: 44368 ... c Min unsat cost LB: 44413 ... c Min unsat cost LB: 44932 ... c Min unsat cost LB: 45662 ... c Min unsat cost LB: 45800 ... c Min unsat cost LB: 46353 ... c Min unsat cost LB: 46742 ... c Min unsat cost LB: 46859 ... c Min unsat cost LB: 46897 ... c Min unsat cost LB: 47069 ... c Min unsat cost LB: 47084 ... c Min unsat cost LB: 48146 ... c Min unsat cost LB: 48329 ... c Min unsat cost LB: 48494 ... c Min unsat cost LB: 48541 ... c Min unsat cost LB: 49544 ... c Min unsat cost LB: 49756 ... c Min unsat cost LB: 49828 ... c Min unsat cost LB: 49888 ... c Min unsat cost LB: 50265 ... c Min unsat cost LB: 50672 ... c Min unsat cost LB: 50963 ... c Min unsat cost LB: 51230 ... c Min unsat cost LB: 51256 ... c Min unsat cost LB: 51487 ... c Min unsat cost LB: 51510 ... c Min unsat cost LB: 51637 ... c Min unsat cost LB: 52183 ... c Min unsat cost LB: 52440 ... c Min unsat cost LB: 52653 ... c Min unsat cost LB: 52699 ... c Min unsat cost LB: 53201 ... c Min unsat cost LB: 53591 ... c Min unsat cost LB: 53675 ... c Min unsat cost LB: 54022 ... c Min unsat cost LB: 54209 ... c Min unsat cost LB: 54682 ... c Min unsat cost LB: 55147 ... c Min unsat cost LB: 55333 ... c Min unsat cost LB: 55410 ... c Min unsat cost LB: 55504 ... c Min unsat cost LB: 56019 ... c Min unsat cost LB: 56300 ... c Min unsat cost LB: 56392 ... c Min unsat cost LB: 57186 ... c Min unsat cost LB: 57411 ... c Min unsat cost LB: 58524 ... c Min unsat cost LB: 58531 ... c Min unsat cost LB: 58718 ... c Min unsat cost LB: 58991 ... c Min unsat cost LB: 59129 ... c Min unsat cost LB: 59179 ... c Min unsat cost LB: 59445 ... c Min unsat cost LB: 59685 ... c Min unsat cost LB: 60196 ... c Min unsat cost LB: 60270 ... c Min unsat cost LB: 60560 ... c Min unsat cost LB: 60779 ... c Min unsat cost LB: 60829 ... c Min unsat cost LB: 61069 ... c Min unsat cost LB: 61143 ... c Min unsat cost LB: 62168 ... c Min unsat cost LB: 62518 ... c Min unsat cost LB: 62774 ... c Min unsat cost LB: 62836 ... c Min unsat cost LB: 62845 ... c Min unsat cost LB: 62877 ... c Min unsat cost LB: 63059 ... c Min unsat cost LB: 63064 ... c Min unsat cost LB: 63208 ... c Min unsat cost LB: 63564 ... c Min unsat cost LB: 63579 ... c Min unsat cost LB: 63686 ... c Min unsat cost LB: 64527 ... c Min unsat cost LB: 64910 ... c Min unsat cost LB: 65364 ... c Min unsat cost LB: 65495 ... c Min unsat cost LB: 65579 ... c Min unsat cost LB: 66003 ... c Min unsat cost LB: 66082 ... c Min unsat cost LB: 66087 ... c Min unsat cost LB: 66104 ... c Min unsat cost LB: 66124 ... c Min unsat cost LB: 66493 ... c Min unsat cost LB: 66513 ... c Min unsat cost LB: 66570 ... c Min unsat cost LB: 66692 ... c Min unsat cost LB: 67138 ... c Min unsat cost LB: 67180 ... c Min unsat cost LB: 67363 ... c Min unsat cost LB: 67811 ... c Min unsat cost LB: 67966 ... c Min unsat cost LB: 67982 ... c Min unsat cost LB: 68088 ... c Min unsat cost LB: 68728 ... c Min unsat cost LB: 69159 ... c Min unsat cost LB: 69362 ... c Min unsat cost LB: 69451 ... c Min unsat cost LB: 69518 ... c Min unsat cost LB: 69554 ... c Min unsat cost LB: 69627 ... c Min unsat cost LB: 69975 ... c Min unsat cost LB: 70071 ... c Min unsat cost LB: 70151 ... c Min unsat cost LB: 70166 ... c Min unsat cost LB: 71096 ... c Min unsat cost LB: 71358 ... c Min unsat cost LB: 71493 ... c Min unsat cost LB: 71549 ... c Min unsat cost LB: 71569 ... c Min unsat cost LB: 71770 ... c Min unsat cost LB: 71898 ... c Min unsat cost LB: 71990 ... c Min unsat cost LB: 72254 ... c Min unsat cost LB: 72984 ... c Min unsat cost LB: 73014 ... c Min unsat cost LB: 73416 ... c Min unsat cost LB: 73423 ... c Min unsat cost LB: 73427 ... c Min unsat cost LB: 73475 ... c Min unsat cost LB: 73489 ... c Min unsat cost LB: 73491 ... c Min unsat cost LB: 73524 ... c Min unsat cost LB: 73542 ... c Min unsat cost LB: 73929 ... c Min unsat cost LB: 74067 ... o 74067 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 c CPU Time: 2.32265 2.329u 0.009s 0:02.34 99.1% 0+0k 0+0io 0pf+0w