(BIN) parameterized-scheduler.hpi