Job 1508

CakeML: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
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Apr 06 09:34:46 Claimed job
Apr 06 09:34:59 Building HOL
Apr 06 10:08:14 Starting developers
Apr 06 10:08:22 Finished developers                                               8s 123MB
Apr 06 10:08:23 Starting developers/bin
Apr 06 10:08:36 Finished developers/bin                                          12s   1GB
Apr 06 10:08:36 Starting semantics/ffi
Apr 06 10:09:00 Finished semantics/ffi                                           23s 287MB
Apr 06 10:09:00 Starting semantics
Apr 06 10:12:10 Finished semantics                                             3m09s   1GB
Apr 06 10:12:10 Starting semantics/proofs
Apr 06 10:19:44 Finished semantics/proofs                                      7m33s   1GB
Apr 06 10:19:45 Starting semantics/alt_semantics
Apr 06 10:20:06 Finished semantics/alt_semantics                                 21s 346MB
Apr 06 10:20:06 Starting semantics/alt_semantics/proofs
Apr 06 10:24:47 Finished semantics/alt_semantics/proofs                        4m40s 771MB
Apr 06 10:24:47 Starting basis/pure
Apr 06 10:30:42 Finished basis/pure                                            5m55s 884MB
Apr 06 10:30:43 Starting translator
Apr 06 10:36:25 Finished translator                                            5m42s   1GB
Apr 06 10:36:25 Starting compiler/parsing
Apr 06 10:38:57 Finished compiler/parsing                                      2m31s   1GB
Apr 06 10:38:58 Starting characteristic
Apr 06 10:51:33 Finished characteristic                                       12m35s   2GB
Apr 06 10:51:34 Starting translator/monadic
Apr 06 10:54:56 Finished translator/monadic                                    3m22s   1GB
Apr 06 10:54:56 Starting basis
Apr 06 12:30:07 Finished basis                                              1h35m09s  23GB
Apr 06 12:30:07 Starting compiler/inference
Apr 06 12:32:38 Finished compiler/inference                                    2m31s   1GB
Apr 06 12:32:38 Starting compiler/backend/reg_alloc
Apr 06 12:34:44 Finished compiler/backend/reg_alloc                            2m05s   1GB
Apr 06 12:34:45 Starting compiler/backend/gc
Apr 06 12:41:40 Finished compiler/backend/gc                                   6m55s   2GB
Apr 06 12:41:40 Starting compiler/backend
Apr 06 12:50:57 Finished compiler/backend                                      9m16s   4GB
Apr 06 12:50:57 Starting compiler/encoders/asm
Apr 06 12:51:46 Finished compiler/encoders/asm                                   48s 766MB
Apr 06 12:51:47 Starting compiler/encoders/x64
Apr 06 12:54:05 Finished compiler/encoders/x64                                 2m17s 817MB
Apr 06 12:54:05 Starting compiler/encoders/arm7
Apr 06 12:58:26 Finished compiler/encoders/arm7                                4m21s   1GB
Apr 06 12:58:27 Starting compiler/encoders/arm8
Apr 06 12:59:51 Finished compiler/encoders/arm8                                1m23s 629MB
Apr 06 12:59:51 Starting compiler/encoders/mips
Apr 06 13:03:04 Finished compiler/encoders/mips                                3m12s 831MB
Apr 06 13:03:04 Starting compiler/encoders/riscv
Apr 06 13:06:47 Finished compiler/encoders/riscv                               3m42s   1GB
Apr 06 13:06:47 Starting compiler/encoders/ag32
Apr 06 13:07:26 Finished compiler/encoders/ag32                                  38s 870MB
Apr 06 13:07:26 Starting compiler/backend/x64
Apr 06 13:08:11 Finished compiler/backend/x64                                    44s   1GB
Apr 06 13:08:11 Starting compiler/backend/arm7
Apr 06 13:08:54 Finished compiler/backend/arm7                                   43s   1GB
Apr 06 13:08:55 Starting compiler/backend/arm8
Apr 06 13:09:35 Finished compiler/backend/arm8                                   40s   1GB
Apr 06 13:09:36 Starting compiler/backend/mips
Apr 06 13:10:17 Finished compiler/backend/mips                                   41s   1GB
Apr 06 13:10:18 Starting compiler/backend/riscv
Apr 06 13:10:55 Finished compiler/backend/riscv                                  37s   1GB
Apr 06 13:10:55 Starting compiler/backend/ag32
Apr 06 13:13:21 Finished compiler/backend/ag32                                 2m25s   1GB
Apr 06 13:13:21 Starting compiler/parsing/proofs
Apr 06 13:25:33 Finished compiler/parsing/proofs                              12m11s 956MB
Apr 06 13:25:33 Starting compiler/inference/proofs
Apr 06 13:30:58 Finished compiler/inference/proofs                             5m24s   1GB
Apr 06 13:30:58 Starting compiler/backend/semantics
Apr 06 14:33:09 Finished compiler/backend/semantics                         1h02m10s   2GB
Apr 06 14:33:09 Starting compiler/backend/reg_alloc/proofs
Apr 06 14:40:39 Finished compiler/backend/reg_alloc/proofs                     7m29s 917MB
Apr 06 14:40:39 Starting compiler/backend/proofs
Apr 06 16:21:57 Finished compiler/backend/proofs                            1h41m17s  17GB
Apr 06 16:21:57 Starting compiler/encoders/x64/proofs
Apr 06 16:43:19 Finished compiler/encoders/x64/proofs                         21m21s   5GB
Apr 06 16:43:20 Starting compiler/encoders/arm7/proofs
Apr 06 17:12:49 Finished compiler/encoders/arm7/proofs                        29m28s   5GB
Apr 06 17:12:49 Starting compiler/encoders/arm8/proofs
Apr 06 17:28:15 Finished compiler/encoders/arm8/proofs                        15m25s   1GB
Apr 06 17:28:15 Starting compiler/encoders/mips/proofs
Apr 06 17:51:04 Finished compiler/encoders/mips/proofs                        22m48s   2GB
Apr 06 17:51:04 Starting compiler/encoders/riscv/proofs
Apr 06 18:11:27 Finished compiler/encoders/riscv/proofs                       20m22s   1GB
Apr 06 18:11:27 Starting compiler/encoders/ag32/proofs
Apr 06 18:17:11 Finished compiler/encoders/ag32/proofs                         5m44s 873MB
Apr 06 18:17:12 Starting compiler/backend/x64/proofs
Apr 06 18:17:59 Finished compiler/backend/x64/proofs                             47s   1GB
Apr 06 18:17:59 Starting compiler/backend/arm7/proofs
Apr 06 18:18:47 Finished compiler/backend/arm7/proofs                            47s   1GB
Apr 06 18:18:47 Starting compiler/backend/arm8/proofs
Apr 06 18:19:33 Finished compiler/backend/arm8/proofs                            45s   1GB
Apr 06 18:19:33 Starting compiler/backend/mips/proofs
Apr 06 18:20:17 Finished compiler/backend/mips/proofs                            44s   1GB
Apr 06 18:20:18 Starting compiler/backend/riscv/proofs
Apr 06 18:21:07 Finished compiler/backend/riscv/proofs                           48s   1GB
Apr 06 18:21:07 Starting compiler/backend/ag32/proofs
Apr 06 18:48:50 Finished compiler/backend/ag32/proofs                         27m41s   2GB
Apr 06 18:48:50 Starting compiler/proofs
Apr 06 18:52:44 Finished compiler/proofs                                       3m53s   3GB
Apr 06 18:52:44 Starting candle/set-theory
Apr 06 18:53:41 Finished candle/set-theory                                       56s   1GB
Apr 06 18:53:41 Starting candle/syntax-lib
Apr 06 18:54:06 Finished candle/syntax-lib                                       24s 569MB
Apr 06 18:54:06 Starting candle/standard/syntax
Apr 06 18:58:00 Finished candle/standard/syntax                                3m54s   1GB
Apr 06 18:58:01 Starting candle/standard/semantics
Apr 06 19:01:51 Finished candle/standard/semantics                             3m49s   1GB
Apr 06 19:01:51 Starting candle/standard/monadic
Apr 06 19:05:30 Finished candle/standard/monadic                               3m39s   1GB
Apr 06 19:05:30 Starting candle/standard/ml_kernel
Apr 06 19:16:59 Finished candle/standard/ml_kernel                            11m28s   5GB
Apr 06 19:17:00 Starting candle/overloading/syntax
Apr 06 19:23:48 Finished candle/overloading/syntax                             6m48s   1GB
Apr 06 19:23:49 Starting candle/overloading/semantics
Apr 06 19:50:20 Finished candle/overloading/semantics                         26m30s   3GB
Apr 06 19:50:20 Starting characteristic/examples
Apr 06 19:53:07 Finished characteristic/examples                               2m46s   2GB
Apr 06 19:53:07 Starting tutorial/solutions
Apr 06 20:26:38 Finished tutorial/solutions                                   33m31s   9GB
Apr 06 20:26:38 Starting translator/monadic/examples
Apr 06 20:32:22 Finished translator/monadic/examples                           5m43s   2GB
Apr 06 20:32:22 Starting examples
Apr 06 20:47:25 Finished examples                                             15m02s   4GB
Apr 06 20:47:25 Starting examples/compilation/x64
Apr 07 01:57:14 Finished examples/compilation/x64                           5h09m47s  18GB
Apr 07 01:57:14 Starting examples/compilation/x64/proofs
Apr 07 02:00:41 Finished examples/compilation/x64/proofs                       3m26s   3GB
Apr 07 02:00:41 Starting examples/compilation/ag32
Apr 07 03:14:58 Finished examples/compilation/ag32                          1h14m16s   7GB
Apr 07 03:14:58 Starting examples/compilation/ag32/proofs
Apr 07 03:16:37 Finished examples/compilation/ag32/proofs                      1m38s   3GB
Apr 07 03:16:37 Starting examples/cost
Apr 07 05:07:37 Finished examples/cost                                      1h50m58s   9GB
Apr 07 05:07:37 Starting examples/lpr_checker
Apr 07 05:15:50 Finished examples/lpr_checker                                  8m12s   2GB
Apr 07 05:15:50 Starting examples/lpr_checker/compilation
Apr 07 05:51:39 Finished examples/lpr_checker/compilation                     35m48s  10GB
Apr 07 05:51:39 Starting examples/lpr_checker/compilation/proofs
Apr 07 05:52:56 Finished examples/lpr_checker/compilation/proofs               1m16s   2GB
Apr 07 05:52:56 Starting examples/lpr_checker/array
Apr 07 06:25:13 Finished examples/lpr_checker/array                           32m16s   2GB
Apr 07 06:25:14 Starting examples/lpr_checker/array/compilation
Apr 07 07:05:59 Finished examples/lpr_checker/array/compilation               40m45s  11GB
Apr 07 07:05:59 Starting examples/lpr_checker/array/compilation/proofs
Apr 07 07:07:39 Finished examples/lpr_checker/array/compilation/proofs         1m39s   4GB
Apr 07 07:07:39 Starting examples/opentheory
Apr 07 07:28:02 Finished examples/opentheory                                  20m22s   5GB
Apr 07 07:28:02 Starting examples/opentheory
Apr 07 07:28:04 Finished examples/opentheory                                      2s  33MB
Apr 07 07:28:04 Starting examples/opentheory/compilation
Apr 07 08:34:46 Finished examples/opentheory/compilation                    1h06m41s  20GB
Apr 07 08:34:46 Starting examples/opentheory/compilation/proofs
Apr 07 08:36:11 Finished examples/opentheory/compilation/proofs                1m25s   4GB
Apr 07 08:36:12 Starting examples/opentheory/compilation/ag32
Apr 07 09:47:55 Finished examples/opentheory/compilation/ag32               1h11m43s  14GB
Apr 07 09:47:55 Starting examples/opentheory/compilation/ag32/proofs
Apr 07 09:51:54 Finished examples/opentheory/compilation/ag32/proofs           3m58s   5GB
Apr 07 09:51:54 Starting translator/okasaki-examples
Apr 07 10:00:42 Finished translator/okasaki-examples                           8m47s   1GB
Apr 07 10:00:42 Starting translator/other-examples
Apr 07 10:04:30 Finished translator/other-examples                             3m47s   1GB
Apr 07 10:04:30 Starting compiler/parsing/tests
Apr 07 10:05:29 Finished compiler/parsing/tests                                  58s 638MB
Apr 07 10:05:29 Starting compiler/inference/tests
Apr 07 10:20:17 Finished compiler/inference/tests                             14m48s   5GB
Apr 07 10:20:17 Starting compiler/bootstrap/translation
Apr 07 15:34:30 Finished compiler/bootstrap/translation                     5h14m12s  75GB
Apr 07 15:34:30 Starting unverified/sexpr-bootstrap/x64/64
Apr 07 15:58:30 Finished unverified/sexpr-bootstrap/x64/64                    23m55s   9GB
Apr 07 15:58:30 Starting unverified/sexpr-bootstrap/x64/32
Apr 07 16:19:22 Finished unverified/sexpr-bootstrap/x64/32                    20m47s   8GB
Apr 07 16:19:22 Starting compiler/benchmarks
Apr 07 16:19:26 Finished compiler/benchmarks                                      3s  32MB
Apr 07 16:19:26 Starting compiler/bootstrap/compilation/x64/64
Apr 08 19:42:03 Finished compiler/bootstrap/compilation/x64/64             27h22m32s 110GB
Apr 08 19:42:03 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 08 19:46:47 Finished compiler/bootstrap/compilation/x64/64/proofs          4m43s  20GB
Apr 08 19:46:47 Starting compiler/bootstrap/compilation/x64/32
Apr 09 17:30:58 Finished compiler/bootstrap/compilation/x64/32             21h44m06s  70GB
Apr 09 17:30:59 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 09 17:35:16 Finished compiler/bootstrap/compilation/x64/32/proofs          4m17s  12GB
Apr 09 17:35:17 Starting compiler/bootstrap/compilation/ag32/32
Apr 10 18:02:16 Finished compiler/bootstrap/compilation/ag32/32            24h26m58s  94GB
Apr 10 18:02:17 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 10 18:48:00 Finished compiler/bootstrap/compilation/ag32/32/proofs        45m43s  54GB
Apr 10 18:48:00 SUCCESS