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
c first lower bound: 632
o 876
o 868
o 862
o 860
o 857
o 855
o 853
o 852
o 845
o 844
o 837
o 826
o 821
o 814
o 811
o 804
o 794
o 783
o 777
o 761
o 758
o 755
o 744
c 221 branches 469 propagates
c total generalized unit propagation = 515, success = 27.38%
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.208u 0.001s 0:00.22 90.9%	0+0k 0+0io 0pf+0w