Job 560

CakeML:8ee5d433f5e6a93e9a41ea5e46b961c65130c2ef
  Merge pull request #551 from CakeML/translator-alist-tree [Nov 17 12:09:47]
HOL:e48aefc60b7c4a206ed939646485d31a341e2bfc
  Fully protect wordsLib's use of parser [Nov 17 11:30:47]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Nov 18 01:30:02 Claimed job
Nov 18 01:30:08 Reusing HOL
Nov 18 01:30:57 Starting developers/bin
Nov 18 01:32:03 Finished developers/bin                                        1m05s 916MB
Nov 18 01:32:04 Starting semantics/ffi
Nov 18 01:32:17 Finished semantics/ffi                                           12s 290MB
Nov 18 01:32:18 Starting semantics
Nov 18 01:33:37 Finished semantics                                             1m18s 835MB
Nov 18 01:33:37 Starting semantics/proofs
Nov 18 01:36:38 Finished semantics/proofs                                      2m59s 979MB
Nov 18 01:36:39 Starting basis/pure
Nov 18 01:37:33 Finished basis/pure                                              53s 693MB
Nov 18 01:37:33 Starting translator
Nov 18 01:40:47 Finished translator                                            3m13s 967MB
Nov 18 01:40:48 Starting compiler/parsing
Nov 18 01:42:12 Finished compiler/parsing                                      1m23s   1GB
Nov 18 01:42:13 Starting characteristic
Nov 18 01:44:53 Finished characteristic                                        2m39s   1GB
Nov 18 01:44:54 Starting translator/monadic
Nov 18 01:46:25 Finished translator/monadic                                    1m30s   1GB
Nov 18 01:46:26 Starting basis
Nov 18 02:03:46 Finished basis                                                17m20s   2GB
Nov 18 02:03:47 Starting compiler/inference
Nov 18 02:05:17 Finished compiler/inference                                    1m29s 773MB
Nov 18 02:05:17 Starting compiler/backend/reg_alloc
Nov 18 02:06:08 Finished compiler/backend/reg_alloc                              50s   1GB
Nov 18 02:06:09 Starting compiler/backend/gc
Nov 18 02:13:07 Finished compiler/backend/gc                                   6m57s   1GB
Nov 18 02:13:07 Starting compiler/backend
Nov 18 02:13:11 Finished compiler/backend                                         2s  17MB
Nov 18 02:13:11 Starting compiler/encoders/asm
Nov 18 02:13:13 Finished compiler/encoders/asm                                    1s  15MB
Nov 18 02:13:14 Starting compiler/encoders/x64
Nov 18 02:13:31 Finished compiler/encoders/x64                                   16s 400MB
Nov 18 02:13:32 Starting compiler/encoders/arm6
Nov 18 02:14:18 Finished compiler/encoders/arm6                                  45s 443MB
Nov 18 02:14:19 Starting compiler/encoders/arm8
Nov 18 02:14:27 Finished compiler/encoders/arm8                                   7s 323MB
Nov 18 02:14:28 Starting compiler/encoders/mips
Nov 18 02:14:38 Finished compiler/encoders/mips                                   9s 434MB
Nov 18 02:14:38 Starting compiler/encoders/riscv
Nov 18 02:14:47 Finished compiler/encoders/riscv                                  8s 453MB
Nov 18 02:14:48 Starting compiler/backend/x64
Nov 18 02:15:09 Finished compiler/backend/x64                                    20s 907MB
Nov 18 02:15:10 Starting compiler/backend/arm6
Nov 18 02:15:31 Finished compiler/backend/arm6                                   20s   1GB
Nov 18 02:15:31 Starting compiler/backend/arm8
Nov 18 02:15:52 Finished compiler/backend/arm8                                   20s   1GB
Nov 18 02:15:53 Starting compiler/backend/mips
Nov 18 02:16:13 Finished compiler/backend/mips                                   19s   1GB
Nov 18 02:16:14 Starting compiler/backend/riscv
Nov 18 02:16:33 Finished compiler/backend/riscv                                  18s 852MB
Nov 18 02:16:34 Starting compiler/parsing/proofs
Nov 18 02:23:00 Finished compiler/parsing/proofs                               6m25s   1GB
Nov 18 02:23:00 Starting compiler/inference/proofs
Nov 18 02:26:03 Finished compiler/inference/proofs                             3m02s 978MB
Nov 18 02:26:04 Starting compiler/backend/semantics
Nov 18 02:35:49 Finished compiler/backend/semantics                            9m43s   2GB
Nov 18 02:35:49 Starting compiler/backend/reg_alloc/proofs
Nov 18 02:38:37 Finished compiler/backend/reg_alloc/proofs                     2m47s 542MB
Nov 18 02:38:38 Starting compiler/backend/proofs
Nov 18 03:27:48 Finished compiler/backend/proofs                              49m08s   4GB
Nov 18 03:27:49 Starting compiler/encoders/x64/proofs
Nov 18 03:35:01 Finished compiler/encoders/x64/proofs                          7m11s 909MB
Nov 18 03:35:02 Starting compiler/encoders/arm6/proofs
Nov 18 03:41:48 Finished compiler/encoders/arm6/proofs                         6m45s   1GB
Nov 18 03:41:49 Starting compiler/encoders/arm8/proofs
Nov 18 03:47:24 Finished compiler/encoders/arm8/proofs                         5m34s 963MB
Nov 18 03:47:25 Starting compiler/encoders/mips/proofs
Nov 18 03:54:31 Finished compiler/encoders/mips/proofs                         7m05s   2GB
Nov 18 03:54:31 Starting compiler/encoders/riscv/proofs
Nov 18 04:02:52 Finished compiler/encoders/riscv/proofs                        8m20s 858MB
Nov 18 04:02:53 Starting compiler/backend/x64/proofs
Nov 18 04:03:14 Finished compiler/backend/x64/proofs                             20s   1GB
Nov 18 04:03:14 Starting compiler/backend/arm6/proofs
Nov 18 04:03:38 Finished compiler/backend/arm6/proofs                            23s   1GB
Nov 18 04:03:39 Starting compiler/backend/arm8/proofs
Nov 18 04:04:01 Finished compiler/backend/arm8/proofs                            21s   1GB
Nov 18 04:04:02 Starting compiler/backend/mips/proofs
Nov 18 04:04:25 Finished compiler/backend/mips/proofs                            22s   1GB
Nov 18 04:04:25 Starting compiler/backend/riscv/proofs
Nov 18 04:04:49 Finished compiler/backend/riscv/proofs                           22s   1GB
Nov 18 04:04:49 Starting compiler/proofs
Nov 18 04:06:16 Finished compiler/proofs                                       1m25s   2GB
Nov 18 04:06:16 Starting candle/set-theory
Nov 18 04:06:44 Finished candle/set-theory                                       27s 595MB
Nov 18 04:06:45 Starting candle/syntax-lib
Nov 18 04:06:56 Finished candle/syntax-lib                                       10s 651MB
Nov 18 04:06:57 Starting candle/standard/syntax
Nov 18 04:08:36 Finished candle/standard/syntax                                1m38s 607MB
Nov 18 04:08:37 Starting candle/standard/semantics
Nov 18 04:10:01 Finished candle/standard/semantics                             1m23s   1GB
Nov 18 04:10:01 Starting candle/standard/monadic
Nov 18 04:11:40 Finished candle/standard/monadic                               1m38s 952MB
Nov 18 04:11:41 Starting candle/standard/ml_kernel
Nov 18 04:27:29 Finished candle/standard/ml_kernel                            15m47s   3GB
Nov 18 04:27:29 Starting candle/standard/opentheory
Nov 18 04:35:19 Finished candle/standard/opentheory                            7m49s   5GB
Nov 18 04:35:20 Starting candle/standard/opentheory/compilation
Nov 18 05:17:57 Finished candle/standard/opentheory/compilation               42m36s  12GB
Nov 18 05:17:58 Starting candle/standard/opentheory/compilation/proofs
Nov 18 05:18:49 Finished candle/standard/opentheory/compilation/proofs           51s   3GB
Nov 18 05:18:50 Starting characteristic/examples
Nov 18 05:20:28 Finished characteristic/examples                               1m37s   1GB
Nov 18 05:20:28 Starting tutorial/solutions
Nov 18 05:40:09 Finished tutorial/solutions                                   19m39s   6GB
Nov 18 05:40:09 Starting translator/monadic/examples
Nov 18 05:42:20 Finished translator/monadic/examples                           2m10s   2GB
Nov 18 05:42:21 Starting examples
Nov 18 05:49:15 Finished examples                                              6m53s   2GB
Nov 18 05:49:16 Starting examples/compilation
Nov 18 07:59:48 Finished examples/compilation                               2h10m31s  11GB
Nov 18 07:59:49 Starting examples/compilation/proofs
Nov 18 08:01:57 Finished examples/compilation/proofs                           2m07s   3GB
Nov 18 08:01:58 Starting compiler/benchmarks
Nov 18 08:01:59 Finished compiler/benchmarks                                      0s   4MB
Nov 18 08:01:59 Starting translator/okasaki-examples
Nov 18 08:05:42 Finished translator/okasaki-examples                           3m42s   1GB
Nov 18 08:05:43 Starting translator/other-examples
Nov 18 08:09:22 Finished translator/other-examples                             3m38s 951MB
Nov 18 08:09:23 Starting compiler/parsing/tests
Nov 18 08:09:51 Finished compiler/parsing/tests                                  27s 266MB
Nov 18 08:09:51 Starting compiler/inference/tests
Nov 18 08:14:02 Finished compiler/inference/tests                              4m09s   4GB
Nov 18 08:14:03 Starting compiler/bootstrap/translation
Nov 18 11:33:49 Finished compiler/bootstrap/translation                     3h19m45s  47GB
Nov 18 11:33:50 Starting unverified/sexpr-bootstrap/x64/64
Nov 18 11:41:25 Finished unverified/sexpr-bootstrap/x64/64                     7m34s  21GB
Nov 18 11:41:26 Starting unverified/sexpr-bootstrap/x64/32
Nov 18 11:46:42 Finished unverified/sexpr-bootstrap/x64/32                     5m14s  19GB
Nov 18 11:46:43 Starting compiler/bootstrap/compilation/x64/64
Nov 19 06:05:50 Finished compiler/bootstrap/compilation/x64/64             18h19m05s  64GB
Nov 19 06:05:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 19 06:09:35 Finished compiler/bootstrap/compilation/x64/64/proofs          3m44s  25GB
Nov 19 06:09:36 Starting compiler/bootstrap/compilation/x64/32
Nov 19 18:14:47 Finished compiler/bootstrap/compilation/x64/32             12h05m09s  64GB
Nov 19 18:14:47 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 19 18:17:49 Finished compiler/bootstrap/compilation/x64/32/proofs          3m01s  21GB
Nov 19 18:17:50 SUCCESS