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.550.009845.cnf.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/MAXONE/3SAT/cnf3.150.550.009845.cnf.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 150 700 700
c WARNING: Ubcsat not found.
o 700
c local Search
o 81
c local Search
o 80
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 1476
c local Search
c better result
o 1476
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 777
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 780
c local Search
c better result
o 780
c local Search
c better result
o 780
c local Search
c better result
o 780
c local Search
c better result
o 780
c local Search
c better result
o 780
c local Search
c better result
o 780
c local Search
c better result
o 780
c local Search
c better result
o 780
c local Search
c better result
o 780
c local Search
c better result
o 779
c local Search
c better result
o 779
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 778
c local Search
c better result
o 1476
c local Search
c better result
o 1476
c local Search
c better result
o 1476
c local Search
c better result
o 1476
c local Search
c better result
o 778
c local Search
c better result
o 1476
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 1478
c local Search
c better result
o 1478
c local Search
c better result
o 1477
c local Search
c better result
o 1478
c local Search
c better result
o 1478
c local Search
c better result
o 1479
c local Search
c better result
o 1479
c local Search
c better result
o 2175
c local Search
c better result
o 1477
c local Search
c better result
o 2176
c local Search
c better result
o 1477
c local Search
c better result
o 2173
c local Search
c better result
o 2174
c local Search
c better result
o 2173
c local Search
c better result
o 2173
c local Search
c better result
o 2175
c local Search
c better result
o 1477
c local Search
c better result
o 2176
c local Search
c better result
o 1477
c local Search
c better result
o 2174
c local Search
c better result
o 2175
c local Search
c better result
o 2174
c local Search
c better result
o 2174
c local Search
c better result
o 2174
c local Search
c better result
o 1476
c local Search
o 1474
c local Search
c better result
o 2173
c local Search
o 1473
c local Search
c better result
o 1478
c local Search
o 778
c local Search
c better result
o 1477
c local Search
c better result
o 1476
c local Search
c better result
o 1480
c local Search
o 780
c local Search
c better result
o 1479
c local Search
c better result
o 1479
c local Search
c better result
o 1478
c local Search
c better result
o 1478
c local Search
c better result
o 1479
c local Search
c better result
o 1479
c local Search
c better result
o 1478
c local Search
c better result
o 1478
c local Search
c better result
o 1481
c local Search
o 781
c local Search
c better result
o 1478
c local Search
c better result
o 1479
c local Search
c better result
o 1477
c local Search
c better result
o 1478
c local Search
c better result
o 781
c local Search
c better result
o 782
c local Search
c better result
o 783
c local Search
c better result
o 782
c local Search
c better result
o 783
c local Search
c better result
o 1478
c local Search
c better result
o 1478
c local Search
c better result
o 2174
c local Search
c better result
o 2173
c local Search
c better result
o 1477
c local Search
c better result
o 1476
c local Search
c better result
o 1479
c local Search
c better result
o 1479
c local Search
c better result
o 781
c local Search
c better result
o 781
c local Search
o 775
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1474
c local Search
c better result
o 1475
c local Search
c better result
o 1474
c local Search
c better result
o 1475
c local Search
c better result
o 1474
c local Search
c better result
o 1475
c local Search
c better result
o 1474
c local Search
c better result
o 1475
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1474
c local Search
c better result
o 1475
c local Search
c better result
o 1476
c