teger), 0 constraints.
Couenne: initial solution (value 7.125) is MINLP feasible
Couenne: new cutoff value 7.1250000000e+00 (0.074083 seconds)
Initializing auxiliaries
Problem size after  reformulation: 10 variables (0 integer), 0 constraints.
 ---- 8< ----  End of test program output  ---- 8< ----
./grandTest.sh: line 18: 56996 Segmentation fault      (core dumped) ../src/main/couenne $name > tmpfile 2>&1
Global Optimum Test on toy    FAILED!
 ---- 8< ---- Start of test program output ---- 8< ----
Couenne 0.5.8 -- an Open-Source solver for Mixed Integer Nonlinear Optimization
Mailing list: couenne@list.coin-or.org
Instructions: http://www.coin-or.org/Couenne
objectives:
min (-x_0-x_1-y_2)
constraints:
(2+(((-0.5+x_0)^2)+((-0.5+x_0)^2))) <= 3.25
(y_2-x_0) <= 0
(y_3+y_2+x_1) <= 2
variables:
x_0 [ 0 , inf ]
x_1 [ 0 , inf ]
y_2 binary
y_3 [ 0 , 5 ] integer
end
Problem size before reformulation: 4 variables (2 integer), 3 constraints.
Couenne: initial solution (value 0) is MINLP feasible
Couenne: new cutoff value 0.0000000000e+00 (0.060505 seconds)
Initializing auxiliaries
Problem size after  reformulation: 8 variables (2 integer), 1 constraints.
NLP0012I 
              Num      Status      Obj             It       time                 Location
NLP0014I             1         OPT -3.2905695       10 0.022897
 ---- 8< ----  End of test program output  ---- 8< ----
make[1]: *** [Makefile:484: test] Error 1
make[1]: Leaving directory '/builddir/build/BUILD/Couenne-0.5.8/test'
make: *** [Makefile:858: test] Error 2
error: Bad exit status from /var/tmp/rpm-tmp.jKONl2 (%check)
    Bad exit status from /var/tmp/rpm-tmp.jKONl2 (%check)
RPM build errors:
Child return code was: 1
EXCEPTION: [Error('Command failed: \n # /usr/bin/systemd-nspawn -q -M 6afb94c19602401ebf09f7f6685f053b -D /var/lib/mock/f40-build-801405-143753/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.83y6w3sm:/etc/resolv.conf --bind=/dev/btrfs-control --bind=/dev/mapper/control --bind=/dev/fuse --bind=/dev/loop-control --bind=/dev/loop0 --bind=/dev/loop1 --bind=/dev/loop2 --bind=/dev/loop3 --bind=/dev/loop4 --bind=/dev/loop5 --bind=/dev/loop6 --bind=/dev/loop7 --bind=/dev/loop8 --bind=/dev/loop9 --bind=/dev/loop10 --bind=/dev/loop11 --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/builddir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin --setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007" --setenv=PS1=<mock-chroot> \\s-\\v\\$  --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c /usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/coin-or-Couenne.spec\n', 1)]
Traceback (most recent call last):
  File "/usr/lib/python3.11/site-packages/mockbuild/trace_decorator.py", line 93, in trace
    result = func(*args, **kw)
             ^^^^^^^^^^^^^^^^^
  File "/usr/lib/python3.11/site-packages/mockbuild/util.py", line 597, in do_with_status
    raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode)
mockbuild.exception.Error: Command failed: 
 # /usr/bin/systemd-nspawn -q -M 6afb94c19602401ebf09f7f6685f053b -D /var/lib/mock/f40-build-801405-143753/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.83y6w3sm:/etc/resolv.conf --bind=/dev/btrfs-control --bind=/dev/mapper/control --bind=/dev/fuse --bind=/dev/loop-control --bind=/dev/loop0 --bind=/dev/loop1 --bind=/dev/loop2 --bind=/dev/loop3 --bind=/dev/loop4 --bind=/dev/loop5 --bind=/dev/loop6 --bind=/dev/loop7 --bind=/dev/loop8 --bind=/dev/loop9 --bind=/dev/loop10 --bind=/dev/loop11 --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/builddir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin --setenv=PROMPT_COMMAND=printf "\033]0;<mock-chroot>\007" --setenv=PS1=<mock-chroot> \s-\v\$  --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c /usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/coin-or-Couenne.spec