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_170_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0003.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 171 3016 142975
c WARNING: Ubcsat not found.
o 142975
c local Search
c better result
o 555250
c local Search
c better result
o 554556
c local Search
c better result
o 554896
c local Search
c better result
o 554202
c local Search
c better result
o 412655
c local Search
c better result
o 411961
c local Search
c better result
o 412301
c local Search
c better result
o 411607
c local Search
c better result
o 556095
c local Search
c better result
o 555401
c local Search
c better result
o 555741
c local Search
c better result
o 555047
c local Search
c better result
o 413500
c local Search
c better result
o 412806
c local Search
c better result
o 413146
c local Search
c better result
o 412452
c local Search
c better result
o 555009
c local Search
c better result
o 554315
c local Search
c better result
o 554655
c local Search
c better result
o 553961
c local Search
c better result
o 412414
c local Search
c better result
o 411720
c local Search
c better result
o 412060
c local Search
c better result
o 411366
c local Search
c better result
o 555854
c local Search
c better result
o 555160
c local Search
c better result
o 555500
c local Search
c better result
o 554806
c local Search
c better result
o 413259
c local Search
c better result
o 412565
c local Search
c better result
o 412905
c local Search
c better result
o 412211
c local Search
c better result
o 556105
c local Search
c better result
o 555411
c local Search
c better result
o 555751
c local Search
c better result
o 555057
c local Search
c better result
o 413510
c local Search
c better result
o 412816
c local Search
c better result
o 413156
c local Search
c better result
o 412462
c local Search
c better result
o 556017
c local Search
c better result
o 555323
c local Search
c better result
o 555663
c local Search
c better result
o 554969
c local Search
c better result
o 413422
c local Search
c better result
o 412728
c local Search
c better result
o 413068
c local Search
c better result
o 412374
c local Search
c better result
o 555864
c local Search
c better result
o 555170
c local Search
c better result
o 555510
c local Search
c better result
o 554816
c local Search
c better result
o 413269
c local Search
c better result
o 412575
c local Search
c better result
o 412915
c local Search
c better result
o 412221
c local Search
c better result
o 555776
c local Search
c better result
o 555082
c local Search
c better result
o 555422
c local Search
c better result
o 554728
c local Search
c better result
o 413181
c local Search
c better result
o 412487
c local Search
c better result
o 412827
c local Search
c better result
o 412133
c local Search
c better result
o 554556
c local Search
c better result
o 554202
c local Search
c better result
o 411961
c local Search
c better result
o 411607
c local Search
c better result
o 555401
c local Search
c better result
o 555047
c local Search
c better result
o 412806
c local Search
c better result
o 412452
c local Search
c better result
o 554315
c local Search
c better result
o 553961
c local Search
c better result
o 411720
c local Search
c better result
o 411366
c local Search
c better result
o 555160
c local Search
c better result
o 554806
c local Search
c better result
o 412565
c local Search
c better result
o 412211
c local Search
c better result
o 555411
c local Search
c better result
o 555057
c local Search
c better result
o 412816
c local Search
c better result
o 412462
c local Search
c better result
o 555323
c local Search
c better result
o 554969
c local Search
c better result
o 412728
c local Search
c better result
o 412374
c local Search
c better result
o 555170
c local Search
c better result
o 554816
c local Search
c better result
o 412575
c local Search
c better result
o 412221
c local Search
c better result
o 555082
c local Search
c better result
o 554728
c local Search
c better result
o 412487
c local Search
c better result
o 412133
c local Search
c better result
o 411708
c local Search
c better result
o 412655
c local Search
c better result
o 411014
c local Search
c better result
o 411961
c local Search
c b