When I've had to use kill on various linux boxes from time to time, i always use Code: /kill -9 pid where pid is the process identifier as listed in the output from the 'top' command. More info on the kill command here.
/kill -9 pid