Macos x86_64, Debug, apple-clang 9.1, libc++ . Options:  coin-osi:shared-True