fix budget percentage in run_rt_task