Job 390

CakeML:23cc9570170886049d38a6618b8ba5de610d7082
  Fix unverified sexp printer for wildcard patterns [Jul 26 11:13:53]
HOL:d957bf561f9b80133ee4e51cf739610cb249c06a
  Merge branch 'master' of https://github.com/HOL-Theorem-Prover/HOL [Jul 26 14:33:08]
Machine:cakeml1796 4.4.0-22-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

Jul 30 22:00:52 Claimed job
Jul 30 22:00:59 Reusing HOL
Jul 30 22:01:14 Starting developers/bin
Jul 30 22:01:24 Finished developers/bin                                           8s 224MB
Jul 30 22:01:26 Starting semantics/ffi
Jul 30 22:01:45 Finished semantics/ffi                                           16s 250MB
Jul 30 22:01:47 Starting semantics
Jul 30 22:03:45 Finished semantics                                             1m55s   1GB
Jul 30 22:03:47 Starting semantics/proofs
Jul 30 22:07:03 Finished semantics/proofs                                      3m14s   1GB
Jul 30 22:07:05 Starting basis/pure
Jul 30 22:08:34 Finished basis/pure                                            1m27s 732MB
Jul 30 22:08:36 Starting translator
Jul 30 22:15:15 Finished translator                                            6m36s 945MB
Jul 30 22:15:17 Starting compiler/parsing
Jul 30 22:17:25 Finished compiler/parsing                                      2m06s   2GB
Jul 30 22:17:27 Starting characteristic
Jul 30 22:21:52 Finished characteristic                                        4m22s   1GB
Jul 30 22:21:54 Starting basis
Jul 30 22:51:00 Finished basis                                                29m03s   2GB
Jul 30 22:51:02 Starting translator/monadic
Jul 30 22:51:06 Finished translator/monadic                                       2s  14MB
Jul 30 22:51:08 Starting compiler/inference
Jul 30 22:53:20 Finished compiler/inference                                    2m10s   1GB
Jul 30 22:53:22 Starting compiler/backend/reg_alloc
Jul 30 22:54:20 Finished compiler/backend/reg_alloc                              55s   1GB
Jul 30 22:54:22 Starting compiler/backend/gc
Jul 30 23:07:35 Finished compiler/backend/gc                                  13m10s   3GB
Jul 30 23:07:37 Starting compiler/backend
Jul 30 23:07:42 Finished compiler/backend                                         3s  20MB
Jul 30 23:07:44 Starting compiler/encoders/asm
Jul 30 23:07:47 Finished compiler/encoders/asm                                    0s  13MB
Jul 30 23:07:49 Starting compiler/encoders/x64
Jul 30 23:08:17 Finished compiler/encoders/x64                                   25s 398MB
Jul 30 23:08:19 Starting compiler/encoders/arm6
Jul 30 23:09:28 Finished compiler/encoders/arm6                                1m06s 417MB
Jul 30 23:09:30 Starting compiler/encoders/arm8
Jul 30 23:09:44 Finished compiler/encoders/arm8                                  11s 375MB
Jul 30 23:09:46 Starting compiler/encoders/mips
Jul 30 23:10:02 Finished compiler/encoders/mips                                  14s 497MB
Jul 30 23:10:04 Starting compiler/encoders/riscv
Jul 30 23:10:18 Finished compiler/encoders/riscv                                 12s 433MB
Jul 30 23:10:20 Starting compiler/backend/x64
Jul 30 23:10:55 Finished compiler/backend/x64                                    32s 825MB
Jul 30 23:10:57 Starting compiler/backend/arm6
Jul 30 23:11:33 Finished compiler/backend/arm6                                   34s   1GB
Jul 30 23:11:35 Starting compiler/backend/arm8
Jul 30 23:12:10 Finished compiler/backend/arm8                                   32s 945MB
Jul 30 23:12:12 Starting compiler/backend/mips
Jul 30 23:12:46 Finished compiler/backend/mips                                   32s   1GB
Jul 30 23:12:48 Starting compiler/backend/riscv
Jul 30 23:13:22 Finished compiler/backend/riscv                                  32s   1GB
Jul 30 23:13:24 Starting compiler/parsing/proofs
Jul 30 23:17:30 Finished compiler/parsing/proofs                               4m03s 793MB
Jul 30 23:17:32 Starting compiler/inference/proofs
Jul 30 23:21:30 Finished compiler/inference/proofs                             3m56s   1GB
Jul 30 23:21:32 Starting compiler/backend/semantics
Jul 30 23:35:48 Finished compiler/backend/semantics                           14m13s   2GB
Jul 30 23:35:50 Starting compiler/backend/reg_alloc/proofs
Jul 30 23:37:14 Finished compiler/backend/reg_alloc/proofs                     1m22s 597MB
Jul 30 23:37:16 Starting compiler/backend/proofs
Jul 31 00:33:17 Finished compiler/backend/proofs                              55m57s   3GB
Jul 31 00:33:19 Starting compiler/encoders/x64/proofs
Jul 31 00:42:50 Finished compiler/encoders/x64/proofs                          9m29s   1GB
Jul 31 00:42:52 Starting compiler/encoders/arm6/proofs
Jul 31 00:52:41 Finished compiler/encoders/arm6/proofs                         9m46s   1GB
Jul 31 00:52:43 Starting compiler/encoders/arm8/proofs
Jul 31 01:00:44 Finished compiler/encoders/arm8/proofs                         7m59s 931MB
Jul 31 01:00:46 Starting compiler/encoders/mips/proofs
Jul 31 01:11:08 Finished compiler/encoders/mips/proofs                        10m19s   2GB
Jul 31 01:11:10 Starting compiler/encoders/riscv/proofs
Jul 31 01:23:32 Finished compiler/encoders/riscv/proofs                       12m20s 954MB
Jul 31 01:23:34 Starting compiler/backend/x64/proofs
Jul 31 01:24:11 Finished compiler/backend/x64/proofs                             34s   1GB
Jul 31 01:24:13 Starting compiler/backend/arm6/proofs
Jul 31 01:24:51 Finished compiler/backend/arm6/proofs                            35s   1GB
Jul 31 01:24:53 Starting compiler/backend/arm8/proofs
Jul 31 01:25:28 Finished compiler/backend/arm8/proofs                            33s   1GB
Jul 31 01:25:30 Starting compiler/backend/mips/proofs
Jul 31 01:26:08 Finished compiler/backend/mips/proofs                            35s   1GB
Jul 31 01:26:10 Starting compiler/backend/riscv/proofs
Jul 31 01:26:48 Finished compiler/backend/riscv/proofs                           35s   1GB
Jul 31 01:26:50 Starting compiler/proofs
Jul 31 01:29:18 Finished compiler/proofs                                       2m25s   2GB
Jul 31 01:29:20 Starting candle/set-theory
Jul 31 01:30:06 Finished candle/set-theory                                       44s 561MB
Jul 31 01:30:08 Starting candle/syntax-lib
Jul 31 01:30:27 Finished candle/syntax-lib                                       17s 598MB
Jul 31 01:30:29 Starting candle/standard/syntax
Jul 31 01:33:16 Finished candle/standard/syntax                                2m44s 649MB
Jul 31 01:33:18 Starting candle/standard/semantics
Jul 31 01:35:35 Finished candle/standard/semantics                             2m14s 709MB
Jul 31 01:35:36 Starting candle/standard/monadic
Jul 31 01:38:02 Finished candle/standard/monadic                               2m23s 888MB
Jul 31 01:38:04 Starting candle/standard/ml_kernel
Jul 31 01:48:23 Finished candle/standard/ml_kernel                            10m16s   2GB
Jul 31 01:48:24 Starting candle/standard/opentheory
Jul 31 01:48:52 Finished candle/standard/opentheory                              25s 639MB
Jul 31 01:48:54 Starting characteristic/examples
Jul 31 01:51:26 Finished characteristic/examples                               2m30s   2GB
Jul 31 01:51:28 Starting tutorial/solutions
Jul 31 02:26:27 Finished tutorial/solutions                                   34m57s  12GB
Jul 31 02:26:29 Starting translator/monadic/examples
Jul 31 02:29:25 Finished translator/monadic/examples                           2m54s   3GB
Jul 31 02:29:27 Starting examples
Jul 31 02:37:30 Finished examples                                              8m01s   3GB
Jul 31 02:37:32 Starting examples/compilation
Jul 31 08:30:02 Finished examples/compilation                               5h52m26s  19GB
Jul 31 08:30:04 Starting examples/compilation/proofs
Jul 31 08:35:30 Finished examples/compilation/proofs                           5m23s   4GB
Jul 31 08:35:32 Starting compiler/benchmarks
Jul 31 08:35:34 Finished compiler/benchmarks                                      0s   4MB
Jul 31 08:35:36 Starting translator/okasaki-examples
Jul 31 08:42:17 Finished translator/okasaki-examples                           6m38s   1GB
Jul 31 08:42:19 Starting translator/other-examples
Jul 31 08:43:15 Finished translator/other-examples                               54s   1GB
Jul 31 08:43:17 Starting compiler/parsing/tests
Jul 31 08:43:59 Finished compiler/parsing/tests                                  40s 383MB
Jul 31 08:44:01 Starting compiler/bootstrap/translation
Jul 31 16:53:29 Finished compiler/bootstrap/translation                     8h09m26s  54GB
Jul 31 16:53:31 Starting unverified/sexpr-bootstrap/x64/64
Jul 31 17:04:37 Finished unverified/sexpr-bootstrap/x64/64                    10m58s  15GB
Jul 31 17:04:39 Starting unverified/sexpr-bootstrap/x64/32
Jul 31 17:13:35 Finished unverified/sexpr-bootstrap/x64/32                     8m49s  11GB
Jul 31 17:13:37 Starting compiler/bootstrap/compilation/x64/64
Aug 02 23:50:59 Resuming compiler/bootstrap/compilation/x64/64
Aug 03 03:17:41 Finished compiler/bootstrap/compilation/x64/64              3h26m35s  58GB
Aug 03 03:17:43 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 03 03:23:40 Finished compiler/bootstrap/compilation/x64/64/proofs          5m54s  26GB
Aug 03 03:23:42 Starting compiler/bootstrap/compilation/x64/32
Aug 04 02:59:30 Finished compiler/bootstrap/compilation/x64/32             23h35m40s  88GB
Aug 04 02:59:32 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 04 03:02:50 Finished compiler/bootstrap/compilation/x64/32/proofs          3m16s  28GB
Aug 04 03:02:52 SUCCESS