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_140_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0005.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 141 1960 122111
c WARNING: Ubcsat not found.
o 122111
c local Search
c better result
o 474219
c local Search
c better result
o 474219
c local Search
c better result
o 474200
c local Search
c better result
o 474200
c local Search
c better result
o 472755
c local Search
c better result
o 472755
c local Search
c better result
o 472736
c local Search
c better result
o 472736
c local Search
c better result
o 473149
c local Search
c better result
o 473149
c local Search
c better result
o 473130
c local Search
c better result
o 473130
c local Search
c better result
o 471685
c local Search
c better result
o 471685
c local Search
c better result
o 471666
c local Search
c better result
o 471666
c local Search
c better result
o 472560
c local Search
c better result
o 472560
c local Search
c better result
o 472541
c local Search
c better result
o 472541
c local Search
c better result
o 471677
c local Search
c better result
o 471677
c local Search
c better result
o 471658
c local Search
c better result
o 471658
c local Search
c better result
o 471490
c local Search
c better result
o 471490
c local Search
c better result
o 471471
c local Search
c better result
o 471471
c local Search
c better result
o 470607
c local Search
c better result
o 470607
c local Search
c better result
o 470588
c local Search
c better result
o 470588
c local Search
c better result
o 474658
c local Search
c better result
o 474658
c local Search
c better result
o 474639
c local Search
c better result
o 474639
c local Search
c better result
o 473194
c local Search
c better result
o 473194
c local Search
c better result
o 473175
c local Search
c better result
o 473175
c local Search
c better result
o 473588
c local Search
c better result
o 473588
c local Search
c better result
o 473569
c local Search
c better result
o 473569
c local Search
c better result
o 472124
c local Search
c better result
o 472124
c local Search
c better result
o 472105
c local Search
c better result
o 472105
c local Search
c better result
o 473275
c local Search
c better result
o 473275
c local Search
c better result
o 473256
c local Search
c better result
o 473256
c local Search
c better result
o 472392
c local Search
c better result
o 472392
c local Search
c better result
o 472373
c local Search
c better result
o 472373
c local Search
c better result
o 471929
c local Search
c better result
o 471929
c local Search
c better result
o 471910
c local Search
c better result
o 471910
c local Search
c better result
o 471046
c local Search
c better result
o 471046
c local Search
c better result
o 471027
c local Search
c better result
o 471027
c local Search
c better result
o 472755
c local Search
c better result
o 472755
c local Search
c better result
o 472736
c local Search
c better result
o 472736
c local Search
c better result
o 471685
c local Search
c better result
o 471685
c local Search
c better result
o 471666
c local Search
c better result
o 471666
c local Search
c better result
o 471677
c local Search
c better result
o 471677
c local Search
c better result
o 471658
c local Search
c better result
o 471658
c local Search
c better result
o 470607
c local Search
c better result
o 470607
c local Search
c better result
o 470588
c local Search
c better result
o 470588
c local Search
c better result
o 473194
c local Search
c better result
o 473194
c local Search
c better result
o 473175
c local Search
c better result
o 473175
c local Search
c better result
o 472124
c local Search
c better result
o 472124
c local Search
c better result
o 472105
c local Search
c better result
o 472105
c local Search
c better result
o 472392
c local Search
c better result
o 472392
c local Search
c better result
o 472373
c local Search
c better result
o 472373
c local Search
c better result
o 471046
c local Search
c better result
o 471046
c local Search
c better result
o 471027
c local Search
c better result
o 471027
c local Search
c better result
o 473242
c local Search
c better result
o 473242
c local Search
c better result
o 473223
c local Search
c better result
o 473223
c local Search
c better result
o 471778
c local Search
c better result
o 471778
c local Search
c better result
o 471759
c local Search
c better result
o 471759
c local Search
c better result
o 471583
c local Search
c better result
o 471583
c local Search
c better result
o 471564
c local Search
c better result
o 471564
c local Search
c better result
o 470700
c local Search
c better result
o 470700
c local Search
c better result
o 470681
c local Search
c better result
o 470681
c local Search
c better result
o 473681
c local Search
c better result
o 473681
c local Search
c better result
o 473662
c local Search
c better result
o 473662
c local Search
c better result
o 472217
c local Search
c better result
o 472217
c local Search
c better result
o 472198
c local Search
c better result
o 472198
c local Search
c better result
o 472022
c local Search
c better result
o 472022
c local Search
c better result
o 472003
c local Search
c better result
o 472003
c local Search
c better result
o 471139
c local Search
c better result
o 471139
c local Search
c better result
o 471120
c local Search
c better result
o 471120
c local Search
c better result
o 471778
c local Search
c better result
o 471778
c local Search
c better result
o 471759
c local Search
c better result
o 471759
c local Search
c better result
o 470700
c local Search
c better result
o 470700
c local Search
c better result
o 470681
c local Search
c better result
o 470681
c local Search
c better result
o 472217
c local Search
c better result
o 472217
c local Search
c better result
o 472198
c local Search
c better result
o 472198
c local Search
c better result
o 471139
c local Search
c better result
o 471139
c local Search
c better result
o 471120
c local Search
c better result
o 471120
c local Search
c better result
o 472560
c local Search
c better result
o 472560
c local Search
c better result
o 472541
c local Search
c better result
o 472541
c local Search
c better result
o 471677
c local Search
c better result
o 471677
c local Search
c better result
o 471658
c local Search
c better result
o 471658
c local Search
c better result
o 471490
c local Search
c better result
o 471490
c local Search
c better result
o 471471
c local Search
c better result
o 471471
c local Search
c better result
o 470607
c local Search
c better result
o 470607
c local Search
c better result
o 470588
c local Search
c better result
o 470588
c local Search
c better result
o 472999
c local Search
c better result
o 472999
c local Search
c better result
o 472980
c local Search
c better result
o 472980
c local Search
c better result
o 472116
c local Search
c better result
o 472116
c local Search
c better result
o 472097
c local Search
c better result
o 472097
c local Search
c better result
o 471929
c local Search
c better result
o 471929
c local Search
c better result
o 471910
c local Search
c better result
o 471910
c local Search
c better result
o 471046
c local Search
c better result
o 471046
c local Search
c better result
o 471027
c local Search
c better result
o 471027
c local Search
c better result
o 471677
c local Search
c better result
o 471677
c local Search
c better result
o 471658
c local Search
c better result
o 471658
c local Search
c better result
o 470607
c local Search
c better result
o 470607
c local Search
c better result
o 470588
c local Search
c better result
o 470588
c local Search
c better result
o 472116
c local Search
c better result
o 472116
c local Search
c better result
o 472097
c local Search
c better result
o 472097
c local Search
c better result
o 471046
c local Search
c better result
o 471046
c local Search
c better result
o 471027
c local Search
c better result
o 471027
c local Search
c better result
o 471583
c local Search
c better result
o 471583
c local Search
c better result
o 471564
c local Search
c better result
o 471564
c local Search
c better result
o 470700
c local Search
c better result
o 470700
c local Search
c better result
o 470681
c local Search
c better result
o 470681
c local Search
c better result
o 472022
c local Search
c better result
o 472022
c local Search
c better result
o 4