2023-05-14T06:31:55,174 Created temporary directory: /tmp/pip-build-tracker-xtb5pcsg
2023-05-14T06:31:55,176 Initialized build tracking at /tmp/pip-build-tracker-xtb5pcsg
2023-05-14T06:31:55,176 Created build tracker: /tmp/pip-build-tracker-xtb5pcsg
2023-05-14T06:31:55,176 Entered build tracker: /tmp/pip-build-tracker-xtb5pcsg
2023-05-14T06:31:55,177 Created temporary directory: /tmp/pip-wheel-bd829977
2023-05-14T06:31:55,181 Created temporary directory: /tmp/pip-ephem-wheel-cache-9uwzm_eu
2023-05-14T06:31:55,205 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T06:31:55,209 2 location(s) to search for versions of certora-cli-alpha-jtoman-gmx-init:
2023-05-14T06:31:55,209 * https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/
2023-05-14T06:31:55,209 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/
2023-05-14T06:31:55,210 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/
2023-05-14T06:31:55,210 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/
2023-05-14T06:31:55,212 Found index url https://pypi.org/simple/
2023-05-14T06:31:55,263 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ as application/vnd.pypi.simple.v1+json
2023-05-14T06:31:55,267   Found link https://files.pythonhosted.org/packages/4e/0d/20f8c6709833067f8d20cf6085d6a9e2163e5af88a4612596d81b96b9953/certora-cli-alpha-jtoman-gmx-init-20230503.2.44.693674.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230503.2.44.693674
2023-05-14T06:31:55,267   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/32/89/aaba59a7386cd2f1ce177a56feaaf13455bcea41636f0301069301f265fc/certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16)
2023-05-14T06:31:55,268   Found link https://files.pythonhosted.org/packages/24/15/a5121dd3280e65b03ba62716fb13c2cec1027e77fed412a81ea736c50281/certora-cli-alpha-jtoman-gmx-init-20230504.5.36.425832.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230504.5.36.425832
2023-05-14T06:31:55,268   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/95/25/19e4186b20e5f4dc9f1282b9e4a7a8c6fd53e481e810096ee75dd9a78a18/certora_cli_alpha_jtoman_gmx_init-20230504.5.36.425832-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16)
2023-05-14T06:31:55,268   Found link https://files.pythonhosted.org/packages/9e/12/3d9861e8f3575b0c4bea82ace94a0a3eb851d00f60d77fd8c162cda14c59/certora-cli-alpha-jtoman-gmx-init-20230504.11.25.752534.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230504.11.25.752534
2023-05-14T06:31:55,269   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/37/cc/00fc1574c499e8c72711cbb605ca730b7611359fe153638b9fd307736832/certora_cli_alpha_jtoman_gmx_init-20230504.11.25.752534-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16)
2023-05-14T06:31:55,269   Found link https://files.pythonhosted.org/packages/73/ea/8c57b60bb994c90934a241b00b471b60b6f91009102b019f9c779d9f7967/certora-cli-alpha-jtoman-gmx-init-20230505.3.50.559004.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230505.3.50.559004
2023-05-14T06:31:55,270   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/7e/36/feb6dff057e4f14508af0e5459b8868cefdb088a7256525b7cef5e019f28/certora_cli_alpha_jtoman_gmx_init-20230505.3.50.559004-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16)
2023-05-14T06:31:55,270   Found link https://files.pythonhosted.org/packages/d6/12/1dd16b0e039a80582639e2a96a8ff2d910b641b2188ac869279e579b9d69/certora-cli-alpha-jtoman-gmx-init-20230508.17.11.702876.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230508.17.11.702876
2023-05-14T06:31:55,270   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/23/3f/8e6f4e11f98a921576898012fbad6e46b5ac827689e04629ab3643958bc6/certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16)
2023-05-14T06:31:55,271   Found link https://files.pythonhosted.org/packages/31/65/14ab90edd6f2d9835b935f826d34c24fb255ca9e744ebced7a19ae85ee65/certora-cli-alpha-jtoman-gmx-init-20230508.20.32.152965.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230508.20.32.152965
2023-05-14T06:31:55,271   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/ef/18/aadfe4add33810251fa4c5c862a9a513a8fcb18404b120861b09e323122d/certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16)
2023-05-14T06:31:55,272 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/
2023-05-14T06:31:55,272 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/
2023-05-14T06:31:55,273 Found index url https://www.piwheels.org/simple/
2023-05-14T06:31:55,472 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ as text/html
2023-05-14T06:31:55,474   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230505.3.50.559004-py3-none-any.whl#sha256=4bcacf1c799aac1638b9f27a7ae85fbeea026f731e12f7ec54666dc1a48ec8a3 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16)
2023-05-14T06:31:55,474   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230504.11.25.752534-py3-none-any.whl#sha256=b4e5a1b248eec402903e90bd9a4422b2164f74d32d95a4c55f0ebfd12df25bf9 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16)
2023-05-14T06:31:55,475   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230504.5.36.425832-py3-none-any.whl#sha256=043b4b00b0f3a7202a6804117673b40152a01daff724516dfff30e5c9dd37373 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16)
2023-05-14T06:31:55,475   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674-py3-none-any.whl#sha256=f5eb980a89d0ba8e08a85f64ac21f5fc924209862519017d403e1c91cd2bdf85 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16)
2023-05-14T06:31:55,475 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/
2023-05-14T06:31:55,475 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/
2023-05-14T06:31:55,495 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-gmx-init': discarding no candidates
2023-05-14T06:31:55,513 Collecting certora-cli-alpha-jtoman-gmx-init==20230508.17.11.702876
2023-05-14T06:31:55,515   Created temporary directory: /tmp/pip-unpack-8ycyzvha
2023-05-14T06:31:55,643   Downloading certora-cli-alpha-jtoman-gmx-init-20230508.17.11.702876.tar.gz (38.5 MB)
2023-05-14T06:32:06,661   Added certora-cli-alpha-jtoman-gmx-init==20230508.17.11.702876 from https://files.pythonhosted.org/packages/d6/12/1dd16b0e039a80582639e2a96a8ff2d910b641b2188ac869279e579b9d69/certora-cli-alpha-jtoman-gmx-init-20230508.17.11.702876.tar.gz to build tracker '/tmp/pip-build-tracker-xtb5pcsg'
2023-05-14T06:32:06,663   Running setup.py (path:/tmp/pip-wheel-bd829977/certora-cli-alpha-jtoman-gmx-init_0d45577e1b8546ab98a338b0d1b3e196/setup.py) egg_info for package certora-cli-alpha-jtoman-gmx-init
2023-05-14T06:32:06,663   Created temporary directory: /tmp/pip-pip-egg-info-d0yxeco1
2023-05-14T06:32:06,664   Preparing metadata (setup.py): started
2023-05-14T06:32:06,665   Running command python setup.py egg_info
2023-05-14T06:32:07,291   running egg_info
2023-05-14T06:32:07,293   creating /tmp/pip-pip-egg-info-d0yxeco1/certora_cli_alpha_jtoman_gmx_init.egg-info
2023-05-14T06:32:07,319   writing /tmp/pip-pip-egg-info-d0yxeco1/certora_cli_alpha_jtoman_gmx_init.egg-info/PKG-INFO
2023-05-14T06:32:07,322   writing dependency_links to /tmp/pip-pip-egg-info-d0yxeco1/certora_cli_alpha_jtoman_gmx_init.egg-info/dependency_links.txt
2023-05-14T06:32:07,324   writing entry points to /tmp/pip-pip-egg-info-d0yxeco1/certora_cli_alpha_jtoman_gmx_init.egg-info/entry_points.txt
2023-05-14T06:32:07,325   writing requirements to /tmp/pip-pip-egg-info-d0yxeco1/certora_cli_alpha_jtoman_gmx_init.egg-info/requires.txt
2023-05-14T06:32:07,326   writing top-level names to /tmp/pip-pip-egg-info-d0yxeco1/certora_cli_alpha_jtoman_gmx_init.egg-info/top_level.txt
2023-05-14T06:32:07,328   writing manifest file '/tmp/pip-pip-egg-info-d0yxeco1/certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt'
2023-05-14T06:32:07,416   reading manifest file '/tmp/pip-pip-egg-info-d0yxeco1/certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt'
2023-05-14T06:32:07,418   reading manifest template 'MANIFEST.in'
2023-05-14T06:32:07,427   adding license file 'LICENSE'
2023-05-14T06:32:07,431   writing manifest file '/tmp/pip-pip-egg-info-d0yxeco1/certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt'
2023-05-14T06:32:07,490   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T06:32:07,496   Source in /tmp/pip-wheel-bd829977/certora-cli-alpha-jtoman-gmx-init_0d45577e1b8546ab98a338b0d1b3e196 has version 20230508.17.11.702876, which satisfies requirement certora-cli-alpha-jtoman-gmx-init==20230508.17.11.702876 from https://files.pythonhosted.org/packages/d6/12/1dd16b0e039a80582639e2a96a8ff2d910b641b2188ac869279e579b9d69/certora-cli-alpha-jtoman-gmx-init-20230508.17.11.702876.tar.gz
2023-05-14T06:32:07,497   Removed certora-cli-alpha-jtoman-gmx-init==20230508.17.11.702876 from https://files.pythonhosted.org/packages/d6/12/1dd16b0e039a80582639e2a96a8ff2d910b641b2188ac869279e579b9d69/certora-cli-alpha-jtoman-gmx-init-20230508.17.11.702876.tar.gz from build tracker '/tmp/pip-build-tracker-xtb5pcsg'
2023-05-14T06:32:07,504 Created temporary directory: /tmp/pip-unpack-z626f6q2
2023-05-14T06:32:07,505 Building wheels for collected packages: certora-cli-alpha-jtoman-gmx-init
2023-05-14T06:32:07,510   Created temporary directory: /tmp/pip-wheel-napj30h9
2023-05-14T06:32:07,510   Building wheel for certora-cli-alpha-jtoman-gmx-init (setup.py): started
2023-05-14T06:32:07,511   Destination directory: /tmp/pip-wheel-napj30h9
2023-05-14T06:32:07,511   Running command python setup.py bdist_wheel
2023-05-14T06:32:08,172   running bdist_wheel
2023-05-14T06:32:08,460   running build
2023-05-14T06:32:08,460   running build_py
2023-05-14T06:32:08,492   creating build
2023-05-14T06:32:08,492   creating build/lib
2023-05-14T06:32:08,493   creating build/lib/certora_jars
2023-05-14T06:32:08,495   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T06:32:08,498   creating build/lib/certora_cli
2023-05-14T06:32:08,499   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T06:32:08,501   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T06:32:08,503   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T06:32:08,507   creating build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,508   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,510   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,513   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,516   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,521   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,524   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,527   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,529   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,532   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,535   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,538   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,541   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,545   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T06:32:08,548   creating build/lib/certora_cli/Shared
2023-05-14T06:32:08,549   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T06:32:08,552   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T06:32:08,554   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T06:32:08,558   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T06:32:08,562   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:08,563   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:08,566   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:08,570   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:08,572   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:08,575   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:08,577   running egg_info
2023-05-14T06:32:08,641   writing certora_cli_alpha_jtoman_gmx_init.egg-info/PKG-INFO
2023-05-14T06:32:08,643   writing dependency_links to certora_cli_alpha_jtoman_gmx_init.egg-info/dependency_links.txt
2023-05-14T06:32:08,646   writing entry points to certora_cli_alpha_jtoman_gmx_init.egg-info/entry_points.txt
2023-05-14T06:32:08,648   writing requirements to certora_cli_alpha_jtoman_gmx_init.egg-info/requires.txt
2023-05-14T06:32:08,650   writing top-level names to certora_cli_alpha_jtoman_gmx_init.egg-info/top_level.txt
2023-05-14T06:32:08,682   reading manifest file 'certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt'
2023-05-14T06:32:08,686   reading manifest template 'MANIFEST.in'
2023-05-14T06:32:08,696   adding license file 'LICENSE'
2023-05-14T06:32:08,700   writing manifest file 'certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt'
2023-05-14T06:32:08,704   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T06:32:08,707   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T06:32:08,937   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T06:32:09,102   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T06:32:09,333   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T06:32:09,446   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T06:32:09,575   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T06:32:09,575   !!

