Job 2482

CakeML:fad3454fa9892ddb2c956d60af20f07548547963
  Merge pull request #1016 from talsewell/master [Jul 22 10:39:33]
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser [Jul 15 06:13:45]
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-x64-32.tar.gz

Jul 22 11:05:08 Claimed job
Jul 22 11:05:09 Reusing HOL
Jul 22 11:05:53 Starting developers
Jul 22 11:05:59 Finished developers                                               5s 150MB
Jul 22 11:05:59 Starting developers/bin
Jul 22 11:06:05 Finished developers/bin                                           5s   1GB
Jul 22 11:06:05 Starting compiler/proofs
Jul 22 13:09:00 Finished compiler/proofs                                    2h02m55s  21GB
Jul 22 13:09:00 Starting compiler/bootstrap/translation
Jul 22 21:40:03 Finished compiler/bootstrap/translation                     8h31m02s  34GB
Jul 22 21:40:03 Starting semantics/ffi
Jul 22 21:40:09 Finished semantics/ffi                                            5s 393MB
Jul 22 21:40:09 Starting semantics
Jul 22 21:40:10 Finished semantics                                                1s  20MB
Jul 22 21:40:10 Starting semantics/proofs
Jul 22 21:40:45 Finished semantics/proofs                                        34s 858MB
Jul 22 21:40:45 Starting semantics/alt_semantics
Jul 22 21:41:19 Finished semantics/alt_semantics                                 33s 689MB
Jul 22 21:41:19 Starting semantics/alt_semantics/proofs
Jul 22 21:53:27 Finished semantics/alt_semantics/proofs                       12m08s   2GB
Jul 22 21:53:27 Starting basis/pure
Jul 22 21:53:29 Finished basis/pure                                               1s  18MB
Jul 22 21:53:29 Starting translator
Jul 22 21:55:19 Finished translator                                            1m50s   2GB
Jul 22 21:55:19 Starting compiler/parsing
Jul 22 21:55:21 Finished compiler/parsing                                         1s  19MB
Jul 22 21:55:21 Starting characteristic
Jul 22 21:55:23 Finished characteristic                                           1s  28MB
Jul 22 21:55:23 Starting translator/monadic
Jul 22 21:55:25 Finished translator/monadic                                       1s  22MB
Jul 22 21:55:25 Starting basis
Jul 22 21:59:08 Finished basis                                                 3m42s   3GB
Jul 22 21:59:08 Starting compiler/inference
Jul 22 21:59:10 Finished compiler/inference                                       1s  24MB
Jul 22 21:59:10 Starting compiler/backend/reg_alloc
Jul 22 21:59:11 Finished compiler/backend/reg_alloc                               1s  19MB
Jul 22 21:59:11 Starting compiler/backend/gc
Jul 22 21:59:14 Finished compiler/backend/gc                                      2s  26MB
Jul 22 21:59:14 Starting compiler/backend
Jul 22 21:59:29 Finished compiler/backend                                        14s 844MB
Jul 22 21:59:29 Starting compiler/encoders/asm
Jul 22 21:59:31 Finished compiler/encoders/asm                                    1s  27MB
Jul 22 21:59:31 Starting compiler/encoders/x64
Jul 22 21:59:33 Finished compiler/encoders/x64                                    1s  19MB
Jul 22 21:59:33 Starting compiler/encoders/arm7
Jul 22 21:59:35 Finished compiler/encoders/arm7                                   1s  22MB
Jul 22 21:59:35 Starting compiler/encoders/arm8
Jul 22 21:59:37 Finished compiler/encoders/arm8                                   1s  23MB
Jul 22 21:59:37 Starting compiler/encoders/arm8_asl
Jul 22 22:02:54 Finished compiler/encoders/arm8_asl                            3m16s   1GB
Jul 22 22:02:54 Starting compiler/encoders/mips
Jul 22 22:02:56 Finished compiler/encoders/mips                                   1s  22MB
Jul 22 22:02:56 Starting compiler/encoders/riscv
Jul 22 22:02:58 Finished compiler/encoders/riscv                                  1s  20MB
Jul 22 22:02:58 Starting compiler/encoders/ag32
Jul 22 22:03:00 Finished compiler/encoders/ag32                                   1s  22MB
Jul 22 22:03:00 Starting compiler/backend/x64
Jul 22 22:03:02 Finished compiler/backend/x64                                     2s  29MB
Jul 22 22:03:02 Starting compiler/backend/arm7
Jul 22 22:03:05 Finished compiler/backend/arm7                                    2s  29MB
Jul 22 22:03:05 Starting compiler/backend/arm8
Jul 22 22:03:07 Finished compiler/backend/arm8                                    2s  32MB
Jul 22 22:03:07 Starting compiler/backend/mips
Jul 22 22:03:10 Finished compiler/backend/mips                                    2s  27MB
Jul 22 22:03:10 Starting compiler/backend/riscv
Jul 22 22:03:12 Finished compiler/backend/riscv                                   2s  27MB
Jul 22 22:03:12 Starting compiler/backend/ag32
Jul 22 22:04:39 Finished compiler/backend/ag32                                 1m27s   1GB
Jul 22 22:04:39 Starting compiler/parsing/proofs
Jul 22 22:04:41 Finished compiler/parsing/proofs                                  1s  18MB
Jul 22 22:04:41 Starting compiler/inference/proofs
Jul 22 22:04:43 Finished compiler/inference/proofs                                1s  22MB
Jul 22 22:04:43 Starting compiler/backend/semantics
Jul 22 22:08:39 Finished compiler/backend/semantics                            3m55s   1GB
Jul 22 22:08:39 Starting compiler/backend/reg_alloc/proofs
Jul 22 22:08:41 Finished compiler/backend/reg_alloc/proofs                        1s  20MB
Jul 22 22:08:41 Starting compiler/backend/proofs
Jul 22 22:09:44 Finished compiler/backend/proofs                               1m02s   3GB
Jul 22 22:09:44 Starting compiler/backend/serialiser
Jul 22 22:09:47 Finished compiler/backend/serialiser                              2s  32MB
Jul 22 22:09:47 Starting compiler/encoders/x64/proofs
Jul 22 22:19:37 Finished compiler/encoders/x64/proofs                          9m50s   5GB
Jul 22 22:19:37 Starting compiler/encoders/arm7/proofs
Jul 22 22:33:26 Finished compiler/encoders/arm7/proofs                        13m48s   3GB
Jul 22 22:33:26 Starting compiler/encoders/arm8/proofs
Jul 22 22:40:25 Finished compiler/encoders/arm8/proofs                         6m58s   1GB
Jul 22 22:40:25 Starting compiler/encoders/arm8_asl/proofs
Jul 22 22:56:19 Finished compiler/encoders/arm8_asl/proofs                    15m53s   1GB
Jul 22 22:56:19 Starting compiler/encoders/mips/proofs
Jul 22 23:07:10 Finished compiler/encoders/mips/proofs                        10m51s   3GB
Jul 22 23:07:10 Starting compiler/encoders/riscv/proofs
Jul 22 23:16:08 Finished compiler/encoders/riscv/proofs                        8m58s   1GB
Jul 22 23:16:08 Starting compiler/encoders/ag32/proofs
Jul 22 23:18:42 Finished compiler/encoders/ag32/proofs                         2m33s   1GB
Jul 22 23:18:42 Starting compiler/backend/x64/proofs
Jul 22 23:19:15 Finished compiler/backend/x64/proofs                             32s   1GB
Jul 22 23:19:15 Starting compiler/backend/arm7/proofs
Jul 22 23:19:51 Finished compiler/backend/arm7/proofs                            35s   2GB
Jul 22 23:19:51 Starting compiler/backend/arm8/proofs
Jul 22 23:20:25 Finished compiler/backend/arm8/proofs                            33s   2GB
Jul 22 23:20:25 Starting compiler/backend/arm8_asl
Jul 22 23:20:49 Finished compiler/backend/arm8_asl                               24s   2GB
Jul 22 23:20:49 Starting compiler/backend/mips/proofs
Jul 22 23:21:24 Finished compiler/backend/mips/proofs                            34s   2GB
Jul 22 23:21:24 Starting compiler/backend/riscv/proofs
Jul 22 23:22:02 Finished compiler/backend/riscv/proofs                           37s   2GB
Jul 22 23:22:02 Starting compiler/backend/ag32/proofs
Jul 22 23:36:32 Finished compiler/backend/ag32/proofs                         14m29s   4GB
Jul 22 23:36:32 Starting compiler/backend/cv_compute
Jul 22 23:37:51 Finished compiler/backend/cv_compute                           1m19s   2GB
Jul 22 23:37:51 Starting cv_translator
Jul 22 23:58:15 Finished cv_translator                                        20m23s   7GB
Jul 22 23:58:15 Starting candle/set-theory
Jul 22 23:58:58 Finished candle/set-theory                                       43s   1GB
Jul 22 23:58:58 Starting candle/syntax-lib
Jul 22 23:59:00 Finished candle/syntax-lib                                        1s  20MB
Jul 22 23:59:00 Starting candle/standard/syntax
Jul 22 23:59:13 Finished candle/standard/syntax                                  12s 792MB
Jul 22 23:59:13 Starting candle/standard/semantics
Jul 23 00:01:21 Finished candle/standard/semantics                             2m07s   1GB
Jul 23 00:01:21 Starting candle/standard/monadic
Jul 23 00:01:23 Finished candle/standard/monadic                                  1s  28MB
Jul 23 00:01:23 Starting candle/standard/ml_kernel
Jul 23 00:03:09 Finished candle/standard/ml_kernel                             1m45s   3GB
Jul 23 00:03:09 Starting candle/overloading/syntax
Jul 23 00:06:45 Finished candle/overloading/syntax                             3m36s   1GB
Jul 23 00:06:45 Starting candle/overloading/semantics
Jul 23 00:19:27 Finished candle/overloading/semantics                         12m41s   2GB
Jul 23 00:19:27 Starting candle/overloading/monadic
Jul 23 00:22:17 Finished candle/overloading/monadic                            2m49s   1GB
Jul 23 00:22:17 Starting candle/overloading/ml_kernel
Jul 23 00:30:20 Finished candle/overloading/ml_kernel                          8m02s   3GB
Jul 23 00:30:20 Starting candle/overloading/ml_checker
Jul 23 00:32:58 Finished candle/overloading/ml_checker                         2m37s   5GB
Jul 23 00:32:58 Starting candle/prover
Jul 23 00:43:10 Finished candle/prover                                        10m12s   4GB
Jul 23 00:43:10 Starting pancake
Jul 23 00:44:01 Finished pancake                                                 50s   1GB
Jul 23 00:44:01 Starting pancake/ffi
Jul 23 00:44:02 Finished pancake/ffi                                              0s  13MB
Jul 23 00:44:02 Starting pancake/semantics
Jul 23 00:46:47 Finished pancake/semantics                                     2m44s   1GB
Jul 23 00:46:47 Starting pancake/parser
Jul 23 00:47:18 Finished pancake/parser                                          30s   1GB
Jul 23 00:47:18 Starting pancake/proofs
Jul 23 01:22:16 Finished pancake/proofs                                       34m58s   6GB
Jul 23 01:22:16 Starting characteristic/examples
Jul 23 01:23:51 Finished characteristic/examples                               1m34s   3GB
Jul 23 01:23:51 Starting tutorial/solutions
Jul 23 01:26:36 Finished tutorial/solutions                                    2m44s   2GB
Jul 23 01:26:36 Starting translator/monadic/examples
Jul 23 01:30:54 Finished translator/monadic/examples                           4m18s   3GB
Jul 23 01:30:54 Starting examples
Jul 23 01:46:47 Finished examples                                             15m53s   5GB
Jul 23 01:46:48 Starting examples/compilation/x64
Jul 23 01:55:24 Finished examples/compilation/x64                              8m36s   5GB
Jul 23 01:55:24 Starting examples/compilation/x64/proofs
Jul 23 01:58:16 Finished examples/compilation/x64/proofs                       2m51s   4GB
Jul 23 01:58:16 Starting examples/compilation/ag32
Jul 23 02:00:24 Finished examples/compilation/ag32                             2m07s   2GB
Jul 23 02:00:24 Starting examples/compilation/ag32/proofs
Jul 23 02:01:34 Finished examples/compilation/ag32/proofs                      1m10s   5GB
Jul 23 02:01:34 Starting examples/compilation/to_word
Jul 23 02:05:05 Finished examples/compilation/to_word                          3m30s   7GB
Jul 23 02:05:05 Starting examples/lpr_checker
Jul 23 02:06:17 Finished examples/lpr_checker                                  1m11s   1GB
Jul 23 02:06:17 Starting examples/lpr_checker/array
Jul 23 02:36:49 Finished examples/lpr_checker/array                           30m31s   6GB
Jul 23 02:36:49 Starting examples/lpr_checker/array/compilation
Jul 23 02:39:29 Finished examples/lpr_checker/array/compilation                2m40s   6GB
Jul 23 02:39:29 Starting examples/lpr_checker/array/compilation/proofs
Jul 23 02:40:48 Finished examples/lpr_checker/array/compilation/proofs         1m18s   6GB
Jul 23 02:40:48 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 23 02:42:02 Finished examples/lpr_checker/array/compilation/proofsARM8     1m14s   6GB
Jul 23 02:42:02 Starting examples/xlrup_checker
Jul 23 02:43:07 Finished examples/xlrup_checker                                1m04s   1GB
Jul 23 02:43:07 Starting examples/xlrup_checker/array
Jul 23 02:58:56 Finished examples/xlrup_checker/array                         15m49s   4GB
Jul 23 02:58:56 Starting examples/xlrup_checker/array/compilation
Jul 23 03:00:19 Finished examples/xlrup_checker/array/compilation              1m22s   4GB
Jul 23 03:00:19 Starting examples/xlrup_checker/array/compilation/proofs
Jul 23 03:01:27 Finished examples/xlrup_checker/array/compilation/proofs       1m07s   5GB
Jul 23 03:01:27 Starting examples/pseudo_bool
Jul 23 03:03:33 Finished examples/pseudo_bool                                  2m06s   1GB
Jul 23 03:03:34 Starting examples/pseudo_bool/cnf_encoding
Jul 23 03:04:03 Finished examples/pseudo_bool/cnf_encoding                       29s   1GB
Jul 23 03:04:03 Starting examples/pseudo_bool/graph_encoding
Jul 23 03:04:54 Finished examples/pseudo_bool/graph_encoding                     50s   1GB
Jul 23 03:04:54 Starting examples/pseudo_bool/array
Jul 23 04:14:48 Finished examples/pseudo_bool/array                         1h09m53s   8GB
Jul 23 04:14:48 Starting examples/pseudo_bool/array/compilation
Jul 23 04:29:57 Finished examples/pseudo_bool/array/compilation               15m09s  26GB
Jul 23 04:29:57 Starting examples/pseudo_bool/array/compilation/proofs
Jul 23 04:32:55 Finished examples/pseudo_bool/array/compilation/proofs         2m57s   7GB
Jul 23 04:32:55 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 23 04:34:12 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m16s   7GB
Jul 23 04:34:12 Starting examples/opentheory
Jul 23 04:45:23 Finished examples/opentheory                                  11m10s   4GB
Jul 23 04:45:23 Starting examples/opentheory
Jul 23 04:45:25 Finished examples/opentheory                                      1s  31MB
Jul 23 04:45:26 Starting examples/opentheory/compilation
Jul 23 04:47:28 Finished examples/opentheory/compilation                       2m02s   5GB
Jul 23 04:47:28 Starting examples/opentheory/compilation/proofs
Jul 23 04:48:33 Finished examples/opentheory/compilation/proofs                1m05s   5GB
Jul 23 04:48:33 Starting examples/opentheory/compilation/ag32
Jul 23 04:50:39 Finished examples/opentheory/compilation/ag32                  2m05s   6GB
Jul 23 04:50:39 Starting examples/opentheory/compilation/ag32/proofs
Jul 23 04:52:29 Finished examples/opentheory/compilation/ag32/proofs           1m49s   9GB
Jul 23 04:52:29 Starting examples/sat_encodings
Jul 23 04:54:51 Finished examples/sat_encodings                                2m22s   1GB
Jul 23 04:54:52 Starting examples/sat_encodings/case_studies
Jul 23 04:56:48 Finished examples/sat_encodings/case_studies                   1m56s   1GB
Jul 23 04:56:48 Starting examples/sat_encodings/translation
Jul 23 05:03:23 Finished examples/sat_encodings/translation                    6m35s   4GB
Jul 23 05:03:23 Starting examples/sat_encodings/translation/compilation
Jul 23 05:05:43 Finished examples/sat_encodings/translation/compilation        2m19s   4GB
Jul 23 05:05:43 Starting examples/deflate
Jul 23 05:06:52 Finished examples/deflate                                      1m09s   1GB
Jul 23 05:06:52 Starting examples/deflate/translation
Jul 23 05:08:41 Finished examples/deflate/translation                          1m48s   3GB
Jul 23 05:08:41 Starting examples/deflate/translation/compilation
Jul 23 05:09:54 Finished examples/deflate/translation/compilation              1m12s   3GB
Jul 23 05:09:54 Starting examples/vipr
Jul 23 05:13:57 Finished examples/vipr                                         4m03s   3GB
Jul 23 05:13:57 Starting examples/vipr/compilation
Jul 23 05:15:13 Finished examples/vipr/compilation                             1m15s   4GB
Jul 23 05:15:13 Starting translator/okasaki-examples
Jul 23 05:20:36 Finished translator/okasaki-examples                           5m23s   2GB
Jul 23 05:20:36 Starting translator/other-examples
Jul 23 05:21:35 Finished translator/other-examples                               58s   1GB
Jul 23 05:21:35 Starting compiler/parsing/tests
Jul 23 05:22:07 Finished compiler/parsing/tests                                  32s 821MB
Jul 23 05:22:07 Starting compiler/inference/tests
Jul 23 05:22:39 Finished compiler/inference/tests                                31s   1GB
Jul 23 05:22:39 Starting compiler/printing/test
Jul 23 05:24:06 Finished compiler/printing/test                                1m27s   2GB
Jul 23 05:24:06 Starting icing/flover
Jul 23 06:09:25 Finished icing/flover                                         45m19s   2GB
Jul 23 06:09:25 Starting icing/
Jul 23 06:38:31 Finished icing/                                               29m05s   3GB
Jul 23 06:38:31 Starting icing/examples
Jul 23 06:40:11 Finished icing/examples                                        1m39s   3GB
Jul 23 06:40:11 Starting compiler/repl
Jul 23 06:49:22 Finished compiler/repl                                         9m11s   6GB
Jul 23 06:49:22 Starting unverified/sexpr-bootstrap/x64/64
Jul 23 07:04:07 Finished unverified/sexpr-bootstrap/x64/64                    14m44s  16GB
Jul 23 07:04:08 Starting unverified/sexpr-bootstrap/x64/32
Jul 23 07:15:39 Finished unverified/sexpr-bootstrap/x64/32                    11m31s  14GB
Jul 23 07:15:39 Starting compiler/benchmarks
Jul 23 07:31:19 Finished compiler/benchmarks                                  15m39s   2GB
Jul 23 07:31:19 Starting compiler/bootstrap/compilation/x64/64
Jul 23 08:10:58 Finished compiler/bootstrap/compilation/x64/64                39m38s  63GB
Jul 23 08:10:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 23 08:34:56 Finished compiler/bootstrap/compilation/x64/64/proofs         23m57s  48GB
Jul 23 08:34:56 Starting compiler/bootstrap/compilation/x64/32
Jul 23 09:09:41 Finished compiler/bootstrap/compilation/x64/32                34m44s  63GB
Jul 23 09:09:41 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 23 09:13:45 Finished compiler/bootstrap/compilation/x64/32/proofs          4m03s  23GB
Jul 23 09:13:45 Starting compiler/bootstrap/compilation/ag32/32
Jul 23 09:50:51 Finished compiler/bootstrap/compilation/ag32/32               37m05s  63GB
Jul 23 09:50:51 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 23 09:57:36 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m44s  19GB
Jul 23 09:57:36 SUCCESS