From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Sat, 20 Oct 2018 01:39:35 +0000 (-0700)
Subject: Script for monitoring the tuner ...
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=acbb13780f8613d86c017bed221abe587b22e5f1;hp=9392806929b8fc95a9f9a65ffd22e6867911b420

Script for monitoring the tuner ...
---

diff --git a/tunermonitor.sh b/tunermonitor.sh
new file mode 100755
index 0000000..cbb7c22
--- /dev/null
+++ b/tunermonitor.sh
@@ -0,0 +1,23 @@
+#!/bin/bash
+
+#Terminate the script if even one command fails
+#set -e
+
+SATSOLVER=sat_solver
+CSOLVER=runcomptuner
+MONITOR=tunermonitor
+SLEEPTIME=10
+FILE=monitor.log
+
+
+kill -9 `jobs -ps` &>$FILE
+
+while true; do
+	date >> $FILE
+	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 $MONITOR | grep -v "grep" >> $FILE
+	echo "*************************" >> $FILE
+	sleep $SLEEPTIME
+done