Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_150_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0004.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 152 1703 114469
c WARNING: Ubcsat not found.
o 114469
c local Search
c better result
o 671613
c local Search
c better result
o 671595
c local Search
c better result
o 671613
c local Search
c better result
o 671595
c local Search
c better result
o 671515
c local Search
c better result
o 671497
c local Search
c better result
o 671515
c local Search
c better result
o 671497
c local Search
c better result
o 671568
c local Search
c better result
o 671550
c local Search
c better result
o 671568
c local Search
c better result
o 671550
c local Search
c better result
o 671470
c local Search
c better result
o 671452
c local Search
c better result
o 671470
c local Search
c better result
o 671452
c local Search
c better result
o 671543
c local Search
c better result
o 671525
c local Search
c better result
o 671543
c local Search
c better result
o 671525
c local Search
c better result
o 671445
c local Search
c better result
o 671427
c local Search
c better result
o 671445
c local Search
c better result
o 671427
c local Search
c better result
o 671498
c local Search
c better result
o 671480
c local Search
c better result
o 671498
c local Search
c better result
o 671480
c local Search
c better result
o 671400
c local Search
c better result
o 671382
c local Search
c better result
o 671400
c local Search
c better result
o 671382
c local Search
c better result
o 557144
c local Search
c better result
o 557126
c local Search
c better result
o 557144
c local Search
c better result
o 557126
c local Search
c better result
o 557046
c local Search
c better result
o 557028
c local Search
c better result
o 557046
c local Search
c better result
o 557028
c local Search
c better result
o 557099
c local Search
c better result
o 557081
c local Search
c better result
o 557099
c local Search
c better result
o 557081
c local Search
c better result
o 557001
c local Search
c better result
o 556983
c local Search
c better result
o 557001
c local Search
c better result
o 556983
c local Search
c better result
o 557074
c local Search
c better result
o 557056
c local Search
c better result
o 557074
c local Search
c better result
o 557056
c local Search
c better result
o 556976
c local Search
c better result
o 556958
c local Search
c better result
o 556976
c local Search
c better result
o 556958
c local Search
c better result
o 557029
c local Search
c better result
o 557011
c local Search
c better result
o 557029
c local Search
c better result
o 557011
c local Search
c better result
o 556931
c local Search
c better result
o 556913
c local Search
c better result
o 556931
c local Search
c better result
o 556913
c local Search
c better result
o 671613
c local Search
c better result
o 671595
c local Search
c better result
o 671613
c local Search
c better result
o 671595
c local Search
c better result
o 671515
c local Search
c better result
o 671497
c local Search
c better result
o 671515
c local Search
c better result
o 671497
c local Search
c better result
o 671568
c local Search
c better result
o 671550
c local Search
c better result
o 671568
c local Search
c better result
o 671550
c local Search
c better result
o 671470
c local Search
c better result
o 671452
c local Search
c better result
o 671470
c local Search
c better result
o 671452
c local Search
c better result
o 671543
c local Search
c better result
o 671525
c local Search
c better result
o 671543
c local Search
c better result
o 671525
c local Search
c better result
o 671445
c local Search
c better result
o 671427
c local Search
c better result
o 671445
c local Search
c better result
o 671427
c local Search
c better result
o 671498
c local Search
c better result
o 671480
c local Search
c better result
o 671498
c local Search
c better result
o 671480
c local Search
c better result
o 671400
c local Search
c better result
o 671382
c local Search
c better result
o 671400
c local Search
c better result
o 671382
c local Search
c better result
o 557144
c local Search
c better result
o 557126
c local Search
c better result
o 557144
c local Search
c better result
o 557126
c local Search
c better result
o 557046
c local Search
c better result
o 557028
c local Search
c better result
o 557046
c local Search
c better result
o 557028
c local Search
c better result
o 557099
c local Search
c better result
o 557081
c local Search
c better result
o 557099
c local Search
c better result
o 557081
c local Search
c better result
o 557001
c local Search
c better result
o 556983
c local Search
c better result
o 557001
c local Search
c better result
o 556983
c local Search
c better result
o 557074
c local Search
c better result
o 557056
c local Search
c better result
o 557074
c local Search
c better result
o 557056
c local Search
c better result
o 556976
c local Search
c better result
o 556958
c local Search
c better result
o 556976
c local Search
c better result
o 556958
c local Search
c better result
o 557029
c local Search
c better result
o 557011
c local Search
c better result
o 557029
c local Search
c better result
o 557011
c local Search
c better result
o 556931
c local Search
c better result
o 556913
c local Search
c better result
o 556931
c local Search
c better result
o 556913
c local Search
c better result
o 672010
c local Search
c better result
o 671992
c local Search
c better result
o 672010
c local Search
c better result
o 671992
c local Search
c better result
o 671912
c local Search
c better result
o 671894
c local Search
c better result
o 671912
c local Search
c better result
o 671894
c local Search
c better result
o 671965
c local Search
c better result
o 671947
c local Search
c better result
o 671965
c local Search
c better result
o 671947
c local Search
c better result
o 671867
c local Search
c better result
o 671849
c local Search
c better result
o 671867
c local Search
c better result
o 671849
c local Search
c better result
o 671940
c local Search
c better result
o 671922
c local Search
c better result
o 671940
c local Search
c better result
o 671922
c local Search
c better result
o 671842
c local Search
c better result
o 671824
c local Search
c better result
o 671842
c local Search
c better result
o 671824
c local Search
c better result
o 671895
c local Search
c better result
o 671877
c local Search
c better result
o 671895
c local Search
c better result
o 671877
c local Search
c better result
o 671797
c local Search
c better result
o 671779
c local Search
c better result
o 671797
c local Search
c better result
o 671779
c local Search
c better result
o 557541
c local Search
c better result
o 557523
c local Search
c better result
o 557541
c local Search
c better result
o 557523
c local Search
c better result
o 557443
c local Search
c better result
o 557425
c local Search
c better result
o 557443
c local Search
c better result
o 557425
c local Search
c better result
o 557496
c local Search
c better result
o 557478
c local Search
c better result
o 557496
c local Search
c better result
o 557478
c local Search
c better result
o 557398
c local Search
c better result
o 557380
c local Search
c better result
o 557398
c local Search
c better result
o 557380
c local Search
c better result
o 557471
c local Search
c better result
o 557453
c local Search
c better result
o 557471
c local Search
c better result
o 557453
c local Search
c better result
o 557373
c local Search
c better result
o 557355
c local Search
c better result
o 557373
c local Search
c better result
o 557355
c local Search
c better result
o 557426
c local Search
c better result
o 557408
c local Search
c better result
o 557426
c local Search
c better result
o 557408
c local Search
c better result
o 557328
c local Search
c better result
o 557310
c local Search
c better result
o 557328
c local Search
c better result
o 557310
c local Search
c better result
o 672010
c local Search
c better result
o 671992
c local Search
c better result
o 672010
c local Search
c better result
o 671992
c local Search
c better result
o 671912
c local Search
c better result
o 671894
c local Search
c better result
o 671912
c local Search
c better result
o 671894
c local Search
c better result
o 671965
c local Search
c better result
o 671947
c local Search
c better result
o 6