diff --git a/Makefile b/Makefile
index 2aa393c..646c1c5 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ EXECUTABLE=Mp
 #EXECUTABLE=M
 #ARCH=-m32
 
-INSTRUMENT = #-g -ggdb -pg
+INSTRUMENT = -g -ggdb -pg
 
 CONFIGURATION= -DLBD -DREPRTHREE -DWEIGHTS #-DFUIP #-DMULTICORE #-DSPREAD -DCOSTS -DCFMA  -DCP3
 
diff --git a/main.c b/main.c
index a10cb41..5523d0b 100644
--- a/main.c
+++ b/main.c
@@ -215,8 +215,6 @@ void printStatistics()
 	 time2real(time10ms() - TIMEstart),
 	 time2real(TIMEpreprocess - TIMEstart));
 
-  givememorystatistics();
-
   printf("maxLearnedClauseLength: %i\n",stats_longest_learned);
 
   if (numberOfGroundActionsAfterParsing > -1)