Job 356

CakeML:645d4af010862abf8d2245a879b09d51e48d9afc
  Update lem files (Tested with Lem 7405e91) [Jul 09 09:00:50]
HOL:7ed3f12092db2062b6fccb60e9735143ecd5c7e5
  Merge branch 'master' of https://github.com/HOL-Theorem-Prover/HOL [Jul 06 16:56:51]
Machine:cakeml1798 4.4.0-98-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 09 11:44:34 Claimed job
Jul 09 11:44:46 Building HOL
Jul 09 11:57:14 Starting developers/bin
Jul 09 11:57:25 Finished developers/bin                                           8s 224MB
Jul 09 11:57:27 Starting semantics/ffi
Jul 09 11:58:25 Finished semantics/ffi                                           56s 371MB
Jul 09 11:58:27 Starting semantics
Jul 09 12:00:51 Finished semantics                                             2m21s   1GB
Jul 09 12:00:53 Starting semantics/proofs
Jul 09 12:04:04 Finished semantics/proofs                                      3m09s   1GB
Jul 09 12:04:07 Starting basis/pure
Jul 09 12:09:53 Finished basis/pure                                            5m44s 667MB
Jul 09 12:09:55 Starting translator
Jul 09 12:16:29 Finished translator                                            6m31s   1GB
Jul 09 12:16:30 Starting compiler/parsing
Jul 09 12:18:43 Finished compiler/parsing                                      2m10s   3GB
Jul 09 12:18:45 Starting characteristic
Jul 09 12:23:11 Finished characteristic                                        4m23s   1GB
Jul 09 12:23:13 Starting basis
Jul 09 12:52:04 Finished basis                                                28m48s   2GB
Jul 09 12:52:06 Starting translator/monadic
Jul 09 12:52:10 Finished translator/monadic                                       1s  20MB
Jul 09 12:52:12 Starting compiler/inference
Jul 09 12:54:50 Finished compiler/inference                                    2m36s   1GB
Jul 09 12:54:52 Starting compiler/backend/reg_alloc
Jul 09 12:55:48 Finished compiler/backend/reg_alloc                              53s   1GB
Jul 09 12:55:50 Starting compiler/backend/gc
Jul 09 13:11:04 Finished compiler/backend/gc                                  15m11s   3GB
Jul 09 13:11:06 Starting compiler/backend
Jul 09 13:11:11 Finished compiler/backend                                         3s  14MB
Jul 09 13:11:13 Starting compiler/encoders/asm
Jul 09 13:11:16 Finished compiler/encoders/asm                                    0s  11MB
Jul 09 13:11:18 Starting compiler/encoders/x64
Jul 09 13:12:43 Finished compiler/encoders/x64                                 1m23s 496MB
Jul 09 13:12:45 Starting compiler/encoders/arm6
Jul 09 13:15:49 Finished compiler/encoders/arm6                                3m01s   1GB
Jul 09 13:15:51 Starting compiler/encoders/arm8
Jul 09 13:16:37 Finished compiler/encoders/arm8                                  44s 379MB
Jul 09 13:16:39 Starting compiler/encoders/mips
Jul 09 13:18:16 Finished compiler/encoders/mips                                1m35s 670MB
Jul 09 13:18:18 Starting compiler/encoders/riscv
Jul 09 13:19:53 Finished compiler/encoders/riscv                               1m32s 679MB
Jul 09 13:19:55 Starting compiler/backend/x64
Jul 09 13:20:29 Finished compiler/backend/x64                                    32s   1GB
Jul 09 13:20:31 Starting compiler/backend/arm6
Jul 09 13:21:08 Finished compiler/backend/arm6                                   34s   1GB
Jul 09 13:21:10 Starting compiler/backend/arm8
Jul 09 13:21:44 Finished compiler/backend/arm8                                   32s   1GB
Jul 09 13:21:46 Starting compiler/backend/mips
Jul 09 13:22:22 Finished compiler/backend/mips                                   33s 931MB
Jul 09 13:22:24 Starting compiler/backend/riscv
Jul 09 13:22:59 Finished compiler/backend/riscv                                  32s   1GB
Jul 09 13:23:01 Starting compiler/parsing/proofs
Jul 09 13:26:58 Finished compiler/parsing/proofs                               3m54s   1GB
Jul 09 13:27:00 Starting compiler/inference/proofs
Jul 09 13:30:59 Finished compiler/inference/proofs                             3m57s   1GB
Jul 09 13:31:01 Starting compiler/backend/semantics
Jul 09 13:44:57 Finished compiler/backend/semantics                           13m53s   2GB
Jul 09 13:44:59 Starting compiler/backend/reg_alloc/proofs
Jul 09 13:46:22 Finished compiler/backend/reg_alloc/proofs                     1m21s 383MB
Jul 09 13:46:24 Starting compiler/backend/proofs
Jul 09 14:42:21 Finished compiler/backend/proofs                              55m54s   3GB
Jul 09 14:42:23 Starting compiler/encoders/x64/proofs
Jul 09 14:54:03 Finished compiler/encoders/x64/proofs                         11m37s   1GB
Jul 09 14:54:05 Starting compiler/encoders/arm6/proofs
Jul 09 15:06:17 Finished compiler/encoders/arm6/proofs                        12m10s   3GB
Jul 09 15:06:19 Starting compiler/encoders/arm8/proofs
Jul 09 15:14:43 Finished compiler/encoders/arm8/proofs                         8m21s   1GB
Jul 09 15:14:45 Starting compiler/encoders/mips/proofs
Jul 09 15:26:21 Finished compiler/encoders/mips/proofs                        11m34s   2GB
Jul 09 15:26:23 Starting compiler/encoders/riscv/proofs
Jul 09 15:38:49 Finished compiler/encoders/riscv/proofs                       12m24s   1GB
Jul 09 15:38:51 Starting compiler/backend/x64/proofs
Jul 09 15:39:29 Finished compiler/backend/x64/proofs                             35s   1GB
Jul 09 15:39:31 Starting compiler/backend/arm6/proofs
Jul 09 15:40:12 Finished compiler/backend/arm6/proofs                            39s   1GB
Jul 09 15:40:14 Starting compiler/backend/arm8/proofs
Jul 09 15:40:51 Finished compiler/backend/arm8/proofs                            35s   1GB
Jul 09 15:40:53 Starting compiler/backend/mips/proofs
Jul 09 15:41:31 Finished compiler/backend/mips/proofs                            35s   1GB
Jul 09 15:41:33 Starting compiler/backend/riscv/proofs
Jul 09 15:42:08 Finished compiler/backend/riscv/proofs                           33s   1GB
Jul 09 15:42:10 Starting compiler/proofs
Jul 09 15:44:31 Finished compiler/proofs                                       2m19s   2GB
Jul 09 15:44:33 Starting candle/set-theory
Jul 09 15:45:30 Finished candle/set-theory                                       54s 594MB
Jul 09 15:45:32 Starting candle/syntax-lib
Jul 09 15:45:52 Finished candle/syntax-lib                                       18s 424MB
Jul 09 15:45:54 Starting candle/standard/syntax
Jul 09 15:48:35 Finished candle/standard/syntax                                2m38s 676MB
Jul 09 15:48:37 Starting candle/standard/semantics
Jul 09 15:50:54 Finished candle/standard/semantics                             2m14s 731MB
Jul 09 15:50:56 Starting candle/standard/monadic
Jul 09 15:53:23 Finished candle/standard/monadic                               2m25s 975MB
Jul 09 15:53:25 Starting candle/standard/ml_kernel
Jul 09 16:03:48 Finished candle/standard/ml_kernel                            10m20s   2GB
Jul 09 16:03:50 Starting candle/standard/opentheory
Jul 09 16:04:16 Finished candle/standard/opentheory                              23s 694MB
Jul 09 16:04:18 Starting characteristic/examples
Jul 09 16:06:45 Finished characteristic/examples                               2m24s   2GB
Jul 09 16:06:47 Starting tutorial/solutions
Jul 09 16:42:02 Finished tutorial/solutions                                   35m13s  10GB
Jul 09 16:42:04 Starting translator/monadic/examples
Jul 09 16:45:02 Finished translator/monadic/examples                           2m55s   3GB
Jul 09 16:45:04 Starting examples
Jul 09 16:53:07 Finished examples                                              8m01s   1GB
Jul 09 16:53:09 Starting examples/compilation
Jul 09 22:39:45 Finished examples/compilation                               5h46m33s  18GB
Jul 09 22:39:47 Starting examples/compilation/proofs
Jul 09 22:45:04 Finished examples/compilation/proofs                           5m15s   4GB
Jul 09 22:45:06 Starting compiler/benchmarks
Jul 09 22:45:08 Finished compiler/benchmarks                                      0s   4MB
Jul 09 22:45:10 Starting translator/okasaki-examples
Jul 09 22:51:47 Finished translator/okasaki-examples                           6m34s   1GB
Jul 09 22:51:49 Starting translator/other-examples
Jul 09 22:58:16 Finished translator/other-examples                             6m25s 722MB
Jul 09 22:58:18 Starting compiler/parsing/tests
Jul 09 22:59:00 Finished compiler/parsing/tests                                  40s 346MB
Jul 09 22:59:02 Starting compiler/bootstrap/translation
Jul 10 07:11:38 Finished compiler/bootstrap/translation                     8h12m33s  72GB
Jul 10 07:11:40 Starting unverified/sexpr-bootstrap/x64/64
Jul 10 07:22:59 Finished unverified/sexpr-bootstrap/x64/64                    11m11s  15GB
Jul 10 07:23:00 Starting unverified/sexpr-bootstrap/x64/32
Jul 10 07:32:04 Finished unverified/sexpr-bootstrap/x64/32                     8m57s  13GB
Jul 10 07:32:06 Starting compiler/bootstrap/compilation/x64/64
Jul 11 14:01:20 Finished compiler/bootstrap/compilation/x64/64             30h29m05s  95GB
Jul 11 14:01:22 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 11 14:07:05 Finished compiler/bootstrap/compilation/x64/64/proofs          5m40s  26GB
Jul 11 14:07:07 Starting compiler/bootstrap/compilation/x64/32
Jul 12 15:43:52 Finished compiler/bootstrap/compilation/x64/32             25h36m38s  88GB
Jul 12 15:43:54 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 12 15:47:51 Finished compiler/bootstrap/compilation/x64/32/proofs          3m54s  32GB
Jul 12 15:47:53 SUCCESS