Job 280

CakeML:ea2ce5d1346d6f8f37f85f8f9612e0abb2954bd8
  Fix parsing test for p/printing changes in HOL [Mar 31 09:43:53]
HOL:047bd6622ad3306cea56014cc18bbabfe016e968
  Provide tag pretty-printing in interactive system [Apr 03 07:10:44]
Machine:oven1 4.15.9-300.fc27.x86_64 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

Apr 03 19:56:08 Claimed job
Apr 03 19:56:13 Building HOL
Apr 03 20:04:21 Starting developers/bin
Apr 03 20:04:28 Finished developers/bin                                           6s 923MB
Apr 03 20:04:29 Starting semantics/ffi
Apr 03 20:05:09 Finished semantics/ffi                                           39s 376MB
Apr 03 20:05:10 Starting semantics
Apr 03 20:06:37 Finished semantics                                             1m26s   1GB
Apr 03 20:06:37 Starting semantics/proofs
Apr 03 20:08:28 Finished semantics/proofs                                      1m50s   1GB
Apr 03 20:08:29 Starting basis/pure
Apr 03 20:11:54 Finished basis/pure                                            3m24s 673MB
Apr 03 20:11:55 Starting translator
Apr 03 20:15:49 Finished translator                                            3m53s 908MB
Apr 03 20:15:49 Starting compiler/parsing
Apr 03 20:17:17 Finished compiler/parsing                                      1m27s   2GB
Apr 03 20:17:18 Starting characteristic
Apr 03 20:19:45 Finished characteristic                                        2m26s   1GB
Apr 03 20:19:46 Starting basis
Apr 03 20:38:06 Finished basis                                                18m19s   3GB
Apr 03 20:38:06 Starting translator/monadic
Apr 03 20:38:09 Finished translator/monadic                                       1s  14MB
Apr 03 20:38:09 Starting compiler/inference
Apr 03 20:39:46 Finished compiler/inference                                    1m36s 897MB
Apr 03 20:39:47 Starting compiler/backend/reg_alloc
Apr 03 20:40:14 Finished compiler/backend/reg_alloc                              26s 795MB
Apr 03 20:40:15 Starting compiler/backend/gc
Apr 03 20:52:50 Finished compiler/backend/gc                                  12m34s   3GB
Apr 03 20:52:51 Starting compiler/backend
Apr 03 20:52:54 Finished compiler/backend                                         2s  15MB
Apr 03 20:52:54 Starting compiler/encoders/asm
Apr 03 20:52:56 Finished compiler/encoders/asm                                    0s  10MB
Apr 03 20:52:56 Starting compiler/encoders/x64
Apr 03 20:53:50 Finished compiler/encoders/x64                                   53s 575MB
Apr 03 20:53:51 Starting compiler/encoders/arm6
Apr 03 20:55:30 Finished compiler/encoders/arm6                                1m38s   1GB
Apr 03 20:55:30 Starting compiler/encoders/arm8
Apr 03 20:55:57 Finished compiler/encoders/arm8                                  25s 486MB
Apr 03 20:55:57 Starting compiler/encoders/mips
Apr 03 20:56:45 Finished compiler/encoders/mips                                  47s 968MB
Apr 03 20:56:46 Starting compiler/encoders/riscv
Apr 03 20:57:39 Finished compiler/encoders/riscv                                 52s 630MB
Apr 03 20:57:40 Starting compiler/backend/x64
Apr 03 20:58:04 Finished compiler/backend/x64                                    24s   1GB
Apr 03 20:58:05 Starting compiler/backend/arm6
Apr 03 20:58:31 Finished compiler/backend/arm6                                   25s   1GB
Apr 03 20:58:31 Starting compiler/backend/arm8
Apr 03 20:58:57 Finished compiler/backend/arm8                                   24s   1GB
Apr 03 20:58:57 Starting compiler/backend/mips
Apr 03 20:59:24 Finished compiler/backend/mips                                   25s   1GB
Apr 03 20:59:24 Starting compiler/backend/riscv
Apr 03 20:59:50 Finished compiler/backend/riscv                                  24s   1GB
Apr 03 20:59:50 Starting compiler/parsing/proofs
Apr 03 21:05:49 Finished compiler/parsing/proofs                               5m57s   1GB
Apr 03 21:05:49 Starting compiler/inference/proofs
Apr 03 21:08:08 Finished compiler/inference/proofs                             2m17s   1GB
Apr 03 21:08:08 Starting compiler/backend/semantics
Apr 03 21:18:37 Finished compiler/backend/semantics                           10m28s   4GB
Apr 03 21:18:38 Starting compiler/backend/reg_alloc/proofs
Apr 03 21:19:18 Finished compiler/backend/reg_alloc/proofs                       39s 499MB
Apr 03 21:19:19 Starting compiler/backend/proofs
Apr 03 21:49:12 Finished compiler/backend/proofs                              29m52s   4GB
Apr 03 21:49:13 Starting compiler/encoders/x64/proofs
Apr 03 21:56:52 Finished compiler/encoders/x64/proofs                          7m38s   5GB
Apr 03 21:56:53 Starting compiler/encoders/arm6/proofs
Apr 03 22:04:30 Finished compiler/encoders/arm6/proofs                         7m36s   3GB
Apr 03 22:04:31 Starting compiler/encoders/arm8/proofs
Apr 03 22:09:52 Finished compiler/encoders/arm8/proofs                         5m20s   1GB
Apr 03 22:09:53 Starting compiler/encoders/mips/proofs
Apr 03 22:17:18 Finished compiler/encoders/mips/proofs                         7m24s   1GB
Apr 03 22:17:18 Starting compiler/encoders/riscv/proofs
Apr 03 22:25:25 Finished compiler/encoders/riscv/proofs                        8m05s 786MB
Apr 03 22:25:25 Starting compiler/backend/x64/proofs
Apr 03 22:25:56 Finished compiler/backend/x64/proofs                             30s   1GB
Apr 03 22:25:57 Starting compiler/backend/arm6/proofs
Apr 03 22:26:30 Finished compiler/backend/arm6/proofs                            32s   1GB
Apr 03 22:26:30 Starting compiler/backend/arm8/proofs
Apr 03 22:27:01 Finished compiler/backend/arm8/proofs                            30s   1GB
Apr 03 22:27:02 Starting compiler/backend/mips/proofs
Apr 03 22:27:34 Finished compiler/backend/mips/proofs                            32s   1GB
Apr 03 22:27:35 Starting compiler/backend/riscv/proofs
Apr 03 22:28:07 Finished compiler/backend/riscv/proofs                           31s   1GB
Apr 03 22:28:07 Starting compiler/proofs
Apr 03 22:29:33 Finished compiler/proofs                                       1m25s   2GB
Apr 03 22:29:34 Starting candle/set-theory
Apr 03 22:30:29 Finished candle/set-theory                                       54s 608MB
Apr 03 22:30:30 Starting candle/syntax-lib
Apr 03 22:30:41 Finished candle/syntax-lib                                       10s 654MB
Apr 03 22:30:42 Starting candle/standard/syntax
Apr 03 22:32:16 Finished candle/standard/syntax                                1m33s   1GB
Apr 03 22:32:16 Starting candle/standard/semantics
Apr 03 22:33:36 Finished candle/standard/semantics                             1m18s 924MB
Apr 03 22:33:37 Starting candle/standard/monadic
Apr 03 22:35:05 Finished candle/standard/monadic                               1m28s   1GB
Apr 03 22:35:06 Starting candle/standard/ml_kernel
Apr 03 22:41:06 Finished candle/standard/ml_kernel                             5m59s   1GB
Apr 03 22:41:07 Starting candle/standard/opentheory
Apr 03 22:41:24 Finished candle/standard/opentheory                              16s 681MB
Apr 03 22:41:25 Starting characteristic/examples
Apr 03 22:42:51 Finished characteristic/examples                               1m26s   1GB
Apr 03 22:42:52 Starting tutorial/solutions
Apr 03 23:04:57 Finished tutorial/solutions                                   22m04s  16GB
Apr 03 23:04:57 Starting translator/monadic/examples
Apr 03 23:06:50 Finished translator/monadic/examples                           1m52s   1GB
Apr 03 23:06:51 Starting examples
Apr 03 23:12:13 Finished examples                                              5m21s   2GB
Apr 03 23:12:14 Starting examples/compilation
Apr 04 02:54:39 Finished examples/compilation                               3h42m23s  17GB
Apr 04 02:54:40 Starting examples/compilation/proofs
Apr 04 02:58:12 Finished examples/compilation/proofs                           3m32s   5GB
Apr 04 02:58:13 Starting compiler/benchmarks
Apr 04 02:58:14 Finished compiler/benchmarks                                      0s   4MB
Apr 04 02:58:15 Starting translator/okasaki-examples
Apr 04 03:01:48 Finished translator/okasaki-examples                           3m33s   1GB
Apr 04 03:01:49 Starting translator/other-examples
Apr 04 03:05:19 Finished translator/other-examples                             3m29s 784MB
Apr 04 03:05:20 Starting compiler/parsing/tests
Apr 04 03:05:43 Finished compiler/parsing/tests                                  22s 338MB
Apr 04 03:05:44 Starting compiler/bootstrap/translation
Apr 04 07:48:46 Finished compiler/bootstrap/translation                     4h43m01s  35GB
Apr 04 07:48:47 Starting unverified/sexpr-bootstrap/x64/64
Apr 04 07:54:26 Finished unverified/sexpr-bootstrap/x64/64                     5m37s  15GB
Apr 04 07:54:27 Starting unverified/sexpr-bootstrap/x64/32
Apr 04 07:59:13 Finished unverified/sexpr-bootstrap/x64/32                     4m44s  12GB
Apr 04 07:59:13 Starting compiler/bootstrap/compilation/x64/64
Apr 04 23:18:39 Finished compiler/bootstrap/compilation/x64/64             15h19m24s  64GB
Apr 04 23:18:39 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 04 23:22:01 Finished compiler/bootstrap/compilation/x64/64/proofs          3m21s  24GB
Apr 04 23:22:02 Starting compiler/bootstrap/compilation/x64/32
Apr 05 11:10:15 Finished compiler/bootstrap/compilation/x64/32             11h48m05s  64GB
Apr 05 11:10:16 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 05 11:13:25 Finished compiler/bootstrap/compilation/x64/32/proofs          3m08s  22GB
Apr 05 11:13:25 SUCCESS