From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Sat, 20 Oct 2018 01:56:51 +0000 (-0700)
Subject: Monitoring the deserializerun
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=97c421c75f29cf910384af857d7db90f83676b82

Monitoring the deserializerun
---

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