From acbb13780f8613d86c017bed221abe587b22e5f1 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Fri, 19 Oct 2018 18:39:35 -0700
Subject: [PATCH] Script for monitoring the tuner ...

---
 tunermonitor.sh | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100755 tunermonitor.sh

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
-- 
2.34.1