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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0007.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 131 1754 91265
c WARNING: Ubcsat not found.
o 91265
c local Search
c better result
o 261408
c local Search
c better result
o 261403
c local Search
c better result
o 261710
c local Search
c better result
o 261705
c local Search
c better result
o 261341
c local Search
c better result
o 261336
c local Search
c better result
o 261643
c local Search
c better result
o 261638
c local Search
c better result
o 261408
c local Search
c better result
o 261403
c local Search
c better result
o 261710
c local Search
c better result
o 261705
c local Search
c better result
o 261341
c local Search
c better result
o 261336
c local Search
c better result
o 261643
c local Search
c better result
o 261638
c local Search
c better result
o 261140
c local Search
c better result
o 261135
c local Search
c better result
o 261442
c local Search
c better result
o 261437
c local Search
c better result
o 261073
c local Search
c better result
o 261068
c local Search
c better result
o 261375
c local Search
c better result
o 261370
c local Search
c better result
o 261140
c local Search
c better result
o 261135
c local Search
c better result
o 261442
c local Search
c better result
o 261437
c local Search
c better result
o 261073
c local Search
c better result
o 261068
c local Search
c better result
o 261375
c local Search
c better result
o 261370
c local Search
c better result
o 261343
c local Search
c better result
o 261338
c local Search
c better result
o 261645
c local Search
c better result
o 261640
c local Search
c better result
o 261276
c local Search
c better result
o 261271
c local Search
c better result
o 261578
c local Search
c better result
o 261573
c local Search
c better result
o 261343
c local Search
c better result
o 261338
c local Search
c better result
o 261645
c local Search
c better result
o 261640
c local Search
c better result
o 261276
c local Search
c better result
o 261271
c local Search
c better result
o 261578
c local Search
c better result
o 261573
c local Search
c better result
o 261075
c local Search
c better result
o 261070
c local Search
c better result
o 261377
c local Search
c better result
o 261372
c local Search
c better result
o 261008
c local Search
c better result
o 261003
c local Search
c better result
o 261310
c local Search
c better result
o 261305
c local Search
c better result
o 261075
c local Search
c better result
o 261070
c local Search
c better result
o 261377
c local Search
c better result
o 261372
c local Search
c better result
o 261008
c local Search
c better result
o 261003
c local Search
c better result
o 261310
c local Search
c better result
o 261305
c local Search
o 80251
c local Search
o 80246
c local Search
o 80184
c local Search
o 80179
c local Search
o 79983
c local Search
o 79978
c local Search
o 79916
c local Search
o 79911
c local Search
o 79851
c local Search
o 79846
c local Search
c better result
o 260814
c local Search
c better result
o 260809
c local Search
c better result
o 261116
c local Search
c better result
o 261111
c local Search
c better result
o 260881
c local Search
c better result
o 260876
c local Search
c better result
o 261183
c local Search
c better result
o 261178
c local Search
c better result
o 260814
c local Search
c better result
o 260809
c local Search
c better result
o 261116
c local Search
c better result
o 261111
c local Search
c better result
o 261084
c local Search
c better result
o 261079
c local Search
c better result
o 261386
c local Search
c better result
o 261381
c local Search
c better result
o 261017
c local Search
c better result
o 261012
c local Search
c better result
o 261319
c local Search
c better result
o 261314
c local Search
c better result
o 261084
c local Search
c better result
o 261079
c local Search
c better result
o 261386
c local Search
c better result
o 261381
c local Search
c better result
o 261017
c local Search
c better result
o 261012
c local Search
c better result
o 261319
c local Search
c better result
o 261314
c local Search
c better result
o 260816
c local Search
c better result
o 260811
c local Search
c better result
o 261118
c local Search
c better result
o 261113
c local Search
c better result
o 260749
c local Search
c better result
o 260744
c local Search
c better result
o 261051
c local Search
c better result
o 261046
c local Search
c better result
o 260816
c local Search
c better result
o 260811
c local Search
c better result
o 261118
c local Search
c better result
o 261113
c local Search
c better result
o 260749
c local Search
c better result
o 260744
c local Search
c better result
o 261051
c local Search
c better result
o 261046
c local Search
o 79992
c local Search
o 79987
c local Search
o 79925
c local Search
o 79920
c local Search
o 79724
c local Search
o 79719
o 79657
c local Search
o 79652
c local Search
o 79592
o 79587
c local Search
o 79530
c local Search
o 79525
c local Search
c better result
o 260493
c local Search
c better result
o 260488
c local Search
c better result
o 260795
c local Search
c better result
o 260790
c local Search
c better result
o 260560
c local Search
c better result
o 260555
c local Search
c better result
o 260862
c local Search
c better result
o 260857
c local Search
c better result
o 260493
c local Search
c better result
o 260488
c local Search
c better result
o 260795
c local Search
c better result
o 260790
c local Search
c better result
o 260763
c local Search
c better result
o 260758
c local Search
c better result
o 261065
c local Search
c better result
o 261060
c local Search
c better result
o 260696
c local Search
c better result
o 260691
c local Search
c better result
o 260998
c local Search
c better result
o 260993
c local Search
c better result
o 260763
c local Search
c better result
o 260758
c local Search
c better result
o 261065
c local Search
c better result
o 261060
c local Search
c better result
o 260696
c local Search
c better result
o 260691
c local Search
c better result
o 260998
c local Search
c better result
o 260993
c local Search
c better result
o 260495
c local Search
c better result
o 260490
c local Search
c better result
o 260797
c local Search
c better result
o 260792
c local Search
c better result
o 260428
c local Search
c better result
o 260423
c local Search
c better result
o 260730
c local Search
c better result
o 260725
c local Search
c better result
o 260495
c local Search
c better result
o 260490
c local Search
c better result
o 260797
c local Search
c better result
o 260792
c local Search
c better result
o 260428
c local Search
c better result
o 260423
c local Search
c better result
o 260730
c local Search
c better result
o 260725
c local Search
o 79671
c local Search
o 79666
c local Search
o 79604
c local Search
o 79599
c local Search
o 79403
o 79398
c local Search
o 79336
c local Search
o 79331
c local Search
o 79271
c local Search
o 79266
c local Search
o 79243
c local Search
o 79238
c local Search
c better result
o 260206
c local Search
c better result
o 260201
c local Search
c better result
o 260508
c local Search
c better result
o 260503
c local Search
c better result
o 260273
o 79589
o 79527
ERROR: Solution verification fails, real_empty = 79589, NB_EMPTY = 79522.
o 79522
c local Search
c better result
o 260476
c local Search
c better result
o 260471
c local Search
c better result
o 260778
c local Search
c better result
o 260773
c local Search
c better result
o 260409
c local Search
c better result
o 260404
c local Search
c better result
o 260711
c local Search
c better result
o 260706
c local Search
c better result
o 260476
c local Search
c better result
o 260471
c local Search
c better result
o 260778
c local Search
c better result
o 260773
c local Search
c better result
o 260409
c local Search
c better result
o 260404
c local Search
c better result
o 260711
c local Search
c better result
o 260706
c local Search
c better result
o 260208
c local Search
c better result
o 260203
c local Search
c better result
o 260510
c local Search
c better result
o 260505
c local Search
c better result
o 260141
c local Search
c better result
o 260136
c local Search
c better result
o 260443
c local Search
c better result
o 260438
c local Search
c better result
o 260208
c