Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-pwbo1.1-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_me_file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf
Job solver: /home/maxsat/solvers/pwbo1.1/pwbo1.1
o 2350
o 2349
o 2348
o 2347
o 2346
o 2345
o 2344
o 2343
o 2342
o 2341
o 2340
o 2339
o 2338
o 2337
o 2336
o 2335
o 2334
o 2333
o 2332
o 2331
o 2330
o 2329
o 2328
o 2327
o 2326
o 2325
o 2324
o 2323
o 2322
o 2321
o 2320
o 2319
o 2318
o 2317
o 2316
o 2315
o 2314
o 2313
o 2312
o 2311
o 2310
o 2309
o 2308
o 2307
o 2306
o 2305
o 2304
o 2303
o 2302
o 2301
o 2300
o 2299
o 2298
o 2297
o 2296
o 2295
o 2294
o 2293
o 2292
o 2291
o 2290
o 2289
o 2288
o 2287
o 2286
o 2285
o 2284
o 2283
o 2282
o 2281
o 2280
o 2279
o 2278
o 2277
o 2276
o 2275
o 2274
o 2273
o 2272
o 2271
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
o 2170
o 2169
o 2168
o 2167
o 2166
o 2165
o 2164
o 2163
o 2162
o 2161
o 2160
o 2159
o 2158
o 2157
o 2156
o 2155
o 2154
o 2153
o 2152
o 2151
o 2150
o 2149
o 2148
o 2147
o 2146
o 2145
o 2144
o 2143
o 2142
o 2141
o 2140
o 2139
o 2138
o 2137
o 2136
o 2135
o 2134
o 2133
o 2132
o 2131
o 2130
o 2129
o 2128
o 2127
o 2126
o 2125
o 2124
o 2123
o 2122
o 2121
o 2120
o 2119
o 2118
o 2117
o 2116
o 2115
o 2114
o 2113
o 2112
o 2111
o 2110
o 2109
o 2108
o 2107
o 2106
o 2105
o 2104
o 2103
o 2102
o 2101
o 2100
o 2099
o 2098
o 2097
o 2096
Killed
1973.758u 5.972s 32:57.77 100.0%	0+0k 0+0io 0pf+0w