The .cshrc file that comes with your Flint system contains the alias which can be used to kill all Flint processes at once.
To kill all Flint-related processes:
To verify that all Flint-related processes have been killed:
This command displays information about all active processes, including the application with which each process is associated, and a process ID number. If all Flint processes have been successfully killed, this command should return no results.
Never restart Flint if there are still Flint processes left over from a previous session. If some Flint processes persist after using the kill alias, you must kill them independently.