Job 1145

CakeML:b876bf7ef80bba2246ae5480e3b62dda46846ae7
  Fill in some missing cases [Jan 14 08:15:44]
#715 (unsafe-accesses)
Merging into:6f499a68f2500e7f937b3254c9da6f93a9b62670
  Merge pull request #716 from CakeML/stack-opt-2 [Jan 09 03:33:21]
HOL:29f6ddb65bb5d84c26f87faa6eeae514e3413406
  Fix HOLsexp selftest given change to API (fromList -> List) [Jan 13 07:30:16]
Machine:oven3 4.19.67.1.amd64-smp

Jan 14 12:01:48 Claimed job
Jan 14 12:02:00 Building HOL
Jan 14 12:25:05 Starting developers
Jan 14 12:25:12 Finished developers                                               6s  86MB
Jan 14 12:25:12 Starting developers/bin
Jan 14 12:25:26 Finished developers/bin                                          13s 974MB
Jan 14 12:25:26 Starting semantics/ffi
Jan 14 12:25:49 Finished semantics/ffi                                           22s 245MB
Jan 14 12:25:49 Starting semantics
Jan 14 12:28:52 Finished semantics                                             3m02s   1GB
Jan 14 12:28:52 Starting semantics/proofs
Jan 14 12:35:45 Finished semantics/proofs                                      6m52s   1GB
Jan 14 12:35:45 Starting semantics/alt_semantics
Jan 14 12:36:02 Finished semantics/alt_semantics                                 17s 321MB
Jan 14 12:36:03 Starting semantics/alt_semantics/proofs
Jan 14 12:40:23 Finished semantics/alt_semantics/proofs                        4m20s 871MB
Jan 14 12:40:24 Starting basis/pure
Jan 14 12:46:22 Finished basis/pure                                            5m57s 871MB
Jan 14 12:46:22 Starting translator
Jan 14 12:51:35 Finished translator                                            5m12s   1GB
Jan 14 12:51:35 Starting compiler/parsing
Jan 14 12:53:54 Finished compiler/parsing                                      2m19s   2GB
Jan 14 12:53:55 Starting characteristic
Jan 14 13:05:48 Finished characteristic                                       11m52s   2GB
Jan 14 13:05:48 Starting translator/monadic
Jan 14 13:09:00 Finished translator/monadic                                    3m11s   1GB
Jan 14 13:09:00 Starting basis
Jan 14 14:19:26 Finished basis                                              1h10m24s  19GB
Jan 14 14:19:26 Starting compiler/inference
Jan 14 14:24:11 Finished compiler/inference                                    4m44s   3GB
Jan 14 14:24:11 Starting compiler/backend/reg_alloc
Jan 14 14:26:05 Finished compiler/backend/reg_alloc                            1m53s   1GB
Jan 14 14:26:05 Starting compiler/backend/gc
Jan 14 14:32:25 Finished compiler/backend/gc                                   6m19s   1GB
Jan 14 14:32:26 Starting compiler/backend
Jan 14 14:40:45 Finished compiler/backend                                      8m19s   3GB
Jan 14 14:40:45 Starting compiler/encoders/asm
Jan 14 14:41:29 Finished compiler/encoders/asm                                   44s 756MB
Jan 14 14:41:30 Starting compiler/encoders/x64
Jan 14 14:43:30 Finished compiler/encoders/x64                                 2m00s 933MB
Jan 14 14:43:31 Starting compiler/encoders/arm7
Jan 14 14:47:14 Finished compiler/encoders/arm7                                3m43s   1GB
Jan 14 14:47:14 Starting compiler/encoders/arm8
Jan 14 14:48:24 Finished compiler/encoders/arm8                                1m09s 576MB
Jan 14 14:48:24 Starting compiler/encoders/mips
Jan 14 14:50:55 Finished compiler/encoders/mips                                2m30s   1GB
Jan 14 14:50:55 Starting compiler/encoders/riscv
Jan 14 14:53:55 Finished compiler/encoders/riscv                               2m58s 850MB
Jan 14 14:53:55 Starting compiler/encoders/ag32
Jan 14 14:54:32 Finished compiler/encoders/ag32                                  36s 545MB
Jan 14 14:54:32 Starting compiler/backend/x64
Jan 14 14:55:10 Finished compiler/backend/x64                                    37s   1GB
Jan 14 14:55:10 Starting compiler/backend/arm7
Jan 14 14:55:52 Finished compiler/backend/arm7                                   41s   1GB
Jan 14 14:55:52 Starting compiler/backend/arm8
Jan 14 14:56:30 Finished compiler/backend/arm8                                   37s   1GB
Jan 14 14:56:30 Starting compiler/backend/mips
Jan 14 14:57:08 Finished compiler/backend/mips                                   37s   1GB
Jan 14 14:57:08 Starting compiler/backend/riscv
Jan 14 14:57:49 Finished compiler/backend/riscv                                  40s   1GB
Jan 14 14:57:49 Starting compiler/backend/ag32
Jan 14 15:00:08 Finished compiler/backend/ag32                                 2m19s   1GB
Jan 14 15:00:08 Starting compiler/parsing/proofs
Jan 14 15:12:04 Finished compiler/parsing/proofs                              11m55s   1GB
Jan 14 15:12:04 Starting compiler/inference/proofs
Jan 14 15:18:26 Finished compiler/inference/proofs                             6m21s   1GB
Jan 14 15:18:26 Starting compiler/backend/semantics
Jan 14 16:14:23 Finished compiler/backend/semantics                           55m55s   3GB
Jan 14 16:14:23 Starting compiler/backend/reg_alloc/proofs
Jan 14 16:21:45 Finished compiler/backend/reg_alloc/proofs                     7m20s 863MB
Jan 14 16:21:45 Starting compiler/backend/proofs
Jan 14 18:18:09 Finished compiler/backend/proofs                            1h56m24s  14GB
Jan 14 18:18:09 Starting compiler/encoders/x64/proofs
Jan 14 18:38:39 Finished compiler/encoders/x64/proofs                         20m29s   4GB
Jan 14 18:38:39 Starting compiler/encoders/arm7/proofs
Jan 14 19:07:05 Finished compiler/encoders/arm7/proofs                        28m25s   3GB
Jan 14 19:07:05 Starting compiler/encoders/arm8/proofs
Jan 14 19:21:28 Finished compiler/encoders/arm8/proofs                        14m22s   1GB
Jan 14 19:21:28 Starting compiler/encoders/mips/proofs
Jan 14 19:42:27 Finished compiler/encoders/mips/proofs                        20m58s   2GB
Jan 14 19:42:27 Starting compiler/encoders/riscv/proofs
Jan 14 20:01:23 Finished compiler/encoders/riscv/proofs                       18m56s   1GB
Jan 14 20:01:23 Starting compiler/encoders/ag32/proofs
Jan 14 20:06:49 Finished compiler/encoders/ag32/proofs                         5m25s 875MB
Jan 14 20:06:49 Starting compiler/backend/x64/proofs
Jan 14 20:07:26 Finished compiler/backend/x64/proofs                             37s 843MB
Jan 14 20:07:27 Starting compiler/backend/arm7/proofs
Jan 14 20:08:06 Finished compiler/backend/arm7/proofs                            39s   1GB
Jan 14 20:08:06 Starting compiler/backend/arm8/proofs
Jan 14 20:08:44 Finished compiler/backend/arm8/proofs                            38s 861MB
Jan 14 20:08:44 Starting compiler/backend/mips/proofs
Jan 14 20:09:25 Finished compiler/backend/mips/proofs                            40s   1GB
Jan 14 20:09:25 Starting compiler/backend/riscv/proofs
Jan 14 20:10:06 Finished compiler/backend/riscv/proofs                           40s   1GB
Jan 14 20:10:06 Starting compiler/backend/ag32/proofs
Jan 14 20:29:43 Finished compiler/backend/ag32/proofs                         19m36s   2GB
Jan 14 20:29:43 Starting compiler/proofs
Jan 14 20:33:04 Finished compiler/proofs                                       3m20s   3GB
Jan 14 20:33:04 Starting candle/set-theory
Jan 14 20:33:56 Finished candle/set-theory                                       51s 758MB
Jan 14 20:33:56 Starting candle/syntax-lib
Jan 14 20:34:18 Finished candle/syntax-lib                                       21s 630MB
Jan 14 20:34:18 Starting candle/standard/syntax
Jan 14 20:37:58 Finished candle/standard/syntax                                3m39s   1GB
Jan 14 20:37:58 Starting candle/standard/semantics
Jan 14 20:41:35 Finished candle/standard/semantics                             3m36s   1GB
Jan 14 20:41:35 Starting candle/standard/monadic
Jan 14 20:44:59 Finished candle/standard/monadic                               3m23s   1GB
Jan 14 20:44:59 Starting candle/standard/ml_kernel
Jan 14 20:55:43 Finished candle/standard/ml_kernel                            10m43s   5GB
Jan 14 20:55:43 Starting candle/standard/opentheory
Jan 14 21:16:08 Finished candle/standard/opentheory                           20m24s   3GB
Jan 14 21:16:08 Starting candle/standard/opentheory/compilation
Jan 14 22:22:54 Finished candle/standard/opentheory/compilation             1h06m44s  15GB
Jan 14 22:22:54 Starting candle/standard/opentheory/compilation/proofs
Jan 14 22:24:23 Finished candle/standard/opentheory/compilation/proofs         1m28s   2GB
Jan 14 22:24:24 Starting characteristic/examples
Jan 14 22:27:30 Finished characteristic/examples                               3m06s   2GB
Jan 14 22:27:31 Starting tutorial/solutions
Jan 14 22:59:54 Finished tutorial/solutions                                   32m23s   6GB
Jan 14 22:59:54 Starting translator/monadic/examples
Jan 14 23:04:56 Finished translator/monadic/examples                           5m01s   2GB
Jan 14 23:04:57 Starting examples
Jan 14 23:20:37 Finished examples                                             15m40s   3GB
Jan 14 23:20:38 Starting examples/compilation/x64
Jan 15 04:10:25 Finished examples/compilation/x64                           4h49m45s  11GB
Jan 15 04:10:25 Starting examples/compilation/x64/proofs
Jan 15 04:13:46 Finished examples/compilation/x64/proofs                       3m20s   2GB
Jan 15 04:13:46 Starting examples/compilation/ag32
Jan 15 05:19:51 Finished examples/compilation/ag32                          1h06m04s   6GB
Jan 15 05:19:51 Starting examples/compilation/ag32/proofs
Jan 15 05:21:30 Finished examples/compilation/ag32/proofs                      1m38s   2GB
Jan 15 05:21:30 Starting examples/cost
Jan 15 06:17:52 Finished examples/cost                                        56m21s   8GB
Jan 15 06:17:52 Starting examples/lrat_checker
Jan 15 06:24:57 Finished examples/lrat_checker                                 7m04s   2GB
Jan 15 06:24:57 Starting examples/lrat_checker/compilation
Jan 15 06:57:04 Finished examples/lrat_checker/compilation                    32m06s   8GB
Jan 15 06:57:04 Starting examples/lrat_checker/compilation/proofs
Jan 15 06:58:20 Finished examples/lrat_checker/compilation/proofs              1m15s   3GB
Jan 15 06:58:20 Starting examples/lrat_checker/array
Jan 15 07:12:05 Finished examples/lrat_checker/array                          13m44s   3GB
Jan 15 07:12:05 Starting examples/lrat_checker/array/compilation
Jan 15 07:43:29 Finished examples/lrat_checker/array/compilation              31m23s   7GB
Jan 15 07:43:29 Starting examples/lrat_checker/array/compilation/proofs
Jan 15 07:44:51 Finished examples/lrat_checker/array/compilation/proofs        1m22s   2GB
Jan 15 07:44:51 Starting translator/okasaki-examples
Jan 15 07:53:24 Finished translator/okasaki-examples                           8m32s   1GB
Jan 15 07:53:24 Starting translator/other-examples
Jan 15 07:56:49 Finished translator/other-examples                             3m24s   1GB
Jan 15 07:56:49 Starting compiler/parsing/tests
Jan 15 07:57:44 Finished compiler/parsing/tests                                  54s 614MB
Jan 15 07:57:44 Starting compiler/inference/tests
Jan 15 08:06:25 Finished compiler/inference/tests                              8m40s   3GB
Jan 15 08:06:25 Starting compiler/bootstrap/translation
Jan 15 15:53:42 Finished compiler/bootstrap/translation                     7h47m16s  58GB
Jan 15 15:53:42 Starting unverified/sexpr-bootstrap/x64/64
Jan 15 16:22:11 Finished unverified/sexpr-bootstrap/x64/64                    28m29s   7GB
Jan 15 16:22:12 Starting unverified/sexpr-bootstrap/x64/32
Jan 15 16:42:58 Finished unverified/sexpr-bootstrap/x64/32                    20m45s   7GB
Jan 15 16:42:58 Starting compiler/benchmarks
Jan 15 16:43:01 Finished compiler/benchmarks                                      3s  35MB
Jan 15 16:43:02 Starting compiler/bootstrap/compilation/x64/64
Jan 17 00:59:55 Finished compiler/bootstrap/compilation/x64/64             32h16m52s 113GB
Jan 17 00:59:56 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 17 01:08:53 Finished compiler/bootstrap/compilation/x64/64/proofs          8m57s   5GB
Jan 17 01:08:54 Starting compiler/bootstrap/compilation/x64/32
Jan 18 02:27:51 Finished compiler/bootstrap/compilation/x64/32             25h18m56s 101GB
Jan 18 02:27:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 18 02:32:34 Finished compiler/bootstrap/compilation/x64/32/proofs          4m43s  11GB
Jan 18 02:32:35 Starting compiler/bootstrap/compilation/ag32/32
Jan 19 04:52:55 Finished compiler/bootstrap/compilation/ag32/32            26h20m20s  88GB
Jan 19 04:52:56 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 19 05:19:18 Finished compiler/bootstrap/compilation/ag32/32/proofs        26m22s  52GB
Jan 19 05:19:19 SUCCESS