smtmonitor.sh

   1 #!/bin/bash
   2
   3 #Terminate the script if even one command fails
   4 #set -e
   5
   6 SATSOLVER=z3
   7 CSOLVER=wiretap-tools
   8 SLEEPTIME=10
   9 FILE=monitor.log
  10
  11
  12 kill -9 `jobs -ps` &>$FILE
  13
  14 while true; do
  15         date >> $FILE
  16         free >> $FILE
  17         ps aux | grep $SATSOLVER | grep -v "grep" >> $FILE
  18         ps aux | grep $CSOLVER | grep -v "grep" >> $FILE
  19         echo "*************************" >> $FILE
  20         sleep $SLEEPTIME
  21 done