Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax3sat_hi_file_rwpms_wcnf_L3_V100_C800_H100_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C800_H100_0.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 258
o 257
o 256
o 255
o 253
o 252
o 251
o 250
o 248
o 247
o 246
o 245
o 244
o 243
o 242
o 240
o 239
o 236
o 235
o 233
o 231
o 229
o 228
o 226
o 225
o 224
o 223
o 214
o 212
o 208
o 205
o 200
o 198
o 197
o 196
o 193
o 192
o 189
o 188
o 187
o 186
o 185
o 183
o 182
o 181
o 180
o 178
o 172
o 170
o 166
o 162
o 159
o 158
o 157
o 152
o 145
o 143
o 140
o 139
o 132
o 128
o 127
o 126
o 124
o 122
o 120
o 119
o 117
o 114
o 113
o 111
o 107
o 104
o 102
o 99
o 97
o 95
c 122896 branches 178618 propagates
c total generalized unit propagation = 250803, success = 48.91%
s OPTIMUM FOUND
c Optimal Solution = 95
v 73 10 15 -51 40 44 17 -98 -3 -6 -84 71 -9 74 -94 89 -76 -21 -13 -1 69 -65 -75 79 14 32 99 -81 42 -57 82 7 -66 -68 53 90 96 25 35 50 -93 -72 -20 41 63 56 85 -22 -92 -77 49 2 58 -52 38 -55 -26 -16 88 -5 -60 37 61 -59 24 12 62 83 91 31 -34 -48 30 46 28 -64 -78 -80 70 4 -95 18 87 -86 33 27 97 100 67 45 54 19 -47 23 -8 36 11 -43 39 29
211.850u 0.001s 3:32.08 99.8%	0+0k 0+0io 0pf+0w