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