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