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-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_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-20-2_network-10.net.wcnf *** c c Min unsat cost LB: 908 ... c Min unsat cost LB: 2044 ... c Min unsat cost LB: 2459 ... c Min unsat cost LB: 2650 ... c Min unsat cost LB: 3070 ... c Min unsat cost LB: 4309 ... c Min unsat cost LB: 4834 ... c Min unsat cost LB: 4913 ... c Min unsat cost LB: 5500 ... c Min unsat cost LB: 5542 ... c Min unsat cost LB: 5818 ... c Min unsat cost LB: 6828 ... c Min unsat cost LB: 6992 ... c Min unsat cost LB: 7297 ... c Min unsat cost LB: 7941 ... c Min unsat cost LB: 7957 ... c Min unsat cost LB: 8518 ... c Min unsat cost LB: 8718 ... c Min unsat cost LB: 9002 ... c Min unsat cost LB: 9073 ... c Min unsat cost LB: 9089 ... c Min unsat cost LB: 9788 ... c Min unsat cost LB: 10214 ... c Min unsat cost LB: 10266 ... c Min unsat cost LB: 10309 ... c Min unsat cost LB: 10660 ... c Min unsat cost LB: 10788 ... c Min unsat cost LB: 10844 ... c Min unsat cost LB: 12015 ... c Min unsat cost LB: 12502 ... c Min unsat cost LB: 12645 ... c Min unsat cost LB: 12775 ... c Min unsat cost LB: 12793 ... c Min unsat cost LB: 12838 ... c Min unsat cost LB: 12917 ... c Min unsat cost LB: 12932 ... c Min unsat cost LB: 13080 ... c Min unsat cost LB: 13483 ... c Min unsat cost LB: 13571 ... c Min unsat cost LB: 13739 ... c Min unsat cost LB: 13761 ... c Min unsat cost LB: 13850 ... c Min unsat cost LB: 13868 ... c Min unsat cost LB: 13895 ... c Min unsat cost LB: 13909 ... c Min unsat cost LB: 14270 ... c Min unsat cost LB: 14334 ... c Min unsat cost LB: 14385 ... c Min unsat cost LB: 14412 ... c Min unsat cost LB: 14423 ... c Min unsat cost LB: 14595 ... c Min unsat cost LB: 14611 ... c Min unsat cost LB: 14622 ... c Min unsat cost LB: 14638 ... c Min unsat cost LB: 14655 ... c Min unsat cost LB: 14678 ... c Min unsat cost LB: 14730 ... c Min unsat cost LB: 14744 ... c Min unsat cost LB: 14823 ... c Min unsat cost LB: 14911 ... c Min unsat cost LB: 15012 ... c Min unsat cost LB: 15055 ... c Min unsat cost LB: 15206 ... c Min unsat cost LB: 15225 ... c Min unsat cost LB: 15232 ... c Min unsat cost LB: 15259 ... c Min unsat cost LB: 15261 ... c Min unsat cost LB: 15264 ... c Min unsat cost LB: 15272 ... c Min unsat cost LB: 15285 ... c Min unsat cost LB: 15288 ... c Min unsat cost LB: 15313 ... c Min unsat cost LB: 15327 ... c Min unsat cost LB: 15344 ... c Min unsat cost LB: 15367 ... c Min unsat cost LB: 15394 ... c Min unsat cost LB: 15420 ... c Min unsat cost LB: 15460 ... c Min unsat cost LB: 15517 ... c Min unsat cost LB: 15594 ... c Min unsat cost LB: 15776 ... c Min unsat cost LB: 15799 ... c Min unsat cost LB: 15801 ... c Min unsat cost LB: 15828 ... c Min unsat cost LB: 15835 ... c Min unsat cost LB: 15921 ... c Min unsat cost LB: 15930 ... c Min unsat cost LB: 15933 ... c Min unsat cost LB: 16030 ... c Min unsat cost LB: 16084 ... c Min unsat cost LB: 16158 ... c Min unsat cost LB: 16669 ... c Min unsat cost LB: 16813 ... c Min unsat cost LB: 16874 ... c Min unsat cost LB: 16987 ... c Min unsat cost LB: 17053 ... c Min unsat cost LB: 17083 ... c Min unsat cost LB: 17268 ... c Min unsat cost LB: 17306 ... c Min unsat cost LB: 17359 ... o 17359 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 c CPU Time: 2.46462 2.470u 0.008s 0:02.50 98.8% 0+0k 0+0io 0pf+0w