<86>Dec  2 06:28:12 userdel[4156925]: delete user 'rooter'
<86>Dec  2 06:28:12 userdel[4156925]: removed group 'rooter' owned by 'rooter'
<86>Dec  2 06:28:12 userdel[4156925]: removed shadow group 'rooter' owned by 'rooter'
<86>Dec  2 06:28:12 groupadd[4156984]: group added to /etc/group: name=rooter, GID=1823
<86>Dec  2 06:28:12 groupadd[4156984]: group added to /etc/gshadow: name=rooter
<86>Dec  2 06:28:12 groupadd[4156984]: new group: name=rooter, GID=1823
<86>Dec  2 06:28:12 useradd[4157018]: new user: name=rooter, UID=1823, GID=1823, home=/root, shell=/bin/bash, from=none
<86>Dec  2 06:28:12 userdel[4157076]: delete user 'builder'
<86>Dec  2 06:28:12 userdel[4157076]: removed group 'builder' owned by 'builder'
<86>Dec  2 06:28:12 userdel[4157076]: removed shadow group 'builder' owned by 'builder'
<86>Dec  2 06:28:12 groupadd[4157130]: group added to /etc/group: name=builder, GID=1824
<86>Dec  2 06:28:12 groupadd[4157130]: group added to /etc/gshadow: name=builder
<86>Dec  2 06:28:12 groupadd[4157130]: new group: name=builder, GID=1824
<86>Dec  2 06:28:12 useradd[4157172]: new user: name=builder, UID=1824, GID=1824, home=/usr/src, shell=/bin/bash, from=none
<13>Dec  2 06:28:15 rpmi: gcc-c++-common-1.4.27-alt1 sisyphus+278099.1300.1.1 1626028636 installed
<13>Dec  2 06:28:15 rpmi: libstdc++13-devel-13.2.1-alt2 sisyphus+327572.100.1.1 1692472364 installed
<13>Dec  2 06:28:16 rpmi: gcc13-c++-13.2.1-alt2 sisyphus+327572.100.1.1 1692472364 installed
<13>Dec  2 06:28:16 rpmi: gcc-c++-13-alt1 sisyphus+323337.300.1.1 1687268227 installed
<13>Dec  2 06:28:16 rpmi: zlib-devel-1.2.13-alt1 sisyphus+309409.200.2.1 1667402045 installed
Building target platforms: i586
Building for target i586
Wrote: /usr/src/in/nosrpm/minisat-2.2.1-alt1.nosrc.rpm (w1.gzdio)
Installing minisat-2.2.1-alt1.src.rpm
Building target platforms: i586
Building for target i586
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.54036
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ rm -rf minisat-2.2.1
+ echo 'Source #0 (minisat-2.2.1.tar):'
Source #0 (minisat-2.2.1.tar):
+ /bin/tar -xf /usr/src/RPM/SOURCES/minisat-2.2.1.tar
+ cd minisat-2.2.1
+ /bin/chmod -c -Rf u+rwX,go-w .
+ exit 0
Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.54036
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd minisat-2.2.1
+ make lsh sh lr 'CXXFLAGS=-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -march=i586 -mtune=generic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64' prefix=/usr libdir=/usr/lib VERB=
make: Entering directory '/usr/src/RPM/BUILD/minisat-2.2.1'
Compiling: build/dynamic/minisat/core/Solver.o
mkdir -p build/dynamic/minisat/core/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fpic -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -march=i586 -mtune=generic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -c -o build/dynamic/minisat/core/Solver.o minisat/core/Solver.cc -MMD -MF build/dynamic/minisat/core/Solver.d
In file included from ./minisat/mtl/Alg.h:24,
                 from minisat/core/Solver.cc:23:
./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
./minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
./minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
./minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
minisat/core/Solver.cc:128:19:   required from here
./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
  103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
      |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
   39 | class vec {
      |       ^~~
Compiling: build/dynamic/minisat/simp/SimpSolver.o
mkdir -p build/dynamic/minisat/simp/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fpic -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -march=i586 -mtune=generic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -c -o build/dynamic/minisat/simp/SimpSolver.o minisat/simp/SimpSolver.cc -MMD -MF build/dynamic/minisat/simp/SimpSolver.d
In file included from ./minisat/mtl/Sort.h:24,
                 from minisat/simp/SimpSolver.cc:21:
./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
./minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
./minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
./minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
minisat/simp/SimpSolver.cc:86:26:   required from here
./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
  103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
      |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
   39 | class vec {
      |       ^~~
Compiling: build/dynamic/minisat/utils/Options.o
mkdir -p build/dynamic/minisat/utils/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fpic -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -march=i586 -mtune=generic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -c -o build/dynamic/minisat/utils/Options.o minisat/utils/Options.cc -MMD -MF build/dynamic/minisat/utils/Options.d
Compiling: build/dynamic/minisat/utils/System.o
mkdir -p build/dynamic/minisat/utils/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fpic -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -march=i586 -mtune=generic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -c -o build/dynamic/minisat/utils/System.o minisat/utils/System.cc -MMD -MF build/dynamic/minisat/utils/System.d
Linking Shared Library: build/dynamic/lib/libminisat.so.2.1.0
mkdir -p build/dynamic/lib/
g++ -Wall -lz  -o build/dynamic/lib/libminisat.so.2.1.0 -shared -Wl,-soname,libminisat.so.2 build/dynamic/minisat/core/Solver.o build/dynamic/minisat/simp/SimpSolver.o build/dynamic/minisat/utils/Options.o build/dynamic/minisat/utils/System.o
ln -sf libminisat.so.2.1.0 build/dynamic/lib/libminisat.so.2
ln -sf libminisat.so.2 build/dynamic/lib/libminisat.so
Compiling: build/dynamic/minisat/simp/Main.o
mkdir -p build/dynamic/minisat/simp/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fpic -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -march=i586 -mtune=generic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -c -o build/dynamic/minisat/simp/Main.o minisat/simp/Main.cc -MMD -MF build/dynamic/minisat/simp/Main.d
In file included from minisat/simp/Main.cc:27:
./minisat/core/Dimacs.h: In instantiation of 'void Minisat::parse_DIMACS_main(B&, Solver&, bool) [with B = StreamBuffer; Solver = SimpSolver]':
./minisat/core/Dimacs.h:82:22:   required from 'void Minisat::parse_DIMACS(gzFile, Solver&, bool) [with Solver = SimpSolver; gzFile = gzFile_s*]'
minisat/simp/Main.cc:99:21:   required from here
./minisat/core/Dimacs.h:50:9: warning: variable 'vars' set but not used [-Wunused-but-set-variable]
   50 |     int vars    = 0;
      |         ^~~~
Linking Binary: build/dynamic/bin/minisat
mkdir -p build/dynamic/bin/
g++ build/dynamic/minisat/simp/Main.o build/dynamic/lib/libminisat.so -Wall -lz  -o build/dynamic/bin/minisat
Compiling: build/release/minisat/core/Solver.o
mkdir -p build/release/minisat/core/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -g -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -march=i586 -mtune=generic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -c -o build/release/minisat/core/Solver.o minisat/core/Solver.cc -MMD -MF build/release/minisat/core/Solver.d
In file included from ./minisat/mtl/Alg.h:24,
                 from minisat/core/Solver.cc:23:
./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
./minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
./minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
./minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
minisat/core/Solver.cc:128:19:   required from here
./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
  103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
      |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
   39 | class vec {
      |       ^~~
Compiling: build/release/minisat/simp/SimpSolver.o
mkdir -p build/release/minisat/simp/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -g -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -march=i586 -mtune=generic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -c -o build/release/minisat/simp/SimpSolver.o minisat/simp/SimpSolver.cc -MMD -MF build/release/minisat/simp/SimpSolver.d
In file included from ./minisat/mtl/Sort.h:24,
                 from minisat/simp/SimpSolver.cc:21:
./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
./minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
./minisat/mtl/IntMap.h:48:58:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
./minisat/core/SolverTypes.h:338:49:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
minisat/simp/SimpSolver.cc:86:26:   required from here
./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
  103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
      |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
   39 | class vec {
      |       ^~~
Compiling: build/release/minisat/utils/Options.o
mkdir -p build/release/minisat/utils/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -g -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -march=i586 -mtune=generic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -c -o build/release/minisat/utils/Options.o minisat/utils/Options.cc -MMD -MF build/release/minisat/utils/Options.d
Compiling: build/release/minisat/utils/System.o
mkdir -p build/release/minisat/utils/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -g -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -march=i586 -mtune=generic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -c -o build/release/minisat/utils/System.o minisat/utils/System.cc -MMD -MF build/release/minisat/utils/System.d
Linking Static Library: build/release/lib/libminisat.a
mkdir -p build/release/lib/
ar -rcs build/release/lib/libminisat.a build/release/minisat/core/Solver.o build/release/minisat/simp/SimpSolver.o build/release/minisat/utils/Options.o build/release/minisat/utils/System.o
make: Leaving directory '/usr/src/RPM/BUILD/minisat-2.2.1'
+ exit 0
Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.68241
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ /bin/chmod -Rf u+rwX -- /usr/src/tmp/minisat-buildroot
+ :
+ /bin/rm -rf -- /usr/src/tmp/minisat-buildroot
+ PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games
+ cd minisat-2.2.1
+ /usr/bin/make 'INSTALL=/usr/libexec/rpm-build/install -p' prefix=/usr/src/tmp/minisat-buildroot/usr exec_prefix=/usr/src/tmp/minisat-buildroot/usr bindir=/usr/src/tmp/minisat-buildroot/usr/bin sbindir=/usr/src/tmp/minisat-buildroot/usr/sbin sysconfdir=/usr/src/tmp/minisat-buildroot/etc datadir=/usr/src/tmp/minisat-buildroot/usr/share includedir=/usr/src/tmp/minisat-buildroot/usr/include libdir=/usr/src/tmp/minisat-buildroot/usr/lib libexecdir=/usr/src/tmp/minisat-buildroot/usr/lib localstatedir=/usr/src/tmp/minisat-buildroot/var/lib runstatedir=/usr/src/tmp/minisat-buildroot/var/run sharedstatedir=/usr/src/tmp/minisat-buildroot/var/lib mandir=/usr/src/tmp/minisat-buildroot/usr/share/man infodir=/usr/src/tmp/minisat-buildroot/usr/share/info install VERB=
make: Entering directory '/usr/src/RPM/BUILD/minisat-2.2.1'
/usr/libexec/rpm-build/install -p -d /usr/src/tmp/minisat-buildroot/usr/include/minisat
for dir in mtl utils core simp; do \
  /usr/libexec/rpm-build/install -p -d /usr/src/tmp/minisat-buildroot/usr/include/minisat/$dir ; \
done
for h in minisat/mtl/Alg.h minisat/mtl/Alloc.h minisat/mtl/Heap.h minisat/mtl/IntMap.h minisat/mtl/IntTypes.h minisat/mtl/Map.h minisat/mtl/Queue.h minisat/mtl/Rnd.h minisat/mtl/Sort.h minisat/mtl/Vec.h minisat/mtl/XAlloc.h minisat/core/Dimacs.h minisat/core/Solver.h minisat/core/SolverTypes.h minisat/simp/SimpSolver.h minisat/utils/Options.h minisat/utils/ParseUtils.h minisat/utils/System.h ; do \
  /usr/libexec/rpm-build/install -p -m 644 $h /usr/src/tmp/minisat-buildroot/usr/include/$h ; \
done
/usr/libexec/rpm-build/install -p -d /usr/src/tmp/minisat-buildroot/usr/lib
/usr/libexec/rpm-build/install -p -m 644 build/dynamic/lib/libminisat.so.2.1.0 /usr/src/tmp/minisat-buildroot/usr/lib
ln -sf libminisat.so.2.1.0 /usr/src/tmp/minisat-buildroot/usr/lib/libminisat.so.2
ln -sf libminisat.so.2 /usr/src/tmp/minisat-buildroot/usr/lib/libminisat.so
/usr/libexec/rpm-build/install -p -m 644 build/release/lib/libminisat.a /usr/src/tmp/minisat-buildroot/usr/lib
/usr/libexec/rpm-build/install -p -d /usr/src/tmp/minisat-buildroot/usr/bin
/usr/libexec/rpm-build/install -p -m 755 build/dynamic/bin/minisat /usr/src/tmp/minisat-buildroot/usr/bin
make: Leaving directory '/usr/src/RPM/BUILD/minisat-2.2.1'
+ install -Dpm644 minisat.1 -t /usr/src/tmp/minisat-buildroot/usr/share/man/man1
+ /usr/lib/rpm/brp-alt
Cleaning files in /usr/src/tmp/minisat-buildroot (auto)
Verifying and fixing files in /usr/src/tmp/minisat-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig)
Checking contents of files in /usr/src/tmp/minisat-buildroot/ (default)
Compressing files in /usr/src/tmp/minisat-buildroot (auto)
Adjusting library links in /usr/src/tmp/minisat-buildroot
./usr/lib: (from <cmdline>:0)
	libminisat.so.2 -> libminisat.so.2.1.0
Verifying ELF objects in /usr/src/tmp/minisat-buildroot (arch=strict,fhs=strict,lfs=strict,lint=strict,rpath=strict,stack=strict,textrel=strict,unresolved=strict)
Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.68241
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd minisat-2.2.1
+ cat
+ export LD_LIBRARY_PATH=/usr/src/tmp/minisat-buildroot/usr/lib
+ LD_LIBRARY_PATH=/usr/src/tmp/minisat-buildroot/usr/lib
+ set +e
+ /usr/src/tmp/minisat-buildroot/usr/bin/minisat test.in test.out
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:             5                                         |
|  Number of clauses:               3                                         |
|  Parse time:                   0.00 s                                       |
|  Eliminated clauses:           0.00 Mb                                      |
|  Simplification time:          0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
===============================================================================
restarts              : 1
conflicts             : 0              (0 /sec)
decisions             : 1              (0.00 % random) (2188 /sec)
propagations          : 0              (0 /sec)
conflict literals     : 0              (-nan % deleted)
CPU time              : 0.000457 s

SATISFIABLE
+ test 10 -eq 10
+ cat test.out
SAT
-1 -2 -3 -4 -5 0
+ grep -x SAT test.out
SAT
+ grep -x -e '-1 -2 -3 -4 -5 0' test.out
-1 -2 -3 -4 -5 0
+ exit 0
Processing files: minisat-2.2.1-alt1
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.BeWqyA
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.rRoe7z
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Requires: libminisat2 = 2.2.1-alt1, /lib/ld-linux.so.2, libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1), libc.so.6(GLIBC_2.1.3), libc.so.6(GLIBC_2.3.4), libc.so.6(GLIBC_2.34), libc.so.6(GLIBC_2.38), libc.so.6(GLIBC_2.4), libgcc_s.so.1(GCC_3.0), libminisat.so.2 >= set:kgpzRSQkIHTM0R4welfQhqIaJ5YV6fmXhKeg1, libstdc++.so.6(CXXABI_1.3), libstdc++.so.6(CXXABI_1.3.9), libz.so.1 >= set:khgJZ6FlPgvmc, libz.so.1(ZLIB_1.2.3.3), rtld(GNU_HASH)
Requires(rpmlib): rpmlib(SetVersions)
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ecYjDE
Creating minisat-debuginfo package
Processing files: libminisat2-2.2.1-alt1
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.51643
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd minisat-2.2.1
+ DOCDIR=/usr/src/tmp/minisat-buildroot/usr/share/doc/minisat
+ export DOCDIR
+ /bin/mkdir -p /usr/src/tmp/minisat-buildroot/usr/share/doc/minisat
+ cp -prL LICENSE README doc/ReleaseNotes-2.2.0.txt minisat-user-guide.md /usr/src/tmp/minisat-buildroot/usr/share/doc/minisat
+ chmod -R go-w /usr/src/tmp/minisat-buildroot/usr/share/doc/minisat
+ chmod -R a+rX /usr/src/tmp/minisat-buildroot/usr/share/doc/minisat
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.1TeLqi
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
lib.prov: /usr/src/tmp/minisat-buildroot/usr/lib/libminisat.so.2: 84 symbols, 17 bpp
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.2zEZrZ
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Provides: libminisat.so.2 = set:kd8rkF5eOvZgfMEZdhTWBt5iSweM4UWFZwDMY7CTa8qHnVJ7Abjp6L9UBNg7W8cfCqnzbgct35ZhLzVwiWjG2gBtXpSBboX9fwTfSWYX3EZiShHIJBPHQPUM2FYwfEWc83EwMB3NNY8P2bHkwvzNhAhFDl6T72y7O99GczHvqqC40
Requires: libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1), libc.so.6(GLIBC_2.1.3), libc.so.6(GLIBC_2.2), libc.so.6(GLIBC_2.3.4), libc.so.6(GLIBC_2.38), libc.so.6(GLIBC_2.4), libgcc_s.so.1(GCC_3.0), libgcc_s.so.1(GCC_3.3.1), libm.so.6(GLIBC_2.29), libstdc++.so.6(CXXABI_1.3), libstdc++.so.6(CXXABI_1.3.9), rtld(GNU_HASH)
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.NdTWeM
Creating libminisat2-debuginfo package
Processing files: libminisat-devel-2.2.1-alt1
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.dGTnje
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.r3IBiu
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
In file included from /usr/src/tmp/minisat-buildroot/usr/include/minisat/mtl/Alg.h:24:
/usr/src/tmp/minisat-buildroot/usr/include/minisat/mtl/Vec.h:25:10: fatal error: limits: No such file or directory
   25 | #include <limits>
      |          ^~~~~~~~
compilation terminated.
cpp.req: /usr/src/tmp/minisat-buildroot/usr/include/minisat/mtl/Alg.h: cpp failed, trying c++ mode
Requires: libminisat2 = 2.2.1-alt1, /usr/lib/libminisat.so.2, zlib-devel
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.2tP0KF
Processing files: libminisat-devel-static-2.2.1-alt1
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.Te2vjP
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.bfda3x
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Requires: libminisat-devel = 2.2.1-alt1, glibc-devel-static
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.NLvwFa
Processing files: minisat-debuginfo-2.2.1-alt1
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.FQe7QE
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.SlF11J
find-requires: running scripts (debuginfo)
Requires: minisat = 2.2.1-alt1, /usr/lib/debug/lib/ld-linux.so.2.debug, debug(libc.so.6), debug(libgcc_s.so.1), debug(libminisat.so.2), debug(libstdc++.so.6), debug(libz.so.1)
Processing files: libminisat2-debuginfo-2.2.1-alt1
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.Tg7SRV
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.9KTnYN
find-requires: running scripts (debuginfo)
Provides: debug(libminisat.so.2)
Requires: libminisat2 = 2.2.1-alt1, debug(libc.so.6), debug(libgcc_s.so.1), debug(libm.so.6), debug(libstdc++.so.6)
Adding to minisat a strict dependency on libminisat2
Adding to minisat-debuginfo a strict dependency on minisat
Adding to libminisat-devel a strict dependency on libminisat2
Adding to libminisat2-debuginfo a strict dependency on libminisat2
Adding to libminisat-devel-static a strict dependency on libminisat-devel
Adding to minisat-debuginfo a strict dependency on libminisat2-debuginfo
Removing from minisat-debuginfo 10 sources provided by libminisat2-debuginfo
also prunning dir /usr/src/debug/minisat-2.2.1/minisat/mtl
also prunning dir /usr/src/debug/minisat-2.2.1/minisat/utils
Removing 1 extra deps from minisat due to dependency on libminisat2
Removing 1 extra deps from libminisat-devel due to dependency on libminisat2
Removing 1 extra deps from minisat-debuginfo due to dependency on libminisat2-debuginfo
Removing 10 extra deps from minisat due to repentancy on libminisat2
Removing 3 extra deps from minisat-debuginfo due to repentancy on libminisat2-debuginfo
Wrote: /usr/src/RPM/RPMS/i586/minisat-2.2.1-alt1.i586.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/i586/libminisat2-2.2.1-alt1.i586.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/i586/libminisat-devel-2.2.1-alt1.i586.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/i586/libminisat-devel-static-2.2.1-alt1.i586.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/i586/minisat-debuginfo-2.2.1-alt1.i586.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/i586/libminisat2-debuginfo-2.2.1-alt1.i586.rpm (w2.lzdio)
9.51user 2.38system 0:25.38elapsed 46%CPU (0avgtext+0avgdata 73620maxresident)k
0inputs+0outputs (0major+711167minor)pagefaults 0swaps
2.82user 1.56system 0:33.23elapsed 13%CPU (0avgtext+0avgdata 125720maxresident)k
0inputs+0outputs (0major+196437minor)pagefaults 0swaps