free >> $FILE
ps aux | grep $SATSOLVER | grep -v "grep" >> $FILE
ps aux | grep $CSOLVER | grep -v "run.sh" | grep -v "grep" >> $FILE
free >> $FILE
ps aux | grep $SATSOLVER | grep -v "grep" >> $FILE
ps aux | grep $CSOLVER | grep -v "run.sh" | grep -v "grep" >> $FILE