Title: The use of service time distribution in scheduling