@PROCESSTIME[pid,n] : renvoie l'heure du processus sous forme de fichier. n est l'heure à renvoyer:

 

0 - Heure de début

1 - Heure de fin

2 - Heure du mode noyau

3 - Heure du mode utilisateur

 

Exemple:

 

echo %@processtime[33900]

129811263230521496