Made symmetry breaking output DEBUG level
Lifted symmetry-breaking constraints
New CMake parameter MEMORY_LIMIT
Don't attempt a new MC iteration, if it's going take longer than the time limit