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

File 2010-10-30_3.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.48  0.60    0.48    0.76   19   46  (Gen:  1)
5 15456456   2084640   2244960  0.35  0.36    0.85    1.18    0    4  (Gen:  0)
6 16410352    155232    259776  0.25  0.25    1.11    1.44    0    0  (Gen:  0)
7 13546808   2140888   2386384  0.26  0.26    1.38    1.74    0    0  (Gen:  0)
8 16484872   4457224   4917720  0.28  0.28    1.67    2.03    0    0  (Gen:  0)
9 19042576   7400872   7496208  0.30  0.30    1.98    2.35    0    0  (Gen:  1)
10  6482112   3429104   8528680  0.26  0.26    2.25    2.62    0    0  (Gen:  0)
11 14353456   8015128   9538472  0.31  0.31    2.58    2.95    0    0  (Gen:  1)
12 64480392  11046072  18868808  0.37  0.37    3.08    3.50    0    0  (Gen:  0)
13 16635032  12035264  21440680  0.34  0.34    3.42    3.84    0    0  (Gen:  0)
14 17908264  22559144  24207776  0.41  0.41    3.85    4.26    0    0  (Gen:  1)
15 16644304   5350728  26815080  0.29  0.29    4.14    4.56    0    0  (Gen:  0)
16 19011840   4838512  31061192  0.28  0.28    4.43    4.85    0    0  (Gen:  0)
17   632208    898296  28809104  0.26  0.26    4.69    5.11    0    0  (Gen:  0)
18114153920  15263280  44341744  0.44  0.45    5.39    5.86    0    0  (Gen:  0)
19 17706136  18002800  47048888  0.39  0.39    5.78    6.25    0    0  (Gen:  0)
20 42171104  47494648  50153696  0.64  0.64    6.49    6.97    0    0  (Gen:  1)
21 15852192   7806032  52208424  0.31  0.31    6.82    7.29    0    0  (Gen:  0)
22 17843032   4099280  54426912  0.28  0.28    7.12    7.60    0    0  (Gen:  0)
23 16795848   4431064  56797864  0.29  0.29    7.42    7.91    0    0  (Gen:  0)
24 13681392   3894576  58384728  0.28  0.28    7.71    8.20    0    0  (Gen:  0)
25 24513384   4873808  61781864  0.29  0.29    8.03    8.52    0    0  (Gen:  0)
26 26493072   6907960  65594112  0.31  0.31    8.37    8.86    0    0  (Gen:  0)
27 22843200   6904616  68814352  0.30  0.30    8.69    9.20    0    0  (Gen:  0)
28 17752880   6072096  71563160  0.29  0.29    8.99    9.50    0    0  (Gen:  0)
29 16474248   5296288  74142840  0.28  0.28    9.28    9.80    0    0  (Gen:  0)
30 19385160   5558488  77121144  0.29  0.29    9.58   10.09    0    0  (Gen:  0)
31 16510048   5563112  79705288  0.29  0.29    9.87   10.39    0    0  (Gen:  0)
32 17918608   5328168  82448808  0.29  0.29   10.17   10.69    0    0  (Gen:  0)
33 17890168   5548720  85220632  0.29  0.29   10.47   10.98    0    0  (Gen:  0)
34 17961408   5556176  88004552  0.29  0.29   10.76   11.28    0    0  (Gen:  0)
35 17965824   5569080  90789088  0.29  0.29   11.06   11.58    0    0  (Gen:  0)
36 35983256   7690832  99807296  0.31  0.31   11.40   11.93    0    0  (Gen:  0)
37  2104560  84039616  89741288  0.90  0.91   12.31   12.84    0    0  (Gen:  1)
38260056040  37194160 126173960  0.77  0.78   13.77   14.36    0    0  (Gen:  0)
39 17433872  39243408 128338056  0.62  0.62   14.41   15.01    0    0  (Gen:  0)
40 16115864   3963016 130332720  0.28  0.28   14.71   15.32    0    0  (Gen:  0)
41 19456016   4291056 132816776  0.29  0.29   15.01   15.62    0    0  (Gen:  0)
42 22387496   5228312 135759064  0.29  0.30   15.33   15.94    0    0  (Gen:  0)
43 31404392   7186840 140269104  0.31  0.31   15.68   16.31    0    0  (Gen:  0)
44 20188352   7162160 143099440  0.30  0.31   16.01   16.63    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.30   16.34   16.98    0    0  (Gen:  0)
67 26275296   6581712 149690832  0.31  0.31   16.68   17.33    0    0  (Gen:  0)
68 33538792   7670656 154215760  0.32  0.32   17.04   17.70    0    0  (Gen:  0)
69 24284320   7507752 157445992  0.31  0.31   17.39   18.04    0    0  (Gen:  0)
70 22185488   5915168 160422152  0.30  0.30   17.71   18.36    0    0  (Gen:  0)
71 21898616   5890384 163531728  0.30  0.30   18.02   18.68    0    0  (Gen:  0)
72 16419328   5612208 166069112  0.29  0.29   18.32   18.98    0    0  (Gen:  0)
73 17916728   5314648 168845688  0.29  0.29   18.62   19.28    0    0  (Gen:  0)
74 17973720   5564136 171632712  0.29  0.29   18.92   19.57    0    0  (Gen:  0)
75 17942072   5568264 174413160  0.29  0.29   19.22   19.88    0    0  (Gen:  0)
76 18031064   5577664 177209768  0.29  0.29   19.52   20.18    0    0  (Gen:  0)
77 17865408 173472312 179695648  1.56  1.56   21.09   21.75    0    0  (Gen:  1)
78 42971688   7852432 188892752  0.31  0.31   21.43   22.09    0    0  (Gen:  0)
79  2104512   2009184 184413832  0.27  0.27   21.71   22.37    0    0  (Gen:  0)
80216288128  30029872 213726576  0.67  0.67   22.93   23.60    0    0  (Gen:  0)
81 14827032  32295624 216077008  0.54  0.54   23.47   24.17    0    0  (Gen:  0)
82 17921976   5045648 218855640  0.29  0.29   23.77   24.47    0    0  (Gen:  0)
83 17820216   5537992 221614432  0.29  0.29   24.07   24.77    0    0  (Gen:  0)
84 17619744   5482456 224337552  0.29  0.29   24.37   25.07    0    0  (Gen:  0)
85 17776136   5473704 227087520  0.30  0.30   24.68   25.38    0    0  (Gen:  0)
86 20125360   7056736 231393624  0.31  0.31   25.00   25.70    0    0  (Gen:  0)
87 13552312   4928752 233524752  0.29  0.29   25.31   26.01    0    0  (Gen:  0)
88   964240    294616 233417960  0.26  0.26   25.58   26.28    0    0  (Gen:  0)
89158722360  24988896 258755144  0.59  0.59   26.58   27.28    0    0  (Gen:  0)
90 22800312  27977512 261927968  0.48  0.48   27.08   27.80    0    0  (Gen:  0)
91 19432600   5545816 264565536  0.30  0.30   27.41   28.12    0    0  (Gen:  0)
92 16260616   5150600 267094368  0.29  0.29   27.71   28.42    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.34  0.34   28.12   28.83    0    0  (Gen:  0)
110 17744400   8495880 275381672  0.32  0.32   28.45   29.16    0    0  (Gen:  0)
111 17945040   5531280 278164016  0.29  0.29   28.75   29.46    0    0  (Gen:  0)
112 17853896   5547984 280929064  0.29  0.29   29.05   29.76    0    0  (Gen:  0)
113 24649808   5689912 285868488  0.30  0.30   29.37   30.08    0    0  (Gen:  0)
114   655888   1526952 283555792  0.27  0.27   29.64   30.35    0    0  (Gen:  0)
115117156392  16545400 300337032  0.48  0.48   30.39   31.10    0    0  (Gen:  0)
116 15180680  18051784 301950384  0.40  0.40   30.80   31.51    0    0  (Gen:  0)
117 41805688   7682960 308075144  0.33  0.33   31.20   31.92    0    0  (Gen:  0)
118 16348584   8537184 310632608  0.32  0.32   31.52   32.25    0    0  (Gen:  0)
119 19103968   5487064 313561336  0.29  0.29   31.83   32.55    0    0  (Gen:  0)
120 16150144   5450400 316082120  0.29  0.29   32.13   32.85    0    0  (Gen:  0)
121 19104552   5451784 319012432  0.30  0.30   32.43   33.16    0    0  (Gen:  0)
122 17890064   5734080 321782528  0.31  0.31   32.75   33.48    0    0  (Gen:  0)
123 16278344   5280720 324325184  0.32  0.32   33.08   33.81    0    0  (Gen:  0)
124 17433088   5196648 327011272  0.29  0.29   33.39   34.11    0    0  (Gen:  0)
125 17662520   5415720 329740016  0.30  0.30   33.69   34.42    0    0  (Gen:  0)
126 45426688   8985608 340075552  0.32  0.32   34.05   34.78    0    0  (Gen:  0)
127  2104944   1965240 334775816  0.29  0.29   34.35   35.08    0    0  (Gen:  0)
128256776640  40064312 374084896  0.80  0.81   35.90   36.69    0    0  (Gen:  0)
129 16204624  42552216 376657184  0.63  0.63   36.54   37.34    0    0  (Gen:  0)
130 16373880 349256152 361696584  3.04  3.09   39.59   40.44    0    0  (Gen:  1)
131 17507728   5232248 364365656  0.29  0.29   39.89   40.73    0    0  (Gen:  0)
132 17728016   5446928 367143048  0.29  0.29   40.19   41.04    0    0  (Gen:  0)
133 17731376   5486408 369851400  0.29  0.29   40.49   41.34    0    0  (Gen:  0)
134 17791640   5495392 372604856  0.29  0.29   40.80   41.64    0    0  (Gen:  0)
135 17676864   5485088 375335816  0.29  0.29   41.10   41.94    0    0  (Gen:  0)
136 41217720   7883680 384600208  0.32  0.32   41.45   42.30    0    0  (Gen:  0)
137  2101584   1802296 379928152  0.28  0.28   41.73   42.58    0    0  (Gen:  0)
138218286400  32152736 411319992  0.70  0.70   43.00   43.85    0    0  (Gen:  0)
139 14778256  34301776 413487680  0.55  0.55   43.56   44.42    0    0  (Gen:  0)
140 32326320   6356320 417936768  0.32  0.32   43.92   44.78    0    0  (Gen:  0)
14112455280696  82883848 496328224  1.78  1.78   61.65   66.13    0    3  (Gen:  0)
14212306382840 127539656 549422856  1.88  1.88   76.95   81.43    0    0  (Gen:  0)
14312155248432  68529384 567211384  0.95  0.95   92.25   96.73    0    0  (Gen:  0)
14412293853160  28039208 579344808  0.53  0.53  107.67  112.16    0    0  (Gen:  0)
14512297138128 117538024 696380184  2.15  2.16  124.79  129.29    0    0  (Gen:  0)
14612177633280  70120448 763800272  1.42  1.42  140.43  144.94    0    0  (Gen:  0)
14711362226112 570291968 584506928  4.67  4.67  158.94  163.44    0    0  (Gen:  1)
14812295426024  36578920 620580320  0.84  0.84  174.30  178.81    0    0  (Gen:  0)
14912257062904  13660056 631514904  0.41  0.41  188.97  193.48    0    0  (Gen:  0)
15012242878464  15118440 640704944  0.44  0.44  203.65  208.16    0    0  (Gen:  0)
15112238925800  35569664 675588304  0.81  0.81  218.86  223.38    0    0  (Gen:  0)
15212203298808  21224912 695464336  0.56  0.56  233.74  238.26    0    0  (Gen:  0)
15312177379320  27008816 715135104  0.63  0.63  248.48  253.00    0    0  (Gen:  0)
15412163501928  33474840 747100768  0.74  0.74  263.57  268.09    0    0  (Gen:  0)
15512129988584  35164168 779285984  0.79  0.79  278.55  283.08    0    0  (Gen:  0)
15612100108168  35436680 814119976  0.82  0.82  293.64  298.17    0    0  (Gen:  0)
15712062941184 314015384 1125274688  3.50  3.57  306.82  311.42    0    0  (Gen:  0)
15811221811176 1270589520 2088941664 12.53 12.66  330.32  335.04    0    0  (Gen:  0)
1598740651008 2124643288 3125408656 22.32 22.32  370.45  375.18    0    0  (Gen:  0)
1605351931880 3430348176 3451894920 30.13 30.14  411.48  416.22    0    0  (Gen:  1)
1617198887936 1656205640 4617718288 17.82 17.82  444.03  448.78    0    0  (Gen:  0)
1626178561984 1656768456 5627753744 16.68 16.68  473.58  478.32    0    0  (Gen:  0)
1635262295040 1400296576 6476570432 14.15 14.16  498.98  503.73    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    12m50.913s
184user    10m29.750s
185sys     0m6.040s