Message du solveur 304136

Texte du message

** AVERTISSEMENT 304136 ** Mémoire potentiellement insuffisante pour analyser ce modèle.

Explication

La machine sur laquelle a été effectuée l'analyse n'avait pas suffisamment de mémoire pour terminer l'analyse.

Résolution

  • Libérez des ressources (mémoire, permutation) sur la machine qui exécute l'analyse.
  • Ajoutez davantage de ressources (mémoire, permutation) à la machine qui exécute l'analyse.
  • Effectuez l'analyse sur une machine 64 bits pour étendre l'espace adresse.
  • Analysez la pièce de façon moins détaillée pour réduire sa taille en mémoire.
  • Effectuez l'analyse sur un serveur distant avec davantage de ressources.