2019-12-28T03:53:06 Created temporary directory: /tmp/pip-ephem-wheel-cache-lkiwu81g 2019-12-28T03:53:06 Created temporary directory: /tmp/pip-req-tracker-w6ea8p4w 2019-12-28T03:53:06 Created requirements tracker '/tmp/pip-req-tracker-w6ea8p4w' 2019-12-28T03:53:06 Created temporary directory: /tmp/pip-wheel-s6fh0c_5 2019-12-28T03:53:06 Collecting PEQNP==0.1.19 2019-12-28T03:53:06 1 location(s) to search for versions of PEQNP: 2019-12-28T03:53:06 * https://pypi.org/simple/peqnp/ 2019-12-28T03:53:06 Getting page https://pypi.org/simple/peqnp/ 2019-12-28T03:53:06 Analyzing links from page https://pypi.org/simple/peqnp/ 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/74/e9/4a23072b1d980a2db450e0e224573872e43ffebab9daf9397f289c957e25/PEQNP-0.0.b1-cp37-cp37m-macosx_10_9_x86_64.whl#sha256=2233ecf4fffa1dd2216960f73fd05460b44700769714a94627e1520471d7f98f (from https://pypi.org/simple/peqnp/) (requires-python:>=3.7,<3.8); it is not compatible with this Python 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/db/06/1934c76098aa9acbb46da3a93c2088d22af677b5ba8c734b70a07951e66d/PEQNP-0.0.b1-cp37-cp37m-manylinux1_x86_64.whl#sha256=0c047f6081a5f9726f546f1b11e88eaa9e307a47ca82c4bdb55c13d81a4de5ee (from https://pypi.org/simple/peqnp/) (requires-python:>=3.7,<3.8); it is not compatible with this Python 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/4f/a4/e1c108e9d69e818740b49fe994724a5e5e8f32864790f2b556e919159ce1/PEQNP-0.0.b3-cp36-cp36m-manylinux1_x86_64.whl#sha256=354867f6041415593768333d15da988efb8aaf23ccc13f381e356ea752df837f (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6,<=3.8); it is not compatible with this Python 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/a1/41/4808c8f9b9657c86cf85b9ec2321d2e3d398d8a43d4251c1f9efd1f90b86/PEQNP-0.1.0-cp36-cp36m-macosx_10_9_x86_64.whl#sha256=32400791f08ddffd17c2cdea117cc2d4103dd25be2e54756ef7909ddce4f7773 (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/2f/9e/95fe6e910b0b291195c4adae0ca5e2eb7e56973fd9eff2be017050c9507d/PEQNP-0.1.0-cp36-cp36m-manylinux1_x86_64.whl#sha256=b14368837b130b52e2d502a1af3f2ab4166a8692f245bbcfb023d4627c183ade (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/81/ff/bbd3a1bfe09832c5e9ab7eed4fee6748529747de0b9890bd03eefe2acdaf/PEQNP-0.1.0-cp37-cp37m-macosx_10_9_x86_64.whl#sha256=5a46b66e588a14f0fa087694120956b444867168cd27c46220265f818b3b13c4 (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/32/da/39ae2df6d2e494f7669a3a82eb5d8e00b3c8fd97b810eddfb2539211b0b3/PEQNP-0.1.0-cp38-cp38-macosx_10_9_x86_64.whl#sha256=71b4c2c6d7bed40dd621baa976d8956211940d03d6c67dd772d296de0dd9ddfe (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/21/62/4b2603edafc45f1f1495113c82055ce776515b0e497c021073443ba156f6/PEQNP-0.1.1-cp36-cp36m-macosx_10_9_x86_64.whl#sha256=23d24d64bcfb768867c82efab8ad417ecef27452da68c85432f19f593f7b3387 (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/c5/74/34d43bcc97547d87d584a1d89fe54e54a7fb3226b6e8712d4127d9afc455/PEQNP-0.1.1-cp36-cp36m-manylinux1_x86_64.whl#sha256=0f1b502ba54b12808ddd655e305ee9784bd709fb1ea06a211ae03a7b5a102985 (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/04/f9/1965b67479248ecd8af709ec2f59740261cad43dcb03cad7a5bcbb5f4366/PEQNP-0.1.1-cp37-cp37m-macosx_10_9_x86_64.whl#sha256=e8cbdb750b015a23d7ed20c6651fe13d313d00392a4a36bb78fe378030a89b3d (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python 2019-12-28T03:53:06 Skipping link https://files.pythonhosted.org/packages/fe/fd/ec9e99b83990817cd25e23aa317476cf84b92cc3750cdc7b6cf4b8cfb2e0/PEQNP-0.1.1-cp38-cp38-macosx_10_9_x86_64.whl#sha256=69c16179ea4096a56da020c58ef94ca9a2c0b0bb2ce978d68aa8ce76dc89d89c (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python 2019-12-28T03:53:06 Found link https://files.pythonhosted.org/packages/68/6f/f1c9dab8262b865122256629416f2d1827fc26ee143037f070cd4c8f3f88/PEQNP-0.1.2.tar.gz#sha256=92854f344436db708398f25dae14405562bf4d0f852aab390f2ac44926df5ef4 (from https://pypi.org/simple/peqnp/), version: 0.1.2 2019-12-28T03:53:06 Found link https://files.pythonhosted.org/packages/72/80/7676e5c33e914d43bb8bbca4742c429e7a30eb28af859284898079822acf/PEQNP-0.1.3.tar.gz#sha256=57cd59ca4aea5c06d1ea53a722b5a1d44d30ad0ea34ed4ac1ff4d272733a4884 (from https://pypi.org/simple/peqnp/), version: 0.1.3 2019-12-28T03:53:06 Found link https://files.pythonhosted.org/packages/66/88/dfb74ebe0da88f721ce1556223bd23b517ee9a74a879872dc29461deeae3/PEQNP-0.1.17.tar.gz#sha256=9020e8fa432973dd643b9f758d7a5268358f6319e16d4bb826dea420db2dca5d (from https://pypi.org/simple/peqnp/), version: 0.1.17 2019-12-28T03:53:06 Found link https://files.pythonhosted.org/packages/0f/13/266115d1823717fa17493180f473dcf4c22a99575d53301e7f8564b31f78/PEQNP-0.1.18.tar.gz#sha256=ab8419205627984ccce66833227f41d9e4e8a1d2c7a56d0fee8127bd22d078d8 (from https://pypi.org/simple/peqnp/), version: 0.1.18 2019-12-28T03:53:06 Found link https://files.pythonhosted.org/packages/18/8f/0faa6d6a17b67e285433c11f0b0bb95a32285dd3a8417a222119cc47d491/PEQNP-0.1.19.tar.gz#sha256=4a4ce22301a1c8dde9a6893cf9db6afab18a18231603bfb48d09dbc11cde0f37 (from https://pypi.org/simple/peqnp/), version: 0.1.19 2019-12-28T03:53:06 Using version 0.1.19 (newest of versions: 0.1.19) 2019-12-28T03:53:06 Created temporary directory: /tmp/pip-unpack-pmli1nrl 2019-12-28T03:53:06 Downloading https://files.pythonhosted.org/packages/18/8f/0faa6d6a17b67e285433c11f0b0bb95a32285dd3a8417a222119cc47d491/PEQNP-0.1.19.tar.gz (49kB) 2019-12-28T03:53:06 Downloading from URL https://files.pythonhosted.org/packages/18/8f/0faa6d6a17b67e285433c11f0b0bb95a32285dd3a8417a222119cc47d491/PEQNP-0.1.19.tar.gz#sha256=4a4ce22301a1c8dde9a6893cf9db6afab18a18231603bfb48d09dbc11cde0f37 (from https://pypi.org/simple/peqnp/) 2019-12-28T03:53:07 Added PEQNP==0.1.19 from https://files.pythonhosted.org/packages/18/8f/0faa6d6a17b67e285433c11f0b0bb95a32285dd3a8417a222119cc47d491/PEQNP-0.1.19.tar.gz#sha256=4a4ce22301a1c8dde9a6893cf9db6afab18a18231603bfb48d09dbc11cde0f37 to build tracker '/tmp/pip-req-tracker-w6ea8p4w' 2019-12-28T03:53:07 Running setup.py (path:/tmp/pip-wheel-s6fh0c_5/PEQNP/setup.py) egg_info for package PEQNP 2019-12-28T03:53:07 Running command python setup.py egg_info 2019-12-28T03:53:08 running egg_info 2019-12-28T03:53:08 creating pip-egg-info/PEQNP.egg-info 2019-12-28T03:53:08 writing pip-egg-info/PEQNP.egg-info/PKG-INFO 2019-12-28T03:53:08 writing dependency_links to pip-egg-info/PEQNP.egg-info/dependency_links.txt 2019-12-28T03:53:08 writing top-level names to pip-egg-info/PEQNP.egg-info/top_level.txt 2019-12-28T03:53:08 writing manifest file 'pip-egg-info/PEQNP.egg-info/SOURCES.txt' 2019-12-28T03:53:09 reading manifest file 'pip-egg-info/PEQNP.egg-info/SOURCES.txt' 2019-12-28T03:53:09 writing manifest file 'pip-egg-info/PEQNP.egg-info/SOURCES.txt' 2019-12-28T03:53:09 Source in /tmp/pip-wheel-s6fh0c_5/PEQNP has version 0.1.19, which satisfies requirement PEQNP==0.1.19 from https://files.pythonhosted.org/packages/18/8f/0faa6d6a17b67e285433c11f0b0bb95a32285dd3a8417a222119cc47d491/PEQNP-0.1.19.tar.gz#sha256=4a4ce22301a1c8dde9a6893cf9db6afab18a18231603bfb48d09dbc11cde0f37 2019-12-28T03:53:09 Removed PEQNP==0.1.19 from https://files.pythonhosted.org/packages/18/8f/0faa6d6a17b67e285433c11f0b0bb95a32285dd3a8417a222119cc47d491/PEQNP-0.1.19.tar.gz#sha256=4a4ce22301a1c8dde9a6893cf9db6afab18a18231603bfb48d09dbc11cde0f37 from build tracker '/tmp/pip-req-tracker-w6ea8p4w' 2019-12-28T03:53:09 Building wheels for collected packages: PEQNP 2019-12-28T03:53:09 Created temporary directory: /tmp/pip-wheel-6f23h8st 2019-12-28T03:53:09 Building wheel for PEQNP (setup.py): started 2019-12-28T03:53:09 Destination directory: /tmp/pip-wheel-6f23h8st 2019-12-28T03:53:09 Running command /usr/bin/python3 -u -c 'import setuptools, tokenize;__file__='"'"'/tmp/pip-wheel-s6fh0c_5/PEQNP/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-6f23h8st 2019-12-28T03:53:10 running bdist_wheel 2019-12-28T03:53:10 running build 2019-12-28T03:53:10 running build_py 2019-12-28T03:53:10 creating build 2019-12-28T03:53:10 creating build/lib.linux-armv7l-3.7 2019-12-28T03:53:10 creating build/lib.linux-armv7l-3.7/peqnp 2019-12-28T03:53:10 copying peqnp/stdlib.py -> build/lib.linux-armv7l-3.7/peqnp 2019-12-28T03:53:10 copying peqnp/entity.py -> build/lib.linux-armv7l-3.7/peqnp 2019-12-28T03:53:10 copying peqnp/__init__.py -> build/lib.linux-armv7l-3.7/peqnp 2019-12-28T03:53:10 copying peqnp/solver.py -> build/lib.linux-armv7l-3.7/peqnp 2019-12-28T03:53:10 running build_ext 2019-12-28T03:53:11 building 'slime' extension 2019-12-28T03:53:11 creating build/temp.linux-armv7l-3.7 2019-12-28T03:53:11 creating build/temp.linux-armv7l-3.7/src 2019-12-28T03:53:11 arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -Iinclude -I/usr/include/python3.7m -c src/SLIME.cc -o build/temp.linux-armv7l-3.7/src/SLIME.o -std=c++11 -Os -DNEDEBUG -g0 -Wno-reorder -Wno-unused-value 2019-12-28T03:53:13 arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -Iinclude -I/usr/include/python3.7m -c src/SimpSolver.cc -o build/temp.linux-armv7l-3.7/src/SimpSolver.o -std=c++11 -Os -DNEDEBUG -g0 -Wno-reorder -Wno-unused-value 2019-12-28T03:53:14 In file included from ./mtl/Alg.h:24, 2019-12-28T03:53:14 from include/SolverTypes.h:36, 2019-12-28T03:53:14 from include/Solver.h:46, 2019-12-28T03:53:14 from include/SimpSolver.h:34, 2019-12-28T03:53:14 from src/SimpSolver.cc:34: 2019-12-28T03:53:14 ./mtl/Vec.h: In instantiation of ‘void SLIME::vec::capacity(long int) [with T = SLIME::vec]’: 2019-12-28T03:53:14 ./mtl/Vec.h:171:9: required from ‘void SLIME::vec::growTo(long int) [with T = SLIME::vec]’ 2019-12-28T03:53:14 include/SolverTypes.h:351:9: required from ‘void SLIME::OccLists::init(const Idx&) [with Idx = long int; Vec = SLIME::vec; Deleted = SLIME::SimpSolver::ClauseDeleted]’ 2019-12-28T03:53:14 src/SimpSolver.cc:71:22: required from here 2019-12-28T03:53:14 ./mtl/Vec.h:154:63: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class SLIME::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2019-12-28T03:53:14 if ((add > INT_MAX - cap) || (((data = (T *) ::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) 2019-12-28T03:53:14 ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2019-12-28T03:53:14 ./mtl/Vec.h:38:11: note: ‘class SLIME::vec’ declared here 2019-12-28T03:53:14 class vec { 2019-12-28T03:53:14 ^~~ 2019-12-28T03:53:17 arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -Iinclude -I/usr/include/python3.7m -c src/Solver.cc -o build/temp.linux-armv7l-3.7/src/Solver.o -std=c++11 -Os -DNEDEBUG -g0 -Wno-reorder -Wno-unused-value 2019-12-28T03:53:18 src/Solver.cc: In member function ‘void SLIME::Solver::safeRemoveSatisfied(SLIME::vec&, unsigned int)’: 2019-12-28T03:53:18 src/Solver.cc:1291:22: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2019-12-28T03:53:18 if (c.mark() == valid_mark) { 2019-12-28T03:53:18 ~~~~~~~~~^~~~~~~~~~~~~ 2019-12-28T03:53:19 In file included from ./mtl/Alg.h:24, 2019-12-28T03:53:19 from include/SolverTypes.h:36, 2019-12-28T03:53:19 from include/Solver.h:46, 2019-12-28T03:53:19 from include/SimpSolver.h:34, 2019-12-28T03:53:19 from src/Solver.cc:36: 2019-12-28T03:53:19 ./mtl/Vec.h: In instantiation of ‘void SLIME::vec::capacity(long int) [with T = SLIME::vec]’: 2019-12-28T03:53:19 ./mtl/Vec.h:171:9: required from ‘void SLIME::vec::growTo(long int) [with T = SLIME::vec]’ 2019-12-28T03:53:19 include/SolverTypes.h:351:9: required from ‘void SLIME::OccLists::init(const Idx&) [with Idx = SLIME::Lit; Vec = SLIME::vec; Deleted = SLIME::Solver::WatcherDeleted]’ 2019-12-28T03:53:19 src/Solver.cc:549:37: required from here 2019-12-28T03:53:19 ./mtl/Vec.h:154:63: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class SLIME::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2019-12-28T03:53:19 if ((add > INT_MAX - cap) || (((data = (T *) ::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) 2019-12-28T03:53:19 ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2019-12-28T03:53:19 ./mtl/Vec.h:38:11: note: ‘class SLIME::vec’ declared here 2019-12-28T03:53:19 class vec { 2019-12-28T03:53:19 ^~~ 2019-12-28T03:53:23 arm-linux-gnueabihf-g++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -Wl,-z,relro -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-armv7l-3.7/src/SLIME.o build/temp.linux-armv7l-3.7/src/SimpSolver.o build/temp.linux-armv7l-3.7/src/Solver.o -o build/lib.linux-armv7l-3.7/slime.cpython-37m-arm-linux-gnueabihf.so 2019-12-28T03:53:24 installing to build/bdist.linux-armv7l/wheel 2019-12-28T03:53:24 running install 2019-12-28T03:53:24 running install_lib 2019-12-28T03:53:24 creating build/bdist.linux-armv7l 2019-12-28T03:53:24 creating build/bdist.linux-armv7l/wheel 2019-12-28T03:53:24 creating build/bdist.linux-armv7l/wheel/peqnp 2019-12-28T03:53:24 copying build/lib.linux-armv7l-3.7/peqnp/stdlib.py -> build/bdist.linux-armv7l/wheel/peqnp 2019-12-28T03:53:24 copying build/lib.linux-armv7l-3.7/peqnp/entity.py -> build/bdist.linux-armv7l/wheel/peqnp 2019-12-28T03:53:24 copying build/lib.linux-armv7l-3.7/peqnp/__init__.py -> build/bdist.linux-armv7l/wheel/peqnp 2019-12-28T03:53:24 copying build/lib.linux-armv7l-3.7/peqnp/solver.py -> build/bdist.linux-armv7l/wheel/peqnp 2019-12-28T03:53:24 copying build/lib.linux-armv7l-3.7/slime.cpython-37m-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel 2019-12-28T03:53:24 running install_egg_info 2019-12-28T03:53:24 running egg_info 2019-12-28T03:53:24 writing PEQNP.egg-info/PKG-INFO 2019-12-28T03:53:24 writing dependency_links to PEQNP.egg-info/dependency_links.txt 2019-12-28T03:53:24 writing top-level names to PEQNP.egg-info/top_level.txt 2019-12-28T03:53:24 reading manifest file 'PEQNP.egg-info/SOURCES.txt' 2019-12-28T03:53:24 writing manifest file 'PEQNP.egg-info/SOURCES.txt' 2019-12-28T03:53:24 Copying PEQNP.egg-info to build/bdist.linux-armv7l/wheel/PEQNP-0.1.19-py3.7.egg-info 2019-12-28T03:53:24 running install_scripts 2019-12-28T03:53:24 creating build/bdist.linux-armv7l/wheel/PEQNP-0.1.19.dist-info/WHEEL 2019-12-28T03:53:24 creating '/tmp/pip-wheel-6f23h8st/PEQNP-0.1.19-cp37-cp37m-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2019-12-28T03:53:24 adding 'slime.cpython-37m-arm-linux-gnueabihf.so' 2019-12-28T03:53:24 adding 'peqnp/__init__.py' 2019-12-28T03:53:24 adding 'peqnp/entity.py' 2019-12-28T03:53:24 adding 'peqnp/solver.py' 2019-12-28T03:53:24 adding 'peqnp/stdlib.py' 2019-12-28T03:53:24 adding 'PEQNP-0.1.19.dist-info/METADATA' 2019-12-28T03:53:24 adding 'PEQNP-0.1.19.dist-info/WHEEL' 2019-12-28T03:53:24 adding 'PEQNP-0.1.19.dist-info/top_level.txt' 2019-12-28T03:53:24 adding 'PEQNP-0.1.19.dist-info/RECORD' 2019-12-28T03:53:24 removing build/bdist.linux-armv7l/wheel 2019-12-28T03:53:24 Building wheel for PEQNP (setup.py): finished with status 'done' 2019-12-28T03:53:24 Stored in directory: /tmp/tmpmyqg9rl0 2019-12-28T03:53:24 Successfully built PEQNP 2019-12-28T03:53:24 Cleaning up... 2019-12-28T03:53:24 Removing source in /tmp/pip-wheel-s6fh0c_5/PEQNP 2019-12-28T03:53:24 Removed build tracker '/tmp/pip-req-tracker-w6ea8p4w'