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-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-1.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-1.net.wcnf *** c c Min unsat cost LB: 350 ... c Min unsat cost LB: 1863 ... c Min unsat cost LB: 2561 ... c Min unsat cost LB: 2982 ... c Min unsat cost LB: 3136 ... c Min unsat cost LB: 3183 ... c Min unsat cost LB: 3335 ... c Min unsat cost LB: 3339 ... c Min unsat cost LB: 4479 ... c Min unsat cost LB: 6363 ... c Min unsat cost LB: 7612 ... c Min unsat cost LB: 8228 ... c Min unsat cost LB: 8448 ... c Min unsat cost LB: 9281 ... c Min unsat cost LB: 9385 ... c Min unsat cost LB: 9763 ... c Min unsat cost LB: 9977 ... c Min unsat cost LB: 10355 ... c Min unsat cost LB: 11336 ... c Min unsat cost LB: 11550 ... c Min unsat cost LB: 11754 ... c Min unsat cost LB: 11873 ... c Min unsat cost LB: 11890 ... c Min unsat cost LB: 11953 ... c Min unsat cost LB: 12360 ... c Min unsat cost LB: 12733 ... c Min unsat cost LB: 12936 ... c Min unsat cost LB: 12992 ... c Min unsat cost LB: 13414 ... c Min unsat cost LB: 14013 ... c Min unsat cost LB: 14034 ... c Min unsat cost LB: 14186 ... c Min unsat cost LB: 14233 ... c Min unsat cost LB: 14296 ... c Min unsat cost LB: 14308 ... c Min unsat cost LB: 14310 ... c Min unsat cost LB: 14522 ... c Min unsat cost LB: 14656 ... c Min unsat cost LB: 14726 ... c Min unsat cost LB: 15065 ... c Min unsat cost LB: 15343 ... c Min unsat cost LB: 15812 ... c Min unsat cost LB: 15830 ... c Min unsat cost LB: 16906 ... c Min unsat cost LB: 16953 ... c Min unsat cost LB: 16983 ... c Min unsat cost LB: 17307 ... c Min unsat cost LB: 17426 ... c Min unsat cost LB: 17460 ... c Min unsat cost LB: 17725 ... c Min unsat cost LB: 17730 ... c Min unsat cost LB: 18248 ... c Min unsat cost LB: 18295 ... c Min unsat cost LB: 18536 ... c Min unsat cost LB: 18656 ... c Min unsat cost LB: 18681 ... c Min unsat cost LB: 18755 ... c Min unsat cost LB: 18968 ... c Min unsat cost LB: 19095 ... c Min unsat cost LB: 19097 ... c Min unsat cost LB: 19140 ... c Min unsat cost LB: 19264 ... c Min unsat cost LB: 19309 ... c Min unsat cost LB: 19311 ... c Min unsat cost LB: 19322 ... c Min unsat cost LB: 19328 ... c Min unsat cost LB: 19357 ... c Min unsat cost LB: 19374 ... c Min unsat cost LB: 19384 ... c Min unsat cost LB: 19390 ... c Min unsat cost LB: 19401 ... c Min unsat cost LB: 19416 ... c Min unsat cost LB: 19523 ... c Min unsat cost LB: 19525 ... c Min unsat cost LB: 19883 ... c Min unsat cost LB: 19938 ... c Min unsat cost LB: 19947 ... c Min unsat cost LB: 19953 ... c Min unsat cost LB: 19974 ... c Min unsat cost LB: 19996 ... c Min unsat cost LB: 20112 ... c Min unsat cost LB: 20280 ... c Min unsat cost LB: 20312 ... c Min unsat cost LB: 20323 ... c Min unsat cost LB: 20447 ... c Min unsat cost LB: 20468 ... c Min unsat cost LB: 20653 ... c Min unsat cost LB: 20684 ... c Min unsat cost LB: 20692 ... c Min unsat cost LB: 20785 ... c Min unsat cost LB: 20819 ... o 20819 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.09483 1.098u 0.004s 0:01.90 57.3% 0+0k 0+0io 0pf+0w