HRB: A backfilling algorithm for heterogeneous clusters with job prioritization. - Jaime Palacios; Esteban Stafford; José Luis Bosque (Future Gener. Comput. Syst., 2026)