woop/kill_node.sh

#!/bin/bash

for pid in `/bin/ps -fu $USER| grep "benchmark\|txgen\|soldier\|commander\|profiler\|beacon" | grep -v "grep" | grep -v "vi" | awk '{print $2}'`;
do
    echo 'Killed process: '$pid
    kill -9 $pid
done