Shortest remaining processing time

Summary