The default PHP interpreter for CiviHosting today is PHP 7.2. But that is only for web service, not for CLI. For CLI, the default version is 5.6.
All servers have PHP 7.1, 7.2 and 7.3 also available for CLI of course. To run PHP 7.1, use:
To run PHP 7.2, use:
To run PHP 7.3, use:
To run drush with a different version of PHP, use the full path for drush after the PHP executable, meaning something like this: