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_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0002.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 141 1833 110426
c WARNING: Ubcsat not found.
o 110426
c local Search
o 98713
c local Search
o 98531
c local Search
o 98240
c local Search
o 98058
c local Search
o 98035
c local Search
o 97963
c local Search
o 97940
c local Search
c better result
o 427282
c local Search
c better result
o 427100
c local Search
c better result
o 427282
c local Search
c better result
o 427100
c local Search
c better result
o 426594
c local Search
c better result
o 426412
c local Search
c better result
o 426594
c local Search
c better result
o 426412
c local Search
c better result
o 427732
c local Search
c better result
o 427550
c local Search
c better result
o 427732
c local Search
c better result
o 427550
c local Search
c better result
o 427044
c local Search
c better result
o 426862
c local Search
c better result
o 427044
c local Search
c better result
o 426862
c local Search
c better result
o 427259
c local Search
c better result
o 427077
c local Search
c better result
o 427259
c local Search
c better result
o 427077
c local Search
c better result
o 426571
c local Search
c better result
o 426389
c local Search
c better result
o 426571
c local Search
c better result
o 426389
c local Search
c better result
o 427660
c local Search
c better result
o 427478
c local Search
c better result
o 427660
c local Search
c better result
o 427478
c local Search
c better result
o 426972
c local Search
c better result
o 426790
c local Search
c better result
o 426972
c local Search
c better result
o 426790
c local Search
c better result
o 427187
c local Search
c better result
o 427005
c local Search
c better result
o 427187
c local Search
c better result
o 427005
c local Search
c better result
o 426499
c local Search
c better result
o 426317
c local Search
c better result
o 426499
c local Search
c better result
o 426317
c local Search
c better result
o 427637
c local Search
c better result
o 427455
c local Search
c better result
o 427637
c local Search
c better result
o 427455
c local Search
c better result
o 426949
c local Search
c better result
o 426767
c local Search
c better result
o 426949
c local Search
c better result
o 426767
c local Search
c better result
o 427164
c local Search
c better result
o 426982
c local Search
c better result
o 427164
c local Search
c better result
o 426982
c local Search
c better result
o 426476
c local Search
c better result
o 426294
c local Search
c better result
o 426476
c local Search
c better result
o 426294
c local Search
o 98713
c local Search
o 98531
c local Search
o 98240
c local Search
o 98058
c local Search
o 98035
c local Search
o 97963
c local Search
o 97940
c local Search
c better result
o 427282
c local Search
c better result
o 427100
c local Search
c better result
o 427282
c local Search
c better result
o 427100
c local Search
c better result
o 426594
c local Search
c better result
o 426412
c local Search
c better result
o 426594
c local Search
c better result
o 426412
c local Search
c better result
o 427732
c local Search
c better result
o 427550
c local Search
c better result
o 427732
c local Search
c better result
o 427550
c local Search
c better result
o 427044
c local Search
c better result
o 426862
c local Search
c better result
o 427044
c local Search
c better result
o 426862
c local Search
c better result
o 427259
c local Search
c better result
o 427077
c local Search
c better result
o 427259
c local Search
c better result
o 427077
c local Search
c better result
o 426571
c local Search
c better result
o 426389
c local Search
c better result
o 426571
c local Search
c better result
o 426389
c local Search
c better result
o 427660
c local Search
c better result
o 427478
c local Search
c better result
o 427660
c local Search
c better result
o 427478
c local Search
c better result
o 426972
c local Search
c better result
o 426790
c local Search
c better result
o 426972
c local Search
c better result
o 426790
c local Search
c better result
o 427187
c local Search
c better result
o 427005
c local Search
c better result
o 427187
c local Search
c better result
o 427005
c local Search
c better result
o 426499
c local Search
c better result
o 426317
c local Search
c better result
o 426499
c local Search
c better result
o 426317
c local Search
c better result
o 427637
c local Search
c better result
o 427455
c local Search
c better result
o 427637
c local Search
c better result
o 427455
c local Search
c better result
o 426949
c local Search
c better result
o 426767
c local Search
c better result
o 426949
c local Search
c better result
o 426767
c local Search
c better result
o 427164
c local Search
c better result
o 426982
c local Search
c better result
o 427164
c local Search
c better result
o 426982
c local Search
c better result
o 426476
c local Search
c better result
o 426294
c local Search
c better result
o 426476
c local Search
c better result
o 426294
c local Search
o 98025
c local Search
o 98001
c local Search
o 97843
c local Search
o 97819
c local Search
o 97552
c local Search
o 97528
c local Search
o 97370
c local Search
o 97346
c local Search
o 97323
c local Search
o 97275
c local Search
o 97251
c local Search
o 97228
c local Search
c better result
o 426594
o 97067
o 96909
ERROR: Solution verification fails, real_empty = 97067, NB_EMPTY = 96885.
c local Search
c better result
o 426570
c local Search
c better result
o 426594
c local Search
c better result
o 426570
c local Search
c better result
o 426412
c local Search
c better result
o 426388
o 97541
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 97517.
c local Search
c better result
o 426388
ERROR: Solution verification fails, real_empty = 96909, NB_EMPTY = 97359.
c local Search
c better result
o 426412
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 97335.
c local Search
c better result
o 426388
ERROR: Solution verification fails, real_empty = 97091, NB_EMPTY = 97541.
c local Search
c better result
o 426594
ERROR: Solution verification fails, real_empty = 97067, NB_EMPTY = 97517.
c local Search
c better result
o 426570
ERROR: Solution verification fails, real_empty = 96909, NB_EMPTY = 97359.
c local Search
c better result
o 426412
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 97335.
c local Search
c better result
o 426388
ERROR: Solution verification fails, real_empty = 97091, NB_EMPTY = 97068.
c local Search
c better result
o 426594
ERROR: Solution verification fails, real_empty = 97067, NB_EMPTY = 97044.
c local Search
c better result
o 426570
ERROR: Solution verification fails, real_empty = 96909, NB_EMPTY = 96886.
c local Search
c better result
o 426412
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 96862.
c local Search
c better result
o 426388
ERROR: Solution verification fails, real_empty = 97091, NB_EMPTY = 97068.
c local Search
c better result
o 426594
ERROR: Solution verification fails, real_empty = 97067, NB_EMPTY = 97044.
c local Search
c better result
o 426570
ERROR: Solution verification fails, real_empty = 96909, NB_EMPTY = 96886.
c local Search
c better result
o 426412
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 96862.
c local Search
c better result
o 426388
c local Search
c better result
o 426972
c local Search
c better result
o 426948
c local Search
c better result
o 426790
c local Search
c better result
o 426766
c local Search
c better result
o 426972
c local Search
c better result
o 426948
c local Search
c better result
o 426790
c local Search
c better result
o 426766
c local Search
c better result
o 426499
c local Search
c better result
o 426475
c local Search
c better result
o 426317
c local Search
c better result
o 426293
c local Search
c better result
o 426499
c local Search
c better result
o 426475
c local Search
c better result
o 426317
c local Search
c better result
o 426293
c local Search
c better result
o 426949
c local Search
c better result
o 426925
c local Search
c better result
o 426767
c local Search
c better result
o 426743
c local Search
c better result
o 426949
c local Search
c better result
o 426925
c local Search
c better result
o 426767
c local Search
c better result
o 426743
c local Search
c better result
o 426476
c local Search
c better result
o 426452
c local Search
c better result
o 426294
c local Search
c better result
o 426270
c local Search
c better result
o 426476
c local Search
c better result
o 426452
c local Search
c better result
o 426294
c local Search
c better result
o 426270
c local Search
o 98025
c local Search
o 98001
c local Search
o 97843
c local Search
o 97819
c local Search
o 97552
c local Search
o 97528
o 97370
c local Search
o 97346
c local Search
o 97323
c local Search
o 97275
c local Search
o 97251
o 97228
c local Search
c better result
o 426594
o 97067
c local Search
c better result
o 426412
c local Search
c better result
o 426388
o 97091
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 97067.
c local Search
c better result
o 426388
c local Search
c better result
o 426412
c local Search
c better result
o 426388
o 97541
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 97517.
o 97517
ERROR: Solution verification fails, real_empty = 96909, NB_EMPTY = 97359.
c local Search
c better result
o 426412
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 97335.
c local Search
c better result
o 426388
ERROR: Solution verification fails, real_empty = 97091, NB_EMPTY = 97541.
c local Search
c better result
o 426594
ERROR: Solution verification fails, real_empty = 97067, NB_EMPTY = 97517.
c local Search
c better result
o 426570
ERROR: Solution verification fails, real_empty = 96909, NB_EMPTY = 97359.
c local Search
c better result
o 426412
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 97335.
c local Search
c better result
o 426388
ERROR: Solution verification fails, real_empty = 97091, NB_EMPTY = 97068.
c local Search
c better result
o 426594
ERROR: Solution verification fails, real_empty = 97067, NB_EMPTY = 97044.
c local Search
c better result
o 426570
ERROR: Solution verification fails, real_empty = 96909, NB_EMPTY = 96886.
c local Search
c better result
o 426412
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 96862.
c local Search
c better result
o 426388
ERROR: Solution verification fails, real_empty = 97091, NB_EMPTY = 97068.
c local Search
c better result
o 426594
ERROR: Solution verification fails, real_empty = 97067, NB_EMPTY = 97044.
c local Search
c better result
o 426570
ERROR: Solution verification fails, real_empty = 96909, NB_EMPTY = 96886.
c local Search
c better result
o 426412
ERROR: Solution verification fails, real_empty = 96885, NB_EMPTY = 96862.
c local Search
c better result
o 426388
c local Search
c better result
o 426972
c local Search
c better result
o 426948
c local Search
c better result
o 426790
c local Search
c better result
o 426766
c local Search
c better result
o 426972
c local Search
c better result
o 426948
c local Search
c better result
o 426790
c local Search
c better result
o 426766
c local Search
c better result
o 426499
c local Search
c better result
o 426475
c local Search
c better result
o 426317
c local Search
c better result
o 426293
c local Search
c better result
o 426499
c local Search
c better result
o 426475
c local Search
c better result
o 426317
c local Search
c better result
o 426293
c local Search
c better result
o 426949
c local Search
c better result
o 426925
c local Search
c better result
o 426767
c local Search
c better result
o 426743
c local Search
c better result
o 426949
c local Search
c better result
o 426925
c local Search
c better result
o 426767
c local Search
c better result
o 426743
c local Search
c better result
o 426476
c local Search
c better result
o 426452
c local Search
c better result
o 426294
c local Search
c better result
o 426270
c local Search
c better result
o 426476
c local Search
c better result
o 426452
c local Search
c better result
o 426294
c local Search
c better result
o 426270
c local Search
o 98685
c local Search
o 98503
c local Search
o 98212
c local Search
o 98030
c local Search
o 98007
c local Search
o 97935
c local Search
o 97912
c local Search
c better result
o 427254
c local Search
c better result
o 427072
c local Search
c bett