Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_random-_home_maxsat_benchmarks_wms_random_wmax3sat_hi_file_rwms_wcnf_L3_V70_C700_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax3sat/hi/file_rwms_wcnf_L3_V70_C700_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 199
o 189
o 188
o 187
o 186
o 183
o 182
o 180
o 178
o 177
o 174
o 173
o 172
o 170
o 166
o 164
o 163
o 162
o 159
o 157
o 153
o 151
o 150
o 148
o 144
o 143
o 142
o 141
o 140
o 138
o 135
o 133
o 128
o 126
o 124
o 123
o 120
o 117
o 112
o 110
c 22908 branches 1535 propagates
c total generalized unit propagation = 47255, success = 48.27%
s OPTIMUM FOUND
c Optimal Solution = 110
v -8 -11 63 42 40 9 -62 -47 15 -52 26 48 -35 5 32 57 -55 -43 -14 -4 16 -19 -28 70 25 -30 -10 -33 66 -50 -51 -54 3 -6 -65 -37 29 34 -2 -56 -49 -44 18 24 -36 61 -59 -69 58 21 -45 12 -46 -68 17 -20 -31 23 -13 -53 -27 41 67 7 64 60 1 -22 38 39
33.714u 0.005s 0:33.93 99.3%	0+0k 0+0io 0pf+0w