The Prometheus monitoring system and time series database
