[galaxy-dev] Detailed SGE timing information about galaxy jobs