public void setExecParam(double wallTime, double actualTime)
    {
        if (wallTime < 0.0 || actualTime < 0.0 || index_ < 0) {
            return;
        }

        Resource res = resList_.get(index_);
        res.wallClockTime = wallTime;
        res.actualCPUTime = actualTime;

        if (record_)
        {
            write("Sets the wall clock time to "+ num_.format(wallTime)+
                  " and the actual CPU time to " + num_.format(actualTime));
        }
    }