Hi all,
On Sat, 5 Nov 2016 16:25:21 +0200
"Shlomi Fish shlomif_at_shlomifish.org [fc-solve-discuss]"
<fc-solve-discuss_at_yahoogroups.com> wrote:
> On Sat, 5 Nov 2016 00:35:35 +0200
> "Shlomi Fish shlomif_at_shlomifish.org [fc-solve-discuss]"
> <fc-solve-discuss_at_yahoogroups.com> wrote:
>
> > On Fri, 4 Nov 2016 14:21:54 +0200
> > "Shlomi Fish shlomif_at_shlomifish.org [fc-solve-discuss]"
> > <fc-solve-discuss_at_yahoogroups.com> wrote:
> >
> > > On 03 Nov 2016 18:57:58 -0700
> > > "theodorepringle1_at_gmail.com [fc-solve-discuss]"
> > > <fc-solve-discuss_at_yahoogroups.com> wrote:
> > >
> > > > That list is correct.
> > >
> > > Thanks for the confirmation. I'm running the intractable boards' solving
> > > process now on Amazon AWS.
> > >
> >
> > here's an interim report - according to my solver, deals no. 219837216 ,
> > 1252215044 and 2255988055 are impossible. You can find their logs here:
> >
> > http://www.shlomifish.org/Files/files/arcs/fc-pro-first-3-4fc-intractable-deals-logs.7z
> >
>
> Another interim report - in addition to these deals, deals 2901685480 ,
> 2902413565 , 4260084873 and 6687921694 were shown to be impossible. My solver
> is currently solving 6825625742 which is proving to be time and RAM consuming.
>
> Logs are here:
>
> http://www.shlomifish.org/Files/files/arcs/freecell-pro-fc4-depth-dbm-fc-solver-dumps.tar.xz
>
> Regards,
>
> Shlomi Fish
>
another interim report and probably the final one for now:
1. Logs are here:
http://www.shlomifish.org/Files/files/arcs/freecell-pro-fc4-depth-dbm-fc-solver-dumps.tar.xz
2. Deal 7489392343 was shown to be impossible after 507,133,501 iterations.
3. Deal 6825625742 reached:
1478458547.749803066 Reached 3915800000 ; States-in-collection: 4767791973 ;
Time: 1478458547.749736
1478458547.749842882 >>>Queue Stats: inserted=4767791973
items_in_queue=851991973 extracted=3915800000
and then got killed due to lack of disk space for the offloaded queues' pages.
Apparently I only had 8 GB of disk space. You'd think Amazon EC2 will give me
more for a machine with 256 GB of RAM And 64 processors, but they didn't (:-().
I'll have to see how to get more disk space or else to create a version of my
offloading queue that will use Amazon S3
(
https://en.wikipedia.org/wiki/Amazon_S3 ) or similar, and then rerun the
solver on that deal again.
I'd like to publish a more final report on the fc-solve site but it's getting
too late here for that. In the meanwhile, I terminated the EC2 instance to save
on money (after backing it to my local machine of course).
Regards,
Shlomi Fish
--
-----------------------------------------------------------------
Shlomi Fish
The more I think about it, the more I think I should think about it some more.
— Clarissa Explains it All
Please reply to list if it's a mailing list post
Received on Sun Nov 06 2016 - 23:52:47 IST