I don't know how many of these entries have been proved to be optimal. The Erdos-Graham paper shows how subtle such problems can be. - N. J. A. Sloane (njas(AT)research.att.com), Dec 19 2006
REFERENCES
P. Erdos and R. L. Graham, On packing squares with equal squares, J. Comb. Theory (A), 19 (1975), 119-123.