Job 22

CakeML:17a3f934e17ae9231719fe54e90a889ffb28eb9d
  Make new ffi type an actual type (was abbreviation) [Nov 14 05:08:26]
HOL:35c71676c41ba3f906572b8a9afe0b1052f1ec35
  Merge pull request #493 from abxy/bugfix/hol-mode-clean-leading-tacti [Nov 13 05:45:29]
Machine:cakeml1852 4.4.0-22-generic x86_64 GNU/Linux
Artefacts:cake-riscv.tar.gz
cake-x64.tar.gz

Nov 14 06:19:10 Claimed job
Nov 14 06:19:33 Building HOL
Nov 14 06:31:58 Starting semantics/ffi
Nov 14 06:33:08 Finished semantics/ffi                                         1m07s 359MB
Nov 14 06:33:11 Starting semantics
Nov 14 06:36:12 Finished semantics                                             2m37s   1GB
Nov 14 06:36:14 Starting semantics/proofs
Nov 14 06:39:42 Finished semantics/proofs                                      3m24s   1GB
Nov 14 06:39:45 Starting basis/pure
Nov 14 06:45:46 Finished basis/pure                                            5m58s 729MB
Nov 14 06:45:49 Starting translator
Nov 14 06:52:53 Finished translator                                            7m01s 958MB
Nov 14 06:52:56 Starting compiler/parsing
Nov 14 06:55:23 Finished compiler/parsing                                      2m24s   1GB
Nov 14 06:55:25 Starting characteristic
Nov 14 07:00:05 Finished characteristic                                        4m36s   1GB
Nov 14 07:00:28 Starting basis
Nov 14 07:29:24 Finished basis                                                28m54s   2GB
Nov 14 07:29:25 Starting translator/monadic
Nov 14 07:33:16 Finished translator/monadic                                    3m48s   1GB
Nov 14 07:33:17 Starting compiler/inference
Nov 14 07:36:02 Finished compiler/inference                                    2m43s   1GB
Nov 14 07:36:04 Starting compiler/backend/reg_alloc
Nov 14 07:36:54 Finished compiler/backend/reg_alloc                              48s 696MB
Nov 14 07:36:55 Starting compiler/backend/gc
Nov 14 07:52:42 Finished compiler/backend/gc                                  15m44s   2GB
Nov 14 07:52:43 Starting compiler/backend
Nov 14 07:52:47 Finished compiler/backend                                         1s  14MB
Nov 14 07:52:48 Starting compiler/encoders/asm
Nov 14 07:52:50 Finished compiler/encoders/asm                                    0s  13MB
Nov 14 07:52:52 Starting compiler/encoders/x64
Nov 14 07:54:05 Finished compiler/encoders/x64                                 1m11s 453MB
Nov 14 07:54:06 Starting compiler/encoders/arm6
Nov 14 07:57:09 Finished compiler/encoders/arm6                                3m00s   1GB
Nov 14 07:57:10 Starting compiler/encoders/arm8
Nov 14 07:57:58 Finished compiler/encoders/arm8                                  46s 445MB
Nov 14 07:58:00 Starting compiler/encoders/mips
Nov 14 07:59:21 Finished compiler/encoders/mips                                1m19s 726MB
Nov 14 07:59:22 Starting compiler/encoders/riscv
Nov 14 08:00:57 Finished compiler/encoders/riscv                               1m33s 457MB
Nov 14 08:00:59 Starting compiler/backend/x64
Nov 14 08:01:40 Finished compiler/backend/x64                                    39s 895MB
Nov 14 08:01:41 Starting compiler/backend/arm6
Nov 14 08:02:27 Finished compiler/backend/arm6                                   44s 989MB
Nov 14 08:02:29 Starting compiler/backend/arm8
Nov 14 08:03:14 Finished compiler/backend/arm8                                   43s   1GB
Nov 14 08:03:15 Starting compiler/backend/mips
Nov 14 08:03:58 Finished compiler/backend/mips                                   41s 960MB
Nov 14 08:04:00 Starting compiler/backend/riscv
Nov 14 08:04:45 Finished compiler/backend/riscv                                  43s   1GB
Nov 14 08:04:46 Starting compiler/parsing/proofs
Nov 14 08:09:28 Finished compiler/parsing/proofs                               4m40s 869MB
Nov 14 08:09:30 Starting compiler/inference/proofs
Nov 14 08:13:51 Finished compiler/inference/proofs                             4m19s 930MB
Nov 14 08:13:53 Starting compiler/backend/semantics
Nov 14 08:33:00 Finished compiler/backend/semantics                           19m05s   4GB
Nov 14 08:33:22 Starting compiler/backend/reg_alloc/proofs
Nov 14 08:34:35 Finished compiler/backend/reg_alloc/proofs                     1m11s 428MB
Nov 14 08:34:36 Starting compiler/backend/proofs
Nov 14 09:46:13 Finished compiler/backend/proofs                            1h11m35s   4GB
Nov 14 09:46:15 Starting compiler/encoders/x64/proofs
Nov 14 09:57:55 Finished compiler/encoders/x64/proofs                         11m38s 978MB
Nov 14 09:57:56 Starting compiler/encoders/arm6/proofs
Nov 14 10:12:04 Finished compiler/encoders/arm6/proofs                        14m06s   3GB
Nov 14 10:12:06 Starting compiler/encoders/arm8/proofs
Nov 14 10:21:50 Finished compiler/encoders/arm8/proofs                         9m42s   1GB
Nov 14 10:21:51 Starting compiler/encoders/mips/proofs
Nov 14 10:35:39 Finished compiler/encoders/mips/proofs                        13m46s   1GB
Nov 14 10:35:41 Starting compiler/encoders/riscv/proofs
Nov 14 10:49:38 Finished compiler/encoders/riscv/proofs                       13m55s   1GB
Nov 14 10:50:00 Starting compiler/backend/x64/proofs
Nov 14 10:50:53 Finished compiler/backend/x64/proofs                             51s   1GB
Nov 14 10:50:55 Starting compiler/backend/arm6/proofs
Nov 14 10:51:53 Finished compiler/backend/arm6/proofs                            56s   1GB
Nov 14 10:51:54 Starting compiler/backend/arm8/proofs
Nov 14 10:52:48 Finished compiler/backend/arm8/proofs                            51s   1GB
Nov 14 10:52:49 Starting compiler/backend/mips/proofs
Nov 14 10:53:43 Finished compiler/backend/mips/proofs                            51s   1GB
Nov 14 10:53:44 Starting compiler/backend/riscv/proofs
Nov 14 10:54:37 Finished compiler/backend/riscv/proofs                           51s   1GB
Nov 14 10:54:39 Starting compiler/proofs
Nov 14 10:56:22 Finished compiler/proofs                                       1m41s   1GB
Nov 14 10:56:24 Starting candle/set-theory
Nov 14 10:58:06 Finished candle/set-theory                                     1m40s 653MB
Nov 14 10:58:07 Starting candle/syntax-lib
Nov 14 10:58:30 Finished candle/syntax-lib                                       21s 546MB
Nov 14 10:58:31 Starting candle/standard/syntax
Nov 14 11:01:32 Finished candle/standard/syntax                                2m59s 713MB
Nov 14 11:01:34 Starting candle/standard/semantics
Nov 14 11:04:01 Finished candle/standard/semantics                             2m26s 907MB
Nov 14 11:04:03 Starting candle/standard/monadic
Nov 14 11:06:55 Finished candle/standard/monadic                               2m50s 863MB
Nov 14 11:07:16 Starting candle/standard/ml_kernel
Nov 14 11:19:03 Finished candle/standard/ml_kernel                            11m45s   2GB
Nov 14 11:19:05 Starting candle/standard/opentheory
Nov 14 11:19:36 Finished candle/standard/opentheory                              29s 633MB
Nov 14 11:19:37 Starting characteristic/examples
Nov 14 11:21:42 Finished characteristic/examples                               2m03s   1GB
Nov 14 11:21:44 Starting tutorial/solutions
Nov 14 11:53:35 Finished tutorial/solutions                                   31m29s  10GB
Nov 14 11:53:36 Starting examples
Nov 14 12:02:24 Finished examples                                              8m45s   2GB
Nov 14 12:02:25 Starting examples/compilation
Nov 14 16:07:41 Finished examples/compilation                               4h04m53s  11GB
Nov 14 16:07:42 Starting examples/compilation/proofs
Nov 14 16:12:58 Finished examples/compilation/proofs                           5m14s   3GB
Nov 14 16:12:59 Starting compiler/benchmarks
Nov 14 17:52:54 Finished compiler/benchmarks                                1h39m53s  14GB
Nov 14 17:52:56 Starting translator/okasaki-examples
Nov 14 18:00:23 Finished translator/okasaki-examples                           7m25s   1GB
Nov 14 18:00:25 Starting translator/other-examples
Nov 14 18:07:08 Finished translator/other-examples                             6m42s   1GB
Nov 14 18:07:10 Starting compiler/parsing/tests
Nov 14 18:07:49 Finished compiler/parsing/tests                                  37s 388MB
Nov 14 18:07:51 Starting compiler/bootstrap/translation
Nov 15 01:31:47 Finished compiler/bootstrap/translation                     7h23m53s  30GB
Nov 15 01:31:50 Starting compiler/bootstrap/translation/x64
Nov 15 01:49:52 Finished compiler/bootstrap/translation/x64                   17m58s  38GB
Nov 15 01:49:54 Starting compiler/bootstrap/compilation/x64
Nov 15 19:57:33 Resuming compiler/bootstrap/compilation/x64
Nov 15 19:57:38 Finished compiler/bootstrap/compilation/x64                       3s  16MB
Nov 15 19:57:39 Starting compiler/bootstrap/compilation/x64/proofs
Nov 15 20:00:27 Finished compiler/bootstrap/compilation/x64/proofs             2m46s  21GB
Nov 15 20:00:29 Starting compiler/bootstrap/translation/riscv
Nov 15 20:19:58 Finished compiler/bootstrap/translation/riscv                 19m27s  21GB
Nov 15 20:20:00 Starting compiler/bootstrap/compilation/riscv
Nov 16 14:52:23 Finished compiler/bootstrap/compilation/riscv              18h32m21s  89GB
Nov 16 14:52:25 SUCCESS