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_130_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0003.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 132 1766 104673
c WARNING: Ubcsat not found.
o 104673
c local Search
c better result
o 404957
c local Search
c better result
o 404902
c local Search
c better result
o 405440
c local Search
c better result
o 405385
c local Search
c better result
o 509409
c local Search
c better result
o 509354
c local Search
c better result
o 509892
c local Search
c better result
o 509837
c local Search
c better result
o 405668
c local Search
c better result
o 405613
c local Search
c better result
o 405458
c local Search
c better result
o 405403
c local Search
c better result
o 510120
c local Search
c better result
o 510065
c local Search
c better result
o 509910
c local Search
c better result
o 509855
c local Search
c better result
o 404456
c local Search
c better result
o 404401
c local Search
c better result
o 404939
c local Search
c better result
o 404884
c local Search
c better result
o 508908
c local Search
c better result
o 508853
c local Search
c better result
o 509391
c local Search
c better result
o 509336
c local Search
c better result
o 405167
c local Search
c better result
o 405112
c local Search
c better result
o 404957
c local Search
c better result
o 404902
c local Search
c better result
o 509619
c local Search
c better result
o 509564
c local Search
c better result
o 509409
c local Search
c better result
o 509354
c local Search
c better result
o 404866
c local Search
c better result
o 405349
c local Search
c better result
o 509318
c local Search
c better result
o 509801
c local Search
c better result
o 405577
c local Search
c better result
o 405367
c local Search
c better result
o 510029
c local Search
c better result
o 509819
c local Search
c better result
o 404365
c local Search
c better result
o 404848
c local Search
c better result
o 508817
c local Search
c better result
o 509300
c local Search
c better result
o 405076
c local Search
c better result
o 404866
c local Search
c better result
o 509528
c local Search
c better result
o 509318
c local Search
o 92524
c local Search
o 92469
c local Search
o 92303
c local Search
o 92248
c local Search
o 92023
c local Search
o 91968
c local Search
o 91802
c local Search
o 91747
c local Search
o 91711
c local Search
c better result
o 403935
c local Search
c better result
o 403880
c local Search
c better result
o 404418
c local Search
c better result
o 404363
c local Search
c better result
o 508387
c local Search
c better result
o 508332
c local Search
c better result
o 508870
c local Search
c better result
o 508815
c local Search
c better result
o 404646
c local Search
c better result
o 404591
c local Search
c better result
o 404436
c local Search
c better result
o 404381
c local Search
c better result
o 509098
c local Search
c better result
o 509043
c local Search
c better result
o 508888
c local Search
c better result
o 508833
c local Search
c better result
o 403434
c local Search
c better result
o 403379
c local Search
c better result
o 403917
c local Search
c better result
o 403862
c local Search
c better result
o 507886
c local Search
c better result
o 507831
c local Search
c better result
o 508369
c local Search
c better result
o 508314
c local Search
c better result
o 404145
c local Search
c better result
o 404090
c local Search
c better result
o 403935
c local Search
c better result
o 403880
c local Search
c better result
o 508597
c local Search
c better result
o 508542
c local Search
c better result
o 508387
c local Search
c better result
o 508332
c local Search
c better result
o 403844
c local Search
c better result
o 404327
c local Search
c better result
o 508296
c local Search
c better result
o 508779
c local Search
c better result
o 404555
c local Search
c better result
o 404345
c local Search
c better result
o 509007
c local Search
c better result
o 508797
c local Search
c better result
o 403343
c local Search
c better result
o 403826
c local Search
c better result
o 507795
c local Search
c better result
o 508278
c local Search
c better result
o 404054
c local Search
c better result
o 403844
c local Search
c better result
o 508506
c local Sea