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_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_5.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 700 3755
c WARNING: Ubcsat not found.
o 3755
c local Search
c better result
o 7674
c local Search
c better result
o 7680
c local Search
c better result
o 3928
c local Search
c better result
o 3924
c local Search
c better result
o 7688
c local Search
c better result
o 7674
c local Search
c better result
o 3918
c local Search
c better result
o 7674
c local Search
c better result
o 7689
c local Search
c better result
o 7674
c local Search
c better result
o 7662
c local Search
c better result
o 3926
c local Search
c better result
o 3919
c local Search
c better result
o 3911
c local Search
c better result
o 7675
c local Search
c better result
o 3925
c local Search
c better result
o 7686
c local Search
c better result
o 3933
c local Search
c better result
o 7675
c local Search
c better result
o 7687
c local Search
c better result
o 7675
c local Search
c better result
o 7675
c local Search
c better result
o 7675
c local Search
c better result
o 7675
c local Search
c better result
o 3917
c local Search
c better result
o 3925
c local Search
c better result
o 7686
c local Search
c better result
o 3924
c local Search
c better result
o 3919
c local Search
c better result
o 3934
c local Search
c better result
o 3923
c local Search
c better result
o 3923
c local Search
c better result
o 7695
c local Search
c better result
o 7694
c local Search
c better result
o 3924
c local Search
c better result
o 3924
c local Search
c better result
o 3951
c local Search
c better result
o 3928
c local Search
c better result
o 7688
c local Search
c better result
o 7674
c local Search
c better result
o 7695
c local Search
c better result
o 7694
c local Search
c better result
o 3922
c local Search
c better result
o 3922
c local Search
c better result
o 3913
c local Search
c better result
o 3913
c local Search
c better result
o 3926
c local Search
c better result
o 3922
c local Search
c better result
o 3949
c local Search
c better result
o 3927
c local Search
c better result
o 7696
c local Search
c better result
o 7695
c local Search
c better result
o 3933
c local Search
c better result
o 7674
c local Search
c better result
o 3923
c local Search
c better result
o 3923
c local Search
c better result
o 3924
c local Search
c better result
o 3919
c local Search
c better result
o 3934
c local Search
c better result
o 3943
c local Search
c better result
o 3943
c local Search
c better result
o 3929
c local Search
c better result
o 3931
c local Search
c better result
o 3937
c local Search
c better result
o 3939
c local Search
c better result
o 3927
c local Search
c better result
o 3927
c local Search
c better result
o 3937
c local Search
c better result
o 7708
c local Search
c better result
o 7708
c local Search
c better result
o 7692
c local Search
c better result
o 7696
c local Search
c better result
o 7700
c local Search
c better result
o 7717
c local Search
c better result
o 7700
c local Search
c better result
o 7707
c local Search
c better result
o 7707
c local Search
c better result
o 3946
c local Search
c better result
o 3943
c local Search
c better result
o 3955
c local Search
c better result
o 7694
c local Search
c better result
o 3927
c local Search
c better result
o 3929
c local Search
c better result
o 3931
c local Search
c better result
o 3937
c local Search
c better result
o 7692
c local Search
c better result
o 7696
c local Search
c better result
o 7700
c local Search
c better result
o 7699
c local Search
c better result
o 3936
c local Search
c better result
o 3924
c local Search
c better result
o 3919
c local Search
c better result
o 3934
c local Search
c better result
o 3917
c local Search
c better result
o 7686
c local Search
c better result
o 3918
c local Search
c better result
o 7693
c local Search
c better result
o 7686
c local Search
c better result
o 11435
c local Search
c better result
o 7680
c local Search
c better result
o 11450
c local Search
c better result
o 11450
c local Search
c better result
o 11450
c local Search
c better result
o 7691
c local Search
c better result
o 7688
c local Search
c better result
o 7693
c local Search
c better result
o 7695
c local Search
c better result
o 7694
c local Search
c better result
o 7698
c local Search
c better result
o 7689
c local Search
c better result
o 7674
c local Search
c better result
o 3919
c local Search
c better result
o 3919
c local Search
c better result
o 3911
c local Search
c better result
o 3911
c local Search
c better result
o 7675
c local Search
c better result
o 3925
c local Search
c better result
o 7680
c local Search
c better result
o 7686
c local Search
c better result
o 7687
c local Search
c better result
o 7675
c local Search
c better result
o 3925
c local Search
c better result
o 7686
c local Search
c better result
o 7693
c local Search
c better result
o 7694
c local Search
c better result
o 7699
c local Search
c better result
o 7699
c local Search
c better result
o 7692
c local Search
c better result
o 7692
c local Search
c better result
o 7696
c local Search
c better result
o 7700
c local Search
c better result
o 7688
c local Search
c better result
o 3925
c local Search
c better result
o 7660
c local Search
c better result
o 3925
c local Search
c better result
o 7688
c local Search
c better result
o 11435
c local Search
c better result
o 11431
c local Search
c better result
o 11418
c local Search
c better result
o 7688
c local Search
c better result
o 7688
c local Search
c better result
o 11435
c local Search
c better result
o 7683
c local Search
c better result
o 3925
c local Search
c better result
o 7660
c local Search
c better result
o 7694
c local Search
c better result
o 7664
c local Search
c better result
o 7691
c local Search
c better result
o 11435
c local Search
c better result
o 7696
c local Search
c better result
o 7691
c local Search
c better result
o 11418
c local Search
c better result
o 11434
c local Search
c better result
o 7691
c local Search
c better result
o 7696
c local Search
c better result
o 7664
c local Search
c better result
o 11434
c local Search
c better result
o 3925
c local Search
c better result
o 7688
c local Search
c better result
o 7676
c local Search
c better result
o 11438
c local Search
c better result
o 7669
c local Search
c better result
o 7669
c local Search
c better result
o 7672
c local Search
c better result
o 7669
c local Search
c better result
o 3920
c local Search
c better result
o 3929
c local Search
c better result
o 3918
c local Search
c better result
o 7683
c local Search
c better result
o 3929
c local Search
c better result
o 7684
c local Search
c better result
o 7693
c local Search
c better result
o 3921
c local Search
c better result
o 3920
c local Search
c better result
o 7683
c local Search
c better result
o 7683
c local Search
c better result
o 3917
c local Search
c better result
o 3918
c local Search
c better result
o 3929
c local Search
c better result
o 3929
c local Search
c better result
o 3919
c local Search
c better result
o 3920
c local Search
c better result
o 7691
c local Search
c better result
o 7683
c local Search
c better result
o 7699
c local Search
c better result
o 7680
c local Search
c better result
o 3918
c local Search
c better result
o 7679
c local Search
c better result
o 3929
c local Search
c better result
o 3929
c local Search
c better result
o 3920
c local Search
c better result
o 3928
c local Search
c better result
o 3929
c local Search
c better result
o 3920
c local Search
c better result
o 7684
c local Search
c better result
o 3921
c local Search
c better result
o 3929
c local Search
c better result
o 7684
c local Search
c better result
o 3920
c local Search
c better result
o 3921
c local Search
c better result
o 3920
c local Search
c better result
o 3929
c local Search
c better result
o 3920
c local Search
c better result
o 3920
c local Search
c better result
o 3925
c local Search
c better result
o 3920
c local Search
c better result
o 3920
c local Search
c better result
o 3906
c local Search
c better result
o 3906
c local Search
c better result
o 3906
c local Search
c better result
o 7675
c local Search
c better result
o 7679
c local Search
c better result
o 7683
c local Search
c better result
o 7684
c local Search
c better result
o 7682
c local Search
c better result
o 7683
c local Search
c better result
o 7676
c local Search
c better result
o 7676
c local Search
c better result
o 7676
c local Search
c better result
o 7676
c local Search
c better result
o 7677
c local Search
c better result
o 3926
c local Search
c better result
o 7683
c local Search
c better result
o 3936
c local Search
c better result
o 7676
c local Search
c better result
o 7671
c local Search
c better result
o 7685
c local Search
c better result
o 7695
c local Search
c better result
o 7691
c local Search
c better result
o 7681
c local Search
c better result
o 7700
c local Search
c better result
o 7683
c local Search
c better result
o 7679
c local Search
c better result
o 7674
c local Search
c better result
o 7688
c local Search
c better result
o 7698
c local Search
c better result
o 7677
c local Search
c better result
o 7675
c local Search
c better result
o 7671
c local Search
c better result
o 7677
c local Search
c better result
o 3926
c local Search
c better result
o 3926
c local Search
c better result
o 7679
c local Search
c better result
o 7679
c local Search
c better result
o 3917
c local Search
c better result
o 3933
c local Search
c better result
o 3926
c local Search
c better result
o 7691
c local Search
c better result
o 3935
c local Search
c better result
o 11441
c local Search
c better result
o 11448
c local Search
c better result
o 7657
c local Search
c better result
o 11441
c local Search
c better result
o 7657
c local Search
c better result
o 11443
c local Search
c better result
o 7699
c local Search
c better result
o 7697
c local Search
c better result
o 7691
c local Search
c better result
o 11436
c local Search
c better result
o 7687
c local Search
c better result
o 7693
c local Search
c better result
o 11441
c local Search
c better result
o 7702
c local Search
c better result
o 3925
c local Search
c better result
o 7701
c local Search
c better result
o 3949
c local Search
c better result
o 7681
c local Search
c better result
o 3930
c local Search
c better result
o 3950
c local Search
c better result
o 7687
c local Search
c better result
o 3946
c local Search
c better result
o 7693
c local Search
c better result
o 3919
c local Search
c better result
o 7669
c local Search
c better result
o 3919
c local Search
c better result
o 7669
c local Search
c better result
o 3907
c local Search
c better result
o 3916
c local Search
c better result
o 3912
c local Search
c better result
o 3914
c local Search
c better result
o 11435
c local Search
c better result
o 11435
c local Search
c better result
o 7660
c local Search
c better result
o 7660
c local Search
c better result
o 11444
c local Search
c better result
o 11435
c local Search
c better result
o 11444
c local Search
c better result
o 7695
c local Search
c better result
o 3931
c local Search
c better result
o 7684
c local Search
c better result
o 7695
c local Search
c better result
o 7669
c local Search
c better result
o 7669
c local Search
c better result
o 7672
c local Search
c better result
o 7667
c local Search
c better result
o 7672
c local Search
c better result
o 3926
c local Search
c better result
o 3933
c local Search
c better result
o 3933
c local Search
c better result
o 3926
c local Search
c better result
o 3928
c local Search
c better result
o 3928
c local Search
c better result
o 3928
c local Search
c better result
o 3928
c local Search
c better result
o 3928
c local Search
c better result
o 7681
c local Search
c better result
o 7691
c local Search
c better result
o 7694
c local Search
c better result
o 7688
c local Search
c better result
o 7679
c local Search
c better result
o 7681
c local Search
c better result
o 7700
c local Search
c better result
o 7687
c local Search
c better result
o 7693
c local Search
c better result
o 7693
c local Search
c better result
o 3926
c local Search
c better result
o 3933
c local Search
c better result
o 7682
c local Search
c better result
o 3923
c local Search
c better result
o 7697
c local Search
c better result