Job 2001

CakeML:8787dfee96e79a737da9bd4fb610e9d5de5fbaed
  Merge pull request #910 from CakeML/minor-tweaks [Sep 25 06:57:35]
HOL:893dead4b6f59a9be7fc251533d0a5ee77e12e56
  Add some simple test for bitArithLib and document in next-release.md [Sep 15 04:32:27]
Machine:oven3
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Sep 25 09:01:01 Claimed job
Sep 25 09:01:03 Reusing HOL
Sep 25 09:01:55 Starting developers
Sep 25 09:02:05 Finished developers                                               9s 162MB
Sep 25 09:02:05 Starting developers/bin
Sep 25 09:02:18 Finished developers/bin                                          12s   1GB
Sep 25 09:02:18 Starting compiler/proofs
Sep 27 15:55:24 Resuming compiler/proofs
Sep 27 16:10:44 Finished compiler/proofs                                      15m19s   3GB
Sep 27 16:10:44 Starting compiler/bootstrap/translation
Sep 28 02:41:11 Finished compiler/bootstrap/translation                    10h30m26s  66GB
Sep 28 02:41:11 Starting semantics/ffi
Sep 28 02:41:19 Finished semantics/ffi                                            7s 211MB
Sep 28 02:41:19 Starting semantics
Sep 28 02:41:22 Finished semantics                                                2s  32MB
Sep 28 02:41:22 Starting semantics/proofs
Sep 28 02:42:29 Finished semantics/proofs                                      1m06s 865MB
Sep 28 02:42:30 Starting semantics/alt_semantics
Sep 28 02:43:29 Finished semantics/alt_semantics                                 58s 564MB
Sep 28 02:43:29 Starting semantics/alt_semantics/proofs
Sep 28 03:09:09 Finished semantics/alt_semantics/proofs                       25m39s   1GB
Sep 28 03:09:10 Starting basis/pure
Sep 28 03:09:12 Finished basis/pure                                               2s  33MB
Sep 28 03:09:13 Starting translator
Sep 28 03:12:52 Finished translator                                            3m39s   2GB
Sep 28 03:12:52 Starting compiler/parsing
Sep 28 03:12:55 Finished compiler/parsing                                         2s  17MB
Sep 28 03:12:55 Starting characteristic
Sep 28 03:12:59 Finished characteristic                                           3s  25MB
Sep 28 03:12:59 Starting translator/monadic
Sep 28 03:13:02 Finished translator/monadic                                       2s  33MB
Sep 28 03:13:03 Starting basis
Sep 28 03:20:29 Finished basis                                                 7m26s   3GB
Sep 28 03:20:29 Starting compiler/inference
Sep 28 03:20:32 Finished compiler/inference                                       2s  32MB
Sep 28 03:20:32 Starting compiler/backend/reg_alloc
Sep 28 03:20:35 Finished compiler/backend/reg_alloc                               2s  22MB
Sep 28 03:20:35 Starting compiler/backend/gc
Sep 28 03:20:39 Finished compiler/backend/gc                                      3s  30MB
Sep 28 03:20:39 Starting compiler/backend
Sep 28 03:21:03 Finished compiler/backend                                        23s 672MB
Sep 28 03:21:03 Starting compiler/encoders/asm
Sep 28 03:21:06 Finished compiler/encoders/asm                                    2s  27MB
Sep 28 03:21:07 Starting compiler/encoders/x64
Sep 28 03:21:10 Finished compiler/encoders/x64                                    2s  25MB
Sep 28 03:21:10 Starting compiler/encoders/arm7
Sep 28 03:21:13 Finished compiler/encoders/arm7                                   2s  24MB
Sep 28 03:21:13 Starting compiler/encoders/arm8
Sep 28 03:21:16 Finished compiler/encoders/arm8                                   2s  29MB
Sep 28 03:21:16 Starting compiler/encoders/arm8_asl
Sep 28 03:28:54 Finished compiler/encoders/arm8_asl                            7m37s   1GB
Sep 28 03:28:55 Starting compiler/encoders/mips
Sep 28 03:28:57 Finished compiler/encoders/mips                                   2s  30MB
Sep 28 03:28:58 Starting compiler/encoders/riscv
Sep 28 03:29:01 Finished compiler/encoders/riscv                                  2s  33MB
Sep 28 03:29:01 Starting compiler/encoders/ag32
Sep 28 03:29:04 Finished compiler/encoders/ag32                                   2s  25MB
Sep 28 03:29:04 Starting compiler/backend/x64
Sep 28 03:29:08 Finished compiler/backend/x64                                     3s  33MB
Sep 28 03:29:08 Starting compiler/backend/arm7
Sep 28 03:29:12 Finished compiler/backend/arm7                                    3s  25MB
Sep 28 03:29:12 Starting compiler/backend/arm8
Sep 28 03:29:16 Finished compiler/backend/arm8                                    3s  43MB
Sep 28 03:29:16 Starting compiler/backend/mips
Sep 28 03:29:20 Finished compiler/backend/mips                                    3s  25MB
Sep 28 03:29:20 Starting compiler/backend/riscv
Sep 28 03:29:24 Finished compiler/backend/riscv                                   3s  32MB
Sep 28 03:29:25 Starting compiler/backend/ag32
Sep 28 03:32:21 Finished compiler/backend/ag32                                 2m56s   1GB
Sep 28 03:32:21 Starting compiler/parsing/proofs
Sep 28 03:32:24 Finished compiler/parsing/proofs                                  2s  30MB
Sep 28 03:32:25 Starting compiler/inference/proofs
Sep 28 03:32:28 Finished compiler/inference/proofs                                2s  32MB
Sep 28 03:32:28 Starting compiler/backend/semantics
Sep 28 03:34:53 Finished compiler/backend/semantics                            2m24s   1GB
Sep 28 03:34:53 Starting compiler/backend/reg_alloc/proofs
Sep 28 03:34:56 Finished compiler/backend/reg_alloc/proofs                        3s  27MB
Sep 28 03:34:57 Starting compiler/backend/proofs
Sep 28 03:36:53 Finished compiler/backend/proofs                               1m55s   2GB
Sep 28 03:36:53 Starting compiler/backend/serialiser
Sep 28 03:36:58 Finished compiler/backend/serialiser                              5s  33MB
Sep 28 03:36:58 Starting compiler/encoders/x64/proofs
Sep 28 03:58:52 Finished compiler/encoders/x64/proofs                         21m53s   4GB
Sep 28 03:58:52 Starting compiler/encoders/arm7/proofs
Sep 28 04:30:25 Finished compiler/encoders/arm7/proofs                        31m32s   3GB
Sep 28 04:30:25 Starting compiler/encoders/arm8/proofs
Sep 28 04:46:15 Finished compiler/encoders/arm8/proofs                        15m49s   1GB
Sep 28 04:46:15 Starting compiler/encoders/arm8_asl/proofs
Sep 28 05:22:35 Finished compiler/encoders/arm8_asl/proofs                    36m19s   2GB
Sep 28 05:22:35 Starting compiler/encoders/mips/proofs
Sep 28 05:45:59 Finished compiler/encoders/mips/proofs                        23m23s   2GB
Sep 28 05:45:59 Starting compiler/encoders/riscv/proofs
Sep 28 06:06:26 Finished compiler/encoders/riscv/proofs                       20m26s   1GB
Sep 28 06:06:26 Starting compiler/encoders/ag32/proofs
Sep 28 06:12:24 Finished compiler/encoders/ag32/proofs                         5m57s   1GB
Sep 28 06:12:24 Starting compiler/backend/x64/proofs
Sep 28 06:13:18 Finished compiler/backend/x64/proofs                             53s   1GB
Sep 28 06:13:18 Starting compiler/backend/arm7/proofs
Sep 28 06:14:14 Finished compiler/backend/arm7/proofs                            55s   1GB
Sep 28 06:14:14 Starting compiler/backend/arm8/proofs
Sep 28 06:15:10 Finished compiler/backend/arm8/proofs                            55s   2GB
Sep 28 06:15:11 Starting compiler/backend/arm8_asl
Sep 28 06:15:57 Finished compiler/backend/arm8_asl                               45s   2GB
Sep 28 06:15:57 Starting compiler/backend/mips/proofs
Sep 28 06:16:52 Finished compiler/backend/mips/proofs                            54s   1GB
Sep 28 06:16:52 Starting compiler/backend/riscv/proofs
Sep 28 06:17:49 Finished compiler/backend/riscv/proofs                           56s   1GB
Sep 28 06:17:49 Starting compiler/backend/ag32/proofs
Sep 28 06:47:45 Finished compiler/backend/ag32/proofs                         29m55s   3GB
Sep 28 06:47:45 Starting candle/set-theory
Sep 28 06:48:54 Finished candle/set-theory                                     1m08s   1GB
Sep 28 06:48:54 Starting candle/syntax-lib
Sep 28 06:48:57 Finished candle/syntax-lib                                        2s  33MB
Sep 28 06:48:57 Starting candle/standard/syntax
Sep 28 06:49:16 Finished candle/standard/syntax                                  19s 531MB
Sep 28 06:49:17 Starting candle/standard/semantics
Sep 28 06:53:05 Finished candle/standard/semantics                             3m48s   1GB
Sep 28 06:53:06 Starting candle/standard/monadic
Sep 28 06:53:09 Finished candle/standard/monadic                                  3s  32MB
Sep 28 06:53:09 Starting candle/standard/ml_kernel
Sep 28 06:56:13 Finished candle/standard/ml_kernel                             3m03s   2GB
Sep 28 06:56:13 Starting candle/overloading/syntax
Sep 28 07:03:18 Finished candle/overloading/syntax                             7m04s   1GB
Sep 28 07:03:18 Starting candle/overloading/semantics
Sep 28 07:29:28 Finished candle/overloading/semantics                         26m09s   3GB
Sep 28 07:29:28 Starting candle/overloading/monadic
Sep 28 07:34:58 Finished candle/overloading/monadic                            5m29s   1GB
Sep 28 07:34:59 Starting candle/overloading/ml_kernel
Sep 28 07:50:48 Finished candle/overloading/ml_kernel                         15m48s   3GB
Sep 28 07:50:48 Starting candle/overloading/ml_checker
Sep 28 07:56:06 Finished candle/overloading/ml_checker                         5m17s   4GB
Sep 28 07:56:06 Starting candle/prover
Sep 28 08:18:12 Finished candle/prover                                        22m06s   3GB
Sep 28 08:18:13 Starting pancake
Sep 28 08:24:28 Finished pancake                                               6m15s   4GB
Sep 28 08:24:29 Starting pancake/ffi
Sep 28 08:24:29 Finished pancake/ffi                                              0s  13MB
Sep 28 08:24:30 Starting pancake/semantics
Sep 28 08:29:44 Finished pancake/semantics                                     5m13s   1GB
Sep 28 08:29:44 Starting pancake/proofs
Sep 28 08:56:34 Finished pancake/proofs                                       26m49s   6GB
Sep 28 08:56:34 Starting characteristic/examples
Sep 28 08:59:31 Finished characteristic/examples                               2m56s   2GB
Sep 28 08:59:31 Starting tutorial/solutions
Sep 28 09:33:52 Finished tutorial/solutions                                   34m20s   8GB
Sep 28 09:33:53 Starting translator/monadic/examples
Sep 28 09:40:46 Finished translator/monadic/examples                           6m52s   2GB
Sep 28 09:40:46 Starting examples
Sep 28 09:59:56 Finished examples                                             19m09s   4GB
Sep 28 09:59:56 Starting examples/compilation/x64
Sep 28 14:36:19 Finished examples/compilation/x64                           4h36m22s  17GB
Sep 28 14:36:20 Starting examples/compilation/x64/proofs
Sep 28 14:40:07 Finished examples/compilation/x64/proofs                       3m46s   3GB
Sep 28 14:40:07 Starting examples/compilation/ag32
Sep 28 15:54:27 Finished examples/compilation/ag32                          1h14m19s   8GB
Sep 28 15:54:28 Starting examples/compilation/ag32/proofs
Sep 28 15:56:13 Finished examples/compilation/ag32/proofs                      1m44s   3GB
Sep 28 15:56:13 Starting examples/compilation/to_word
Sep 28 16:02:51 Finished examples/compilation/to_word                          6m37s   5GB
Sep 28 16:02:52 Starting examples/lpr_checker
Sep 28 16:04:54 Finished examples/lpr_checker                                  2m02s   1GB
Sep 28 16:04:55 Starting examples/lpr_checker/array
Sep 28 17:22:17 Finished examples/lpr_checker/array                         1h17m21s   8GB
Sep 28 17:22:17 Starting examples/lpr_checker/array/compilation
Sep 28 18:43:44 Finished examples/lpr_checker/array/compilation             1h21m26s  37GB
Sep 28 18:43:44 Starting examples/lpr_checker/array/compilation/proofs
Sep 28 18:46:28 Finished examples/lpr_checker/array/compilation/proofs         2m43s   6GB
Sep 28 18:46:28 Starting examples/opentheory
Sep 28 19:09:11 Finished examples/opentheory                                  22m41s   4GB
Sep 28 19:09:11 Starting examples/opentheory
Sep 28 19:09:15 Finished examples/opentheory                                      3s  32MB
Sep 28 19:09:15 Starting examples/opentheory/compilation
Sep 28 20:37:25 Finished examples/opentheory/compilation                    1h28m09s  43GB
Sep 28 20:37:26 Starting examples/opentheory/compilation/proofs
Sep 28 20:39:01 Finished examples/opentheory/compilation/proofs                1m35s   3GB
Sep 28 20:39:02 Starting examples/opentheory/compilation/ag32
Sep 28 22:01:09 Finished examples/opentheory/compilation/ag32               1h22m07s  41GB
Sep 28 22:01:10 Starting examples/opentheory/compilation/ag32/proofs
Sep 28 22:04:47 Finished examples/opentheory/compilation/ag32/proofs           3m36s   5GB
Sep 28 22:04:47 Starting examples/sat_encodings
Sep 28 22:08:36 Finished examples/sat_encodings                                3m47s 994MB
Sep 28 22:08:36 Starting examples/sat_encodings/case_studies
Sep 28 22:11:58 Finished examples/sat_encodings/case_studies                   3m22s 918MB
Sep 28 22:11:59 Starting examples/sat_encodings/translation
Sep 28 22:23:37 Finished examples/sat_encodings/translation                   11m37s   3GB
Sep 28 22:23:37 Starting examples/sat_encodings/translation/compilation
Sep 28 23:48:39 Finished examples/sat_encodings/translation/compilation     1h25m01s  23GB
Sep 28 23:48:39 Starting examples/deflate
Sep 28 23:50:27 Finished examples/deflate                                      1m47s 731MB
Sep 28 23:50:27 Starting examples/deflate/translation
Sep 28 23:53:27 Finished examples/deflate/translation                          2m59s   2GB
Sep 28 23:53:27 Starting examples/deflate/translation/compilation
Sep 29 00:32:51 Finished examples/deflate/translation/compilation             39m23s  17GB
Sep 29 00:32:51 Starting translator/okasaki-examples
Sep 29 00:43:00 Finished translator/okasaki-examples                          10m09s   1GB
Sep 29 00:43:01 Starting translator/other-examples
Sep 29 00:44:29 Finished translator/other-examples                             1m28s   1GB
Sep 29 00:44:30 Starting compiler/parsing/tests
Sep 29 00:45:38 Finished compiler/parsing/tests                                1m07s 691MB
Sep 29 00:45:38 Starting compiler/inference/tests
Sep 29 01:02:33 Finished compiler/inference/tests                             16m54s   7GB
Sep 29 01:02:33 Starting compiler/printing/test
Sep 29 01:09:24 Finished compiler/printing/test                                6m50s   3GB
Sep 29 01:09:25 Starting icing/flover
Sep 29 02:43:30 Finished icing/flover                                       1h34m05s   1GB
Sep 29 02:43:31 Starting icing/
Sep 29 04:56:57 Finished icing/                                             2h13m25s   7GB
Sep 29 04:56:57 Starting icing/examples
Sep 29 05:00:04 Finished icing/examples                                        3m06s   4GB
Sep 29 05:00:04 Starting compiler/repl
Sep 29 05:18:41 Finished compiler/repl                                        18m36s   4GB
Sep 29 05:18:42 Starting unverified/sexpr-bootstrap/x64/64
Sep 29 05:41:46 Finished unverified/sexpr-bootstrap/x64/64                    23m03s  13GB
Sep 29 05:41:47 Starting unverified/sexpr-bootstrap/x64/32
Sep 29 06:00:19 Finished unverified/sexpr-bootstrap/x64/32                    18m30s  11GB
Sep 29 06:00:19 Starting compiler/benchmarks
Sep 29 06:00:25 Finished compiler/benchmarks                                      6s  41MB
Sep 29 06:00:26 Starting compiler/bootstrap/compilation/x64/64
Sep 30 07:25:01 Finished compiler/bootstrap/compilation/x64/64             25h24m33s  93GB
Sep 30 07:25:01 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 30 08:09:37 Finished compiler/bootstrap/compilation/x64/64/proofs         44m35s  28GB
Sep 30 08:09:37 Starting compiler/bootstrap/compilation/x64/32
Sep 30 23:38:02 Finished compiler/bootstrap/compilation/x64/32             15h28m23s  94GB
Sep 30 23:38:03 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 30 23:43:28 Finished compiler/bootstrap/compilation/x64/32/proofs          5m24s  15GB
Sep 30 23:43:28 Starting compiler/bootstrap/compilation/ag32/32
Oct 01 14:28:06 Finished compiler/bootstrap/compilation/ag32/32            14h44m36s 109GB
Oct 01 14:28:06 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 01 14:40:55 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m49s  34GB
Oct 01 14:40:56 SUCCESS