[Oz] Out of memory

[Christian Schulte]

"Sebastian Manzano B." wrote:
> 
> 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? 

Statistics support is offered by the Panel (see documentation) and the
Property system module.

See my paper at ICLP'99 on a comparison of trailing and copying
(available form the publication page). The copying-based system used is
Mozart. In case you are interested in the routines I used to measure
execution speed, please drop me a note.

Regards
Christian

-- 
Christian Schulte, http://www.ps.uni-sb.de/~schulte/
-
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/.