Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

449245<=gnu(8640)<=449362 #172

Open
olexandr-konovalov opened this issue Jul 10, 2016 · 1 comment
Open

449245<=gnu(8640)<=449362 #172

olexandr-konovalov opened this issue Jul 10, 2016 · 1 comment

Comments

@olexandr-konovalov
Copy link
Owner

After 66 hours on Ubuntu 16.04 on Azure cloud standard DS3 v2 instance (4 cores, 14 GB RAM) GAP uses 4G and shows

#I   extend candidate number 1707 of 1709 with size 8640
#I   extend candidate number 1708 of 1709 with size 8640
#I   extend candidate number 1709 of 1709 with size 8640
#I  found 446171 extensions

Error, reached the pre-set memory limit
@olexandr-konovalov
Copy link
Owner Author

I've restarted that, and that's the latest known details:

...
#I     Iso: test isomorphism on groups of size 8640
#I  RandomIsomorphismTestUEM: 51840 generating system candidates
#I  RandomIsomorphismTestUEM found isomorphism
#I     Iso: reduced to 22 groups
#I  extensions for steps [ 1, 2, 4 ]
****************************************
Constructed a list of length 449245
It contains 449138 groups and 107 sublists
Length of sublists are [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
  3, 3, 3, 3, 3, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
  2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 2, 2,
  2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 2, 2,
  2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2 ]

449245<=gnu(8640)<=449362

Runtime of this construction: 1098007792 ms (12.71 days)
Checking of sublists with more than two groups is not yet supported
Returning all constructed groups for further manual checks
gap> 

@olexandr-konovalov olexandr-konovalov changed the title gnu(8640) 449245<=gnu(8640)<=449362 Oct 30, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant