2019-10-12T11:41:50 Created temporary directory: /tmp/pip-ephem-wheel-cache-8bw82ht3
2019-10-12T11:41:50 Created temporary directory: /tmp/pip-req-tracker-0a52xzdu
2019-10-12T11:41:50 Created requirements tracker '/tmp/pip-req-tracker-0a52xzdu'
2019-10-12T11:41:50 Created temporary directory: /tmp/pip-wheel-dg7goqrv
2019-10-12T11:41:50 Collecting z4-solver==2019.10.12
2019-10-12T11:41:50   1 location(s) to search for versions of z4-solver:
2019-10-12T11:41:50   * https://pypi.org/simple/z4-solver/
2019-10-12T11:41:50   Getting page https://pypi.org/simple/z4-solver/
2019-10-12T11:41:50   Analyzing links from page https://pypi.org/simple/z4-solver/
2019-10-12T11:41:50     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:41:50     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:41:50   Using version 2019.10.12 (newest of versions: 2019.10.12)
2019-10-12T11:41:50   Created temporary directory: /tmp/pip-unpack-gwgf8_0i
2019-10-12T11:41:50   Downloading https://files.pythonhosted.org/packages/ff/62/911e15442cb0620f8782a0d032577c319d3d593257865d542643a8cf8e04/z4_solver-2019.10.12-py3-none-any.whl
2019-10-12T11:41:50   Downloading from URL 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)
2019-10-12T11:41:50   Saved /tmp/tmp5kf1ie75/z4_solver-2019.10.12-py3-none-any.whl
2019-10-12T11:41:50   Added z4-solver==2019.10.12 from https://files.pythonhosted.org/packages/ff/62/911e15442cb0620f8782a0d032577c319d3d593257865d542643a8cf8e04/z4_solver-2019.10.12-py3-none-any.whl#sha256=14d5ab255d55651c8d2456368d799069684587938d224815de595419eea58333 to build tracker '/tmp/pip-req-tracker-0a52xzdu'
2019-10-12T11:41:50   Removed z4-solver==2019.10.12 from https://files.pythonhosted.org/packages/ff/62/911e15442cb0620f8782a0d032577c319d3d593257865d542643a8cf8e04/z4_solver-2019.10.12-py3-none-any.whl#sha256=14d5ab255d55651c8d2456368d799069684587938d224815de595419eea58333 from build tracker '/tmp/pip-req-tracker-0a52xzdu'
2019-10-12T11:41:50 Skipping z4-solver, due to already being wheel.
2019-10-12T11:41:50 Cleaning up...
2019-10-12T11:41:50   Removing source in /tmp/pip-wheel-dg7goqrv/z4-solver
2019-10-12T11:41:50 Removed build tracker '/tmp/pip-req-tracker-0a52xzdu'