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_150_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0000.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 150 2097 99460
c WARNING: Ubcsat not found.
o 99460
c local Search
c better result
o 484847
c local Search
c better result
o 484823
c local Search
c better result
o 484837
c local Search
c better result
o 484813
c local Search
c better result
o 484762
c local Search
c better result
o 484738
c local Search
c better result
o 484752
c local Search
c better result
o 484728
c local Search
c better result
o 484588
c local Search
c better result
o 484564
c local Search
c better result
o 484578
c local Search
c better result
o 484554
c local Search
c better result
o 484503
c local Search
c better result
o 484479
c local Search
c better result
o 484493
c local Search
c better result
o 484469
c local Search
c better result
o 485498
c local Search
c better result
o 485474
c local Search
c better result
o 485488
c local Search
c better result
o 485464
c local Search
c better result
o 485413
c local Search
c better result
o 485389
c local Search
c better result
o 485403
c local Search
c better result
o 485379
c local Search
c better result
o 485239
c local Search
c better result
o 485215
c local Search
c better result
o 485229
c local Search
c better result
o 485205
c local Search
c better result
o 485154
c local Search
c better result
o 485130
c local Search
c better result
o 485144
c local Search
c better result
o 485120
c local Search
c better result
o 484446
c local Search
c better result
o 484422
c local Search
c better result
o 484436
c local Search
c better result
o 484412
c local Search
c better result
o 484361
c local Search
c better result
o 484337
c local Search
c better result
o 484351
c local Search
c better result
o 484327
c local Search
c better result
o 484187
c local Search
c better result
o 484163
c local Search
c better result
o 484177
c local Search
c better result
o 484153
c local Search
c better result
o 484102
c local Search
c better result
o 484078
c local Search
c better result
o 484092
c local Search
c better result
o 484068
c local Search
c better result
o 485097
c local Search
c better result
o 485073
c local Search
c better result
o 485087
c local Search
c better result
o 485063
c local Search
c better result
o 485012
c local Search
c better result
o 484988
c local Search
c better result
o 485002
c local Search
c better result
o 484978
c local Search
c better result
o 484838
c local Search
c better result
o 484814
c local Search
c better result
o 484828
c local Search
c better result
o 484804
c local Search
c better result
o 484753
c local Search
c better result
o 484729
c local Search
c better result
o 484743
c local Search
c better result
o 484719
c local Search
c better result
o 484847
c local Search
c better result
o 484823
c local Search
c better result
o 484837
c local Search
c better result
o 484813
c local Search
c better result
o 484762
c local Search
c better result
o 484738
c local Search
c better result
o 484752
c local Search
c better result
o 484728
c local Search
c better result
o 484588
c local Search
c better result
o 484564
c local Search
c better result
o 484578
c local Search
c better result
o 484554
c local Search
c better result
o 484503
c local Search
c better result
o 484479
c local Search
c better result
o 484493
c local Search
c better result
o 484469
c local Search
c better result
o 485498
c local Search
c better result
o 485474
c local Search
c better result
o 485488
c local Search
c better result
o 485464
c local Search
c better result
o 485413
c local Search
c better result
o 485389
c local Search
c better result
o 485403
c local Search
c better result
o 485379
c local Search
c better result
o 485239
c local Search
c better result
o 485215
c local Search
c better result
o 485229
c local Search
c better result
o 485205
c local Search
c better result
o 485154
c local Search
c better result
o 485130
c local Search
c better result
o 485144
c local Search
c better result
o 485120
c local Search
c better result
o 484446
c local Search
c better result
o 484422
c local Search
c better result
o 484436
c local Search
c better result
o 484412
c local Search
c bet