Job 1403

CakeML:3157c56dfe1eab23ef37b3cefb8fca2cced396c5
  Merge pull request #804 from CakeML/currheap [Nov 17 07:22:18]
HOL:66a2b80f7743700c92b2585e46970bb471915707
  Make WORD_GROUND_ss visible in wordsLib.sig [Nov 24 22:24:01]
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 26 09:20:16 Claimed job
Nov 26 09:20:25 Building HOL
Nov 26 09:35:49 Starting developers
Nov 26 09:35:53 Finished developers                                               4s  99MB
Nov 26 09:35:53 Starting developers/bin
Nov 26 09:36:00 Finished developers/bin                                           6s   1GB
Nov 26 09:36:00 Starting semantics/ffi
Nov 26 09:36:12 Finished semantics/ffi                                           11s 242MB
Nov 26 09:36:12 Starting semantics
Nov 26 09:37:48 Finished semantics                                             1m36s   1GB
Nov 26 09:37:48 Starting semantics/proofs
Nov 26 09:41:27 Finished semantics/proofs                                      3m37s 982MB
Nov 26 09:41:27 Starting semantics/alt_semantics
Nov 26 09:41:36 Finished semantics/alt_semantics                                  8s 320MB
Nov 26 09:41:36 Starting semantics/alt_semantics/proofs
Nov 26 09:43:51 Finished semantics/alt_semantics/proofs                        2m14s 961MB
Nov 26 09:43:51 Starting basis/pure
Nov 26 09:46:55 Finished basis/pure                                            3m03s 727MB
Nov 26 09:46:55 Starting translator
Nov 26 09:49:45 Finished translator                                            2m48s   1GB
Nov 26 09:49:45 Starting compiler/parsing
Nov 26 09:50:58 Finished compiler/parsing                                      1m13s   2GB
Nov 26 09:50:58 Starting characteristic
Nov 26 09:57:13 Finished characteristic                                        6m14s   1GB
Nov 26 09:57:13 Starting translator/monadic
Nov 26 09:58:55 Finished translator/monadic                                    1m41s   1GB
Nov 26 09:58:56 Starting basis
Nov 26 10:35:18 Finished basis                                                36m21s  17GB
Nov 26 10:35:18 Starting compiler/inference
Nov 26 10:36:31 Finished compiler/inference                                    1m13s   1GB
Nov 26 10:36:32 Starting compiler/backend/reg_alloc
Nov 26 10:37:38 Finished compiler/backend/reg_alloc                            1m06s   1GB
Nov 26 10:37:38 Starting compiler/backend/gc
Nov 26 10:41:23 Finished compiler/backend/gc                                   3m45s   2GB
Nov 26 10:41:24 Starting compiler/backend
Nov 26 10:46:20 Finished compiler/backend                                      4m54s   3GB
Nov 26 10:46:20 Starting compiler/encoders/asm
Nov 26 10:46:43 Finished compiler/encoders/asm                                   22s 899MB
Nov 26 10:46:43 Starting compiler/encoders/x64
Nov 26 10:47:49 Finished compiler/encoders/x64                                 1m05s 992MB
Nov 26 10:47:49 Starting compiler/encoders/arm7
Nov 26 10:50:00 Finished compiler/encoders/arm7                                2m11s   1GB
Nov 26 10:50:01 Starting compiler/encoders/arm8
Nov 26 10:50:40 Finished compiler/encoders/arm8                                  39s 577MB
Nov 26 10:50:41 Starting compiler/encoders/mips
Nov 26 10:52:15 Finished compiler/encoders/mips                                1m33s   1GB
Nov 26 10:52:15 Starting compiler/encoders/riscv
Nov 26 10:54:07 Finished compiler/encoders/riscv                               1m51s   1GB
Nov 26 10:54:07 Starting compiler/encoders/ag32
Nov 26 10:54:25 Finished compiler/encoders/ag32                                  18s 877MB
Nov 26 10:54:25 Starting compiler/backend/x64
Nov 26 10:54:44 Finished compiler/backend/x64                                    18s   1GB
Nov 26 10:54:44 Starting compiler/backend/arm7
Nov 26 10:55:06 Finished compiler/backend/arm7                                   21s   1GB
Nov 26 10:55:07 Starting compiler/backend/arm8
Nov 26 10:55:27 Finished compiler/backend/arm8                                   19s   1GB
Nov 26 10:55:27 Starting compiler/backend/mips
Nov 26 10:55:47 Finished compiler/backend/mips                                   19s   1GB
Nov 26 10:55:47 Starting compiler/backend/riscv
Nov 26 10:56:07 Finished compiler/backend/riscv                                  19s   1GB
Nov 26 10:56:07 Starting compiler/backend/ag32
Nov 26 10:57:20 Finished compiler/backend/ag32                                 1m12s   1GB
Nov 26 10:57:20 Starting compiler/parsing/proofs
Nov 26 11:03:10 Finished compiler/parsing/proofs                               5m50s   1GB
Nov 26 11:03:10 Starting compiler/inference/proofs
Nov 26 11:05:47 Finished compiler/inference/proofs                             2m36s   1GB
Nov 26 11:05:47 Starting compiler/backend/semantics
Nov 26 11:38:41 Finished compiler/backend/semantics                           32m52s   2GB
Nov 26 11:38:41 Starting compiler/backend/reg_alloc/proofs
Nov 26 11:42:26 Finished compiler/backend/reg_alloc/proofs                     3m45s   1GB
Nov 26 11:42:26 Starting compiler/backend/proofs
Nov 26 12:40:52 Finished compiler/backend/proofs                              58m24s  14GB
Nov 26 12:40:52 Starting compiler/encoders/x64/proofs
Nov 26 12:51:14 Finished compiler/encoders/x64/proofs                         10m21s   4GB
Nov 26 12:51:14 Starting compiler/encoders/arm7/proofs
Nov 26 13:05:03 Finished compiler/encoders/arm7/proofs                        13m48s   3GB
Nov 26 13:05:03 Starting compiler/encoders/arm8/proofs
Nov 26 13:12:11 Finished compiler/encoders/arm8/proofs                         7m07s   1GB
Nov 26 13:12:11 Starting compiler/encoders/mips/proofs
Nov 26 13:23:18 Finished compiler/encoders/mips/proofs                        11m06s   1GB
Nov 26 13:23:18 Starting compiler/encoders/riscv/proofs
Nov 26 13:32:49 Finished compiler/encoders/riscv/proofs                        9m30s   1GB
Nov 26 13:32:49 Starting compiler/encoders/ag32/proofs
Nov 26 13:35:39 Finished compiler/encoders/ag32/proofs                         2m49s 888MB
Nov 26 13:35:39 Starting compiler/backend/x64/proofs
Nov 26 13:36:01 Finished compiler/backend/x64/proofs                             21s   1GB
Nov 26 13:36:02 Starting compiler/backend/arm7/proofs
Nov 26 13:36:25 Finished compiler/backend/arm7/proofs                            23s   1GB
Nov 26 13:36:25 Starting compiler/backend/arm8/proofs
Nov 26 13:36:47 Finished compiler/backend/arm8/proofs                            21s   1GB
Nov 26 13:36:48 Starting compiler/backend/mips/proofs
Nov 26 13:37:09 Finished compiler/backend/mips/proofs                            21s   1GB
Nov 26 13:37:09 Starting compiler/backend/riscv/proofs
Nov 26 13:37:31 Finished compiler/backend/riscv/proofs                           21s   1GB
Nov 26 13:37:32 Starting compiler/backend/ag32/proofs
Nov 26 13:51:27 Finished compiler/backend/ag32/proofs                         13m55s   2GB
Nov 26 13:51:28 Starting compiler/proofs
Nov 26 13:53:22 Finished compiler/proofs                                       1m54s   3GB
Nov 26 13:53:22 Starting candle/set-theory
Nov 26 13:53:51 Finished candle/set-theory                                       28s 811MB
Nov 26 13:53:51 Starting candle/syntax-lib
Nov 26 13:54:02 Finished candle/syntax-lib                                       10s 620MB
Nov 26 13:54:02 Starting candle/standard/syntax
Nov 26 13:55:58 Finished candle/standard/syntax                                1m55s 840MB
Nov 26 13:55:58 Starting candle/standard/semantics
Nov 26 13:57:47 Finished candle/standard/semantics                             1m48s   1GB
Nov 26 13:57:47 Starting candle/standard/monadic
Nov 26 13:59:37 Finished candle/standard/monadic                               1m49s   1GB
Nov 26 13:59:37 Starting candle/standard/ml_kernel
Nov 26 14:05:29 Finished candle/standard/ml_kernel                             5m52s   4GB
Nov 26 14:05:29 Starting candle/overloading/syntax
Nov 26 14:08:48 Finished candle/overloading/syntax                             3m18s   1GB
Nov 26 14:08:48 Starting candle/overloading/semantics
Nov 26 14:21:36 Finished candle/overloading/semantics                         12m47s   4GB
Nov 26 14:21:36 Starting characteristic/examples
Nov 26 14:22:55 Finished characteristic/examples                               1m19s   3GB
Nov 26 14:22:56 Starting tutorial/solutions
Nov 26 14:37:40 Finished tutorial/solutions                                   14m43s   8GB
Nov 26 14:37:40 Starting translator/monadic/examples
Nov 26 14:40:59 Finished translator/monadic/examples                           3m18s   2GB
Nov 26 14:40:59 Starting examples
Nov 26 14:49:55 Finished examples                                              8m56s   3GB
Nov 26 14:49:56 Starting examples/compilation/x64
Nov 26 17:06:15 Finished examples/compilation/x64                           2h16m18s  16GB
Nov 26 17:06:15 Starting examples/compilation/x64/proofs
Nov 26 17:08:18 Finished examples/compilation/x64/proofs                       2m03s   3GB
Nov 26 17:08:19 Starting examples/compilation/ag32
Nov 26 17:39:27 Finished examples/compilation/ag32                            31m08s   7GB
Nov 26 17:39:27 Starting examples/compilation/ag32/proofs
Nov 26 17:40:13 Finished examples/compilation/ag32/proofs                        45s   2GB
Nov 26 17:40:13 Starting examples/cost
Nov 26 18:38:57 Finished examples/cost                                        58m43s   6GB
Nov 26 18:38:57 Starting examples/lpr_checker
Nov 26 18:42:54 Finished examples/lpr_checker                                  3m57s   3GB
Nov 26 18:42:54 Starting examples/lpr_checker/compilation
Nov 26 19:00:13 Finished examples/lpr_checker/compilation                     17m18s  14GB
Nov 26 19:00:13 Starting examples/lpr_checker/compilation/proofs
Nov 26 19:00:54 Finished examples/lpr_checker/compilation/proofs                 40s   2GB
Nov 26 19:00:55 Starting examples/lpr_checker/array
Nov 26 19:16:35 Finished examples/lpr_checker/array                           15m40s   5GB
Nov 26 19:16:35 Starting examples/lpr_checker/array/compilation
Nov 26 19:35:20 Finished examples/lpr_checker/array/compilation               18m44s  11GB
Nov 26 19:35:20 Starting examples/lpr_checker/array/compilation/proofs
Nov 26 19:36:30 Finished examples/lpr_checker/array/compilation/proofs         1m09s   3GB
Nov 26 19:36:30 Starting examples/opentheory
Nov 26 19:46:34 Finished examples/opentheory                                  10m03s   5GB
Nov 26 19:46:34 Starting examples/opentheory
Nov 26 19:46:36 Finished examples/opentheory                                      1s  19MB
Nov 26 19:46:36 Starting examples/opentheory/compilation
Nov 26 20:18:31 Finished examples/opentheory/compilation                      31m55s  17GB
Nov 26 20:18:31 Starting examples/opentheory/compilation/proofs
Nov 26 20:19:14 Finished examples/opentheory/compilation/proofs                  41s   2GB
Nov 26 20:19:14 Starting examples/opentheory/compilation/ag32
Nov 26 20:53:45 Finished examples/opentheory/compilation/ag32                 34m29s  19GB
Nov 26 20:53:45 Starting examples/opentheory/compilation/ag32/proofs
Nov 26 20:55:23 Finished examples/opentheory/compilation/ag32/proofs           1m37s   5GB
Nov 26 20:55:23 Starting translator/okasaki-examples
Nov 26 20:59:52 Finished translator/okasaki-examples                           4m28s   1GB
Nov 26 20:59:53 Starting translator/other-examples
Nov 26 21:02:01 Finished translator/other-examples                             2m08s   1GB
Nov 26 21:02:01 Starting compiler/parsing/tests
Nov 26 21:02:28 Finished compiler/parsing/tests                                  26s 588MB
Nov 26 21:02:28 Starting compiler/inference/tests
Nov 26 21:07:14 Finished compiler/inference/tests                              4m45s   5GB
Nov 26 21:07:14 Starting compiler/bootstrap/translation
Nov 27 00:03:50 Finished compiler/bootstrap/translation                     2h56m35s  41GB
Nov 27 00:03:50 Starting unverified/sexpr-bootstrap/x64/64
Nov 27 00:13:20 Finished unverified/sexpr-bootstrap/x64/64                     9m28s   8GB
Nov 27 00:13:20 Starting unverified/sexpr-bootstrap/x64/32
Nov 27 00:20:45 Finished unverified/sexpr-bootstrap/x64/32                     7m24s   8GB
Nov 27 00:20:45 Starting compiler/benchmarks
Nov 27 00:20:49 Finished compiler/benchmarks                                      4s  29MB
Nov 27 00:20:49 Starting compiler/bootstrap/compilation/x64/64
Nov 27 12:16:24 Finished compiler/bootstrap/compilation/x64/64             11h55m33s  64GB
Nov 27 12:16:24 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 27 12:19:40 Finished compiler/bootstrap/compilation/x64/64/proofs          3m15s  12GB
Nov 27 12:19:40 Starting compiler/bootstrap/compilation/x64/32
Nov 27 23:27:21 Finished compiler/bootstrap/compilation/x64/32             11h07m38s  64GB
Nov 27 23:27:21 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 27 23:30:13 Finished compiler/bootstrap/compilation/x64/32/proofs          2m51s  11GB
Nov 27 23:30:13 Starting compiler/bootstrap/compilation/ag32/32
Nov 28 11:04:45 Finished compiler/bootstrap/compilation/ag32/32            11h34m30s  64GB
Nov 28 11:04:45 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 28 11:16:28 Finished compiler/bootstrap/compilation/ag32/32/proofs        11m42s  23GB
Nov 28 11:16:28 SUCCESS