No Ubuntu existe o arquivo /var/lib/dhcp/dhcpd.leases
, mas é bastante detalhado e você provavelmente precisará de um pequeno script se quiser mais estatísticas de alto nível. Não tenho conhecimento das ferramentas existentes para fazer isso.
Existe uma página man separada para este arquivo man dhcpd.leases
descrevendo o formato do banco de dados.