Job 29

CakeML:77df0bb6143f195f7375404e32d30f96f222db2f
  Remove old regression-test-related stuff [Nov 17 04:53:26]
HOL:afb6d5198e314c2a68d758a8e4652e8c533ee478
  Merge pull request #495 from simonjantsch/master [Nov 17 09:57:12]
Machine:cakeml1852 4.4.0-22-generic x86_64 GNU/Linux
Artefacts:cake-riscv.tar.gz
cake-x64.tar.gz

Nov 19 20:04:56 Claimed job
Nov 19 20:05:04 Building HOL
Nov 19 20:18:07 Starting semantics/ffi
Nov 19 20:19:20 Finished semantics/ffi                                         1m11s 455MB
Nov 19 20:19:22 Starting semantics
Nov 19 20:22:09 Finished semantics                                             2m44s   1GB
Nov 19 20:22:11 Starting semantics/proofs
Nov 19 20:25:55 Finished semantics/proofs                                      3m41s   1GB
Nov 19 20:25:57 Starting basis/pure
Nov 19 20:32:24 Finished basis/pure                                            6m24s 650MB
Nov 19 20:32:26 Starting translator
Nov 19 20:39:59 Finished translator                                            7m29s 840MB
Nov 19 20:40:02 Starting compiler/parsing
Nov 19 20:42:37 Finished compiler/parsing                                      2m31s   1GB
Nov 19 20:42:40 Starting characteristic
Nov 19 20:47:41 Finished characteristic                                        4m58s   1GB
Nov 19 20:47:44 Starting basis
Nov 19 21:17:05 Finished basis                                                29m17s   2GB
Nov 19 21:17:08 Starting translator/monadic
Nov 19 21:20:55 Finished translator/monadic                                    3m44s   1GB
Nov 19 21:20:58 Starting compiler/inference
Nov 19 21:24:00 Finished compiler/inference                                    2m59s 999MB
Nov 19 21:24:04 Starting compiler/backend/reg_alloc
Nov 19 21:24:55 Finished compiler/backend/reg_alloc                              48s 757MB
Nov 19 21:24:58 Starting compiler/backend/gc
Nov 19 21:41:44 Finished compiler/backend/gc                                  16m42s   3GB
Nov 19 21:41:47 Starting compiler/backend
Nov 19 21:41:52 Finished compiler/backend                                         1s  23MB
Nov 19 21:41:55 Starting compiler/encoders/asm
Nov 19 21:41:59 Finished compiler/encoders/asm                                    0s  19MB
Nov 19 21:42:02 Starting compiler/encoders/x64
Nov 19 21:43:21 Finished compiler/encoders/x64                                 1m16s 381MB
Nov 19 21:43:24 Starting compiler/encoders/arm6
Nov 19 21:46:39 Finished compiler/encoders/arm6                                3m11s   1GB
Nov 19 21:46:43 Starting compiler/encoders/arm8
Nov 19 21:47:33 Finished compiler/encoders/arm8                                  47s 419MB
Nov 19 21:47:36 Starting compiler/encoders/mips
Nov 19 21:49:00 Finished compiler/encoders/mips                                1m21s 633MB
Nov 19 21:49:02 Starting compiler/encoders/riscv
Nov 19 21:50:40 Finished compiler/encoders/riscv                               1m36s 458MB
Nov 19 21:50:42 Starting compiler/backend/x64
Nov 19 21:51:28 Finished compiler/backend/x64                                    44s   1GB
Nov 19 21:51:30 Starting compiler/backend/arm6
Nov 19 21:52:17 Finished compiler/backend/arm6                                   45s   1GB
Nov 19 21:52:19 Starting compiler/backend/arm8
Nov 19 21:53:07 Finished compiler/backend/arm8                                   46s   1GB
Nov 19 21:53:09 Starting compiler/backend/mips
Nov 19 21:53:58 Finished compiler/backend/mips                                   47s   1GB
Nov 19 21:54:00 Starting compiler/backend/riscv
Nov 19 21:54:44 Finished compiler/backend/riscv                                  42s 992MB
Nov 19 21:54:46 Starting compiler/parsing/proofs
Nov 19 21:59:45 Finished compiler/parsing/proofs                               4m56s 895MB
Nov 19 21:59:47 Starting compiler/inference/proofs
Nov 19 22:04:23 Finished compiler/inference/proofs                             4m34s   1GB
Nov 19 22:04:25 Starting compiler/backend/semantics
Nov 19 22:25:01 Finished compiler/backend/semantics                           20m34s   2GB
Nov 19 22:25:03 Starting compiler/backend/reg_alloc/proofs
Nov 19 22:26:18 Finished compiler/backend/reg_alloc/proofs                     1m13s 403MB
Nov 19 22:26:20 Starting compiler/backend/proofs
Nov 19 23:43:19 Finished compiler/backend/proofs                            1h16m56s   4GB
Nov 19 23:43:21 Starting compiler/encoders/x64/proofs
Nov 19 23:55:35 Finished compiler/encoders/x64/proofs                         12m11s   1GB
Nov 19 23:55:37 Starting compiler/encoders/arm6/proofs
Nov 20 00:10:07 Finished compiler/encoders/arm6/proofs                        14m27s   3GB
Nov 20 00:10:08 Starting compiler/encoders/arm8/proofs
Nov 20 00:20:04 Finished compiler/encoders/arm8/proofs                         9m53s   1GB
Nov 20 00:20:06 Starting compiler/encoders/mips/proofs
Nov 20 00:34:06 Finished compiler/encoders/mips/proofs                        13m58s   1GB
Nov 20 00:34:08 Starting compiler/encoders/riscv/proofs
Nov 20 00:48:55 Finished compiler/encoders/riscv/proofs                       14m44s 902MB
Nov 20 00:48:57 Starting compiler/backend/x64/proofs
Nov 20 00:49:51 Finished compiler/backend/x64/proofs                             51s   1GB
Nov 20 00:49:53 Starting compiler/backend/arm6/proofs
Nov 20 00:50:56 Finished compiler/backend/arm6/proofs                          1m01s   1GB
Nov 20 00:50:58 Starting compiler/backend/arm8/proofs
Nov 20 00:51:54 Finished compiler/backend/arm8/proofs                            54s   1GB
Nov 20 00:51:56 Starting compiler/backend/mips/proofs
Nov 20 00:52:55 Finished compiler/backend/mips/proofs                            56s   1GB
Nov 20 00:52:57 Starting compiler/backend/riscv/proofs
Nov 20 00:53:53 Finished compiler/backend/riscv/proofs                           54s   1GB
Nov 20 00:53:55 Starting compiler/proofs
Nov 20 00:55:46 Finished compiler/proofs                                       1m48s   1GB
Nov 20 00:55:48 Starting candle/set-theory
Nov 20 00:57:33 Finished candle/set-theory                                     1m42s 569MB
Nov 20 00:57:35 Starting candle/syntax-lib
Nov 20 00:57:58 Finished candle/syntax-lib                                       21s 376MB
Nov 20 00:58:00 Starting candle/standard/syntax
Nov 20 01:01:07 Finished candle/standard/syntax                                3m05s 570MB
Nov 20 01:01:09 Starting candle/standard/semantics
Nov 20 01:03:44 Finished candle/standard/semantics                             2m32s 812MB
Nov 20 01:03:46 Starting candle/standard/monadic
Nov 20 01:06:40 Finished candle/standard/monadic                               2m52s 785MB
Nov 20 01:06:42 Starting candle/standard/ml_kernel
Nov 20 01:18:58 Finished candle/standard/ml_kernel                            12m13s   2GB
Nov 20 01:18:59 Starting candle/standard/opentheory
Nov 20 01:19:32 Finished candle/standard/opentheory                              30s 602MB
Nov 20 01:19:34 Starting characteristic/examples
Nov 20 01:21:51 Finished characteristic/examples                               2m15s   1GB
Nov 20 01:21:53 Starting tutorial/solutions
Nov 20 01:56:41 Finished tutorial/solutions                                   34m45s  10GB
Nov 20 01:56:43 Starting examples
Nov 20 02:04:53 Finished examples                                              8m08s   1GB
Nov 20 02:04:55 Starting examples/compilation
Nov 20 06:34:15 Finished examples/compilation                               4h29m17s  12GB
Nov 20 06:34:16 Starting examples/compilation/proofs
Nov 20 06:39:56 Finished examples/compilation/proofs                           5m37s   3GB
Nov 20 06:39:58 Starting compiler/benchmarks
Nov 20 08:33:29 Finished compiler/benchmarks                                1h53m29s  17GB
Nov 20 08:33:31 Starting translator/okasaki-examples
Nov 20 08:41:23 Finished translator/okasaki-examples                           7m50s   1GB
Nov 20 08:41:25 Starting translator/other-examples
Nov 20 08:48:35 Finished translator/other-examples                             7m07s   1GB
Nov 20 08:48:37 Starting compiler/parsing/tests
Nov 20 08:49:20 Finished compiler/parsing/tests                                  41s 336MB
Nov 20 08:49:22 Starting compiler/bootstrap/translation
Nov 20 17:03:21 Finished compiler/bootstrap/translation                     8h13m57s  30GB
Nov 20 17:03:23 Starting compiler/bootstrap/translation/x64
Nov 20 17:23:45 Finished compiler/bootstrap/translation/x64                   20m20s  41GB
Nov 20 17:23:47 Starting compiler/bootstrap/compilation/x64
Nov 21 10:35:12 Finished compiler/bootstrap/compilation/x64                17h11m22s  87GB
Nov 21 10:35:14 Starting compiler/bootstrap/compilation/x64/proofs
Nov 21 10:37:39 Finished compiler/bootstrap/compilation/x64/proofs             2m23s  16GB
Nov 21 10:37:41 Starting compiler/bootstrap/translation/riscv
Nov 21 10:57:11 Finished compiler/bootstrap/translation/riscv                 19m28s  36GB
Nov 21 10:57:13 Starting compiler/bootstrap/compilation/riscv
Nov 22 05:29:57 Finished compiler/bootstrap/compilation/riscv              18h32m41s  92GB
Nov 22 05:29:59 SUCCESS