_initial_memory = Runtime.getRuntime().totalMemory()
- Runtime.getRuntime().freeMemory();
_max_occupied_memory = _initial_memory;
_name = new String(s);
_active_undoable_once = new FastStack();
_intvars = new FastVector();
_floatvars = new FastVector();
_intsetvars = new FastVector();
_constraints = new FastVector();