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_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0003.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 161 2417 128065
c WARNING: Ubcsat not found.
o 128065
c local Search
o 112052
c local Search
o 111995
c local Search
o 111963
c local Search
o 111906
c local Search
o 111861
c local Search
o 111829
c local Search
o 111772
c local Search
o 111420
c local Search
o 111363
c local Search
o 111331
c local Search
o 111274
c local Search
o 111229
c local Search
o 111197
c local Search
o 111140
c local Search
o 110935
c local Search
o 110878
c local Search
o 110846
c local Search
o 110789
c local Search
o 110744
o 110712
o 110655
c local Search
o 110600
c local Search
o 110555
c local Search
o 110523
c local Search
o 110466
o 110438
o 110278
c local Search
o 110221
o 110189
o 110132
o 110087
o 110055
c local Search
o 109998
c local Search
o 109943
o 109898
c local Search
o 109866
c local Search
o 109809
c local Search
o 109781
o 109777
o 109720
o 109675
c local Search
o 109643
o 109586
c local Search
o 109531
o 109486
o 109454
c local Search
o 109397
c local Search
o 109369
o 109326
o 109294
o 109237
o 109209
c local Search
o 109207
c local Search
c better result
o 491521
o 236829
c local Search
c better result
o 494567
c local Search
c better result
o 494510
o 111702
ERROR: Solution verification fails, real_empty = 111734, NB_EMPTY = 111645.
c local Search
c better result
o 494510
o 111657
ERROR: Solution verification fails, real_empty = 111734, NB_EMPTY = 111600.
o 111600
ERROR: Solution verification fails, real_empty = 111702, NB_EMPTY = 111568.
c local Search
c better result
o 494478
ERROR: Solution verification fails, real_empty = 111645, NB_EMPTY = 111511.
o 111511
o 111159
ERROR: Solution verification fails, real_empty = 111645, NB_EMPTY = 111102.
c local Search
c better result
o 494421
ERROR: Solution verification fails, real_empty = 111702, NB_EMPTY = 111070.
c local Search
c better result
o 494478
ERROR: Solution verification fails, real_empty = 111645, NB_EMPTY = 111013.
c local Search
c better result
o 494421
ERROR: Solution verification fails, real_empty = 111657, NB_EMPTY = 111025.
c local Search
c better result
o 494433
ERROR: Solution verification fails, real_empty = 111600, NB_EMPTY = 110968.
c local Search
c better result
o 494376
ERROR: Solution verification fails, real_empty = 111568, NB_EMPTY = 110936.
c local Search
c better result
o 494344
ERROR: Solution verification fails, real_empty = 111511, NB_EMPTY = 110879.
o 110879
o 110674
ERROR: Solution verification fails, real_empty = 111511, NB_EMPTY = 110617.
c local Search
c better result
o 494287
ERROR: Solution verification fails, real_empty = 111568, NB_EMPTY = 110585.
o 110585
ERROR: Solution verification fails, real_empty = 111511, NB_EMPTY = 110528.
c local Search
c better result
o 494287
ERROR: Solution verification fails, real_empty = 111657, NB_EMPTY = 110540.
c local Search
c better result
o 494433
ERROR: Solution verification fails, real_empty = 111600, NB_EMPTY = 110483.
c local Search
c better result
o 494376
ERROR: Solution verification fails, real_empty = 111568, NB_EMPTY = 110451.
c local Search
c better result
o 494344
ERROR: Solution verification fails, real_empty = 111511, NB_EMPTY = 110394.
c local Search
c better result
o 494287
c local Search
c better result
o 494378
c local Search
c better result
o 494321
c local Search
c better result
o 494289
o 111456
c local Search
c better result
o 494187
c local Search
c better result
o 494187
o 111379
ERROR: Solution verification fails, real_empty = 111411, NB_EMPTY = 111322.
c local Search
c better result
o 494187
c local Search
o 110970
c local Search
o 110913
c local Search
o 110881
c local Search
o 110824
c local Search
o 110779
c local Search
o 110747
o 110690
o 110485
o 110428
o 110396
c local Search
o 110339
c local Search
o 110294
c local Search
o 110262
c local Search
o 110205
c local Search
c better result
o 492519
c local Search
c better result
o 492519
o 111134
ERROR: Solution verification fails, real_empty = 110177, NB_EMPTY = 111077.
o 111077
ERROR: Solution verification fails, real_empty = 110234, NB_EMPTY = 111045.
c local Search
c better result
o 492576
ERROR: Solution verification fails, real_empty = 110177, NB_EMPTY = 110988.
c local Search
c better result
o 492519
ERROR: Solution verification fails, real_empty = 110323, NB_EMPTY = 111000.
c local Search
c better result
o 492665
ERROR: Solution verification fails, real_empty = 110266, NB_EMPTY = 110943.
c local Search
c better result
o 492608
ERROR: Solution verification fails, real_empty = 110234, NB_EMPTY = 110911.
c local Search
c better result
o 492576
ERROR: Solution verification fails, real_empty = 110177, NB_EMPTY = 110854.
c local Search
c better result
o 492519
ERROR: Solution verification fails, real_empty = 110457, NB_EMPTY = 110502.
c local Search
c better result
o 492799
ERROR: Solution verification fails, real_empty = 110400, NB_EMPTY = 110445.
o 110445
ERROR: Solution verification fails, real_empty = 110368, NB_EMPTY = 110413.
c local Search
c better result
o 492710
ERROR: Solution verification fails, real_empty = 110311, NB_EMPTY = 110356.
c local Search
c better result
o 492653
ERROR: Solution verification fails, real_empty = 110323, NB_EMPTY = 110368.
c local Search
c better result
o 492665
ERROR: Solution verification fails, real_empty = 110266, NB_EMPTY = 110311.
o 110311
ERROR: Solution verification fails, real_empty = 110234, NB_EMPTY = 110279.
c local Search
c better result
o 492576
ERROR: Solution verification fails, real_empty = 110177, NB_EMPTY = 110222.
o 110222
ERROR: Solution verification fails, real_empty = 110457, NB_EMPTY = 110017.
c local Search
c better result
o 492799
ERROR: Solution verification fails, real_empty = 110400, NB_EMPTY = 109960.
c local Search
c better result
o 492742
ERROR: Solution verification fails, real_empty = 110368, NB_EMPTY = 109928.
c local Search
c better result
o 492710
ERROR: Solution verification fails, real_empty = 110311, NB_EMPTY = 109871.
c local Search
c better result
o 492653
ERROR: Solution verification fails, real_empty = 110323, NB_EMPTY = 109883.
c local Search
c better result
o 492665
ERROR: Solution verification fails, real_empty = 110266, NB_EMPTY = 109826.
c local Search
c better result
o 492608
ERROR: Solution verification fails, real_empty = 110234, NB_EMPTY = 109794.
c local Search
c better result
o 492576
ERROR: Solution verification fails, real_empty = 110177, NB_EMPTY = 109737.
c local Search
c better result
o 492519
ERROR: Solution verification fails, real_empty = 111574, NB_EMPTY = 110945.
c local Search
c better result
o 493206
ERROR: Solution verification fails, real_empty = 111517, NB_EMPTY = 110888.
c local Search
c better result
o 493149
ERROR: Solution verification fails, real_empty = 111485, NB_EMPTY = 110856.
c local Search
c better result
o 493117
ERROR: Solution verification fails, real_empty = 111428, NB_EMPTY = 110799.
c local Search
c better result
o 493060
ERROR: Solution verification fails, real_empty = 111440, NB_EMPTY = 110811.
c local Search
c better result
o 493072
ERROR: Solution verification fails, real_empty = 111383, NB_EMPTY = 110754.
c local Search
c better result
o 493015
ERROR: Solution verification fails, real_empty = 111351, NB_EMPTY = 110722.
c local Search
c better result
o 492983
ERROR: Solution verification fails, real_empty = 111294, NB_EMPTY = 110665.
c local Search
c better result
o 492926
ERROR: Solution verification fails, real_empty = 110942, NB_EMPTY = 110313.
c local Search
c better result
o 493284
ERROR: Solution verification fails, real_empty = 110885, NB_EMPTY = 110256.
c local Search
c better result
o 493227
ERROR: Solution verification fails, real_empty = 110853, NB_EMPTY = 110224.
c local Search
c better result
o 493195
ERROR: Solution verification fails, real_empty = 110796, NB_EMPTY = 110167.
c local Search
c better result
o 493138
ERROR: Solution verification fails, real_empty = 110808, NB_EMPTY = 110179.
c local Search
c better result
o 493150
ERROR: Solution verification fails, real_empty = 110751, NB_EMPTY = 110122.
c local Search
c better result
o 493093
ERROR: Solution verification fails, real_empty = 110719, NB_EMPTY = 110090.
c local Search
c better result
o 493061
ERROR: Solution