Job 1141

CakeML:6f499a68f2500e7f937b3254c9da6f93a9b62670
  Merge pull request #716 from CakeML/stack-opt-2 [Jan 09 03:33:21]
HOL:197a07b3ab8084b9816baa9084a4b8340d7512f6
  Fix pretty-printing error for nested case expressions [Jan 09 01:28:37]
Machine:oven2 4.15.0-34-generic 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

Jan 10 07:59:17 Claimed job
Jan 10 07:59:25 Building HOL
Jan 10 08:08:58 Starting developers
Jan 10 08:09:00 Finished developers                                               2s 137MB
Jan 10 08:09:01 Starting developers/bin
Jan 10 08:09:04 Finished developers/bin                                           3s 165MB
Jan 10 08:09:05 Starting semantics/ffi
Jan 10 08:09:13 Finished semantics/ffi                                            7s 229MB
Jan 10 08:09:13 Starting semantics
Jan 10 08:10:38 Finished semantics                                             1m24s 874MB
Jan 10 08:10:38 Starting semantics/proofs
Jan 10 08:13:41 Finished semantics/proofs                                      3m03s   1GB
Jan 10 08:13:41 Starting semantics/alt_semantics
Jan 10 08:13:48 Finished semantics/alt_semantics                                  6s 281MB
Jan 10 08:13:48 Starting semantics/alt_semantics/proofs
Jan 10 08:15:46 Finished semantics/alt_semantics/proofs                        1m57s 790MB
Jan 10 08:15:47 Starting basis/pure
Jan 10 08:18:34 Finished basis/pure                                            2m46s 708MB
Jan 10 08:18:34 Starting translator
Jan 10 08:21:00 Finished translator                                            2m26s   1GB
Jan 10 08:21:01 Starting compiler/parsing
Jan 10 08:22:07 Finished compiler/parsing                                      1m05s   2GB
Jan 10 08:22:07 Starting characteristic
Jan 10 08:27:31 Finished characteristic                                        5m24s   2GB
Jan 10 08:27:32 Starting translator/monadic
Jan 10 08:29:03 Finished translator/monadic                                    1m31s   1GB
Jan 10 08:29:03 Starting basis
Jan 10 09:01:46 Finished basis                                                32m41s  17GB
Jan 10 09:01:46 Starting compiler/inference
Jan 10 09:03:31 Finished compiler/inference                                    1m44s   1GB
Jan 10 09:03:31 Starting compiler/backend/reg_alloc
Jan 10 09:04:31 Finished compiler/backend/reg_alloc                            1m00s   1GB
Jan 10 09:04:32 Starting compiler/backend/gc
Jan 10 09:07:47 Finished compiler/backend/gc                                   3m14s   1GB
Jan 10 09:07:47 Starting compiler/backend
Jan 10 09:12:02 Finished compiler/backend                                      4m14s   3GB
Jan 10 09:12:03 Starting compiler/encoders/asm
Jan 10 09:12:22 Finished compiler/encoders/asm                                   19s 760MB
Jan 10 09:12:23 Starting compiler/encoders/x64
Jan 10 09:13:15 Finished compiler/encoders/x64                                   52s 695MB
Jan 10 09:13:15 Starting compiler/encoders/arm7
Jan 10 09:14:53 Finished compiler/encoders/arm7                                1m37s   1GB
Jan 10 09:14:53 Starting compiler/encoders/arm8
Jan 10 09:15:24 Finished compiler/encoders/arm8                                  29s 593MB
Jan 10 09:15:24 Starting compiler/encoders/mips
Jan 10 09:16:30 Finished compiler/encoders/mips                                1m05s   1GB
Jan 10 09:16:31 Starting compiler/encoders/riscv
Jan 10 09:17:51 Finished compiler/encoders/riscv                               1m19s   1GB
Jan 10 09:17:51 Starting compiler/encoders/ag32
Jan 10 09:18:06 Finished compiler/encoders/ag32                                  15s 533MB
Jan 10 09:18:07 Starting compiler/backend/x64
Jan 10 09:18:24 Finished compiler/backend/x64                                    16s   1GB
Jan 10 09:18:24 Starting compiler/backend/arm7
Jan 10 09:18:42 Finished compiler/backend/arm7                                   18s   1GB
Jan 10 09:18:43 Starting compiler/backend/arm8
Jan 10 09:19:00 Finished compiler/backend/arm8                                   16s   1GB
Jan 10 09:19:00 Starting compiler/backend/mips
Jan 10 09:19:18 Finished compiler/backend/mips                                   17s   1GB
Jan 10 09:19:18 Starting compiler/backend/riscv
Jan 10 09:19:35 Finished compiler/backend/riscv                                  16s   1GB
Jan 10 09:19:35 Starting compiler/backend/ag32
Jan 10 09:20:41 Finished compiler/backend/ag32                                 1m05s   1GB
Jan 10 09:20:41 Starting compiler/parsing/proofs
Jan 10 09:26:15 Finished compiler/parsing/proofs                               5m33s 871MB
Jan 10 09:26:16 Starting compiler/inference/proofs
Jan 10 09:29:00 Finished compiler/inference/proofs                             2m44s 965MB
Jan 10 09:29:00 Starting compiler/backend/semantics
Jan 10 09:55:16 Finished compiler/backend/semantics                           26m15s   2GB
Jan 10 09:55:16 Starting compiler/backend/reg_alloc/proofs
Jan 10 09:58:31 Finished compiler/backend/reg_alloc/proofs                     3m14s 916MB
Jan 10 09:58:31 Starting compiler/backend/proofs
Jan 10 11:05:08 Finished compiler/backend/proofs                            1h06m35s  24GB
Jan 10 11:05:09 Starting compiler/encoders/x64/proofs
Jan 10 11:14:21 Finished compiler/encoders/x64/proofs                          9m11s   5GB
Jan 10 11:14:21 Starting compiler/encoders/arm7/proofs
Jan 10 11:26:50 Finished compiler/encoders/arm7/proofs                        12m29s   3GB
Jan 10 11:26:51 Starting compiler/encoders/arm8/proofs
Jan 10 11:33:03 Finished compiler/encoders/arm8/proofs                         6m11s   1GB
Jan 10 11:33:03 Starting compiler/encoders/mips/proofs
Jan 10 11:42:21 Finished compiler/encoders/mips/proofs                         9m17s   2GB
Jan 10 11:42:21 Starting compiler/encoders/riscv/proofs
Jan 10 11:50:37 Finished compiler/encoders/riscv/proofs                        8m15s   1GB
Jan 10 11:50:37 Starting compiler/encoders/ag32/proofs
Jan 10 11:53:01 Finished compiler/encoders/ag32/proofs                         2m23s 850MB
Jan 10 11:53:01 Starting compiler/backend/x64/proofs
Jan 10 11:53:19 Finished compiler/backend/x64/proofs                             17s   1GB
Jan 10 11:53:19 Starting compiler/backend/arm7/proofs
Jan 10 11:53:37 Finished compiler/backend/arm7/proofs                            17s   1GB
Jan 10 11:53:38 Starting compiler/backend/arm8/proofs
Jan 10 11:53:55 Finished compiler/backend/arm8/proofs                            16s 786MB
Jan 10 11:53:55 Starting compiler/backend/mips/proofs
Jan 10 11:54:14 Finished compiler/backend/mips/proofs                            18s   1GB
Jan 10 11:54:14 Starting compiler/backend/riscv/proofs
Jan 10 11:54:32 Finished compiler/backend/riscv/proofs                           17s   1GB
Jan 10 11:54:32 Starting compiler/backend/ag32/proofs
Jan 10 12:03:33 Finished compiler/backend/ag32/proofs                          9m00s   2GB
Jan 10 12:03:34 Starting compiler/proofs
Jan 10 12:05:18 Finished compiler/proofs                                       1m43s   2GB
Jan 10 12:05:19 Starting candle/set-theory
Jan 10 12:05:46 Finished candle/set-theory                                       26s 736MB
Jan 10 12:05:46 Starting candle/syntax-lib
Jan 10 12:05:55 Finished candle/syntax-lib                                        9s 665MB
Jan 10 12:05:56 Starting candle/standard/syntax
Jan 10 12:07:39 Finished candle/standard/syntax                                1m43s   1GB
Jan 10 12:07:40 Starting candle/standard/semantics
Jan 10 12:09:17 Finished candle/standard/semantics                             1m36s 940MB
Jan 10 12:09:17 Starting candle/standard/monadic
Jan 10 12:10:51 Finished candle/standard/monadic                               1m33s   1GB
Jan 10 12:10:51 Starting candle/standard/ml_kernel
Jan 10 12:15:59 Finished candle/standard/ml_kernel                             5m07s   4GB
Jan 10 12:15:59 Starting candle/standard/opentheory
Jan 10 12:25:13 Finished candle/standard/opentheory                            9m13s   4GB
Jan 10 12:25:14 Starting candle/standard/opentheory/compilation
Jan 10 12:57:16 Finished candle/standard/opentheory/compilation               32m01s  23GB
Jan 10 12:57:16 Starting candle/standard/opentheory/compilation/proofs
Jan 10 12:58:04 Finished candle/standard/opentheory/compilation/proofs           47s   3GB
Jan 10 12:58:04 Starting characteristic/examples
Jan 10 12:59:35 Finished characteristic/examples                               1m30s   2GB
Jan 10 12:59:35 Starting tutorial/solutions
Jan 10 13:13:59 Finished tutorial/solutions                                   14m23s   8GB
Jan 10 13:13:59 Starting translator/monadic/examples
Jan 10 13:16:52 Finished translator/monadic/examples                           2m52s   2GB
Jan 10 13:16:53 Starting examples
Jan 10 13:26:18 Finished examples                                              9m25s   5GB
Jan 10 13:26:19 Starting examples/compilation/x64
Jan 10 15:39:33 Finished examples/compilation/x64                           2h13m12s  11GB
Jan 10 15:39:33 Starting examples/compilation/x64/proofs
Jan 10 15:41:17 Finished examples/compilation/x64/proofs                       1m43s   2GB
Jan 10 15:41:17 Starting examples/compilation/ag32
Jan 10 16:11:43 Finished examples/compilation/ag32                            30m24s   6GB
Jan 10 16:11:43 Starting examples/compilation/ag32/proofs
Jan 10 16:12:35 Finished examples/compilation/ag32/proofs                        51s   2GB
Jan 10 16:12:36 Starting examples/cost
Jan 10 16:39:48 Finished examples/cost                                        27m11s   6GB
Jan 10 16:39:48 Starting examples/lrat_checker
Jan 10 16:43:09 Finished examples/lrat_checker                                 3m20s   2GB
Jan 10 16:43:09 Starting examples/lrat_checker/compilation
Jan 10 16:59:39 Finished examples/lrat_checker/compilation                    16m29s   8GB
Jan 10 16:59:39 Starting examples/lrat_checker/compilation/proofs
Jan 10 17:00:27 Finished examples/lrat_checker/compilation/proofs                47s   2GB
Jan 10 17:00:27 Starting examples/lrat_checker/array
Jan 10 17:06:44 Finished examples/lrat_checker/array                           6m16s   3GB
Jan 10 17:06:44 Starting examples/lrat_checker/array/compilation
Jan 10 17:21:14 Finished examples/lrat_checker/array/compilation              14m29s   8GB
Jan 10 17:21:14 Starting examples/lrat_checker/array/compilation/proofs
Jan 10 17:21:50 Finished examples/lrat_checker/array/compilation/proofs          36s   2GB
Jan 10 17:21:51 Starting translator/okasaki-examples
Jan 10 17:25:59 Finished translator/okasaki-examples                           4m08s   1GB
Jan 10 17:26:00 Starting translator/other-examples
Jan 10 17:27:42 Finished translator/other-examples                             1m42s   1GB
Jan 10 17:27:43 Starting compiler/parsing/tests
Jan 10 17:28:07 Finished compiler/parsing/tests                                  23s 553MB
Jan 10 17:28:07 Starting compiler/inference/tests
Jan 10 17:32:39 Finished compiler/inference/tests                              4m31s   2GB
Jan 10 17:32:39 Starting compiler/bootstrap/translation
Jan 10 20:56:35 Finished compiler/bootstrap/translation                     3h23m54s  42GB
Jan 10 20:56:35 Starting unverified/sexpr-bootstrap/x64/64
Jan 10 21:11:32 Finished unverified/sexpr-bootstrap/x64/64                    14m55s   5GB
Jan 10 21:11:32 Starting unverified/sexpr-bootstrap/x64/32
Jan 10 21:22:27 Finished unverified/sexpr-bootstrap/x64/32                    10m53s   6GB
Jan 10 21:22:27 Starting compiler/benchmarks
Jan 10 22:01:49 Finished compiler/benchmarks                                  39m21s   2GB
Jan 10 22:01:50 Starting compiler/bootstrap/compilation/x64/64
Jan 11 12:15:47 Finished compiler/bootstrap/compilation/x64/64             14h13m56s  64GB
Jan 11 12:15:48 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 11 12:19:43 Finished compiler/bootstrap/compilation/x64/64/proofs          3m55s   6GB
Jan 11 12:19:44 Starting compiler/bootstrap/compilation/x64/32
Jan 12 01:57:44 Finished compiler/bootstrap/compilation/x64/32             13h37m59s  64GB
Jan 12 01:57:45 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 12 02:02:15 Finished compiler/bootstrap/compilation/x64/32/proofs          4m30s   5GB
Jan 12 02:02:16 Starting compiler/bootstrap/compilation/ag32/32
Jan 12 16:14:52 Finished compiler/bootstrap/compilation/ag32/32            14h12m35s  64GB
Jan 12 16:14:52 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 12 16:34:01 Finished compiler/bootstrap/compilation/ag32/32/proofs        19m08s  19GB
Jan 12 16:34:02 SUCCESS