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_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0001.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 171 2269 124491
c WARNING: Ubcsat not found.
o 124491
c local Search
c better result
o 483244
c local Search
c better result
o 483198
c local Search
c better result
o 483783
c local Search
c better result
o 483737
c local Search
c better result
o 483233
c local Search
c better result
o 483187
c local Search
c better result
o 483772
c local Search
c better result
o 483726
c local Search
c better result
o 483862
c local Search
c better result
o 483816
c local Search
c better result
o 484401
c local Search
c better result
o 484355
c local Search
c better result
o 483851
c local Search
c better result
o 483805
c local Search
c better result
o 484390
c local Search
c better result
o 484344
c local Search
c better result
o 483166
c local Search
c better result
o 483120
c local Search
c better result
o 483705
c local Search
c better result
o 483659
c local Search
c better result
o 483155
c local Search
c better result
o 483109
c local Search
c better result
o 483694
c local Search
c better result
o 483648
c local Search
c better result
o 483784
c local Search
c better result
o 483738
c local Search
c better result
o 484323
c local Search
c better result
o 484277
c local Search
c better result
o 483773
c local Search
c better result
o 483727
c local Search
c better result
o 484312
c local Search
c better result
o 484266
c local Search
c better result
o 483100
c local Search
c better result
o 483054
c local Search
c better result
o 483639
c local Search
c better result
o 483593
c local Search
c better result
o 483089
c local Search
c better result
o 483043
c local Search
c better result
o 483628
c local Search
c better result
o 483582
c local Search
c better result
o 483718
c local Search
c better result
o 483672
c local Search
c better result
o 484257
c local Search
c better result
o 484211
c local Search
c better result
o 483707
c local Search
c better result
o 483661
c local Search
c better result
o 484246
c local Search
c better result
o 484200
c local Search
c better result
o 483022
c local Search
c better result
o 482976
c local Search
c better result
o 483561
c local Search
c better result
o 483515
c local Search
c better result
o 483011
c local Search
c better result
o 482965
c local Search
c better result
o 483550
c local Search
c better result
o 483504
c local Search
c better result
o 483640
c local Search
c better result
o 483594
c local Search
c better result
o 484179
c local Search
c better result
o 484133
c local Search
c better result
o 483629
c local Search
c better result
o 483583
c local Search
c better result
o 484168
c local Search
c better result
o 484122
c local Search
c better result
o 483146
c local Search
c better result
o 483100
c local Search
c better result
o 483685
c local Search
c better result
o 483639
c local Search
c better result
o 483135
c local Search
c better result
o 483089
c local Search
c better result
o 483674
c local Search
c better result
o 483628
c local Search
c better result
o 483764
c local Search
c better result
o 483718
c local Search
c better result
o 484303
c local Search
c better result
o 484257
c local Search
c better result
o 483753
c local Search
c better result
o 483707
c local Search
c better result
o 484292
c local Search
c better result
o 484246
c local Search
c better result
o 483068
c local Search
c better result
o 483022
c local Search
c better result
o 483607
c local Search
c better result
o 483561
c local Search
c better result
o 483057
c local Search
c better result
o 483011
c local Search
c better result
o 483596
c local Search
c better result
o 483550
c local Search
c better result
o 483686
c local Search
c better result
o 483640
c local Search
c better result
o 484225
c local Search
c better result
o 484179
c local Search
c better result
o 483675
c local Search
c better result
o 483629
c local Search
c better result
o 484214
c local Search
c better result
o 484168
c local Search
c better result
o 483002
c local Search
c better result
o 482956
c local Search
c better result
o 483541
c local Search
c better result
o 483495
c local Search
c b