Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax3sat_lo_file_rwpms_wcnf_L3_V100_C500_H100_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_2.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 500 2703
c WARNING: Ubcsat not found.
o 2703
c local Search
c better result
o 77
c local Search
c better result
o 82
c local Search
c better result
o 82
c local Search
c better result
o 77
c local Search
c better result
o 57
c local Search
c better result
o 2750
c local Search
c better result
o 2750
c local Search
c better result
o 2758
c local Search
c better result
o 2752
c local Search
c better result
o 2755
c local Search
c better result
o 2760
c local Search
c better result
o 2754
c local Search
c better result
o 2754
c local Search
c better result
o 2749
c local Search
c better result
o 2749
c local Search
c better result
o 2752
c local Search
c better result
o 2749
c local Search
c better result
o 2751
c local Search
c better result
o 2751
c local Search
c better result
o 2749
c local Search
c better result
o 2747
c local Search
c better result
o 2738
c local Search
c better result
o 2747
c local Search
c better result
o 2755
c local Search
c better result
o 2761
c local Search
c better result
o 2755
c local Search
c better result
o 2742
c local Search
c better result
o 2753
c local Search
c better result
o 2755
c local Search
c better result
o 2762
c local Search
c better result
o 2757
c local Search
c better result
o 2749
c local Search
c better result
o 2753
c local Search
c better result
o 2745
c local Search
c better result
o 2744
c local Search
c better result
o 2758
c local Search
c better result
o 2758
c local Search
c better result
o 2754
c local Search
c better result
o 2753
c local Search
c better result
o 2762
c local Search
c better result
o 2762
c local Search
c better result
o 2752
c local Search
c better result
o 2747
c local Search
c better result
o 2749
c local Search
c better result
o 2749
c local Search
c better result
o 2758
c local Search
c better result
o 2752
c local Search
c better result
o 2754
c local Search
c better result
o 2754
c local Search
c better result
o 2755
c local Search
c better result
o 2753
c local Search
c better result
o 2763
c local Search
c better result
o 2757
c local Search
c better result
o 2755
c local Search
c better result
o 2753
c local Search
c better result
o 2759
c local Search
c better result
o 2757
c local Search
c better result
o 2752
c local Search
c better result
o 2752
c local Search
c better result
o 2755
c local Search
c better result
o 2755
c local Search
c better result
o 2748
c local Search
c better result
o 2744
c local Search
c better result
o 2748
c local Search
c better result
o 2744
c local Search
c better result
o 2744
c local Search
c better result
o 2748
c local Search
c better result
o 2748
c local Search
c better result
o 2754
c local Search
c better result
o 2762
c local Search
c better result
o 2777
c local Search
c better result
o 2753
c local Search
c better result
o 2753
c local Search
c better result
o 2773
c local Search
c better result
o 2760
c local Search
c better result
o 2770
c local Search
c better result
o 2775
c local Search
c better result
o 2767
c local Search
c better result
o 2767
c local Search
c better result
o 2772
c local Search
c better result
o 2755
c local Search
c better result
o 2758
c local Search
c better result
o 2786
c local Search
c better result
o 2753
c local Search
c better result
o 2756
c local Search
c better result
o 2775
c local Search
c better result
o 2775
c local Search
c better result
o 2753
c local Search
c better result
o 2753
c local Search
c better result
o 2780
c local Search
c better result
o 2757
c local Search
c better result
o 2757
c local Search
c better result
o 2772
c local Search
c better result
o 2755
c local Search
c better result
o 2749
c local Search
c better result
o 2749
c local Search
c better result
o 2754
c local Search
c better result
o 2750
c local Search
c better result
o 2749
c local Search
c better result
o 2749
c local Search
c better result
o 2754
c local Search
c better result
o 2750
c local Search
c better result
o 2761
c local Search
c better result
o 2756
c local Search
c better result
o 2761
c local Search
c better result
o 2760
c local Search
c better result
o 2781
c local Search
c better result
o 2774
c local Search
c better result
o 2767
c local Search
c better result
o 2784
c local Search
c better result
o 2750
c local Search
c better result
o 2749
c local Search
c better result
o 2750
c local Search
c better result
o 2750
c local Search
c better result
o 2771
c local Search
c better result
o 2764
c local Search
c better result
o 2753
c local Search
c better result
o 2770
c local Search
c better result
o 2761
c local Search
c better result
o 2781
c local Search
c better result
o 2773
c local Search
c better result
o 2766
c local Search
c better result
o 2766
c local Search
c better result
o 2766
c local Search
c better result
o 2762
c local Search
c better result
o 2762
c local Search
c better result
o 2769
c local Search
c better result
o 2753
c local Search
c better result
o 2776
c local Search
c better result
o 2769
c local Search
c better result
o 2750
c local Search
c better result
o 2750
c local Search
c better result
o 2750
c local Search
c better result
o 2752
c local Search
c better result
o 2775
c local Search
c better result
o 2753
c local Search
c better result
o 2753
c local Search
c better result
o 2748
c local Search
c better result
o 2752
c local Search
c better result
o 2749
c local Search
c better result
o 2749
c local Search
c better result
o 2772
c local Search
c better result
o 2771
c local Search
c better result
o 2771
c local Search
c better result
o 2770
c local Search
c better result
o 2750
c local Search
c better result
o 2753
c local Search
c better result
o 2749
c local Search
c better result
o 2768
c local Search
c better result
o 2749
c local Search
c better result
o 2764
c local Search
c better result
o 2752
c local Search
c better result
o 2745
c local Search
c better result
o 2738
c local Search
c better result
o 2747
c local Search
c better result
o 2750
c local Search
c better result
o 2750
c local Search
c better result
o 2772
c local Search
c better result
o 2771
c local Search
c better result
o 2771
c local Search
c better result
o 2770
c local Search
c better result
o 2766
c local Search
c better result
o 2769
c local Search
c better result
o 2773
c local Search
c better result
o 2770
c local Search
c better result
o 2749
c local Search
c better result
o 2749
c local Search
c better result
o 2765
c local Search
c better result
o 2763
c local Search
c better result
o 2764
c local Search
c better result
o 2764
c local Search
c better result
o 2758
c local Search
c better result
o 2756
c local Search
c better result
o 2750
c local Search
c better result
o 2772
c local Search
c better result
o 2775
c local Search
c better result
o 2771
c local Search
c better result
o 2770
c local Search
c better result
o 2771
c local Search
c better result
o 2770
c local Search
c better result
o 2769
c local Search
c better result
o 2769
c local Search
c better result
o 2749
c local Search
c better result
o 2751
c local Search
c better result
o 2767
c local Search
c better result
o 2765
c local Search
c better result
o 2756
c local Search
c better result
o 2756
c local Search
c better result
o 2756
c local Search
c better result
o 2758
c local Search
c better result
o 2755
c local Search
c better result
o 2762
c local Search
c better result
o 2755
c local Search
c better result
o 2760
c local Search
c better result
o 2749
c local Search
c better result
o 2757
c local Search
c better result
o 2742
c local Search
c better result
o 2742
c local Search
c better result
o 2734
c local Search
c better result
o 2746
c local Search
c better result
o 2738
c local Search
c better result
o 2747
c local Search
c better result
o 2742
c local Search
c better result
o 2742
c local Search
c better result
o 2734
c local Search
c better result
o 2746
c local Search
c better result
o 2744
c local Search
c better result
o 2739
c local Search
c better result
o 2741
c local Search
c better result
o 2738
c local Search
c better result
o 2767
c local Search
c better result
o 2758
c local Search
c better result
o 2747
c local Search
c better result
o 2766
c local Search
c better result
o 2762
c local Search
c better result
o 2765
c local Search
c better result
o 2773
c local Search
c better result
o 2770
c local Search
c better result
o 2748
c local Search
c better result
o 2754
c local Search
c better result
o 2760
c local Search
c better result
o 2758
c local Search
c better result
o 2745
c local Search
c better result
o 2743
c local Search
c better result
o 2744
c local Search
c better result
o 2754
c local Search
c better result
o 2760
c local Search
c better result
o 2756
c local Search
c better result
o 2768
c local Search
c better result
o 2771
c local Search
c better result
o 2768
c local Search
c better result
o 2771
c local Search
c better result
o 2769
c local Search
c better result
o 2769
c local Search
c better result
o 2769
c local Search
c better result
o 2769
c local Search
c better result
o 2745
c local Search
c better result
o 2743
c local Search
c better result
o 2762
c local Search
c better result
o 2760
c local Search
c better result
o 2749
c local Search
c better result
o 2744
c local Search
c better result
o 2744
c local Search
c better result
o 2754
c local Search
c better result
o 2746
c local Search
c better result
o 2750
c local Search
c better result
o 2744
c local Search
c better result
o 2750
c local Search
c better result
o 2744
c local Search
c better result
o 2750
c local Search
o 60
c local Search
c better result
o 2752
c local Search
c better result
o 2752
c local Search
c better result
o 2765
c local Search
c better result
o 2758
c local Search
c better result
o 2759
c local Search
c better result
o 2753
c local Search
c better result
o 2765
c local Search
c better result
o 2765
c local Search
c better result
o 2758
c local Search
c better result
o 2752
c local Search
c better result
o 2752
c local Search
c better result
o 2762
c local Search
c better result
o 2760
c local Search
c better result
o 2762
c local Search
c better result
o 2760
c local Search
c better result
o 2758
c local Search
c better result
o 2760
c local Search
c better result
o 2758
c local Search
c better result
o 2752
c local Search
c better result
o 2752
c local Search
c better result
o 2752
c local Search
c better result
o 2752
c local Search
c better result
o 2752
c local Search
c better result
o 2764
c local Search
c better result
o 2763
c local Search
c better result
o 2758
c local Search
c better result
o 2764
c local Search
c better result
o 2763
c local Search
c better result
o 2752
c local Search
c better result
o 2778
c local Search
c better result
o 2770
c local Search
c better result
o 2759
c local Search
c better result
o 2774
c local Search
c better result
o 2768
c local Search
c better result
o 2757
c local Search
c better result
o 2771
c local Search
c better result
o 2760
c local Search
c better result
o 2759
c local Search
c better result
o 2759
c local Search
c better result
o 2758
c local Search
c better result
o 2760
c local Search
c better result
o 2796
c local Search
c better result
o 2772
c local Search
c better result
o 2772
c local Search
c better result
o 2770
c local Search
c better result
o 2785
c local Search
c better result
o 2768
c local Search
c better result
o 2763
c local Search
c better result
o 2763
c local Search
c better result
o 2761
c local Search
c better result
o 2767
c local Search
c better result
o 2752
c local Search
c better result
o 2752
c local Search
c better result
o 2750
c local Search
c better result
o 2756
c local Search
c better result
o 2761
c local Search
c better result
o 2767
c local Search
c better result
o 2763
c local Search
c better result
o 2763
c local Search
c better result
o 2763
c local Search
c better result
o 2763
c local Search
c better result
o 2750
c local Search
c better result
o 2756
c local Search
c better result
o 2752
c local Search
c better result
o 2752
c local Search
c better result
o 2758
c local Search
c better result
o 2763
c local Search
c better result
o 2753
c local Search
c better result
o 2759
c local Search
c better result
o 2746
c local Search
c better result
o 2760
c local