fixing overall time output (must stop benchmark controller timer)