Balanced allocations: the heavily loaded case