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-fat200-2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/c-fat200-2.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 162
o 255
o 253
o 251
o 247
o 245
o 243
o 238
o 236
o 235
o 234
o 233
o 232
o 228
o 227
o 225
o 224
o 223
o 220
o 219
o 216
o 215
o 210
o 209
o 208
o 204
o 200
o 197
o 196
o 193
o 191
o 187
o 182
o 180
o 179
o 177
o 176
o 174
o 167
c 163 branches 818 propagates
c total generalized unit propagation = 389, success = 8.23%
s OPTIMUM FOUND
c Optimal Solution = 167
v -1 8 12 -19 26 30 -37 2 -9 -13 20 -27 -31 38 -3 10 14 -21 28 32 -39 4 -11 -15 22 -29 -33 40 -5 16 -23 34 6 -17 24 -35 -7 18 -25 36
0.013u 0.001s 0:00.01 100.0%	0+0k 0+0io 0pf+0w