Boarding usually doesn't begin until about 30 minutes before departure so he couldn't have been out that fast. Even if he was out, someone would have had to wake him up to be seated properly for take off.