2026-08-09T18:38:16,430 Created temporary directory: /tmp/pip-ephem-wheel-cache-y_1tefsi 2026-08-09T18:38:16,432 Created temporary directory: /tmp/pip-build-tracker-x9rsle3v 2026-08-09T18:38:16,432 Initialized build tracking at /tmp/pip-build-tracker-x9rsle3v 2026-08-09T18:38:16,433 Created build tracker: /tmp/pip-build-tracker-x9rsle3v 2026-08-09T18:38:16,433 Entered build tracker: /tmp/pip-build-tracker-x9rsle3v 2026-08-09T18:38:16,434 Created temporary directory: /tmp/pip-wheel-kf1em_i8 2026-08-09T18:38:16,437 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2026-08-09T18:38:16,439 Created temporary directory: /tmp/pip-ephem-wheel-cache-k9c5ktih 2026-08-09T18:38:16,461 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-08-09T18:38:16,465 2 location(s) to search for versions of eqbool: 2026-08-09T18:38:16,465 * https://pypi.org/simple/eqbool/ 2026-08-09T18:38:16,465 * https://www.piwheels.org/simple/eqbool/ 2026-08-09T18:38:16,465 Fetching project page and analyzing links: https://pypi.org/simple/eqbool/ 2026-08-09T18:38:16,466 Getting page https://pypi.org/simple/eqbool/ 2026-08-09T18:38:16,468 Found index url https://pypi.org/simple 2026-08-09T18:38:16,693 Fetched page https://pypi.org/simple/eqbool/ as application/vnd.pypi.simple.v1+json 2026-08-09T18:38:16,698 Found link https://files.pythonhosted.org/packages/37/e9/9ef34c0a75bda5cf3b3a4ffe7fcf3b5952230f41fdb3b504050db95404f7/eqbool-0.1a1.tar.gz (from https://pypi.org/simple/eqbool/) (requires-python:>=3.7), version: 0.1a1 2026-08-09T18:38:16,699 Found link https://files.pythonhosted.org/packages/7b/e9/2f84af2a9d5285107249fa0c845479fd353b687f451e166e7bec33799b10/eqbool-0.2.tar.gz (from https://pypi.org/simple/eqbool/) (requires-python:>=3.7), version: 0.2 2026-08-09T18:38:16,700 Found link https://files.pythonhosted.org/packages/63/82/9139bf0a7da0eb237dd83855b18e4b5b68bc45d20b181fa2dd170b1d8969/eqbool-0.3.tar.gz (from https://pypi.org/simple/eqbool/) (requires-python:>=3.7), version: 0.3 2026-08-09T18:38:16,701 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/6d/37/af4e890163f66175703223db1b490de1e26187569493e6b79a1d73ca69f9/eqbool-0.4-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,702 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/d7/cf/7597037c8a3c910eb6972a368e1d92984340e3a24516c155814e879b5915/eqbool-0.4-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,702 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/fd/28/493b5cfe53ae4f1916f8fec2075f7694749c5d9301da3e331dc1d0cf7b7d/eqbool-0.4-cp310-cp310-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,703 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/cf/07/73e2e7da123aa5714fa34ce12d74c8e8386a584e27d19ebd9afd41f3182e/eqbool-0.4-cp310-cp310-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,704 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/d7/70/5e89acbff9c5d19c3104b04311f83b32638ec741cc24e8904c0d27648acb/eqbool-0.4-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,704 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/27/01/962fa86fdea027177f35fc7bb7f2828e6ed5ef8b88a8d66bb09b367b2374/eqbool-0.4-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,705 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/8b/02/e365ddc95353b0f49881af336f0e157b4a53ece8bf8b1eee4bc3e34cc8e1/eqbool-0.4-cp311-cp311-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,706 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/ce/13/972dbc0faee1b745215963f42288cbc66b94306720e97b2d43e0b770754b/eqbool-0.4-cp311-cp311-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,706 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/b3/f5/f240621a945e48f2582d6c25b8e3dd25e823a4a88fb4853cb3d887b7f2a8/eqbool-0.4-cp312-cp312-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,707 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/54/3c/ca58fc072687e82c1670d90926cfacf2e4ba8dd1b4744f655cbd25858fc5/eqbool-0.4-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,707 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/a2/18/f0de3eea2aeac8520a5a468fcce722a59346ed0c678f3948988fed8e2295/eqbool-0.4-cp312-cp312-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,708 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/e4/75/58fb053219bef577539c8ec8e8e414ecf1369856b3f7b7563d99692e9983/eqbool-0.4-cp312-cp312-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,708 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/91/f9/ce459525aec58ae544bd7790240cafe158c76443ede546ec0995e142546b/eqbool-0.4-cp313-cp313-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,709 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/e7/56/a875359275012b1313946b400075dc0040293e417a5093ccacdfacc4e1d6/eqbool-0.4-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,710 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/59/df/62bd32c04988edd561b261546300a9720ae3e224dc8ce0615e63bf6c5a80/eqbool-0.4-cp313-cp313-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,710 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/59/15/f4ecb32edad2ae83ef1e9457ad0175facf2950bce4246f742421c609ae07/eqbool-0.4-cp313-cp313-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-09T18:38:16,711 Found link https://files.pythonhosted.org/packages/ac/73/c42b321196ace274033222cdbc65b379ae9e856352fea94cdc5dada40568/eqbool-0.4.tar.gz (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10), version: 0.4 2026-08-09T18:38:16,712 Fetching project page and analyzing links: https://www.piwheels.org/simple/eqbool/ 2026-08-09T18:38:16,713 Getting page https://www.piwheels.org/simple/eqbool/ 2026-08-09T18:38:16,714 Found index url https://www.piwheels.org/simple 2026-08-09T18:38:16,917 Fetched page https://www.piwheels.org/simple/eqbool/ as text/html 2026-08-09T18:38:16,919 Skipping link: No binaries permitted for eqbool: https://archive1.piwheels.org/simple/eqbool/eqbool-0.1a1-py3-none-any.whl#sha256=e29da09a7b8c828bd275f985acf9f0d3e9f81bb6534cb1f4e5870fa89002864e (from https://www.piwheels.org/simple/eqbool/) (requires-python:>=3.7) 2026-08-09T18:38:16,920 Skipping link: not a file: https://www.piwheels.org/simple/eqbool/ 2026-08-09T18:38:16,920 Skipping link: not a file: https://pypi.org/simple/eqbool/ 2026-08-09T18:38:16,941 Given no hashes to check 1 links for project 'eqbool': discarding no candidates 2026-08-09T18:38:16,960 Collecting eqbool==0.4 2026-08-09T18:38:16,963 Created temporary directory: /tmp/pip-unpack-thymyhcq 2026-08-09T18:38:17,190 Downloading eqbool-0.4.tar.gz (331 kB) 2026-08-09T18:38:17,634 Added eqbool==0.4 from https://files.pythonhosted.org/packages/ac/73/c42b321196ace274033222cdbc65b379ae9e856352fea94cdc5dada40568/eqbool-0.4.tar.gz to build tracker '/tmp/pip-build-tracker-x9rsle3v' 2026-08-09T18:38:17,638 Created temporary directory: /tmp/pip-build-env-_zz9gbqx 2026-08-09T18:38:17,642 Installing build dependencies: started 2026-08-09T18:38:17,644 Running command pip subprocess to install build dependencies 2026-08-09T18:38:18,810 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2026-08-09T18:38:19,683 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2026-08-09T18:38:19,705 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-08-09T18:38:21,545 Collecting setuptools>=61.0 2026-08-09T18:38:21,546 Obtaining dependency information for setuptools>=61.0 from https://www.piwheels.org/simple/setuptools/setuptools-84.0.0-py3-none-any.whl.metadata 2026-08-09T18:38:21,563 Using cached https://www.piwheels.org/simple/setuptools/setuptools-84.0.0-py3-none-any.whl.metadata (6.6 kB) 2026-08-09T18:38:21,800 Using cached https://www.piwheels.org/simple/setuptools/setuptools-84.0.0-py3-none-any.whl (818 kB) 2026-08-09T18:38:21,890 Using cached https://www.piwheels.org/simple/setuptools/setuptools-84.0.0-py3-none-any.whl (818 kB) 2026-08-09T18:38:24,653 Installing collected packages: setuptools 2026-08-09T18:38:26,923 Successfully installed setuptools-84.0.0 2026-08-09T18:38:27,192 Installing build dependencies: finished with status 'done' 2026-08-09T18:38:27,198 Getting requirements to build wheel: started 2026-08-09T18:38:27,199 Running command Getting requirements to build wheel 2026-08-09T18:38:27,808 /tmp/pip-build-env-_zz9gbqx/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsWarning: `license` overwritten by `pyproject.toml` 2026-08-09T18:38:27,808 corresp(dist, value, root_dir) 2026-08-09T18:38:27,890 running egg_info 2026-08-09T18:38:27,896 writing eqbool.egg-info/PKG-INFO 2026-08-09T18:38:27,899 writing dependency_links to eqbool.egg-info/dependency_links.txt 2026-08-09T18:38:27,901 writing entry points to eqbool.egg-info/entry_points.txt 2026-08-09T18:38:27,903 writing top-level names to eqbool.egg-info/top_level.txt 2026-08-09T18:38:27,938 reading manifest file 'eqbool.egg-info/SOURCES.txt' 2026-08-09T18:38:27,955 reading manifest template 'MANIFEST.in' 2026-08-09T18:38:28,041 adding license file 'LICENSE' 2026-08-09T18:38:28,049 writing manifest file 'eqbool.egg-info/SOURCES.txt' 2026-08-09T18:38:28,148 Getting requirements to build wheel: finished with status 'done' 2026-08-09T18:38:28,151 Created temporary directory: /tmp/pip-modern-metadata-6qw_vfn8 2026-08-09T18:38:28,153 Preparing metadata (pyproject.toml): started 2026-08-09T18:38:28,154 Running command Preparing metadata (pyproject.toml) 2026-08-09T18:38:28,723 /tmp/pip-build-env-_zz9gbqx/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsWarning: `license` overwritten by `pyproject.toml` 2026-08-09T18:38:28,724 corresp(dist, value, root_dir) 2026-08-09T18:38:28,812 running dist_info 2026-08-09T18:38:28,822 creating /tmp/pip-modern-metadata-6qw_vfn8/eqbool.egg-info 2026-08-09T18:38:28,823 writing /tmp/pip-modern-metadata-6qw_vfn8/eqbool.egg-info/PKG-INFO 2026-08-09T18:38:28,827 writing dependency_links to /tmp/pip-modern-metadata-6qw_vfn8/eqbool.egg-info/dependency_links.txt 2026-08-09T18:38:28,828 writing entry points to /tmp/pip-modern-metadata-6qw_vfn8/eqbool.egg-info/entry_points.txt 2026-08-09T18:38:28,830 writing top-level names to /tmp/pip-modern-metadata-6qw_vfn8/eqbool.egg-info/top_level.txt 2026-08-09T18:38:28,832 writing manifest file '/tmp/pip-modern-metadata-6qw_vfn8/eqbool.egg-info/SOURCES.txt' 2026-08-09T18:38:28,854 reading manifest file '/tmp/pip-modern-metadata-6qw_vfn8/eqbool.egg-info/SOURCES.txt' 2026-08-09T18:38:28,856 reading manifest template 'MANIFEST.in' 2026-08-09T18:38:28,941 adding license file 'LICENSE' 2026-08-09T18:38:28,948 writing manifest file '/tmp/pip-modern-metadata-6qw_vfn8/eqbool.egg-info/SOURCES.txt' 2026-08-09T18:38:28,949 creating '/tmp/pip-modern-metadata-6qw_vfn8/eqbool-0.4.dist-info' 2026-08-09T18:38:29,072 Preparing metadata (pyproject.toml): finished with status 'done' 2026-08-09T18:38:29,077 Source in /tmp/pip-wheel-kf1em_i8/eqbool_befbda61b61a4b98939f30f306a39272 has version 0.4, which satisfies requirement eqbool==0.4 from https://files.pythonhosted.org/packages/ac/73/c42b321196ace274033222cdbc65b379ae9e856352fea94cdc5dada40568/eqbool-0.4.tar.gz 2026-08-09T18:38:29,078 Removed eqbool==0.4 from https://files.pythonhosted.org/packages/ac/73/c42b321196ace274033222cdbc65b379ae9e856352fea94cdc5dada40568/eqbool-0.4.tar.gz from build tracker '/tmp/pip-build-tracker-x9rsle3v' 2026-08-09T18:38:29,084 Created temporary directory: /tmp/pip-unpack-qxh16q1v 2026-08-09T18:38:29,085 Building wheels for collected packages: eqbool 2026-08-09T18:38:29,089 Created temporary directory: /tmp/pip-wheel-8ypo8lvj 2026-08-09T18:38:29,090 Destination directory: /tmp/pip-wheel-8ypo8lvj 2026-08-09T18:38:29,092 Building wheel for eqbool (pyproject.toml): started 2026-08-09T18:38:29,093 Running command Building wheel for eqbool (pyproject.toml) 2026-08-09T18:38:29,679 /tmp/pip-build-env-_zz9gbqx/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsWarning: `license` overwritten by `pyproject.toml` 2026-08-09T18:38:29,679 corresp(dist, value, root_dir) 2026-08-09T18:38:29,751 running bdist_wheel 2026-08-09T18:38:29,768 running build 2026-08-09T18:38:29,769 running build_py 2026-08-09T18:38:29,776 creating build/lib.linux-armv7l-cpython-311/eqbool 2026-08-09T18:38:29,778 copying eqbool/__init__.py -> build/lib.linux-armv7l-cpython-311/eqbool 2026-08-09T18:38:29,781 copying eqbool/_main.py -> build/lib.linux-armv7l-cpython-311/eqbool 2026-08-09T18:38:29,782 running egg_info 2026-08-09T18:38:29,792 writing eqbool.egg-info/PKG-INFO 2026-08-09T18:38:29,795 writing dependency_links to eqbool.egg-info/dependency_links.txt 2026-08-09T18:38:29,797 writing entry points to eqbool.egg-info/entry_points.txt 2026-08-09T18:38:29,799 writing top-level names to eqbool.egg-info/top_level.txt 2026-08-09T18:38:29,809 reading manifest file 'eqbool.egg-info/SOURCES.txt' 2026-08-09T18:38:29,819 reading manifest template 'MANIFEST.in' 2026-08-09T18:38:29,909 adding license file 'LICENSE' 2026-08-09T18:38:29,917 writing manifest file 'eqbool.egg-info/SOURCES.txt' 2026-08-09T18:38:29,923 copying eqbool/_eqbool.cpp -> build/lib.linux-armv7l-cpython-311/eqbool 2026-08-09T18:38:29,927 copying eqbool/_eqbool.pyi -> build/lib.linux-armv7l-cpython-311/eqbool 2026-08-09T18:38:29,929 copying eqbool/py.typed -> build/lib.linux-armv7l-cpython-311/eqbool 2026-08-09T18:38:29,931 running build_ext 2026-08-09T18:38:29,941 building 'eqbool._eqbool' extension 2026-08-09T18:38:29,964 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/analyze.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/analyze.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:38:34,149 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:38:34,150 from /usr/include/c++/12/queue:61, 2026-08-09T18:38:34,151 from cadical/src/internal.hpp:34, 2026-08-09T18:38:34,151 from cadical/src/analyze.cpp:1: 2026-08-09T18:38:34,152 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:38:34,152 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:38:34,153 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:38:34,153 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:38:34,358 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:38:34,358 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:34,359 inlined from ‘CaDiCaL::Clause* CaDiCaL::Internal::on_the_fly_strengthen(CaDiCaL::Clause*, int)’ at cadical/src/analyze.cpp:776:28: 2026-08-09T18:38:34,359 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:34,360 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:34,361 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:34,361 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:34,362 inlined from ‘CaDiCaL::Clause* CaDiCaL::Internal::on_the_fly_strengthen(CaDiCaL::Clause*, int)’ at cadical/src/analyze.cpp:782:28: 2026-08-09T18:38:34,363 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:34,363 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:34,364 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:34,548 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:38:34,548 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:38:34,549 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:38:34,550 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:38:34,584 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:34,585 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-09T18:38:34,586 inlined from ‘void CaDiCaL::Internal::learn_empty_clause()’ at cadical/src/analyze.cpp:27:24: 2026-08-09T18:38:34,587 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:34,588 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-09T18:38:34,589 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:38:37,157 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:37,158 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:326:26, 2026-08-09T18:38:37,159 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1013:20: 2026-08-09T18:38:37,159 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:37,160 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:37,160 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:37,161 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:37,162 inlined from ‘void CaDiCaL::Internal::analyze_literal(int, int&, int&, int&)’ at cadical/src/analyze.cpp:270:26, 2026-08-09T18:38:37,162 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:329:23, 2026-08-09T18:38:37,163 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1013:20: 2026-08-09T18:38:37,163 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:37,164 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:37,164 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:37,165 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:37,166 inlined from ‘void CaDiCaL::Internal::analyze_literal(int, int&, int&, int&)’ at cadical/src/analyze.cpp:295:28, 2026-08-09T18:38:37,166 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:329:23, 2026-08-09T18:38:37,167 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1013:20: 2026-08-09T18:38:37,167 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:37,168 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:37,169 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:37,169 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:37,170 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1038:32: 2026-08-09T18:38:37,171 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:37,171 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:37,172 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:37,172 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:37,173 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:326:26, 2026-08-09T18:38:37,174 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1089:22: 2026-08-09T18:38:37,175 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:37,176 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:37,176 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:37,177 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:37,177 inlined from ‘void CaDiCaL::Internal::analyze_literal(int, int&, int&, int&)’ at cadical/src/analyze.cpp:270:26, 2026-08-09T18:38:37,178 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:329:23, 2026-08-09T18:38:37,179 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1089:22: 2026-08-09T18:38:37,179 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:37,180 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:37,180 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:37,181 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:37,181 inlined from ‘void CaDiCaL::Internal::analyze_literal(int, int&, int&, int&)’ at cadical/src/analyze.cpp:295:28, 2026-08-09T18:38:37,182 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:329:23, 2026-08-09T18:38:37,183 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1089:22: 2026-08-09T18:38:37,183 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:37,184 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:37,185 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:37,185 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:37,186 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1172:28: 2026-08-09T18:38:37,187 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:37,188 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:37,188 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:38,627 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/arena.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/arena.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:38:41,516 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/assume.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/assume.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:38:45,299 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:38:45,300 from /usr/include/c++/12/queue:61, 2026-08-09T18:38:45,301 from cadical/src/internal.hpp:34, 2026-08-09T18:38:45,301 from cadical/src/assume.cpp:1: 2026-08-09T18:38:45,302 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:38:45,303 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:38:45,303 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:38:45,304 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:38:45,431 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:38:45,431 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:45,432 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:48:26: 2026-08-09T18:38:45,433 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:45,433 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:45,434 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:45,434 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:45,435 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:48:26, 2026-08-09T18:38:45,436 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-09T18:38:45,436 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:45,437 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:45,438 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:45,439 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:45,439 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:48:26, 2026-08-09T18:38:45,440 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-09T18:38:45,441 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-09T18:38:45,442 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:45,442 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:45,443 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:45,444 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:45,444 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:48:26, 2026-08-09T18:38:45,445 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-09T18:38:45,445 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-09T18:38:45,446 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-09T18:38:45,447 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:45,448 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:45,449 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:45,449 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:45,450 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:57:26, 2026-08-09T18:38:45,450 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-09T18:38:45,451 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-09T18:38:45,452 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-09T18:38:45,452 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:45,453 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:45,453 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:45,454 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:45,454 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:57:26, 2026-08-09T18:38:45,455 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-09T18:38:45,455 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-09T18:38:45,456 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:45,457 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:45,457 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:45,458 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:45,459 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:57:26, 2026-08-09T18:38:45,459 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-09T18:38:45,460 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:45,461 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:45,461 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:45,462 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:45,463 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:57:26: 2026-08-09T18:38:45,463 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:45,464 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:45,465 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:45,604 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:45,605 inlined from ‘void CaDiCaL::Internal::assume_analyze_reason(int, CaDiCaL::Clause*)’ at cadical/src/assume.cpp:73:24: 2026-08-09T18:38:45,606 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:45,606 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:45,607 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,309 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,309 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:189:34: 2026-08-09T18:38:46,310 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,311 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,311 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,312 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,312 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:194:34: 2026-08-09T18:38:46,313 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,313 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,314 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,315 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,315 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:198:30: 2026-08-09T18:38:46,316 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,317 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,317 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,318 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,319 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:215:30: 2026-08-09T18:38:46,320 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,320 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,321 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,322 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,322 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:328:30: 2026-08-09T18:38:46,323 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,324 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,324 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,325 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,326 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:363:47: 2026-08-09T18:38:46,327 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,328 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,328 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,329 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,329 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:391:30: 2026-08-09T18:38:46,330 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,331 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,331 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,332 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,332 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:409:36: 2026-08-09T18:38:46,333 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,334 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,334 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,335 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,336 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:418:32: 2026-08-09T18:38:46,337 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,337 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,338 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,339 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,340 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:430:36: 2026-08-09T18:38:46,341 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,341 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,342 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,343 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,344 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:438:36: 2026-08-09T18:38:46,344 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,345 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,346 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:46,347 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:46,347 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:442:32: 2026-08-09T18:38:46,348 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:46,348 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:46,349 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:48,389 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/averages.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/averages.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:38:51,329 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/backtrack.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/backtrack.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:38:55,398 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/backward.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/backward.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:38:58,505 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:38:58,506 from /usr/include/c++/12/queue:61, 2026-08-09T18:38:58,507 from cadical/src/internal.hpp:34, 2026-08-09T18:38:58,507 from cadical/src/backward.cpp:1: 2026-08-09T18:38:58,508 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:38:58,509 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:38:58,509 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:38:58,510 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:38:58,764 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:38:58,765 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:58,766 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:178:36, 2026-08-09T18:38:58,767 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:40:6: 2026-08-09T18:38:58,767 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:58,768 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:58,769 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:58,769 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:58,770 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:181:34, 2026-08-09T18:38:58,771 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:40:6: 2026-08-09T18:38:58,772 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:58,772 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:58,773 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:58,773 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:38:58,774 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:182:34, 2026-08-09T18:38:58,774 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:40:6: 2026-08-09T18:38:58,775 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:38:58,776 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:38:58,776 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:38:59,362 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/bins.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/bins.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:03,237 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/block.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/block.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:09,089 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/ccadical.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/ccadical.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:09,923 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/checker.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/checker.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:15,639 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/clause.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/clause.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:19,407 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:39:19,408 from /usr/include/c++/12/queue:61, 2026-08-09T18:39:19,409 from cadical/src/internal.hpp:34, 2026-08-09T18:39:19,409 from cadical/src/clause.cpp:1: 2026-08-09T18:39:19,410 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:39:19,411 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:39:19,411 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:39:19,412 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:39:19,661 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:39:19,661 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:39:19,662 inlined from ‘void CaDiCaL::Internal::add_new_original_clause(uint64_t)’ at cadical/src/clause.cpp:404:36: 2026-08-09T18:39:19,662 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:39:19,663 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:39:19,663 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:39:19,666 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:39:19,667 inlined from ‘void CaDiCaL::Internal::add_new_original_clause(uint64_t)’ at cadical/src/clause.cpp:444:32: 2026-08-09T18:39:19,667 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:39:19,668 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:39:19,668 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:39:19,669 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:39:19,670 inlined from ‘void CaDiCaL::Internal::add_new_original_clause(uint64_t)’ at cadical/src/clause.cpp:472:28: 2026-08-09T18:39:19,670 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:39:19,671 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:39:19,672 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:39:20,573 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/collect.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/collect.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:25,354 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/compact.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/compact.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:36,000 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/condition.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/condition.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:41,867 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/config.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/config.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:44,783 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/constrain.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/constrain.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:48,171 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/contract.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/contract.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:50,756 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/cover.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/cover.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:39:55,727 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:39:55,728 from /usr/include/c++/12/queue:61, 2026-08-09T18:39:55,729 from cadical/src/internal.hpp:34, 2026-08-09T18:39:55,729 from cadical/src/cover.cpp:1: 2026-08-09T18:39:55,730 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:39:55,730 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:39:55,731 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:39:55,732 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:39:56,151 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:39:56,151 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:39:56,152 inlined from ‘bool CaDiCaL::Internal::cover_clause(CaDiCaL::Clause*, CaDiCaL::Coveror&)’ at cadical/src/cover.cpp:403:36: 2026-08-09T18:39:56,153 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:39:56,153 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:39:56,154 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:39:56,155 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:39:56,156 inlined from ‘bool CaDiCaL::Internal::cover_clause(CaDiCaL::Clause*, CaDiCaL::Coveror&)’ at cadical/src/cover.cpp:440:32: 2026-08-09T18:39:56,157 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:39:56,157 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:39:56,158 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:39:57,659 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/decide.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/decide.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:01,515 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/decompose.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/decompose.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:04,980 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:40:04,981 from /usr/include/c++/12/queue:61, 2026-08-09T18:40:04,982 from cadical/src/internal.hpp:34, 2026-08-09T18:40:04,982 from cadical/src/decompose.cpp:1: 2026-08-09T18:40:04,983 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:40:04,983 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:40:04,984 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:40:04,984 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:40:05,027 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:40:05,027 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:05,028 inlined from ‘void CaDiCaL::Internal::decompose_analyze_binary_chain(CaDiCaL::DFS*, int)’ at cadical/src/decompose.cpp:14:24: 2026-08-09T18:40:05,028 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:05,029 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:05,029 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:05,073 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:05,073 inlined from ‘void CaDiCaL::Internal::decompose_conflicting_scc_lrat(CaDiCaL::DFS*, std::vector&)’ at cadical/src/decompose.cpp:61:28: 2026-08-09T18:40:05,074 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:05,075 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:05,075 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:05,180 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:05,181 inlined from ‘void CaDiCaL::Internal::build_lrat_for_clause(const std::vector >&, bool)’ at cadical/src/decompose.cpp:93:28: 2026-08-09T18:40:05,181 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:05,182 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:05,183 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:05,183 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:05,184 inlined from ‘void CaDiCaL::Internal::build_lrat_for_clause(const std::vector >&, bool)’ at cadical/src/decompose.cpp:105:28: 2026-08-09T18:40:05,185 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:05,186 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:05,186 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:05,187 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:05,188 inlined from ‘void CaDiCaL::Internal::build_lrat_for_clause(const std::vector >&, bool)’ at cadical/src/decompose.cpp:114:28: 2026-08-09T18:40:05,188 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:05,189 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:05,189 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:05,190 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:05,190 inlined from ‘void CaDiCaL::Internal::build_lrat_for_clause(const std::vector >&, bool)’ at cadical/src/decompose.cpp:119:30: 2026-08-09T18:40:05,191 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:05,192 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:05,192 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:05,193 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:05,193 inlined from ‘void CaDiCaL::Internal::build_lrat_for_clause(const std::vector >&, bool)’ at cadical/src/decompose.cpp:122:30: 2026-08-09T18:40:05,194 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:05,195 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:05,196 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:06,099 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:06,100 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:320:44, 2026-08-09T18:40:06,101 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-09T18:40:06,101 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:06,102 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:06,103 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:06,105 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:06,105 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:544:30, 2026-08-09T18:40:06,106 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-09T18:40:06,107 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:06,108 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:06,108 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:06,109 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:06,110 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:559:34, 2026-08-09T18:40:06,111 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-09T18:40:06,111 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:06,112 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:06,112 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:06,113 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:06,113 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:565:32, 2026-08-09T18:40:06,114 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-09T18:40:06,114 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:06,115 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:06,115 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:06,116 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:06,117 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:583:32, 2026-08-09T18:40:06,118 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-09T18:40:06,119 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:06,120 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:06,121 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:06,121 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:06,122 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:588:28, 2026-08-09T18:40:06,123 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-09T18:40:06,124 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:06,124 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:06,125 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:07,640 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/deduplicate.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/deduplicate.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:10,603 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:40:10,604 from /usr/include/c++/12/queue:61, 2026-08-09T18:40:10,605 from cadical/src/internal.hpp:34, 2026-08-09T18:40:10,606 from cadical/src/deduplicate.cpp:1: 2026-08-09T18:40:10,606 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:40:10,607 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:40:10,608 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:40:10,609 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:40:10,741 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:40:10,741 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:10,742 inlined from ‘void CaDiCaL::Internal::mark_duplicated_binary_clauses_as_garbage()’ at cadical/src/deduplicate.cpp:113:34: 2026-08-09T18:40:10,742 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:10,743 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:10,743 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:10,744 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:10,745 inlined from ‘void CaDiCaL::Internal::mark_duplicated_binary_clauses_as_garbage()’ at cadical/src/deduplicate.cpp:122:36: 2026-08-09T18:40:10,745 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:10,746 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:10,746 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:11,283 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/drattracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/drattracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:15,028 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/elim.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/elim.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:19,510 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:40:19,511 from /usr/include/c++/12/queue:61, 2026-08-09T18:40:19,511 from cadical/src/internal.hpp:34, 2026-08-09T18:40:19,512 from cadical/src/elim.cpp:1: 2026-08-09T18:40:19,513 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:40:19,513 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:40:19,514 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:40:19,515 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:40:20,481 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:40:20,481 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:20,481 inlined from ‘bool CaDiCaL::Internal::resolve_clauses(CaDiCaL::Eliminator&, CaDiCaL::Clause*, int, CaDiCaL::Clause*, bool)’ at cadical/src/elim.cpp:313:28: 2026-08-09T18:40:20,482 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:20,483 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:20,484 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:20,485 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:20,485 inlined from ‘bool CaDiCaL::Internal::resolve_clauses(CaDiCaL::Eliminator&, CaDiCaL::Clause*, int, CaDiCaL::Clause*, bool)’ at cadical/src/elim.cpp:354:28: 2026-08-09T18:40:20,486 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:20,486 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:20,487 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:20,487 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:20,488 inlined from ‘bool CaDiCaL::Internal::resolve_clauses(CaDiCaL::Eliminator&, CaDiCaL::Clause*, int, CaDiCaL::Clause*, bool)’ at cadical/src/elim.cpp:370:26: 2026-08-09T18:40:20,488 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:20,489 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:20,489 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:20,490 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:20,491 inlined from ‘bool CaDiCaL::Internal::resolve_clauses(CaDiCaL::Eliminator&, CaDiCaL::Clause*, int, CaDiCaL::Clause*, bool)’ at cadical/src/elim.cpp:371:26: 2026-08-09T18:40:20,491 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:20,492 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:20,493 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:22,274 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/ema.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/ema.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:25,152 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/extend.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/extend.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:29,895 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/external.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/external.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:34,842 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:40:34,843 from /usr/include/c++/12/queue:61, 2026-08-09T18:40:34,844 from cadical/src/internal.hpp:34, 2026-08-09T18:40:34,845 from cadical/src/external.cpp:1: 2026-08-09T18:40:34,845 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:40:34,846 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:40:34,846 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:40:34,847 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:40:35,346 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:40:35,347 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:40:35,439 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:35,440 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-09T18:40:35,440 inlined from ‘void CaDiCaL::External::init(int)’ at cadical/src/external.cpp:45:25: 2026-08-09T18:40:35,441 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:35,441 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-09T18:40:35,442 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:40:35,443 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:35,444 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-09T18:40:35,444 inlined from ‘void CaDiCaL::External::init(int)’ at cadical/src/external.cpp:46:25: 2026-08-09T18:40:35,445 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:35,446 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-09T18:40:35,446 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:40:35,447 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:35,447 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-09T18:40:35,448 inlined from ‘void CaDiCaL::External::init(int)’ at cadical/src/external.cpp:60:25: 2026-08-09T18:40:35,449 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:35,449 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-09T18:40:35,450 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:40:35,451 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:35,451 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-09T18:40:35,452 inlined from ‘void CaDiCaL::External::init(int)’ at cadical/src/external.cpp:61:25: 2026-08-09T18:40:35,452 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:35,453 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-09T18:40:35,453 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:40:35,704 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:40:35,705 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:40:35,706 inlined from ‘void CaDiCaL::External::add(int)’ at cadical/src/external.cpp:185:40: 2026-08-09T18:40:35,706 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:40:35,707 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:40:35,707 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:40:36,773 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/external_propagate.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/external_propagate.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:41,917 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/file.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/file.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:45,506 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/flags.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/flags.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:48,517 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/flip.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/flip.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:51,949 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/format.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/format.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:54,688 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/frattracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/frattracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:40:59,627 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/gates.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/gates.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:03,153 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:41:03,154 from /usr/include/c++/12/queue:61, 2026-08-09T18:41:03,154 from cadical/src/internal.hpp:34, 2026-08-09T18:41:03,155 from cadical/src/gates.cpp:1: 2026-08-09T18:41:03,155 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:41:03,156 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:41:03,156 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:41:03,157 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:41:03,250 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:41:03,251 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:03,251 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:146:32, 2026-08-09T18:41:03,252 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:106:6: 2026-08-09T18:41:03,252 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:03,253 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:03,254 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:03,255 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:03,255 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:161:32, 2026-08-09T18:41:03,256 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:106:6: 2026-08-09T18:41:03,257 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:03,258 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:03,258 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:03,259 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:03,259 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:164:30, 2026-08-09T18:41:03,260 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:106:6: 2026-08-09T18:41:03,261 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:03,261 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:03,262 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:03,263 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:03,264 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:165:30, 2026-08-09T18:41:03,264 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:106:6: 2026-08-09T18:41:03,265 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:03,265 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:03,266 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:03,727 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:03,727 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:248:32, 2026-08-09T18:41:03,728 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:201:6: 2026-08-09T18:41:03,729 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:03,729 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:03,730 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:03,730 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:03,731 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:263:32, 2026-08-09T18:41:03,732 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:201:6: 2026-08-09T18:41:03,732 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:03,733 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:03,734 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:03,734 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:03,735 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:266:30, 2026-08-09T18:41:03,736 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:201:6: 2026-08-09T18:41:03,737 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:03,737 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:03,738 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:03,738 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:03,739 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:267:30, 2026-08-09T18:41:03,740 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:201:6: 2026-08-09T18:41:03,740 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:03,741 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:03,742 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:04,449 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/idruptracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/idruptracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:10,167 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/instantiate.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/instantiate.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:13,370 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:41:13,371 from /usr/include/c++/12/queue:61, 2026-08-09T18:41:13,372 from cadical/src/internal.hpp:34, 2026-08-09T18:41:13,372 from cadical/src/instantiate.cpp:1: 2026-08-09T18:41:13,373 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:41:13,373 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:41:13,374 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:41:13,375 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:41:14,049 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:41:14,050 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:14,050 inlined from ‘bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)’ at cadical/src/instantiate.cpp:233:26: 2026-08-09T18:41:14,051 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:14,052 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:14,053 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:14,054 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:14,054 inlined from ‘bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)’ at cadical/src/instantiate.cpp:253:30: 2026-08-09T18:41:14,055 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:14,055 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:14,056 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:14,057 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:14,057 inlined from ‘bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)’ at cadical/src/instantiate.cpp:270:28: 2026-08-09T18:41:14,058 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:14,059 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:14,060 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:14,060 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:14,061 inlined from ‘bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)’ at cadical/src/instantiate.cpp:284:28: 2026-08-09T18:41:14,061 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:14,062 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:14,062 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:14,779 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/internal.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/internal.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:23,065 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:41:23,065 from /usr/include/c++/12/queue:61, 2026-08-09T18:41:23,066 from cadical/src/internal.hpp:34, 2026-08-09T18:41:23,066 from cadical/src/internal.cpp:1: 2026-08-09T18:41:23,067 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:41:23,067 /usr/include/c++/12/bits/vector.tcc:523:5: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:41:23,068 523 | vector<_Tp, _Alloc>:: 2026-08-09T18:41:23,069 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:41:23,187 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]’: 2026-08-09T18:41:23,188 /usr/include/c++/12/bits/vector.tcc:523:5: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:41:23,304 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]’: 2026-08-09T18:41:23,305 /usr/include/c++/12/bits/vector.tcc:523:5: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:41:23,585 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:41:23,586 In member function ‘void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:23,587 inlined from ‘void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = long long unsigned int]’ at cadical/src/internal.cpp:120:14, 2026-08-09T18:41:23,587 inlined from ‘void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = long long unsigned int]’ at cadical/src/internal.cpp:129:16, 2026-08-09T18:41:23,588 inlined from ‘void CaDiCaL::Internal::enlarge(int)’ at cadical/src/internal.cpp:143:18: 2026-08-09T18:41:23,589 /usr/include/c++/12/bits/stl_vector.h:1032:25: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:23,589 1032 | _M_fill_insert(end(), __new_size - size(), __x); 2026-08-09T18:41:23,590 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:41:23,591 In member function ‘void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]’, 2026-08-09T18:41:23,592 inlined from ‘void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = long long int]’ at cadical/src/internal.cpp:120:14, 2026-08-09T18:41:23,592 inlined from ‘void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = long long int]’ at cadical/src/internal.cpp:129:16, 2026-08-09T18:41:23,593 inlined from ‘void CaDiCaL::Internal::enlarge(int)’ at cadical/src/internal.cpp:148:16: 2026-08-09T18:41:23,593 /usr/include/c++/12/bits/stl_vector.h:1032:25: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:23,594 1032 | _M_fill_insert(end(), __new_size - size(), __x); 2026-08-09T18:41:23,594 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:41:23,595 In member function ‘void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]’, 2026-08-09T18:41:23,595 inlined from ‘void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = long long int]’ at cadical/src/internal.cpp:120:14, 2026-08-09T18:41:23,596 inlined from ‘void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = long long int]’ at cadical/src/internal.cpp:129:16, 2026-08-09T18:41:23,596 inlined from ‘void CaDiCaL::Internal::enlarge(int)’ at cadical/src/internal.cpp:149:16: 2026-08-09T18:41:23,597 /usr/include/c++/12/bits/stl_vector.h:1032:25: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:23,597 1032 | _M_fill_insert(end(), __new_size - size(), __x); 2026-08-09T18:41:23,598 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:41:23,599 In member function ‘void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]’, 2026-08-09T18:41:23,600 inlined from ‘void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = double]’ at cadical/src/internal.cpp:120:14, 2026-08-09T18:41:23,600 inlined from ‘void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = double]’ at cadical/src/internal.cpp:129:16, 2026-08-09T18:41:23,601 inlined from ‘void CaDiCaL::Internal::enlarge(int)’ at cadical/src/internal.cpp:150:16: 2026-08-09T18:41:23,602 /usr/include/c++/12/bits/stl_vector.h:1032:25: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:23,602 1032 | _M_fill_insert(end(), __new_size - size(), __x); 2026-08-09T18:41:23,603 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:41:24,637 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/ipasir.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/ipasir.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:24,784 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lidruptracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lidruptracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:30,065 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:41:30,066 from /usr/include/c++/12/queue:61, 2026-08-09T18:41:30,067 from cadical/src/internal.hpp:34, 2026-08-09T18:41:30,068 from cadical/src/lidruptracer.cpp:1: 2026-08-09T18:41:30,068 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:41:30,069 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:41:30,069 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:41:30,070 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:41:30,115 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:41:30,115 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:30,116 inlined from ‘CaDiCaL::LidrupClause* CaDiCaL::LidrupTracer::new_clause()’ at cadical/src/lidruptracer.cpp:81:26: 2026-08-09T18:41:30,116 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:30,117 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:30,117 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:30,177 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:30,178 inlined from ‘virtual void CaDiCaL::LidrupTracer::add_assumption_clause(uint64_t, const std::vector&, const std::vector&)’ at cadical/src/lidruptracer.cpp:486:30: 2026-08-09T18:41:30,178 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:30,179 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:30,180 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:30,207 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:30,207 inlined from ‘void CaDiCaL::LidrupTracer::lidrup_add_restored_clause(uint64_t)’ at cadical/src/lidruptracer.cpp:200:27: 2026-08-09T18:41:30,208 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:30,209 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:30,209 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:30,241 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:30,241 inlined from ‘bool CaDiCaL::LidrupTracer::find_and_delete(uint64_t)’ at cadical/src/lidruptracer.cpp:138:30: 2026-08-09T18:41:30,242 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:30,243 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:30,243 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:31,008 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:31,009 inlined from ‘virtual void CaDiCaL::LidrupTracer::delete_clause(uint64_t, bool, const std::vector&)’ at cadical/src/lidruptracer.cpp:502:28: 2026-08-09T18:41:31,010 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:31,010 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:31,011 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:31,011 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:31,012 inlined from ‘virtual void CaDiCaL::LidrupTracer::delete_clause(uint64_t, bool, const std::vector&)’ at cadical/src/lidruptracer.cpp:509:28: 2026-08-09T18:41:31,013 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:31,013 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:31,014 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:31,577 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/limit.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/limit.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:34,624 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/logging.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/logging.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:34,687 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lookahead.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lookahead.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:41,110 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lratbuilder.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lratbuilder.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:45,984 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:41:45,985 from /usr/include/c++/12/queue:61, 2026-08-09T18:41:45,986 from cadical/src/internal.hpp:34, 2026-08-09T18:41:45,986 from cadical/src/lratbuilder.cpp:1: 2026-08-09T18:41:45,987 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:41:45,988 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:41:45,988 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:41:45,989 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:41:46,062 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:41:46,063 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:46,063 inlined from ‘void CaDiCaL::LratBuilder::construct_chain()’ at cadical/src/lratbuilder.cpp:564:29: 2026-08-09T18:41:46,064 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:46,065 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:46,066 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:46,066 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:46,067 inlined from ‘void CaDiCaL::LratBuilder::construct_chain()’ at cadical/src/lratbuilder.cpp:585:21: 2026-08-09T18:41:46,067 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:46,068 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:46,068 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:46,174 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:46,175 inlined from ‘void CaDiCaL::LratBuilder::proof_inconsistent_clause()’ at cadical/src/lratbuilder.cpp:604:23: 2026-08-09T18:41:46,175 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:46,176 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:46,177 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:46,177 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:46,178 inlined from ‘void CaDiCaL::LratBuilder::proof_inconsistent_clause()’ at cadical/src/lratbuilder.cpp:617:27, 2026-08-09T18:41:46,179 inlined from ‘void CaDiCaL::LratBuilder::proof_inconsistent_clause()’ at cadical/src/lratbuilder.cpp:600:6: 2026-08-09T18:41:46,179 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:46,180 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:46,181 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:46,181 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:46,182 inlined from ‘void CaDiCaL::LratBuilder::proof_inconsistent_clause()’ at cadical/src/lratbuilder.cpp:620:34, 2026-08-09T18:41:46,183 inlined from ‘void CaDiCaL::LratBuilder::proof_inconsistent_clause()’ at cadical/src/lratbuilder.cpp:600:6: 2026-08-09T18:41:46,184 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:46,184 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:46,185 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:46,235 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:46,236 inlined from ‘void CaDiCaL::LratBuilder::proof_clause()’ at cadical/src/lratbuilder.cpp:636:27: 2026-08-09T18:41:46,237 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:46,237 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:46,238 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:48,424 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lratchecker.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lratchecker.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:53,531 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:41:53,532 from /usr/include/c++/12/queue:61, 2026-08-09T18:41:53,533 from cadical/src/internal.hpp:34, 2026-08-09T18:41:53,533 from cadical/src/lratchecker.cpp:1: 2026-08-09T18:41:53,534 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:41:53,534 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:41:53,535 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:41:53,535 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:41:53,578 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:41:53,578 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:41:53,579 inlined from ‘virtual void CaDiCaL::LratChecker::add_assumption_clause(uint64_t, const std::vector&, const std::vector&)’ at cadical/src/lratchecker.cpp:451:32: 2026-08-09T18:41:53,579 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:41:53,580 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:41:53,581 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:41:54,875 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lrattracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lrattracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:41:58,838 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lucky.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lucky.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:42:02,397 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/message.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/message.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:42:05,411 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/minimize.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/minimize.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:42:08,551 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:42:08,552 from /usr/include/c++/12/queue:61, 2026-08-09T18:42:08,553 from cadical/src/internal.hpp:34, 2026-08-09T18:42:08,554 from cadical/src/minimize.cpp:1: 2026-08-09T18:42:08,554 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:42:08,555 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:42:08,556 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:42:08,556 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:42:08,901 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:42:08,902 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:08,902 inlined from ‘void CaDiCaL::Internal::calculate_minimize_chain(int, std::vector&)’ at cadical/src/minimize.cpp:163:28: 2026-08-09T18:42:08,903 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:08,903 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:08,904 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:08,905 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:08,905 inlined from ‘void CaDiCaL::Internal::calculate_minimize_chain(int, std::vector&)’ at cadical/src/minimize.cpp:181:28: 2026-08-09T18:42:08,906 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:08,907 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:08,907 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:09,250 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:09,251 inlined from ‘void CaDiCaL::Internal::minimize_clause()’ at cadical/src/minimize.cpp:126:36: 2026-08-09T18:42:09,252 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:09,252 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:09,253 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:09,254 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:09,254 inlined from ‘void CaDiCaL::Internal::minimize_clause()’ at cadical/src/minimize.cpp:140:26: 2026-08-09T18:42:09,255 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:09,256 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:09,256 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:09,723 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/occs.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/occs.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:42:13,385 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:42:13,386 from /usr/include/c++/12/queue:61, 2026-08-09T18:42:13,387 from cadical/src/internal.hpp:34, 2026-08-09T18:42:13,388 from cadical/src/occs.cpp:1: 2026-08-09T18:42:13,388 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]’: 2026-08-09T18:42:13,389 /usr/include/c++/12/bits/vector.tcc:523:5: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:42:13,389 523 | vector<_Tp, _Alloc>:: 2026-08-09T18:42:13,390 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:42:13,461 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:42:13,461 In member function ‘void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]’, 2026-08-09T18:42:13,462 inlined from ‘void CaDiCaL::Internal::init_noccs()’ at cadical/src/occs.cpp:28:17: 2026-08-09T18:42:13,462 /usr/include/c++/12/bits/stl_vector.h:1032:25: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:13,463 1032 | _M_fill_insert(end(), __new_size - size(), __x); 2026-08-09T18:42:13,463 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:42:13,883 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/options.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/options.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:42:43,682 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/parse.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/parse.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:42:48,664 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/phases.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/phases.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:42:51,595 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/probe.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/probe.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:42:55,851 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:42:55,852 from /usr/include/c++/12/queue:61, 2026-08-09T18:42:55,853 from cadical/src/internal.hpp:34, 2026-08-09T18:42:55,854 from cadical/src/probe.cpp:1: 2026-08-09T18:42:55,854 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:42:55,855 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:42:55,856 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:42:55,856 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:42:55,909 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:42:55,910 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:55,911 inlined from ‘void CaDiCaL::Internal::probe_dominator_lrat(int, CaDiCaL::Clause*)’ at cadical/src/probe.cpp:139:26, 2026-08-09T18:42:55,912 inlined from ‘void CaDiCaL::Internal::probe_dominator_lrat(int, CaDiCaL::Clause*)’ at cadical/src/probe.cpp:112:6: 2026-08-09T18:42:55,913 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:55,913 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:55,914 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:55,915 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:55,915 inlined from ‘void CaDiCaL::Internal::probe_dominator_lrat(int, CaDiCaL::Clause*)’ at cadical/src/probe.cpp:141:24, 2026-08-09T18:42:55,916 inlined from ‘void CaDiCaL::Internal::probe_dominator_lrat(int, CaDiCaL::Clause*)’ at cadical/src/probe.cpp:112:6: 2026-08-09T18:42:55,916 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:55,917 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:55,917 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:55,976 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:55,976 inlined from ‘void CaDiCaL::Internal::get_probehbr_lrat(int, int)’ at cadical/src/probe.cpp:93:24, 2026-08-09T18:42:55,977 inlined from ‘void CaDiCaL::Internal::get_probehbr_lrat(int, int)’ at cadical/src/probe.cpp:86:6: 2026-08-09T18:42:55,978 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:55,978 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:55,979 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:56,862 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:56,863 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:369:26, 2026-08-09T18:42:56,864 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-09T18:42:56,865 inlined from ‘void CaDiCaL::Internal::probe_propagate2()’ at cadical/src/probe.cpp:402:30, 2026-08-09T18:42:56,865 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:417:24: 2026-08-09T18:42:56,866 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:56,867 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:56,868 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:56,868 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:56,869 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:371:24, 2026-08-09T18:42:56,870 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-09T18:42:56,871 inlined from ‘void CaDiCaL::Internal::probe_propagate2()’ at cadical/src/probe.cpp:402:30, 2026-08-09T18:42:56,872 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:417:24: 2026-08-09T18:42:56,872 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:56,873 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:56,874 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:56,874 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:56,875 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:369:26, 2026-08-09T18:42:56,875 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-09T18:42:56,876 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:475:36: 2026-08-09T18:42:56,876 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:56,877 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:56,878 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:56,878 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:56,879 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:371:24, 2026-08-09T18:42:56,880 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-09T18:42:56,880 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:475:36: 2026-08-09T18:42:56,881 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:56,882 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:56,883 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:56,884 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:56,884 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:369:26, 2026-08-09T18:42:56,885 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-09T18:42:56,886 inlined from ‘void CaDiCaL::Internal::probe_propagate2()’ at cadical/src/probe.cpp:402:30, 2026-08-09T18:42:56,887 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:479:30: 2026-08-09T18:42:56,887 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:56,888 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:56,889 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:56,889 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:42:56,890 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:371:24, 2026-08-09T18:42:56,891 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-09T18:42:56,891 inlined from ‘void CaDiCaL::Internal::probe_propagate2()’ at cadical/src/probe.cpp:402:30, 2026-08-09T18:42:56,892 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:479:30: 2026-08-09T18:42:56,893 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:42:56,893 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:42:56,894 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:42:58,292 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/profile.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/profile.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:42:58,356 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/proof.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/proof.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:03,450 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:43:03,450 from /usr/include/c++/12/queue:61, 2026-08-09T18:43:03,451 from cadical/src/internal.hpp:34, 2026-08-09T18:43:03,451 from cadical/src/proof.cpp:1: 2026-08-09T18:43:03,452 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:43:03,453 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:43:03,453 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:43:03,454 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:43:03,492 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:43:03,492 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:03,493 inlined from ‘void CaDiCaL::Proof::add_derived_empty_clause(uint64_t, const std::vector&)’ at cadical/src/proof.cpp:271:27: 2026-08-09T18:43:03,494 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:03,495 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:03,495 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:03,518 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:03,519 inlined from ‘void CaDiCaL::Proof::add_assumption_clause(uint64_t, int, const std::vector&)’ at cadical/src/proof.cpp:354:27: 2026-08-09T18:43:03,519 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:03,520 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:03,521 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:03,549 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:03,550 inlined from ‘void CaDiCaL::Proof::add_derived_unit_clause(uint64_t, int, const std::vector&)’ at cadical/src/proof.cpp:284:27: 2026-08-09T18:43:03,551 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:03,551 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:03,552 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:03,591 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:03,592 inlined from ‘void CaDiCaL::Proof::add_derived_clause(uint64_t, bool, const std::vector&, const std::vector&)’ at cadical/src/proof.cpp:312:27: 2026-08-09T18:43:03,592 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:03,593 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:03,593 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:03,640 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:03,640 inlined from ‘void CaDiCaL::Proof::add_derived_clause(CaDiCaL::Clause*, const std::vector&)’ at cadical/src/proof.cpp:298:27: 2026-08-09T18:43:03,641 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:03,642 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:03,642 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:03,683 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:03,684 inlined from ‘void CaDiCaL::Proof::add_assumption_clause(uint64_t, const std::vector&, const std::vector&)’ at cadical/src/proof.cpp:326:27: 2026-08-09T18:43:03,685 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:03,686 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:03,686 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:03,725 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:03,726 inlined from ‘void CaDiCaL::Proof::strengthen_clause(CaDiCaL::Clause*, int, const std::vector&)’ at cadical/src/proof.cpp:497:27: 2026-08-09T18:43:03,727 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:03,727 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:03,728 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:03,775 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:03,776 inlined from ‘void CaDiCaL::Proof::otfs_strengthen_clause(CaDiCaL::Clause*, const std::vector&, const std::vector&)’ at cadical/src/proof.cpp:515:27: 2026-08-09T18:43:03,776 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:03,777 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:03,778 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:03,837 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:03,838 inlined from ‘void CaDiCaL::Proof::flush_clause(CaDiCaL::Clause*)’ at cadical/src/proof.cpp:462:31: 2026-08-09T18:43:03,838 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:03,839 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:03,839 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:03,840 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:03,840 inlined from ‘void CaDiCaL::Proof::flush_clause(CaDiCaL::Clause*)’ at cadical/src/proof.cpp:468:25: 2026-08-09T18:43:03,841 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:03,841 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:03,842 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:04,551 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/propagate.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/propagate.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:07,783 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:43:07,784 from /usr/include/c++/12/queue:61, 2026-08-09T18:43:07,785 from cadical/src/internal.hpp:34, 2026-08-09T18:43:07,786 from cadical/src/propagate.cpp:1: 2026-08-09T18:43:07,786 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:43:07,787 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:43:07,788 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:43:07,789 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:43:07,834 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:43:07,835 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:07,836 inlined from ‘void CaDiCaL::Internal::build_chain_for_empty()’ at cadical/src/propagate.cpp:96:26: 2026-08-09T18:43:07,836 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:07,837 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:07,838 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:07,838 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:07,839 inlined from ‘void CaDiCaL::Internal::build_chain_for_empty()’ at cadical/src/propagate.cpp:98:24: 2026-08-09T18:43:07,841 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:07,841 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:07,842 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:07,896 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:07,897 inlined from ‘void CaDiCaL::Internal::build_chain_for_units(int, CaDiCaL::Clause*, bool)’ at cadical/src/propagate.cpp:77:26, 2026-08-09T18:43:07,898 inlined from ‘void CaDiCaL::Internal::build_chain_for_units(int, CaDiCaL::Clause*, bool)’ at cadical/src/propagate.cpp:60:6: 2026-08-09T18:43:07,898 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:07,899 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:07,899 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:07,900 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:07,900 inlined from ‘void CaDiCaL::Internal::build_chain_for_units(int, CaDiCaL::Clause*, bool)’ at cadical/src/propagate.cpp:79:24, 2026-08-09T18:43:07,901 inlined from ‘void CaDiCaL::Internal::build_chain_for_units(int, CaDiCaL::Clause*, bool)’ at cadical/src/propagate.cpp:60:6: 2026-08-09T18:43:07,901 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:07,902 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:07,903 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:09,042 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/queue.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/queue.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:12,310 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/random.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/random.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:15,125 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/reap.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/reap.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:16,114 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/reduce.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/reduce.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:20,500 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/rephase.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/rephase.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:23,701 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/report.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/report.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:26,553 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/resources.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/resources.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:29,496 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/restart.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/restart.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:32,567 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/restore.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/restore.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:35,591 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:43:35,592 from /usr/include/c++/12/queue:61, 2026-08-09T18:43:35,592 from cadical/src/internal.hpp:34, 2026-08-09T18:43:35,593 from cadical/src/restore.cpp:1: 2026-08-09T18:43:35,594 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:43:35,594 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:43:35,595 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:43:35,596 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:43:35,660 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:43:35,661 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:35,661 inlined from ‘void CaDiCaL::External::restore_clause(const std::vector::const_iterator&, const std::vector::const_iterator&, uint64_t)’ at cadical/src/restore.cpp:66:40: 2026-08-09T18:43:35,662 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:35,663 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:35,663 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:36,766 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/score.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/score.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:40,943 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/shrink.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/shrink.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:44,137 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:43:44,138 from /usr/include/c++/12/queue:61, 2026-08-09T18:43:44,138 from cadical/src/internal.hpp:34, 2026-08-09T18:43:44,139 from cadical/src/shrink.cpp:1: 2026-08-09T18:43:44,139 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:43:44,140 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:43:44,141 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:43:44,141 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:43:45,137 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:43:45,137 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:45,138 inlined from ‘void CaDiCaL::Internal::shrink_and_minimize_clause()’ at cadical/src/shrink.cpp:470:38: 2026-08-09T18:43:45,138 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:45,139 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:45,140 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:45,140 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:43:45,141 inlined from ‘void CaDiCaL::Internal::shrink_and_minimize_clause()’ at cadical/src/shrink.cpp:498:26: 2026-08-09T18:43:45,142 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:43:45,142 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:43:45,143 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:43:45,745 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/signal.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/signal.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:46,368 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/solution.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/solution.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:49,391 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/solver.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/solver.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:43:58,013 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/stats.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/stats.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:00,882 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/subsume.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/subsume.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:04,221 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:44:04,222 from /usr/include/c++/12/queue:61, 2026-08-09T18:44:04,222 from cadical/src/internal.hpp:34, 2026-08-09T18:44:04,223 from cadical/src/subsume.cpp:1: 2026-08-09T18:44:04,223 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:44:04,224 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:44:04,225 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:44:04,225 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:44:04,387 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:44:04,388 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:04,388 inlined from ‘int CaDiCaL::Internal::try_to_subsume_clause(CaDiCaL::Clause*, std::vector&)’ at cadical/src/subsume.cpp:320:28: 2026-08-09T18:44:04,389 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:04,389 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:04,390 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:04,391 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:04,391 inlined from ‘int CaDiCaL::Internal::try_to_subsume_clause(CaDiCaL::Clause*, std::vector&)’ at cadical/src/subsume.cpp:321:28: 2026-08-09T18:44:04,392 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:04,393 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:04,394 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:04,783 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {CaDiCaL::Bin}; _Tp = CaDiCaL::Bin; _Alloc = std::allocator]’: 2026-08-09T18:44:04,784 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:44:04,785 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:44:04,785 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:44:05,445 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {CaDiCaL::Bin}; _Tp = CaDiCaL::Bin; _Alloc = std::allocator]’, 2026-08-09T18:44:05,445 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = CaDiCaL::Bin; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-09T18:44:05,446 inlined from ‘bool CaDiCaL::Internal::subsume_round()’ at cadical/src/subsume.cpp:604:31, 2026-08-09T18:44:05,447 inlined from ‘bool CaDiCaL::Internal::subsume_round()’ at cadical/src/subsume.cpp:381:6: 2026-08-09T18:44:05,448 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:05,448 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-09T18:44:05,449 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-09T18:44:06,315 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/terminal.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/terminal.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:08,977 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/ternary.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/ternary.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:12,072 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:44:12,073 from /usr/include/c++/12/queue:61, 2026-08-09T18:44:12,074 from cadical/src/internal.hpp:34, 2026-08-09T18:44:12,074 from cadical/src/ternary.cpp:1: 2026-08-09T18:44:12,075 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:44:12,075 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:44:12,076 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:44:12,077 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:44:12,216 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:44:12,217 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:12,217 inlined from ‘void CaDiCaL::Internal::ternary_lit(int, int64_t&, int64_t&)’ at cadical/src/ternary.cpp:196:32: 2026-08-09T18:44:12,218 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:12,219 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:12,220 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:12,220 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:12,221 inlined from ‘void CaDiCaL::Internal::ternary_lit(int, int64_t&, int64_t&)’ at cadical/src/ternary.cpp:197:32: 2026-08-09T18:44:12,222 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:12,223 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:12,223 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:12,971 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/transred.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/transred.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:15,851 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:44:15,852 from /usr/include/c++/12/queue:61, 2026-08-09T18:44:15,852 from cadical/src/internal.hpp:34, 2026-08-09T18:44:15,853 from cadical/src/transred.cpp:1: 2026-08-09T18:44:15,854 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:44:15,855 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:44:15,855 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:44:15,856 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:44:16,064 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:44:16,065 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:16,065 inlined from ‘void CaDiCaL::Internal::transred()’ at cadical/src/transred.cpp:172:36: 2026-08-09T18:44:16,066 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:16,067 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:16,067 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:16,068 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:16,068 inlined from ‘void CaDiCaL::Internal::transred()’ at cadical/src/transred.cpp:180:36: 2026-08-09T18:44:16,069 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:16,070 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:16,070 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:16,071 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:16,072 inlined from ‘void CaDiCaL::Internal::transred()’ at cadical/src/transred.cpp:204:32: 2026-08-09T18:44:16,072 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:16,073 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:16,074 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:16,074 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:16,075 inlined from ‘void CaDiCaL::Internal::transred()’ at cadical/src/transred.cpp:207:32: 2026-08-09T18:44:16,076 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:16,076 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:16,077 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:16,760 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/util.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/util.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:19,557 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/var.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/var.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:22,458 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/veripbtracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/veripbtracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:27,025 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/version.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/version.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:27,131 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/vivify.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/vivify.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:31,883 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:44:31,883 from /usr/include/c++/12/queue:61, 2026-08-09T18:44:31,884 from cadical/src/internal.hpp:34, 2026-08-09T18:44:31,885 from cadical/src/vivify.cpp:1: 2026-08-09T18:44:31,885 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-09T18:44:31,886 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:44:31,886 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:44:31,887 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:44:32,108 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:44:32,109 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:32,109 inlined from ‘void CaDiCaL::Internal::vivify_chain_for_units(int, CaDiCaL::Clause*)’ at cadical/src/vivify.cpp:1112:26, 2026-08-09T18:44:32,110 inlined from ‘void CaDiCaL::Internal::vivify_chain_for_units(int, CaDiCaL::Clause*)’ at cadical/src/vivify.cpp:1098:13, 2026-08-09T18:44:32,111 inlined from ‘bool CaDiCaL::Internal::vivify_propagate()’ at cadical/src/vivify.cpp:162:36: 2026-08-09T18:44:32,112 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:32,112 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:32,113 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:32,114 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:32,114 inlined from ‘void CaDiCaL::Internal::vivify_chain_for_units(int, CaDiCaL::Clause*)’ at cadical/src/vivify.cpp:1114:24, 2026-08-09T18:44:32,115 inlined from ‘void CaDiCaL::Internal::vivify_chain_for_units(int, CaDiCaL::Clause*)’ at cadical/src/vivify.cpp:1098:13, 2026-08-09T18:44:32,116 inlined from ‘bool CaDiCaL::Internal::vivify_propagate()’ at cadical/src/vivify.cpp:162:36: 2026-08-09T18:44:32,117 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:32,117 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:32,118 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:32,585 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:32,586 inlined from ‘void CaDiCaL::Internal::vivify_build_lrat(int, CaDiCaL::Clause*, std::vector >&)’ at cadical/src/vivify.cpp:1057:28: 2026-08-09T18:44:32,586 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:32,587 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:32,587 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:32,588 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-09T18:44:32,589 inlined from ‘void CaDiCaL::Internal::vivify_build_lrat(int, CaDiCaL::Clause*, std::vector >&)’ at cadical/src/vivify.cpp:1082:30: 2026-08-09T18:44:32,589 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:32,590 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:32,590 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:38,041 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/walk.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/walk.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:41,150 In file included from /usr/include/c++/12/vector:70, 2026-08-09T18:44:41,151 from /usr/include/c++/12/queue:61, 2026-08-09T18:44:41,152 from cadical/src/internal.hpp:34, 2026-08-09T18:44:41,152 from cadical/src/walk.cpp:1: 2026-08-09T18:44:41,153 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const double&}; _Tp = double; _Alloc = std::allocator]’: 2026-08-09T18:44:41,154 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-09T18:44:41,154 439 | vector<_Tp, _Alloc>:: 2026-08-09T18:44:41,155 | ^~~~~~~~~~~~~~~~~~~ 2026-08-09T18:44:41,256 In file included from /usr/include/c++/12/vector:64: 2026-08-09T18:44:41,256 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = double; _Alloc = std::allocator]’, 2026-08-09T18:44:41,257 inlined from ‘int CaDiCaL::Internal::walk_pick_lit(CaDiCaL::Walker&, CaDiCaL::Clause*)’ at cadical/src/walk.cpp:203:29: 2026-08-09T18:44:41,258 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:41,258 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:41,259 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:41,331 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = double; _Alloc = std::allocator]’, 2026-08-09T18:44:41,331 inlined from ‘CaDiCaL::Walker::Walker(CaDiCaL::Internal*, double, int64_t)’ at cadical/src/walk.cpp:79:21: 2026-08-09T18:44:41,332 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-09T18:44:41,333 1287 | _M_realloc_insert(end(), __x); 2026-08-09T18:44:41,333 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-09T18:44:42,449 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/watch.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/watch.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:46,818 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c eqbool.cpp -o build/temp.linux-armv7l-cpython-311/eqbool.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:44:57,660 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c eqbool/_eqbool.cpp -o build/temp.linux-armv7l-cpython-311/eqbool/_eqbool.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-09T18:45:01,262 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -shared -Wl,-O1 -Wl,-Bsymbolic-functions build/temp.linux-armv7l-cpython-311/cadical/src/analyze.o build/temp.linux-armv7l-cpython-311/cadical/src/arena.o build/temp.linux-armv7l-cpython-311/cadical/src/assume.o build/temp.linux-armv7l-cpython-311/cadical/src/averages.o build/temp.linux-armv7l-cpython-311/cadical/src/backtrack.o build/temp.linux-armv7l-cpython-311/cadical/src/backward.o build/temp.linux-armv7l-cpython-311/cadical/src/bins.o build/temp.linux-armv7l-cpython-311/cadical/src/block.o build/temp.linux-armv7l-cpython-311/cadical/src/ccadical.o build/temp.linux-armv7l-cpython-311/cadical/src/checker.o build/temp.linux-armv7l-cpython-311/cadical/src/clause.o build/temp.linux-armv7l-cpython-311/cadical/src/collect.o build/temp.linux-armv7l-cpython-311/cadical/src/compact.o build/temp.linux-armv7l-cpython-311/cadical/src/condition.o build/temp.linux-armv7l-cpython-311/cadical/src/config.o build/temp.linux-armv7l-cpython-311/cadical/src/constrain.o build/temp.linux-armv7l-cpython-311/cadical/src/contract.o build/temp.linux-armv7l-cpython-311/cadical/src/cover.o build/temp.linux-armv7l-cpython-311/cadical/src/decide.o build/temp.linux-armv7l-cpython-311/cadical/src/decompose.o build/temp.linux-armv7l-cpython-311/cadical/src/deduplicate.o build/temp.linux-armv7l-cpython-311/cadical/src/drattracer.o build/temp.linux-armv7l-cpython-311/cadical/src/elim.o build/temp.linux-armv7l-cpython-311/cadical/src/ema.o build/temp.linux-armv7l-cpython-311/cadical/src/extend.o build/temp.linux-armv7l-cpython-311/cadical/src/external.o build/temp.linux-armv7l-cpython-311/cadical/src/external_propagate.o build/temp.linux-armv7l-cpython-311/cadical/src/file.o build/temp.linux-armv7l-cpython-311/cadical/src/flags.o build/temp.linux-armv7l-cpython-311/cadical/src/flip.o build/temp.linux-armv7l-cpython-311/cadical/src/format.o build/temp.linux-armv7l-cpython-311/cadical/src/frattracer.o build/temp.linux-armv7l-cpython-311/cadical/src/gates.o build/temp.linux-armv7l-cpython-311/cadical/src/idruptracer.o build/temp.linux-armv7l-cpython-311/cadical/src/instantiate.o build/temp.linux-armv7l-cpython-311/cadical/src/internal.o build/temp.linux-armv7l-cpython-311/cadical/src/ipasir.o build/temp.linux-armv7l-cpython-311/cadical/src/lidruptracer.o build/temp.linux-armv7l-cpython-311/cadical/src/limit.o build/temp.linux-armv7l-cpython-311/cadical/src/logging.o build/temp.linux-armv7l-cpython-311/cadical/src/lookahead.o build/temp.linux-armv7l-cpython-311/cadical/src/lratbuilder.o build/temp.linux-armv7l-cpython-311/cadical/src/lratchecker.o build/temp.linux-armv7l-cpython-311/cadical/src/lrattracer.o build/temp.linux-armv7l-cpython-311/cadical/src/lucky.o build/temp.linux-armv7l-cpython-311/cadical/src/message.o build/temp.linux-armv7l-cpython-311/cadical/src/minimize.o build/temp.linux-armv7l-cpython-311/cadical/src/occs.o build/temp.linux-armv7l-cpython-311/cadical/src/options.o build/temp.linux-armv7l-cpython-311/cadical/src/parse.o build/temp.linux-armv7l-cpython-311/cadical/src/phases.o build/temp.linux-armv7l-cpython-311/cadical/src/probe.o build/temp.linux-armv7l-cpython-311/cadical/src/profile.o build/temp.linux-armv7l-cpython-311/cadical/src/proof.o build/temp.linux-armv7l-cpython-311/cadical/src/propagate.o build/temp.linux-armv7l-cpython-311/cadical/src/queue.o build/temp.linux-armv7l-cpython-311/cadical/src/random.o build/temp.linux-armv7l-cpython-311/cadical/src/reap.o build/temp.linux-armv7l-cpython-311/cadical/src/reduce.o build/temp.linux-armv7l-cpython-311/cadical/src/rephase.o build/temp.linux-armv7l-cpython-311/cadical/src/report.o build/temp.linux-armv7l-cpython-311/cadical/src/resources.o build/temp.linux-armv7l-cpython-311/cadical/src/restart.o build/temp.linux-armv7l-cpython-311/cadical/src/restore.o build/temp.linux-armv7l-cpython-311/cadical/src/score.o build/temp.linux-armv7l-cpython-311/cadical/src/shrink.o build/temp.linux-armv7l-cpython-311/cadical/src/signal.o build/temp.linux-armv7l-cpython-311/cadical/src/solution.o build/temp.linux-armv7l-cpython-311/cadical/src/solver.o build/temp.linux-armv7l-cpython-311/cadical/src/stats.o build/temp.linux-armv7l-cpython-311/cadical/src/subsume.o build/temp.linux-armv7l-cpython-311/cadical/src/terminal.o build/temp.linux-armv7l-cpython-311/cadical/src/ternary.o build/temp.linux-armv7l-cpython-311/cadical/src/transred.o build/temp.linux-armv7l-cpython-311/cadical/src/util.o build/temp.linux-armv7l-cpython-311/cadical/src/var.o build/temp.linux-armv7l-cpython-311/cadical/src/veripbtracer.o build/temp.linux-armv7l-cpython-311/cadical/src/version.o build/temp.linux-armv7l-cpython-311/cadical/src/vivify.o build/temp.linux-armv7l-cpython-311/cadical/src/walk.o build/temp.linux-armv7l-cpython-311/cadical/src/watch.o build/temp.linux-armv7l-cpython-311/eqbool.o build/temp.linux-armv7l-cpython-311/eqbool/_eqbool.o -L/usr/lib/arm-linux-gnueabihf -o build/lib.linux-armv7l-cpython-311/eqbool/_eqbool.cpython-311-arm-linux-gnueabihf.so 2026-08-09T18:45:03,876 installing to build/bdist.linux-armv7l/wheel 2026-08-09T18:45:03,877 running install 2026-08-09T18:45:03,900 running install_lib 2026-08-09T18:45:03,906 creating build/bdist.linux-armv7l/wheel 2026-08-09T18:45:03,908 creating build/bdist.linux-armv7l/wheel/eqbool 2026-08-09T18:45:03,910 copying build/lib.linux-armv7l-cpython-311/eqbool/__init__.py -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-09T18:45:03,912 copying build/lib.linux-armv7l-cpython-311/eqbool/py.typed -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-09T18:45:03,914 copying build/lib.linux-armv7l-cpython-311/eqbool/_main.py -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-09T18:45:03,916 copying build/lib.linux-armv7l-cpython-311/eqbool/_eqbool.pyi -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-09T18:45:03,918 copying build/lib.linux-armv7l-cpython-311/eqbool/_eqbool.cpp -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-09T18:45:03,921 copying build/lib.linux-armv7l-cpython-311/eqbool/_eqbool.cpython-311-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-09T18:45:04,313 running install_egg_info 2026-08-09T18:45:04,318 Copying eqbool.egg-info to build/bdist.linux-armv7l/wheel/./eqbool-0.4-py3.11.egg-info 2026-08-09T18:45:04,328 running install_scripts 2026-08-09T18:45:04,374 creating build/bdist.linux-armv7l/wheel/eqbool-0.4.dist-info/WHEEL 2026-08-09T18:45:04,378 creating '/tmp/pip-wheel-8ypo8lvj/.tmp-kdtmsp73/eqbool-0.4-cp311-cp311-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-08-09T18:45:04,381 adding 'eqbool/__init__.py' 2026-08-09T18:45:04,383 adding 'eqbool/_eqbool.cpp' 2026-08-09T18:45:09,414 adding 'eqbool/_eqbool.cpython-311-arm-linux-gnueabihf.so' 2026-08-09T18:45:09,583 adding 'eqbool/_eqbool.pyi' 2026-08-09T18:45:09,585 adding 'eqbool/_main.py' 2026-08-09T18:45:09,586 adding 'eqbool/py.typed' 2026-08-09T18:45:09,589 adding 'eqbool-0.4.dist-info/licenses/LICENSE' 2026-08-09T18:45:09,591 adding 'eqbool-0.4.dist-info/METADATA' 2026-08-09T18:45:09,592 adding 'eqbool-0.4.dist-info/WHEEL' 2026-08-09T18:45:09,592 adding 'eqbool-0.4.dist-info/entry_points.txt' 2026-08-09T18:45:09,593 adding 'eqbool-0.4.dist-info/top_level.txt' 2026-08-09T18:45:09,594 adding 'eqbool-0.4.dist-info/RECORD' 2026-08-09T18:45:09,720 removing build/bdist.linux-armv7l/wheel 2026-08-09T18:45:09,838 Building wheel for eqbool (pyproject.toml): finished with status 'done' 2026-08-09T18:45:10,079 Created wheel for eqbool: filename=eqbool-0.4-cp311-cp311-linux_armv7l.whl size=11443557 sha256=a5c266f2bbab57500e4cc0dcb33de8481b24848b897f08ee9ff921dfd6614ea5 2026-08-09T18:45:10,080 Stored in directory: /tmp/pip-ephem-wheel-cache-k9c5ktih/wheels/a6/26/f1/12f30a98e298619d1f474bd7a9760dfa6366783b97499ff719 2026-08-09T18:45:10,095 Successfully built eqbool 2026-08-09T18:45:10,365 Removed build tracker: '/tmp/pip-build-tracker-x9rsle3v'