Here is an exampleHere is an example. Choose the set $T$ to consist of primes which are $2$ or $1 \bmod 4$, and the set $S$ to consist of primes which are $3 \bmod 4$. The only reason to choose this set is to make the selection of the $a_q$ easier to write down explicitly, namely take $a_q = -1 \bmod q$ for all $q > 2$ and $a_2 = 1 \bmod 8$. In this way there is an easy choice
If this isn't good enough for you and you want a $p$ that works with probability $1$ (up to all random primality tets), one can thin the search to find primes $p = a \bmod 4M$ which are part of a pair of Sophie Germain-type primes, that is, $(p-1)$ is a power of $2$ times a prime. Here the probability that $(p-1)$ divided by the corresponding factor of $2$ is prime increases again by the same factor of $1/500$ or so (since $p-1$ like $p$ has no factors in the first $1000$ primes except $2$), so now instead of checking the primality of $500$ or so numbers you need to check $500^2 = 250000$ or so before finding one randomly. This is within the realm of possibility if you really wanted to do so.
Update: I left mathematica running to look for Sophie Germain type primes and when I just looked again now it had found one. If $k = 119116$, then
$$p = 476465 \left(\prod_{n=1}^{\infty} p_n\right) - 1 = 323343\ldots800049,$$
is prime and
$$q = \frac{p-1}{16} = 202089\ldots050003$$
is also prime. So $p$ is a prime with exactly the given primitive roots within the first $1000$ primes. (Again, here $p$ and $q$ are verified to be prime only using a pseudoprimality test. These might be within the range of being certifiably proved to be prime, I'm not sure.)
Summary: It is feasible to find a prime $p$ with given primitive roots and non-primitive roots among the first $1000$ primes.
I certainly don't think it is practical to find the original prime: for comparison, if you knew whether $p$ was a quadratic residue or not modulo the first $1000$ primes, that would restrict $p$ to a set of primes of density $2^{-1000}$ which would certainly determine $p$, but not in any useful way: that set is a union of $1/2 \prod_{n=2}^{1000}\left(\frac{p-1}{2}\right)^2$ arithmetic progressions modulo $4 \prod_{n=1}^{1000} p_n$ and you have no way of knowing how to restrict your $p$ to the any of the absolutely huge number of progressions. The idea for this answer is that if you just need to find a single $p$ you can randomly choose any such progression, and then additionally look for Sophie Germain type primes for which being a primitive root is the same as not being $-1$ nor a quadratic residue.