b-linux_linux_9_libstdcpp11_gcc_debug_b-64_64.coin-osi-shared-True