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_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_4.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 26644
o 26636
o 26634
o 26633
o 26630
o 26627
o 26626
o 26622
o 26621
o 26620
o 26619
o 26617
o 26616
o 26615
o 26612
o 26609
o 26607
o 26606
o 26605
o 26604
o 26603
o 26602
o 26600
o 26599
o 26598
o 26597
o 26596
o 26592
o 26590
o 26587
o 26586
o 26583
o 26582
o 26581
o 26580
o 26576
o 26575
o 26573
o 26572
o 26569
o 26568
o 26567
o 26566
o 26562
o 26560
o 26558
o 26555
o 26554
o 26551
o 26550
o 26548
o 26545
o 26541
o 26539
o 26537
o 26536
o 26535
o 26534
o 26532
o 26531
o 26530
o 26528
o 26527
o 26526
o 26525
o 26524
o 26522
o 26521
o 26520
o 26519
o 26518
o 26517
o 26516
o 26515
o 26514
o 26512
o 26509
o 26508
o 26505
o 26503
o 26502
o 26501
o 26499
o 26496
o 26495
o 26494
o 26492
o 26491
o 26490
o 26489
o 26488
o 26486
o 26485
o 26481
o 26479
o 26478
o 26477
o 26476
o 26475
o 26472
o 26469
o 26468
o 26467
o 26465
o 26464
o 26463
o 26462
o 26461
o 26457
o 26456
o 26455
o 26454
o 26453
o 26451
o 26450
o 26449
o 26448
o 26446
o 26444
o 26443
o 26440
o 26439
o 26436
o 26435
o 26434
o 26431
o 26428
o 26427
o 26426
o 26425
o 26424
o 26423
o 26421
o 26420
o 26418
o 26415
o 26413
o 26411
o 26409
o 26408
o 26406
o 26402
o 26401
o 26398
o 26394
o 26393
o 26391
o 26390
o 26386
o 26382
o 26381
o 26377
o 26376
o 26373
o 26372
o 26371
o 26370
o 26369
o 26367
o 26362
o 26361
o 26360
o 26359
o 26358
o 26357
o 26356
o 26355
o 26354
o 26353
o 26352
o 26350
o 26349
o 26347
o 26346
o 26345
o 26344
o 26343
o 26342
o 26339
o 26336
o 26335
o 26334
o 26333
o 26331
o 26330
o 26329
o 26328
o 26326
o 26325
o 26324
o 26323
o 26322
o 26321
o 26318
o 26316
o 26315
o 26314
o 26313
o 26312
o 26311
o 26310
o 26308
o 26306
o 26305
o 26304
o 26303
o 26302
o 26301
o 26298
o 26297
o 26294
o 26292
o 26290
o 26288
o 26286
o 26283
o 26280
o 26279
o 26278
o 26277
o 26274
o 26273
o 26272
o 26271
o 26270
o 26269
o 26267
o 26266
o 26265
o 26264
o 26263
o 26261
o 26260
o 26259
o 26256
o 26255
o 26253
o 26252
o 26251
o 26250
o 26248
o 26247
o 26246
o 26245
o 26244
o 26242
o 26241
o 26240
o 26239
o 26238
o 26237
o 26236
o 26235
o 26234
o 26233
o 26232
o 26231
o 26230
o 26229
o 26227
o 26225
o 26223
o 26222
o 26221
o 26220
o 26219
o 26218
o 26217
o 26215
o 26214
o 26213
o 26212
o 26210
o 26209
o 26206
o 26205
o 26204
o 26203
o 26202
o 26201
o 26200
o 26199
o 26197
o 26196
o 26194
o 26192
o 26190
o 26189
o 26188
o 26186
o 26185
o 26183
o 26182
o 26180
o 26178
o 26176
o 26175
o 26174
o 26173
o 26172
o 26171
o 26168
o 26165
o 26163
c core #1
c 
c 
c Core size: 6	Core Weight: 4	Total Weight: 4
c
c
c core #2
c 
c 
c Core size: 6	Core Weight: 3	Total Weight: 7
c
c
c core #3
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 8
c
c
c core #4
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 11
c
c
c core #5
c 
c 
c Core size: 6	Core Weight: 6	Total Weight: 17
c
c
c core #6
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 18
c
c
c core #7
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 20
c
c
c core #8
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 21
c
c
c core #9
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 22
c
c
c core #10
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 24
c
c
c core #11
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 25
c
c
c core #12
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 30
c
c
c core #13
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 32
c
c
c core #14
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 34
c
c
c core #15
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 36
c
c
c core #16
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 38
c
c
c core #17
c 
c 
c Core size: 8	Core Weight: 4	Total Weight: 42
c
c
c core #18
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 43
c
c
c core #19
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 46
c
c
c core #20
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 47
c
c
c core #21
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 48
c
c
c core #22
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 49
c
c
c core #23
c 
c 
c Core size: 9	Core Weight: 5	Total Weight: 54
c
c
c core #24
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 56
c
c
c core #25
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 57
c
c
c core #26
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 59
c
c
c core #27
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 61
c
c
c core #28
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 62
c
c
c core #29
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 63
c
c
c core #30
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 65
c
c
c core #31
c 
c 
c Core size: 5	Core Weight: 4	Total Weight: 69
c
c
c core #32
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 70
c
c
c core #33
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 72
c
c
c core #34
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 73
c
c
c core #35
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 74
c
c
c core #36
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 75
c
c
c core #37
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 76
c
c
c core #38
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 77
c
c
c core #39
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 78
c
c
c core #40
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 79
c
c
c core #41
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 80
c
c
c core #42
c 
c 
c Core size: 9	Core Weight: 4	Total Weight: 84
c
c
c core #43
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 85
c
c
c core #44
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 86
c
c
c core #45
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 87
c
c
c core #46
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 88
c
c
c core #47
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 90
c
c
c core #48
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 93
c
c
c core #49
c 
c 
c Core size: 9	Core Weight: 5	Total Weight: 98
c
c
c core #50
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 100
c
c
c core #51
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 103
c
c
c core #52
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 104
c
c
c core #53
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 105
c
c
c core #54
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 107
c
c
c core #55
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 109
c
c
c core #56
c 
c 
c Core size: 8	Core Weight: 5	Total Weight: 114
c
c
c core #57
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 115
c
c
c core #58
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 116
c
c
c core #59
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 118
c
c
c core #60
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 119
c
c
c core #61
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 121
c
c
c core #62
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 123
c
c
c core #63
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 124
c
c
c core #64
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 125
c
c
c core #65
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 127
c
c
c core #66
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 128
c
c
c core #67
c 
c 
c Core size: 9	Core Weight: 4	Total Weight: 132
c
c