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

File 2010-10-30_4.log, 14.3 KB (added by wkahl, 4 years ago)
Line 
1agda-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)
18114153920  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)
38260056040  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)
45Checking Categoric.OrderedMonad.Kleisli.Comp.AssocProofterm (/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/OrderedMonad/Kleisli/Comp/AssocProofterm.lagda).
46Skipping Level (/var/tmp/AGDA/lib-0.4/src/Level.agdai).
47Skipping Function (/var/tmp/AGDA/lib-0.4/src/Function.agdai).
48Skipping Data.Empty (/var/tmp/AGDA/lib-0.4/src/Data/Empty.agdai).
49Skipping Relation.Nullary.Core (/var/tmp/AGDA/lib-0.4/src/Relation/Nullary/Core.agdai).
50Skipping Relation.Nullary (/var/tmp/AGDA/lib-0.4/src/Relation/Nullary.agdai).
51Skipping Data.Maybe.Core (/var/tmp/AGDA/lib-0.4/src/Data/Maybe/Core.agdai).
52Skipping Data.Sum (/var/tmp/AGDA/lib-0.4/src/Data/Sum.agdai).
53Skipping Data.Product (/var/tmp/AGDA/lib-0.4/src/Data/Product.agdai).
54Skipping Relation.Binary.Core (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/Core.agdai).
55Skipping Relation.Binary.Consequences.Core (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/Consequences/Core.agdai).
56Skipping Relation.Binary.PropositionalEquality.Core (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/PropositionalEquality/Core.agdai).
57Skipping Relation.Binary.Consequences (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/Consequences.agdai).
58Skipping Relation.Binary.Indexed.Core (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/Indexed/Core.agdai).
59Skipping Relation.Binary (/var/tmp/AGDA/lib-0.4/src/Relation/Binary.agdai).
60Skipping Relation.Binary.PreorderReasoning (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/PreorderReasoning.agdai).
61Skipping Relation.Binary.PropositionalEquality.Generalised (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/PropositionalEquality/Generalised.agdai).
62Skipping Relation.Binary.Heterogeneous.Base (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Base.agdai).
63Skipping Relation.Binary.Indexed (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/Indexed.agdai).
64Skipping Relation.Binary.EqReasoning (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/EqReasoning.agdai).
65Skipping 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)
80216288128  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)
89158722360  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)
93Skipping Relation.Binary.PropositionalEquality (/var/tmp/AGDA/lib-0.4/src/Relation/Binary/PropositionalEquality.agdai).
94Skipping Relation.Binary.Heterogeneous.Props (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props.agdai).
95Skipping Relation.Binary.Heterogeneous.Props.Props (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Props.agdai).
96Skipping Relation.Binary.Heterogeneous.Props.Inclusion (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Inclusion.agdai).
97Skipping Relation.Binary.Heterogeneous.Props.Equivalence (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Equivalence.agdai).
98Skipping Relation.Binary.Heterogeneous.Props.Composition (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Composition.agdai).
99Skipping Relation.Binary.Heterogeneous.Props.Converse (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Converse.agdai).
100Skipping Relation.Binary.Heterogeneous.Props.Poset (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Poset.agdai).
101Skipping Relation.Binary.Heterogeneous.Props.Identity (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous/Props/Identity.agdai).
102Skipping Relation.Binary.Heterogeneous (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Heterogeneous.agdai).
103Skipping Relation.Binary.Homogeneous (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Homogeneous.agdai).
104Skipping Relation.Binary.Poset.Dual (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Poset/Dual.agdai).
105Skipping Relation.Binary.Conversions (/var/tmp/kahl/svn/RATH/trunk/Agda/Relation/Binary/Conversions.agdai).
106Skipping Data.Function.Composition (/var/tmp/kahl/svn/RATH/trunk/Agda/Data/Function/Composition.agdai).
107Skipping Categoric.Semigroupoid (/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/Semigroupoid.agdai).
108Skipping 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)
115117156392  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)
128256776640  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)
138218286400  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)
14112455280696  82883848 496328224  1.74  1.76   61.74   66.15    0    4  (Gen:  0)
14212306382840 127539656 549422856  1.91  1.91   77.01   81.43    0    0  (Gen:  0)
14312155248432  68529384 567211384  0.97  0.98   92.50   96.93    0    0  (Gen:  0)
14412293853160  28039208 579344808  0.53  0.53  108.17  112.60    0    0  (Gen:  0)
14512297138128 117538024 696380184  2.17  2.19  125.54  130.00    0    0  (Gen:  0)
14612177633280  70120448 763800272  1.42  1.43  141.36  145.82    0    0  (Gen:  0)
14711362226112 570291968 584506928  4.68  4.68  159.94  164.41    0    0  (Gen:  1)
14812295426024  36578920 620580320  0.85  0.85  175.37  179.85    0    0  (Gen:  0)
14912257062904  13660056 631514904  0.41  0.41  189.97  194.45    0    0  (Gen:  0)
15012242878464  15118440 640704944  0.43  0.43  204.57  209.06    0    0  (Gen:  0)
15112238925800  35569664 675588304  0.81  0.81  219.65  224.14    0    0  (Gen:  0)
15212203298808  21224912 695464336  0.55  0.55  234.42  238.92    0    0  (Gen:  0)
15312177379320  27008816 715135104  0.66  0.66  249.37  253.87    0    0  (Gen:  0)
15412163501928  33474840 747100768  0.74  0.74  264.16  268.67    0    0  (Gen:  0)
15512129988584  35164168 779285984  0.81  0.82  279.14  283.66    0    0  (Gen:  0)
15612100108168  35436680 814119976  0.82  0.82  294.31  298.82    0    0  (Gen:  0)
15712062941184 314015384 1125274688  3.53  3.60  307.58  312.18    0    0  (Gen:  0)
15811221811176 1270589520 2088941664 12.53 12.66  331.07  335.81    0    0  (Gen:  0)
1598740651008 2124643288 3125408656 22.39 22.39  371.29  376.03    0    0  (Gen:  0)
1605351931880 3430348176 3451894920 30.07 30.08  412.26  417.01    0    0  (Gen:  1)
1617198887936 1656205640 4617718288 17.87 17.88  445.03  449.78    0    0  (Gen:  0)
1626178561984 1656768456 5627753744 16.61 16.61  474.47  479.23    0    0  (Gen:  0)
1635262295040 1400296576 6476570432 14.11 14.11  499.81  504.57    0    0  (Gen:  0)
164Memory 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
176Unreachable blocks:
177agda-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