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-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-2.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-2.net.wcnf *** c c Min unsat cost LB: 603 ... c Min unsat cost LB: 1851 ... c Min unsat cost LB: 2009 ... c Min unsat cost LB: 2718 ... c Min unsat cost LB: 3231 ... c Min unsat cost LB: 3547 ... c Min unsat cost LB: 3826 ... c Min unsat cost LB: 4442 ... c Min unsat cost LB: 4777 ... c Min unsat cost LB: 5503 ... c Min unsat cost LB: 5875 ... c Min unsat cost LB: 5891 ... c Min unsat cost LB: 6036 ... c Min unsat cost LB: 6090 ... c Min unsat cost LB: 7097 ... c Min unsat cost LB: 7210 ... c Min unsat cost LB: 7324 ... c Min unsat cost LB: 7979 ... c Min unsat cost LB: 8099 ... c Min unsat cost LB: 8207 ... c Min unsat cost LB: 8466 ... c Min unsat cost LB: 8778 ... c Min unsat cost LB: 8800 ... c Min unsat cost LB: 8801 ... c Min unsat cost LB: 8962 ... c Min unsat cost LB: 8968 ... c Min unsat cost LB: 9028 ... c Min unsat cost LB: 9142 ... c Min unsat cost LB: 9219 ... c Min unsat cost LB: 9250 ... c Min unsat cost LB: 9370 ... c Min unsat cost LB: 9624 ... c Min unsat cost LB: 9647 ... c Min unsat cost LB: 9847 ... c Min unsat cost LB: 9863 ... c Min unsat cost LB: 9885 ... c Min unsat cost LB: 9913 ... c Min unsat cost LB: 10043 ... c Min unsat cost LB: 10118 ... c Min unsat cost LB: 10133 ... c Min unsat cost LB: 10480 ... c Min unsat cost LB: 10481 ... c Min unsat cost LB: 10667 ... c Min unsat cost LB: 10809 ... c Min unsat cost LB: 10857 ... c Min unsat cost LB: 10988 ... c Min unsat cost LB: 10995 ... c Min unsat cost LB: 11005 ... c Min unsat cost LB: 12132 ... c Min unsat cost LB: 12204 ... c Min unsat cost LB: 12243 ... c Min unsat cost LB: 12298 ... c Min unsat cost LB: 12384 ... c Min unsat cost LB: 12545 ... c Min unsat cost LB: 12570 ... c Min unsat cost LB: 12588 ... c Min unsat cost LB: 12698 ... c Min unsat cost LB: 12765 ... c Min unsat cost LB: 12831 ... c Min unsat cost LB: 12832 ... c Min unsat cost LB: 12881 ... c Min unsat cost LB: 12927 ... c Min unsat cost LB: 12994 ... c Min unsat cost LB: 13014 ... c Min unsat cost LB: 13121 ... c Min unsat cost LB: 13176 ... c Min unsat cost LB: 13192 ... c Min unsat cost LB: 13237 ... c Min unsat cost LB: 13248 ... c Min unsat cost LB: 13280 ... c Min unsat cost LB: 13287 ... c Min unsat cost LB: 13323 ... c Min unsat cost LB: 13355 ... c Min unsat cost LB: 13441 ... c Min unsat cost LB: 13497 ... c Min unsat cost LB: 13507 ... c Min unsat cost LB: 13527 ... c Min unsat cost LB: 13574 ... c Min unsat cost LB: 13575 ... c Min unsat cost LB: 13602 ... c Min unsat cost LB: 13624 ... c Min unsat cost LB: 13637 ... c Min unsat cost LB: 13642 ... c Min unsat cost LB: 13665 ... c Min unsat cost LB: 13774 ... c Min unsat cost LB: 13830 ... o 13830 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 c CPU Time: 1.24781 1.253u 0.002s 0:02.11 59.2% 0+0k 0+0io 0pf+0w