Skip to content
Parisa Kordjamshidi edited this page Jul 10, 2017 · 1 revision

Here are some errors that one might face when running experiments using Saul:

##java.lang.OutOfMemoryError: GC overhead limit exceeded Thanks to https://github.com/crockpotveggies/tinderbox/wiki/Common-Errors, here is the solution:
Sometimes the .sbt_config file isn't set when it is installed OR the defaults just aren't enough. Try the following options one-at-a-time in order to resolve the problem:

  1. Add the following line to the ~/.bash_profile in OSX or Linux: export _JAVA_OPTIONS="-XX:+CMSClassUnloadingEnabled -XX:+UseConcMarkSweepGC -Xms1024m -Xmx2G -Xss256m -XX:MaxPermSize=4G"
  2. (Mac OSX) Create a file at ~/.sbt_config and paste the contents: SBT_OPTS="-XX:+CMSClassUnloadingEnabled -XX:+UseConcMarkSweepGC -Xms1024m -Xmx2G -Xss256m -XX:MaxPermSize=4G"
  3. Start up SBT using the command sbt -mem 4000 run

Take care of the Scope of variables in Constraint Declarations

//TOExplain ##Take care of the default keys of objects when populating the graph. Make sure if the default hashcode()is what you want to be used as the unique key of the objects otherwise define your own costume key function when declaring nodes of the graph