ProcessorManager: priority-- instead of ++