In order to solve complex problems or make difficult decisions, people must strategically combine personal information acquired directly from experience (individual learning) and social information copied from others (social learning). The game of football (soccer) provides a wealth of real world data with which to quantify managers' use of personal and social information in selecting team formations. I analyse a 5-year dataset of all games (n=9127, 2012-2017) in the five top European leagues (English Premier League, German Bundesliga, Spanish La Liga, French Ligue 1 and Italian Serie A) to quantify the extent to which a manager's initial match formation is guided by their personal past use or success with that formation, or other managers' use or success with that formation. I focus in particular on the use of the 4231 formation, which was the dominant formation at the start of this period but showed a gradual decline in use over time. I find that, as predicted, a manager's choice of whether to use 4231 or not is influenced by both their recent use of 4231 (personal information) and the use of 4231 in the entire population of managers in that division (social information). Contrary to expectations, managers appeared to rely more on personal than social information, although this estimate was highly variable across managers and divisions. Serie A managers, in particular, showed a much stronger use of personal information, likely due to the rarity of 4231 in that division. Finally, there did not appear to be an adaptive tradeoff between social and personal information use, with the relative reliance on each failing to predict managerial success.