0 column cuts (0 active)  in 0.000 seconds - new frequency is -100
Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.000 seconds - new frequency is -100
---------------------------------------
Problem Name:    SemiCont
Solution Result: Optimal solution found
Solution Status: 0
Optimal Value:   1.1
---------------------------------------
pup = 1.1
x = 10
---------------------------------------
All unit tests completed successfully
make[1]: Leaving directory '/builddir/build/BUILD/CoinMP-1.8.4/test'
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: coin-or-CoinMP-1.8.4-8.fc37.riscv64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.BgbjMJ
+ umask 022
+ cd /builddir/build/BUILD
+ cd CoinMP-1.8.4
+ LICENSEDIR=/builddir/build/BUILDROOT/coin-or-CoinMP-1.8.4-8.fc37.riscv64/usr/share/licenses/coin-or-CoinMP
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/coin-or-CoinMP-1.8.4-8.fc37.riscv64/usr/share/licenses/coin-or-CoinMP
+ cp -pr LICENSE /builddir/build/BUILDROOT/coin-or-CoinMP-1.8.4-8.fc37.riscv64/usr/share/licenses/coin-or-CoinMP
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: coin-or-CoinMP = 1.8.4-8.fc37 coin-or-CoinMP(riscv-64) = 1.8.4-8.fc37 libCoinMP.so.1()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libCbc.so.3()(64bit) libCbcSolver.so.3()(64bit) libCgl.so.1()(64bit) libClp.so.1()(64bit) libCoinUtils.so.3()(64bit) libOsiClp.so.1()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) rtld(GNU_HASH)
Processing files: coin-or-CoinMP-devel-1.8.4-8.fc37.riscv64
Provides: coin-or-CoinMP-devel = 1.8.4-8.fc37 coin-or-CoinMP-devel(riscv-64) = 1.8.4-8.fc37 pkgconfig(coinmp) = 1.8.4
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: /usr/bin/pkg-config libCoinMP.so.1()(64bit) pkgconfig(cbc) pkgconfig(clp) pkgconfig(osi-clp)
Processing files: coin-or-CoinMP-debugsource-1.8.4-8.fc37.riscv64
Provides: coin-or-CoinMP-debugsource = 1.8.4-8.fc37 coin-or-CoinMP-debugsource(riscv-64) = 1.8.4-8.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: coin-or-CoinMP-debuginfo-1.8.4-8.fc37.riscv64
Provides: coin-or-CoinMP-debuginfo = 1.8.4-8.fc37 coin-or-CoinMP-debuginfo(riscv-64) = 1.8.4-8.fc37 debuginfo(build-id) = d74e3c1d717c5405b99a5e6b107df9c72238eabb libCoinMP.so.1.8.4-1.8.4-8.fc37.riscv64.debug()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: coin-or-CoinMP-debugsource(riscv-64) = 1.8.4-8.fc37
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/coin-or-CoinMP-1.8.4-8.fc37.riscv64
Wrote: /builddir/build/RPMS/coin-or-CoinMP-devel-1.8.4-8.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/coin-or-CoinMP-1.8.4-8.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/coin-or-CoinMP-debugsource-1.8.4-8.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/coin-or-CoinMP-debuginfo-1.8.4-8.fc37.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.k91481
+ umask 022
+ cd /builddir/build/BUILD
+ cd CoinMP-1.8.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/coin-or-CoinMP-1.8.4-8.fc37.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.dVRNXV
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf CoinMP-1.8.4 CoinMP-1.8.4.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0