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_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1000_H150_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_6.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 150 1000 5574
c WARNING: Ubcsat not found.
o 5574
c local Search
c better result
o 782
c local Search
c better result
o 763
c local Search
c better result
o 750
c local Search
c better result
o 750
c local Search
c better result
o 760
c local Search
c better result
o 750
c local Search
c better result
o 756
c local Search
c better result
o 756
c local Search
c better result
o 761
c local Search
c better result
o 760
c local Search
c better result
o 760
c local Search
c better result
o 762
c local Search
c better result
o 736
c local Search
c better result
o 723
c local Search
c better result
o 730
c local Search
c better result
o 735
c local Search
c better result
o 726
c local Search
c better result
o 731
c local Search
c better result
o 723
c local Search
c better result
o 736
c local Search
c better result
o 724
c local Search
c better result
o 737
c local Search
c better result
o 728
c local Search
c better result
o 741
c local Search
c better result
o 734
c local Search
c better result
o 739
c local Search
c better result
o 728
c local Search
c better result
o 741
c local Search
c better result
o 729
c local Search
c better result
o 742
c local Search
c better result
o 738
c local Search
c better result
o 743
c local Search
c better result
o 731
c local Search
c better result
o 725
c local Search
c better result
o 726
c local Search
c better result
o 730
c local Search
c better result
o 731
c local Search
c better result
o 731
c local Search
c better result
o 732
c local Search
c better result
o 736
c local Search
c better result
o 737
c local Search
c better result
o 733
c local Search
c better result
o 734
c local Search
c better result
o 738
c local Search
c better result
o 739
c local Search
c better result
o 736
c local Search
c better result
o 737
c local Search
c better result
o 741
c local Search
c better result
o 742
c local Search
c better result
o 734
c local Search
c better result
o 728
c local Search
c better result
o 732
c local Search
c better result
o 730
c local Search
c better result
o 736
c local Search
c better result
o 736
c local Search
c better result
o 746
c local Search
c better result
o 744
c local Search
o 730
c local Search
c better result
o 735
c local Search
c better result
o 741
c local Search
c better result
o 748
c local Search
c better result
o 748
c local Search
o 734
c local Search
c better result
o 752
c local Search
o 734
c local Search
c better result
o 737
c local Search
c better result
o 743
c local Search
c better result
o 728
c local Search
c better result
o 728
c local Search
c better result
o 732
c local Search
c better result
o 736
c local Search
o 727
c local Search
c better result
o 736
c local Search
c better result
o 740
c local Search
c better result
o 735
c local Search
c better result
o 739
c local Search
c better result
o 750
c local Search
o 737
c local Search
c better result
o 740
c local Search
c better result
o 744
c local Search
c better result
o 755
c local Search
o 742
c local Search
c better result
o 728
c local Search
c better result
o 740
c local Search
c better result
o 744
c local Search
c better result
o 728
c local Search
c better result
o 742
c local Search
c better result
o 743
c local Search
c better result
o 743
c local Search
c better result
o 744
c local Search
c better result
o 744
c local Search
c better result
o 740
c local Search
c better result
o 743
c local Search
c better result
o 744
c local Search
c better result
o 743
c local Search
c better result
o 744
c local Search
c better result
o 744
c local Search
c better result
o 743
c local Search
c better result
o 748
c local Search
c better result
o 749
c local Search
c better result
o 748
c local Search
c better result
o 750
c local Search
c better result
o 749
c local Search
c better result
o 748
c local Search
c better result
o 750
c local Search
c better result
o 759
c local Search
c better result
o 748
c local Search
c better result
o 752
c local Search
c better result
o 751
c local Search
c better result
o 755
c local Search
c better result
o 760
c local Search
c better result
o 760
c local Search
c better result
o 765
c local Search
c better result
o 755
c local Search
c better result
o 760
c local Search
c better result
o 763
c local Search
c better result
o 763
c local Search
c better result
o 739
c local Search
c better result
o 740
c local Search
c better result
o 746
c local Search
c better result
o 747
c local Search
c better result
o 749
c local Search
c better result
o 750
c local Search
c better result
o 747
c local Search
c better result
o 748
c local Search
c better result
o 751
c local Search
c better result
o 752
c local Search
c better result
o 752
c local Search
c better result
o 753
c local Search
c better result
o 748
c local Search
c better result
o 724
c local Search
c better result
o 723
c local Search
c better result
o 720
c local Search
c better result
o 724
c local Search
c better result
o 728
c local Search
c better result
o 729
c local Search
c better result
o 732
c local Search
c better result
o 731
c local Search
c better result
o 735
c local Search
c better result
o 740
c local Search
c better result
o 740
c local Search
c better result
o 745
c local Search
c better result
o 719
c local Search
c better result
o 720
c local Search
c better result
o 726
c local Search
c better result
o 727
c local Search
c better result
o 727
c local Search
c better result
o 728
c local Search
c better result
o 731
c local Search
c better result
o 732
c local Search
c better result
o 728
c local Search
c better result
o 724
c local Search
c better result
o 719
c local Search
c better result
o 726
c local Search
c better result
o 728
c local Search
c better result
o 725
c local Search
c better result
o 727
c local Search
c better result
o 727
c local Search
c better result
o 727
c local Search
c better result
o 731
c local Search
c better result
o 731
c local Search
c better result
o 725
c local Search
c better result
o 739
c local Search
c better result
o 725
c local Search
c better result
o 733
c local Search
c better result
o 733
c local Search
c better result
o 748
c local Search
c better result
o 748
c local Search
c better result
o 725
c local Search
c better result
o 725
c local Search
c better result
o 732
c local Search
c better result
o 732
c local Search
c better result
o 739
c local Search
c better result
o 746
c local Search
c better result
o 725
c local Search
c better result
o 733
c local Search
c better result
o 733
c local Search
c better result
o 738
c local Search
c better result
o 732
c local Search
c better result
o 742
c local Search
c better result
o 744
c local Search
c better result
o 741
c local Search
c better result
o 743
c local Search
c better result
o 746
c local Search
c better result
o 748
c local Search
c better result
o 746
c local Search
c better result
o 748
c local Search
c better result
o 750
c local Search
c better result
o 752
c local Search
c better result
o 749
c local Search
c better result
o 751
c local Search
c better result
o 753
c local Search
c better result
o 758
c local Search
c better result
o 755
c local Search
c better result
o 760
c local Search
c better result
o 753
c local Search
o 739
c local Search
c better result
o 737
c local Search
c better result
o 739
c local Search
c better result
o 744
c local Search
c better result
o 746
c local Search
c better result
o 747
c local Search
c better result
o 749
c local Search
c better result
o 745
c local Search
c better result
o 747
c local Search
c better result
o 749
c local Search
c better result
o 751
c local Search
c better result
o 750
c local Search
c better result
o 752
c local Search
c better result
o 745
c local Search
c better result
o 740
c local Search
c better result
o 752
c local Search
c better result
o 740
c local Search
o 733
c local Search
c better result
o 740
c local Search
o 721
c local Search
c better result
o 730
c local Search
c better result
o 735
c local Search
c better result
o 723
c local Search
c better result
o 736
c local Search
c better result
o 724
c local Search
c better result
o 729
c local Search
c better result
o 734
c local Sea