Job 464

CakeML:f6d8ed2ee71091a75c6c7c634490380e8abe11a9
  Fix typo [Aug 28 07:46:30]
HOL:cbb8705a7c0e957f4e74ecbb3d77610673cf7673
  Merge pull request #578 from binghe/abstract_topology [Aug 28 23:58:46]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz

Aug 29 03:00:38 Claimed job
Aug 29 03:00:45 Building HOL
Aug 29 03:08:35 Starting developers/bin
Aug 29 03:08:39 Finished developers/bin                                           3s 136MB
Aug 29 03:08:40 Starting semantics/ffi
Aug 29 03:09:14 Finished semantics/ffi                                           33s 394MB
Aug 29 03:09:15 Starting semantics
Aug 29 03:10:34 Finished semantics                                             1m18s 954MB
Aug 29 03:10:35 Starting semantics/proofs
Aug 29 03:13:12 Finished semantics/proofs                                      2m36s   1GB
Aug 29 03:13:13 Starting basis/pure
Aug 29 03:16:39 Finished basis/pure                                            3m25s 680MB
Aug 29 03:16:40 Starting translator
Aug 29 03:17:45 Finished translator                                            1m03s 923MB
Aug 29 03:17:45 Starting compiler/parsing
Aug 29 03:19:20 Finished compiler/parsing                                      1m34s   1GB
Aug 29 03:19:21 Starting characteristic
Aug 29 03:21:43 Finished characteristic                                        2m22s   1GB
Aug 29 03:21:44 Starting translator/monadic
Aug 29 03:23:06 Finished translator/monadic                                    1m21s   1GB
Aug 29 03:23:07 Starting basis
Aug 29 03:39:23 Finished basis                                                16m15s   3GB
Aug 29 03:39:24 Starting compiler/inference
Aug 29 03:41:00 Finished compiler/inference                                    1m35s   1GB
Aug 29 03:41:00 Starting compiler/backend/reg_alloc
Aug 29 03:41:46 Finished compiler/backend/reg_alloc                              45s 941MB
Aug 29 03:41:47 Starting compiler/backend/gc
Aug 29 03:50:30 Finished compiler/backend/gc                                   8m42s   3GB
Aug 29 03:50:31 Starting compiler/backend
Aug 29 03:50:34 Finished compiler/backend                                         2s  18MB
Aug 29 03:50:35 Starting compiler/encoders/asm
Aug 29 03:50:36 Finished compiler/encoders/asm                                    0s  12MB
Aug 29 03:50:37 Starting compiler/encoders/x64
Aug 29 03:51:25 Finished compiler/encoders/x64                                   47s 589MB
Aug 29 03:51:26 Starting compiler/encoders/arm6
Aug 29 03:53:06 Finished compiler/encoders/arm6                                1m39s   1GB
Aug 29 03:53:07 Starting compiler/encoders/arm8
Aug 29 03:53:31 Finished compiler/encoders/arm8                                  23s 460MB
Aug 29 03:53:32 Starting compiler/encoders/mips
Aug 29 03:54:28 Finished compiler/encoders/mips                                  55s 902MB
Aug 29 03:54:29 Starting compiler/encoders/riscv
Aug 29 03:55:27 Finished compiler/encoders/riscv                                 57s 704MB
Aug 29 03:55:28 Starting compiler/backend/x64
Aug 29 03:55:46 Finished compiler/backend/x64                                    17s   1GB
Aug 29 03:55:47 Starting compiler/backend/arm6
Aug 29 03:56:07 Finished compiler/backend/arm6                                   19s   1GB
Aug 29 03:56:07 Starting compiler/backend/arm8
Aug 29 03:56:26 Finished compiler/backend/arm8                                   17s 936MB
Aug 29 03:56:26 Starting compiler/backend/mips
Aug 29 03:56:44 Finished compiler/backend/mips                                   17s   1GB
Aug 29 03:56:45 Starting compiler/backend/riscv
Aug 29 03:57:03 Finished compiler/backend/riscv                                  18s   1GB
Aug 29 03:57:04 Starting compiler/parsing/proofs
Aug 29 04:03:05 Finished compiler/parsing/proofs                               5m59s 847MB
Aug 29 04:03:06 Starting compiler/inference/proofs
Aug 29 04:05:54 Finished compiler/inference/proofs                             2m47s   1GB
Aug 29 04:05:54 Starting compiler/backend/semantics
Aug 29 04:14:58 Finished compiler/backend/semantics                            9m02s   2GB
Aug 29 04:14:58 Starting compiler/backend/reg_alloc/proofs
Aug 29 04:22:25 Finished compiler/backend/reg_alloc/proofs                     7m25s 473MB
Aug 29 04:22:26 Starting compiler/backend/proofs
Aug 29 04:58:13 Finished compiler/backend/proofs                              35m46s   3GB
Aug 29 04:58:14 Starting compiler/encoders/x64/proofs
Aug 29 05:05:27 Finished compiler/encoders/x64/proofs                          7m12s   5GB
Aug 29 05:05:28 Starting compiler/encoders/arm6/proofs
Aug 29 05:12:57 Finished compiler/encoders/arm6/proofs                         7m28s   3GB
Aug 29 05:12:58 Starting compiler/encoders/arm8/proofs
Aug 29 05:18:15 Finished compiler/encoders/arm8/proofs                         5m16s   1GB
Aug 29 05:18:16 Starting compiler/encoders/mips/proofs
Aug 29 05:25:30 Finished compiler/encoders/mips/proofs                         7m13s   2GB
Aug 29 05:25:31 Starting compiler/encoders/riscv/proofs
Aug 29 05:33:29 Finished compiler/encoders/riscv/proofs                        7m57s 770MB
Aug 29 05:33:30 Starting compiler/backend/x64/proofs
Aug 29 05:33:50 Finished compiler/backend/x64/proofs                             19s   1GB
Aug 29 05:33:50 Starting compiler/backend/arm6/proofs
Aug 29 05:34:12 Finished compiler/backend/arm6/proofs                            20s 890MB
Aug 29 05:34:13 Starting compiler/backend/arm8/proofs
Aug 29 05:34:33 Finished compiler/backend/arm8/proofs                            19s 979MB
Aug 29 05:34:33 Starting compiler/backend/mips/proofs
Aug 29 05:34:56 Finished compiler/backend/mips/proofs                            21s   1GB
Aug 29 05:34:56 Starting compiler/backend/riscv/proofs
Aug 29 05:35:17 Finished compiler/backend/riscv/proofs                           20s   1GB
Aug 29 05:35:18 Starting compiler/proofs
Aug 29 05:36:35 Finished compiler/proofs                                       1m16s   2GB
Aug 29 05:36:35 Starting candle/set-theory
Aug 29 05:37:03 Finished candle/set-theory                                       27s 585MB
Aug 29 05:37:04 Starting candle/syntax-lib
Aug 29 05:37:14 Finished candle/syntax-lib                                        9s 594MB
Aug 29 05:37:15 Starting candle/standard/syntax
Aug 29 05:38:47 Finished candle/standard/syntax                                1m31s   1GB
Aug 29 05:38:48 Starting candle/standard/semantics
Aug 29 05:40:08 Finished candle/standard/semantics                             1m19s 856MB
Aug 29 05:40:09 Starting candle/standard/monadic
Aug 29 05:41:42 Finished candle/standard/monadic                               1m32s 977MB
Aug 29 05:41:43 Starting candle/standard/ml_kernel
Aug 29 05:57:51 Finished candle/standard/ml_kernel                            16m07s   4GB
Aug 29 05:57:52 Starting candle/standard/opentheory
Aug 29 06:06:32 Finished candle/standard/opentheory                            8m39s   8GB
Aug 29 06:06:33 Starting characteristic/examples
Aug 29 06:08:08 Finished characteristic/examples                               1m34s   2GB
Aug 29 06:08:09 Starting tutorial/solutions
Aug 29 06:21:33 Finished tutorial/solutions                                   13m24s   7GB
Aug 29 06:21:34 Starting translator/monadic/examples
Aug 29 06:23:17 Finished translator/monadic/examples                           1m42s   2GB
Aug 29 06:23:18 Starting examples
Aug 29 06:28:58 Finished examples                                              5m38s   4GB
Aug 29 06:28:58 Starting examples/compilation
Aug 29 08:24:10 Finished examples/compilation                               1h55m10s  11GB
Aug 29 08:24:11 Starting examples/compilation/proofs
Aug 29 08:25:57 Finished examples/compilation/proofs                           1m44s   3GB
Aug 29 08:25:57 Starting compiler/benchmarks
Aug 29 08:25:58 Finished compiler/benchmarks                                      0s   4MB
Aug 29 08:25:59 Starting translator/okasaki-examples
Aug 29 08:29:31 Finished translator/okasaki-examples                           3m31s   1GB
Aug 29 08:29:32 Starting translator/other-examples
Aug 29 08:32:51 Finished translator/other-examples                             3m18s 988MB
Aug 29 08:32:52 Starting compiler/parsing/tests
Aug 29 08:33:16 Finished compiler/parsing/tests                                  24s 331MB
Aug 29 08:33:17 Starting compiler/inference/tests
Aug 29 08:37:15 Finished compiler/inference/tests                              3m57s   4GB
Aug 29 08:37:16 Starting compiler/bootstrap/translation
Aug 29 13:46:46 Finished compiler/bootstrap/translation                     5h09m28s  54GB
Aug 29 13:46:47 Starting unverified/sexpr-bootstrap/x64/64
Aug 29 13:50:03 Finished unverified/sexpr-bootstrap/x64/64                     3m14s  11GB
Aug 29 13:50:03 Starting unverified/sexpr-bootstrap/x64/32
Aug 29 13:52:23 Finished unverified/sexpr-bootstrap/x64/32                     2m18s  11GB
Aug 29 13:52:24 Starting compiler/bootstrap/compilation/x64/64 Aug 29 13:52:24 2643s