All three ping* servers, ping1001, ping2001 and ping3001 ran out of disk space today, shortly after one another.
icinga alerted about it with minutes in between and they all had 0 bytes left.
We fixed them for now by running "apt-get clean" and "apt-get autoremove" (which finished kernel upgrades and removed old kernel and packages) and that got them all back to just 77% usage.
This was not a case of logs filling up /var/log, instead /usr/lib is the largest thing here and also / in general is just tiny on these. Just 3 GB on /dev/vda1.
Assuming it was caused by ongoing kernel upgrades pushing them over the edge.
This ticket is to decide that either nothing needs to be done, or that the disks are too small or that some other automated action is needed to prevent this in the future.