hi, i will have to take jenkins down for a while at the end of the day (1630-ish CET). i need to build trilinos (for zoltan) and memory is exhausted with jobs running in parallel. hopefully the downtime won't last long. arnem