One of my servers went down today. Problems started with deployment on jenkins that reported “No space left on device”, although partition was not nearly…