kill_servers output: