Job 1322

CakeML:0b23296d34495457ed119cb1a4a27c60dd8758d0
  Get some examples to build again [Aug 06 17:28:40]
HOL:8566e629582706df2d0233b01a80ddb057242b42
  Allow Unicode lambda ( [Aug 10 05:59:49]
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

Aug 11 09:09:14 Claimed job
Aug 11 09:09:21 Building HOL
Aug 11 09:21:32 Starting developers
Aug 11 09:21:34 Finished developers                                               2s  89MB
Aug 11 09:21:34 Starting developers/bin
Aug 11 09:21:40 Finished developers/bin                                           6s   1GB
Aug 11 09:21:40 Starting semantics/ffi
Aug 11 09:21:51 Finished semantics/ffi                                           10s 277MB
Aug 11 09:21:51 Starting semantics
Aug 11 09:23:24 Finished semantics                                             1m32s   1GB
Aug 11 09:23:24 Starting semantics/proofs
Aug 11 09:26:43 Finished semantics/proofs                                      3m18s   1GB
Aug 11 09:26:43 Starting semantics/alt_semantics
Aug 11 09:26:51 Finished semantics/alt_semantics                                  8s 402MB
Aug 11 09:26:51 Starting semantics/alt_semantics/proofs
Aug 11 09:28:52 Finished semantics/alt_semantics/proofs                        2m00s   1GB
Aug 11 09:28:52 Starting basis/pure
Aug 11 09:31:33 Finished basis/pure                                            2m41s   1GB
Aug 11 09:31:33 Starting translator
Aug 11 09:34:11 Finished translator                                            2m37s   2GB
Aug 11 09:34:11 Starting compiler/parsing
Aug 11 09:35:20 Finished compiler/parsing                                      1m08s   4GB
Aug 11 09:35:20 Starting characteristic
Aug 11 09:41:05 Finished characteristic                                        5m44s   3GB
Aug 11 09:41:06 Starting translator/monadic
Aug 11 09:42:43 Finished translator/monadic                                    1m37s   2GB
Aug 11 09:42:43 Starting basis
Aug 11 10:15:04 Finished basis                                                32m19s  26GB
Aug 11 10:15:04 Starting compiler/inference
Aug 11 10:16:12 Finished compiler/inference                                    1m07s   2GB
Aug 11 10:16:12 Starting compiler/backend/reg_alloc
Aug 11 10:17:19 Finished compiler/backend/reg_alloc                            1m06s   2GB
Aug 11 10:17:19 Starting compiler/backend/gc
Aug 11 10:20:46 Finished compiler/backend/gc                                   3m27s   3GB
Aug 11 10:20:46 Starting compiler/backend
Aug 11 10:25:36 Finished compiler/backend                                      4m49s   4GB
Aug 11 10:25:36 Starting compiler/encoders/asm
Aug 11 10:25:59 Finished compiler/encoders/asm                                   22s   1GB
Aug 11 10:25:59 Starting compiler/encoders/x64
Aug 11 10:27:00 Finished compiler/encoders/x64                                 1m00s   1GB
Aug 11 10:27:00 Starting compiler/encoders/arm7
Aug 11 10:28:47 Finished compiler/encoders/arm7                                1m46s   1GB
Aug 11 10:28:47 Starting compiler/encoders/arm8
Aug 11 10:29:25 Finished compiler/encoders/arm8                                  37s   1GB
Aug 11 10:29:25 Starting compiler/encoders/mips
Aug 11 10:30:38 Finished compiler/encoders/mips                                1m12s   1GB
Aug 11 10:30:38 Starting compiler/encoders/riscv
Aug 11 10:32:05 Finished compiler/encoders/riscv                               1m27s   1GB
Aug 11 10:32:06 Starting compiler/encoders/ag32
Aug 11 10:32:24 Finished compiler/encoders/ag32                                  18s   1GB
Aug 11 10:32:25 Starting compiler/backend/x64
Aug 11 10:32:44 Finished compiler/backend/x64                                    19s   1GB
Aug 11 10:32:44 Starting compiler/backend/arm7
Aug 11 10:33:05 Finished compiler/backend/arm7                                   20s   1GB
Aug 11 10:33:05 Starting compiler/backend/arm8
Aug 11 10:33:24 Finished compiler/backend/arm8                                   19s   1GB
Aug 11 10:33:24 Starting compiler/backend/mips
Aug 11 10:33:43 Finished compiler/backend/mips                                   18s   1GB
Aug 11 10:33:43 Starting compiler/backend/riscv
Aug 11 10:34:02 Finished compiler/backend/riscv                                  18s   1GB
Aug 11 10:34:02 Starting compiler/backend/ag32
Aug 11 10:35:12 Finished compiler/backend/ag32                                 1m09s   2GB
Aug 11 10:35:12 Starting compiler/parsing/proofs
Aug 11 10:37:22 Finished compiler/parsing/proofs                               2m09s   1GB
Aug 11 10:37:22 Starting compiler/inference/proofs
Aug 11 10:39:40 Finished compiler/inference/proofs                             2m18s   1GB
Aug 11 10:39:40 Starting compiler/backend/semantics
Aug 11 11:05:26 Finished compiler/backend/semantics                           25m45s   5GB
Aug 11 11:05:26 Starting compiler/backend/reg_alloc/proofs
Aug 11 11:08:41 Finished compiler/backend/reg_alloc/proofs                     3m14s   1GB
Aug 11 11:08:42 Starting compiler/backend/proofs
Aug 11 11:59:37 Finished compiler/backend/proofs                              50m55s  16GB
Aug 11 11:59:37 Starting compiler/encoders/x64/proofs
Aug 11 12:08:50 Finished compiler/encoders/x64/proofs                          9m13s   4GB
Aug 11 12:08:50 Starting compiler/encoders/arm7/proofs
Aug 11 12:21:07 Finished compiler/encoders/arm7/proofs                        12m16s   9GB
Aug 11 12:21:07 Starting compiler/encoders/arm8/proofs
Aug 11 12:27:18 Finished compiler/encoders/arm8/proofs                         6m10s   2GB
Aug 11 12:27:18 Starting compiler/encoders/mips/proofs
Aug 11 12:37:02 Finished compiler/encoders/mips/proofs                         9m43s   3GB
Aug 11 12:37:02 Starting compiler/encoders/riscv/proofs
Aug 11 12:45:07 Finished compiler/encoders/riscv/proofs                        8m05s   3GB
Aug 11 12:45:07 Starting compiler/encoders/ag32/proofs
Aug 11 12:47:26 Finished compiler/encoders/ag32/proofs                         2m18s   1GB
Aug 11 12:47:26 Starting compiler/backend/x64/proofs
Aug 11 12:47:46 Finished compiler/backend/x64/proofs                             19s   1GB
Aug 11 12:47:46 Starting compiler/backend/arm7/proofs
Aug 11 12:48:07 Finished compiler/backend/arm7/proofs                            21s   1GB
Aug 11 12:48:08 Starting compiler/backend/arm8/proofs
Aug 11 12:48:26 Finished compiler/backend/arm8/proofs                            18s   1GB
Aug 11 12:48:26 Starting compiler/backend/mips/proofs
Aug 11 12:48:46 Finished compiler/backend/mips/proofs                            19s   1GB
Aug 11 12:48:46 Starting compiler/backend/riscv/proofs
Aug 11 12:49:08 Finished compiler/backend/riscv/proofs                           21s   1GB
Aug 11 12:49:08 Starting compiler/backend/ag32/proofs
Aug 11 13:00:55 Finished compiler/backend/ag32/proofs                         11m46s   3GB
Aug 11 13:00:55 Starting compiler/proofs
Aug 11 13:02:46 Finished compiler/proofs                                       1m50s   5GB
Aug 11 13:02:46 Starting candle/set-theory
Aug 11 13:03:18 Finished candle/set-theory                                       31s   1GB
Aug 11 13:03:18 Starting candle/syntax-lib
Aug 11 13:03:29 Finished candle/syntax-lib                                       11s 816MB
Aug 11 13:03:29 Starting candle/standard/syntax
Aug 11 13:05:22 Finished candle/standard/syntax                                1m52s   1GB
Aug 11 13:05:22 Starting candle/standard/semantics
Aug 11 13:07:08 Finished candle/standard/semantics                             1m45s   2GB
Aug 11 13:07:08 Starting candle/standard/monadic
Aug 11 13:08:48 Finished candle/standard/monadic                               1m39s   2GB
Aug 11 13:08:48 Starting candle/standard/ml_kernel
Aug 11 13:13:59 Finished candle/standard/ml_kernel                             5m11s   5GB
Aug 11 13:14:00 Starting candle/overloading/syntax
Aug 11 13:17:05 Finished candle/overloading/syntax                             3m05s   2GB
Aug 11 13:17:06 Starting candle/overloading/semantics
Aug 11 13:23:36 Finished candle/overloading/semantics                          6m30s   2GB
Aug 11 13:23:36 Starting characteristic/examples
Aug 11 13:24:52 Finished characteristic/examples                               1m15s   4GB
Aug 11 13:24:52 Starting tutorial/solutions
Aug 11 13:39:04 Finished tutorial/solutions                                   14m11s  11GB
Aug 11 13:39:04 Starting translator/monadic/examples
Aug 11 13:42:20 Finished translator/monadic/examples                           3m16s   3GB
Aug 11 13:42:21 Starting examples
Aug 11 13:50:40 Finished examples                                              8m19s   7GB
Aug 11 13:50:40 Starting examples/compilation/x64
Aug 11 16:02:58 Finished examples/compilation/x64                           2h12m17s  29GB
Aug 11 16:02:58 Starting examples/compilation/x64/proofs
Aug 11 16:04:44 Finished examples/compilation/x64/proofs                       1m45s   3GB
Aug 11 16:04:44 Starting examples/compilation/ag32
Aug 11 16:35:21 Finished examples/compilation/ag32                            30m36s   8GB
Aug 11 16:35:21 Starting examples/compilation/ag32/proofs
Aug 11 16:36:07 Finished examples/compilation/ag32/proofs                        46s   4GB
Aug 11 16:36:08 Starting examples/cost
Aug 11 17:21:05 Finished examples/cost                                        44m56s  16GB
Aug 11 17:21:05 Starting examples/lpr_checker
Aug 11 17:24:43 Finished examples/lpr_checker                                  3m37s   3GB
Aug 11 17:24:43 Starting examples/lpr_checker/compilation
Aug 11 17:41:51 Finished examples/lpr_checker/compilation                     17m08s  11GB
Aug 11 17:41:51 Starting examples/lpr_checker/compilation/proofs
Aug 11 17:42:30 Finished examples/lpr_checker/compilation/proofs                 38s   3GB
Aug 11 17:42:30 Starting examples/lpr_checker/array
Aug 11 17:54:44 Finished examples/lpr_checker/array                           12m13s   4GB
Aug 11 17:54:44 Starting examples/lpr_checker/array/compilation
Aug 11 18:13:06 Finished examples/lpr_checker/array/compilation               18m21s  23GB
Aug 11 18:13:07 Starting examples/lpr_checker/array/compilation/proofs
Aug 11 18:13:55 Finished examples/lpr_checker/array/compilation/proofs           48s   5GB
Aug 11 18:13:55 Starting examples/opentheory
Aug 11 18:22:49 Finished examples/opentheory                                   8m52s   7GB
Aug 11 18:22:49 Starting examples/opentheory
Aug 11 18:22:50 Finished examples/opentheory                                      0s 101MB
Aug 11 18:22:50 Starting examples/opentheory/compilation
Aug 11 18:53:10 Finished examples/opentheory/compilation                      30m19s  26GB
Aug 11 18:53:10 Starting examples/opentheory/compilation/proofs
Aug 11 18:53:49 Finished examples/opentheory/compilation/proofs                  39s   3GB
Aug 11 18:53:49 Starting examples/opentheory/compilation/ag32
Aug 11 19:26:27 Finished examples/opentheory/compilation/ag32                 32m37s  35GB
Aug 11 19:26:27 Starting examples/opentheory/compilation/ag32/proofs
Aug 11 19:27:53 Finished examples/opentheory/compilation/ag32/proofs           1m25s   5GB
Aug 11 19:27:53 Starting translator/okasaki-examples
Aug 11 19:32:00 Finished translator/okasaki-examples                           4m07s   2GB
Aug 11 19:32:01 Starting translator/other-examples
Aug 11 19:33:58 Finished translator/other-examples                             1m57s   2GB
Aug 11 19:33:58 Starting compiler/parsing/tests
Aug 11 19:34:22 Finished compiler/parsing/tests                                  24s 633MB
Aug 11 19:34:22 Starting compiler/inference/tests
Aug 11 19:38:38 Finished compiler/inference/tests                              4m15s   6GB
Aug 11 19:38:38 Starting compiler/bootstrap/translation
Aug 11 22:12:05 Finished compiler/bootstrap/translation                     2h33m26s  49GB
Aug 11 22:12:05 Starting unverified/sexpr-bootstrap/x64/64
Aug 11 22:21:52 Finished unverified/sexpr-bootstrap/x64/64                     9m46s   8GB
Aug 11 22:21:52 Starting unverified/sexpr-bootstrap/x64/32
Aug 11 22:29:35 Finished unverified/sexpr-bootstrap/x64/32                     7m42s   8GB
Aug 11 22:29:35 Starting compiler/benchmarks
Aug 11 23:07:34 Finished compiler/benchmarks                                  37m58s   2GB
Aug 11 23:07:34 Starting compiler/bootstrap/compilation/x64/64
Aug 12 20:46:10 Finished compiler/bootstrap/compilation/x64/64             21h38m34s  64GB
Aug 12 20:46:10 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 12 20:49:23 Finished compiler/bootstrap/compilation/x64/64/proofs          3m12s  14GB
Aug 12 20:49:23 Starting compiler/bootstrap/compilation/x64/32
Aug 13 16:13:34 Finished compiler/bootstrap/compilation/x64/32             19h24m10s  63GB
Aug 13 16:13:35 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 13 16:16:30 Finished compiler/bootstrap/compilation/x64/32/proofs          2m54s  12GB
Aug 13 16:16:30 Starting compiler/bootstrap/compilation/ag32/32
Aug 14 15:34:22 Finished compiler/bootstrap/compilation/ag32/32            23h17m52s  64GB
Aug 14 15:34:22 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 14 15:47:14 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m51s  31GB
Aug 14 15:47:14 SUCCESS