Hi everyone:
The cause for segmentation fault in the xgb auto tuner has been fixed: https://github.com/apache/incubator-tvm/issues/4953
The upcoming release of XGBoost (1.1.0) will have the fix. You can try the release candidate today at https://github.com/dmlc/xgboost/issues/5593.