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_hamming8-2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/hamming8-2.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2304
o 2296
o 2291
o 2286
o 2277
o 2275
o 2272
o 2271
o 2268
o 2264
o 2260
o 2258
o 2255
o 2254
o 2252
o 2249
o 2247
o 2245
o 2240
o 2238
o 2236
o 2235
o 2233
o 2231
o 2230
o 2229
o 2226
o 2223
o 2216
o 2215
o 2214
o 2213
Killed
1979.691u 0.007s 33:11.75 99.3%	0+0k 0+0io 0pf+0w