X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=tunermonitor.sh;h=d294333816e88712118f3c2433b7ac762ed6ff66;hp=cbb7c22987872083bd55f61e1f02826960c806fc;hb=8b6e2584186a0f9bfd7b9678d99e92e2ea1a5584;hpb=acbb13780f8613d86c017bed221abe587b22e5f1;ds=sidebyside

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