Speed up server stop by killing processes in parallel.