}
/** render time as string */
public static String renderTime(final long execTimeInMs, final long usec) {
final StringBuilder result = new StringBuilder();
printTime(execTimeInMs, usec, new AbstractOutputDevice() {
@Override
public void print(final String s) {
result.append(s);
}