SCIP indexing is single threaded

[nicolas-guichard]

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

[ChayimFriedman2]

Yeah pretty much everything in the CLI is single-threaded, diagnostics too and I think analysis-stats as well.