I would suggest using the file SD option and then having a tool creating
a JSON/YAML file containing the servers to scrape.
Is there really no list of those servers? For example are you using
something like Ansible or Chef to provision/maintain them?
--
Stuart Clark