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-20-2_network-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-9.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-20-2_network-9.net.wcnf *** c c Min unsat cost LB: 1030 ... c Min unsat cost LB: 2324 ... c Min unsat cost LB: 3938 ... c Min unsat cost LB: 5190 ... c Min unsat cost LB: 6217 ... c Min unsat cost LB: 6355 ... c Min unsat cost LB: 6830 ... c Min unsat cost LB: 7008 ... c Min unsat cost LB: 7298 ... c Min unsat cost LB: 7481 ... c Min unsat cost LB: 7748 ... c Min unsat cost LB: 7996 ... c Min unsat cost LB: 8122 ... c Min unsat cost LB: 8200 ... c Min unsat cost LB: 8480 ... c Min unsat cost LB: 8648 ... c Min unsat cost LB: 9133 ... c Min unsat cost LB: 9425 ... c Min unsat cost LB: 9554 ... c Min unsat cost LB: 9591 ... c Min unsat cost LB: 9592 ... c Min unsat cost LB: 11879 ... c Min unsat cost LB: 12054 ... c Min unsat cost LB: 12187 ... c Min unsat cost LB: 12251 ... c Min unsat cost LB: 12288 ... c Min unsat cost LB: 12438 ... c Min unsat cost LB: 13169 ... c Min unsat cost LB: 13298 ... c Min unsat cost LB: 13307 ... c Min unsat cost LB: 13311 ... c Min unsat cost LB: 13390 ... c Min unsat cost LB: 13414 ... c Min unsat cost LB: 13420 ... c Min unsat cost LB: 13433 ... c Min unsat cost LB: 13441 ... c Min unsat cost LB: 13450 ... c Min unsat cost LB: 13519 ... c Min unsat cost LB: 13580 ... c Min unsat cost LB: 13674 ... c Min unsat cost LB: 13724 ... c Min unsat cost LB: 13775 ... c Min unsat cost LB: 13941 ... c Min unsat cost LB: 13992 ... c Min unsat cost LB: 14055 ... c Min unsat cost LB: 14121 ... c Min unsat cost LB: 14130 ... c Min unsat cost LB: 14288 ... c Min unsat cost LB: 14649 ... c Min unsat cost LB: 14652 ... c Min unsat cost LB: 15020 ... c Min unsat cost LB: 15035 ... c Min unsat cost LB: 15135 ... c Min unsat cost LB: 15395 ... c Min unsat cost LB: 15443 ... c Min unsat cost LB: 15517 ... c Min unsat cost LB: 15663 ... c Min unsat cost LB: 15679 ... c Min unsat cost LB: 16019 ... c Min unsat cost LB: 16165 ... c Min unsat cost LB: 16336 ... c Min unsat cost LB: 16768 ... c Min unsat cost LB: 16778 ... c Min unsat cost LB: 16788 ... c Min unsat cost LB: 16793 ... c Min unsat cost LB: 16794 ... c Min unsat cost LB: 16868 ... c Min unsat cost LB: 16898 ... c Min unsat cost LB: 17109 ... c Min unsat cost LB: 17115 ... c Min unsat cost LB: 17120 ... c Min unsat cost LB: 17123 ... c Min unsat cost LB: 17124 ... o 17124 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 c CPU Time: 1.06384 1.068u 0.007s 0:01.07 99.0% 0+0k 0+0io 0pf+0w