Job 455

CakeML:cd7b362e8c6db50f63d446226a818d237f77f7e5
  Move balanced_map type outside Map module [Aug 24 18:10:55]
HOL:65213190ea2f7198c593aefc0f515c9ecc771ab8
  Merge pull request #574 from binghe/rich_topology [Aug 24 05:56:37]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Aug 24 18:12:22 Claimed job
Aug 24 18:12:27 Building HOL
Aug 24 18:20:31 Starting developers/bin
Aug 24 18:20:34 Finished developers/bin                                           3s 195MB
Aug 24 18:20:35 Starting semantics/ffi
Aug 24 18:21:11 Finished semantics/ffi                                           34s 383MB
Aug 24 18:21:11 Starting semantics
Aug 24 18:22:31 Finished semantics                                             1m18s   1GB
Aug 24 18:22:32 Starting semantics/proofs
Aug 24 18:25:13 Finished semantics/proofs                                      2m40s   1GB
Aug 24 18:25:14 Starting basis/pure
Aug 24 18:28:41 Finished basis/pure                                            3m26s 649MB
Aug 24 18:28:41 Starting translator
Aug 24 18:29:46 Finished translator                                            1m03s 909MB
Aug 24 18:29:47 Starting compiler/parsing
Aug 24 18:31:21 Finished compiler/parsing                                      1m33s   1GB
Aug 24 18:31:22 Starting characteristic
Aug 24 18:33:44 Finished characteristic                                        2m21s   1GB
Aug 24 18:33:45 Starting translator/monadic
Aug 24 18:35:07 Finished translator/monadic                                    1m21s   1GB
Aug 24 18:35:08 Starting basis
Aug 24 18:51:19 Finished basis                                                16m10s   3GB
Aug 24 18:51:20 Starting compiler/inference
Aug 24 18:52:58 Finished compiler/inference                                    1m37s 906MB
Aug 24 18:52:59 Starting compiler/backend/reg_alloc
Aug 24 18:53:46 Finished compiler/backend/reg_alloc                              45s 989MB
Aug 24 18:53:46 Starting compiler/backend/gc
Aug 24 19:02:40 Finished compiler/backend/gc                                   8m52s   3GB
Aug 24 19:02:40 Starting compiler/backend
Aug 24 19:02:43 Finished compiler/backend                                         2s  16MB
Aug 24 19:02:44 Starting compiler/encoders/asm
Aug 24 19:02:46 Finished compiler/encoders/asm                                    0s  15MB
Aug 24 19:02:46 Starting compiler/encoders/x64
Aug 24 19:03:35 Finished compiler/encoders/x64                                   48s 592MB
Aug 24 19:03:36 Starting compiler/encoders/arm6
Aug 24 19:05:18 Finished compiler/encoders/arm6                                1m41s   1GB
Aug 24 19:05:18 Starting compiler/encoders/arm8
Aug 24 19:05:43 Finished compiler/encoders/arm8                                  23s 441MB
Aug 24 19:05:43 Starting compiler/encoders/mips
Aug 24 19:06:39 Finished compiler/encoders/mips                                  54s 903MB
Aug 24 19:06:39 Starting compiler/encoders/riscv
Aug 24 19:07:39 Finished compiler/encoders/riscv                                 58s 696MB
Aug 24 19:07:39 Starting compiler/backend/x64
Aug 24 19:07:57 Finished compiler/backend/x64                                    16s   1GB
Aug 24 19:07:58 Starting compiler/backend/arm6
Aug 24 19:08:17 Finished compiler/backend/arm6                                   19s   1GB
Aug 24 19:08:18 Starting compiler/backend/arm8
Aug 24 19:08:37 Finished compiler/backend/arm8                                   18s   1GB
Aug 24 19:08:38 Starting compiler/backend/mips
Aug 24 19:08:56 Finished compiler/backend/mips                                   17s   1GB
Aug 24 19:08:57 Starting compiler/backend/riscv
Aug 24 19:09:15 Finished compiler/backend/riscv                                  17s   1GB
Aug 24 19:09:15 Starting compiler/parsing/proofs
Aug 24 19:15:14 Finished compiler/parsing/proofs                               5m57s 851MB
Aug 24 19:15:14 Starting compiler/inference/proofs
Aug 24 19:18:03 Finished compiler/inference/proofs                             2m48s   1GB
Aug 24 19:18:04 Starting compiler/backend/semantics
Aug 24 19:27:05 Finished compiler/backend/semantics                            9m00s   1GB
Aug 24 19:27:06 Starting compiler/backend/reg_alloc/proofs
Aug 24 19:34:13 Finished compiler/backend/reg_alloc/proofs                     7m07s 550MB
Aug 24 19:34:14 Starting compiler/backend/proofs
Aug 24 20:10:18 Finished compiler/backend/proofs                              36m03s   4GB
Aug 24 20:10:19 Starting compiler/encoders/x64/proofs
Aug 24 20:17:29 Finished compiler/encoders/x64/proofs                          7m09s   5GB
Aug 24 20:17:30 Starting compiler/encoders/arm6/proofs
Aug 24 20:24:58 Finished compiler/encoders/arm6/proofs                         7m27s   3GB
Aug 24 20:24:59 Starting compiler/encoders/arm8/proofs
Aug 24 20:30:18 Finished compiler/encoders/arm8/proofs                         5m18s   1GB
Aug 24 20:30:19 Starting compiler/encoders/mips/proofs
Aug 24 20:37:41 Finished compiler/encoders/mips/proofs                         7m21s   2GB
Aug 24 20:37:42 Starting compiler/encoders/riscv/proofs
Aug 24 20:45:39 Finished compiler/encoders/riscv/proofs                        7m57s 822MB
Aug 24 20:45:40 Starting compiler/backend/x64/proofs
Aug 24 20:46:00 Finished compiler/backend/x64/proofs                             19s   1GB
Aug 24 20:46:01 Starting compiler/backend/arm6/proofs
Aug 24 20:46:22 Finished compiler/backend/arm6/proofs                            20s 908MB
Aug 24 20:46:23 Starting compiler/backend/arm8/proofs
Aug 24 20:46:43 Finished compiler/backend/arm8/proofs                            19s   1GB
Aug 24 20:46:43 Starting compiler/backend/mips/proofs
Aug 24 20:47:03 Finished compiler/backend/mips/proofs                            19s 841MB
Aug 24 20:47:04 Starting compiler/backend/riscv/proofs
Aug 24 20:47:23 Finished compiler/backend/riscv/proofs                           18s 843MB
Aug 24 20:47:24 Starting compiler/proofs
Aug 24 20:48:40 Finished compiler/proofs                                       1m15s   1GB
Aug 24 20:48:40 Starting candle/set-theory
Aug 24 20:49:09 Finished candle/set-theory                                       27s 579MB
Aug 24 20:49:10 Starting candle/syntax-lib
Aug 24 20:49:19 Finished candle/syntax-lib                                        8s 406MB
Aug 24 20:49:20 Starting candle/standard/syntax
Aug 24 20:50:51 Finished candle/standard/syntax                                1m30s 629MB
Aug 24 20:50:52 Starting candle/standard/semantics
Aug 24 20:52:10 Finished candle/standard/semantics                             1m17s   1GB
Aug 24 20:52:11 Starting candle/standard/monadic
Aug 24 20:53:37 Finished candle/standard/monadic                               1m25s   1GB
Aug 24 20:53:38 Starting candle/standard/ml_kernel
Aug 24 20:57:00 Finished candle/standard/ml_kernel                             3m21s   1GB
Aug 24 20:57:01 Starting candle/standard/opentheory
Aug 24 20:57:15 Finished candle/standard/opentheory                              13s 648MB
Aug 24 20:57:16 Starting characteristic/examples
Aug 24 20:58:50 Finished characteristic/examples                               1m33s   2GB
Aug 24 20:58:51 Starting tutorial/solutions
Aug 24 21:12:33 Finished tutorial/solutions                                   13m40s   7GB
Aug 24 21:12:33 Starting translator/monadic/examples
Aug 24 21:14:18 Finished translator/monadic/examples                           1m44s   3GB
Aug 24 21:14:19 Starting examples
Aug 24 21:19:53 Finished examples                                              5m32s   6GB
Aug 24 21:19:53 Starting examples/compilation
Aug 24 23:15:24 Finished examples/compilation                               1h55m30s  11GB
Aug 24 23:15:25 Starting examples/compilation/proofs
Aug 24 23:17:14 Finished examples/compilation/proofs                           1m47s   3GB
Aug 24 23:17:14 Starting compiler/benchmarks
Aug 24 23:17:15 Finished compiler/benchmarks                                      0s   4MB
Aug 24 23:17:16 Starting translator/okasaki-examples
Aug 24 23:20:47 Finished translator/okasaki-examples                           3m30s   1GB
Aug 24 23:20:48 Starting translator/other-examples
Aug 24 23:24:08 Finished translator/other-examples                             3m19s   1GB
Aug 24 23:24:09 Starting compiler/parsing/tests
Aug 24 23:24:33 Finished compiler/parsing/tests                                  23s 354MB
Aug 24 23:24:34 Starting compiler/inference/tests
Aug 24 23:28:40 Finished compiler/inference/tests                              4m05s   6GB
Aug 24 23:28:41 Starting compiler/bootstrap/translation
Aug 25 12:50:42 Resuming compiler/bootstrap/translation
Aug 25 13:33:31 Finished compiler/bootstrap/translation                       42m48s  55GB
Aug 25 13:33:31 Starting unverified/sexpr-bootstrap/x64/64
Aug 25 13:40:42 Finished unverified/sexpr-bootstrap/x64/64                     7m09s  18GB
Aug 25 13:40:43 Starting unverified/sexpr-bootstrap/x64/32
Aug 25 13:45:42 Finished unverified/sexpr-bootstrap/x64/32                     4m57s  14GB
Aug 25 13:45:43 Starting compiler/bootstrap/compilation/x64/64
Aug 26 05:35:04 Finished compiler/bootstrap/compilation/x64/64             15h49m18s  64GB
Aug 26 05:35:04 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 26 05:38:02 Finished compiler/bootstrap/compilation/x64/64/proofs          2m56s  22GB
Aug 26 05:38:03 Starting compiler/bootstrap/compilation/x64/32
Aug 26 16:26:48 Finished compiler/bootstrap/compilation/x64/32             10h48m43s  64GB
Aug 26 16:26:49 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 26 16:29:48 Finished compiler/bootstrap/compilation/x64/32/proofs          2m58s  20GB
Aug 26 16:29:48 SUCCESS