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_me_file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 13055
o 13053
o 13048
o 13046
o 13043
o 13041
o 13039
o 13038
o 13036
o 13034
o 13033
o 13031
o 13029
o 13028
o 13027
o 13026
o 13025
o 13024
o 13023
o 13022
o 13021
o 13020
o 13019
o 13018
o 13017
o 13016
o 13015
o 13013
o 13012
o 13008
o 13006
o 13005
o 13001
o 13000
o 12999
o 12997
o 12996
o 12993
o 12989
o 12988
o 12987
o 12986
o 12984
o 12981
o 12975
o 12974
o 12972
o 12971
o 12969
o 12968
o 12965
o 12964
o 12961
o 12960
o 12957
o 12955
o 12954
o 12951
o 12949
o 12948
o 12947
o 12946
o 12945
o 12944
o 12942
o 12941
o 12940
o 12939
o 12938
o 12936
o 12933
o 12932
o 12930
o 12928
o 12927
o 12926
o 12923
o 12920
o 12917
o 12914
o 12913
o 12910
o 12909
o 12905
o 12904
o 12903
o 12902
o 12901
o 12900
o 12898
o 12897
o 12896
o 12895
o 12894
o 12893
o 12891
o 12888
o 12884
o 12883
o 12882
o 12881
o 12878
o 12877
o 12874
o 12873
o 12871
o 12869
o 12868
o 12867
o 12866
o 12862
o 12860
o 12859
o 12858
o 12854
o 12853
o 12851
o 12850
o 12847
o 12846
o 12845
o 12844
o 12843
o 12842
o 12839
o 12838
o 12837
o 12836
o 12835
o 12833
o 12832
o 12831
o 12830
o 12829
o 12828
o 12827
o 12826
o 12824
o 12823
o 12820
o 12819
o 12817
o 12816
o 12813
o 12811
o 12810
o 12808
o 12807
o 12806
o 12805
o 12804
o 12803
o 12801
o 12799
o 12798
o 12797
o 12794
o 12793
o 12790
o 12789
o 12788
o 12785
o 12782
o 12780
o 12776
o 12774
o 12773
o 12771
o 12770
o 12768
o 12766
o 12762
o 12761
o 12760
o 12759
o 12757
o 12756
o 12755
o 12753
o 12752
o 12751
o 12749
o 12748
o 12747
o 12746
o 12743
o 12742
o 12740
o 12739
o 12738
o 12737
o 12735
o 12734
o 12733
o 12731
o 12729
o 12728
o 12727
o 12726
o 12725
o 12723
o 12722
o 12721
o 12720
o 12718
o 12717
o 12714
o 12712
o 12711
o 12709
o 12707
o 12706
o 12704
o 12702
o 12701
o 12698
o 12697
o 12696
o 12694
o 12692
o 12689
o 12687
o 12686
o 12684
o 12680
o 12678
o 12675
o 12672
o 12668
o 12663
o 12662
o 12661
o 12659
o 12655
o 12651
o 12649
o 12648
o 12647
o 12646
o 12645
o 12644
o 12643
o 12640
o 12639
o 12637
o 12636
o 12635
o 12634
o 12633
o 12632
o 12629
o 12627
o 12626
o 12624
o 12623
o 12622
o 12621
o 12620
o 12619
o 12618
o 12617
o 12616
o 12614
o 12613
o 12611
o 12610
o 12609
o 12608
o 12607
o 12606
o 12604
o 12603
o 12601
o 12600
o 12599
o 12598
o 12597
o 12596
o 12595
o 12594
o 12593
o 12592
o 12591
o 12590
o 12589
o 12588
o 12587
o 12586
o 12585
o 12584
o 12583
o 12582
o 12581
o 12580
o 12579
o 12578
o 12577
o 12576
o 12575
o 12574
o 12573
o 12572
o 12571
o 12570
o 12569
o 12568
o 12567
o 12566
o 12565
o 12564
o 12563
o 12562
o 12561
o 12560
o 12559
o 12558
o 12557
o 12556
o 12555
o 12554
o 12553
o 12552
o 12551
o 12550
o 12549
o 12548
o 12547
o 12546
o 12545
o 12544
o 12543
o 12542
o 12541
o 12540
o 12539
o 12538
o 12537
o 12536
o 12535
o 12534
o 12533
o 12532
o 12531
o 12530
o 12529
o 12528
o 12527
o 12526
o 12525
o 12524
o 12523
o 12522
o 12521
o 12520
o 12519
o 12518
o 12517
o 12516
o 12515
o 12514
o 12513
o 12512
o 12511
o 12510
o 12509
o 12508
o 12507
o 12506
o 12505
o 12504
o 12503
o 12502
o 12501
o 12500
o 12499
o 12498
o 12497
o 12496
o 12495
o 12494
o 12493
o 12492
o 12491
o 12490
o 12489
o 12488
o 12487
o 12486
o 12485
o 12484
o 12483
o 12482
o 12481
o 12480
o 12479
o 12478
o 12477
o 12476
o 12475
o 12474
o 12473
o 12472
o 12471
o 12470
o 12469
o 12468
o 12467
o 12466
o 12465
o 12464
o 12463
o 12462
o 12461
o 12460
o 12459
o 12458
o 12457
o 12456
o 12455
o 12454
o 12453
o 12452
o 12451
o 12450
o 12449
o 12448
o 12447
o 12446
o 12445
o 12444
o 12443
o 12442
o 12441
o 12440
o 12439
o 12438
o 12437
o 12436
o 12435
o 12434
o 12433
o 12432
o 12431
o 12430
o 12429
o 12428
o 12427
o 12426
o 12425
o 12424
o 12423
o 12422
o 12421
o 12420
o 12419
o 12418
o 12417
o 12416
o 12415
o 12414
o 12413
o 12412
c core #1
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 14
c
c
c core #2
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 16
c
c
c core #3
c 
c 
c Core size: 7	Core Weight: 7	Total Weight: 23
c
c
c core #4
c 
c 
c Core size: 26	Core Weight: 2	Total Weight: 25
c
c
c core #5
c 
c 
c Core size: 32	Core Weight: 2	Total Weight: 27
c
c
c core #6
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 28
c
c
c core #7
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 29
c
c
c core #8
c 
c 
c Core size: 17	Core Weight: 6	Total Weight: 35
c
c
c core #9
c 
c 
c Core size: 24	Core Weight: 2	Total Weight: 37
c
c
c core #10
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 38
c
c
c core #11
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 39
c
c
c core #12
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 40
c
c
c core #13
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 42
c
c
c core #14
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 43
c
c
c core #15
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 44
c
c
c core #16
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 45
c
c
c core #17
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 47
c
c
c core #18
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 48
c
c
c core #19
c 
c 
c Core size: 27	Core Weight: 2	Total Weight: 50
c
c
c core #20
c 
c 
c Core size: 24	Core Weight: 3	Total Weight: 53
c
c
c core #21
c 
c 
c Core size: 20	Core Weight: 2	Total Weight: 55
c
c
c core #22
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 56
c
c
c core #23
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 57
c
c
c core #24
c 
c 
c Core size: 19	Core Weight: 4	Total Weight: 61
c
c
c core #25
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 62
c
c
c core #26
c 
c 
c Core size: 22	Core Weight: 2	Total Weight: 64
c
c
c core #27
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 65
c
c
c core #28
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 66
c
c
c core #29
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 67
c
c
c core #30
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 69
c
c
c core #31
c 
c 
c Core size: 19	Core Weight: 3	Total Weight: 72
c
c
c core #32
c 
c 
c Core size: 12	Core Weight: 4	Total Weight: 76
c
c
c core #33
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 77
c
c
c core #34
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 78
c
c
c core #35
c 
c 
c Core size: 26	Core Weight: 3	Total Weight: 81
c
c
c core #36
c 
c 
c Core size: 15	Core Weight: 2	Total Weight: 83
c
c
c core #37
c 
c 
c Core size: 9	Core Weight: 5	Total Weight: 88
c
c
c core #38
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 89
c
c
c core #39
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 90
c
c
c core #40
c 
c 
c Core size: 22	Core Weight: 4	Total Weight: 94
c
c
c core #41
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 96
c
c
c core #42
c 
c 
c Core size: 22	Core Weight: 2	Total Weight: 98
c
c
c core #43
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 99
c
c
c core #44
c 
c 
c Core size: 19	Core Weight: 2	Total Weight: 101
c
c
c core #45
c 
c 
c Core size: 8	Core Weight: 8	Total Weight: 109
c
c
c core #46
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 111
c
c
c core #47
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 112
c
c
c core #48
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 113
c
c
c core #49
c 
c 
c Core size: 21	Core Weight: 2	Total Weight: 115
c
c
c core #50
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 116
c
c
c core #51
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 117
c
c
c core #52
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 119
c
c
c core #53
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 122
c
c
c core #54
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 123
c
c
c core #55
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 124
c
c
c core #56
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 125
c
c
c core #57
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 126
c
c
c core #58
c 
c 
c Core size: 7	Core Weight: 7	Total Weight: 133
c
c
c core #59
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 136
c
c
c core #60
c 
c 
c Core siz