I made a spawn host with the data from this build failure: https://evergreen.mongodb.com/task/mongodb_mongo_v4.4_enterprise_ubuntu1804_arm64_noPassthrough_1_enterprise_ubuntu1804_arm64_946e1ca19f65925bfeb1551dad00b2d36246fcfe_20_07_10_02_35_55/0#/log/E (BF-18199)

When I attached GDB to the core dump, however, "info threads" does not print thread names.  Not sure if this is because this was an ARM build or something else, but that seems the most likely culprit.