Я бы использовал MySql базу, загрузил бы туда все прокси, по очереди в нужный момент их брал бы с условием по времени, а если прокси не рабочий, то в ячейку возле самой прокси, записывал бы дату, когда повторно можно брать прокси, например через 3 часа, а рабочие прокси дата бы оставалась...