while [  "`cray ps -fe | grep ELFIN | wc -l`" -gt "5" ]
do
echo > /dev/null
done