Date: Mon, 04 Sep 2023 16:41:04 +0200 From: =?utf-8?Q?Dag-Erling_Sm=C3=B8rgrav?= <des@FreeBSD.org> To: "Mathew, Cherry G.*" <c@bow.st> Cc: freebsd-hackers@freebsd.org Subject: Re: ARC model specified in spinroot/promela Message-ID: <86a5u2t30f.fsf@ltc.des.no> In-Reply-To: <85jzt96qjz.fsf@bow.st> (Cherry G. Mathew's message of "Sat, 02 Sep 2023 06:24:16 %2B0000") References: <85jzt96qjz.fsf@bow.st>
next in thread | previous in thread | raw e-mail | index | archive | help
"Mathew, Cherry G.*" <c@bow.st> writes: > I'm hoping that someone can help me complete the current run, as I don't > have the computing resources required to run the full model (about 16GB > RAM). 16 GB is not a huge amount of memory. Would it help if you had access to a jail or VM with enough memory to run the model yourself? DES --=20 Dag-Erling Sm=C3=B8rgrav - des@FreeBSD.org
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?86a5u2t30f.fsf>