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.500.646981.cnf.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/MAXONE/3SAT/cnf3.150.500.646981.cnf.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 150 650 650
c WARNING: Ubcsat not found.
o 650
c local Search
c better result
o 1368
c local Search
c better result
o 2019
c local Search
c better result
o 1368
c local Search
c better result
o 2019
c local Search
c better result
o 2020
c local Search
c better result
o 2020
c local Search
c better result
o 722
c local Search
c better result
o 722
c local Search
c better result
o 1371
c local Search
c better result
o 1371
c local Search
c better result
o 724
c local Search
c better result
o 724
c local Search
c better result
o 1372
c local Search
c better result
o 1372
c local Search
c better result
o 1369
c local Search
c better result
o 2020
c local Search
c better result
o 1369
c local Search
c better result
o 2020
c local Search
c better result
o 2017
c local Search
c better result
o 2668
c local Search
c better result
o 2017
c local Search
c better result
o 2668
c local Search
c better result
o 2669
c local Search
c better result
o 2669
c local Search
c better result
o 2666
c local Search
c better result
o 2666
c local Search
c better result
o 2668
c local Search
c better result
o 2668
c local Search
c better result
o 2019
c local Search
c better result
o 2019
c local Search
c better result
o 721
c local Search
c better result
o 1367
c local Search
c better result
o 1367
c local Search
c better result
o 721
c local Search
c better result
o 721
c local Search
c better result
o 1368
c local Search
c better result
o 1368
c local Search
c better result
o 720
c local Search
c better result
o 1370
c local Search
c better result
o 720
c local Search
c better result
o 1370
c local Search
c better result
o 721
c local Search
c better result
o 721
c local Search
c better result
o 1370
c local Search
c better result
o 1370
c local Search
c better result
o 721
c local Search
c better result
o 1371
c local Search
c better result
o 721
c local Search
c better result
o 1371
c local Search
c better result
o 719
c local Search
c better result
o 719
c local Search
c better result
o 720
c local Search
c better result
o 720
c local Search
c better result
o 720
c local Search
c better result
o 720
c local Search
c better result
o 2666
c local Search
c better result
o 2665
c local Search
c better result
o 2668
c local Search
c better result
o 2667
c local Search
c better result
o 2019
c local Search
c better result
o 2018
c local Search
c better result
o 2020
c local Search
c better result
o 2019
c local Search
c better result
o 2666
c local Search
c better result
o 2667
c local Search
c better result
o 2665
c local Search
c better result
o 2666
c local Search
c better result
o 2019
c local Search
c better result
o 2020
c local Search
c better result
o 2018
c local Search
c better result
o 2019
c local Search
c better result
o 1367
c local Search
c better result
o 1366
c local Search
c better result
o 1367
c local Search
c better result
o 1366
c local Search
c better result
o 1367
c local Search
c better result
o 1368
c local Search
c better result
o 1366
c local Search
c better result
o 1367
c local Search
c better result
o 1367
c local Search
c better result
o 1366
c local Search
c better result
o 1367
c local Search
c better result
o 1366
c local Search
c better result
o 1368
c local Search
c better result
o 2019
c local Search
c better result
o 1367
c local Search
c better result
o 2018
c local Search
c better result
o 1368
c local Search
c better result
o 1367
c local Search
c better result
o 1368
c local Search
c better result
o 1367
c local Search
c better result
o 1369
c local Search
c better result
o 2020
c local Search
c better result
o 1368
c local Search
c better result
o 2019
c local Search
c better result
o 718
c local Search
c better result
o 72
c local Search
c better result
o 721
c local Search
c better result
o 721
c local Search
c better result
o 722
c local Search
c better result
o 722
c local Search
c better result
o 722
c local Search
c better result
o 722
c local Search
c better result
o 718
c local Search
c better result
o 720
c local Search
c better result
o 720
c local Search
c better result
o 720
c local Search
c better result
o 720
c local Search
c better result
o 73
c local Search
c better result
o 721
c local Search
c better result
o 721
c local Search
c better result
o 721
c local Search
c better result
o 721
c local Search
c better result
o 718
c local Search
c better result
o 720
c local Search
c better result
o 720
c local Search
c better result
o 720
c local Search
c better result
o 720
c local Search
c better result
o 719
c local Search
c better result
o 721
c local Search
c better result
o 721
c local Search
c better result
o 721
c local Search
c better result
o 721
c local Search
c better result
o 2017
c local Search
c better result
o 2016
c local Search
o 719
c local Search
o 72
c local Search
o 71
c local Search
o 68
c local Search
c better result
o 2014
c local Search
c better result
o 1363
c local Search
c better result
o 68
c local Search
c better result
o 3314
c local Search
c better result
o 3314
c local Search
c better result
o 2663
c local Search
c better result
o 2663
c local Search
c better result
o 3315
c local Search
c better result
o 3315
c local Search
c better result
o 2664
c local Search
c better result
o 2664
c local Search
c better result
o 3315
c local Search
c better result
o 3315
c local Search
c better result
o 2665
c local Search
c better result
o 2665
c local Search
c better result
o 3316
c local Search
c better result
o 3316
c local Search
c better result
o 2666
c local Search
c better result
o 2666
c local Search
c better result
o 2668
c local Search
c better result
o 2668
c local Search
c better result
o 2667
c local Search
c better result
o 2667
c local Search
c better result
o 2669
c local Search
c better result
o 2669
c local Search
c better result
o 2668
c local Search
c better result
o 2668
c local Search
c better result
o 3314
c local Search
c better result
o 3314
c local Search
c better result
o 2664
c local Search
c better result
o 2664
c local Search
c better result
o 3315
c local Search
c better result
o 3315
c local Search
c better result
o 2665
c local Search
c better result
o 2665
c local Search
c better result
o 2667
c local Search
c better result
o 2667
c local Search
c better result
o 2017
c local Search
c better result
o 2017
c local Search
c better result
o 2019
c local Search
c better result
o 2020
c local Search
c better result
o 1370
c local Search
c better result
o 1371
c local Search
c better result
o 1370
c local Search
c better result
o 1371
c local Search
c better result
o 1370
c local Search
c better result
o 1371
c local Search
c better result
o 2668
c local Search
c better result
o 2668
c local Search
c better result
o 2018
c local Search
c better result
o 2018
c local Search
c better result
o 2020
c local Search
c better result
o 2021
c local Search
c better result
o 1370
c local Search
c better result
o 1371
c local Search
c better result
o 1371
c local Search
c better result
o 1372
c local Search
c better result
o 1370
c local Search
c better result
o 1371
c local Search
c better result
o 2020
c local Search
c better result
o 2020
c local Search
c better result
o 2019
c local Search
c better result
o 2019
c local Search
c better result
o 2020
c local Search
c better result
o 2021
c local Search
c better result
o 1371
c local Search
c better result
o 1372
c local Search
c better result
o 1371
c local Search
c better result
o 1372
c local Search
c better result
o 1371
c local Search
c better result
o 1372
c local Search
c better result
o 2021
c local Search
c better result
o 2021
c local Search
c better result
o 2020
c local Search
c better result
o 2020
c local Search
c better result
o 2021
c local Search
c better result
o 2022
c local Search
c better result
o 1371
c local Search
c better result
o 1372
c local Search
c better result
o 1372
c local Search
c better result
o 1373
c local Search
c better result
o 1371
c local Search
c better result
o 1372
c local Search
c better result
o 2666
c local Search
c better result
o 2666
c local Search
c better result
o 2016
c local Search
c better result
o 2016
c local Search
c better result
o 2018
c local Search
c better result
o 2019
c local Search
c better result
o 1369
c local Search
c better result
o 1370
c local Search
c better result
o 1369
c local Search
c better result
o 1370
c local Search
c better result
o 1369
c local Search
c better result
o 1370
c local Search
c better result
o 2667
c local Search
c better result
o 2667
c local Search
c better result
o 2017
c local Search
c better result
o 2017
c local Search
c better result
o 2019
c local Search
c better result
o 2020
c local Search
c better result
o 1369
c local Search
c better result
o 1370
c local Search
c better result
o 1370
c local Search
c better result
o 1371
c local Search
c better result
o 1369
c local Search
c better result
o 1370
c local Search
c better result
o 3316
c local Search
c better result
o 2665
c local Search
c better result
o 3317
c local Search
c better result
o 2666
c local Search
o 70
c local Search
c better result
o 3315
c local Search
c better result
o 2664
c local Search
c better result
o 3316
c local Search
c better result
o 2665
c local Search
c better result
o 3964
c local Search
c better result
o 3313
c local Search
c better result
o 3965
c local Search
c better result
o 3314
c local Search
c better result
o 3317
c local Search
c better result
o 3315
c local Search
c better result
o 3318
c local Search
c better result
o 3316
c local Search
c better result
o 3963
c local Search
c better result
o 3312
c local Search
c better result
o 3964
c local Search
c better result
o 3313
c local Search
c better result
o 3316
c local Search
c better result
o 2665
c local Search
c better result
o 3317
c local Search
c better result
o 2666
c local Search
c better result
o 3316
c local Search
c better result
o 2665
c local Search
c better result
o 3317
c local Search
c better result
o 2666
c local Search
c better result
o 3316
c local Search
c better result
o 2666
c local Search
c better result
o 2668
c local Search
c better result
o 2667
c local Search
c better result
o 2669
c local Search
c better result
o 2667
c local Search
c better result
o 2670
c local Search
c better result
o 2668
c local Search
c better result
o 3317
c local Search
c better result
o 2666
c local Search
c better result
o 3318
c local Search
c better result
o 2667
c local Search
c better result
o 2669
c local Search
c better result
o 2668
c local Search
c better result
o 2670
c local Search
c better result
o 2669
c local Search
c better result
o 3315
c local Search
c better result
o 2664
c local Search
c better result
o 3316
c local Search
c better result
o 2665
c local Search
c better result
o 3315
c local Search
c better result
o 2664
c local Search
c better result
o 3316
c local Search
c better result
o 2665
c local Search
c better result
o 3315
c local Search
c better result
o 2665
c local Search
c better result
o 2667
c local Search
c better result
o 2666
c local Search
c better result
o 3964
c local Search
c better result
o 3313
c local Search
c better result
o 3965
c local Search
c better result
o 3314
c local Search
c better result
o 3965
c local Search
c better result
o 3314
c local Search
c better result
o 3966
c local Search
c better result
o 3315
c local Search
c better result
o 3964
c local Search
c better result
o 3314
c local Search
c better result
o 3316
c local Search
c better result
o 3315
c local Search
c better result
o 3317
c local Search
c better result
o 3315
c local Search
c better result
o 3318
c local Search
c better result
o 3316
c local Search
c better result
o 3966
c local Search
c better result
o 3315
c local Search
c better result
o 3967
c local Search
c better result
o 3316
c local Search
c better result
o 3317
c local Search
c better result
o 3316
c local Search
c better result
o 3318
c local Search
c better result
o 3317
c local Search
c better result
o 3963
c local Search
c better result
o 3312
c local Search
c better result
o 3964
c local Search
c better result
o 3313
c local Search
c better result
o 3964
c local Search
c better result
o 3313
c local Search
c better result
o 3965
c local Search
c better result
o 3314
c local