Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 26595
o 26593
o 26591
o 26589
o 26588
o 26586
o 26584
o 26583
o 26582
o 26578
o 26577
o 26576
o 26572
o 26570
o 26567
o 26565
o 26563
o 26562
o 26560
o 26558
o 26556
o 26555
o 26554
o 26553
o 26552
o 26551
o 26550
o 26546
o 26545
o 26542
o 26541
o 26540
o 26539
o 26538
o 26537
o 26535
o 26534
o 26532
o 26529
o 26528
o 26527
o 26526
o 26525
o 26524
o 26523
o 26522
o 26520
o 26518
o 26516
o 26515
o 26514
o 26513
o 26512
o 26511
o 26509
o 26507
o 26505
o 26504
o 26503
o 26500
o 26499
o 26497
o 26494
o 26493
o 26492
o 26490
o 26489
o 26487
o 26486
o 26485
o 26484
o 26483
o 26482
o 26480
o 26479
o 26477
o 26475
o 26473
o 26471
o 26469
o 26468
o 26466
o 26464
o 26462
o 26461
o 26458
o 26457
o 26456
o 26452
o 26449
o 26446
o 26443
o 26441
o 26438
o 26436
o 26434
o 26433
o 26431
o 26430
o 26429
o 26428
o 26426
o 26425
o 26424
o 26423
o 26419
o 26415
o 26414
o 26413
o 26409
o 26408
o 26407
o 26405
o 26403
o 26402
o 26400
o 26399
o 26395
o 26392
o 26390
o 26384
o 26381
o 26380
o 26379
o 26377
o 26376
o 26374
o 26373
o 26371
o 26370
o 26368
o 26367
o 26365
o 26362
o 26359
o 26356
o 26354
o 26352
o 26351
o 26349
o 26347
o 26346
o 26345
o 26344
o 26343
o 26339
o 26337
o 26334
o 26333
o 26332
o 26331
o 26327
o 26325
o 26324
o 26322
o 26321
o 26320
o 26317
o 26315
o 26314
o 26313
o 26311
o 26307
o 26303
o 26302
o 26301
o 26300
o 26299
o 26297
o 26296
o 26295
o 26294
o 26293
o 26291
o 26290
o 26288
o 26287
o 26285
o 26283
o 26282
o 26280
o 26277
o 26276
o 26275
o 26274
o 26271
o 26270
o 26268
o 26267
o 26265
o 26264
o 26261
o 26259
o 26258
o 26257
o 26255
o 26254
o 26252
o 26251
o 26250
o 26249
o 26248
o 26247
o 26245
o 26244
o 26243
o 26241
o 26238
o 26237
o 26233
o 26231
o 26229
o 26228
o 26226
o 26225
o 26223
o 26222
o 26221
o 26220
o 26218
o 26217
o 26216
o 26215
o 26214
o 26213
o 26212
o 26210
o 26209
o 26208
o 26207
o 26205
o 26203
o 26202
o 26201
o 26200
o 26199
o 26198
o 26197
o 26196
o 26194
o 26193
o 26191
o 26189
o 26186
o 26185
o 26184
o 26183
o 26182
o 26180
o 26179
o 26177
o 26176
o 26175
o 26174
o 26173
o 26171
o 26170
o 26169
o 26168
o 26167
o 26165
o 26163
o 26162
o 26159
o 26158
o 26157
o 26156
o 26154
o 26153
o 26151
o 26150
o 26148
o 26147
o 26145
o 26144
o 26143
o 26140
o 26139
o 26136
o 26135
o 26134
o 26133
o 26132
o 26129
o 26128
o 26127
o 26126
o 26125
o 26124
o 26122
o 26121
o 26120
o 26119
o 26117
o 26116
o 26114
o 26113
o 26112
o 26111
o 26110
o 26109
o 26108
o 26107
o 26106
o 26105
o 26104
o 26103
c core #1
c 
c 
c Core size: 6	Core Weight: 7	Total Weight: 186
c
c
c core #2
c 
c 
c Core size: 4	Core Weight: 9	Total Weight: 195
c
c
c core #3
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 196
c
c
c core #4
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 197
c
c
c core #5
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 198
c
c
c core #6
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 200
c
c
c core #7
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 202
c
c
c core #8
c 
c 
c Core size: 6	Core Weight: 3	Total Weight: 205
c
c
c core #9
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 208
c
c
c core #10
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 209
c
c
c core #11
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 210
c
c
c core #12
c 
c 
c Core size: 12	Core Weight: 3	Total Weight: 213
c
c
c core #13
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 214
c
c
c core #14
c 
c 
c Core size: 12	Core Weight: 3	Total Weight: 217
c
c
c core #15
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 218
c
c
c core #16
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 220
c
c
c core #17
c 
c 
c Core size: 4	Core Weight: 3	Total Weight: 223
c
c
c core #18
c 
c 
c Core size: 5	Core Weight: 4	Total Weight: 227
c
c
c core #19
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 228
c
c
c core #20
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 229
c
c
c core #21
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 230
c
c
c core #22
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 231
c
c
c core #23
c 
c 
c Core size: 28	Core Weight: 2	Total Weight: 233
c
c
c core #24
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 234
c
c
c core #25
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 235
c
c
c core #26
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 236
c
c
c core #27
c 
c 
c Core size: 27	Core Weight: 2	Total Weight: 238
c
c
c core #28
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 239
c
c
c core #29
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 240
c
c
c core #30
c 
c 
c Core size: 22	Core Weight: 2	Total Weight: 242
c
c
c core #31
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 243
c
c
c core #32
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 244
c
c
c core #33
c 
c 
c Core size: 21	Core Weight: 2	Total Weight: 246
c
c
c core #34
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 247
c
c
c core #35
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 248
c
c
c core #36
c 
c 
c Core size: 18	Core Weight: 2	Total Weight: 250
c
c
c core #37
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 251
c
c
c core #38
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 252
c
c
c core #39
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 253
c
c
c core #40
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 256
c
c
c core #41
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 258
c
c
c core #42
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 259
c
c
c core #43
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 260
c
c
c core #44
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 261
c
c
c core #45
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 262
c
c
c core #46
c 
c 
c Core size: 6	Core Weight: 5	Total Weight: 267
c
c
c core #47
c 
c 
c Core size: 5	Core Weight: 1	Total Weight: 268
c
c
c core #48
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 269
c
c
c core #49
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 270
c
c
c core #50
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 272
c
c
c core #51
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 273
c
c
c core #52
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 274
c
c
c core #53
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 275
c
c
c core #54
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 276
c
c
c core #55
c 
c 
c Core size: 15	Core Weight: 3	Total Weight: 279
c
c
c core #56
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 280
c
c
c core #57
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 281
c
c
c core #58
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 282
c
c
c core #59
c 
c 
c Core size: 18	Core Weight: 1	Total Wei