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_c-fat500-10.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/c-fat500-10.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 734
o 1030
o 1029
o 1028
o 1019
o 1018
o 1017
o 1016
o 1010
o 1008
o 1006
o 1005
o 1003
o 1002
o 997
o 996
o 993
o 992
o 989
o 987
o 985
o 982
o 981
o 978
o 970
o 967
o 966
o 960
o 958
o 952
o 948
o 947
c 8451 branches 609 propagates
c total generalized unit propagation = 17092, success = 48.88%
s OPTIMUM FOUND
c Optimal Solution = 947
v -1 -3 -5 7 -9 11 -13 -15 17 -19 21 23 -25 -27 29 -31 33 35 37 -39 41 -2 -4 -6 -8 10 12 14 -16 18 20 22 -24 26 -28 -30 -32 34 36 38 -40 -42
7.908u 0.001s 0:07.94 99.4%	0+0k 0+0io 0pf+0w