Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-pwbo1.0-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_hi_file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf
Job solver: /home/maxsat/solvers/pwbo1.0/pwbo1.0
o 4350
o 4349
o 4348
o 4347
o 4346
o 4345
o 4344
o 4343
o 4342
o 4341
o 4340
o 4339
o 4338
o 4337
o 4336
o 4335
o 4334
o 4333
o 4332
o 4331
o 4330
o 4329
o 4328
o 4327
o 4326
o 4325
o 4324
o 4323
o 4322
o 4321
o 4320
o 4319
o 4318
o 4317
o 4316
o 4315
o 4314
o 4313
o 4312
o 4311
o 4310
o 4309
o 4308
o 4307
o 4306
o 4305
o 4304
o 4303
o 4302
o 4301
o 4300
o 4299
o 4298
o 4297
o 4296
o 4295
o 4294
o 4293
o 4292
o 4291
o 4290
o 4289
o 4288
o 4287
o 4286
o 4285
o 4284
o 4283
o 4282
o 4281
o 4280
o 4279
o 4278
o 4277
o 4276
o 4275
o 4274
o 4273
o 4272
o 4271
o 4270
o 4269
o 4268
o 4267
o 4266
o 4265
o 4264
o 4263
o 4262
o 4261
o 4260
o 4259
o 4258
o 4257
o 4256
o 4255
o 4254
o 4253
o 4252
o 4251
o 4250
o 4249
o 4248
o 4247
o 4246
o 4245
o 4244
o 4243
o 4242
o 4241
o 4240
o 4239
o 4238
o 4237
o 4236
o 4235
o 4234
o 4233
o 4232
o 4231
o 4230
o 4229
o 4228
o 4227
o 4226
o 4225
o 4224
o 4223
o 4222
o 4221
o 4220
o 4219
o 4218
o 4217
o 4216
o 4215
o 4214
o 4213
o 4212
o 4211
o 4210
o 4209
o 4208
o 4207
o 4206
o 4205
o 4204
o 4203
o 4202
o 4201
o 4200
o 4199
o 4198
o 4197
o 4196
o 4195
o 4194
o 4193
o 4192
o 4191
o 4190
o 4189
o 4188
o 4187
o 4186
o 4185
o 4184
o 4183
o 4182
o 4181
o 4180
o 4179
o 4178