300.04/300.06	Foreign predicate ppl_Polyhedron_map_space_dimensions/2 did not clear exception: error(signal(alrm,14),context(ppl_Polyhedron_map_space_dimensions/2,_8728))
300.04/300.07	EOF