Job 751

CakeML:2d7716e211a3e687d5ba9f237de202f78cbc253b
  Merge pull request #619 from CakeML/reader-jlamp [Mar 05 06:58:18]
HOL:cc82a2445e254af682862e48d98d129f9249f664
  Make Theorem= syntax when followed by 'local' keyword [Mar 07 00:26:46]
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

Mar 08 11:25:29 Claimed job
Mar 08 11:26:02 Building HOL
Mar 08 11:33:48 Starting developers
Mar 08 11:33:49 Finished developers                                               0s  31MB
Mar 08 11:33:49 Starting developers/bin
Mar 08 11:34:21 Finished developers/bin                                          30s 205MB
Mar 08 11:34:22 Starting semantics/ffi
Mar 08 11:34:56 Finished semantics/ffi                                           33s 504MB
Mar 08 11:34:57 Starting semantics
Mar 08 11:36:27 Finished semantics                                             1m29s   1GB
Mar 08 11:36:28 Starting semantics/proofs
Mar 08 11:39:22 Finished semantics/proofs                                      2m53s   1GB
Mar 08 11:39:23 Starting basis/pure
Mar 08 11:42:53 Finished basis/pure                                            3m29s 652MB
Mar 08 11:42:54 Starting translator
Mar 08 11:44:31 Finished translator                                            1m35s   1GB
Mar 08 11:44:32 Starting compiler/parsing
Mar 08 11:45:28 Finished compiler/parsing                                        55s   2GB
Mar 08 11:45:29 Starting characteristic
Mar 08 11:49:41 Finished characteristic                                        4m11s   1GB
Mar 08 11:49:42 Starting translator/monadic
Mar 08 11:51:07 Finished translator/monadic                                    1m24s   1GB
Mar 08 11:51:08 Starting basis
Mar 08 12:07:14 Finished basis                                                16m05s   2GB
Mar 08 12:07:14 Starting compiler/inference
Mar 08 12:08:59 Finished compiler/inference                                    1m43s   1GB
Mar 08 12:09:00 Starting compiler/backend/reg_alloc
Mar 08 12:09:50 Finished compiler/backend/reg_alloc                              49s   1GB
Mar 08 12:09:51 Starting compiler/backend/gc
Mar 08 12:18:40 Finished compiler/backend/gc                                   8m48s   1GB
Mar 08 12:18:41 Starting compiler/backend
Mar 08 12:18:43 Finished compiler/backend                                         0s  42MB
Mar 08 12:18:43 Starting compiler/encoders/asm
Mar 08 12:18:45 Finished compiler/encoders/asm                                    0s  32MB
Mar 08 12:18:45 Starting compiler/encoders/x64
Mar 08 12:19:41 Finished compiler/encoders/x64                                   55s 729MB
Mar 08 12:19:42 Starting compiler/encoders/arm6
Mar 08 12:21:15 Finished compiler/encoders/arm6                                1m31s   1GB
Mar 08 12:21:16 Starting compiler/encoders/arm8
Mar 08 12:21:44 Finished compiler/encoders/arm8                                  27s 618MB
Mar 08 12:21:45 Starting compiler/encoders/mips
Mar 08 12:22:48 Finished compiler/encoders/mips                                1m02s 799MB
Mar 08 12:22:48 Starting compiler/encoders/riscv
Mar 08 12:23:51 Finished compiler/encoders/riscv                               1m02s 722MB
Mar 08 12:23:52 Starting compiler/encoders/ag32
Mar 08 12:24:08 Finished compiler/encoders/ag32                                  14s 591MB
Mar 08 12:24:09 Starting compiler/backend/x64
Mar 08 12:24:24 Finished compiler/backend/x64                                    14s   1GB
Mar 08 12:24:25 Starting compiler/backend/arm6
Mar 08 12:24:42 Finished compiler/backend/arm6                                   15s   1GB
Mar 08 12:24:42 Starting compiler/backend/arm8
Mar 08 12:24:59 Finished compiler/backend/arm8                                   15s   1GB
Mar 08 12:25:00 Starting compiler/backend/mips
Mar 08 12:25:16 Finished compiler/backend/mips                                   15s   1GB
Mar 08 12:25:17 Starting compiler/backend/riscv
Mar 08 12:25:34 Finished compiler/backend/riscv                                  15s   1GB
Mar 08 12:25:34 Starting compiler/backend/ag32
Mar 08 12:26:40 Finished compiler/backend/ag32                                 1m04s   1GB
Mar 08 12:26:40 Starting compiler/parsing/proofs
Mar 08 12:32:13 Finished compiler/parsing/proofs                               5m31s   1GB
Mar 08 12:32:14 Starting compiler/inference/proofs
Mar 08 12:34:51 Finished compiler/inference/proofs                             2m36s   1GB
Mar 08 12:34:52 Starting compiler/backend/semantics
Mar 08 12:41:46 Finished compiler/backend/semantics                            6m53s   1GB
Mar 08 12:41:46 Starting compiler/backend/reg_alloc/proofs
Mar 08 12:44:25 Finished compiler/backend/reg_alloc/proofs                     2m38s   1GB
Mar 08 12:44:26 Starting compiler/backend/proofs
Mar 08 13:21:18 Finished compiler/backend/proofs                              36m51s   4GB
Mar 08 13:21:19 Starting compiler/encoders/x64/proofs
Mar 08 13:31:18 Finished compiler/encoders/x64/proofs                          9m58s   4GB
Mar 08 13:31:19 Starting compiler/encoders/arm6/proofs
Mar 08 13:44:47 Finished compiler/encoders/arm6/proofs                        13m26s   3GB
Mar 08 13:44:47 Starting compiler/encoders/arm8/proofs
Mar 08 13:50:29 Finished compiler/encoders/arm8/proofs                         5m40s   1GB
Mar 08 13:50:30 Starting compiler/encoders/mips/proofs
Mar 08 14:00:18 Finished compiler/encoders/mips/proofs                         9m47s   3GB
Mar 08 14:00:19 Starting compiler/encoders/riscv/proofs
Mar 08 14:07:53 Finished compiler/encoders/riscv/proofs                        7m32s 984MB
Mar 08 14:07:53 Starting compiler/encoders/ag32/proofs
Mar 08 14:10:20 Finished compiler/encoders/ag32/proofs                         2m26s 681MB
Mar 08 14:10:21 Starting compiler/backend/x64/proofs
Mar 08 14:10:38 Finished compiler/backend/x64/proofs                             16s   1GB
Mar 08 14:10:39 Starting compiler/backend/arm6/proofs
Mar 08 14:10:58 Finished compiler/backend/arm6/proofs                            18s   1GB
Mar 08 14:10:59 Starting compiler/backend/arm8/proofs
Mar 08 14:11:15 Finished compiler/backend/arm8/proofs                            15s   1GB
Mar 08 14:11:16 Starting compiler/backend/mips/proofs
Mar 08 14:11:33 Finished compiler/backend/mips/proofs                            16s 890MB
Mar 08 14:11:33 Starting compiler/backend/riscv/proofs
Mar 08 14:11:50 Finished compiler/backend/riscv/proofs                           15s 750MB
Mar 08 14:11:50 Starting compiler/backend/ag32/proofs
Mar 08 14:20:40 Finished compiler/backend/ag32/proofs                          8m48s   2GB
Mar 08 14:20:41 Starting compiler/proofs
Mar 08 14:22:06 Finished compiler/proofs                                       1m25s   2GB
Mar 08 14:22:07 Starting candle/set-theory
Mar 08 14:22:33 Finished candle/set-theory                                       25s 885MB
Mar 08 14:22:34 Starting candle/syntax-lib
Mar 08 14:22:43 Finished candle/syntax-lib                                        8s 567MB
Mar 08 14:22:44 Starting candle/standard/syntax
Mar 08 14:24:25 Finished candle/standard/syntax                                1m39s   1GB
Mar 08 14:24:26 Starting candle/standard/semantics
Mar 08 14:25:59 Finished candle/standard/semantics                             1m32s   1GB
Mar 08 14:26:00 Starting candle/standard/monadic
Mar 08 14:27:32 Finished candle/standard/monadic                               1m31s   1GB
Mar 08 14:27:33 Starting candle/standard/ml_kernel
Mar 08 14:31:13 Finished candle/standard/ml_kernel                             3m38s   2GB
Mar 08 14:31:13 Starting candle/standard/opentheory
Mar 08 14:39:29 Finished candle/standard/opentheory                            8m15s   4GB
Mar 08 14:39:30 Starting candle/standard/opentheory/compilation
Mar 08 15:09:27 Finished candle/standard/opentheory/compilation               29m55s  13GB
Mar 08 15:09:27 Starting candle/standard/opentheory/compilation/proofs
Mar 08 15:10:11 Finished candle/standard/opentheory/compilation/proofs           42s   2GB
Mar 08 15:10:12 Starting characteristic/examples
Mar 08 15:11:34 Finished characteristic/examples                               1m21s   1GB
Mar 08 15:11:35 Starting tutorial/solutions
Mar 08 15:24:15 Finished tutorial/solutions                                   12m39s   5GB
Mar 08 15:24:15 Starting translator/monadic/examples
Mar 08 15:26:43 Finished translator/monadic/examples                           2m26s   2GB
Mar 08 15:26:44 Starting examples
Mar 08 15:34:04 Finished examples                                              7m19s   3GB
Mar 08 15:34:04 Starting examples/compilation/x64
Mar 08 17:26:07 Finished examples/compilation/x64                           1h52m01s  14GB
Mar 08 17:26:07 Starting examples/compilation/x64/proofs
Mar 08 17:27:26 Finished examples/compilation/x64/proofs                       1m18s   2GB
Mar 08 17:27:27 Starting examples/compilation/ag32
Mar 08 17:54:59 Finished examples/compilation/ag32                            27m30s   6GB
Mar 08 17:55:00 Starting examples/compilation/ag32/proofs
Mar 08 17:55:57 Finished examples/compilation/ag32/proofs                        56s   2GB
Mar 08 17:55:58 Starting translator/okasaki-examples
Mar 08 17:59:59 Finished translator/okasaki-examples                           4m00s   1GB
Mar 08 17:59:59 Starting translator/other-examples
Mar 08 18:03:23 Finished translator/other-examples                             3m23s   1GB
Mar 08 18:03:24 Starting compiler/parsing/tests
Mar 08 18:03:49 Finished compiler/parsing/tests                                  24s 550MB
Mar 08 18:03:50 Starting compiler/inference/tests
Mar 08 18:07:56 Finished compiler/inference/tests                              4m04s   3GB
Mar 08 18:07:56 Starting compiler/bootstrap/translation
Mar 08 20:29:40 Finished compiler/bootstrap/translation                     2h21m43s  42GB
Mar 08 20:29:41 Starting unverified/sexpr-bootstrap/x64/64
Mar 08 20:37:28 Finished unverified/sexpr-bootstrap/x64/64                     7m44s   3GB
Mar 08 20:37:28 Starting unverified/sexpr-bootstrap/x64/32
Mar 08 20:41:41 Finished unverified/sexpr-bootstrap/x64/32                     4m11s   6GB
Mar 08 20:41:42 Starting compiler/benchmarks
Mar 08 21:18:24 Finished compiler/benchmarks                                  36m40s   2GB
Mar 08 21:18:25 Starting compiler/bootstrap/compilation/x64/64
Mar 09 07:34:41 Finished compiler/bootstrap/compilation/x64/64             10h16m14s  64GB
Mar 09 07:34:42 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 09 07:38:35 Finished compiler/bootstrap/compilation/x64/64/proofs          3m51s   4GB
Mar 09 07:38:35 Starting compiler/bootstrap/compilation/x64/32
Mar 09 19:19:15 Finished compiler/bootstrap/compilation/x64/32             11h40m37s  64GB
Mar 09 19:19:16 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 09 19:22:12 Finished compiler/bootstrap/compilation/x64/32/proofs          2m55s   5GB
Mar 09 19:22:13 Starting compiler/bootstrap/compilation/ag32/32
Mar 10 06:33:21 Finished compiler/bootstrap/compilation/ag32/32            11h11m07s  64GB
Mar 10 06:33:21 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 10 07:03:20 Finished compiler/bootstrap/compilation/ag32/32/proofs        29m57s  16GB
Mar 10 07:03:21 SUCCESS