[321ms] # maximum alphabet: 7
[321ms] # 8 orders for alphabet 2
[321ms] # 48 orders for alphabet 3
[321ms] # 384 orders for alphabet 4
[321ms] # 3840 orders for alphabet 5
[321ms] # 38880 orders for alphabet 6
[321ms] # 433440 orders for alphabet 7
[321ms] # morph depth: 4/1 combinations:4
[321ms] # morph depth: 4/1,3/1 combinations:4
[321ms] # morph depth: 4/1,3/1,4/1 combinations:8
[321ms] # best order wins until -
[322ms] # total:1 rss:111MB
[00m18s] # 1 morph: attempts:556405,afterSuccess:153771,skipOrder:293919,success:6,628us,avg:104us,<10us:0,<100us:3,<1000us:3,<10ms:0,<100ms:0,<1000ms:0,>=1000ms:0,failed:556399,05m54s,avg:637us,<10us:10,<100us:0,<1000us:500704,<10ms:55642,<100ms:43,<1000ms:0,>=1000ms:0
[00m18s] # 1 best: time:112us,rounds:4,rules:34,active:20,activePeak:23,maxActiveLHS:4,maxActiveRHS:4,pending:0,pendingPeak:8,maxPendingLHS:0,maxPendingRHS:0,urgent:0,trivialRules:2,killed:11,lhsReduced:1,rhsReduced:0,pairsChecked:99,pairsSkipped:0,pairsTrivial:73,longestWord:8,stepsTotal:178,stepsMax:5,workTotal:334,workMax:30,reduceNodes:105,prefixNodes:91,suffixNodes:91,arenaTotal:152,arenaWork:553,trailTotal:1692,trailWork:7800
[00m18s] solve 1 abcd:dcbadab=aa,ac=1,ca=1,bd=1,db=1 efac/g/b/d dcb=e,ce=f,dab=g morph:3/0,2/0,3/0 abcdefg:ae=fa,af=e,ac=1,ce=f,cf=ec,ca=1,ge=1,eg=1,fg=c,ag=gaa,cg=gcc,ab=bg,cb=be,db=1,ed=dc,cd=fda,fad=adc,aad=eada,gd=da,bd=1
[00m18s] # best successful attempts: time:0us,rounds:0,rules:0,active:0,activePeak:0,maxActiveLHS:0,maxActiveRHS:0,pending:0,pendingPeak:0,maxPendingLHS:0,maxPendingRHS:0,urgent:0,trivialRules:0,killed:0,lhsReduced:0,rhsReduced:0,pairsChecked:0,pairsSkipped:0,pairsTrivial:0,longestWord:0,stepsTotal:0,stepsMax:0,workTotal:0,workMax:0,reduceNodes:0,prefixNodes:0,suffixNodes:0,arenaTotal:0,arenaWork:0,trailTotal:0,trailWork:0
[00m18s] # best successful attempts with morph: time:112us,rounds:4,rules:34,active:20,activePeak:23,maxActiveLHS:4,maxActiveRHS:4,pending:0,pendingPeak:8,maxPendingLHS:0,maxPendingRHS:0,urgent:0,trivialRules:2,killed:11,lhsReduced:1,rhsReduced:0,pairsChecked:99,pairsSkipped:0,pairsTrivial:73,longestWord:8,stepsTotal:178,stepsMax:5,workTotal:334,workMax:30,reduceNodes:105,prefixNodes:91,suffixNodes:91,arenaTotal:152,arenaWork:553,trailTotal:1692,trailWork:7800
[00m18s] # best successful attempts with extreme: time:0us,rounds:0,rules:0,active:0,activePeak:0,maxActiveLHS:0,maxActiveRHS:0,pending:0,pendingPeak:0,maxPendingLHS:0,maxPendingRHS:0,urgent:0,trivialRules:0,killed:0,lhsReduced:0,rhsReduced:0,pairsChecked:0,pairsSkipped:0,pairsTrivial:0,longestWord:0,stepsTotal:0,stepsMax:0,workTotal:0,workMax:0,reduceNodes:0,prefixNodes:0,suffixNodes:0,arenaTotal:0,arenaWork:0,trailTotal:0,trailWork:0
[00m18s] # best successful attempts with Todd-Coxeter: time:0us,rounds:0,rules:0,active:0,activePeak:0,maxActiveLHS:0,maxActiveRHS:0,pending:0,pendingPeak:0,maxPendingLHS:0,maxPendingRHS:0,urgent:0,trivialRules:0,killed:0,lhsReduced:0,rhsReduced:0,pairsChecked:0,pairsSkipped:0,pairsTrivial:0,longestWord:0,stepsTotal:0,stepsMax:0,workTotal:0,workMax:0,reduceNodes:0,prefixNodes:0,suffixNodes:0,arenaTotal:0,arenaWork:0,trailTotal:0,trailWork:0
[00m18s] # morph stats: attempts:556405,afterSuccess:153771,skipOrder:293919,success:6,628us,avg:104us,<10us:0,<100us:3,<1000us:3,<10ms:0,<100ms:0,<1000ms:0,>=1000ms:0,failed:556399,05m54s,avg:637us,<10us:10,<100us:0,<1000us:500704,<10ms:55642,<100ms:43,<1000ms:0,>=1000ms:0
[00m18s] # all successful attempts: time:140us,rounds:5,rules:41,active:22,activePeak:24,maxActiveLHS:5,maxActiveRHS:5,pending:0,pendingPeak:9,maxPendingLHS:0,maxPendingRHS:0,urgent:0,trivialRules:5,killed:13,lhsReduced:1,rhsReduced:0,pairsChecked:116,pairsSkipped:1,pairsTrivial:85,longestWord:10,stepsTotal:212,stepsMax:10,workTotal:471,workMax:56,reduceNodes:161,prefixNodes:105,suffixNodes:105,arenaTotal:208,arenaWork:716,trailTotal:2060,trailWork:9312
[00m18s] # all failed attempts: time:13ms,rounds:13,rules:151,active:117,activePeak:117,maxActiveLHS:70,maxActiveRHS:79,pending:111,pendingPeak:111,maxPendingLHS:199,maxPendingRHS:198,urgent:0,trivialRules:28,killed:84,lhsReduced:49,rhsReduced:44,pairsChecked:3001,pairsSkipped:221,pairsTrivial:2864,longestWord:263,stepsTotal:10003,stepsMax:1999,workTotal:300382,workMax:63489,reduceNodes:5467,prefixNodes:1687,suffixNodes:1687,arenaTotal:4107,arenaWork:169949,trailTotal:28876,trailWork:196968
[00m18s] # successful morph depth: 3/0,2/0,3/0
[00m18s] # rss:122MB
[00m18s] # rss:122MB
[00m18s] invariants 1 abcd:dcbadab=aa,ac=1,ca=1,bd=1,db=1 infinite;group:a-c,b-d,c-a,d-b,e-g,f-ga,g-e
[00m18s] # rss:122MB
[00m18s] # checking for obvious FCRS isomorphisms
[00m18s] # rss:122MB
[00m18s] # finalize and check tables
[00m18s] # rss:122MB
[00m18s] # writing html
[00m18s] # writing index
[00m18s] # write HTML #1 abcd:dcbadab=aa,ac=1,ca=1,bd=1,db=1
[00m18s] # all done!