300.02/300.05	ERROR: ppl_Polyhedron_maximize/5: Caught signal 14 (alrm)
300.02/300.18	EOF