Хеннинг уже очень хорошо ответил на вопрос. Кроме того, linux также кэширует DNS-серверы имен для посещенных доменов. Этот кеш можно сбросить с помощью nscd.
Сначала sudo apt-get install nscd, если у вас его нет. Затем очистите кеш DNS с помощью sudo /etc/init.d/nscd restart
Это не решило мою проблему, но подтвердило, что DNS не разрешен с конца ISP.
Эта ошибка уже открыта на панели запуска:
https://bugs.launchpad.net/ubuntu/+source/virt-manager/+bug/1448631