Patrick Lühne
583c544ec3
Madagascar automatically manages its memory consumption in order not to have memouts. The memouts that were recorded by the benchmark runner are the result of a difference in comupting memory consumption between the benchmark runner and Madagascar. For this reason, these results are not representative for Madagascar, and they will be redone with a softer memory limit (with an extra margin of 256 MB).