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-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_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-20-2_network-5.net.wcnf *** c c Min unsat cost LB: 1436 ... c Min unsat cost LB: 2512 ... c Min unsat cost LB: 3857 ... c Min unsat cost LB: 3991 ... c Min unsat cost LB: 4533 ... c Min unsat cost LB: 5642 ... c Min unsat cost LB: 6144 ... c Min unsat cost LB: 6871 ... c Min unsat cost LB: 8509 ... c Min unsat cost LB: 8760 ... c Min unsat cost LB: 8809 ... c Min unsat cost LB: 8944 ... c Min unsat cost LB: 8970 ... c Min unsat cost LB: 9623 ... c Min unsat cost LB: 9839 ... c Min unsat cost LB: 10334 ... c Min unsat cost LB: 10908 ... c Min unsat cost LB: 11085 ... c Min unsat cost LB: 11508 ... c Min unsat cost LB: 11585 ... c Min unsat cost LB: 12185 ... c Min unsat cost LB: 12589 ... c Min unsat cost LB: 12635 ... c Min unsat cost LB: 13021 ... c Min unsat cost LB: 13218 ... c Min unsat cost LB: 13235 ... c Min unsat cost LB: 13410 ... c Min unsat cost LB: 14346 ... c Min unsat cost LB: 14809 ... c Min unsat cost LB: 14812 ... c Min unsat cost LB: 14819 ... c Min unsat cost LB: 15101 ... c Min unsat cost LB: 15201 ... c Min unsat cost LB: 15463 ... c Min unsat cost LB: 15482 ... c Min unsat cost LB: 15624 ... c Min unsat cost LB: 15706 ... c Min unsat cost LB: 15733 ... c Min unsat cost LB: 15929 ... c Min unsat cost LB: 15948 ... c Min unsat cost LB: 15974 ... c Min unsat cost LB: 15992 ... c Min unsat cost LB: 16077 ... c Min unsat cost LB: 16090 ... c Min unsat cost LB: 16102 ... c Min unsat cost LB: 16122 ... c Min unsat cost LB: 16204 ... c Min unsat cost LB: 16224 ... c Min unsat cost LB: 16241 ... c Min unsat cost LB: 16267 ... c Min unsat cost LB: 16268 ... c Min unsat cost LB: 16287 ... c Min unsat cost LB: 16308 ... c Min unsat cost LB: 16336 ... c Min unsat cost LB: 16413 ... c Min unsat cost LB: 16571 ... c Min unsat cost LB: 16636 ... c Min unsat cost LB: 16736 ... c Min unsat cost LB: 17466 ... c Min unsat cost LB: 17476 ... c Min unsat cost LB: 17531 ... c Min unsat cost LB: 17618 ... c Min unsat cost LB: 17622 ... c Min unsat cost LB: 17639 ... c Min unsat cost LB: 17900 ... c Min unsat cost LB: 18191 ... c Min unsat cost LB: 18246 ... c Min unsat cost LB: 18278 ... c Min unsat cost LB: 18403 ... c Min unsat cost LB: 18591 ... c Min unsat cost LB: 18744 ... c Min unsat cost LB: 18757 ... c Min unsat cost LB: 18768 ... c Min unsat cost LB: 18855 ... c Min unsat cost LB: 18864 ... c Min unsat cost LB: 18935 ... c Min unsat cost LB: 18955 ... c Min unsat cost LB: 18990 ... c Min unsat cost LB: 18998 ... c Min unsat cost LB: 19003 ... c Min unsat cost LB: 19005 ... c Min unsat cost LB: 19047 ... c Min unsat cost LB: 19050 ... c Min unsat cost LB: 19105 ... c Min unsat cost LB: 19109 ... c Min unsat cost LB: 19145 ... c Min unsat cost LB: 19187 ... c Min unsat cost LB: 19232 ... c Min unsat cost LB: 19249 ... c Min unsat cost LB: 19269 ... c Min unsat cost LB: 19280 ... c Min unsat cost LB: 19288 ... c Min unsat cost LB: 19323 ... c Min unsat cost LB: 19325 ... c Min unsat cost LB: 19327 ... c Min unsat cost LB: 19330 ... c Min unsat cost LB: 19340 ... c Min unsat cost LB: 19344 ... c Min unsat cost LB: 19365 ... c Min unsat cost LB: 19369 ... c Min unsat cost LB: 19400 ... c Min unsat cost LB: 19414 ... c Min unsat cost LB: 19421 ... c Min unsat cost LB: 19435 ... c Min unsat cost LB: 19437 ... c Min unsat cost LB: 19469 ... c Min unsat cost LB: 19512 ... c Min unsat cost LB: 19535 ... c Min unsat cost LB: 19548 ... c Min unsat cost LB: 19722 ... c Min unsat cost LB: 19732 ... c Min unsat cost LB: 19735 ... c Min unsat cost LB: 19754 ... c Min unsat cost LB: 19766 ... c Min unsat cost LB: 19846 ... c Min unsat cost LB: 19849 ... c Min unsat cost LB: 19862 ... c Min unsat cost LB: 19867 ... c Min unsat cost LB: 19989 ... c Min unsat cost LB: 20001 ... c Min unsat cost LB: 20009 ... c Min unsat cost LB: 20064 ... c Min unsat cost LB: 20069 ... o 20069 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 c CPU Time: 8.29774 8.324u 0.022s 0:08.36 99.7% 0+0k 0+0io 0pf+0w