MAX SOLVER MEMORY
Name: MAX_SOLVER_MEMORY Type: integer Default Value: 0 (unlimited) Range: [0−2,147,483,647] This option sets the memory limit allowed during the solving
Menu
Name: MAX_SOLVER_MEMORY Type: integer Default Value: 0 (unlimited) Range: [0−2,147,483,647] This option sets the memory limit allowed during the solving
Name: PURGE_CUTS Type: bool Default Value: true Available Options: true, false Disable this if you want the solver to save
Name: CUT_POOL_MAX_SIZE Type: integer Default Value: 10000 Range: [0−2,147,483,647] This sets the maximum number of cuts to be kept in