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-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-10.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-10.net.wcnf *** c c Min unsat cost LB: 1123 ... c Min unsat cost LB: 2413 ... c Min unsat cost LB: 2827 ... c Min unsat cost LB: 3194 ... c Min unsat cost LB: 3404 ... c Min unsat cost LB: 5054 ... c Min unsat cost LB: 7320 ... c Min unsat cost LB: 8005 ... c Min unsat cost LB: 9194 ... c Min unsat cost LB: 9513 ... c Min unsat cost LB: 9655 ... c Min unsat cost LB: 9918 ... c Min unsat cost LB: 10653 ... c Min unsat cost LB: 11240 ... c Min unsat cost LB: 11498 ... c Min unsat cost LB: 12071 ... c Min unsat cost LB: 12197 ... c Min unsat cost LB: 12432 ... c Min unsat cost LB: 12929 ... c Min unsat cost LB: 13008 ... c Min unsat cost LB: 13760 ... c Min unsat cost LB: 13950 ... c Min unsat cost LB: 14182 ... c Min unsat cost LB: 14486 ... c Min unsat cost LB: 14806 ... c Min unsat cost LB: 14859 ... c Min unsat cost LB: 15164 ... c Min unsat cost LB: 16075 ... c Min unsat cost LB: 16150 ... c Min unsat cost LB: 16306 ... c Min unsat cost LB: 16317 ... c Min unsat cost LB: 17109 ... c Min unsat cost LB: 17133 ... c Min unsat cost LB: 17616 ... c Min unsat cost LB: 17623 ... c Min unsat cost LB: 17902 ... c Min unsat cost LB: 18185 ... c Min unsat cost LB: 18236 ... c Min unsat cost LB: 18260 ... c Min unsat cost LB: 19647 ... c Min unsat cost LB: 19758 ... c Min unsat cost LB: 19785 ... c Min unsat cost LB: 19791 ... c Min unsat cost LB: 20475 ... c Min unsat cost LB: 20794 ... c Min unsat cost LB: 21034 ... c Min unsat cost LB: 21133 ... c Min unsat cost LB: 21263 ... c Min unsat cost LB: 21269 ... c Min unsat cost LB: 21806 ... c Min unsat cost LB: 21827 ... c Min unsat cost LB: 22277 ... c Min unsat cost LB: 22710 ... c Min unsat cost LB: 22742 ... c Min unsat cost LB: 22760 ... c Min unsat cost LB: 22858 ... c Min unsat cost LB: 23106 ... c Min unsat cost LB: 23491 ... c Min unsat cost LB: 23584 ... c Min unsat cost LB: 23684 ... c Min unsat cost LB: 23834 ... c Min unsat cost LB: 24453 ... c Min unsat cost LB: 24484 ... c Min unsat cost LB: 24522 ... c Min unsat cost LB: 25168 ... c Min unsat cost LB: 25287 ... c Min unsat cost LB: 25948 ... c Min unsat cost LB: 26446 ... c Min unsat cost LB: 26476 ... c Min unsat cost LB: 26631 ... c Min unsat cost LB: 26638 ... c Min unsat cost LB: 26652 ... c Min unsat cost LB: 27381 ... c Min unsat cost LB: 27838 ... c Min unsat cost LB: 27918 ... c Min unsat cost LB: 28238 ... c Min unsat cost LB: 28956 ... c Min unsat cost LB: 28973 ... c Min unsat cost LB: 29195 ... c Min unsat cost LB: 29255 ... c Min unsat cost LB: 29552 ... c Min unsat cost LB: 29555 ... c Min unsat cost LB: 30145 ... c Min unsat cost LB: 30497 ... c Min unsat cost LB: 30551 ... c Min unsat cost LB: 30769 ... c Min unsat cost LB: 31315 ... c Min unsat cost LB: 32151 ... c Min unsat cost LB: 32619 ... c Min unsat cost LB: 33160 ... c Min unsat cost LB: 33164 ... c Min unsat cost LB: 33427 ... c Min unsat cost LB: 33436 ... c Min unsat cost LB: 33680 ... c Min unsat cost LB: 33685 ... c Min unsat cost LB: 33771 ... c Min unsat cost LB: 33794 ... c Min unsat cost LB: 34012 ... c Min unsat cost LB: 34037 ... c Min unsat cost LB: 34049 ... c Min unsat cost LB: 34312 ... c Min unsat cost LB: 34795 ... c Min unsat cost LB: 35395 ... c Min unsat cost LB: 35447 ... c Min unsat cost LB: 35573 ... c Min unsat cost LB: 35665 ... c Min unsat cost LB: 36205 ... c Min unsat cost LB: 36415 ... c Min unsat cost LB: 36519 ... c Min unsat cost LB: 36538 ... c Min unsat cost LB: 36620 ... c Min unsat cost LB: 37480 ... c Min unsat cost LB: 37497 ... c Min unsat cost LB: 37603 ... c Min unsat cost LB: 37671 ... c Min unsat cost LB: 37676 ... c Min unsat cost LB: 37699 ... c Min unsat cost LB: 37763 ... c Min unsat cost LB: 37922 ... c Min unsat cost LB: 38101 ... c Min unsat cost LB: 38361 ... c Min unsat cost LB: 38364 ... c Min unsat cost LB: 38904 ... c Min unsat cost LB: 38962 ... c Min unsat cost LB: 38985 ... c Min unsat cost LB: 39010 ... c Min unsat cost LB: 40020 ... c Min unsat cost LB: 40025 ... c Min unsat cost LB: 40027 ... c Min unsat cost LB: 40123 ... c Min unsat cost LB: 40157 ... c Min unsat cost LB: 40538 ... c Min unsat cost LB: 40801 ... c Min unsat cost LB: 41044 ... c Min unsat cost LB: 41692 ... c Min unsat cost LB: 41861 ... c Min unsat cost LB: 42034 ... c Min unsat cost LB: 42534 ... c Min unsat cost LB: 42736 ... c Min unsat cost LB: 42787 ... c Min unsat cost LB: 42832 ... c Min unsat cost LB: 42835 ... c Min unsat cost LB: 43135 ... c Min unsat cost LB: 43356 ... c Min unsat cost LB: 43375 ... c Min unsat cost LB: 44172 ... c Min unsat cost LB: 44645 ... c Min unsat cost LB: 44760 ... c Min unsat cost LB: 45994 ... c Min unsat cost LB: 46471 ... c Min unsat cost LB: 46592 ... c Min unsat cost LB: 46756 ... c Min unsat cost LB: 46936 ... c Min unsat cost LB: 47030 ... c Min unsat cost LB: 47333 ... c Min unsat cost LB: 47569 ... c Min unsat cost LB: 48142 ... c Min unsat cost LB: 48236 ... c Min unsat cost LB: 48334 ... c Min unsat cost LB: 49028 ... c Min unsat cost LB: 49085 ... c Min unsat cost LB: 49940 ... c Min unsat cost LB: 49997 ... c Min unsat cost LB: 50027 ... c Min unsat cost LB: 50031 ... c Min unsat cost LB: 50040 ... c Min unsat cost LB: 50056 ... c Min unsat cost LB: 50082 ... c Min unsat cost LB: 50124 ... c Min unsat cost LB: 50148 ... c Min unsat cost LB: 50424 ... c Min unsat cost LB: 50483 ... c Min unsat cost LB: 50509 ... c Min unsat cost LB: 50526 ... c Min unsat cost LB: 50714 ... c Min unsat cost LB: 50857 ... c Min unsat cost LB: 51175 ... c Min unsat cost LB: 51951 ... c Min unsat cost LB: 52086 ... c Min unsat cost LB: 52322 ... c Min unsat cost LB: 53034 ... c Min unsat cost LB: 53155 ... c Min unsat cost LB: 53517 ... c Min unsat cost LB: 53736 ... c Min unsat cost LB: 54560 ... c Min unsat cost LB: 54663 ... c Min unsat cost LB: 54750 ... c Min unsat cost LB: 55416 ... c Min unsat cost LB: 55441 ... c Min unsat cost LB: 55814 ... c Min unsat cost LB: 55833 ... c Min unsat cost LB: 55984 ... c Min unsat cost LB: 56032 ... c Min unsat cost LB: 56147 ... c Min unsat cost LB: 56275 ... o 56275 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 c CPU Time: 2.17767 2.184u 0.010s 0:02.20 99.5% 0+0k 0+0io 0pf+0w