Nightly #1092

# to view logs

Job	Run time
Linux (Debug Standard valgrind)	4h 8m 5s
Linux (Debug Standard gcov)	20m 35s
Linux (Debug Gargantua valgrind)	4h 4m 43s
Linux (Debug Gargantua gcov)	19m 6s
Linux (Release Standard valgrind)	42m 21s
Linux (Release Standard gcov)	8m 39s
Linux (Release Gargantua valgrind)	39m 51s
Linux (Release Gargantua gcov)	6m 20s
Reports	11s
	10h 29m 51s

Provide feedback