Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-pms_industrial-_home_maxsat_benchmarks_pms_industrial_bcp-fir_normalized-fir02_area_partials.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-fir02_area_partials.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 99 250 60
c WARNING: Ubcsat not found.
o 60
c local Search
c better result
o 90
c local Search
c better result
o 92
c local Search
c better result
o 89
c local Search
c better result
o 91
c local Search
c better result
o 91
c local Search
c better result
o 93
c local Search
c better result
o 90
c local Search
c better result
o 92
c local Search
o 31
c local Search
o 29
c local Search
o 28
c local Search
o 27
o 26
c local Search
c better result
o 85
c local Search
c better result
o 91
c local Search
c better result
o 93
c local Search
c better result
o 90
c local Search
c better result
o 92
c local Search
c better result
o 92
c local Search
c better result
o 94
c local Search
c better result
o 91
c local Search
c better result
o 93
c local Search
o 32
c local Search
o 30
c local Search
o 29
c local Search
o 28
c local Search
o 27
c local Search
o 26
o 25
c local Search
c better result
o 84
c local Search
c better result
o 91
c local Search
c better result
o 93
c local Search
c better result
o 90
c local Search
c better result
o 92
c local Search
c better result
o 92
c local Search
c better result
o 94
c local Search
c better result
o 91
c local Search
c better result
o 93
c local Search
o 32
c local Search
o 30
c local Search
o 29
c local Search
o 28
c local Search
o 27
c local Search
c better result
o 86
o 32
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 31.
c local Search
c better result
o 86
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 31.
c local Search
c better result
o 86
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 85
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 86
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
o 33
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
o 33
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 86
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
o 33
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 86
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 86
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 86
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 96
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 41.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 86
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 96
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 41.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 96
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 41.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 96
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 41.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
o 36
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 96
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 41.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 96
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 41.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 96
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 41.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
o 38
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 96
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 41.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 96
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 41.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 41.
c local Search
c better result
o 97
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 42.
c local Search
c better result
o 96
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
o 38
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 39.
c local Search
c better result
o 95
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 40.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
o 37
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 32.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 86
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
o 34
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 33.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 87
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 88
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
o 35
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 34.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 89
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 35.
c local Search
c better result
o 91
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better result
o 93
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 90
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 36.
c local Search
c better result
o 92
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 38.
c local Search
c better result
o 94
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 37.
c local Search
c better r