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_160_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0004.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 160 2892 121768
c WARNING: Ubcsat not found.
o 121768
c local Search
c better result
o 107659
c local Search
c better result
o 107452
c local Search
c better result
o 107659
c local Search
c better result
o 107452
c local Search
c better result
o 107489
c local Search
c better result
o 107282
c local Search
c better result
o 107489
c local Search
c better result
o 107282
c local Search
o 107149
c local Search
o 107088
c local Search
o 107068
c local Search
o 107007
c local Search
o 107001
c local Search
o 106940
c local Search
o 106920
c local Search
o 106859
c local Search
o 106809
c local Search
o 106748
c local Search
o 106728
c local Search
o 106667
o 106661
c local Search
o 106600
c local Search
o 106580
c local Search
o 106519
c local Search
o 106512
o 106451
o 106431
c local Search
o 106370
o 106364
o 106303
o 106283
o 106222
c local Search
c better result
o 106392
c local Search
c better result
o 106392
o 106278
ERROR: Solution verification fails, real_empty = 106175, NB_EMPTY = 106155.
c local Search
c better result
o 106392
ERROR: Solution verification fails, real_empty = 106175, NB_EMPTY = 106155.
c local Search
c better result
o 106392
ERROR: Solution verification fails, real_empty = 106468, NB_EMPTY = 106387.
c local Search
c better result
o 106046
o 106026
ERROR: Solution verification fails, real_empty = 106155, NB_EMPTY = 106006.
c local Search
c better result
o 106372
ERROR: Solution verification fails, real_empty = 106155, NB_EMPTY = 106006.
c local Search
c better result
o 106372
ERROR: Solution verification fails, real_empty = 106387, NB_EMPTY = 106238.
c local Search
c better result
o 105965
ERROR: Solution verification fails, real_empty = 106094, NB_EMPTY = 105945.
o 105945
ERROR: Solution verification fails, real_empty = 106236, NB_EMPTY = 105939.
c local Search
c better result
o 106453
ERROR: Solution verification fails, real_empty = 106236, NB_EMPTY = 105939.
c local Search
c better result
o 106453
ERROR: Solution verification fails, real_empty = 106468, NB_EMPTY = 106171.
c local Search
c better result
o 106046
ERROR: Solution verification fails, real_empty = 106298, NB_EMPTY = 106001.
c local Search
c better result
o 105876
ERROR: Solution verification fails, real_empty = 106155, NB_EMPTY = 105858.
c local Search
c better result
o 106372
ERROR: Solution verification fails, real_empty = 106155, NB_EMPTY = 105858.
c local Search
c better result
o 106372
ERROR: Solution verification fails, real_empty = 106387, NB_EMPTY = 106090.
c local Search
c better result
o 105965
ERROR: Solution verification fails, real_empty = 106217, NB_EMPTY = 105920.
c local Search
c better result
o 105795
c local Search
c better result
o 106095
c local Search
c better result
o 106095
c local Search
c better result
o 105596
c local Search
c better result
o 105871
c local Search
c better result
o 105871
c local Search
c better result
o 106122
c local Search
c better result
o 106122
c local Search
c better result
o 105952
c local Search
c better result
o 105952
c local Search
c better result
o 106041
c local Search
c better result
o 106041
c local Search
c better result
o 105871
c local Search
c better result
o 105871
c local Search
c better result
o 106150
c local Search
c better result
o 106150
c local Search
c better result
o 106231
c local Search
c better result
o 106231
c local Search
c better result
o 106150
c local Search
c better result
o 106150
c local Search
c better result
o 106348
c local Search
c better result
o 106348
c local Search
c better result
o 106500
c local Search
c better result
o 106500
c local Search
c better result
o 106429
c local Search
c better result
o 106429
c local Search
c better result
o 106589
c local Search
c better result
o 106589
c local Search
c better result
o 106518
c local Search
c better result
o 106518
c local Search
c better result
o 106419
c local Search
c better result
o 106419
c local Search
c better result
o 106348
c local Search
c better result
o 106348
c local Search
o 106308
c local Search
o 106227
c local Search
o 106160
c local Search
o 106079
c lo