Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-pwbo1.0-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_me_file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf
Job solver: /home/maxsat/solvers/pwbo1.0/pwbo1.0
o 2850
o 2849
o 2848
o 2847
o 2846
o 2845
o 2844
o 2843
o 2842
o 2841
o 2840
o 2839
o 2838
o 2837
o 2836
o 2835
o 2834
o 2833
o 2832
o 2831
o 2830
o 2829
o 2828
o 2827
o 2826
o 2825
o 2824
o 2823
o 2822
o 2821
o 2820
o 2819
o 2818
o 2817
o 2816
o 2815
o 2814
o 2813
o 2812
o 2811
o 2810
o 2809
o 2808
o 2807
o 2806
o 2805
o 2804
o 2803
o 2802
o 2801
o 2800
o 2799
o 2798
o 2797
o 2796
o 2795
o 2794
o 2793
o 2792
o 2791
o 2790
o 2789
o 2788
o 2787
o 2786
o 2785
o 2784
o 2783
o 2782
o 2781
o 2780
o 2779
o 2778
o 2777
o 2776
o 2775
o 2774
o 2773
o 2772
o 2771
o 2770
o 2769
o 2768
o 2767
o 2766
o 2765
o 2764
o 2763
o 2762
o 2761
o 2760
o 2759
o 2758
o 2757
o 2756
o 2755
o 2754
o 2753
o 2752
o 2751
o 2750
o 2749
o 2748
o 2747
o 2746
o 2745
o 2744
o 2743
o 2742
o 2741
o 2740
o 2739
o 2738
o 2737
o 2736
o 2735
o 2734
o 2733
o 2732
o 2731
o 2730
o 2729
o 2728
o 2727
o 2726
o 2725
o 2724
o 2723
o 2722
o 2721
o 2720
o 2719
o 2718
o 2717
o 2716
o 2715
o 2714
o 2713
o 2712
o 2711
o 2710
o 2709
o 2708
o 2707
o 2706
o 2705
o 2704
o 2703
o 2702
o 2701
o 2700
o 2699
o 2698
o 2697
o 2696
o 2695
o 2694
o 2693
o 2692
o 2691
o 2690
o 2689
o 2688
o 2687
o 2686
o 2685
o 2684
o 2683
o 2682
o 2681
o 2680
o 2679
o 2678
o 2677
o 2676
o 2675
o 2674
o 2673
o 2672
o 2671
o 2670
o 2669
o 2668
o 2667
o 2666
o 2665
o 2664
o 2663
o 2662
o 2661
o 2660
o 2659
o 2658
o 2657
o 2656
o 2655
o 2654
o 2653
o 2652
o 2651
o 2650
o 2649
o 2648
o 2647
o 2646
o 2645
o 2644
o 2643
o 2642
o 2641
o 2640
o 2639
o 2638
o 2637
o 2636
o 2635
o 2634
o 2633
o 2632
o 2631
o 2630
o 2629
o 2628
o 2627
o 2626
o 2625
o 2624
o 2623
o 2622
o 2621
o 2620
o 2619
o 2618
o 2617