SATSOLVER=sat_solver
CSOLVER=runcomptuner
+DESERALIZE=deserializerun
MONITOR=tunermonitor
SLEEPTIME=10
FILE=monitor.log
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