********************************************************************************
conan install z3/4.8.8@ --build=z3 --profile:host=/Users/jenkins/w/BuildSingleReference@4/14834/f042a91c-d765-4d32-8d36-6935625a3424/profile_host.txt --profile:build=default
********************************************************************************
Received SIGTERM!
ERROR: Exiting with code: 5