2023-05-14T06:32:09,576           ********************************************************************************
2023-05-14T06:32:09,576           Please avoid running ``setup.py`` directly.
2023-05-14T06:32:09,576           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T06:32:09,576           other standards-based tools.

2023-05-14T06:32:09,576           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T06:32:09,576           ********************************************************************************

2023-05-14T06:32:09,577   !!
2023-05-14T06:32:09,577     self.initialize_options()
2023-05-14T06:32:09,603   installing to build/bdist.linux-aarch64/wheel
2023-05-14T06:32:09,603   running install
2023-05-14T06:32:09,629   running install_lib
2023-05-14T06:32:09,657   creating build/bdist.linux-aarch64
2023-05-14T06:32:09,658   creating build/bdist.linux-aarch64/wheel
2023-05-14T06:32:09,659   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T06:32:09,660   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T06:32:09,883   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T06:32:09,885   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T06:32:10,005   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T06:32:10,102   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T06:32:10,311   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T06:32:10,312   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T06:32:10,477   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T06:32:10,478   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,480   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,483   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,486   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,489   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,496   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:10,497   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:10,499   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:10,503   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:10,506   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:10,508   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T06:32:10,511   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,513   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,517   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,519   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,522   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,526   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,528   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,531   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,534   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T06:32:10,537   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T06:32:10,538   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T06:32:10,541   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T06:32:10,543   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T06:32:10,547   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T06:32:10,550   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T06:32:10,552   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T06:32:10,554   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T06:32:10,556   running install_egg_info
2023-05-14T06:32:10,588   Copying certora_cli_alpha_jtoman_gmx_init.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876-py3.9.egg-info
2023-05-14T06:32:10,601   running install_scripts
2023-05-14T06:32:10,618   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876.dist-info/WHEEL
2023-05-14T06:32:10,621   creating '/tmp/pip-wheel-napj30h9/certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T06:32:10,623   adding 'certora_cli/__init__.py'
2023-05-14T06:32:10,625   adding 'certora_cli/certoraMutate.py'
2023-05-14T06:32:10,628   adding 'certora_cli/certoraRun.py'
2023-05-14T06:32:10,630   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T06:32:10,652   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T06:32:10,660   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T06:32:10,662   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T06:32:10,664   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T06:32:10,669   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T06:32:10,673   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T06:32:10,675   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T06:32:10,681   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T06:32:10,684   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T06:32:10,686   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T06:32:10,689   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T06:32:10,693   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T06:32:10,696   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T06:32:10,698   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T06:32:10,700   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T06:32:10,705   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T06:32:10,707   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T06:32:10,709   adding 'certora_cli/Shared/__init__.py'
2023-05-14T06:32:10,711   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T06:32:10,713   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T06:32:10,720   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T06:32:10,724   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T06:32:12,310   adding 'certora_jars/MutationTest.jar'
2023-05-14T06:32:13,620   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T06:32:15,118   adding 'certora_jars/Typechecker.jar'
2023-05-14T06:32:15,199   adding 'certora_jars/__init__.py'
2023-05-14T06:32:16,052   adding 'certora_jars/gambit-linux'
2023-05-14T06:32:16,914   adding 'certora_jars/gambit-macos'
2023-05-14T06:32:16,950   adding 'certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876.dist-info/LICENSE'
2023-05-14T06:32:16,952   adding 'certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876.dist-info/METADATA'
2023-05-14T06:32:16,953   adding 'certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876.dist-info/WHEEL'
2023-05-14T06:32:16,955   adding 'certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876.dist-info/entry_points.txt'
2023-05-14T06:32:16,956   adding 'certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876.dist-info/top_level.txt'
2023-05-14T06:32:16,958   adding 'certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876.dist-info/RECORD'
2023-05-14T06:32:17,391   removing build/bdist.linux-aarch64/wheel
2023-05-14T06:32:17,506   Building wheel for certora-cli-alpha-jtoman-gmx-init (setup.py): finished with status 'done'
2023-05-14T06:32:17,826   Created wheel for certora-cli-alpha-jtoman-gmx-init: filename=certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876-py3-none-any.whl size=38514087 sha256=c913f898cd46e85d92ad590a5e57f8e138bbc5c0b790dcd17551145b8ecdef7a
2023-05-14T06:32:17,827   Stored in directory: /tmp/pip-ephem-wheel-cache-9uwzm_eu/wheels/4c/cc/83/b4f804b8845632623ed313f442ad11cbe4260d3229b6408dc6
2023-05-14T06:32:17,857 Successfully built certora-cli-alpha-jtoman-gmx-init
2023-05-14T06:32:18,831 Removed build tracker: '/tmp/pip-build-tracker-xtb5pcsg'