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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 23882
o 23875
o 23869
o 23864
o 23861
o 23859
o 23858
o 23857
o 23855
o 23854
o 23852
o 23850
o 23848
o 23846
o 23844
o 23842
o 23841
o 23839
o 23838
o 23837
o 23836
o 23835
o 23834
o 23833
o 23832
o 23830
o 23827
o 23824
o 23822
o 23820
o 23819
o 23818
o 23814
o 23812
o 23811
o 23810
o 23807
o 23806
o 23805
o 23804
o 23799
o 23796
o 23794
o 23791
o 23789
o 23788
o 23787
o 23786
o 23785
o 23782
o 23781
o 23779
o 23777
o 23776
o 23773
o 23772
o 23771
o 23768
o 23767
o 23766
o 23765
o 23764
o 23762
o 23760
o 23758
o 23757
o 23755
o 23752
o 23751
o 23749
o 23748
o 23746
o 23744
o 23743
o 23742
o 23740
o 23739
o 23738
o 23737
o 23736
o 23735
o 23734
o 23733
o 23732
o 23730
o 23729
o 23726
o 23725
o 23724
o 23723
o 23722
o 23720
o 23718
o 23715
o 23713
o 23711
o 23709
o 23707
o 23703
o 23702
o 23700
o 23699
o 23698
o 23695
o 23693
o 23692
o 23691
o 23689
o 23688
o 23685
o 23682
o 23681
o 23680
o 23678
o 23675
o 23674
o 23672
o 23670
o 23668
o 23665
o 23661
o 23660
o 23657
o 23655
o 23654
o 23653
o 23651
o 23649
o 23645
o 23642
o 23641
o 23640
o 23638
o 23637
o 23635
o 23634
o 23632
o 23631
o 23630
o 23629
o 23626
o 23624
o 23623
o 23621
o 23620
o 23619
o 23618
o 23615
o 23613
o 23610
o 23608
o 23605
o 23604
o 23602
o 23601
o 23600
o 23598
o 23597
o 23596
o 23592
o 23588
o 23587
o 23586
o 23585
o 23583
o 23581
o 23580
o 23579
o 23578
o 23577
o 23576
o 23574
o 23573
o 23571
o 23567
o 23566
o 23565
o 23563
o 23562
o 23561
o 23560
o 23557
o 23555
o 23554
o 23553
o 23552
o 23551
o 23549
o 23548
o 23547
o 23545
o 23543
o 23541
o 23539
o 23538
o 23537
o 23536
o 23535
o 23531
o 23528
o 23524
o 23523
o 23522
o 23520
o 23519
o 23516
o 23515
o 23514
o 23513
o 23512
o 23511
o 23510
o 23509
o 23508
o 23507
o 23506
o 23504
o 23503
o 23502
o 23501
o 23499
o 23497
o 23496
o 23495
o 23494
o 23493
o 23492
o 23491
o 23489
o 23488
o 23487
o 23485
o 23484
o 23483
o 23481
o 23480
o 23479
o 23478
o 23477
o 23476
o 23474
o 23473
o 23472
o 23471
o 23470
o 23467
o 23466
o 23465
o 23464
o 23463
o 23461
o 23460
o 23459
o 23458
o 23457
o 23456
o 23455
o 23454
o 23453
o 23452
o 23451
o 23450
o 23449
o 23448
o 23447
o 23446
o 23445
o 23444
o 23443
o 23442
o 23441
o 23440
o 23439
o 23438
o 23437
o 23435
o 23434
o 23433
o 23432
o 23431
o 23430
o 23429
o 23427
o 23426
o 23425
o 23424
o 23423
o 23422
o 23421
o 23420
o 23419
o 23418
o 23417
o 23416
o 23413
o 23412
o 23411
o 23410
o 23409
o 23408
o 23407
o 23406
o 23405
o 23404
o 23403
o 23402
o 23401
o 23400
o 23399
o 23398
o 23397
o 23396
o 23395
o 23394
o 23393
o 23392
o 23391
o 23390
o 23389
o 23388
o 23387
o 23386
o 23385
o 23384
o 23383
o 23382
o 23381
c core #1
c 
c 
c Core size: 6	Core Weight: 6	Total Weight: 6
c
c
c core #2
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 8
c
c
c core #3
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 11
c
c
c core #4
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 14
c
c
c core #5
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 16
c
c
c core #6
c 
c 
c Core size: 9	Core Weight: 4	Total Weight: 20
c
c
c core #7
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 21
c
c
c core #8
c 
c 
c Core size: 5	Core Weight: 1	Total Weight: 22
c
c
c core #9
c 
c 
c Core size: 6	Core Weight: 9	Total Weight: 31
c
c
c core #10
c 
c 
c Core size: 5	Core Weight: 2	Total Weight: 33
c
c
c core #11
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 36
c
c
c core #12
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 38
c
c
c core #13
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 39
c
c
c core #14
c 
c 
c Core size: 6	Core Weight: 4	Total Weight: 43
c
c
c core #15
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 44
c
c
c core #16
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 49
c
c
c core #17
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 50
c
c
c core #18
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 51
c
c
c core #19
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 54
c
c
c core #20
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 56
c
c
c core #21
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 58
c
c
c core #22
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 59
c
c
c core #23
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 60
c
c
c core #24
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 61
c
c
c core #25
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 62
c
c
c core #26
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 63
c
c
c core #27
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 64
c
c
c core #28
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 65
c
c
c core #29
c 
c 
c Core size: 10	Core Weight: 3	Total Weight: 68
c
c
c core #30
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 69
c
c
c core #31
c 
c 
c Core size: 8	Core Weight: 4	Total Weight: 73
c
c
c core #32
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 75
c
c
c core #33
c 
c 
c Core size: 10	Core Weight: 3	Total Weight: 78
c
c
c core #34
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 80
c
c
c core #35
c 
c 
c Core size: 6	Core Weight: 3	Total Weight: 83
c
c
c core #36
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 84
c
c
c core #37
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 86
c
c
c core #38
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 89
c
c
c core #39
c 
c 
c Core size: 9	Core Weight: 6	Total Weight: 95
c
c
c core #40
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 96
c
c
c core #41
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 99
c
c
c core #42
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 100
c
c
c core #43
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 101
c
c
c core #44
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 102
c
c
c core #45
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 103
c
c
c core #46
c 
c 
c Core size: 11	Core Weight: 3	Total Weight: 106
c
c
c core #47
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 107
c
c
c core #48
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 109
c
c
c core #49
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 111
c
c
c core #50
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 113
c
c
c core #51
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 114
c
c
c core #52
c 
c 
c Core size: 10	Core Weight: 3	Total Weight: 117
c
c
c core #53
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 118
c
c
c core #54
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 120
c
c
c core #55
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 122
c
c
c core #56
c 
c 
c Core size: 10	Core Weight: 3	Total Weight: 125
c
c
c core #57
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 128
c
c
c core #58
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 129
c
c
c core #59
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 130
c
c
c core #60
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 132
c
c
c core #61
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 133
c
c
c core #62
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 134
c
c
c core #63
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 135
c
c
c core #64
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 138
c
c
c core #65
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 139
c
c
c core #66
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 140
c
c
c core #67
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 141
c
c
c core #68
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 142
c
c
c core #69
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 145
c
c
c core #70
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 146
c
c