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_hi_file_rwpms_wcnf_L3_V100_C700_H100_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_0.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 700 3789
c WARNING: Ubcsat not found.
o 3789
c local Search
c better result
o 182
c local Search
c better result
o 3958
c local Search
c better result
o 3958
c local Search
c better result
o 3977
c local Search
c better result
o 3967
c local Search
c better result
o 193
c local Search
c better result
o 3956
c local Search
c better result
o 187
c local Search
c better result
o 3958
c local Search
c better result
o 175
c local Search
c better result
o 3944
c local Search
c better result
o 3944
c local Search
c better result
o 3944
c local Search
c better result
o 3948
c local Search
c better result
o 178
c local Search
c better result
o 3956
c local Search
c better result
o 175
c local Search
c better result
o 3956
c local Search
c better result
o 176
c local Search
c better result
o 179
c local Search
c better result
o 3944
c local Search
c better result
o 3944
c local Search
c better result
o 3956
c local Search
c better result
o 3944
c local Search
c better result
o 3944
c local Search
c better result
o 3958
c local Search
c better result
o 3967
c local Search
c better result
o 3963
c local Search
c better result
o 3963
c local Search
c better result
o 3973
c local Search
c better result
o 3973
c local Search
c better result
o 3944
c local Search
c better result
o 3944
c local Search
c better result
o 3954
c local Search
c better result
o 3967
c local Search
c better result
o 3979
c local Search
c better result
o 3977
c local Search
c better result
o 3959
c local Search
c better result
o 3944
c local Search
c better result
o 3991
c local Search
c better result
o 3989
c local Search
c better result
o 4020
c local Search
c better result
o 3990
c local Search
c better result
o 3990
c local Search
c better result
o 3977
c local Search
c better result
o 3956
c local Search
c better result
o 3981
c local Search
c better result
o 3972
c local Search
c better result
o 3957
c local Search
c better result
o 3977
c local Search
c better result
o 3944
c local Search
c better result
o 3990
c local Search
c better result
o 3989
c local Search
c better result
o 3957
c local Search
c better result
o 3956
c local Search
c better result
o 184
c local Search
c better result
o 3944
c local Search
c better result
o 3945
c local Search
c better result
o 3956
c local Search
c better result
o 3958
c local Search
c better result
o 3958
c local Search
c better result
o 3963
c local Search
c better result
o 3964
c local Search
c better result
o 3990
c local Search
c better result
o 3983
c local Search
c better result
o 3979
c local Search
c better result
o 3963
c local Search
c better result
o 3990
c local Search
c better result
o 3984
c local Search
c better result
o 3961
c local Search
c better result
o 3945
c local Search
c better result
o 3996
c local Search
c better result
o 3996
c local Search
c better result
o 3996
c local Search
c better result
o 3977
c local Search
c better result
o 3983
c local Search
c better result
o 3990
c local Search
c better result
o 3975
c local Search
c better result
o 3984
c local Search
c better result
o 3990
c local Search
c better result
o 3962
c local Search
c better result
o 3963
c local Search
c better result
o 3979
c local Search
c better result
o 3959
c local Search
c better result
o 3944
c local Search
c better result
o 3945
c local Search
c better result
o 3956
c local Search
c better result
o 3972
c local Search
c better result
o 3976
c local Search
c better result
o 3944
c local Search
c better result
o 3990
c local Search
c better result
o 3956
c local Search
c better result
o 3966
c local Search
c better result
o 7762
c local Search
c better result
o 3950
c local Search
c better result
o 3990
c local Search
c better result
o 3979
c local Search
c better result
o 3996
c local Search
c better result
o 3997
c local Search
c better result
o 3996
c local Search
c better result
o 3997
c local Search
c better result
o 3992
c local Search
c better result
o 4004
c local Search
c better result
o 3987
c local Search
c better result
o 3993
c local Search
c better result
o 4007
c local Search
c better result
o 4001
c local Search
c better result
o 4007
c local Search
c better result
o 3996
c local Search
c better result
o 3997
c local Search
c better result
o 3996
c local Search
c better result
o 3997
c local Search
c better result
o 3995
c local Search
c better result
o 3978
c local Search
c better result
o 3976
c local Search
c better result
o 3956
c local Search
c better result
o 3944
c local Search
c better result
o 3983
c local Search
c better result
o 3963
c local Search
c better result
o 3974
c local Search
c better result
o 3962
c local Search
c better result
o 3986
c local Search
c better result
o 3977
c local Search
c better result
o 3962
c local Search
c better result
o 3980
c local Search
c better result
o 3976
c local Search
c better result
o 3956
c local Search
c better result
o 4003
c local Search
c better result
o 3995
c local Search
c better result
o 3986
c local Search
c better result
o 3996
c local Search
c better result
o 3990
c local Search
c better result
o 3964
c local Search
c better result
o 3981
c local Search
c better result
o 3964
c local Search
c better result
o 3983
c local Search
c better result
o 3974
c local Search
c better result
o 3956
c local Search
c better result
o 3956
c local Search
c better result
o 3966
c local Search
c better result
o 3996
c local Search
c better result
o 3981
c local Search
c better result
o 211
c local Search
c better result
o 3950
c local Search
c better result
o 3979
c local Search
c better result
o 3963
c local Search
c better result
o 3944
c local Search
c better result
o 3956
c local Search
c better result
o 3947
c local Search
c better result
o 3959
c local Search
c better result
o 3945
c local Search
c better result
o 3963
c local Search
c better result
o 3950
c local Search
c better result
o 3979
c local Search
c better result
o 3964
c local Search
c better result
o 3963
c local Search
c better result
o 3944
c local Search
c better result
o 3956
c local Search
c better result
o 3947
c local Search
c better result
o 3959
c local Search
c better result
o 3944
c local Search
c better result
o 3962
c local Search
c better result
o 3962
c local Search
c better result
o 3961
c local Search
c better result
o 3956
c local Search
c better result
o 3964
c local Search
c better result
o 3979
c local Search
c better result
o 3966
c local Search
c better result
o 3956
c local Search
c better result
o 3956
c local Search
c better result
o 3979
c local Search
c better result
o 3977
c local Search
c better result
o 3983
c local Search
c better result
o 3974
c local Search
c better result
o 3981
c local Search
c better result
o 3974
c local Search
c better result
o 3987
c local Search
c better result
o 3974
c local Search
c better result
o 3974
c local Search
c better result
o 3983
c local Search
c better result
o 3981
c local Search
c better result
o 4012
c local Search
c better result
o 4014
c local Search
c better result
o 4009
c local Search
c better result
o 3989
c local Search
c better result
o 4002
c local Search
c better result
o 3987
c local Search
c better result
o 4011
c local Search
c better result
o 3982
c local Search
c better result
o 3984
c local Search
c better result
o 3977
c local Search
c better result
o 3981
c local Search
c better result
o 3974
c local Search
c better result
o 3987
c local Search
c better result
o 4002
c local Search
c better result
o 3984
c local Search
c better result
o 3984
c local Search
c better result
o 3978
c local Search
c better result
o 3974
c local Search
c better result
o 4003
c local Search
c better result
o 3990
c local Search
c better result
o 3965
c local Search
c better result
o 3959
c local Search
c better result
o 3960
c local Search
c better result
o 3944
c local Search
c better result
o 3951
c local Search
c better result
o 3961
c local Search
c better result
o 3964
c local Search
c better result
o 3946
c local Search
c better result
o 3974
c local Search
c better result
o 3956
c local Search
c better result
o 3964
c local Search
c better result
o 3950
c local Search
c better result
o 39