benchmarker: Don't print obsolete defaulted xml solver configuration: terminationConfig fix