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_MANN_a45.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/MANN_a45.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 1541
o 2198
o 2195
o 2188
o 2187
o 2184
o 2180
o 2175
o 2172
o 2166
o 2165
o 2164
o 2163
o 2160
o 2159
o 2158
o 2157
o 2153
o 2147
o 2143
o 2131
o 2128
o 2125
o 2120
o 2110
o 2101
o 2100
o 2099
o 2095
o 2087
o 2085
o 2076
o 2073
o 2060
o 2057
c 177038 branches 485 propagates
c total generalized unit propagation = 354091, success = 49.97%
s OPTIMUM FOUND
c Optimal Solution = 2057
v 1 -2 3 -4 5 -6 7 -8 -9 -10 11 12 13 14 15 16 -17 -18 -20 -21 -23 24 25 26 -27 -28 -29 -30 -31 32 33 -34 -35 36 -37 38 39 40 -41 42 19 -22
334.148u 0.005s 5:36.29 99.3%	0+0k 0+0io 0pf+0w