Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_crafted-_home_maxsat_benchmarks_wms_crafted_wmaxcut_dimacs_mod_c-fat500-2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/c-fat500-2.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 97
o 97
c first lower bound: 94
c 1 branches 0 propagates
c total generalized unit propagation = 3, success = 66.67%
s OPTIMUM FOUND
c Optimal Solution = 97
v -1 11 -21 31 41 2 -12 22 -32 42 -3 -13 23 33 4 14 -24 -34 5 -15 -25 35 6 -16 26 -36 7 17 -27 -37 8 -18 -28 38 9 -19 29 -39 10 20 -30 -40
0.048u 0.003s 0:00.06 66.6%	0+0k 0+0io 0pf+0w