Plugin-tag: pin scheduler