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_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_3.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 700 3820
c WARNING: Ubcsat not found.
o 3820
c local Search
c better result
o 11641
c local Search
c better result
o 11626
c local Search
c better result
o 11669
c local Search
c better result
o 11629
c local Search
c better result
o 11669
c local Search
c better result
o 11624
c local Search
c better result
o 11616
c local Search
c better result
o 7823
c local Search
c better result
o 11645
c local Search
c better result
o 7826
c local Search
c better result
o 7824
c local Search
c better result
o 7824
c local Search
c better result
o 7815
c local Search
c better result
o 11663
c local Search
c better result
o 7796
c local Search
c better result
o 7796
c local Search
c better result
o 7818
c local Search
c better result
o 7822
c local Search
c better result
o 7791
c local Search
c better result
o 7790
c local Search
c better result
o 7825
c local Search
c better result
o 7825
c local Search
c better result
o 3992
c local Search
c better result
o 3992
c local Search
c better result
o 3945
c local Search
c better result
o 11639
c local Search
c better result
o 3960
c local Search
c better result
o 7803
c local Search
c better result
o 3968
c local Search
c better result
o 3960
c local Search
c better result
o 4000
c local Search
c better result
o 3981
c local Search
c better result
o 11677
c local Search
c better result
o 11666
c local Search
c better result
o 7824
c local Search
c better result
o 7831
c local Search
c better result
o 7824
c local Search
c better result
o 7831
c local Search
c better result
o 7828
c local Search
c better result
o 7828
c local Search
c better result
o 11647
c local Search
c better result
o 11663
c local Search
c better result
o 7796
c local Search
c better result
o 7796
c local Search
c better result
o 3991
c local Search
c better result
o 3951
c local Search
c better result
o 3951
c local Search
c better result
o 3986
c local Search
c better result
o 3998
c local Search
c better result
o 3998
c local Search
c better result
o 7822
c local Search
c better result
o 3960
c local Search
c better result
o 3965
c local Search
c better result
o 3960
c local Search
c better result
o 3960
c local Search
c better result
o 3960
c local Search
c better result
o 3968
c local Search
c better result
o 3974
c local Search
c better result
o 3957
c local Search
c better result
o 7771
c local Search
c better result
o 7771
c local Search
c better result
o 3941
c local Search
c better result
o 3942
c local Search
c better result
o 7799
c local Search
c better result
o 7803
c local Search
c better result
o 7767
c local Search
c better result
o 7771
c local Search
c better result
o 11647
c local Search
c better result
o 11647
c local Search
c better result
o 7793
c local Search
c better result
o 168
c local Search
c better result
o 3953
c local Search
c better result
o 3940
c local Search
c better result
o 3953
c local Search
c better result
o 3961
c local Search
c better result
o 3940
c local Search
c better result
o 3961
c local Search
c better result
o 3955
c local Search
c better result
o 7789
c local Search
c better result
o 7789
c local Search
c better result
o 3955
c local Search
c better result
o 3952
c local Search
c better result
o 7791
c local Search
c better result
o 7791
c local Search
c better result
o 3953
c local Search
c better result
o 3953
c local Search
c better result
o 3962
c local Search
c better result
o 3962
c local Search
c better result
o 3953
c local Search
c better result
o 3945
c local Search
c better result
o 3956
c local Search
c better result
o 3957
c local Search
c better result
o 3971
c local Search
c better result
o 3953
c local Search
c better result
o 3953
c local Search
c better result
o 3939
c local Search
c better result
o 3970
c local Search
c better result
o 3986
c local Search
c better result
o 3966
c local Search
c better result
o 7794
c local Search
c better result
o 7794
c local Search
c better result
o 3959
c local Search
c better result
o 3959
c local Search
c better result
o 3936
c local Search
c better result
o 3959
c local Search
c better result
o 3961
c local Search
c better result
o 3953
c local Search
c better result
o 3954
c local Search
c better result
o 3954
c local Search
c better result
o 3977
c local Search
c better result
o 3969
c local Search
c better result
o 3969
c local Search
c better result
o 7796
c local Search
c better result
o 3977
c local Search
c better result
o 3970
c local Search
c better result
o 3968
c local Search
c better result
o 3965
c local Search
c better result
o 3965
c local Search
c better result
o 3971
c local Search
c better result
o 3971
c local Search
c better result
o 7814
c local Search
c better result
o 7796
c local Search
c better result
o 7796
c local Search
c better result
o 7810
c local Search
c better result
o 3953
c local Search
c better result
o 3962
c local Search
c better result
o 3962
c local Search
c better result
o 3969
c local Search
c better result
o 3960
c local Search
c better result
o 7805
c local Search
c better result
o 3980
c local Search
c better result
o 7811
c local Search
c better result
o 3980
c local Search
c better result
o 3989
c local Search
c better result
o 3969
c local Search
c better result
o 3971
c local Search
c better result
o 3971
c local Search
c better result
o 3971
c local Search
c better result
o 7805
c local Search
c better result
o 3976
c local Search
c better result
o 7812
c local Search
c better result
o 3976
c local Search
c better result
o 3982
c local Search
c better result
o 3983
c local Search
c better result
o 7808
c local Search
c better result
o 7808
c local Search
c better result
o 7808
c local Search
c better result
o 7806
c local Search
c better result
o 3978
c local Search
c better result
o 3978
c local Search
c better result
o 3985
c local Search
c better result
o 3987
c local Search
c better result
o 3985
c local Search
c better result
o 3987
c local Search
c better result
o 3985
c local Search
c better result
o 3987
c local Search
c better result
o 3965
c local Search
c better result
o 3965
c local Search
c better result
o 3965
c local Search
c better result
o 3957
c local Search
c better result
o 3964
c local Search
c better result
o 3964
c local Search
c better result
o 3965
c local Search
c better result
o 3965
c local Search
c better result
o 3965
c local Search
c better result
o 3957
c local Search
c better result
o 3964
c local Search
c better result
o 3964
c local Search
c better result
o 3975
c local Search
c better result
o 3966
c local Search
c better result
o 3975
c local Search
c better result
o 3966
c local Search
c better result
o 3975
c local Search
c better result
o 3966
c local Search
c better result
o 3966
c local Search
c better result
o 3966
c local Search
c better result
o 3966
c local Search
c better result
o 3966
c local Search
c better result
o 7812
c local Search
c better result
o 7808
c local Search
c better result
o 7808
c local Search
c better result
o 3982
c local Search
c better result
o 3982
c local Search
c better result
o 3982
c local Search
c better result
o 3976
c local Search
c better result
o 3976
c local Search
c better result
o 3976
c local Search
c better result
o 3976
c local Search
c better result
o 7819
c local Search
c better result
o 7815
c local Search
c better result
o 7815
c local Search
c better result
o 3990
c local Search
c better result
o 7815
c local Search
c better result
o 7815
c local Search
c better result
o 3982
c local Search
c better result
o 3995
c local Search
c better result
o 4000
c local Search
c better result
o 3982
c local Search
c better result
o 3979
c local Search
c better result
o 3995
c local Search
c better result
o 3971
c local Search
c better result
o 3975
c local Search
c better result
o 3975
c local Search
c better result
o 3971
c local Search
c better result
o 3971
c local Search
c better result
o 3969
c local Search
c better result
o 3971
c local Search
c better result
o 3971
c local Search
c better result
o 3982
c local Search
c better result
o 3979
c local Search
c better result
o 3979
c local Search
c better result
o 3982
c local Search
c better result
o 3982
c local Search
c better result
o 3982
c local Search
c better result
o 3983
c local Search
c better result
o 3983
c local Search
c better result
o 3983
c local Search
c better result
o 3965
c local Search
c better result
o 3965
c local Search
c better result
o 3962
c local Search
c better result
o 3957
c local Search
c better result
o 3964
c local Search
c better result
o 3964
c local Search
c better result
o 3964
c local Search
c better result
o 130
c local Search
c better result
o 3933
c local Search
c better result
o 3933
c local Search
c better result
o 3967
c local Search
c better result
o 3959
c local Search
c better result
o 3943
c local Search
c better result
o 3967
c local Search
c better result
o 3961
c local Search
c better result
o 3943
c local Search
c better result
o 3967
c local Search
c better result
o 3961
c local Search
c better result
o 3961
c local Search
c better result
o 3961
c local Search
c better result
o 3940
c local Search
c better result
o 3956
c local Search
c better result
o 3943
c local Search
c better result
o 3935
c local Search
c better result
o 3943
c local Search
c better result
o 3943
c local Search
c better result
o 3944
c local Search
c better result
o 3939
c local Search
c better result
o 3949
c local Search
c better result
o 3945
c local Search
c better result
o 3964
c local Search
c better result
o 3970
c local Search
c better result
o 3951
c local Search
c better result
o 3970
c local Search
c better result
o 3978
c local Search
c better result
o 3976
c local Search
c better result
o 3964
c local Search
c better result
o 3967
c local Search
c better result
o 3950
c local Search
c better result
o 3943
c local Search
c better result
o 3965
c local Search
c better result
o 3967
c local Search
c better result
o 3924
c local Search
c better result
o 3941
c local Search
c better result
o 3967
c local Search
c better result
o 3959
c local Search
c better result
o 3943
c local Search
c better result
o 3967
c local Search
c better result
o 3935
c local Search
c better result
o 3959
c local Search
c better result
o 3961
c local Search
c better result
o 3949
c local Search
c better result
o 3975
c local Search
c better result
o 3975
c local Search
c better result
o 3945
c local Search
c better result
o 3940
c local Search
c better result
o 3970
c local Search
c better result
o 3970
c local Search
c better result
o 3974
c local Search
c better result
o 3975
c local Search
c better result
o 3939
c local Search
c better result
o 3961
c local Search
c better result
o 3947
c local Search
c better result
o 3933
c local Search
c better result
o 3937
c local Search
c better result
o 3942
c local Search
c better result
o 3933
c local Search
c better result
o 3933
c local Search
c better result
o 3931
c local Search
c better result
o 3958
c local Search
c better result
o 3954
c local Search
c better result
o 3945
c local Search
c better result
o 3935
c local Search
c better result
o 3934
c local Search
c better result
o 3939
c local Search
c better result
o 3940
c local Search
c better result
o 3929
c local Search
c better result
o 3947
c local Search
c better result
o 3937
c local Search
c better result
o 3958
c local Search
c better result
o 3934
c local Search
c better result
o 3933
c local Search
c better result
o 3930
c local Search
c better result
o 3935
c local Search
c better result
o 3945
c local Search
c better result
o 3947
c local Search
c better result
o 3947
c local Search
c better result
o 3933
c local Search
c better result
o 3958
c local Search
c better result
o 3931
c local Search
c better result
o 3948
c local Search
c better result
o 3947
c local Search
c better result
o 3934
c local Search
c better result
o 3953
c local Search
c better result
o 3959
c local Search
c better result
o 3967
c local Search
c better result
o 3932
c local Search
c better result
o 3957
c local Search
c better result
o 3933
c local Search
c better result
o 3936
c local Search
c better result
o 3939
c local Search
c better result
o 3929
c local Search
c better result
o 3967
c local Search
c better result
o 3957
c l