Nightly #1068

# to view logs

Job	Run time
Linux (Debug Standard valgrind)	3h 24m 39s
Linux (Debug Standard gcov)	16m 22s
Linux (Debug Gargantua valgrind)	3h 21m 50s
Linux (Debug Gargantua gcov)	15m 18s
Linux (Release Standard valgrind)	32m 57s
Linux (Release Standard gcov)	7m 3s
Linux (Release Gargantua valgrind)	30m 16s
Linux (Release Gargantua gcov)	4m 45s
Reports	12s
	8h 33m 22s

Provide feedback