2019-10-12T11:51:36 Created temporary directory: /tmp/pip-ephem-wheel-cache-hipgfjv6
2019-10-12T11:51:36 Created temporary directory: /tmp/pip-req-tracker-11gcdzy1
2019-10-12T11:51:36 Created requirements tracker '/tmp/pip-req-tracker-11gcdzy1'
2019-10-12T11:51:36 Created temporary directory: /tmp/pip-wheel-_o6ndvab
2019-10-12T11:51:36 Collecting z4-solver==2019.10.12.1
2019-10-12T11:51:36   1 location(s) to search for versions of z4-solver:
2019-10-12T11:51:36   * https://pypi.org/simple/z4-solver/
2019-10-12T11:51:36   Getting page https://pypi.org/simple/z4-solver/
2019-10-12T11:51:36   Analyzing links from page https://pypi.org/simple/z4-solver/
2019-10-12T11:51:36     Found link https://files.pythonhosted.org/packages/6f/ec/17f969e9d948187b8f23f2c2a1c48c19a5a99e367da14cf92cc35c9a9509/z4-solver-2019.10.12.tar.gz#sha256=a9ea0f64078a5abc82105ceb88283fa57409b1b680ac15e19eb1a95202b0594b (from https://pypi.org/simple/z4-solver/) (requires-python:>=3.7,<4.0), version: 2019.10.12
2019-10-12T11:51:36     Found link https://files.pythonhosted.org/packages/ff/62/911e15442cb0620f8782a0d032577c319d3d593257865d542643a8cf8e04/z4_solver-2019.10.12-py3-none-any.whl#sha256=14d5ab255d55651c8d2456368d799069684587938d224815de595419eea58333 (from https://pypi.org/simple/z4-solver/) (requires-python:>=3.7,<4.0), version: 2019.10.12
2019-10-12T11:51:36     Found link https://files.pythonhosted.org/packages/81/87/d24d07006d4a14abb1ee183e976a9e895489b1208cecc67b95d8a1cefe49/z4-solver-2019.10.12.1.tar.gz#sha256=947cb08d446797e3031bfac3813fd7e2bc548957d84c77561d71c8ccb11ed9ee (from https://pypi.org/simple/z4-solver/) (requires-python:>=3.7,<4.0), version: 2019.10.12.1
2019-10-12T11:51:36     Found link https://files.pythonhosted.org/packages/b1/95/f5639f0e5a8ed6e0673709d7d78df42c547795dbdad888e32eb91be86366/z4_solver-2019.10.12.1-py3-none-any.whl#sha256=a3d8ee8f744afcf4ae7a1271de57b5e1901ea35dedf319ed20657de12c84b296 (from https://pypi.org/simple/z4-solver/) (requires-python:>=3.7,<4.0), version: 2019.10.12.1
2019-10-12T11:51:36   Using version 2019.10.12.1 (newest of versions: 2019.10.12.1)
2019-10-12T11:51:36   Created temporary directory: /tmp/pip-unpack-0bopbxa5
2019-10-12T11:51:36   Downloading https://files.pythonhosted.org/packages/b1/95/f5639f0e5a8ed6e0673709d7d78df42c547795dbdad888e32eb91be86366/z4_solver-2019.10.12.1-py3-none-any.whl
2019-10-12T11:51:36   Downloading from URL https://files.pythonhosted.org/packages/b1/95/f5639f0e5a8ed6e0673709d7d78df42c547795dbdad888e32eb91be86366/z4_solver-2019.10.12.1-py3-none-any.whl#sha256=a3d8ee8f744afcf4ae7a1271de57b5e1901ea35dedf319ed20657de12c84b296 (from https://pypi.org/simple/z4-solver/) (requires-python:>=3.7,<4.0)
2019-10-12T11:51:36   Saved /tmp/tmp0r6vqffg/z4_solver-2019.10.12.1-py3-none-any.whl
2019-10-12T11:51:36   Added z4-solver==2019.10.12.1 from https://files.pythonhosted.org/packages/b1/95/f5639f0e5a8ed6e0673709d7d78df42c547795dbdad888e32eb91be86366/z4_solver-2019.10.12.1-py3-none-any.whl#sha256=a3d8ee8f744afcf4ae7a1271de57b5e1901ea35dedf319ed20657de12c84b296 to build tracker '/tmp/pip-req-tracker-11gcdzy1'
2019-10-12T11:51:36   Removed z4-solver==2019.10.12.1 from https://files.pythonhosted.org/packages/b1/95/f5639f0e5a8ed6e0673709d7d78df42c547795dbdad888e32eb91be86366/z4_solver-2019.10.12.1-py3-none-any.whl#sha256=a3d8ee8f744afcf4ae7a1271de57b5e1901ea35dedf319ed20657de12c84b296 from build tracker '/tmp/pip-req-tracker-11gcdzy1'
2019-10-12T11:51:36 Skipping z4-solver, due to already being wheel.
2019-10-12T11:51:36 Cleaning up...
2019-10-12T11:51:36   Removing source in /tmp/pip-wheel-_o6ndvab/z4-solver
2019-10-12T11:51:36 Removed build tracker '/tmp/pip-req-tracker-11gcdzy1'