Job 587

CakeML:59886cd0205c1d5d943ef10a26890f79b515b68f
  Merge pull request #561 from CakeML/print-types [Nov 26 04:25:18]
HOL:7f7650b1f7d9fbc79f55646dabcf225b5cf0fff4
  Magic keyword for store_thm hack has to be "Theorem" [Nov 26 05:35:17]
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

Nov 27 06:36:27 Claimed job
Nov 27 06:36:31 Reusing HOL
Nov 27 06:36:42 Starting developers/bin
Nov 27 06:37:13 Finished developers/bin                                          30s 202MB
Nov 27 06:37:13 Starting semantics/ffi
Nov 27 06:37:23 Finished semantics/ffi                                            9s 264MB
Nov 27 06:37:24 Starting semantics
Nov 27 06:38:39 Finished semantics                                             1m13s 907MB
Nov 27 06:38:40 Starting semantics/proofs
Nov 27 06:41:34 Finished semantics/proofs                                      2m53s 972MB
Nov 27 06:41:35 Starting basis/pure
Nov 27 06:42:24 Finished basis/pure                                              47s 646MB
Nov 27 06:42:24 Starting translator
Nov 27 06:45:29 Finished translator                                            3m03s   1GB
Nov 27 06:45:29 Starting compiler/parsing
Nov 27 06:46:44 Finished compiler/parsing                                      1m13s   1GB
Nov 27 06:46:45 Starting characteristic
Nov 27 06:49:10 Finished characteristic                                        2m24s   1GB
Nov 27 06:49:11 Starting translator/monadic
Nov 27 06:50:36 Finished translator/monadic                                    1m23s   1GB
Nov 27 06:50:37 Starting basis
Nov 27 07:06:46 Finished basis                                                16m08s   3GB
Nov 27 07:06:47 Starting compiler/inference
Nov 27 07:08:13 Finished compiler/inference                                    1m24s   1GB
Nov 27 07:08:14 Starting compiler/backend/reg_alloc
Nov 27 07:09:00 Finished compiler/backend/reg_alloc                              45s   1GB
Nov 27 07:09:01 Starting compiler/backend/gc
Nov 27 07:15:18 Finished compiler/backend/gc                                   6m17s   1GB
Nov 27 07:15:19 Starting compiler/backend
Nov 27 07:15:22 Finished compiler/backend                                         1s  17MB
Nov 27 07:15:23 Starting compiler/encoders/asm
Nov 27 07:15:24 Finished compiler/encoders/asm                                    0s  23MB
Nov 27 07:15:25 Starting compiler/encoders/x64
Nov 27 07:15:40 Finished compiler/encoders/x64                                   14s 448MB
Nov 27 07:15:41 Starting compiler/encoders/arm6
Nov 27 07:16:26 Finished compiler/encoders/arm6                                  44s 418MB
Nov 27 07:16:27 Starting compiler/encoders/arm8
Nov 27 07:16:35 Finished compiler/encoders/arm8                                   6s 371MB
Nov 27 07:16:35 Starting compiler/encoders/mips
Nov 27 07:16:45 Finished compiler/encoders/mips                                   8s 404MB
Nov 27 07:16:46 Starting compiler/encoders/riscv
Nov 27 07:16:54 Finished compiler/encoders/riscv                                  7s 476MB
Nov 27 07:16:55 Starting compiler/encoders/ag32
Nov 27 07:17:12 Finished compiler/encoders/ag32                                  15s 789MB
Nov 27 07:17:12 Starting compiler/backend/x64
Nov 27 07:17:29 Finished compiler/backend/x64                                    16s 853MB
Nov 27 07:17:30 Starting compiler/backend/arm6
Nov 27 07:17:49 Finished compiler/backend/arm6                                   17s   1GB
Nov 27 07:17:49 Starting compiler/backend/arm8
Nov 27 07:18:07 Finished compiler/backend/arm8                                   16s 831MB
Nov 27 07:18:08 Starting compiler/backend/mips
Nov 27 07:18:26 Finished compiler/backend/mips                                   17s   1GB
Nov 27 07:18:26 Starting compiler/backend/riscv
Nov 27 07:18:44 Finished compiler/backend/riscv                                  16s   1GB
Nov 27 07:18:44 Starting compiler/backend/ag32
Nov 27 07:19:57 Finished compiler/backend/ag32                                 1m12s   1GB
Nov 27 07:19:58 Starting compiler/parsing/proofs
Nov 27 07:26:08 Finished compiler/parsing/proofs                               6m08s 856MB
Nov 27 07:26:08 Starting compiler/inference/proofs
Nov 27 07:29:01 Finished compiler/inference/proofs                             2m51s   1GB
Nov 27 07:29:02 Starting compiler/backend/semantics
Nov 27 07:38:05 Finished compiler/backend/semantics                            9m01s   2GB
Nov 27 07:38:06 Starting compiler/backend/reg_alloc/proofs
Nov 27 07:40:49 Finished compiler/backend/reg_alloc/proofs                     2m42s 572MB
Nov 27 07:40:50 Starting compiler/backend/proofs
Nov 27 08:25:16 Finished compiler/backend/proofs                              44m25s   3GB
Nov 27 08:25:17 Starting compiler/encoders/x64/proofs
Nov 27 08:34:44 Finished compiler/encoders/x64/proofs                          9m26s 929MB
Nov 27 08:34:45 Starting compiler/encoders/arm6/proofs
Nov 27 08:48:43 Finished compiler/encoders/arm6/proofs                        13m56s   1GB
Nov 27 08:48:44 Starting compiler/encoders/arm8/proofs
Nov 27 08:54:42 Finished compiler/encoders/arm8/proofs                         5m57s   1GB
Nov 27 08:54:43 Starting compiler/encoders/mips/proofs
Nov 27 09:04:49 Finished compiler/encoders/mips/proofs                        10m04s   2GB
Nov 27 09:04:49 Starting compiler/encoders/riscv/proofs
Nov 27 09:12:48 Finished compiler/encoders/riscv/proofs                        7m57s 767MB
Nov 27 09:12:48 Starting compiler/encoders/ag32/proofs
Nov 27 09:15:35 Finished compiler/encoders/ag32/proofs                         2m45s 737MB
Nov 27 09:15:36 Starting compiler/backend/x64/proofs
Nov 27 09:15:56 Finished compiler/backend/x64/proofs                             19s   1GB
Nov 27 09:15:57 Starting compiler/backend/arm6/proofs
Nov 27 09:16:20 Finished compiler/backend/arm6/proofs                            22s   1GB
Nov 27 09:16:20 Starting compiler/backend/arm8/proofs
Nov 27 09:16:40 Finished compiler/backend/arm8/proofs                            18s   1GB
Nov 27 09:16:41 Starting compiler/backend/mips/proofs
Nov 27 09:17:01 Finished compiler/backend/mips/proofs                            19s   1GB
Nov 27 09:17:02 Starting compiler/backend/riscv/proofs
Nov 27 09:17:23 Finished compiler/backend/riscv/proofs                           19s   1GB
Nov 27 09:17:24 Starting compiler/backend/ag32/proofs
Nov 27 09:27:06 Finished compiler/backend/ag32/proofs                          9m41s   3GB
Nov 27 09:27:07 Starting compiler/proofs
Nov 27 09:28:26 Finished compiler/proofs                                       1m17s   1GB
Nov 27 09:28:26 Starting candle/set-theory
Nov 27 09:28:51 Finished candle/set-theory                                       24s 626MB
Nov 27 09:28:52 Starting candle/syntax-lib
Nov 27 09:29:02 Finished candle/syntax-lib                                        9s 603MB
Nov 27 09:29:03 Starting candle/standard/syntax
Nov 27 09:30:35 Finished candle/standard/syntax                                1m31s 798MB
Nov 27 09:30:36 Starting candle/standard/semantics
Nov 27 09:31:55 Finished candle/standard/semantics                             1m18s 831MB
Nov 27 09:31:56 Starting candle/standard/monadic
Nov 27 09:33:32 Finished candle/standard/monadic                               1m34s 996MB
Nov 27 09:33:33 Starting candle/standard/ml_kernel
Nov 27 09:48:40 Finished candle/standard/ml_kernel                            15m06s   3GB
Nov 27 09:48:41 Starting candle/standard/opentheory
Nov 27 09:56:28 Finished candle/standard/opentheory                            7m46s   3GB
Nov 27 09:56:29 Starting candle/standard/opentheory/compilation
Nov 27 10:25:07 Finished candle/standard/opentheory/compilation               28m37s  12GB
Nov 27 10:25:08 Starting candle/standard/opentheory/compilation/proofs
Nov 27 10:25:46 Finished candle/standard/opentheory/compilation/proofs           37s   4GB
Nov 27 10:25:47 Starting characteristic/examples
Nov 27 10:27:16 Finished characteristic/examples                               1m28s   1GB
Nov 27 10:27:17 Starting tutorial/solutions
Nov 27 10:40:58 Finished tutorial/solutions                                   13m39s   6GB
Nov 27 10:40:58 Starting translator/monadic/examples
Nov 27 10:42:44 Finished translator/monadic/examples                           1m44s   2GB
Nov 27 10:42:44 Starting examples
Nov 27 10:49:12 Finished examples                                              6m26s   2GB
Nov 27 10:49:13 Starting examples/compilation/x64
Nov 27 12:44:26 Finished examples/compilation/x64                           1h55m12s  15GB
Nov 27 12:44:27 Starting examples/compilation/x64/proofs
Nov 27 12:46:19 Finished examples/compilation/x64/proofs                       1m51s   3GB
Nov 27 12:46:20 Starting examples/compilation/ag32
Nov 27 13:13:01 Finished examples/compilation/ag32                            26m39s   3GB
Nov 27 13:13:01 Starting examples/compilation/ag32/proofs
Nov 27 13:13:27 Finished examples/compilation/ag32/proofs                        24s   2GB
Nov 27 13:13:28 Starting compiler/benchmarks
Nov 27 13:13:28 Finished compiler/benchmarks                                      0s   4MB
Nov 27 13:13:29 Starting translator/okasaki-examples
Nov 27 13:17:02 Finished translator/okasaki-examples                           3m32s   1GB
Nov 27 13:17:03 Starting translator/other-examples
Nov 27 13:20:23 Finished translator/other-examples                             3m19s 900MB
Nov 27 13:20:24 Starting compiler/parsing/tests
Nov 27 13:20:50 Finished compiler/parsing/tests                                  24s 269MB
Nov 27 13:20:51 Starting compiler/inference/tests
Nov 27 13:24:51 Finished compiler/inference/tests                              4m00s   4GB
Nov 27 13:24:52 Starting compiler/bootstrap/translation
Nov 27 16:41:25 Finished compiler/bootstrap/translation                     3h16m31s  53GB
Nov 27 16:41:25 Starting unverified/sexpr-bootstrap/x64/64
Nov 27 16:49:42 Finished unverified/sexpr-bootstrap/x64/64                     8m14s  15GB
Nov 27 16:49:43 Starting unverified/sexpr-bootstrap/x64/32
Nov 27 16:55:20 Finished unverified/sexpr-bootstrap/x64/32                     5m35s  20GB
Nov 27 16:55:21 Starting compiler/bootstrap/compilation/x64/64
Nov 28 11:41:08 Finished compiler/bootstrap/compilation/x64/64             18h45m43s  64GB
Nov 28 11:41:08 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 28 11:44:51 Finished compiler/bootstrap/compilation/x64/64/proofs          3m42s  24GB
Nov 28 11:44:52 Starting compiler/bootstrap/compilation/x64/32
Nov 28 23:21:39 Finished compiler/bootstrap/compilation/x64/32             11h36m45s  63GB
Nov 28 23:21:40 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 28 23:25:04 Finished compiler/bootstrap/compilation/x64/32/proofs          3m23s  22GB
Nov 28 23:25:05 SUCCESS