Job 2494

CakeML:83d1feae4e575d03cea21084366dd7beb6c37fb3
  Fix an error in explorer output [Jul 26 10:02:40]
#1026 (pancake-explorer)
Merging into:05aaba52005899328d6b4f19faf319c26b7e5310
  Merge pull request #1022 from CakeML/pr/991 [Jul 26 04:58:05]
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

Jul 27 06:38:38 Claimed job
Jul 27 06:38:40 Reusing HOL
Jul 27 06:39:26 Starting developers
Jul 27 06:39:31 Finished developers                                               5s  93MB
Jul 27 06:39:31 Starting developers/bin
Jul 27 06:39:38 Finished developers/bin                                           6s   1GB
Jul 27 06:39:38 Starting compiler/proofs
Jul 27 08:42:24 Finished compiler/proofs                                    2h02m46s  27GB
Jul 27 08:42:24 Starting compiler/bootstrap/translation
Jul 27 17:18:36 Finished compiler/bootstrap/translation                     8h36m11s  34GB
Jul 27 17:18:37 Starting semantics/ffi
Jul 27 17:18:42 Finished semantics/ffi                                            5s 344MB
Jul 27 17:18:42 Starting semantics
Jul 27 17:18:43 Finished semantics                                                1s  18MB
Jul 27 17:18:44 Starting semantics/proofs
Jul 27 17:19:17 Finished semantics/proofs                                        33s 954MB
Jul 27 17:19:17 Starting semantics/alt_semantics
Jul 27 17:19:50 Finished semantics/alt_semantics                                 32s 703MB
Jul 27 17:19:50 Starting semantics/alt_semantics/proofs
Jul 27 17:31:57 Finished semantics/alt_semantics/proofs                       12m06s   2GB
Jul 27 17:31:57 Starting basis/pure
Jul 27 17:31:58 Finished basis/pure                                               1s  22MB
Jul 27 17:31:59 Starting translator
Jul 27 17:33:50 Finished translator                                            1m51s   2GB
Jul 27 17:33:50 Starting compiler/parsing
Jul 27 17:33:52 Finished compiler/parsing                                         1s  18MB
Jul 27 17:33:52 Starting characteristic
Jul 27 17:33:54 Finished characteristic                                           1s  22MB
Jul 27 17:33:54 Starting translator/monadic
Jul 27 17:33:56 Finished translator/monadic                                       1s  22MB
Jul 27 17:33:56 Starting basis
Jul 27 17:37:38 Finished basis                                                 3m41s   2GB
Jul 27 17:37:38 Starting compiler/inference
Jul 27 17:37:40 Finished compiler/inference                                       1s  21MB
Jul 27 17:37:40 Starting compiler/backend/reg_alloc
Jul 27 17:37:42 Finished compiler/backend/reg_alloc                               1s  20MB
Jul 27 17:37:42 Starting compiler/backend/gc
Jul 27 17:37:44 Finished compiler/backend/gc                                      2s  24MB
Jul 27 17:37:44 Starting compiler/backend
Jul 27 17:37:59 Finished compiler/backend                                        14s 836MB
Jul 27 17:37:59 Starting compiler/encoders/asm
Jul 27 17:38:01 Finished compiler/encoders/asm                                    1s  23MB
Jul 27 17:38:01 Starting compiler/encoders/x64
Jul 27 17:38:03 Finished compiler/encoders/x64                                    1s  26MB
Jul 27 17:38:03 Starting compiler/encoders/arm7
Jul 27 17:38:05 Finished compiler/encoders/arm7                                   1s  20MB
Jul 27 17:38:05 Starting compiler/encoders/arm8
Jul 27 17:38:07 Finished compiler/encoders/arm8                                   1s  21MB
Jul 27 17:38:07 Starting compiler/encoders/arm8_asl
Jul 27 17:41:24 Finished compiler/encoders/arm8_asl                            3m17s   1GB
Jul 27 17:41:24 Starting compiler/encoders/mips
Jul 27 17:41:26 Finished compiler/encoders/mips                                   1s  24MB
Jul 27 17:41:26 Starting compiler/encoders/riscv
Jul 27 17:41:28 Finished compiler/encoders/riscv                                  1s  23MB
Jul 27 17:41:28 Starting compiler/encoders/ag32
Jul 27 17:41:30 Finished compiler/encoders/ag32                                   1s  20MB
Jul 27 17:41:30 Starting compiler/backend/x64
Jul 27 17:41:33 Finished compiler/backend/x64                                     2s  28MB
Jul 27 17:41:33 Starting compiler/backend/arm7
Jul 27 17:41:35 Finished compiler/backend/arm7                                    2s  33MB
Jul 27 17:41:35 Starting compiler/backend/arm8
Jul 27 17:41:38 Finished compiler/backend/arm8                                    2s  23MB
Jul 27 17:41:38 Starting compiler/backend/mips
Jul 27 17:41:40 Finished compiler/backend/mips                                    2s  25MB
Jul 27 17:41:40 Starting compiler/backend/riscv
Jul 27 17:41:43 Finished compiler/backend/riscv                                   2s  24MB
Jul 27 17:41:43 Starting compiler/backend/ag32
Jul 27 17:43:10 Finished compiler/backend/ag32                                 1m27s   1GB
Jul 27 17:43:11 Starting compiler/parsing/proofs
Jul 27 17:43:12 Finished compiler/parsing/proofs                                  1s  20MB
Jul 27 17:43:12 Starting compiler/inference/proofs
Jul 27 17:43:14 Finished compiler/inference/proofs                                1s  26MB
Jul 27 17:43:14 Starting compiler/backend/semantics
Jul 27 17:47:09 Finished compiler/backend/semantics                            3m54s   1GB
Jul 27 17:47:09 Starting compiler/backend/reg_alloc/proofs
Jul 27 17:47:11 Finished compiler/backend/reg_alloc/proofs                        1s  20MB
Jul 27 17:47:11 Starting compiler/backend/proofs
Jul 27 17:48:11 Finished compiler/backend/proofs                                 59s   2GB
Jul 27 17:48:11 Starting compiler/backend/serialiser
Jul 27 17:48:14 Finished compiler/backend/serialiser                              2s  25MB
Jul 27 17:48:14 Starting compiler/encoders/x64/proofs
Jul 27 17:58:04 Finished compiler/encoders/x64/proofs                          9m50s   5GB
Jul 27 17:58:04 Starting compiler/encoders/arm7/proofs
Jul 27 18:11:43 Finished compiler/encoders/arm7/proofs                        13m38s   6GB
Jul 27 18:11:43 Starting compiler/encoders/arm8/proofs
Jul 27 18:18:43 Finished compiler/encoders/arm8/proofs                         6m59s   1GB
Jul 27 18:18:43 Starting compiler/encoders/arm8_asl/proofs
Jul 27 18:34:44 Finished compiler/encoders/arm8_asl/proofs                    16m00s   1GB
Jul 27 18:34:44 Starting compiler/encoders/mips/proofs
Jul 27 18:45:25 Finished compiler/encoders/mips/proofs                        10m40s   3GB
Jul 27 18:45:25 Starting compiler/encoders/riscv/proofs
Jul 27 18:54:26 Finished compiler/encoders/riscv/proofs                        9m01s   1GB
Jul 27 18:54:26 Starting compiler/encoders/ag32/proofs
Jul 27 18:57:03 Finished compiler/encoders/ag32/proofs                         2m36s   1GB
Jul 27 18:57:03 Starting compiler/backend/x64/proofs
Jul 27 18:57:36 Finished compiler/backend/x64/proofs                             32s   2GB
Jul 27 18:57:36 Starting compiler/backend/arm7/proofs
Jul 27 18:58:11 Finished compiler/backend/arm7/proofs                            34s   1GB
Jul 27 18:58:11 Starting compiler/backend/arm8/proofs
Jul 27 18:58:44 Finished compiler/backend/arm8/proofs                            32s   1GB
Jul 27 18:58:44 Starting compiler/backend/arm8_asl
Jul 27 18:59:09 Finished compiler/backend/arm8_asl                               24s   1GB
Jul 27 18:59:09 Starting compiler/backend/mips/proofs
Jul 27 18:59:44 Finished compiler/backend/mips/proofs                            34s   1GB
Jul 27 18:59:44 Starting compiler/backend/riscv/proofs
Jul 27 19:00:21 Finished compiler/backend/riscv/proofs                           37s   2GB
Jul 27 19:00:21 Starting compiler/backend/ag32/proofs
Jul 27 19:15:02 Finished compiler/backend/ag32/proofs                         14m40s   3GB
Jul 27 19:15:02 Starting compiler/backend/cv_compute
Jul 27 19:16:26 Finished compiler/backend/cv_compute                           1m24s   2GB
Jul 27 19:16:26 Starting cv_translator
Jul 27 19:37:02 Finished cv_translator                                        20m36s   6GB
Jul 27 19:37:02 Starting candle/set-theory
Jul 27 19:37:45 Finished candle/set-theory                                       42s   1GB
Jul 27 19:37:45 Starting candle/syntax-lib
Jul 27 19:37:47 Finished candle/syntax-lib                                        1s  19MB
Jul 27 19:37:47 Starting candle/standard/syntax
Jul 27 19:38:00 Finished candle/standard/syntax                                  12s 797MB
Jul 27 19:38:00 Starting candle/standard/semantics
Jul 27 19:40:09 Finished candle/standard/semantics                             2m09s   1GB
Jul 27 19:40:09 Starting candle/standard/monadic
Jul 27 19:40:11 Finished candle/standard/monadic                                  1s  22MB
Jul 27 19:40:11 Starting candle/standard/ml_kernel
Jul 27 19:41:55 Finished candle/standard/ml_kernel                             1m43s   3GB
Jul 27 19:41:55 Starting candle/overloading/syntax
Jul 27 19:45:28 Finished candle/overloading/syntax                             3m33s   1GB
Jul 27 19:45:28 Starting candle/overloading/semantics
Jul 27 19:58:14 Finished candle/overloading/semantics                         12m45s   2GB
Jul 27 19:58:14 Starting candle/overloading/monadic
Jul 27 20:01:05 Finished candle/overloading/monadic                            2m50s   1GB
Jul 27 20:01:05 Starting candle/overloading/ml_kernel
Jul 27 20:09:10 Finished candle/overloading/ml_kernel                          8m04s   4GB
Jul 27 20:09:10 Starting candle/overloading/ml_checker
Jul 27 20:11:51 Finished candle/overloading/ml_checker                         2m40s   2GB
Jul 27 20:11:51 Starting candle/prover
Jul 27 20:22:23 Finished candle/prover                                        10m32s   3GB
Jul 27 20:22:24 Starting pancake
Jul 27 20:23:16 Finished pancake                                                 52s   1GB
Jul 27 20:23:16 Starting pancake/ffi
Jul 27 20:23:17 Finished pancake/ffi                                              0s  13MB
Jul 27 20:23:17 Starting pancake/semantics
Jul 27 20:26:19 Finished pancake/semantics                                     3m02s   1GB
Jul 27 20:26:19 Starting pancake/parser
Jul 27 20:26:50 Finished pancake/parser                                          30s 743MB
Jul 27 20:26:50 Starting pancake/proofs
Jul 27 21:01:40 Finished pancake/proofs                                       34m50s   7GB
Jul 27 21:01:40 Starting characteristic/examples
Jul 27 21:03:16 Finished characteristic/examples                               1m35s   3GB
Jul 27 21:03:16 Starting tutorial/solutions
Jul 27 21:05:53 Finished tutorial/solutions                                    2m36s   2GB
Jul 27 21:05:53 Starting translator/monadic/examples
Jul 27 21:10:14 Finished translator/monadic/examples                           4m20s   4GB
Jul 27 21:10:14 Starting examples
Jul 27 21:26:08 Finished examples                                             15m54s   6GB
Jul 27 21:26:08 Starting examples/compilation/x64
Jul 27 21:34:47 Finished examples/compilation/x64                              8m38s   5GB
Jul 27 21:34:47 Starting examples/compilation/x64/proofs
Jul 27 21:37:40 Finished examples/compilation/x64/proofs                       2m52s   4GB
Jul 27 21:37:40 Starting examples/compilation/ag32
Jul 27 21:39:48 Finished examples/compilation/ag32                             2m07s   2GB
Jul 27 21:39:48 Starting examples/compilation/ag32/proofs
Jul 27 21:40:58 Finished examples/compilation/ag32/proofs                      1m10s   5GB
Jul 27 21:40:59 Starting examples/compilation/to_word
Jul 27 21:44:30 Finished examples/compilation/to_word                          3m30s   7GB
Jul 27 21:44:30 Starting examples/lpr_checker
Jul 27 21:45:40 Finished examples/lpr_checker                                  1m10s   1GB
Jul 27 21:45:40 Starting examples/lpr_checker/array
Jul 27 22:15:58 Finished examples/lpr_checker/array                           30m17s   6GB
Jul 27 22:15:58 Starting examples/lpr_checker/array/compilation
Jul 27 22:18:41 Finished examples/lpr_checker/array/compilation                2m42s   8GB
Jul 27 22:18:41 Starting examples/lpr_checker/array/compilation/proofs
Jul 27 22:20:03 Finished examples/lpr_checker/array/compilation/proofs         1m21s   6GB
Jul 27 22:20:03 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 27 22:21:19 Finished examples/lpr_checker/array/compilation/proofsARM8     1m16s   6GB
Jul 27 22:21:19 Starting examples/xlrup_checker
Jul 27 22:22:21 Finished examples/xlrup_checker                                1m01s   1GB
Jul 27 22:22:21 Starting examples/xlrup_checker/array
Jul 27 22:38:34 Finished examples/xlrup_checker/array                         16m12s   4GB
Jul 27 22:38:34 Starting examples/xlrup_checker/array/compilation
Jul 27 22:39:56 Finished examples/xlrup_checker/array/compilation              1m21s   4GB
Jul 27 22:39:56 Starting examples/xlrup_checker/array/compilation/proofs
Jul 27 22:41:03 Finished examples/xlrup_checker/array/compilation/proofs       1m06s   5GB
Jul 27 22:41:03 Starting examples/pseudo_bool
Jul 27 22:43:07 Finished examples/pseudo_bool                                  2m04s   1GB
Jul 27 22:43:08 Starting examples/pseudo_bool/cnf_encoding
Jul 27 22:43:38 Finished examples/pseudo_bool/cnf_encoding                       30s 939MB
Jul 27 22:43:38 Starting examples/pseudo_bool/graph_encoding
Jul 27 22:44:24 Finished examples/pseudo_bool/graph_encoding                     46s   1GB
Jul 27 22:44:24 Starting examples/pseudo_bool/array
Jul 27 23:54:34 Finished examples/pseudo_bool/array                         1h10m09s   8GB
Jul 27 23:54:34 Starting examples/pseudo_bool/array/compilation
Jul 28 00:09:10 Finished examples/pseudo_bool/array/compilation               14m35s  24GB
Jul 28 00:09:10 Starting examples/pseudo_bool/array/compilation/proofs
Jul 28 00:12:07 Finished examples/pseudo_bool/array/compilation/proofs         2m56s   7GB
Jul 28 00:12:07 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 28 00:13:30 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m22s   7GB
Jul 28 00:13:30 Starting examples/opentheory
Jul 28 00:24:40 Finished examples/opentheory                                  11m09s   4GB
Jul 28 00:24:40 Starting examples/opentheory
Jul 28 00:24:42 Finished examples/opentheory                                      1s  31MB
Jul 28 00:24:42 Starting examples/opentheory/compilation
Jul 28 00:26:43 Finished examples/opentheory/compilation                       2m00s   5GB
Jul 28 00:26:43 Starting examples/opentheory/compilation/proofs
Jul 28 00:27:49 Finished examples/opentheory/compilation/proofs                1m06s   5GB
Jul 28 00:27:49 Starting examples/opentheory/compilation/ag32
Jul 28 00:29:52 Finished examples/opentheory/compilation/ag32                  2m02s   5GB
Jul 28 00:29:52 Starting examples/opentheory/compilation/ag32/proofs
Jul 28 00:31:34 Finished examples/opentheory/compilation/ag32/proofs           1m42s   7GB
Jul 28 00:31:35 Starting examples/sat_encodings
Jul 28 00:33:53 Finished examples/sat_encodings                                2m18s   1GB
Jul 28 00:33:53 Starting examples/sat_encodings/case_studies
Jul 28 00:35:49 Finished examples/sat_encodings/case_studies                   1m55s   1GB
Jul 28 00:35:49 Starting examples/sat_encodings/translation
Jul 28 00:42:24 Finished examples/sat_encodings/translation                    6m35s   4GB
Jul 28 00:42:24 Starting examples/sat_encodings/translation/compilation
Jul 28 00:44:43 Finished examples/sat_encodings/translation/compilation        2m18s   4GB
Jul 28 00:44:43 Starting examples/deflate
Jul 28 00:45:53 Finished examples/deflate                                      1m09s   1GB
Jul 28 00:45:53 Starting examples/deflate/translation
Jul 28 00:47:41 Finished examples/deflate/translation                          1m48s   3GB
Jul 28 00:47:41 Starting examples/deflate/translation/compilation
Jul 28 00:48:47 Finished examples/deflate/translation/compilation              1m05s   3GB
Jul 28 00:48:48 Starting examples/vipr
Jul 28 00:53:02 Finished examples/vipr                                         4m13s   5GB
Jul 28 00:53:02 Starting examples/vipr/compilation
Jul 28 00:54:14 Finished examples/vipr/compilation                             1m12s   4GB
Jul 28 00:54:14 Starting translator/okasaki-examples
Jul 28 00:59:40 Finished translator/okasaki-examples                           5m25s   2GB
Jul 28 00:59:40 Starting translator/other-examples
Jul 28 01:00:40 Finished translator/other-examples                             1m00s   1GB
Jul 28 01:00:40 Starting compiler/parsing/tests
Jul 28 01:01:14 Finished compiler/parsing/tests                                  33s 834MB
Jul 28 01:01:14 Starting compiler/inference/tests
Jul 28 01:01:47 Finished compiler/inference/tests                                33s   1GB
Jul 28 01:01:47 Starting compiler/printing/test
Jul 28 01:03:15 Finished compiler/printing/test                                1m27s   2GB
Jul 28 01:03:15 Starting icing/flover
Jul 28 01:48:27 Finished icing/flover                                         45m12s   2GB
Jul 28 01:48:27 Starting icing/
Jul 28 02:18:42 Finished icing/                                               30m14s   5GB
Jul 28 02:18:42 Starting icing/examples
Jul 28 02:20:29 Finished icing/examples                                        1m47s   5GB
Jul 28 02:20:29 Starting compiler/repl
Jul 28 02:29:23 Finished compiler/repl                                         8m53s   6GB
Jul 28 02:29:23 Starting unverified/sexpr-bootstrap/x64/64
Jul 28 02:44:14 Finished unverified/sexpr-bootstrap/x64/64                    14m50s  18GB
Jul 28 02:44:14 Starting unverified/sexpr-bootstrap/x64/32
Jul 28 02:55:59 Finished unverified/sexpr-bootstrap/x64/32                    11m45s  14GB
Jul 28 02:56:00 Starting compiler/benchmarks
Jul 28 03:11:39 Finished compiler/benchmarks                                  15m38s   2GB
Jul 28 03:11:39 Starting compiler/bootstrap/compilation/x64/64
Jul 28 03:51:24 Finished compiler/bootstrap/compilation/x64/64                39m45s  63GB
Jul 28 03:51:24 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 28 04:15:01 Finished compiler/bootstrap/compilation/x64/64/proofs         23m36s  37GB
Jul 28 04:15:01 Starting compiler/bootstrap/compilation/x64/32
Jul 28 04:54:11 Finished compiler/bootstrap/compilation/x64/32                39m10s  64GB
Jul 28 04:54:11 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 28 04:58:03 Finished compiler/bootstrap/compilation/x64/32/proofs          3m51s  22GB
Jul 28 04:58:03 Starting compiler/bootstrap/compilation/arm8/64
Jul 28 05:47:07 Finished compiler/bootstrap/compilation/arm8/64               49m04s  64GB
Jul 28 05:47:07 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jul 28 05:54:07 Finished compiler/bootstrap/compilation/arm8/64/proofs         7m00s  22GB
Jul 28 05:54:08 Starting compiler/bootstrap/compilation/ag32/32
Jul 28 06:30:47 Finished compiler/bootstrap/compilation/ag32/32               36m39s  64GB
Jul 28 06:30:47 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 28 06:37:33 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m45s  21GB
Jul 28 06:37:33 SUCCESS