Job 2592

CakeML:aae58d5f10c0049c66d6f5d2f5223537b2cd5915
  Merge pull request #1049 from halogentlepersuasion/pan_loadprec [Aug 29 14:36:14]
HOL:0027639d9586b620303c54f45954b93896dd4587
  [emacs-mode] Fix error in detection of structures caused by previous [Aug 29 06:24:20]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux
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 05:53:21 Claimed job
Aug 31 05:53:25 Building HOL
Aug 31 06:07:11 Starting developers
Aug 31 06:07:16 Finished developers                                               5s 159MB
Aug 31 06:07:16 Starting developers/bin
Aug 31 06:07:22 Finished developers/bin                                           5s   1GB
Aug 31 06:07:22 Starting compiler/proofs
Aug 31 08:06:09 Finished compiler/proofs                                    1h58m46s  21GB
Aug 31 08:06:09 Starting compiler/bootstrap/translation
Aug 31 17:01:54 Finished compiler/bootstrap/translation                     8h55m44s  54GB
Aug 31 17:01:54 Starting semantics/ffi
Aug 31 17:02:00 Finished semantics/ffi                                            5s 405MB
Aug 31 17:02:00 Starting semantics
Aug 31 17:02:02 Finished semantics                                                1s  19MB
Aug 31 17:02:02 Starting semantics/proofs
Aug 31 17:02:26 Finished semantics/proofs                                        24s 555MB
Aug 31 17:02:27 Starting semantics/alt_semantics
Aug 31 17:02:52 Finished semantics/alt_semantics                                 25s 583MB
Aug 31 17:02:52 Starting semantics/alt_semantics/proofs
Aug 31 17:14:52 Finished semantics/alt_semantics/proofs                       11m59s   1GB
Aug 31 17:14:52 Starting basis/pure
Aug 31 17:14:54 Finished basis/pure                                               1s  17MB
Aug 31 17:14:54 Starting translator
Aug 31 17:16:37 Finished translator                                            1m43s   1GB
Aug 31 17:16:37 Starting compiler/parsing
Aug 31 17:16:39 Finished compiler/parsing                                         1s  23MB
Aug 31 17:16:39 Starting characteristic
Aug 31 17:16:41 Finished characteristic                                           1s  22MB
Aug 31 17:16:41 Starting translator/monadic
Aug 31 17:16:43 Finished translator/monadic                                       1s  25MB
Aug 31 17:16:43 Starting basis
Aug 31 17:19:18 Finished basis                                                 2m34s   3GB
Aug 31 17:19:18 Starting compiler/inference
Aug 31 17:19:20 Finished compiler/inference                                       1s  22MB
Aug 31 17:19:20 Starting compiler/backend/reg_alloc
Aug 31 17:19:22 Finished compiler/backend/reg_alloc                               1s  19MB
Aug 31 17:19:22 Starting compiler/backend/gc
Aug 31 17:19:24 Finished compiler/backend/gc                                      2s  27MB
Aug 31 17:19:24 Starting compiler/backend
Aug 31 17:19:30 Finished compiler/backend                                         5s 297MB
Aug 31 17:19:30 Starting compiler/encoders/asm
Aug 31 17:19:32 Finished compiler/encoders/asm                                    1s  25MB
Aug 31 17:19:32 Starting compiler/encoders/x64
Aug 31 17:19:34 Finished compiler/encoders/x64                                    1s  26MB
Aug 31 17:19:34 Starting compiler/encoders/arm7
Aug 31 17:19:36 Finished compiler/encoders/arm7                                   1s  24MB
Aug 31 17:19:36 Starting compiler/encoders/arm8
Aug 31 17:19:38 Finished compiler/encoders/arm8                                   1s  24MB
Aug 31 17:19:38 Starting compiler/encoders/arm8_asl
Aug 31 19:49:39 Finished compiler/encoders/arm8_asl                         2h30m00s  24GB
Aug 31 19:49:39 Starting compiler/encoders/mips
Aug 31 19:49:41 Finished compiler/encoders/mips                                   1s  24MB
Aug 31 19:49:41 Starting compiler/encoders/riscv
Aug 31 19:49:43 Finished compiler/encoders/riscv                                  1s  23MB
Aug 31 19:49:43 Starting compiler/encoders/ag32
Aug 31 19:49:45 Finished compiler/encoders/ag32                                   1s  22MB
Aug 31 19:49:45 Starting compiler/backend/x64
Aug 31 19:49:47 Finished compiler/backend/x64                                     2s  31MB
Aug 31 19:49:47 Starting compiler/backend/arm7
Aug 31 19:49:50 Finished compiler/backend/arm7                                    2s  28MB
Aug 31 19:49:50 Starting compiler/backend/arm8
Aug 31 19:49:52 Finished compiler/backend/arm8                                    2s  26MB
Aug 31 19:49:52 Starting compiler/backend/mips
Aug 31 19:49:54 Finished compiler/backend/mips                                    2s  26MB
Aug 31 19:49:54 Starting compiler/backend/riscv
Aug 31 19:49:57 Finished compiler/backend/riscv                                   2s  26MB
Aug 31 19:49:57 Starting compiler/backend/ag32
Aug 31 19:51:26 Finished compiler/backend/ag32                                 1m29s   1GB
Aug 31 19:51:26 Starting compiler/parsing/proofs
Aug 31 19:51:28 Finished compiler/parsing/proofs                                  1s  19MB
Aug 31 19:51:28 Starting compiler/inference/proofs
Aug 31 19:51:30 Finished compiler/inference/proofs                                1s  21MB
Aug 31 19:51:30 Starting compiler/backend/semantics
Aug 31 19:54:58 Finished compiler/backend/semantics                            3m27s   1GB
Aug 31 19:54:58 Starting compiler/backend/reg_alloc/proofs
Aug 31 19:55:00 Finished compiler/backend/reg_alloc/proofs                        1s  24MB
Aug 31 19:55:00 Starting compiler/backend/proofs
Aug 31 19:55:53 Finished compiler/backend/proofs                                 53s   2GB
Aug 31 19:55:53 Starting compiler/backend/serialiser
Aug 31 19:55:56 Finished compiler/backend/serialiser                              2s  24MB
Aug 31 19:55:56 Starting compiler/encoders/x64/proofs
Aug 31 20:06:41 Finished compiler/encoders/x64/proofs                         10m44s   4GB
Aug 31 20:06:41 Starting compiler/encoders/arm7/proofs
Aug 31 20:20:51 Finished compiler/encoders/arm7/proofs                        14m09s   3GB
Aug 31 20:20:51 Starting compiler/encoders/arm8/proofs
Aug 31 20:28:20 Finished compiler/encoders/arm8/proofs                         7m28s   1GB
Aug 31 20:28:20 Starting compiler/encoders/arm8_asl/proofs
Aug 31 21:24:49 Finished compiler/encoders/arm8_asl/proofs                    56m29s   9GB
Aug 31 21:24:49 Starting compiler/encoders/mips/proofs
Aug 31 21:35:33 Finished compiler/encoders/mips/proofs                        10m43s   3GB
Aug 31 21:35:33 Starting compiler/encoders/riscv/proofs
Aug 31 21:44:30 Finished compiler/encoders/riscv/proofs                        8m57s   2GB
Aug 31 21:44:30 Starting compiler/encoders/ag32/proofs
Aug 31 21:47:48 Finished compiler/encoders/ag32/proofs                         3m17s   1GB
Aug 31 21:47:48 Starting compiler/backend/x64/proofs
Aug 31 21:48:21 Finished compiler/backend/x64/proofs                             33s   2GB
Aug 31 21:48:21 Starting compiler/backend/arm7/proofs
Aug 31 21:48:55 Finished compiler/backend/arm7/proofs                            33s   1GB
Aug 31 21:48:55 Starting compiler/backend/arm8/proofs
Aug 31 21:49:30 Finished compiler/backend/arm8/proofs                            34s   2GB
Aug 31 21:49:30 Starting compiler/backend/arm8_asl
Aug 31 21:49:55 Finished compiler/backend/arm8_asl                               24s   2GB
Aug 31 21:49:55 Starting compiler/backend/mips/proofs
Aug 31 21:50:32 Finished compiler/backend/mips/proofs                            37s   2GB
Aug 31 21:50:32 Starting compiler/backend/riscv/proofs
Aug 31 21:51:08 Finished compiler/backend/riscv/proofs                           35s   2GB
Aug 31 21:51:08 Starting compiler/backend/ag32/proofs
Aug 31 22:06:05 Finished compiler/backend/ag32/proofs                         14m56s   2GB
Aug 31 22:06:05 Starting compiler/backend/cv_compute
Aug 31 22:07:25 Finished compiler/backend/cv_compute                           1m19s   2GB
Aug 31 22:07:25 Starting cv_translator
Aug 31 22:28:21 Finished cv_translator                                        20m55s   7GB
Aug 31 22:28:21 Starting candle/set-theory
Aug 31 22:29:05 Finished candle/set-theory                                       44s   1GB
Aug 31 22:29:05 Starting candle/syntax-lib
Aug 31 22:29:07 Finished candle/syntax-lib                                        1s  21MB
Aug 31 22:29:07 Starting candle/standard/syntax
Aug 31 22:29:20 Finished candle/standard/syntax                                  12s 889MB
Aug 31 22:29:20 Starting candle/standard/semantics
Aug 31 22:31:34 Finished candle/standard/semantics                             2m14s   1GB
Aug 31 22:31:34 Starting candle/standard/monadic
Aug 31 22:31:36 Finished candle/standard/monadic                                  1s  25MB
Aug 31 22:31:36 Starting candle/standard/ml_kernel
Aug 31 22:33:24 Finished candle/standard/ml_kernel                             1m47s   3GB
Aug 31 22:33:24 Starting candle/overloading/syntax
Aug 31 22:36:59 Finished candle/overloading/syntax                             3m34s   1GB
Aug 31 22:36:59 Starting candle/overloading/semantics
Aug 31 22:49:25 Finished candle/overloading/semantics                         12m26s   2GB
Aug 31 22:49:26 Starting candle/overloading/monadic
Aug 31 22:52:10 Finished candle/overloading/monadic                            2m44s   1GB
Aug 31 22:52:10 Starting candle/overloading/ml_kernel
Aug 31 23:00:32 Finished candle/overloading/ml_kernel                          8m22s   4GB
Aug 31 23:00:32 Starting candle/overloading/ml_checker
Aug 31 23:03:13 Finished candle/overloading/ml_checker                         2m40s   2GB
Aug 31 23:03:13 Starting candle/prover
Aug 31 23:13:37 Finished candle/prover                                        10m24s   3GB
Aug 31 23:13:37 Starting pancake
Aug 31 23:14:02 Finished pancake                                                 24s 792MB
Aug 31 23:14:02 Starting pancake/ffi
Aug 31 23:14:03 Finished pancake/ffi                                              0s  13MB
Aug 31 23:14:03 Starting pancake/semantics
Aug 31 23:16:25 Finished pancake/semantics                                     2m21s   1GB
Aug 31 23:16:25 Starting pancake/parser
Aug 31 23:16:49 Finished pancake/parser                                          24s 549MB
Aug 31 23:16:49 Starting pancake/proofs
Aug 31 23:34:08 Finished pancake/proofs                                       17m18s   3GB
Aug 31 23:34:08 Starting characteristic/examples
Aug 31 23:35:39 Finished characteristic/examples                               1m30s   3GB
Aug 31 23:35:39 Starting tutorial/solutions
Aug 31 23:38:30 Finished tutorial/solutions                                    2m51s   4GB
Aug 31 23:38:31 Starting translator/monadic/examples
Aug 31 23:42:19 Finished translator/monadic/examples                           3m48s   2GB
Aug 31 23:42:19 Starting examples
Aug 31 23:56:43 Finished examples                                             14m24s   3GB
Aug 31 23:56:43 Starting examples/compilation/x64
Sep 01 00:05:48 Finished examples/compilation/x64                              9m04s   5GB
Sep 01 00:05:48 Starting examples/compilation/x64/proofs
Sep 01 00:08:45 Finished examples/compilation/x64/proofs                       2m57s   4GB
Sep 01 00:08:46 Starting examples/compilation/ag32
Sep 01 00:11:02 Finished examples/compilation/ag32                             2m16s   3GB
Sep 01 00:11:02 Starting examples/compilation/ag32/proofs
Sep 01 00:12:13 Finished examples/compilation/ag32/proofs                      1m10s   5GB
Sep 01 00:12:13 Starting examples/compilation/to_word
Sep 01 00:15:48 Finished examples/compilation/to_word                          3m34s   8GB
Sep 01 00:15:48 Starting examples/lpr_checker
Sep 01 00:16:28 Finished examples/lpr_checker                                    39s 641MB
Sep 01 00:16:28 Starting examples/lpr_checker/array
Sep 01 00:44:38 Finished examples/lpr_checker/array                           28m09s   7GB
Sep 01 00:44:38 Starting examples/lpr_checker/array/compilation
Sep 01 00:47:21 Finished examples/lpr_checker/array/compilation                2m43s   7GB
Sep 01 00:47:21 Starting examples/lpr_checker/array/compilation/proofs
Sep 01 00:48:44 Finished examples/lpr_checker/array/compilation/proofs         1m23s   6GB
Sep 01 00:48:45 Starting examples/lpr_checker/array/compilation/proofsARM8
Sep 01 00:50:01 Finished examples/lpr_checker/array/compilation/proofsARM8     1m16s   5GB
Sep 01 00:50:01 Starting examples/xlrup_checker
Sep 01 00:50:40 Finished examples/xlrup_checker                                  38s   1GB
Sep 01 00:50:40 Starting examples/xlrup_checker/array
Sep 01 01:05:18 Finished examples/xlrup_checker/array                         14m37s   3GB
Sep 01 01:05:18 Starting examples/xlrup_checker/array/compilation
Sep 01 01:06:41 Finished examples/xlrup_checker/array/compilation              1m23s   4GB
Sep 01 01:06:42 Starting examples/xlrup_checker/array/compilation/proofs
Sep 01 01:07:47 Finished examples/xlrup_checker/array/compilation/proofs       1m05s   5GB
Sep 01 01:07:47 Starting examples/pseudo_bool
Sep 01 01:09:19 Finished examples/pseudo_bool                                  1m31s   1GB
Sep 01 01:09:19 Starting examples/pseudo_bool/cnf_encoding
Sep 01 01:09:49 Finished examples/pseudo_bool/cnf_encoding                       30s 800MB
Sep 01 01:09:49 Starting examples/pseudo_bool/graph_encoding
Sep 01 01:10:36 Finished examples/pseudo_bool/graph_encoding                     47s 945MB
Sep 01 01:10:36 Starting examples/pseudo_bool/array
Sep 01 02:17:03 Finished examples/pseudo_bool/array                         1h06m26s   6GB
Sep 01 02:17:03 Starting examples/pseudo_bool/array/compilation
Sep 01 02:31:48 Finished examples/pseudo_bool/array/compilation               14m45s  25GB
Sep 01 02:31:48 Starting examples/pseudo_bool/array/compilation/proofs
Sep 01 02:34:51 Finished examples/pseudo_bool/array/compilation/proofs         3m02s   7GB
Sep 01 02:34:51 Starting examples/pseudo_bool/array/compilation/proofsARM8
Sep 01 02:36:18 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m27s   7GB
Sep 01 02:36:19 Starting examples/opentheory
Sep 01 02:45:41 Finished examples/opentheory                                   9m21s   4GB
Sep 01 02:45:41 Starting examples/opentheory
Sep 01 02:45:42 Finished examples/opentheory                                      1s  27MB
Sep 01 02:45:43 Starting examples/opentheory/compilation
Sep 01 02:47:45 Finished examples/opentheory/compilation                       2m02s   7GB
Sep 01 02:47:45 Starting examples/opentheory/compilation/proofs
Sep 01 02:48:53 Finished examples/opentheory/compilation/proofs                1m07s   4GB
Sep 01 02:48:53 Starting examples/opentheory/compilation/ag32
Sep 01 02:50:57 Finished examples/opentheory/compilation/ag32                  2m04s   5GB
Sep 01 02:50:57 Starting examples/opentheory/compilation/ag32/proofs
Sep 01 02:52:46 Finished examples/opentheory/compilation/ag32/proofs           1m48s   9GB
Sep 01 02:52:46 Starting examples/sat_encodings
Sep 01 02:53:53 Finished examples/sat_encodings                                1m07s 444MB
Sep 01 02:53:53 Starting examples/sat_encodings/case_studies
Sep 01 02:55:47 Finished examples/sat_encodings/case_studies                   1m53s   1GB
Sep 01 02:55:47 Starting examples/sat_encodings/translation
Sep 01 02:59:48 Finished examples/sat_encodings/translation                    4m01s   1GB
Sep 01 02:59:48 Starting examples/sat_encodings/translation/compilation
Sep 01 03:02:20 Finished examples/sat_encodings/translation/compilation        2m31s   4GB
Sep 01 03:02:20 Starting examples/deflate
Sep 01 03:02:52 Finished examples/deflate                                        31s 469MB
Sep 01 03:02:52 Starting examples/deflate/translation
Sep 01 03:04:02 Finished examples/deflate/translation                          1m09s   1GB
Sep 01 03:04:02 Starting examples/deflate/translation/compilation
Sep 01 03:05:10 Finished examples/deflate/translation/compilation              1m07s   4GB
Sep 01 03:05:10 Starting examples/vipr
Sep 01 03:09:06 Finished examples/vipr                                         3m55s   5GB
Sep 01 03:09:06 Starting examples/vipr/compilation
Sep 01 03:10:21 Finished examples/vipr/compilation                             1m15s   4GB
Sep 01 03:10:21 Starting translator/okasaki-examples
Sep 01 03:15:05 Finished translator/okasaki-examples                           4m43s   2GB
Sep 01 03:15:05 Starting translator/other-examples
Sep 01 03:19:01 Finished translator/other-examples                             3m56s   1GB
Sep 01 03:19:01 Starting compiler/parsing/tests
Sep 01 03:19:38 Finished compiler/parsing/tests                                  36s   1GB
Sep 01 03:19:38 Starting compiler/inference/tests
Sep 01 03:20:12 Finished compiler/inference/tests                                33s   2GB
Sep 01 03:20:12 Starting compiler/printing/test
Sep 01 03:21:42 Finished compiler/printing/test                                1m30s   3GB
Sep 01 03:21:42 Starting icing/flover
Sep 01 04:07:22 Finished icing/flover                                         45m39s   2GB
Sep 01 04:07:22 Starting icing/
Sep 01 04:37:02 Finished icing/                                               29m39s   5GB
Sep 01 04:37:02 Starting icing/examples
Sep 01 04:38:43 Finished icing/examples                                        1m40s   5GB
Sep 01 04:38:43 Starting compiler/repl
Sep 01 04:47:47 Finished compiler/repl                                         9m04s   7GB
Sep 01 04:47:47 Starting unverified/sexpr-bootstrap/x64/64
Sep 01 05:04:12 Finished unverified/sexpr-bootstrap/x64/64                    16m23s  18GB
Sep 01 05:04:12 Starting unverified/sexpr-bootstrap/x64/32
Sep 01 05:17:03 Finished unverified/sexpr-bootstrap/x64/32                    12m50s  15GB
Sep 01 05:17:03 Starting compiler/benchmarks
Sep 01 05:32:41 Finished compiler/benchmarks                                  15m38s   2GB
Sep 01 05:32:41 Starting compiler/bootstrap/compilation/x64/64
Sep 01 06:12:19 Finished compiler/bootstrap/compilation/x64/64                39m37s  63GB
Sep 01 06:12:19 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 01 06:35:40 Finished compiler/bootstrap/compilation/x64/64/proofs         23m20s  46GB
Sep 01 06:35:40 Starting compiler/bootstrap/compilation/x64/32
Sep 01 07:16:53 Finished compiler/bootstrap/compilation/x64/32                41m12s  64GB
Sep 01 07:16:53 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 01 07:23:02 Finished compiler/bootstrap/compilation/x64/32/proofs          6m09s  19GB
Sep 01 07:23:02 Starting compiler/bootstrap/compilation/arm8/64
Sep 01 08:14:25 Finished compiler/bootstrap/compilation/arm8/64               51m22s  64GB
Sep 01 08:14:25 Starting compiler/bootstrap/compilation/arm8/64/proofs
Sep 01 08:19:36 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m11s  32GB
Sep 01 08:19:36 Starting compiler/bootstrap/compilation/ag32/32
Sep 01 08:57:51 Finished compiler/bootstrap/compilation/ag32/32               38m15s  64GB
Sep 01 08:57:52 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 01 09:04:30 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m38s  19GB
Sep 01 09:04:30 SUCCESS