tunermonitor.sh

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