Output the peak memory used when using -s.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1371 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/AST/RunTimes.h b/src/AST/RunTimes.h
index f52b1d388112cc7f140017c4503e32dd2e0f705e..df1e2bb3e185b58c0a7c07f57d2416e9a66ee085 100644 (file)
--- a/src/AST/RunTimes.h
+++ b/src/AST/RunTimes.h
@@ -13,6 +13,8 @@
 #include <stack>
 #include <map>
 #include <string>
+#include "../sat/utils/System.h"
+#include <iomanip>
 
 class RunTimes
 {
@@ -72,6 +74,7 @@ public:
     long val = getCurrentTime();
     s << (val -  lastTime) << "ms" ;
     lastTime = val;
+    s << ":" << std::setiosflags(std::ios::fixed) << std::setprecision(0) << Minisat::memUsed() << "M";
     return s.str();
   }