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_160_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0001.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 161 2377 121485
c WARNING: Ubcsat not found.
o 121485
c local Search
c better result
o 468330
c local Search
c better result
o 468815
c local Search
c better result
o 468321
c local Search
c better result
o 468806
c local Search
c better result
o 468323
c local Search
c better result
o 468808
c local Search
c better result
o 468314
c local Search
c better result
o 468799
c local Search
c better result
o 468324
c local Search
c better result
o 468809
c local Search
c better result
o 468315
c local Search
c better result
o 468800
c local Search
c better result
o 468317
c local Search
c better result
o 468802
c local Search
c better result
o 468308
c local Search
c better result
o 468793
c local Search
c better result
o 468078
c local Search
c better result
o 468563
c local Search
c better result
o 468069
c local Search
c better result
o 468554
c local Search
c better result
o 468071
c local Search
c better result
o 468556
c local Search
c better result
o 468062
c local Search
c better result
o 468547
c local Search
c better result
o 468072
c local Search
c better result
o 468557
c local Search
c better result
o 468063
c local Search
c better result
o 468548
c local Search
c better result
o 468065
c local Search
c better result
o 468550
c local Search
c better result
o 468056
c local Search
c better result
o 468541
c local Search
c better result
o 468171
c local Search
c better result
o 468656
c local Search
c better result
o 468162
c local Search
c better result
o 468647
c local Search
c better result
o 468164
c local Search
c better result
o 468649
c local Search
c better result
o 468155
c local Search
c better result
o 468640
c local Search
c better result
o 468165
c local Search
c better result
o 468650
c local Search
c better result
o 468156
c local Search
c better result
o 468641
c local Search
c better result
o 468158
c local Search
c better result
o 468643
c local Search
c better result
o 468149
c local Search
c better result
o 468634
c local Search
c better result
o 467919
c local Search
c better result
o 468404
c local Search
c better result
o 467910
c local Search
c better result
o 468395
c local Search
c better result
o 467912
c local Search
c better result
o 468397
c local Search
c better result
o 467903
c local Search
c better result
o 468388
c local Search
c better result
o 467913
c local Search
c better result
o 468398
c local Search
c better result
o 467904
c local Search
c better result
o 468389
c local Search
c better result
o 467906
c local Search
c better result
o 468391
c local Search
c better result
o 467897
c local Search
c better result
o 468382
c local Search
c better result
o 468330
c local Search
c better result
o 468321
c local Search
c better result
o 468323
c local Search
c better result
o 468314
c local Search
c better result
o 468324
c local Search
c better result
o 468315
c local Search
c better result
o 468317
c local Search
c better result
o 468308
c local Search
c better result
o 468078
c local Search
c better result
o 468069
c local Search
c better result
o 468071
c local Search
c better result
o 468062
c local Search
c better result
o 468072
c local Search
c better result
o 468063
c local Search
c better result
o 468065
c local Search
c better result
o 468056
c local Search
c better result
o 468171
c local Search
c better result
o 468162
c local Search
c better result
o 468164
c local Search
c better result
o 468155
c local Search
c better result
o 468165
c local Search
c better result
o 468156
c local Search
c better result
o 468158
c local Search
c better result
o 468149
c local Search
c better result
o 467919
c local Search
c better result
o 467910
c local Search
c better result
o 467912
c local Search
c better result
o 467903
c local Search
c better result
o 467913
c local Search
c better result
o 467904
c local Search
c better result
o 467906
c local Search
c better result
o 467897
c local Search
c better result
o 468582
c local Search
c better result
o 469067
c local Search
c better result
o 468573
c local Search
c better result
o 469058
c local Search
c b