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% <<<START SOLVING>>> 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线程