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_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_3.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 500 2804
c WARNING: Ubcsat not found.
o 2804
c local Search
c better result
o 83
c local Search
c better result
o 66
c local Search
c better result
o 2853
c local Search
c better result
o 2853
c local Search
c better result
o 2864
c local Search
c better result
o 2853
c local Search
c better result
o 2853
c local Search
c better result
o 2860
c local Search
c better result
o 2859
c local Search
c better result
o 2865
c local Search
c better result
o 2867
c local Search
c better result
o 2867
c local Search
c better result
o 2859
c local Search
c better result
o 2861
c local Search
c better result
o 2861
c local Search
c better result
o 2867
c local Search
c better result
o 2867
c local Search
c better result
o 2851
c local Search
c better result
o 2853
c local Search
c better result
o 2851
c local Search
c better result
o 2853
c local Search
c better result
o 2859
c local Search
c better result
o 2859
c local Search
c better result
o 2870
c local Search
c better result
o 2866
c local Search
c better result
o 2870
c local Search
c better result
o 2861
c local Search
c better result
o 2861
c local Search
c better result
o 2861
c local Search
c better result
o 2861
c local Search
c better result
o 2872
c local Search
c better result
o 2872
c local Search
c better result
o 2852
c local Search
c better result
o 2852
c local Search
c better result
o 2860
c local Search
c better result
o 2860
c local Search
c better result
o 2860
c local Search
c better result
o 2858
c local Search
c better result
o 2860
c local Search
c better result
o 2856
c local Search
c better result
o 2860
c local Search
c better result
o 2856
c local Search
c better result
o 2860
c local Search
c better result
o 2862
c local Search
c better result
o 2891
c local Search
c better result
o 2885
c local Search
c better result
o 2887
c local Search
c better result
o 2878
c local Search
c better result
o 2878
c local Search
c better result
o 2882
c local Search
c better result
o 2882
c local Search
c better result
o 2878
c local Search
c better result
o 2878
c local Search
c better result
o 2876
c local Search
c better result
o 2878
c local Search
c better result
o 2873
c local Search
c better result
o 2875
c local Search
c better result
o 2879
c local Search
c better result
o 2879
c local Search
c better result
o 2880
c local Search
c better result
o 2880
c local Search
c better result
o 2885
c local Search
c better result
o 2891
c local Search
c better result
o 2886
c local Search
c better result
o 2892
c local Search
c better result
o 2882
c local Search
c better result
o 2885
c local Search
c better result
o 2876
c local Search
c better result
o 2886
c local Search
c better result
o 2885
c local Search
c better result
o 2883
c local Search
c better result
o 2884
c local Search
c better result
o 2884
c local Search
c better result
o 2890
c local Search
c better result
o 2890
c local Search
c better result
o 2882
c local Search
c better result
o 2882
c local Search
c better result
o 2884
c local Search
c better result
o 2884
c local Search
c better result
o 2892
c local Search
c better result
o 2889
c local Search
c better result
o 2883
c local Search
c better result
o 2884
c local Search
c better result
o 2890
c local Search
c better result
o 2891
c local Search
c better result
o 2878
c local Search
c better result
o 2884
c local Search
c better result
o 2878
c local Search
c better result
o 2885
c local Search
c better result
o 2885
c local Search
c better result
o 2883
c local Search
c better result
o 2883
c local Search
c better result
o 2894
c local Search
c better result
o 2885
c local Search
c better result
o 2889
c local Search
c better result
o 2874
c local Search
c better result
o 2880
c local Search
c better result
o 2867
c local Search
c better result
o 2884
c local Search
c better result
o 2877
c local Search
c better result
o 2884
c local Search
c better result
o 2880
c local Search
c better result
o 2887
c local Search
c better result
o 2884
c local Search
c better result
o 2884
c local Search
c better result
o 2881
c local Search
c better result
o 2880
c local Search
c better result
o 2875
c local Search
c better result
o 2890
c local Search
c better result
o 2880
c local Search
c better result
o 2886
c local Search
c better result
o 2876
c local Search
c better result
o 2874
c local Search
c better result
o 2871
c local Search
c better result
o 2874
c local Search
c better result
o 2876
c local Search
c better result
o 2845
c local Search
c better result
o 2879
c local Search
c better result
o 2871
c local Search
c better result
o 2871
c local Search
c better result
o 2875
c local Search
c better result
o 2875
c local Search
c better result
o 2878
c local Search
c better result
o 2878
c local Search
c better result
o 2889
c local Search
c better result
o 2887
c local Search
c better result
o 2878
c local Search
c better result
o 2875
c local Search
c better result
o 2878
c local Search
c better result
o 2886
c local Search
c better result
o 2879
c local Search
c better result
o 2889
c local Search
c better result
o 2875
c local Search
c better result
o 2877
c local Search
c better result
o 2879
c local Search
c better result
o 2874
c local Search
c better result
o 2872
c local Search
c better result
o 2870
c local Search
c better result
o 2877
c local Search
c better result
o 2870
c local Search
c better result
o 2884
c local Search
c better result
o 2887
c local Search
c better result
o 2883
c local Search
c better result
o 2886
c local Search
c better result
o 2884
c local Search
c better result
o 2878
c local Search
c better result
o 2884
c local Search
c better result
o 2886
c local Search
c better result
o 2891
c local Search
c better result
o 2879
c local Search
c better result
o 2880
c local Search
c better result
o 2878
c local Search
c better result
o 2884
c local Search
c better result
o 2867
c local Search
c better result
o 2869
c local Search
c better result
o 2869
c local Search
c better result
o 2884
c local Search
c better result
o 2879
c local Search
c better result
o 2888
c local Search
c better result
o 2877
c local Search
c better result
o 2879
c local Search
c better result
o 2879
c local Search
c better result
o 2886
c local Search
c better result
o 2880
c local Search
c better result
o 2877
c local Search
c better result
o 2874
c local Search
c better result
o 2882
c local Search
c better result
o 2875
c local Search
c better result
o 2880
c local Search
c better result
o 2876
c local Search
c better result
o 2877
c local Search
c better result
o 2875
c local Search
c better result
o 2876
c local Search
c better result
o 2876
c local Search
c better result
o 2879
c local Search
c better result
o 2877
c local Search
c better result
o 2873
c local Search
c better result
o 2873
c local Search
c better result
o 2877
c local Search
c better result
o 2877
c local Search
c better result
o 2878
c local Search
c better result
o 2880
c local Search
c better result
o 2881
c local Search
c better result
o 2875
c local Search
c better result
o 2878
c local Search
c better result
o 2878
c local Search
c better result
o 2886
c local Search
c better result
o 2887
c local Search
c better result
o 2888
c local Search
c better result
o 2877
c local Search
c better result
o 2880
c local Search
c better result
o 2880
c local Search
c better result
o 2878
c local Search
c better result
o 2880
c local Search
c better result
o 2881
c local Search
c better result
o 2886
c local Search
c better result
o 2887
c local Search
c better result
o 2888
c local Search
c better result
o 2878
c local Search
c better result
o 2878
c local Search
c better result
o 2880
c local Search
c better result
o 2880
c local Search
c better result
o 2881
c local Search
c better result
o 2877
c local Search
c better result
o 2878
c local Search
c better result
o 2877
c local Search
c better result
o 2883
c local Search
c better result
o 2880
c local Search
c better result
o 2882
c local Search
c better result
o 2884
c local Search
c better result
o 2878
c local Search
c better result
o 2882
c local Search
c better result
o 2884
c local Search
c better result
o 2885
c local Search
c better result
o 2882
c local Search
c better result
o 2882
c local Search
c better result
o 2884
c local Search
c better result
o 2882
c local Search
c better result
o 2888
c local Search
c better result
o 2882
c local Search
c better result
o 2884
c local Search
c better result
o 2882
c local Search
c better result
o 2882
c local Search
c better result
o 2882
c local Search
c better result
o 2879
c local Search
c better result
o 2879
c local Search
c better result
o 2879
c local Search
c better result
o 2881
c local Search
c better result
o 2880
c local Search
c better result
o 2882
c local Search
c better result
o 2881
c local Search
c better result
o 2881
c local Search
c better result
o 2881
c local Search
c better result
o 2893
c local Search
c better result
o 2887
c local Search
c better result
o 2892
c local Search
c better result
o 2887
c local Search
c better result
o 2885
c local Search
c better result
o 2884
c local Search
c better result
o 2884
c local Search
c better result
o 2884
c local Search
c better result
o 2884
c local Search
c better result
o 2886
c local Search
c better result
o 2885
c local Search
c better result
o 2890
c local Search
c better result
o 2886
c local Search
c better result
o 2885
c local Search
c better result
o 2886
c local Search
c better result
o 2886
c local Search
c better result
o 2886
c local Search
c better result
o 2886
c local Search
c better result
o 2890
c local Search
c better result
o 2890
c local Search
c better result
o 2887
c local Search
c better result
o 2888
c local Search
c better result
o 2889
c local Search
c better result
o 2893
c local Search
c better result
o 2893
c local Search
c better result
o 2897
c local Search
c better result
o 2897
c local Search
c better result
o 2890
c local Search
c better result
o 2891
c local Search
c better result
o 2897
c local Search
c better result
o 2894
c local Search
c better result
o 2891
c local Search
c better result
o 2892
c local Search
c better result
o 2892
c local Search
c better result
o 2893
c local Search
c better result
o 2895
c local Search
c better result
o 2896
c local Search
c better result
o 2878
c local Search
c better result
o 2875
c local Search
c better result
o 2878
c local Search
c better result
o 2886
c local Search
c better result
o 2879
c local Search
c better result
o 2889
c local Search
c better result
o 2875
c local Search
c better result
o 2877
c local Search
c better result
o 2884
c local Search
c better result
o 2891
c local Search
c better result
o 2886
c local Search
c better result
o 2864
c local Search
c better result
o 2862
c local Search
c better result
o 2867
c local Search
c better result
o 2878
c local Search
c better result
o 2879
c local Search
c better result
o 2870
c local Search
c better result
o 2884
c local Search
c better result
o 2889
c local Search
c better result
o 2885
c local Search
c better result
o 2864
c local Search
c better result
o 2861
c local Search
c better result
o 2867
c local Search
c better result
o 2878
c local Search
c better result
o 2879
c local Search
c better result
o 2870
c local Search
c better result
o 2876
c local Search
c better result
o 2873
c local Search
c better result
o 2876
c local Search
c better result
o 2873
c local Search
c better result
o 2872
c local Search
c better result
o 2870
c local Search
c better result
o 2877
c local Search
c better result
o 2870
c local Search
c better result
o 2883
c local Search
c better result
o 2876
c local Search
c better result
o 2873
c local Search
c better result
o 2873
c local Search
c better result
o 2880
c local Search
c better result
o 2876
c local Search
c better result
o 2878
c local Search
c better result
o 2883
c local Search
c better result
o 2876
c local Search
c better result
o 2876
c local Search
c better result
o 2881
c local Search
c better result
o 2880
c local Search
c better result
o 2879
c local Search
c better result
o 2877
c local Search
c better result
o 2881
c local Search
c better result
o 2877
c local Search
c better result
o 2879
c local Search
c better result
o 2877
c local Search
c better result
o 2876
c local Search
c better result
o 2874
c local Search
c better result
o 2872
c local Search
c better result
o 2873
c local Search
c better result
o 2870
c local Search
c better result
o 2872
c local Search
c better result
o 2872
c local Search
c better result
o 2874
c local Search
c better result
o 2872
c local Search
c better result
o 2873
c local Search
c better result
o 2880
c local Search
c better result
o 2883
c local Search
c better result
o 2881
c local Search
c better result
o 2886
c local Search
c better result
o 2883
c local Search
c better result
o 2875
c local Search
c better result
o 2867
c local Search
c better result
o 2876
c local Search
c better result
o 2879
c local Search
c better result
o 2877
c local Search
c better result
o 2860
c local Search
c better result
o 2860
c local Search
c better result
o 2860
c local Search
c better result
o 2879
c local Search
c better result
o 2882
c local Search
c better result
o 2880
c local Search
c better result
o 2875
c local Search
c better result
o 2870
c local Search
c better result
o 2873
c local Search
c better result
o 2874
c local Search
c better result
o 2884
c local Search
c better result
o 2885
c local Search
c better result
o 2886
c local Search
c better result
o 2884
c local Search
c better result
o 2885
c local Search
c better result
o 2887
c local Search
c better result
o 2884
c local Search
c better result
o 2883
c local Search
c better result
o 2878
c local Search
c better result
o 2876
c local Search
c better result
o 2875
c local Search
c better result
o 2883
c local Search
c better result
o 2882
c local Search
c better result
o 2874
c local Search
c better result
o 2871
c local Search
c better result
o 2871
c local Search
c better result
o 2874
c local Search
c better result
o 2866
c local Search
c better result
o 2881
c local Search
c better result
o 2879
c local Search
c better result
o 2871
c local Search
c better result
o 2879
c local Search
c better result
o 2871
c local Search
c better result
o 2861
c local Search
c better result
o 2878
c local Search
c better result
o 2877
c local Search
c better result
o 2876
c local Search
c better result
o 2874
c local Search
c better result
o 2881
c local Search
c better result
o 2878
c local Search
c better result
o 2881
c local Search
c better result
o 2878
c local Search
c better result
o 2881
c local Search
c better result
o 2881
c local Search
c better result
o 2888
c local Search
c better result
o 2888
c local Search
c better result
o 2885
c local Search
c better result
o 2885
c local Search
c better result
o 2888
c local Search
c better result
o 2888
c local Search
c better result
o 2881
c local Search
c better result
o 2881
c local Search
c better result
o 2885
c local Search
c better result
o 2878
c local Search
c better result
o 2879
c local Search
c better result
o 2878
c local Search
c better result
o 2877
c local Search
c better result
o 2889
c local Search
c better result
o 2888
c local Search
c better result
o 2890
c local Search
c better result
o 2889
c local Search
c better result
o 2890
c local Search
c better result
o 2893
c local Search
c better result
o 2889
c local Search
c better result
o 2890
c local Search
c better result
o 2889
c local Search
c better result
o 2887
c local Search
c better result
o 58
c local Search
c better result
o 2855
c local Search
c better result
o 2856
c local Search
c better result
o 2855
c local Search
c better result
o 2874
c local Search
c better result
o 2875
c local Search
c better result
o 2878
c local Search
c better result
o 2880
c local Search
c better result
o 2877
c local Search
c better result
o 2878
c local Search
c better result
o 2878
c local Search
c better result
o 2880
c local Search
c better result
o 2878
c local Search
c better result
o 2885
c local Search
c better result
o 2885
c local Search
c better result
o 2869
c local Search
c better result
o 2873
c local Search
c better result
o 2873
c local Search
c better result
o 2870
c local Search
c better result
o 2869
c local Search
c better result
o 2875
c local Search
c better result
o 2875
c local Search
c better result
o 2854
c local Search
c better result
o 2854
c local Search
c better result
o 2869
c local Search
c better result
o 2856
c local Search
c better result
o 2870
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 2882
c local Search
c better result
o 2874
c local Search
c better result
o 2867
c local Search
c better result
o 2867
c local Search
c better result
o 2868
c local Search
c better result
o 2859
c local Search
c better result
o 2859
c local Search
c better result
o 2859
c local Search
c better result
o 2869
c local Search
c better result
o 2860
c local Search
c better result
o 2860
c local Search
c better result
o 2860
c local Search
c better result
o 2876
c local Search
c better result
o 2858
c local Search
c better result
o 2875
c local Search
c better result
o 2861
c local Search
c better result
o 2854
c local Search
c better result
o 2857
c local Search
c better result
o 2866
c local Search
c better result
o 2871
c local Search
c better result
o 2867
c local Search
c better result
o 2859
c local Search
c better result
o 2859
c local Search
c better result
o 2868
c local Search
c better result
o 2868
c local Search
c better result
o 2873
c local Search
c better result
o 2880
c local Search
c better result
o 2880
c local Search
c better result
o 2854
c local Search
c better result
o 2854
c local Search
c better result
o 2867
c local Search
c better result
o 2858
c local Search
c better result
o 2856
c local Search
c better result
o 2856
c local Search
c better result
o 2868
c local Search
c better result
o 2859
c local Search
c better result
o 2859
c local Search
c better result
o 2859
c local Search
c better result
o 2857
c local Search
c better result
o 2867
c local Search
c better result
o 2863
c local Search
c better result
o 2858
c local Search
c better result
o 2864
c local Search
c better result
o 2859
c local Search
c better result
o 2856
c local Search
c better result
o 2857
c local Search
c better result
o 2865
c local Search
c better result
o 2865
c local Search
c better result
o 2867
c local Search
c better result
o 2867
c local Search
c better result
o 2865
c local Search
c better result
o 2873
c local Search
c better result
o 2862
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 2863
c local Search
c better result
o 2866
c local Search
c better result
o 2860
c local Search
c better result
o 2870
c local Search
c better result
o 2871
c local Search
c better result
o 2864
c local Search
c better result
o 2881
c local Search
c better result
o 2867
c local Search
c better result
o 2869
c local Search
c better result
o 2865
c local Search
c better result
o 2870
c local Search
c better result
o 2867
c local Search
c better result
o 2867
c local Search
c better result
o 2872
c local Search
c better result
o 2868
c local Search
c better result
o 2869
c local Search
c better result
o 2871
c local Search
c better result
o 2855
c local Search
c better result
o 2855
c local Search
c better result
o 2858
c local Search
c better result
o 2868
c local Search
c better result
o 2863
c local Search
c better result
o 2864
c local Search
c better result
o 2864
c local Search
c better result
o 2859
c local Search
c better result
o 2859
c local Search
c better result
o 2862
c local Search
c better result
o 2860
c local Search
c better result
o 2860
c local Search
c better result
o 2862
c local Search
c better result
o 2859
c local Search
c better result
o 2859
c local Search
c better result
o 2862
c local Search
c better result
o 2858
c local Search
c better result
o 2860
c local Search
c better result
o 2862
c local Search
c better result
o 2859
c local Search
c better result
o 2861
c local Search
c better result
o 2855
c local Search
c better result
o 2855
c local Search
c better result
o 2856
c local Search
c better result
o 2856
c local