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_110_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0007.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 113 1114 75901
c WARNING: Ubcsat not found.
o 75901
c local Search
c better result
o 292883
c local Search
c better result
o 292635
c local Search
c better result
o 292744
c local Search
c better result
o 292496
c local Search
c better result
o 292593
c local Search
c better result
o 292345
c local Search
c better result
o 292454
c local Search
c better result
o 292206
c local Search
o 66325
c local Search
o 66077
c local Search
c better result
o 292452
c local Search
o 66035
c local Search
o 65787
c local Search
c better result
o 292162
c local Search
c better result
o 292883
c local Search
c better result
o 292635
c local Search
c better result
o 292744
c local Search
c better result
o 292496
c local Search
c better result
o 292593
c local Search
c better result
o 292345
c local Search
c better result
o 292454
c local Search
c better result
o 292206
c local Search
o 66325
c local Search
o 66077
c local Search
c better result
o 292452
c local Search
o 66035
c local Search
o 65787
c local Search
c better result
o 292162
c local Search
c better result
o 292907
c local Search
c better result
o 292768
c local Search
c better result
o 292617
c local Search
c better result
o 292478
c local Search
o 66349
c local Search
c better result
o 292724
c local Search
o 66059
c local Search
c better result
o 292434
c local Search
c better result
o 292907
c local Search
c better result
o 292768
c local Search
c better result
o 292617
c local Search
c better result
o 292478
c local Search
o 66349
c local Search
c better result
o 292724
c local Search
o 66059
c local Search
c better result
o 292434
c local Search
c better result
o 292338
c local Search
c better result
o 292090
c local Search
c better result
o 292199
c local Search
c better result
o 291951
c local Search
c better result
o 292048
c local Search
c better result
o 291800
c local Search
c better result
o 291909
c local Search
c better result
o 291661
c local Search
o 65780
c local Search
o 65532
c local Search
c better result
o 291907
c local Search
o 65490
c local Search
o 65242
c local Search
c better result
o 291617
c local Search
c better result
o 292338
c local Search
c better result
o 292090
c local Search
c better result
o 292199
c local Search
c better result
o 291951
c local Search
c better result
o 292048
c local Search
c better result
o 291800
c local Search
c better result
o 291909
c local Search
c better result
o 291661
c local Search
o 65780
c local Search
o 65532
c local Search
c better result
o 291907
c local Search
o 65490
c local Search
o 65242
c local Search
c better result
o 291617
c local Search
c better result
o 292362
c local Search
c better result
o 292223
c local Search
c better result
o 292072
c local Search
c better result
o 291933
c local Search
o 65804
c local Search
c better result
o 292179
c local Search
o 65514
c local Search
c better result
o 291889
c local Search
c better result
o 292362
c local Search
c better result
o 292223
c local Search
c better result
o 292072
c local Search
c better result
o 291933
c local Search
o 65804
c local Search
c better result
o 292179
c local Search
o 65514
c local Search
c better result
o 291889
c local Search
o 65657
c local Search
o 65409
c local Search
o 65270
c local Search
o 65119
c local Search
o 64980
c local Search
o 64936
c local Search
o 64864
c local Search
o 64725
o 64574
c local Search
o 64435
c local Search
o 64391
c local Search
c better result
o 290885
c local Search
c better result
o 291606
c local Search
c better result
o 291358
c local Search
c better result
o 291467
c local Search
c better result
o 291219
c local Search
c better result
o 291316
c local Search
c better result
o 291068
c local Search
c better result
o 291177
c local Search
c better result
o 290929
c local Search
o 65048
c local Search
o 64800
c local Search
c better result
o 291175
c local Search
o 64758
c local Search
o 64510
c local Search
c better result
o 290885
c local Search
c better result
o 291630
c local Search
c better result
o 291491
c local Search
c better result
o 291340
c local Search
c b