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.372700.cnf.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/MAXONE/3SAT/cnf3.150.600.372700.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
c better result
o 3071
c local Search
c better result
o 3071
c local Search
c better result
o 6063
c local Search
c better result
o 5310
c local Search
c better result
o 6063
c local Search
c better result
o 5309
c local Search
c better result
o 6811
c local Search
c better result
o 6059
c local Search
c better result
o 6811
c local Search
c better result
o 6058
c local Search
c better result
o 6066
c local Search
c better result
o 5314
c local Search
c better result
o 6066
c local Search
c better result
o 5313
c local Search
c better result
o 6067
c local Search
c better result
o 5315
c local Search
c better result
o 6067
c local Search
c better result
o 5315
c local Search
c better result
o 6065
c local Search
c better result
o 5312
c local Search
c better result
o 6064
c local Search
c better result
o 5311
c local Search
c better result
o 6065
c local Search
c better result
o 5312
c local Search
c better result
o 6064
c local Search
c better result
o 5311
c local Search
c better result
o 6813
c local Search
c better result
o 6061
c local Search
c better result
o 6812
c local Search
c better result
o 6060
c local Search
c better result
o 6813
c local Search
c better result
o 6061
c local Search
c better result
o 6812
c local Search
c better result
o 6060
c local Search
c better result
o 6068
c local Search
c better result
o 5316
c local Search
c better result
o 6067
c local Search
c better result
o 5315
c local Search
c better result
o 6068
c local Search
c better result
o 5316
c local Search
c better result
o 6067
c local Search
c better result
o 5315
c local Search
c better result
o 6069
c local Search
c better result
o 5317
c local Search
c better result
o 6068
c local Search
c better result
o 5316
c local Search
c better result
o 6069
c local Search
c better result
o 5317
c local Search
c better result
o 6068
c local Search
c better result
o 5316
c local Search
c better result
o 6063
c local Search
c better result
o 5310
c local Search
c better result
o 6066
c local Search
c better result
o 5313
c local Search
c better result
o 6065
c local Search
c better result
o 5312
c local Search
c better result
o 6064
c local Search
c better result
o 5311
c local Search
c better result
o 6068
c local Search
c better result
o 5315
c local Search
c better result
o 6067
c local Search
c better result
o 5314
c local Search
c better result
o 6063
c local Search
c better result
o 5309
c local Search
c better result
o 6813
c local Search
c better result
o 6059
c local Search
c better result
o 6067
c local Search
c better result
o 5315
c local Search
c better result
o 6070
c local Search
c better result
o 5316
c local Search
c better result
o 6065
c local Search
c better result
o 5312
c local Search
c better result
o 6064
c local Search
c better result
o 5311
c local Search
c better result
o 6815
c local Search
c better result
o 6062
c local Search
c better result
o 6814
c local Search
c better result
o 6061
c local Search
c better result
o 6069
c local Search
c better result
o 5317
c local Search
c better result
o 6068
c local Search
c better result
o 5316
c local Search
c better result
o 6072
c local Search
c better result
o 5318
c local Search
c better result
o 6071
c local Search
c better result
o 5317
c local Search
c better result
o 5309
c local Search
c better result
o 5312
c local Search
c better result
o 5312
c local Search
c better result
o 5311
c local Search
c better result
o 5313
c local Search
c better result
o 5312
c local Search
c better result
o 5313
c local Search
c better result
o 5315
c local Search
c better result
o 6058
c local Search
c better result
o 5317
c local Search
c better result
o 5315
c local Search
c better result
o 6060
c local Search
c better result
o 6063
c local Search
c better result
o 5316
c local Search
c better result
o 5317
c local Search
c better result
o 5315
c local Search
c better result
o 5316
c local Search
c better result
o 5318
c local Search
c better result
o 5317
c local Search
c better result
o 6061
c local Search
c better result
o 6060
c local Search
c better result
o 6064
c local Search
c better result
o 6063
c local Search
c better result
o 6806
c local Search
c better result
o 6062
c local Search
c better result
o 6063
c local Search
c better result
o 5316
c local Search
c better result
o 5308
c local Search
c better result
o 6058
c local Search
c better result
o 5316
c local Search
c better result
o 5315
c local Search
c better result
o 6065
c local Search
c better result
o 6064
c local Search
c better result
o 5318
c local Search
c better result
o 5317
c local Search
c better result
o 6059
c local Search
c better result
o 5314
c local Search
c better result
o 5310
c local Search
c better result
o 6060
c local Search
c better result
o 5316
c local Search
c better result
o 5315
c local Search
c better result
o 6064
c local Search
c better result
o 5310
c local Search
c better result
o 6064
c local Search
c better result
o 5309
c local Search
c better result
o 6064
c local Search
c better result
o 5310
c local Search
c better result
o 6064
c local Search
c better result
o 5309
c local Search
c better result
o 6066
c local Search
c better result
o 5312
c local Search
c better result
o 6065
c local Search
c better result
o 5311
c local Search
c better result
o 6066
c local Search
c better result
o 5312
c local Search
c better result
o 6065
c local Search
c better result
o 5311
c local Search
c better result
o 6066
c local Search
c better result
o 5312
c local Search
c better result
o 6065
c local Search
c better result
o 5311
c local Search
c better result
o 6066
c local Search
c better result
o 5312
c local Search
c better result
o 6065
c local Search
c better result
o 5311
c local Search
c better result
o 6064
c local Search
c better result
o 5310
c local Search
c better result
o 6064
c local Search
c better result
o 5310
c local Search
c better result
o 6067
c local Search
c better result
o 5313
c local Search
c better result
o 6067
c local Search
c better result
o 5313
c local Search
c better result
o 6066
c local Search
c better result
o 5312
c local Search
c better result
o 6066
c local Search
c better result
o 5312
c local Search
c better result
o 6065
c local Search
c better result
o 5311
c local Search
c better result
o 6065
c local Search
c better result
o 5311
c local Search
c better result
o 6069
c local Search
c better result
o 5315
c local Search
c better result
o 6069
c local Search
c better result
o 5315
c local Search
c better result
o 6068
c local Search
c better result
o 5314
c local Search
c better result
o 6068
c local Search
c better result
o 5314
c local Search
c better result
o 6814
c local Search
c better result
o 6059
c local Search
c better result
o 6814
c local Search
c better result
o 6059
c local Search
c better result
o 6814
c local Search
c better result
o 6059
c local Search
c better result
o 6814
c local Search
c better result
o 6059
c local Search
c better result
o 6066
c local Search
c better result
o 5313
c local Search
c better result
o 6068
c local Search
c better result
o 5316
c local Search
c better result
o 6816
c local Search
c better result
o 6062
c local Search
c better result
o 6071
c local Search
c better result
o 5317
c local Search
c better result
o 6816
c local Search
c better result
o 6062
c local Search
c better result
o 6816
c local Search
c better result
o 6062
c local Search
c better result
o 6815
c local Search
c better result
o 6061
c local Search
c better result
o 6815
c local Search
c better result
o 6061
c local Search
c better result
o 6816
c local Search
c better result
o 6062
c local Search
c better result
o 6816
c local Search
c better result
o 6062
c local Search
c better result
o 6815
c local Search
c better result
o 6061
c local Search
c better result
o 6815
c local Search
c better result
o 6061
c local Search
c better result
o 6068
c local Search
c better result
o 5316
c local Search
c better result
o 6070
c local Search
c better result
o 5318
c local Search
c better result
o 6067
c local Search
c better result
o 5315
c local Search
c better result
o 6069
c local Search
c better result
o 5317
c local Search
c better result
o 6818
c local Search
c better result
o 6065
c local Search
c better result
o 6073
c local Search
c better result
o 5319
c local Search
c better result
o 6817
c local Search
c better result
o 6064
c local Search
c better result
o 6072
c local Search
c better result
o 5318
c local Search
c better result
o 5309
c local Search
c better result
o 5309
c local Search
c better result
o 4563
c local Search
c better result
o 5312
c local Search
c better result
o 5312
c local Search
c better result
o 5312
c local Search
c better result
o 5311
c local Search
c better result
o 5311
c local Search
c better result
o 4564
c local Search
c better result
o 5313
c local Search
c better result
o 4563
c local Search
c better result
o 5312
c local Search
c better result
o 5310
c local Search
c better result
o 6059
c local Search
c better result
o 4565
c local Search
c better result
o 5314
c local Search
c better result
o 4561
c local Search
c better result
o 5310
c local Search
c better result
o 5311
c local Search
c better result
o 6060
c local Search
c better result
o 4567
c local Search
c better result
o 5316
c local Search
c better result
o 4566
c local Search
c better result
o 5315
c local Search
c better result
o 5313
c local Search
c better result
o 6062
c local Search
c better result
o 5313
c local Search
c better result
o 6064
c local Search
c better result
o 6064
c local Search
c better result
o 5317
c local Search
c better result
o 5317
c local Search
c better result
o 4567
c local Search
c better result
o 5319
c local Search
c better result
o 5319
c local Search
c better result
o 5318
c local Search
c better result
o 5318
c local Search
c better result
o 5319
c local Search
c better result
o 5319
c local Search
c better result
o 5318
c local Search
c better result
o 5318
c local Search
c better result
o 5309
c local Search
c better result
o 5309
c local Search
c better result
o 5313
c local Search
c better result
o 5312
c local Search
c better result
o 4563
c local Search
c better result
o 4567
c local Search
c better result
o 5318
c local Search
c better result
o 5312
c local Search
c better result
o 5312
c local Search
c better result
o 5311
c local Search
c better result
o 5311
c local Search
c better result
o 4564
c local Search
c better result
o 5316
c local Search
c better result
o 5315
c local Search
c better result
o 5315
c local Search
c better result
o 5314
c local Search
c better result
o 4568
c local Search
c better result
o 5319
c local Search
c better result
o 4567
c local Search
c better result
o 5318
c local Search
c better result
o 6064
c local Search
c better result
o 6064
c local Search
c better result
o 6066
c local Search
c better result
o 6066
c local Search
c better result
o 6064
c local Search
c better result
o 6068
c local Search
c better result
o 6812
c local Search
c better result
o 6066
c local Search
c better result
o 6069
c local Search
c better result
o 6814
c local Search
c better result
o 6067
c local Search
c better result
o 6066
c local Search
c better result
o 6067
c local Search
c better result
o 6066
c local Search
c better result
o 6068
c local Search
c better result
o 6067
c local Search
c better result
o 6068
c local Search
c better result
o 6067
c local Search
c better result
o 6067
c local Search
c better result
o 6066
c local Search
c better result
o 6070
c local Search
c better result
o 6069
c local Search
c better result
o 6815
c local Search
c better result
o 6814
c local Search
c better result
o 6063
c local Search
c better result
o 6063
c local Search
c better result
o 6066
c local Search
c better result
o 6067
c local Search
c better result
o 6812
c local Search
c better result
o 6812
c local Search
c better result
o 6812
c local Search
c better result
o 6066
c local Search
c better result
o 6066
c local Search
c better result
o 6068
c local Search
c better result
o 6069
c local Search
c better result
o 6815
c local Search
c better result
o 6815
c local Search
c better result
o 6815
c local Search
c be