Job 1410

CakeML:3157c56dfe1eab23ef37b3cefb8fca2cced396c5
  Merge pull request #804 from CakeML/currheap [Nov 17 07:22:18]
HOL:77016ef7b01f987f1f684e825ac1d79feb8d454a
  emacs-mode: fix bug in previous caused by variable masking [Nov 27 05:03:03]
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 03 21:44:26 Claimed job
Dec 03 21:44:30 Building HOL
Dec 03 21:59:46 Starting developers
Dec 03 21:59:51 Finished developers                                               4s  82MB
Dec 03 21:59:51 Starting developers/bin
Dec 03 21:59:58 Finished developers/bin                                           6s   1GB
Dec 03 21:59:58 Starting semantics/ffi
Dec 03 22:00:09 Finished semantics/ffi                                           11s 255MB
Dec 03 22:00:10 Starting semantics
Dec 03 22:01:46 Finished semantics                                             1m36s   1GB
Dec 03 22:01:46 Starting semantics/proofs
Dec 03 22:05:21 Finished semantics/proofs                                      3m34s   1GB
Dec 03 22:05:21 Starting semantics/alt_semantics
Dec 03 22:05:31 Finished semantics/alt_semantics                                  9s 319MB
Dec 03 22:05:31 Starting semantics/alt_semantics/proofs
Dec 03 22:07:47 Finished semantics/alt_semantics/proofs                        2m16s 882MB
Dec 03 22:07:48 Starting basis/pure
Dec 03 22:10:49 Finished basis/pure                                            3m00s 861MB
Dec 03 22:10:49 Starting translator
Dec 03 22:13:35 Finished translator                                            2m45s   1GB
Dec 03 22:13:35 Starting compiler/parsing
Dec 03 22:14:49 Finished compiler/parsing                                      1m13s   2GB
Dec 03 22:14:49 Starting characteristic
Dec 03 22:21:04 Finished characteristic                                        6m14s   2GB
Dec 03 22:21:04 Starting translator/monadic
Dec 03 22:22:46 Finished translator/monadic                                    1m41s   1GB
Dec 03 22:22:46 Starting basis
Dec 03 22:59:31 Finished basis                                                36m44s  17GB
Dec 03 22:59:31 Starting compiler/inference
Dec 03 23:00:43 Finished compiler/inference                                    1m11s   1GB
Dec 03 23:00:43 Starting compiler/backend/reg_alloc
Dec 03 23:01:49 Finished compiler/backend/reg_alloc                            1m05s   1GB
Dec 03 23:01:50 Starting compiler/backend/gc
Dec 03 23:05:37 Finished compiler/backend/gc                                   3m46s   2GB
Dec 03 23:05:37 Starting compiler/backend
Dec 03 23:10:31 Finished compiler/backend                                      4m54s   3GB
Dec 03 23:10:32 Starting compiler/encoders/asm
Dec 03 23:10:55 Finished compiler/encoders/asm                                   22s 899MB
Dec 03 23:10:55 Starting compiler/encoders/x64
Dec 03 23:12:01 Finished compiler/encoders/x64                                 1m06s 976MB
Dec 03 23:12:02 Starting compiler/encoders/arm7
Dec 03 23:14:12 Finished compiler/encoders/arm7                                2m10s   1GB
Dec 03 23:14:12 Starting compiler/encoders/arm8
Dec 03 23:14:52 Finished compiler/encoders/arm8                                  39s 658MB
Dec 03 23:14:52 Starting compiler/encoders/mips
Dec 03 23:16:29 Finished compiler/encoders/mips                                1m36s   1GB
Dec 03 23:16:30 Starting compiler/encoders/riscv
Dec 03 23:18:20 Finished compiler/encoders/riscv                               1m50s   1GB
Dec 03 23:18:20 Starting compiler/encoders/ag32
Dec 03 23:18:39 Finished compiler/encoders/ag32                                  18s 563MB
Dec 03 23:18:39 Starting compiler/backend/x64
Dec 03 23:18:58 Finished compiler/backend/x64                                    18s   1GB
Dec 03 23:18:58 Starting compiler/backend/arm7
Dec 03 23:19:19 Finished compiler/backend/arm7                                   21s   1GB
Dec 03 23:19:20 Starting compiler/backend/arm8
Dec 03 23:19:38 Finished compiler/backend/arm8                                   18s   1GB
Dec 03 23:19:38 Starting compiler/backend/mips
Dec 03 23:19:58 Finished compiler/backend/mips                                   19s   1GB
Dec 03 23:19:58 Starting compiler/backend/riscv
Dec 03 23:20:19 Finished compiler/backend/riscv                                  20s   1GB
Dec 03 23:20:20 Starting compiler/backend/ag32
Dec 03 23:21:32 Finished compiler/backend/ag32                                 1m12s   1GB
Dec 03 23:21:32 Starting compiler/parsing/proofs
Dec 03 23:27:20 Finished compiler/parsing/proofs                               5m47s   1GB
Dec 03 23:27:20 Starting compiler/inference/proofs
Dec 03 23:29:56 Finished compiler/inference/proofs                             2m35s   1GB
Dec 03 23:29:56 Starting compiler/backend/semantics
Dec 04 00:01:30 Finished compiler/backend/semantics                           31m33s   1GB
Dec 04 00:01:30 Starting compiler/backend/reg_alloc/proofs
Dec 04 00:05:19 Finished compiler/backend/reg_alloc/proofs                     3m48s 771MB
Dec 04 00:05:19 Starting compiler/backend/proofs
Dec 04 01:03:45 Finished compiler/backend/proofs                              58m25s  13GB
Dec 04 01:03:45 Starting compiler/encoders/x64/proofs
Dec 04 01:14:03 Finished compiler/encoders/x64/proofs                         10m18s   5GB
Dec 04 01:14:04 Starting compiler/encoders/arm7/proofs
Dec 04 01:27:54 Finished compiler/encoders/arm7/proofs                        13m49s   3GB
Dec 04 01:27:54 Starting compiler/encoders/arm8/proofs
Dec 04 01:34:58 Finished compiler/encoders/arm8/proofs                         7m04s   1GB
Dec 04 01:34:58 Starting compiler/encoders/mips/proofs
Dec 04 01:45:27 Finished compiler/encoders/mips/proofs                        10m28s   3GB
Dec 04 01:45:27 Starting compiler/encoders/riscv/proofs
Dec 04 01:55:09 Finished compiler/encoders/riscv/proofs                        9m42s   1GB
Dec 04 01:55:10 Starting compiler/encoders/ag32/proofs
Dec 04 01:57:56 Finished compiler/encoders/ag32/proofs                         2m46s 604MB
Dec 04 01:57:56 Starting compiler/backend/x64/proofs
Dec 04 01:58:19 Finished compiler/backend/x64/proofs                             22s   1GB
Dec 04 01:58:19 Starting compiler/backend/arm7/proofs
Dec 04 01:58:42 Finished compiler/backend/arm7/proofs                            23s   1GB
Dec 04 01:58:43 Starting compiler/backend/arm8/proofs
Dec 04 01:59:04 Finished compiler/backend/arm8/proofs                            21s   1GB
Dec 04 01:59:04 Starting compiler/backend/mips/proofs
Dec 04 01:59:28 Finished compiler/backend/mips/proofs                            23s   2GB
Dec 04 01:59:28 Starting compiler/backend/riscv/proofs
Dec 04 01:59:49 Finished compiler/backend/riscv/proofs                           21s   1GB
Dec 04 01:59:49 Starting compiler/backend/ag32/proofs
Dec 04 02:13:30 Finished compiler/backend/ag32/proofs                         13m40s   2GB
Dec 04 02:13:30 Starting compiler/proofs
Dec 04 02:15:25 Finished compiler/proofs                                       1m55s   4GB
Dec 04 02:15:25 Starting candle/set-theory
Dec 04 02:15:55 Finished candle/set-theory                                       29s 775MB
Dec 04 02:15:55 Starting candle/syntax-lib
Dec 04 02:16:06 Finished candle/syntax-lib                                       10s 711MB
Dec 04 02:16:06 Starting candle/standard/syntax
Dec 04 02:18:03 Finished candle/standard/syntax                                1m56s   1GB
Dec 04 02:18:03 Starting candle/standard/semantics
Dec 04 02:19:52 Finished candle/standard/semantics                             1m48s   1GB
Dec 04 02:19:52 Starting candle/standard/monadic
Dec 04 02:21:41 Finished candle/standard/monadic                               1m49s   1GB
Dec 04 02:21:42 Starting candle/standard/ml_kernel
Dec 04 02:27:39 Finished candle/standard/ml_kernel                             5m56s   4GB
Dec 04 02:27:39 Starting candle/overloading/syntax
Dec 04 02:30:58 Finished candle/overloading/syntax                             3m18s   1GB
Dec 04 02:30:58 Starting candle/overloading/semantics
Dec 04 02:43:37 Finished candle/overloading/semantics                         12m38s   4GB
Dec 04 02:43:37 Starting characteristic/examples
Dec 04 02:44:59 Finished characteristic/examples                               1m21s   2GB
Dec 04 02:44:59 Starting tutorial/solutions
Dec 04 02:59:50 Finished tutorial/solutions                                   14m50s   6GB
Dec 04 02:59:50 Starting translator/monadic/examples
Dec 04 03:03:06 Finished translator/monadic/examples                           3m16s   2GB
Dec 04 03:03:06 Starting examples
Dec 04 03:12:04 Finished examples                                              8m57s   4GB
Dec 04 03:12:04 Starting examples/compilation/x64
Dec 04 05:28:27 Finished examples/compilation/x64                           2h16m22s  15GB
Dec 04 05:28:27 Starting examples/compilation/x64/proofs
Dec 04 05:30:11 Finished examples/compilation/x64/proofs                       1m43s   2GB
Dec 04 05:30:11 Starting examples/compilation/ag32
Dec 04 06:01:54 Finished examples/compilation/ag32                            31m42s   7GB
Dec 04 06:01:54 Starting examples/compilation/ag32/proofs
Dec 04 06:02:39 Finished examples/compilation/ag32/proofs                        44s   2GB
Dec 04 06:02:39 Starting examples/cost
Dec 04 07:01:01 Finished examples/cost                                        58m21s   8GB
Dec 04 07:01:01 Starting examples/lpr_checker
Dec 04 07:05:02 Finished examples/lpr_checker                                  4m00s   2GB
Dec 04 07:05:02 Starting examples/lpr_checker/compilation
Dec 04 07:22:17 Finished examples/lpr_checker/compilation                     17m15s   9GB
Dec 04 07:22:17 Starting examples/lpr_checker/compilation/proofs
Dec 04 07:23:00 Finished examples/lpr_checker/compilation/proofs                 42s   2GB
Dec 04 07:23:00 Starting examples/lpr_checker/array
Dec 04 07:38:35 Finished examples/lpr_checker/array                           15m34s   3GB
Dec 04 07:38:35 Starting examples/lpr_checker/array/compilation
Dec 04 07:57:16 Finished examples/lpr_checker/array/compilation               18m41s  11GB
Dec 04 07:57:17 Starting examples/lpr_checker/array/compilation/proofs
Dec 04 07:58:07 Finished examples/lpr_checker/array/compilation/proofs           49s   3GB
Dec 04 07:58:07 Starting examples/opentheory
Dec 04 08:08:10 Finished examples/opentheory                                  10m03s   5GB
Dec 04 08:08:11 Starting examples/opentheory
Dec 04 08:08:12 Finished examples/opentheory                                      1s  21MB
Dec 04 08:08:12 Starting examples/opentheory/compilation
Dec 04 08:39:20 Finished examples/opentheory/compilation                      31m07s  23GB
Dec 04 08:39:20 Starting examples/opentheory/compilation/proofs
Dec 04 08:40:00 Finished examples/opentheory/compilation/proofs                  39s   3GB
Dec 04 08:40:00 Starting examples/opentheory/compilation/ag32
Dec 04 09:14:54 Finished examples/opentheory/compilation/ag32                 34m54s  15GB
Dec 04 09:14:54 Starting examples/opentheory/compilation/ag32/proofs
Dec 04 09:16:30 Finished examples/opentheory/compilation/ag32/proofs           1m35s   4GB
Dec 04 09:16:30 Starting translator/okasaki-examples
Dec 04 09:20:57 Finished translator/okasaki-examples                           4m26s   1GB
Dec 04 09:20:57 Starting translator/other-examples
Dec 04 09:23:04 Finished translator/other-examples                             2m06s   1GB
Dec 04 09:23:04 Starting compiler/parsing/tests
Dec 04 09:23:31 Finished compiler/parsing/tests                                  27s 674MB
Dec 04 09:23:32 Starting compiler/inference/tests
Dec 04 09:28:20 Finished compiler/inference/tests                              4m47s   3GB
Dec 04 09:28:20 Starting compiler/bootstrap/translation
Dec 04 12:25:26 Finished compiler/bootstrap/translation                     2h57m05s  45GB
Dec 04 12:25:26 Starting unverified/sexpr-bootstrap/x64/64
Dec 04 12:35:00 Finished unverified/sexpr-bootstrap/x64/64                     9m33s   8GB
Dec 04 12:35:00 Starting unverified/sexpr-bootstrap/x64/32
Dec 04 12:42:29 Finished unverified/sexpr-bootstrap/x64/32                     7m28s   8GB
Dec 04 12:42:29 Starting compiler/benchmarks
Dec 04 12:42:31 Finished compiler/benchmarks                                      1s  26MB
Dec 04 12:42:32 Starting compiler/bootstrap/compilation/x64/64
Dec 05 00:47:08 Finished compiler/bootstrap/compilation/x64/64             12h04m35s  64GB
Dec 05 00:47:08 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 05 00:50:12 Finished compiler/bootstrap/compilation/x64/64/proofs          3m03s  11GB
Dec 05 00:50:12 Starting compiler/bootstrap/compilation/x64/32
Dec 05 11:47:02 Finished compiler/bootstrap/compilation/x64/32             10h56m49s  64GB
Dec 05 11:47:03 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 05 11:49:53 Finished compiler/bootstrap/compilation/x64/32/proofs          2m50s  11GB
Dec 05 11:49:53 Starting compiler/bootstrap/compilation/ag32/32
Dec 05 23:22:20 Finished compiler/bootstrap/compilation/ag32/32            11h32m25s  64GB
Dec 05 23:22:20 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 05 23:33:44 Finished compiler/bootstrap/compilation/ag32/32/proofs        11m24s  24GB
Dec 05 23:33:44 SUCCESS