Job 1367

CakeML:9a0180ee6a0bbcf4cc2d2aee6efc20caa0f62e95
  Add sexpr files to cake-x64-64.tar.gz artefact [Sep 24 05:41:42]
#788 (symbols)
Merging into:411c80da717a8e99b5a8e7f6519e95637ecb7225
  Merge pull request #752 from sorear/rv_fixes [Sep 24 08:22:45]
HOL:841cced433cd0e9e4913c6e9c05c9b7542e38a6b
  Handle change to Slavonic asterisk (25dec53e17) in Manual production [Sep 23 11:12:05]
Machine:oven5s3 5.7.19 x86_64 GNU/Linux

Sep 26 20:24:12 Claimed job
Sep 26 20:24:16 Building HOL
Sep 26 20:37:47 Starting developers
Sep 26 20:37:51 Finished developers                                               3s 147MB
Sep 26 20:37:52 Starting developers/bin
Sep 26 20:38:00 Finished developers/bin                                           8s   1GB
Sep 26 20:38:00 Starting semantics/ffi
Sep 26 20:38:10 Finished semantics/ffi                                            9s   1GB
Sep 26 20:38:11 Starting semantics
Sep 26 20:39:31 Finished semantics                                             1m19s   1GB
Sep 26 20:39:32 Starting semantics/proofs
Sep 26 20:42:43 Finished semantics/proofs                                      3m10s   2GB
Sep 26 20:42:43 Starting semantics/alt_semantics
Sep 26 20:42:51 Finished semantics/alt_semantics                                  7s   1GB
Sep 26 20:42:52 Starting semantics/alt_semantics/proofs
Sep 26 20:44:54 Finished semantics/alt_semantics/proofs                        2m02s   2GB
Sep 26 20:44:54 Starting basis/pure
Sep 26 20:47:26 Finished basis/pure                                            2m31s   2GB
Sep 26 20:47:27 Starting translator
Sep 26 20:49:57 Finished translator                                            2m30s   2GB
Sep 26 20:49:58 Starting compiler/parsing
Sep 26 20:51:03 Finished compiler/parsing                                      1m04s   2GB
Sep 26 20:51:03 Starting characteristic
Sep 26 20:56:40 Finished characteristic                                        5m36s   2GB
Sep 26 20:56:40 Starting translator/monadic
Sep 26 20:58:10 Finished translator/monadic                                    1m28s   2GB
Sep 26 20:58:10 Starting basis
Sep 26 21:30:08 Finished basis                                                31m57s  25GB
Sep 26 21:30:13 Starting compiler/inference
Sep 26 21:31:19 Finished compiler/inference                                    1m05s   2GB
Sep 26 21:31:19 Starting compiler/backend/reg_alloc
Sep 26 21:32:13 Finished compiler/backend/reg_alloc                              53s   2GB
Sep 26 21:32:13 Starting compiler/backend/gc
Sep 26 21:35:20 Finished compiler/backend/gc                                   3m06s   2GB
Sep 26 21:35:20 Starting compiler/backend
Sep 26 21:39:23 Finished compiler/backend                                      4m02s   4GB
Sep 26 21:39:23 Starting compiler/encoders/asm
Sep 26 21:39:44 Finished compiler/encoders/asm                                   20s   1GB
Sep 26 21:39:45 Starting compiler/encoders/x64
Sep 26 21:40:43 Finished compiler/encoders/x64                                   57s   1GB
Sep 26 21:40:43 Starting compiler/encoders/arm7
Sep 26 21:42:37 Finished compiler/encoders/arm7                                1m54s   2GB
Sep 26 21:42:38 Starting compiler/encoders/arm8
Sep 26 21:43:14 Finished compiler/encoders/arm8                                  35s   1GB
Sep 26 21:43:14 Starting compiler/encoders/mips
Sep 26 21:44:31 Finished compiler/encoders/mips                                1m16s   2GB
Sep 26 21:44:32 Starting compiler/encoders/riscv
Sep 26 21:45:59 Finished compiler/encoders/riscv                               1m27s   2GB
Sep 26 21:46:00 Starting compiler/encoders/ag32
Sep 26 21:46:17 Finished compiler/encoders/ag32                                  16s   1GB
Sep 26 21:46:17 Starting compiler/backend/x64
Sep 26 21:46:34 Finished compiler/backend/x64                                    16s   2GB
Sep 26 21:46:34 Starting compiler/backend/arm7
Sep 26 21:46:52 Finished compiler/backend/arm7                                   17s   2GB
Sep 26 21:46:52 Starting compiler/backend/arm8
Sep 26 21:47:09 Finished compiler/backend/arm8                                   16s   2GB
Sep 26 21:47:09 Starting compiler/backend/mips
Sep 26 21:47:26 Finished compiler/backend/mips                                   16s   2GB
Sep 26 21:47:27 Starting compiler/backend/riscv
Sep 26 21:47:44 Finished compiler/backend/riscv                                  17s   2GB
Sep 26 21:47:44 Starting compiler/backend/ag32
Sep 26 21:48:49 Finished compiler/backend/ag32                                 1m04s   2GB
Sep 26 21:48:49 Starting compiler/parsing/proofs
Sep 26 21:53:27 Finished compiler/parsing/proofs                               4m36s   2GB
Sep 26 21:53:27 Starting compiler/inference/proofs
Sep 26 21:55:45 Finished compiler/inference/proofs                             2m17s   2GB
Sep 26 21:55:45 Starting compiler/backend/semantics
Sep 26 22:21:03 Finished compiler/backend/semantics                           25m17s   2GB
Sep 26 22:21:03 Starting compiler/backend/reg_alloc/proofs
Sep 26 22:24:15 Finished compiler/backend/reg_alloc/proofs                     3m11s   2GB
Sep 26 22:24:15 Starting compiler/backend/proofs
Sep 26 23:11:33 Finished compiler/backend/proofs                              47m17s  19GB
Sep 26 23:11:34 Starting compiler/encoders/x64/proofs
Sep 26 23:21:26 Finished compiler/encoders/x64/proofs                          9m52s   4GB
Sep 26 23:21:26 Starting compiler/encoders/arm7/proofs
Sep 26 23:34:29 Finished compiler/encoders/arm7/proofs                        13m02s   3GB
Sep 26 23:34:29 Starting compiler/encoders/arm8/proofs
Sep 26 23:41:02 Finished compiler/encoders/arm8/proofs                         6m32s   2GB
Sep 26 23:41:02 Starting compiler/encoders/mips/proofs
Sep 26 23:51:35 Finished compiler/encoders/mips/proofs                        10m31s   2GB
Sep 26 23:51:35 Starting compiler/encoders/riscv/proofs
Sep 27 00:00:03 Finished compiler/encoders/riscv/proofs                        8m27s   2GB
Sep 27 05:30:03 Resuming compiler/encoders/ag32/proofs
Sep 27 05:32:26 Finished compiler/encoders/ag32/proofs                         2m22s   2GB
Sep 27 05:32:27 Starting compiler/backend/x64/proofs
Sep 27 05:32:46 Finished compiler/backend/x64/proofs                             18s   2GB
Sep 27 05:32:46 Starting compiler/backend/arm7/proofs
Sep 27 05:33:07 Finished compiler/backend/arm7/proofs                            20s   2GB
Sep 27 05:33:07 Starting compiler/backend/arm8/proofs
Sep 27 05:33:26 Finished compiler/backend/arm8/proofs                            18s   2GB
Sep 27 05:33:27 Starting compiler/backend/mips/proofs
Sep 27 05:33:47 Finished compiler/backend/mips/proofs                            19s   2GB
Sep 27 05:33:47 Starting compiler/backend/riscv/proofs
Sep 27 05:34:06 Finished compiler/backend/riscv/proofs                           18s   2GB
Sep 27 05:34:06 Starting compiler/backend/ag32/proofs
Sep 27 05:46:21 Finished compiler/backend/ag32/proofs                         12m14s   3GB
Sep 27 05:46:22 Starting compiler/proofs
Sep 27 05:48:04 Finished compiler/proofs                                       1m41s   3GB
Sep 27 05:48:04 Starting candle/set-theory
Sep 27 05:48:29 Finished candle/set-theory                                       24s   1GB
Sep 27 05:48:30 Starting candle/syntax-lib
Sep 27 05:48:40 Finished candle/syntax-lib                                        9s   1GB
Sep 27 05:48:40 Starting candle/standard/syntax
Sep 27 05:50:22 Finished candle/standard/syntax                                1m41s   2GB
Sep 27 05:50:22 Starting candle/standard/semantics
Sep 27 05:52:01 Finished candle/standard/semantics                             1m37s   3GB
Sep 27 05:52:01 Starting candle/standard/monadic
Sep 27 05:53:34 Finished candle/standard/monadic                               1m32s   2GB
Sep 27 05:53:34 Starting candle/standard/ml_kernel
Sep 27 05:58:42 Finished candle/standard/ml_kernel                             5m07s   5GB
Sep 27 05:58:43 Starting candle/overloading/syntax
Sep 27 06:01:31 Finished candle/overloading/syntax                             2m47s   2GB
Sep 27 06:01:31 Starting candle/overloading/semantics
Sep 27 06:13:37 Finished candle/overloading/semantics                         12m04s   3GB
Sep 27 06:13:37 Starting characteristic/examples
Sep 27 06:14:48 Finished characteristic/examples                               1m11s   2GB
Sep 27 06:14:49 Starting tutorial/solutions
Sep 27 06:29:07 Finished tutorial/solutions                                   14m17s   6GB
Sep 27 06:29:07 Starting translator/monadic/examples
Sep 27 06:31:37 Finished translator/monadic/examples                           2m29s   3GB
Sep 27 06:31:37 Starting examples
Sep 27 06:38:32 Finished examples                                              6m54s   5GB
Sep 27 06:38:32 Starting examples/compilation/x64
Sep 27 08:53:40 Finished examples/compilation/x64                           2h15m07s  22GB
Sep 27 08:53:41 Starting examples/compilation/x64/proofs
Sep 27 08:55:03 Finished examples/compilation/x64/proofs                       1m21s   3GB
Sep 27 08:55:03 Starting examples/compilation/ag32
Sep 27 09:26:29 Finished examples/compilation/ag32                            31m26s   7GB
Sep 27 09:26:30 Starting examples/compilation/ag32/proofs
Sep 27 09:27:09 Finished examples/compilation/ag32/proofs                        39s   4GB
Sep 27 09:27:10 Starting examples/cost
Sep 27 10:11:02 Finished examples/cost                                        43m51s   7GB
Sep 27 10:11:02 Starting examples/lpr_checker
Sep 27 10:14:35 Finished examples/lpr_checker                                  3m32s   2GB
Sep 27 10:14:36 Starting examples/lpr_checker/compilation
Sep 27 10:30:51 Finished examples/lpr_checker/compilation                     16m15s   9GB
Sep 27 10:30:52 Starting examples/lpr_checker/compilation/proofs
Sep 27 10:31:29 Finished examples/lpr_checker/compilation/proofs                 36s   3GB
Sep 27 10:31:29 Starting examples/lpr_checker/array
Sep 27 10:43:59 Finished examples/lpr_checker/array                           12m30s   4GB
Sep 27 10:44:00 Starting examples/lpr_checker/array/compilation
Sep 27 11:01:44 Finished examples/lpr_checker/array/compilation               17m44s  11GB
Sep 27 11:01:45 Starting examples/lpr_checker/array/compilation/proofs
Sep 27 11:02:29 Finished examples/lpr_checker/array/compilation/proofs           43s   4GB
Sep 27 11:02:29 Starting examples/opentheory
Sep 27 11:11:27 Finished examples/opentheory                                   8m57s   6GB
Sep 27 11:11:27 Starting examples/opentheory
Sep 27 11:11:28 Finished examples/opentheory                                      1s  25MB
Sep 27 11:11:29 Starting examples/opentheory/compilation
Sep 27 11:41:59 Finished examples/opentheory/compilation                      30m29s  18GB
Sep 27 11:42:00 Starting examples/opentheory/compilation/proofs
Sep 27 11:42:35 Finished examples/opentheory/compilation/proofs                  35s   3GB
Sep 27 11:42:36 Starting examples/opentheory/compilation/ag32
Sep 27 12:14:20 Finished examples/opentheory/compilation/ag32                 31m44s  16GB
Sep 27 12:14:21 Starting examples/opentheory/compilation/ag32/proofs
Sep 27 12:15:49 Finished examples/opentheory/compilation/ag32/proofs           1m27s   5GB
Sep 27 12:15:50 Starting translator/okasaki-examples
Sep 27 12:19:51 Finished translator/okasaki-examples                           4m00s   2GB
Sep 27 12:19:51 Starting translator/other-examples
Sep 27 12:21:27 Finished translator/other-examples                             1m34s   2GB
Sep 27 12:21:27 Starting compiler/parsing/tests
Sep 27 12:21:50 Finished compiler/parsing/tests                                  23s   2GB
Sep 27 12:21:51 Starting compiler/inference/tests
Sep 27 12:26:08 Finished compiler/inference/tests                              4m16s   3GB
Sep 27 12:26:08 Starting compiler/bootstrap/translation
Sep 27 14:59:49 Finished compiler/bootstrap/translation                     2h33m40s  82GB
Sep 27 14:59:50 Starting unverified/sexpr-bootstrap/x64/64
Sep 27 15:08:45 Finished unverified/sexpr-bootstrap/x64/64                     8m54s   9GB
Sep 27 15:08:45 Starting unverified/sexpr-bootstrap/x64/32
Sep 27 15:16:10 Finished unverified/sexpr-bootstrap/x64/32                     7m24s   8GB
Sep 27 15:16:10 Starting compiler/benchmarks
Sep 27 15:16:13 Finished compiler/benchmarks                                      1s  31MB
Sep 27 15:16:13 Starting compiler/bootstrap/compilation/x64/64
Sep 28 02:43:51 Finished compiler/bootstrap/compilation/x64/64             11h27m37s 100GB
Sep 28 02:43:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 28 02:46:01 Finished compiler/bootstrap/compilation/x64/64/proofs          2m09s  14GB
Sep 28 02:46:02 Starting compiler/bootstrap/compilation/x64/32
Sep 28 13:21:44 Finished compiler/bootstrap/compilation/x64/32             10h35m41s 100GB
Sep 28 13:21:44 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 28 13:23:42 Finished compiler/bootstrap/compilation/x64/32/proofs          1m57s  13GB
Sep 28 13:23:42 Starting compiler/bootstrap/compilation/ag32/32
Sep 28 19:06:24 Resuming compiler/bootstrap/compilation/ag32/32
Sep 29 04:12:15 Finished compiler/bootstrap/compilation/ag32/32             9h05m50s  98GB
Sep 29 04:12:16 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 29 04:32:44 Finished compiler/bootstrap/compilation/ag32/32/proofs        20m27s  49GB
Sep 29 04:32:44 SUCCESS