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_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0001.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 143 2024 119051
c WARNING: Ubcsat not found.
o 119051
c local Search
o 107104
c local Search
o 107084
c local Search
o 107054
c local Search
o 107034
c local Search
o 107018
c local Search
o 106998
c local Search
o 106968
c local Search
o 106948
c local Search
o 106551
c local Search
o 106531
c local Search
o 106501
c local Search
o 106481
c local Search
o 106465
c local Search
o 106445
c local Search
o 106415
c local Search
o 106395
c local Search
o 106383
c local Search
o 106363
c local Search
o 106333
o 106313
o 105916
c local Search
o 105896
c local Search
o 105866
c local Search
o 105846
c local Search
o 105830
o 105810
o 105780
c local Search
o 105760
o 105753
o 105733
o 105336
o 105316
c local Search
o 105286
c local Search
o 105266
o 105250
c local Search
o 105230
c local Search
o 105200
c local Search
o 105180
o 104845
o 104825
o 104795
c local Search
o 104775
o 104759
c local Search
o 104739
o 104709
o 104689
c local Search
o 104521
c local Search
o 104501
o 104471
o 104451
o 104435
o 104415
c local Search
o 104385
c local Search
o 104365
o 104354
c local Search
o 104324
c local Search
o 104304
o 104136
c local Search
o 104116
o 104086
o 104066
c local Search
o 104050
o 104030
o 104000
c local Search
o 103980
c local Search
o 103958
o 103938
o 103922
o 103902
o 103872
o 103852
o 103684
o 103664
o 103634
c local Search
o 103614
o 103598
o 103578
o 103548
o 103528
c local Search
o 103517
c local Search
o 103487
o 103467
o 103299
o 103279
o 103249
o 103229
o 103213
o 103193
o 103163
o 103143
o 103138
c local Search
o 103108
o 103088
o 103072
o 103052
o 103022
o 103002
c local Search
o 102991
o 102961
o 102941
o 102773
c local Search
o 102753
o 102723
o 102703
o 102687
o 102667
c local Search
o 102637
o 102617
o 102609
o 102589
o 102559
o 102539
o 102508
o 102458
o 102422
o 102372
o 102367
c local Search
c better result
o 219742
o 102281
ERROR: Solution verification fails, real_empty = 102317, NB_EMPTY = 102231.
o 102231
o 102220
ERROR: Solution verification fails, real_empty = 102317, NB_EMPTY = 102170.
o 102170
ERROR: Solution verification fails, real_empty = 102367, NB_EMPTY = 101982.
o 101982
ERROR: Solution verification fails, real_empty = 102317, NB_EMPTY = 101932.
o 101932
ERROR: Solution verification fails, real_empty = 102281, NB_EMPTY = 101896.
o 101896
ERROR: Solution verification fails, real_empty = 102317, NB_EMPTY = 101846.
o 101846
c local Search
c better result
o 338294
o 101979
ERROR: Solution verification fails, real_empty = 101818, NB_EMPTY = 101899.
o 101899
ERROR: Solution verification fails, real_empty = 101898, NB_EMPTY = 101848.
o 101848
ERROR: Solution verification fails, real_empty = 101818, NB_EMPTY = 101768.
o 101768
o 101660
ERROR: Solution verification fails, real_empty = 101768, NB_EMPTY = 101610.
o 101610
ERROR: Solution verification fails, real_empty = 101818, NB_EMPTY = 101574.
o 101574
ERROR: Solution verification fails, real_empty = 101768, NB_EMPTY = 101524.
o 101524
ERROR: Solution verification fails, real_empty = 339411, NB_EMPTY = 101513.
o 101513
ERROR: Solution verification fails, real_empty = 101768, NB_EMPTY = 101463.
o 101463
ERROR: Solution verification fails, real_empty = 339173, NB_EMPTY = 101275.
o 101275
ERROR: Solution verification fails, real_empty = 101768, NB_EMPTY = 101225.
o 101225
ERROR: Solution verification fails, real_empty = 101818, NB_EMPTY = 101189.
o 101189
ERROR: Solution verification fails, real_empty = 101768, NB_EMPTY = 101139.
o 101139
ERROR: Solution verification fails, real_empty = 101818, NB_EMPTY = 101111.
o 101111
ERROR: Solution verification fails, real_empty = 101768, NB_EMPTY = 101061.
o 101061
o 100940
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 100854.
o 100854
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 100776.
o 100776
ERROR: Solution verification fails, real_empty = 220492, NB_EMPTY = 100618.
o 100618
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 100532.
o 100532
ERROR: Solution verification fails, real_empty = 458243, NB_EMPTY = 100471.
o 100471
ERROR: Solution verification fails, real_empty = 339173, NB_EMPTY = 100452.
o 100452
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 100233.
o 100233
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 100147.
o 100147
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 100069.
c local Search
c better result
o 337252
ERROR: Solution verification fails, real_empty = 106058, NB_EMPTY = 104528.
o 104528
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 104309.
o 104309
ERROR: Solution verification fails, real_empty = 458382, NB_EMPTY = 104223.
o 104223
ERROR: Solution verification fails, real_empty = 220845, NB_EMPTY = 103975.
o 103975
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 103895.
o 103895
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 103756.
o 103756
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 103676.
o 103676
ERROR: Solution verification fails, real_empty = 339591, NB_EMPTY = 103670.
o 103670
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 103590.
o 103590
ERROR: Solution verification fails, real_empty = 340144, NB_EMPTY = 103588.
o 103588
ERROR: Solution verification fails, real_empty = 220845, NB_EMPTY = 103340.
o 103340
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 103260.
c local Search
c better result
o 337252
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 103121.
o 103121
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 103041.
o 103041
ERROR: Solution verification fails, real_empty = 339591, NB_EMPTY = 103035.
o 103035
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102955.
o 102955
ERROR: Solution verification fails, real_empty = 221285, NB_EMPTY = 102879.
o 102879
ERROR: Solution verification fails, real_empty = 221283, NB_EMPTY = 102877.
o 102877
ERROR: Solution verification fails, real_empty = 102115, NB_EMPTY = 102760.
o 102760
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102680.
o 102680
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 102629.
o 102629
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102549.
o 102549
ERROR: Solution verification fails, real_empty = 220861, NB_EMPTY = 102541.
o 102541
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102461.
o 102461
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 102410.
o 102410
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102330.
o 102330
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 102324.
o 102324
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102244.
o 102244
ERROR: Solution verification fails, real_empty = 102035, NB_EMPTY = 102189.
o 102189
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 102138.
o 102138
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102058.
o 102058
ERROR: Solution verification fails, real_empty = 220861, NB_EMPTY = 102050.
o 102050
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 101970.
o 101970
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 101919.
o 101919
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 101839.
c local Search
c better result
o 337252
ERROR: Solution verification fails, real_empty = 102029, NB_EMPTY = 102183.
o 102183
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102103.
c local Search
c better result
o 337252
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 102052.
o 102052
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 101972.
o 101972
ERROR: Solution verification fails, real_empty = 220861, NB_EMPTY = 101964.
o 101964
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 101884.
o 101884
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 101833.
o 101833
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 101753.
c local Search
c better result
o 337252
ERROR: Solution verification fails, real_empty = 104374, NB_EMPTY = 104204.
o 104204
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 103985.
c local Search
c better result
o 337252
ERROR: Solution verification fails, real_empty = 101818, NB_EMPTY = 104384.
o 104384
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 104165.
o 104165
ERROR: Solution verification fails, real_empty = 339550, NB_EMPTY = 104118.
o 104118
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 103899.
o 103899
ERROR: Solution verification fails, real_empty = 220845, NB_EMPTY = 103651.
o 103651
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 103571.
c local Search
c better result
o 337252
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 103432.
c local Search
c better result
o 337332
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 103352.
o 103352
ERROR: Solution verification fails, real_empty = 339591, NB_EMPTY = 103346.
o 103346
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 103266.
o 103266
ERROR: Solution verification fails, real_empty = 340144, NB_EMPTY = 103264.
o 103264
ERROR: Solution verification fails, real_empty = 220845, NB_EMPTY = 103016.
o 103016
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102936.
o 102936
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 102797.
o 102797
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102717.
o 102717
ERROR: Solution verification fails, real_empty = 339591, NB_EMPTY = 102711.
o 102711
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 102631.
o 102631
ERROR: Solution verification fails, real_empty = 221285, NB_EMPTY = 102555.
o 102555
ERROR: Solution verification fails, real_empty = 221283, NB_EMPTY = 102553.
o 102553
ERROR: Solution verification fails, real_empty = 102115, NB_EMPTY = 102436.
c local Search
c better result
o 337981
ERROR: Solution verification fails, real_empty = 102035, NB_EMPTY = 102356.
c local Search
c better result
o 337901
ERROR: Solution verification fails, real_empty = 101984, NB_EMPTY = 102305.
c local Search
c better result
o 338460
ERROR: Solution verification fails, real_empty = 101904, NB_EMPTY = 102225.
c local Search
c better result
o 338380
ERROR: Solution verification fails, real_empty = 220947, NB_EMPTY = 102217.
o 102217
ERROR: Solution verification fails, real_empty = 101904, NB_EMPTY = 102137.
c local Search
c better result
o 338380
ERROR: Solution verification fails, real_empty = 101984, NB_EMPTY = 102086.
c local Search
c better result
o 338460
ERROR: Solution verification fails, real_empty = 101904, NB_EMPTY = 102006.
o 102006
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 102000.
o 102000
ERROR: Solution verification fails, real_empty = 101904, NB_EMPTY = 101920.
c local Search
c better result
o 338380
ERROR: Solution verification fails, real_empty = 103883, NB_EMPTY = 103713.
c local Search
c better result
o 339749
ERROR: Solution verification fails, real_empty = 222715, NB_EMPTY = 103494.
o 103494
ERROR: Solution verification fails, real_empty = 222629, NB_EMPTY = 103408.
o 103408
ERROR: Solution verification fails, real_empty = 103330, NB_EMPTY = 103160.
o 103160
ERROR: Solution verification fails, real_empty = 222854, NB_EMPTY = 103080.
o 103080
ERROR: Solution verification fails, real_empty = 222715, NB_EMPTY = 102941.
c local Search
c better result
o 338707
ERROR: Solution verification fails, real_empty = 341686, NB_EMPTY = 102861.
c local Search
c better result
o 338707
ERROR: Solution verification fails, real_empty = 104073, NB_EMPTY = 103350.
o 103350
ERROR: Solution verification fails, real_empty = 341686, NB_EMPTY = 103270.
o 103270
ERROR: Solution verification fails, real_empty = 222715, NB_EMPTY = 103131.
o 103131
ERROR: Solution verification fails, real_empty = 341686, NB_EMPTY = 103051.
o 103051
ERROR: Solution verification fails, real_empty = 222768, NB_EMPTY = 102994.
o 102994
ERROR: Solution verification fails, real_empty = 222715, NB_EMPTY = 102855.
c local Search
c better result
o 338707
ERROR: Solution verification fails, real_empty = 341686, NB_EMPTY = 102775.
c local Search
c better result
o 338707
ERROR: Solution verification fails, real_empty = 104073, NB_EMPTY = 103264.
c local Search
c better result
o 339648
ERROR: Solution verification fails, real_empty = 223044, NB_EMPTY = 103184.
o 103184
ERROR: Solution verification fails, real_empty = 222905, NB_EMPTY = 103045.
o 103045
ERROR: Solution verification fails, real_empty = 223044, NB_EMPTY = 102965.
c local Search
c better result
o 339648
ERROR: Solution verification fails, real_empty = 103248, NB_EMPTY = 103078.
o 103078
ERROR: Solution verification fails, real_empty = 341876, NB_EMPTY = 102859.
o 102859
ERROR: Solution verification fails, real_empty = 222629, NB_EMPTY = 102773.
o 102773
ERROR: Solution verification fails, real_empty = 103330, NB_EMPTY = 102525.
o 102525
ERROR: Solution verification fails, real_empty = 223044, NB_EMPTY = 102445.
o 102445
ERROR: Solution verification fails, real_empty = 222905, NB_EMPTY = 102306.
o 102306
ERROR: Solution verification fails, real_empty = 223044, NB_EMPTY = 102226.
c local Search
c better result
o 339648
ERROR: Solution verification fails, real_empty = 104073, NB_EMPTY = 102715.
c local Search
c better result
o 339648
ERROR: Solution verification fails, real_empty = 223044, NB_EMPTY = 102635.
o 102635
ERROR: Solution verification fails, real_empty = 222905, NB_EMPTY = 102496.
c local Search
c better result
o 338606
ERROR: Solution verification fails, real_empty = 341876, NB_EMPTY = 102416.
c local Search
c better result
o 338606
ERROR: Solution verification fails, real_empty = 103797, NB_EMPTY = 102439.
c local Search
c better result
o 339663
ERROR: Solution verification fails, real_empty = 222768, NB_EMPTY = 102359.
o 102359
ERROR: Solution verification fails, real_empty = 222629, NB_EMPTY = 102220.
c local Search
c better result
o 338621
ERROR: Solution verification fails, real_empty = 341600, NB_EMPTY = 102140.
o 102140
ERROR: Solution verification fails, real_empty = 221285, NB_EMPTY = 102064.
c local Search
c better result
o 337887
ERROR: Solution verification fails, real_empty = 102668, NB_EMPTY = 102498.
c local Search
c better result
o 338534
ERROR: Solution verification fails, real_empty = 102537, NB_EMPTY = 102367.
c local Search
c better result
o 339013
ERROR: Solution verification fails, real_empty = 221500, NB_EMPTY = 102279.
c local Search
c better result
o 337492
ERROR: Solution verification fails, real_empty = 221369, NB_EMPTY = 102148.
c local Search
c better result
o 337971
ERROR: Solution verification fails, real_empty = 102848, NB_EMPTY = 102678.
c local Search
c better result
o 337901
ERROR: Solution verification fails, real_empty = 102717, NB_EMPTY = 102547.
c local Search
c better result
o 338380
ERROR: Solution verification fails, real_empty = 221680, NB_EMPTY = 102459.
c local Search
c better result
o 336859
ERROR: Solution verification fails, real_empty = 221549, NB_EMPTY = 102328.
c local Search
c better result
o 337338
ERROR: Solution verification fails, real_empty = 102582, NB_EMPTY = 102412.
c local Search
c better result
o 338448
ERROR: Solution verification fails, real_empty = 102451, NB_EMPTY = 102281.
c local Search
c better result
o 338927
ERROR: Solution verification fails, real_empty = 221414, NB_EMPTY = 102193.
c local Search
c better result
o 337406
ERROR: Solution verification fails, real_empty = 221283, NB_EMPTY = 102062.
c local Search
c better result
o 337885
ERROR: Solution verification fails, real_empty = 102762, NB_EMPTY = 102592.
c local Search
c better result
o 337815
ERROR: Solution verification fails, real_empty = 102631, NB_EMPTY = 102461.
o 102461
ERROR: Solution verification fails, real_empty = 221594, NB_EMPTY = 102373.
c local Search
c better result
o 336773
ERROR: Solution verification fails, real_empty = 221463, NB_EMPTY = 102242.
c local Search
c better result
o 337252
ERROR: Solution verification fails, real_empty = 102115, NB_EMPTY = 101945.
c local Search
c better result
o 337981
ERROR: Solution verification fails, real_empty = 102035, NB_EMPTY = 101865.
c local Search
c better result
o 337901
ERROR: Solution verification fails, real_empty = 101984, NB_EMPTY = 101814.
c local Search
c better result
o 338460
ERROR: Solution verification fails, real_empty = 101904, NB_EMPTY = 101734.
c local Search
c better result
o 338380
ERROR: Solution verification fails, real_empty = 220947, NB_EMPTY = 101726.
c local Search
c better result
o 336939
ERROR: Solution verification fails, real_empty = 220867, NB_EMPTY = 101646.
c local Search
c better result
o 336859
ERROR: Solution verification fails, real_empty = 220816, NB_EMPTY = 101595.
c local Search
c better result
o 337418
ERROR: Solution verification fails, real_empty = 220736, NB_EMPTY = 101515.
c local Search
c better result
o 337338
ERROR: Solution verification fails, real_empty = 102029, NB_EMPTY = 101859.
c local Search
c better result
o 337895
ERROR: Solution verification fails, real_empty = 101949, NB_EMPTY = 101779.
c local Search
c better result
o 337815
ERROR: Solution verification fails, real_empty = 101898, NB_EMPTY = 101728.
c local Search
c better result
o 338374
ERROR: Solution verification fails, real_empty = 101818, NB_EMPTY = 101648.
c local Search
c better result
o 338294
ERROR: Solution verification fails, real_empty = 220861, NB_EMPTY = 101640.
c local Search
c better result
o 336853
ERROR: Solution verification fails, real_empty = 220781, NB_EMPTY = 101560.
c local Search
c better result
o 336773
ERROR: Solution verification fails, real_empty = 220730, NB_EMPTY = 101509.
c local Search
c better result
o 337332
ERROR: Solution verification fails, real_empty = 220650, NB_EMPTY = 101429.
c local Search
c better result
o 337252
ERROR: Solution verification fails, real_empty = 104698, NB_EMPTY = 104143.
c local Search
c better result
o 340564
ERROR: Solution verification fails, real_empty = 223530, NB_EMPTY = 103924.
c local Search
c better result
o 339522
ERROR: Solution verification fails, real_empty = 104878, NB_EMPTY = 104323.
c local Search
c better result
o 339931
ERROR: Solution verification fails, real_empty = 223710, NB_EMPTY = 104104.
c local Search
c better result
o 338889
ERROR: Solution verification fails, real_empty = 104888, NB_EMPTY = 104333.
c local Search
c better result
o 340463
ERROR: Solution verification fails, real_empty = 223720, NB_EMPTY = 104114.
c local Search
c better result
o 339421
ERROR: Solution verification fails, real_empty = 105068, NB_EMPTY = 104513.
c local Search
c better result
o 339830
ERROR: Solution verification fails, real_empty = 223900, NB_EMPTY = 104294.
c local Search
c better result
o 338788
ERROR: Solution verification fails, real_empty = 104612, NB_EMPTY = 104057.
c local Search
c better result
o 340478
ERROR: Solution verification fails, real_empty = 223444, NB_EMPTY = 103838.
c local Search
c better result
o 339436
ERROR: Solution verification fails, real_empty = 104792, NB_EMPTY = 104237.
c local Search
c better result
o 339845
ERROR: Solution verification fails, real_empty = 223624, NB_EMPTY = 104018.
c local Search
c better result
o 338803
ERROR: Solution verification fails, real_empty = 104802, NB_EMPTY = 104247.
c local Search
c better result
o 340377
ERROR: Solution verification fails, real_empty = 223634, NB_EMPTY = 104028.
c local Search
c better result
o 339335
ERROR: Solution verification fails, real_empty = 104982, NB_EMPTY = 104427.
c local Search
c better result
o 339744
ERROR: Solution verification fails, real_empty = 223814, NB_EMPTY = 104208.
c local Search
c better result
o 338702
ERROR: Solution verification fails, real_empty = 104145, NB_EMPTY = 103590.
c local Search
c better result
o 340011
ERROR: Solution verification fails, real_empty = 104065, NB_EMPTY = 103510.
c local Search
c better result
o 339931
ERROR: Solution verification fails, real_empty = 222977, NB_EMPTY = 103371.
c local Search
c better result
o 338969
ERROR: Solution verification fails, real_empty = 222897, NB_EMPTY = 103291.
c local Search
c better result
o 338889
ERROR: Solution verification fails, real_empty = 104335, NB_EMPTY = 103780.
c local Search
c better result
o 339910
ERROR: Solution verification fails, real_empty = 104255, NB_EMPTY = 103700.
c local Search
c better result
o 339830
ERROR: Solution verification fails, real_empty = 223167, NB_EMPTY = 103561.
c local Search
c better result
o 338868
ERROR: Solution verification fails, real_empty = 223087, NB_EMPTY = 103481.
c local Search
c better result
o 338788
ERROR: Solution verification fails, real_empty = 104059, NB_EMPTY = 103504.
c local Search
c better result
o 339925
ERROR: Solution verification fails, real_empty = 103979, NB_EMPTY = 103424.
c local Search
c better result
o 339845
ERROR: Solution verification fails, real_empty = 222891, NB_EMPTY = 103285.
c local Search
c better result
o 338883
ERROR: Solution verification fails, real_empty = 222811, NB_EMPTY = 103205.
c local Search
c better result
o 338803
ERROR: Solution verification fails, real_empty = 104249, NB_EMPTY = 103694.
c local Search
c better result
o 339824
ERROR: Solution verification fails, real_empty = 104169, NB_EMPTY = 103614.
c local Search
c better result
o 339744
ERROR: Solution verification fails, real_empty = 223081, NB_EMPTY = 103475.
c local Search
c better result
o 338782
ERROR: Solution verification fails, real_empty = 223001, NB_EMPTY = 103395.
c local Search
c better result
o 338702
ERROR: Solution verification fails, real_empty = 104063, NB_EMPTY = 103508.
c local Search
c better result
o 339929
ERROR: Solution verification fails, real_empty = 222895, NB_EMPTY = 103289.
c local Search
c better result
o 338887
ERROR: Solution verification fails, real_empty = 104243, NB_EMPTY = 103688.
c local Search
c better result
o 339296
ERROR: Solution verification fails, real_empty = 223075, NB_EMPTY = 103469.
c local Search
c better result
o 338254
ERROR: Solution verification fails, real_empty = 104253, NB_EMPTY = 103698.
c local Search
c better result
o 339828
ERROR: Solution verification fails, real_empty = 223085, NB_EMPTY = 103479.
c local Search
c better result
o 338786
ERROR: Solution verification fails, real_empty = 104433, NB_EMPTY = 103878.
c local Search
c better result
o 339195
ERROR: Solution verification fails, real_empty = 223265, NB_EMPTY = 103659.
c local Search
c better result
o 338153
ERROR: Solution verification fails, real_empty = 103977, NB_EMPTY = 103422.
c local Search
c better result
o 339843
ERROR: Solution verification fails, real_empty = 222809, NB_EMPTY = 103203.
c local Search
c better result
o 338801
ERROR: Solution verification fails, real_empty = 104157, NB_EMPTY = 103602.
c local Search
c better result
o 339210
ERROR: Solution verification fails, real_empty = 222989, NB_EMPTY = 103383.
c local Search
c better result
o 338168
ERROR: Solution verification fails, real_empty = 104167, NB_EMPTY = 103612.
c local Search
c better result
o 339742
ERROR: Solution verification fails, real_empty = 222999, NB_EMPTY = 103393.
c local Search
c better result
o 338700
ERROR: Solution verification fails, real_empty = 104347, NB_EMPTY = 103792.
c local Search
c better result
o 339109
ERROR: Solution verification fails, real_empty = 223179, NB_EMPTY = 103573.
c local Search
c better result
o 338067
ERROR: Solution verification fails, real_empty = 103510, NB_EMPTY = 102955.
c local Search
c better result
o 339376
ERROR: Solution verification fails, real_empty = 103430, NB_EMPTY = 102875.
c local Search
c better result
o 339296
ERROR: Solution verification fails, real_empty = 222342, NB_EMPTY = 102736.
c local Search
c better result
o 338334
ERROR: Solution verification fails, real_empty = 222262, NB_EMPTY = 102656.
c local Search
c better result
o 338254
ERROR: Solution verification fails, real_empty = 103700, NB_EMPTY = 103145.
c local Search
c better result
o 339275
ERROR: Solution verification fails, real_empty = 103620, NB_EMPTY = 103065.
c local Search
c better result
o 339195
ERROR: Solution verification fails, real_empty = 222532, NB_EMPTY = 102926.
c local Search
c better result
o 33