Function Dune::XT::Common::mem_usage

void Dune::XT::Common::mem_usage()

dumps kernel memory-usage stats into the default profiler output file

void Dune::XT::Common::mem_usage(std::string filename)

dumps kernel stats into a file