Job 1022

CakeML:88e346173bc85abab5ffc606c626815e59a3da99
  Merge pull request #685 from CakeML/data-cost [Aug 27 07:43:44]
HOL:70744e4c8f2a42c64573774eb762d5b2e0534f4e
  Allow "local" attribute to be added to Type syntax [Aug 26 06:41:45]
Machine:brain09 4.19.67.1.amd64-smp
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz

Aug 27 07:47:11 Claimed job
Aug 27 07:47:16 Building HOL
Aug 27 08:04:48 Starting developers
Aug 27 08:04:51 Finished developers                                               3s  98MB
Aug 27 08:04:51 Starting developers/bin
Aug 27 08:05:03 Finished developers/bin                                          11s 977MB
Aug 27 08:05:03 Starting semantics/ffi
Aug 27 08:06:19 Finished semantics/ffi                                         1m15s 614MB
Aug 27 08:06:19 Starting semantics
Aug 27 08:09:28 Finished semantics                                             3m08s   1GB
Aug 27 08:09:28 Starting semantics/proofs
Aug 27 08:15:40 Finished semantics/proofs                                      6m11s   1GB
Aug 27 08:15:40 Starting semantics/alt_semantics
Aug 27 08:15:55 Finished semantics/alt_semantics                                 14s 373MB
Aug 27 08:15:55 Starting semantics/alt_semantics/proofs
Aug 27 08:19:55 Finished semantics/alt_semantics/proofs                        4m00s 916MB
Aug 27 08:19:56 Starting basis/pure
Aug 27 08:27:45 Finished basis/pure                                            7m49s   1GB
Aug 27 08:27:45 Starting translator
Aug 27 08:31:17 Finished translator                                            3m31s   1GB
Aug 27 08:31:18 Starting compiler/parsing
Aug 27 08:33:20 Finished compiler/parsing                                      2m01s   2GB
Aug 27 08:33:20 Starting characteristic
Aug 27 08:44:28 Finished characteristic                                       11m08s   2GB
Aug 27 08:44:28 Starting translator/monadic
Aug 27 08:47:31 Finished translator/monadic                                    3m02s   1GB
Aug 27 08:47:31 Starting basis
Aug 27 09:28:21 Finished basis                                                40m49s   7GB
Aug 27 09:28:21 Starting compiler/inference
Aug 27 09:32:19 Finished compiler/inference                                    3m57s   1GB
Aug 27 09:32:19 Starting compiler/backend/reg_alloc
Aug 27 09:34:02 Finished compiler/backend/reg_alloc                            1m42s   1GB
Aug 27 09:34:02 Starting compiler/backend/gc
Aug 27 09:51:48 Finished compiler/backend/gc                                  17m46s   2GB
Aug 27 09:51:48 Starting compiler/backend
Aug 27 09:51:50 Finished compiler/backend                                         1s  27MB
Aug 27 09:51:51 Starting compiler/encoders/asm
Aug 27 09:51:52 Finished compiler/encoders/asm                                    0s  29MB
Aug 27 09:51:52 Starting compiler/encoders/x64
Aug 27 09:54:05 Finished compiler/encoders/x64                                 2m13s 995MB
Aug 27 09:54:05 Starting compiler/encoders/arm7
Aug 27 09:58:10 Finished compiler/encoders/arm7                                4m04s   1GB
Aug 27 09:58:10 Starting compiler/encoders/arm8
Aug 27 09:59:19 Finished compiler/encoders/arm8                                1m08s 916MB
Aug 27 09:59:20 Starting compiler/encoders/mips
Aug 27 10:01:48 Finished compiler/encoders/mips                                2m28s   1GB
Aug 27 10:01:48 Starting compiler/encoders/riscv
Aug 27 10:04:46 Finished compiler/encoders/riscv                               2m57s   1GB
Aug 27 10:04:46 Starting compiler/encoders/ag32
Aug 27 10:05:22 Finished compiler/encoders/ag32                                  35s 823MB
Aug 27 10:05:22 Starting compiler/backend/x64
Aug 27 10:05:57 Finished compiler/backend/x64                                    34s   1GB
Aug 27 10:05:57 Starting compiler/backend/arm7
Aug 27 10:06:37 Finished compiler/backend/arm7                                   39s   1GB
Aug 27 10:06:37 Starting compiler/backend/arm8
Aug 27 10:07:15 Finished compiler/backend/arm8                                   37s   1GB
Aug 27 10:07:15 Starting compiler/backend/mips
Aug 27 10:07:52 Finished compiler/backend/mips                                   37s   1GB
Aug 27 10:07:53 Starting compiler/backend/riscv
Aug 27 10:08:31 Finished compiler/backend/riscv                                  37s   1GB
Aug 27 10:08:31 Starting compiler/backend/ag32
Aug 27 10:10:57 Finished compiler/backend/ag32                                 2m25s   2GB
Aug 27 10:10:57 Starting compiler/parsing/proofs
Aug 27 10:21:53 Finished compiler/parsing/proofs                              10m55s   1GB
Aug 27 10:21:53 Starting compiler/inference/proofs
Aug 27 10:27:37 Finished compiler/inference/proofs                             5m43s   1GB
Aug 27 10:27:37 Starting compiler/backend/semantics
Aug 27 10:38:30 Finished compiler/backend/semantics                           10m53s   2GB
Aug 27 10:38:30 Starting compiler/backend/reg_alloc/proofs
Aug 27 10:45:16 Finished compiler/backend/reg_alloc/proofs                     6m45s   1GB
Aug 27 10:45:16 Starting compiler/backend/proofs
Aug 27 12:00:46 Finished compiler/backend/proofs                            1h15m29s  10GB
Aug 27 12:00:46 Starting compiler/encoders/x64/proofs
Aug 27 12:24:11 Finished compiler/encoders/x64/proofs                         23m25s   4GB
Aug 27 12:24:11 Starting compiler/encoders/arm7/proofs
Aug 27 12:53:09 Finished compiler/encoders/arm7/proofs                        28m57s   9GB
Aug 27 12:53:09 Starting compiler/encoders/arm8/proofs
Aug 27 13:08:29 Finished compiler/encoders/arm8/proofs                        15m19s   1GB
Aug 27 13:08:29 Starting compiler/encoders/mips/proofs
Aug 27 13:29:42 Finished compiler/encoders/mips/proofs                        21m12s   2GB
Aug 27 13:29:42 Starting compiler/encoders/riscv/proofs
Aug 27 13:49:23 Finished compiler/encoders/riscv/proofs                       19m40s   1GB
Aug 27 13:49:23 Starting compiler/encoders/ag32/proofs
Aug 27 13:55:02 Finished compiler/encoders/ag32/proofs                         5m38s 779MB
Aug 27 13:55:02 Starting compiler/backend/x64/proofs
Aug 27 13:55:43 Finished compiler/backend/x64/proofs                             40s   1GB
Aug 27 13:55:43 Starting compiler/backend/arm7/proofs
Aug 27 13:56:24 Finished compiler/backend/arm7/proofs                            40s   1GB
Aug 27 13:56:24 Starting compiler/backend/arm8/proofs
Aug 27 13:57:06 Finished compiler/backend/arm8/proofs                            42s   1GB
Aug 27 13:57:06 Starting compiler/backend/mips/proofs
Aug 27 13:57:53 Finished compiler/backend/mips/proofs                            46s   1GB
Aug 27 13:57:53 Starting compiler/backend/riscv/proofs
Aug 27 13:58:35 Finished compiler/backend/riscv/proofs                           41s   1GB
Aug 27 13:58:35 Starting compiler/backend/ag32/proofs
Aug 27 14:17:55 Finished compiler/backend/ag32/proofs                         19m20s  11GB
Aug 27 14:17:55 Starting compiler/proofs
Aug 27 14:20:36 Finished compiler/proofs                                       2m40s   3GB
Aug 27 14:20:36 Starting candle/set-theory
Aug 27 14:21:31 Finished candle/set-theory                                       54s 814MB
Aug 27 14:21:31 Starting candle/syntax-lib
Aug 27 14:21:53 Finished candle/syntax-lib                                       21s 806MB
Aug 27 14:21:53 Starting candle/standard/syntax
Aug 27 14:25:20 Finished candle/standard/syntax                                3m26s   1GB
Aug 27 14:25:20 Starting candle/standard/semantics
Aug 27 14:28:55 Finished candle/standard/semantics                             3m34s   1GB
Aug 27 14:28:55 Starting candle/standard/monadic
Aug 27 14:32:15 Finished candle/standard/monadic                               3m19s   1GB
Aug 27 14:32:15 Starting candle/standard/ml_kernel
Aug 27 14:40:58 Finished candle/standard/ml_kernel                             8m43s   3GB
Aug 27 14:40:59 Starting candle/standard/opentheory
Aug 27 15:00:09 Finished candle/standard/opentheory                           19m10s   4GB
Aug 27 15:00:10 Starting candle/standard/opentheory/compilation
Aug 28 02:17:02 Finished candle/standard/opentheory/compilation            11h16m51s 534GB
Aug 28 02:17:02 Starting candle/standard/opentheory/compilation/proofs
Aug 28 02:18:51 Finished candle/standard/opentheory/compilation/proofs         1m49s   3GB
Aug 28 02:18:52 Starting characteristic/examples
Aug 28 02:22:16 Finished characteristic/examples                               3m24s   6GB
Aug 28 02:22:16 Starting tutorial/solutions
Aug 28 04:07:20 Finished tutorial/solutions                                 1h45m03s 199GB
Aug 28 04:07:20 Starting translator/monadic/examples
Aug 28 04:12:27 Finished translator/monadic/examples                           5m06s   3GB
Aug 28 04:12:27 Starting examples
Aug 28 04:28:15 Finished examples                                             15m46s  19GB
Aug 28 04:28:15 Starting examples/compilation/x64
Aug 29 06:42:15 Finished examples/compilation/x64                          26h13m59s 608GB
Aug 29 06:42:15 Starting examples/compilation/x64/proofs
Aug 29 06:45:15 Finished examples/compilation/x64/proofs                       2m59s   3GB
Aug 29 06:45:15 Starting examples/compilation/ag32
Aug 29 09:15:19 Finished examples/compilation/ag32                          2h30m03s 131GB
Aug 29 09:15:19 Starting examples/compilation/ag32/proofs
Aug 29 09:17:30 Finished examples/compilation/ag32/proofs                      2m10s   5GB
Aug 29 09:17:30 Starting translator/okasaki-examples
Aug 29 09:26:00 Finished translator/okasaki-examples                           8m29s   1GB
Aug 29 09:26:00 Starting translator/other-examples
Aug 29 09:33:00 Finished translator/other-examples                             6m59s   1GB
Aug 29 09:33:00 Starting compiler/parsing/tests
Aug 29 09:34:06 Finished compiler/parsing/tests                                1m06s   2GB
Aug 29 09:34:06 Starting compiler/inference/tests
Aug 29 09:55:56 Finished compiler/inference/tests                             21m49s  32GB
Aug 29 09:55:56 Starting compiler/bootstrap/translation
Aug 29 15:14:44 Finished compiler/bootstrap/translation                     5h18m47s  84GB
Aug 29 15:14:45 Starting unverified/sexpr-bootstrap/x64/64
Aug 29 15:36:00 Finished unverified/sexpr-bootstrap/x64/64                    21m14s   8GB
Aug 29 15:36:00 Starting unverified/sexpr-bootstrap/x64/32
Aug 29 15:52:25 Finished unverified/sexpr-bootstrap/x64/32                    16m23s   7GB
Aug 29 15:52:25 Starting compiler/benchmarks
Aug 29 16:25:19 Finished compiler/benchmarks                                  32m53s   2GB
Aug 29 16:25:19 Starting compiler/bootstrap/compilation/x64/64
Sep 02 12:50:22 Resuming compiler/bootstrap/compilation/x64/64