Email Record: A polynomial-time branching procedure for the multiprocessor scheduling problem /