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: