A Constraint Programming Scheduler for Heterogeneous High-Performance Computing Machines