2019-10-12T11:57:16 Created temporary directory: /tmp/pip-ephem-wheel-cache-bf5l1ztw
2019-10-12T11:57:16 Created temporary directory: /tmp/pip-req-tracker-y0sdvz62
2019-10-12T11:57:16 Created requirements tracker '/tmp/pip-req-tracker-y0sdvz62'
2019-10-12T11:57:16 Created temporary directory: /tmp/pip-wheel-nlxojm7w
2019-10-12T11:57:16 Collecting z4-solver==2019.10.12.2
2019-10-12T11:57:16   1 location(s) to search for versions of z4-solver:
2019-10-12T11:57:16   * https://pypi.org/simple/z4-solver/
2019-10-12T11:57:16   Getting page https://pypi.org/simple/z4-solver/
2019-10-12T11:57:17   Analyzing links from page https://pypi.org/simple/z4-solver/
2019-10-12T11:57:17     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:57:17     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:57:17     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:57:17     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:57:17     Found link https://files.pythonhosted.org/packages/d5/ea/6dfa0ff5202d3fb6f943a38bd709be0b68efc5b7504c333c2eb58448eba1/z4-solver-2019.10.12.2.tar.gz#sha256=7218fcf06e98c0040546bffbd2961c17f151aeb7286dcf34f243c3ded990b5ab (from https://pypi.org/simple/z4-solver/) (requires-python:>=3.7,<4.0), version: 2019.10.12.2
2019-10-12T11:57:17     Found link https://files.pythonhosted.org/packages/a1/f2/fb41bcf1faec7bc75271ede21d46a6180229232b263508b85773da237aa7/z4_solver-2019.10.12.2-py3-none-any.whl#sha256=37cd84592522bb5bb99333873b9bb71c006f79e2089e451c793a6255056e86dc (from https://pypi.org/simple/z4-solver/) (requires-python:>=3.7,<4.0), version: 2019.10.12.2
2019-10-12T11:57:17   Using version 2019.10.12.2 (newest of versions: 2019.10.12.2)
2019-10-12T11:57:17   Created temporary directory: /tmp/pip-unpack-jycvn9zu
2019-10-12T11:57:17   Downloading https://files.pythonhosted.org/packages/a1/f2/fb41bcf1faec7bc75271ede21d46a6180229232b263508b85773da237aa7/z4_solver-2019.10.12.2-py3-none-any.whl
2019-10-12T11:57:17   Downloading from URL https://files.pythonhosted.org/packages/a1/f2/fb41bcf1faec7bc75271ede21d46a6180229232b263508b85773da237aa7/z4_solver-2019.10.12.2-py3-none-any.whl#sha256=37cd84592522bb5bb99333873b9bb71c006f79e2089e451c793a6255056e86dc (from https://pypi.org/simple/z4-solver/) (requires-python:>=3.7,<4.0)
2019-10-12T11:57:17   Saved /tmp/tmpmn3oriz8/z4_solver-2019.10.12.2-py3-none-any.whl
2019-10-12T11:57:17   Added z4-solver==2019.10.12.2 from https://files.pythonhosted.org/packages/a1/f2/fb41bcf1faec7bc75271ede21d46a6180229232b263508b85773da237aa7/z4_solver-2019.10.12.2-py3-none-any.whl#sha256=37cd84592522bb5bb99333873b9bb71c006f79e2089e451c793a6255056e86dc to build tracker '/tmp/pip-req-tracker-y0sdvz62'
2019-10-12T11:57:17   Removed z4-solver==2019.10.12.2 from https://files.pythonhosted.org/packages/a1/f2/fb41bcf1faec7bc75271ede21d46a6180229232b263508b85773da237aa7/z4_solver-2019.10.12.2-py3-none-any.whl#sha256=37cd84592522bb5bb99333873b9bb71c006f79e2089e451c793a6255056e86dc from build tracker '/tmp/pip-req-tracker-y0sdvz62'
2019-10-12T11:57:17 Skipping z4-solver, due to already being wheel.
2019-10-12T11:57:17 Cleaning up...
2019-10-12T11:57:17   Removing source in /tmp/pip-wheel-nlxojm7w/z4-solver
2019-10-12T11:57:17 Removed build tracker '/tmp/pip-req-tracker-y0sdvz62'