From a980387c1f1f082149bdc037564760930b4c39e6 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Tue, 12 Jul 2011 12:25:32 +0000
Subject: [PATCH] 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
---
 src/AST/RunTimes.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/AST/RunTimes.h b/src/AST/RunTimes.h
index f52b1d3..df1e2bb 100644
--- 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();
   }
 
-- 
2.47.3