O comando kill é bem útil para encerrar processos, uso ele bastante em um servidor bem fraquinho que tenho para usar como DNS Secundário, como o servidor tem pouca memória ram (256Mb), eu não consigo realizar as atualizações sem que finalize alguns processos.
O comando é bem simples de usar, basta digitar kill e o número do processo no terminal.
Para saber o número do do processo use o comando top , o número do processo é o da coluna PID