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_s2v140c1300_1.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/140v/s2v140c1300_1.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 140 1300 0
c WARNING: Ubcsat not found.
o 7194
c local Search
c better result
o 968
c local Search
c better result
o 965
c local Search
c better result
o 947
c local Search
c better result
o 962
c local Search
c better result
o 960
c local Search
c better result
o 972
c local Search
c better result
o 973
c local Search
c better result
o 966
c local Search
c better result
o 955
c local Search
c better result
o 959
c local Search
c better result
o 966
c local Search
c better result
o 966
c local Search
c better result
o 966
c local Search
c better result
o 957
c local Search
c better result
o 969
c local Search
c better result
o 967
c local Search
c better result
o 956
c local Search
c better result
o 968
c local Search
c better result
o 966
c local Search
c better result
o 954
c local Search
c better result
o 944
c local Search
c better result
o 960
c local Search
c better result
o 960
c local Search
c better result
o 947
c local Search
c better result
o 975
c local Search
c better result
o 975
c local Search
c better result
o 958
c local Search
c better result
o 947
c local Search
c better result
o 960
c local Search
c better result
o 971
c local Search
c better result
o 965
c local Search
c better result
o 960
c local Search
c better result
o 972
c local Search
c better result
o 974
c local Search
c better result
o 947
c local Search
c better result
o 972
c local Search
c better result
o 964
c local Search
c better result
o 964
c local Search
c better result
o 953
c local Search
c better result
o 958
c local Search
c better result
o 970
c local Search
c better result
o 938
c local Search
c better result
o 975
c local Search
c better result
o 974
c local Search
c better result
o 974
c local Search
c better result
o 963
c local Search
c better result
o 974
c local Search
c better result
o 952
c local Search
c better result
o 950
c local Search
c better result
o 963
c local Search
c better result
o 974
c local Search
c better result
o 950
c local Search
c better result
o 961
c local Search
c better result
o 977
c local Search
c better result
o 978
c local Search
c better result
o 956
c local Search
c better result
o 955
c local Search
c better result
o 963
c local Search
c better result
o 982
c local Search
c better result
o 957
c local Search
c better result
o 968
c local Search
c better result
o 963
c local Search
c better result
o 974
c local Search
c better result
o 952
c local Search
c better result
o 950
c local Search
c better result
o 959
c local Search
c better result
o 961
c local Search
c better result
o 963
c local Search
c better result
o 974
c local Search
c better result
o 950
c local Search
c better result
o 961
c local Search
c better result
o 977
c local Search
c better result
o 978
c local Search
c better result
o 956
c local Search
c better result
o 955
c local Search
c better result
o 957
c local Search
c better result
o 956
c local Search
c better result
o 963
c local Search
c better result
o 982
c local Search
c better result
o 957
c local Search
c better result
o 968
c local Search
c better result
o 963
c local Search
c better result
o 950
c local Search
c better result
o 963
c local Search
c better result
o 950
c local Search
c better result
o 974
c local Search
c better result
o 963
c local Search
c better result
o 974
c local Search
c better result
o 963
c local Search
c better result
o 963
c local Search
c better result
o 950
c local Search
c better result
o 981
c local Search
c better result
o 964
c local Search
c better result
o 952
c local Search
c better result
o 971
c local Search
c better result
o 974
c local Search
c better result
o 973
c local Search
c better result
o 976
c local Search
c better result
o 971
c local Search
c better result
o 982
c local Search
c better result
o 973
c local Search
c better result
o 989
c local Search
c better result
o 965
c local Search
c better result
o 978
c local Search
c better result
o 968
c local Search
c better result
o 976
c local Search
c better result
o 956
c local Search
c better result
o 969
c local Search
c better resul