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_p_hat500-2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/p_hat500-2.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 775
o 1027
o 1024
o 1019
o 1015
o 1005
o 1001
o 997
o 993
o 992
o 989
o 985
o 978
o 974
o 972
o 969
o 965
o 964
o 958
o 949
o 945
o 941
o 939
o 932
o 931
c 405 branches 656 propagates
c total generalized unit propagation = 907, success = 36.16%
s OPTIMUM FOUND
c Optimal Solution = 931
v 1 -2 -4 -5 -6 8 -11 -12 -14 15 16 17 -18 20 -24 25 -30 -32 -33 34 -35 36 -37 38 -39 40 41 22 -27 -28 31 -3 -9 26 -7 10 13 21 23 29 42 -19
0.572u 0.000s 0:00.57 100.0%	0+0k 0+0io 0pf+0w