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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0007.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 142 1650 106429
c WARNING: Ubcsat not found.
o 106429
c local Search
c better result
o 303071
c local Search
c better result
o 302948
c local Search
c better result
o 303033
c local Search
c better result
o 302910
c local Search
c better result
o 303749
c local Search
c better result
o 303626
c local Search
c better result
o 303711
c local Search
c better result
o 303588
c local Search
c better result
o 303034
c local Search
c better result
o 302996
c local Search
c better result
o 303712
c local Search
c better result
o 303674
c local Search
c better result
o 302988
c local Search
c better result
o 302865
c local Search
c better result
o 302950
c local Search
c better result
o 302827
c local Search
c better result
o 303666
c local Search
c better result
o 303543
c local Search
c better result
o 303628
c local Search
c better result
o 303505
c local Search
c better result
o 302951
c local Search
c better result
o 302913
c local Search
c better result
o 303629
c local Search
c better result
o 303591
c local Search
c better result
o 303225
c local Search
c better result
o 303102
c local Search
c better result
o 303187
c local Search
c better result
o 303064
c local Search
c better result
o 302844
c local Search
c better result
o 302721
c local Search
c better result
o 302806
c local Search
c better result
o 302683
c local Search
c better result
o 303188
c local Search
c better result
o 303150
c local Search
c better result
o 302807
c local Search
c better result
o 302769
c local Search
c better result
o 303142
c local Search
c better result
o 303019
c local Search
c better result
o 303104
c local Search
c better result
o 302981
c local Search
c better result
o 302761
c local Search
c better result
o 302638
c local Search
c better result
o 302723
c local Search
c better result
o 302600
c local Search
c better result
o 303105
c local Search
c better result
o 303067
c local Search
c better result
o 302724
c local Search
c better result
o 302686
c local Search
c better result
o 303096
c local Search
c better result
o 302973
c local Search
c better result
o 303058
c local Search
c better result
o 302935
c local Search
c better result
o 303059
c local Search
c better result
o 303021
c local Search
c better result
o 303013
c local Search
c better result
o 302890
c local Search
c better result
o 302975
c local Search
c better result
o 302852
c local Search
c better result
o 302976
c local Search
c better result
o 302938
c local Search
c better result
o 303250
c local Search
c better result
o 303127
c local Search
c better result
o 303212
c local Search
c better result
o 303089
c local Search
c better result
o 303213
c local Search
c better result
o 303175
c local Search
c better result
o 303167
c local Search
c better result
o 303044
c local Search
c better result
o 303129
c local Search
c better result
o 303006
c local Search
c better result
o 303130
c local Search
c better result
o 303092
c local Search
c better result
o 303079
c local Search
c better result
o 302956
c local Search
c better result
o 303041
c local Search
c better result
o 302918
c local Search
c better result
o 303757
c local Search
c better result
o 303634
c local Search
c better result
o 303719
c local Search
c better result
o 303596
c local Search
c better result
o 302996
c local Search
c better result
o 302873
c local Search
c better result
o 302958
c local Search
c better result
o 302835
c local Search
c better result
o 303674
c local Search
c better result
o 303551
c local Search
c better result
o 303636
c local Search
c better result
o 303513
c local Search
c better result
o 303233
c local Search
c better result
o 303110
c local Search
c better result
o 303195
c local Search
c better result
o 303072
c local Search
c better result
o 302852
c local Search
c better result
o 302729
c local Search
c better result
o 302814
c local Search
c better result
o 302691
c local Search
c better result
o 303150
c local Search
c better result
o 303027
c local Search
c better result
o 303112
c local Search
c better result
o 302989
c local Search
c better result
o 302769
c local Search
c better result
o 302646
c local Search
c better result
o 302731
c local Search
c better result
o 302608
c local Search
c better result
o 303104
c local Search
c better result
o 302981
c local Search
c better result
o 303066
c local Search
c better result
o 302943
c local Search
c better result
o 303021
c local Search
c better result
o 302898
c local Search
c better result
o 302983
c local Search
c better result
o 302860
c local Search
c better result
o 303258
c local Search
c better result
o 303135
c local Search
c better result
o 303220
c local Search
c better result
o 303097
c local Search
c better result
o 303175
c local Search
c better result
o 303052
c local Search
c better result
o 303137
c local Search
c better result
o 303014
c local Search
c better result
o 303053
c local Search
c better result
o 302930
c local Search
c better result
o 303015
c local Search
c better result
o 302892
c local Search
c better result
o 303731
c local Search
c better result
o 303608
c local Search
c better result
o 303693
c local Search
c better result
o 303570
c local Search
c better result
o 303016
c local Search
c better result
o 302978
c local Search
c better result
o 303694
c local Search
c better result
o 303656
c local Search
c better result
o 302970
c local Search
c better result
o 302847
c local Search
c better result
o 302932
c local Search
c better result
o 302809
c local Search
c better result
o 303648
c local Search
c better result
o 303525
c local Search
c better result
o 303610
c local Search
c better result
o 303487
c local Search
c better result
o 302933
c local Search
c better result
o 302895
c local Search
c better result
o 303611
c local Search
c better result
o 303573
c local Search
c better result
o 303207
c local Search
c better result
o 303084
c local Search
c better result
o 303169
c local Search
c better result
o 303046
c local Search
c better result
o 302826
c local Search
c better result
o 302703
c local Search
c better result
o 302788
c local Search
c better result
o 302665
c local Search
c better result
o 303170
c local Search
c better result
o 303132
c local Search
c better result
o 302789
c local Search
c better result
o 302751
c local Search
c better result
o 303124
c local Search
c better result
o 303001
c local Search
c better result
o 303086
c local Search
c better result
o 302963
c local Search
c better result
o 302743
c local Search
c better result
o 302620
c local Search
c better result
o 302705
c local Search
c better result
o 302582
c local Search
c better result
o 303087
c local Search
c better result
o 303049
c local Search
c better result
o 302706
c local Search
c better result
o 302668
c local Search
c better result
o 303078
c local Search
c better result
o 302955
c local Search
c better result
o 303040
c local Search
c better result
o 302917
c local Search
c better result
o 303041
c local Search
c better result
o 303003
c local Search
c better result
o 302995
c local Search
c better result
o 302872
c local Search
c better result
o 302957
c local Search
c better result
o 302834
c local Search
c better result
o 302958
c local Search
c better result
o 302920
c local Search
c better result
o 303232
c local Search
c better result
o 303109
c local Search
c better result
o 303194
c local Search
c better result
o 303071
c local Search
c better result
o 303195
c local Search
c better result
o 303157
c local Search
c better result
o 303149
c local Search
c better result
o 303026
c local Search
c better result
o 303111
c local Search
c better result
o 302988
c local Search
c better result
o 303112
c local Search
c better result
o 303074
c local Search
c better result
o 303061
c local Search
c better result
o 302938
c local Search
c better result
o 303023
c local Search
c better result
o 302900
c local Search
c better result
o 303739
c local Search
c better result
o 303616
c local Search
c better result
o 303701
c local Search
c better result
o 303578
c local Search
c better result
o 302978
c local Search
c better result
o 302855
c local Search
c better result
o 3