Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_crafted-_home_maxsat_benchmarks_wms_crafted_wmaxcut_dimacs_mod_san400_0.7_2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/san400_0.7_2.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 996
o 1384
o 1355
o 1354
o 1351
o 1334
o 1332
o 1331
o 1327
o 1310
o 1303
o 1298
o 1295
o 1290
o 1289
o 1279
o 1272
o 1268
o 1260
o 1255
o 1248
o 1242
o 1237
c 1890 branches 425 propagates
c total generalized unit propagation = 3787, success = 47.95%
s OPTIMUM FOUND
c Optimal Solution = 1237
v -1 2 -4 -6 7 11 -12 -13 -17 -18 19 -20 -21 22 24 25 26 27 28 29 -31 -32 -33 34 35 -36 -37 38 -39 -40 3 8 -10 -16 -23 30 5 -9 14 15
3.334u 0.002s 0:03.35 99.4%	0+0k 0+0io 0pf+0w