The pgpro_stats extension provides a means for tracking planning and execution statistics of all SQL statements executed by a server. The pgpro_stats extension in addition to tracking local statements collects the aggregated statistics for distributed queries that involve multiple nodes in the cluster. This allows users to get a better understanding of how system resources are being used for distributed queries.
Architecture of Shardman additions to pgpro_stats extension is described at Section 4.10.
Complete pgpro_stats documentation can be found here.