Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_140v_s2v140c1200_7.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/140v/s2v140c1200_7.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 140 1200 0
c WARNING: Ubcsat not found.
o 6698
c local Search
c better result
o 864
c local Search
c better result
o 859
c local Search
c better result
o 859
c local Search
c better result
o 874
c local Search
c better result
o 874
c local Search
c better result
o 882
c local Search
c better result
o 889
c local Search
c better result
o 892
c local Search
c better result
o 880
c local Search
c better result
o 883
c local Search
c better result
o 874
c local Search
c better result
o 883
c local Search
c better result
o 886
c local Search
c better result
o 883
c local Search
c better result
o 886
c local Search
c better result
o 889
c local Search
c better result
o 880
c local Search
c better result
o 874
c local Search
c better result
o 882
c local Search
c better result
o 889
c local Search
c better result
o 886
c local Search
c better result
o 883
c local Search
c better result
o 883
c local Search
c better result
o 884
c local Search
c better result
o 894
c local Search
c better result
o 891
c local Search
c better result
o 891
c local Search
c better result
o 897
c local Search
c better result
o 880
c local Search
c better result
o 883
c local Search
c better result
o 877
c local Search
c better result
o 874
c local Search
c better result
o 883
c local Search
c better result
o 877
c local Search
c better result
o 874
c local Search
c better result
o 886
c local Search
c better result
o 894
c local Search
c better result
o 876
c local Search
c better result
o 886
c local Search
c better result
o 877
c local Search
c better result
o 889
c local Search
c better result
o 866
c local Search
c better result
o 880
c local Search
c better result
o 883
c local Search
c better result
o 884
c local Search
c better result
o 889
c local Search
c better result
o 887
c local Search
c better result
o 866
c local Search
c better result
o 877
c local Search
c better result
o 874
c local Search
c better result
o 877
c local Search
c better result
o 874
c local Search
c better result
o 877
c local Search
c better result
o 877
c local Search
c better result
o 863
c local Search
c better result
o 876
c local Search
c better result
o 876
c local Search
c better result
o 886
c local Search
c better result
o 886
c local Search
c better result
o 891
c local Search
c better result
o 876
c local Search
c better result
o 876
c local Search
c better result
o 889
c local Search
c better result
o 878
c local Search
c better result
o 864
c local Search
c better result
o 876
c local Search
c better result
o 869
c local Search
c better result
o 884
c local Search
c better result
o 897
c local Search
c better result
o 895
c local Search
c better result
o 896
c local Search
c better result
o 885
c local Search
c better result
o 897
c local Search
c better result
o 898
c local Search
c better result
o 887
c local Search
c better result
o 896
c local Search
c better result
o 903
c local Search
c better result
o 900
c local Search
c better result
o 911
c local Search
c better result
o 891
c local Search
c better result
o 884
c local Search
c better result
o 884
c local Search
c better result
o 887
c local Search
c better result
o 886
c local Search
c better result
o 899
c local Search
c better result
o 897
c local Search
c better result
o 895
c local Search
c better result
o 895
c local Search
c better result
o 896
c local Search
c better result
o 885
c local Search
c better result
o 884
c local Search
c better result
o 878
c local Search
c better result
o 896
c local Search
c better result
o 891
c local Search
c better result
o 907
c local Search
c better result
o 890
c local Search
c better result
o 898
c local Search
c better result
o 891
c local Search
c better result
o 898
c local Search
c better result
o 898
c local Search
c better result
o 898
c local Search
c better result
o 906
c local Search
c better result
o 898
c local Search
c better result
o 906
c local Search
c better result
o 898
c local Search
c better result
o 915
c local Search
c better result
o 914
c local Search
c better result
o 905
c local Search
c better resul