starpu_paje_state_stats(1) on Linux

The text 5cc130e5bd8d, as Debian 8 (Jessie) shipped it.

manual page for starpu_paje_state_stats (StarPU) 1.1.3

Flags it lists