The portfolio in the merged version always used the file "output" for all planner 
runs. The sas+ file on stdin was ignored. I have fixed this issue now and we now 
use the TEMPFILE that's created by the downward script.

I accidently mistook this for issue338 (exit codes). In fact this branch has 
already been merged.

Please merge. :-)

From Florian's and my point of view the branch can be merged. I also conducted an 
experiment which confirmed that the logic in portfolio.py works and the planner 
is correctly stopped in out-of-memory and timeout situations. What do you think 
Malte?

> * Return 0 iff a plan was found (currently 0 is always returned)

Is that the right thing to do when the problem is proven unsolvable?

> * Use more memory padding (see comment in diff)

Which diff?

> * Run final config with time and memory limits in order not to hide potential
> problems in the scripts (failed terminations and kills)

I don't understand; can you elaborate?

In order for the portfolios to work better with lab we need to make the following changes:

* Return 0 iff a plan was found (currently 0 is always returned)
* Use more memory padding (see comment in diff)
* Run final config with time and memory limits in order not to hide potential problems in the scripts (failed terminations and kills)