From c57b59f02fa654f5aab4d980dad5b613cadcf8bc Mon Sep 17 00:00:00 2001 From: Heng Li Date: Sun, 23 Sep 2018 20:27:49 -0400 Subject: [PATCH] r845: log peak memory --- main.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.c b/main.c index 0e0812b..b31d718 100644 --- a/main.c +++ b/main.c @@ -6,7 +6,7 @@ #include "mmpriv.h" #include "ketopt.h" -#define MM_VERSION "2.12-r836-dirty" +#define MM_VERSION "2.12-r845-dirty" #ifdef __linux__ #include @@ -367,7 +367,7 @@ int main(int argc, char *argv[]) fprintf(stderr, "[M::%s] CMD:", __func__); for (i = 0; i < argc; ++i) fprintf(stderr, " %s", argv[i]); - fprintf(stderr, "\n[M::%s] Real time: %.3f sec; CPU: %.3f sec\n", __func__, realtime() - mm_realtime0, cputime()); + fprintf(stderr, "\n[M::%s] Real time: %.3f sec; CPU: %.3f sec; Peak RSS: %.3f GB\n", __func__, realtime() - mm_realtime0, cputime(), peakrss() / 1024.0 / 1024.0 / 1024.0); } return 0; }