1760 /* l: assigned processor-set ID */