Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax3sat_lo_file_rwpms_wcnf_L3_V100_C300_H100_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C300_H100_0.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 300 1632
c WARNING: Ubcsat not found.
o 1632
c local Search
o 18
c local Search
o 16
c local Search
o 15
c local Search
o 14
c local Search
o 13
c local Search
c better result
o 10
o 9
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 8.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 8.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 7.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 7.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 12.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 12.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 11.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 15.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 14.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 7.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 7.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 55, NB_EMPTY = 21.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 53, NB_EMPTY = 19.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 14.
c local Search
c better result
o 15
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 14.
c local Search
c better result
o 15
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 57, NB_EMPTY = 21.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 57, NB_EMPTY = 21.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 58, NB_EMPTY = 20.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 17.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 17.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 1675, NB_EMPTY = 15.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 1675, NB_EMPTY = 15.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 14.
c local Search
c better result
o 14
ERROR: Solution verification fails, real_empty = 1673, NB_EMPTY = 13.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1673, NB_EMPTY = 13.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 18.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 62, NB_EMPTY = 15.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 62, NB_EMPTY = 15.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 61, NB_EMPTY = 13.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 61, NB_EMPTY = 13.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 65, NB_EMPTY = 9.
c local Search
c better result
o 13
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 8.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 8.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1677, NB_EMPTY = 9.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 1675, NB_EMPTY = 7.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 63, NB_EMPTY = 23.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 56, NB_EMPTY = 16.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 17.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 18.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 12.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 12.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 57, NB_EMPTY = 17.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 54, NB_EMPTY = 14.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 15.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 16.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 10.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 10.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 56, NB_EMPTY = 12.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 15.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 54, NB_EMPTY = 17.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 54, NB_EMPTY = 17.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 55, NB_EMPTY = 17.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 57, NB_EMPTY = 19.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 17.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 15.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 55, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 54, NB_EMPTY = 11.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 13.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 57, NB_EMPTY = 7.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 58, NB_EMPTY = 9.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 57, NB_EMPTY = 7.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 57, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 58, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 61, NB_EMPTY = 12.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 16.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 17.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 16.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 14.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 17.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 14.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 24.
c local Search
c better result
o 31
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 22.
c local Search
c better result
o 31
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 22.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 20.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 16.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 14.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 17.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 22.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 19.
c local Search
c better result
o 13
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 10.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 15.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 15, NB_EMPTY = 11.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 15, NB_EMPTY = 11.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 8.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 13, NB_EMPTY = 9.
c local Search
c better result
o 19
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 19, NB_EMPTY = 15.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 13, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 11.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 16, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 19.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 18.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 15, NB_EMPTY = 13.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 15.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 17.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 20.
c local Search
c better result
o 11
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 10.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 8.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 13, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 16.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 14.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 14.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 14.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 12.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 19.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 20.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 17.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 21.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 21.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 18.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 18.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 21.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 21.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 21.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 21.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 61, NB_EMPTY = 23.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 59, NB_EMPTY = 21.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 18.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 64, NB_EMPTY = 26.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 53, NB_EMPTY = 23.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 61, NB_EMPTY = 25.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 54, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 54, NB_EMPTY = 18.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 15.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 56, NB_EMPTY = 20.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 20.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 13.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 13.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 15.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 18.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1667, NB_EMPTY = 15.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 21.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1670, NB_EMPTY = 20.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1670, NB_EMPTY = 20.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 17.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 13.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 1675, NB_EMPTY = 23.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 19.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 1668, NB_EMPTY = 18.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1668, NB_EMPTY = 18.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 9.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 19.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 15.
c local Search
c better result
o 12
ERROR: Solution verification fails, real_empty = 1659, NB_EMPTY = 7.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 13.
c local Search
c better result
o 10
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 8.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 11.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 9.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 7.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 1678, NB_EMPTY = 16.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 12.
c local Search
c better result
o 17
ERROR: Solution verification fails, real_empty = 1678, NB_EMPTY = 16.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 12.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 19.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 14.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 14.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 14.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1649, NB_EMPTY = 15.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1649, NB_EMPTY = 15.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1649, NB_EMPTY = 15.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 14.
c local Search
c better result
o 14
ERROR: Solution verification fails, real_empty = 1659, NB_EMPTY = 13.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1664, NB_EMPTY = 13.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 14.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 18.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1658, NB_EMPTY = 16.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 19.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 17.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 18.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 15.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1673, NB_EMPTY = 18.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1670, NB_EMPTY = 15.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 15.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 1670, NB_EMPTY = 15.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 1667, NB_EMPTY = 12.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 14.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1668, NB_EMPTY = 13.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 15.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 14.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1667, NB_EMPTY = 16.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1667, NB_EMPTY = 12.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 15.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1673, NB_EMPTY = 19.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 18.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 17.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 16.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 21.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1670, NB_EMPTY = 20.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 19.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 18.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 17.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1670, NB_EMPTY = 16.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 15.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 14.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 19.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1668, NB_EMPTY = 18.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1659, NB_EMPTY = 17.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1658, NB_EMPTY = 16.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1647, NB_EMPTY = 11.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1655, NB_EMPTY = 10.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1645, NB_EMPTY = 9.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1653, NB_EMPTY = 8.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1655, NB_EMPTY = 10.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1649, NB_EMPTY = 13.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1648, NB_EMPTY = 12.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 1653, NB_EMPTY = 8.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 1647, NB_EMPTY = 11.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 1646, NB_EMPTY = 10.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 14.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 14.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 12.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 14.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 12.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1674, NB_EMPTY = 16.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 13.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1675, NB_EMPTY = 17.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 1675, NB_EMPTY = 17.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 14.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 14.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 14.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 11.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 1674, NB_EMPTY = 16.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 1673, NB_EMPTY = 15.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 1682, NB_EMPTY = 19.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1670, NB_EMPTY = 17.
c local Search
c better result
o 14
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 10.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 11.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1658, NB_EMPTY = 12.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 1677, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 8.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 13.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1655, NB_EMPTY = 9.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1684, NB_EMPTY = 21.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 1682, NB_EMPTY = 19.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 17.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 18.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1668, NB_EMPTY = 15.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 13.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1683, NB_EMPTY = 20.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 1680, NB_EMPTY = 17.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 15.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1670, NB_EMPTY = 16.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 13.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 1655, NB_EMPTY = 11.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 1680, NB_EMPTY = 17.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 1678, NB_EMPTY = 15.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 17.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 15.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 1682, NB_EMPTY = 14.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1681, NB_EMPTY = 13.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1674, NB_EMPTY = 15.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1673, NB_EMPTY = 14.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1680, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1679, NB_EMPTY = 11.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 13.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1682, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1684, NB_EMPTY = 16.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1673, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1675, NB_EMPTY = 16.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 17.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 16.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 14.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 17.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 14.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 24.
c local Search
c better result
o 31
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 22.
c local Search
c better result
o 31
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 22.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 20.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 16.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 14.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 17.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 22.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 19.
c local Search
c better result
o 13
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 10.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 15.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 15, NB_EMPTY = 11.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 15, NB_EMPTY = 11.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 8.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 13, NB_EMPTY = 9.
c local Search
c better result
o 19
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 19, NB_EMPTY = 15.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 13, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 11.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 16, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 19.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 15, NB_EMPTY = 13.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 15.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 17.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 20.
c local Search
c better result
o 11
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 10.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 8.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 13, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 16.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 14.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 14.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 14.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 12.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 19.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 20.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 17.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 21.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 21.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 18.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 18.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 21.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 21.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 21.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 21.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 61, NB_EMPTY = 30.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 25.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 19.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 17.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 21.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 24.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 22.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 23.
c local Search
c better result
o 17
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 16.
c local Search
c better result
o 13
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 15.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 10.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 11.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 15.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 14.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 11.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 10.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 15.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 14.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 11.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 10.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 15.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 14.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 18.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 19.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 16.
c local Search
c better result
o 13
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 11.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 8.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 13.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 12.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 11.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 10.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 14.
c local Search
c better result
o 14
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 12.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 8.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 17.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 16.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 16.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 17.
c local Search
c better result
o 17
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 14.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 14.
c local Search
c better result
o 11
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 18.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 1652, NB_EMPTY = 15.
c local Search
c better result
o 14
ERROR: Solution verification fails, real_empty = 1648, NB_EMPTY = 13.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1650, NB_EMPTY = 11.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 17.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 15.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1648, NB_EMPTY = 9.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1652, NB_EMPTY = 13.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 16.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1664, NB_EMPTY = 15.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 1664, NB_EMPTY = 19.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 18.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 17.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 16.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1652, NB_EMPTY = 13.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1651, NB_EMPTY = 12.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 1656, NB_EMPTY = 17.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 1655, NB_EMPTY = 16.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 18.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 16.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 1650, NB_EMPTY = 15.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1654, NB_EMPTY = 19.
c local Search
c better result
o 45
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 14.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 13.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1664, NB_EMPTY = 19.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 18.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 17.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 16.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1650, NB_EMPTY = 11.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 1649, NB_EMPTY = 10.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 1654, NB_EMPTY = 15.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1653, NB_EMPTY = 14.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 18.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 16.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1664, NB_EMPTY = 19.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 17.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1667, NB_EMPTY = 18.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 20.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 18.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 17.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 20.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 18.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 16.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 1664, NB_EMPTY = 15.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 21.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 20.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 1664, NB_EMPTY = 19.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 18.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1681, NB_EMPTY = 24.
c local Search
c better result
o 14
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 11.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 12.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 13.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 1658, NB_EMPTY = 9.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1659, NB_EMPTY = 10.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 1675, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1676, NB_EMPTY = 17.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 1673, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 1674, NB_EMPTY = 15.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 1674, NB_EMPTY = 15.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 1675, NB_EMPTY = 16.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 17.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 15.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 17.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 21.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 24.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 21.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 20.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 20.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 20.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 20.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 18.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 21.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 19.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 16.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 14.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 18.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 16.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 16.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 14.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 17.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 15.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 13.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 20.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 20.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 19.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 19.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 20.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 19.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 21.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 21.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 18.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 27.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 27.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 27.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 25.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 22.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 17.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 20.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 13.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 17.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 15.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 19.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 17.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 18.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 18, NB_EMPTY = 11.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 20.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 21.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 18, NB_EMPTY = 17.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 17.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 17, NB_EMPTY = 15.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 22.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 22.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 22.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 17.
c local Search
c better result
o 31
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 15.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 16, NB_EMPTY = 13.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 18, NB_EMPTY = 11.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 17.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 17, NB_EMPTY = 10.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 13, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 15.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 16, NB_EMPTY = 14.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 21.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 20.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 16.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 15, NB_EMPTY = 13.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 13, NB_EMPTY = 9.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 13, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 19, NB_EMPTY = 16.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 18.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 25.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 29.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 32.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 25.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 24.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 22.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 21.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 23.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 22.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 23.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 22.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 23.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 22.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 19.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 18.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 24.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 22.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 25.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 21.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 30.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 29.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 31.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 30.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 31.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 30.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 27.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 26.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 32.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 31.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 33.
c local Search
c better result
o 46
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 34.
c local Search
c better result
o 45
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 36.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 36.
c local Search
c better result
o 46
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 30.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 27.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 26.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 29.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 31.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 23.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 28.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 23.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 22.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 21.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 20.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 24.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 23.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 17.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 28.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 27.
c local Search
c better result
o 49
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 27.
c local Search
c better result
o 46
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 26.
c local Search
c better result
o 48
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 27.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 26.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 26.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 25.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 35.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 34.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 29.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 28.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 29.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 28.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 28.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 27.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 23.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 22.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 22.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 21.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 30.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 29.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 29.
c local Search
c better result
o 45
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 28.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 30.
c local Search
c better result
o 46
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 29.
c local Search
c better result
o 48
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 28.
c local Search
c better result
o 45
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 27.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 27.
c local Search
c better result
o 46
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 26.
c local Search
c better result
o 48
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 25.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 24.
c local Search
c better result
o 46
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 27.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 26.
c local Search
c better result
o 45
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 29.
c local Search
c better result
o 46
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 28.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 28.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 27.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 24.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 23.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 21.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 20.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 23.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 22.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 20.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 19.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 35, NB_EMPTY = 21.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 20.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 33, NB_EMPTY = 23.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 22.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 21.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 20.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 17.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 31.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 33.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 31.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 31.
c local Search
c better result
o 45
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 32.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 24.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 50, NB_EMPTY = 25.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 23.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 24.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 50, NB_EMPTY = 31.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 55, NB_EMPTY = 34.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 57, NB_EMPTY = 32.
c local Search
c better result
o 51
ERROR: Solution verification fails, real_empty = 58, NB_EMPTY = 35.
c local Search
c better result
o 45
ERROR: Solution verification fails, real_empty = 50, NB_EMPTY = 31.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 56, NB_EMPTY = 31.
c local Search
c better result
o 53
ERROR: Solution verification fails, real_empty = 62, NB_EMPTY = 37.
c local Search
c better result
o 53
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 28.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 28.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 28.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 53, NB_EMPTY = 28.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 27.
c local Search
c better result
o 45
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 27.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 28.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 28.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 26.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 24.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 24.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 50, NB_EMPTY = 25.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 26.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 23.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 24.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 24.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 29.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 30.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 33.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 39.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 29.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 30.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 32.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 34.
c local Search
c better result
o 44
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 22.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 21.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 23.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 22.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 56, NB_EMPTY = 35.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 55, NB_EMPTY = 34.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 58, NB_EMPTY = 37.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 57, NB_EMPTY = 36.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 28.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 27.
c local Search
c better result
o 49
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 27.
c local Search
c better result
o 46
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 26.
c local Search
c better result
o 48
ERROR: Solution verification fails, real_empty = 53, NB_EMPTY = 30.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 29.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 29.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 28.
c local Search
c better result
o 47
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 32.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 50, NB_EMPTY = 31.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 28.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 27.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 29.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 28.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 27.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 26.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 26.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 25.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 27.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 26.
c local Search
c better result
o 46
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 29.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 28.
c local Search
c better result
o 45
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 22.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 21.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 23.
c local Search
c better result
o 37
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 22.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 25.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 24.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 27.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 26.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 54, NB_EMPTY = 32.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 18.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 19.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 17.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 20.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 14.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 15.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 11.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 12.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 16.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 13.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 12.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 13.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 13.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 14.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 13.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 14.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 9.
c local Search
c better result
o 19
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 10.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 16.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 17.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 42, NB_EMPTY = 17.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 18.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 22.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 21.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 14.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 23.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 24.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 25.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 26.
c local Search
c better result
o 42
ERROR: Solution verification fails, real_empty = 53, NB_EMPTY = 29.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 27.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 48, NB_EMPTY = 24.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 33.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 31.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 17.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 16.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 16.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 18.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 19.
c local Search
c better result
o 24
ERROR: Solution verification fails, real_empty = 1664, NB_EMPTY = 17.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1669, NB_EMPTY = 22.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 25.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 25.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1670, NB_EMPTY = 25.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 23.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 18.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1664, NB_EMPTY = 17.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1664, NB_EMPTY = 21.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1658, NB_EMPTY = 21.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 1653, NB_EMPTY = 20.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1654, NB_EMPTY = 17.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1658, NB_EMPTY = 21.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1654, NB_EMPTY = 17.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1653, NB_EMPTY = 21.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 1654, NB_EMPTY = 17.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 1652, NB_EMPTY = 15.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1652, NB_EMPTY = 15.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1656, NB_EMPTY = 19.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1652, NB_EMPTY = 15.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1651, NB_EMPTY = 19.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1652, NB_EMPTY = 15.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1665, NB_EMPTY = 18.
c local Search
c better result
o 15
ERROR: Solution verification fails, real_empty = 1651, NB_EMPTY = 14.
c local Search
c better result
o 8
ERROR: Solution verification fails, real_empty = 1675, NB_EMPTY = 7.
c local Search
c better result
o 1664
ERROR: Solution verification fails, real_empty = 3307, NB_EMPTY = 1639.
c local Search
c better result
o 1664
ERROR: Solution verification fails, real_empty = 3313, NB_EMPTY = 1645.
c local Search
c better result
o 1665
ERROR: Solution verification fails, real_empty = 3314, NB_EMPTY = 1646.
c local Search
c better result
o 1672
ERROR: Solution verification fails, real_empty = 3314, NB_EMPTY = 1646.
c local Search
c better result
o 1674
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 7.
c local Search
c better result
o 1649
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 8.
c local Search
c better result
o 1650
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 7.
c local Search
c better result
o 1652
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 8.
c local Search
c better result
o 1653
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 16.
c local Search
c better result
o 1656
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 17.
c local Search
c better result
o 1654
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 13.
c local Search
c better result
o 1650
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 15.
c local Search
c better result
o 1660
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 8.
c local Search
c better result
o 1650
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 19.
c local Search
c better result
o 1658
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 21.
c local Search
c better result
o 1663
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 23.
c local Search
c better result
o 1654
ERROR: Solution verification fails, real_empty = 45, NB_EMPTY = 21.
c local Search
c better result
o 1655
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 16.
c local Search
c better result
o 1661
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 20.
c local Search
c better result
o 1657
ERROR: Solution verification fails, real_empty = 50, NB_EMPTY = 26.
c local Search
c better result
o 1651
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 25.
c local Search
c better result
o 1659
ERROR: Solution verification fails, real_empty = 53, NB_EMPTY = 29.
c local Search
c better result
o 1654
ERROR: Solution verification fails, real_empty = 52, NB_EMPTY = 28.
c local Search
c better result
o 1662
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 23.
c local Search
c better result
o 1654
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 22.
c local Search
c better result
o 1662
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 26.
c local Search
c better result
o 1655
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 21.
c local Search
c better result
o 1655
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 23.
c local Search
c better result
o 1660
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 23.
c local Search
c better result
o 1655
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 10.
c local Search
c better result
o 1661
ERROR: Solution verification fails, real_empty = 1668, NB_EMPTY = 12.
c local Search
c better result
o 1666
ERROR: Solution verification fails, real_empty = 1670, NB_EMPTY = 14.
c local Search
c better result
o 1665
ERROR: Solution verification fails, real_empty = 1668, NB_EMPTY = 12.
c local Search
c better result
o 1666
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 7.
c local Search
c better result
o 1664
ERROR: Solution verification fails, real_empty = 1667, NB_EMPTY = 11.
c local Search
c better result
o 1668
ERROR: Solution verification fails, real_empty = 47, NB_EMPTY = 23.
c local Search
c better result
o 1663
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 22.
c local Search
c better result
o 1662
ERROR: Solution verification fails, real_empty = 50, NB_EMPTY = 26.
c local Search
c better result
o 1666
ERROR: Solution verification fails, real_empty = 49, NB_EMPTY = 25.
c local Search
c better result
o 1665
ERROR: Solution verification fails, real_empty = 44, NB_EMPTY = 20.
c local Search
c better result
o 1666
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 19.
c local Search
c better result
o 1665
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 23.
c local Search
c better result
o 1666
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 18.
c local Search
c better result
o 1666
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 20.
c local Search
c better result
o 1671
ERROR: Solution verification fails, real_empty = 43, NB_EMPTY = 20.
c local Search
c better result
o 1666
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 7.
c local Search
c better result
o 1649
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 8.
c local Search
c better result
o 1650
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 7.
c local Search
c better result
o 1652
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 8.
c local Search
c better result
o 1653
ERROR: Solution verification fails, real_empty = 30, NB_EMPTY = 16.
c local Search
c better result
o 1656
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 17.
c local Search
c better result
o 1654
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 13.
c local Search
c better result
o 1650
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 15.
c local Search
c better result
o 1660
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 8.
c local Search
c better result
o 1650
ERROR: Solution verification fails, real_empty = 1653, NB_EMPTY = 7.
c local Search
c better result
o 1661
ERROR: Solution verification fails, real_empty = 1654, NB_EMPTY = 8.
c local Search
c better result
o 1662
ERROR: Solution verification fails, real_empty = 1653, NB_EMPTY = 7.
c local Search
c better result
o 1664
ERROR: Solution verification fails, real_empty = 1654, NB_EMPTY = 8.
c local Search
c better result
o 1665
ERROR: Solution verification fails, real_empty = 36, NB_EMPTY = 22.
c local Search
c better result
o 1668
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 23.
c local Search
c better result
o 1666
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 19.
c local Search
c better result
o 1662
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 21.
c local Search
c better result
o 1672
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 14.
c local Search
c better result
o 1662
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 29.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 1667, NB_EMPTY = 18.
c local Search
c better result
o 17
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 14.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 16.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 17.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 14.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 15.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 15.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 12.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1658, NB_EMPTY = 9.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 12.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1658, NB_EMPTY = 9.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 14.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 15.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 11.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 1658, NB_EMPTY = 9.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 15.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 17.
c local Search
c better result
o 43
ERROR: Solution verification fails, real_empty = 1661, NB_EMPTY = 22.
c local Search
c better result
o 12
ERROR: Solution verification fails, real_empty = 1646, NB_EMPTY = 11.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 1648, NB_EMPTY = 9.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 1646, NB_EMPTY = 11.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1648, NB_EMPTY = 9.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 50, NB_EMPTY = 33.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 46, NB_EMPTY = 33.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 41, NB_EMPTY = 24.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 39, NB_EMPTY = 26.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 24.
c local Search
c better result
o 36
ERROR: Solution verification fails, real_empty = 40, NB_EMPTY = 30.
c local Search
c better result
o 22
ERROR: Solution verification fails, real_empty = 34, NB_EMPTY = 21.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 21.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 18.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 18.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 18.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 29, NB_EMPTY = 15.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 18.
c local Search
c better result
o 28
ERROR: Solution verification fails, real_empty = 17, NB_EMPTY = 14.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 19, NB_EMPTY = 12.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 20.
c local Search
c better result
o 33
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 18.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 31, NB_EMPTY = 24.
c local Search
c better result
o 15
ERROR: Solution verification fails, real_empty = 17, NB_EMPTY = 10.
c local Search
c better result
o 11
ERROR: Solution verification fails, real_empty = 13, NB_EMPTY = 9.
c local Search
c better result
o 11
ERROR: Solution verification fails, real_empty = 1655, NB_EMPTY = 9.
c local Search
c better result
o 1657
ERROR: Solution verification fails, real_empty = 1645, NB_EMPTY = 9.
c local Search
c better result
o 1657
ERROR: Solution verification fails, real_empty = 37, NB_EMPTY = 15.
c local Search
c better result
o 1660
ERROR: Solution verification fails, real_empty = 16, NB_EMPTY = 12.
c local Search
c better result
o 1651
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 1641.
c local Search
c better result
o 1659
ERROR: Solution verification fails, real_empty = 38, NB_EMPTY = 16.
c local Search
c better result
o 1659
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 13.
c local Search
c better result
o 15
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 9.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1673, NB_EMPTY = 16.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1673, NB_EMPTY = 16.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 17.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 1671, NB_EMPTY = 17.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 1663, NB_EMPTY = 17.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1666, NB_EMPTY = 24.
c local Search
c better result
o 46
ERROR: Solution verification fails, real_empty = 1660, NB_EMPTY = 14.
c local Search
c better result
o 38
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 15.
c local Search
c better result
o 41
ERROR: Solution verification fails, real_empty = 1672, NB_EMPTY = 15.
c local Search
c better result
o 14
ERROR: Solution verification fails, real_empty = 1662, NB_EMPTY = 13.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1650, NB_EMPTY = 14.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 1650, NB_EMPTY = 14.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 1650, NB_EMPTY = 14.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 1650, NB_EMPTY = 14.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 1650, NB_EMPTY = 14.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 18.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 18.
c local Search
c better result
o 21
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 18.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1657, NB_EMPTY = 18.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 1654, NB_EMPTY = 15.
c local Search
c better result
o 40
ERROR: Solution verification fails, real_empty = 1649, NB_EMPTY = 10.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 1659, NB_EMPTY = 20.
c local Search
c better result
o 39
ERROR: Solution verification fails, real_empty = 1654, NB_EMPTY = 15.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 51, NB_EMPTY = 29.
c local Search
c better result
o 17
ERROR: Solution verification fails, real_empty = 19, NB_EMPTY = 15.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 14, NB_EMPTY = 10.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 21.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 19.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 27, NB_EMPTY = 23.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 22.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 28, NB_EMPTY = 24.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 25, NB_EMPTY = 21.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 24, NB_EMPTY = 20.
c local Search
c better result
o 28
c local Search
c better result
o 24
c local Search
o 21
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 30
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 18.
c local Search
c better result
o 31
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 17.
c local Search
c better result
o 34
ERROR: Solution verification fails, real_empty = 23, NB_EMPTY = 19.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 29
ERROR: Solution verification fails, real_empty = 19, NB_EMPTY = 15.
c local Search
c better result
o 32
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 30.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 24.
c local Search
c better result
o 35
ERROR: Solution verification fails, real_empty = 32, NB_EMPTY = 34.
c local Search
c better result
o 27
ERROR: Solution verification fails, real_empty = 26, NB_EMPTY = 24.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 18
ERROR: Solution verification fails, real_empty = 19, NB_EMPTY = 15.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 18.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 17.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 18, NB_EMPTY = 14.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 19.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 22, NB_EMPTY = 20.
c local Search
c better result
o 26
ERROR: Solution verification fails, real_empty = 21, NB_EMPTY = 19.
c local Search
c better result
o 25
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 18, NB_EMPTY = 14.
c local Search
c better result
o 16
ERROR: Solution verification fails, real_empty = 19, NB_EMPTY = 15.
c local Search
c better result
o 17
ERROR: Solution verification fails, real_empty = 19, NB_EMPTY = 15.
c local Search
c better result
o 23
ERROR: Solution verification fails, real_empty = 17, NB_EMPTY = 13.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 16, NB_EMPTY = 12.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 18, NB_EMPTY = 14.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 20, NB_EMPTY = 16.
c local Search
c better result
o 20
ERROR: Solution verification fails, real_empty = 14, NB_EMPTY = 10.
c local Search
c better result
o 18
c local Search
c better result
o 19
c local Search
o 14
c local Search
o 12
ERROR: Solution verification fails, real_empty = 15, NB_EMPTY = 11.
c local Search
c better result
o 7
c local Search
o 6
c local Search
o 3
c local Search
o 1
c local Search
o 0
c Learned clauses = 2
c NB_MONO= 5710, NB_BRANCHE= 2175, NB_BACK= 1061 
s OPTIMUM FOUND
c Optimal Solution = 0
v 1 2 3 -4 5 -6 7 -8 9 -10 -11 12 -13 14 15 -16 17 18 -19 -20 -21 22 -23 -24 25 -26 27 -28 29 -30 -31 -32 -33 -34 35 36 37 -38 -39 -40 41 42 -43 44 45 -46 -47 -48 -49 -50 -51 -52 -53 54 -55 56 57 -58 -59 60 -61 -62 63 64 -65 66 67 -68 -69 -70 71 -72 73 -74 -75 -76 77 78 -79 -80 81 82 -83 84 -85 -86 -87 -88 89 90 -91 92 93 94 95 -96 -97 -98 -99 100 
0.462u 0.010s 0:00.56 83.9%	0+0k 0+0io 0pf+0w