Linux跑完以后会出错'std::runtime_error'

[sunlongjian]

./console_solver -i input.txt
EXEC FROM FILE
[##################################################] 100%
terminate called after throwing an instance of 'std::runtime_error'
what():
Aborted (core dumped)
用的是这里的示例sample.txt, https://github.com/bupticybee/TexasSolver/tree/console#usage
我的环境是centos7上面的centos8的docker跑的，glibc版本2.28

[bupticybee]

你这里的实验是否使用了relaese里的binary呢？

[bupticybee]

https://colab.research.google.com/github/bupticybee/TexasSolver/blob/master/TexasSolverTechDemo.ipynb

我提供了一个colab示例如何使用这个binary，在colab里，运行是不会出错的

[sunlongjian]

是release里面的，我又直接用你的txt：./console_solver -i resources/text/commandline_sample_input.txt
结果现在变成了这样
EXEC FROM FILE
[##################################################] 100%
<<>>
Using 8 threads
Iter: 0
Segmentation fault (core dumped)

[bupticybee]

我的linux版本是编译给ubuntu用的，没在centos运行过，你可以看下colab里边的环境，尽量和那个对齐，那个是保证能够正常运行的环境。

[sunlongjian]

感谢，换成ubuntu的docker就可以了，这个有办法支持gpu让速度加快吗，奇怪的是我在同一个宿主机上的windows虚拟机跑windows版255秒跑完，在ubuntu的docker里面跑了523秒，都是默认的8线程