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_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0006.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 164 2194 114629
c WARNING: Ubcsat not found.
o 114629
c local Search
c better result
o 555425
c local Search
c better result
o 555425
c local Search
c better result
o 555425
c local Search
c better result
o 555425
c local Search
c better result
o 556277
c local Search
c better result
o 556277
c local Search
c better result
o 441806
c local Search
c better result
o 441806
c local Search
c better result
o 442080
c local Search
c better result
o 442080
c local Search
c better result
o 555417
c local Search
c better result
o 555417
c local Search
c better result
o 555417
c local Search
c better result
o 555417
c local Search
c better result
o 556269
c local Search
c better result
o 556269
c local Search
c better result
o 441798
c local Search
c better result
o 441798
c local Search
c better result
o 442072
c local Search
c better result
o 442072
c local Search
c better result
o 555390
c local Search
c better result
o 555390
c local Search
c better result
o 555390
c local Search
c better result
o 555390
c local Search
c better result
o 556242
c local Search
c better result
o 556242
c local Search
c better result
o 441771
c local Search
c better result
o 441771
c local Search
c better result
o 442045
c local Search
c better result
o 442045
c local Search
c better result
o 555382
c local Search
c better result
o 555382
c local Search
c better result
o 555382
c local Search
c better result
o 555382
c local Search
c better result
o 556234
c local Search
c better result
o 556234
c local Search
c better result
o 441763
c local Search
c better result
o 441763
c local Search
c better result
o 442037
c local Search
c better result
o 442037
c local Search
c better result
o 555401
c local Search
c better result
o 555401
c local Search
c better result
o 555401
c local Search
c better result
o 555401
c local Search
c better result
o 556253
c local Search
c better result
o 556253
c local Search
c better result
o 441782
c local Search
c better result
o 441782
c local Search
c better result
o 442056
c local Search
c better result
o 442056
c local Search
c better result
o 555393
c local Search
c better result
o 555393
c local Search
c better result
o 555393
c local Search
c better result
o 555393
c local Search
c better result
o 556245
c local Search
c better result
o 556245
c local Search
c better result
o 441774
c local Search
c better result
o 441774
c local Search
c better result
o 442048
c local Search
c better result
o 442048
c local Search
c better result
o 555366
c local Search
c better result
o 555366
c local Search
c better result
o 555366
c local Search
c better result
o 555366
c local Search
c better result
o 556218
c local Search
c better result
o 556218
c local Search
c better result
o 441747
c local Search
c better result
o 441747
c local Search
c better result
o 442021
c local Search
c better result
o 442021
c local Search
c better result
o 555358
c local Search
c better result
o 555358
c local Search
c better result
o 555358
c local Search
c better result
o 555358
c local Search
c better result
o 556210
c local Search
c better result
o 556210
c local Search
c better result
o 441739
c local Search
c better result
o 441739
c local Search
c better result
o 442013
c local Search
c better result
o 442013
c local Search
c better result
o 556102
c local Search
c better result
o 556102
c local Search
c better result
o 556102
c local Search
c better result
o 556102
c local Search
o 99066
c local Search
c better result
o 556094
c local Search
c better result
o 556094
c local Search
c better result
o 556094
c local Search
c better result
o 556094
c local Search
o 99058
c local Search
c better result
o 556067
c local Search
c better result
o 556067
c local Search
c better result
o 556067
c local Search
c better result
o 556067
c local Search
o 99031
c local Search
c better result
o 556059
c local Search
c better result
o 556059
c local Search
c better result
o 556059
c local Search
c better result
o 556059
c local Search
o 99023
c local Search
c better result
o 556078
c local Search
c better result
o 556078
c loca