Job 1492

CakeML:3d4a96b446a3347e5cb94f1b123332937de84554
  Fix reference to HOL examples theory that has moved [Mar 18 00:23:39]
HOL:2940fb376d13d7cba972ad9c7ab6d10ccb02c638
  Fix a reference to a theorem I deleted in 7ddaf003f4 [Mar 16 22:41:17]
Machine:oven3 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

Mar 18 00:32:50 Claimed job
Mar 18 00:33:03 Building HOL
Mar 18 01:06:13 Starting developers
Mar 18 01:06:21 Finished developers                                               7s 141MB
Mar 18 01:06:21 Starting developers/bin
Mar 18 01:06:34 Finished developers/bin                                          12s   1GB
Mar 18 01:06:35 Starting semantics/ffi
Mar 18 01:06:59 Finished semantics/ffi                                           24s 267MB
Mar 18 01:07:00 Starting semantics
Mar 18 01:10:02 Finished semantics                                             3m02s   1GB
Mar 18 01:10:03 Starting semantics/proofs
Mar 18 01:17:25 Finished semantics/proofs                                      7m22s   1GB
Mar 18 01:17:26 Starting semantics/alt_semantics
Mar 18 01:17:47 Finished semantics/alt_semantics                                 20s 320MB
Mar 18 01:17:47 Starting semantics/alt_semantics/proofs
Mar 18 01:22:25 Finished semantics/alt_semantics/proofs                        4m38s   1GB
Mar 18 01:22:25 Starting basis/pure
Mar 18 01:28:40 Finished basis/pure                                            6m14s 870MB
Mar 18 01:28:41 Starting translator
Mar 18 01:34:23 Finished translator                                            5m42s   1GB
Mar 18 01:34:23 Starting compiler/parsing
Mar 18 01:36:53 Finished compiler/parsing                                      2m30s   2GB
Mar 18 01:36:54 Starting characteristic
Mar 18 01:49:44 Finished characteristic                                       12m49s   2GB
Mar 18 01:49:44 Starting translator/monadic
Mar 18 01:53:13 Finished translator/monadic                                    3m29s   1GB
Mar 18 01:53:14 Starting basis
Mar 18 03:26:08 Finished basis                                              1h32m53s  18GB
Mar 18 03:26:08 Starting compiler/inference
Mar 18 03:28:39 Finished compiler/inference                                    2m30s   1GB
Mar 18 03:28:39 Starting compiler/backend/reg_alloc
Mar 18 03:30:46 Finished compiler/backend/reg_alloc                            2m05s   1GB
Mar 18 03:30:46 Starting compiler/backend/gc
Mar 18 03:37:34 Finished compiler/backend/gc                                   6m47s   2GB
Mar 18 03:37:34 Starting compiler/backend
Mar 18 03:46:52 Finished compiler/backend                                      9m17s   4GB
Mar 18 03:46:52 Starting compiler/encoders/asm
Mar 18 03:47:39 Finished compiler/encoders/asm                                   47s 743MB
Mar 18 03:47:40 Starting compiler/encoders/x64
Mar 18 03:49:58 Finished compiler/encoders/x64                                 2m18s 817MB
Mar 18 03:49:59 Starting compiler/encoders/arm7
Mar 18 03:54:27 Finished compiler/encoders/arm7                                4m28s   1GB
Mar 18 03:54:28 Starting compiler/encoders/arm8
Mar 18 03:55:49 Finished compiler/encoders/arm8                                1m21s 780MB
Mar 18 03:55:50 Starting compiler/encoders/mips
Mar 18 03:58:59 Finished compiler/encoders/mips                                3m09s   1GB
Mar 18 03:59:00 Starting compiler/encoders/riscv
Mar 18 04:02:44 Finished compiler/encoders/riscv                               3m43s   1GB
Mar 18 04:02:44 Starting compiler/encoders/ag32
Mar 18 04:03:24 Finished compiler/encoders/ag32                                  40s 882MB
Mar 18 04:03:24 Starting compiler/backend/x64
Mar 18 04:04:02 Finished compiler/backend/x64                                    37s   1GB
Mar 18 04:04:02 Starting compiler/backend/arm7
Mar 18 04:04:44 Finished compiler/backend/arm7                                   41s   1GB
Mar 18 04:04:45 Starting compiler/backend/arm8
Mar 18 04:05:28 Finished compiler/backend/arm8                                   43s   1GB
Mar 18 04:05:28 Starting compiler/backend/mips
Mar 18 04:06:08 Finished compiler/backend/mips                                   40s   1GB
Mar 18 04:06:09 Starting compiler/backend/riscv
Mar 18 04:06:51 Finished compiler/backend/riscv                                  42s   1GB
Mar 18 04:06:52 Starting compiler/backend/ag32
Mar 18 04:09:18 Finished compiler/backend/ag32                                 2m26s   1GB
Mar 18 04:09:18 Starting compiler/parsing/proofs
Mar 18 04:21:25 Finished compiler/parsing/proofs                              12m07s   1GB
Mar 18 04:21:26 Starting compiler/inference/proofs
Mar 18 04:26:51 Finished compiler/inference/proofs                             5m23s   1GB
Mar 18 04:26:52 Starting compiler/backend/semantics
Mar 18 05:29:46 Finished compiler/backend/semantics                         1h02m54s   2GB
Mar 18 05:29:47 Starting compiler/backend/reg_alloc/proofs
Mar 18 05:37:26 Finished compiler/backend/reg_alloc/proofs                     7m38s 982MB
Mar 18 05:37:26 Starting compiler/backend/proofs
Mar 18 07:18:31 Finished compiler/backend/proofs                            1h41m02s  23GB
Mar 18 07:18:31 Starting compiler/encoders/x64/proofs
Mar 18 07:39:52 Finished compiler/encoders/x64/proofs                         21m20s   4GB
Mar 18 07:39:52 Starting compiler/encoders/arm7/proofs
Mar 18 08:09:33 Finished compiler/encoders/arm7/proofs                        29m40s   3GB
Mar 18 08:09:33 Starting compiler/encoders/arm8/proofs
Mar 18 08:24:50 Finished compiler/encoders/arm8/proofs                        15m16s   1GB
Mar 18 08:24:50 Starting compiler/encoders/mips/proofs
Mar 18 08:47:42 Finished compiler/encoders/mips/proofs                        22m51s   2GB
Mar 18 08:47:42 Starting compiler/encoders/riscv/proofs
Mar 18 09:08:07 Finished compiler/encoders/riscv/proofs                       20m24s   1GB
Mar 18 09:08:07 Starting compiler/encoders/ag32/proofs
Mar 18 09:13:50 Finished compiler/encoders/ag32/proofs                         5m43s 881MB
Mar 18 09:13:50 Starting compiler/backend/x64/proofs
Mar 18 09:14:37 Finished compiler/backend/x64/proofs                             46s   1GB
Mar 18 09:14:37 Starting compiler/backend/arm7/proofs
Mar 18 09:15:25 Finished compiler/backend/arm7/proofs                            47s   1GB
Mar 18 09:15:25 Starting compiler/backend/arm8/proofs
Mar 18 09:16:11 Finished compiler/backend/arm8/proofs                            45s   1GB
Mar 18 09:16:11 Starting compiler/backend/mips/proofs
Mar 18 09:16:59 Finished compiler/backend/mips/proofs                            47s   1GB
Mar 18 09:16:59 Starting compiler/backend/riscv/proofs
Mar 18 09:17:47 Finished compiler/backend/riscv/proofs                           47s   1GB
Mar 18 09:17:47 Starting compiler/backend/ag32/proofs
Mar 18 09:46:02 Finished compiler/backend/ag32/proofs                         28m14s   2GB
Mar 18 09:46:02 Starting compiler/proofs
Mar 18 09:50:01 Finished compiler/proofs                                       3m58s   4GB
Mar 18 09:50:01 Starting candle/set-theory
Mar 18 09:50:58 Finished candle/set-theory                                       56s 769MB
Mar 18 09:50:59 Starting candle/syntax-lib
Mar 18 09:51:23 Finished candle/syntax-lib                                       23s 648MB
Mar 18 09:51:23 Starting candle/standard/syntax
Mar 18 09:55:18 Finished candle/standard/syntax                                3m54s   1GB
Mar 18 09:55:19 Starting candle/standard/semantics
Mar 18 09:59:14 Finished candle/standard/semantics                             3m55s   1GB
Mar 18 09:59:14 Starting candle/standard/monadic
Mar 18 10:02:58 Finished candle/standard/monadic                               3m43s   1GB
Mar 18 10:02:58 Starting candle/standard/ml_kernel
Mar 18 10:14:36 Finished candle/standard/ml_kernel                            11m38s   5GB
Mar 18 10:14:37 Starting candle/overloading/syntax
Mar 18 10:21:17 Finished candle/overloading/syntax                             6m39s   1GB
Mar 18 10:21:17 Starting candle/overloading/semantics
Mar 18 10:48:21 Finished candle/overloading/semantics                         27m04s   2GB
Mar 18 10:48:22 Starting characteristic/examples
Mar 18 10:51:06 Finished characteristic/examples                               2m44s   2GB
Mar 18 10:51:06 Starting tutorial/solutions
Mar 18 11:24:54 Finished tutorial/solutions                                   33m47s  14GB
Mar 18 11:24:54 Starting translator/monadic/examples
Mar 18 11:30:47 Finished translator/monadic/examples                           5m51s   2GB
Mar 18 11:30:47 Starting examples
Mar 18 11:45:52 Finished examples                                             15m05s   3GB
Mar 18 11:45:52 Starting examples/compilation/x64
Mar 18 16:56:50 Finished examples/compilation/x64                           5h10m55s  13GB
Mar 18 16:56:50 Starting examples/compilation/x64/proofs
Mar 18 17:00:00 Finished examples/compilation/x64/proofs                       3m10s   2GB
Mar 18 17:00:01 Starting examples/compilation/ag32
Mar 18 18:14:33 Finished examples/compilation/ag32                          1h14m31s   7GB
Mar 18 18:14:33 Starting examples/compilation/ag32/proofs
Mar 18 18:16:09 Finished examples/compilation/ag32/proofs                      1m35s   3GB
Mar 18 18:16:09 Starting examples/cost
Mar 18 20:07:25 Finished examples/cost                                      1h51m14s   7GB
Mar 18 20:07:26 Starting examples/lpr_checker
Mar 18 20:15:40 Finished examples/lpr_checker                                  8m13s   2GB
Mar 18 20:15:40 Starting examples/lpr_checker/compilation
Mar 18 20:51:49 Finished examples/lpr_checker/compilation                     36m08s  10GB
Mar 18 20:51:49 Starting examples/lpr_checker/compilation/proofs
Mar 18 20:53:12 Finished examples/lpr_checker/compilation/proofs               1m23s   3GB
Mar 18 20:53:13 Starting examples/lpr_checker/array
Mar 18 21:24:58 Finished examples/lpr_checker/array                           31m43s   4GB
Mar 18 21:24:58 Starting examples/lpr_checker/array/compilation
Mar 18 22:07:26 Finished examples/lpr_checker/array/compilation               42m27s  12GB
Mar 18 22:07:27 Starting examples/lpr_checker/array/compilation/proofs
Mar 18 22:09:08 Finished examples/lpr_checker/array/compilation/proofs         1m41s   3GB
Mar 18 22:09:08 Starting examples/opentheory
Mar 18 22:29:04 Finished examples/opentheory                                  19m55s   4GB
Mar 18 22:29:04 Starting examples/opentheory
Mar 18 22:29:07 Finished examples/opentheory                                      2s  33MB
Mar 18 22:29:07 Starting examples/opentheory/compilation
Mar 18 23:37:55 Finished examples/opentheory/compilation                    1h08m47s  20GB
Mar 18 23:37:55 Starting examples/opentheory/compilation/proofs
Mar 18 23:39:22 Finished examples/opentheory/compilation/proofs                1m25s   4GB
Mar 18 23:39:22 Starting examples/opentheory/compilation/ag32
Mar 19 00:54:15 Finished examples/opentheory/compilation/ag32               1h14m52s  18GB
Mar 19 00:54:15 Starting examples/opentheory/compilation/ag32/proofs
Mar 19 00:57:33 Finished examples/opentheory/compilation/ag32/proofs           3m17s   5GB
Mar 19 00:57:33 Starting translator/okasaki-examples
Mar 19 01:06:15 Finished translator/okasaki-examples                           8m42s   1GB
Mar 19 01:06:15 Starting translator/other-examples
Mar 19 01:10:07 Finished translator/other-examples                             3m51s   1GB
Mar 19 01:10:07 Starting compiler/parsing/tests
Mar 19 01:11:05 Finished compiler/parsing/tests                                  57s 585MB
Mar 19 01:11:05 Starting compiler/inference/tests
Mar 19 01:26:05 Finished compiler/inference/tests                             14m59s   3GB
Mar 19 01:26:06 Starting compiler/bootstrap/translation
Mar 19 06:34:07 Finished compiler/bootstrap/translation                     5h08m00s  55GB
Mar 19 06:34:08 Starting unverified/sexpr-bootstrap/x64/64
Mar 19 06:58:28 Finished unverified/sexpr-bootstrap/x64/64                    24m15s   8GB
Mar 19 06:58:28 Starting unverified/sexpr-bootstrap/x64/32
Mar 19 07:19:25 Finished unverified/sexpr-bootstrap/x64/32                    20m52s   8GB
Mar 19 07:19:25 Starting compiler/benchmarks
Mar 19 07:19:29 Finished compiler/benchmarks                                      3s  32MB
Mar 19 07:19:29 Starting compiler/bootstrap/compilation/x64/64
Mar 20 09:58:28 Finished compiler/bootstrap/compilation/x64/64             26h38m54s 109GB
Mar 20 09:58:28 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 20 10:02:55 Finished compiler/bootstrap/compilation/x64/64/proofs          4m26s  18GB
Mar 20 10:02:55 Starting compiler/bootstrap/compilation/x64/32
Mar 21 07:28:02 Finished compiler/bootstrap/compilation/x64/32             21h25m02s  68GB
Mar 21 07:28:02 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 21 07:32:22 Finished compiler/bootstrap/compilation/x64/32/proofs          4m19s  14GB
Mar 21 07:32:22 Starting compiler/bootstrap/compilation/ag32/32
Mar 22 08:07:46 Finished compiler/bootstrap/compilation/ag32/32            24h35m21s  86GB
Mar 22 08:07:46 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 22 08:27:09 Finished compiler/bootstrap/compilation/ag32/32/proofs        19m23s  38GB
Mar 22 08:27:10 SUCCESS