Develop as needed to get optimal contrast. That means in a composition of "normal" brightness range, develop for EI 1000. In a flat scene use times for 2000 or 4000. In a contrasty scene, use times for 500 or 250.
The ISO film speed is 1000. What you rate it at is called an EI.