Context Navigation

Back to Ticket #4472

Ticket #4472: 2010-10-30_4.log

File 2010-10-30_4.log, 14.3 KB (added by wkahl, 3 years ago)

Line
1	agda-2.2.8_debug -i . -i /var/tmp/AGDA/lib-0.4/src Categoric/OrderedMonad/Kleisli/Comp/AssocProofterm.lagda +RTS -C0 -i0 -K64M -M12G -H12G -S
2	Alloc Copied Live GC GC TOT TOT Page Flts
3	bytes bytes bytes user elap user elap
4	595384 68888 105864 0.46 0.61 0.47 0.74 17 44 (Gen: 1)
5	15456456 2084640 2244960 0.35 0.37 0.83 1.18 0 4 (Gen: 0)
6	16410352 155232 259776 0.25 0.25 1.09 1.44 0 0 (Gen: 0)
7	13546808 2140888 2386384 0.26 0.27 1.36 1.76 0 1 (Gen: 0)
8	16484872 4457224 4917720 0.28 0.29 1.66 2.05 0 0 (Gen: 0)
9	19042576 7400872 7496208 0.31 0.31 1.98 2.38 0 0 (Gen: 1)
10	6482112 3429104 8528680 0.27 0.27 2.25 2.65 0 0 (Gen: 0)
11	14353456 8015128 9538472 0.32 0.32 2.59 2.99 0 0 (Gen: 1)
12	64480392 11046072 18868808 0.38 0.38 3.10 3.52 0 0 (Gen: 0)
13	16635032 12035264 21440680 0.34 0.34 3.44 3.87 0 0 (Gen: 0)
14	17908264 22559144 24207776 0.42 0.42 3.87 4.29 0 0 (Gen: 1)
15	16644304 5350728 26815080 0.28 0.28 4.16 4.59 0 0 (Gen: 0)
16	19011840 4838512 31061192 0.28 0.29 4.46 4.88 0 0 (Gen: 0)
17	632208 898296 28809104 0.25 0.26 4.72 5.14 0 0 (Gen: 0)
18	114153920 15263280 44341744 0.46 0.46 5.45 5.90 0 0 (Gen: 0)
19	17706136 18002800 47048888 0.39 0.40 5.85 6.30 0 0 (Gen: 0)
20	42171104 47494648 50153696 0.66 0.66 6.58 7.04 0 0 (Gen: 1)
21	15852192 7806032 52208424 0.32 0.32 6.92 7.37 0 0 (Gen: 0)
22	17843032 4099280 54426912 0.28 0.28 7.22 7.68 0 0 (Gen: 0)
23	16795848 4431064 56797864 0.29 0.29 7.52 7.99 0 0 (Gen: 0)
24	13681392 3894576 58384728 0.28 0.28 7.81 8.31 0 0 (Gen: 0)
25	24513384 4873808 61781864 0.29 0.29 8.13 8.64 0 0 (Gen: 0)
26	26493072 6907960 65594112 0.31 0.31 8.48 8.98 0 0 (Gen: 0)
27	22843200 6904616 68814352 0.31 0.31 8.80 9.33 0 0 (Gen: 0)
28	17752880 6072096 71563160 0.29 0.29 9.11 9.63 0 0 (Gen: 0)
29	16474248 5296288 74142840 0.30 0.30 9.41 9.94 0 0 (Gen: 0)
30	19385160 5558488 77121144 0.31 0.31 9.73 10.26 0 0 (Gen: 0)
31	16510048 5563112 79705288 0.32 0.32 10.06 10.59 0 0 (Gen: 0)
32	17918608 5328168 82448808 0.28 0.28 10.35 10.88 0 0 (Gen: 0)
33	17890168 5548720 85220632 0.29 0.29 10.65 11.18 0 0 (Gen: 0)
34	17961408 5556176 88004552 0.29 0.29 10.95 11.47 0 0 (Gen: 0)
35	17965824 5569080 90789088 0.29 0.29 11.24 11.77 0 0 (Gen: 0)
36	35983256 7690832 99807296 0.31 0.31 11.58 12.12 0 0 (Gen: 0)
37	2104560 84039616 89741288 0.88 0.89 12.46 13.01 0 0 (Gen: 1)
38	260056040 37194160 126173960 0.75 0.76 13.93 14.52 0 0 (Gen: 0)
39	17433872 39243408 128338056 0.59 0.60 14.54 15.16 0 0 (Gen: 0)
40	16115864 3963016 130332720 0.28 0.28 14.84 15.47 0 0 (Gen: 0)
41	19456016 4291056 132816776 0.29 0.29 15.14 15.77 0 0 (Gen: 0)
42	22387496 5228312 135759064 0.29 0.29 15.46 16.09 0 0 (Gen: 0)
43	31404392 7186840 140269104 0.32 0.32 15.82 16.48 0 0 (Gen: 0)
44	20188352 7162160 143099440 0.31 0.31 16.14 16.80 0 0 (Gen: 0)
45	Checking Categoric.OrderedMonad.Kleisli.Comp.AssocProofterm (/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/OrderedMonad/Kleisli/Comp/AssocProofterm.lagda).
46	Skipping Level (/var/tmp/AGDA/lib-0.4/src/Level.agdai).
47	Skipping Function (/var/tmp/AGDA/lib-0.4/src/Function.agdai).
48	Skipping Data.Empty (/var/tmp/AGDA/lib-0.4/src/Data/Empty.agdai).
49	Skipping Relation.Nullary.Core (/var/tmp/AGDA/lib-0.4/src/Relation/Nullary/Core.agdai).
50	Skipping Relation.Nullary (/var/tmp/AGDA/lib-0.4/src/Relation/Nullary.agdai).
51	Skipping Data.Maybe.Core (/var/tmp/AGDA/lib-0.4/src/Data/Maybe/Core.agdai).
52	Skipping Data.Sum (/var/tmp/AGDA/lib-0.4/src/Data/Sum.agdai).
53	Skipping Data.Product (/var/tmp/AGDA/lib-0.4/src/Data/Product.agdai).
54	Skipping Relation.Binary.Core (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/Core.agdai).
55	Skipping Relation.Binary.Consequences.Core (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/Consequences/Core.agdai).
56	Skipping Relation.Binary.PropositionalEquality.Core (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/PropositionalEquality/Core.agdai).
57	Skipping Relation.Binary.Consequences (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/Consequences.agdai).
58	Skipping Relation.Binary.Indexed.Core (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/Indexed/Core.agdai).
59	Skipping Relation.Binary (/var/tmp/AGDA/lib-0.4/src/Relation/Binary.agdai).
60	Skipping Relation.Binary.PreorderReasoning (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/PreorderReasoning.agdai).
61	Skipping Relation.Binary.PropositionalEquality.Generalised (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/PropositionalEquality/Generalised.agdai).
62	Skipping Relation.Binary.Heterogeneous.Base (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Base.agdai).
63	Skipping Relation.Binary.Indexed (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/Indexed.agdai).
64	Skipping Relation.Binary.EqReasoning (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/EqReasoning.agdai).
65	Skipping Function.Equality (/var/tmp/AGDA/lib-0.4/src/Function/Equality.agdai).
66	25775728 6150176 146548536 0.30 0.31 16.48 17.16 0 0 (Gen: 0)
67	26275296 6581712 149690832 0.31 0.31 16.82 17.51 0 0 (Gen: 0)
68	33538792 7670656 154215760 0.32 0.32 17.18 17.88 0 0 (Gen: 0)
69	24284320 7507752 157445992 0.31 0.31 17.53 18.22 0 0 (Gen: 0)
70	22185488 5915168 160422152 0.30 0.30 17.85 18.55 0 0 (Gen: 0)
71	21898616 5890384 163531728 0.30 0.30 18.16 18.87 0 0 (Gen: 0)
72	16419328 5612208 166069112 0.29 0.29 18.46 19.17 0 0 (Gen: 0)
73	17916728 5314648 168845688 0.29 0.29 18.76 19.47 0 0 (Gen: 0)
74	17973720 5564136 171632712 0.29 0.29 19.06 19.77 0 0 (Gen: 0)
75	17942072 5568264 174413160 0.29 0.29 19.36 20.07 0 0 (Gen: 0)
76	18031064 5577664 177209768 0.29 0.29 19.65 20.37 0 0 (Gen: 0)
77	17865408 173472312 179695648 1.56 1.56 21.23 21.94 0 0 (Gen: 1)
78	42971688 7852432 188892752 0.31 0.31 21.57 22.28 0 0 (Gen: 0)
79	2104512 2009184 184413832 0.27 0.27 21.84 22.56 0 0 (Gen: 0)
80	216288128 30029872 213726576 0.67 0.67 23.06 23.79 0 0 (Gen: 0)
81	14827032 32295624 216077008 0.53 0.53 23.60 24.36 0 0 (Gen: 0)
82	17921976 5045648 218855640 0.29 0.29 23.90 24.66 0 0 (Gen: 0)
83	17820216 5537992 221614432 0.29 0.29 24.20 24.96 0 0 (Gen: 0)
84	17619744 5482456 224337552 0.29 0.29 24.49 25.25 0 0 (Gen: 0)
85	17776136 5473704 227087520 0.29 0.29 24.79 25.55 0 0 (Gen: 0)
86	20125360 7056736 231393624 0.31 0.31 25.11 25.87 0 0 (Gen: 0)
87	13552312 4928752 233524752 0.29 0.29 25.41 26.17 0 0 (Gen: 0)
88	964240 294616 233417960 0.26 0.26 25.67 26.43 0 0 (Gen: 0)
89	158722360 24988896 258755144 0.58 0.58 26.65 27.41 0 0 (Gen: 0)
90	22800312 27977512 261927968 0.49 0.49 27.17 27.93 0 0 (Gen: 0)
91	19432600 5545816 264565536 0.29 0.30 27.48 28.26 0 0 (Gen: 0)
92	16260616 5150600 267094368 0.29 0.29 27.78 28.55 0 0 (Gen: 0)
93	Skipping Relation.Binary.PropositionalEquality (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/PropositionalEquality.agdai).
94	Skipping Relation.Binary.Heterogeneous.Props (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props.agdai).
95	Skipping Relation.Binary.Heterogeneous.Props.Props (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Props.agdai).
96	Skipping Relation.Binary.Heterogeneous.Props.Inclusion (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Inclusion.agdai).
97	Skipping Relation.Binary.Heterogeneous.Props.Equivalence (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Equivalence.agdai).
98	Skipping Relation.Binary.Heterogeneous.Props.Composition (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Composition.agdai).
99	Skipping Relation.Binary.Heterogeneous.Props.Converse (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Converse.agdai).
100	Skipping Relation.Binary.Heterogeneous.Props.Poset (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Poset.agdai).
101	Skipping Relation.Binary.Heterogeneous.Props.Identity (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Identity.agdai).
102	Skipping Relation.Binary.Heterogeneous (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous.agdai).
103	Skipping Relation.Binary.Homogeneous (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Homogeneous.agdai).
104	Skipping Relation.Binary.Poset.Dual (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Poset/Dual.agdai).
105	Skipping Relation.Binary.Conversions (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Conversions.agdai).
106	Skipping Data.Function.Composition (/var/tmp/kahl/svn/RATH/trunk/Agda/Data/Function/Composition.agdai).
107	Skipping Categoric.Semigroupoid (/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/Semigroupoid.agdai).
108	Skipping Categoric.OrderedSemigroupoid (/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/OrderedSemigroupoid.agdai).
109	41841560 7793896 272666384 0.33 0.33 28.18 28.96 0 0 (Gen: 0)
110	17744400 8495880 275381672 0.32 0.32 28.51 29.28 0 0 (Gen: 0)
111	17945040 5531280 278164016 0.29 0.29 28.81 29.58 0 0 (Gen: 0)
112	17853896 5547984 280929064 0.29 0.29 29.10 29.88 0 0 (Gen: 0)
113	24649808 5689912 285868488 0.29 0.29 29.41 30.19 0 0 (Gen: 0)
114	655888 1526952 283555792 0.26 0.26 29.68 30.46 0 0 (Gen: 0)
115	117156392 16545400 300337032 0.51 0.51 30.48 31.26 0 0 (Gen: 0)
116	15180680 18051784 301950384 0.39 0.39 30.87 31.65 0 0 (Gen: 0)
117	41805688 7682960 308075144 0.32 0.32 31.25 32.04 0 0 (Gen: 0)
118	16348584 8537184 310632608 0.31 0.31 31.57 32.36 0 0 (Gen: 0)
119	19103968 5487064 313561336 0.29 0.29 31.87 32.66 0 0 (Gen: 0)
120	16150144 5450400 316082120 0.29 0.29 32.17 32.96 0 0 (Gen: 0)
121	19104552 5451784 319012432 0.29 0.29 32.47 33.26 0 0 (Gen: 0)
122	17890064 5734080 321782528 0.29 0.29 32.77 33.56 0 0 (Gen: 0)
123	16278344 5280720 324325184 0.29 0.29 33.06 33.85 0 0 (Gen: 0)
124	17433088 5196648 327011272 0.29 0.29 33.36 34.15 0 0 (Gen: 0)
125	17662520 5415720 329740016 0.29 0.29 33.66 34.45 0 0 (Gen: 0)
126	45426688 8985608 340075552 0.32 0.32 34.01 34.80 0 0 (Gen: 0)
127	2104944 1965240 334775816 0.28 0.28 34.29 35.08 0 0 (Gen: 0)
128	256776640 40064312 374084896 0.80 0.80 35.83 36.68 0 0 (Gen: 0)
129	16204624 42552216 376657184 0.62 0.62 36.46 37.31 0 0 (Gen: 0)
130	16373880 349256152 361696584 3.02 3.07 39.49 40.40 0 0 (Gen: 1)
131	17507728 5232248 364365656 0.29 0.29 39.78 40.70 0 0 (Gen: 0)
132	17728016 5446928 367143048 0.29 0.29 40.08 41.00 0 0 (Gen: 0)
133	17731376 5486408 369851400 0.29 0.29 40.38 41.30 0 0 (Gen: 0)
134	17791640 5495392 372604856 0.29 0.29 40.68 41.59 0 0 (Gen: 0)
135	17676864 5485088 375335816 0.29 0.29 40.98 41.89 0 0 (Gen: 0)
136	41217720 7883680 384600208 0.31 0.31 41.32 42.24 0 0 (Gen: 0)
137	2101584 1802296 379928152 0.27 0.27 41.60 42.51 0 0 (Gen: 0)
138	218286400 32152736 411319992 0.70 0.70 42.85 43.77 0 0 (Gen: 0)
139	14778256 34301776 413487680 0.54 0.54 43.40 44.32 0 0 (Gen: 0)
140	32326320 6356320 417936768 0.31 0.31 43.76 44.67 0 0 (Gen: 0)
141	12455280696 82883848 496328224 1.74 1.76 61.74 66.15 0 4 (Gen: 0)
142	12306382840 127539656 549422856 1.91 1.91 77.01 81.43 0 0 (Gen: 0)
143	12155248432 68529384 567211384 0.97 0.98 92.50 96.93 0 0 (Gen: 0)
144	12293853160 28039208 579344808 0.53 0.53 108.17 112.60 0 0 (Gen: 0)
145	12297138128 117538024 696380184 2.17 2.19 125.54 130.00 0 0 (Gen: 0)
146	12177633280 70120448 763800272 1.42 1.43 141.36 145.82 0 0 (Gen: 0)
147	11362226112 570291968 584506928 4.68 4.68 159.94 164.41 0 0 (Gen: 1)
148	12295426024 36578920 620580320 0.85 0.85 175.37 179.85 0 0 (Gen: 0)
149	12257062904 13660056 631514904 0.41 0.41 189.97 194.45 0 0 (Gen: 0)
150	12242878464 15118440 640704944 0.43 0.43 204.57 209.06 0 0 (Gen: 0)
151	12238925800 35569664 675588304 0.81 0.81 219.65 224.14 0 0 (Gen: 0)
152	12203298808 21224912 695464336 0.55 0.55 234.42 238.92 0 0 (Gen: 0)
153	12177379320 27008816 715135104 0.66 0.66 249.37 253.87 0 0 (Gen: 0)
154	12163501928 33474840 747100768 0.74 0.74 264.16 268.67 0 0 (Gen: 0)
155	12129988584 35164168 779285984 0.81 0.82 279.14 283.66 0 0 (Gen: 0)
156	12100108168 35436680 814119976 0.82 0.82 294.31 298.82 0 0 (Gen: 0)
157	12062941184 314015384 1125274688 3.53 3.60 307.58 312.18 0 0 (Gen: 0)
158	11221811176 1270589520 2088941664 12.53 12.66 331.07 335.81 0 0 (Gen: 0)
159	8740651008 2124643288 3125408656 22.39 22.39 371.29 376.03 0 0 (Gen: 0)
160	5351931880 3430348176 3451894920 30.07 30.08 412.26 417.01 0 0 (Gen: 1)
161	7198887936 1656205640 4617718288 17.87 17.88 445.03 449.78 0 0 (Gen: 0)
162	6178561984 1656768456 5627753744 16.61 16.61 474.47 479.23 0 0 (Gen: 0)
163	5262295040 1400296576 6476570432 14.11 14.11 499.81 504.57 0 0 (Gen: 0)
164	Memory leak detected:
165	gen 0 blocks : 519 blocks (2 MB)
166	gen 1 blocks : 1295493 blocks (5060 MB)
167	nursery : 1456444 blocks (5689 MB)
168	retainer : 0 blocks (0 MB)
169	arena blocks : 0 blocks (0 MB)
170	exec : 0 blocks (0 MB)
171	free : 174549452 blocks (681833 MB)
172	total : 177301908 blocks (692585 MB)
173
174	in system : 3926412 blocks (15581 MB)
175
176	Unreachable blocks:
177	agda-2.2.8_debug: internal error: ASSERTION FAILED: file rts/sm/Storage.c, line 1388
178
179	(GHC version 6.12.3 for x86_64_unknown_linux)
180	Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug

Download in other formats:

Original Format