FWIW, it was at least 4x overkill. But we did have resource problems on some CTFs, especially when there're lots of different exploit versions bypassing different patches or targeting different vulnerabilities. Renting a big server for a day is not THAT expensive, anyway.