void write_msg(double time, size_t cmem, size_t max_rss, level l, const char* file, size_t line_num, const char* source, const char* msg) {
std::cout
<< str(boost::format("%14s %5s / %5s %6s %-24.24s (%-26.26s:%4d) %s")
% human_readable_time(time) % human_readable_memory(cmem) % human_readable_memory(max_rss) % logging::level_name(l)
% source % path::filename(file) % int(line_num) % msg)
<< std::endl;
}
friend std::ostream& operator<<(std::ostream &os, const as_preconditioner &p) {
os << "Relaxation as preconditioner" << std::endl;
os << " unknowns: " << backend::rows(p.system_matrix()) << std::endl;
os << " nonzeros: " << backend::nonzeros(p.system_matrix()) << std::endl;
os << " memory: " << human_readable_memory(p.bytes()) << std::endl;
return os;
}
