Auto detecting your dev setup to initialize the default profile (C:\J\c3ipr\pr_1451_2_0_2\.conan\profiles\default)
Found Visual Studio 16
Default settings
	os=Windows
	os_build=Windows
	arch=x86_64
	arch_build=x86_64
	compiler=Visual Studio
	compiler.version=16
	build_type=Release
*** You can change them in C:\J\c3ipr\pr_1451_2_0_2\.conan\profiles\default ***
*** Or override with -s compiler='other' -s ...s***


[HOOK - conan-center.py] pre_export(): [DEPRECATED GLOBAL CPPSTD (KB-H001)] OK
[HOOK - conan-center.py] pre_export(): [REFERENCE LOWERCASE (KB-H002)] OK
[HOOK - conan-center.py] pre_export(): [RECIPE METADATA (KB-H003)] OK
[HOOK - conan-center.py] pre_export(): [HEADER_ONLY, NO COPY SOURCE (KB-H005)] OK
[HOOK - conan-center.py] pre_export(): [FPIC OPTION (KB-H006)] OK
[HOOK - conan-center.py] pre_export(): [VERSION RANGES (KB-H008)] OK
[HOOK - conan-center.py] pre_export(): [RECIPE FOLDER SIZE (KB-H009)] Total recipe size: 7.228515625 KB
[HOOK - conan-center.py] pre_export(): [RECIPE FOLDER SIZE (KB-H009)] OK
[HOOK - conan-center.py] pre_export(): [EXPORT LICENSE (KB-H023)] exports: None
[HOOK - conan-center.py] pre_export(): [EXPORT LICENSE (KB-H023)] exports: CMakeLists.txt
[HOOK - conan-center.py] pre_export(): [EXPORT LICENSE (KB-H023)] OK
[HOOK - conan-center.py] pre_export(): [TEST PACKAGE FOLDER (KB-H024)] OK
[HOOK - conan-center.py] pre_export(): [META LINES (KB-H025)] OK
[HOOK - conan-center.py] pre_export(): [CONAN CENTER INDEX URL (KB-H027)] OK
[HOOK - conan-center.py] pre_export(): [CMAKE MINIMUM VERSION (KB-H028)] OK
[HOOK - conan-center.py] pre_export(): [TEST PACKAGE - RUN ENVIRONMENT (KB-H029)] OK
[HOOK - conan-center.py] pre_export(): [SYSTEM REQUIREMENTS (KB-H032)] OK
[HOOK - conan-center.py] pre_export(): [CONANDATA.YML FORMAT (KB-H030)] OK
[HOOK - conan-center.py] pre_export(): [TEST PACKAGE - NO IMPORTS() (KB-H034)] OK
[HOOK - conan-center.py] pre_export(): [NO AUTHOR (KB-H037)] OK
[HOOK - conan-center.py] pre_export(): [NO TARGET NAME (KB-H040)] OK
Exporting package recipe
z3/4.8.7 exports: File 'conandata.yml' found. Exporting it...
z3/4.8.7 exports: Copied 1 '.yml' file: conandata.yml
z3/4.8.7 exports_sources: Copied 1 '.txt' file: CMakeLists.txt
[HOOK - conan-center.py] post_export(): [CONANDATA.YML REDUCE (KB-H031)] Saving conandata.yml: {'sources': {'4.8.7': {'url': 'https://github.com/Z3Prover/z3/archive/z3-4.8.7.tar.gz', 'sha256': '8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3'}}}
[HOOK - conan-center.py] post_export(): [CONANDATA.YML REDUCE (KB-H031)] New conandata.yml contents: sources:
  4.8.7:
    sha256: 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3
    url: https://github.com/Z3Prover/z3/archive/z3-4.8.7.tar.gz

[HOOK - conan-center.py] post_export(): [CONANDATA.YML REDUCE (KB-H031)] OK
z3/4.8.7: A new conanfile.py version was exported
z3/4.8.7: Folder: C:\J\c3ipr\pr_1451_2_0_2\.conan\data\z3\4.8.7\_\_\export
z3/4.8.7: Using the exported files summary hash as the recipe revision: 2c8364224ae475702997226c3bc495f3 
z3/4.8.7: Exported revision: 2c8364224ae475702997226c3bc495f3
Configuration:
[settings]
arch=x86_64
arch_build=x86_64
build_type=Debug
compiler=Visual Studio
compiler.runtime=MTd
compiler.version=14
os=Windows
os_build=Windows
[options]
z3:shared=False
[build_requires]
[env]

mpir/3.0.0: Not found in local cache, looking in remotes...
mpir/3.0.0: Trying with 'c3i_PR-1451_cc92a49a7db7f46264dabaf3959dedfc9174ff3c'...
mpir/3.0.0: Trying with 'central'...
Downloading conanmanifest.txt
Downloading conanfile.py
Downloading conan_export.tgz
mpir/3.0.0: Downloaded recipe revision b1c1454e1277a6ceca76b2a81f246066
z3/4.8.7: Forced build from source
z3/4.8.7 (test package): Installing package
Requirements
    mpir/3.0.0 from 'central' - Downloaded
    z3/4.8.7 from local cache - Cache
Packages
    mpir/3.0.0:a7dd99fee8f8af418e4cf97d9514c5e8e833fdfa - Missing
    z3/4.8.7:d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70 - Build

Installing (downloading, building) binaries...


JSON file created at 'C:\J\c3ipr\pr_1451_2_0_2\_create.json'