Job 1584

CakeML:1cfcd59d4f8168f639ea94c4020ba0249898078a
  Merge pull request #833 from CakeML/parse-err [Sep 14 09:26:31]
HOL:9b9646dfe8c21bf1f359f11f3eedf37c281ac01b
  Holmake: "link-to-sigobj" now can/should be done in Holmakefiles [Sep 16 07:28:06]
Machine:stove 4.15.0-143-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 17 09:57:56 Claimed job
Sep 17 09:58:03 Building HOL
Sep 17 10:09:55 Starting developers
Sep 17 10:10:00 Finished developers                                               4s 130MB
Sep 17 10:10:00 Starting developers/bin
Sep 17 10:10:07 Finished developers/bin                                           6s   1GB
Sep 17 10:10:07 Starting semantics/ffi
Sep 17 10:10:18 Finished semantics/ffi                                           10s 263MB
Sep 17 10:10:18 Starting semantics
Sep 17 10:11:49 Finished semantics                                             1m31s   1GB
Sep 17 10:11:49 Starting semantics/proofs
Sep 17 10:15:27 Finished semantics/proofs                                      3m37s   1GB
Sep 17 10:15:27 Starting semantics/alt_semantics
Sep 17 10:15:36 Finished semantics/alt_semantics                                  8s 367MB
Sep 17 10:15:37 Starting semantics/alt_semantics/proofs
Sep 17 10:17:48 Finished semantics/alt_semantics/proofs                        2m11s 904MB
Sep 17 10:17:48 Starting basis/pure
Sep 17 10:20:38 Finished basis/pure                                            2m49s 731MB
Sep 17 10:20:38 Starting translator
Sep 17 10:23:53 Finished translator                                            3m15s   1GB
Sep 17 10:23:53 Starting compiler/parsing
Sep 17 10:25:03 Finished compiler/parsing                                      1m09s   2GB
Sep 17 10:25:04 Starting characteristic
Sep 17 10:30:44 Finished characteristic                                        5m40s   1GB
Sep 17 10:30:44 Starting translator/monadic
Sep 17 10:32:25 Finished translator/monadic                                    1m40s   1GB
Sep 17 10:32:25 Starting basis
Sep 17 11:15:58 Finished basis                                                43m31s  12GB
Sep 17 11:15:58 Starting compiler/inference
Sep 17 11:17:13 Finished compiler/inference                                    1m14s   1GB
Sep 17 11:17:13 Starting compiler/backend/reg_alloc
Sep 17 11:18:21 Finished compiler/backend/reg_alloc                            1m07s   1GB
Sep 17 11:18:21 Starting compiler/backend/gc
Sep 17 11:21:51 Finished compiler/backend/gc                                   3m30s   2GB
Sep 17 11:21:52 Starting compiler/backend
Sep 17 11:26:37 Finished compiler/backend                                      4m44s   4GB
Sep 17 11:26:37 Starting compiler/encoders/asm
Sep 17 11:27:00 Finished compiler/encoders/asm                                   23s 698MB
Sep 17 11:27:00 Starting compiler/encoders/x64
Sep 17 11:28:04 Finished compiler/encoders/x64                                 1m03s 760MB
Sep 17 11:28:04 Starting compiler/encoders/arm7
Sep 17 11:30:06 Finished compiler/encoders/arm7                                2m01s   1GB
Sep 17 11:30:06 Starting compiler/encoders/arm8
Sep 17 11:30:45 Finished compiler/encoders/arm8                                  38s 947MB
Sep 17 11:30:45 Starting compiler/encoders/mips
Sep 17 11:32:13 Finished compiler/encoders/mips                                1m27s   1GB
Sep 17 11:32:13 Starting compiler/encoders/riscv
Sep 17 11:33:55 Finished compiler/encoders/riscv                               1m42s   1GB
Sep 17 11:33:56 Starting compiler/encoders/ag32
Sep 17 11:34:14 Finished compiler/encoders/ag32                                  18s 654MB
Sep 17 11:34:14 Starting compiler/backend/x64
Sep 17 11:34:33 Finished compiler/backend/x64                                    19s   1GB
Sep 17 11:34:33 Starting compiler/backend/arm7
Sep 17 11:34:55 Finished compiler/backend/arm7                                   21s   1GB
Sep 17 11:34:55 Starting compiler/backend/arm8
Sep 17 11:35:15 Finished compiler/backend/arm8                                   19s   1GB
Sep 17 11:35:15 Starting compiler/backend/mips
Sep 17 11:35:35 Finished compiler/backend/mips                                   19s   1GB
Sep 17 11:35:35 Starting compiler/backend/riscv
Sep 17 11:35:55 Finished compiler/backend/riscv                                  19s   1GB
Sep 17 11:35:55 Starting compiler/backend/ag32
Sep 17 11:37:07 Finished compiler/backend/ag32                                 1m11s   1GB
Sep 17 11:37:07 Starting compiler/parsing/proofs
Sep 17 11:43:49 Finished compiler/parsing/proofs                               6m42s   1GB
Sep 17 11:43:50 Starting compiler/inference/proofs
Sep 17 11:46:19 Finished compiler/inference/proofs                             2m29s   1GB
Sep 17 11:46:19 Starting compiler/backend/semantics
Sep 17 12:15:15 Finished compiler/backend/semantics                           28m55s   2GB
Sep 17 12:15:15 Starting compiler/backend/reg_alloc/proofs
Sep 17 12:18:44 Finished compiler/backend/reg_alloc/proofs                     3m25s   1GB
Sep 17 12:18:44 Starting compiler/backend/proofs
Sep 17 13:09:41 Finished compiler/backend/proofs                              50m57s  19GB
Sep 17 13:09:42 Starting compiler/encoders/x64/proofs
Sep 17 13:19:30 Finished compiler/encoders/x64/proofs                          9m47s   3GB
Sep 17 13:19:30 Starting compiler/encoders/arm7/proofs
Sep 17 13:32:36 Finished compiler/encoders/arm7/proofs                        13m05s   6GB
Sep 17 13:32:36 Starting compiler/encoders/arm8/proofs
Sep 17 13:39:22 Finished compiler/encoders/arm8/proofs                         6m45s   1GB
Sep 17 13:39:22 Starting compiler/encoders/mips/proofs
Sep 17 13:49:24 Finished compiler/encoders/mips/proofs                        10m01s   2GB
Sep 17 13:49:25 Starting compiler/encoders/riscv/proofs
Sep 17 13:58:21 Finished compiler/encoders/riscv/proofs                        8m56s   1GB
Sep 17 13:58:21 Starting compiler/encoders/ag32/proofs
Sep 17 14:00:57 Finished compiler/encoders/ag32/proofs                         2m35s 748MB
Sep 17 14:00:57 Starting compiler/backend/x64/proofs
Sep 17 14:01:20 Finished compiler/backend/x64/proofs                             22s   1GB
Sep 17 14:01:20 Starting compiler/backend/arm7/proofs
Sep 17 14:01:43 Finished compiler/backend/arm7/proofs                            23s   1GB
Sep 17 14:01:43 Starting compiler/backend/arm8/proofs
Sep 17 14:02:06 Finished compiler/backend/arm8/proofs                            23s   1GB
Sep 17 14:02:06 Starting compiler/backend/mips/proofs
Sep 17 14:02:29 Finished compiler/backend/mips/proofs                            22s   1GB
Sep 17 14:02:29 Starting compiler/backend/riscv/proofs
Sep 17 14:02:52 Finished compiler/backend/riscv/proofs                           23s   1GB
Sep 17 14:02:52 Starting compiler/backend/ag32/proofs
Sep 17 14:15:29 Finished compiler/backend/ag32/proofs                         12m36s   2GB
Sep 17 14:15:29 Starting compiler/proofs
Sep 17 14:17:30 Finished compiler/proofs                                       2m01s   3GB
Sep 17 14:17:31 Starting candle/set-theory
Sep 17 14:18:00 Finished candle/set-theory                                       29s 793MB
Sep 17 14:18:01 Starting candle/syntax-lib
Sep 17 14:18:12 Finished candle/syntax-lib                                       10s 634MB
Sep 17 14:18:12 Starting candle/standard/syntax
Sep 17 14:20:04 Finished candle/standard/syntax                                1m51s   1GB
Sep 17 14:20:04 Starting candle/standard/semantics
Sep 17 14:21:50 Finished candle/standard/semantics                             1m45s   1GB
Sep 17 14:21:50 Starting candle/standard/monadic
Sep 17 14:23:33 Finished candle/standard/monadic                               1m43s   1GB
Sep 17 14:23:34 Starting candle/standard/ml_kernel
Sep 17 14:29:14 Finished candle/standard/ml_kernel                             5m39s   3GB
Sep 17 14:29:14 Starting candle/overloading/syntax
Sep 17 14:32:24 Finished candle/overloading/syntax                             3m10s   1GB
Sep 17 14:32:24 Starting candle/overloading/semantics
Sep 17 14:44:26 Finished candle/overloading/semantics                         12m01s   4GB
Sep 17 14:44:26 Starting pancake
Sep 17 14:45:18 Finished pancake                                                 51s 786MB
Sep 17 14:45:18 Starting pancake/ffi
Sep 17 14:45:18 Finished pancake/ffi                                              0s   8MB
Sep 17 14:45:18 Starting pancake/semantics
Sep 17 14:47:33 Finished pancake/semantics                                     2m14s   1GB
Sep 17 14:47:33 Starting pancake/proofs
Sep 17 15:00:00 Finished pancake/proofs                                       12m26s   6GB
Sep 17 15:00:00 Starting characteristic/examples
Sep 17 15:01:21 Finished characteristic/examples                               1m20s   2GB
Sep 17 15:01:21 Starting tutorial/solutions
Sep 17 15:16:46 Finished tutorial/solutions                                   15m25s   9GB
Sep 17 15:16:46 Starting translator/monadic/examples
Sep 17 15:20:02 Finished translator/monadic/examples                           3m15s   2GB
Sep 17 15:20:02 Starting examples
Sep 17 15:28:39 Finished examples                                              8m36s   3GB
Sep 17 15:28:39 Starting examples/compilation/x64
Sep 17 17:56:36 Finished examples/compilation/x64                           2h27m55s  16GB
Sep 17 17:56:39 Starting examples/compilation/x64/proofs
Sep 17 17:58:27 Finished examples/compilation/x64/proofs                       1m48s   3GB
Sep 17 17:58:27 Starting examples/compilation/ag32
Sep 17 18:32:12 Finished examples/compilation/ag32                            33m44s   7GB
Sep 17 18:32:12 Starting examples/compilation/ag32/proofs
Sep 17 18:32:58 Finished examples/compilation/ag32/proofs                        45s   3GB
Sep 17 18:32:58 Starting examples/cost
Sep 17 19:26:39 Finished examples/cost                                        53m40s   8GB
Sep 17 19:26:39 Starting examples/lpr_checker
Sep 17 19:30:42 Finished examples/lpr_checker                                  4m02s   2GB
Sep 17 19:30:42 Starting examples/lpr_checker/compilation
Sep 17 19:48:42 Finished examples/lpr_checker/compilation                     17m58s  10GB
Sep 17 19:48:42 Starting examples/lpr_checker/compilation/proofs
Sep 17 19:49:27 Finished examples/lpr_checker/compilation/proofs                 45s   3GB
Sep 17 19:49:28 Starting examples/lpr_checker/array
Sep 17 20:03:51 Finished examples/lpr_checker/array                           14m22s   4GB
Sep 17 20:03:51 Starting examples/lpr_checker/array/compilation
Sep 17 20:23:39 Finished examples/lpr_checker/array/compilation               19m47s  12GB
Sep 17 20:23:39 Starting examples/lpr_checker/array/compilation/proofs
Sep 17 20:24:31 Finished examples/lpr_checker/array/compilation/proofs           51s   4GB
Sep 17 20:24:31 Starting examples/opentheory
Sep 17 20:34:20 Finished examples/opentheory                                   9m47s   5GB
Sep 17 20:34:20 Starting examples/opentheory
Sep 17 20:34:21 Finished examples/opentheory                                      1s  28MB
Sep 17 20:34:21 Starting examples/opentheory/compilation
Sep 17 21:06:31 Finished examples/opentheory/compilation                      32m09s  19GB
Sep 17 21:06:31 Starting examples/opentheory/compilation/proofs
Sep 17 21:07:13 Finished examples/opentheory/compilation/proofs                  41s   3GB
Sep 17 21:07:13 Starting examples/opentheory/compilation/ag32
Sep 17 21:40:08 Finished examples/opentheory/compilation/ag32                 32m53s  16GB
Sep 17 21:40:08 Starting examples/opentheory/compilation/ag32/proofs
Sep 17 21:41:45 Finished examples/opentheory/compilation/ag32/proofs           1m37s   6GB
Sep 17 21:41:45 Starting examples/sat_encodings
Sep 17 21:43:36 Finished examples/sat_encodings                                1m50s 883MB
Sep 17 21:43:36 Starting examples/sat_encodings/case_studies
Sep 17 21:45:07 Finished examples/sat_encodings/case_studies                   1m31s 988MB
Sep 17 21:45:08 Starting examples/sat_encodings/translation
Sep 17 21:50:47 Finished examples/sat_encodings/translation                    5m39s   5GB
Sep 17 21:50:47 Starting examples/sat_encodings/translation/compilation
Sep 17 22:31:48 Finished examples/sat_encodings/translation/compilation       41m01s  12GB
Sep 17 22:31:48 Starting translator/okasaki-examples
Sep 17 22:36:20 Finished translator/okasaki-examples                           4m31s   2GB
Sep 17 22:36:20 Starting translator/other-examples
Sep 17 22:38:25 Finished translator/other-examples                             2m04s   1GB
Sep 17 22:38:25 Starting compiler/parsing/tests
Sep 17 22:38:55 Finished compiler/parsing/tests                                  29s 593MB
Sep 17 22:38:55 Starting compiler/inference/tests
Sep 17 22:46:38 Finished compiler/inference/tests                              7m39s   5GB
Sep 17 22:46:39 Starting compiler/bootstrap/translation
Sep 18 01:16:05 Finished compiler/bootstrap/translation                     2h29m23s  30GB
Sep 18 01:16:06 Starting unverified/sexpr-bootstrap/x64/64
Sep 18 01:28:19 Finished unverified/sexpr-bootstrap/x64/64                    12m12s   9GB
Sep 18 01:28:20 Starting unverified/sexpr-bootstrap/x64/32
Sep 18 01:38:51 Finished unverified/sexpr-bootstrap/x64/32                    10m31s   8GB
Sep 18 01:38:52 Starting compiler/benchmarks
Sep 18 01:38:54 Finished compiler/benchmarks                                      2s  41MB
Sep 18 01:38:54 Starting compiler/bootstrap/compilation/x64/64
Sep 18 14:29:14 Finished compiler/bootstrap/compilation/x64/64             12h50m18s  64GB
Sep 18 14:29:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 18 14:32:27 Finished compiler/bootstrap/compilation/x64/64/proofs          3m13s  13GB
Sep 18 14:32:28 Starting compiler/bootstrap/compilation/x64/32
Sep 19 01:23:08 Finished compiler/bootstrap/compilation/x64/32             10h50m38s  64GB
Sep 19 01:23:08 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 19 01:26:08 Finished compiler/bootstrap/compilation/x64/32/proofs          3m00s  11GB
Sep 19 01:26:08 Starting compiler/bootstrap/compilation/ag32/32
Sep 19 12:59:19 Finished compiler/bootstrap/compilation/ag32/32            11h33m09s  64GB
Sep 19 12:59:19 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 19 13:22:33 Finished compiler/bootstrap/compilation/ag32/32/proofs        23m14s  21GB
Sep 19 13:22:33 SUCCESS