Job 2127

CakeML:90e158ecb61cc3974c249811f350943545a8b2c1
  Merge pull request #950 from CakeML/rev_list [May 13 10:18:57]
HOL:63a4c9c66796e8d93b355a237575ca63c550a059
  Replace sprintf with snprintf to quiet some deprecation warnings [May 11 01:37:07]
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

May 17 18:21:06 Claimed job
May 17 18:21:07 Reusing HOL
May 17 18:21:46 Starting developers
May 17 18:21:52 Finished developers                                               5s 124MB
May 17 18:21:52 Starting developers/bin
May 17 18:21:58 Finished developers/bin                                           6s   1GB
May 17 18:21:58 Starting compiler/proofs
May 22 10:03:21 Resuming compiler/proofs
May 22 11:48:16 Finished compiler/proofs                                    1h44m52s  17GB
May 22 11:48:16 Starting compiler/bootstrap/translation
May 22 19:46:29 Finished compiler/bootstrap/translation                     7h58m12s  41GB
May 22 19:46:29 Starting semantics/ffi
May 22 19:46:36 Finished semantics/ffi                                            5s 227MB
May 22 19:46:36 Starting semantics
May 22 19:46:37 Finished semantics                                                1s  22MB
May 22 19:46:37 Starting semantics/proofs
May 22 19:47:09 Finished semantics/proofs                                        31s 739MB
May 22 19:47:09 Starting semantics/alt_semantics
May 22 19:47:40 Finished semantics/alt_semantics                                 31s 813MB
May 22 19:47:40 Starting semantics/alt_semantics/proofs
May 22 19:59:30 Finished semantics/alt_semantics/proofs                       11m49s   1GB
May 22 19:59:30 Starting basis/pure
May 22 19:59:31 Finished basis/pure                                               1s  23MB
May 22 19:59:32 Starting translator
May 22 20:01:21 Finished translator                                            1m49s   1GB
May 22 20:01:21 Starting compiler/parsing
May 22 20:01:23 Finished compiler/parsing                                         1s  21MB
May 22 20:01:23 Starting characteristic
May 22 20:01:25 Finished characteristic                                           1s  26MB
May 22 20:01:25 Starting translator/monadic
May 22 20:01:27 Finished translator/monadic                                       1s  23MB
May 22 20:01:27 Starting basis
May 22 20:05:26 Finished basis                                                 3m59s   3GB
May 22 20:05:26 Starting compiler/inference
May 22 20:05:28 Finished compiler/inference                                       1s  19MB
May 22 20:05:28 Starting compiler/backend/reg_alloc
May 22 20:05:29 Finished compiler/backend/reg_alloc                               1s  21MB
May 22 20:05:30 Starting compiler/backend/gc
May 22 20:05:32 Finished compiler/backend/gc                                      2s  22MB
May 22 20:05:32 Starting compiler/backend
May 22 20:05:45 Finished compiler/backend                                        12s 843MB
May 22 20:05:45 Starting compiler/encoders/asm
May 22 20:05:47 Finished compiler/encoders/asm                                    1s  22MB
May 22 20:05:47 Starting compiler/encoders/x64
May 22 20:05:49 Finished compiler/encoders/x64                                    1s  26MB
May 22 20:05:49 Starting compiler/encoders/arm7
May 22 20:05:50 Finished compiler/encoders/arm7                                   1s  22MB
May 22 20:05:50 Starting compiler/encoders/arm8
May 22 20:05:52 Finished compiler/encoders/arm8                                   1s  23MB
May 22 20:05:52 Starting compiler/encoders/arm8_asl
May 22 20:09:09 Finished compiler/encoders/arm8_asl                            3m16s   1GB
May 22 20:09:09 Starting compiler/encoders/mips
May 22 20:09:11 Finished compiler/encoders/mips                                   1s  20MB
May 22 20:09:11 Starting compiler/encoders/riscv
May 22 20:09:13 Finished compiler/encoders/riscv                                  1s  23MB
May 22 20:09:13 Starting compiler/encoders/ag32
May 22 20:09:15 Finished compiler/encoders/ag32                                   1s  22MB
May 22 20:09:15 Starting compiler/backend/x64
May 22 20:09:17 Finished compiler/backend/x64                                     2s  25MB
May 22 20:09:18 Starting compiler/backend/arm7
May 22 20:09:20 Finished compiler/backend/arm7                                    2s  22MB
May 22 20:09:20 Starting compiler/backend/arm8
May 22 20:09:22 Finished compiler/backend/arm8                                    2s  28MB
May 22 20:09:22 Starting compiler/backend/mips
May 22 20:09:24 Finished compiler/backend/mips                                    2s  28MB
May 22 20:09:24 Starting compiler/backend/riscv
May 22 20:09:27 Finished compiler/backend/riscv                                   2s  24MB
May 22 20:09:27 Starting compiler/backend/ag32
May 22 20:10:53 Finished compiler/backend/ag32                                 1m25s   1GB
May 22 20:10:53 Starting compiler/parsing/proofs
May 22 20:10:55 Finished compiler/parsing/proofs                                  1s  23MB
May 22 20:10:55 Starting compiler/inference/proofs
May 22 20:10:57 Finished compiler/inference/proofs                                1s  22MB
May 22 20:10:57 Starting compiler/backend/semantics
May 22 20:12:09 Finished compiler/backend/semantics                            1m11s   1GB
May 22 20:12:09 Starting compiler/backend/reg_alloc/proofs
May 22 20:12:11 Finished compiler/backend/reg_alloc/proofs                        1s  21MB
May 22 20:12:11 Starting compiler/backend/proofs
May 22 20:13:10 Finished compiler/backend/proofs                                 58s   3GB
May 22 20:13:10 Starting compiler/backend/serialiser
May 22 20:13:13 Finished compiler/backend/serialiser                              2s  36MB
May 22 20:13:13 Starting compiler/encoders/x64/proofs
May 22 20:22:59 Finished compiler/encoders/x64/proofs                          9m45s   5GB
May 22 20:22:59 Starting compiler/encoders/arm7/proofs
May 22 20:36:38 Finished compiler/encoders/arm7/proofs                        13m38s   5GB
May 22 20:36:38 Starting compiler/encoders/arm8/proofs
May 22 20:43:30 Finished compiler/encoders/arm8/proofs                         6m52s   1GB
May 22 20:43:30 Starting compiler/encoders/arm8_asl/proofs
May 22 20:59:19 Finished compiler/encoders/arm8_asl/proofs                    15m47s   2GB
May 22 20:59:19 Starting compiler/encoders/mips/proofs
May 22 21:09:54 Finished compiler/encoders/mips/proofs                        10m34s   3GB
May 22 21:09:54 Starting compiler/encoders/riscv/proofs
May 22 21:18:39 Finished compiler/encoders/riscv/proofs                        8m45s   2GB
May 22 21:18:39 Starting compiler/encoders/ag32/proofs
May 22 21:21:15 Finished compiler/encoders/ag32/proofs                         2m35s 962MB
May 22 21:21:15 Starting compiler/backend/x64/proofs
May 22 21:21:46 Finished compiler/backend/x64/proofs                             31s   2GB
May 22 21:21:46 Starting compiler/backend/arm7/proofs
May 22 21:22:20 Finished compiler/backend/arm7/proofs                            33s   1GB
May 22 21:22:20 Starting compiler/backend/arm8/proofs
May 22 21:22:50 Finished compiler/backend/arm8/proofs                            29s   1GB
May 22 21:22:50 Starting compiler/backend/arm8_asl
May 22 21:23:12 Finished compiler/backend/arm8_asl                               21s   1GB
May 22 21:23:12 Starting compiler/backend/mips/proofs
May 22 21:23:43 Finished compiler/backend/mips/proofs                            31s   1GB
May 22 21:23:43 Starting compiler/backend/riscv/proofs
May 22 21:24:17 Finished compiler/backend/riscv/proofs                           33s   2GB
May 22 21:24:17 Starting compiler/backend/ag32/proofs
May 22 21:38:21 Finished compiler/backend/ag32/proofs                         14m03s   2GB
May 22 21:38:21 Starting candle/set-theory
May 22 21:39:00 Finished candle/set-theory                                       38s   1GB
May 22 21:39:00 Starting candle/syntax-lib
May 22 21:39:02 Finished candle/syntax-lib                                        1s  22MB
May 22 21:39:02 Starting candle/standard/syntax
May 22 21:39:13 Finished candle/standard/syntax                                  10s 800MB
May 22 21:39:13 Starting candle/standard/semantics
May 22 21:41:09 Finished candle/standard/semantics                             1m56s   1GB
May 22 21:41:09 Starting candle/standard/monadic
May 22 21:41:11 Finished candle/standard/monadic                                  1s  26MB
May 22 21:41:11 Starting candle/standard/ml_kernel
May 22 21:42:49 Finished candle/standard/ml_kernel                             1m37s   3GB
May 22 21:42:49 Starting candle/overloading/syntax
May 22 21:46:09 Finished candle/overloading/syntax                             3m20s   1GB
May 22 21:46:09 Starting candle/overloading/semantics
May 22 21:58:15 Finished candle/overloading/semantics                         12m06s   3GB
May 22 21:58:16 Starting candle/overloading/monadic
May 22 22:00:57 Finished candle/overloading/monadic                            2m39s   1GB
May 22 22:00:57 Starting candle/overloading/ml_kernel
May 22 22:08:55 Finished candle/overloading/ml_kernel                          7m57s   4GB
May 22 22:08:55 Starting candle/overloading/ml_checker
May 22 22:11:34 Finished candle/overloading/ml_checker                         2m38s   2GB
May 22 22:11:34 Starting candle/prover
May 22 22:21:36 Finished candle/prover                                        10m02s   4GB
May 22 22:21:36 Starting pancake
May 22 22:22:21 Finished pancake                                                 44s   1GB
May 22 22:22:21 Starting pancake/ffi
May 22 22:22:21 Finished pancake/ffi                                              0s  13MB
May 22 22:22:21 Starting pancake/semantics
May 22 22:24:47 Finished pancake/semantics                                     2m25s   1GB
May 22 22:24:47 Starting pancake/proofs
May 22 22:28:54 Finished pancake/proofs                                        4m07s   3GB
May 22 22:28:54 Starting characteristic/examples
May 22 22:30:24 Finished characteristic/examples                               1m29s   2GB
May 22 22:30:24 Starting tutorial/solutions
May 22 22:45:45 Finished tutorial/solutions                                   15m20s   8GB
May 22 22:45:45 Starting translator/monadic/examples
May 22 22:49:48 Finished translator/monadic/examples                           4m03s   3GB
May 22 22:49:48 Starting examples
May 22 23:05:32 Finished examples                                             15m41s   5GB
May 22 23:05:32 Starting examples/compilation/x64
May 23 01:05:23 Finished examples/compilation/x64                           1h59m50s  14GB
May 23 01:05:23 Starting examples/compilation/x64/proofs
May 23 01:07:59 Finished examples/compilation/x64/proofs                       2m35s   4GB
May 23 01:07:59 Starting examples/compilation/ag32
May 23 01:38:41 Finished examples/compilation/ag32                            30m41s   7GB
May 23 01:38:41 Starting examples/compilation/ag32/proofs
May 23 01:39:45 Finished examples/compilation/ag32/proofs                      1m03s   5GB
May 23 01:39:45 Starting examples/compilation/to_word
May 23 01:43:14 Finished examples/compilation/to_word                          3m28s   6GB
May 23 01:43:14 Starting examples/lpr_checker
May 23 01:44:20 Finished examples/lpr_checker                                  1m05s   1GB
May 23 01:44:20 Starting examples/lpr_checker/array
May 23 02:21:17 Finished examples/lpr_checker/array                           36m56s   6GB
May 23 02:21:17 Starting examples/lpr_checker/array/compilation
May 23 03:01:20 Finished examples/lpr_checker/array/compilation               40m02s  25GB
May 23 03:01:20 Starting examples/lpr_checker/array/compilation/proofs
May 23 03:02:52 Finished examples/lpr_checker/array/compilation/proofs         1m32s   7GB
May 23 03:02:52 Starting examples/opentheory
May 23 03:13:49 Finished examples/opentheory                                  10m56s   3GB
May 23 03:13:49 Starting examples/opentheory
May 23 03:13:51 Finished examples/opentheory                                      1s  27MB
May 23 03:13:51 Starting examples/opentheory/compilation
May 23 03:50:39 Finished examples/opentheory/compilation                      36m45s  30GB
May 23 03:50:39 Starting examples/opentheory/compilation/proofs
May 23 03:51:43 Finished examples/opentheory/compilation/proofs                1m03s   4GB
May 23 03:51:43 Starting examples/opentheory/compilation/ag32
May 23 04:25:36 Finished examples/opentheory/compilation/ag32                 33m53s  29GB
May 23 04:25:36 Starting examples/opentheory/compilation/ag32/proofs
May 23 04:27:32 Finished examples/opentheory/compilation/ag32/proofs           1m55s   8GB
May 23 04:27:32 Starting examples/sat_encodings
May 23 04:29:33 Finished examples/sat_encodings                                2m00s 856MB
May 23 04:29:33 Starting examples/sat_encodings/case_studies
May 23 04:31:20 Finished examples/sat_encodings/case_studies                   1m46s   1GB
May 23 04:31:20 Starting examples/sat_encodings/translation
May 23 04:37:31 Finished examples/sat_encodings/translation                    6m11s   5GB
May 23 04:37:31 Starting examples/sat_encodings/translation/compilation
May 23 05:24:03 Finished examples/sat_encodings/translation/compilation       46m28s  21GB
May 23 05:24:04 Starting examples/deflate
May 23 05:25:05 Finished examples/deflate                                      1m00s 855MB
May 23 05:25:05 Starting examples/deflate/translation
May 23 05:26:48 Finished examples/deflate/translation                          1m42s   3GB
May 23 05:26:48 Starting examples/deflate/translation/compilation
May 23 05:47:10 Finished examples/deflate/translation/compilation             20m21s  11GB
May 23 05:47:10 Starting translator/okasaki-examples
May 23 05:52:20 Finished translator/okasaki-examples                           5m10s   2GB
May 23 05:52:20 Starting translator/other-examples
May 23 05:53:13 Finished translator/other-examples                               52s   1GB
May 23 05:53:13 Starting compiler/parsing/tests
May 23 05:53:46 Finished compiler/parsing/tests                                  32s 740MB
May 23 05:53:46 Starting compiler/inference/tests
May 23 06:02:09 Finished compiler/inference/tests                              8m23s   6GB
May 23 06:02:09 Starting compiler/printing/test
May 23 06:06:01 Finished compiler/printing/test                                3m51s   3GB
May 23 06:06:01 Starting icing/flover
May 23 06:50:22 Finished icing/flover                                         44m18s   2GB
May 23 06:50:22 Starting icing/
May 23 07:46:38 Finished icing/                                               56m16s   7GB
May 23 07:46:38 Starting icing/examples
May 23 07:48:11 Finished icing/examples                                        1m32s   3GB
May 23 07:48:11 Starting compiler/repl
May 23 07:56:57 Finished compiler/repl                                         8m45s   4GB
May 23 07:56:57 Starting unverified/sexpr-bootstrap/x64/64
May 23 08:10:16 Finished unverified/sexpr-bootstrap/x64/64                    13m15s  15GB
May 23 08:10:16 Starting unverified/sexpr-bootstrap/x64/32
May 23 08:20:58 Finished unverified/sexpr-bootstrap/x64/32                    10m39s  14GB
May 23 08:20:58 Starting compiler/benchmarks
May 23 08:36:19 Finished compiler/benchmarks                                  15m20s   2GB
May 23 08:36:19 Starting compiler/bootstrap/compilation/x64/64
May 23 20:14:02 Finished compiler/bootstrap/compilation/x64/64             11h37m41s  64GB
May 23 20:14:02 Starting compiler/bootstrap/compilation/x64/64/proofs
May 23 20:34:23 Finished compiler/bootstrap/compilation/x64/64/proofs         20m20s  32GB
May 23 20:34:23 Starting compiler/bootstrap/compilation/x64/32
May 24 03:26:47 Finished compiler/bootstrap/compilation/x64/32              6h52m21s  64GB
May 24 03:26:47 Starting compiler/bootstrap/compilation/x64/32/proofs
May 24 03:29:46 Finished compiler/bootstrap/compilation/x64/32/proofs          2m59s  16GB
May 24 03:29:46 Starting compiler/bootstrap/compilation/ag32/32
May 24 10:30:29 Finished compiler/bootstrap/compilation/ag32/32             7h00m41s  64GB
May 24 10:30:29 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 24 10:37:14 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m44s  36GB
May 24 10:37:14 SUCCESS