2025-09-15T17:39:16,278 Created temporary directory: /tmp/pip-build-tracker-qfmvny3u
2025-09-15T17:39:16,279 Initialized build tracking at /tmp/pip-build-tracker-qfmvny3u
2025-09-15T17:39:16,279 Created build tracker: /tmp/pip-build-tracker-qfmvny3u
2025-09-15T17:39:16,279 Entered build tracker: /tmp/pip-build-tracker-qfmvny3u
2025-09-15T17:39:16,279 Created temporary directory: /tmp/pip-wheel-e5u9af74
2025-09-15T17:39:16,283 Created temporary directory: /tmp/pip-ephem-wheel-cache-rx16sj15
2025-09-15T17:39:16,343 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-09-15T17:39:16,346 2 location(s) to search for versions of z3-solver:
2025-09-15T17:39:16,346 * https://pypi.org/simple/z3-solver/
2025-09-15T17:39:16,346 * https://www.piwheels.org/simple/z3-solver/
2025-09-15T17:39:16,346 Fetching project page and analyzing links: https://pypi.org/simple/z3-solver/
2025-09-15T17:39:16,347 Getting page https://pypi.org/simple/z3-solver/
2025-09-15T17:39:16,348 Found index url https://pypi.org/simple/
2025-09-15T17:39:16,509 Fetched page https://pypi.org/simple/z3-solver/ as application/vnd.pypi.simple.v1+json
2025-09-15T17:39:16,540   Found link https://files.pythonhosted.org/packages/cc/ec/ef81e76628b5f04cba2f307009a0a508452884498245f523ea79e8ef4d37/z3-solver-4.4.2.1.tar.gz (from https://pypi.org/simple/z3-solver/), version: 4.4.2.1
2025-09-15T17:39:16,541   Found link https://files.pythonhosted.org/packages/68/1f/b16fefbefccae7cb0766515af0bfc12490abb10d2ca0744892292fbaf756/z3-solver-4.4.2.1.post1.tar.gz (from https://pypi.org/simple/z3-solver/), version: 4.4.2.1.post1
2025-09-15T17:39:16,541   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/88/9d/47fb59e07614c5ca3d7e4e22a396dd07a831239820823a06a397d7234c85/z3_solver-4.4.2.1.post1-py2-none-manylinux1_i686.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,541   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/9e/ed/69f204d08172645cb001ffbd24fd981a39e1d7b5929493cf3d6561b5ca4e/z3_solver-4.4.2.1.post1-py2-none-manylinux1_x86_64.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,541   Found link https://files.pythonhosted.org/packages/3f/b0/d385c4dd6cf08903ca861347b190ae7fd8555f60b737a124384c5b22b2f5/z3-solver-4.5.1.0.tar.gz (from https://pypi.org/simple/z3-solver/), version: 4.5.1.0
2025-09-15T17:39:16,542   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/c2/f7/bf45195ad37494b3a863a9337df807656a58439715e4d37e1bbf43ff35a3/z3_solver-4.5.1.0-py2-none-manylinux1_i686.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,542   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/68/57/1c8f0f17045b45a78699aadf0fb2e0fe390cc8b27e591ef74f5221b8d566/z3_solver-4.5.1.0-py2-none-manylinux1_x86_64.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,542   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/84/75/bf4ee8f4cd2bc9236646076aa29b569552ff7703448a68a7f03c719c6c1b/z3_solver-4.5.1.0-py2-none-win32.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,542   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/63/d4/0099b59f054fecad8338fd666e7b75b252b9a546bdd2e7564018e8a97801/z3_solver-4.5.1.0-py2-none-win_amd64.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,542   Found link https://files.pythonhosted.org/packages/14/6f/c190f4c959775d5add4b85d6deee938a471d3e1705b5435f01e544a67cbc/z3-solver-4.5.1.0.post1.tar.gz (from https://pypi.org/simple/z3-solver/), version: 4.5.1.0.post1
2025-09-15T17:39:16,543   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/b1/31/a1a2f764ee0c3b315a17442550cd78a7515875b5931a1a381b2f477b5097/z3_solver-4.5.1.0.post1-py2-none-manylinux1_i686.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,543   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/cb/80/feb59907c7b9eb82c408ac5b176ab354f7af6860b27834470bb0193dd899/z3_solver-4.5.1.0.post1-py2-none-manylinux1_x86_64.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,543   Found link https://files.pythonhosted.org/packages/23/40/e2340141ac1b374b3e7cc641c66ade04290676662bc80e1f40281d225b57/z3-solver-4.5.1.0.post2.tar.gz (from https://pypi.org/simple/z3-solver/), version: 4.5.1.0.post2
2025-09-15T17:39:16,543   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/06/b8/0d9b192d58c74012243d08aeb85a9f85eb0e7938e3bfb5740e43cf285972/z3_solver-4.5.1.0.post2-py2-none-manylinux1_i686.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,543   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/e4/31/4d618b333be647c82adbcd9d3caf8d2d219ec1cd3781e3be6b70bc41fb88/z3_solver-4.5.1.0.post2-py2-none-manylinux1_x86_64.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,544   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/3c/a8/51deb15e44e4de284a928f2af93b7ccbe2e2a5aae6594913b18d0d599089/z3_solver-4.5.1.0.post2-py2-none-win32.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,544   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/9a/df/8c056f4f1f2ba1005b10dc2ddc4fa42e9204542d5f3c67cb3582cb294955/z3_solver-4.5.1.0.post2-py2.py3-none-manylinux1_x86_64.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,544   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/59/68/0ddc2a5a78f31cee69545f1ea04f6d74c0ede04f8e916133a4842f0c8291/z3_solver-4.5.1.0.post2-py2.py3-none-win32.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,544   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/68/76/6f79b1af5de0e41765c9bd9a9d9ca955e3f4c3343b021460ee4cf8c0e602/z3_solver-4.5.1.0.post2-py2.py3-none-win_amd64.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,544   Found link https://files.pythonhosted.org/packages/83/7e/9e3b84ed773945cfa3c00e64c3ef49c492bf4b6f60cf6223b8756053e7f4/z3-solver-4.8.0.0.post1.tar.gz (from https://pypi.org/simple/z3-solver/), version: 4.8.0.0.post1
2025-09-15T17:39:16,545   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/51/89/5cc526a806e6c33b40f7ed88aa4d1b5dc4774bd9857379e671b52e53f3cd/z3_solver-4.8.0.0.post1-py2.py3-none-manylinux1_i686.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,545   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/df/3a/c31287d0520bd288cccd336618fae9271b3c4ac22efb360eaa0c533f5db5/z3_solver-4.8.0.0.post1-py2.py3-none-manylinux1_x86_64.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,545   Found link https://files.pythonhosted.org/packages/85/2d/148dcce994b2c0fe4a8f45733af1dd49e9bf208539dac04efc3f0c3b9baf/z3-solver-4.8.5.0.tar.gz (from https://pypi.org/simple/z3-solver/), version: 4.8.5.0
2025-09-15T17:39:16,545   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/42/95/2b9919263e1e04115258cf424d2c88cb3c5e20d9d460d86a2b9a63fcfdd6/z3_solver-4.8.5.0-py2.py3-none-manylinux1_i686.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,545   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/73/ed/faeba7188a4316727d351e36bf0bb342335028308bcd168c8c740dfb2009/z3_solver-4.8.5.0-py2.py3-none-manylinux1_x86_64.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,546   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/32/ae/144284f7df92c740c225f73b2a664a31b16e714fae00e155b38ba70273b6/z3_solver-4.8.5.0-py2.py3-none-win32.whl (from https://pypi.org/simple/z3-solver/)
2025-09-15T17:39:16,546   Skipping link: No binaries permitted for z3-solver: https://files.pythonhosted.org/packages/