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