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_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_3.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 26954
o 26951
o 26948
o 26945
o 26942
o 26936
o 26933
o 26929
o 26925
o 26924
o 26923
o 26921
o 26916
o 26913
o 26909
o 26908
o 26906
o 26905
o 26904
o 26903
o 26900
o 26898
o 26896
o 26895
o 26891
o 26890
o 26889
o 26888
o 26887
o 26886
o 26885
o 26884
o 26883
o 26882
o 26881
o 26880
o 26879
o 26878
o 26876
o 26875
o 26871
o 26866
o 26862
o 26859
o 26857
o 26852
o 26850
o 26848
o 26846
o 26845
o 26844
o 26843
o 26840
o 26838
o 26836
o 26835
o 26832
o 26830
o 26828
o 26826
o 26825
o 26823
o 26821
o 26819
o 26818
o 26817
o 26816
o 26814
o 26813
o 26812
o 26810
o 26807
o 26805
o 26803
o 26802
o 26801
o 26800
o 26798
o 26797
o 26796
o 26795
o 26794
o 26792
o 26790
o 26789
o 26786
o 26781
o 26780
o 26779
o 26778
o 26777
o 26774
o 26771
o 26769
o 26768
o 26764
o 26762
o 26760
o 26759
o 26758
o 26757
o 26756
o 26755
o 26754
o 26753
o 26752
o 26751
o 26750
o 26749
o 26748
o 26745
o 26744
o 26743
o 26742
o 26740
o 26739
o 26736
o 26732
o 26727
o 26724
o 26721
o 26720
o 26719
o 26716
o 26712
o 26710
o 26709
o 26708
o 26706
o 26704
o 26703
o 26702
o 26700
o 26699
o 26698
o 26697
o 26696
o 26695
o 26694
o 26693
o 26692
o 26690
o 26688
o 26687
o 26683
o 26682
o 26680
o 26679
o 26678
o 26676
o 26675
o 26673
o 26672
o 26670
o 26669
o 26668
o 26667
o 26666
o 26665
o 26663
o 26662
o 26660
o 26659
o 26658
o 26656
o 26655
o 26654
o 26652
o 26651
o 26649
o 26648
o 26646
o 26645
o 26644
o 26643
o 26641
o 26640
o 26639
o 26638
o 26637
o 26636
o 26634
o 26633
o 26632
o 26631
o 26629
o 26627
o 26625
o 26624
o 26623
o 26621
o 26620
o 26619
o 26618
o 26617
o 26616
o 26615
o 26614
o 26613
o 26612
o 26610
o 26608
o 26606
o 26605
o 26604
o 26603
o 26602
o 26600
o 26599
o 26597
o 26596
o 26594
o 26592
o 26589
o 26588
o 26585
o 26582
o 26581
o 26580
o 26579
o 26578
o 26577
o 26576
o 26575
o 26574
o 26573
o 26572
o 26570
o 26567
o 26566
o 26565
o 26564
o 26563
o 26561
o 26560
o 26557
o 26556
o 26555
o 26554
o 26553
o 26552
o 26551
o 26550
o 26549
o 26548
o 26547
o 26545
o 26544
o 26543
o 26542
o 26541
o 26539
o 26538
o 26537
o 26536
o 26535
o 26534
o 26533
o 26531
o 26530
o 26529
o 26528
o 26527
o 26525
o 26523
o 26522
o 26520
o 26519
o 26518
o 26517
o 26516
o 26514
o 26512
o 26510
o 26509
o 26507
o 26506
o 26505
o 26502
o 26501
o 26500
o 26499
o 26498
o 26497
o 26495
o 26494
o 26493
o 26492
o 26491
o 26490
o 26489
o 26488
o 26486
o 26485
o 26484
o 26483
o 26482
o 26481
o 26480
o 26479
o 26478
o 26477
o 26476
o 26475
o 26474
o 26473
o 26472
o 26471
c core #1
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 123
c
c
c core #2
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 124
c
c
c core #3
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 127
c
c
c core #4
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 128
c
c
c core #5
c 
c 
c Core size: 10	Core Weight: 4	Total Weight: 132
c
c
c core #6
c 
c 
c Core size: 9	Core Weight: 4	Total Weight: 136
c
c
c core #7
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 137
c
c
c core #8
c 
c 
c Core size: 10	Core Weight: 4	Total Weight: 141
c
c
c core #9
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 142
c
c
c core #10
c 
c 
c Core size: 11	Core Weight: 3	Total Weight: 145
c
c
c core #11
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 146
c
c
c core #12
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 147
c
c
c core #13
c 
c 
c Core size: 10	Core Weight: 3	Total Weight: 150
c
c
c core #14
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 152
c
c
c core #15
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 153
c
c
c core #16
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 154
c
c
c core #17
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 155
c
c
c core #18
c 
c 
c Core size: 26	Core Weight: 2	Total Weight: 157
c
c
c core #19
c 
c 
c Core size: 26	Core Weight: 2	Total Weight: 159
c
c
c core #20
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 160
c
c
c core #21
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 161
c
c
c core #22
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 162
c
c
c core #23
c 
c 
c Core size: 19	Core Weight: 2	Total Weight: 164
c
c
c core #24
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 165
c
c
c core #25
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 167
c
c
c core #26
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 169
c
c
c core #27
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 171
c
c
c core #28
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 172
c
c
c core #29
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 173
c
c
c core #30
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 175
c
c
c core #31
c 
c 
c Core size: 15	Core Weight: 2	Total Weight: 177
c
c
c core #32
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 178
c
c
c core #33
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 179
c
c
c core #34
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 181
c
c
c core #35
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 182
c
c
c core #36
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 183
c
c
c core #37
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 184
c
c
c core #38
c 
c 
c Core size: 20	Core Weight: 2	Total Weight: 186
c
c
c core #39
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 187
c
c
c core #40
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 190
c
c
c core #41
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 191
c
c
c core #42
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 193
c
c
c core #43
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 194
c
c
c core #44
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 195
c
c
c core #45
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 196
c
c
c core #46
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 197
c
c
c core #47
c 
c 
c Core size: 22	Core Weight: 2	Total Weight: 199
c
c
c core #48
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 200
c
c
c core #49
c 
c 
c Core size: 23	Core Weight: 3	Total Weight: 203
c
c
c core #50
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 204
c
c
c core #51
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 205
c
c
c core #52
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 206
c
c
c core #53
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 207
c
c
c core #54
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 208
c
c
c core #55
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 210
c
c
c core #56
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 211
c
c
c core #57
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 212
c
c
c core #58
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 214
c
c
c core #59
c 
c 
c Core size: 26	Core Weight: 1	Total