SCIP indexing appears to be single threaded, for instance when building the SCIP index for mozilla-central:
mozilla-central ➜ time -v rust-analyzer +nightly scip .
…
Generating SCIP finished 1175.183132122s
Command being timed: "rust-analyzer +nightly scip ."
User time (seconds): 1291.07
System time (seconds): 28.56
Percent of CPU this job got: 110% (on a 12-threads machine)
Elapsed (wall clock) time (h:mm:ss or m:ss): 19:49.03
SCIP indexing appears to be single threaded, for instance when building the SCIP index for mozilla-central: