Job 847

CakeML:331972bc323d7886b60ecbab12195ee6999bcdeb
  Merge pull request #634 from CakeML/cleanup [May 08 15:37:32]
HOL:544f92fea1905436f7a85854eed6dcb089568063
  Emacs mode: key-bindings for  [May 05 04:49:45]
Machine:oven2 4.15.0-34-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

May 08 15:56:20 Claimed job
May 08 15:56:23 Reusing HOL
May 08 15:56:27 Starting developers
May 08 15:56:27 Finished developers                                               0s  21MB
May 08 15:56:28 Starting developers/bin
May 08 15:56:31 Finished developers/bin                                           2s 143MB
May 08 15:56:31 Starting semantics/ffi
May 08 15:56:39 Finished semantics/ffi                                            7s 226MB
May 08 15:56:39 Starting semantics
May 08 15:57:57 Finished semantics                                             1m17s   1GB
May 08 15:57:57 Starting semantics/proofs
May 08 16:00:50 Finished semantics/proofs                                      2m52s   1GB
May 08 16:00:51 Starting basis/pure
May 08 16:01:35 Finished basis/pure                                              43s 661MB
May 08 16:01:35 Starting translator
May 08 16:03:12 Finished translator                                            1m36s   1GB
May 08 16:03:12 Starting compiler/parsing
May 08 16:04:09 Finished compiler/parsing                                        56s   1GB
May 08 16:04:09 Starting characteristic
May 08 16:09:12 Finished characteristic                                        5m02s   1GB
May 08 16:09:12 Starting translator/monadic
May 08 16:10:37 Finished translator/monadic                                    1m24s   1GB
May 08 16:10:37 Starting basis
May 08 16:27:00 Finished basis                                                16m22s   2GB
May 08 16:27:00 Starting compiler/inference
May 08 16:28:32 Finished compiler/inference                                    1m31s   1GB
May 08 16:28:32 Starting compiler/backend/reg_alloc
May 08 16:29:29 Finished compiler/backend/reg_alloc                              56s   1GB
May 08 16:29:29 Starting compiler/backend/gc
May 08 16:37:20 Finished compiler/backend/gc                                   7m50s   1GB
May 08 16:37:20 Starting compiler/backend
May 08 16:37:21 Finished compiler/backend                                         0s  42MB
May 08 16:37:22 Starting compiler/encoders/asm
May 08 16:37:22 Finished compiler/encoders/asm                                    0s  32MB
May 08 16:37:23 Starting compiler/encoders/x64
May 08 16:37:45 Finished compiler/encoders/x64                                   21s 725MB
May 08 16:37:45 Starting compiler/encoders/arm6
May 08 16:38:28 Finished compiler/encoders/arm6                                  43s 695MB
May 08 16:38:28 Starting compiler/encoders/arm8
May 08 16:38:40 Finished compiler/encoders/arm8                                  10s 610MB
May 08 16:38:40 Starting compiler/encoders/mips
May 08 16:38:55 Finished compiler/encoders/mips                                  15s   1GB
May 08 16:38:56 Starting compiler/encoders/riscv
May 08 16:39:09 Finished compiler/encoders/riscv                                 12s 787MB
May 08 16:39:09 Starting compiler/encoders/ag32
May 08 16:39:24 Finished compiler/encoders/ag32                                  14s 770MB
May 08 16:39:24 Starting compiler/backend/x64
May 08 16:39:40 Finished compiler/backend/x64                                    15s   1GB
May 08 16:39:40 Starting compiler/backend/arm6
May 08 16:39:58 Finished compiler/backend/arm6                                   17s   1GB
May 08 16:39:58 Starting compiler/backend/arm8
May 08 16:40:14 Finished compiler/backend/arm8                                   15s   1GB
May 08 16:40:14 Starting compiler/backend/mips
May 08 16:40:31 Finished compiler/backend/mips                                   16s 963MB
May 08 16:40:31 Starting compiler/backend/riscv
May 08 16:40:48 Finished compiler/backend/riscv                                  16s   1GB
May 08 16:40:48 Starting compiler/backend/ag32
May 08 16:41:54 Finished compiler/backend/ag32                                 1m05s   1GB
May 08 16:41:55 Starting compiler/parsing/proofs
May 08 16:47:18 Finished compiler/parsing/proofs                               5m22s 959MB
May 08 16:47:18 Starting compiler/inference/proofs
May 08 16:49:57 Finished compiler/inference/proofs                             2m38s 907MB
May 08 16:49:57 Starting compiler/backend/semantics
May 08 16:56:51 Finished compiler/backend/semantics                            6m53s   2GB
May 08 16:56:52 Starting compiler/backend/reg_alloc/proofs
May 08 17:00:08 Finished compiler/backend/reg_alloc/proofs                     3m16s 806MB
May 08 17:00:09 Starting compiler/backend/proofs
May 08 17:37:31 Finished compiler/backend/proofs                              37m21s   3GB
May 08 17:37:31 Starting compiler/encoders/x64/proofs
May 08 17:46:33 Finished compiler/encoders/x64/proofs                          9m01s   4GB
May 08 17:46:34 Starting compiler/encoders/arm6/proofs
May 08 17:59:04 Finished compiler/encoders/arm6/proofs                        12m30s   3GB
May 08 17:59:05 Starting compiler/encoders/arm8/proofs
May 08 18:05:31 Finished compiler/encoders/arm8/proofs                         6m26s   1GB
May 08 18:05:32 Starting compiler/encoders/mips/proofs
May 08 18:14:47 Finished compiler/encoders/mips/proofs                         9m15s   3GB
May 08 18:14:48 Starting compiler/encoders/riscv/proofs
May 08 18:23:09 Finished compiler/encoders/riscv/proofs                        8m20s   1GB
May 08 18:23:09 Starting compiler/encoders/ag32/proofs
May 08 18:25:36 Finished compiler/encoders/ag32/proofs                         2m26s 641MB
May 08 18:25:36 Starting compiler/backend/x64/proofs
May 08 18:25:53 Finished compiler/backend/x64/proofs                             16s   1GB
May 08 18:25:53 Starting compiler/backend/arm6/proofs
May 08 18:26:11 Finished compiler/backend/arm6/proofs                            17s   1GB
May 08 18:26:11 Starting compiler/backend/arm8/proofs
May 08 18:26:27 Finished compiler/backend/arm8/proofs                            16s   1GB
May 08 18:26:28 Starting compiler/backend/mips/proofs
May 08 18:26:44 Finished compiler/backend/mips/proofs                            15s 926MB
May 08 18:26:44 Starting compiler/backend/riscv/proofs
May 08 18:27:01 Finished compiler/backend/riscv/proofs                           16s   1GB
May 08 18:27:01 Starting compiler/backend/ag32/proofs
May 08 18:35:59 Finished compiler/backend/ag32/proofs                          8m57s   2GB
May 08 18:36:00 Starting compiler/proofs
May 08 18:37:17 Finished compiler/proofs                                       1m17s   2GB
May 08 18:37:17 Starting candle/set-theory
May 08 18:37:43 Finished candle/set-theory                                       25s 802MB
May 08 18:37:43 Starting candle/syntax-lib
May 08 18:37:52 Finished candle/syntax-lib                                        8s 609MB
May 08 18:37:52 Starting candle/standard/syntax
May 08 18:39:31 Finished candle/standard/syntax                                1m38s   1GB
May 08 18:39:31 Starting candle/standard/semantics
May 08 18:41:04 Finished candle/standard/semantics                             1m32s   1GB
May 08 18:41:04 Starting candle/standard/monadic
May 08 18:42:35 Finished candle/standard/monadic                               1m30s   1GB
May 08 18:42:35 Starting candle/standard/ml_kernel
May 08 18:46:19 Finished candle/standard/ml_kernel                             3m43s   5GB
May 08 18:46:20 Starting candle/standard/opentheory
May 08 18:54:39 Finished candle/standard/opentheory                            8m18s   4GB
May 08 18:54:39 Starting candle/standard/opentheory/compilation
May 08 19:22:57 Finished candle/standard/opentheory/compilation               28m18s  14GB
May 08 19:22:57 Starting candle/standard/opentheory/compilation/proofs
May 08 19:23:31 Finished candle/standard/opentheory/compilation/proofs           33s   2GB
May 08 19:23:31 Starting characteristic/examples
May 08 19:24:55 Finished characteristic/examples                               1m22s   2GB
May 08 19:24:55 Starting tutorial/solutions
May 08 19:37:41 Finished tutorial/solutions                                   12m45s   7GB
May 08 19:37:41 Starting translator/monadic/examples
May 08 19:40:28 Finished translator/monadic/examples                           2m46s   2GB
May 08 19:40:28 Starting examples
May 08 19:48:44 Finished examples                                              8m15s   3GB
May 08 19:48:44 Starting examples/compilation/x64
May 08 21:41:11 Finished examples/compilation/x64                           1h52m26s  13GB
May 08 21:41:11 Starting examples/compilation/x64/proofs
May 08 21:42:37 Finished examples/compilation/x64/proofs                       1m25s   2GB
May 08 21:42:38 Starting examples/compilation/ag32
May 08 22:10:41 Finished examples/compilation/ag32                            28m02s   6GB
May 08 22:10:41 Starting examples/compilation/ag32/proofs
May 08 22:11:20 Finished examples/compilation/ag32/proofs                        38s   3GB
May 08 22:11:20 Starting translator/okasaki-examples
May 08 22:15:21 Finished translator/okasaki-examples                           4m01s   1GB
May 08 22:15:21 Starting translator/other-examples
May 08 22:18:39 Finished translator/other-examples                             3m16s   1GB
May 08 22:18:39 Starting compiler/parsing/tests
May 08 22:19:03 Finished compiler/parsing/tests                                  23s 530MB
May 08 22:19:03 Starting compiler/inference/tests
May 08 22:23:05 Finished compiler/inference/tests                              4m01s   3GB
May 08 22:23:06 Starting compiler/bootstrap/translation
May 09 00:49:40 Finished compiler/bootstrap/translation                     2h26m33s  42GB
May 09 00:49:40 Starting unverified/sexpr-bootstrap/x64/64
May 09 06:42:10 Resuming unverified/sexpr-bootstrap/x64/64
May 09 06:42:12 Finished unverified/sexpr-bootstrap/x64/64                        1s  43MB
May 09 06:42:13 Starting unverified/sexpr-bootstrap/x64/32
May 09 06:46:40 Finished unverified/sexpr-bootstrap/x64/32                     4m26s   4GB
May 09 06:46:40 Starting compiler/benchmarks
May 09 07:24:41 Finished compiler/benchmarks                                  38m00s   2GB
May 09 07:24:42 Starting compiler/bootstrap/compilation/x64/64
May 09 17:53:38 Finished compiler/bootstrap/compilation/x64/64             10h28m55s  64GB
May 09 17:53:38 Starting compiler/bootstrap/compilation/x64/64/proofs
May 09 17:56:00 Finished compiler/bootstrap/compilation/x64/64/proofs          2m21s   9GB
May 09 17:56:01 Starting compiler/bootstrap/compilation/x64/32
May 10 03:04:02 Finished compiler/bootstrap/compilation/x64/32              9h08m00s  64GB
May 10 03:04:03 Starting compiler/bootstrap/compilation/x64/32/proofs
May 10 03:07:01 Finished compiler/bootstrap/compilation/x64/32/proofs          2m58s   4GB
May 10 03:07:02 Starting compiler/bootstrap/compilation/ag32/32
May 10 13:13:11 Finished compiler/bootstrap/compilation/ag32/32            10h06m09s  63GB
May 10 13:13:12 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 10 13:46:24 Finished compiler/bootstrap/compilation/ag32/32/proofs        33m12s  14GB
May 10 13:46:25 SUCCESS