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_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C800_H100_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 264
o 260
o 257
o 255
o 252
o 251
o 250
o 246
o 241
o 239
o 238
o 235
o 234
o 232
o 230
o 229
o 228
o 225
o 224
o 222
o 219
o 217
o 216
o 214
o 212
o 211
o 209
o 203
o 202
o 200
o 197
o 194
o 193
o 192
o 191
o 186
o 183
o 181
o 180
o 178
o 176
o 174
o 168
o 165
o 163
o 159
o 158
o 156
o 152
o 149
o 143
o 141
o 139
o 138
o 137
o 133
o 132
o 130
o 127
o 126
o 124
o 122
o 121
o 120
o 118
o 115
o 113
o 112
o 110
o 108
o 106
o 105
o 104
o 102
o 100
o 98
o 97
o 95
c 120979 branches 88773 propagates
c total generalized unit propagation = 330538, success = 36.54%
s OPTIMUM FOUND
c Optimal Solution = 95
v -5 26 44 9 8 85 16 60 -64 96 -93 25 -10 34 73 -74 -61 -97 99 -53 83 -94 -51 -62 48 58 98 82 7 42 -92 45 13 14 1 3 59 -46 -17 84 -36 -23 -71 21 -57 52 72 39 56 76 -79 -20 75 89 35 -86 49 -30 -67 12 -6 2 -90 87 41 28 40 -4 -24 32 -91 -77 -18 -29 27 -11 -22 -38 55 -80 37 -19 68 66 95 -81 -47 63 78 -70 -15 65 -31 69 -33 -43 100 -54 50 88
354.195u 0.031s 5:55.25 99.7%	0+0k 0+0io 0pf+0w