Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 1baf6edab639e885d3cedde3f1c7fbb2b6d96766)
+++ Jenkinsfile	(revision 8d66610e91ccef9c97023883686c21f3ecf2a5b0)
@@ -150,4 +150,5 @@
 		// Print potential limits before testing
 		// in case jenkins messes with them
+		sh 'free -h'
 		sh 'ulimit -a'