update parallelization
fixed hyperlinks to WrappedModel and getTaskFormulaAsString