3 #Terminate the script if even one command fails
13 kill -9 `jobs -ps` &>$FILE
18 ps aux | grep $SATSOLVER | grep -v "grep" >> $FILE
19 ps aux | grep $CSOLVER | grep -v "run.sh" | grep -v "grep" >> $FILE
20 ps aux | grep $MONITOR | grep -v "grep" >> $FILE
21 echo "*************************" >> $FILE