$B$5 >= $B$3 + 1
скорее всего, оценивается в:
FALSE +1
(равно 1) или TRUE +1
(равно 2).
Солвер ожидает, что ограничения разрешатся либо в True, либо в False (0 или 1). Так что случай, когда неравенство истинно и вы затем добавляете 1, получая результат 2, скорее всего, все испортит.
Сделайте плюс 1 в электронной таблице, возможно, в следующем столбце, и измените ограничение, чтобы ссылаться на эту новую ячейку.