From 97c421c75f29cf910384af857d7db90f83676b82 Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Fri, 19 Oct 2018 18:56:51 -0700 Subject: [PATCH] Monitoring the deserializerun --- tunermonitor.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tunermonitor.sh b/tunermonitor.sh index cbb7c22..d294333 100755 --- a/tunermonitor.sh +++ b/tunermonitor.sh @@ -5,6 +5,7 @@ SATSOLVER=sat_solver CSOLVER=runcomptuner +DESERALIZE=deserializerun MONITOR=tunermonitor SLEEPTIME=10 FILE=monitor.log @@ -17,6 +18,7 @@ while true; do free >> $FILE ps aux | grep $SATSOLVER | grep -v "grep" >> $FILE ps aux | grep $CSOLVER | grep -v "run.sh" | grep -v "grep" >> $FILE + ps aux | grep $DESERALIZE | grep -v "run.sh" | grep -v "grep" >> $FILE ps aux | grep $MONITOR | grep -v "grep" >> $FILE echo "*************************" >> $FILE sleep $SLEEPTIME -- 2.34.1