What sort of monitoring software would you use for over 7000 devices?

I am curious what ISP level networks use for monitoring their equipment. Would something like Solarwinds or Zabbix be fit for the job?