Job 1021

CakeML:85d04c7e2cbd3021b60cf47b312c1d7a6bc8cba2
  Merge pull request #684 from CakeML/ban-type-abbrev [Aug 26 07:01:08]
HOL:8be7702c0456953c7feaa99cd958595d5890ae68
  Change TFL's notion of sys_var to be (not o Lexis.is_clean_varname) [Aug 23 07:08:18]
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

Aug 26 13:01:45 Claimed job
Aug 26 13:01:51 Building HOL
Aug 26 13:18:30 Starting developers
Aug 26 13:18:35 Finished developers                                               5s 130MB
Aug 26 13:18:35 Starting developers/bin
Aug 26 13:18:46 Finished developers/bin                                          10s 968MB
Aug 26 13:18:46 Starting semantics/ffi
Aug 26 13:19:59 Finished semantics/ffi                                         1m12s 668MB
Aug 26 13:19:59 Starting semantics
Aug 26 13:22:51 Finished semantics                                             2m52s   1GB
Aug 26 13:22:52 Starting semantics/proofs
Aug 26 13:28:42 Finished semantics/proofs                                      5m50s 968MB
Aug 26 13:28:43 Starting semantics/alt_semantics
Aug 26 13:28:57 Finished semantics/alt_semantics                                 13s 310MB
Aug 26 13:28:57 Starting semantics/alt_semantics/proofs
Aug 26 13:32:29 Finished semantics/alt_semantics/proofs                        3m31s 876MB
Aug 26 13:32:29 Starting basis/pure
Aug 26 13:39:05 Finished basis/pure                                            6m35s 646MB
Aug 26 13:39:05 Starting translator
Aug 26 13:42:18 Finished translator                                            3m12s   1GB
Aug 26 13:42:18 Starting compiler/parsing
Aug 26 13:44:06 Finished compiler/parsing                                      1m47s   2GB
Aug 26 13:44:07 Starting characteristic
Aug 26 13:54:00 Finished characteristic                                        9m53s   1GB
Aug 26 13:54:01 Starting translator/monadic
Aug 26 13:56:39 Finished translator/monadic                                    2m38s   1GB
Aug 26 13:56:39 Starting basis
Aug 26 14:30:10 Finished basis                                                33m30s   3GB
Aug 26 14:30:10 Starting compiler/inference
Aug 26 14:33:43 Finished compiler/inference                                    3m33s   1GB
Aug 26 14:33:43 Starting compiler/backend/reg_alloc
Aug 26 14:35:24 Finished compiler/backend/reg_alloc                            1m40s   1GB
Aug 26 14:35:24 Starting compiler/backend/gc
Aug 26 14:51:51 Finished compiler/backend/gc                                  16m26s   1GB
Aug 26 14:51:52 Starting compiler/backend
Aug 26 14:51:54 Finished compiler/backend                                         2s  66MB
Aug 26 14:51:54 Starting compiler/encoders/asm
Aug 26 14:51:56 Finished compiler/encoders/asm                                    1s  28MB
Aug 26 14:51:56 Starting compiler/encoders/x64
Aug 26 14:53:52 Finished compiler/encoders/x64                                 1m56s   1GB
Aug 26 14:53:52 Starting compiler/encoders/arm7
Aug 26 14:57:02 Finished compiler/encoders/arm7                                3m08s   1GB
Aug 26 14:57:02 Starting compiler/encoders/arm8
Aug 26 14:58:00 Finished compiler/encoders/arm8                                  58s 908MB
Aug 26 14:58:00 Starting compiler/encoders/mips
Aug 26 15:00:10 Finished compiler/encoders/mips                                2m10s 926MB
Aug 26 15:00:11 Starting compiler/encoders/riscv
Aug 26 15:02:36 Finished compiler/encoders/riscv                               2m25s 891MB
Aug 26 15:02:37 Starting compiler/encoders/ag32
Aug 26 15:03:08 Finished compiler/encoders/ag32                                  31s 511MB
Aug 26 15:03:08 Starting compiler/backend/x64
Aug 26 15:03:43 Finished compiler/backend/x64                                    34s   1GB
Aug 26 15:03:43 Starting compiler/backend/arm7
Aug 26 15:04:21 Finished compiler/backend/arm7                                   38s   1GB
Aug 26 15:04:21 Starting compiler/backend/arm8
Aug 26 15:04:56 Finished compiler/backend/arm8                                   34s   1GB
Aug 26 15:04:57 Starting compiler/backend/mips
Aug 26 15:05:32 Finished compiler/backend/mips                                   35s   1GB
Aug 26 15:05:32 Starting compiler/backend/riscv
Aug 26 15:06:07 Finished compiler/backend/riscv                                  34s   1GB
Aug 26 15:06:07 Starting compiler/backend/ag32
Aug 26 15:08:14 Finished compiler/backend/ag32                                 2m06s   1GB
Aug 26 15:08:14 Starting compiler/parsing/proofs
Aug 26 15:18:28 Finished compiler/parsing/proofs                              10m13s   1GB
Aug 26 15:18:28 Starting compiler/inference/proofs
Aug 26 15:23:45 Finished compiler/inference/proofs                             5m16s   1GB
Aug 26 15:23:45 Starting compiler/backend/semantics
Aug 26 15:34:30 Finished compiler/backend/semantics                           10m44s   2GB
Aug 26 15:34:30 Starting compiler/backend/reg_alloc/proofs
Aug 26 15:40:50 Finished compiler/backend/reg_alloc/proofs                     6m19s   1GB
Aug 26 15:40:50 Starting compiler/backend/proofs
Aug 26 16:45:35 Finished compiler/backend/proofs                            1h04m44s   4GB
Aug 26 16:45:36 Starting compiler/encoders/x64/proofs
Aug 26 17:04:46 Finished compiler/encoders/x64/proofs                         19m10s   4GB
Aug 26 17:04:47 Starting compiler/encoders/arm7/proofs
Aug 26 17:30:40 Finished compiler/encoders/arm7/proofs                        25m53s   6GB
Aug 26 17:30:40 Starting compiler/encoders/arm8/proofs
Aug 26 17:43:24 Finished compiler/encoders/arm8/proofs                        12m43s   1GB
Aug 26 17:43:24 Starting compiler/encoders/mips/proofs
Aug 26 18:02:31 Finished compiler/encoders/mips/proofs                        19m06s   2GB
Aug 26 18:02:32 Starting compiler/encoders/riscv/proofs
Aug 26 18:18:34 Finished compiler/encoders/riscv/proofs                       16m02s   1GB
Aug 26 18:18:34 Starting compiler/encoders/ag32/proofs
Aug 26 18:23:27 Finished compiler/encoders/ag32/proofs                         4m52s 809MB
Aug 26 18:23:27 Starting compiler/backend/x64/proofs
Aug 26 18:24:02 Finished compiler/backend/x64/proofs                             34s   1GB
Aug 26 18:24:02 Starting compiler/backend/arm7/proofs
Aug 26 18:24:40 Finished compiler/backend/arm7/proofs                            37s 861MB
Aug 26 18:24:40 Starting compiler/backend/arm8/proofs
Aug 26 18:25:16 Finished compiler/backend/arm8/proofs                            35s   1GB
Aug 26 18:25:16 Starting compiler/backend/mips/proofs
Aug 26 18:25:53 Finished compiler/backend/mips/proofs                            36s   1GB
Aug 26 18:25:53 Starting compiler/backend/riscv/proofs
Aug 26 18:26:28 Finished compiler/backend/riscv/proofs                           34s   1GB
Aug 26 18:26:28 Starting compiler/backend/ag32/proofs
Aug 26 18:43:21 Finished compiler/backend/ag32/proofs                         16m53s   1GB
Aug 26 18:43:21 Starting compiler/proofs
Aug 26 18:45:39 Finished compiler/proofs                                       2m17s   3GB
Aug 26 18:45:40 Starting candle/set-theory
Aug 26 18:46:30 Finished candle/set-theory                                       50s 805MB
Aug 26 18:46:30 Starting candle/syntax-lib
Aug 26 18:46:49 Finished candle/syntax-lib                                       18s 701MB
Aug 26 18:46:49 Starting candle/standard/syntax
Aug 26 18:49:54 Finished candle/standard/syntax                                3m05s   1GB
Aug 26 18:49:54 Starting candle/standard/semantics
Aug 26 18:52:56 Finished candle/standard/semantics                             3m02s   1GB
Aug 26 18:52:57 Starting candle/standard/monadic
Aug 26 18:55:57 Finished candle/standard/monadic                               2m59s   1GB
Aug 26 18:55:57 Starting candle/standard/ml_kernel
Aug 26 19:03:00 Finished candle/standard/ml_kernel                             7m03s   6GB
Aug 26 19:03:01 Starting candle/standard/opentheory
Aug 26 19:19:02 Finished candle/standard/opentheory                           16m01s   6GB
Aug 26 19:19:02 Starting candle/standard/opentheory/compilation
Aug 26 20:11:56 Finished candle/standard/opentheory/compilation               52m53s  16GB
Aug 26 20:11:56 Starting candle/standard/opentheory/compilation/proofs
Aug 26 20:13:32 Finished candle/standard/opentheory/compilation/proofs         1m36s   2GB
Aug 26 20:13:33 Starting characteristic/examples
Aug 26 20:16:19 Finished characteristic/examples                               2m46s   2GB
Aug 26 20:16:19 Starting tutorial/solutions
Aug 26 20:40:56 Finished tutorial/solutions                                   24m36s   9GB
Aug 26 20:40:57 Starting translator/monadic/examples
Aug 26 20:45:22 Finished translator/monadic/examples                           4m25s   2GB
Aug 26 20:45:23 Starting examples
Aug 26 20:58:21 Finished examples                                             12m58s   3GB
Aug 26 20:58:21 Starting examples/compilation/x64
Aug 27 00:44:46 Finished examples/compilation/x64                           3h46m24s  19GB
Aug 27 00:44:46 Starting examples/compilation/x64/proofs
Aug 27 00:47:23 Finished examples/compilation/x64/proofs                       2m36s   2GB
Aug 27 00:47:23 Starting examples/compilation/ag32
Aug 27 01:40:54 Finished examples/compilation/ag32                            53m30s   5GB
Aug 27 01:40:54 Starting examples/compilation/ag32/proofs
Aug 27 01:42:37 Finished examples/compilation/ag32/proofs                      1m42s   3GB
Aug 27 01:42:37 Starting translator/okasaki-examples
Aug 27 01:49:42 Finished translator/okasaki-examples                           7m05s   1GB
Aug 27 01:49:42 Starting translator/other-examples
Aug 27 01:56:12 Finished translator/other-examples                             6m29s   1GB
Aug 27 01:56:12 Starting compiler/parsing/tests
Aug 27 01:56:58 Finished compiler/parsing/tests                                  45s 643MB
Aug 27 01:56:59 Starting compiler/inference/tests
Aug 27 02:03:57 Finished compiler/inference/tests                              6m58s   4GB
Aug 27 02:03:57 Starting compiler/bootstrap/translation
Aug 27 06:38:40 Finished compiler/bootstrap/translation                     4h34m42s  40GB
Aug 27 06:38:40 Starting unverified/sexpr-bootstrap/x64/64
Aug 27 06:59:55 Finished unverified/sexpr-bootstrap/x64/64                    21m14s   6GB
Aug 27 06:59:55 Starting unverified/sexpr-bootstrap/x64/32
Aug 27 07:14:39 Finished unverified/sexpr-bootstrap/x64/32                    14m43s   5GB
Aug 27 07:14:39 Starting compiler/benchmarks
Aug 27 07:47:50 Finished compiler/benchmarks                                  33m10s   2GB
Aug 27 07:47:50 Starting compiler/bootstrap/compilation/x64/64
Aug 28 14:58:50 Finished compiler/bootstrap/compilation/x64/64             31h10m59s 347GB
Aug 28 14:58:50 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 28 15:02:48 Finished compiler/bootstrap/compilation/x64/64/proofs          3m58s  10GB
Aug 28 15:02:48 Starting compiler/bootstrap/compilation/x64/32
Aug 29 18:00:03 Finished compiler/bootstrap/compilation/x64/32             26h57m13s 231GB
Aug 29 18:00:03 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 29 18:03:36 Finished compiler/bootstrap/compilation/x64/32/proofs          3m32s  11GB
Aug 29 18:03:36 Starting compiler/bootstrap/compilation/ag32/32
Aug 30 22:01:17 Finished compiler/bootstrap/compilation/ag32/32            27h57m40s 222GB
Aug 30 22:01:18 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 30 22:21:24 Finished compiler/bootstrap/compilation/ag32/32/proofs        20m05s  32GB
Aug 30 22:21:24 SUCCESS