Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-maxsat_crafted-_home_jplanes_evaluation_benchmarks_maxsat_crafted_MAXCUT_SPINGLASS_t3pm3-5555.spn.cnf Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/SPINGLASS/t3pm3-5555.spn.cnf 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/maxsat_crafted/MAXCUT/SPINGLASS/t3pm3-5555.spn.cnf *** c c Min unsat cost LB: 1 ... c Min unsat cost LB: 2 ... c Min unsat cost LB: 3 ... c Min unsat cost LB: 4 ... c Min unsat cost LB: 5 ... c Min unsat cost LB: 6 ... c Min unsat cost LB: 7 ... c Min unsat cost LB: 8 ... c Min unsat cost LB: 9 ... c Min unsat cost LB: 10 ... c Min unsat cost LB: 11 ... c Min unsat cost LB: 12 ... c Min unsat cost LB: 13 ... c Min unsat cost LB: 14 ... c Min unsat cost LB: 15 ... c Min unsat cost LB: 16 ... c Min unsat cost LB: 17 ... o 17 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 c CPU Time: 612.12 612.122u 0.551s 10:13.58 99.8% 0+0k 0+0io 5pf+0w