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_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0003.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 144 1954 111435
c WARNING: Ubcsat not found.
o 111435
c local Search
c better result
o 429508
c local Search
c better result
o 317266
c local Search
c better result
o 429508
c local Search
c better result
o 317266
c local Search
c better result
o 429477
c local Search
c better result
o 317235
c local Search
c better result
o 429477
c local Search
c better result
o 317235
c local Search
c better result
o 318844
c local Search
c better result
o 206602
c local Search
c better result
o 318844
c local Search
c better result
o 206602
c local Search
c better result
o 318813
c local Search
c better result
o 206571
c local Search
c better result
o 318813
c local Search
c better result
o 206571
c local Search
c better result
o 429714
c local Search
c better result
o 317472
c local Search
c better result
o 429714
c local Search
c better result
o 317472
c local Search
c better result
o 429683
c local Search
c better result
o 317441
c local Search
c better result
o 429683
c local Search
c better result
o 317441
c local Search
c better result
o 319050
c local Search
c better result
o 317298
c local Search
c better result
o 319050
c local Search
c better result
o 317298
c local Search
c better result
o 319019
c local Search
c better result
o 317267
c local Search
c better result
o 319019
c local Search
c better result
o 317267
c local Search
c better result
o 430124
c local Search
c better result
o 317882
c local Search
c better result
o 429476
c local Search
c better result
o 318041
c local Search
c better result
o 430093
c local Search
c better result
o 317851
c local Search
c better result
o 429445
c local Search
c better result
o 318010
c local Search
c better result
o 319460
c local Search
c better result
o 207218
c local Search
c better result
o 318812
c local Search
c better result
o 207377
c local Search
c better result
o 319429
c local Search
c better result
o 207187
c local Search
c better result
o 318781
c local Search
c better result
o 207346
c local Search
c better result
o 430330
c local Search
c better result
o 318088
c local Search
c better result
o 429682
c local Search
c better result
o 318247
c local Search
c better result
o 430299
c local Search
c better result
o 318057
c local Search
c better result
o 429651
c local Search
c better result
o 318216
c local Search
c better result
o 319666
c local Search
c better result
o 317914
c local Search
c better result
o 319018
c local Search
c better result
o 318073
c local Search
c better result
o 319635
c local Search
c better result
o 317883
c local Search
c better result
o 318987
c local Search
c better result
o 318042
c local Search
c better result
o 429238
c local Search
c better result
o 316996
c local Search
c better result
o 429238
c local Search
c better result
o 316996
c local Search
c better result
o 429207
c local Search
c better result
o 316965
c local Search
c better result
o 429207
c local Search
c better result
o 316965
c local Search
c better result
o 318574
c local Search
c better result
o 206332
c local Search
c better result
o 318574
c local Search
c better result
o 206332
c local Search
c better result
o 318543
c local Search
c better result
o 206301
c local Search
c better result
o 318543
c local Search
c better result
o 206301
c local Search
c better result
o 429444
c local Search
c better result
o 317202
c local Search
c better result
o 429444
c local Search
c better result
o 317202
c local Search
c better result
o 429413
c local Search
c better result
o 317171
c local Search
c better result
o 429413
c local Search
c better result
o 317171
c local Search
c better result
o 318780
c local Search
c better result
o 317028
c local Search
c better result
o 318780
c local Search
c better result
o 317028
c local Search
c better result
o 318749
c local Search
c better result
o 316997
c local Search
c better result
o 318749
c local Search
c better result
o 316997
c local Search
c better result
o 429854
c local Search
c better result
o 317612
c local Search
c better result
o 429206
c local Search
c better result
o 317771
c local Search
c better result
o 429823
c local Search
c better result
o 317581
c local Search
c better result
o 429175
c local Search
c better result
o 317740
c local Search
c better result
o 319190
c local Search
c better result
o 206948
c local Search
c better result
o 318542
c local Search
c better result
o 207107
c local Search
c better result
o 319159
c local Search
c better result
o 206917
c local Search
c better result
o 318511
c local Search
c better result
o 207076
c local Search
c better result
o 430060
c local Search
c better result
o 317818
c local Search
c better result
o 429412
c local Search
c better result
o 317977
c local Search
c better result
o 430029
c local Search
c better result
o 317787
c local Search
c better result
o 429381
c local Search
c better result
o 317946
c local Search
c better result
o 319396
c local Search
c better result
o 317644
c local Search
c better result
o 318748
c local Search
c better result
o 317803
c local Search
c better result
o 319365
c local Search
c better result
o 317613
c local Search
c better result
o 318717
c local Search
c better result
o 317772
c local Search
c better result
o 429508
c local Search
c better result
o 317266
c local Search
c better result
o 429477
c local Search
c better result
o 317235
c local Search
c better result
o 318844
c local Search
c better result
o 206602
c local Search
c better result
o 318813
c local Search
c better result
o 206571
c local Search
c better result
o 429714
c local Search
c better result
o 317472
c local Search
c better result
o 429683
c local Search
c better result
o 317441
c local Search
c better result
o 319050
c local Search
c better result
o 317298
c local Search
c better result
o 319019
c local Search
c better result
o 317267
c local Search
c better result
o 430124
c local Search
c better result
o 317882
c local Search
c better result
o 430093
c local Search
c better result
o 317851
c local Search
o 97535
c local Search
o 97504
c local Search
c better result
o 429238
c local Search
c better result
o 316996
c local Search
c better result
o 429207
c local Search
c better result
o 316965
c local Search
c better result
o 318574
c local Search
c better result
o 206332
c local Search
c better result
o 318543
c local Search
c better result
o 206301
c local Search
c better result
o 429444
c local Search
c better result
o 317202
c local Search
c better result
o 429413
c local Search
c better result
o 317171
c local Search
c better result
o 318780
c local Search
c better result
o 317028
c local Search
c better result
o 318749
c local Search
c better result
o 316997
c local Search
c better result
o 429854
c local Search
c better result
o 317612
c local Search
c better result
o 429823
c local Search
c better result
o 317581
c local Search
o 97265
c local Search
o 97234
c local Search
c better result
o 206917
c local Search
c better result
o 207076
c local Search
c better result
o 317818
c local Search
c better result
o 317977
c local Search
c better result
o 317787
c local Search
c better result
o 317946
c local Search
c better result
o 317644
c local Search
c better result
o 317803
c local Search
c better result
o 317613
c local Search
c better result
o 317772
c local Search
c better result
o 317266
c local Search
c better result
o 317235
c local Search
c better result
o 206602
c local Search
c better result
o 206571
c local Search
c better result
o 317472
c local Search
c better result
o 317441
c local Search
c better result
o 317298
c local Search
c better result
o 317267
c local Search
c better result
o 317882
c local Search
c better result
o 317851
c local Search
o 96728
c local Search
o 96697
c local Search
c better result
o 316996
c local Search
c better result
o 316965
c local Search
c better result
o 206332
c local Search
c better result
o 206301
c local Search
c better result
o 317202
c local Search
c better result
o 317171
c local Search
c better result
o 317028
c local Search
c better result
o 316997
c local Search
c better result
o 317612
c local Search
c better result
o 317581
c local Search
o 96458
c local Search
o 96427
c local Se