Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_crafted-_home_maxsat_benchmarks_ms_crafted_maxcut_dimacs-mod_hamming6-4.clq.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/maxcut/dimacs-mod/hamming6-4.clq.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 178
o 280
o 276
o 272
o 268
o 264
o 262
o 260
o 256
o 250
o 244
o 242
o 238
o 236
o 230
o 222
o 220
o 212
o 202
o 192
c 264 branches 718 propagates
c total generalized unit propagation = 698, success = 21.63%
s OPTIMUM FOUND
c Optimal Solution = 192
v -1 16 -24 28 30 31 32 -40 44 46 47 48 -52 -54 -55 -56 58 59 60 61 62 63 64 -2 15 -23 27 29 -39 43 45 -51 -53 57 -3 14 -22 26 -38 42 -50 -4 13 -21 25 -37 41 -49 -5 12 -20 -36 -6 11 -19 -35 -7 10 -18 -34 -8 9 -17 -33
0.173u 0.000s 0:00.17 100.0%	0+0k 0+0io 0pf+0w