<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<br class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">On , 2020Sep17, at 09:13, Jacob Faibussowitsch <<a href="mailto:jacob.fai@gmail.com" class="">jacob.fai@gmail.com</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">Victor
 - Does this count the number of users who simply loaded the module? Or users who submitted a job using the petsc module (if that’s even tracked?). </span><br class="Apple-interchange-newline">
</div>
</blockquote>
</div>
<br class="">
<div class="">The latter. It tracks what modules are loaded when a batch job starts. That’s not entirely the same as PETSc actually being used but I guess it’s a pretty close proxy.</div>
<div class=""><br class="">
</div>
<div class="">We track a whole bunch of statistics on batch jobs. (Including hardware performance counters on processors, network, file system. One snapshot per 30 minutes, so it doesn’t interfere too much.) I don’t think we track anything about interactive
 loading of modules. </div>
<div class=""><br class="">
</div>
<div class="">Btw, almost 1000 unique users over the lifetime of the database, which goes back to petsc 3.4, whenever that was.</div>
<div class=""><br class="">
</div>
<div class="">Victor.</div>
</body>
</html>