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

File 2010-10-30_2.log, 14.3 KB (added by wkahl, 3 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.49  0.68    0.49    0.87   33   55  (Gen:  1)
5 15456456   2084640   2244960  0.36  0.37    0.87    1.33    0    3  (Gen:  0)
6 16410352    155232    259776  0.25  0.25    1.13    1.60    0    1  (Gen:  0)
7 13546808   2140888   2386384  0.27  0.27    1.41    1.93    1    3  (Gen:  0)
8 16484872   4457224   4917720  0.29  0.29    1.71    2.23    0    0  (Gen:  0)
9 19042576   7400872   7496208  0.31  0.31    2.03    2.55    0    0  (Gen:  1)
10  6482112   3429104   8528680  0.27  0.27    2.31    2.83    0    0  (Gen:  0)
11 14353456   8015128   9538472  0.32  0.32    2.65    3.18    0    0  (Gen:  1)
12 64480392  11046072  18868808  0.38  0.39    3.16    3.75    0    0  (Gen:  0)
13 16635032  12035264  21440680  0.35  0.35    3.52    4.10    0    0  (Gen:  0)
14 17908264  22559144  24207776  0.42  0.43    3.95    4.54    0    0  (Gen:  1)
15 16644304   5350728  26815080  0.29  0.29    4.25    4.84    0    0  (Gen:  0)
16 19011840   4838512  31061192  0.29  0.29    4.55    5.14    0    0  (Gen:  0)
17   632208    898296  28809104  0.26  0.27    4.82    5.41    0    0  (Gen:  0)
18114153920  15263280  44341744  0.46  0.46    5.55    6.17    0    0  (Gen:  0)
19 17706136  18002800  47048888  0.40  0.40    5.96    6.58    0    0  (Gen:  0)
20 42171104  47494648  50153696  0.66  0.66    6.70    7.32    0    0  (Gen:  1)
21 15852192   7806032  52208424  0.32  0.32    7.03    7.66    0    0  (Gen:  0)
22 17843032   4099280  54426912  0.28  0.28    7.33    7.96    0    0  (Gen:  0)
23 16795848   4431064  56797864  0.29  0.29    7.64    8.28    0    0  (Gen:  0)
24 13681392   3894576  58384728  0.28  0.28    7.93    8.57    0    0  (Gen:  0)
25 24513384   4873808  61781864  0.29  0.29    8.25    8.89    0    0  (Gen:  0)
26 26493072   6907960  65594112  0.31  0.31    8.60    9.24    0    0  (Gen:  0)
27 22843200   6904616  68814352  0.31  0.31    8.93    9.58    0    0  (Gen:  0)
28 17752880   6072096  71563160  0.30  0.30    9.23    9.89    0    0  (Gen:  0)
29 16474248   5296288  74142840  0.29  0.29    9.53   10.19    0    0  (Gen:  0)
30 19385160   5558488  77121144  0.30  0.30    9.84   10.49    0    0  (Gen:  0)
31 16510048   5563112  79705288  0.29  0.29   10.14   10.80    0    0  (Gen:  0)
32 17918608   5328168  82448808  0.29  0.29   10.44   11.10    0    0  (Gen:  0)
33 17890168   5548720  85220632  0.29  0.29   10.74   11.40    0    0  (Gen:  0)
34 17961408   5556176  88004552  0.29  0.29   11.04   11.70    0    0  (Gen:  0)
35 17965824   5569080  90789088  0.30  0.30   11.35   12.01    0    0  (Gen:  0)
36 35983256   7690832  99807296  0.31  0.31   11.69   12.36    0    0  (Gen:  0)
37  2104560  84039616  89741288  0.94  0.95   12.64   13.31    0    0  (Gen:  1)
38260056040  37194160 126173960  0.76  0.77   14.10   14.81    0    0  (Gen:  0)
39 17433872  39243408 128338056  0.59  0.59   14.71   15.46    0    0  (Gen:  0)
40 16115864   3963016 130332720  0.28  0.28   15.00   15.78    0    0  (Gen:  0)
41 19456016   4291056 132816776  0.29  0.29   15.31   16.11    0    0  (Gen:  0)
42 22387496   5228312 135759064  0.30  0.30   15.64   16.44    0    0  (Gen:  0)
43 31404392   7186840 140269104  0.32  0.32   16.00   16.82    0    0  (Gen:  0)
44 20188352   7162160 143099440  0.32  0.32   16.34   17.16    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.31  0.31   16.68   17.52    0    0  (Gen:  0)
67 26275296   6581712 149690832  0.31  0.31   17.02   17.86    0    0  (Gen:  0)
68 33538792   7670656 154215760  0.31  0.31   17.37   18.22    0    0  (Gen:  0)
69 24284320   7507752 157445992  0.31  0.31   17.72   18.56    0    0  (Gen:  0)
70 22185488   5915168 160422152  0.30  0.30   18.04   18.89    0    0  (Gen:  0)
71 21898616   5890384 163531728  0.30  0.30   18.36   19.21    0    0  (Gen:  0)
72 16419328   5612208 166069112  0.30  0.30   18.67   19.52    0    0  (Gen:  0)
73 17916728   5314648 168845688  0.29  0.29   18.96   19.82    0    0  (Gen:  0)
74 17973720   5564136 171632712  0.29  0.29   19.26   20.12    0    0  (Gen:  0)
75 17942072   5568264 174413160  0.29  0.29   19.56   20.42    0    0  (Gen:  0)
76 18031064   5577664 177209768  0.28  0.28   19.86   20.72    0    0  (Gen:  0)
77 17865408 173472312 179695648  1.54  1.54   21.40   22.26    0    0  (Gen:  1)
78 42971688   7852432 188892752  0.31  0.31   21.74   22.61    0    0  (Gen:  0)
79  2104512   2009184 184413832  0.28  0.28   22.02   22.89    0    0  (Gen:  0)
80216288128  30029872 213726576  0.65  0.66   23.23   24.10    0    0  (Gen:  0)
81 14827032  32295624 216077008  0.53  0.53   23.77   24.66    0    0  (Gen:  0)
82 17921976   5045648 218855640  0.30  0.30   24.08   24.97    0    0  (Gen:  0)
83 17820216   5537992 221614432  0.29  0.29   24.38   25.27    0    0  (Gen:  0)
84 17619744   5482456 224337552  0.30  0.30   24.68   25.58    0    0  (Gen:  0)
85 17776136   5473704 227087520  0.30  0.30   24.99   25.88    0    0  (Gen:  0)
86 20125360   7056736 231393624  0.31  0.31   25.32   26.21    0    0  (Gen:  0)
87 13552312   4928752 233524752  0.29  0.29   25.62   26.51    0    0  (Gen:  0)
88   964240    294616 233417960  0.27  0.27   25.89   26.78    0    0  (Gen:  0)
89158722360  24988896 258755144  0.58  0.58   26.88   27.78    0    0  (Gen:  0)
90 22800312  27977512 261927968  0.48  0.48   27.39   28.30    0    0  (Gen:  0)
91 19432600   5545816 264565536  0.30  0.30   27.71   28.62    0    0  (Gen:  0)
92 16260616   5150600 267094368  0.29  0.29   28.01   28.92    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.42   29.33    0    0  (Gen:  0)
110 17744400   8495880 275381672  0.32  0.32   28.75   29.66    0    0  (Gen:  0)
111 17945040   5531280 278164016  0.29  0.29   29.05   29.96    0    0  (Gen:  0)
112 17853896   5547984 280929064  0.29  0.29   29.35   30.26    0    0  (Gen:  0)
113 24649808   5689912 285868488  0.30  0.30   29.66   30.58    0    0  (Gen:  0)
114   655888   1526952 283555792  0.27  0.27   29.93   30.85    0    0  (Gen:  0)
115117156392  16545400 300337032  0.47  0.47   30.67   31.59    0    0  (Gen:  0)
116 15180680  18051784 301950384  0.39  0.39   31.08   31.99    0    0  (Gen:  0)
117 41805688   7682960 308075144  0.33  0.33   31.46   32.40    0    0  (Gen:  0)
118 16348584   8537184 310632608  0.32  0.32   31.79   32.72    0    0  (Gen:  0)
119 19103968   5487064 313561336  0.30  0.30   32.10   33.03    0    0  (Gen:  0)
120 16150144   5450400 316082120  0.31  0.31   32.42   33.35    0    0  (Gen:  0)
121 19104552   5451784 319012432  0.31  0.32   32.74   33.67    0    0  (Gen:  0)
122 17890064   5734080 321782528  0.29  0.30   33.05   33.98    0    0  (Gen:  0)
123 16278344   5280720 324325184  0.29  0.29   33.34   34.28    0    0  (Gen:  0)
124 17433088   5196648 327011272  0.30  0.30   33.65   34.58    0    0  (Gen:  0)
125 17662520   5415720 329740016  0.29  0.29   33.95   34.89    0    0  (Gen:  0)
126 45426688   8985608 340075552  0.33  0.33   34.31   35.25    0    0  (Gen:  0)
127  2104944   1965240 334775816  0.28  0.28   34.60   35.54    0    0  (Gen:  0)
128256776640  40064312 374084896  0.80  0.80   36.14   37.14    0    0  (Gen:  0)
129 16204624  42552216 376657184  0.63  0.63   36.78   37.78    0    0  (Gen:  0)
130 16373880 349256152 361696584  3.04  3.10   39.84   40.89    0    0  (Gen:  1)
131 17507728   5232248 364365656  0.29  0.29   40.13   41.19    0    0  (Gen:  0)
132 17728016   5446928 367143048  0.29  0.30   40.44   41.50    0    0  (Gen:  0)
133 17731376   5486408 369851400  0.29  0.30   40.74   41.80    0    0  (Gen:  0)
134 17791640   5495392 372604856  0.29  0.29   41.05   42.10    0    0  (Gen:  0)
135 17676864   5485088 375335816  0.29  0.30   41.35   42.41    0    0  (Gen:  0)
136 41217720   7883680 384600208  0.32  0.32   41.70   42.76    0    0  (Gen:  0)
137  2101584   1802296 379928152  0.28  0.28   41.98   43.04    0    0  (Gen:  0)
138218286400  32152736 411319992  0.69  0.70   43.24   44.30    0    0  (Gen:  0)
139 14778256  34301776 413487680  0.55  0.55   43.80   44.87    0    0  (Gen:  0)
140 32326320   6356320 417936768  0.31  0.31   44.15   45.22    0    0  (Gen:  0)
14112455280696  82883848 496328224  1.76  1.78   62.30   66.79    0    7  (Gen:  0)
14212306382840 127539656 549422856  1.90  1.90   77.76   82.26    0    0  (Gen:  0)
14312155248432  68529384 567211384  0.96  0.96   92.37   96.87    0    0  (Gen:  0)
14412293853160  28039208 579344808  0.53  0.53  107.95  112.45    0    0  (Gen:  0)
14512297138128 117538024 696380184  2.17  2.18  125.33  129.85    0    0  (Gen:  0)
14612177633280  70120448 763800272  1.42  1.42  141.09  145.61    0    0  (Gen:  0)
14711362226112 570291968 584506928  4.68  4.68  159.61  164.14    0    0  (Gen:  1)
14812295426024  36578920 620580320  0.85  0.85  174.77  179.30    0    0  (Gen:  0)
14912257062904  13660056 631514904  0.41  0.41  189.27  193.80    0    0  (Gen:  0)
15012242878464  15118440 640704944  0.43  0.43  203.93  208.46    0    0  (Gen:  0)
15112238925800  35569664 675588304  0.82  0.82  219.19  223.72    0    0  (Gen:  0)
15212203298808  21224912 695464336  0.56  0.56  234.01  238.55    0    0  (Gen:  0)
15312177379320  27008816 715135104  0.64  0.64  248.81  253.35    0    0  (Gen:  0)
15412163501928  33474840 747100768  0.74  0.74  263.71  268.25    0    0  (Gen:  0)
15512129988584  35164168 779285984  0.78  0.78  278.65  283.20    0    0  (Gen:  0)
15612100108168  35436680 814119976  0.83  0.83  293.52  298.07    0    0  (Gen:  0)
15712062941184 314015384 1125274688  3.48  3.54  306.72  311.33    0    0  (Gen:  0)
15811221811176 1270589520 2088941664 12.34 12.48  329.98  334.73    0    0  (Gen:  0)
1598740651008 2124643288 3125408656 22.23 22.24  369.80  374.56    0    0  (Gen:  0)
1605351931880 3430348176 3451894920 30.15 30.16  410.83  415.60    0    0  (Gen:  1)
1617198887936 1656205640 4617718288 17.79 17.80  443.57  448.34    0    0  (Gen:  0)
1626178561984 1656768456 5627753744 16.72 16.72  473.05  477.83    0    0  (Gen:  0)
1635262295040 1400296576 6476570432 14.28 14.29  498.62  503.40    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
181Aborted
182
183real    11m56.086s
184user    10m29.373s
185sys     0m5.795s