Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-pwbo1.1-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_hi_file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf
Job solver: /home/maxsat/solvers/pwbo1.1/pwbo1.1
o 4850
o 4849
o 4848
o 4847
o 4846
o 4845
o 4844
o 4843
o 4842
o 4841
o 4840
o 4839
o 4838
o 4837
o 4836
o 4835
o 4834
o 4833
o 4832
o 4831
o 4830
o 4829
o 4828
o 4827
o 4826
o 4825
o 4824
o 4823
o 4822
o 4821
o 4820
o 4819
o 4818
o 4817
o 4816
o 4815
o 4814
o 4813
o 4812
o 4811
o 4810
o 4809
o 4808
o 4807
o 4806
o 4805
o 4804
o 4803
o 4802
o 4801
o 4800
o 4799
o 4798
o 4797
o 4796
o 4795
o 4794
o 4793
o 4792
o 4791
o 4790
o 4789
o 4788
o 4787
o 4786
o 4785
o 4784
o 4783
o 4782
o 4781
o 4780
o 4779
o 4778
o 4777
o 4776
o 4775
o 4774
o 4773
o 4772
o 4771
o 4770
o 4769
o 4768
o 4767
o 4766
o 4765
o 4764
o 4763
o 4762
o 4761
o 4760
o 4759
o 4758
o 4757
o 4756
o 4755
o 4754
o 4753
o 4752
o 4751
o 4750
o 4749
o 4748
o 4747
o 4746
o 4745
o 4744
o 4743
o 4742
o 4741
o 4740
o 4739
o 4738
o 4737
o 4736
o 4735
o 4734
o 4733
o 4732
o 4731
o 4730
o 4729
o 4728
o 4727
o 4726
o 4725
o 4724
o 4723
o 4722
o 4721
o 4720
o 4719
o 4718
o 4717
o 4716
o 4715
o 4714
o 4713
o 4712
o 4711
o 4710
o 4709
o 4708
o 4707
o 4706
o 4705
o 4704
o 4703
o 4702
o 4701
o 4700
o 4699
o 4698
o 4697
o 4696
o 4695
o 4694
o 4693
o 4692
o 4691
o 4690
o 4689
o 4688
o 4687
o 4686
o 4685
o 4684
o 4683
o 4682
o 4681
o 4680
o 4679
o 4678
o 4677
o 4676
o 4675
o 4674
o 4673
o 4672
o 4671
o 4670
o 4669
o 4668
o 4667
o 4666
o 4665
o 4664
o 4663
o 4662
o 4661
o 4660
o 4659
o 4658
o 4657
o 4656
o 4655
o 4654
o 4653
o 4652
o 4651
o 4650
o 4649
o 4648
o 4647
o 4646
o 4645
o 4644
o 4643
o 4642