Job 2451

CakeML:35bbb5403ce3b2c6f7007c94b5f7ec0c4629314e
  Merge pull request #1012 from CakeML/candle-record-patterns [Jul 14 14:38:00]
HOL:a0047680ef60f5bf44fe05190b5dcf8756ab4a73
  Get help/src-sml to build again after 7c55b699b9714 [Jul 02 04:04:45]
Machine:pavlova
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

Jul 14 15:09:13 Claimed job
Jul 14 15:09:17 Reusing HOL
Jul 14 15:09:27 Starting developers
Jul 14 15:09:31 Finished developers                                               2s 220MB
Jul 14 15:09:32 Starting developers/bin
Jul 14 15:09:42 Finished developers/bin                                           9s   1GB
Jul 14 15:09:43 Starting compiler/proofs
Jul 14 17:01:13 Finished compiler/proofs                                    1h51m28s  39GB
Jul 14 17:01:14 Starting compiler/bootstrap/translation
Jul 15 01:27:05 Finished compiler/bootstrap/translation                     8h25m49s  66GB
Jul 15 01:27:05 Starting semantics/ffi
Jul 15 01:27:14 Finished semantics/ffi                                            7s 663MB
Jul 15 01:27:15 Starting semantics
Jul 15 01:27:16 Finished semantics                                                0s  68MB
Jul 15 01:27:17 Starting semantics/proofs
Jul 15 01:27:54 Finished semantics/proofs                                        35s   2GB
Jul 15 01:27:55 Starting semantics/alt_semantics
Jul 15 01:28:37 Finished semantics/alt_semantics                                 41s   1GB
Jul 15 01:28:38 Starting semantics/alt_semantics/proofs
Jul 15 01:39:43 Finished semantics/alt_semantics/proofs                       11m03s   2GB
Jul 15 01:39:43 Starting basis/pure
Jul 15 01:39:45 Finished basis/pure                                               0s  70MB
Jul 15 01:39:46 Starting translator
Jul 15 01:41:34 Finished translator                                            1m47s   3GB
Jul 15 01:41:35 Starting compiler/parsing
Jul 15 01:41:37 Finished compiler/parsing                                         0s  71MB
Jul 15 01:41:37 Starting characteristic
Jul 15 01:41:39 Finished characteristic                                           0s  94MB
Jul 15 01:41:40 Starting translator/monadic
Jul 15 01:41:41 Finished translator/monadic                                       0s  94MB
Jul 15 01:41:42 Starting basis
Jul 15 01:45:15 Finished basis                                                 3m31s   5GB
Jul 15 01:45:16 Starting compiler/inference
Jul 15 01:45:18 Finished compiler/inference                                       0s 104MB
Jul 15 01:45:19 Starting compiler/backend/reg_alloc
Jul 15 01:45:20 Finished compiler/backend/reg_alloc                               0s  68MB
Jul 15 01:45:21 Starting compiler/backend/gc
Jul 15 01:45:23 Finished compiler/backend/gc                                      0s 145MB
Jul 15 01:45:24 Starting compiler/backend
Jul 15 01:45:44 Finished compiler/backend                                        19s   1GB
Jul 15 01:45:45 Starting compiler/encoders/asm
Jul 15 01:45:47 Finished compiler/encoders/asm                                    0s  89MB
Jul 15 01:45:48 Starting compiler/encoders/x64
Jul 15 01:45:49 Finished compiler/encoders/x64                                    0s  94MB
Jul 15 01:45:50 Starting compiler/encoders/arm7
Jul 15 01:45:52 Finished compiler/encoders/arm7                                   0s 101MB
Jul 15 01:45:52 Starting compiler/encoders/arm8
Jul 15 01:45:54 Finished compiler/encoders/arm8                                   0s  93MB
Jul 15 01:45:55 Starting compiler/encoders/arm8_asl
Jul 15 01:48:10 Finished compiler/encoders/arm8_asl                            2m14s   1GB
Jul 15 01:48:11 Starting compiler/encoders/mips
Jul 15 01:48:12 Finished compiler/encoders/mips                                   0s  93MB
Jul 15 01:48:14 Starting compiler/encoders/riscv
Jul 15 01:48:15 Finished compiler/encoders/riscv                                  0s 101MB
Jul 15 01:48:16 Starting compiler/encoders/ag32
Jul 15 01:48:18 Finished compiler/encoders/ag32                                   0s  97MB
Jul 15 01:48:19 Starting compiler/backend/x64
Jul 15 01:48:20 Finished compiler/backend/x64                                     0s 143MB
Jul 15 01:48:21 Starting compiler/backend/arm7
Jul 15 01:48:23 Finished compiler/backend/arm7                                    0s 143MB
Jul 15 01:48:24 Starting compiler/backend/arm8
Jul 15 01:48:26 Finished compiler/backend/arm8                                    0s 144MB
Jul 15 01:48:27 Starting compiler/backend/mips
Jul 15 01:48:28 Finished compiler/backend/mips                                    0s 143MB
Jul 15 01:48:29 Starting compiler/backend/riscv
Jul 15 01:48:31 Finished compiler/backend/riscv                                   0s 143MB
Jul 15 01:48:32 Starting compiler/backend/ag32
Jul 15 01:49:55 Finished compiler/backend/ag32                                 1m22s   2GB
Jul 15 01:49:56 Starting compiler/parsing/proofs
Jul 15 01:49:58 Finished compiler/parsing/proofs                                  0s  73MB
Jul 15 01:49:59 Starting compiler/inference/proofs
Jul 15 01:50:00 Finished compiler/inference/proofs                                0s  94MB
Jul 15 01:50:01 Starting compiler/backend/semantics
Jul 15 01:53:50 Finished compiler/backend/semantics                            3m48s   4GB
Jul 15 01:53:51 Starting compiler/backend/reg_alloc/proofs
Jul 15 01:53:53 Finished compiler/backend/reg_alloc/proofs                        0s  96MB
Jul 15 01:53:54 Starting compiler/backend/proofs
Jul 15 01:54:57 Finished compiler/backend/proofs                               1m02s   3GB
Jul 15 01:54:58 Starting compiler/backend/serialiser
Jul 15 01:55:00 Finished compiler/backend/serialiser                              0s 150MB
Jul 15 01:55:01 Starting compiler/encoders/x64/proofs
Jul 15 02:04:28 Finished compiler/encoders/x64/proofs                          9m26s   5GB
Jul 15 02:04:29 Starting compiler/encoders/arm7/proofs
Jul 15 02:17:14 Finished compiler/encoders/arm7/proofs                        12m44s   7GB
Jul 15 02:17:15 Starting compiler/encoders/arm8/proofs
Jul 15 02:23:59 Finished compiler/encoders/arm8/proofs                         6m43s   5GB
Jul 15 02:24:00 Starting compiler/encoders/arm8_asl/proofs
Jul 15 02:38:09 Finished compiler/encoders/arm8_asl/proofs                    14m08s   4GB
Jul 15 02:38:10 Starting compiler/encoders/mips/proofs
Jul 15 02:48:15 Finished compiler/encoders/mips/proofs                        10m04s   7GB
Jul 15 02:48:16 Starting compiler/encoders/riscv/proofs
Jul 15 02:56:28 Finished compiler/encoders/riscv/proofs                        8m10s   4GB
Jul 15 02:56:29 Starting compiler/encoders/ag32/proofs
Jul 15 02:58:51 Finished compiler/encoders/ag32/proofs                         2m21s   2GB
Jul 15 02:58:52 Starting compiler/backend/x64/proofs
Jul 15 02:59:34 Finished compiler/backend/x64/proofs                             41s   3GB
Jul 15 02:59:35 Starting compiler/backend/arm7/proofs
Jul 15 03:00:19 Finished compiler/backend/arm7/proofs                            43s   2GB
Jul 15 03:00:20 Starting compiler/backend/arm8/proofs
Jul 15 03:01:01 Finished compiler/backend/arm8/proofs                            40s   3GB
Jul 15 03:01:02 Starting compiler/backend/arm8_asl
Jul 15 03:01:30 Finished compiler/backend/arm8_asl                               27s   2GB
Jul 15 03:01:31 Starting compiler/backend/mips/proofs
Jul 15 03:02:17 Finished compiler/backend/mips/proofs                            45s   3GB
Jul 15 03:02:18 Starting compiler/backend/riscv/proofs
Jul 15 03:03:09 Finished compiler/backend/riscv/proofs                           49s   4GB
Jul 15 03:03:10 Starting compiler/backend/ag32/proofs
Jul 15 03:17:15 Finished compiler/backend/ag32/proofs                         14m03s   6GB
Jul 15 03:17:16 Starting compiler/backend/cv_compute
Jul 15 03:18:59 Finished compiler/backend/cv_compute                           1m42s   4GB
Jul 15 03:19:00 Starting cv_translator
Jul 15 03:38:31 Finished cv_translator                                        19m30s  14GB
Jul 15 03:38:32 Starting candle/set-theory
Jul 15 03:39:21 Finished candle/set-theory                                       48s   1GB
Jul 15 03:39:22 Starting candle/syntax-lib
Jul 15 03:39:23 Finished candle/syntax-lib                                        0s  72MB
Jul 15 03:39:24 Starting candle/standard/syntax
Jul 15 03:39:42 Finished candle/standard/syntax                                  17s   1GB
Jul 15 03:39:43 Starting candle/standard/semantics
Jul 15 03:42:20 Finished candle/standard/semantics                             2m36s   3GB
Jul 15 03:42:21 Starting candle/standard/monadic
Jul 15 03:42:23 Finished candle/standard/monadic                                  0s  98MB
Jul 15 03:42:24 Starting candle/standard/ml_kernel
Jul 15 03:44:16 Finished candle/standard/ml_kernel                             1m51s   6GB
Jul 15 03:44:17 Starting candle/overloading/syntax
Jul 15 03:47:47 Finished candle/overloading/syntax                             3m28s   2GB
Jul 15 03:47:48 Starting candle/overloading/semantics
Jul 15 03:59:17 Finished candle/overloading/semantics                         11m28s   7GB
Jul 15 03:59:18 Starting candle/overloading/monadic
Jul 15 04:01:57 Finished candle/overloading/monadic                            2m38s   2GB
Jul 15 04:01:58 Starting candle/overloading/ml_kernel
Jul 15 04:09:36 Finished candle/overloading/ml_kernel                          7m36s   6GB
Jul 15 04:09:37 Starting candle/overloading/ml_checker
Jul 15 04:12:14 Finished candle/overloading/ml_checker                         2m36s   7GB
Jul 15 04:12:15 Starting candle/prover
Jul 15 04:22:15 Finished candle/prover                                         9m59s   5GB
Jul 15 04:22:16 Starting pancake
Jul 15 04:23:21 Finished pancake                                               1m04s   1GB
Jul 15 04:23:22 Starting pancake/ffi
Jul 15 04:23:23 Finished pancake/ffi                                              0s  22MB
Jul 15 04:23:24 Starting pancake/semantics
Jul 15 04:26:05 Finished pancake/semantics                                     2m40s   3GB
Jul 15 04:26:06 Starting pancake/parser
Jul 15 04:26:40 Finished pancake/parser                                          33s   2GB
Jul 15 04:26:41 Starting pancake/proofs
Jul 15 04:57:44 Finished pancake/proofs                                       31m01s   8GB
Jul 15 04:57:45 Starting characteristic/examples
Jul 15 04:59:23 Finished characteristic/examples                               1m36s   6GB
Jul 15 04:59:24 Starting tutorial/solutions
Jul 15 05:02:02 Finished tutorial/solutions                                    2m36s   4GB
Jul 15 05:02:02 Starting translator/monadic/examples
Jul 15 05:05:58 Finished translator/monadic/examples                           3m55s   5GB
Jul 15 05:05:59 Starting examples
Jul 15 05:20:17 Finished examples                                             14m16s   8GB
Jul 15 05:20:18 Starting examples/compilation/x64
Jul 15 05:29:18 Finished examples/compilation/x64                              8m59s   7GB
Jul 15 05:29:19 Starting examples/compilation/x64/proofs
Jul 15 05:33:42 Finished examples/compilation/x64/proofs                       4m21s   8GB
Jul 15 05:33:43 Starting examples/compilation/ag32
Jul 15 05:36:18 Finished examples/compilation/ag32                             2m34s   4GB
Jul 15 05:36:19 Starting examples/compilation/ag32/proofs
Jul 15 05:38:15 Finished examples/compilation/ag32/proofs                      1m54s  10GB
Jul 15 05:38:16 Starting examples/compilation/to_word
Jul 15 05:42:15 Finished examples/compilation/to_word                          3m58s  15GB
Jul 15 05:42:16 Starting examples/lpr_checker
Jul 15 05:43:35 Finished examples/lpr_checker                                  1m17s   2GB
Jul 15 05:43:36 Starting examples/lpr_checker/array
Jul 15 06:11:57 Finished examples/lpr_checker/array                           28m20s  11GB
Jul 15 06:11:58 Starting examples/lpr_checker/array/compilation
Jul 15 06:15:14 Finished examples/lpr_checker/array/compilation                3m15s   8GB
Jul 15 06:15:15 Starting examples/lpr_checker/array/compilation/proofs
Jul 15 06:17:07 Finished examples/lpr_checker/array/compilation/proofs         1m50s   9GB
Jul 15 06:17:07 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 15 06:18:55 Finished examples/lpr_checker/array/compilation/proofsARM8     1m46s  10GB
Jul 15 06:18:56 Starting examples/xlrup_checker
Jul 15 06:20:11 Finished examples/xlrup_checker                                1m13s   2GB
Jul 15 06:20:12 Starting examples/xlrup_checker/array
Jul 15 06:35:13 Finished examples/xlrup_checker/array                         15m00s   8GB
Jul 15 06:35:14 Starting examples/xlrup_checker/array/compilation
Jul 15 06:36:38 Finished examples/xlrup_checker/array/compilation              1m22s   6GB
Jul 15 06:36:39 Starting examples/xlrup_checker/array/compilation/proofs
Jul 15 06:38:18 Finished examples/xlrup_checker/array/compilation/proofs       1m38s   8GB
Jul 15 06:38:19 Starting examples/pseudo_bool
Jul 15 06:40:32 Finished examples/pseudo_bool                                  2m11s   2GB
Jul 15 06:40:33 Starting examples/pseudo_bool/cnf_encoding
Jul 15 06:41:12 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Jul 15 06:41:12 Starting examples/pseudo_bool/graph_encoding
Jul 15 06:42:04 Finished examples/pseudo_bool/graph_encoding                     50s   1GB
Jul 15 06:42:04 Starting examples/pseudo_bool/array
Jul 15 07:47:38 Finished examples/pseudo_bool/array                         1h05m32s  28GB
Jul 15 07:47:39 Starting examples/pseudo_bool/array/compilation
Jul 15 08:00:44 Finished examples/pseudo_bool/array/compilation               13m04s  29GB
Jul 15 08:00:44 Starting examples/pseudo_bool/array/compilation/proofs
Jul 15 08:04:52 Finished examples/pseudo_bool/array/compilation/proofs         4m06s   9GB
Jul 15 08:04:52 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 15 08:06:39 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m45s   9GB
Jul 15 08:06:40 Starting examples/opentheory
Jul 15 08:17:24 Finished examples/opentheory                                  10m43s   8GB
Jul 15 08:17:25 Starting examples/opentheory
Jul 15 08:17:27 Finished examples/opentheory                                      0s 136MB
Jul 15 08:17:27 Starting examples/opentheory/compilation
Jul 15 08:19:27 Finished examples/opentheory/compilation                       1m58s   8GB
Jul 15 08:19:28 Starting examples/opentheory/compilation/proofs
Jul 15 08:21:07 Finished examples/opentheory/compilation/proofs                1m37s   7GB
Jul 15 08:21:08 Starting examples/opentheory/compilation/ag32
Jul 15 08:23:19 Finished examples/opentheory/compilation/ag32                  2m09s   8GB
Jul 15 08:23:19 Starting examples/opentheory/compilation/ag32/proofs
Jul 15 08:25:39 Finished examples/opentheory/compilation/ag32/proofs           2m18s  12GB
Jul 15 08:25:40 Starting examples/sat_encodings
Jul 15 08:28:36 Finished examples/sat_encodings                                2m54s   2GB
Jul 15 08:28:36 Starting examples/sat_encodings/case_studies
Jul 15 08:30:43 Finished examples/sat_encodings/case_studies                   2m06s   2GB
Jul 15 08:30:44 Starting examples/sat_encodings/translation
Jul 15 08:37:00 Finished examples/sat_encodings/translation                    6m14s   8GB
Jul 15 08:37:00 Starting examples/sat_encodings/translation/compilation
Jul 15 08:39:20 Finished examples/sat_encodings/translation/compilation        2m19s   6GB
Jul 15 08:39:21 Starting examples/deflate
Jul 15 08:40:46 Finished examples/deflate                                      1m23s   1GB
Jul 15 08:40:47 Starting examples/deflate/translation
Jul 15 08:42:31 Finished examples/deflate/translation                          1m43s   7GB
Jul 15 08:42:32 Starting examples/deflate/translation/compilation
Jul 15 08:43:36 Finished examples/deflate/translation/compilation              1m03s   5GB
Jul 15 08:43:37 Starting examples/vipr
Jul 15 08:47:44 Finished examples/vipr                                         4m06s   7GB
Jul 15 08:47:45 Starting examples/vipr/compilation
Jul 15 08:49:02 Finished examples/vipr/compilation                             1m16s   6GB
Jul 15 08:49:03 Starting translator/okasaki-examples
Jul 15 08:54:15 Finished translator/okasaki-examples                           5m10s   4GB
Jul 15 08:54:16 Starting translator/other-examples
Jul 15 08:55:28 Finished translator/other-examples                             1m11s   3GB
Jul 15 08:55:29 Starting compiler/parsing/tests
Jul 15 08:56:03 Finished compiler/parsing/tests                                  33s   1GB
Jul 15 08:56:04 Starting compiler/inference/tests
Jul 15 08:56:45 Finished compiler/inference/tests                                39s   3GB
Jul 15 08:56:46 Starting compiler/printing/test
Jul 15 08:58:19 Finished compiler/printing/test                                1m32s   6GB
Jul 15 08:58:20 Starting icing/flover
Jul 15 09:34:55 Finished icing/flover                                         36m33s   4GB
Jul 15 09:34:56 Starting icing/
Jul 15 10:02:59 Finished icing/                                               28m01s   9GB
Jul 15 10:03:00 Starting icing/examples
Jul 15 10:04:44 Finished icing/examples                                        1m43s   9GB
Jul 15 10:04:45 Starting compiler/repl
Jul 15 10:13:42 Finished compiler/repl                                         8m56s   9GB
Jul 15 10:13:43 Starting unverified/sexpr-bootstrap/x64/64
Jul 15 10:25:47 Finished unverified/sexpr-bootstrap/x64/64                    11m37s  16GB
Jul 15 10:25:48 Starting unverified/sexpr-bootstrap/x64/32
Jul 15 10:35:14 Finished unverified/sexpr-bootstrap/x64/32                     9m08s  14GB
Jul 15 10:35:15 Starting compiler/benchmarks
Jul 15 10:36:00 Finished compiler/benchmarks                                     43s 713MB
Jul 15 10:36:01 Starting compiler/bootstrap/compilation/x64/64
Jul 15 11:29:01 Finished compiler/bootstrap/compilation/x64/64                52m46s 102GB
Jul 15 11:29:02 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 15 11:51:57 Finished compiler/bootstrap/compilation/x64/64/proofs         22m54s  54GB
Jul 15 11:51:58 Starting compiler/bootstrap/compilation/x64/32
Jul 15 12:29:18 Finished compiler/bootstrap/compilation/x64/32                37m11s 100GB
Jul 15 12:29:19 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 15 12:34:00 Finished compiler/bootstrap/compilation/x64/32/proofs          4m40s  26GB
Jul 15 12:34:01 Starting compiler/bootstrap/compilation/ag32/32
Jul 15 13:11:33 Finished compiler/bootstrap/compilation/ag32/32               37m31s  97GB
Jul 15 13:11:34 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 15 13:16:42 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m06s  29GB
Jul 15 13:16:43 SUCCESS