The atmosphere of Mars is 3% nitrogen, so nitrogen can be extracted just from the atmosphere.

And I agree 10,000 is far too small for self sustaining settlement. A million is the minimum. Even 10 million would be a challenge.