
{ The cpu time used is in the unit of milliseconds.

  TYPE
    jmt$cpu_time_used = record
      job_mode_time: 0 .. jmc$cpu_time_used_maximum,
      monitor_mode_time: 0 .. jmc$cpu_time_used_maximum,
    recend;

*IF $true(osv$unix)

  CONST
    jmc$cpu_time_used_maximum = 7fffffff(16);

*ELSE

  CONST
    jmc$cpu_time_used_maximum = 07fffffffffffffff(16);

*IFEND

