Job 2502

CakeML:222d83a5a94a8c7ec505e27d4e8d62d19c471046
  Update basis types [Jul 28 05:54:15]
#1023 (double-type-fix)
Merging into:f9b14f7d3a2db802a39e1c6e50f6fb013371c0bf
  Merge pull request #1028 from CakeML/candle-cons-patterns [Jul 29 05:45:29]
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser [Jul 15 06:13:45]
Machine:lammmington

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