Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_industrial-_home_maxsat_benchmarks_pms_industrial_bcp-fir_normalized-fir10_area_opers.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-fir10_area_opers.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2270
o 2269
o 2268
o 2267
o 2266
o 2265
o 2264
o 2263
o 2262
o 2261
o 2260
o 2259
o 2258
o 2257
o 2256
o 2255
o 2254
o 2253
o 2252
o 2251
o 2250
o 2249
o 2248
o 2247
o 2246
o 2245
o 2244
o 2243
o 2242
o 2241
o 2240
o 2239
o 2238
o 2237
o 2236
o 2235
o 2234
o 2233
o 2232
o 2231
o 2230
o 2229
o 2228
o 2227
o 2226
o 2225
o 2224
o 2223
o 2222
o 2221
o 2220
o 2219
o 2218
o 2217
o 2216
o 2215
o 2214
o 2213
o 2212
o 2211
o 2210
o 2209
o 2208
o 2207
o 2206
o 2205
o 2204
o 2203
o 2202
o 2201
o 2200
o 2199
o 2198
o 2197
o 2196
o 2195
o 2194
o 2193
o 2192
o 2191
o 2190
o 2189
o 2188
o 2187
o 2186
o 2185
o 2184
o 2183
o 2182
o 2181
o 2180
o 2179
o 2178
o 2177
o 2176
o 2175
o 2174
o 2173
o 2172
o 2171
Killed
1979.095u 0.611s 33:15.38 99.2%	0+0k 0+0io 6pf+0w