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_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0004.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 110 916 70924
c WARNING: Ubcsat not found.
o 70924
c local Search
o 59948
c local Search
o 59937
c local Search
o 59836
c local Search
o 59825
c local Search
o 59724
c local Search
o 59713
c local Search
o 59612
c local Search
o 59601
c local Search
o 59580
c local Search
o 59569
c local Search
o 59468
c local Search
o 59457
c local Search
o 59356
c local Search
o 59345
c local Search
o 59244
c local Search
o 59233
c local Search
o 59200
c local Search
o 59189
c local Search
o 59163
o 59152
o 59051
c local Search
o 59040
c local Search
o 58939
c local Search
o 58928
c local Search
o 58895
o 58884
o 58875
c local Search
o 58864
o 58831
o 58820
o 58795
o 58784
c local Search
c better result
o 128753
c local Search
c better result
o 128742
o 59574
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 59563.
c local Search
c better result
o 128742
ERROR: Solution verification fails, real_empty = 58765, NB_EMPTY = 59462.
c local Search
c better result
o 128753
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 59451.
c local Search
c better result
o 128742
ERROR: Solution verification fails, real_empty = 58877, NB_EMPTY = 59350.
o 59350
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 59339.
c local Search
c better result
o 128742
ERROR: Solution verification fails, real_empty = 58765, NB_EMPTY = 59238.
c local Search
c better result
o 128753
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 59227.
c local Search
c better result
o 128742
ERROR: Solution verification fails, real_empty = 59101, NB_EMPTY = 59206.
o 59206
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 59195.
c local Search
c better result
o 128742
ERROR: Solution verification fails, real_empty = 58765, NB_EMPTY = 59094.
o 59094
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 59083.
c local Search
c better result
o 128742
ERROR: Solution verification fails, real_empty = 58877, NB_EMPTY = 58982.
c local Search
c better result
o 128865
ERROR: Solution verification fails, real_empty = 58866, NB_EMPTY = 58971.
c local Search
c better result
o 128854
ERROR: Solution verification fails, real_empty = 58765, NB_EMPTY = 58870.
o 58870
ERROR: Solution verification fails, real_empty = 58866, NB_EMPTY = 58859.
c local Search
c better result
o 128854
o 59502
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 59390.
o 59390
ERROR: Solution verification fails, real_empty = 58866, NB_EMPTY = 59278.
c local Search
c better result
o 128854
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 59166.
c local Search
c better result
o 128742
ERROR: Solution verification fails, real_empty = 59090, NB_EMPTY = 59134.
o 59134
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 59022.
c local Search
c better result
o 128742
ERROR: Solution verification fails, real_empty = 58866, NB_EMPTY = 58910.
c local Search
c better result
o 128854
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 58798.
c local Search
c better result
o 128742
ERROR: Solution verification fails, real_empty = 59563, NB_EMPTY = 59607.
c local Search
c better result
o 129551
ERROR: Solution verification fails, real_empty = 59451, NB_EMPTY = 59495.
c local Search
c better result
o 129439
ERROR: Solution verification fails, real_empty = 59339, NB_EMPTY = 59383.
c local Search
c better result
o 129327
ERROR: Solution verification fails, real_empty = 59227, NB_EMPTY = 59271.
c local Search
c better result
o 129215
ERROR: Solution verification fails, real_empty = 59195, NB_EMPTY = 59239.
c local Search
c better result
o 129183
ERROR: Solution verification fails, real_empty = 59083, NB_EMPTY = 59127.
c local Search
c better result
o 129071
ERROR: Solution verification fails, real_empty = 58971, NB_EMPTY = 59015.
c local Search
c better result
o 128959
ERROR: Solution verification fails, real_empty = 58859, NB_EMPTY = 58903.
c local Search
c better result
o 128847
c local Search
c better result
o 129446
c local Search
c better result
o 129334
c local Search
c better result
o 129222
c local Search
c better result
o 129110
c local Search
c better result
o 129078
c local Search
c better result
o 128966
c local Search
c better result
o 128854
c local Search
c better result
o 128742
c local Search
c better result
o 129551
c local Search
c better result
o 129439
c local Search
c better result
o 129327
c local Search
c better result
o 129215
c local Search
c better result
o 129183
c local Search
c better result
o 129071
c local Search
c better result
o 128959
c local Search
c better result
o 128847
c local Search
c better result
o 129806
c local Search
c better result
o 129795
c local Search
c better result
o 129694
c local Search
c better result
o 129683
c local Search
c better result
o 129582
c local Search
c better result
o 129571
c local Search
c better result
o 129470
c local Search
c better result
o 129459
c local Search
c better result
o 129438
c local Search
c better result
o 129427
c local Search
c better result
o 129326
c local Search
c better result
o 129315
c local Search
c better result
o 129214
c local Search
c better result
o 129203
c local Search
c better result
o 129102
c local Search
c better result
o 129091
c local Search
c better result
o 129911
c local Search
c better result
o 129900
c local Search
c better result
o 129799
c local Search
c better result
o 129788
c local Search
c better result
o 129687
c local Search
c better result
o 129676
c local Search
c better result
o 129575
c local Search
c better result
o 129564
c local Search
c better result
o 129543
c local Search
c better result
o 129532
c local Search
c better result
o 129431
c local Search
c better result
o 129420
c local Search
c better result
o 129319
c local Search
c better result
o 129308
c local Search
c better result
o 129207
c local Search
c better result
o 129196
c local Search
c better result
o 129762
c local Search
c better result
o 129751
c local Search
c better result
o 129650
c local Search
c better result
o 129639
c local Search
c better result
o 129538
c local Search
c better result
o 129527
c local Search
c better result
o 129426
c local Search
c better result
o 129415
c local Search
c better result
o 129394
c local Search
c better result
o 129383
c local Search
c better result
o 129282
c local Search
c better result
o 129271
c local Search
c better result
o 129170
c local Search
c better result
o 129159
c local Search
c better result
o 129058
c local Search
c better result
o 129047
c local Search
c better result
o 129867
c local Search
c better result
o 129856
c local Search
c better result
o 129755
c local Search
c better result
o 129744
c local Search
c better result
o 129643
c local Search
c better result
o 129632
c local Search
c better result
o 129531
c local Search
c better result
o 129520
c local Search
c better result
o 129499
c local Search
c better result
o 129488
c local Search
c better result
o 129387
c local Search
c better result
o 129376
c local Search
c better result
o 129275
c local Search
c better result
o 129264
c local Search
c better result
o 129163
c local Search
c better result
o 129152
c local Search
c better result
o 129795
c local Search
c better result
o 129683
c local Search
c better result
o 129571
c local Search
c better result
o 129459
c local Search
c better result
o 129427
c local Search
c better result
o 129315
c local Search
c better result
o 129203
c local Search
c better result
o 129091
c local Search
c better result
o 129900
c local Search
c better result
o 129788
c local Search
c better result
o 129676
c local Search
c better result
o 129564
c local Search
c better result
o 129532
c local Search
c better result
o 129420
c local Search
c better result
o 129308
c local Search
c better result
o 129196
c local Search
c better result
o 129751
c local Search
c better result
o 129639
c local Search
c better result
o 129527
c local Search
c better result
o 129415
c local Search
c better result
o 129383
c local Search
c better result
o 129271
c local Search
c better result
o 129159
c local Search
c better result
o 129047
c local Search
c better result
o 129856
c local Search
c better result
o 129744
c local Search
c better result
o 129632
c local Search
c better result
o 129520
c local Search
c better result
o 129488
c local Search
c better result
o 129376
c local Search
c better result
o 129264
c local Search
c better result
o 129152
c local Search
c better result
o 129501
c local Search
c better result
o 129490
c local Search
c better result
o 129389
c local Search
c better result
o 129378
c local Search
c better result
o 129277
c local Search
c better result
o 129266
c local Search
c better result
o 129165
c local Search
c better result
o 129154
c local Search
c better result
o 129133
c local Search
c better result
o 129122
c local Search
c better result
o 129021
c local Search
c better result
o 129010
c local Search
c better result
o 128909
c local Search
c better result
o 128898
c local Search
c better result
o 128797
c local Search
c better result
o 128786
c local Search
c better result
o 129606
c local Search
c better result
o 129595
c local Search
c better result
o 129494
c local Search
c better result
o 129483
c local Search
c better result
o 129382
c local Search
c better result
o 129371
c local Search
c better result
o 129270
c local Search
c better result
o 129259
c local Search
c better result
o 129238
c local Search
c better result
o 129227
c local Search
c better result
o 129126
c local Search
c better result
o 129115
c local Search
c better result
o 129014
c local Search
c better result
o 129003
c local Search
c better result
o 128902
c local Search
c better result
o 128891
c local Search
c better result
o 129457
c local Search
c better result
o 129446
c local Search
c better result
o 129345
c local Search
c better result
o 129334
c local Search
c better result
o 129233
c local Search
c better result
o 129222
c local Search
c better result
o 129121
c local Search
c better result
o 129110
c local Search
c better result
o 129089
c local Search
c better result
o 129078
c local Search
c better result
o 128977
c local Search
c better result
o 128966
c local Search
c better result
o 128865
c local Search
c better result
o 128854
c local Search
c better result
o 128753
c local Search
c better result
o 128742
c local Search
c better result
o 129562
c local Search
c better result
o 129551
c local Search
c better result
o 129450
c local Search
c better result
o 129439
c local Search
c better result
o 129338
c local Search
c better result
o 129327
c local Search
c better result
o 129226
c local Search
c better result
o 129215
c local Search
c better result
o 129194
c local Search
c better result
o 129183
c local Search
c better result
o 129082
c local Search
c better result
o 129071
c local Search
c better result
o 128970
c local Search
c better result
o 128959
c local Search
c better result
o 128858
c local Search
c better result
o 128847
c local Search
c better result
o 129490
c local Search
c better result
o 129378
c local Search
c better result
o 129266
c local Search
c better result
o 129154
c local Search
c better result
o 129122
c local Search
c better result
o 129010
c local Search
c better result
o 128898
c local Search
c better result
o 128786
c local Search
c better result
o 129595
c local Search
c better result
o 129483
c local Search
c better result
o 129371
c local Search
c better result
o 129259
c local Search
c better result
o 129227
c local Search
c better result
o 129115
c local Search
c better result
o 129003
c local Search
c better result
o 128891
c local Search
c better result
o 129446
c local Search
c better result
o 129334
c local Search
c better result
o 129222
c local Search
c better result
o 129110
c local Search
c better result
o 129078
c local Search
c better result
o 128966
c local Search
c better result
o 128854
c local Search
c better result
o 128742
c local Search
c better result
o 129551
c local Search
c better result
o 129439
c local Search
c better result
o 129327
c local Search
c better result
o 129215
c local Search
c better result
o 129183
c local Search
c better result
o 129071
c local Search
c better result
o 128959
c local Search
c better result
o 128847
c local Search
o 59818
c local Search
c better result
o 129795
c local Search
o 59706
c local Search
c better result
o 129683
c local Search
o 59594
c local Search
c better result
o 129571
c local Search
o 59482
c local Search
c better result
o 129459
c local Search
o 59450
c local Search
c better result
o 129427
c local Search
o 59338
c local Search
c better result
o 129315
c local Search
o 59226
c local Search
c better result
o 129203
c local Search
o 59114
c local Search
c better result
o 129091
c local Search
o 59923
c local Search
c better result
o 129900
c local Search
o 59811
c local Search
c better result
o 129788
c local Search
o 59699
c local Search
c better result
o 129676
c local Search
o 59587
c local Search
c better result
o 129564
c local Search
o 59555
c local Search
c better result
o 129532
c local Search
o 59443
c local Search
c better result
o 129420
c local Search
o 59331
c local Search
c better result
o 129308
c local Search
o 59219
c local Search
c better result
o 129196
c local Search
o 59774
c local Search
c better result
o 129751
c local Search
o 59662
c local Search
c better result
o 129639
c local Search
o 59550
c local Search
c better result
o 129527
c local Search
o 59438
c local Search
c better result
o 129415
c local Search
o 59406
o 59395
c local Search
o 59294
c local Search
c better result
o 129271
c local Search
o 59182
c local Search
c better result
o 129159
c local Search
o 59070
c local Search
c better result
o 129047
c local Search
o 59879
c local Search
c better result
o 129856
c local Search
o 59767
c local Search
c better result
o 129744
c local Search
o 59655
c local Search
c better result
o 129632
c local Search
o 59543
c local Search
c better result
o 129520
c local Search
o 59511
c local Search
c better result
o 129488
c local Search
o 59399
c local Search
c better result
o 129376
c local Search
o 59287
c local Search
c better result
o 129264
c local Search
o 59175
c local Search
c better result
o 129152
o 59807
ERROR: Solution verification fails, real_empty = 59164, NB_EMPTY = 59695.
c local Search
c better result
o 129152
ERROR: Solution verification fails, real_empty = 59276, NB_EMPTY = 59583.
c local Search
c better result
o 129264
ERROR: Solution verification fails, real_empty = 59164, NB_EMPTY = 59471.
c local Search
c better result
o 129152
ERROR: Solution verification fails, real_empty = 59500, NB_EMPTY = 59439.
c local Search
c better result
o 129488
ERROR: Solution verification fails, real_empty = 59388, NB_EMPTY = 59327.
c local Search
c better result
o 129376
ERROR: Solution verification fails, real_empty = 59276, NB_EMPTY = 59215.
c local Search
c better result
o 129264
ERROR: Solution verification fails, real_empty = 59164, NB_EMPTY = 59103.
c local Search
c better result
o 129152
ERROR: Solution verification fails, real_empty = 59868, NB_EMPTY = 59912.
c local Search
c better result
o 129856
ERROR: Solution verification fails, real_empty = 59756, NB_EMPTY = 59800.
c local Search
c better result
o 129744
ERROR: Solution verification fails, real_empty = 59644, NB_EMPTY = 59688.
c local Search
c better result
o 129632
ERROR: Solution verification fails, real_empty = 59532, NB_EMPTY = 59576.
c local Search
c better result
o 129520
ERROR: Solution verification fails, real_empty = 59500, NB_EMPTY = 59544.
c local Search
c better result
o 129488
ERROR: Solution verification fails, real_empty = 59388, NB_EMPTY = 59432.
c local Search
c better result
o 129376
ERROR: Solution verification fails, real_empty = 59276, NB_EMPTY = 59320.
c local Search
c better result
o 129264
ERROR: Solution verification fails, real_empty = 59164, NB_EMPTY = 59208.
c local Search
c better result
o 129152
c local Search
c better result
o 129751
c local Search
c better result
o 129639
c local Search
c better result
o 129527
c local Search
c better result
o 129415
c local Search
c better result
o 129383
c local Search
c better result
o 129271
c local Search
c better result
o 129159
c local Search
c better result
o 129047
c local Search
c better result
o 129856
c local Search
c better result
o 129744
c local Search
c better result
o 129632
c local Search
c better result
o 129520
c local Search
c better result
o 129488
c local Search
c better result
o 129376
c local Search
c better result
o 129264
c local Search
c better result
o 129152
c local Search
o 59513
c local Search
c better result
o 129490
c local Search
o 59401
c local Search
c better result
o 129378
c local Search
o 59289
c local Search
c better result
o 129266
c local Search
o 59177
c local Search
c better result
o 129154
c local Search
o 59145
c local Search
c better result
o 129122
c local Search
o 59033
c local Search
c better result
o 129010
c local Search
o 58921
c local Search
c better result
o 128898
c local Search
o 58809
c local Search
c better result
o 128786
c local Search
o 59618
c local Search
c better result
o 129595
c local Search
o 59506
c local Search
c better result
o 129483
c local Search
o 59394
c local Search
c better result
o 129371
c local Search
o 59282
c local Search
c better result
o 129259
c local Search
o 59250
c local Search
c better result
o 129227
c local Search
o 59138
c local Search
c better result
o 129115
c local Search
o 59026
c local Search
c better result
o 129003
c local Search
o 58914
c local Search
c better result
o 128891
c local Search
o 59469
c local Search
c better result
o 129446
c local Search
o 59357
c local Search
c better result
o 129334
c local Search
o 59245
c local Search
c better result
o 129222
c local Search
o 59133
c local Search
c better result
o 129110
c local Search
o 59101
c local Search
c better result
o 129078
c local Search
o 58989
c local Search
c better result
o 128966
c local Search
o 58877
c local Search
c better result
o 128854
c local Search
o 58765
c local Search
c better result
o 128742
c local Search
o 59574
c local Search
c better result
o 129551
c local Search
o 59462
c local Search
c better result
o 129439
c local Search
o 59350
c local Search
c better result
o 129327
c local Search
o 59238
c local Search
c better result
o 129215
c local Search
o 59206
c local Search
c better result
o 129183
c local Search
o 59094
c local Search
c better result
o 129071
c local Search
o 58982
c local Search
c better result
o 128959
c local Search
o 58870
c local Search
c better result
o 128847
c local Search
o 59502
c local Search
o 59390
c local Search
o 59278
c local Search
o 59166
c local Search
o 59134
c local Search
o 59022
c local Search
o 58910
c local Search
o 58798
c local Search
o 58754
o 58729
c local Search
c better result
o 128706
c local Search
c better result
o 129302
o 59303
c local Search
c better result
o 129190
c local Search
c better result
o 129179
c local Search
c better result
o 128934
c local Search
c better result
o 128923
c local Search
c better result
o 128822
c local Search
c better result
o 128811
c local Search
c better result
o 129230
c local Search
c better result
o 129118
c local Search
c better result
o 128862
c local Search
c better result
o 128750
c local Search
c better result
o 129335
c local Search
c better result
o 129223
c local Search
c better result
o 128967
c local Search
c better result
o 128855
c local Search
c better result
o 129186
c local Search
c better result
o 129074
c local Search
c better result
o 128818
c local Search
c better result
o 128706
c local Search
c better result
o 129291
c local Search
c better result
o 129179
c local Search
c better result
o 128923
c local Search
c better result
o 128811
c local Search
c better result
o 129546
c local Search
c better result
o 129535
c local Search
c better result
o 129434
c local Search
c better result
o 129423
c local Search
c better result
o 129178
c local Search
c better result
o 129167
c local Search
c better result
o 129066
c local Search
c better result
o 129055
c local Search
c better result
o 129651
c local Search
c better result
o 129640
c local Search
c better result
o 129539
c local Search
c better result
o 129528
c local Search
c better result
o 129283
c local Search
c better result
o 129272
c local Search
c better result
o 129171
c local Search
c better result
o 129160
c local Search
c better result
o 129502
c local Search
c better result
o 129491
c local Search
c better result
o 129390
c local Search
c better result
o 129379
c local Search
c better result
o 129134
c local Search
c better result
o 129123
c local Search
c better result
o 129022
c local Search
c better result
o 129011
c local Search
c better result
o 129607
c local Search
c better result
o 129596
c local Search
c better result
o 129495
c local Search
c better result
o 129484
c local Search
c better result
o 129239
c local Search
c better result
o 129228
c local Search
c better result
o 129127
c local Search
c better result
o 129116
c local Search
c better result
o 129535
c local Search
c better result
o 129423
c local Search
c better result
o 129167
c local Search
c better result
o 129055
c local Search
c better result
o 129640
c local Search
c better result
o 129528
c local Search
c better result
o 129272
c local Search
c better result
o 129160
c local Search
c better result
o 129491
c local Search
c better result
o 129379
c local Search
c better result
o 129123
c local Search
c better result
o 129011
c local Search
c better result
o 129596
c local Search
c better result
o 129484
c local Search
c better result
o 129228
c local Search
c better result
o 129116
c local Search
c better result
o 129241
c local Search
c better result
o 129230
c local Search
c better result
o 129129
c local Search
c better result
o 129118
c local Search
c better result
o 128873
c local Search
c better result
o 128862
c local Search
c better result
o 128761
c local Search
c better result
o 128750
c local Search
c better result
o 129346
c local Search
c better result
o 129335
c local Search
c better result
o 129234
c local Search
c better result
o 129223
c local Search
c better result
o 128978
c local Search
c better result
o 128967
c local Search
c better result
o 128866
c local Search
c better result
o 128855
c local Search
c better result
o 129197
c local Search
c better result
o 129186
c local Search
c better result
o 129085
c local Search
c better result
o 129074
c local Search
c better result
o 128829
c local Search
c better result
o 128818
c local Search
c better result
o 128717
c local Search
c better result
o 128706
c local Search
c better result
o 129302
c local Search
c better result
o 129291
c local Search
c better result
o 129190
c local Search
c better result
o 129179
c local Search
c better result
o 128934
c local Search
c better result
o 128923
c local Search
c better result
o 128822
c local Search
c better result
o 128811
c local Search
c better result
o 129230
c local Search
c better result
o 129118
c local Search
c better result
o 128862
c local Search
c better result
o 128750
c local Search
c better result
o 129335
c local Search
c better result
o 129223
c local Search
c better result
o 128967
c local Search
c better result
o 128855
c local Search
c better result
o 129186
c local Search
c better result
o 129074
c local Search
c better result
o 128818
c local Search
c better result
o 128706
c local Search
c better result
o 129291
c local Search
c better result
o 129179
c local Search
c better result
o 128923
c local Search
c better result
o 128811
c local Search
o 59558
c local Search
c better result
o 129535
c local Search
o 59446
c local Search
c better result
o 129423
c local Search
o 59190
c local Search
c better result
o 129167
c local Search
o 59078
c local Search
c better result
o 129055
c local Search
o 59663
c local Search
c better result
o 129640
c local Search
o 59551
c local Search
c better result
o 129528
c local Search
o 59295
c local Search
c better result
o 129272
c local Search
o 59183
c local Search
c better result
o 129160
c local Search
o 59514
c local Search
c better result
o 129491
c local Search
o 59402
c local Search
c better result
o 129379
c local Search
o 59146
c local Search
c better result
o 129123
c local Search
o 59034
c local Search
c better result
o 129011
c local Search
o 59619
c local Search
c better result
o 129596
c local Search
o 59507
c local Search
c better result
o 129484
c local Search
o 59251
c local Search
c better result
o 129228
c local Search
o 59139
c local Search
c better result
o 129116
c local Search
o 59547
c local Search
o 59435
c local Search
o 59179
o 59067
o 59023
o 58885
c local Search
c better result
o 128862
c local Search
o 58773
c local Search
c better result
o 128750
c local Search
o 59358
c local Search
c better result
o 129335
c local Search
o 59246
c local Search
c better result
o 129223
c local Search
o 58990
c local Search
c better result
o 128967
c local Search
o 58878
c local Search
c better result
o 128855
c local Search
o 59209
c local Search
c better result
o 129186
c local Search
o 59097
c local Search
c better result
o 129074
c local Search
o 58841
c local Search
c better result
o 128818
c local Search
o 58729
c local Search
c better result
o 128706
c local Search
o 59314
c local Search
c better result
o 129291
c local Search
o 59202
c local Search
c better result
o 129179
c local Search
o 58946
c local Search
c better result
o 128923
c local Search
o 58834
c local Search
c better result
o 128811
c local Search
o 59242
c local Search
o 59130
c local Search
o 58874
c local Search
o 58762
o 58718
c local Search
c better result
o 128704
o 58705
c local Search
c better result
o 58551
o 58537
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58526.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58526.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 58708, NB_EMPTY = 58537.
c local Search
c better result
o 58562
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58526.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58526.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 58708, NB_EMPTY = 58537.
c local Search
o 58537
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58526.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58526.
c local Search
o 58526
ERROR: Solution verification fails, real_empty = 129245, NB_EMPTY = 58524.
c local Search
c better result
o 58562
ERROR: Solution verification fails, real_empty = 129234, NB_EMPTY = 58513.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 129234, NB_EMPTY = 58513.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 129245, NB_EMPTY = 58524.
c local Search
c better result
o 58562
ERROR: Solution verification fails, real_empty = 129234, NB_EMPTY = 58513.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 129234, NB_EMPTY = 58513.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 129245, NB_EMPTY = 58524.
c local Search
c better result
o 59103
ERROR: Solution verification fails, real_empty = 129234, NB_EMPTY = 58513.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 129234, NB_EMPTY = 58513.
c local Search
c better result
o 59092
ERROR: Solution verification fails, real_empty = 129451, NB_EMPTY = 58730.
c local Search
c better result
o 59309
ERROR: Solution verification fails, real_empty = 129339, NB_EMPTY = 58618.
c local Search
c better result
o 59197
ERROR: Solution verification fails, real_empty = 129706, NB_EMPTY = 58985.
c local Search
c better result
o 59564
ERROR: Solution verification fails, real_empty = 129695, NB_EMPTY = 58974.
c local Search
c better result
o 59012
ERROR: Solution verification fails, real_empty = 129594, NB_EMPTY = 58873.
c local Search
c better result
o 59452
ERROR: Solution verification fails, real_empty = 129583, NB_EMPTY = 58862.
c local Search
c better result
o 58900
ERROR: Solution verification fails, real_empty = 129550, NB_EMPTY = 58829.
c local Search
c better result
o 59408
ERROR: Solution verification fails, real_empty = 129539, NB_EMPTY = 58818.
c local Search
c better result
o 58856
ERROR: Solution verification fails, real_empty = 129539, NB_EMPTY = 58818.
c local Search
c better result
o 59397
ERROR: Solution verification fails, real_empty = 129756, NB_EMPTY = 59035.
c local Search
c better result
o 59614
ERROR: Solution verification fails, real_empty = 129644, NB_EMPTY = 58923.
c local Search
c better result
o 59502
ERROR: Solution verification fails, real_empty = 129401, NB_EMPTY = 58680.
c local Search
c better result
o 59259
ERROR: Solution verification fails, real_empty = 129390, NB_EMPTY = 58669.
c local Search
c better result
o 58707
ERROR: Solution verification fails, real_empty = 129289, NB_EMPTY = 58568.
c local Search
c better result
o 59147
ERROR: Solution verification fails, real_empty = 129278, NB_EMPTY = 58557.
c local Search
c better result
o 58595
ERROR: Solution verification fails, real_empty = 129245, NB_EMPTY = 58524.
c local Search
c better result
o 59103
ERROR: Solution verification fails, real_empty = 129234, NB_EMPTY = 58513.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 129234, NB_EMPTY = 58513.
c local Search
c better result
o 59092
ERROR: Solution verification fails, real_empty = 129451, NB_EMPTY = 58730.
c local Search
c better result
o 59309
ERROR: Solution verification fails, real_empty = 129339, NB_EMPTY = 58618.
c local Search
c better result
o 59197
ERROR: Solution verification fails, real_empty = 59312, NB_EMPTY = 59120.
c local Search
o 59120
ERROR: Solution verification fails, real_empty = 59301, NB_EMPTY = 59109.
c local Search
o 59109
ERROR: Solution verification fails, real_empty = 59200, NB_EMPTY = 59008.
c local Search
o 59008
ERROR: Solution verification fails, real_empty = 59189, NB_EMPTY = 58997.
o 58997
ERROR: Solution verification fails, real_empty = 59156, NB_EMPTY = 58964.
c local Search
o 58964
ERROR: Solution verification fails, real_empty = 59145, NB_EMPTY = 58953.
c local Search
o 58953
ERROR: Solution verification fails, real_empty = 59007, NB_EMPTY = 58815.
c local Search
o 58815
ERROR: Solution verification fails, real_empty = 58996, NB_EMPTY = 58804.
o 58804
ERROR: Solution verification fails, real_empty = 58895, NB_EMPTY = 58703.
c local Search
o 58703
ERROR: Solution verification fails, real_empty = 58884, NB_EMPTY = 58692.
c local Search
o 58692
ERROR: Solution verification fails, real_empty = 58851, NB_EMPTY = 58659.
o 58659
ERROR: Solution verification fails, real_empty = 58840, NB_EMPTY = 58648.
c local Search
o 58648
ERROR: Solution verification fails, real_empty = 58831, NB_EMPTY = 58639.
c local Search
o 58639
ERROR: Solution verification fails, real_empty = 58820, NB_EMPTY = 58628.
c local Search
o 58628
ERROR: Solution verification fails, real_empty = 58787, NB_EMPTY = 58595.
c local Search
o 58595
ERROR: Solution verification fails, real_empty = 58776, NB_EMPTY = 58584.
c local Search
o 58584
ERROR: Solution verification fails, real_empty = 58774, NB_EMPTY = 58582.
o 58582
ERROR: Solution verification fails, real_empty = 58765, NB_EMPTY = 58573.
c local Search
c better result
o 58619
ERROR: Solution verification fails, real_empty = 58754, NB_EMPTY = 58562.
c local Search
c better result
o 58608
ERROR: Solution verification fails, real_empty = 58721, NB_EMPTY = 58529.
c local Search
c better result
o 58575
ERROR: Solution verification fails, real_empty = 58710, NB_EMPTY = 58518.
o 58518
ERROR: Solution verification fails, real_empty = 58708, NB_EMPTY = 58516.
c local Search
c better result
o 58562
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58505.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 58741, NB_EMPTY = 58549.
c local Search
c better result
o 58595
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58505.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 58741, NB_EMPTY = 58549.
c local Search
c better result
o 58595
ERROR: Solution verification fails, real_empty = 58708, NB_EMPTY = 58516.
c local Search
c better result
o 58562
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58505.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 58741, NB_EMPTY = 58549.
c local Search
c better result
o 58595
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58505.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 58741, NB_EMPTY = 58549.
c local Search
c better result
o 58595
ERROR: Solution verification fails, real_empty = 58708, NB_EMPTY = 58516.
c local Search
o 58516
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58505.
c local Search
c better result
o 58551
ERROR: Solution verification fails, real_empty = 58741, NB_EMPTY = 58549.
c local Search
o 58549
ERROR: Solution verification fails, real_empty = 58697, NB_EMPTY = 58505.
c local Search
o 58505
c local Search
c better result
o 128484
c local Search
c better result
o 129069
c local Search
c better result
o 128957
c local Search
c better result
o 128701
c local Search
c better result
o 128589
c local Search
c better result
o 129313
c local Search
c better result
o 129201
c local Search
c better result
o 128945
c local Search
c better result
o 128833
c local Search
c better result
o 129418
c local Search
c better result
o 129306
c local Search
c better result
o 129050
c local Search
c better result
o 128938
c local Search
c better result
o 129269
c local Search
c better result
o 129157
c local Search
c better result
o 128901
c local Search
c better result
o 128789
c local Search
c better result
o 129374
c local Search
c better result
o 129262
c local Search
c better result
o 129006
c local Search
c better result
o 128894
c local Search
c better result
o 129008
c local Search
c better result
o 128896
c local Search
c better result
o 128640
c local Search
c better result
o 128528
c local Search
c better result
o 129113
c local Search
c better result
o 129001
c local Search
c better result
o 128745
c local Search
c better result
o 128633
c local Search
c better result
o 128964
c local Search
c better result
o 128852
c local Search
c better result
o 128596
c local Search
c better result
o 128484
c local Search
c better result
o 129069
c local Search
c better result
o 128957
c local Search
c better result
o 128701
c local Search
c better result
o 128589
c local Search
c better result
o 129313
c local Search
c better result
o 129201
c local Search
c better result
o 128945
c local Search
c better result
o 128833
c local Search
c better result
o 129418
c local Search
c better result
o 129306
c local Search
c better result
o 129050
c local Search
c better result
o 128938
c local Search
c better result
o 129269
c local Search
c better result
o 129157
c local Search
c better result
o 128901
c local Search
c better result
o 128789
c local Search
c better result
o 129374
c local Search
c better result
o 129262
c local Search
c better result
o 129006
c local Search
c better result
o 128894
c local Search
c better result
o 129008
c local Search
c better result
o 128896
c local Search
c better result
o 128640
c local Search
c better result
o 128528
c local Search
c better result
o 129113
c local Search
c better result
o 129001
c local Search
c better result
o 128745
c local Search
c better result
o 128633
c local Search
c better result
o 128964
c local Search
c better result
o 128852
c local Search
c better result
o 128596
c local Search
c better result
o 128484
c local Search
c better result
o 129069
c local Search
c better result
o 128957
c local Search
c better result
o 128701
c local Search
c better result
o 128589
c local Search
c better result
o 129313
c local Search
c better result
o 129201
c local Search
c better result
o 128945
c local Search
c better result
o 128833
c local Search
c better result
o 129418
c local Search
c better result
o 129306
c local Search
c better result
o 129050
c local Search
c better result
o 128938
c local Search
c better result
o 129269
c local Search
c better result
o 129157
c local Search
c better result
o 128901
c local Search
c better result
o 128789
c local Search
c better result