Você pode usar o comando do terminal "ps -ax" para encontrar seu pid. Então mate -9 thepid (ou mate-o mais bem, sua escolha). Eu acho que você também pode obter uma lista de pids com "lsof", mas não tenho idéia de como fazer isso. Espero que isso ajude:).