On the Administration console, right-click on the name of the target domain in the left panel.
Choose "Kill this domain ..." from the list of options.
The Administration console will ask you whether that is really what you want to do. Click "Yes." All the affected servers should immediately stop work. Node Manager will kill any server that does not respond.
Check the output of the process/thread that started the Administration server to confirm the success of the process and review any error messages.