В общем я выбрал неудачную стратегию. Закодил первое, что пришло в голову и не угадал

Время решения растет экспоненциально сложности судоку.
Хотя иногда попадаются и быстро решаемые сложные. На средней сложности откатов почти нет, а вот на вариантах vlad'a уходит в глубокий перебор. Время с большой точностью не мерил, но средние решаются меньше секунды (так как 1С интерпретатор, то более точно мерить смысла нет)
Почему вариант vlad'a не решается я понял, но с данной стратегией победить не получилось. Поэтому прикладываю пока этот первый вариант, и подумаю как сделать иначе.