Job 1399

CakeML:3157c56dfe1eab23ef37b3cefb8fca2cced396c5
  Merge pull request #804 from CakeML/currheap [Nov 17 07:22:18]
HOL:c45b5d91d4ced684f5db44391046ff719bf56fed
  Fix examples/euclid.sml and make sure it's regression-tested [Nov 13 05:25:41]
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 02:45:01 Claimed job
Nov 18 02:45:03 Reusing HOL
Nov 18 02:45:50 Starting developers
Nov 18 02:45:54 Finished developers                                               4s 100MB
Nov 18 02:45:55 Starting developers/bin
Nov 18 02:46:01 Finished developers/bin                                           6s   1GB
Nov 18 02:46:02 Starting semantics/ffi
Nov 18 02:46:13 Finished semantics/ffi                                           11s 227MB
Nov 18 02:46:13 Starting semantics
Nov 18 02:47:39 Finished semantics                                             1m25s   1GB
Nov 18 02:47:39 Starting semantics/proofs
Nov 18 02:51:13 Finished semantics/proofs                                      3m33s 881MB
Nov 18 02:51:13 Starting semantics/alt_semantics
Nov 18 02:51:23 Finished semantics/alt_semantics                                  9s 320MB
Nov 18 02:51:23 Starting semantics/alt_semantics/proofs
Nov 18 02:53:38 Finished semantics/alt_semantics/proofs                        2m14s 870MB
Nov 18 02:53:38 Starting basis/pure
Nov 18 02:54:29 Finished basis/pure                                              50s 915MB
Nov 18 02:54:29 Starting translator
Nov 18 02:57:16 Finished translator                                            2m47s   1GB
Nov 18 02:57:17 Starting compiler/parsing
Nov 18 02:58:29 Finished compiler/parsing                                      1m12s   2GB
Nov 18 02:58:30 Starting characteristic
Nov 18 03:04:40 Finished characteristic                                        6m10s   1GB
Nov 18 03:04:40 Starting translator/monadic
Nov 18 03:06:25 Finished translator/monadic                                    1m44s   1GB
Nov 18 03:06:25 Starting basis
Nov 18 03:43:06 Finished basis                                                36m40s  12GB
Nov 18 03:43:06 Starting compiler/inference
Nov 18 03:44:11 Finished compiler/inference                                    1m04s   1GB
Nov 18 03:44:11 Starting compiler/backend/reg_alloc
Nov 18 03:45:18 Finished compiler/backend/reg_alloc                            1m06s   1GB
Nov 18 03:45:18 Starting compiler/backend/gc
Nov 18 03:48:52 Finished compiler/backend/gc                                   3m33s   2GB
Nov 18 03:48:52 Starting compiler/backend
Nov 18 03:53:46 Finished compiler/backend                                      4m53s   3GB
Nov 18 03:53:46 Starting compiler/encoders/asm
Nov 18 03:54:10 Finished compiler/encoders/asm                                   23s 781MB
Nov 18 03:54:10 Starting compiler/encoders/x64
Nov 18 03:54:36 Finished compiler/encoders/x64                                   26s   1GB
Nov 18 03:54:36 Starting compiler/encoders/arm7
Nov 18 03:55:28 Finished compiler/encoders/arm7                                  51s 706MB
Nov 18 03:55:28 Starting compiler/encoders/arm8
Nov 18 03:55:42 Finished compiler/encoders/arm8                                  13s 937MB
Nov 18 03:55:42 Starting compiler/encoders/mips
Nov 18 03:56:00 Finished compiler/encoders/mips                                  17s   1GB
Nov 18 03:56:00 Starting compiler/encoders/riscv
Nov 18 03:56:16 Finished compiler/encoders/riscv                                 15s 751MB
Nov 18 03:56:17 Starting compiler/encoders/ag32
Nov 18 03:56:35 Finished compiler/encoders/ag32                                  18s 533MB
Nov 18 03:56:35 Starting compiler/backend/x64
Nov 18 03:56:55 Finished compiler/backend/x64                                    19s 965MB
Nov 18 03:56:55 Starting compiler/backend/arm7
Nov 18 03:57:16 Finished compiler/backend/arm7                                   21s   1GB
Nov 18 03:57:17 Starting compiler/backend/arm8
Nov 18 03:57:36 Finished compiler/backend/arm8                                   19s   1GB
Nov 18 03:57:36 Starting compiler/backend/mips
Nov 18 03:57:57 Finished compiler/backend/mips                                   20s   1GB
Nov 18 03:57:57 Starting compiler/backend/riscv
Nov 18 03:58:18 Finished compiler/backend/riscv                                  21s   1GB
Nov 18 03:58:18 Starting compiler/backend/ag32
Nov 18 03:59:31 Finished compiler/backend/ag32                                 1m12s   1GB
Nov 18 03:59:31 Starting compiler/parsing/proofs
Nov 18 04:05:19 Finished compiler/parsing/proofs                               5m47s   1GB
Nov 18 04:05:19 Starting compiler/inference/proofs
Nov 18 04:07:56 Finished compiler/inference/proofs                             2m36s 971MB
Nov 18 04:07:56 Starting compiler/backend/semantics
Nov 18 04:39:41 Finished compiler/backend/semantics                           31m44s   2GB
Nov 18 04:39:41 Starting compiler/backend/reg_alloc/proofs
Nov 18 04:43:30 Finished compiler/backend/reg_alloc/proofs                     3m48s   1GB
Nov 18 04:43:30 Starting compiler/backend/proofs
Nov 18 05:41:49 Finished compiler/backend/proofs                              58m18s  14GB
Nov 18 05:41:49 Starting compiler/encoders/x64/proofs
Nov 18 05:52:10 Finished compiler/encoders/x64/proofs                         10m19s   4GB
Nov 18 05:52:10 Starting compiler/encoders/arm7/proofs
Nov 18 06:06:06 Finished compiler/encoders/arm7/proofs                        13m55s   3GB
Nov 18 06:06:06 Starting compiler/encoders/arm8/proofs
Nov 18 06:13:14 Finished compiler/encoders/arm8/proofs                         7m08s   1GB
Nov 18 06:13:14 Starting compiler/encoders/mips/proofs
Nov 18 06:24:09 Finished compiler/encoders/mips/proofs                        10m54s   2GB
Nov 18 06:24:09 Starting compiler/encoders/riscv/proofs
Nov 18 06:33:51 Finished compiler/encoders/riscv/proofs                        9m42s   1GB
Nov 18 06:33:51 Starting compiler/encoders/ag32/proofs
Nov 18 06:36:42 Finished compiler/encoders/ag32/proofs                         2m50s 616MB
Nov 18 06:36:42 Starting compiler/backend/x64/proofs
Nov 18 06:37:04 Finished compiler/backend/x64/proofs                             22s   1GB
Nov 18 06:37:05 Starting compiler/backend/arm7/proofs
Nov 18 06:37:28 Finished compiler/backend/arm7/proofs                            22s   1GB
Nov 18 06:37:28 Starting compiler/backend/arm8/proofs
Nov 18 06:37:49 Finished compiler/backend/arm8/proofs                            21s   1GB
Nov 18 06:37:49 Starting compiler/backend/mips/proofs
Nov 18 06:38:11 Finished compiler/backend/mips/proofs                            21s   1GB
Nov 18 06:38:11 Starting compiler/backend/riscv/proofs
Nov 18 06:38:33 Finished compiler/backend/riscv/proofs                           21s   1GB
Nov 18 06:38:34 Starting compiler/backend/ag32/proofs
Nov 18 06:52:22 Finished compiler/backend/ag32/proofs                         13m48s   3GB
Nov 18 06:52:22 Starting compiler/proofs
Nov 18 06:54:00 Finished compiler/proofs                                       1m37s   3GB
Nov 18 06:54:00 Starting candle/set-theory
Nov 18 06:54:30 Finished candle/set-theory                                       29s 812MB
Nov 18 06:54:30 Starting candle/syntax-lib
Nov 18 06:54:41 Finished candle/syntax-lib                                       11s 533MB
Nov 18 06:54:41 Starting candle/standard/syntax
Nov 18 06:56:37 Finished candle/standard/syntax                                1m55s 871MB
Nov 18 06:56:38 Starting candle/standard/semantics
Nov 18 06:58:27 Finished candle/standard/semantics                             1m48s   1GB
Nov 18 06:58:27 Starting candle/standard/monadic
Nov 18 07:00:15 Finished candle/standard/monadic                               1m47s   1GB
Nov 18 07:00:15 Starting candle/standard/ml_kernel
Nov 18 07:06:12 Finished candle/standard/ml_kernel                             5m57s   3GB
Nov 18 07:06:12 Starting candle/overloading/syntax
Nov 18 07:09:31 Finished candle/overloading/syntax                             3m18s 982MB
Nov 18 07:09:31 Starting candle/overloading/semantics
Nov 18 07:22:29 Finished candle/overloading/semantics                         12m57s   2GB
Nov 18 07:22:29 Starting characteristic/examples
Nov 18 07:23:48 Finished characteristic/examples                               1m18s   2GB
Nov 18 07:23:48 Starting tutorial/solutions
Nov 18 07:38:35 Finished tutorial/solutions                                   14m46s   7GB
Nov 18 07:38:35 Starting translator/monadic/examples
Nov 18 07:41:53 Finished translator/monadic/examples                           3m17s   2GB
Nov 18 07:41:53 Starting examples
Nov 18 07:50:46 Finished examples                                              8m53s   4GB
Nov 18 07:50:46 Starting examples/compilation/x64
Nov 18 10:07:07 Finished examples/compilation/x64                           2h16m20s  11GB
Nov 18 10:07:08 Starting examples/compilation/x64/proofs
Nov 18 10:08:56 Finished examples/compilation/x64/proofs                       1m48s   3GB
Nov 18 10:08:56 Starting examples/compilation/ag32
Nov 18 10:40:43 Finished examples/compilation/ag32                            31m46s   6GB
Nov 18 10:40:44 Starting examples/compilation/ag32/proofs
Nov 18 10:41:35 Finished examples/compilation/ag32/proofs                        50s   4GB
Nov 18 10:41:35 Starting examples/cost
Nov 18 11:40:09 Finished examples/cost                                        58m33s   8GB
Nov 18 11:40:09 Starting examples/lpr_checker
Nov 18 11:44:09 Finished examples/lpr_checker                                  3m59s   2GB
Nov 18 11:44:09 Starting examples/lpr_checker/compilation
Nov 18 12:01:27 Finished examples/lpr_checker/compilation                     17m17s   9GB
Nov 18 12:01:27 Starting examples/lpr_checker/compilation/proofs
Nov 18 12:02:09 Finished examples/lpr_checker/compilation/proofs                 41s   3GB
Nov 18 12:02:09 Starting examples/lpr_checker/array
Nov 18 12:17:35 Finished examples/lpr_checker/array                           15m26s   3GB
Nov 18 12:17:35 Starting examples/lpr_checker/array/compilation
Nov 18 12:36:10 Finished examples/lpr_checker/array/compilation               18m34s  10GB
Nov 18 12:36:10 Starting examples/lpr_checker/array/compilation/proofs
Nov 18 12:37:19 Finished examples/lpr_checker/array/compilation/proofs         1m09s   3GB
Nov 18 12:37:20 Starting examples/opentheory
Nov 18 12:47:17 Finished examples/opentheory                                   9m57s   5GB
Nov 18 12:47:17 Starting examples/opentheory
Nov 18 12:47:19 Finished examples/opentheory                                      1s  19MB
Nov 18 12:47:19 Starting examples/opentheory/compilation
Nov 18 13:19:56 Finished examples/opentheory/compilation                      32m36s  19GB
Nov 18 13:19:56 Starting examples/opentheory/compilation/proofs
Nov 18 13:20:38 Finished examples/opentheory/compilation/proofs                  41s   3GB
Nov 18 13:20:38 Starting examples/opentheory/compilation/ag32
Nov 18 13:55:24 Finished examples/opentheory/compilation/ag32                 34m45s  18GB
Nov 18 13:55:24 Starting examples/opentheory/compilation/ag32/proofs
Nov 18 13:57:02 Finished examples/opentheory/compilation/ag32/proofs           1m37s   6GB
Nov 18 13:57:02 Starting translator/okasaki-examples
Nov 18 14:01:34 Finished translator/okasaki-examples                           4m31s   1GB
Nov 18 14:01:34 Starting translator/other-examples
Nov 18 14:03:42 Finished translator/other-examples                             2m07s   1GB
Nov 18 14:03:42 Starting compiler/parsing/tests
Nov 18 14:04:08 Finished compiler/parsing/tests                                  26s 595MB
Nov 18 14:04:09 Starting compiler/inference/tests
Nov 18 14:08:53 Finished compiler/inference/tests                              4m44s   5GB
Nov 18 14:08:54 Starting compiler/bootstrap/translation
Nov 18 17:07:02 Finished compiler/bootstrap/translation                     2h58m07s  48GB
Nov 18 17:07:02 Starting unverified/sexpr-bootstrap/x64/64
Nov 18 17:16:27 Finished unverified/sexpr-bootstrap/x64/64                     9m23s   8GB
Nov 18 17:16:27 Starting unverified/sexpr-bootstrap/x64/32
Nov 18 17:23:58 Finished unverified/sexpr-bootstrap/x64/32                     7m29s   8GB
Nov 18 17:23:58 Starting compiler/benchmarks
Nov 18 17:24:00 Finished compiler/benchmarks                                      2s  34MB
Nov 18 17:24:01 Starting compiler/bootstrap/compilation/x64/64
Nov 19 05:34:48 Finished compiler/bootstrap/compilation/x64/64             12h10m46s  64GB
Nov 19 05:34:49 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 19 05:37:56 Finished compiler/bootstrap/compilation/x64/64/proofs          3m07s  12GB
Nov 19 05:37:56 Starting compiler/bootstrap/compilation/x64/32
Nov 19 16:35:32 Finished compiler/bootstrap/compilation/x64/32             10h57m34s  64GB
Nov 19 16:35:32 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 19 16:38:26 Finished compiler/bootstrap/compilation/x64/32/proofs          2m53s  11GB
Nov 19 16:38:26 Starting compiler/bootstrap/compilation/ag32/32
Nov 20 03:58:10 Finished compiler/bootstrap/compilation/ag32/32            11h19m43s  64GB
Nov 20 03:58:10 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 20 04:09:49 Finished compiler/bootstrap/compilation/ag32/32/proofs        11m39s  23GB
Nov 20 04:09:49 SUCCESS