#!/bin/sh
pgrep -u cpicke -l | grep time | cut -d' ' -f1 | xargs kill -9
pgrep -u cpicke -l | grep current | cut -d' ' -f1 | xargs kill -9
pgrep -u cpicke -l | grep sablevm | cut -d' ' -f1 | xargs kill -9