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