PDF document that shows the socially efficient solution to the scheduling problem of section 3 in the manuscript.  It also shows a slight modification of the example where the bidding mechanism is inefficient.