[Oz] Out of memory

[Sebastian Manzano B.]

Hello Mozart users,
  Tonight I was running a very simple Oz program to solve a CSP. Then the
Oz Engine went out of memory and dump me some message, I was not able to
get it, then I tried again. When I come this morning my entire machine was
down :(. Obviously this could be caused by a thousand factors (it is a
Linux Server running named, sendmail, httpd, ftp, sshd, etc.), but I get
surprised. I dont know if the problem is too large but I know the
program isnt too inefficient ;). How can I get a log to get statistics
on-line about time to search, number of nodes searched, memory allocated,
etc, without using the browser or the explorer but as simple as those?
Does anyone has a formal report (I mean a paper, article, etc..) of
results from Mozart/Oz? I have to report some data about the resolution
but I dont know if there is an Oz toolkit to do it.
Expecting for your comments, regards
-- 
Sebastian Manzano B.

-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.