Running ProbKnot-smp...