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
c first lower bound: 0
o 220
o 219
o 201
o 199
o 193
o 192
o 187
o 183
o 177
o 172
o 171
o 170
o 168
o 167
o 166
o 165
o 155
o 154
o 151
o 150
o 149
o 147
o 146
o 142
o 141
o 140
o 139
o 137
o 136
o 134
o 131
o 128
o 127
o 123
o 122
o 120
o 119
o 116
o 114
o 110
c 25205 branches 1899 propagates
c total generalized unit propagation = 51252, success = 48.90%
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
32.762u 0.004s 0:33.01 99.2%	0+0k 0+0io 0pf+0w