Job 3391

CakeML:f01fe641199ad624c88978a172ae1954130edda6
  Merge pull request #1415 from CakeML/candle-reduce-mk_eq [Jun 16 15:48:39]
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 17 04:10:30 Claimed job
Jun 17 04:10:35 Building HOL
Jun 17 04:24:51 Starting developers
Jun 17 04:24:56 Finished developers                                               4s 114MB
Jun 17 04:24:57 Starting developers/bin
Jun 17 04:25:01 Finished developers/bin                                           2s  93MB
Jun 17 04:25:02 Starting misc
Jun 17 04:26:03 Finished misc                                                  1m00s   1GB
Jun 17 04:26:04 Starting compiler/proofs
Jun 17 05:39:49 Finished compiler/proofs                                    1h13m42s  11GB
Jun 17 05:39:50 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 17 14:53:23 Resuming compiler/bootstrap/compilation/x64/64/proofs
Jun 17 19:48:49 Finished compiler/bootstrap/compilation/x64/64/proofs       4h55m24s 102GB
Jun 17 19:48:50 Starting semantics/ffi
Jun 17 19:49:02 Finished semantics/ffi                                           10s 548MB
Jun 17 19:49:03 Starting semantics
Jun 17 19:49:05 Finished semantics                                                1s  78MB
Jun 17 19:49:06 Starting semantics/proofs
Jun 17 19:49:30 Finished semantics/proofs                                        23s 720MB
Jun 17 19:49:31 Starting semantics/alt_semantics
Jun 17 19:49:47 Finished semantics/alt_semantics                                 15s 481MB
Jun 17 19:49:48 Starting semantics/alt_semantics/proofs
Jun 17 19:53:33 Finished semantics/alt_semantics/proofs                        3m43s   1GB
Jun 17 19:53:34 Starting basis/pure
Jun 17 19:53:36 Finished basis/pure                                               1s  74MB
Jun 17 19:53:37 Starting translator
Jun 17 19:54:47 Finished translator                                            1m09s   3GB
Jun 17 19:54:48 Starting compiler/parsing
Jun 17 19:54:50 Finished compiler/parsing                                         1s  85MB
Jun 17 19:54:50 Starting characteristic
Jun 17 19:54:53 Finished characteristic                                           1s 105MB
Jun 17 19:54:54 Starting translator/monadic
Jun 17 19:54:56 Finished translator/monadic                                       1s 111MB
Jun 17 19:54:57 Starting translator/monadic/monad_base
Jun 17 19:54:59 Finished translator/monadic/monad_base                            1s  84MB
Jun 17 19:55:00 Starting profiler
Jun 17 19:55:30 Finished profiler                                                29s   1GB
Jun 17 19:55:31 Starting basis
Jun 17 19:57:13 Finished basis                                                 1m41s   4GB
Jun 17 19:57:14 Starting compiler
Jun 17 19:57:17 Finished compiler                                                 2s 194MB
Jun 17 19:57:18 Starting compiler/inference
Jun 17 19:57:20 Finished compiler/inference                                       1s 106MB
Jun 17 19:57:21 Starting compiler/backend/reg_alloc
Jun 17 19:57:23 Finished compiler/backend/reg_alloc                               1s  86MB
Jun 17 19:57:24 Starting compiler/backend/gc
Jun 17 19:57:27 Finished compiler/backend/gc                                      1s 133MB
Jun 17 19:57:28 Starting compiler/backend
Jun 17 19:57:30 Finished compiler/backend                                         1s 122MB
Jun 17 19:57:31 Starting compiler/encoders/asm
Jun 17 19:57:33 Finished compiler/encoders/asm                                    1s  86MB
Jun 17 19:57:34 Starting compiler/encoders/x64
Jun 17 19:57:36 Finished compiler/encoders/x64                                    1s  95MB
Jun 17 19:57:37 Starting compiler/encoders/arm7
Jun 17 19:57:39 Finished compiler/encoders/arm7                                   1s  97MB
Jun 17 19:57:40 Starting compiler/encoders/arm8
Jun 17 19:57:42 Finished compiler/encoders/arm8                                   1s  96MB
Jun 17 19:57:43 Starting compiler/encoders/arm8_asl
Jun 17 21:49:17 Finished compiler/encoders/arm8_asl                         1h51m32s  22GB
Jun 17 21:49:18 Starting compiler/encoders/mips
Jun 17 21:49:20 Finished compiler/encoders/mips                                   1s  91MB
Jun 17 21:49:21 Starting compiler/encoders/riscv
Jun 17 21:49:23 Finished compiler/encoders/riscv                                  1s  92MB
Jun 17 21:49:24 Starting compiler/encoders/ag32
Jun 17 21:49:26 Finished compiler/encoders/ag32                                   1s  86MB
Jun 17 21:49:27 Starting compiler/encoders/tests
Jun 17 21:49:29 Finished compiler/encoders/tests                                  1s 115MB
Jun 17 21:49:30 Starting compiler/encoders/monadic_enc
Jun 17 21:49:53 Finished compiler/encoders/monadic_enc                           22s   1GB
Jun 17 21:49:54 Starting compiler/backend/x64
Jun 17 21:49:57 Finished compiler/backend/x64                                     1s 126MB
Jun 17 21:49:58 Starting compiler/backend/arm7
Jun 17 21:50:00 Finished compiler/backend/arm7                                    1s 127MB
Jun 17 21:50:01 Starting compiler/backend/arm8
Jun 17 21:50:03 Finished compiler/backend/arm8                                    1s 127MB
Jun 17 21:50:04 Starting compiler/backend/mips
Jun 17 21:50:07 Finished compiler/backend/mips                                    1s 125MB
Jun 17 21:50:08 Starting compiler/backend/riscv
Jun 17 21:50:10 Finished compiler/backend/riscv                                   1s 125MB
Jun 17 21:50:11 Starting compiler/backend/ag32
Jun 17 21:51:12 Finished compiler/backend/ag32                                   59s   1GB
Jun 17 21:51:13 Starting compiler/backend/pattern_matching
Jun 17 21:51:15 Finished compiler/backend/pattern_matching                        1s  85MB
Jun 17 21:51:16 Starting compiler/parsing/ocaml
Jun 17 21:53:22 Finished compiler/parsing/ocaml                                2m05s   1GB
Jun 17 21:53:23 Starting compiler/printing
Jun 17 21:54:18 Finished compiler/printing                                       54s   1GB
Jun 17 21:54:19 Starting compiler/parsing/proofs
Jun 17 21:54:21 Finished compiler/parsing/proofs                                  1s  89MB
Jun 17 21:54:22 Starting compiler/inference/proofs
Jun 17 21:54:25 Finished compiler/inference/proofs                                1s 108MB
Jun 17 21:54:25 Starting compiler/backend/semantics
Jun 17 21:57:26 Finished compiler/backend/semantics                            2m59s   2GB
Jun 17 21:57:27 Starting compiler/backend/reg_alloc/proofs
Jun 17 21:57:29 Finished compiler/backend/reg_alloc/proofs                        1s 107MB
Jun 17 21:57:30 Starting compiler/backend/proofs
Jun 17 21:58:14 Finished compiler/backend/proofs                                 43s   2GB
Jun 17 21:58:15 Starting compiler/backend/serialiser
Jun 17 21:58:18 Finished compiler/backend/serialiser                              1s 135MB
Jun 17 21:58:18 Starting compiler/encoders/x64/proofs
Jun 17 21:58:21 Finished compiler/encoders/x64/proofs                             1s  95MB
Jun 17 21:58:22 Starting compiler/encoders/arm7/proofs
Jun 17 22:10:53 Finished compiler/encoders/arm7/proofs                        12m30s   4GB
Jun 17 22:10:54 Starting compiler/encoders/arm8/proofs
Jun 17 22:18:42 Finished compiler/encoders/arm8/proofs                         7m47s   3GB
Jun 17 22:18:43 Starting compiler/encoders/arm8_asl/proofs
Jun 17 23:15:38 Finished compiler/encoders/arm8_asl/proofs                    56m53s  11GB
Jun 17 23:15:39 Starting compiler/encoders/mips/proofs
Jun 17 23:26:26 Finished compiler/encoders/mips/proofs                        10m46s   5GB
Jun 17 23:26:27 Starting compiler/encoders/riscv/proofs
Jun 17 23:35:43 Finished compiler/encoders/riscv/proofs                        9m15s   4GB
Jun 17 23:35:44 Starting compiler/encoders/ag32/proofs
Jun 17 23:38:52 Finished compiler/encoders/ag32/proofs                         3m07s   1GB
Jun 17 23:38:53 Starting compiler/backend/x64/proofs
Jun 17 23:38:57 Finished compiler/backend/x64/proofs                              2s 196MB
Jun 17 23:38:58 Starting compiler/backend/arm7/proofs
Jun 17 23:39:37 Finished compiler/backend/arm7/proofs                            38s   2GB
Jun 17 23:39:38 Starting compiler/backend/arm8/proofs
Jun 17 23:40:16 Finished compiler/backend/arm8/proofs                            37s   2GB
Jun 17 23:40:17 Starting compiler/backend/arm8_asl
Jun 17 23:40:44 Finished compiler/backend/arm8_asl                               25s   1GB
Jun 17 23:40:44 Starting compiler/backend/mips/proofs
Jun 17 23:41:23 Finished compiler/backend/mips/proofs                            37s   2GB
Jun 17 23:41:24 Starting compiler/backend/riscv/proofs
Jun 17 23:42:07 Finished compiler/backend/riscv/proofs                           41s   2GB
Jun 17 23:42:08 Starting compiler/backend/ag32/proofs
Jun 17 23:51:50 Finished compiler/backend/ag32/proofs                          9m41s   5GB
Jun 17 23:51:51 Starting compiler/backend/cv_compute
Jun 17 23:52:21 Finished compiler/backend/cv_compute                             29s   1GB
Jun 17 23:52:22 Starting cv_translator
Jun 17 23:57:24 Finished cv_translator                                         5m00s   4GB
Jun 17 23:57:25 Starting candle
Jun 17 23:57:25 Finished candle                                                   0s   6MB
Jun 17 23:57:26 Starting candle/set-theory
Jun 17 23:57:58 Finished candle/set-theory                                       30s 901MB
Jun 17 23:57:59 Starting candle/syntax-lib
Jun 17 23:58:01 Finished candle/syntax-lib                                        0s  71MB
Jun 17 23:58:02 Starting candle/standard
Jun 17 23:58:03 Finished candle/standard                                          0s   6MB
Jun 17 23:58:03 Starting candle/standard/syntax
Jun 17 23:58:19 Finished candle/standard/syntax                                  14s 792MB
Jun 17 23:58:19 Starting candle/standard/syntax/little_theories
Jun 17 23:59:32 Finished candle/standard/syntax/little_theories                1m12s 903MB
Jun 17 23:59:33 Starting candle/standard/semantics
Jun 18 00:01:47 Finished candle/standard/semantics                             2m12s   1GB
Jun 18 00:01:47 Starting candle/standard/monadic
Jun 18 00:01:50 Finished candle/standard/monadic                                  1s 110MB
Jun 18 00:01:51 Starting candle/standard/ml_kernel
Jun 18 00:03:55 Finished candle/standard/ml_kernel                             2m03s   4GB
Jun 18 00:03:56 Starting candle/overloading
Jun 18 00:03:56 Finished candle/overloading                                       0s   6MB
Jun 18 00:03:57 Starting candle/overloading/syntax
Jun 18 00:07:06 Finished candle/overloading/syntax                             3m08s   1GB
Jun 18 00:07:07 Starting candle/overloading/semantics
Jun 18 00:16:51 Finished candle/overloading/semantics                          9m42s   7GB
Jun 18 00:16:52 Starting candle/overloading/monadic
Jun 18 00:18:57 Finished candle/overloading/monadic                            2m04s   1GB
Jun 18 00:18:58 Starting candle/overloading/ml_kernel
Jun 18 00:25:41 Finished candle/overloading/ml_kernel                          6m42s   7GB
Jun 18 00:25:42 Starting candle/overloading/ml_checker
Jun 18 00:28:26 Finished candle/overloading/ml_checker                         2m43s   6GB
Jun 18 00:28:27 Starting candle/prover
Jun 18 00:28:30 Finished candle/prover                                            2s 161MB
Jun 18 00:28:31 Starting candle/prover/compute
Jun 18 00:28:33 Finished candle/prover/compute                                    1s 148MB
Jun 18 00:28:34 Starting pancake
Jun 18 00:28:37 Finished pancake                                                  1s 132MB
Jun 18 00:28:38 Starting pancake/semantics
Jun 18 00:31:31 Finished pancake/semantics                                     2m52s   2GB
Jun 18 00:31:32 Starting pancake/parser
Jun 18 00:32:11 Finished pancake/parser                                          38s 528MB
Jun 18 00:32:12 Starting pancake/static_checker
Jun 18 00:34:45 Finished pancake/static_checker                                2m32s   1GB
Jun 18 00:34:46 Starting pancake/proofs
Jun 18 00:51:58 Finished pancake/proofs                                       17m10s   5GB
Jun 18 00:51:59 Starting compiler/dafny
Jun 18 00:52:23 Finished compiler/dafny                                          23s 658MB
Jun 18 00:52:24 Starting compiler/dafny/translation
Jun 18 01:02:27 Finished compiler/dafny/translation                           10m02s   7GB
Jun 18 01:02:28 Starting compiler/dafny/compilation
Jun 18 01:04:18 Finished compiler/dafny/compilation                            1m48s   6GB
Jun 18 01:04:19 Starting compiler/dafny/semantics
Jun 18 01:04:57 Finished compiler/dafny/semantics                                37s 500MB
Jun 18 01:04:57 Starting compiler/dafny/proofs
Jun 18 01:06:38 Finished compiler/dafny/proofs                                 1m40s   1GB
Jun 18 01:06:39 Starting compiler/dafny/vcg
Jun 18 01:06:42 Finished compiler/dafny/vcg                                       1s  98MB
Jun 18 01:06:42 Starting compiler/dafny/vcg/examples
Jun 18 01:07:11 Finished compiler/dafny/vcg/examples                             27s   1GB
Jun 18 01:07:12 Starting compiler/scheme
Jun 18 01:07:40 Finished compiler/scheme                                         26s   1GB
Jun 18 01:07:41 Starting compiler/scheme/translation
Jun 18 01:14:23 Finished compiler/scheme/translation                           6m40s   8GB
Jun 18 01:14:23 Starting compiler/scheme/compilation
Jun 18 01:15:47 Finished compiler/scheme/compilation                           1m22s   4GB
Jun 18 01:15:47 Starting compiler/scheme/proofs
Jun 18 01:22:42 Finished compiler/scheme/proofs                                6m54s   3GB
Jun 18 01:22:43 Starting characteristic/examples
Jun 18 01:24:15 Finished characteristic/examples                               1m30s   5GB
Jun 18 01:24:16 Starting tutorial/solutions
Jun 18 01:27:00 Finished tutorial/solutions                                    2m42s   3GB
Jun 18 01:27:00 Starting translator/monadic/examples
Jun 18 01:30:05 Finished translator/monadic/examples                           3m03s   4GB
Jun 18 01:30:06 Starting examples
Jun 18 01:35:07 Finished examples                                              5m00s   3GB
Jun 18 01:35:08 Starting examples/compilation
Jun 18 01:35:09 Finished examples/compilation                                     0s   6MB
Jun 18 01:35:09 Starting examples/compilation/x64
Jun 18 01:42:34 Finished examples/compilation/x64                              7m22s   4GB
Jun 18 01:42:35 Starting examples/compilation/x64/proofs
Jun 18 01:45:46 Finished examples/compilation/x64/proofs                       3m10s   3GB
Jun 18 01:45:47 Starting examples/compilation/ag32
Jun 18 01:48:02 Finished examples/compilation/ag32                             2m13s   3GB
Jun 18 01:48:03 Starting examples/compilation/ag32/proofs
Jun 18 01:49:21 Finished examples/compilation/ag32/proofs                      1m17s   4GB
Jun 18 01:49:22 Starting examples/lpr_checker
Jun 18 01:50:01 Finished examples/lpr_checker                                    38s   1GB
Jun 18 01:50:02 Starting examples/lpr_checker/array
Jun 18 02:03:31 Finished examples/lpr_checker/array                           13m27s   8GB
Jun 18 02:03:32 Starting examples/lpr_checker/array/compilation
Jun 18 02:06:53 Finished examples/lpr_checker/array/compilation                3m20s   6GB
Jun 18 02:06:54 Starting examples/lpr_checker/array/compilation/proofs
Jun 18 02:08:19 Finished examples/lpr_checker/array/compilation/proofs         1m24s   5GB
Jun 18 02:08:20 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 18 02:09:42 Finished examples/lpr_checker/array/compilation/proofsARM8     1m19s   5GB
Jun 18 02:09:43 Starting .
Jun 18 02:09:48 Finished .                                                        3s 329MB
Jun 18 02:09:49 Starting examples/xlrup_checker
Jun 18 02:10:41 Finished examples/xlrup_checker                                  51s   1GB
Jun 18 02:10:42 Starting examples/xlrup_checker/array
Jun 18 02:20:14 Finished examples/xlrup_checker/array                          9m31s   3GB
Jun 18 02:20:15 Starting examples/xlrup_checker/array/compilation
Jun 18 02:21:35 Finished examples/xlrup_checker/array/compilation              1m19s   4GB
Jun 18 02:21:36 Starting examples/xlrup_checker/array/compilation/proofs
Jun 18 02:22:53 Finished examples/xlrup_checker/array/compilation/proofs       1m16s   3GB
Jun 18 02:22:54 Starting examples/cnf
Jun 18 02:23:17 Finished examples/cnf                                            22s 411MB
Jun 18 02:23:18 Starting examples/cnf/array
Jun 18 02:25:34 Finished examples/cnf/array                                    2m14s   2GB
Jun 18 02:25:35 Starting examples/cnf/dist
Jun 18 02:25:41 Finished examples/cnf/dist                                        5s 275MB
Jun 18 02:25:42 Starting examples/cnf/dist/array
Jun 18 02:32:10 Finished examples/cnf/dist/array                               6m26s   3GB
Jun 18 02:32:11 Starting examples/cnf/dist/array/compilation
Jun 18 02:33:05 Finished examples/cnf/dist/array/compilation                     53s   3GB
Jun 18 02:33:06 Starting examples/cnf/dist/array/compilation/proofs
Jun 18 02:34:17 Finished examples/cnf/dist/array/compilation/proofs            1m10s   3GB
Jun 18 02:34:18 Starting examples/scpog_checker
Jun 18 02:35:06 Finished examples/scpog_checker                                  47s   1GB
Jun 18 02:35:07 Starting examples/scpog_checker/array
Jun 18 02:41:13 Finished examples/scpog_checker/array                          6m05s   3GB
Jun 18 02:41:14 Starting examples/scpog_checker/array/compilation
Jun 18 02:43:25 Finished examples/scpog_checker/array/compilation              2m08s   7GB
Jun 18 02:43:26 Starting examples/scpog_checker/array/compilation/proofs
Jun 18 02:44:53 Finished examples/scpog_checker/array/compilation/proofs       1m26s   5GB
Jun 18 02:44:54 Starting examples/pseudo_bool
Jun 18 02:47:07 Finished examples/pseudo_bool                                  2m12s   1GB
Jun 18 02:47:08 Starting examples/pseudo_bool/cnf_encoding
Jun 18 02:47:43 Finished examples/pseudo_bool/cnf_encoding                       34s 997MB
Jun 18 02:47:44 Starting examples/pseudo_bool/graph_encoding
Jun 18 02:48:33 Finished examples/pseudo_bool/graph_encoding                     47s   1GB
Jun 18 02:48:34 Starting examples/pseudo_bool/array
Jun 18 03:32:52 Finished examples/pseudo_bool/array                           44m17s  21GB
Jun 18 03:32:53 Starting examples/pseudo_bool/array/compilation
Jun 18 03:50:39 Finished examples/pseudo_bool/array/compilation               17m45s  19GB
Jun 18 03:50:40 Starting examples/pseudo_bool/array/compilation/proofs
Jun 18 03:55:41 Finished examples/pseudo_bool/array/compilation/proofs         4m59s   7GB
Jun 18 03:55:42 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 18 03:57:25 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m41s   7GB
Jun 18 03:57:26 Starting examples/opentheory
Jun 18 04:05:03 Finished examples/opentheory                                   7m36s   5GB
Jun 18 04:05:04 Starting examples/opentheory/compilation
Jun 18 04:06:38 Finished examples/opentheory/compilation                       1m33s   3GB
Jun 18 04:06:39 Starting examples/opentheory/compilation/proofs
Jun 18 04:08:02 Finished examples/opentheory/compilation/proofs                1m22s   4GB
Jun 18 04:08:03 Starting examples/opentheory/compilation/ag32
Jun 18 04:09:44 Finished examples/opentheory/compilation/ag32                  1m39s   4GB
Jun 18 04:09:45 Starting examples/opentheory/compilation/ag32/proofs
Jun 18 04:11:23 Finished examples/opentheory/compilation/ag32/proofs           1m37s   7GB
Jun 18 04:11:24 Starting examples/sat_encodings
Jun 18 04:12:31 Finished examples/sat_encodings                                1m05s 764MB
Jun 18 04:12:32 Starting examples/sat_encodings/demo
Jun 18 04:12:33 Finished examples/sat_encodings/demo                              0s   6MB
Jun 18 04:12:34 Starting examples/sat_encodings/case_studies
Jun 18 04:14:21 Finished examples/sat_encodings/case_studies                   1m46s   1GB
Jun 18 04:14:21 Starting examples/sat_encodings/translation
Jun 18 04:18:08 Finished examples/sat_encodings/translation                    3m45s   2GB
Jun 18 04:18:09 Starting examples/sat_encodings/translation/compilation
Jun 18 04:20:20 Finished examples/sat_encodings/translation/compilation        2m10s   4GB
Jun 18 04:20:21 Starting examples/deflate
Jun 18 04:20:44 Finished examples/deflate                                        22s 449MB
Jun 18 04:20:45 Starting examples/deflate/translation
Jun 18 04:21:46 Finished examples/deflate/translation                          1m00s   3GB
Jun 18 04:21:47 Starting examples/deflate/translation/compilation
Jun 18 04:22:48 Finished examples/deflate/translation/compilation                59s   3GB
Jun 18 04:22:48 Starting examples/vipr
Jun 18 04:26:00 Finished examples/vipr                                         3m10s   4GB
Jun 18 04:26:01 Starting examples/vipr/compilation
Jun 18 04:27:04 Finished examples/vipr/compilation                             1m01s   4GB
Jun 18 04:27:05 Starting examples/flover/Infra
Jun 18 04:27:41 Finished examples/flover/Infra                                   35s   1GB
Jun 18 04:27:42 Starting examples/flover/semantics
Jun 18 04:29:05 Finished examples/flover/semantics                             1m21s   1GB
Jun 18 04:29:06 Starting examples/flover
Jun 18 04:49:14 Finished examples/flover                                      20m07s   1GB
Jun 18 04:49:15 Starting examples/template
Jun 18 04:49:19 Finished examples/template                                        2s 157MB
Jun 18 04:49:20 Starting examples/template/translation
Jun 18 04:49:42 Finished examples/template/translation                           21s 838MB
Jun 18 04:49:43 Starting examples/template/compilation
Jun 18 04:50:48 Finished examples/template/compilation                         1m04s   4GB
Jun 18 04:50:49 Starting translator/okasaki-examples
Jun 18 04:54:10 Finished translator/okasaki-examples                           3m19s   3GB
Jun 18 04:54:11 Starting translator/other-examples
Jun 18 04:56:52 Finished translator/other-examples                             2m40s   2GB
Jun 18 04:56:53 Starting translator/other-examples/auxiliary
Jun 18 04:56:54 Finished translator/other-examples/auxiliary                      0s  11MB
Jun 18 04:56:55 Starting compiler/parsing/tests
Jun 18 04:57:40 Finished compiler/parsing/tests                                  43s   1GB
Jun 18 04:57:40 Starting compiler/inference/tests
Jun 18 04:58:28 Finished compiler/inference/tests                                46s   2GB
Jun 18 04:58:29 Starting compiler/printing/test
Jun 18 05:01:37 Finished compiler/printing/test                                3m06s  15GB
Jun 18 05:01:38 Starting compiler/repl
Jun 18 05:01:41 Finished compiler/repl                                            2s 223MB
Jun 18 05:01:42 Starting compiler/benchmarks
Jun 18 05:02:36 Finished compiler/benchmarks                                     52s 747MB
Jun 18 05:02:37 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jun 18 05:02:41 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 272MB
Jun 18 05:02:41 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jun 18 05:02:46 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 249MB
Jun 18 05:02:46 Starting compiler/bootstrap/translation
Jun 18 07:27:30 Finished compiler/bootstrap/translation                     2h24m41s  89GB
Jun 18 07:27:31 Starting compiler/bootstrap/compilation/x64/64
Jun 18 07:31:01 Finished compiler/bootstrap/compilation/x64/64                 3m17s  17GB
Jun 18 07:31:02 Starting compiler/bootstrap/compilation/x64/32
Jun 18 08:01:02 Finished compiler/bootstrap/compilation/x64/32                29m53s  72GB
Jun 18 08:01:03 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 18 08:06:16 Finished compiler/bootstrap/compilation/x64/32/proofs          5m12s  25GB
Jun 18 08:06:17 Starting compiler/bootstrap/compilation/arm8/64
Jun 18 08:50:47 Finished compiler/bootstrap/compilation/arm8/64               44m21s  71GB
Jun 18 08:50:48 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jun 18 08:58:04 Finished compiler/bootstrap/compilation/arm8/64/proofs         7m14s  30GB
Jun 18 08:58:04 Starting compiler/bootstrap/compilation/ag32/32
Jun 18 09:29:27 Finished compiler/bootstrap/compilation/ag32/32               31m21s  58GB
Jun 18 09:29:29 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 18 09:35:20 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m50s  32GB
Jun 18 09:35:21 Starting unverified/sexpr-bootstrap/x64/64
Jun 18 09:40:01 Finished unverified/sexpr-bootstrap/x64/64                     4m39s  17GB
Jun 18 09:40:02 Starting unverified/sexpr-bootstrap/x64/32
Jun 18 09:44:01 Finished unverified/sexpr-bootstrap/x64/32                     3m57s  18GB
Jun 18 09:44:01 SUCCESS