Interface1: New switch in PBS Configuration: PBS_LOG_HIGHRES_TIMESTAMP