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_C3500_H150_1.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf
Job solver: /home/maxsat/solvers/pwbo1.1/pwbo1.1
o 3350
o 3349
o 3348
o 3347
o 3346
o 3345
o 3344
o 3343
o 3342
o 3341
o 3340
o 3339
o 3338
o 3337
o 3336
o 3335
o 3334
o 3333
o 3332
o 3331
o 3330
o 3329
o 3328
o 3327
o 3326
o 3325
o 3324
o 3323
o 3322
o 3321
o 3320
o 3319
o 3318
o 3317
o 3316
o 3315
o 3314
o 3313
o 3312
o 3311
o 3310
o 3309
o 3308
o 3307
o 3306
o 3305
o 3304
o 3303
o 3302
o 3301
o 3300
o 3299
o 3298
o 3297
o 3296
o 3295
o 3294
o 3293
o 3292
o 3291
o 3290
o 3289
o 3288
o 3287
o 3286
o 3285
o 3284
o 3283
o 3282
o 3281
o 3280
o 3279
o 3278
o 3277
o 3276
o 3275
o 3274
o 3273
o 3272
o 3271
o 3270
o 3269
o 3268
o 3267
o 3266
o 3265
o 3264
o 3263
o 3262
o 3261
o 3260
o 3259
o 3258
o 3257
o 3256
o 3255
o 3254
o 3253
o 3252
o 3251
o 3250
o 3249
o 3248
o 3247
o 3246
o 3245
o 3244
o 3243
o 3242
o 3241
o 3240
o 3239
o 3238
o 3237
o 3236
o 3235
o 3234
o 3233
o 3232
o 3231
o 3230
o 3229
o 3228
o 3227
o 3226
o 3225
o 3224
o 3223
o 3222
o 3221
o 3220
o 3219
o 3218
o 3217
o 3216
o 3215
o 3214
o 3213
o 3212
o 3211
o 3210
o 3209
o 3208
o 3207
o 3206
o 3205
o 3204
o 3203
o 3202
o 3201
o 3200
o 3199
o 3198
o 3197
o 3196
o 3195
o 3194
o 3193
o 3192
o 3191
o 3190
o 3189
o 3188
o 3187
o 3186
o 3185
o 3184
o 3183
o 3182
o 3181
o 3180
o 3179
o 3178
o 3177
o 3176
o 3175
o 3174
o 3173
o 3172
o 3171
o 3170
o 3169
o 3168
o 3167
o 3166
o 3165
o 3164
o 3163
o 3162
o 3161
o 3160
o 3159
o 3158
o 3157
o 3156
o 3155
o 3154
o 3153
o 3152
o 3151
o 3150
o 3149
o 3148
o 3147
o 3146
o 3145
o 3144
o 3143
o 3142
o 3141
o 3140
o 3139
o 3138
o 3137
o 3136
o 3135
o 3134
o 3133
o 3132
o 3131
o 3130
o 3129
o 3128
o 3127
o 3126
o 3125
o 3124
o 3123
o 3122
o 3121
o 3120
o 3119
o 3118
o 3117
o 3116
o 3115
o 3114
o 3113
o 3112
o 3111
o 3110
o 3109
o 3108
o 3107
Killed
1972.424u 7.318s 33:05.55 99.7%	0+0k 0+0io 0pf+0w