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_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 24026
o 24024
o 24018
o 24016
o 24008
o 24007
o 24006
o 24004
o 24003
o 23998
o 23996
o 23992
o 23990
o 23987
o 23986
o 23985
o 23984
o 23983
o 23982
o 23981
o 23978
o 23977
o 23975
o 23971
o 23970
o 23969
o 23968
o 23964
o 23963
o 23962
o 23960
o 23956
o 23955
o 23953
o 23952
o 23951
o 23950
o 23949
o 23945
o 23944
o 23943
o 23942
o 23938
o 23937
o 23936
o 23935
o 23933
o 23932
o 23930
o 23928
o 23926
o 23924
o 23923
o 23922
o 23921
o 23918
o 23916
o 23915
o 23914
o 23912
o 23911
o 23907
o 23906
o 23904
o 23903
o 23901
o 23900
o 23897
o 23894
o 23890
o 23889
o 23886
o 23884
o 23883
o 23879
o 23877
o 23876
o 23874
o 23873
o 23872
o 23869
o 23868
o 23866
o 23865
o 23864
o 23863
o 23861
o 23859
o 23857
o 23854
o 23851
o 23850
o 23848
o 23847
o 23844
o 23841
o 23840
o 23839
o 23838
o 23837
o 23836
o 23835
o 23834
o 23833
o 23830
o 23829
o 23827
o 23826
o 23825
o 23821
o 23818
o 23815
o 23813
o 23812
o 23809
o 23808
o 23806
o 23805
o 23804
o 23803
o 23802
o 23801
o 23800
o 23798
o 23797
o 23795
o 23794
o 23792
o 23790
o 23789
o 23787
o 23785
o 23783
o 23782
o 23778
o 23776
o 23773
o 23771
o 23770
o 23768
o 23767
o 23765
o 23764
o 23762
o 23761
o 23760
o 23758
o 23757
o 23756
o 23754
o 23753
o 23750
o 23749
o 23748
o 23747
o 23746
o 23744
o 23743
o 23742
o 23739
o 23738
o 23735
o 23732
o 23730
o 23728
o 23727
o 23726
o 23723
o 23721
o 23720
o 23718
o 23717
o 23716
o 23714
o 23712
o 23711
o 23710
o 23709
o 23708
o 23705
o 23701
o 23699
o 23698
o 23697
o 23696
o 23695
o 23694
o 23692
o 23691
o 23687
o 23686
o 23685
o 23684
o 23683
o 23682
o 23679
o 23678
o 23677
o 23676
o 23675
o 23673
o 23670
o 23669
o 23668
o 23667
o 23666
o 23665
o 23664
o 23662
o 23661
o 23660
o 23657
o 23656
o 23655
o 23654
o 23653
o 23651
o 23650
o 23649
o 23648
o 23647
o 23646
o 23644
o 23643
o 23640
o 23638
o 23637
o 23636
o 23635
o 23633
o 23631
o 23630
o 23629
o 23628
o 23625
o 23624
o 23622
o 23621
o 23620
o 23619
o 23618
o 23617
o 23615
o 23614
o 23612
o 23610
o 23609
o 23608
o 23607
o 23605
o 23604
o 23603
o 23602
o 23600
o 23599
o 23598
o 23597
o 23596
o 23595
o 23593
o 23592
o 23591
o 23590
o 23589
o 23588
o 23585
o 23584
o 23583
o 23582
o 23581
o 23580
o 23579
o 23578
o 23576
o 23575
o 23573
o 23571
o 23570
o 23569
o 23568
o 23567
o 23566
o 23565
o 23564
o 23563
o 23562
o 23561
o 23559
o 23558
o 23556
o 23555
o 23553
o 23552
o 23549
o 23547
o 23545
o 23543
o 23542
o 23541
o 23540
o 23539
o 23538
o 23537
o 23536
o 23535
o 23534
o 23533
o 23532
o 23531
o 23530
o 23529
o 23528
o 23527
o 23526
o 23525
o 23524
o 23522
o 23520
o 23519
o 23516
o 23514
o 23512
o 23510
o 23508
o 23505
o 23504
o 23503
o 23501
o 23500
o 23499
o 23498
o 23497
o 23496
o 23495
o 23494
c core #1
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 4
c
c
c core #2
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 7
c
c
c core #3
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 8
c
c
c core #4
c 
c 
c Core size: 17	Core Weight: 5	Total Weight: 13
c
c
c core #5
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 14
c
c
c core #6
c 
c 
c Core size: 17	Core Weight: 2	Total Weight: 16
c
c
c core #7
c 
c 
c Core size: 10	Core Weight: 5	Total Weight: 21
c
c
c core #8
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 22
c
c
c core #9
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 23
c
c
c core #10
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 25
c
c
c core #11
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 26
c
c
c core #12
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 27
c
c
c core #13
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 28
c
c
c core #14
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 30
c
c
c core #15
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 32
c
c
c core #16
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 33
c
c
c core #17
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 35
c
c
c core #18
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 36
c
c
c core #19
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 39
c
c
c core #20
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 40
c
c
c core #21
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 42
c
c
c core #22
c 
c 
c Core size: 12	Core Weight: 3	Total Weight: 45
c
c
c core #23
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 46
c
c
c core #24
c 
c 
c Core size: 13	Core Weight: 4	Total Weight: 50
c
c
c core #25
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 51
c
c
c core #26
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 52
c
c
c core #27
c 
c 
c Core size: 13	Core Weight: 3	Total Weight: 55
c
c
c core #28
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 56
c
c
c core #29
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 57
c
c
c core #30
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 58
c
c
c core #31
c 
c 
c Core size: 11	Core Weight: 4	Total Weight: 62
c
c
c core #32
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 63
c
c
c core #33
c 
c 
c Core size: 13	Core Weight: 3	Total Weight: 66
c
c
c core #34
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 67
c
c
c core #35
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 68
c
c
c core #36
c 
c 
c Core size: 16	Core Weight: 3	Total Weight: 71
c
c
c core #37
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 72
c
c
c core #38
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 73
c
c
c core #39
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 74
c
c
c core #40
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 76
c
c
c core #41
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 77
c
c
c core #42
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 79
c
c
c core #43
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 80
c
c
c core #44
c 
c 
c Core size: 17	Core Weight: 3	Total Weight: 83
c
c
c core #45
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 85
c
c
c core #46
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 86
c
c
c core #47
c 
c 
c Core size: 15	Core Weight: 2	Total Weight: 88
c
c
c core #48
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 91
c
c
c core #49
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 92
c
c
c core #50
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 93
c
c
c core #51
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 94
c
c
c core #52
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 95
c
c
c core #53
c 
c 
c Core size: 14	Core Weight: 3	Total Weight: 98
c
c
c core #54
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 99
c
c
c core #55
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 100
c
c
c core #56
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 103
c
c
c core #57
c 
c 
c Core size: 9	Core Weight: 4	Total Weight: 107
c
c
c core #58
c 
c 
c Core size: 11	Core Weight: 3	Total Weight: 110
c
c
c core #59
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 111
c
c
c core #60
c 
c 
c Core size: 14	Core We