Job 919

CakeML:5cd3c1dad6a712dd528d4717fe43410444eeeff2
  Merge pull request #660 from Gaj7/master [Jun 19 16:55:24]
HOL:e575ceadfe1dc1792c1b3e92ef98c2a96f3c01a7
  Emacs mode: put overload-info-for function into HOL menu [Jun 19 06:56:01]
Machine:te1
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jun 19 17:10:52 Claimed job
Jun 19 17:10:59 Building HOL
Jun 19 17:23:53 Starting developers
Jun 19 17:23:55 Finished developers                                               2s  30MB
Jun 19 17:23:56 Starting developers/bin
Jun 19 17:24:02 Finished developers/bin                                           6s 924MB
Jun 19 17:24:02 Starting semantics/ffi
Jun 19 17:24:57 Finished semantics/ffi                                           54s 845MB
Jun 19 17:24:57 Starting semantics
Jun 19 17:27:10 Finished semantics                                             2m12s   1GB
Jun 19 17:27:10 Starting semantics/proofs
Jun 19 17:31:14 Finished semantics/proofs                                      4m03s   1GB
Jun 19 17:31:14 Starting semantics/alt_semantics
Jun 19 17:31:24 Finished semantics/alt_semantics                                 10s 294MB
Jun 19 17:31:25 Starting semantics/alt_semantics/proofs
Jun 19 17:33:54 Finished semantics/alt_semantics/proofs                        2m29s 848MB
Jun 19 17:33:54 Starting basis/pure
Jun 19 17:38:47 Finished basis/pure                                            4m52s 725MB
Jun 19 17:38:47 Starting translator
Jun 19 17:41:08 Finished translator                                            2m20s   2GB
Jun 19 17:41:08 Starting compiler/parsing
Jun 19 17:42:29 Finished compiler/parsing                                      1m21s   2GB
Jun 19 17:42:30 Starting characteristic
Jun 19 17:49:48 Finished characteristic                                        7m18s   2GB
Jun 19 17:49:48 Starting translator/monadic
Jun 19 17:51:51 Finished translator/monadic                                    2m03s   1GB
Jun 19 17:51:51 Starting basis
Jun 19 18:14:34 Finished basis                                                22m42s   2GB
Jun 19 18:14:34 Starting compiler/inference
Jun 19 18:17:13 Finished compiler/inference                                    2m38s   1GB
Jun 19 18:17:13 Starting compiler/backend/reg_alloc
Jun 19 18:18:31 Finished compiler/backend/reg_alloc                            1m18s   1GB
Jun 19 18:18:31 Starting compiler/backend/gc
Jun 19 18:31:04 Finished compiler/backend/gc                                  12m32s   2GB
Jun 19 18:31:04 Starting compiler/backend
Jun 19 18:31:07 Finished compiler/backend                                         2s  22MB
Jun 19 18:31:07 Starting compiler/encoders/asm
Jun 19 18:31:08 Finished compiler/encoders/asm                                    1s  20MB
Jun 19 18:31:08 Starting compiler/encoders/x64
Jun 19 18:32:34 Finished compiler/encoders/x64                                 1m26s 614MB
Jun 19 18:32:35 Starting compiler/encoders/arm7
Jun 19 18:35:03 Finished compiler/encoders/arm7                                2m28s   1GB
Jun 19 18:35:03 Starting compiler/encoders/arm8
Jun 19 18:35:49 Finished compiler/encoders/arm8                                  46s 534MB
Jun 19 18:35:49 Starting compiler/encoders/mips
Jun 19 18:37:31 Finished compiler/encoders/mips                                1m41s 844MB
Jun 19 18:37:31 Starting compiler/encoders/riscv
Jun 19 18:39:23 Finished compiler/encoders/riscv                               1m51s   1GB
Jun 19 18:39:23 Starting compiler/encoders/ag32
Jun 19 18:39:46 Finished compiler/encoders/ag32                                  23s 801MB
Jun 19 18:39:46 Starting compiler/backend/x64
Jun 19 18:40:11 Finished compiler/backend/x64                                    24s   1GB
Jun 19 18:40:11 Starting compiler/backend/arm7
Jun 19 18:40:38 Finished compiler/backend/arm7                                   26s   1GB
Jun 19 18:40:38 Starting compiler/backend/arm8
Jun 19 18:41:04 Finished compiler/backend/arm8                                   25s   1GB
Jun 19 18:41:04 Starting compiler/backend/mips
Jun 19 18:41:30 Finished compiler/backend/mips                                   25s 868MB
Jun 19 18:41:30 Starting compiler/backend/riscv
Jun 19 18:41:56 Finished compiler/backend/riscv                                  26s   1GB
Jun 19 18:41:56 Starting compiler/backend/ag32
Jun 19 18:43:26 Finished compiler/backend/ag32                                 1m29s   1GB
Jun 19 18:43:26 Starting compiler/parsing/proofs
Jun 19 18:52:09 Finished compiler/parsing/proofs                               8m43s   1GB
Jun 19 18:52:09 Starting compiler/inference/proofs
Jun 19 18:56:04 Finished compiler/inference/proofs                             3m54s   1GB
Jun 19 18:56:04 Starting compiler/backend/semantics
Jun 19 19:05:30 Finished compiler/backend/semantics                            9m26s   2GB
Jun 19 19:05:30 Starting compiler/backend/reg_alloc/proofs
Jun 19 19:10:11 Finished compiler/backend/reg_alloc/proofs                     4m40s 922MB
Jun 19 19:10:11 Starting compiler/backend/proofs
Jun 25 11:39:37 Resuming compiler/backend/proofs
Jun 25 11:45:05 Finished compiler/backend/proofs                               5m28s   2GB
Jun 25 11:45:06 Starting compiler/encoders/x64/proofs
Jun 25 11:58:31 Finished compiler/encoders/x64/proofs                         13m25s   4GB
Jun 25 11:58:31 Starting compiler/encoders/arm7/proofs
Jun 25 12:16:27 Finished compiler/encoders/arm7/proofs                        17m55s   3GB
Jun 25 12:16:27 Starting compiler/encoders/arm8/proofs
Jun 25 12:25:46 Finished compiler/encoders/arm8/proofs                         9m18s   1GB
Jun 25 12:25:46 Starting compiler/encoders/mips/proofs
Jun 25 12:39:22 Finished compiler/encoders/mips/proofs                        13m35s   2GB
Jun 25 12:39:22 Starting compiler/encoders/riscv/proofs
Jun 25 12:50:40 Finished compiler/encoders/riscv/proofs                       11m17s   1GB
Jun 25 12:50:40 Starting compiler/encoders/ag32/proofs
Jun 25 12:53:56 Finished compiler/encoders/ag32/proofs                         3m15s   1GB
Jun 25 12:53:56 Starting compiler/backend/x64/proofs
Jun 25 12:54:23 Finished compiler/backend/x64/proofs                             26s   1GB
Jun 25 12:54:23 Starting compiler/backend/arm7/proofs
Jun 25 12:54:49 Finished compiler/backend/arm7/proofs                            25s 871MB
Jun 25 12:54:49 Starting compiler/backend/arm8/proofs
Jun 25 12:55:13 Finished compiler/backend/arm8/proofs                            23s 835MB
Jun 25 12:55:13 Starting compiler/backend/mips/proofs
Jun 25 12:55:40 Finished compiler/backend/mips/proofs                            26s   1GB
Jun 25 12:55:40 Starting compiler/backend/riscv/proofs
Jun 25 12:56:13 Finished compiler/backend/riscv/proofs                           32s   1GB
Jun 25 12:56:13 Starting compiler/backend/ag32/proofs
Jun 25 13:08:16 Finished compiler/backend/ag32/proofs                         12m02s   2GB
Jun 25 13:08:16 Starting compiler/proofs
Jun 25 13:10:13 Finished compiler/proofs                                       1m56s   3GB
Jun 25 13:10:13 Starting candle/set-theory
Jun 25 13:10:49 Finished candle/set-theory                                       36s 745MB
Jun 25 13:10:49 Starting candle/syntax-lib
Jun 25 13:11:04 Finished candle/syntax-lib                                       14s 684MB
Jun 25 13:11:04 Starting candle/standard/syntax
Jun 25 13:13:27 Finished candle/standard/syntax                                2m22s   1GB
Jun 25 13:13:27 Starting candle/standard/semantics
Jun 25 13:15:47 Finished candle/standard/semantics                             2m20s   1GB
Jun 25 13:15:47 Starting candle/standard/monadic
Jun 25 13:18:01 Finished candle/standard/monadic                               2m13s 967MB
Jun 25 13:18:01 Starting candle/standard/ml_kernel
Jun 25 13:23:06 Finished candle/standard/ml_kernel                             5m05s   3GB
Jun 25 13:23:06 Starting candle/standard/opentheory
Jun 25 13:34:44 Finished candle/standard/opentheory                           11m37s   3GB
Jun 25 13:34:44 Starting candle/standard/opentheory/compilation
Jun 25 14:10:57 Finished candle/standard/opentheory/compilation               36m12s  14GB
Jun 25 14:10:57 Starting candle/standard/opentheory/compilation/proofs
Jun 25 14:11:58 Finished candle/standard/opentheory/compilation/proofs         1m00s   2GB
Jun 25 14:11:58 Starting characteristic/examples
Jun 25 14:14:05 Finished characteristic/examples                               2m07s   2GB
Jun 25 14:14:05 Starting tutorial/solutions
Jun 25 14:31:01 Finished tutorial/solutions                                   16m56s   6GB
Jun 25 14:31:02 Starting translator/monadic/examples
Jun 25 14:34:37 Finished translator/monadic/examples                           3m35s   2GB
Jun 25 14:34:38 Starting examples
Jun 25 14:44:38 Finished examples                                             10m00s   3GB
Jun 25 14:44:38 Starting examples/compilation/x64
Jun 25 17:22:55 Finished examples/compilation/x64                           2h38m16s  14GB
Jun 25 17:22:55 Starting examples/compilation/x64/proofs
Jun 25 17:24:52 Finished examples/compilation/x64/proofs                       1m56s   2GB
Jun 25 17:24:52 Starting examples/compilation/ag32
Jun 25 18:01:46 Finished examples/compilation/ag32                            36m54s   6GB
Jun 25 18:01:47 Starting examples/compilation/ag32/proofs
Jun 25 18:02:54 Finished examples/compilation/ag32/proofs                      1m07s   3GB
Jun 25 18:02:54 Starting translator/okasaki-examples
Jun 25 18:08:25 Finished translator/okasaki-examples                           5m30s   1GB
Jun 25 18:08:25 Starting translator/other-examples
Jun 25 18:13:22 Finished translator/other-examples                             4m57s   1GB
Jun 25 18:13:23 Starting compiler/parsing/tests
Jun 25 18:13:55 Finished compiler/parsing/tests                                  32s 535MB
Jun 25 18:13:55 Starting compiler/inference/tests
Jun 25 18:19:10 Finished compiler/inference/tests                              5m14s   3GB
Jun 25 18:19:10 Starting compiler/bootstrap/translation
Jun 25 21:34:01 Finished compiler/bootstrap/translation                     3h14m51s  41GB
Jun 25 21:34:01 Starting unverified/sexpr-bootstrap/x64/64
Jun 25 21:43:33 Finished unverified/sexpr-bootstrap/x64/64                     9m31s   3GB
Jun 25 21:43:34 Starting unverified/sexpr-bootstrap/x64/32
Jun 25 21:49:25 Finished unverified/sexpr-bootstrap/x64/32                     5m50s   6GB
Jun 25 21:49:25 Starting compiler/benchmarks
Jun 25 21:49:31 Finished compiler/benchmarks                                      5s  36MB
Jun 25 21:49:31 Starting compiler/bootstrap/compilation/x64/64
Jun 26 10:22:28 Finished compiler/bootstrap/compilation/x64/64             12h32m56s  60GB
Jun 26 10:22:28 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 26 10:26:16 Finished compiler/bootstrap/compilation/x64/64/proofs          3m47s  11GB
Jun 26 10:26:17 Starting compiler/bootstrap/compilation/x64/32 Jun 26 10:26:17 47350s