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_110_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0001.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 113 1549 71898
c WARNING: Ubcsat not found.
o 71898
c local Search
c better result
o 346038
c local Search
c better result
o 346730
c local Search
c better result
o 346338
c local Search
o 60384
c local Search
c better result
o 346511
c local Search
c better result
o 346119
c local Search
o 60165
c local Search
c better result
o 418235
c local Search
c better result
o 417843
c local Search
o 59991
c local Search
o 59971
c local Search
c better result
o 418061
c local Search
c better result
o 418020
c local Search
c better result
o 417984
c local Search
c better result
o 417943
c local Search
c better result
o 346296
c local Search
c better result
o 346255
c local Search
c better result
o 346219
c local Search
c better result
o 346178
c local Search
o 60334
c local Search
o 60293
c local Search
o 60257
c local Search
o 60216
c local Search
o 60115
c local Search
o 60074
o 60038
o 59997
c local Search
o 59941
c local Search
o 59900
c local Search
o 59864
o 59823
c local Search
o 59817
c local Search
o 59776
c local Search
o 59756
c local Search
c better result
o 345890
c local Search
c better result
o 345498
c local Search
o 59544
c local Search
c better result
o 417614
o 59473
ERROR: Solution verification fails, real_empty = 59514, NB_EMPTY = 59370.
c local Search
c better result
o 417614
c local Search
c better result
o 416881
c local Search
c better result
o 417181
o 59750
ERROR: Solution verification fails, real_empty = 131227, NB_EMPTY = 59647.
c local Search
c better result
o 417914
ERROR: Solution verification fails, real_empty = 59432, NB_EMPTY = 59606.
c local Search
c better result
o 417181
ERROR: Solution verification fails, real_empty = 131227, NB_EMPTY = 59503.
c local Search
c better result
o 417914
ERROR: Solution verification fails, real_empty = 59576, NB_EMPTY = 59709.
c local Search
c better result
o 416881
ERROR: Solution verification fails, real_empty = 59432, NB_EMPTY = 59565.
c local Search
c better result
o 417181
c local Search
c better result
o 345841
c local Search
o 59887
c local Search
c better result
o 345697
c local Search
o 59743
c local Search
o 59668
c local Search
c better result
o 345478
c local Search
o 59524
c local Search
o 59494
c local Search
c better result
o 417202
c local Search
o 59350
c local Search
c better result
o 417440
c local Search
c better result
o 417399
c local Search
c better result
o 417363
c local Search
c better result
o 417322
c local Search
c better result
o 345675
c local Search
c better result
o 345634
c local Search
c better result
o 345598
c local Search
c better result
o 345557
c local Search
o 59713
c local Search
o 59672
c local Search
o 59636
c local Search
o 59595
c local Search
o 59494
c local Search
o 59453
c local Search
o 59417
c local Search
o 59376
c local Search
o 59320
c local Search
o 59279
c local Search
o 59243
c local Search
o 59202
c local Search
o 59196
c local Search
o 59155
c local Search
o 59135
c local Search
o 59117
o 59106
c local Search
c better result
o 345351
c local Search
o 58998
o 58968
c local Search
c better result
o 417075
c local Search
o 58824
c local Search
o 58804
c local Search
c better result
o 416894
c local Search
c better result
o 416817
c local Search
c better result
o 345129
c local Search
c better result
o 345052
o 59167
ERROR: Solution verification fails, real_empty = 58850, NB_EMPTY = 59090.
o 59090
ERROR: Solution verification fails, real_empty = 58794, NB_EMPTY = 58948.
o 58948
ERROR: Solution verification fails, real_empty = 58850, NB_EMPTY = 58871.
o 58871
ERROR: Solution verification fails, real_empty = 58794, NB_EMPTY = 58774.
c local Search
c better result
o 416894
ERROR: Solution verification fails, real_empty = 58717, NB_EMPTY = 58697.
c local Search
c better result
o 416817
ERROR: Solution verification fails, real_empty = 58927, NB_EMPTY = 58907.
c local Search
c better result
o 345129
ERROR: Solution verification fails, real_empty = 58850, NB_EMPTY = 58830.
c local Search
c better result
o 345052
c local Search
c better result
o 345389
c local Search
c better result
o 345312
c