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.