h=`hostname -f`; s=`df -k /ssd | grep dev | awk '{print int($4/1024/1024)}'`; if [ -d /ssd/shardtool_build ]; then b=`du -s /ssd/shardtool_build | awk '{print int($1/1024/1024)}'`; else b=0; fi; echo $h $s $b | awk '{print $1" "$2" "$3}'
