extra-restart-distance