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_C4000_H150_0.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf
Job solver: /home/maxsat/solvers/pwbo1.1/pwbo1.1
o 3850
o 3849
o 3848
o 3847
o 3846
o 3845
o 3844
o 3843
o 3842
o 3841
o 3840
o 3839
o 3838
o 3837
o 3836
o 3835
o 3834
o 3833
o 3832
o 3831
o 3830
o 3829
o 3828
o 3827
o 3826
o 3825
o 3824
o 3823
o 3822
o 3821
o 3820
o 3819
o 3818
o 3817
o 3816
o 3815
o 3814
o 3813
o 3812
o 3811
o 3810
o 3809
o 3808
o 3807
o 3806
o 3805
o 3804
o 3803
o 3802
o 3801
o 3800
o 3799
o 3798
o 3797
o 3796
o 3795
o 3794
o 3793
o 3792
o 3791
o 3790
o 3789
o 3788
o 3787
o 3786
o 3785
o 3784
o 3783
o 3782
o 3781
o 3780
o 3779
o 3778
o 3777
o 3776
o 3775
o 3774
o 3773
o 3772
o 3771
o 3770
o 3769
o 3768
o 3767
o 3766
o 3765
o 3764
o 3763
o 3762
o 3761
o 3760
o 3759
o 3758
o 3757
o 3756
o 3755
o 3754
o 3753
o 3752
o 3751
o 3750
o 3749
o 3748
o 3747
o 3746
o 3745
o 3744
o 3743
o 3742
o 3741
o 3740
o 3739
o 3738
o 3737
o 3736
o 3735
o 3734
o 3733
o 3732
o 3731
o 3730
o 3729
o 3728
o 3727
o 3726
o 3725
o 3724
o 3723
o 3722
o 3721
o 3720
o 3719
o 3718
o 3717
o 3716
o 3715
o 3714
o 3713
o 3712
o 3711
o 3710
o 3709
o 3708
o 3707
o 3706
o 3705
o 3704
o 3703
o 3702
o 3701
o 3700
o 3699
o 3698
o 3697
o 3696
o 3695
o 3694
o 3693
o 3692
o 3691
o 3690
o 3689
o 3688
o 3687
o 3686
o 3685
o 3684
o 3683
o 3682
o 3681
o 3680
o 3679
o 3678
o 3677
o 3676
o 3675
o 3674
o 3673
o 3672
o 3671
o 3670
o 3669
o 3668
o 3667
o 3666
o 3665
o 3664
o 3663
o 3662
o 3661
o 3660
o 3659
o 3658
o 3657
o 3656
o 3655
o 3654
o 3653
o 3652
o 3651
o 3650
o 3649
o 3648
o 3647
o 3646
o 3645
o 3644
o 3643
o 3642
o 3641
o 3640
o 3639
o 3638
o 3637
o 3636
o 3635