Job 1040

CakeML:30193e4df86fc6ee1df59c8baf4b125c84ba01d4
  Merge pull request #690 from CakeML/close-files [Sep 13 07:50:45]
HOL:c85f70b455b780c53c478eba1f68982e89cc3c61
  Remove a stray trailing whitespace in examples/.../regexpScript.sml [Sep 11 00:41:52]
Machine:brain08 4.19.67.1.amd64-smp
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Sep 15 17:32:12 Claimed job
Sep 15 17:32:18 Building HOL
Sep 15 17:49:06 Starting developers
Sep 15 17:49:12 Finished developers                                               5s  76MB
Sep 15 17:49:12 Starting developers/bin
Sep 15 17:49:23 Finished developers/bin                                          10s 965MB
Sep 15 17:49:23 Starting semantics/ffi
Sep 15 17:50:36 Finished semantics/ffi                                         1m12s 552MB
Sep 15 17:50:36 Starting semantics
Sep 15 17:53:27 Finished semantics                                             2m50s   1GB
Sep 15 17:53:27 Starting semantics/proofs
Sep 15 17:59:11 Finished semantics/proofs                                      5m43s   1GB
Sep 15 17:59:11 Starting semantics/alt_semantics
Sep 15 17:59:25 Finished semantics/alt_semantics                                 13s 307MB
Sep 15 17:59:25 Starting semantics/alt_semantics/proofs
Sep 15 18:03:01 Finished semantics/alt_semantics/proofs                        3m35s 852MB
Sep 15 18:03:01 Starting basis/pure
Sep 15 18:10:09 Finished basis/pure                                            7m07s 930MB
Sep 15 18:10:09 Starting translator
Sep 15 18:13:18 Finished translator                                            3m09s   1GB
Sep 15 18:13:19 Starting compiler/parsing
Sep 15 18:15:04 Finished compiler/parsing                                      1m45s   2GB
Sep 15 18:15:04 Starting characteristic
Sep 15 18:25:06 Finished characteristic                                       10m01s   2GB
Sep 15 18:25:06 Starting translator/monadic
Sep 15 18:27:54 Finished translator/monadic                                    2m47s   1GB
Sep 15 18:27:54 Starting basis
Sep 15 19:04:03 Finished basis                                                36m08s   2GB
Sep 15 19:04:03 Starting compiler/inference
Sep 15 19:07:39 Finished compiler/inference                                    3m35s   1GB
Sep 15 19:07:39 Starting compiler/backend/reg_alloc
Sep 15 19:09:24 Finished compiler/backend/reg_alloc                            1m44s   1GB
Sep 15 19:09:24 Starting compiler/backend/gc
Sep 15 19:25:46 Finished compiler/backend/gc                                  16m21s   1GB
Sep 15 19:25:46 Starting compiler/backend
Sep 15 19:25:49 Finished compiler/backend                                         2s  42MB
Sep 15 19:25:49 Starting compiler/encoders/asm
Sep 15 19:25:50 Finished compiler/encoders/asm                                    1s  24MB
Sep 15 19:25:50 Starting compiler/encoders/x64
Sep 15 19:27:48 Finished compiler/encoders/x64                                 1m57s 963MB
Sep 15 19:27:48 Starting compiler/encoders/arm7
Sep 15 19:31:03 Finished compiler/encoders/arm7                                3m14s   1GB
Sep 15 19:31:03 Starting compiler/encoders/arm8
Sep 15 19:32:05 Finished compiler/encoders/arm8                                1m01s 546MB
Sep 15 19:32:05 Starting compiler/encoders/mips
Sep 15 19:34:13 Finished compiler/encoders/mips                                2m07s   1GB
Sep 15 19:34:13 Starting compiler/encoders/riscv
Sep 15 19:36:41 Finished compiler/encoders/riscv                               2m28s 995MB
Sep 15 19:36:42 Starting compiler/encoders/ag32
Sep 15 19:37:13 Finished compiler/encoders/ag32                                  31s 766MB
Sep 15 19:37:13 Starting compiler/backend/x64
Sep 15 19:37:46 Finished compiler/backend/x64                                    33s   1GB
Sep 15 19:37:47 Starting compiler/backend/arm7
Sep 15 19:38:25 Finished compiler/backend/arm7                                   37s   1GB
Sep 15 19:38:25 Starting compiler/backend/arm8
Sep 15 19:39:00 Finished compiler/backend/arm8                                   35s   1GB
Sep 15 19:39:00 Starting compiler/backend/mips
Sep 15 19:39:32 Finished compiler/backend/mips                                   30s 930MB
Sep 15 19:39:32 Starting compiler/backend/riscv
Sep 15 19:40:05 Finished compiler/backend/riscv                                  32s   1GB
Sep 15 19:40:05 Starting compiler/backend/ag32
Sep 15 19:42:05 Finished compiler/backend/ag32                                 1m59s   1GB
Sep 15 19:42:05 Starting compiler/parsing/proofs
Sep 15 19:52:29 Finished compiler/parsing/proofs                              10m24s   1GB
Sep 15 19:52:29 Starting compiler/inference/proofs
Sep 15 19:57:50 Finished compiler/inference/proofs                             5m20s   1GB
Sep 15 19:57:50 Starting compiler/backend/semantics
Sep 15 20:08:10 Finished compiler/backend/semantics                           10m20s   2GB
Sep 15 20:08:11 Starting compiler/backend/reg_alloc/proofs
Sep 15 20:14:38 Finished compiler/backend/reg_alloc/proofs                     6m27s 897MB
Sep 15 20:14:39 Starting compiler/backend/proofs
Sep 15 21:22:16 Finished compiler/backend/proofs                            1h07m37s   3GB
Sep 15 21:22:17 Starting compiler/encoders/x64/proofs
Sep 15 21:41:21 Finished compiler/encoders/x64/proofs                         19m03s   4GB
Sep 15 21:41:21 Starting compiler/encoders/arm7/proofs
Sep 15 22:07:15 Finished compiler/encoders/arm7/proofs                        25m54s   3GB
Sep 15 22:07:15 Starting compiler/encoders/arm8/proofs
Sep 15 22:19:57 Finished compiler/encoders/arm8/proofs                        12m41s   1GB
Sep 15 22:19:57 Starting compiler/encoders/mips/proofs
Sep 15 22:38:46 Finished compiler/encoders/mips/proofs                        18m48s   2GB
Sep 15 22:38:46 Starting compiler/encoders/riscv/proofs
Sep 15 22:54:59 Finished compiler/encoders/riscv/proofs                       16m13s   1GB
Sep 15 22:55:00 Starting compiler/encoders/ag32/proofs
Sep 15 22:59:43 Finished compiler/encoders/ag32/proofs                         4m43s 758MB
Sep 15 22:59:43 Starting compiler/backend/x64/proofs
Sep 15 23:00:21 Finished compiler/backend/x64/proofs                             37s   1GB
Sep 15 23:00:21 Starting compiler/backend/arm7/proofs
Sep 15 23:00:59 Finished compiler/backend/arm7/proofs                            38s 836MB
Sep 15 23:01:00 Starting compiler/backend/arm8/proofs
Sep 15 23:01:37 Finished compiler/backend/arm8/proofs                            36s   1GB
Sep 15 23:01:37 Starting compiler/backend/mips/proofs
Sep 16 08:19:28 Resuming compiler/backend/mips/proofs
Sep 16 08:20:05 Finished compiler/backend/mips/proofs                            35s   1GB
Sep 16 08:20:05 Starting compiler/backend/riscv/proofs
Sep 16 08:20:39 Finished compiler/backend/riscv/proofs                           33s   1GB
Sep 16 08:20:39 Starting compiler/backend/ag32/proofs
Sep 16 08:37:21 Finished compiler/backend/ag32/proofs                         16m41s   1GB
Sep 16 08:37:21 Starting compiler/proofs
Sep 16 08:39:43 Finished compiler/proofs                                       2m22s   2GB
Sep 16 08:39:44 Starting candle/set-theory
Sep 16 08:40:30 Finished candle/set-theory                                       46s 924MB
Sep 16 08:40:30 Starting candle/syntax-lib
Sep 16 08:40:49 Finished candle/syntax-lib                                       18s 640MB
Sep 16 08:40:49 Starting candle/standard/syntax
Sep 16 08:43:59 Finished candle/standard/syntax                                3m09s   1GB
Sep 16 08:44:00 Starting candle/standard/semantics
Sep 16 08:47:04 Finished candle/standard/semantics                             3m04s   1GB
Sep 16 08:47:04 Starting candle/standard/monadic
Sep 16 08:50:03 Finished candle/standard/monadic                               2m58s   1GB
Sep 16 08:50:03 Starting candle/standard/ml_kernel
Sep 16 08:57:12 Finished candle/standard/ml_kernel                             7m08s   4GB
Sep 16 08:57:12 Starting candle/standard/opentheory
Sep 16 09:13:41 Finished candle/standard/opentheory                           16m28s   4GB
Sep 16 09:13:41 Starting candle/standard/opentheory/compilation
Sep 16 10:06:46 Finished candle/standard/opentheory/compilation               53m04s  16GB
Sep 16 10:06:46 Starting candle/standard/opentheory/compilation/proofs
Sep 16 10:07:57 Finished candle/standard/opentheory/compilation/proofs         1m10s   2GB
Sep 16 10:07:57 Starting characteristic/examples
Sep 16 10:10:39 Finished characteristic/examples                               2m42s   2GB
Sep 16 10:10:39 Starting tutorial/solutions
Sep 16 10:35:06 Finished tutorial/solutions                                   24m26s   7GB
Sep 16 10:35:06 Starting translator/monadic/examples
Sep 16 10:39:25 Finished translator/monadic/examples                           4m18s   1GB
Sep 16 10:39:25 Starting examples
Sep 16 10:52:41 Finished examples                                             13m16s   3GB
Sep 16 10:52:42 Starting examples/compilation/x64
Sep 16 14:39:06 Finished examples/compilation/x64                           3h46m23s  14GB
Sep 16 14:39:06 Starting examples/compilation/x64/proofs
Sep 16 14:41:34 Finished examples/compilation/x64/proofs                       2m28s   2GB
Sep 16 14:41:34 Starting examples/compilation/ag32
Sep 16 15:34:47 Finished examples/compilation/ag32                            53m12s   7GB
Sep 16 15:34:47 Starting examples/compilation/ag32/proofs
Sep 16 15:36:04 Finished examples/compilation/ag32/proofs                      1m16s   4GB
Sep 16 15:36:04 Starting translator/okasaki-examples
Sep 16 15:43:23 Finished translator/okasaki-examples                           7m18s   1GB
Sep 16 15:43:23 Starting translator/other-examples
Sep 16 15:49:51 Finished translator/other-examples                             6m27s   1GB
Sep 16 15:49:51 Starting compiler/parsing/tests
Sep 16 15:50:35 Finished compiler/parsing/tests                                  43s 569MB
Sep 16 15:50:35 Starting compiler/inference/tests
Sep 16 15:57:48 Finished compiler/inference/tests                              7m12s   4GB
Sep 16 15:57:48 Starting compiler/bootstrap/translation
Sep 16 20:35:01 Finished compiler/bootstrap/translation                     4h37m12s  46GB
Sep 16 20:35:01 Starting unverified/sexpr-bootstrap/x64/64
Sep 16 20:56:00 Finished unverified/sexpr-bootstrap/x64/64                    20m57s   5GB
Sep 16 20:56:00 Starting unverified/sexpr-bootstrap/x64/32
Sep 16 21:11:52 Finished unverified/sexpr-bootstrap/x64/32                    15m51s   6GB
Sep 16 21:11:53 Starting compiler/benchmarks
Sep 16 21:44:42 Finished compiler/benchmarks                                  32m49s   2GB
Sep 16 21:44:42 Starting compiler/bootstrap/compilation/x64/64
Sep 18 07:18:24 Finished compiler/bootstrap/compilation/x64/64             33h33m41s 376GB
Sep 18 07:18:24 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 18 07:22:33 Finished compiler/bootstrap/compilation/x64/64/proofs          4m08s  10GB
Sep 18 07:22:34 Starting compiler/bootstrap/compilation/x64/32
Sep 19 11:39:57 Finished compiler/bootstrap/compilation/x64/32             28h17m22s 236GB
Sep 19 11:39:57 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 19 11:43:42 Finished compiler/bootstrap/compilation/x64/32/proofs          3m44s   9GB
Sep 19 11:43:42 Starting compiler/bootstrap/compilation/ag32/32
Sep 20 15:56:46 Finished compiler/bootstrap/compilation/ag32/32            28h13m04s 258GB
Sep 20 15:56:46 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 20 16:25:38 Finished compiler/bootstrap/compilation/ag32/32/proofs        28m51s  38GB
Sep 20 16:25:38 SUCCESS