Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_WMAXCUT_DIMACS_MOD_c-fat500-2.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/c-fat500-2.clq.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/weighted_crafted/WMAXCUT/DIMACS_MOD/c-fat500-2.clq.wcnf *** c c Min unsat cost LB: 4 ... c Min unsat cost LB: 7 ... c Min unsat cost LB: 8 ... c Min unsat cost LB: 12 ... c Min unsat cost LB: 15 ... c Min unsat cost LB: 16 ... c Min unsat cost LB: 18 ... c Min unsat cost LB: 22 ... c Min unsat cost LB: 23 ... c Min unsat cost LB: 24 ... c Min unsat cost LB: 26 ... c Min unsat cost LB: 31 ... c Min unsat cost LB: 32 ... c Min unsat cost LB: 34 ... c Min unsat cost LB: 37 ... c Min unsat cost LB: 40 ... c Min unsat cost LB: 42 ... c Min unsat cost LB: 43 ... c Min unsat cost LB: 46 ... c Min unsat cost LB: 49 ... c Min unsat cost LB: 50 ... c Min unsat cost LB: 53 ... c Min unsat cost LB: 55 ... c Min unsat cost LB: 57 ... c Min unsat cost LB: 60 ... c Min unsat cost LB: 62 ... c Min unsat cost LB: 64 ... c Min unsat cost LB: 65 ... c Min unsat cost LB: 68 ... c Min unsat cost LB: 69 ... c Min unsat cost LB: 70 ... c Min unsat cost LB: 77 ... c Min unsat cost LB: 78 ... c Min unsat cost LB: 79 ... c Min unsat cost LB: 80 ... c Min unsat cost LB: 85 ... c Min unsat cost LB: 86 ... c Min unsat cost LB: 87 ... c Min unsat cost LB: 88 ... c Min unsat cost LB: 90 ... c Min unsat cost LB: 91 ... c Min unsat cost LB: 95 ... c Min unsat cost LB: 97 ... o 97 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 c CPU Time: 0.06099 0.060u 0.000s 0:00.06 100.0% 0+0k 0+0io 0pf+0w