Has anyone tried to estimate this?<div><br></div><div>The obvious solution is to activate the "call home" feature in PetscFinalize. ;-)</div>