Nightly #1078

# to view logs

Job	Run time
Linux (Debug Standard valgrind)	3h 24m 45s
Linux (Debug Standard gcov)	17m 3s
Linux (Debug Gargantua valgrind)	3h 22m 4s
Linux (Debug Gargantua gcov)	14m 51s
Linux (Release Standard valgrind)	33m 21s
Linux (Release Standard gcov)	7m 14s
Linux (Release Gargantua valgrind)	30m 26s
Linux (Release Gargantua gcov)	4m 36s
Reports	9s
	8h 34m 29s

Provide feedback