Job 3411

CakeML:cf15bdb77d4235fd4ae238076505fdc81819e16a
  Merge pull request #1422 from CakeML/common-readme-target [Jun 24 03:28:13]
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 24 03:42:04 Claimed job
Jun 24 03:42:11 Reusing HOL
Jun 24 03:42:20 Starting developers
Jun 24 03:42:26 Finished developers                                               4s 105MB
Jun 24 03:42:27 Starting developers/bin
Jun 24 03:42:33 Finished developers/bin                                           5s  93MB
Jun 24 03:42:34 Starting misc
Jun 24 03:43:18 Finished misc                                                    43s   1GB
Jun 24 03:43:19 Starting compiler/proofs
Jun 24 04:53:58 Finished compiler/proofs                                    1h10m36s  10GB
Jun 24 04:53:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 24 11:46:14 Finished compiler/bootstrap/compilation/x64/64/proofs       6h52m13s  92GB
Jun 24 11:46:15 Starting semantics/ffi
Jun 24 11:46:27 Finished semantics/ffi                                           10s 539MB
Jun 24 11:46:28 Starting semantics
Jun 24 11:46:30 Finished semantics                                                1s  79MB
Jun 24 11:46:30 Starting semantics/proofs
Jun 24 11:46:55 Finished semantics/proofs                                        23s 730MB
Jun 24 11:46:56 Starting semantics/alt_semantics
Jun 24 11:47:13 Finished semantics/alt_semantics                                 16s 494MB
Jun 24 11:47:14 Starting semantics/alt_semantics/proofs
Jun 24 11:50:59 Finished semantics/alt_semantics/proofs                        3m44s   2GB
Jun 24 11:51:00 Starting basis/pure
Jun 24 11:51:02 Finished basis/pure                                               0s  74MB
Jun 24 11:51:02 Starting translator
Jun 24 11:52:11 Finished translator                                            1m07s   2GB
Jun 24 11:52:12 Starting compiler/parsing
Jun 24 11:52:57 Finished compiler/parsing                                        44s   2GB
Jun 24 11:52:58 Starting characteristic
Jun 24 11:53:00 Finished characteristic                                           1s 103MB
Jun 24 11:53:01 Starting translator/monadic
Jun 24 11:53:03 Finished translator/monadic                                       1s 107MB
Jun 24 11:53:04 Starting translator/monadic/monad_base
Jun 24 11:53:06 Finished translator/monadic/monad_base                            1s  84MB
Jun 24 11:53:07 Starting profiler
Jun 24 11:53:39 Finished profiler                                                31s   1GB
Jun 24 11:53:40 Starting basis
Jun 24 11:55:23 Finished basis                                                 1m42s   4GB
Jun 24 11:55:24 Starting compiler
Jun 24 11:55:27 Finished compiler                                                 2s 210MB
Jun 24 11:55:28 Starting compiler/inference
Jun 24 11:55:30 Finished compiler/inference                                       1s  99MB
Jun 24 11:55:31 Starting compiler/backend/reg_alloc
Jun 24 11:55:33 Finished compiler/backend/reg_alloc                               1s  82MB
Jun 24 11:55:34 Starting compiler/backend/gc
Jun 24 11:55:36 Finished compiler/backend/gc                                      1s 131MB
Jun 24 11:55:37 Starting compiler/backend
Jun 24 11:55:40 Finished compiler/backend                                         1s 130MB
Jun 24 11:55:41 Starting compiler/encoders/asm
Jun 24 11:55:43 Finished compiler/encoders/asm                                    1s  95MB
Jun 24 11:55:44 Starting compiler/encoders/x64
Jun 24 11:55:46 Finished compiler/encoders/x64                                    1s  92MB
Jun 24 11:55:46 Starting compiler/encoders/arm7
Jun 24 11:55:49 Finished compiler/encoders/arm7                                   1s  90MB
Jun 24 11:55:49 Starting compiler/encoders/arm8
Jun 24 11:55:51 Finished compiler/encoders/arm8                                   1s  91MB
Jun 24 11:55:52 Starting compiler/encoders/arm8_asl
Jun 24 11:56:11 Finished compiler/encoders/arm8_asl                              18s   1GB
Jun 24 11:56:12 Starting compiler/encoders/mips
Jun 24 11:56:14 Finished compiler/encoders/mips                                   1s  96MB
Jun 24 11:56:15 Starting compiler/encoders/riscv
Jun 24 11:56:17 Finished compiler/encoders/riscv                                  1s  88MB
Jun 24 11:56:18 Starting compiler/encoders/ag32
Jun 24 11:56:20 Finished compiler/encoders/ag32                                   1s  92MB
Jun 24 11:56:21 Starting compiler/encoders/tests
Jun 24 11:56:23 Finished compiler/encoders/tests                                  1s 113MB
Jun 24 11:56:24 Starting compiler/encoders/monadic_enc
Jun 24 11:56:47 Finished compiler/encoders/monadic_enc                           21s   1GB
Jun 24 11:56:47 Starting compiler/backend/x64
Jun 24 11:56:50 Finished compiler/backend/x64                                     1s 135MB
Jun 24 11:56:51 Starting compiler/backend/arm7
Jun 24 11:56:53 Finished compiler/backend/arm7                                    1s 134MB
Jun 24 11:56:54 Starting compiler/backend/arm8
Jun 24 11:56:57 Finished compiler/backend/arm8                                    1s 136MB
Jun 24 11:56:57 Starting compiler/backend/mips
Jun 24 11:57:00 Finished compiler/backend/mips                                    1s 134MB
Jun 24 11:57:01 Starting compiler/backend/riscv
Jun 24 11:57:03 Finished compiler/backend/riscv                                   1s 137MB
Jun 24 11:57:04 Starting compiler/backend/ag32
Jun 24 11:58:09 Finished compiler/backend/ag32                                 1m04s   1GB
Jun 24 11:58:10 Starting compiler/backend/pattern_matching
Jun 24 11:58:12 Finished compiler/backend/pattern_matching                        1s  78MB
Jun 24 11:58:13 Starting compiler/parsing/ocaml
Jun 24 12:00:28 Finished compiler/parsing/ocaml                                2m14s   1GB
Jun 24 12:00:29 Starting compiler/printing
Jun 24 12:01:24 Finished compiler/printing                                       53s   1GB
Jun 24 12:01:24 Starting compiler/parsing/proofs
Jun 24 12:01:26 Finished compiler/parsing/proofs                                  1s  95MB
Jun 24 12:01:27 Starting compiler/inference/proofs
Jun 24 12:01:30 Finished compiler/inference/proofs                                1s 108MB
Jun 24 12:01:30 Starting compiler/backend/semantics
Jun 24 12:04:33 Finished compiler/backend/semantics                            3m02s   2GB
Jun 24 12:04:34 Starting compiler/backend/reg_alloc/proofs
Jun 24 12:04:37 Finished compiler/backend/reg_alloc/proofs                        1s 113MB
Jun 24 12:04:38 Starting compiler/backend/proofs
Jun 24 12:05:23 Finished compiler/backend/proofs                                 44s   2GB
Jun 24 12:05:23 Starting compiler/backend/serialiser
Jun 24 12:05:26 Finished compiler/backend/serialiser                              1s 133MB
Jun 24 12:05:27 Starting compiler/encoders/x64/proofs
Jun 24 12:05:29 Finished compiler/encoders/x64/proofs                             1s 102MB
Jun 24 12:05:30 Starting compiler/encoders/arm7/proofs
Jun 24 12:18:05 Finished compiler/encoders/arm7/proofs                        12m33s   4GB
Jun 24 12:18:06 Starting compiler/encoders/arm8/proofs
Jun 24 12:25:59 Finished compiler/encoders/arm8/proofs                         7m52s   3GB
Jun 24 12:26:00 Starting compiler/encoders/arm8_asl/proofs
Jun 24 12:43:00 Finished compiler/encoders/arm8_asl/proofs                    16m59s   3GB
Jun 24 12:43:01 Starting compiler/encoders/mips/proofs
Jun 24 12:53:48 Finished compiler/encoders/mips/proofs                        10m45s   6GB
Jun 24 12:53:48 Starting compiler/encoders/riscv/proofs
Jun 24 13:03:34 Finished compiler/encoders/riscv/proofs                        9m44s   3GB
Jun 24 13:03:35 Starting compiler/encoders/ag32/proofs
Jun 24 13:06:44 Finished compiler/encoders/ag32/proofs                         3m07s   1GB
Jun 24 13:06:44 Starting compiler/backend/x64/proofs
Jun 24 13:06:48 Finished compiler/backend/x64/proofs                              2s 219MB
Jun 24 13:06:49 Starting compiler/backend/arm7/proofs
Jun 24 13:07:26 Finished compiler/backend/arm7/proofs                            36s   2GB
Jun 24 13:07:27 Starting compiler/backend/arm8/proofs
Jun 24 13:08:07 Finished compiler/backend/arm8/proofs                            38s   2GB
Jun 24 13:08:07 Starting compiler/backend/arm8_asl
Jun 24 13:08:35 Finished compiler/backend/arm8_asl                               27s   2GB
Jun 24 13:08:36 Starting compiler/backend/mips/proofs
Jun 24 13:09:20 Finished compiler/backend/mips/proofs                            40s   2GB
Jun 24 13:09:21 Starting compiler/backend/riscv/proofs
Jun 24 13:10:04 Finished compiler/backend/riscv/proofs                           41s   2GB
Jun 24 13:10:05 Starting compiler/backend/ag32/proofs
Jun 24 13:19:38 Finished compiler/backend/ag32/proofs                          9m31s   5GB
Jun 24 13:19:38 Starting compiler/backend/cv_compute
Jun 24 13:20:09 Finished compiler/backend/cv_compute                             29s   1GB
Jun 24 13:20:10 Starting cv_translator
Jun 24 13:25:22 Finished cv_translator                                         5m10s   5GB
Jun 24 13:25:23 Starting candle
Jun 24 13:25:24 Finished candle                                                   0s   7MB
Jun 24 13:25:25 Starting candle/set-theory
Jun 24 13:25:56 Finished candle/set-theory                                       30s 937MB
Jun 24 13:25:57 Starting candle/syntax-lib
Jun 24 13:25:59 Finished candle/syntax-lib                                        0s  73MB
Jun 24 13:26:00 Starting candle/standard
Jun 24 13:26:01 Finished candle/standard                                          0s   7MB
Jun 24 13:26:02 Starting candle/standard/syntax
Jun 24 13:26:17 Finished candle/standard/syntax                                  14s 756MB
Jun 24 13:26:18 Starting candle/standard/syntax/little_theories
Jun 24 13:27:35 Finished candle/standard/syntax/little_theories                1m13s 848MB
Jun 24 13:27:36 Starting candle/standard/semantics
Jun 24 13:29:50 Finished candle/standard/semantics                             2m13s   2GB
Jun 24 13:29:51 Starting candle/standard/monadic
Jun 24 13:29:53 Finished candle/standard/monadic                                  1s 115MB
Jun 24 13:29:54 Starting candle/standard/ml_kernel
Jun 24 13:32:00 Finished candle/standard/ml_kernel                             2m04s   4GB
Jun 24 13:32:01 Starting candle/overloading
Jun 24 13:32:01 Finished candle/overloading                                       0s   7MB
Jun 24 13:32:02 Starting candle/overloading/syntax
Jun 24 13:35:16 Finished candle/overloading/syntax                             3m12s   2GB
Jun 24 13:35:16 Starting candle/overloading/semantics
Jun 24 13:44:59 Finished candle/overloading/semantics                          9m42s   5GB
Jun 24 13:45:00 Starting candle/overloading/monadic
Jun 24 13:47:07 Finished candle/overloading/monadic                            2m05s   1GB
Jun 24 13:47:07 Starting candle/overloading/ml_kernel
Jun 24 13:53:56 Finished candle/overloading/ml_kernel                          6m47s   6GB
Jun 24 13:53:57 Starting candle/overloading/ml_checker
Jun 24 13:56:40 Finished candle/overloading/ml_checker                         2m41s   6GB
Jun 24 13:56:40 Starting candle/prover
Jun 24 13:56:43 Finished candle/prover                                            2s 169MB
Jun 24 13:56:44 Starting candle/prover/compute
Jun 24 13:56:47 Finished candle/prover/compute                                    1s 157MB
Jun 24 13:56:48 Starting pancake
Jun 24 13:56:50 Finished pancake                                                  1s 130MB
Jun 24 13:56:51 Starting pancake/semantics
Jun 24 13:59:55 Finished pancake/semantics                                     3m02s   2GB
Jun 24 13:59:55 Starting pancake/parser
Jun 24 14:00:37 Finished pancake/parser                                          41s 497MB
Jun 24 14:00:38 Starting pancake/static_checker
Jun 24 14:03:13 Finished pancake/static_checker                                2m34s   1GB
Jun 24 14:03:14 Starting pancake/proofs
Jun 24 14:20:20 Finished pancake/proofs                                       17m04s   5GB
Jun 24 14:20:21 Starting compiler/dafny
Jun 24 14:20:44 Finished compiler/dafny                                          22s 660MB
Jun 24 14:20:45 Starting compiler/dafny/translation
Jun 24 14:30:53 Finished compiler/dafny/translation                           10m06s   6GB
Jun 24 14:30:54 Starting compiler/dafny/compilation
Jun 24 14:32:43 Finished compiler/dafny/compilation                            1m47s   6GB
Jun 24 14:32:43 Starting compiler/dafny/semantics
Jun 24 14:33:21 Finished compiler/dafny/semantics                                37s 516MB
Jun 24 14:33:22 Starting compiler/dafny/proofs
Jun 24 14:35:01 Finished compiler/dafny/proofs                                 1m37s   1GB
Jun 24 14:35:02 Starting compiler/dafny/vcg
Jun 24 14:35:04 Finished compiler/dafny/vcg                                       1s  99MB
Jun 24 14:35:05 Starting compiler/dafny/vcg/examples
Jun 24 14:35:33 Finished compiler/dafny/vcg/examples                             27s   1GB
Jun 24 14:35:34 Starting compiler/scheme
Jun 24 14:36:01 Finished compiler/scheme                                         26s   1GB
Jun 24 14:36:02 Starting compiler/scheme/translation
Jun 24 14:42:49 Finished compiler/scheme/translation                           6m46s   6GB
Jun 24 14:42:50 Starting compiler/scheme/compilation
Jun 24 14:44:09 Finished compiler/scheme/compilation                           1m17s   3GB
Jun 24 14:44:10 Starting compiler/scheme/proofs
Jun 24 14:50:58 Finished compiler/scheme/proofs                                6m47s   2GB
Jun 24 14:50:59 Starting characteristic/examples
Jun 24 14:52:31 Finished characteristic/examples                               1m31s   5GB
Jun 24 14:52:32 Starting tutorial/solutions
Jun 24 14:55:17 Finished tutorial/solutions                                    2m43s   3GB
Jun 24 14:55:18 Starting translator/monadic/examples
Jun 24 14:58:20 Finished translator/monadic/examples                           3m00s   4GB
Jun 24 14:58:21 Starting examples
Jun 24 15:03:11 Finished examples                                              4m49s   4GB
Jun 24 15:03:12 Starting examples/compilation
Jun 24 15:03:13 Finished examples/compilation                                     0s   7MB
Jun 24 15:03:14 Starting examples/compilation/x64
Jun 24 15:10:42 Finished examples/compilation/x64                              7m27s   3GB
Jun 24 15:10:43 Starting examples/compilation/x64/proofs
Jun 24 15:13:58 Finished examples/compilation/x64/proofs                       3m13s   4GB
Jun 24 15:13:59 Starting examples/compilation/ag32
Jun 24 15:16:18 Finished examples/compilation/ag32                             2m17s   3GB
Jun 24 15:16:18 Starting examples/compilation/ag32/proofs
Jun 24 15:17:34 Finished examples/compilation/ag32/proofs                      1m14s   4GB
Jun 24 15:17:35 Starting examples/lpr_checker
Jun 24 15:18:14 Finished examples/lpr_checker                                    38s   1GB
Jun 24 15:18:15 Starting examples/lpr_checker/array
Jun 24 15:31:44 Finished examples/lpr_checker/array                           13m28s   6GB
Jun 24 15:31:45 Starting examples/lpr_checker/array/compilation
Jun 24 15:35:01 Finished examples/lpr_checker/array/compilation                3m14s   6GB
Jun 24 15:35:02 Starting examples/lpr_checker/array/compilation/proofs
Jun 24 15:36:28 Finished examples/lpr_checker/array/compilation/proofs         1m25s   5GB
Jun 24 15:36:29 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 24 15:37:52 Finished examples/lpr_checker/array/compilation/proofsARM8     1m22s   5GB
Jun 24 15:37:53 Starting .
Jun 24 15:37:58 Finished .                                                        3s 349MB
Jun 24 15:37:58 Starting examples/xlrup_checker
Jun 24 15:38:51 Finished examples/xlrup_checker                                  51s   1GB
Jun 24 15:38:52 Starting examples/xlrup_checker/array
Jun 24 15:48:37 Finished examples/xlrup_checker/array                          9m44s   5GB
Jun 24 15:48:38 Starting examples/xlrup_checker/array/compilation
Jun 24 15:49:52 Finished examples/xlrup_checker/array/compilation              1m13s   3GB
Jun 24 15:49:53 Starting examples/xlrup_checker/array/compilation/proofs
Jun 24 15:51:09 Finished examples/xlrup_checker/array/compilation/proofs       1m15s   4GB
Jun 24 15:51:14 Starting examples/cnf
Jun 24 15:51:38 Finished examples/cnf                                            23s 433MB
Jun 24 15:51:39 Starting examples/cnf/array
Jun 24 15:54:05 Finished examples/cnf/array                                    2m24s   2GB
Jun 24 15:54:06 Starting examples/cnf/dist
Jun 24 15:54:12 Finished examples/cnf/dist                                        5s 268MB
Jun 24 15:54:13 Starting examples/cnf/dist/array
Jun 24 16:00:33 Finished examples/cnf/dist/array                               6m18s   7GB
Jun 24 16:00:33 Starting examples/cnf/dist/array/compilation
Jun 24 16:01:27 Finished examples/cnf/dist/array/compilation                     52s   3GB
Jun 24 16:01:28 Starting examples/cnf/dist/array/compilation/proofs
Jun 24 16:02:40 Finished examples/cnf/dist/array/compilation/proofs            1m11s   3GB
Jun 24 16:02:41 Starting examples/scpog_checker
Jun 24 16:03:29 Finished examples/scpog_checker                                  46s   1GB
Jun 24 16:03:30 Starting examples/scpog_checker/array
Jun 24 16:09:47 Finished examples/scpog_checker/array                          6m16s   3GB
Jun 24 16:09:48 Starting examples/scpog_checker/array/compilation
Jun 24 16:11:50 Finished examples/scpog_checker/array/compilation              2m01s   7GB
Jun 24 16:11:51 Starting examples/scpog_checker/array/compilation/proofs
Jun 24 16:13:21 Finished examples/scpog_checker/array/compilation/proofs       1m28s   5GB
Jun 24 16:13:22 Starting examples/pseudo_bool
Jun 24 16:15:35 Finished examples/pseudo_bool                                  2m12s   1GB
Jun 24 16:15:35 Starting examples/pseudo_bool/cnf_encoding
Jun 24 16:16:10 Finished examples/pseudo_bool/cnf_encoding                       33s 991MB
Jun 24 16:16:11 Starting examples/pseudo_bool/graph_encoding
Jun 24 16:16:57 Finished examples/pseudo_bool/graph_encoding                     45s   1GB
Jun 24 16:16:58 Starting examples/pseudo_bool/array
Jun 24 17:03:09 Finished examples/pseudo_bool/array                           46m10s  37GB
Jun 24 17:03:10 Starting examples/pseudo_bool/array/compilation
Jun 24 17:21:13 Finished examples/pseudo_bool/array/compilation               18m02s  19GB
Jun 24 17:21:14 Starting examples/pseudo_bool/array/compilation/proofs
Jun 24 17:26:17 Finished examples/pseudo_bool/array/compilation/proofs         5m02s   7GB
Jun 24 17:26:18 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 24 17:28:01 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m42s   7GB
Jun 24 17:28:02 Starting examples/opentheory
Jun 24 17:35:21 Finished examples/opentheory                                   7m18s   5GB
Jun 24 17:35:22 Starting examples/opentheory/compilation
Jun 24 17:37:04 Finished examples/opentheory/compilation                       1m40s   5GB
Jun 24 17:37:04 Starting examples/opentheory/compilation/proofs
Jun 24 17:38:26 Finished examples/opentheory/compilation/proofs                1m20s   4GB
Jun 24 17:38:27 Starting examples/opentheory/compilation/ag32
Jun 24 17:40:12 Finished examples/opentheory/compilation/ag32                  1m43s   5GB
Jun 24 17:40:13 Starting examples/opentheory/compilation/ag32/proofs
Jun 24 17:41:52 Finished examples/opentheory/compilation/ag32/proofs           1m38s   7GB
Jun 24 17:41:53 Starting examples/sat_encodings
Jun 24 17:43:01 Finished examples/sat_encodings                                1m06s 735MB
Jun 24 17:43:01 Starting examples/sat_encodings/demo
Jun 24 17:43:02 Finished examples/sat_encodings/demo                              0s   7MB
Jun 24 17:43:03 Starting examples/sat_encodings/case_studies
Jun 24 17:44:51 Finished examples/sat_encodings/case_studies                   1m47s   1GB
Jun 24 17:44:52 Starting examples/sat_encodings/translation
Jun 24 17:48:42 Finished examples/sat_encodings/translation                    3m48s   2GB
Jun 24 17:48:43 Starting examples/sat_encodings/translation/compilation
Jun 24 17:50:48 Finished examples/sat_encodings/translation/compilation        2m04s   4GB
Jun 24 17:50:49 Starting examples/deflate
Jun 24 17:51:12 Finished examples/deflate                                        21s 428MB
Jun 24 17:51:12 Starting examples/deflate/translation
Jun 24 17:52:13 Finished examples/deflate/translation                            59s   3GB
Jun 24 17:52:14 Starting examples/deflate/translation/compilation
Jun 24 17:53:15 Finished examples/deflate/translation/compilation              1m00s   3GB
Jun 24 17:53:16 Starting examples/vipr
Jun 24 17:56:42 Finished examples/vipr                                         3m24s   7GB
Jun 24 17:56:43 Starting examples/vipr/compilation
Jun 24 17:57:50 Finished examples/vipr/compilation                             1m06s   4GB
Jun 24 17:57:51 Starting examples/flover/Infra
Jun 24 17:58:26 Finished examples/flover/Infra                                   34s   1GB
Jun 24 17:58:27 Starting examples/flover/semantics
Jun 24 17:59:52 Finished examples/flover/semantics                             1m23s   1GB
Jun 24 17:59:53 Starting examples/flover
Jun 24 18:19:31 Finished examples/flover                                      19m37s   1GB
Jun 24 18:19:32 Starting examples/template
Jun 24 18:19:36 Finished examples/template                                        2s 161MB
Jun 24 18:19:36 Starting examples/template/translation
Jun 24 18:19:59 Finished examples/template/translation                           21s 772MB
Jun 24 18:20:00 Starting examples/template/compilation
Jun 24 18:21:06 Finished examples/template/compilation                         1m06s   4GB
Jun 24 18:21:07 Starting translator/okasaki-examples
Jun 24 18:24:23 Finished translator/okasaki-examples                           3m14s   3GB
Jun 24 18:24:24 Starting translator/other-examples
Jun 24 18:25:23 Finished translator/other-examples                               57s   2GB
Jun 24 18:25:24 Starting translator/other-examples/auxiliary
Jun 24 18:25:24 Finished translator/other-examples/auxiliary                      0s  12MB
Jun 24 18:25:25 Starting compiler/parsing/tests
Jun 24 18:26:13 Finished compiler/parsing/tests                                  46s   1GB
Jun 24 18:26:14 Starting compiler/inference/tests
Jun 24 18:27:00 Finished compiler/inference/tests                                44s   2GB
Jun 24 18:27:00 Starting compiler/printing/test
Jun 24 18:30:12 Finished compiler/printing/test                                3m11s  15GB
Jun 24 18:30:13 Starting compiler/repl
Jun 24 18:30:17 Finished compiler/repl                                            2s 238MB
Jun 24 18:30:18 Starting compiler/benchmarks
Jun 24 18:31:12 Finished compiler/benchmarks                                     52s 746MB
Jun 24 18:31:12 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jun 24 18:31:16 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 249MB
Jun 24 18:31:17 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jun 24 18:31:21 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 272MB
Jun 24 18:31:22 Starting compiler/bootstrap/translation
Jun 24 20:54:52 Finished compiler/bootstrap/translation                     2h23m28s  50GB
Jun 24 20:54:53 Starting compiler/bootstrap/compilation/x64/64
Jun 24 20:58:26 Finished compiler/bootstrap/compilation/x64/64                 3m21s  17GB
Jun 24 20:58:27 Starting compiler/bootstrap/compilation/x64/32
Jun 24 21:27:35 Finished compiler/bootstrap/compilation/x64/32                29m01s  48GB
Jun 24 21:27:36 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 24 21:32:44 Finished compiler/bootstrap/compilation/x64/32/proofs          5m06s  26GB
Jun 24 21:32:44 Starting compiler/bootstrap/compilation/arm8/64
Jun 24 22:16:46 Finished compiler/bootstrap/compilation/arm8/64               43m53s  69GB
Jun 24 22:16:47 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jun 24 22:23:23 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m35s  30GB
Jun 24 22:23:24 Starting compiler/bootstrap/compilation/ag32/32
Jun 24 22:54:19 Finished compiler/bootstrap/compilation/ag32/32               30m53s  51GB
Jun 24 22:54:20 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 24 23:00:01 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m39s  31GB
Jun 24 23:00:02 Starting unverified/sexpr-bootstrap/x64/64
Jun 24 23:04:26 Finished unverified/sexpr-bootstrap/x64/64                     4m23s  19GB
Jun 24 23:04:27 Starting unverified/sexpr-bootstrap/x64/32
Jun 24 23:08:38 Finished unverified/sexpr-bootstrap/x64/32                     4m09s  14GB
Jun 24 23:08:39 SUCCESS