Поддерживаю про регулярки. Таже если там сильно мутная база, можно брать образцы (т.е. скорее всего порт будет 8080, а не 6666, и т.д.)
Добавить бы - автопереводка domain.net в ip - некоторые прокси-листы такие )
* Код первого поста не тестил. Юзаю фильтр и чекер на freeproxy.ru )