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-60-1_network-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-5.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-60-1_network-5.net.wcnf *** c c Min unsat cost LB: 1220 ... c Min unsat cost LB: 1761 ... c Min unsat cost LB: 2822 ... c Min unsat cost LB: 4200 ... c Min unsat cost LB: 4444 ... c Min unsat cost LB: 6009 ... c Min unsat cost LB: 6105 ... c Min unsat cost LB: 7250 ... c Min unsat cost LB: 7745 ... c Min unsat cost LB: 7952 ... c Min unsat cost LB: 7997 ... c Min unsat cost LB: 9109 ... c Min unsat cost LB: 9684 ... c Min unsat cost LB: 9734 ... c Min unsat cost LB: 10001 ... c Min unsat cost LB: 10132 ... c Min unsat cost LB: 10706 ... c Min unsat cost LB: 10806 ... c Min unsat cost LB: 11096 ... c Min unsat cost LB: 11918 ... c Min unsat cost LB: 11956 ... c Min unsat cost LB: 12006 ... c Min unsat cost LB: 12122 ... c Min unsat cost LB: 12180 ... c Min unsat cost LB: 12908 ... c Min unsat cost LB: 13739 ... c Min unsat cost LB: 14107 ... c Min unsat cost LB: 14209 ... c Min unsat cost LB: 14223 ... c Min unsat cost LB: 14302 ... c Min unsat cost LB: 14483 ... c Min unsat cost LB: 14586 ... c Min unsat cost LB: 14726 ... c Min unsat cost LB: 14931 ... c Min unsat cost LB: 15205 ... c Min unsat cost LB: 15300 ... c Min unsat cost LB: 15536 ... c Min unsat cost LB: 16727 ... c Min unsat cost LB: 16922 ... c Min unsat cost LB: 17172 ... c Min unsat cost LB: 17220 ... c Min unsat cost LB: 17971 ... c Min unsat cost LB: 18023 ... c Min unsat cost LB: 18067 ... c Min unsat cost LB: 18372 ... c Min unsat cost LB: 18968 ... c Min unsat cost LB: 19206 ... c Min unsat cost LB: 19266 ... c Min unsat cost LB: 19841 ... c Min unsat cost LB: 19850 ... c Min unsat cost LB: 19931 ... c Min unsat cost LB: 20054 ... c Min unsat cost LB: 20519 ... c Min unsat cost LB: 20858 ... c Min unsat cost LB: 20863 ... c Min unsat cost LB: 21026 ... c Min unsat cost LB: 21393 ... c Min unsat cost LB: 21723 ... c Min unsat cost LB: 22273 ... c Min unsat cost LB: 22854 ... c Min unsat cost LB: 23001 ... c Min unsat cost LB: 23258 ... c Min unsat cost LB: 24342 ... c Min unsat cost LB: 24592 ... c Min unsat cost LB: 25037 ... c Min unsat cost LB: 25061 ... c Min unsat cost LB: 25136 ... c Min unsat cost LB: 25153 ... c Min unsat cost LB: 25226 ... c Min unsat cost LB: 25255 ... c Min unsat cost LB: 26131 ... c Min unsat cost LB: 26286 ... c Min unsat cost LB: 27265 ... c Min unsat cost LB: 27283 ... c Min unsat cost LB: 27601 ... c Min unsat cost LB: 28115 ... c Min unsat cost LB: 28128 ... c Min unsat cost LB: 28356 ... c Min unsat cost LB: 28522 ... c Min unsat cost LB: 28606 ... c Min unsat cost LB: 28650 ... c Min unsat cost LB: 28700 ... c Min unsat cost LB: 28713 ... c Min unsat cost LB: 28715 ... c Min unsat cost LB: 28729 ... c Min unsat cost LB: 29225 ... c Min unsat cost LB: 29378 ... c Min unsat cost LB: 29403 ... c Min unsat cost LB: 29482 ... c Min unsat cost LB: 29483 ... c Min unsat cost LB: 29505 ... c Min unsat cost LB: 29535 ... c Min unsat cost LB: 29764 ... c Min unsat cost LB: 29768 ... c Min unsat cost LB: 30397 ... c Min unsat cost LB: 30444 ... c Min unsat cost LB: 30786 ... c Min unsat cost LB: 30929 ... c Min unsat cost LB: 30943 ... c Min unsat cost LB: 31256 ... c Min unsat cost LB: 31288 ... c Min unsat cost LB: 31827 ... c Min unsat cost LB: 31974 ... c Min unsat cost LB: 32098 ... c Min unsat cost LB: 32129 ... c Min unsat cost LB: 32824 ... c Min unsat cost LB: 33099 ... c Min unsat cost LB: 33130 ... c Min unsat cost LB: 33510 ... c Min unsat cost LB: 33569 ... c Min unsat cost LB: 33617 ... c Min unsat cost LB: 33672 ... c Min unsat cost LB: 33684 ... c Min unsat cost LB: 33968 ... c Min unsat cost LB: 34131 ... c Min unsat cost LB: 34547 ... c Min unsat cost LB: 34880 ... c Min unsat cost LB: 35169 ... c Min unsat cost LB: 35733 ... c Min unsat cost LB: 35754 ... c Min unsat cost LB: 36210 ... c Min unsat cost LB: 36783 ... c Min unsat cost LB: 36869 ... c Min unsat cost LB: 36882 ... c Min unsat cost LB: 36944 ... c Min unsat cost LB: 36998 ... c Min unsat cost LB: 37529 ... c Min unsat cost LB: 37908 ... c Min unsat cost LB: 38144 ... c Min unsat cost LB: 38434 ... c Min unsat cost LB: 38651 ... c Min unsat cost LB: 39041 ... c Min unsat cost LB: 39236 ... c Min unsat cost LB: 40169 ... c Min unsat cost LB: 40235 ... c Min unsat cost LB: 40266 ... c Min unsat cost LB: 40466 ... c Min unsat cost LB: 41192 ... c Min unsat cost LB: 41231 ... c Min unsat cost LB: 41974 ... c Min unsat cost LB: 42329 ... c Min unsat cost LB: 42783 ... c Min unsat cost LB: 43176 ... c Min unsat cost LB: 43348 ... c Min unsat cost LB: 44083 ... c Min unsat cost LB: 44551 ... c Min unsat cost LB: 44682 ... c Min unsat cost LB: 44860 ... c Min unsat cost LB: 45178 ... c Min unsat cost LB: 45694 ... c Min unsat cost LB: 45883 ... c Min unsat cost LB: 46049 ... c Min unsat cost LB: 46264 ... c Min unsat cost LB: 47385 ... c Min unsat cost LB: 47673 ... c Min unsat cost LB: 47769 ... c Min unsat cost LB: 47794 ... c Min unsat cost LB: 47996 ... c Min unsat cost LB: 48224 ... c Min unsat cost LB: 48254 ... c Min unsat cost LB: 48274 ... c Min unsat cost LB: 48320 ... c Min unsat cost LB: 48359 ... c Min unsat cost LB: 48604 ... c Min unsat cost LB: 48740 ... c Min unsat cost LB: 48770 ... c Min unsat cost LB: 48969 ... c Min unsat cost LB: 49292 ... c Min unsat cost LB: 49521 ... c Min unsat cost LB: 50472 ... c Min unsat cost LB: 50786 ... c Min unsat cost LB: 51084 ... c Min unsat cost LB: 51875 ... c Min unsat cost LB: 52057 ... c Min unsat cost LB: 52412 ... c Min unsat cost LB: 52603 ... c Min unsat cost LB: 52691 ... c Min unsat cost LB: 53244 ... c Min unsat cost LB: 53267 ... c Min unsat cost LB: 53280 ... c Min unsat cost LB: 53362 ... c Min unsat cost LB: 53397 ... c Min unsat cost LB: 53422 ... c Min unsat cost LB: 54514 ... c Min unsat cost LB: 54601 ... c Min unsat cost LB: 54955 ... c Min unsat cost LB: 55037 ... c Min unsat cost LB: 55044 ... c Min unsat cost LB: 55138 ... c Min unsat cost LB: 56055 ... c Min unsat cost LB: 56083 ... c Min unsat cost LB: 56281 ... c Min unsat cost LB: 56832 ... c Min unsat cost LB: 57314 ... c Min unsat cost LB: 57415 ... c Min unsat cost LB: 57482 ... c Min unsat cost LB: 57530 ... c Min unsat cost LB: 57535 ... c Min unsat cost LB: 57598 ... c Min unsat cost LB: 57617 ... c Min unsat cost LB: 57661 ... c Min unsat cost LB: 57693 ... c Min unsat cost LB: 58817 ... c Min unsat cost LB: 58836 ... c Min unsat cost LB: 58880 ... c Min unsat cost LB: 58883 ... c Min unsat cost LB: 58888 ... c Min unsat cost LB: 58912 ... o 58912 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 c CPU Time: 2.79358 2.801u 0.009s 0:02.82 99.2% 0+0k 0+0io 0pf+0w