I have written a program in C/Linux, that was resolving domain names from a file, in parallel.
1000 domains/second is a lot. We may have to provide a list of DNS servers, and load balance between them.
Will use tadns and nxjson libraries, from source.