Re: [Monetdb-developers] MonetDB: Jul2012 - Only print runtimeTiming information when in ...