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.250.832712.cnf.wcnf Job file: /home/maxsat/benchmarks/pms_crafted/MAXONE/3SAT/cnf3.150.250.832712.cnf.wcnf Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power c Instance info: p wcnf 150 400 400 c WARNING: Ubcsat not found. o 400 c local Search c better result o 833 c local Search c better result o 831 c local Search c better result o 833 c local Search c better result o 831 c local Search c better result o 835 c local Search c better result o 833 c local Search c better result o 835 c local Search c better result o 833 c local Search c better result o 833 c local Search c better result o 831 c local Search c better result o 833 c local Search c better result o 831 c local Search c better result o 835 c local Search c better result o 833 c local Search c better result o 835 c local Search c better result o 833 c local Search c better result o 834 c local Search c better result o 833 c local Search c better result o 834 c local Search c better result o 833 c local Search c better result o 836 c local Search c better result o 835 c local Search c better result o 836 c local Search c better result o 835 c local Search c better result o 834 c local Search c better result o 833 c local Search c better result o 834 c local Search c better result o 833 c local Search c better result o 836 c local Search c better result o 835 c local Search c better result o 836 c local Search c better result o 835 c local Search c better result o 835 c local Search c better result o 833 c local Search c better result o 835 c local Search c better result o 833 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 835 c local Search c better result o 833 c local Search c better result o 835 c local Search c better result o 833 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 836 c local Search c better result o 835 c local Search c better result o 836 c local Search c better result o 835 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 835 c local Search c better result o 836 c local Search c better result o 835 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 436 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 435 c local Search c better result o 836 c local Search c better result o 834 c local Search c better result o 836 c local Search c better result o 834 c local Search c better result o 836 c local Search c better result o 834 c local Search c better result o 836 c local Search c better result o 834 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 438 c local Search c better result o 437 c local Search c better result o 438 c local Search c better result o 437 c local Search c better result o 438 c local Search c better result o 437 c local Search c better result o 438 c local Search c better result o 437 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 839 c local Search c better result o 837 c local Search c better result o 839 c local Search c better result o 837 c local Search c better result o 839 c local Search c better result o 837 c local Search c better result o 839 c local Search c better result o 837 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 436 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 439 c local Search c better result o 437 c local Search c better result o 439 c local Search c better result o 437 c local Search c better result o 439 c local Search c better result o 437 c local Search c better result o 439 c local Search c better result o 437 c local Search c better result o 439 c local Search c better result o 438 c local Search c better result o 439 c local Search c better result o 438 c local Search c better result o 439 c local Search c better result o 438 c local Search c better result o 439 c local Search c better result o 438 c local Search c better result o 840 c local Search c better result o 838 c local Search c better result o 840 c local Search c better result o 838 c local Search c better result o 840 c local Search c better result o 838 c local Search c better result o 840 c local Search c better result o 838 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 835 c local Search c better result o 833 c local Search c better result o 835 c local Search c better result o 833 c local Search c better result o 836 c local Search c better result o 834 c local Search c better result o 836 c local Search c better result o 834 c local Search c better result o 836 c local Search c better result o 835 c local Search c better result o 836 c local Search c better result o 835 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 837 c local Search c better result o 836 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 436 c local Search c better result o 434 c local Search c better result o 436 c local Search c better result o 434 c local Search c better result o 437 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 436 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 837 c local Search c better result o 835 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 438 c local Search c better result o 436 c local Search c better result o 438 c local Search c better result o 436 c local Search c better result o 439 c local Search c better result o 438 c local Search c better result o 439 c local Search c better result o 438 c local Search c better result o 839 c local Search c better result o 837 c local Search c better result o 839 c local Search c better result o 837 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 838 c local Search c better result o 837 c local Search c better result o 840 c local Search c better result o 838 c local Search c better result o 840 c local Search c better result o 838 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 438 c local Search c better result o 436 c local Search c better result o 438 c local Search c better result o 436 c local Search c better result o 438 c local Search c better result o 437 c local Search c better result o 438 c local Search c better result o 437 c local Search c better result o 839 c local Search c better result o 837 c local Search c better result o 839 c local Search c better result o 837 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 440 c local Search c better result o 438 c local Search c better result o 440 c local Search c better result o 438 c local Search c better result o 440 c local Search c better result o 439 c local Search c better result o 440 c local Search c better result o 439 c local Search c better result o 841 c local Search c better result o 839 c local Search c better result o 841 c local Search c better result o 839 c local Search c better result o 841 c local Search c better result o 840 c local Search c better result o 841 c local Search c better result o 840 c local Search c better result o 1236 c local Search c better result o 1234 c local Search c better result o 1236 c local Search c better result o 1234 c local Search c better result o 1238 c local Search c better result o 1236 c local Search c better result o 1238 c local Search c better result o 1236 c local Search c better result o 1236 c local Search c better result o 1234 c local Search c better result o 1236 c local Search c better result o 1234 c local Search c better result o 1238 c local Search c better result o 1236 c local Search c better result o 1238 c local Search c better result o 1236 c local Search c better result o 1237 c local Search c better result o 1236 c local Search c better result o 1237 c local Search c better result o 1236 c local Search c better result o 1239 c local Search c better result o 1238 c local Search c better result o 1239 c local Search c better result o 1238 c local Search c better result o 1237 c local Search c better result o 1236 c local Search c better result o 1237 c local Search c better result o 1236 c local Search c better result o 1239 c local Search c better result o 1238 c local Search c better result o 1239 c local Search c better result o 1238 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 838 c local Search c better result o 836 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 839 c local Search c better result o 838 c local Search c better result o 1239 c local Search c better result o 1237 c local Search c better result o 1239 c local Search c better result o 1237 c local Search c better result o 1239 c local Search c better result o 1237 c local Search c better result o 1239 c local Search c better result o 1237 c local Search c better result o 1240 c local Search c better result o 1239 c local Search c better result o 1240 c local Search c better result o 1239 c local Search c better result o 1240 c local Search c better result o 1239 c local Search c better result o 1240 c local Search c better result o 1239 c local Search c better result o 1240 c local Search c better result o 1238 c local Search c better result o 1240 c local Search c better result o 1238 c local Search c better result o 1240 c local Search c better result o 1238 c local Search c better result o 1240 c local Search c better result o 1238 c local Search c better result o 1240 c local Search c better result o 1239 c local Search c better result o 1240 c local Search c better result o 1239 c local Search c better result o 1240 c local Search c better result o 1239 c local Search c better result o 1240 c local Search c better result o 1239 c local Search c better result o 840 c local Search c better result o 838 c local Search c better result o 840 c local Search c better result o 838 c local Search c better result o 840 c local Search c better result o 838 c local Search c better result o 840 c local Search c better result o 838 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 1241 c local Search c better result o 1239 c local Search c better result o 1241 c local Search c better result o 1239 c local Search c better result o 1241 c local Search c better result o 1239 c local Search c better result o 1241 c local Search c better result o 1239 c local Search c better result o 1241 c local Search c better result o 1240 c local Search c better result o 1241 c local Search c better result o 1240 c local Search c better result o 1241 c local Search c better result o 1240 c local Search c better result o 1241 c local Search c better result o 1240 c local Search c better result o 1238 c local Search c better result o 1236 c local Search c better result o 1238 c local Search c better result o 1236 c local Search c better result o 1239 c local Search c better result o 1237 c local Search c better result o 1239 c local Search c better result o 1237 c local Search c better result o 1239 c local Search c better result o 1238 c local Search c better result o 1239 c local Search c better result o 1238 c local Search c better result o 1240 c local Search c better result o 1239 c local Search c better result o 1240 c local Search c better result o 1239 c local Search c better result o 839 c local Search c better result o 837 c local Search c better result o 839 c local Search c better result o 837 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 840 c local Search c better result o 839 c local Search c better result o 1240 c local Search c better result o 1238 c local Search c better result o 1240 c local Search c better result o 1238 c local Search c better result o 1241 c local Search c better result o 1240 c local Search c better result o 1241 c local Search c better result o 1240 c local Search c better result o 1241 c local Search c better result o 1239 c local Search c better result o 1241 c local Search c better result o 1239 c local Search c better result o 1241 c local Search c better result o 1240 c local Search c better result o 1241 c local Search c better result o 1240 c local Search c better result o 841 c local Search c better result o 839 c local Search c better result o 841 c local Search c better result o 839 c local Search c better result o 841 c local Search c better result o 840 c local Search c better result o 841 c local Search c better result o 840 c local Search c better result o 1242 c local Search c better result o 1240 c local Search c better result o 1242 c local Search c better result o 1240 c local Search c better result o 1242 c local Search c better result o 1241 c local Search c better result o 1242 c local Search c better result o 1241 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 432 c local Search c better result o 433 c local Search c better result o 433 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 432 c local Search c better result o 433 c local Search c better result o 433 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 432 c local Search c better result o 433 c local Search c better result o 433 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 432 c local Search c better result o 433 c local Search c better result o 433 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 434 c local Search c better result o 434 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 434 c local Search c better result o 434 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 434 c local Search c better result o 434 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 434 c local Search c better result o 434 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 437 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 437 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 437 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 437 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 436 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 436 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 436 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 436 c local Search c better result o 436 c local Search c better result o 433 c local Search c better result o 431 c local Search c better result o 433 c local Search c better result o 431 c local Search c better result o 433 c local Search c better result o 431 c local Search c better result o 433 c local Search c better result o 431 c local Search c better result o 433 c local Search c better result o 432 c local Search c better result o 433 c local Search c better result o 432 c local Search c better result o 433 c local Search c better result o 432 c local Search c better result o 433 c local Search c better result o 432 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 435 c local Search c better result o 433 c local Search c better result o 435 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 434 c local Search c better result o 435 c local Search c better result o 434 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 435 c local Search c better result o 437 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 436 c local Search c better result o 437 c local Search c better result o 436 c local Search c better result o 439 c local Search c better result o 437 c local Search c better result o 439 c local Search c better result o 437 c local Search c better result o 439 c local Search c better result o 437 c local Search c better result o 439 c local Search c better result o 437 c local Search c better result o 439 c local Search c better result o 438 c local Search c better result o 439 c