Hi all,
On Tue, Dec 27, 2016 at 1:52 PM, Shlomi Fish <shlomif_at_gmail.com> wrote:
> Hi all,
>
> I have some bad news about deal #24966 - the solver ran out of RAM on the
> AWS machine with only 64 GB of RAM and was killed. I believe 128 GB of RAM
> should be enough but this costs more. About 34% of my 8 GB of hard disk was
> utilised so seems like it should be enough. Here are the last lines of the
> log:
>
> 1482796428.760848045 Reached 2028800000 <%28202%29%20880-0000> ;
> States-in-collection: 2199186206 <%28219%29%20918-6206> ; Time:
> 1482796428.754874
> 1482796428.766628027 >>>Queue Stats: inserted=2199186206
> <%28219%29%20918-6206> items_in_queue=170386206 extracted=2028800000
> <%28202%29%20880-0000>
> 1482796429.638106108 Reached 2028900000 <%28202%29%20890-0000> ;
> States-in-collection: 2199280294 <%28219%29%20928-0294> ; Time:
> 1482796429.638070
> 1482796429.638144016 >>>Queue Stats: inserted=2199280294
> <%28219%29%20928-0294> items_in_queue=170380294 extracted=2028900000
> <%28202%29%20890-0000>
> 1482796430.499207020 Reached 2029000000 <%28202%29%20900-0000> ;
> States-in-collection: 2199365743 <%28219%29%20936-5743> ; Time:
> 1482796430.493671
> 1482796430.503051996 >>>Queue Stats: inserted=2199365743
> <%28219%29%20936-5743> items_in_queue=170365743 extracted=2029000000
> <%28202%29%20900-0000>
> 1482796431.513093948 Reached 2029100000 <%28202%29%20910-0000> ;
> States-in-collection: 2199483199 ; Time: 1482796431.507415
> 1482796431.544991016 >>>Queue Stats: inserted=2199483199
> <%28219%29%20948-3199> items_in_queue=170383199 extracted=2029100000
> 1482796432.938494921 Reached 2029200000 <%28202%29%20920-0000> ;
> States-in-collection: 2199674382 ; Time: 1482796432.931476
> 1482796432.966799974 >>>Queue Stats: inserted=2199674382
> <%28219%29%20967-4382> items_in_queue=170474382 extracted=2029200000
> 1482796434.071671963 Reached 2029300000 <%28202%29%20930-0000> ;
> States-in-collection: 2199817025 ; Time: 1482796434.064930
> 1482796434.109359980 >>>Queue Stats: inserted=2199817025
> <%28219%29%20981-7025> items_in_queue=170517025 extracted=2029300000
> 1482796435.093099117 Reached 2029400000 <%28202%29%20940-0000> ;
> States-in-collection: 2199928672 ; Time: 1482796435.087762
> 1482796435.121169090 >>>Queue Stats: inserted=2199928672
> <%28219%29%20992-8672> items_in_queue=170528672 extracted=2029400000
>
I have good news - running the 1-freecell deal MS #24966 on an AWS EC2
instance with 160 GB of RAM has determined that it is impossible/unsolvable
with one freecell. Here is the log:
http://www.shlomifish.org/Files/files/text/freecell-1fc-24966-aws-more-ram.dump.txt.xz
One thing I learned is that one can save hard disk space on the EC2
instance by "apt remove"ing gcc and make and later more junk that is
installed there by default, I also deleted stuff from /usr/share/man .
The last lines of the log are:
1482919643.827783108 instance_run_solver_thread start
1482919643.827788115 instance_run_solver_thread end
1482919643.827944040 Finished running threads for curr_depth=103
1482919643.827951908 Start mark-and-sweep cleanup for curr_depth=103
1482919643.827956915 Finish mark-and-sweep cleanup for curr_depth=103
1482919643.828049898 instance_run_all_threads end
1482919643.828057051 handle_and_destroy_instance_solution start
1482919643.828062057 Reached 3047821305 ; States-in-collection:
3047821305 ; Time: 1482919643.828047
1482919643.828069925 >>>Queue Stats: inserted=3047821305
items_in_queue=0 extracted=3047821305
1482919643.828073978 Could not solve successfully.
1482919643.828078985 handle_and_destroy_instance_solution end
Regards,
-- Shlomi
--
Shlomi Fish http://www.shlomifish.org/
You can never truly appreciate The Gilmore Girls until you've watched it in
the original Klingon.
Please reply to list if it's a mailing list post - http://shlom.in/reply .
Received on Wed Dec 28 2016 - 02:29:03 IST