[developers] [pet] unpacking

[Yi Zhang]

>
> I mean leaving it as default, so, the options now are:
>
>   cheap -limit=100000 -tok=fsr -nsolutions=10
>
>
Oh, I just checked the code. It seems that if ``-packing'' is not given,
then packing is disabled (=0, no packing). If ``-packing'' is given without
``=n'', then it's defaulted to 15.

So in your case, you are running without packing. I just tried again, and it
leads to immediate out of memory failure. Therefore, what you got without
packing is a crash, rather than real results.

Best,
Yi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.delph-in.net/archives/developers/attachments/20070712/db56c200/attachment.html>