Nightly #1071

# to view logs

Job	Run time
Linux (Debug Standard valgrind)	3h 23m 0s
Linux (Debug Standard gcov)	16m 30s
Linux (Debug Gargantua valgrind)	3h 23m 11s
Linux (Debug Gargantua gcov)	15m 5s
Linux (Release Standard valgrind)	32m 59s
Linux (Release Standard gcov)	6m 55s
Linux (Release Gargantua valgrind)	30m 24s
Linux (Release Gargantua gcov)	5m 4s
Reports	9s
	8h 33m 17s

Provide feedback