Job 21

CakeML:0c3dcc4059337ddb1b7fa77557a69cdcf3530dd5
  Minor speedups for xcf and xfun_spec [Nov 12 18:43:18]
#372 (cf_speed)
Merging into:e783db54ebe2ce1cb94f98672d246bc85fdb1491
  Adjust data_to_word to fit syntactic criteria [Nov 13 08:33:05]
HOL:35c71676c41ba3f906572b8a9afe0b1052f1ec35
  Merge pull request #493 from abxy/bugfix/hol-mode-clean-leading-tacti [Nov 13 05:45:29]
Machine:cakeml1798 4.4.0-98-generic x86_64 GNU/Linux

Nov 14 04:58:28 Claimed job
Nov 14 04:58:51 Building HOL
Nov 14 05:11:52 Starting semantics/ffi
Nov 14 05:13:02 Finished semantics/ffi                                         1m08s 359MB
Nov 14 05:13:03 Starting semantics
Nov 14 05:15:47 Finished semantics                                             2m42s   1GB
Nov 14 05:15:49 Starting semantics/proofs
Nov 14 05:19:19 Finished semantics/proofs                                      3m28s   1GB
Nov 14 05:19:20 Starting basis/pure
Nov 14 05:25:28 Finished basis/pure                                            6m05s 610MB
Nov 14 05:25:29 Starting translator
Nov 14 05:32:42 Finished translator                                            7m11s   1GB
Nov 14 05:32:44 Starting compiler/parsing
Nov 14 05:35:08 Finished compiler/parsing                                      2m22s   2GB
Nov 14 05:35:09 Starting characteristic
Nov 14 05:39:47 Finished characteristic                                        4m36s   1GB
Nov 14 05:39:48 Starting basis
Nov 14 06:07:35 Finished basis                                                27m44s   2GB
Nov 14 06:07:36 Starting translator/monadic
Nov 14 06:11:22 Finished translator/monadic                                    3m44s   1GB
Nov 14 06:11:24 Starting compiler/inference
Nov 14 06:14:09 Finished compiler/inference                                    2m43s   1GB
Nov 14 06:14:11 Starting compiler/backend/reg_alloc
Nov 14 06:15:02 Finished compiler/backend/reg_alloc                              49s 814MB
Nov 14 06:15:04 Starting compiler/backend/gc
Nov 14 06:31:13 Finished compiler/backend/gc                                  16m07s   2GB
Nov 14 06:31:14 Starting compiler/backend
Nov 14 06:31:17 Finished compiler/backend                                         1s  17MB
Nov 14 06:31:19 Starting compiler/encoders/asm
Nov 14 06:31:21 Finished compiler/encoders/asm                                    0s  12MB
Nov 14 06:31:22 Starting compiler/encoders/x64
Nov 14 06:32:38 Finished compiler/encoders/x64                                 1m14s 439MB
Nov 14 06:32:40 Starting compiler/encoders/arm6
Nov 14 06:35:46 Finished compiler/encoders/arm6                                3m04s   1GB
Nov 14 06:35:47 Starting compiler/encoders/arm8
Nov 14 06:36:37 Finished compiler/encoders/arm8                                  47s 385MB
Nov 14 06:36:38 Starting compiler/encoders/mips
Nov 14 06:38:02 Finished compiler/encoders/mips                                1m21s 705MB
Nov 14 06:38:03 Starting compiler/encoders/riscv
Nov 14 06:39:39 Finished compiler/encoders/riscv                               1m34s 438MB
Nov 14 06:39:41 Starting compiler/backend/x64
Nov 14 06:40:25 Finished compiler/backend/x64                                    42s   1GB
Nov 14 06:40:26 Starting compiler/backend/arm6
Nov 14 06:41:12 Finished compiler/backend/arm6                                   44s   1GB
Nov 14 06:41:14 Starting compiler/backend/arm8
Nov 14 06:41:58 Finished compiler/backend/arm8                                   42s   1GB
Nov 14 06:41:59 Starting compiler/backend/mips
Nov 14 06:42:43 Finished compiler/backend/mips                                   42s   1GB
Nov 14 06:42:45 Starting compiler/backend/riscv
Nov 14 06:43:47 Finished compiler/backend/riscv                                  41s 922MB
Nov 14 06:43:49 Starting compiler/parsing/proofs
Nov 14 06:48:42 Finished compiler/parsing/proofs                               4m51s 576MB
Nov 14 06:48:44 Starting compiler/inference/proofs
Nov 14 06:53:01 Finished compiler/inference/proofs                             4m15s   1GB
Nov 14 06:53:02 Starting compiler/backend/semantics
Nov 14 07:11:47 Finished compiler/backend/semantics                           18m43s   3GB
Nov 14 07:11:49 Starting compiler/backend/reg_alloc/proofs
Nov 14 07:13:03 Finished compiler/backend/reg_alloc/proofs                     1m12s 318MB
Nov 14 07:13:05 Starting compiler/backend/proofs
Nov 14 08:23:41 Finished compiler/backend/proofs                            1h10m34s   6GB
Nov 14 08:23:42 Starting compiler/encoders/x64/proofs
Nov 14 08:35:21 Finished compiler/encoders/x64/proofs                         11m37s   1GB
Nov 14 08:35:23 Starting compiler/encoders/arm6/proofs
Nov 14 08:49:25 Finished compiler/encoders/arm6/proofs                        13m59s   3GB
Nov 14 08:49:26 Starting compiler/encoders/arm8/proofs
Nov 14 08:59:14 Finished compiler/encoders/arm8/proofs                         9m25s   1GB
Nov 14 08:59:35 Starting compiler/encoders/mips/proofs
Nov 14 09:13:00 Finished compiler/encoders/mips/proofs                        13m23s   1GB
Nov 14 09:13:02 Starting compiler/encoders/riscv/proofs
Nov 14 09:27:21 Finished compiler/encoders/riscv/proofs                       14m17s 998MB
Nov 14 09:27:23 Starting compiler/backend/x64/proofs
Nov 14 09:28:16 Finished compiler/backend/x64/proofs                             52s   1GB
Nov 14 09:28:18 Starting compiler/backend/arm6/proofs
Nov 14 09:29:17 Finished compiler/backend/arm6/proofs                            58s   1GB
Nov 14 09:29:19 Starting compiler/backend/arm8/proofs
Nov 14 09:30:13 Finished compiler/backend/arm8/proofs                            52s   1GB
Nov 14 09:30:14 Starting compiler/backend/mips/proofs
Nov 14 09:31:12 Finished compiler/backend/mips/proofs                            56s   1GB
Nov 14 09:31:14 Starting compiler/backend/riscv/proofs
Nov 14 09:32:08 Finished compiler/backend/riscv/proofs                           52s   1GB
Nov 14 09:32:09 Starting compiler/proofs
Nov 14 09:33:55 Finished compiler/proofs                                       1m44s   1GB
Nov 14 09:33:57 Starting candle/set-theory
Nov 14 09:36:00 Finished candle/set-theory                                     1m41s 569MB
Nov 14 09:36:01 Starting candle/syntax-lib
Nov 14 09:36:23 Finished candle/syntax-lib                                       20s 552MB
Nov 14 09:36:25 Starting candle/standard/syntax
Nov 14 09:39:26 Finished candle/standard/syntax                                2m59s 549MB
Nov 14 09:39:27 Starting candle/standard/semantics
Nov 14 09:41:55 Finished candle/standard/semantics                             2m25s 863MB
Nov 14 09:41:57 Starting candle/standard/monadic
Nov 14 09:44:38 Finished candle/standard/monadic                               2m40s 863MB
Nov 14 09:44:40 Starting candle/standard/ml_kernel
Nov 14 09:56:12 Finished candle/standard/ml_kernel                            11m30s   2GB
Nov 14 09:56:14 Starting candle/standard/opentheory
Nov 14 09:56:48 Finished candle/standard/opentheory                              32s 577MB
Nov 14 09:56:49 Starting characteristic/examples
Nov 14 09:59:00 Finished characteristic/examples                               2m09s   1GB
Nov 14 09:59:02 Starting tutorial/solutions
Nov 14 10:31:59 Finished tutorial/solutions                                   32m55s   6GB
Nov 14 10:32:00 Starting examples
Nov 14 10:39:25 Finished examples                                              7m23s   2GB
Nov 14 10:39:27 Starting examples/compilation
Nov 14 14:47:02 Finished examples/compilation                               4h07m33s  11GB
Nov 14 14:47:03 Starting examples/compilation/proofs
Nov 14 14:52:39 Finished examples/compilation/proofs                           5m34s   3GB
Nov 14 14:52:41 Starting compiler/benchmarks
Nov 14 16:35:47 Finished compiler/benchmarks                                1h43m04s  14GB
Nov 14 16:35:48 Starting translator/okasaki-examples
Nov 14 16:43:27 Finished translator/okasaki-examples                           7m36s   1GB
Nov 14 16:43:29 Starting translator/other-examples
Nov 14 16:50:35 Finished translator/other-examples                             7m04s   1GB
Nov 14 16:50:36 Starting compiler/parsing/tests
Nov 14 16:51:18 Finished compiler/parsing/tests                                  40s 364MB
Nov 14 16:51:20 Starting compiler/bootstrap/translation
Nov 15 00:28:12 Finished compiler/bootstrap/translation                     7h36m30s  33GB
Nov 15 00:28:13 Starting compiler/bootstrap/translation/x64
Nov 15 00:47:08 Finished compiler/bootstrap/translation/x64                   18m53s  24GB
Nov 15 00:47:09 Starting compiler/bootstrap/compilation/x64
Nov 15 19:55:23 Resuming compiler/bootstrap/compilation/x64
Nov 15 19:55:28 Finished compiler/bootstrap/compilation/x64                       3s  16MB
Nov 15 19:55:30 Starting compiler/bootstrap/compilation/x64/proofs
Nov 15 19:58:14 Finished compiler/bootstrap/compilation/x64/proofs             2m43s  19GB
Nov 15 19:58:16 Starting compiler/bootstrap/translation/riscv
Nov 15 20:18:23 Finished compiler/bootstrap/translation/riscv                 20m05s  33GB
Nov 15 20:18:25 Starting compiler/bootstrap/compilation/riscv
Nov 16 19:11:34 Finished compiler/bootstrap/compilation/riscv              22h52m47s  84GB
Nov 16 19:11:36 SUCCESS