Job 2493

CakeML: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: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

Jul 26 20:45:42 Claimed job
Jul 26 20:45:46 Reusing HOL
Jul 26 20:45:57 Starting developers
Jul 26 20:46:01 Finished developers                                               2s 213MB
Jul 26 20:46:01 Starting developers/bin
Jul 26 20:46:11 Finished developers/bin                                           9s   1GB
Jul 26 20:46:12 Starting compiler/proofs
Jul 26 22:40:09 Finished compiler/proofs                                    1h53m55s  38GB
Jul 26 22:40:10 Starting compiler/bootstrap/translation
Jul 27 07:12:53 Finished compiler/bootstrap/translation                     8h32m42s  79GB
Jul 27 07:12:54 Starting semantics/ffi
Jul 27 07:13:03 Finished semantics/ffi                                            7s 657MB
Jul 27 07:13:04 Starting semantics
Jul 27 07:13:05 Finished semantics                                                0s  69MB
Jul 27 07:13:06 Starting semantics/proofs
Jul 27 07:13:45 Finished semantics/proofs                                        38s   1GB
Jul 27 07:13:46 Starting semantics/alt_semantics
Jul 27 07:14:27 Finished semantics/alt_semantics                                 40s   1GB
Jul 27 07:14:28 Starting semantics/alt_semantics/proofs
Jul 27 07:25:34 Finished semantics/alt_semantics/proofs                       11m05s   5GB
Jul 27 07:25:35 Starting basis/pure
Jul 27 07:25:36 Finished basis/pure                                               0s  70MB
Jul 27 07:25:37 Starting translator
Jul 27 07:27:21 Finished translator                                            1m42s   3GB
Jul 27 07:27:22 Starting compiler/parsing
Jul 27 07:27:23 Finished compiler/parsing                                         0s  75MB
Jul 27 07:27:24 Starting characteristic
Jul 27 07:27:25 Finished characteristic                                           0s  94MB
Jul 27 07:27:26 Starting translator/monadic
Jul 27 07:27:28 Finished translator/monadic                                       0s  96MB
Jul 27 07:27:29 Starting basis
Jul 27 07:31:02 Finished basis                                                 3m32s   5GB
Jul 27 07:31:03 Starting compiler/inference
Jul 27 07:31:05 Finished compiler/inference                                       0s  99MB
Jul 27 07:31:06 Starting compiler/backend/reg_alloc
Jul 27 07:31:07 Finished compiler/backend/reg_alloc                               0s  69MB
Jul 27 07:31:08 Starting compiler/backend/gc
Jul 27 07:31:10 Finished compiler/backend/gc                                      0s 149MB
Jul 27 07:31:11 Starting compiler/backend
Jul 27 07:31:30 Finished compiler/backend                                        18s   1GB
Jul 27 07:31:31 Starting compiler/encoders/asm
Jul 27 07:31:33 Finished compiler/encoders/asm                                    0s  93MB
Jul 27 07:31:34 Starting compiler/encoders/x64
Jul 27 07:31:35 Finished compiler/encoders/x64                                    0s 100MB
Jul 27 07:31:36 Starting compiler/encoders/arm7
Jul 27 07:31:38 Finished compiler/encoders/arm7                                   0s 100MB
Jul 27 07:31:39 Starting compiler/encoders/arm8
Jul 27 07:31:40 Finished compiler/encoders/arm8                                   0s 101MB
Jul 27 07:31:41 Starting compiler/encoders/arm8_asl
Jul 27 07:33:55 Finished compiler/encoders/arm8_asl                            2m13s   1GB
Jul 27 07:33:56 Starting compiler/encoders/mips
Jul 27 07:33:58 Finished compiler/encoders/mips                                   0s 101MB
Jul 27 07:33:59 Starting compiler/encoders/riscv
Jul 27 07:34:00 Finished compiler/encoders/riscv                                  0s 101MB
Jul 27 07:34:01 Starting compiler/encoders/ag32
Jul 27 07:34:02 Finished compiler/encoders/ag32                                   0s 101MB
Jul 27 07:34:03 Starting compiler/backend/x64
Jul 27 07:34:05 Finished compiler/backend/x64                                     0s 141MB
Jul 27 07:34:06 Starting compiler/backend/arm7
Jul 27 07:34:08 Finished compiler/backend/arm7                                    0s 141MB
Jul 27 07:34:09 Starting compiler/backend/arm8
Jul 27 07:34:11 Finished compiler/backend/arm8                                    0s 141MB
Jul 27 07:34:11 Starting compiler/backend/mips
Jul 27 07:34:13 Finished compiler/backend/mips                                    0s 141MB
Jul 27 07:34:14 Starting compiler/backend/riscv
Jul 27 07:34:16 Finished compiler/backend/riscv                                   0s 141MB
Jul 27 07:34:17 Starting compiler/backend/ag32
Jul 27 07:35:39 Finished compiler/backend/ag32                                 1m20s   4GB
Jul 27 07:35:40 Starting compiler/parsing/proofs
Jul 27 07:35:41 Finished compiler/parsing/proofs                                  0s  77MB
Jul 27 07:35:42 Starting compiler/inference/proofs
Jul 27 07:35:43 Finished compiler/inference/proofs                                0s 100MB
Jul 27 07:35:44 Starting compiler/backend/semantics
Jul 27 07:39:34 Finished compiler/backend/semantics                            3m48s   2GB
Jul 27 07:39:35 Starting compiler/backend/reg_alloc/proofs
Jul 27 07:39:37 Finished compiler/backend/reg_alloc/proofs                        0s 100MB
Jul 27 07:39:38 Starting compiler/backend/proofs
Jul 27 07:40:43 Finished compiler/backend/proofs                               1m04s   2GB
Jul 27 07:40:44 Starting compiler/backend/serialiser
Jul 27 07:40:45 Finished compiler/backend/serialiser                              0s 152MB
Jul 27 07:40:46 Starting compiler/encoders/x64/proofs
Jul 27 07:49:54 Finished compiler/encoders/x64/proofs                          9m06s   5GB
Jul 27 07:49:54 Starting compiler/encoders/arm7/proofs
Jul 27 08:03:08 Finished compiler/encoders/arm7/proofs                        13m12s   8GB
Jul 27 08:03:09 Starting compiler/encoders/arm8/proofs
Jul 27 08:09:46 Finished compiler/encoders/arm8/proofs                         6m36s   5GB
Jul 27 08:09:46 Starting compiler/encoders/arm8_asl/proofs
Jul 27 08:24:08 Finished compiler/encoders/arm8_asl/proofs                    14m20s   4GB
Jul 27 08:24:09 Starting compiler/encoders/mips/proofs
Jul 27 08:34:25 Finished compiler/encoders/mips/proofs                        10m15s   6GB
Jul 27 08:34:26 Starting compiler/encoders/riscv/proofs
Jul 27 08:43:02 Finished compiler/encoders/riscv/proofs                        8m34s   5GB
Jul 27 08:43:03 Starting compiler/encoders/ag32/proofs
Jul 27 08:45:28 Finished compiler/encoders/ag32/proofs                         2m24s   2GB
Jul 27 08:45:29 Starting compiler/backend/x64/proofs
Jul 27 08:46:14 Finished compiler/backend/x64/proofs                             44s   3GB
Jul 27 08:46:15 Starting compiler/backend/arm7/proofs
Jul 27 08:47:05 Finished compiler/backend/arm7/proofs                            48s   3GB
Jul 27 08:47:05 Starting compiler/backend/arm8/proofs
Jul 27 08:47:48 Finished compiler/backend/arm8/proofs                            41s   3GB
Jul 27 08:47:50 Starting compiler/backend/arm8_asl
Jul 27 08:48:20 Finished compiler/backend/arm8_asl                               29s   2GB
Jul 27 08:48:21 Starting compiler/backend/mips/proofs
Jul 27 08:49:08 Finished compiler/backend/mips/proofs                            46s   3GB
Jul 27 08:49:09 Starting compiler/backend/riscv/proofs
Jul 27 08:50:02 Finished compiler/backend/riscv/proofs                           52s   4GB
Jul 27 08:50:03 Starting compiler/backend/ag32/proofs
Jul 27 09:04:26 Finished compiler/backend/ag32/proofs                         14m22s   6GB
Jul 27 09:04:27 Starting compiler/backend/cv_compute
Jul 27 09:06:15 Finished compiler/backend/cv_compute                           1m47s   3GB
Jul 27 09:06:16 Starting cv_translator
Jul 27 09:25:51 Finished cv_translator                                        19m33s  13GB
Jul 27 09:25:52 Starting candle/set-theory
Jul 27 09:26:40 Finished candle/set-theory                                       47s   1GB
Jul 27 09:26:41 Starting candle/syntax-lib
Jul 27 09:26:42 Finished candle/syntax-lib                                        0s  75MB
Jul 27 09:26:43 Starting candle/standard/syntax
Jul 27 09:27:03 Finished candle/standard/syntax                                  18s   1GB
Jul 27 09:27:03 Starting candle/standard/semantics
Jul 27 09:29:42 Finished candle/standard/semantics                             2m37s   2GB
Jul 27 09:29:43 Starting candle/standard/monadic
Jul 27 09:29:44 Finished candle/standard/monadic                                  0s 106MB
Jul 27 09:29:45 Starting candle/standard/ml_kernel
Jul 27 09:31:39 Finished candle/standard/ml_kernel                             1m53s   5GB
Jul 27 09:31:40 Starting candle/overloading/syntax
Jul 27 09:35:19 Finished candle/overloading/syntax                             3m37s   3GB
Jul 27 09:35:19 Starting candle/overloading/semantics
Jul 27 09:46:49 Finished candle/overloading/semantics                         11m29s   5GB
Jul 27 09:46:50 Starting candle/overloading/monadic
Jul 27 09:49:29 Finished candle/overloading/monadic                            2m38s   3GB
Jul 27 09:49:30 Starting candle/overloading/ml_kernel
Jul 27 09:57:11 Finished candle/overloading/ml_kernel                          7m40s   6GB
Jul 27 09:57:12 Starting candle/overloading/ml_checker
Jul 27 09:59:50 Finished candle/overloading/ml_checker                         2m36s   6GB
Jul 27 09:59:51 Starting candle/prover
Jul 27 10:09:59 Finished candle/prover                                        10m06s   5GB
Jul 27 10:09:59 Starting pancake
Jul 27 10:11:08 Finished pancake                                               1m07s   1GB
Jul 27 10:11:08 Starting pancake/ffi
Jul 27 10:11:09 Finished pancake/ffi                                              0s  23MB
Jul 27 10:11:10 Starting pancake/semantics
Jul 27 10:14:00 Finished pancake/semantics                                     2m48s   2GB
Jul 27 10:14:01 Starting pancake/parser
Jul 27 10:14:34 Finished pancake/parser                                          32s   2GB
Jul 27 10:14:35 Starting pancake/proofs
Jul 27 10:45:52 Finished pancake/proofs                                       31m16s   9GB
Jul 27 10:45:53 Starting characteristic/examples
Jul 27 10:47:30 Finished characteristic/examples                               1m35s   5GB
Jul 27 10:47:30 Starting tutorial/solutions
Jul 27 10:50:05 Finished tutorial/solutions                                    2m33s   4GB
Jul 27 10:50:06 Starting translator/monadic/examples
Jul 27 10:54:06 Finished translator/monadic/examples                           3m59s   5GB
Jul 27 10:54:07 Starting examples
Jul 27 11:08:30 Finished examples                                             14m22s   7GB
Jul 27 11:08:31 Starting examples/compilation/x64
Jul 27 11:17:39 Finished examples/compilation/x64                              9m06s   7GB
Jul 27 11:17:40 Starting examples/compilation/x64/proofs
Jul 27 11:22:13 Finished examples/compilation/x64/proofs                       4m32s   8GB
Jul 27 11:22:13 Starting examples/compilation/ag32
Jul 27 11:24:51 Finished examples/compilation/ag32                             2m36s   5GB
Jul 27 11:24:52 Starting examples/compilation/ag32/proofs
Jul 27 11:26:33 Finished examples/compilation/ag32/proofs                      1m40s   9GB
Jul 27 11:26:34 Starting examples/compilation/to_word
Jul 27 11:30:31 Finished examples/compilation/to_word                          3m56s  13GB
Jul 27 11:30:32 Starting examples/lpr_checker
Jul 27 11:31:51 Finished examples/lpr_checker                                  1m17s   2GB
Jul 27 11:31:52 Starting examples/lpr_checker/array
Jul 27 12:00:10 Finished examples/lpr_checker/array                           28m17s   9GB
Jul 27 12:00:11 Starting examples/lpr_checker/array/compilation
Jul 27 12:02:40 Finished examples/lpr_checker/array/compilation                2m28s   8GB
Jul 27 12:02:41 Starting examples/lpr_checker/array/compilation/proofs
Jul 27 12:04:33 Finished examples/lpr_checker/array/compilation/proofs         1m51s   7GB
Jul 27 12:04:34 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 27 12:06:19 Finished examples/lpr_checker/array/compilation/proofsARM8     1m43s   8GB
Jul 27 12:06:20 Starting examples/xlrup_checker
Jul 27 12:07:31 Finished examples/xlrup_checker                                1m10s   1GB
Jul 27 12:07:32 Starting examples/xlrup_checker/array
Jul 27 12:22:31 Finished examples/xlrup_checker/array                         14m58s   9GB
Jul 27 12:22:32 Starting examples/xlrup_checker/array/compilation
Jul 27 12:23:57 Finished examples/xlrup_checker/array/compilation              1m23s   6GB
Jul 27 12:23:58 Starting examples/xlrup_checker/array/compilation/proofs
Jul 27 12:25:42 Finished examples/xlrup_checker/array/compilation/proofs       1m43s   8GB
Jul 27 12:25:43 Starting examples/pseudo_bool
Jul 27 12:27:51 Finished examples/pseudo_bool                                  2m07s   2GB
Jul 27 12:27:52 Starting examples/pseudo_bool/cnf_encoding
Jul 27 12:28:33 Finished examples/pseudo_bool/cnf_encoding                       39s   1GB
Jul 27 12:28:33 Starting examples/pseudo_bool/graph_encoding
Jul 27 12:29:25 Finished examples/pseudo_bool/graph_encoding                     50s   1GB
Jul 27 12:29:26 Starting examples/pseudo_bool/array
Jul 27 13:35:41 Finished examples/pseudo_bool/array                         1h06m14s  38GB
Jul 27 13:35:42 Starting examples/pseudo_bool/array/compilation
Jul 27 13:48:39 Finished examples/pseudo_bool/array/compilation               12m55s  29GB
Jul 27 13:48:40 Starting examples/pseudo_bool/array/compilation/proofs
Jul 27 13:52:40 Finished examples/pseudo_bool/array/compilation/proofs         3m59s  10GB
Jul 27 13:52:41 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 27 13:54:28 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m46s   9GB
Jul 27 13:54:29 Starting examples/opentheory
Jul 27 14:05:14 Finished examples/opentheory                                  10m43s   8GB
Jul 27 14:05:15 Starting examples/opentheory
Jul 27 14:05:16 Finished examples/opentheory                                      0s 130MB
Jul 27 14:05:17 Starting examples/opentheory/compilation
Jul 27 14:07:19 Finished examples/opentheory/compilation                       2m00s   8GB
Jul 27 14:07:20 Starting examples/opentheory/compilation/proofs
Jul 27 14:08:59 Finished examples/opentheory/compilation/proofs                1m38s   8GB
Jul 27 14:09:00 Starting examples/opentheory/compilation/ag32
Jul 27 14:11:10 Finished examples/opentheory/compilation/ag32                  2m09s   8GB
Jul 27 14:11:11 Starting examples/opentheory/compilation/ag32/proofs
Jul 27 14:13:34 Finished examples/opentheory/compilation/ag32/proofs           2m21s  11GB
Jul 27 14:13:35 Starting examples/sat_encodings
Jul 27 14:16:35 Finished examples/sat_encodings                                2m58s   2GB
Jul 27 14:16:36 Starting examples/sat_encodings/case_studies
Jul 27 14:18:42 Finished examples/sat_encodings/case_studies                   2m05s   2GB
Jul 27 14:18:43 Starting examples/sat_encodings/translation
Jul 27 14:25:03 Finished examples/sat_encodings/translation                    6m19s   7GB
Jul 27 14:25:04 Starting examples/sat_encodings/translation/compilation
Jul 27 14:27:24 Finished examples/sat_encodings/translation/compilation        2m19s   6GB
Jul 27 14:27:25 Starting examples/deflate
Jul 27 14:28:50 Finished examples/deflate                                      1m24s   1GB
Jul 27 14:28:51 Starting examples/deflate/translation
Jul 27 20:41:36 Resuming examples/deflate/translation
Jul 27 20:41:38 Finished examples/deflate/translation                             0s 151MB
Jul 27 20:41:39 Starting examples/deflate/translation/compilation
Jul 27 20:42:42 Finished examples/deflate/translation/compilation              1m01s   5GB
Jul 27 20:42:43 Starting examples/vipr
Jul 27 20:46:48 Finished examples/vipr                                         4m04s   5GB
Jul 27 20:46:49 Starting examples/vipr/compilation
Jul 27 20:48:06 Finished examples/vipr/compilation                             1m15s   6GB
Jul 27 20:48:07 Starting translator/okasaki-examples
Jul 27 20:53:16 Finished translator/okasaki-examples                           5m08s   4GB
Jul 27 20:53:17 Starting translator/other-examples
Jul 27 20:54:35 Finished translator/other-examples                             1m17s   2GB
Jul 27 20:54:36 Starting compiler/parsing/tests
Jul 27 20:55:11 Finished compiler/parsing/tests                                  33s   2GB
Jul 27 20:55:12 Starting compiler/inference/tests
Jul 27 20:55:53 Finished compiler/inference/tests                                40s   3GB
Jul 27 20:55:54 Starting compiler/printing/test
Jul 27 20:57:26 Finished compiler/printing/test                                1m30s   5GB
Jul 27 20:57:27 Starting icing/flover
Jul 27 21:35:09 Finished icing/flover                                         37m41s   4GB
Jul 27 21:35:10 Starting icing/
Jul 27 22:04:01 Finished icing/                                               28m49s   9GB
Jul 27 22:04:02 Starting icing/examples
Jul 27 22:05:44 Finished icing/examples                                        1m41s   8GB
Jul 27 22:05:45 Starting compiler/repl
Jul 27 22:14:50 Finished compiler/repl                                         9m04s  11GB
Jul 27 22:14:51 Starting unverified/sexpr-bootstrap/x64/64
Jul 27 22:27:05 Finished unverified/sexpr-bootstrap/x64/64                    11m49s  17GB
Jul 27 22:27:06 Starting unverified/sexpr-bootstrap/x64/32
Jul 27 22:36:52 Finished unverified/sexpr-bootstrap/x64/32                     9m26s  14GB
Jul 27 22:36:53 Starting compiler/benchmarks
Jul 27 22:37:37 Finished compiler/benchmarks                                     43s 713MB
Jul 27 22:37:38 Starting compiler/bootstrap/compilation/x64/64
Jul 27 23:20:05 Finished compiler/bootstrap/compilation/x64/64                42m13s 130GB
Jul 27 23:20:06 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 27 23:43:02 Finished compiler/bootstrap/compilation/x64/64/proofs         22m55s  47GB
Jul 27 23:43:03 Starting compiler/bootstrap/compilation/x64/32
Jul 28 00:31:44 Finished compiler/bootstrap/compilation/x64/32                48m32s  76GB
Jul 28 00:31:45 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 28 00:36:24 Finished compiler/bootstrap/compilation/x64/32/proofs          4m38s  25GB
Jul 28 00:36:25 Starting compiler/bootstrap/compilation/arm8/64
Jul 28 01:30:57 Finished compiler/bootstrap/compilation/arm8/64               54m23s 126GB
Jul 28 01:30:58 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jul 28 01:36:20 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m20s  29GB
Jul 28 01:36:21 Starting compiler/bootstrap/compilation/ag32/32
Jul 28 02:13:26 Finished compiler/bootstrap/compilation/ag32/32               37m04s 100GB
Jul 28 02:13:26 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 28 02:18:40 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m12s  29GB
Jul 28 02:18:41 SUCCESS