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

File 2010-10-30_1.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.50  1.02    0.50    1.26   84   48  (Gen:  1)
5 15456456   2084640   2244960  0.36  0.38    0.87    1.70    0    0  (Gen:  0)
6 16410352    155232    259776  0.25  0.25    1.13    1.97    0    0  (Gen:  0)
7 13546808   2140888   2386384  0.27  0.27    1.41    2.29    0    0  (Gen:  0)
8 16484872   4457224   4917720  0.28  0.29    1.71    2.58    0    0  (Gen:  0)
9 19042576   7400872   7496208  0.31  0.31    2.03    2.91    0    0  (Gen:  1)
10  6482112   3429104   8528680  0.27  0.27    2.31    3.19    0    0  (Gen:  0)
11 14353456   8015128   9538472  0.32  0.32    2.65    3.53    0    0  (Gen:  1)
12 64480392  11046072  18868808  0.38  0.38    3.16    4.13    0    0  (Gen:  0)
13 16635032  12035264  21440680  0.34  0.34    3.51    4.47    0    0  (Gen:  0)
14 17908264  22559144  24207776  0.43  0.43    3.95    4.91    0    0  (Gen:  1)
15 16644304   5350728  26815080  0.30  0.30    4.25    5.21    0    0  (Gen:  0)
16 19011840   4838512  31061192  0.29  0.29    4.55    5.51    0    0  (Gen:  0)
17   632208    898296  28809104  0.26  0.26    4.81    5.78    0    0  (Gen:  0)
18114153920  15263280  44341744  0.46  0.47    5.53    6.54    0    0  (Gen:  0)
19 17706136  18002800  47048888  0.40  0.40    5.94    6.94    0    0  (Gen:  0)
20 42171104  47494648  50153696  0.66  0.66    6.67    7.68    0    0  (Gen:  1)
21 15852192   7806032  52208424  0.33  0.33    7.02    8.03    0    0  (Gen:  0)
22 17843032   4099280  54426912  0.30  0.30    7.34    8.36    0    0  (Gen:  0)
23 16795848   4431064  56797864  0.30  0.30    7.66    8.69    0    0  (Gen:  0)
24 13681392   3894576  58384728  0.28  0.28    7.95    8.98    0    0  (Gen:  0)
25 24513384   4873808  61781864  0.30  0.30    8.28    9.31    0    0  (Gen:  0)
26 26493072   6907960  65594112  0.31  0.31    8.62    9.65    0    0  (Gen:  0)
27 22843200   6904616  68814352  0.30  0.30    8.94    9.99    0    0  (Gen:  0)
28 17752880   6072096  71563160  0.30  0.30    9.25   10.30    0    0  (Gen:  0)
29 16474248   5296288  74142840  0.29  0.29    9.55   10.60    0    0  (Gen:  0)
30 19385160   5558488  77121144  0.29  0.29    9.84   10.89    0    0  (Gen:  0)
31 16510048   5563112  79705288  0.29  0.29   10.14   11.19    0    0  (Gen:  0)
32 17918608   5328168  82448808  0.30  0.30   10.45   11.50    0    0  (Gen:  0)
33 17890168   5548720  85220632  0.29  0.30   10.75   11.80    0    0  (Gen:  0)
34 17961408   5556176  88004552  0.29  0.30   11.05   12.10    0    0  (Gen:  0)
35 17965824   5569080  90789088  0.30  0.30   11.36   12.41    0    0  (Gen:  0)
36 35983256   7690832  99807296  0.31  0.31   11.70   12.76    0    0  (Gen:  0)
37  2104560  84039616  89741288  0.91  0.91   12.61   13.68    0    0  (Gen:  1)
38260056040  37194160 126173960  0.76  0.76   14.10   15.21    0    0  (Gen:  0)
39 17433872  39243408 128338056  0.59  0.59   14.71   15.85    0    0  (Gen:  0)
40 16115864   3963016 130332720  0.29  0.29   15.01   16.16    0    0  (Gen:  0)
41 19456016   4291056 132816776  0.29  0.29   15.31   16.47    0    0  (Gen:  0)
42 22387496   5228312 135759064  0.30  0.30   15.63   16.79    0    0  (Gen:  0)
43 31404392   7186840 140269104  0.32  0.32   15.99   17.17    0    0  (Gen:  0)
44 20188352   7162160 143099440  0.31  0.31   16.32   17.49    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.66   17.85    0    0  (Gen:  0)
67 26275296   6581712 149690832  0.31  0.31   17.01   18.20    0    0  (Gen:  0)
68 33538792   7670656 154215760  0.32  0.32   17.38   18.57    0    0  (Gen:  0)
69 24284320   7507752 157445992  0.31  0.31   17.72   18.92    0    0  (Gen:  0)
70 22185488   5915168 160422152  0.31  0.31   18.05   19.25    0    0  (Gen:  0)
71 21898616   5890384 163531728  0.29  0.29   18.36   19.58    0    0  (Gen:  0)
72 16419328   5612208 166069112  0.30  0.30   18.67   19.88    0    0  (Gen:  0)
73 17916728   5314648 168845688  0.29  0.29   18.97   20.18    0    0  (Gen:  0)
74 17973720   5564136 171632712  0.29  0.29   19.27   20.49    0    0  (Gen:  0)
75 17942072   5568264 174413160  0.30  0.30   19.58   20.79    0    0  (Gen:  0)
76 18031064   5577664 177209768  0.29  0.29   19.88   21.10    0    0  (Gen:  0)
77 17865408 173472312 179695648  1.56  1.56   21.45   22.67    0    0  (Gen:  1)
78 42971688   7852432 188892752  0.32  0.32   21.80   23.02    0    0  (Gen:  0)
79  2104512   2009184 184413832  0.28  0.28   22.08   23.30    0    0  (Gen:  0)
80216288128  30029872 213726576  0.67  0.67   23.32   24.55    0    0  (Gen:  0)
81 14827032  32295624 216077008  0.54  0.54   23.87   25.12    0    0  (Gen:  0)
82 17921976   5045648 218855640  0.29  0.30   24.17   25.42    0    0  (Gen:  0)
83 17820216   5537992 221614432  0.29  0.29   24.47   25.72    0    0  (Gen:  0)
84 17619744   5482456 224337552  0.29  0.29   24.77   26.02    0    0  (Gen:  0)
85 17776136   5473704 227087520  0.29  0.29   25.07   26.32    0    0  (Gen:  0)
86 20125360   7056736 231393624  0.30  0.30   25.38   26.64    0    0  (Gen:  0)
87 13552312   4928752 233524752  0.28  0.28   25.68   26.93    0    0  (Gen:  0)
88   964240    294616 233417960  0.26  0.26   25.95   27.20    0    0  (Gen:  0)
89158722360  24988896 258755144  0.58  0.58   26.93   28.18    0    0  (Gen:  0)
90 22800312  27977512 261927968  0.48  0.48   27.44   28.72    0    0  (Gen:  0)
91 19432600   5545816 264565536  0.31  0.31   27.78   29.05    0    0  (Gen:  0)
92 16260616   5150600 267094368  0.30  0.30   28.09   29.36    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.49   29.78    0    0  (Gen:  0)
110 17744400   8495880 275381672  0.32  0.32   28.82   30.10    0    0  (Gen:  0)
111 17945040   5531280 278164016  0.29  0.29   29.12   30.40    0    0  (Gen:  0)
112 17853896   5547984 280929064  0.29  0.29   29.42   30.71    0    0  (Gen:  0)
113 24649808   5689912 285868488  0.30  0.30   29.73   31.02    0    0  (Gen:  0)
114   655888   1526952 283555792  0.27  0.27   30.00   31.29    0    0  (Gen:  0)
115117156392  16545400 300337032  0.48  0.48   30.75   32.04    0    0  (Gen:  0)
116 15180680  18051784 301950384  0.40  0.40   31.16   32.45    0    0  (Gen:  0)
117 41805688   7682960 308075144  0.32  0.32   31.55   32.85    0    0  (Gen:  0)
118 16348584   8537184 310632608  0.32  0.32   31.87   33.18    0    0  (Gen:  0)
119 19103968   5487064 313561336  0.30  0.30   32.18   33.48    0    0  (Gen:  0)
120 16150144   5450400 316082120  0.29  0.29   32.48   33.78    0    0  (Gen:  0)
121 19104552   5451784 319012432  0.29  0.29   32.78   34.08    0    0  (Gen:  0)
122 17890064   5734080 321782528  0.29  0.29   33.08   34.38    0    0  (Gen:  0)
123 16278344   5280720 324325184  0.29  0.29   33.38   34.68    0    0  (Gen:  0)
124 17433088   5196648 327011272  0.29  0.29   33.67   34.98    0    0  (Gen:  0)
125 17662520   5415720 329740016  0.29  0.29   33.98   35.28    0    0  (Gen:  0)
126 45426688   8985608 340075552  0.32  0.32   34.33   35.64    0    0  (Gen:  0)
127  2104944   1965240 334775816  0.28  0.28   34.62   35.92    0    0  (Gen:  0)
128256776640  40064312 374084896  0.79  0.79   36.15   37.50    0    0  (Gen:  0)
129 16204624  42552216 376657184  0.62  0.62   36.78   38.13    0    0  (Gen:  0)
130 16373880 349256152 361696584  2.99  3.03   39.78   41.18    0    0  (Gen:  1)
131 17507728   5232248 364365656  0.29  0.29   40.07   41.48    0    0  (Gen:  0)
132 17728016   5446928 367143048  0.29  0.29   40.37   41.77    0    0  (Gen:  0)
133 17731376   5486408 369851400  0.29  0.29   40.67   42.08    0    0  (Gen:  0)
134 17791640   5495392 372604856  0.29  0.29   40.97   42.38    0    0  (Gen:  0)
135 17676864   5485088 375335816  0.29  0.29   41.27   42.68    0    0  (Gen:  0)
136 41217720   7883680 384600208  0.31  0.31   41.62   43.02    0    0  (Gen:  0)
137  2101584   1802296 379928152  0.27  0.27   41.89   43.29    0    0  (Gen:  0)
138218286400  32152736 411319992  0.69  0.69   43.13   44.54    0    0  (Gen:  0)
139 14778256  34301776 413487680  0.55  0.55   43.70   45.11    0    0  (Gen:  0)
140 32326320   6356320 417936768  0.31  0.31   44.05   45.47    0    0  (Gen:  0)
14112455280696  82883848 496328224  1.73  1.75   61.90   66.74    0    1  (Gen:  0)
14212306382840 127539656 549422856  1.91  1.91   77.06   81.90    0    0  (Gen:  0)
14312155248432  68529384 567211384  0.96  0.96   92.37   97.21    0    0  (Gen:  0)
14412293853160  28039208 579344808  0.54  0.54  108.02  112.86    0    0  (Gen:  0)
14512297138128 117538024 696380184  2.15  2.16  125.18  130.03    0    0  (Gen:  0)
14612177633280  70120448 763800272  1.41  1.41  140.89  145.75    0    0  (Gen:  0)
14711362226112 570291968 584506928  4.66  4.66  159.31  164.17    0    0  (Gen:  1)
14812295426024  36578920 620580320  0.85  0.86  174.51  179.37    0    0  (Gen:  0)
14912257062904  13660056 631514904  0.41  0.41  189.15  194.01    0    0  (Gen:  0)
15012242878464  15118440 640704944  0.42  0.42  203.68  208.54    0    0  (Gen:  0)
15112238925800  35569664 675588304  0.80  0.80  218.69  223.56    0    0  (Gen:  0)
15212203298808  21224912 695464336  0.56  0.56  233.13  238.00    0    0  (Gen:  0)
15312177379320  27008816 715135104  0.63  0.63  248.01  252.88    0    0  (Gen:  0)
15412163501928  33474840 747100768  0.73  0.73  262.87  267.74    0    0  (Gen:  0)
15512129988584  35164168 779285984  0.79  0.79  277.76  282.64    0    0  (Gen:  0)
15612100108168  35436680 814119976  0.82  0.82  292.63  297.51    0    0  (Gen:  0)
15712062941184 314015384 1125274688  3.54  3.63  305.86  310.83    0    0  (Gen:  0)
15811221811176 1270589520 2088941664 12.41 12.88  329.14  334.58    4    0  (Gen:  0)
1598740651008 2124643288 3125408656 22.35 22.40  368.96  375.13    7  130  (Gen:  0)
1605351931880 3430348176 3451894920 30.17 31.07  410.14  417.21  190    0  (Gen:  1)
1617198887936 1656205640 4617718288 17.72 17.76  442.51  449.82    9  123  (Gen:  0)
1626178561984 1656768456 5627753744 16.73 16.73  471.97  479.28    0    0  (Gen:  0)
1635262295040 1400296576 6476570432 14.38 14.38  497.57  504.89    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    12m32.563s
184user    10m31.047s
185sys     0m5.983s