Job 2480

CakeML:0974f2935881513db8885a50a8746bc5e933192f
  Merge pull request #1015 from CakeML/fix-repl [Jul 22 05:07:35]
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-x64-32.tar.gz

Jul 22 06:16:29 Claimed job
Jul 22 06:16:33 Reusing HOL
Jul 22 06:16:44 Starting developers
Jul 22 06:16:47 Finished developers                                               2s 192MB
Jul 22 06:16:48 Starting developers/bin
Jul 22 06:16:59 Finished developers/bin                                           9s   1GB
Jul 22 06:16:59 Starting compiler/proofs
Jul 22 08:09:29 Finished compiler/proofs                                    1h52m28s  30GB
Jul 22 08:09:30 Starting compiler/bootstrap/translation
Jul 22 16:26:09 Finished compiler/bootstrap/translation                     8h16m38s  92GB
Jul 22 16:26:10 Starting semantics/ffi
Jul 22 16:26:19 Finished semantics/ffi                                            8s 643MB
Jul 22 16:26:20 Starting semantics
Jul 22 16:26:21 Finished semantics                                                0s  67MB
Jul 22 16:26:22 Starting semantics/proofs
Jul 22 16:27:00 Finished semantics/proofs                                        36s   2GB
Jul 22 16:27:01 Starting semantics/alt_semantics
Jul 22 16:27:43 Finished semantics/alt_semantics                                 40s   1GB
Jul 22 16:27:43 Starting semantics/alt_semantics/proofs
Jul 22 16:38:49 Finished semantics/alt_semantics/proofs                       11m04s   3GB
Jul 22 16:38:50 Starting basis/pure
Jul 22 16:38:51 Finished basis/pure                                               0s  70MB
Jul 22 16:38:52 Starting translator
Jul 22 16:40:36 Finished translator                                            1m43s   3GB
Jul 22 16:40:37 Starting compiler/parsing
Jul 22 16:40:38 Finished compiler/parsing                                         0s  74MB
Jul 22 16:40:39 Starting characteristic
Jul 22 16:40:41 Finished characteristic                                           0s  96MB
Jul 22 16:40:42 Starting translator/monadic
Jul 22 16:40:43 Finished translator/monadic                                       0s  96MB
Jul 22 16:40:44 Starting basis
Jul 22 16:44:19 Finished basis                                                 3m34s   5GB
Jul 22 16:44:20 Starting compiler/inference
Jul 22 16:44:22 Finished compiler/inference                                       0s  92MB
Jul 22 16:44:23 Starting compiler/backend/reg_alloc
Jul 22 16:44:24 Finished compiler/backend/reg_alloc                               0s  70MB
Jul 22 16:44:25 Starting compiler/backend/gc
Jul 22 16:44:27 Finished compiler/backend/gc                                      0s 137MB
Jul 22 16:44:27 Starting compiler/backend
Jul 22 16:44:48 Finished compiler/backend                                        19s   1GB
Jul 22 16:44:49 Starting compiler/encoders/asm
Jul 22 16:44:51 Finished compiler/encoders/asm                                    0s  92MB
Jul 22 16:44:51 Starting compiler/encoders/x64
Jul 22 16:44:53 Finished compiler/encoders/x64                                    0s 100MB
Jul 22 16:44:54 Starting compiler/encoders/arm7
Jul 22 16:44:55 Finished compiler/encoders/arm7                                   0s 101MB
Jul 22 16:44:56 Starting compiler/encoders/arm8
Jul 22 16:44:58 Finished compiler/encoders/arm8                                   0s  93MB
Jul 22 16:44:59 Starting compiler/encoders/arm8_asl
Jul 22 16:47:18 Finished compiler/encoders/arm8_asl                            2m18s   1GB
Jul 22 16:47:19 Starting compiler/encoders/mips
Jul 22 16:47:20 Finished compiler/encoders/mips                                   0s  93MB
Jul 22 16:47:21 Starting compiler/encoders/riscv
Jul 22 16:47:22 Finished compiler/encoders/riscv                                  0s  93MB
Jul 22 16:47:23 Starting compiler/encoders/ag32
Jul 22 16:47:25 Finished compiler/encoders/ag32                                   0s 100MB
Jul 22 16:47:26 Starting compiler/backend/x64
Jul 22 16:47:27 Finished compiler/backend/x64                                     0s 141MB
Jul 22 16:47:28 Starting compiler/backend/arm7
Jul 22 16:47:30 Finished compiler/backend/arm7                                    0s 141MB
Jul 22 16:47:31 Starting compiler/backend/arm8
Jul 22 16:47:33 Finished compiler/backend/arm8                                    0s 141MB
Jul 22 16:47:34 Starting compiler/backend/mips
Jul 22 16:47:35 Finished compiler/backend/mips                                    0s 141MB
Jul 22 16:47:36 Starting compiler/backend/riscv
Jul 22 16:47:38 Finished compiler/backend/riscv                                   0s 140MB
Jul 22 16:47:39 Starting compiler/backend/ag32
Jul 22 16:49:01 Finished compiler/backend/ag32                                 1m21s   3GB
Jul 22 16:49:02 Starting compiler/parsing/proofs
Jul 22 16:49:04 Finished compiler/parsing/proofs                                  0s  72MB
Jul 22 16:49:04 Starting compiler/inference/proofs
Jul 22 16:49:06 Finished compiler/inference/proofs                                0s  99MB
Jul 22 16:49:07 Starting compiler/backend/semantics
Jul 22 16:52:54 Finished compiler/backend/semantics                            3m46s   3GB
Jul 22 16:52:55 Starting compiler/backend/reg_alloc/proofs
Jul 22 16:52:57 Finished compiler/backend/reg_alloc/proofs                        0s  95MB
Jul 22 16:52:57 Starting compiler/backend/proofs
Jul 22 16:54:02 Finished compiler/backend/proofs                               1m03s   3GB
Jul 22 16:54:03 Starting compiler/backend/serialiser
Jul 22 16:54:05 Finished compiler/backend/serialiser                              0s 151MB
Jul 22 16:54:06 Starting compiler/encoders/x64/proofs
Jul 22 17:03:33 Finished compiler/encoders/x64/proofs                          9m26s   6GB
Jul 22 17:03:34 Starting compiler/encoders/arm7/proofs
Jul 22 17:16:33 Finished compiler/encoders/arm7/proofs                        12m57s  14GB
Jul 22 17:16:33 Starting compiler/encoders/arm8/proofs
Jul 23 05:33:29 Resuming compiler/encoders/arm8/proofs
Jul 23 05:33:30 Finished compiler/encoders/arm8/proofs                            0s 102MB
Jul 23 05:33:31 Starting compiler/encoders/arm8_asl/proofs
Jul 23 05:47:30 Finished compiler/encoders/arm8_asl/proofs                    13m57s   4GB
Jul 23 05:47:31 Starting compiler/encoders/mips/proofs
Jul 23 05:57:35 Finished compiler/encoders/mips/proofs                        10m03s   7GB
Jul 23 05:57:36 Starting compiler/encoders/riscv/proofs
Jul 23 06:05:57 Finished compiler/encoders/riscv/proofs                        8m19s   4GB
Jul 23 06:05:58 Starting compiler/encoders/ag32/proofs
Jul 23 06:08:21 Finished compiler/encoders/ag32/proofs                         2m22s   2GB
Jul 23 06:08:21 Starting compiler/backend/x64/proofs
Jul 23 06:09:05 Finished compiler/backend/x64/proofs                             42s   3GB
Jul 23 06:09:05 Starting compiler/backend/arm7/proofs
Jul 23 06:09:54 Finished compiler/backend/arm7/proofs                            47s   3GB
Jul 23 06:09:55 Starting compiler/backend/arm8/proofs
Jul 23 06:10:37 Finished compiler/backend/arm8/proofs                            41s   3GB
Jul 23 06:10:39 Starting compiler/backend/arm8_asl
Jul 23 06:11:09 Finished compiler/backend/arm8_asl                               29s   2GB
Jul 23 06:11:10 Starting compiler/backend/mips/proofs
Jul 23 06:11:56 Finished compiler/backend/mips/proofs                            45s   3GB
Jul 23 06:11:57 Starting compiler/backend/riscv/proofs
Jul 23 06:12:51 Finished compiler/backend/riscv/proofs                           52s   5GB
Jul 23 06:12:52 Starting compiler/backend/ag32/proofs
Jul 23 18:09:25 Resuming compiler/backend/ag32/proofs
Jul 23 18:09:28 Finished compiler/backend/ag32/proofs                             1s 222MB
Jul 23 18:09:28 Starting compiler/backend/cv_compute
Jul 23 18:11:14 Finished compiler/backend/cv_compute                           1m44s   4GB
Jul 23 18:11:15 Starting cv_translator
Jul 23 18:30:54 Finished cv_translator                                        19m38s  12GB
Jul 23 18:30:55 Starting candle/set-theory
Jul 23 18:31:43 Finished candle/set-theory                                       47s   1GB
Jul 23 18:31:44 Starting candle/syntax-lib
Jul 23 18:31:46 Finished candle/syntax-lib                                        0s  71MB
Jul 23 18:31:46 Starting candle/standard/syntax
Jul 23 18:32:04 Finished candle/standard/syntax                                  17s   1GB
Jul 23 18:32:05 Starting candle/standard/semantics
Jul 23 19:38:24 Resuming candle/standard/semantics
Jul 23 19:38:25 Finished candle/standard/semantics                                0s  83MB
Jul 23 19:38:26 Starting candle/standard/monadic
Jul 23 19:38:28 Finished candle/standard/monadic                                  0s  98MB
Jul 23 19:38:29 Starting candle/standard/ml_kernel
Jul 23 19:40:28 Finished candle/standard/ml_kernel                             1m58s   6GB
Jul 23 19:40:29 Starting candle/overloading/syntax
Jul 23 19:44:08 Finished candle/overloading/syntax                             3m37s   4GB
Jul 23 19:44:09 Starting candle/overloading/semantics
Jul 23 19:55:41 Finished candle/overloading/semantics                         11m31s   6GB
Jul 23 19:55:42 Starting candle/overloading/monadic
Jul 23 19:58:19 Finished candle/overloading/monadic                            2m36s   2GB
Jul 23 19:58:20 Starting candle/overloading/ml_kernel
Jul 23 20:06:07 Finished candle/overloading/ml_kernel                          7m45s   7GB
Jul 23 20:06:07 Starting candle/overloading/ml_checker
Jul 23 20:08:42 Finished candle/overloading/ml_checker                         2m33s   7GB
Jul 23 20:08:43 Starting candle/prover
Jul 23 20:18:52 Finished candle/prover                                        10m08s   5GB
Jul 23 20:18:53 Starting pancake
Jul 23 20:20:03 Finished pancake                                               1m09s   1GB
Jul 23 20:20:04 Starting pancake/ffi
Jul 23 20:20:05 Finished pancake/ffi                                              0s  23MB
Jul 23 20:20:06 Starting pancake/semantics
Jul 23 20:22:52 Finished pancake/semantics                                     2m45s   2GB
Jul 23 20:22:53 Starting pancake/parser
Jul 23 20:23:27 Finished pancake/parser                                          33s   2GB
Jul 23 20:23:28 Starting pancake/proofs
Jul 23 20:54:36 Finished pancake/proofs                                       31m06s  10GB
Jul 23 20:54:36 Starting characteristic/examples
Jul 23 20:56:15 Finished characteristic/examples                               1m37s   6GB
Jul 23 20:56:16 Starting tutorial/solutions
Jul 23 20:58:53 Finished tutorial/solutions                                    2m36s   4GB
Jul 23 20:58:54 Starting translator/monadic/examples
Jul 23 21:02:45 Finished translator/monadic/examples                           3m49s   5GB
Jul 23 21:02:46 Starting examples
Jul 23 21:17:09 Finished examples                                             14m22s   8GB
Jul 23 21:17:10 Starting examples/compilation/x64
Jul 23 21:26:15 Finished examples/compilation/x64                              9m04s   6GB
Jul 23 21:26:16 Starting examples/compilation/x64/proofs
Jul 23 21:30:38 Finished examples/compilation/x64/proofs                       4m20s   8GB
Jul 23 21:30:39 Starting examples/compilation/ag32
Jul 23 21:33:15 Finished examples/compilation/ag32                             2m35s   5GB
Jul 23 21:33:16 Starting examples/compilation/ag32/proofs
Jul 24 16:31:30 Resuming examples/compilation/ag32/proofs
Jul 24 16:31:33 Finished examples/compilation/ag32/proofs                         2s 267MB
Jul 24 16:31:34 Starting examples/compilation/to_word
Jul 24 16:35:33 Finished examples/compilation/to_word                          3m57s  13GB
Jul 24 16:35:33 Starting examples/lpr_checker
Jul 24 16:36:54 Finished examples/lpr_checker                                  1m19s   2GB
Jul 24 16:36:55 Starting examples/lpr_checker/array
Jul 24 17:05:12 Finished examples/lpr_checker/array                           28m16s   9GB
Jul 24 17:05:13 Starting examples/lpr_checker/array/compilation
Jul 24 17:07:42 Finished examples/lpr_checker/array/compilation                2m28s   9GB
Jul 24 17:07:43 Starting examples/lpr_checker/array/compilation/proofs
Jul 24 17:09:30 Finished examples/lpr_checker/array/compilation/proofs         1m45s   9GB
Jul 24 17:09:30 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 24 17:11:18 Finished examples/lpr_checker/array/compilation/proofsARM8     1m46s  10GB
Jul 24 17:11:19 Starting examples/xlrup_checker
Jul 24 17:12:35 Finished examples/xlrup_checker                                1m15s   2GB
Jul 24 17:12:36 Starting examples/xlrup_checker/array
Jul 24 17:27:36 Finished examples/xlrup_checker/array                         14m58s   8GB
Jul 24 17:27:36 Starting examples/xlrup_checker/array/compilation
Jul 24 17:29:00 Finished examples/xlrup_checker/array/compilation              1m22s   6GB
Jul 24 17:29:01 Starting examples/xlrup_checker/array/compilation/proofs
Jul 24 17:30:47 Finished examples/xlrup_checker/array/compilation/proofs       1m44s   7GB
Jul 24 17:30:48 Starting examples/pseudo_bool
Jul 24 17:33:03 Finished examples/pseudo_bool                                  2m13s   1GB
Jul 24 17:33:04 Starting examples/pseudo_bool/cnf_encoding
Jul 24 17:33:43 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Jul 24 17:33:44 Starting examples/pseudo_bool/graph_encoding
Jul 24 17:34:38 Finished examples/pseudo_bool/graph_encoding                     53s   1GB
Jul 24 17:34:39 Starting examples/pseudo_bool/array
Jul 24 18:41:40 Finished examples/pseudo_bool/array                         1h07m00s  38GB
Jul 24 18:41:41 Starting examples/pseudo_bool/array/compilation
Jul 24 18:54:52 Finished examples/pseudo_bool/array/compilation               13m10s  29GB
Jul 24 18:54:53 Starting examples/pseudo_bool/array/compilation/proofs
Jul 24 18:58:53 Finished examples/pseudo_bool/array/compilation/proofs         3m58s  10GB
Jul 24 18:58:54 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 24 19:00:57 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m02s   8GB
Jul 24 19:00:58 Starting examples/opentheory
Jul 24 19:11:56 Finished examples/opentheory                                  10m57s   8GB
Jul 24 19:11:57 Starting examples/opentheory
Jul 24 19:11:59 Finished examples/opentheory                                      0s 130MB
Jul 24 19:12:00 Starting examples/opentheory/compilation
Jul 24 19:14:01 Finished examples/opentheory/compilation                       2m00s   8GB
Jul 24 19:14:02 Starting examples/opentheory/compilation/proofs
Jul 24 19:15:46 Finished examples/opentheory/compilation/proofs                1m42s   8GB
Jul 24 19:15:47 Starting examples/opentheory/compilation/ag32
Jul 24 19:17:56 Finished examples/opentheory/compilation/ag32                  2m08s   9GB
Jul 24 19:17:56 Starting examples/opentheory/compilation/ag32/proofs
Jul 24 19:20:23 Finished examples/opentheory/compilation/ag32/proofs           2m25s  13GB
Jul 24 19:20:24 Starting examples/sat_encodings
Jul 24 19:23:18 Finished examples/sat_encodings                                2m53s   1GB
Jul 24 19:23:19 Starting examples/sat_encodings/case_studies
Jul 24 19:25:26 Finished examples/sat_encodings/case_studies                   2m05s   2GB
Jul 24 19:25:27 Starting examples/sat_encodings/translation
Jul 24 19:31:46 Finished examples/sat_encodings/translation                    6m18s   8GB
Jul 24 19:31:47 Starting examples/sat_encodings/translation/compilation
Jul 24 19:34:07 Finished examples/sat_encodings/translation/compilation        2m18s   6GB
Jul 24 19:34:08 Starting examples/deflate
Jul 24 19:35:31 Finished examples/deflate                                      1m21s   1GB
Jul 24 19:35:31 Starting examples/deflate/translation
Jul 24 19:37:08 Finished examples/deflate/translation                          1m35s   7GB
Jul 24 19:37:09 Starting examples/deflate/translation/compilation
Jul 24 19:38:13 Finished examples/deflate/translation/compilation              1m03s   5GB
Jul 24 19:38:13 Starting examples/vipr
Jul 24 19:42:17 Finished examples/vipr                                         4m03s   5GB
Jul 24 19:42:18 Starting examples/vipr/compilation
Jul 24 19:43:34 Finished examples/vipr/compilation                             1m14s   5GB
Jul 24 19:43:35 Starting translator/okasaki-examples
Jul 24 19:48:50 Finished translator/okasaki-examples                           5m14s   3GB
Jul 24 19:48:51 Starting translator/other-examples
Jul 24 19:50:04 Finished translator/other-examples                             1m11s   3GB
Jul 24 19:50:04 Starting compiler/parsing/tests
Jul 24 19:50:39 Finished compiler/parsing/tests                                  33s   1GB
Jul 24 19:50:40 Starting compiler/inference/tests
Jul 24 19:51:22 Finished compiler/inference/tests                                41s   3GB
Jul 24 19:51:23 Starting compiler/printing/test
Jul 24 19:52:53 Finished compiler/printing/test                                1m29s   5GB
Jul 24 19:52:54 Starting icing/flover
Jul 24 20:29:44 Finished icing/flover                                         36m49s   4GB
Jul 24 20:29:45 Starting icing/
Jul 24 20:57:42 Finished icing/                                               27m56s  10GB
Jul 24 20:57:43 Starting icing/examples
Jul 24 20:59:29 Finished icing/examples                                        1m45s   8GB
Jul 24 20:59:30 Starting compiler/repl
Jul 24 21:08:22 Finished compiler/repl                                         8m50s  10GB
Jul 24 21:08:23 Starting unverified/sexpr-bootstrap/x64/64
Jul 24 21:20:30 Finished unverified/sexpr-bootstrap/x64/64                    11m43s  17GB
Jul 24 21:20:31 Starting unverified/sexpr-bootstrap/x64/32
Jul 24 21:30:11 Finished unverified/sexpr-bootstrap/x64/32                     9m22s  14GB
Jul 24 21:30:12 Starting compiler/benchmarks
Jul 24 21:30:57 Finished compiler/benchmarks                                     43s 713MB
Jul 24 21:30:58 Starting compiler/bootstrap/compilation/x64/64
Jul 24 22:12:03 Finished compiler/bootstrap/compilation/x64/64                40m52s 120GB
Jul 24 22:12:03 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 24 22:36:17 Finished compiler/bootstrap/compilation/x64/64/proofs         24m13s  57GB
Jul 24 22:36:18 Starting compiler/bootstrap/compilation/x64/32
Jul 24 23:14:01 Finished compiler/bootstrap/compilation/x64/32                37m34s  90GB
Jul 24 23:14:02 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 24 23:18:40 Finished compiler/bootstrap/compilation/x64/32/proofs          4m36s  24GB
Jul 24 23:18:40 Starting compiler/bootstrap/compilation/ag32/32
Jul 24 23:55:42 Finished compiler/bootstrap/compilation/ag32/32               37m00s  98GB
Jul 24 23:55:43 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 25 00:01:12 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m28s  30GB
Jul 25 00:01:13 SUCCESS