From da8defd4747d6b357afb7498d0c2f41a223403e8 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 29 Sep 2015 13:26:53 +0200
Subject: [PATCH] [mc] Quick hack to display system memory information
 (optional)

---
 src/mc/mc_global.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 86039ca696..d47bc012ad 100644
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -507,6 +507,8 @@ void MC_print_statistics(mc_stats_t stats)
     if (_sg_mc_comms_determinism)
       XBT_INFO("Recv-deterministic : %s", !initial_global_state->recv_deterministic ? "No" : "Yes");
   }
+  if (getenv("SIMGRID_MC_SYSTEM_STATISTICS"))
+    system("free");
 }
 
 void MC_automaton_load(const char *file)
-- 
2.20.1