Le fichier journal du solveur (étude/étude.stt) contient des informations détaillées sur la quantité de mémoire, d'espace disque, de temps écoulé et de temps CPU que le solveur utilise au cours de l'exécution d'une tâche. Des résultats incohérents avec les tendances qui se dégagent de ce fichier peuvent permettre d'identifier et de résoudre des problèmes de performances et d'insuffisance de ressources.

Les rubriques suivantes vous présentent différentes façons de surveiller les besoins en ressources et d'améliorer les performances au cours d'une analyse.