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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_7.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 500 2741
c WARNING: Ubcsat not found.
o 2741
c local Search
c better result
o 111
c local Search
c better result
o 2842
c local Search
c better result
o 2836
c local Search
c better result
o 2836
c local Search
c better result
o 2820
c local Search
c better result
o 2818
c local Search
c better result
o 2820
c local Search
c better result
o 2815
c local Search
c better result
o 2823
c local Search
c better result
o 2821
c local Search
c better result
o 2823
c local Search
c better result
o 2818
c local Search
c better result
o 2815
c local Search
c better result
o 2820
c local Search
c better result
o 2812
c local Search
c better result
o 2820
c local Search
c better result
o 2818
c local Search
c better result
o 2823
c local Search
c better result
o 2815
c local Search
c better result
o 2823
c local Search
c better result
o 2838
c local Search
c better result
o 2838
c local Search
c better result
o 2832
c local Search
c better result
o 2832
c local Search
c better result
o 2842
c local Search
c better result
o 2842
c local Search
c better result
o 2836
c local Search
c better result
o 2836
c local Search
c better result
o 2823
c local Search
c better result
o 2824
c local Search
c better result
o 2843
c local Search
c better result
o 2841
c local Search
c better result
o 2845
c local Search
c better result
o 2843
c local Search
c better result
o 2841
c local Search
c better result
o 2836
c local Search
c better result
o 2826
c local Search
c better result
o 2825
c local Search
c better result
o 2830
c local Search
c better result
o 2828
c local Search
c better result
o 2825
c local Search
c better result
o 2823
c local Search
c better result
o 2835
c local Search
c better result
o 2830
c local Search
c better result
o 2838
c local Search
c better result
o 2830
c local Search
c better result
o 2844
c local Search
c better result
o 2838
c local Search
c better result
o 2843
c local Search
c better result
o 2829
c local Search
c better result
o 2842
c local Search
c better result
o 2834
c local Search
c better result
o 2831
c local Search
c better result
o 2829
c local Search
c better result
o 2848
c local Search
c better result
o 2846
c local Search
c better result
o 2846
c local Search
c better result
o 2841
c local Search
c better result
o 2846
c local Search
c better result
o 2856
c local Search
c better result
o 2851
c local Search
c better result
o 2849
c local Search
c better result
o 2845
c local Search
c better result
o 2842
c local Search
c better result
o 2829
c local Search
c better result
o 2832
c local Search
c better result
o 2838
c local Search
c better result
o 2838
c local Search
c better result
o 2834
c local Search
c better result
o 2834
c local Search
c better result
o 2836
c local Search
c better result
o 2842
c local Search
c better result
o 2831
c local Search
c better result
o 2829
c local Search
c better result
o 2834
c local Search
c better result
o 2832
c local Search
c better result
o 2834
c local Search
c better result
o 2834
c local Search
c better result
o 2845
c local Search
c better result
o 2844
c local Search
c better result
o 2833
c local Search
c better result
o 2831
c local Search
c better result
o 2841
c local Search
c better result
o 2838
c local Search
c better result
o 2837
c local Search
c better result
o 2842
c local Search
c better result
o 2841
c local Search
c better result
o 2846
c local Search
c better result
o 2820
c local Search
c better result
o 2825
c local Search
c better result
o 2823
c local Search
c better result
o 2828
c local Search
c better result
o 2820
c local Search
c better result
o 2830
c local Search
c better result
o 2825
c local Search
c better result
o 2839
c local Search
c better result
o 2823
c local Search
c better result
o 2836
c local Search
c better result
o 2828
c local Search
c better result
o 2845
c local Search
c better result
o 2821
c local Search
c better result
o 2830
c local Search
c better result
o 2824
c local Search
c better result
o 2833
c local Search
c better result
o 2842
c local Search
c better result
o 2835
c local Search
c better result
o 2842
c local Search
c better result
o 2840
c local Search
c better result
o 2835
c local Search
c better result
o 2847
c local Search
c better result
o 2831
c local Search
c better result
o 2836
c local Search
c better result
o 2842
c local Search
c better result
o 2842
c local Search
c better result
o 2834
c local Search
c better result
o 2839
c local Search
c better result
o 2835
c local Search
c better result
o 2835
c local Search
c better result
o 2836
c local Search
c better result
o 2831
c local Search
c better result
o 2840
c local Search
c better result
o 2842
c local Search
c better result
o 5559
c local Search
c better result
o 5555
c local Search
c better result
o 5568
c local Search
c better result
o 2840
c local Search
c better result
o 2834
c local Search
c better result
o 2834
c local Search
c better result
o 2846
c local Search
c better result
o 2835
c local Search
c better result
o 2839
c local Search
c better result
o 2834
c local Search
c better result
o 2844
c local Search
c better result
o 2835
c local Search
c better result
o 5560
c local Search
c better result
o 5560
c local Search
c better result
o 5571
c local Search
c better result
o 2847
c local Search
c better result
o 5564
c local Search
c better result
o 5560
c local Search
c better result
o 5571
c local Search
c better result
o 2847
c local Search
c better result
o 2832
c local Search
c better result
o 2837
c local Search
c better result
o 2842
c local Search
c better result
o 2842
c local Search
c better result
o 2836
c local Search
c better result
o 2841
c local Search
c better result
o 2835
c local Search
c better result
o 2835
c local Search
c better result
o 2820
c local Search
c better result
o 2816
c local Search
c better result
o 5568
c local Search
c better result
o 2840
c local Search
c better result
o 2819
c local Search
c better result
o 2823
c local Search
c better result
o 5571
c local Search
c better result
o 2847
c local Search
c better result
o 2832
c local Search
c better result
o 2836
c local Search
c better result
o 2836
c local Search
c better result
o 2840
c local Search
c better result
o 2815
c local Search
c better result
o 2819
c local Search
c better result
o 2818
c local Search
c better result
o 2822
c local Search
c better result
o 2836
c local Search
c better result
o 2829
c local Search
c better result
o 2812
c local Search
c better result
o 2816
c local Search
c better result
o 2836
c local Search
c better result
o 2836
c local Search
c better result
o 2815
c local Search
c better result
o 2819
c local Search
c better result
o 2829
c local Search
c better result
o 2829
c local Search
c better result
o 2832
c local Search
c better result
o 2836
c local Search
c better result
o 2836
c local Search
c better result
o 2836
c local Search
c better result
o 2836
c local Search
c better result
o 2840
c local Search
c better result
o 2829
c local Search
c better result
o 2829
c local Search
c better result
o 2843
c local Search
c better result
o 2849
c local Search
c better result
o 2821
c local Search
c better result
o 2836
c local Search
c better result
o 2836
c local Search
c better result
o 2827
c local Search
c better result
o 2821
c local Search
c better result
o 2836
c local Search
c better result
o 2843
c local Search
c better result
o 2843
c local Search
c better result
o 2822
c local Search
c better result
o 2843
c local Search
c better result
o 2843
c local Search
c better result
o 2843
c local Search
c better result
o 2843
c local Search
c better result
o 2819
c local Search
c better result
o 2836
c local Search
c better result
o 2836
c local Search
c better result
o 2818
c local Search
c better result
o 2827
c local Search
c better result
o 2841
c local Search
c better result
o 2842
c local Search
c better result
o 2846
c local Search
c better result
o 2849
c local Search
c better result
o 2831
c local Search
c better result
o 2825
c local Search
c better result
o 2850
c local Search
c better result
o 2856
c local Search
c better result
o 2830
c local Search
c better result
o 2839
c local Search
c better result
o 2839
c local Search
c better result
o 2830
c local Search
c better result
o 2830
c local Search
c better result
o 2839
c local Search
c better result
o 2846
c local Search
c better result
o 2850
c local Search
c better result
o 2850
c local Search
c better result
o 2827
c local Search
c better result
o 2841
c local Search
c better result
o 2846
c local Search
c better result
o 2850
c local Search
c better result
o 2828
c local Search
c better result
o 2833
c local Search
c better result
o 2833
c local Search
c better result
o 2846
c local Search
c better result
o 2835
c local Search
c better result
o 2833
c local Search
c better result
o 2835
c local Search
c better result
o 2819
c local Search
c better result
o 2819
c local Search
c better result
o 2835
c local Search
c better result
o 2837
c local Search
c better result
o 2819
c local Search
c better result
o 2831
c local Search
c better result
o 2842
c local Search
c better result
o 2834
c local Search
c better result
o 2847
c local Search
c better result
o 2849
c local Search
c better result
o 2834
c local Search
c better result
o 2842
c local Search
c better result
o 2835
c local Search
c better result
o 2833
c local Search
c better result
o 2846
c local Search
c better result
o 2835
c local Search
c better result
o 2833
c local Search
c better result
o 2835
c local Search
c better result
o 2833
c local Search
c better result
o 2819
c local Search
c better result
o 2842
c local Search
c better result
o 2835
c local Search
c better result
o 2841
c local Search
c better result
o 2841
c local Search
c better result
o 2856
c local Search
c better result
o 2844
c local Search
c better result
o 2841
c local Search
c better result
o 2846
c local Search
c better result
o 2846
c local Search
c better result
o 2841
c local Search
c better result
o 2856
c local Search
c better result
o 2842
c local Search
c better result
o 2844
c local Search
c better result
o 2844
c local Search
c better result
o 2830
c local Search
c better result
o 2830
c local Search
c better result
o 2856
c local Search
c better result
o 2841
c local Search
c better result
o 2830
c local Search
c better result
o 2850
c local Search
c better result
o 2850
c local Search
c better result
o 2830
c local Search
c better result
o 2856
c local Search
c better result
o 2846
c local Search
c better result
o 2835
c local Search
c better result
o 2849
c local Search
c better result
o 2841
c local Search
c better result
o 2830
c local Search
c better result
o 2850
c local Search
c better result
o 2827
c local Search
c better result
o 2827
c local Search
c better result
o 2830
c local Search
c better result
o 2833
c local Search
c better result
o 2848
c local Search
c better result
o 2845
c local Search
c better result
o 2856
c local Search
c better result
o 2856
c local Search
c better result
o 2848
c local Search
c better result
o 2849
c local Search
c better result
o 2830
c local Search
c better result
o 2833
c local Search
c better result
o 2833
c local Search
c better result
o 2819
c local Search
c better result
o 2848
c local Search
c better result
o 2835
c local Search
c better result
o 2856
c local Search
c better result
o 2846
c local Search
c better result
o 2849
c local Search
c better result
o 2835
c local Search
c better result
o 2854
c local Search
c better result
o 2853
c local Search
c better result
o 2860
c local Search
c better result
o 2860
c local Search
c better result
o 2852
c local Search
c better result
o 2836
c local Search
c better result
o 2843
c local Search
c better result
o 2843
c local Search
c better result
o 2854
c local Search
c better result
o 2854
c local Search
c better result
o 2854
c local Search
c better result
o 2819
c local Search
c better result
o 2840
c local Search
c better result
o 2852
c local Search
c better result
o 2853
c local Search
c better result
o 2820
c local Search
c better result
o 2838
c local Search
c better result
o 2849
c local Search
c better result
o 2833
c local Search
c better result
o 2835
c local Search
c better result
o 2835
c local Search
c better result
o 2839
c local Search
c better result
o 2839
c local Search
c better result
o 2840
c local Search
c better result
o 2840
c local Search
c better result
o 2838
c local Search
c better result
o 2835
c local Search
c better result
o 2835
c local Search
c better result
o 2860
c local Search
c better result
o 2860
c local Search
c better result
o 2843
c local Search
c better result
o 2860
c local Search
c better result
o 2836
c local Search
c better result
o 2860
c local Search
c better result
o 2860
c local Search
c better result
o 2854
c local Search
c better result
o 2860
c local Search
c better result
o 2838
c local Search
c better result
o 2854
c local Search
c better result
o 2854
c local Search
c better result
o 2822
c local Search
c better result
o 2819
c local Search
c better result
o 2822
c local Search
c better result
o 2819
c local Search
c better result
o 2819
c local Search
c better result
o 2819
c local Search
c better result
o 2852
c local Search
c better result
o 2849
c local Search
c better result
o 2852
c local Search
c better result
o 2852
c local Search
c better result
o 2852
c local Search
c better result
o 2838
c local Search
c better result
o 2852
c local Search
c better result
o 2844
c local Search
c better result
o 2861
c local Search
c better result
o 2861
c local Search
c better result
o 2862
c local Search
c better result
o 2861
c local Search
c better result
o 2843
c local Search
c better result
o 2853
c local Search
c better result
o 2861
c local Search
c better result
o 2862
c local Search
c better result
o 2861
c local Search
c better result
o 2861
c local Search
c better result
o 2862
c local Search
c better result
o 2850
c local Search
c better result
o 2842
c local Search
c better result
o 2833
c local Search
c better result
o 2861
c local Search
c better result
o 2849
c local Search
c better result
o 2833
c local Search
c better result
o 2833
c local Search
c better result
o 2853
c local Search
c better result
o 2839
c local Search
c better result
o 2853
c local Search
c better result
o 2840
c local Search
c better result
o 2861
c local Search
c better result
o 2849
c local Search
c better result
o 2833
c local Search
c better result
o 2849
c local Search
c better result
o 2846
c local Search
c better result
o 2846
c local Search
c better result
o 2839
c local Search
c better result
o 2854
c local Search
c better result
o 2845
c local Search
c better result
o 2831
c local Search
c better result
o 2846
c local Search
c better result
o 2846
c local Search
c better result
o 2846
c local Search
c better result
o 2846
c local Search
c better result
o 2823
c local Search
c better result
o 2846
c local Search
c better result
o 2846
c local Search
c better result
o 2845
c local Search
c better result
o 2845
c local Search
c better result
o 2821
c local Search
c better result
o 2845
c local Search
c better result
o 2845
c local Search
c better result
o 2850
c local Search
c better result
o 2844
c local Search
c better result
o 2850
c local Search
c better result
o 2850
c local Search
c better result
o 2838
c local Search
c better result
o 2840
c local Search
c better result
o 2855
c local Search
c better result
o 2856
c local Search
c better result
o 2832
c local Search
c better result
o 2854
c local Search
c better result
o 2834
c local Search
c better result
o 2855
c local Search
c better result
o 2829
c local Search
c better result
o 2830
c local Search
c better result
o 2852
c local Search
c better result
o 2839
c local Search
c better result
o 2852
c local Search
c better result
o 2852
c local Search
c better result
o 2850
c local Search
c better result
o 2850
c local Search
c better result
o 2840
c local Search
c better result
o 2834
c local Search
c better result
o 2841
c local Search
c better result
o 2840
c local Search
c better result
o 2820
c local Search
c better result
o 2841
c local Search
c better result
o 2847
c local Search
c better result
o 2846
c local Search
c better result
o 2832
c local Search
c better result
o 2847
c local Search
c better result
o 2835
c local Search
c better result
o 2835
c local Search
c better result
o 2819
c local Search
c better result
o 2819
c local Search
c better result
o 5561
c local Search
c better result
o 5561
c local Search
c better result
o 2814
c local Search
c better result
o 2814
c local Search
c better result
o 2849
c local Search
c better result
o 2836
c local Search
c better result
o 2852
c local Search
c better result
o 2850
c local Search
c better result
o 2837
c local Search
c better result
o 2831
c local Search
c better result
o 2841
c local Search
c better result
o 2820
c local Search
c better result
o 2820
c local Search
c better result
o 2847
c local Search
c better result
o 2832
c local Search
c better result
o 2832
c local Search
c better result
o 2834
c local Search
c better result
o 2845
c local Search
c better result
o 2840
c local Search
c better result
o 2849
c local Search
c better result
o 2836
c local Search
c better result
o 2848
c local Search
c better result
o 2841
c local Search
c better result
o 2852
c local Search
c better result
o 2833
c local Search
c better result
o 2840
c local Search
c better result
o 2835
c local Search
c better result
o 2835
c local Search
c better result
o 2839
c local Search
c better result
o 2839
c local Search
c better result
o 2837
c local Search
c better result
o 2834
c local Search
c better result
o 2858
c local Search
c better result
o 2852
c local Search
c better result
o 2849
c local Search
c better result
o 2852
c local Search
c better result
o 2834
c local Search
c better result
o 2836
c local Search
c better result
o 2836
c local Search
c better result
o 2829
c local Search
c better result
o 2845
c local Search
c better result
o 2840
c local Search
c better result
o 2843
c local Search
c better result
o 2845
c local Search
c better result
o 2836
c local Search
c better result
o 2829
c local Search
c better result
o 2845
c local Search
c better result
o 2840
c local Search
c better result
o 2843
c local Search
c better result
o 2845
c local Search
c better result
o 2824
c local Search
c better result
o 2843
c local Search
c better result
o 2841
c local Search
c better result
o 2845
c local Search
c better result
o 2831
c local Search
c better result
o 2839
c local Search
c better result
o 2828
c local Search
c better result
o 2839
c local Search
c better result
o 2839
c local Search
c better result
o 2846
c local Search
c better result
o 2846
c local Search
c better result
o 2830
c local Search
c better result
o 2842
c local Search
c better result
o 2836
c local Search
c better result
o 2846
c local Search
c better result
o 2839
c local Search
c better result
o 2819
c local Search
c better result
o 2846
c local Search
c better result
o 2833
c local Search
c better result
o 2849
c local Search
c better result
o 2840
c local Search
c better result
o 2846
c local Search
c better result
o 2838
c local Search
c better result
o 2842
c local Search
c better result
o 2841
c local Search
c better result
o 2846
c local Search
c better result
o 2830
c local Search
c better result
o 2834
c local Search
c better result
o 2834
c local Search
c better result
o 2842
c local Search
c better result
o 2846
c local Search
c better result
o 2831
c local Search
c better result
o 2834
c local Search
c better result
o 2834
c local Search
c better result
o 2842
c local Search
c better result
o 2841
c local Search
c better result
o 2830
c local Search
c better result
o 2842
c local Search
c better result
o 2840
c local Search
c better result
o 2821
c local Search
c better result
o 2814
c local Search
c better result
o 2814
c local Search
c better result
o 2821
c local Search
c better result
o 2831
c local Search
c better result
o 2831
c local Search
c better result
o 2846
c local Search
c better result
o 2846
c local Search
c better result
o 2831
c local Search
c better result
o 2842
c local Search
c better result
o 2846
c local Search
c better result
o 2842
c local Search
c better result
o 2831
c local Search
c better result
o 2831
c local Search
c better result
o 2831
c local Search
c better result
o 2842
c local Search
c better result
o 2830
c local Search
c better result
o 2830
c local Search
c better result
o 2836
c local Search
c better result
o 2829
c local Search
c better result
o 2839
c local Search
c better result
o 2843
c local Search
c better result
o 2839
c local Search
c better result
o 2827
c local Search
c better result
o 2836
c local Search
c better result
o 2829
c local Search
c better result
o 2839
c local Search
c better result
o 2843
c local Search
c better result
o 2822
c local Search
c better result
o 2839
c local Search
c better result
o 2839
c local Search
c better result
o 2827
c local Search
c better result
o 2839
c local Search
c better result
o 2839
c local Search
c better result
o 2844
c local Search
c better result
o 2837
c local Search
c better result
o 2860
c local Search
c better result
o 2841
c local Search
c better result
o 2832
c local Search
c better result
o 2832
c local Search
c better result
o 2849
c local Search
c better result
o 2849
c local Search
c better result
o 2821
c local Search
c better result
o 2827
c local Search
c better result
o 2832
c local Search
c better result
o 2842
c local Search
c better result
o 2822
c local Search
c better result
o 2830
c local Search
c better result
o 2839
c local Search
c better result
o 2839
c local Search
c better result
o 2821
c local Search
c better result
o 2821
c local Search
c better result
o 2832
c local Search
c better result
o 2832
c local Search
c better result
o 2828
c local Search
c better result
o 2840
c local Search
c better result
o 2826
c local Search
c better result
o 2836
c local Search
c better result
o 2840
c local Search
c better result
o 2851
c local Search
c better result
o 2837
c local Search
c better result
o 2826
c local Search
c better result
o 2826
c local Search
c better result
o 2864
c local Search
c better result
o 2864
c local Search
c better result
o 2844
c local Search
c better result
o 2844
c local Search
c better result
o 2850
c local Search
c better result
o 2835
c local Search
c better result
o 2867
c local Search
c better result
o 2867
c local Search
c better result
o 2842
c local Search
c better result
o 2850
c local Search
c better result
o 2840
c local Search
c better result
o 2831
c local Search
c better result
o 2824
c local Search
c better result
o 2839
c local Search
c better result
o 2839
c local Search
c better result
o 2857
c local Search
c better result
o 2857
c local Search
c better result
o 2857
c local Search
c better result
o 2857
c local Search
c better result
o 2821
c local Search
c better result
o 2819
c local Search
c better result
o 2827
c local Search
c better result
o 2840
c local Search
c better result
o 2850
c local Search
c better result
o 2854
c local Search
c better result
o 2819
c local Search
c better result
o 2835
c local Search
c better result
o 2845
c local Search
c better result
o 2836
c local Search
c better result
o 2833
c local Search
c better result
o 2826
c local Search
c better result
o 2818
c local Search
c better result
o 2833
c local Search
c better result
o 2825
c local Search
c better result
o 2833
c local Search
c better result
o 2854
c local Search
c better result
o 2844
c local Search
c better result
o 2855
c local Search
c better result
o 2842
c local Search
c better result
o 2852
c local Search
c better result
o 2842
c local Search
c better result
o 2833
c local Search
c better result
o 2826
c local Search
c better result
o 2841
c local Search
c better result
o 2841
c local Search
c better result
o 2837
c local Search
c better result
o 2837
c local Search
c better result
o 2853
c local Search
c better result
o 2844
c local Search
c better result
o 2857
c local Search
c better result
o 2857
c local Search
c better result
o 2865
c local Search
c better result
o 2845
c local Search
c better result
o 2850
c local Search
c better result
o 2847
c local Search
c better result
o 2866
c local Search
c better result
o 2866
c local Search
c better result
o 2844
c local Search
c better result
o 2854
c local Search
c better result
o