coaching salaries

USA Today released coaching salaries for every college head football coach, and they included total buyout costs as well. What is Butch Jones' buyout?