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_san1000.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/san1000.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 846
o 840
o 828
o 821
o 815
o 804
o 795
o 790
o 786
o 784
o 783
o 780
o 778
o 761
o 758
o 755
o 744
c 174 branches 292 propagates
c total generalized unit propagation = 593, success = 21.42%
s OPTIMUM FOUND
c Optimal Solution = 744
v -1 4 7 9 -12 14 15 -17 18 19 -21 23 24 25 -27 -28 -31 32 33 -36 38 -39 40 2 -6 -8 -10 -11 -16 -20 -22 -26 -29 35 3 5 -37 -34 -13 -30
0.246u 0.000s 0:00.25 96.0%	0+0k 0+0io 0pf+0w