Bug fix: Droping the log from the anyvalue heuristic...
[satune.git] / 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