<div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">I mean leaving it as default, so, the options now are:   cheap -limit=100000 -tok=fsr -nsolutions=10 </blockquote></div> 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