Job 3400

CakeML:ccfc23cbadf4fadf8c82a7ac60e813ea5906218a
  Merge pull request #1418 from CakeML/release-notes [Jun 18 16:02:36]
HOL:d456022724bd61e57303339e998313b6580c592d
  build_help: derive sibling/stem manuals from Manual/mdbook.mk [Jun 15 06:09:40]
Machine:lammmington
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Jun 18 16:05:16 Claimed job
Jun 18 16:05:19 Reusing HOL
Jun 18 16:05:28 Starting developers
Jun 18 16:05:33 Finished developers                                               4s 179MB
Jun 18 16:05:34 Starting developers/bin
Jun 18 16:05:38 Finished developers/bin                                           2s  93MB
Jun 18 16:05:39 Starting misc
Jun 18 16:06:22 Finished misc                                                    42s 840MB
Jun 18 16:06:23 Starting compiler/proofs
Jun 18 17:16:53 Finished compiler/proofs                                    1h10m28s  12GB
Jun 18 17:16:54 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 19 00:01:08 Finished compiler/bootstrap/compilation/x64/64/proofs       6h44m12s  60GB
Jun 19 00:01:09 Starting semantics/ffi
Jun 19 00:01:21 Finished semantics/ffi                                           11s 562MB
Jun 19 00:01:22 Starting semantics
Jun 19 00:01:24 Finished semantics                                                1s  79MB
Jun 19 00:01:25 Starting semantics/proofs
Jun 19 00:01:50 Finished semantics/proofs                                        24s 683MB
Jun 19 00:01:51 Starting semantics/alt_semantics
Jun 19 00:02:08 Finished semantics/alt_semantics                                 15s 479MB
Jun 19 00:02:09 Starting semantics/alt_semantics/proofs
Jun 19 00:05:55 Finished semantics/alt_semantics/proofs                        3m44s   1GB
Jun 19 00:05:56 Starting basis/pure
Jun 19 00:05:57 Finished basis/pure                                               1s  79MB
Jun 19 00:05:58 Starting translator
Jun 19 00:07:08 Finished translator                                            1m09s   3GB
Jun 19 00:07:09 Starting compiler/parsing
Jun 19 00:07:54 Finished compiler/parsing                                        43s   2GB
Jun 19 00:07:55 Starting characteristic
Jun 19 00:07:57 Finished characteristic                                           1s 111MB
Jun 19 00:07:58 Starting translator/monadic
Jun 19 00:08:00 Finished translator/monadic                                       1s 103MB
Jun 19 00:08:01 Starting translator/monadic/monad_base
Jun 19 00:08:03 Finished translator/monadic/monad_base                            1s  84MB
Jun 19 00:08:04 Starting profiler
Jun 19 00:08:36 Finished profiler                                                31s   1GB
Jun 19 00:08:37 Starting basis
Jun 19 00:10:19 Finished basis                                                 1m41s   3GB
Jun 19 00:10:20 Starting compiler
Jun 19 00:10:23 Finished compiler                                                 2s 200MB
Jun 19 00:10:24 Starting compiler/inference
Jun 19 00:10:27 Finished compiler/inference                                       1s 105MB
Jun 19 00:10:28 Starting compiler/backend/reg_alloc
Jun 19 00:10:30 Finished compiler/backend/reg_alloc                               1s  85MB
Jun 19 00:10:30 Starting compiler/backend/gc
Jun 19 00:10:33 Finished compiler/backend/gc                                      1s 123MB
Jun 19 00:10:34 Starting compiler/backend
Jun 19 00:10:37 Finished compiler/backend                                         1s 124MB
Jun 19 00:10:37 Starting compiler/encoders/asm
Jun 19 00:10:40 Finished compiler/encoders/asm                                    1s  88MB
Jun 19 00:10:40 Starting compiler/encoders/x64
Jun 19 00:10:43 Finished compiler/encoders/x64                                    1s  94MB
Jun 19 00:10:43 Starting compiler/encoders/arm7
Jun 19 00:10:46 Finished compiler/encoders/arm7                                   1s  90MB
Jun 19 00:10:46 Starting compiler/encoders/arm8
Jun 19 00:10:49 Finished compiler/encoders/arm8                                   1s  97MB
Jun 19 00:10:49 Starting compiler/encoders/arm8_asl
Jun 19 00:11:08 Finished compiler/encoders/arm8_asl                              17s   1GB
Jun 19 00:11:09 Starting compiler/encoders/mips
Jun 19 00:11:11 Finished compiler/encoders/mips                                   1s  88MB
Jun 19 00:11:12 Starting compiler/encoders/riscv
Jun 19 00:11:14 Finished compiler/encoders/riscv                                  1s  89MB
Jun 19 00:11:15 Starting compiler/encoders/ag32
Jun 19 00:11:17 Finished compiler/encoders/ag32                                   1s  89MB
Jun 19 00:11:18 Starting compiler/encoders/tests
Jun 19 00:11:20 Finished compiler/encoders/tests                                  1s 112MB
Jun 19 00:11:21 Starting compiler/encoders/monadic_enc
Jun 19 00:11:45 Finished compiler/encoders/monadic_enc                           22s   1GB
Jun 19 00:11:45 Starting compiler/backend/x64
Jun 19 00:11:48 Finished compiler/backend/x64                                     1s 128MB
Jun 19 00:11:49 Starting compiler/backend/arm7
Jun 19 00:11:51 Finished compiler/backend/arm7                                    1s 128MB
Jun 19 00:11:52 Starting compiler/backend/arm8
Jun 19 00:11:55 Finished compiler/backend/arm8                                    1s 127MB
Jun 19 00:11:56 Starting compiler/backend/mips
Jun 19 00:11:58 Finished compiler/backend/mips                                    1s 122MB
Jun 19 00:11:59 Starting compiler/backend/riscv
Jun 19 00:12:02 Finished compiler/backend/riscv                                   1s 127MB
Jun 19 00:12:03 Starting compiler/backend/ag32
Jun 19 00:13:08 Finished compiler/backend/ag32                                 1m04s   3GB
Jun 19 00:13:09 Starting compiler/backend/pattern_matching
Jun 19 00:13:11 Finished compiler/backend/pattern_matching                        1s  82MB
Jun 19 00:13:12 Starting compiler/parsing/ocaml
Jun 19 00:15:20 Finished compiler/parsing/ocaml                                2m07s   1GB
Jun 19 00:15:21 Starting compiler/printing
Jun 19 00:16:16 Finished compiler/printing                                       54s   1GB
Jun 19 00:16:17 Starting compiler/parsing/proofs
Jun 19 00:16:19 Finished compiler/parsing/proofs                                  1s  94MB
Jun 19 00:16:20 Starting compiler/inference/proofs
Jun 19 00:16:22 Finished compiler/inference/proofs                                1s 110MB
Jun 19 00:16:23 Starting compiler/backend/semantics
Jun 19 00:19:31 Finished compiler/backend/semantics                            3m06s   3GB
Jun 19 00:19:32 Starting compiler/backend/reg_alloc/proofs
Jun 19 00:19:34 Finished compiler/backend/reg_alloc/proofs                        1s 104MB
Jun 19 00:19:35 Starting compiler/backend/proofs
Jun 19 00:20:21 Finished compiler/backend/proofs                                 44s   3GB
Jun 19 00:20:22 Starting compiler/backend/serialiser
Jun 19 00:20:24 Finished compiler/backend/serialiser                              1s 137MB
Jun 19 00:20:25 Starting compiler/encoders/x64/proofs
Jun 19 00:20:27 Finished compiler/encoders/x64/proofs                             1s  97MB
Jun 19 00:20:28 Starting compiler/encoders/arm7/proofs
Jun 19 00:33:02 Finished compiler/encoders/arm7/proofs                        12m33s   5GB
Jun 19 00:33:03 Starting compiler/encoders/arm8/proofs
Jun 19 00:41:13 Finished compiler/encoders/arm8/proofs                         8m08s   3GB
Jun 19 00:41:14 Starting compiler/encoders/arm8_asl/proofs
Jun 19 00:59:00 Finished compiler/encoders/arm8_asl/proofs                    17m45s   2GB
Jun 19 00:59:01 Starting compiler/encoders/mips/proofs
Jun 19 01:10:01 Finished compiler/encoders/mips/proofs                        10m58s   8GB
Jun 19 01:10:02 Starting compiler/encoders/riscv/proofs
Jun 19 01:19:37 Finished compiler/encoders/riscv/proofs                        9m34s   4GB
Jun 19 01:19:38 Starting compiler/encoders/ag32/proofs
Jun 19 01:22:45 Finished compiler/encoders/ag32/proofs                         3m06s   1GB
Jun 19 01:22:46 Starting compiler/backend/x64/proofs
Jun 19 01:22:49 Finished compiler/backend/x64/proofs                              2s 210MB
Jun 19 01:22:50 Starting compiler/backend/arm7/proofs
Jun 19 01:23:28 Finished compiler/backend/arm7/proofs                            37s   2GB
Jun 19 01:23:29 Starting compiler/backend/arm8/proofs
Jun 19 01:24:09 Finished compiler/backend/arm8/proofs                            39s   2GB
Jun 19 01:24:10 Starting compiler/backend/arm8_asl
Jun 19 01:24:38 Finished compiler/backend/arm8_asl                               26s   1GB
Jun 19 01:24:39 Starting compiler/backend/mips/proofs
Jun 19 01:25:18 Finished compiler/backend/mips/proofs                            38s   2GB
Jun 19 01:25:19 Starting compiler/backend/riscv/proofs
Jun 19 01:26:01 Finished compiler/backend/riscv/proofs                           41s   2GB
Jun 19 01:26:02 Starting compiler/backend/ag32/proofs
Jun 19 01:35:42 Finished compiler/backend/ag32/proofs                          9m38s   5GB
Jun 19 01:35:42 Starting compiler/backend/cv_compute
Jun 19 01:36:14 Finished compiler/backend/cv_compute                             30s   1GB
Jun 19 01:36:15 Starting cv_translator
Jun 19 01:41:13 Finished cv_translator                                         4m57s   3GB
Jun 19 01:41:14 Starting candle
Jun 19 01:41:15 Finished candle                                                   0s   6MB
Jun 19 01:41:15 Starting candle/set-theory
Jun 19 01:41:47 Finished candle/set-theory                                       31s 914MB
Jun 19 01:41:48 Starting candle/syntax-lib
Jun 19 01:41:50 Finished candle/syntax-lib                                        1s  75MB
Jun 19 01:41:51 Starting candle/standard
Jun 19 01:41:52 Finished candle/standard                                          0s   6MB
Jun 19 01:41:53 Starting candle/standard/syntax
Jun 19 01:42:09 Finished candle/standard/syntax                                  15s 771MB
Jun 19 01:42:10 Starting candle/standard/syntax/little_theories
Jun 19 01:43:23 Finished candle/standard/syntax/little_theories                1m12s   1GB
Jun 19 01:43:24 Starting candle/standard/semantics
Jun 19 01:45:42 Finished candle/standard/semantics                             2m17s   2GB
Jun 19 01:45:43 Starting candle/standard/monadic
Jun 19 01:45:46 Finished candle/standard/monadic                                  1s 110MB
Jun 19 01:45:46 Starting candle/standard/ml_kernel
Jun 19 01:47:52 Finished candle/standard/ml_kernel                             2m05s   4GB
Jun 19 01:47:53 Starting candle/overloading
Jun 19 01:47:54 Finished candle/overloading                                       0s   6MB
Jun 19 01:47:55 Starting candle/overloading/syntax
Jun 19 01:51:06 Finished candle/overloading/syntax                             3m09s   1GB
Jun 19 01:51:07 Starting candle/overloading/semantics
Jun 19 02:00:53 Finished candle/overloading/semantics                          9m43s   5GB
Jun 19 02:00:53 Starting candle/overloading/monadic
Jun 19 02:02:58 Finished candle/overloading/monadic                            2m03s   1GB
Jun 19 02:02:59 Starting candle/overloading/ml_kernel
Jun 19 02:09:42 Finished candle/overloading/ml_kernel                          6m42s   6GB
Jun 19 02:09:43 Starting candle/overloading/ml_checker
Jun 19 02:12:25 Finished candle/overloading/ml_checker                         2m41s   6GB
Jun 19 02:12:26 Starting candle/prover
Jun 19 02:12:29 Finished candle/prover                                            2s 166MB
Jun 19 02:12:30 Starting candle/prover/compute
Jun 19 02:12:33 Finished candle/prover/compute                                    2s 157MB
Jun 19 02:12:34 Starting pancake
Jun 19 02:12:36 Finished pancake                                                  1s 132MB
Jun 19 02:12:37 Starting pancake/semantics
Jun 19 02:15:37 Finished pancake/semantics                                     2m58s   2GB
Jun 19 02:15:38 Starting pancake/parser
Jun 19 02:16:18 Finished pancake/parser                                          39s 529MB
Jun 19 02:16:19 Starting pancake/static_checker
Jun 19 02:18:53 Finished pancake/static_checker                                2m33s   1GB
Jun 19 02:18:54 Starting pancake/proofs
Jun 19 02:36:14 Finished pancake/proofs                                       17m18s   5GB
Jun 19 02:36:15 Starting compiler/dafny
Jun 19 02:36:40 Finished compiler/dafny                                          23s 651MB
Jun 19 02:36:41 Starting compiler/dafny/translation
Jun 19 02:47:19 Finished compiler/dafny/translation                           10m37s   6GB
Jun 19 02:47:20 Starting compiler/dafny/compilation
Jun 19 02:49:07 Finished compiler/dafny/compilation                            1m45s   5GB
Jun 19 02:49:08 Starting compiler/dafny/semantics
Jun 19 02:49:46 Finished compiler/dafny/semantics                                37s 494MB
Jun 19 02:49:47 Starting compiler/dafny/proofs
Jun 19 02:51:28 Finished compiler/dafny/proofs                                 1m40s   1GB
Jun 19 02:51:29 Starting compiler/dafny/vcg
Jun 19 02:51:31 Finished compiler/dafny/vcg                                       1s  97MB
Jun 19 02:51:32 Starting compiler/dafny/vcg/examples
Jun 19 02:52:02 Finished compiler/dafny/vcg/examples                             28s   1GB
Jun 19 02:52:03 Starting compiler/scheme
Jun 19 02:52:30 Finished compiler/scheme                                         26s   1GB
Jun 19 02:52:31 Starting compiler/scheme/translation
Jun 19 02:59:12 Finished compiler/scheme/translation                           6m38s   6GB
Jun 19 02:59:13 Starting compiler/scheme/compilation
Jun 19 03:00:36 Finished compiler/scheme/compilation                           1m22s   4GB
Jun 19 03:00:37 Starting compiler/scheme/proofs
Jun 19 03:07:28 Finished compiler/scheme/proofs                                6m50s   2GB
Jun 19 03:07:29 Starting characteristic/examples
Jun 19 03:09:02 Finished characteristic/examples                               1m31s   5GB
Jun 19 03:09:03 Starting tutorial/solutions
Jun 19 03:11:45 Finished tutorial/solutions                                    2m41s   3GB
Jun 19 03:11:46 Starting translator/monadic/examples
Jun 19 03:14:50 Finished translator/monadic/examples                           3m03s   4GB
Jun 19 03:14:51 Starting examples
Jun 19 03:19:46 Finished examples                                              4m52s   6GB
Jun 19 03:19:47 Starting examples/compilation
Jun 19 03:19:47 Finished examples/compilation                                     0s   6MB
Jun 19 03:19:48 Starting examples/compilation/x64
Jun 19 03:27:17 Finished examples/compilation/x64                              7m27s   4GB
Jun 19 03:27:18 Starting examples/compilation/x64/proofs
Jun 19 03:30:30 Finished examples/compilation/x64/proofs                       3m11s   4GB
Jun 19 03:30:31 Starting examples/compilation/ag32
Jun 19 03:32:48 Finished examples/compilation/ag32                             2m16s   3GB
Jun 19 03:32:49 Starting examples/compilation/ag32/proofs
Jun 19 03:34:06 Finished examples/compilation/ag32/proofs                      1m16s   5GB
Jun 19 03:34:07 Starting examples/lpr_checker
Jun 19 03:34:46 Finished examples/lpr_checker                                    38s   1GB
Jun 19 03:34:47 Starting examples/lpr_checker/array
Jun 19 03:47:53 Finished examples/lpr_checker/array                           13m05s   5GB
Jun 19 03:47:54 Starting examples/lpr_checker/array/compilation
Jun 19 03:51:15 Finished examples/lpr_checker/array/compilation                3m20s   6GB
Jun 19 03:51:16 Starting examples/lpr_checker/array/compilation/proofs
Jun 19 03:52:42 Finished examples/lpr_checker/array/compilation/proofs         1m24s   5GB
Jun 19 03:52:43 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 19 03:54:05 Finished examples/lpr_checker/array/compilation/proofsARM8     1m20s   5GB
Jun 19 03:54:06 Starting .
Jun 19 03:54:11 Finished .                                                        3s 336MB
Jun 19 03:54:11 Starting examples/xlrup_checker
Jun 19 03:55:03 Finished examples/xlrup_checker                                  50s   1GB
Jun 19 03:55:04 Starting examples/xlrup_checker/array
Jun 19 04:04:40 Finished examples/xlrup_checker/array                          9m34s   3GB
Jun 19 04:04:40 Starting examples/xlrup_checker/array/compilation
Jun 19 04:06:02 Finished examples/xlrup_checker/array/compilation              1m20s   4GB
Jun 19 04:06:02 Starting examples/xlrup_checker/array/compilation/proofs
Jun 19 04:07:18 Finished examples/xlrup_checker/array/compilation/proofs       1m14s   4GB
Jun 19 04:07:18 Starting examples/cnf
Jun 19 04:07:42 Finished examples/cnf                                            22s 409MB
Jun 19 04:07:43 Starting examples/cnf/array
Jun 19 04:10:10 Finished examples/cnf/array                                    2m25s   2GB
Jun 19 04:10:11 Starting examples/cnf/dist
Jun 19 04:10:18 Finished examples/cnf/dist                                        5s 276MB
Jun 19 04:10:18 Starting examples/cnf/dist/array
Jun 19 04:16:33 Finished examples/cnf/dist/array                               6m13s   4GB
Jun 19 04:16:33 Starting examples/cnf/dist/array/compilation
Jun 19 04:17:28 Finished examples/cnf/dist/array/compilation                     54s   3GB
Jun 19 04:17:29 Starting examples/cnf/dist/array/compilation/proofs
Jun 19 04:18:42 Finished examples/cnf/dist/array/compilation/proofs            1m11s   3GB
Jun 19 04:18:42 Starting examples/scpog_checker
Jun 19 04:19:31 Finished examples/scpog_checker                                  47s   1GB
Jun 19 04:19:32 Starting examples/scpog_checker/array
Jun 19 04:25:36 Finished examples/scpog_checker/array                          6m03s   3GB
Jun 19 04:25:37 Starting examples/scpog_checker/array/compilation
Jun 19 04:27:39 Finished examples/scpog_checker/array/compilation              2m00s   7GB
Jun 19 04:27:40 Starting examples/scpog_checker/array/compilation/proofs
Jun 19 04:29:06 Finished examples/scpog_checker/array/compilation/proofs       1m24s   6GB
Jun 19 04:29:07 Starting examples/pseudo_bool
Jun 19 04:31:20 Finished examples/pseudo_bool                                  2m12s   1GB
Jun 19 04:31:21 Starting examples/pseudo_bool/cnf_encoding
Jun 19 04:31:55 Finished examples/pseudo_bool/cnf_encoding                       32s 998MB
Jun 19 04:31:55 Starting examples/pseudo_bool/graph_encoding
Jun 19 04:32:43 Finished examples/pseudo_bool/graph_encoding                     46s   1GB
Jun 19 04:32:44 Starting examples/pseudo_bool/array
Jun 19 05:17:03 Finished examples/pseudo_bool/array                           44m17s  21GB
Jun 19 05:17:04 Starting examples/pseudo_bool/array/compilation
Jun 19 05:35:01 Finished examples/pseudo_bool/array/compilation               17m56s  19GB
Jun 19 05:35:02 Starting examples/pseudo_bool/array/compilation/proofs
Jun 19 05:40:09 Finished examples/pseudo_bool/array/compilation/proofs         5m06s   7GB
Jun 19 05:40:10 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 19 05:41:55 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m43s   6GB
Jun 19 05:41:56 Starting examples/opentheory
Jun 19 05:49:21 Finished examples/opentheory                                   7m24s   5GB
Jun 19 05:49:21 Starting examples/opentheory/compilation
Jun 19 05:50:54 Finished examples/opentheory/compilation                       1m31s   4GB
Jun 19 05:50:55 Starting examples/opentheory/compilation/proofs
Jun 19 05:52:16 Finished examples/opentheory/compilation/proofs                1m20s   4GB
Jun 19 05:52:17 Starting examples/opentheory/compilation/ag32
Jun 19 05:54:03 Finished examples/opentheory/compilation/ag32                  1m45s   6GB
Jun 19 05:54:04 Starting examples/opentheory/compilation/ag32/proofs
Jun 19 05:55:42 Finished examples/opentheory/compilation/ag32/proofs           1m37s   7GB
Jun 19 05:55:43 Starting examples/sat_encodings
Jun 19 05:56:48 Finished examples/sat_encodings                                1m04s 607MB
Jun 19 05:56:49 Starting examples/sat_encodings/demo
Jun 19 05:56:50 Finished examples/sat_encodings/demo                              0s   6MB
Jun 19 05:56:51 Starting examples/sat_encodings/case_studies
Jun 19 05:58:36 Finished examples/sat_encodings/case_studies                   1m44s   1GB
Jun 19 05:58:37 Starting examples/sat_encodings/translation
Jun 19 06:02:20 Finished examples/sat_encodings/translation                    3m42s   2GB
Jun 19 06:02:21 Starting examples/sat_encodings/translation/compilation
Jun 19 06:04:26 Finished examples/sat_encodings/translation/compilation        2m04s   4GB
Jun 19 06:04:27 Starting examples/deflate
Jun 19 06:04:49 Finished examples/deflate                                        21s 410MB
Jun 19 06:04:50 Starting examples/deflate/translation
Jun 19 06:05:51 Finished examples/deflate/translation                          1m00s   3GB
Jun 19 06:05:52 Starting examples/deflate/translation/compilation
Jun 19 06:06:53 Finished examples/deflate/translation/compilation                59s   3GB
Jun 19 06:06:53 Starting examples/vipr
Jun 19 06:10:17 Finished examples/vipr                                         3m21s   9GB
Jun 19 06:10:18 Starting examples/vipr/compilation
Jun 19 06:11:22 Finished examples/vipr/compilation                             1m03s   4GB
Jun 19 06:11:22 Starting examples/flover/Infra
Jun 19 06:11:58 Finished examples/flover/Infra                                   34s   1GB
Jun 19 06:11:59 Starting examples/flover/semantics
Jun 19 06:13:24 Finished examples/flover/semantics                             1m24s   1GB
Jun 19 06:13:25 Starting examples/flover
Jun 19 06:33:01 Finished examples/flover                                      19m35s   1GB
Jun 19 06:33:03 Starting examples/template
Jun 19 06:33:07 Finished examples/template                                        2s 157MB
Jun 19 06:33:08 Starting examples/template/translation
Jun 19 06:33:29 Finished examples/template/translation                           20s 863MB
Jun 19 06:33:30 Starting examples/template/compilation
Jun 19 06:34:36 Finished examples/template/compilation                         1m04s   4GB
Jun 19 06:34:37 Starting translator/okasaki-examples
Jun 19 06:37:55 Finished translator/okasaki-examples                           3m17s   3GB
Jun 19 06:37:56 Starting translator/other-examples
Jun 19 06:38:55 Finished translator/other-examples                               58s   2GB
Jun 19 06:38:56 Starting translator/other-examples/auxiliary
Jun 19 06:38:57 Finished translator/other-examples/auxiliary                      0s  11MB
Jun 19 06:38:58 Starting compiler/parsing/tests
Jun 19 06:39:46 Finished compiler/parsing/tests                                  47s   1GB
Jun 19 06:39:47 Starting compiler/inference/tests
Jun 19 06:40:35 Finished compiler/inference/tests                                46s   2GB
Jun 19 06:40:36 Starting compiler/printing/test
Jun 19 06:43:45 Finished compiler/printing/test                                3m08s  15GB
Jun 19 06:43:46 Starting compiler/repl
Jun 19 06:43:50 Finished compiler/repl                                            3s 252MB
Jun 19 06:43:51 Starting compiler/benchmarks
Jun 19 06:44:45 Finished compiler/benchmarks                                     52s 746MB
Jun 19 06:44:46 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jun 19 06:44:50 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 275MB
Jun 19 06:44:51 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jun 19 06:44:55 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 269MB
Jun 19 06:44:56 Starting compiler/bootstrap/translation
Jun 19 09:13:02 Finished compiler/bootstrap/translation                     2h28m03s  91GB
Jun 19 09:13:03 Starting compiler/bootstrap/compilation/x64/64
Jun 19 09:16:53 Finished compiler/bootstrap/compilation/x64/64                 3m37s  16GB
Jun 19 09:16:54 Starting compiler/bootstrap/compilation/x64/32
Jun 19 09:45:29 Finished compiler/bootstrap/compilation/x64/32                28m28s  49GB
Jun 19 09:45:30 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 19 09:51:14 Finished compiler/bootstrap/compilation/x64/32/proofs          5m42s  25GB
Jun 19 09:51:15 Starting compiler/bootstrap/compilation/arm8/64
Jun 19 10:35:46 Finished compiler/bootstrap/compilation/arm8/64               44m23s  82GB
Jun 19 10:35:47 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jun 19 10:42:08 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m19s  33GB
Jun 19 10:42:09 Starting compiler/bootstrap/compilation/ag32/32
Jun 19 11:13:56 Finished compiler/bootstrap/compilation/ag32/32               31m45s  78GB
Jun 19 11:13:56 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 19 11:19:57 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m59s  32GB
Jun 19 11:19:58 Starting unverified/sexpr-bootstrap/x64/64
Jun 19 11:24:38 Finished unverified/sexpr-bootstrap/x64/64                     4m39s  18GB
Jun 19 11:24:39 Starting unverified/sexpr-bootstrap/x64/32
Jun 19 11:28:34 Finished unverified/sexpr-bootstrap/x64/32                     3m54s  16GB
Jun 19 11:28:35 SUCCESS