Разве у них не общий кэш? Запуск практически одновременный, в одном и том же терминале.
Перед этим, естественно, были изменены настройки самого DNS-сервера (изначально он резолвил 127.0.0.1, потом в нём был указан правильный адрес). Да, скорее всего, дело в кэше. Но не понятно,
как кэш может быть так устроен даже чисто в теории.