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_1.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax3sat/hi/file_rwms_wcnf_L3_V70_C700_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 179
o 175
o 174
o 172
o 171
o 170
o 168
o 167
o 165
o 164
o 162
o 159
o 157
o 156
o 155
o 154
o 153
o 151
o 150
o 147
o 145
o 143
o 142
o 139
o 136
o 135
o 132
o 130
o 129
o 128
o 120
o 119
o 118
o 117
o 113
o 112
o 111
o 109
o 108
o 107
c 21118 branches 1921 propagates
c total generalized unit propagation = 42979, success = 48.83%
s OPTIMUM FOUND
c Optimal Solution = 107
v -47 26 24 16 18 38 22 -2 -40 41 -17 -19 8 -53 -14 12 58 6 32 -10 46 -59 43 -54 -33 55 3 -48 31 35 27 23 44 51 39 -37 56 36 28 69 67 -50 9 5 63 57 66 4 -7 -15 20 -21 11 68 70 -52 -64 61 42 -1 -29 -45 -30 25 -49 -65 -34 -13 -60 -62
25.525u 0.000s 0:25.57 99.8%	0+0k 0+0io 0pf+0w