Payroll records show Martinez collected $81,804 in regular pay, $890,467 in other compensation and $231,099 in lump-sum payments before retiring in April.