tv_sec -- секунды tv_usec -- микросекунды (не милли*). т.е. выводить их в предлагаемом вами виде - как-то странно. я обычно делаю так: tv_sec*1000 + tv_usec/1000, и получаю время в миллисекундах. ещё можно так: tv_sec.^eval(tv_usec/1000)[%04d] -- будет время в секундах.миллисекундах
