Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-pms_crafted-_home_maxsat_benchmarks_pms_crafted_MAXONE_3SAT_cnf3.150.600.372692.cnf.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/MAXONE/3SAT/cnf3.150.600.372692.cnf.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 150 750 750
c WARNING: Ubcsat not found.
o 750
c local Search
o 66
c local Search
o 60
c local Search
o 58
c local Search
o 57
c local Search
o 56
c local Search
c better result
o 2299
c local Search
c better result
o 3048
c local Search
c better result
o 2299
c local Search
c better result
o 3048
c local Search
c better result
o 2299
c local Search
c better result
o 3048
c local Search
c better result
o 2299
c local Search
c better result
o 3048
c local Search
c better result
o 1550
c local Search
c better result
o 1550
ERROR: Solution verification fails, real_empty = 799, NB_EMPTY = 1549.
c local Search
c better result
o 3047
ERROR: Solution verification fails, real_empty = 799, NB_EMPTY = 1549.
c local Search
c better result
o 3047
c local Search
c better result
o 3803
c local Search
c better result
o 3050
c local Search
c better result
o 3804
c local Search
c better result
o 3050
c local Search
c better result
o 3050
c local Search
c better result
o 3050
c local Search
c better result
o 3803
c local Search
c better result
o 3050
c local Search
c better result
o 3803
c local Search
c better result
o 3802
c local Search
o 2303
c local Search
c better result
o 3804
c local Search
c better result
o 3050
c local Search
o 1556
c local Search
c better result
o 3050
c local Search
c better result
o 3050
c local Search
o 1555
c local Search
c better result
o 3048
c local Search
c better result
o 3052
c local Search
c better result
o 3800
c local Search
c better result
o 3051
c local Search
c better result
o 3049
c local Search
c better result
o 3049
c local Search
c better result
o 3050
c local Search
c better result
o 3801
c local Search
c better result
o 3054
c local Search
c better result
o 3053
c local Search
c better result
o 3052
c local Search
c better result
o 3797
c local Search
c better result
o 3797
c local Search
c better result
o 3800
c local Search
c better result
o 4549
c local Search
c better result
o 3799
c local Search
c better result
o 3798
c local Search
c better result
o 3798
c local Search
c better result
o 3798
c local Search
c better result
o 4550
c local Search
c better result
o 3801
c local Search
c better result
o 3801
c local Search
c better result
o 3800
c local Search
c better result
o 3050
c local Search
c better result
o 3801
c local Search
c better result
o 4550
c local Search
c better result
o 3050
c local Search
c better result
o 3802
c local Search
c better result
o 3802
c local Search
c better result
o 3050
c local Search
c better result
o 3801
c local Search
c better result
o 3802
c local Search
c better result
o 4550
c local Search
c better result
o 3050
c local Search
c better result
o 2301
c local Search
c better result
o 3052
c local Search
c better result
o 3053
c local Search
c better result
o 3053
c local Search
c better result
o 2301
c local Search
c better result
o 3052
c local Search
c better result
o 3053
c local Search
c better result
o 3801
c local Search
c better result
o 4553
c local Search
c better result
o 3801
c local Search
c better result
o 3054
c local Search
c better result
o 3806
c local Search
c better result
o 3054
c local Search
c better result
o 3803
c local Search
c better result
o 3803
c local Search
c better result
o 3050
c local Search
c better result
o 3802
c local Search
c better result
o 3802
c local Search
c better result
o 3801
c local Search
c better result
o 2301
c local Search
c better result
o 3053
c local Search
c better result
o 3053
c local Search
c better result
o 3052
c local Search
c better result
o 4549
c local Search
c better result
o 4552
c local Search
c better result
o 4550
c local Search
c better result
o 3802
c local Search
c better result
o 4554
c local Search
c better result
o 3802
c local Search
c better result
o 4551
c local Search
c better result
o 4551
c local Search
c better result
o 3800
c local Search
c better result
o 3802
c local Search
c better result
o 4550
c local Search
c better result
o 3800
c local Search
c better result
o 3803
c local Search
c better result
o 3803
c local Search
c better result