added getElapsedTimeString() in Statistics for nice time format
minor modification