Job 2596

CakeML:eca3504b85c265170db305732068332e7fb54d83
  fix merge fallouts (Annot changes) [Sep 06 04:03:03]
#1051 (pancake_itree2)
Merging into: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:stove 5.15.0-86-generic x86_64 GNU/Linux

Sep 06 16:45:17 Claimed job
Sep 06 16:45:19 Reusing HOL
Sep 06 16:46:04 Starting developers
Sep 06 16:46:10 Finished developers                                               5s 204MB
Sep 06 16:46:10 Starting developers/bin
Sep 06 16:46:16 Finished developers/bin                                           5s   1GB
Sep 06 16:46:16 Starting compiler/proofs
Sep 08 18:47:53 Resuming compiler/proofs
Sep 08 19:41:13 Finished compiler/proofs                                      53m19s  26GB
Sep 08 19:41:13 Starting compiler/bootstrap/translation
Sep 09 05:05:19 Finished compiler/bootstrap/translation                     9h24m05s  51GB
Sep 09 05:05:19 Starting semantics/ffi
Sep 09 05:05:24 Finished semantics/ffi                                            5s 406MB
Sep 09 05:05:25 Starting semantics
Sep 09 05:05:26 Finished semantics                                                1s  19MB
Sep 09 05:05:26 Starting semantics/proofs
Sep 09 05:05:53 Finished semantics/proofs                                        26s 404MB
Sep 09 05:05:53 Starting semantics/alt_semantics
Sep 09 05:06:19 Finished semantics/alt_semantics                                 26s 583MB
Sep 09 05:06:19 Starting semantics/alt_semantics/proofs
Sep 09 05:18:04 Finished semantics/alt_semantics/proofs                       11m44s   1GB
Sep 09 05:18:04 Starting basis/pure
Sep 09 05:18:05 Finished basis/pure                                               1s  19MB
Sep 09 05:18:05 Starting translator
Sep 09 05:19:50 Finished translator                                            1m44s   1GB
Sep 09 05:19:50 Starting compiler/parsing
Sep 09 05:19:51 Finished compiler/parsing                                         1s  17MB
Sep 09 05:19:51 Starting characteristic
Sep 09 05:19:53 Finished characteristic                                           1s  22MB
Sep 09 05:19:53 Starting translator/monadic
Sep 09 05:19:55 Finished translator/monadic                                       1s  23MB
Sep 09 05:19:55 Starting basis
Sep 09 05:22:32 Finished basis                                                 2m36s   2GB
Sep 09 05:22:32 Starting compiler/inference
Sep 09 05:22:34 Finished compiler/inference                                       1s  23MB
Sep 09 05:22:34 Starting compiler/backend/reg_alloc
Sep 09 05:22:36 Finished compiler/backend/reg_alloc                               1s  18MB
Sep 09 05:22:36 Starting compiler/backend/gc
Sep 09 05:22:38 Finished compiler/backend/gc                                      2s  31MB
Sep 09 05:22:38 Starting compiler/backend
Sep 09 05:22:44 Finished compiler/backend                                         5s 279MB
Sep 09 05:22:44 Starting compiler/encoders/asm
Sep 09 05:22:46 Finished compiler/encoders/asm                                    1s  26MB
Sep 09 05:22:46 Starting compiler/encoders/x64
Sep 09 05:22:48 Finished compiler/encoders/x64                                    1s  28MB
Sep 09 05:22:48 Starting compiler/encoders/arm7
Sep 09 05:22:50 Finished compiler/encoders/arm7                                   1s  21MB
Sep 09 05:22:50 Starting compiler/encoders/arm8
Sep 09 05:22:52 Finished compiler/encoders/arm8                                   1s  27MB
Sep 09 05:22:52 Starting compiler/encoders/arm8_asl
Sep 09 05:25:57 Finished compiler/encoders/arm8_asl                            3m05s   1GB
Sep 09 05:25:57 Starting compiler/encoders/mips
Sep 09 05:25:59 Finished compiler/encoders/mips                                   1s  24MB
Sep 09 05:25:59 Starting compiler/encoders/riscv
Sep 09 05:26:01 Finished compiler/encoders/riscv                                  1s  21MB
Sep 09 05:26:01 Starting compiler/encoders/ag32
Sep 09 05:26:03 Finished compiler/encoders/ag32                                   1s  22MB
Sep 09 05:26:03 Starting compiler/backend/x64
Sep 09 05:26:06 Finished compiler/backend/x64                                     2s  25MB
Sep 09 05:26:06 Starting compiler/backend/arm7
Sep 09 05:26:08 Finished compiler/backend/arm7                                    2s  24MB
Sep 09 05:26:08 Starting compiler/backend/arm8
Sep 09 05:26:10 Finished compiler/backend/arm8                                    2s  29MB
Sep 09 05:26:11 Starting compiler/backend/mips
Sep 09 05:26:13 Finished compiler/backend/mips                                    2s  25MB
Sep 09 05:26:13 Starting compiler/backend/riscv
Sep 09 05:26:15 Finished compiler/backend/riscv                                   2s  30MB
Sep 09 05:26:15 Starting compiler/backend/ag32
Sep 09 05:27:45 Finished compiler/backend/ag32                                 1m29s   1GB
Sep 09 05:27:45 Starting compiler/parsing/proofs
Sep 09 05:27:46 Finished compiler/parsing/proofs                                  1s  23MB
Sep 09 05:27:46 Starting compiler/inference/proofs
Sep 09 05:27:48 Finished compiler/inference/proofs                                1s  20MB
Sep 09 05:27:48 Starting compiler/backend/semantics
Sep 09 05:31:19 Finished compiler/backend/semantics                            3m30s   1GB
Sep 09 05:31:19 Starting compiler/backend/reg_alloc/proofs
Sep 09 05:31:21 Finished compiler/backend/reg_alloc/proofs                        1s  21MB
Sep 09 05:31:21 Starting compiler/backend/proofs
Sep 09 05:32:15 Finished compiler/backend/proofs                                 53s   3GB
Sep 09 05:32:15 Starting compiler/backend/serialiser
Sep 09 05:32:17 Finished compiler/backend/serialiser                              2s  26MB
Sep 09 05:32:17 Starting compiler/encoders/x64/proofs
Sep 09 05:42:52 Finished compiler/encoders/x64/proofs                         10m34s   6GB
Sep 09 05:42:52 Starting compiler/encoders/arm7/proofs
Sep 09 05:57:03 Finished compiler/encoders/arm7/proofs                        14m10s   3GB
Sep 09 05:57:03 Starting compiler/encoders/arm8/proofs
Sep 09 06:04:35 Finished compiler/encoders/arm8/proofs                         7m32s   1GB
Sep 09 06:04:35 Starting compiler/encoders/arm8_asl/proofs
Sep 09 06:21:54 Finished compiler/encoders/arm8_asl/proofs                    17m18s   2GB
Sep 09 06:21:54 Starting compiler/encoders/mips/proofs
Sep 09 06:32:41 Finished compiler/encoders/mips/proofs                        10m46s   3GB
Sep 09 06:32:41 Starting compiler/encoders/riscv/proofs
Sep 09 06:41:34 Finished compiler/encoders/riscv/proofs                        8m53s   2GB
Sep 09 06:41:34 Starting compiler/encoders/ag32/proofs
Sep 09 06:44:52 Finished compiler/encoders/ag32/proofs                         3m17s   1GB
Sep 09 06:44:52 Starting compiler/backend/x64/proofs
Sep 09 06:45:24 Finished compiler/backend/x64/proofs                             31s   1GB
Sep 09 06:45:24 Starting compiler/backend/arm7/proofs
Sep 09 06:45:57 Finished compiler/backend/arm7/proofs                            33s   1GB
Sep 09 06:45:57 Starting compiler/backend/arm8/proofs
Sep 09 06:46:31 Finished compiler/backend/arm8/proofs                            33s   1GB
Sep 09 06:46:31 Starting compiler/backend/arm8_asl
Sep 09 06:46:56 Finished compiler/backend/arm8_asl                               24s   2GB
Sep 09 06:46:56 Starting compiler/backend/mips/proofs
Sep 09 06:47:33 Finished compiler/backend/mips/proofs                            37s   2GB
Sep 09 06:47:34 Starting compiler/backend/riscv/proofs
Sep 09 06:48:11 Finished compiler/backend/riscv/proofs                           37s   2GB
Sep 09 06:48:11 Starting compiler/backend/ag32/proofs
Sep 09 07:03:10 Finished compiler/backend/ag32/proofs                         14m59s   2GB
Sep 09 07:03:10 Starting compiler/backend/cv_compute
Sep 09 07:04:32 Finished compiler/backend/cv_compute                           1m21s   1GB
Sep 09 07:04:32 Starting cv_translator
Sep 09 07:25:09 Finished cv_translator                                        20m37s   6GB
Sep 09 07:25:09 Starting candle/set-theory
Sep 09 07:25:53 Finished candle/set-theory                                       44s   1GB
Sep 09 07:25:54 Starting candle/syntax-lib
Sep 09 07:25:55 Finished candle/syntax-lib                                        1s  20MB
Sep 09 07:25:55 Starting candle/standard/syntax
Sep 09 07:26:08 Finished candle/standard/syntax                                  13s 775MB
Sep 09 07:26:08 Starting candle/standard/semantics
Sep 09 07:28:22 Finished candle/standard/semantics                             2m13s   1GB
Sep 09 07:28:22 Starting candle/standard/monadic
Sep 09 07:28:24 Finished candle/standard/monadic                                  1s  20MB
Sep 09 07:28:24 Starting candle/standard/ml_kernel
Sep 09 07:30:14 Finished candle/standard/ml_kernel                             1m49s   3GB
Sep 09 07:30:14 Starting candle/overloading/syntax
Sep 09 07:33:49 Finished candle/overloading/syntax                             3m35s   1GB
Sep 09 07:33:49 Starting candle/overloading/semantics
Sep 09 07:46:31 Finished candle/overloading/semantics                         12m41s   2GB
Sep 09 07:46:31 Starting candle/overloading/monadic
Sep 09 07:49:15 Finished candle/overloading/monadic                            2m44s   2GB
Sep 09 07:49:15 Starting candle/overloading/ml_kernel
Sep 09 07:57:39 Finished candle/overloading/ml_kernel                          8m23s   4GB
Sep 09 07:57:39 Starting candle/overloading/ml_checker
Sep 09 08:00:22 Finished candle/overloading/ml_checker                         2m42s   2GB
Sep 09 08:00:22 Starting candle/prover
Sep 09 08:10:42 Finished candle/prover                                        10m19s   4GB
Sep 09 08:10:42 Starting pancake
Sep 09 08:11:06 Finished pancake                                                 24s 701MB
Sep 09 08:11:06 Starting pancake/ffi
Sep 09 08:11:07 Finished pancake/ffi                                              0s  13MB
Sep 09 08:11:07 Starting pancake/semantics
Sep 09 08:13:32 Finished pancake/semantics                                     2m24s   1GB
Sep 09 08:13:32 Starting pancake/parser
Sep 09 08:13:58 Finished pancake/parser                                          25s 416MB
Sep 09 08:13:58 Starting pancake/proofs
Sep 09 08:32:13 Finished pancake/proofs                                       18m14s   6GB
Sep 09 08:32:13 Starting characteristic/examples
Sep 09 08:33:43 Finished characteristic/examples                               1m30s   3GB
Sep 09 08:33:43 Starting tutorial/solutions
Sep 09 08:36:37 Finished tutorial/solutions                                    2m53s   3GB
Sep 09 08:36:37 Starting translator/monadic/examples
Sep 09 08:40:25 Finished translator/monadic/examples                           3m47s   2GB
Sep 09 08:40:25 Starting examples
Sep 09 08:54:50 Finished examples                                             14m24s   2GB
Sep 09 08:54:51 Starting examples/compilation/x64
Sep 09 09:03:56 Finished examples/compilation/x64                              9m05s   5GB
Sep 09 09:03:56 Starting examples/compilation/x64/proofs
Sep 09 09:06:55 Finished examples/compilation/x64/proofs                       2m58s   4GB
Sep 09 09:06:55 Starting examples/compilation/ag32
Sep 09 09:09:11 Finished examples/compilation/ag32                             2m15s   2GB
Sep 09 09:09:11 Starting examples/compilation/ag32/proofs
Sep 09 09:10:21 Finished examples/compilation/ag32/proofs                      1m10s   5GB
Sep 09 09:10:21 Starting examples/compilation/to_word
Sep 09 09:13:52 Finished examples/compilation/to_word                          3m31s   8GB
Sep 09 09:13:53 Starting examples/lpr_checker
Sep 09 09:14:33 Finished examples/lpr_checker                                    40s 722MB
Sep 09 09:14:33 Starting examples/lpr_checker/array
Sep 09 09:42:48 Finished examples/lpr_checker/array                           28m14s   6GB
Sep 09 09:42:48 Starting examples/lpr_checker/array/compilation
Sep 09 09:45:39 Finished examples/lpr_checker/array/compilation                2m51s   9GB
Sep 09 09:45:39 Starting examples/lpr_checker/array/compilation/proofs
Sep 09 09:47:00 Finished examples/lpr_checker/array/compilation/proofs         1m20s   5GB
Sep 09 09:47:00 Starting examples/lpr_checker/array/compilation/proofsARM8
Sep 09 09:48:19 Finished examples/lpr_checker/array/compilation/proofsARM8     1m18s   5GB
Sep 09 09:48:19 Starting examples/xlrup_checker
Sep 09 09:48:57 Finished examples/xlrup_checker                                  38s 928MB
Sep 09 09:48:57 Starting examples/xlrup_checker/array
Sep 09 10:03:33 Finished examples/xlrup_checker/array                         14m35s   2GB
Sep 09 10:03:33 Starting examples/xlrup_checker/array/compilation
Sep 09 10:04:56 Finished examples/xlrup_checker/array/compilation              1m23s   4GB
Sep 09 10:04:56 Starting examples/xlrup_checker/array/compilation/proofs
Sep 09 10:06:01 Finished examples/xlrup_checker/array/compilation/proofs       1m04s   5GB
Sep 09 10:06:01 Starting examples/pseudo_bool
Sep 09 10:07:31 Finished examples/pseudo_bool                                  1m30s 956MB
Sep 09 10:07:31 Starting examples/pseudo_bool/cnf_encoding
Sep 09 10:08:00 Finished examples/pseudo_bool/cnf_encoding                       29s 901MB
Sep 09 10:08:01 Starting examples/pseudo_bool/graph_encoding
Sep 09 10:08:47 Finished examples/pseudo_bool/graph_encoding                     46s   1GB
Sep 09 10:08:47 Starting examples/pseudo_bool/array
Sep 09 11:15:11 Finished examples/pseudo_bool/array                         1h06m23s   6GB
Sep 09 11:15:11 Starting examples/pseudo_bool/array/compilation
Sep 09 11:30:16 Finished examples/pseudo_bool/array/compilation               15m04s  28GB
Sep 09 11:30:16 Starting examples/pseudo_bool/array/compilation/proofs
Sep 09 11:33:17 Finished examples/pseudo_bool/array/compilation/proofs         3m00s   7GB
Sep 09 11:33:17 Starting examples/pseudo_bool/array/compilation/proofsARM8
Sep 09 11:34:37 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m19s   7GB
Sep 09 11:34:37 Starting examples/opentheory
Sep 09 11:43:51 Finished examples/opentheory                                   9m13s   2GB
Sep 09 11:43:51 Starting examples/opentheory
Sep 09 11:43:52 Finished examples/opentheory                                      1s  28MB
Sep 09 11:43:53 Starting examples/opentheory/compilation
Sep 09 11:45:55 Finished examples/opentheory/compilation                       2m02s   6GB
Sep 09 11:45:55 Starting examples/opentheory/compilation/proofs
Sep 09 11:47:02 Finished examples/opentheory/compilation/proofs                1m07s   5GB
Sep 09 11:47:02 Starting examples/opentheory/compilation/ag32
Sep 09 11:49:05 Finished examples/opentheory/compilation/ag32                  2m02s   5GB
Sep 09 11:49:05 Starting examples/opentheory/compilation/ag32/proofs
Sep 09 11:50:47 Finished examples/opentheory/compilation/ag32/proofs           1m42s   6GB
Sep 09 11:50:47 Starting examples/sat_encodings
Sep 09 11:51:55 Finished examples/sat_encodings                                1m07s 444MB
Sep 09 11:51:55 Starting examples/sat_encodings/case_studies
Sep 09 11:53:50 Finished examples/sat_encodings/case_studies                   1m54s   1GB
Sep 09 11:53:50 Starting examples/sat_encodings/translation
Sep 09 11:57:56 Finished examples/sat_encodings/translation                    4m06s   1GB
Sep 09 11:57:56 Starting examples/sat_encodings/translation/compilation
Sep 09 12:00:26 Finished examples/sat_encodings/translation/compilation        2m30s   6GB
Sep 09 12:00:27 Starting examples/deflate
Sep 09 12:00:58 Finished examples/deflate                                        31s 505MB
Sep 09 12:00:58 Starting examples/deflate/translation
Sep 09 12:02:08 Finished examples/deflate/translation                          1m09s   1GB
Sep 09 12:02:08 Starting examples/deflate/translation/compilation
Sep 09 12:03:19 Finished examples/deflate/translation/compilation              1m11s   5GB
Sep 09 12:03:20 Starting examples/vipr
Sep 09 12:07:18 Finished examples/vipr                                         3m58s   4GB
Sep 09 12:07:18 Starting examples/vipr/compilation
Sep 09 12:08:34 Finished examples/vipr/compilation                             1m15s   4GB
Sep 09 12:08:34 Starting translator/okasaki-examples
Sep 09 12:13:18 Finished translator/okasaki-examples                           4m43s   2GB
Sep 09 12:13:18 Starting translator/other-examples
Sep 09 12:14:19 Finished translator/other-examples                             1m01s   1GB
Sep 09 12:14:19 Starting compiler/parsing/tests
Sep 09 12:14:59 Finished compiler/parsing/tests                                  39s   1GB
Sep 09 12:14:59 Starting compiler/inference/tests
Sep 09 12:15:32 Finished compiler/inference/tests                                32s   2GB
Sep 09 12:15:32 Starting compiler/printing/test
Sep 09 12:17:05 Finished compiler/printing/test                                1m33s   2GB
Sep 09 12:17:05 Starting icing/flover
Sep 09 13:03:59 Finished icing/flover                                         46m52s   2GB
Sep 09 13:03:59 Starting icing/
Sep 09 13:33:40 Finished icing/                                               29m41s   5GB
Sep 09 13:33:40 Starting icing/examples
Sep 09 13:35:23 Finished icing/examples                                        1m43s   5GB
Sep 09 13:35:23 Starting compiler/repl
Sep 09 13:44:34 Finished compiler/repl                                         9m10s   7GB
Sep 09 13:44:34 Starting unverified/sexpr-bootstrap/x64/64
Sep 09 14:00:57 Finished unverified/sexpr-bootstrap/x64/64                    16m22s  17GB
Sep 09 14:00:57 Starting unverified/sexpr-bootstrap/x64/32
Sep 09 14:14:05 Finished unverified/sexpr-bootstrap/x64/32                    13m07s  17GB
Sep 09 14:14:05 Starting compiler/benchmarks
Sep 09 14:29:49 Finished compiler/benchmarks                                  15m43s   2GB
Sep 09 14:29:49 Starting compiler/bootstrap/compilation/x64/64
Sep 09 15:10:47 Finished compiler/bootstrap/compilation/x64/64                40m57s  63GB
Sep 09 15:10:47 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 09 15:35:45 Finished compiler/bootstrap/compilation/x64/64/proofs         24m57s  54GB
Sep 09 15:35:45 Starting compiler/bootstrap/compilation/x64/32
Sep 09 16:11:58 Finished compiler/bootstrap/compilation/x64/32                36m12s  64GB
Sep 09 16:11:58 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 09 16:16:12 Finished compiler/bootstrap/compilation/x64/32/proofs          4m14s  26GB
Sep 09 16:16:12 Starting compiler/bootstrap/compilation/arm8/64
Sep 09 17:07:49 Finished compiler/bootstrap/compilation/arm8/64               51m36s  64GB
Sep 09 17:07:49 Starting compiler/bootstrap/compilation/arm8/64/proofs
Sep 09 17:15:05 Finished compiler/bootstrap/compilation/arm8/64/proofs         7m16s  24GB
Sep 09 17:15:05 Starting compiler/bootstrap/compilation/ag32/32
Sep 09 17:50:41 Finished compiler/bootstrap/compilation/ag32/32               35m35s  64GB
Sep 09 17:50:41 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 09 17:57:27 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m45s  20GB
Sep 09 17:57:27 SUCCESS