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_160_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0007.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 161 2191 122801
c WARNING: Ubcsat not found.
o 122801
c local Search
c better result
o 353331
c local Search
c better result
o 353319
c local Search
c better result
o 353244
c local Search
c better result
o 353232
c local Search
c better result
o 354088
c local Search
c better result
o 354076
c local Search
c better result
o 354001
c local Search
c better result
o 353989
c local Search
c better result
o 353237
c local Search
c better result
o 353225
c local Search
c better result
o 353150
c local Search
c better result
o 353138
c local Search
c better result
o 353994
c local Search
c better result
o 353982
c local Search
c better result
o 353907
c local Search
c better result
o 353895
c local Search
c better result
o 353892
c local Search
c better result
o 353880
c local Search
c better result
o 353805
c local Search
c better result
o 353793
c local Search
c better result
o 354649
c local Search
c better result
o 354637
c local Search
c better result
o 354562
c local Search
c better result
o 354550
c local Search
c better result
o 353798
c local Search
c better result
o 353786
c local Search
c better result
o 353711
c local Search
c better result
o 353699
c local Search
c better result
o 354555
c local Search
c better result
o 354543
c local Search
c better result
o 354468
c local Search
c better result
o 354456
c local Search
c better result
o 353917
c local Search
c better result
o 353905
c local Search
c better result
o 353830
c local Search
c better result
o 353818
c local Search
c better result
o 354674
c local Search
c better result
o 354662
c local Search
c better result
o 354587
c local Search
c better result
o 354575
c local Search
c better result
o 353823
c local Search
c better result
o 353811
c local Search
c better result
o 353736
c local Search
c better result
o 353724
c local Search
c better result
o 354580
c local Search
c better result
o 354568
c local Search
c better result
o 354493
c local Search
c better result
o 354481
c local Search
c better result
o 354478
c local Search
c better result
o 354466
c local Search
c better result
o 354391
c local Search
c better result
o 354379
c local Search
c better result
o 355235
c local Search
c better result
o 355223
c local Search
c better result
o 355148
c local Search
c better result
o 355136
c local Search
c better result
o 354384
c local Search
c better result
o 354372
c local Search
c better result
o 354297
c local Search
c better result
o 354285
c local Search
c better result
o 355141
c local Search
c better result
o 355129
c local Search
c better result
o 355054
c local Search
c better result
o 355042
c local Search
c better result
o 353892
c local Search
c better result
o 353880
c local Search
c better result
o 353805
c local Search
c better result
o 353793
c local Search
o 109838
c local Search
o 109826
c local Search
o 109751
c local Search
o 109739
c local Search
o 109732
c local Search
o 109657
c local Search
o 109645
c local Search
c better result
o 352672
c local Search
c better result
o 352660
c local Search
c better result
o 352585
c local Search
c better result
o 352573
c local Search
c better result
o 353429
c local Search
c better result
o 353417
c local Search
c better result
o 353342
c local Search
c better result
o 353330
c local Search
c better result
o 352578
c local Search
c better result
o 352566
c local Search
c better result
o 352491
c local Search
c better result
o 352479
c local Search
c better result
o 353335
c local Search
c better result
o 353323
c local Search
c better result
o 353248
c local Search
c better result
o 353236
c local Search
c better result
o 353233
c local Search
c better result
o 353221
c local Search
c better result
o 353146
c local Search
c better result
o 353134
c local Search
c better result
o 353990
c local Search
c better result
o 353978
c local Search
c better result
o 353903
c local Search
c better result
o 353891
c local Search
c better result
o 353139
c local Search
c better result
o 353127
c local Search
c better result
o 353052
c local Search
c better result
o 353040
c local Se