Job 2593

CakeML:541fc6df534977922a4b2784532cc48a51886146
  Merge pull request #1050 from CakeML/pancake_annot_comments [Aug 31 06:10:48]
HOL:0027639d9586b620303c54f45954b93896dd4587
  [emacs-mode] Fix error in detection of structures caused by previous [Aug 29 06:24:20]
Machine:lammmington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Aug 31 06:14:48 Claimed job
Aug 31 06:14:52 Building HOL
Aug 31 06:29:12 Starting developers
Aug 31 06:29:16 Finished developers                                               2s 223MB
Aug 31 06:29:17 Starting developers/bin
Aug 31 06:29:28 Finished developers/bin                                          10s   1GB
Aug 31 06:29:29 Starting compiler/proofs
Aug 31 08:13:55 Finished compiler/proofs                                    1h44m25s  37GB
Aug 31 08:13:56 Starting compiler/bootstrap/translation
Aug 31 17:01:08 Finished compiler/bootstrap/translation                     8h47m11s  57GB
Aug 31 17:01:09 Starting semantics/ffi
Aug 31 17:01:18 Finished semantics/ffi                                            7s 785MB
Aug 31 17:01:19 Starting semantics
Aug 31 17:01:20 Finished semantics                                                0s  70MB
Aug 31 17:01:21 Starting semantics/proofs
Aug 31 17:01:44 Finished semantics/proofs                                        22s 810MB
Aug 31 17:01:45 Starting semantics/alt_semantics
Aug 31 17:02:11 Finished semantics/alt_semantics                                 24s 702MB
Aug 31 17:02:12 Starting semantics/alt_semantics/proofs
Aug 31 17:12:25 Finished semantics/alt_semantics/proofs                       10m12s   3GB
Aug 31 17:12:25 Starting basis/pure
Aug 31 17:12:27 Finished basis/pure                                               0s  76MB
Aug 31 17:12:28 Starting translator
Aug 31 17:14:04 Finished translator                                            1m35s   6GB
Aug 31 17:14:05 Starting compiler/parsing
Aug 31 17:14:07 Finished compiler/parsing                                         0s  68MB
Aug 31 17:14:07 Starting characteristic
Aug 31 17:14:09 Finished characteristic                                           0s  96MB
Aug 31 17:14:10 Starting translator/monadic
Aug 31 17:14:11 Finished translator/monadic                                       0s  94MB
Aug 31 17:14:12 Starting basis
Aug 31 17:16:37 Finished basis                                                 2m23s   4GB
Aug 31 17:16:38 Starting compiler/inference
Aug 31 17:16:39 Finished compiler/inference                                       0s  94MB
Aug 31 17:16:40 Starting compiler/backend/reg_alloc
Aug 31 17:16:42 Finished compiler/backend/reg_alloc                               0s  67MB
Aug 31 17:16:42 Starting compiler/backend/gc
Aug 31 17:16:44 Finished compiler/backend/gc                                      0s 140MB
Aug 31 17:16:45 Starting compiler/backend
Aug 31 17:16:50 Finished compiler/backend                                         4s 313MB
Aug 31 17:16:51 Starting compiler/encoders/asm
Aug 31 17:16:53 Finished compiler/encoders/asm                                    0s  98MB
Aug 31 17:16:53 Starting compiler/encoders/x64
Aug 31 17:16:55 Finished compiler/encoders/x64                                    0s 103MB
Aug 31 17:16:56 Starting compiler/encoders/arm7
Aug 31 17:16:57 Finished compiler/encoders/arm7                                   0s 104MB
Aug 31 17:16:58 Starting compiler/encoders/arm8
Aug 31 17:17:00 Finished compiler/encoders/arm8                                   0s 103MB
Aug 31 17:17:01 Starting compiler/encoders/arm8_asl
Aug 31 19:29:22 Finished compiler/encoders/arm8_asl                         2h12m20s  44GB
Aug 31 19:29:23 Starting compiler/encoders/mips
Aug 31 19:29:25 Finished compiler/encoders/mips                                   0s  99MB
Aug 31 19:29:25 Starting compiler/encoders/riscv
Aug 31 19:29:27 Finished compiler/encoders/riscv                                  0s  99MB
Aug 31 19:29:28 Starting compiler/encoders/ag32
Aug 31 19:29:29 Finished compiler/encoders/ag32                                   0s  97MB
Aug 31 19:29:30 Starting compiler/backend/x64
Aug 31 19:29:32 Finished compiler/backend/x64                                     0s 139MB
Aug 31 19:29:33 Starting compiler/backend/arm7
Aug 31 19:29:35 Finished compiler/backend/arm7                                    0s 139MB
Aug 31 19:29:36 Starting compiler/backend/arm8
Aug 31 19:29:37 Finished compiler/backend/arm8                                    0s 140MB
Aug 31 19:29:38 Starting compiler/backend/mips
Aug 31 19:29:40 Finished compiler/backend/mips                                    0s 139MB
Aug 31 19:29:41 Starting compiler/backend/riscv
Aug 31 19:29:43 Finished compiler/backend/riscv                                   0s 139MB
Aug 31 19:29:43 Starting compiler/backend/ag32
Aug 31 19:31:05 Finished compiler/backend/ag32                                 1m20s   2GB
Aug 31 19:31:05 Starting compiler/parsing/proofs
Aug 31 19:31:07 Finished compiler/parsing/proofs                                  0s  75MB
Aug 31 19:31:08 Starting compiler/inference/proofs
Aug 31 19:31:09 Finished compiler/inference/proofs                                0s  93MB
Aug 31 19:31:10 Starting compiler/backend/semantics
Aug 31 19:34:24 Finished compiler/backend/semantics                            3m13s   2GB
Aug 31 19:34:25 Starting compiler/backend/reg_alloc/proofs
Aug 31 19:34:27 Finished compiler/backend/reg_alloc/proofs                        0s  94MB
Aug 31 19:34:27 Starting compiler/backend/proofs
Aug 31 19:35:20 Finished compiler/backend/proofs                                 51s   3GB
Aug 31 19:35:21 Starting compiler/backend/serialiser
Aug 31 19:35:22 Finished compiler/backend/serialiser                              0s 140MB
Aug 31 19:35:23 Starting compiler/encoders/x64/proofs
Aug 31 19:45:32 Finished compiler/encoders/x64/proofs                         10m08s   5GB
Aug 31 19:45:33 Starting compiler/encoders/arm7/proofs
Aug 31 19:58:30 Finished compiler/encoders/arm7/proofs                        12m55s   9GB
Aug 31 19:58:31 Starting compiler/encoders/arm8/proofs
Aug 31 20:05:15 Finished compiler/encoders/arm8/proofs                         6m43s   5GB
Aug 31 20:05:16 Starting compiler/encoders/arm8_asl/proofs
Aug 31 20:55:57 Finished compiler/encoders/arm8_asl/proofs                    50m40s  12GB
Aug 31 20:55:58 Starting compiler/encoders/mips/proofs
Aug 31 21:06:09 Finished compiler/encoders/mips/proofs                        10m09s   8GB
Aug 31 21:06:10 Starting compiler/encoders/riscv/proofs
Aug 31 21:14:37 Finished compiler/encoders/riscv/proofs                        8m25s   5GB
Aug 31 21:14:38 Starting compiler/encoders/ag32/proofs
Aug 31 21:17:34 Finished compiler/encoders/ag32/proofs                         2m55s   2GB
Aug 31 21:17:35 Starting compiler/backend/x64/proofs
Aug 31 21:18:19 Finished compiler/backend/x64/proofs                             43s   3GB
Aug 31 21:18:20 Starting compiler/backend/arm7/proofs
Aug 31 21:19:05 Finished compiler/backend/arm7/proofs                            44s   3GB
Aug 31 21:19:06 Starting compiler/backend/arm8/proofs
Aug 31 21:19:49 Finished compiler/backend/arm8/proofs                            41s   3GB
Aug 31 21:19:50 Starting compiler/backend/arm8_asl
Aug 31 21:20:20 Finished compiler/backend/arm8_asl                               29s   2GB
Aug 31 21:20:21 Starting compiler/backend/mips/proofs
Aug 31 21:21:07 Finished compiler/backend/mips/proofs                            45s   3GB
Aug 31 21:21:08 Starting compiler/backend/riscv/proofs
Aug 31 21:22:01 Finished compiler/backend/riscv/proofs                           52s   4GB
Aug 31 21:22:02 Starting compiler/backend/ag32/proofs
Aug 31 21:37:00 Finished compiler/backend/ag32/proofs                         14m56s   4GB
Aug 31 21:37:00 Starting compiler/backend/cv_compute
Aug 31 21:38:46 Finished compiler/backend/cv_compute                           1m44s   3GB
Aug 31 21:38:47 Starting cv_translator
Aug 31 21:58:00 Finished cv_translator                                        19m11s   9GB
Aug 31 21:58:00 Starting candle/set-theory
Aug 31 21:58:50 Finished candle/set-theory                                       48s   1GB
Aug 31 21:58:51 Starting candle/syntax-lib
Aug 31 21:58:53 Finished candle/syntax-lib                                        0s  73MB
Aug 31 21:58:53 Starting candle/standard/syntax
Aug 31 21:59:13 Finished candle/standard/syntax                                  18s   1GB
Aug 31 21:59:14 Starting candle/standard/semantics
Aug 31 22:01:53 Finished candle/standard/semantics                             2m38s   2GB
Aug 31 22:01:54 Starting candle/standard/monadic
Aug 31 22:01:56 Finished candle/standard/monadic                                  0s 100MB
Aug 31 22:01:57 Starting candle/standard/ml_kernel
Aug 31 22:03:59 Finished candle/standard/ml_kernel                             2m02s   5GB
Aug 31 22:04:00 Starting candle/overloading/syntax
Aug 31 22:07:37 Finished candle/overloading/syntax                             3m35s   3GB
Aug 31 22:07:38 Starting candle/overloading/semantics
Aug 31 22:19:11 Finished candle/overloading/semantics                         11m31s   4GB
Aug 31 22:19:12 Starting candle/overloading/monadic
Aug 31 22:21:47 Finished candle/overloading/monadic                            2m34s   2GB
Aug 31 22:21:48 Starting candle/overloading/ml_kernel
Aug 31 22:29:43 Finished candle/overloading/ml_kernel                          7m54s   6GB
Aug 31 22:29:44 Starting candle/overloading/ml_checker
Aug 31 22:32:23 Finished candle/overloading/ml_checker                         2m38s   7GB
Aug 31 22:32:24 Starting candle/prover
Aug 31 22:42:48 Finished candle/prover                                        10m23s   5GB
Aug 31 22:42:49 Starting pancake
Aug 31 22:43:15 Finished pancake                                                 25s 950MB
Aug 31 22:43:16 Starting pancake/ffi
Aug 31 22:43:17 Finished pancake/ffi                                              0s  24MB
Aug 31 22:43:18 Starting pancake/semantics
Aug 31 22:45:24 Finished pancake/semantics                                     2m05s   3GB
Aug 31 22:45:25 Starting pancake/parser
Aug 31 22:45:48 Finished pancake/parser                                          21s 849MB
Aug 31 22:45:49 Starting pancake/proofs
Aug 31 23:00:59 Finished pancake/proofs                                       15m08s   6GB
Aug 31 23:00:59 Starting characteristic/examples
Aug 31 23:02:27 Finished characteristic/examples                               1m26s   4GB
Aug 31 23:02:28 Starting tutorial/solutions
Aug 31 23:05:16 Finished tutorial/solutions                                    2m46s   5GB
Aug 31 23:05:16 Starting translator/monadic/examples
Aug 31 23:08:27 Finished translator/monadic/examples                           3m10s   4GB
Aug 31 23:08:28 Starting examples
Aug 31 23:20:48 Finished examples                                             12m18s   5GB
Aug 31 23:20:49 Starting examples/compilation/x64
Aug 31 23:30:20 Finished examples/compilation/x64                              9m30s   7GB
Aug 31 23:30:21 Starting examples/compilation/x64/proofs
Aug 31 23:34:51 Finished examples/compilation/x64/proofs                       4m29s   7GB
Aug 31 23:34:52 Starting examples/compilation/ag32
Aug 31 23:37:36 Finished examples/compilation/ag32                             2m42s   5GB
Aug 31 23:37:37 Starting examples/compilation/ag32/proofs
Aug 31 23:39:29 Finished examples/compilation/ag32/proofs                      1m51s   9GB
Aug 31 23:39:30 Starting examples/compilation/to_word
Aug 31 23:43:35 Finished examples/compilation/to_word                          4m04s  13GB
Aug 31 23:43:36 Starting examples/lpr_checker
Aug 31 23:44:14 Finished examples/lpr_checker                                    36s   1GB
Aug 31 23:44:15 Starting examples/lpr_checker/array
Sep 01 00:10:12 Finished examples/lpr_checker/array                           25m55s  23GB
Sep 01 00:10:13 Starting examples/lpr_checker/array/compilation
Sep 01 00:12:44 Finished examples/lpr_checker/array/compilation                2m30s   9GB
Sep 01 00:12:45 Starting examples/lpr_checker/array/compilation/proofs
Sep 01 00:14:39 Finished examples/lpr_checker/array/compilation/proofs         1m53s   8GB
Sep 01 00:14:40 Starting examples/lpr_checker/array/compilation/proofsARM8
Sep 01 00:16:25 Finished examples/lpr_checker/array/compilation/proofsARM8     1m43s   9GB
Sep 01 00:16:25 Starting examples/xlrup_checker
Sep 01 00:16:59 Finished examples/xlrup_checker                                  32s   1GB
Sep 01 00:17:00 Starting examples/xlrup_checker/array
Sep 01 00:30:03 Finished examples/xlrup_checker/array                         13m02s   8GB
Sep 01 00:30:04 Starting examples/xlrup_checker/array/compilation
Sep 01 00:31:31 Finished examples/xlrup_checker/array/compilation              1m25s   7GB
Sep 01 00:31:31 Starting examples/xlrup_checker/array/compilation/proofs
Sep 01 00:33:21 Finished examples/xlrup_checker/array/compilation/proofs       1m48s   8GB
Sep 01 00:33:22 Starting examples/pseudo_bool
Sep 01 00:34:45 Finished examples/pseudo_bool                                  1m22s   1GB
Sep 01 00:34:45 Starting examples/pseudo_bool/cnf_encoding
Sep 01 00:35:26 Finished examples/pseudo_bool/cnf_encoding                       39s   1GB
Sep 01 00:35:27 Starting examples/pseudo_bool/graph_encoding
Sep 01 00:36:23 Finished examples/pseudo_bool/graph_encoding                     55s   1GB
Sep 01 00:36:24 Starting examples/pseudo_bool/array
Sep 01 01:37:58 Finished examples/pseudo_bool/array                         1h01m32s  34GB
Sep 01 01:37:59 Starting examples/pseudo_bool/array/compilation
Sep 01 01:51:07 Finished examples/pseudo_bool/array/compilation               13m07s  29GB
Sep 01 01:51:08 Starting examples/pseudo_bool/array/compilation/proofs
Sep 01 01:55:12 Finished examples/pseudo_bool/array/compilation/proofs         4m03s  10GB
Sep 01 01:55:13 Starting examples/pseudo_bool/array/compilation/proofsARM8
Sep 01 01:57:06 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m52s  10GB
Sep 01 01:57:07 Starting examples/opentheory
Sep 01 02:05:54 Finished examples/opentheory                                   8m45s   6GB
Sep 01 02:05:55 Starting examples/opentheory
Sep 01 02:05:56 Finished examples/opentheory                                      0s 134MB
Sep 01 02:05:59 Starting examples/opentheory/compilation
Sep 01 02:08:14 Finished examples/opentheory/compilation                       2m13s   6GB
Sep 01 02:08:15 Starting examples/opentheory/compilation/proofs
Sep 01 02:10:01 Finished examples/opentheory/compilation/proofs                1m45s   8GB
Sep 01 02:10:02 Starting examples/opentheory/compilation/ag32
Sep 01 02:12:11 Finished examples/opentheory/compilation/ag32                  2m08s   9GB
Sep 01 02:12:12 Starting examples/opentheory/compilation/ag32/proofs
Sep 01 02:14:40 Finished examples/opentheory/compilation/ag32/proofs           2m27s   9GB
Sep 01 02:14:41 Starting examples/sat_encodings
Sep 01 02:15:41 Finished examples/sat_encodings                                  58s 910MB
Sep 01 02:15:42 Starting examples/sat_encodings/case_studies
Sep 01 02:17:49 Finished examples/sat_encodings/case_studies                   2m05s   2GB
Sep 01 02:17:50 Starting examples/sat_encodings/translation
Sep 01 02:21:29 Finished examples/sat_encodings/translation                    3m38s   3GB
Sep 01 02:21:30 Starting examples/sat_encodings/translation/compilation
Sep 01 02:23:53 Finished examples/sat_encodings/translation/compilation        2m22s   7GB
Sep 01 02:23:54 Starting examples/deflate
Sep 01 02:24:21 Finished examples/deflate                                        26s 676MB
Sep 01 02:24:21 Starting examples/deflate/translation
Sep 01 02:25:20 Finished examples/deflate/translation                            58s   2GB
Sep 01 02:25:21 Starting examples/deflate/translation/compilation
Sep 01 02:26:27 Finished examples/deflate/translation/compilation              1m04s   5GB
Sep 01 02:26:28 Starting examples/vipr
Sep 01 02:29:55 Finished examples/vipr                                         3m26s   4GB
Sep 01 02:29:56 Starting examples/vipr/compilation
Sep 01 02:31:14 Finished examples/vipr/compilation                             1m16s   6GB
Sep 01 02:31:14 Starting translator/okasaki-examples
Sep 01 02:35:32 Finished translator/okasaki-examples                           4m16s   4GB
Sep 01 02:35:33 Starting translator/other-examples
Sep 01 02:40:28 Finished translator/other-examples                             4m53s   3GB
Sep 01 02:40:28 Starting compiler/parsing/tests
Sep 01 02:41:07 Finished compiler/parsing/tests                                  37s   1GB
Sep 01 02:41:08 Starting compiler/inference/tests
Sep 01 02:41:50 Finished compiler/inference/tests                                41s   3GB
Sep 01 02:41:51 Starting compiler/printing/test
Sep 01 02:43:25 Finished compiler/printing/test                                1m33s   7GB
Sep 01 02:43:26 Starting icing/flover
Sep 01 03:20:20 Finished icing/flover                                         36m53s   4GB
Sep 01 03:20:21 Starting icing/
Sep 01 03:48:02 Finished icing/                                               27m39s   9GB
Sep 01 03:48:03 Starting icing/examples
Sep 01 03:49:51 Finished icing/examples                                        1m47s   9GB
Sep 01 03:49:52 Starting compiler/repl
Sep 01 03:58:58 Finished compiler/repl                                         9m05s  10GB
Sep 01 03:58:59 Starting unverified/sexpr-bootstrap/x64/64
Sep 01 04:12:17 Finished unverified/sexpr-bootstrap/x64/64                    12m50s  18GB
Sep 01 04:12:18 Starting unverified/sexpr-bootstrap/x64/32
Sep 01 04:23:00 Finished unverified/sexpr-bootstrap/x64/32                    10m21s  16GB
Sep 01 04:23:01 Starting compiler/benchmarks
Sep 01 04:23:45 Finished compiler/benchmarks                                     43s 713MB
Sep 01 04:23:46 Starting compiler/bootstrap/compilation/x64/64
Sep 01 05:07:25 Finished compiler/bootstrap/compilation/x64/64                43m25s 127GB
Sep 01 05:07:26 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 01 05:31:22 Finished compiler/bootstrap/compilation/x64/64/proofs         23m55s  50GB
Sep 01 05:31:23 Starting compiler/bootstrap/compilation/x64/32
Sep 01 06:10:25 Finished compiler/bootstrap/compilation/x64/32                38m53s  96GB
Sep 01 06:10:25 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 01 06:14:57 Finished compiler/bootstrap/compilation/x64/32/proofs          4m30s  24GB
Sep 01 06:14:58 Starting compiler/bootstrap/compilation/arm8/64
Sep 01 07:12:43 Finished compiler/bootstrap/compilation/arm8/64               57m35s 127GB
Sep 01 07:12:44 Starting compiler/bootstrap/compilation/arm8/64/proofs
Sep 01 07:18:24 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m39s  34GB
Sep 01 07:18:25 Starting compiler/bootstrap/compilation/ag32/32
Sep 01 07:58:01 Finished compiler/bootstrap/compilation/ag32/32               39m34s 107GB
Sep 01 07:58:02 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 01 08:03:23 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m20s  32GB
Sep 01 08:03:24 SUCCESS