Job 1512

CakeML:4625dffacee38cd8c01ec8e04f21622062683304
  Undo an overzealous deletion [Apr 16 17:06:15]
#811 (eval)
Merging into:d97d41235164d0340739418a6b941f7722d54535
  Merge pull request #823 from CakeML/arm64-apple [Mar 30 09:38:10]
HOL:80660c1a566218670f3e343cb742e51723b19cd7
  recovered old definition of real_random_variable_def [Apr 02 06:32:43]
Machine:oven3 4.19.67.1.amd64-smp

Apr 16 19:50:30 Claimed job
Apr 16 19:50:40 Reusing HOL
Apr 16 19:51:44 Starting developers
Apr 16 19:51:52 Finished developers                                               7s 117MB
Apr 16 19:51:52 Starting developers/bin
Apr 16 19:52:06 Finished developers/bin                                          13s   1GB
Apr 16 19:52:06 Starting semantics/ffi
Apr 16 19:52:32 Finished semantics/ffi                                           25s 267MB
Apr 16 19:52:32 Starting semantics
Apr 16 19:55:26 Finished semantics                                             2m53s   1GB
Apr 16 19:55:26 Starting semantics/proofs
Apr 16 20:03:24 Finished semantics/proofs                                      7m57s   1GB
Apr 16 20:03:24 Starting semantics/alt_semantics
Apr 16 20:03:46 Finished semantics/alt_semantics                                 21s 355MB
Apr 16 20:03:46 Starting semantics/alt_semantics/proofs
Apr 16 20:08:31 Finished semantics/alt_semantics/proofs                        4m44s 934MB
Apr 16 20:08:31 Starting basis/pure
Apr 16 20:10:18 Finished basis/pure                                            1m47s 886MB
Apr 16 20:10:19 Starting translator
Apr 16 20:17:05 Finished translator                                            6m46s   1GB
Apr 16 20:17:06 Starting compiler/parsing
Apr 16 20:19:36 Finished compiler/parsing                                      2m29s   1GB
Apr 16 20:19:36 Starting characteristic
Apr 16 20:31:46 Finished characteristic                                       12m09s   2GB
Apr 16 20:31:46 Starting translator/monadic
Apr 16 20:35:16 Finished translator/monadic                                    3m29s   1GB
Apr 16 20:35:17 Starting basis
Apr 16 22:09:42 Finished basis                                              1h34m23s  14GB
Apr 16 22:09:42 Starting compiler/inference
Apr 16 22:12:06 Finished compiler/inference                                    2m24s   1GB
Apr 16 22:12:07 Starting compiler/backend/reg_alloc
Apr 16 22:14:11 Finished compiler/backend/reg_alloc                            2m04s   1GB
Apr 16 22:14:11 Starting compiler/backend/gc
Apr 16 22:20:54 Finished compiler/backend/gc                                   6m42s   2GB
Apr 16 22:20:54 Starting compiler/backend
Apr 16 22:30:19 Finished compiler/backend                                      9m24s   4GB
Apr 16 22:30:19 Starting compiler/encoders/asm
Apr 16 22:31:09 Finished compiler/encoders/asm                                   50s 685MB
Apr 16 22:31:10 Starting compiler/encoders/x64
Apr 16 22:32:06 Finished compiler/encoders/x64                                   56s   1GB
Apr 16 22:32:06 Starting compiler/encoders/arm7
Apr 16 22:34:01 Finished compiler/encoders/arm7                                1m54s 818MB
Apr 16 22:34:02 Starting compiler/encoders/arm8
Apr 16 22:34:30 Finished compiler/encoders/arm8                                  28s 954MB
Apr 16 22:34:31 Starting compiler/encoders/mips
Apr 16 22:35:08 Finished compiler/encoders/mips                                  36s   1GB
Apr 16 22:35:08 Starting compiler/encoders/riscv
Apr 16 22:35:45 Finished compiler/encoders/riscv                                 36s 927MB
Apr 16 22:35:46 Starting compiler/encoders/ag32
Apr 16 22:36:25 Finished compiler/encoders/ag32                                  39s 641MB
Apr 16 22:36:25 Starting compiler/backend/x64
Apr 16 22:37:07 Finished compiler/backend/x64                                    41s   1GB
Apr 16 22:37:07 Starting compiler/backend/arm7
Apr 16 22:37:56 Finished compiler/backend/arm7                                   48s   1GB
Apr 16 22:37:56 Starting compiler/backend/arm8
Apr 16 22:38:38 Finished compiler/backend/arm8                                   41s   1GB
Apr 16 22:38:38 Starting compiler/backend/mips
Apr 16 22:39:19 Finished compiler/backend/mips                                   40s   1GB
Apr 16 22:39:19 Starting compiler/backend/riscv
Apr 16 22:39:59 Finished compiler/backend/riscv                                  40s   1GB
Apr 16 22:40:00 Starting compiler/backend/ag32
Apr 16 22:42:28 Finished compiler/backend/ag32                                 2m28s   1GB
Apr 16 22:42:28 Starting compiler/parsing/proofs
Apr 16 22:55:19 Finished compiler/parsing/proofs                              12m50s   1GB
Apr 16 22:55:19 Starting compiler/inference/proofs
Apr 16 23:00:54 Finished compiler/inference/proofs                             5m34s   1GB
Apr 16 23:00:54 Starting compiler/backend/semantics
Apr 17 00:01:13 Finished compiler/backend/semantics                         1h00m18s   2GB
Apr 17 00:01:14 Starting compiler/backend/reg_alloc/proofs
Apr 17 00:08:38 Finished compiler/backend/reg_alloc/proofs                     7m23s   1GB
Apr 17 00:08:38 Starting compiler/backend/proofs
Apr 17 01:49:55 Finished compiler/backend/proofs                            1h41m16s  14GB
Apr 17 01:49:55 Starting compiler/encoders/x64/proofs
Apr 17 02:11:14 Finished compiler/encoders/x64/proofs                         21m17s   4GB
Apr 17 02:11:14 Starting compiler/encoders/arm7/proofs
Apr 17 02:42:09 Finished compiler/encoders/arm7/proofs                        30m54s   3GB
Apr 17 02:42:09 Starting compiler/encoders/arm8/proofs
Apr 17 02:57:42 Finished compiler/encoders/arm8/proofs                        15m32s   1GB
Apr 17 02:57:42 Starting compiler/encoders/mips/proofs
Apr 17 03:20:40 Finished compiler/encoders/mips/proofs                        22m57s   2GB
Apr 17 03:20:40 Starting compiler/encoders/riscv/proofs
Apr 17 03:41:02 Finished compiler/encoders/riscv/proofs                       20m21s   1GB
Apr 17 03:41:02 Starting compiler/encoders/ag32/proofs
Apr 17 03:46:53 Finished compiler/encoders/ag32/proofs                         5m50s 870MB
Apr 17 03:46:53 Starting compiler/backend/x64/proofs
Apr 17 03:47:42 Finished compiler/backend/x64/proofs                             48s   1GB
Apr 17 03:47:43 Starting compiler/backend/arm7/proofs
Apr 17 03:48:33 Finished compiler/backend/arm7/proofs                            49s   2GB
Apr 17 03:48:33 Starting compiler/backend/arm8/proofs
Apr 17 03:49:19 Finished compiler/backend/arm8/proofs                            45s   1GB
Apr 17 03:49:19 Starting compiler/backend/mips/proofs
Apr 17 03:50:09 Finished compiler/backend/mips/proofs                            50s   1GB
Apr 17 03:50:09 Starting compiler/backend/riscv/proofs
Apr 17 03:50:58 Finished compiler/backend/riscv/proofs                           48s   1GB
Apr 17 03:50:58 Starting compiler/backend/ag32/proofs
Apr 17 04:19:23 Finished compiler/backend/ag32/proofs                         28m23s   2GB
Apr 17 04:19:23 Starting compiler/proofs
Apr 17 04:22:56 Finished compiler/proofs                                       3m32s   5GB
Apr 17 04:22:56 Starting candle/set-theory
Apr 17 04:23:55 Finished candle/set-theory                                       58s 707MB
Apr 17 04:23:55 Starting candle/syntax-lib
Apr 17 04:24:20 Finished candle/syntax-lib                                       24s 500MB
Apr 17 04:24:20 Starting candle/standard/syntax
Apr 17 04:28:15 Finished candle/standard/syntax                                3m55s   1GB
Apr 17 04:28:16 Starting candle/standard/semantics
Apr 17 04:32:07 Finished candle/standard/semantics                             3m51s   1GB
Apr 17 04:32:07 Starting candle/standard/monadic
Apr 17 04:35:46 Finished candle/standard/monadic                               3m38s   1GB
Apr 17 04:35:46 Starting candle/standard/ml_kernel
Apr 17 04:47:54 Finished candle/standard/ml_kernel                            12m07s   4GB
Apr 17 04:47:54 Starting candle/overloading/syntax
Apr 17 04:54:49 Finished candle/overloading/syntax                             6m54s   1GB
Apr 17 04:54:50 Starting candle/overloading/semantics
Apr 17 05:21:46 Finished candle/overloading/semantics                         26m56s   3GB
Apr 17 05:21:46 Starting characteristic/examples
Apr 17 05:24:30 Finished characteristic/examples                               2m43s   3GB
Apr 17 05:24:31 Starting tutorial/solutions
Apr 17 05:58:40 Finished tutorial/solutions                                   34m09s   8GB
Apr 17 05:58:40 Starting translator/monadic/examples
Apr 17 06:04:33 Finished translator/monadic/examples                           5m52s   2GB
Apr 17 06:04:33 Starting examples
Apr 17 06:19:59 Finished examples                                             15m25s   3GB
Apr 17 06:19:59 Starting examples/compilation/x64
Apr 17 11:40:27 Finished examples/compilation/x64                           5h20m27s  16GB
Apr 17 11:40:27 Starting examples/compilation/x64/proofs
Apr 17 11:43:57 Finished examples/compilation/x64/proofs                       3m30s   3GB
Apr 17 11:43:57 Starting examples/compilation/ag32
Apr 17 12:59:22 Finished examples/compilation/ag32                          1h15m24s   7GB
Apr 17 12:59:23 Starting examples/compilation/ag32/proofs
Apr 17 13:01:03 Finished examples/compilation/ag32/proofs                      1m39s   4GB
Apr 17 13:01:03 Starting examples/cost
Apr 17 14:55:20 Finished examples/cost                                      1h54m16s   6GB
Apr 17 14:55:20 Starting examples/lpr_checker
Apr 17 15:03:41 Finished examples/lpr_checker                                  8m20s   3GB
Apr 17 15:03:42 Starting examples/lpr_checker/compilation
Apr 17 15:40:48 Finished examples/lpr_checker/compilation                     37m06s  10GB
Apr 17 15:40:48 Starting examples/lpr_checker/compilation/proofs
Apr 17 15:42:17 Finished examples/lpr_checker/compilation/proofs               1m28s   3GB
Apr 17 15:42:17 Starting examples/lpr_checker/array
Apr 17 16:14:14 Finished examples/lpr_checker/array                           31m56s   4GB
Apr 17 16:14:14 Starting examples/lpr_checker/array/compilation
Apr 17 16:57:12 Finished examples/lpr_checker/array/compilation               42m57s  11GB
Apr 17 16:57:12 Starting examples/lpr_checker/array/compilation/proofs
Apr 17 16:59:01 Finished examples/lpr_checker/array/compilation/proofs         1m48s   4GB
Apr 17 16:59:02 Starting examples/opentheory
Apr 17 17:20:49 Finished examples/opentheory                                  21m47s   4GB
Apr 17 17:20:50 Starting examples/opentheory
Apr 17 17:20:52 Finished examples/opentheory                                      2s  34MB
Apr 17 17:20:52 Starting examples/opentheory/compilation
Apr 17 18:29:24 Finished examples/opentheory/compilation                    1h08m31s  18GB
Apr 17 18:29:25 Starting examples/opentheory/compilation/proofs
Apr 17 18:30:56 Finished examples/opentheory/compilation/proofs                1m31s   3GB
Apr 17 18:30:56 Starting examples/opentheory/compilation/ag32
Apr 17 19:42:33 Finished examples/opentheory/compilation/ag32               1h11m33s  24GB
Apr 17 19:42:33 Starting examples/opentheory/compilation/ag32/proofs
Apr 17 19:45:56 Finished examples/opentheory/compilation/ag32/proofs           3m22s   5GB
Apr 17 19:45:56 Starting translator/okasaki-examples
Apr 17 19:55:10 Finished translator/okasaki-examples                           9m13s   1GB
Apr 17 19:55:11 Starting translator/other-examples
Apr 17 19:56:32 Finished translator/other-examples                             1m20s   1GB
Apr 17 19:56:32 Starting compiler/parsing/tests
Apr 17 19:57:31 Finished compiler/parsing/tests                                  58s 630MB
Apr 17 19:57:31 Starting compiler/inference/tests
Apr 17 20:13:23 Finished compiler/inference/tests                             15m51s   7GB
Apr 17 20:13:23 Starting compiler/bootstrap/translation
Apr 18 01:36:25 Finished compiler/bootstrap/translation                     5h23m01s  23GB
Apr 18 01:36:25 Starting unverified/sexpr-bootstrap/x64/64
Apr 18 02:00:34 Finished unverified/sexpr-bootstrap/x64/64                    24m08s   8GB
Apr 18 02:00:34 Starting unverified/sexpr-bootstrap/x64/32
Apr 18 02:21:09 Finished unverified/sexpr-bootstrap/x64/32                    20m34s   8GB
Apr 18 02:21:09 Starting compiler/benchmarks
Apr 18 02:21:13 Finished compiler/benchmarks                                      3s  33MB
Apr 18 02:21:13 Starting compiler/bootstrap/compilation/x64/64
Apr 19 02:46:36 Finished compiler/bootstrap/compilation/x64/64             24h25m21s  71GB
Apr 19 02:46:36 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 19 02:51:01 Finished compiler/bootstrap/compilation/x64/64/proofs          4m24s  19GB
Apr 19 02:51:01 Starting compiler/bootstrap/compilation/x64/32
Apr 20 03:51:11 Finished compiler/bootstrap/compilation/x64/32             25h00m08s 112GB
Apr 20 03:51:11 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 20 03:55:24 Finished compiler/bootstrap/compilation/x64/32/proofs          4m12s  14GB
Apr 20 03:55:24 Starting compiler/bootstrap/compilation/ag32/32
Apr 21 06:01:42 Finished compiler/bootstrap/compilation/ag32/32            26h06m16s 110GB
Apr 21 06:01:42 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 21 06:38:30 Finished compiler/bootstrap/compilation/ag32/32/proofs        36m47s  47GB
Apr 21 06:38:30 SUCCESS