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_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0004.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 144 2126 115468
c WARNING: Ubcsat not found.
o 115468
c local Search
c better result
o 334059
c local Search
c better result
o 334128
c local Search
c better result
o 334049
c local Search
c better result
o 334118
c local Search
c better result
o 333091
c local Search
c better result
o 333081
c local Search
c better result
o 334058
c local Search
c better result
o 334127
c local Search
c better result
o 334048
c local Search
c better result
o 334117
c local Search
c better result
o 333090
c local Search
c better result
o 333080
c local Search
c better result
o 333777
c local Search
c better result
o 333846
c local Search
c better result
o 333767
c local Search
c better result
o 333836
c local Search
c better result
o 332809
c local Search
c better result
o 332799
c local Search
c better result
o 333776
c local Search
c better result
o 333845
c local Search
c better result
o 333766
c local Search
c better result
o 333835
c local Search
c better result
o 332808
c local Search
c better result
o 332798
c local Search
c better result
o 333541
c local Search
c better result
o 333204
c local Search
c better result
o 333531
c local Search
c better result
o 333194
c local Search
c better result
o 332167
c local Search
c better result
o 332157
c local Search
c better result
o 333540
c local Search
c better result
o 334127
c local Search
c better result
o 333530
c local Search
c better result
o 334117
c local Search
c better result
o 333090
c local Search
c better result
o 333080
c local Search
c better result
o 333259
c local Search
c better result
o 332922
c local Search
c better result
o 333249
c local Search
c better result
o 332912
c local Search
c better result
o 331885
c local Search
c better result
o 331875
c local Search
c better result
o 333258
c local Search
c better result
o 333845
c local Search
c better result
o 333248
c local Search
c better result
o 333835
c local Search
c better result
o 332808
c local Search
c better result
o 332798
c local Search
c better result
o 334059
c local Search
c better result
o 334128
c local Search
c better result
o 334049
c local Search
c better result
o 334118
c local Search
c better result
o 333091
c local Search
c better result
o 333081
c local Search
c better result
o 334058
c local Search
c better result
o 334127
c local Search
c better result
o 334048
c local Search
c better result
o 334117
c local Search
c better result
o 333090
c local Search
c better result
o 333080
c local Search
c better result
o 333777
c local Search
c better result
o 333846
c local Search
c better result
o 333767
c local Search
c better result
o 333836
c local Search
c better result
o 332809
c local Search
c better result
o 332799
c local Search
c better result
o 333776
c local Search
c better result
o 333845
c local Search
c better result
o 333766
c local Search
c better result
o 333835
c local Search
c better result
o 332808
c local Search
c better result
o 332798
c local Search
c better result
o 333995
c local Search
c better result
o 334064
c local Search
c better result
o 333985
c local Search
c better result
o 334054
c local Search
c better result
o 333027
c local Search
c better result
o 333017
c local Search
c better result
o 333994
c local Search
c better result
o 334063
c local Search
c better result
o 333984
c local Search
c better result
o 334053
c local Search
c better result
o 333026
c local Search
c better result
o 333016
c local Search
c better result
o 333713
c local Search
c better result
o 333782
c local Search
c better result
o 333703
c local Search
c better result
o 333772
c local Search
c better result
o 332745
c local Search
c better result
o 332735
c local Search
c better result
o 333712
c local Search
c better result
o 333781
c local Search
c better result
o 333702
c local Search
c better result
o 333771
c local Search
c better result
o 332744
c local Search
c better result
o 332734
c local Search
c better result
o 333477
c local Search
c better result
o 333140
c local Search
c better result
o 333467
c local Search
c better result
o 333130
c local Search
c better result
o 332103
c local Search
c better result
o 332093
c local Search
c better result
o 333476
c local Search
c better result
o 334063
c local Search
c better result
o 333466
c local Search
c better result
o 334053
c local Search
c better result
o 333026
c local Search
c better result
o 333016
c local Search
c better result
o 333195
c local Search
c better result
o 332858
c local Search
c better result
o 333185
c local Search
c better result
o 332848
c local Search
c better result
o 331821
c local Search
c better result
o 331811
c local Search
c better result
o 333194
c local Search
c better result
o 333781
c local Search
c better result
o 333184
c local Search
c better result
o 333771
c local Search
c better result
o 332744
c local Search
c better result
o 332734
c local Search
c better result
o 333995
c local Search
c better result
o 334064
c local Search
c better result
o 333985
c local Search
c better result
o 334054
c local Search
c better result
o 333027
c local Search
c better result
o 333017
c local Search
c better result
o 333994
c local Search
c better result
o 334063
c local Search
c better result
o 333984
c local Search
c better result
o 334053
c local Search
c better result
o 333026
c local Search
c better result
o 333016
c local Search
c better result
o 333713
c local Search
c better result
o 333782
c local Search
c better result
o 333703
c local Search
c better result
o 333772
c local Search
c better result
o 332745
c local Search
c better result
o 332735
c local Search
c better result
o 333712
c local Search
c better result
o 333781
c local Search
c better result
o 333702
c local Search
c better result
o 333771
c local Search
c better result
o 332744
c local Search
c better result
o 332734
c local Search
c better result
o 333524
c local Search
c better result
o 333593
c local Search
c better result
o 333514
c local Search
c better result
o 333583
c local Search
c better result
o 332556
c local Search
c better result
o 332546
c local Search
c better result
o 333523
c local Search
c better result
o 333592
c local Search
c better result
o 333513
c local Search
c better result
o 333582
c local Search
c better result
o 332555
c local Search
c better result
o 332545
c local Search
c better result
o 333242
c local Search
c better result
o 333311
c local Search
c better result
o 333232
c local Search
c better result
o 333301
c local Search
c better result
o 332274
c local Search
c better result
o 332264
c local Search
c better result
o 333241
c local Search
c better result
o 333310
c local Search
c better result
o 333231
c local Search
c better result
o 333300
c local Search
c better result
o 332273
c local Search
c better result
o 332263
c local Search
c better result
o 333006
c local Search
c better result
o 332669
c local Search
c better result
o 332996
c local Search
c better result
o 332659
c local Search
c better result
o 331632
c local Search
c better result
o 331622
c local Search
c better result
o 333005
c local Search
c better result
o 333592
c local Search
c better result
o 332995
c local Search
c better result
o 333582
c local Search
c better result
o 332555
c local Search
c better result
o 332545
c local Search
c better result
o 332724
c local Search
c better result
o 332387
c local Search
c better result
o 332714
c local Search
c better result
o 332377
c local Search
c better result
o 331350
c local Search
c better result
o 331340
c local Search
c better result
o 332723
c local Search
c better result
o 333310
c local Search
c better result
o 332713
c local Search
c better result
o 333300
c local Search
c better result
o 332273
c local Search
c better result
o 332263
c local Search
c better result
o 333524
c local Search
c better result
o 333593
c local Search
c better result
o 333514
c local Search
c better result
o 333583
c local Search
c better result
o 332556
c local Search
c better result
o 332546
c local Search
c better result
o 333523
c local Search
c better result
o 333592
c local Search
c better result
o 333513
c local Search
c better result
o 333582
c local Search
c better result
o 3