Job 2084

CakeML:1ba565e3371866c22606beb47359bb484d138d0d
  Merge pull request #921 from CakeML/cons_check [Jan 18 13:54:27]
HOL:bdb5ef71be298fca5f49b99af1da011cc38d4807
  Fix typo in comment [Jan 16 03:01:13]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 18 13:55:51 Claimed job
Jan 18 13:55:56 Building HOL
Jan 18 14:08:26 Starting developers
Jan 18 14:08:31 Finished developers                                               5s 178MB
Jan 18 14:08:31 Starting developers/bin
Jan 18 14:08:37 Finished developers/bin                                           5s   1GB
Jan 18 14:08:37 Starting compiler/proofs
Jan 18 16:06:33 Finished compiler/proofs                                    1h57m54s  18GB
Jan 18 16:06:33 Starting compiler/bootstrap/translation
Jan 19 00:04:34 Finished compiler/bootstrap/translation                     7h58m00s  33GB
Jan 19 00:04:35 Starting semantics/ffi
Jan 19 00:04:41 Finished semantics/ffi                                            6s 214MB
Jan 19 00:04:41 Starting semantics
Jan 19 00:04:43 Finished semantics                                                1s  25MB
Jan 19 00:04:43 Starting semantics/proofs
Jan 19 00:05:16 Finished semantics/proofs                                        33s   1GB
Jan 19 00:05:16 Starting semantics/alt_semantics
Jan 19 00:05:47 Finished semantics/alt_semantics                                 30s 784MB
Jan 19 00:05:47 Starting semantics/alt_semantics/proofs
Jan 19 00:17:39 Finished semantics/alt_semantics/proofs                       11m51s   2GB
Jan 19 00:17:39 Starting basis/pure
Jan 19 00:17:40 Finished basis/pure                                               1s  19MB
Jan 19 00:17:41 Starting translator
Jan 19 00:19:31 Finished translator                                            1m49s   1GB
Jan 19 00:19:31 Starting compiler/parsing
Jan 19 00:19:32 Finished compiler/parsing                                         1s  22MB
Jan 19 00:19:32 Starting characteristic
Jan 19 00:19:34 Finished characteristic                                           1s  22MB
Jan 19 00:19:35 Starting translator/monadic
Jan 19 00:19:36 Finished translator/monadic                                       1s  26MB
Jan 19 00:19:37 Starting basis
Jan 19 00:22:59 Finished basis                                                 3m22s   3GB
Jan 19 00:22:59 Starting compiler/inference
Jan 19 00:23:01 Finished compiler/inference                                       1s  20MB
Jan 19 00:23:01 Starting compiler/backend/reg_alloc
Jan 19 00:23:02 Finished compiler/backend/reg_alloc                               1s  22MB
Jan 19 00:23:03 Starting compiler/backend/gc
Jan 19 00:23:05 Finished compiler/backend/gc                                      2s  25MB
Jan 19 00:23:05 Starting compiler/backend
Jan 19 00:23:18 Finished compiler/backend                                        12s 784MB
Jan 19 00:23:18 Starting compiler/encoders/asm
Jan 19 00:23:20 Finished compiler/encoders/asm                                    1s  27MB
Jan 19 00:23:20 Starting compiler/encoders/x64
Jan 19 00:23:22 Finished compiler/encoders/x64                                    1s  22MB
Jan 19 00:23:22 Starting compiler/encoders/arm7
Jan 19 00:23:24 Finished compiler/encoders/arm7                                   1s  22MB
Jan 19 00:23:24 Starting compiler/encoders/arm8
Jan 19 00:23:25 Finished compiler/encoders/arm8                                   1s  25MB
Jan 19 00:23:26 Starting compiler/encoders/arm8_asl
Jan 19 02:51:36 Finished compiler/encoders/arm8_asl                         2h28m09s  37GB
Jan 19 02:51:36 Starting compiler/encoders/mips
Jan 19 02:51:38 Finished compiler/encoders/mips                                   1s  24MB
Jan 19 02:51:38 Starting compiler/encoders/riscv
Jan 19 02:51:40 Finished compiler/encoders/riscv                                  1s  21MB
Jan 19 02:51:40 Starting compiler/encoders/ag32
Jan 19 02:51:42 Finished compiler/encoders/ag32                                   1s  22MB
Jan 19 02:51:42 Starting compiler/backend/x64
Jan 19 02:51:44 Finished compiler/backend/x64                                     2s  29MB
Jan 19 02:51:44 Starting compiler/backend/arm7
Jan 19 02:51:46 Finished compiler/backend/arm7                                    2s  22MB
Jan 19 02:51:46 Starting compiler/backend/arm8
Jan 19 02:51:49 Finished compiler/backend/arm8                                    2s  29MB
Jan 19 02:51:49 Starting compiler/backend/mips
Jan 19 02:51:51 Finished compiler/backend/mips                                    2s  28MB
Jan 19 02:51:51 Starting compiler/backend/riscv
Jan 19 02:51:53 Finished compiler/backend/riscv                                   2s  25MB
Jan 19 02:51:53 Starting compiler/backend/ag32
Jan 19 02:53:20 Finished compiler/backend/ag32                                 1m26s   1GB
Jan 19 02:53:20 Starting compiler/parsing/proofs
Jan 19 02:53:22 Finished compiler/parsing/proofs                                  1s  19MB
Jan 19 02:53:22 Starting compiler/inference/proofs
Jan 19 02:53:24 Finished compiler/inference/proofs                                1s  19MB
Jan 19 02:53:24 Starting compiler/backend/semantics
Jan 19 02:54:38 Finished compiler/backend/semantics                            1m13s   1GB
Jan 19 02:54:38 Starting compiler/backend/reg_alloc/proofs
Jan 19 02:54:40 Finished compiler/backend/reg_alloc/proofs                        1s  25MB
Jan 19 02:54:40 Starting compiler/backend/proofs
Jan 19 02:55:37 Finished compiler/backend/proofs                                 57s   2GB
Jan 19 02:55:37 Starting compiler/backend/serialiser
Jan 19 02:55:40 Finished compiler/backend/serialiser                              2s  33MB
Jan 19 02:55:40 Starting compiler/encoders/x64/proofs
Jan 19 03:05:39 Finished compiler/encoders/x64/proofs                          9m58s   4GB
Jan 19 03:05:39 Starting compiler/encoders/arm7/proofs
Jan 19 03:19:20 Finished compiler/encoders/arm7/proofs                        13m41s   8GB
Jan 19 03:19:20 Starting compiler/encoders/arm8/proofs
Jan 19 03:26:21 Finished compiler/encoders/arm8/proofs                         7m00s   1GB
Jan 19 03:26:21 Starting compiler/encoders/arm8_asl/proofs
Jan 19 04:17:44 Finished compiler/encoders/arm8_asl/proofs                    51m21s   5GB
Jan 19 04:17:44 Starting compiler/encoders/mips/proofs
Jan 19 04:28:31 Finished compiler/encoders/mips/proofs                        10m47s   2GB
Jan 19 04:28:31 Starting compiler/encoders/riscv/proofs
Jan 19 04:37:35 Finished compiler/encoders/riscv/proofs                        9m03s   2GB
Jan 19 04:37:35 Starting compiler/encoders/ag32/proofs
Jan 19 04:40:11 Finished compiler/encoders/ag32/proofs                         2m36s   1GB
Jan 19 04:40:11 Starting compiler/backend/x64/proofs
Jan 19 04:40:43 Finished compiler/backend/x64/proofs                             31s   2GB
Jan 19 04:40:43 Starting compiler/backend/arm7/proofs
Jan 19 04:41:15 Finished compiler/backend/arm7/proofs                            32s   2GB
Jan 19 04:41:15 Starting compiler/backend/arm8/proofs
Jan 19 04:41:45 Finished compiler/backend/arm8/proofs                            29s   1GB
Jan 19 04:41:45 Starting compiler/backend/arm8_asl
Jan 19 04:42:08 Finished compiler/backend/arm8_asl                               23s   1GB
Jan 19 04:42:08 Starting compiler/backend/mips/proofs
Jan 19 04:42:41 Finished compiler/backend/mips/proofs                            31s   1GB
Jan 19 04:42:41 Starting compiler/backend/riscv/proofs
Jan 19 04:43:15 Finished compiler/backend/riscv/proofs                           33s   2GB
Jan 19 04:43:15 Starting compiler/backend/ag32/proofs
Jan 19 04:57:12 Finished compiler/backend/ag32/proofs                         13m57s   3GB
Jan 19 04:57:12 Starting candle/set-theory
Jan 19 04:57:51 Finished candle/set-theory                                       38s   1GB
Jan 19 04:57:51 Starting candle/syntax-lib
Jan 19 04:57:53 Finished candle/syntax-lib                                        1s  26MB
Jan 19 04:57:53 Starting candle/standard/syntax
Jan 19 04:58:03 Finished candle/standard/syntax                                  10s 686MB
Jan 19 04:58:04 Starting candle/standard/semantics
Jan 19 05:00:00 Finished candle/standard/semantics                             1m56s   1GB
Jan 19 05:00:00 Starting candle/standard/monadic
Jan 19 05:00:02 Finished candle/standard/monadic                                  1s  23MB
Jan 19 05:00:02 Starting candle/standard/ml_kernel
Jan 19 05:01:38 Finished candle/standard/ml_kernel                             1m36s   3GB
Jan 19 05:01:38 Starting candle/overloading/syntax
Jan 19 05:04:57 Finished candle/overloading/syntax                             3m18s   1GB
Jan 19 05:04:57 Starting candle/overloading/semantics
Jan 19 05:16:58 Finished candle/overloading/semantics                         12m00s   4GB
Jan 19 05:16:58 Starting candle/overloading/monadic
Jan 19 05:19:38 Finished candle/overloading/monadic                            2m39s   1GB
Jan 19 05:19:38 Starting candle/overloading/ml_kernel
Jan 19 05:27:20 Finished candle/overloading/ml_kernel                          7m41s   4GB
Jan 19 05:27:21 Starting candle/overloading/ml_checker
Jan 19 05:29:52 Finished candle/overloading/ml_checker                         2m31s   3GB
Jan 19 05:29:52 Starting candle/prover
Jan 19 05:39:49 Finished candle/prover                                         9m56s   3GB
Jan 19 05:39:49 Starting pancake
Jan 19 05:43:14 Finished pancake                                               3m25s   5GB
Jan 19 05:43:14 Starting pancake/ffi
Jan 19 05:43:15 Finished pancake/ffi                                              0s  13MB
Jan 19 05:43:15 Starting pancake/semantics
Jan 19 05:45:46 Finished pancake/semantics                                     2m30s   1GB
Jan 19 05:45:46 Starting pancake/proofs
Jan 19 05:48:53 Finished pancake/proofs                                        3m07s   2GB
Jan 19 05:48:53 Starting characteristic/examples
Jan 19 05:50:20 Finished characteristic/examples                               1m26s   3GB
Jan 19 05:50:21 Starting tutorial/solutions
Jan 19 06:05:47 Finished tutorial/solutions                                   15m26s   8GB
Jan 19 06:05:47 Starting translator/monadic/examples
Jan 19 06:09:48 Finished translator/monadic/examples                           4m00s   3GB
Jan 19 06:09:48 Starting examples
Jan 19 06:26:19 Finished examples                                             16m29s   3GB
Jan 19 06:26:19 Starting examples/compilation/x64
Jan 19 08:25:24 Finished examples/compilation/x64                           1h59m03s  20GB
Jan 19 08:25:24 Starting examples/compilation/x64/proofs
Jan 19 08:27:54 Finished examples/compilation/x64/proofs                       2m30s   4GB
Jan 19 08:27:54 Starting examples/compilation/ag32
Jan 19 08:58:26 Finished examples/compilation/ag32                            30m31s   7GB
Jan 19 08:58:26 Starting examples/compilation/ag32/proofs
Jan 19 08:59:28 Finished examples/compilation/ag32/proofs                      1m01s   4GB
Jan 19 08:59:28 Starting examples/compilation/to_word
Jan 19 09:02:47 Finished examples/compilation/to_word                          3m19s   7GB
Jan 19 09:02:47 Starting examples/lpr_checker
Jan 19 09:03:52 Finished examples/lpr_checker                                  1m04s   1GB
Jan 19 09:03:52 Starting examples/lpr_checker/array
Jan 19 09:38:34 Finished examples/lpr_checker/array                           34m40s   6GB
Jan 19 09:38:34 Starting examples/lpr_checker/array/compilation
Jan 19 10:16:18 Finished examples/lpr_checker/array/compilation               37m44s  25GB
Jan 19 10:16:18 Starting examples/lpr_checker/array/compilation/proofs
Jan 19 10:17:49 Finished examples/lpr_checker/array/compilation/proofs         1m30s   7GB
Jan 19 10:17:49 Starting examples/opentheory
Jan 19 10:28:42 Finished examples/opentheory                                  10m53s   4GB
Jan 19 10:28:43 Starting examples/opentheory
Jan 19 10:28:45 Finished examples/opentheory                                      1s  26MB
Jan 19 10:28:45 Starting examples/opentheory/compilation
Jan 19 11:05:03 Finished examples/opentheory/compilation                      36m17s  27GB
Jan 19 11:05:03 Starting examples/opentheory/compilation/proofs
Jan 19 11:06:07 Finished examples/opentheory/compilation/proofs                1m03s   4GB
Jan 19 11:06:07 Starting examples/opentheory/compilation/ag32
Jan 19 11:38:59 Finished examples/opentheory/compilation/ag32                 32m51s  27GB
Jan 19 11:38:59 Starting examples/opentheory/compilation/ag32/proofs
Jan 19 11:40:52 Finished examples/opentheory/compilation/ag32/proofs           1m53s   7GB
Jan 19 11:40:52 Starting examples/sat_encodings
Jan 19 11:42:52 Finished examples/sat_encodings                                2m00s 826MB
Jan 19 11:42:53 Starting examples/sat_encodings/case_studies
Jan 19 11:44:40 Finished examples/sat_encodings/case_studies                   1m46s   1GB
Jan 19 11:44:40 Starting examples/sat_encodings/translation
Jan 19 11:50:41 Finished examples/sat_encodings/translation                    6m01s   3GB
Jan 19 11:50:41 Starting examples/sat_encodings/translation/compilation
Jan 19 12:35:43 Finished examples/sat_encodings/translation/compilation       45m00s  22GB
Jan 19 12:35:43 Starting examples/deflate
Jan 19 12:36:44 Finished examples/deflate                                      1m00s   1GB
Jan 19 12:36:44 Starting examples/deflate/translation
Jan 19 12:38:25 Finished examples/deflate/translation                          1m41s   3GB
Jan 19 12:38:25 Starting examples/deflate/translation/compilation
Jan 19 12:58:14 Finished examples/deflate/translation/compilation             19m49s  11GB
Jan 19 12:58:15 Starting translator/okasaki-examples
Jan 19 13:03:23 Finished translator/okasaki-examples                           5m08s   2GB
Jan 19 13:03:23 Starting translator/other-examples
Jan 19 13:06:04 Finished translator/other-examples                             2m40s   1GB
Jan 19 13:06:04 Starting compiler/parsing/tests
Jan 19 13:06:36 Finished compiler/parsing/tests                                  32s 755MB
Jan 19 13:06:36 Starting compiler/inference/tests
Jan 19 13:14:58 Finished compiler/inference/tests                              8m21s   5GB
Jan 19 13:14:58 Starting compiler/printing/test
Jan 19 13:18:43 Finished compiler/printing/test                                3m45s   3GB
Jan 19 13:18:43 Starting icing/flover
Jan 19 14:01:28 Finished icing/flover                                         42m43s   2GB
Jan 19 14:01:28 Starting icing/
Jan 19 15:01:27 Finished icing/                                               59m59s   8GB
Jan 19 15:01:27 Starting icing/examples
Jan 19 15:03:16 Finished icing/examples                                        1m48s   7GB
Jan 19 15:03:16 Starting compiler/repl
Jan 19 15:11:53 Finished compiler/repl                                         8m36s   4GB
Jan 19 15:11:53 Starting unverified/sexpr-bootstrap/x64/64
Jan 19 15:24:34 Finished unverified/sexpr-bootstrap/x64/64                    12m36s  14GB
Jan 19 15:24:34 Starting unverified/sexpr-bootstrap/x64/32
Jan 19 15:34:48 Finished unverified/sexpr-bootstrap/x64/32                    10m10s  10GB
Jan 19 15:34:48 Starting compiler/benchmarks
Jan 19 15:34:53 Finished compiler/benchmarks                                      4s  37MB
Jan 19 15:34:53 Starting compiler/bootstrap/compilation/x64/64
Jan 20 02:37:10 Finished compiler/bootstrap/compilation/x64/64             11h02m14s  64GB
Jan 20 02:37:10 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 20 02:58:48 Finished compiler/bootstrap/compilation/x64/64/proofs         21m38s  30GB
Jan 20 02:58:48 Starting compiler/bootstrap/compilation/x64/32
Jan 20 09:43:51 Finished compiler/bootstrap/compilation/x64/32              6h45m01s  64GB
Jan 20 09:43:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 20 09:46:48 Finished compiler/bootstrap/compilation/x64/32/proofs          2m57s  16GB
Jan 20 09:46:49 Starting compiler/bootstrap/compilation/ag32/32
Jan 20 16:35:48 Finished compiler/bootstrap/compilation/ag32/32             6h48m57s  63GB
Jan 20 16:35:48 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 20 16:42:07 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m18s  42GB
Jan 20 16:42:07 SUCCESS