Job 3397

CakeML:7a42f2a4cd7b9315bc28275f39775e09f458cf01
  dataLang multiret (#1416) [Jun 18 10:46:00]
HOL:d456022724bd61e57303339e998313b6580c592d
  build_help: derive sibling/stem manuals from Manual/mdbook.mk [Jun 15 06:09:40]
Machine:pavlova
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Jun 18 11:04:09 Claimed job
Jun 18 11:04:13 Reusing HOL
Jun 18 11:05:09 Starting developers
Jun 18 11:05:15 Finished developers                                               4s 143MB
Jun 18 11:05:16 Starting developers/bin
Jun 18 11:05:19 Finished developers/bin                                           2s  93MB
Jun 18 11:05:20 Starting misc
Jun 18 11:06:04 Finished misc                                                    42s   1GB
Jun 18 11:06:05 Starting compiler/proofs
Jun 18 12:16:16 Finished compiler/proofs                                    1h10m11s  10GB
Jun 18 12:16:17 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 18 19:02:56 Finished compiler/bootstrap/compilation/x64/64/proofs       6h46m38s  68GB
Jun 18 19:02:57 Starting semantics/ffi
Jun 18 19:03:09 Finished semantics/ffi                                           11s 567MB
Jun 18 19:03:10 Starting semantics
Jun 18 19:03:12 Finished semantics                                                1s  78MB
Jun 18 19:03:13 Starting semantics/proofs
Jun 18 19:03:38 Finished semantics/proofs                                        24s 560MB
Jun 18 19:03:39 Starting semantics/alt_semantics
Jun 18 19:03:55 Finished semantics/alt_semantics                                 15s 481MB
Jun 18 19:03:56 Starting semantics/alt_semantics/proofs
Jun 18 19:07:41 Finished semantics/alt_semantics/proofs                        3m43s   1GB
Jun 18 19:07:42 Starting basis/pure
Jun 18 19:07:43 Finished basis/pure                                               1s  77MB
Jun 18 19:07:44 Starting translator
Jun 18 19:08:53 Finished translator                                            1m08s   2GB
Jun 18 19:08:54 Starting compiler/parsing
Jun 18 19:09:41 Finished compiler/parsing                                        45s   2GB
Jun 18 19:09:42 Starting characteristic
Jun 18 19:09:44 Finished characteristic                                           1s 120MB
Jun 18 19:09:45 Starting translator/monadic
Jun 18 19:09:48 Finished translator/monadic                                       1s 110MB
Jun 18 19:09:48 Starting translator/monadic/monad_base
Jun 18 19:09:50 Finished translator/monadic/monad_base                            1s  83MB
Jun 18 19:09:51 Starting profiler
Jun 18 19:10:22 Finished profiler                                                29s   1GB
Jun 18 19:10:23 Starting basis
Jun 18 19:11:59 Finished basis                                                 1m35s   4GB
Jun 18 19:12:00 Starting compiler
Jun 18 19:12:04 Finished compiler                                                 2s 202MB
Jun 18 19:12:05 Starting compiler/inference
Jun 18 19:12:07 Finished compiler/inference                                       1s 107MB
Jun 18 19:12:08 Starting compiler/backend/reg_alloc
Jun 18 19:12:10 Finished compiler/backend/reg_alloc                               1s  83MB
Jun 18 19:12:11 Starting compiler/backend/gc
Jun 18 19:12:13 Finished compiler/backend/gc                                      1s 135MB
Jun 18 19:12:14 Starting compiler/backend
Jun 18 19:12:17 Finished compiler/backend                                         1s 124MB
Jun 18 19:12:18 Starting compiler/encoders/asm
Jun 18 19:12:20 Finished compiler/encoders/asm                                    1s  86MB
Jun 18 19:12:21 Starting compiler/encoders/x64
Jun 18 19:12:23 Finished compiler/encoders/x64                                    1s  94MB
Jun 18 19:12:24 Starting compiler/encoders/arm7
Jun 18 19:12:26 Finished compiler/encoders/arm7                                   1s  92MB
Jun 18 19:12:27 Starting compiler/encoders/arm8
Jun 18 19:12:29 Finished compiler/encoders/arm8                                   1s  90MB
Jun 18 19:12:30 Starting compiler/encoders/arm8_asl
Jun 18 19:12:48 Finished compiler/encoders/arm8_asl                              17s   1GB
Jun 18 19:12:49 Starting compiler/encoders/mips
Jun 18 19:12:51 Finished compiler/encoders/mips                                   1s  90MB
Jun 18 19:12:52 Starting compiler/encoders/riscv
Jun 18 19:12:54 Finished compiler/encoders/riscv                                  1s  90MB
Jun 18 19:12:55 Starting compiler/encoders/ag32
Jun 18 19:12:57 Finished compiler/encoders/ag32                                   1s  86MB
Jun 18 19:12:58 Starting compiler/encoders/tests
Jun 18 19:13:00 Finished compiler/encoders/tests                                  1s 112MB
Jun 18 19:13:01 Starting compiler/encoders/monadic_enc
Jun 18 19:13:24 Finished compiler/encoders/monadic_enc                           22s   1GB
Jun 18 19:13:25 Starting compiler/backend/x64
Jun 18 19:13:28 Finished compiler/backend/x64                                     1s 139MB
Jun 18 19:13:29 Starting compiler/backend/arm7
Jun 18 19:13:31 Finished compiler/backend/arm7                                    1s 128MB
Jun 18 19:13:32 Starting compiler/backend/arm8
Jun 18 19:13:35 Finished compiler/backend/arm8                                    1s 138MB
Jun 18 19:13:36 Starting compiler/backend/mips
Jun 18 19:13:38 Finished compiler/backend/mips                                    1s 133MB
Jun 18 19:13:39 Starting compiler/backend/riscv
Jun 18 19:13:42 Finished compiler/backend/riscv                                   1s 134MB
Jun 18 19:13:43 Starting compiler/backend/ag32
Jun 18 19:14:44 Finished compiler/backend/ag32                                 1m00s   1GB
Jun 18 19:14:45 Starting compiler/backend/pattern_matching
Jun 18 19:14:47 Finished compiler/backend/pattern_matching                        1s  80MB
Jun 18 19:14:48 Starting compiler/parsing/ocaml
Jun 18 19:16:55 Finished compiler/parsing/ocaml                                2m06s   1GB
Jun 18 19:16:56 Starting compiler/printing
Jun 18 19:17:52 Finished compiler/printing                                       55s   1GB
Jun 18 19:17:53 Starting compiler/parsing/proofs
Jun 18 19:17:55 Finished compiler/parsing/proofs                                  1s  95MB
Jun 18 19:17:56 Starting compiler/inference/proofs
Jun 18 19:17:58 Finished compiler/inference/proofs                                1s 106MB
Jun 18 19:17:59 Starting compiler/backend/semantics
Jun 18 19:21:06 Finished compiler/backend/semantics                            3m06s   3GB
Jun 18 19:21:07 Starting compiler/backend/reg_alloc/proofs
Jun 18 19:21:10 Finished compiler/backend/reg_alloc/proofs                        1s 115MB
Jun 18 19:21:11 Starting compiler/backend/proofs
Jun 18 19:21:54 Finished compiler/backend/proofs                                 42s   2GB
Jun 18 19:21:55 Starting compiler/backend/serialiser
Jun 18 19:21:58 Finished compiler/backend/serialiser                              1s 138MB
Jun 18 19:21:59 Starting compiler/encoders/x64/proofs
Jun 18 19:22:01 Finished compiler/encoders/x64/proofs                             1s  99MB
Jun 18 19:22:02 Starting compiler/encoders/arm7/proofs
Jun 18 19:34:29 Finished compiler/encoders/arm7/proofs                        12m26s   4GB
Jun 18 19:34:30 Starting compiler/encoders/arm8/proofs
Jun 18 19:42:48 Finished compiler/encoders/arm8/proofs                         8m16s   2GB
Jun 18 19:42:49 Starting compiler/encoders/arm8_asl/proofs
Jun 18 19:59:46 Finished compiler/encoders/arm8_asl/proofs                    16m56s   3GB
Jun 18 19:59:47 Starting compiler/encoders/mips/proofs
Jun 18 20:10:38 Finished compiler/encoders/mips/proofs                        10m50s   5GB
Jun 18 20:10:39 Starting compiler/encoders/riscv/proofs
Jun 18 20:20:19 Finished compiler/encoders/riscv/proofs                        9m38s   3GB
Jun 18 20:20:20 Starting compiler/encoders/ag32/proofs
Jun 18 20:23:29 Finished compiler/encoders/ag32/proofs                         3m08s   1GB
Jun 18 20:23:30 Starting compiler/backend/x64/proofs
Jun 18 20:23:33 Finished compiler/backend/x64/proofs                              2s 219MB
Jun 18 20:23:34 Starting compiler/backend/arm7/proofs
Jun 18 20:24:12 Finished compiler/backend/arm7/proofs                            36s   2GB
Jun 18 20:24:13 Starting compiler/backend/arm8/proofs
Jun 18 20:24:49 Finished compiler/backend/arm8/proofs                            35s   2GB
Jun 18 20:24:50 Starting compiler/backend/arm8_asl
Jun 18 20:25:15 Finished compiler/backend/arm8_asl                               24s   2GB
Jun 18 20:25:16 Starting compiler/backend/mips/proofs
Jun 18 20:25:55 Finished compiler/backend/mips/proofs                            37s   2GB
Jun 18 20:25:56 Starting compiler/backend/riscv/proofs
Jun 18 20:26:38 Finished compiler/backend/riscv/proofs                           41s   2GB
Jun 18 20:26:39 Starting compiler/backend/ag32/proofs
Jun 18 20:36:31 Finished compiler/backend/ag32/proofs                          9m51s   5GB
Jun 18 20:36:32 Starting compiler/backend/cv_compute
Jun 18 20:37:03 Finished compiler/backend/cv_compute                             30s   1GB
Jun 18 20:37:04 Starting cv_translator
Jun 18 20:42:02 Finished cv_translator                                         4m56s   3GB
Jun 18 20:42:03 Starting candle
Jun 18 20:42:04 Finished candle                                                   0s   6MB
Jun 18 20:42:05 Starting candle/set-theory
Jun 18 20:42:37 Finished candle/set-theory                                       30s 909MB
Jun 18 20:42:37 Starting candle/syntax-lib
Jun 18 20:42:39 Finished candle/syntax-lib                                        0s  78MB
Jun 18 20:42:40 Starting candle/standard
Jun 18 20:42:41 Finished candle/standard                                          0s   6MB
Jun 18 20:42:42 Starting candle/standard/syntax
Jun 18 20:42:58 Finished candle/standard/syntax                                  14s 791MB
Jun 18 20:42:58 Starting candle/standard/syntax/little_theories
Jun 18 20:44:11 Finished candle/standard/syntax/little_theories                1m11s   1GB
Jun 18 20:44:12 Starting candle/standard/semantics
Jun 18 20:46:25 Finished candle/standard/semantics                             2m12s   1GB
Jun 18 20:46:26 Starting candle/standard/monadic
Jun 18 20:46:28 Finished candle/standard/monadic                                  1s 109MB
Jun 18 20:46:29 Starting candle/standard/ml_kernel
Jun 18 20:48:34 Finished candle/standard/ml_kernel                             2m03s   4GB
Jun 18 20:48:35 Starting candle/overloading
Jun 18 20:48:36 Finished candle/overloading                                       0s   6MB
Jun 18 20:48:36 Starting candle/overloading/syntax
Jun 18 20:51:48 Finished candle/overloading/syntax                             3m11s   2GB
Jun 18 20:51:49 Starting candle/overloading/semantics
Jun 18 21:01:25 Finished candle/overloading/semantics                          9m35s   4GB
Jun 18 21:01:26 Starting candle/overloading/monadic
Jun 18 21:03:30 Finished candle/overloading/monadic                            2m02s   1GB
Jun 18 21:03:31 Starting candle/overloading/ml_kernel
Jun 18 21:10:12 Finished candle/overloading/ml_kernel                          6m40s   6GB
Jun 18 21:10:13 Starting candle/overloading/ml_checker
Jun 18 21:13:01 Finished candle/overloading/ml_checker                         2m47s   6GB
Jun 18 21:13:02 Starting candle/prover
Jun 18 21:13:05 Finished candle/prover                                            2s 172MB
Jun 18 21:13:06 Starting candle/prover/compute
Jun 18 21:13:08 Finished candle/prover/compute                                    2s 156MB
Jun 18 21:13:09 Starting pancake
Jun 18 21:13:12 Finished pancake                                                  1s 137MB
Jun 18 21:13:13 Starting pancake/semantics
Jun 18 21:16:12 Finished pancake/semantics                                     2m58s   2GB
Jun 18 21:16:13 Starting pancake/parser
Jun 18 21:16:53 Finished pancake/parser                                          39s 563MB
Jun 18 21:16:54 Starting pancake/static_checker
Jun 18 21:19:28 Finished pancake/static_checker                                2m32s   1GB
Jun 18 21:19:29 Starting pancake/proofs
Jun 18 21:36:46 Finished pancake/proofs                                       17m16s   6GB
Jun 18 21:36:47 Starting compiler/dafny
Jun 18 21:37:12 Finished compiler/dafny                                          23s 648MB
Jun 18 21:37:12 Starting compiler/dafny/translation
Jun 18 21:47:19 Finished compiler/dafny/translation                           10m05s   6GB
Jun 18 21:47:20 Starting compiler/dafny/compilation
Jun 18 21:49:09 Finished compiler/dafny/compilation                            1m48s   6GB
Jun 18 21:49:10 Starting compiler/dafny/semantics
Jun 18 21:49:48 Finished compiler/dafny/semantics                                37s 488MB
Jun 18 21:49:49 Starting compiler/dafny/proofs
Jun 18 21:51:28 Finished compiler/dafny/proofs                                 1m38s   1GB
Jun 18 21:51:29 Starting compiler/dafny/vcg
Jun 18 21:51:31 Finished compiler/dafny/vcg                                       1s 101MB
Jun 18 21:51:32 Starting compiler/dafny/vcg/examples
Jun 18 21:52:01 Finished compiler/dafny/vcg/examples                             28s   1GB
Jun 18 21:52:02 Starting compiler/scheme
Jun 18 21:52:30 Finished compiler/scheme                                         27s   1GB
Jun 18 21:52:31 Starting compiler/scheme/translation
Jun 18 21:59:10 Finished compiler/scheme/translation                           6m37s   6GB
Jun 18 21:59:11 Starting compiler/scheme/compilation
Jun 18 22:00:29 Finished compiler/scheme/compilation                           1m16s   3GB
Jun 18 22:00:29 Starting compiler/scheme/proofs
Jun 18 22:07:19 Finished compiler/scheme/proofs                                6m48s   3GB
Jun 18 22:07:20 Starting characteristic/examples
Jun 18 22:08:54 Finished characteristic/examples                               1m32s   5GB
Jun 18 22:08:55 Starting tutorial/solutions
Jun 18 22:11:37 Finished tutorial/solutions                                    2m42s   3GB
Jun 18 22:11:38 Starting translator/monadic/examples
Jun 18 22:14:44 Finished translator/monadic/examples                           3m04s   4GB
Jun 18 22:14:45 Starting examples
Jun 18 22:19:38 Finished examples                                              4m51s   5GB
Jun 18 22:19:39 Starting examples/compilation
Jun 18 22:19:40 Finished examples/compilation                                     0s   6MB
Jun 18 22:19:41 Starting examples/compilation/x64
Jun 18 22:26:57 Finished examples/compilation/x64                              7m15s   3GB
Jun 18 22:26:58 Starting examples/compilation/x64/proofs
Jun 18 22:30:16 Finished examples/compilation/x64/proofs                       3m17s   3GB
Jun 18 22:30:17 Starting examples/compilation/ag32
Jun 18 22:32:35 Finished examples/compilation/ag32                             2m16s   3GB
Jun 18 22:32:36 Starting examples/compilation/ag32/proofs
Jun 18 22:33:52 Finished examples/compilation/ag32/proofs                      1m15s   4GB
Jun 18 22:33:52 Starting examples/lpr_checker
Jun 18 22:34:32 Finished examples/lpr_checker                                    38s   1GB
Jun 18 22:34:33 Starting examples/lpr_checker/array
Jun 18 22:47:58 Finished examples/lpr_checker/array                           13m24s   9GB
Jun 18 22:47:59 Starting examples/lpr_checker/array/compilation
Jun 18 22:51:18 Finished examples/lpr_checker/array/compilation                3m18s   6GB
Jun 18 22:51:19 Starting examples/lpr_checker/array/compilation/proofs
Jun 18 22:52:42 Finished examples/lpr_checker/array/compilation/proofs         1m21s   5GB
Jun 18 22:52:43 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 18 22:54:05 Finished examples/lpr_checker/array/compilation/proofsARM8     1m20s   6GB
Jun 18 22:54:05 Starting .
Jun 18 22:54:10 Finished .                                                        3s 335MB
Jun 18 22:54:11 Starting examples/xlrup_checker
Jun 18 22:55:03 Finished examples/xlrup_checker                                  51s   1GB
Jun 18 22:55:04 Starting examples/xlrup_checker/array
Jun 18 23:04:41 Finished examples/xlrup_checker/array                          9m36s   4GB
Jun 18 23:04:42 Starting examples/xlrup_checker/array/compilation
Jun 18 23:06:04 Finished examples/xlrup_checker/array/compilation              1m20s   4GB
Jun 18 23:06:05 Starting examples/xlrup_checker/array/compilation/proofs
Jun 18 23:07:24 Finished examples/xlrup_checker/array/compilation/proofs       1m18s   4GB
Jun 18 23:07:25 Starting examples/cnf
Jun 18 23:07:49 Finished examples/cnf                                            22s 431MB
Jun 18 23:07:50 Starting examples/cnf/array
Jun 18 23:10:09 Finished examples/cnf/array                                    2m18s   2GB
Jun 18 23:10:10 Starting examples/cnf/dist
Jun 18 23:10:16 Finished examples/cnf/dist                                        5s 275MB
Jun 18 23:10:17 Starting examples/cnf/dist/array
Jun 18 23:16:32 Finished examples/cnf/dist/array                               6m14s   3GB
Jun 18 23:16:33 Starting examples/cnf/dist/array/compilation
Jun 18 23:17:27 Finished examples/cnf/dist/array/compilation                     53s   3GB
Jun 18 23:17:28 Starting examples/cnf/dist/array/compilation/proofs
Jun 18 23:18:38 Finished examples/cnf/dist/array/compilation/proofs            1m09s   4GB
Jun 18 23:18:39 Starting examples/scpog_checker
Jun 18 23:19:28 Finished examples/scpog_checker                                  47s   1GB
Jun 18 23:19:29 Starting examples/scpog_checker/array
Jun 18 23:25:32 Finished examples/scpog_checker/array                          6m02s   3GB
Jun 18 23:25:33 Starting examples/scpog_checker/array/compilation
Jun 18 23:27:41 Finished examples/scpog_checker/array/compilation              2m07s   7GB
Jun 18 23:27:42 Starting examples/scpog_checker/array/compilation/proofs
Jun 18 23:29:08 Finished examples/scpog_checker/array/compilation/proofs       1m25s   5GB
Jun 18 23:29:09 Starting examples/pseudo_bool
Jun 18 23:31:25 Finished examples/pseudo_bool                                  2m14s   2GB
Jun 18 23:31:26 Starting examples/pseudo_bool/cnf_encoding
Jun 18 23:31:59 Finished examples/pseudo_bool/cnf_encoding                       32s   1GB
Jun 18 23:32:00 Starting examples/pseudo_bool/graph_encoding
Jun 18 23:32:49 Finished examples/pseudo_bool/graph_encoding                     47s   1GB
Jun 18 23:32:50 Starting examples/pseudo_bool/array
Jun 19 00:17:26 Finished examples/pseudo_bool/array                           44m35s  25GB
Jun 19 00:17:27 Starting examples/pseudo_bool/array/compilation
Jun 19 00:35:23 Finished examples/pseudo_bool/array/compilation               17m55s  19GB
Jun 19 00:35:24 Starting examples/pseudo_bool/array/compilation/proofs
Jun 19 00:40:23 Finished examples/pseudo_bool/array/compilation/proofs         4m58s   7GB
Jun 19 00:40:24 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 19 00:42:05 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m39s   6GB
Jun 19 00:42:05 Starting examples/opentheory
Jun 19 00:49:42 Finished examples/opentheory                                   7m36s   5GB
Jun 19 00:49:43 Starting examples/opentheory/compilation
Jun 19 00:51:28 Finished examples/opentheory/compilation                       1m43s   5GB
Jun 19 00:51:29 Starting examples/opentheory/compilation/proofs
Jun 19 00:52:49 Finished examples/opentheory/compilation/proofs                1m19s   4GB
Jun 19 00:52:50 Starting examples/opentheory/compilation/ag32
Jun 19 00:54:35 Finished examples/opentheory/compilation/ag32                  1m44s   5GB
Jun 19 00:54:36 Starting examples/opentheory/compilation/ag32/proofs
Jun 19 00:56:15 Finished examples/opentheory/compilation/ag32/proofs           1m38s   7GB
Jun 19 00:56:16 Starting examples/sat_encodings
Jun 19 00:57:23 Finished examples/sat_encodings                                1m06s 737MB
Jun 19 00:57:24 Starting examples/sat_encodings/demo
Jun 19 00:57:25 Finished examples/sat_encodings/demo                              0s   6MB
Jun 19 00:57:26 Starting examples/sat_encodings/case_studies
Jun 19 00:59:13 Finished examples/sat_encodings/case_studies                   1m46s   1GB
Jun 19 00:59:14 Starting examples/sat_encodings/translation
Jun 19 01:02:58 Finished examples/sat_encodings/translation                    3m43s   2GB
Jun 19 01:02:59 Starting examples/sat_encodings/translation/compilation
Jun 19 01:05:05 Finished examples/sat_encodings/translation/compilation        2m05s   4GB
Jun 19 01:05:06 Starting examples/deflate
Jun 19 01:05:28 Finished examples/deflate                                        21s 414MB
Jun 19 01:05:29 Starting examples/deflate/translation
Jun 19 01:06:31 Finished examples/deflate/translation                          1m00s   3GB
Jun 19 01:06:32 Starting examples/deflate/translation/compilation
Jun 19 01:07:34 Finished examples/deflate/translation/compilation              1m01s   3GB
Jun 19 01:07:35 Starting examples/vipr
Jun 19 01:10:52 Finished examples/vipr                                         3m16s   5GB
Jun 19 01:10:53 Starting examples/vipr/compilation
Jun 19 01:11:59 Finished examples/vipr/compilation                             1m04s   4GB
Jun 19 01:12:00 Starting examples/flover/Infra
Jun 19 01:12:37 Finished examples/flover/Infra                                   35s   1GB
Jun 19 01:12:38 Starting examples/flover/semantics
Jun 19 01:14:00 Finished examples/flover/semantics                             1m21s   1GB
Jun 19 01:14:01 Starting examples/flover
Jun 19 01:33:48 Finished examples/flover                                      19m45s   1GB
Jun 19 01:33:49 Starting examples/template
Jun 19 01:33:52 Finished examples/template                                        2s 159MB
Jun 19 01:33:53 Starting examples/template/translation
Jun 19 01:34:15 Finished examples/template/translation                           20s 830MB
Jun 19 01:34:16 Starting examples/template/compilation
Jun 19 01:35:23 Finished examples/template/compilation                         1m06s   4GB
Jun 19 01:35:24 Starting translator/okasaki-examples
Jun 19 01:38:37 Finished translator/okasaki-examples                           3m12s   3GB
Jun 19 01:38:38 Starting translator/other-examples
Jun 19 01:39:38 Finished translator/other-examples                               58s   2GB
Jun 19 01:39:39 Starting translator/other-examples/auxiliary
Jun 19 01:39:40 Finished translator/other-examples/auxiliary                      0s  10MB
Jun 19 01:39:40 Starting compiler/parsing/tests
Jun 19 01:40:25 Finished compiler/parsing/tests                                  43s   1GB
Jun 19 01:40:25 Starting compiler/inference/tests
Jun 19 01:41:13 Finished compiler/inference/tests                                46s   1GB
Jun 19 01:41:14 Starting compiler/printing/test
Jun 19 01:44:25 Finished compiler/printing/test                                3m10s  15GB
Jun 19 01:44:26 Starting compiler/repl
Jun 19 01:44:30 Finished compiler/repl                                            3s 248MB
Jun 19 01:44:31 Starting compiler/benchmarks
Jun 19 01:45:25 Finished compiler/benchmarks                                     53s 747MB
Jun 19 01:45:26 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jun 19 01:45:30 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 251MB
Jun 19 01:45:31 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jun 19 01:45:35 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 254MB
Jun 19 01:45:36 Starting compiler/bootstrap/translation
Jun 19 04:10:33 Finished compiler/bootstrap/translation                     2h24m55s  82GB
Jun 19 04:10:34 Starting compiler/bootstrap/compilation/x64/64
Jun 19 04:14:13 Finished compiler/bootstrap/compilation/x64/64                 3m26s  18GB
Jun 19 04:14:14 Starting compiler/bootstrap/compilation/x64/32
Jun 19 04:42:36 Finished compiler/bootstrap/compilation/x64/32                28m11s  52GB
Jun 19 04:42:37 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 19 04:48:06 Finished compiler/bootstrap/compilation/x64/32/proofs          5m28s  25GB
Jun 19 04:48:07 Starting compiler/bootstrap/compilation/arm8/64
Jun 19 05:32:14 Finished compiler/bootstrap/compilation/arm8/64               43m58s  81GB
Jun 19 05:32:15 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jun 19 05:39:01 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m45s  32GB
Jun 19 05:39:02 Starting compiler/bootstrap/compilation/ag32/32
Jun 19 06:09:21 Finished compiler/bootstrap/compilation/ag32/32               30m17s  52GB
Jun 19 06:09:22 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 19 06:15:38 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m15s  31GB
Jun 19 06:15:39 Starting unverified/sexpr-bootstrap/x64/64
Jun 19 06:20:06 Finished unverified/sexpr-bootstrap/x64/64                     4m26s  18GB
Jun 19 06:20:07 Starting unverified/sexpr-bootstrap/x64/32
Jun 19 06:23:58 Finished unverified/sexpr-bootstrap/x64/32                     3m50s  16GB
Jun 19 06:23:59 SUCCESS