Well looking at the timetable it arrives in CPT at 0600 and departs at 2135, if it's 30 minutes off duty and a 1hr report then, when I went to school, that equates to 14.05 rest and not the reported 15 hours at all.
And, by the schedule going down, allowing for 1hr report and 30 minutes after, they will have done precisely 14.05 duty, ridiculous scheduling!