var startTime = getUserTime();
.
.
.
//end of program
var stopTime = getUserTime();
var elapsedTime : Real = (stopTime - startTime) /1000000;

operation getUserTime() : Integer {
var ManagementFactory = Native("java.lang.management.ManagementFactory");
        var bean  = ManagementFactory.getThreadMXBean( );
        if (bean.isCurrentThreadCpuTimeSupported( ))
        return bean.getCurrentThreadUserTime( );
        else
        return  0;
    }