Добавил TimeOut для Ping. Однако хочу заметить: при попытке пинга не IP адресов, а DNS имен задержка будет все таже(примерно 3 секунды), которая получается от вызова gethostbyname - в ней время ожидания задать невозможно. Поэтому для ускорения работы нужно пинговать прямые IP адреса.