Job 1586

CakeML:1cfcd59d4f8168f639ea94c4020ba0249898078a
  Merge pull request #833 from CakeML/parse-err [Sep 14 09:26:31]
HOL:424885cd3abe129d536c979db549b5efe69b23fa
  Fix Unicode violation in topologyScript.sml [Sep 20 06:39:34]
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

Sep 21 09:10:47 Claimed job
Sep 21 09:11:04 Building HOL
Sep 21 09:22:53 Starting developers
Sep 21 09:22:56 Finished developers                                               2s 103MB
Sep 21 09:22:56 Starting developers/bin
Sep 21 09:23:02 Finished developers/bin                                           6s   1GB
Sep 21 09:23:02 Starting semantics/ffi
Sep 21 09:23:13 Finished semantics/ffi                                           10s 266MB
Sep 21 09:23:13 Starting semantics
Sep 21 09:24:48 Finished semantics                                             1m35s   1GB
Sep 21 09:24:49 Starting semantics/proofs
Sep 21 09:28:23 Finished semantics/proofs                                      3m34s   2GB
Sep 21 09:28:24 Starting semantics/alt_semantics
Sep 21 09:28:33 Finished semantics/alt_semantics                                  8s 393MB
Sep 21 09:28:33 Starting semantics/alt_semantics/proofs
Sep 21 09:30:46 Finished semantics/alt_semantics/proofs                        2m12s   2GB
Sep 21 09:30:46 Starting basis/pure
Sep 21 09:33:38 Finished basis/pure                                            2m52s   1GB
Sep 21 09:33:39 Starting translator
Sep 21 09:37:28 Finished translator                                            3m48s   2GB
Sep 21 09:37:28 Starting compiler/parsing
Sep 21 09:38:56 Finished compiler/parsing                                      1m27s   3GB
Sep 21 09:38:56 Starting characteristic
Sep 21 09:44:52 Finished characteristic                                        5m55s   3GB
Sep 21 09:44:52 Starting translator/monadic
Sep 21 09:47:24 Finished translator/monadic                                    2m31s   3GB
Sep 21 09:47:24 Starting basis
Sep 21 10:54:52 Finished basis                                              1h07m27s  43GB
Sep 21 10:54:52 Starting compiler/inference
Sep 21 10:56:08 Finished compiler/inference                                    1m15s   2GB
Sep 21 10:56:08 Starting compiler/backend/reg_alloc
Sep 21 10:57:15 Finished compiler/backend/reg_alloc                            1m07s   1GB
Sep 21 10:57:16 Starting compiler/backend/gc
Sep 21 11:03:16 Finished compiler/backend/gc                                   6m00s   2GB
Sep 21 11:03:17 Starting compiler/backend
Sep 21 11:10:43 Finished compiler/backend                                      7m26s   4GB
Sep 21 11:10:44 Starting compiler/encoders/asm
Sep 21 11:11:08 Finished compiler/encoders/asm                                   23s   1GB
Sep 21 11:11:08 Starting compiler/encoders/x64
Sep 21 11:12:16 Finished compiler/encoders/x64                                 1m07s   1GB
Sep 21 11:12:16 Starting compiler/encoders/arm7
Sep 21 11:14:27 Finished compiler/encoders/arm7                                2m10s   1GB
Sep 21 11:14:27 Starting compiler/encoders/arm8
Sep 21 11:15:09 Finished compiler/encoders/arm8                                  41s   1GB
Sep 21 11:15:09 Starting compiler/encoders/mips
Sep 21 11:16:39 Finished compiler/encoders/mips                                1m30s   1GB
Sep 21 11:16:39 Starting compiler/encoders/riscv
Sep 21 11:18:25 Finished compiler/encoders/riscv                               1m45s   1GB
Sep 21 11:18:25 Starting compiler/encoders/ag32
Sep 21 11:18:45 Finished compiler/encoders/ag32                                  19s 984MB
Sep 21 11:18:45 Starting compiler/backend/x64
Sep 21 11:19:07 Finished compiler/backend/x64                                    21s   1GB
Sep 21 11:19:08 Starting compiler/backend/arm7
Sep 21 11:19:32 Finished compiler/backend/arm7                                   23s   1GB
Sep 21 11:19:32 Starting compiler/backend/arm8
Sep 21 11:19:54 Finished compiler/backend/arm8                                   21s   1GB
Sep 21 11:19:54 Starting compiler/backend/mips
Sep 21 11:20:16 Finished compiler/backend/mips                                   22s   1GB
Sep 21 11:20:16 Starting compiler/backend/riscv
Sep 21 11:20:39 Finished compiler/backend/riscv                                  22s   1GB
Sep 21 11:20:39 Starting compiler/backend/ag32
Sep 21 11:21:55 Finished compiler/backend/ag32                                 1m15s   2GB
Sep 21 11:21:56 Starting compiler/parsing/proofs
Sep 21 11:28:52 Finished compiler/parsing/proofs                               6m56s   2GB
Sep 21 11:28:53 Starting compiler/inference/proofs
Sep 21 11:31:33 Finished compiler/inference/proofs                             2m40s   2GB
Sep 21 11:31:34 Starting compiler/backend/semantics
Sep 21 12:00:43 Finished compiler/backend/semantics                           29m08s   3GB
Sep 21 12:00:43 Starting compiler/backend/reg_alloc/proofs
Sep 21 12:04:04 Finished compiler/backend/reg_alloc/proofs                     3m21s   1GB
Sep 21 12:04:05 Starting compiler/backend/proofs
Sep 21 13:08:00 Finished compiler/backend/proofs                            1h03m54s  17GB
Sep 21 13:08:00 Starting compiler/encoders/x64/proofs
Sep 21 13:17:43 Finished compiler/encoders/x64/proofs                          9m42s   7GB
Sep 21 13:17:43 Starting compiler/encoders/arm7/proofs
Sep 21 13:31:01 Finished compiler/encoders/arm7/proofs                        13m17s   8GB
Sep 21 13:31:01 Starting compiler/encoders/arm8/proofs
Sep 21 13:37:51 Finished compiler/encoders/arm8/proofs                         6m49s   3GB
Sep 21 13:37:52 Starting compiler/encoders/mips/proofs
Sep 21 13:48:03 Finished compiler/encoders/mips/proofs                        10m10s   3GB
Sep 21 13:48:03 Starting compiler/encoders/riscv/proofs
Sep 21 13:56:46 Finished compiler/encoders/riscv/proofs                        8m42s   4GB
Sep 21 13:56:46 Starting compiler/encoders/ag32/proofs
Sep 21 13:59:13 Finished compiler/encoders/ag32/proofs                         2m27s   1GB
Sep 21 13:59:13 Starting compiler/backend/x64/proofs
Sep 21 13:59:36 Finished compiler/backend/x64/proofs                             22s   1GB
Sep 21 13:59:37 Starting compiler/backend/arm7/proofs
Sep 21 14:00:03 Finished compiler/backend/arm7/proofs                            26s   2GB
Sep 21 14:00:03 Starting compiler/backend/arm8/proofs
Sep 21 14:00:28 Finished compiler/backend/arm8/proofs                            24s   2GB
Sep 21 14:00:28 Starting compiler/backend/mips/proofs
Sep 21 14:00:52 Finished compiler/backend/mips/proofs                            23s   1GB
Sep 21 14:00:52 Starting compiler/backend/riscv/proofs
Sep 21 14:01:18 Finished compiler/backend/riscv/proofs                           25s   2GB
Sep 21 14:01:18 Starting compiler/backend/ag32/proofs
Sep 21 14:14:08 Finished compiler/backend/ag32/proofs                         12m47s   6GB
Sep 21 14:14:08 Starting compiler/proofs
Sep 21 14:16:20 Finished compiler/proofs                                       2m11s   6GB
Sep 21 14:16:21 Starting candle/set-theory
Sep 21 14:16:53 Finished candle/set-theory                                       32s   1GB
Sep 21 14:16:53 Starting candle/syntax-lib
Sep 21 14:17:05 Finished candle/syntax-lib                                       11s 815MB
Sep 21 14:17:05 Starting candle/standard/syntax
Sep 21 14:19:03 Finished candle/standard/syntax                                1m57s   1GB
Sep 21 14:19:03 Starting candle/standard/semantics
Sep 21 14:20:57 Finished candle/standard/semantics                             1m53s   2GB
Sep 21 14:20:57 Starting candle/standard/monadic
Sep 21 14:22:46 Finished candle/standard/monadic                               1m48s   1GB
Sep 21 14:22:46 Starting candle/standard/ml_kernel
Sep 21 14:28:36 Finished candle/standard/ml_kernel                             5m49s   6GB
Sep 21 14:28:36 Starting candle/overloading/syntax
Sep 21 14:32:02 Finished candle/overloading/syntax                             3m26s   2GB
Sep 21 14:32:03 Starting candle/overloading/semantics
Sep 21 14:45:40 Finished candle/overloading/semantics                         13m37s   8GB
Sep 21 14:45:40 Starting pancake
Sep 21 14:46:55 Finished pancake                                               1m14s   1GB
Sep 21 14:46:56 Starting pancake/ffi
Sep 21 14:46:56 Finished pancake/ffi                                              0s   6MB
Sep 21 14:46:56 Starting pancake/semantics
Sep 21 14:49:43 Finished pancake/semantics                                     2m47s   2GB
Sep 21 14:49:44 Starting pancake/proofs
Sep 21 15:05:08 Finished pancake/proofs                                       15m23s   8GB
Sep 21 15:05:08 Starting characteristic/examples
Sep 21 15:06:51 Finished characteristic/examples                               1m42s   5GB
Sep 21 15:06:51 Starting tutorial/solutions
Sep 21 15:24:02 Finished tutorial/solutions                                   17m09s  12GB
Sep 21 15:24:02 Starting translator/monadic/examples
Sep 21 15:27:39 Finished translator/monadic/examples                           3m37s   3GB
Sep 21 15:27:40 Starting examples
Sep 21 15:37:15 Finished examples                                              9m35s   8GB
Sep 21 15:37:15 Starting examples/compilation/x64
Sep 21 18:00:54 Finished examples/compilation/x64                           2h23m38s  33GB
Sep 21 18:00:55 Starting examples/compilation/x64/proofs
Sep 21 18:02:57 Finished examples/compilation/x64/proofs                       2m02s   3GB
Sep 21 18:02:58 Starting examples/compilation/ag32
Sep 21 18:36:59 Finished examples/compilation/ag32                            34m00s  10GB
Sep 21 18:36:59 Starting examples/compilation/ag32/proofs
Sep 21 18:37:52 Finished examples/compilation/ag32/proofs                        53s   5GB
Sep 21 18:37:52 Starting examples/cost
Sep 21 19:32:37 Finished examples/cost                                        54m44s  17GB
Sep 21 19:32:37 Starting examples/lpr_checker
Sep 21 19:36:37 Finished examples/lpr_checker                                  3m59s   6GB
Sep 21 19:36:37 Starting examples/lpr_checker/compilation
Sep 21 19:55:02 Finished examples/lpr_checker/compilation                     18m24s  14GB
Sep 21 19:55:02 Starting examples/lpr_checker/compilation/proofs
Sep 21 19:55:48 Finished examples/lpr_checker/compilation/proofs                 45s   4GB
Sep 21 19:55:48 Starting examples/lpr_checker/array
Sep 21 20:09:58 Finished examples/lpr_checker/array                           14m09s   4GB
Sep 21 20:09:58 Starting examples/lpr_checker/array/compilation
Sep 21 20:31:25 Finished examples/lpr_checker/array/compilation               21m26s  20GB
Sep 21 20:31:25 Starting examples/lpr_checker/array/compilation/proofs
Sep 21 20:32:19 Finished examples/lpr_checker/array/compilation/proofs           53s   5GB
Sep 21 20:32:19 Starting examples/opentheory
Sep 21 20:42:26 Finished examples/opentheory                                  10m06s   6GB
Sep 21 20:42:26 Starting examples/opentheory
Sep 21 20:42:28 Finished examples/opentheory                                      1s 130MB
Sep 21 20:42:28 Starting examples/opentheory/compilation
Sep 21 21:15:42 Finished examples/opentheory/compilation                      33m14s  20GB
Sep 21 21:15:43 Starting examples/opentheory/compilation/proofs
Sep 21 21:16:30 Finished examples/opentheory/compilation/proofs                  46s   4GB
Sep 21 21:16:30 Starting examples/opentheory/compilation/ag32
Sep 21 21:49:24 Finished examples/opentheory/compilation/ag32                 32m51s  19GB
Sep 21 21:49:24 Starting examples/opentheory/compilation/ag32/proofs
Sep 21 21:50:58 Finished examples/opentheory/compilation/ag32/proofs           1m33s   7GB
Sep 21 21:50:58 Starting examples/sat_encodings
Sep 21 21:52:53 Finished examples/sat_encodings                                1m54s   1GB
Sep 21 21:52:53 Starting examples/sat_encodings/case_studies
Sep 21 21:54:27 Finished examples/sat_encodings/case_studies                   1m34s   1GB
Sep 21 21:54:28 Starting examples/sat_encodings/translation
Sep 21 22:00:01 Finished examples/sat_encodings/translation                    5m33s   4GB
Sep 21 22:00:02 Starting examples/sat_encodings/translation/compilation
Sep 21 22:44:42 Finished examples/sat_encodings/translation/compilation       44m40s  21GB
Sep 21 22:44:42 Starting translator/okasaki-examples
Sep 21 22:49:07 Finished translator/okasaki-examples                           4m24s   3GB
Sep 21 22:49:07 Starting translator/other-examples
Sep 21 22:51:17 Finished translator/other-examples                             2m08s   2GB
Sep 21 22:51:17 Starting compiler/parsing/tests
Sep 21 22:51:45 Finished compiler/parsing/tests                                  27s 655MB
Sep 21 22:51:46 Starting compiler/inference/tests
Sep 21 22:59:02 Finished compiler/inference/tests                              7m16s   5GB
Sep 21 22:59:02 Starting compiler/bootstrap/translation
Sep 22 01:26:29 Finished compiler/bootstrap/translation                     2h27m24s  39GB
Sep 22 01:26:29 Starting unverified/sexpr-bootstrap/x64/64
Sep 22 01:38:45 Finished unverified/sexpr-bootstrap/x64/64                    12m09s   8GB
Sep 22 01:38:45 Starting unverified/sexpr-bootstrap/x64/32
Sep 22 01:49:17 Finished unverified/sexpr-bootstrap/x64/32                    10m27s   8GB
Sep 22 01:49:17 Starting compiler/benchmarks
Sep 22 02:27:16 Finished compiler/benchmarks                                  37m58s   2GB
Sep 22 02:27:16 Starting compiler/bootstrap/compilation/x64/64
Sep 22 20:39:05 Finished compiler/bootstrap/compilation/x64/64             18h11m44s  60GB
Sep 22 20:39:05 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 22 20:41:32 Finished compiler/bootstrap/compilation/x64/64/proofs          2m26s  15GB
Sep 22 20:41:32 Starting compiler/bootstrap/compilation/x64/32
Sep 23 16:06:27 Finished compiler/bootstrap/compilation/x64/32             19h24m51s  59GB
Sep 23 16:06:27 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 23 16:08:37 Finished compiler/bootstrap/compilation/x64/32/proofs          2m09s  17GB
Sep 23 16:08:37 Starting compiler/bootstrap/compilation/ag32/32
Sep 24 09:22:31 Finished compiler/bootstrap/compilation/ag32/32            17h13m53s  58GB
Sep 24 09:22:31 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 24 09:32:05 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m33s  56GB
Sep 24 09:32:06 SUCCESS