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

File 2010-10-26_1.log, 14.1 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.55    0.46    0.63   10   17  (Gen:  1)
5 15456456   2084640   2244960  0.33  0.35    0.80    1.04    0    0  (Gen:  0)
6 16410352    155232    259776  0.24  0.24    1.05    1.29    0    0  (Gen:  0)
7 13546808   2140888   2386384  0.26  0.26    1.32    1.59    0    0  (Gen:  0)
8 16484872   4457224   4917720  0.27  0.27    1.60    1.87    0    0  (Gen:  0)
9 19042576   7400872   7496208  0.30  0.30    1.91    2.18    0    0  (Gen:  1)
10  6482112   3429104   8528680  0.26  0.26    2.18    2.45    0    0  (Gen:  0)
11 14353456   8015128   9538472  0.31  0.31    2.51    2.78    0    0  (Gen:  1)
12 64480392  11046072  18868808  0.36  0.36    3.00    3.33    0    0  (Gen:  0)
13 16635032  12035264  21440680  0.33  0.33    3.34    3.67    0    0  (Gen:  0)
14 17908264  22559144  24207776  0.41  0.41    3.76    4.09    0    0  (Gen:  1)
15 16644304   5350728  26815080  0.28  0.28    4.04    4.38    0    0  (Gen:  0)
16 19011840   4838512  31061192  0.28  0.28    4.33    4.67    0    0  (Gen:  0)
17   632208    898296  28809104  0.25  0.25    4.58    4.91    0    0  (Gen:  0)
18114153920  15263280  44341744  0.44  0.44    5.27    5.66    0    0  (Gen:  0)
19 17706136  18002800  47048888  0.38  0.38    5.66    6.05    0    0  (Gen:  0)
20 42171104  47494648  50153696  0.63  0.63    6.36    6.75    0    0  (Gen:  1)
21 15852192   7806032  52208424  0.30  0.30    6.68    7.07    0    0  (Gen:  0)
22 17843032   4099280  54426912  0.27  0.27    6.97    7.38    0    0  (Gen:  0)
23 16795848   4431064  56797864  0.28  0.28    7.26    7.68    0    0  (Gen:  0)
24 13681392   3894576  58384728  0.27  0.27    7.55    7.98    0    0  (Gen:  0)
25 24513384   4873808  61781864  0.28  0.28    7.85    8.29    0    0  (Gen:  0)
26 26493072   6907960  65594112  0.30  0.30    8.18    8.62    0    0  (Gen:  0)
27 22843200   6904616  68814352  0.30  0.30    8.50    8.96    0    0  (Gen:  0)
28 17752880   6072096  71563160  0.28  0.28    8.79    9.25    0    0  (Gen:  0)
29 16474248   5296288  74142840  0.28  0.28    9.07    9.54    0    0  (Gen:  0)
30 19385160   5558488  77121144  0.28  0.28    9.36    9.83    0    0  (Gen:  0)
31 16510048   5563112  79705288  0.28  0.28    9.65   10.12    0    0  (Gen:  0)
32 17918608   5328168  82448808  0.28  0.28    9.94   10.40    0    0  (Gen:  0)
33 17890168   5548720  85220632  0.28  0.28   10.23   10.69    0    0  (Gen:  0)
34 17961408   5556176  88004552  0.28  0.28   10.51   10.98    0    0  (Gen:  0)
35 17965824   5569080  90789088  0.28  0.28   10.80   11.27    0    0  (Gen:  0)
36 35983256   7690832  99807296  0.30  0.30   11.13   11.60    0    0  (Gen:  0)
37  2104560  84039616  89741288  0.91  0.92   12.04   12.53    0    0  (Gen:  1)
38260056040  37194160 126173960  0.73  0.74   13.46   13.99    0    0  (Gen:  0)
39 17433872  39243408 128338056  0.58  0.59   14.06   14.63    0    0  (Gen:  0)
40 16115864   3963016 130332720  0.27  0.27   14.35   14.94    0    0  (Gen:  0)
41 19456016   4291056 132816776  0.28  0.28   14.65   15.24    0    0  (Gen:  0)
42 22387496   5228312 135759064  0.29  0.29   14.95   15.55    0    0  (Gen:  0)
43 31404392   7186840 140269104  0.31  0.31   15.31   15.92    0    0  (Gen:  0)
44 20188352   7162160 143099440  0.30  0.30   15.62   16.24    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.29  0.30   15.95   16.57    0    0  (Gen:  0)
67 26275296   6581712 149690832  0.30  0.30   16.28   16.91    0    0  (Gen:  0)
68 33538792   7670656 154215760  0.32  0.32   16.64   17.27    0    0  (Gen:  0)
69 24284320   7507752 157445992  0.31  0.31   16.98   17.62    0    0  (Gen:  0)
70 22185488   5915168 160422152  0.30  0.30   17.30   17.94    0    0  (Gen:  0)
71 21898616   5890384 163531728  0.29  0.29   17.61   18.25    0    0  (Gen:  0)
72 16419328   5612208 166069112  0.28  0.28   17.90   18.54    0    0  (Gen:  0)
73 17916728   5314648 168845688  0.28  0.28   18.19   18.83    0    0  (Gen:  0)
74 17973720   5564136 171632712  0.28  0.29   18.48   19.12    0    0  (Gen:  0)
75 17942072   5568264 174413160  0.29  0.29   18.77   19.42    0    0  (Gen:  0)
76 18031064   5577664 177209768  0.28  0.28   19.07   19.71    0    0  (Gen:  0)
77 17865408 173472312 179695648  1.55  1.56   20.63   21.28    0    0  (Gen:  1)
78 42971688   7852432 188892752  0.30  0.30   20.96   21.61    0    0  (Gen:  0)
79  2104512   2009184 184413832  0.27  0.27   21.23   21.89    0    0  (Gen:  0)
80216288128  30029872 213726576  0.66  0.66   22.44   23.11    0    0  (Gen:  0)
81 14827032  32295624 216077008  0.52  0.52   22.97   23.67    0    0  (Gen:  0)
82 17921976   5045648 218855640  0.28  0.28   23.26   23.96    0    0  (Gen:  0)
83 17820216   5537992 221614432  0.28  0.28   23.55   24.25    0    0  (Gen:  0)
84 17619744   5482456 224337552  0.28  0.28   23.84   24.54    0    0  (Gen:  0)
85 17776136   5473704 227087520  0.28  0.28   24.12   24.83    0    0  (Gen:  0)
86 20125360   7056736 231393624  0.30  0.30   24.44   25.15    0    0  (Gen:  0)
87 13552312   4928752 233524752  0.27  0.28   24.72   25.44    0    0  (Gen:  0)
88   964240    294616 233417960  0.25  0.25   24.98   25.69    0    0  (Gen:  0)
89158722360  24988896 258755144  0.56  0.57   25.93   26.66    0    0  (Gen:  0)
90 22800312  27977512 261927968  0.46  0.46   26.41   27.16    0    0  (Gen:  0)
91 19432600   5545816 264565536  0.28  0.28   26.71   27.47    0    0  (Gen:  0)
92 16260616   5150600 267094368  0.27  0.28   27.00   27.75    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.31  0.32   27.38   28.14    0    0  (Gen:  0)
110 17744400   8495880 275381672  0.30  0.30   27.69   28.46    0    0  (Gen:  0)
111 17945040   5531280 278164016  0.27  0.28   27.97   28.74    0    0  (Gen:  0)
112 17853896   5547984 280929064  0.27  0.28   28.25   29.03    0    0  (Gen:  0)
113 24649808   5689912 285868488  0.28  0.28   28.55   29.33    0    0  (Gen:  0)
114   655888   1526952 283555792  0.25  0.25   28.80   29.58    0    0  (Gen:  0)
115117156392  16545400 300337032  0.45  0.45   29.50   30.30    0    0  (Gen:  0)
116 15180680  18051784 301950384  0.37  0.38   29.89   30.69    0    0  (Gen:  0)
117 41805688   7682960 308075144  0.31  0.31   30.26   31.09    0    0  (Gen:  0)
118 16348584   8537184 310632608  0.30  0.30   30.56   31.40    0    0  (Gen:  0)
119 19103968   5487064 313561336  0.27  0.28   30.84   31.68    0    0  (Gen:  0)
120 16150144   5450400 316082120  0.27  0.28   31.12   31.97    0    0  (Gen:  0)
121 19104552   5451784 319012432  0.27  0.28   31.40   32.25    0    0  (Gen:  0)
122 17890064   5734080 321782528  0.28  0.28   31.69   32.54    0    0  (Gen:  0)
123 16278344   5280720 324325184  0.28  0.28   31.98   32.83    0    0  (Gen:  0)
124 17433088   5196648 327011272  0.30  0.30   32.29   33.14    0    0  (Gen:  0)
125 17662520   5415720 329740016  0.27  0.27   32.57   33.42    0    0  (Gen:  0)
126 45426688   8985608 340075552  0.30  0.31   32.90   33.76    0    0  (Gen:  0)
127  2104944   1965240 334775816  0.26  0.27   33.17   34.03    0    0  (Gen:  0)
128256776640  40064312 374084896  0.77  0.78   34.64   35.57    0    0  (Gen:  0)
129 16204624  42552216 376657184  0.61  0.62   35.26   36.20    0    0  (Gen:  0)
130 16373880 349256152 361696584  3.02  3.06   38.29   39.27    0    0  (Gen:  1)
131 17507728   5232248 364365656  0.28  0.28   38.58   39.56    0    0  (Gen:  0)
132 17728016   5446928 367143048  0.28  0.28   38.87   39.85    0    0  (Gen:  0)
133 17731376   5486408 369851400  0.28  0.28   39.16   40.15    0    0  (Gen:  0)
134 17791640   5495392 372604856  0.29  0.29   39.46   40.44    0    0  (Gen:  0)
135 17676864   5485088 375335816  0.28  0.28   39.75   40.73    0    0  (Gen:  0)
136 41217720   7883680 384600208  0.31  0.31   40.08   41.07    0    0  (Gen:  0)
137  2101584   1802296 379928152  0.26  0.26   40.35   41.34    0    0  (Gen:  0)
138218286400  32152736 411319992  0.69  0.69   41.59   42.58    0    0  (Gen:  0)
139 14778256  34301776 413487680  0.53  0.53   42.13   43.12    0    0  (Gen:  0)
140 32326320   6356320 417936768  0.30  0.30   42.47   43.49    0    0  (Gen:  0)
14112455280696  82883848 496328224  1.75  1.77   60.26   64.74    0    2  (Gen:  0)
14212306382840 127539656 549422856  1.90  1.90   75.22   79.71    0    0  (Gen:  0)
14312155248432  68529384 567211384  0.97  0.97   90.40   94.89    0    0  (Gen:  0)
14412293853160  28039208 579344808  0.53  0.53  105.74  110.23    0    0  (Gen:  0)
14512297138128 117538024 696380184  2.12  2.13  122.62  127.12    0    0  (Gen:  0)
14612177633280  70120448 763800272  1.42  1.42  138.04  142.55    0    0  (Gen:  0)
14711362226112 570291968 584506928  4.68  4.68  155.41  159.92    0    0  (Gen:  1)
14812295426024  36578920 620580320  0.82  0.82  170.38  174.90    0    0  (Gen:  0)
14912257062904  13660056 631514904  0.40  0.40  184.63  189.15    0    0  (Gen:  0)
15012242878464  15118440 640704944  0.42  0.42  199.06  203.58    0    0  (Gen:  0)
15112238925800  35569664 675588304  0.82  0.83  213.99  218.51    0    0  (Gen:  0)
15212203298808  21224912 695464336  0.55  0.55  228.53  233.06    0    0  (Gen:  0)
15312177379320  27008816 715135104  0.64  0.64  243.21  247.74    0    0  (Gen:  0)
15412163501928  33474840 747100768  0.73  0.73  257.94  262.47    0    0  (Gen:  0)
15512129988584  35164168 779285984  0.77  0.78  272.48  277.02    0    0  (Gen:  0)
15612100108168  35436680 814119976  0.82  0.82  287.20  291.74    0    0  (Gen:  0)
15712062941184 314015384 1125274688  3.50  3.56  300.12  304.72    0    0  (Gen:  0)
15811221811176 1270589520 2088941664 12.47 12.61  323.19  327.93    0    0  (Gen:  0)
1598740651008 2124643288 3125408656 22.38 22.38  363.06  367.81    0    0  (Gen:  0)
1605351931880 3430348176 3451894920 30.06 30.07  403.89  408.65    0    0  (Gen:  1)
1617198887936 1656205640 4617718288 17.72 17.72  436.42  441.18    0    0  (Gen:  0)
1626178561984 1656768456 5627753744 16.80 16.80  466.04  470.81    0    0  (Gen:  0)
1635262295040 1400296576 6476570432 14.40 14.41  491.66  496.43    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:
177Hangup
178
179real    7113m12.134s
180user    7103m31.384s
181sys     0m9.103s