After we use gdb to get the thread stack traces, we should kill -ABRT the tools processes, and finally kill -KILL the processes, in case they're hard hung.
I think we should wait a few seconds between the ABRT and the KILL to give the process a moment to finish the dump.