Floating point exception (core dumped)

[dfgckpsk]

I'm trying to run console_solver in a Docker container. Image created from ubuntu. It runs, takes 500MB RAM and utilized all given threads, and then crashes. Log looks:

EXEC FROM FILE [##################################################] 100% <<<START SOLVING>>> Using 4 threads Iter: 0 player 0 exploitability 20.712248 player 1 exploitability 14.561801 Total exploitability 35.274048 precent Floating point exception (core dumped)

[bupticybee]

What config file did you use? Can you post it here?

[dfgckpsk]

Dockerfile

FROM ubuntu:20.04

ENV PYTHONDONTWRITEBYTECODE 1 ENV PYTHONUNBUFFERED 1

RUN apt-get update &&
apt-get install -y --no-install-recommends git &&
apt-get install -y --no-install-recommends build-essential &&
apt-get purge -y --auto-remove &&
apt-get install -y python3-pip &&
pip3 install -U pip --no-cache-dir &&
pip3 install --no-cache-dir wheel

ENV LC_ALL=en_CA.UTF-8 ENV LANG=en_CA.UTF-8 ENV LANGUAGE=en_CA.UTF-8

I attach to the built container and run it manually like

./console_solver -i input.txt

[dfgckpsk]

Honestly, now I get the same error without Docker on my linux machine

[bupticybee]

Honestly, now I get the same error without Docker on my linux machine

This is very wired. Can you provide the input config file?