I tested your version against mine and it is around 8 seconds faster than my current version. Though tweaking your version to give similar output may negate some of that. This is the time output running against 7052 servers:

real    0m58.968s
user    0m50.566s
sys     1m3.864s
[download]