Adding Output log files:

 shows how the program runs out of memory on adding one constraint.