Job 625

CakeML:9738bb20083dd8d6561f662774ab156c907bba8d
  Merge pull request #577 from CakeML/local [Dec 10 18:08:16]
HOL:3e92f93cc5c297a65292a52ca7af9a018ce18e63
  Fix Emacs Unicode bindings for  [Dec 09 06:49:50]
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

Dec 11 03:00:02 Claimed job
Dec 11 03:00:25 Building HOL
Dec 11 03:09:45 Starting developers
Dec 11 03:09:48 Finished developers                                               2s  20MB
Dec 11 03:09:49 Starting developers/bin
Dec 11 03:10:59 Finished developers/bin                                        1m09s 916MB
Dec 11 03:11:00 Starting semantics/ffi
Dec 11 03:11:39 Finished semantics/ffi                                           38s 485MB
Dec 11 03:11:40 Starting semantics
Dec 11 03:13:17 Finished semantics                                             1m36s 960MB
Dec 11 03:13:18 Starting semantics/proofs
Dec 11 03:16:23 Finished semantics/proofs                                      3m04s   1GB
Dec 11 03:16:24 Starting basis/pure
Dec 11 03:20:03 Finished basis/pure                                            3m39s 679MB
Dec 11 03:20:04 Starting translator
Dec 11 03:21:21 Finished translator                                            1m16s   1GB
Dec 11 03:21:22 Starting compiler/parsing
Dec 11 03:22:39 Finished compiler/parsing                                      1m16s   2GB
Dec 11 03:22:40 Starting characteristic
Dec 11 03:25:20 Finished characteristic                                        2m39s   1GB
Dec 11 03:25:21 Starting translator/monadic
Dec 11 03:26:49 Finished translator/monadic                                    1m28s   1GB
Dec 11 03:26:50 Starting basis
Dec 11 03:43:07 Finished basis                                                16m16s   3GB
Dec 11 03:43:08 Starting compiler/inference
Dec 11 03:45:10 Finished compiler/inference                                    2m01s   1GB
Dec 11 03:45:10 Starting compiler/backend/reg_alloc
Dec 11 03:46:01 Finished compiler/backend/reg_alloc                              50s   1GB
Dec 11 03:46:02 Starting compiler/backend/gc
Dec 11 03:53:36 Finished compiler/backend/gc                                   7m32s   1GB
Dec 11 03:53:37 Starting compiler/backend
Dec 11 03:53:40 Finished compiler/backend                                         2s  17MB
Dec 11 03:53:40 Starting compiler/encoders/asm
Dec 11 03:53:42 Finished compiler/encoders/asm                                    1s  20MB
Dec 11 03:53:43 Starting compiler/encoders/x64
Dec 11 03:54:35 Finished compiler/encoders/x64                                   51s 606MB
Dec 11 03:54:35 Starting compiler/encoders/arm6
Dec 11 03:56:18 Finished compiler/encoders/arm6                                1m42s   1GB
Dec 11 03:56:19 Starting compiler/encoders/arm8
Dec 11 03:56:46 Finished compiler/encoders/arm8                                  26s 483MB
Dec 11 03:56:47 Starting compiler/encoders/mips
Dec 11 03:57:47 Finished compiler/encoders/mips                                  59s 753MB
Dec 11 03:57:47 Starting compiler/encoders/riscv
Dec 11 03:58:51 Finished compiler/encoders/riscv                               1m02s 683MB
Dec 11 03:58:51 Starting compiler/encoders/ag32
Dec 11 03:59:10 Finished compiler/encoders/ag32                                  17s 628MB
Dec 11 03:59:10 Starting compiler/backend/x64
Dec 11 03:59:29 Finished compiler/backend/x64                                    17s 816MB
Dec 11 03:59:29 Starting compiler/backend/arm6
Dec 11 03:59:50 Finished compiler/backend/arm6                                   20s 999MB
Dec 11 03:59:51 Starting compiler/backend/arm8
Dec 11 04:00:10 Finished compiler/backend/arm8                                   18s   1GB
Dec 11 04:00:11 Starting compiler/backend/mips
Dec 11 04:00:31 Finished compiler/backend/mips                                   19s   1GB
Dec 11 04:00:31 Starting compiler/backend/riscv
Dec 11 04:00:50 Finished compiler/backend/riscv                                  17s 920MB
Dec 11 04:00:50 Starting compiler/backend/ag32
Dec 11 04:02:05 Finished compiler/backend/ag32                                 1m13s   1GB
Dec 11 04:02:06 Starting compiler/parsing/proofs
Dec 11 04:08:19 Finished compiler/parsing/proofs                               6m12s 770MB
Dec 11 04:08:19 Starting compiler/inference/proofs
Dec 11 04:11:12 Finished compiler/inference/proofs                             2m51s   1GB
Dec 11 04:11:13 Starting compiler/backend/semantics
Dec 11 04:20:08 Finished compiler/backend/semantics                            8m54s   2GB
Dec 11 04:20:08 Starting compiler/backend/reg_alloc/proofs
Dec 11 04:22:53 Finished compiler/backend/reg_alloc/proofs                     2m43s 507MB
Dec 11 04:22:53 Starting compiler/backend/proofs
Dec 11 05:04:18 Finished compiler/backend/proofs                              41m23s   4GB
Dec 11 05:04:19 Starting compiler/encoders/x64/proofs
Dec 11 05:14:41 Finished compiler/encoders/x64/proofs                         10m21s   5GB
Dec 11 05:14:42 Starting compiler/encoders/arm6/proofs
Dec 11 05:29:39 Finished compiler/encoders/arm6/proofs                        14m56s   2GB
Dec 11 05:29:40 Starting compiler/encoders/arm8/proofs
Dec 11 05:35:39 Finished compiler/encoders/arm8/proofs                         5m58s   1GB
Dec 11 05:35:40 Starting compiler/encoders/mips/proofs
Dec 11 05:46:23 Finished compiler/encoders/mips/proofs                        10m42s   1GB
Dec 11 05:46:24 Starting compiler/encoders/riscv/proofs
Dec 11 05:54:29 Finished compiler/encoders/riscv/proofs                        8m04s 663MB
Dec 11 05:54:30 Starting compiler/encoders/ag32/proofs
Dec 11 05:57:15 Finished compiler/encoders/ag32/proofs                         2m44s 562MB
Dec 11 05:57:16 Starting compiler/backend/x64/proofs
Dec 11 05:57:37 Finished compiler/backend/x64/proofs                             20s 817MB
Dec 11 05:57:38 Starting compiler/backend/arm6/proofs
Dec 11 05:58:01 Finished compiler/backend/arm6/proofs                            22s   1GB
Dec 11 05:58:02 Starting compiler/backend/arm8/proofs
Dec 11 05:58:22 Finished compiler/backend/arm8/proofs                            20s   1GB
Dec 11 05:58:23 Starting compiler/backend/mips/proofs
Dec 11 05:58:45 Finished compiler/backend/mips/proofs                            21s   1GB
Dec 11 05:58:46 Starting compiler/backend/riscv/proofs
Dec 11 05:59:07 Finished compiler/backend/riscv/proofs                           20s   1GB
Dec 11 05:59:08 Starting compiler/backend/ag32/proofs
Dec 11 06:08:20 Finished compiler/backend/ag32/proofs                          9m11s   2GB
Dec 11 06:08:20 Starting compiler/proofs
Dec 11 06:09:40 Finished compiler/proofs                                       1m19s   2GB
Dec 11 06:09:41 Starting candle/set-theory
Dec 11 06:10:14 Finished candle/set-theory                                       32s 620MB
Dec 11 06:10:15 Starting candle/syntax-lib
Dec 11 06:10:27 Finished candle/syntax-lib                                       11s 526MB
Dec 11 06:10:27 Starting candle/standard/syntax
Dec 11 06:12:03 Finished candle/standard/syntax                                1m35s 708MB
Dec 11 06:12:04 Starting candle/standard/semantics
Dec 11 06:13:26 Finished candle/standard/semantics                             1m22s 875MB
Dec 11 06:13:27 Starting candle/standard/monadic
Dec 11 06:15:02 Finished candle/standard/monadic                               1m34s   1GB
Dec 11 06:15:03 Starting candle/standard/ml_kernel
Dec 11 06:30:00 Finished candle/standard/ml_kernel                            14m56s   3GB
Dec 11 06:30:01 Starting candle/standard/opentheory
Dec 11 06:37:57 Finished candle/standard/opentheory                            7m55s   3GB
Dec 11 06:37:58 Starting candle/standard/opentheory/compilation
Dec 11 07:06:58 Finished candle/standard/opentheory/compilation               28m59s  15GB
Dec 11 07:06:59 Starting candle/standard/opentheory/compilation/proofs
Dec 11 07:07:39 Finished candle/standard/opentheory/compilation/proofs           39s   5GB
Dec 11 07:07:40 Starting characteristic/examples
Dec 11 07:09:09 Finished characteristic/examples                               1m28s   1GB
Dec 11 07:09:10 Starting tutorial/solutions
Dec 11 07:21:54 Finished tutorial/solutions                                   12m42s   7GB
Dec 11 07:21:54 Starting translator/monadic/examples
Dec 11 07:23:45 Finished translator/monadic/examples                           1m50s   2GB
Dec 11 07:23:46 Starting examples
Dec 11 07:30:00 Finished examples                                              6m12s   2GB
Dec 11 07:30:00 Starting examples/compilation/x64
Dec 11 09:25:10 Finished examples/compilation/x64                           1h55m08s  11GB
Dec 11 09:25:11 Starting examples/compilation/x64/proofs
Dec 11 09:27:15 Finished examples/compilation/x64/proofs                       2m03s   3GB
Dec 11 09:27:16 Starting examples/compilation/ag32
Dec 11 09:53:31 Finished examples/compilation/ag32                            26m14s   3GB
Dec 11 09:53:31 Starting examples/compilation/ag32/proofs
Dec 11 09:53:59 Finished examples/compilation/ag32/proofs                        26s   3GB
Dec 11 09:53:59 Starting compiler/benchmarks
Dec 11 09:54:00 Finished compiler/benchmarks                                      0s   5MB
Dec 11 09:54:01 Starting translator/okasaki-examples
Dec 11 09:57:28 Finished translator/okasaki-examples                           3m26s   1GB
Dec 11 09:57:29 Starting translator/other-examples
Dec 11 10:00:52 Finished translator/other-examples                             3m22s 849MB
Dec 11 10:00:52 Starting compiler/parsing/tests
Dec 11 10:01:19 Finished compiler/parsing/tests                                  25s 334MB
Dec 11 10:01:19 Starting compiler/inference/tests
Dec 11 10:05:20 Finished compiler/inference/tests                              3m59s   3GB
Dec 11 10:05:20 Starting compiler/bootstrap/translation
Dec 11 13:17:24 Finished compiler/bootstrap/translation                     3h12m03s  52GB
Dec 11 13:17:25 Starting unverified/sexpr-bootstrap/x64/64
Dec 11 13:25:38 Finished unverified/sexpr-bootstrap/x64/64                     8m11s  16GB
Dec 11 13:25:39 Starting unverified/sexpr-bootstrap/x64/32
Dec 11 13:31:08 Finished unverified/sexpr-bootstrap/x64/32                     5m27s  19GB
Dec 11 13:31:09 Starting compiler/bootstrap/compilation/x64/64
Dec 12 07:14:32 Finished compiler/bootstrap/compilation/x64/64             17h43m21s  64GB
Dec 12 07:14:33 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 12 07:18:29 Finished compiler/bootstrap/compilation/x64/64/proofs          3m55s  24GB
Dec 12 07:18:30 Starting compiler/bootstrap/compilation/x64/32
Dec 12 18:40:45 Finished compiler/bootstrap/compilation/x64/32             11h22m12s  63GB
Dec 12 18:40:46 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 12 18:44:39 Finished compiler/bootstrap/compilation/x64/32/proofs          3m52s  22GB
Dec 12 18:44:40 SUCCESS