Verbs memory pool may leak pinned memory when message is deleted on a PE different from the one to which it was delivered
Receive a message on a node group
Section multicast a pointer to that message to the pe's local to that host.
Handle deletion by an atomic decrement refcount in the user message.
Run for enough messages and you will exhaust the pinned memory, because the deleted message is not being handled correctly in the pool.
Probably replicable with a narrower test.