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_C4500_H150_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 23758
o 23756
o 23749
o 23747
o 23745
o 23744
o 23743
o 23742
o 23741
o 23738
o 23737
o 23734
o 23733
o 23732
o 23731
o 23730
o 23729
o 23728
o 23725
o 23724
o 23723
o 23722
o 23721
o 23720
o 23719
o 23718
o 23715
o 23714
o 23710
o 23707
o 23706
o 23705
o 23701
o 23699
o 23696
o 23695
o 23693
o 23691
o 23690
o 23689
o 23688
o 23686
o 23685
o 23684
o 23681
o 23679
o 23676
o 23675
o 23674
o 23668
o 23667
o 23665
o 23664
o 23663
o 23659
o 23657
o 23655
o 23654
o 23652
o 23651
o 23650
o 23649
o 23648
o 23647
o 23646
o 23645
o 23644
o 23643
o 23642
o 23640
o 23636
o 23633
o 23632
o 23628
o 23626
o 23625
o 23624
o 23623
o 23622
o 23621
o 23618
o 23617
o 23616
o 23614
o 23611
o 23607
o 23606
o 23604
o 23603
o 23602
o 23600
o 23599
o 23598
o 23597
o 23596
o 23593
o 23592
o 23591
o 23590
o 23587
o 23586
o 23585
o 23584
o 23583
o 23582
o 23580
o 23579
o 23578
o 23577
o 23571
o 23570
o 23567
o 23566
o 23565
o 23564
o 23563
o 23562
o 23561
o 23559
o 23558
o 23555
o 23554
o 23553
o 23552
o 23548
o 23545
o 23544
o 23542
o 23539
o 23537
o 23535
o 23534
o 23533
o 23531
o 23530
o 23529
o 23528
o 23526
o 23524
o 23523
o 23521
o 23520
o 23519
o 23517
o 23516
o 23515
o 23512
o 23510
o 23508
o 23506
o 23505
o 23504
o 23503
o 23502
o 23501
o 23498
o 23497
o 23496
o 23495
o 23494
o 23493
o 23492
o 23491
o 23490
o 23489
o 23488
o 23487
o 23486
o 23485
o 23484
o 23482
o 23481
o 23480
o 23479
o 23478
o 23477
o 23476
o 23474
o 23473
o 23472
o 23471
o 23470
o 23469
o 23467
o 23466
o 23465
o 23464
o 23463
o 23462
o 23460
o 23459
o 23458
o 23456
o 23453
o 23451
o 23450
o 23449
o 23448
o 23447
o 23443
o 23439
o 23438
o 23437
o 23434
o 23433
o 23431
o 23430
o 23429
o 23428
o 23427
o 23426
o 23425
o 23424
o 23423
o 23421
o 23420
o 23418
o 23416
o 23415
o 23414
o 23412
o 23408
o 23404
o 23401
o 23400
o 23399
o 23398
o 23397
o 23395
o 23394
o 23393
o 23391
o 23390
o 23388
o 23386
o 23384
o 23382
o 23381
o 23378
o 23377
o 23376
o 23375
o 23374
o 23373
o 23372
o 23371
o 23370
o 23368
o 23366
o 23365
o 23364
o 23362
o 23358
o 23356
o 23353
o 23352
o 23350
o 23347
o 23346
o 23345
o 23344
o 23343
o 23342
o 23341
o 23340
o 23339
o 23338
o 23337
o 23336
o 23335
o 23334
o 23333
o 23332
o 23331
o 23330
o 23328
o 23327
o 23326
o 23324
o 23323
o 23322
o 23320
o 23319
o 23318
o 23317
o 23316
o 23315
o 23314
o 23313
o 23312
o 23311
o 23310
o 23309
o 23308
o 23307
o 23306
o 23305
o 23304
o 23303
o 23302
o 23301
o 23300
o 23299
o 23298
o 23297
o 23296
o 23295
o 23294
o 23293
o 23292
o 23291
o 23290
o 23289
o 23288
o 23287
o 23286
o 23285
o 23284
o 23283
o 23282
o 23281
o 23280
o 23279
o 23278
o 23277
o 23276
o 23275
o 23274
o 23273
o 23272
o 23271
o 23270
o 23269
c core #1
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 2
c
c
c core #2
c 
c 
c Core size: 6	Core Weight: 5	Total Weight: 7
c
c
c core #3
c 
c 
c Core size: 6	Core Weight: 5	Total Weight: 12
c
c
c core #4
c 
c 
c Core size: 6	Core Weight: 5	Total Weight: 17
c
c
c core #5
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 18
c
c
c core #6
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 21
c
c
c core #7
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 24
c
c
c core #8
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 26
c
c
c core #9
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 27
c
c
c core #10
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 28
c
c
c core #11
c 
c 
c Core size: 6	Core Weight: 4	Total Weight: 32
c
c
c core #12
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 35
c
c
c core #13
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 37
c
c
c core #14
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 38
c
c
c core #15
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 41
c
c
c core #16
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 42
c
c
c core #17
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 43
c
c
c core #18
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 44
c
c
c core #19
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 46
c
c
c core #20
c 
c 
c Core size: 9	Core Weight: 5	Total Weight: 51
c
c
c core #21
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 52
c
c
c core #22
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 54
c
c
c core #23
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 55
c
c
c core #24
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 56
c
c
c core #25
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 58
c
c
c core #26
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 60
c
c
c core #27
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 61
c
c
c core #28
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 63
c
c
c core #29
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 64
c
c
c core #30
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 65
c
c
c core #31
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 66
c
c
c core #32
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 67
c
c
c core #33
c 
c 
c Core size: 10	Core Weight: 3	Total Weight: 70
c
c
c core #34
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 71
c
c
c core #35
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 73
c
c
c core #36
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 74
c
c
c core #37
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 77
c
c
c core #38
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 78
c
c
c core #39
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 80
c
c
c core #40
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 81
c
c
c core #41
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 82
c
c
c core #42
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 83
c
c
c core #43
c 
c 
c Core size: 10	Core Weight: 3	Total Weight: 86
c
c
c core #44
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 87
c
c
c core #45
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 88
c
c
c core #46
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 89
c
c
c core #47
c 
c 
c Core size: 8	Core Weight: 4	Total Weight: 93
c
c
c core #48
c 
c 
c Core size: 6	Core Weight: 4	Total Weight: 97
c
c
c core #49
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 98
c
c
c core #50
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 99
c
c
c core #51
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 100
c
c
c core #52
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 101
c
c
c core #53
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 103
c
c
c core #54
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 108
c
c
c core #55
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 110
c
c
c core #56
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 111
c
c
c core #57
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 112
c
c
c core #58
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 114
c
c
c core #59
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 115
c
c
c core #60
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 116
c
c
c core #61
c 
c 
c Core size: 10	Core Weight: 4	Total Weight: 120
c
c