Job 1017

CakeML:b8905595f576715a674870c6acfe2977561a7a36
  Merge pull request #677 from CakeML/clos-install [Aug 21 17:07:21]
HOL:70d0dd4d0fe72fb972f326f15575166123e20588
  Tweak releasing-hol script to DTRT with first use of --reusecommit [Aug 21 00:01:57]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Aug 24 14:33:18 Claimed job
Aug 24 14:34:10 Building HOL
Aug 24 14:42:14 Starting developers
Aug 24 14:42:14 Finished developers                                               0s  38MB
Aug 24 14:42:15 Starting developers/bin
Aug 24 14:43:43 Finished developers/bin                                        1m27s 238MB
Aug 24 14:43:43 Starting semantics/ffi
Aug 24 14:44:17 Finished semantics/ffi                                           33s 479MB
Aug 24 14:44:17 Starting semantics
Aug 24 14:45:47 Finished semantics                                             1m28s   1GB
Aug 24 14:45:47 Starting semantics/proofs
Aug 24 14:48:52 Finished semantics/proofs                                      3m04s 988MB
Aug 24 14:48:52 Starting semantics/alt_semantics
Aug 24 14:48:58 Finished semantics/alt_semantics                                  5s 312MB
Aug 24 14:48:59 Starting semantics/alt_semantics/proofs
Aug 24 14:50:44 Finished semantics/alt_semantics/proofs                        1m44s 837MB
Aug 24 14:50:44 Starting basis/pure
Aug 24 14:54:15 Finished basis/pure                                            3m31s 681MB
Aug 24 14:54:16 Starting translator
Aug 24 14:55:59 Finished translator                                            1m43s   1GB
Aug 24 14:56:00 Starting compiler/parsing
Aug 24 14:56:57 Finished compiler/parsing                                        56s   2GB
Aug 24 14:56:57 Starting characteristic
Aug 24 15:02:05 Finished characteristic                                        5m07s   1GB
Aug 24 15:02:05 Starting translator/monadic
Aug 24 15:03:29 Finished translator/monadic                                    1m23s   1GB
Aug 24 15:03:30 Starting basis
Aug 24 15:21:39 Finished basis                                                18m08s   3GB
Aug 24 15:21:39 Starting compiler/inference
Aug 24 15:23:29 Finished compiler/inference                                    1m49s   1GB
Aug 24 15:23:29 Starting compiler/backend/reg_alloc
Aug 24 15:24:27 Finished compiler/backend/reg_alloc                              57s   1GB
Aug 24 15:24:28 Starting compiler/backend/gc
Aug 24 15:33:29 Finished compiler/backend/gc                                   9m01s   2GB
Aug 24 15:33:30 Starting compiler/backend
Aug 24 15:33:31 Finished compiler/backend                                         0s  42MB
Aug 24 15:33:31 Starting compiler/encoders/asm
Aug 24 15:33:32 Finished compiler/encoders/asm                                    0s  38MB
Aug 24 15:33:32 Starting compiler/encoders/x64
Aug 24 15:34:28 Finished compiler/encoders/x64                                   56s 952MB
Aug 24 15:34:29 Starting compiler/encoders/arm7
Aug 24 15:36:08 Finished compiler/encoders/arm7                                1m38s   1GB
Aug 24 15:36:08 Starting compiler/encoders/arm8
Aug 24 15:36:37 Finished compiler/encoders/arm8                                  28s 878MB
Aug 24 15:36:37 Starting compiler/encoders/mips
Aug 24 15:37:41 Finished compiler/encoders/mips                                1m03s   1GB
Aug 24 15:37:42 Starting compiler/encoders/riscv
Aug 24 15:38:59 Finished compiler/encoders/riscv                               1m17s 756MB
Aug 24 15:39:00 Starting compiler/encoders/ag32
Aug 24 15:39:15 Finished compiler/encoders/ag32                                  14s 520MB
Aug 24 15:39:15 Starting compiler/backend/x64
Aug 24 15:39:30 Finished compiler/backend/x64                                    14s 896MB
Aug 24 15:39:30 Starting compiler/backend/arm7
Aug 24 15:39:49 Finished compiler/backend/arm7                                   17s   1GB
Aug 24 15:39:49 Starting compiler/backend/arm8
Aug 24 15:40:05 Finished compiler/backend/arm8                                   16s   1GB
Aug 24 15:40:06 Starting compiler/backend/mips
Aug 24 15:40:23 Finished compiler/backend/mips                                   16s   1GB
Aug 24 15:40:23 Starting compiler/backend/riscv
Aug 24 15:40:41 Finished compiler/backend/riscv                                  17s   1GB
Aug 24 15:40:42 Starting compiler/backend/ag32
Aug 24 15:41:50 Finished compiler/backend/ag32                                 1m07s   1GB
Aug 24 15:41:50 Starting compiler/parsing/proofs
Aug 24 15:47:22 Finished compiler/parsing/proofs                               5m32s 801MB
Aug 24 15:47:23 Starting compiler/inference/proofs
Aug 24 15:50:03 Finished compiler/inference/proofs                             2m40s   1GB
Aug 24 15:50:04 Starting compiler/backend/semantics
Aug 24 15:55:54 Finished compiler/backend/semantics                            5m49s   1GB
Aug 24 15:55:54 Starting compiler/backend/reg_alloc/proofs
Aug 24 15:59:08 Finished compiler/backend/reg_alloc/proofs                     3m13s 931MB
Aug 24 15:59:08 Starting compiler/backend/proofs
Aug 24 16:36:24 Finished compiler/backend/proofs                              37m15s   4GB
Aug 24 16:36:25 Starting compiler/encoders/x64/proofs
Aug 24 16:46:32 Finished compiler/encoders/x64/proofs                         10m06s   4GB
Aug 24 16:46:32 Starting compiler/encoders/arm7/proofs
Aug 24 17:00:07 Finished compiler/encoders/arm7/proofs                        13m34s   3GB
Aug 24 17:00:08 Starting compiler/encoders/arm8/proofs
Aug 24 17:06:50 Finished compiler/encoders/arm8/proofs                         6m42s   1GB
Aug 24 17:06:51 Starting compiler/encoders/mips/proofs
Aug 24 17:16:53 Finished compiler/encoders/mips/proofs                        10m01s   3GB
Aug 24 17:16:53 Starting compiler/encoders/riscv/proofs
Aug 24 17:25:20 Finished compiler/encoders/riscv/proofs                        8m26s 973MB
Aug 24 17:25:21 Starting compiler/encoders/ag32/proofs
Aug 24 17:27:48 Finished compiler/encoders/ag32/proofs                         2m27s 843MB
Aug 24 17:27:49 Starting compiler/backend/x64/proofs
Aug 24 17:28:06 Finished compiler/backend/x64/proofs                             16s   1GB
Aug 24 17:28:06 Starting compiler/backend/arm7/proofs
Aug 24 17:28:23 Finished compiler/backend/arm7/proofs                            16s   1GB
Aug 24 17:28:23 Starting compiler/backend/arm8/proofs
Aug 24 17:28:39 Finished compiler/backend/arm8/proofs                            15s   1GB
Aug 24 17:28:40 Starting compiler/backend/mips/proofs
Aug 24 17:28:58 Finished compiler/backend/mips/proofs                            17s   1GB
Aug 24 17:28:58 Starting compiler/backend/riscv/proofs
Aug 24 17:29:15 Finished compiler/backend/riscv/proofs                           16s   1GB
Aug 24 17:29:15 Starting compiler/backend/ag32/proofs
Aug 24 17:38:12 Finished compiler/backend/ag32/proofs                          8m55s   2GB
Aug 24 17:38:12 Starting compiler/proofs
Aug 24 17:39:41 Finished compiler/proofs                                       1m28s   3GB
Aug 24 17:39:41 Starting candle/set-theory
Aug 24 17:40:06 Finished candle/set-theory                                       24s 779MB
Aug 24 17:40:07 Starting candle/syntax-lib
Aug 24 17:40:16 Finished candle/syntax-lib                                        8s 729MB
Aug 24 17:40:16 Starting candle/standard/syntax
Aug 24 17:41:57 Finished candle/standard/syntax                                1m40s 966MB
Aug 24 17:41:57 Starting candle/standard/semantics
Aug 24 17:43:31 Finished candle/standard/semantics                             1m33s   1GB
Aug 24 17:43:31 Starting candle/standard/monadic
Aug 24 17:45:04 Finished candle/standard/monadic                               1m32s   1GB
Aug 24 17:45:04 Starting candle/standard/ml_kernel
Aug 24 17:48:52 Finished candle/standard/ml_kernel                             3m47s   6GB
Aug 24 17:48:53 Starting candle/standard/opentheory
Aug 24 17:57:24 Finished candle/standard/opentheory                            8m31s   3GB
Aug 24 17:57:25 Starting candle/standard/opentheory/compilation
Aug 24 18:27:11 Finished candle/standard/opentheory/compilation               29m46s  16GB
Aug 24 18:27:12 Starting candle/standard/opentheory/compilation/proofs
Aug 24 18:27:52 Finished candle/standard/opentheory/compilation/proofs           40s   2GB
Aug 24 18:27:53 Starting characteristic/examples
Aug 24 18:29:18 Finished characteristic/examples                               1m25s   2GB
Aug 24 18:29:19 Starting tutorial/solutions
Aug 24 18:42:10 Finished tutorial/solutions                                   12m50s   8GB
Aug 24 18:42:11 Starting translator/monadic/examples
Aug 24 18:45:00 Finished translator/monadic/examples                           2m49s   2GB
Aug 24 18:45:00 Starting examples
Aug 24 18:53:50 Finished examples                                              8m49s   4GB
Aug 24 18:53:50 Starting examples/compilation/x64
Aug 24 20:58:33 Finished examples/compilation/x64                           2h04m41s  13GB
Aug 24 20:58:33 Starting examples/compilation/x64/proofs
Aug 24 21:00:15 Finished examples/compilation/x64/proofs                       1m41s   2GB
Aug 24 21:00:15 Starting examples/compilation/ag32
Aug 24 21:32:40 Finished examples/compilation/ag32                            32m24s   6GB
Aug 24 21:32:40 Starting examples/compilation/ag32/proofs
Aug 24 21:33:27 Finished examples/compilation/ag32/proofs                        46s   3GB
Aug 24 21:33:28 Starting translator/okasaki-examples
Aug 24 21:37:54 Finished translator/okasaki-examples                           4m25s   1GB
Aug 24 21:37:54 Starting translator/other-examples
Aug 24 21:41:33 Finished translator/other-examples                             3m38s   1GB
Aug 24 21:41:33 Starting compiler/parsing/tests
Aug 24 21:41:59 Finished compiler/parsing/tests                                  25s 522MB
Aug 24 21:41:59 Starting compiler/inference/tests
Aug 24 21:46:22 Finished compiler/inference/tests                              4m22s   5GB
Aug 24 21:46:23 Starting compiler/bootstrap/translation
Aug 25 00:19:02 Finished compiler/bootstrap/translation                     2h32m38s  51GB
Aug 25 00:19:02 Starting unverified/sexpr-bootstrap/x64/64
Aug 25 00:31:09 Finished unverified/sexpr-bootstrap/x64/64                    12m06s   2GB
Aug 25 00:31:10 Starting unverified/sexpr-bootstrap/x64/32
Aug 25 00:39:53 Finished unverified/sexpr-bootstrap/x64/32                     8m41s   6GB
Aug 25 00:39:53 Starting compiler/benchmarks
Aug 25 01:16:36 Finished compiler/benchmarks                                  36m43s   1GB
Aug 25 01:16:37 Starting compiler/bootstrap/compilation/x64/64
Aug 25 14:31:33 Finished compiler/bootstrap/compilation/x64/64             13h14m54s  64GB
Aug 25 14:31:33 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 25 14:34:54 Finished compiler/bootstrap/compilation/x64/64/proofs          3m20s   5GB
Aug 25 14:34:54 Starting compiler/bootstrap/compilation/x64/32
Aug 26 01:42:01 Finished compiler/bootstrap/compilation/x64/32             11h07m04s  64GB
Aug 26 01:42:01 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 26 01:45:44 Finished compiler/bootstrap/compilation/x64/32/proofs          3m42s   4GB
Aug 26 01:45:44 Starting compiler/bootstrap/compilation/ag32/32
Aug 26 14:16:12 Finished compiler/bootstrap/compilation/ag32/32            12h30m27s  63GB
Aug 26 14:16:13 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 26 14:43:10 Finished compiler/bootstrap/compilation/ag32/32/proofs        26m57s  16GB
Aug 26 14:43:11 SUCCESS