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_c-fat200-5.clq.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/MAXCUT/DIMACS_MOD/c-fat200-5.clq.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 152
o 151
o 150
o 149
o 148
o 146
o 145
o 143
o 141
o 136
o 133
o 130
o 127
o 126
o 123
o 120
o 119
o 118
o 117
o 116
c 1526 branches 1167 propagates
c total generalized unit propagation = 4107, success = 34.43%
s OPTIMUM FOUND
c Optimal Solution = 116
v -1 4 5 -8 11 12 -15 18 19 -22 25 26 -29 32 33 -36 39 40 -2 6 -9 13 -16 20 -23 27 -30 34 -37 -3 -7 10 -14 -17 -21 24 -28 -31 -35 38
0.268u 0.001s 0:00.27 96.2%	0+0k 0+0io 0pf+0w