Job 3253

CakeML:1af98e502b4d13fe06c561012f002b7e3c15d609
  Adjust the definition of cv_if in Candle [Mar 08 21:17:44]
#1351 (adjust_cv_if)
Merging into:dba45a2208258fb0605c78fd13b787a3f7203ff7
  Adjust desugaring of OCaml to CakeML AST (#1345) [Mar 08 05:11:09]
HOL:e6d0417424f6e780d9ef01ffce6d7f69f789a706
  Mention change in remove_user_printer's type in release notes [Feb 27 23:41:15]
Machine:pavlova

Mar 08 22:08:19 Claimed job
Mar 08 22:08:26 Reusing HOL
Mar 08 22:08:37 Starting developers
Mar 08 22:08:44 Finished developers                                               4s 224MB
Mar 08 22:08:45 Starting developers/bin
Mar 08 22:08:49 Finished developers/bin                                           3s  89MB
Mar 08 22:08:51 Starting misc
Mar 08 22:09:36 Finished misc                                                    43s   1GB
Mar 08 22:09:38 Starting compiler/proofs
Mar 08 23:08:24 Finished compiler/proofs                                      58m43s  15GB
Mar 08 23:08:25 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 09 04:53:54 Finished compiler/bootstrap/compilation/x64/64/proofs       5h45m27s  93GB
Mar 09 04:53:55 Starting semantics/ffi
Mar 09 04:54:07 Finished semantics/ffi                                           10s 550MB
Mar 09 04:54:08 Starting semantics
Mar 09 04:54:10 Finished semantics                                                1s  90MB
Mar 09 04:54:11 Starting semantics/proofs
Mar 09 04:54:34 Finished semantics/proofs                                        21s   1GB
Mar 09 04:54:35 Starting semantics/alt_semantics
Mar 09 04:54:52 Finished semantics/alt_semantics                                 16s 622MB
Mar 09 04:54:53 Starting semantics/alt_semantics/proofs
Mar 09 04:58:14 Finished semantics/alt_semantics/proofs                        3m19s   1GB
Mar 09 04:58:15 Starting basis/pure
Mar 09 04:58:17 Finished basis/pure                                               0s  82MB
Mar 09 04:58:18 Starting translator
Mar 09 04:59:25 Finished translator                                            1m05s   2GB
Mar 09 04:59:26 Starting compiler/parsing
Mar 09 04:59:28 Finished compiler/parsing                                         1s  93MB
Mar 09 04:59:29 Starting characteristic
Mar 09 04:59:32 Finished characteristic                                           1s 115MB
Mar 09 04:59:33 Starting translator/monadic
Mar 09 04:59:35 Finished translator/monadic                                       1s 124MB
Mar 09 04:59:36 Starting translator/monadic/monad_base
Mar 09 04:59:39 Finished translator/monadic/monad_base                            0s  88MB
Mar 09 04:59:40 Starting profiler
Mar 09 05:00:09 Finished profiler                                                27s   1GB
Mar 09 05:00:10 Starting basis
Mar 09 05:01:48 Finished basis                                                 1m36s   4GB
Mar 09 05:01:49 Starting compiler
Mar 09 05:01:52 Finished compiler                                                 2s 213MB
Mar 09 05:01:54 Starting compiler/inference
Mar 09 05:01:56 Finished compiler/inference                                       1s 118MB
Mar 09 05:01:57 Starting compiler/backend/reg_alloc
Mar 09 05:01:59 Finished compiler/backend/reg_alloc                               1s  91MB
Mar 09 05:02:01 Starting compiler/backend/gc
Mar 09 05:02:03 Finished compiler/backend/gc                                      1s 146MB
Mar 09 05:02:04 Starting compiler/backend
Mar 09 05:02:11 Finished compiler/backend                                         5s 243MB
Mar 09 05:02:12 Starting compiler/encoders/asm
Mar 09 05:02:14 Finished compiler/encoders/asm                                    1s 100MB
Mar 09 05:02:15 Starting compiler/encoders/x64
Mar 09 05:02:17 Finished compiler/encoders/x64                                    1s 112MB
Mar 09 05:02:19 Starting compiler/encoders/arm7
Mar 09 05:02:21 Finished compiler/encoders/arm7                                   1s 106MB
Mar 09 05:02:22 Starting compiler/encoders/arm8
Mar 09 05:02:24 Finished compiler/encoders/arm8                                   1s 110MB
Mar 09 05:02:25 Starting compiler/encoders/arm8_asl
Mar 09 05:03:24 Finished compiler/encoders/arm8_asl                              57s  19GB
Mar 09 05:03:25 Starting compiler/encoders/mips
Mar 09 05:03:27 Finished compiler/encoders/mips                                   1s 108MB
Mar 09 05:03:28 Starting compiler/encoders/riscv
Mar 09 05:03:31 Finished compiler/encoders/riscv                                  1s 107MB
Mar 09 05:03:32 Starting compiler/encoders/ag32
Mar 09 05:03:34 Finished compiler/encoders/ag32                                   1s 106MB
Mar 09 05:03:35 Starting compiler/encoders/tests
Mar 09 05:03:38 Finished compiler/encoders/tests                                  1s 123MB
Mar 09 05:03:39 Starting compiler/encoders/monadic_enc
Mar 09 05:04:03 Finished compiler/encoders/monadic_enc                           22s   1GB
Mar 09 05:04:04 Starting compiler/backend/x64
Mar 09 05:04:06 Finished compiler/backend/x64                                     1s 141MB
Mar 09 05:04:08 Starting compiler/backend/arm7
Mar 09 05:04:10 Finished compiler/backend/arm7                                    1s 141MB
Mar 09 05:04:11 Starting compiler/backend/arm8
Mar 09 05:04:14 Finished compiler/backend/arm8                                    1s 140MB
Mar 09 05:04:15 Starting compiler/backend/mips
Mar 09 05:04:18 Finished compiler/backend/mips                                    1s 141MB
Mar 09 05:04:19 Starting compiler/backend/riscv
Mar 09 05:04:22 Finished compiler/backend/riscv                                   1s 142MB
Mar 09 05:04:23 Starting compiler/backend/ag32
Mar 09 05:05:24 Finished compiler/backend/ag32                                   59s   3GB
Mar 09 05:05:25 Starting compiler/backend/pattern_matching
Mar 09 05:05:27 Finished compiler/backend/pattern_matching                        1s  88MB
Mar 09 05:05:28 Starting compiler/parsing/ocaml
Mar 09 05:07:15 Finished compiler/parsing/ocaml                                1m46s   1GB
Mar 09 05:07:16 Starting compiler/printing
Mar 09 05:08:13 Finished compiler/printing                                       55s   1GB
Mar 09 05:08:14 Starting compiler/parsing/proofs
Mar 09 05:08:16 Finished compiler/parsing/proofs                                  1s  99MB
Mar 09 05:08:17 Starting compiler/inference/proofs
Mar 09 05:08:20 Finished compiler/inference/proofs                                1s 116MB
Mar 09 05:08:21 Starting compiler/backend/semantics
Mar 09 05:11:05 Finished compiler/backend/semantics                            2m41s   3GB
Mar 09 05:11:06 Starting compiler/backend/reg_alloc/proofs
Mar 09 05:11:09 Finished compiler/backend/reg_alloc/proofs                        1s 115MB
Mar 09 05:11:10 Starting compiler/backend/proofs
Mar 09 05:11:51 Finished compiler/backend/proofs                                 40s   2GB
Mar 09 05:11:52 Starting compiler/backend/serialiser
Mar 09 05:11:55 Finished compiler/backend/serialiser                              1s 145MB
Mar 09 05:11:56 Starting compiler/encoders/x64/proofs
Mar 09 05:12:00 Finished compiler/encoders/x64/proofs                             1s 112MB
Mar 09 05:12:01 Starting compiler/encoders/arm7/proofs
Mar 09 05:22:35 Finished compiler/encoders/arm7/proofs                        10m33s   7GB
Mar 09 05:22:36 Starting compiler/encoders/arm8/proofs
Mar 09 05:28:54 Finished compiler/encoders/arm8/proofs                         6m15s   5GB
Mar 09 05:28:55 Starting compiler/encoders/arm8_asl/proofs
Mar 09 05:43:48 Finished compiler/encoders/arm8_asl/proofs                    14m52s   6GB
Mar 09 05:43:50 Starting compiler/encoders/mips/proofs
Mar 09 05:52:55 Finished compiler/encoders/mips/proofs                         9m02s   8GB
Mar 09 05:52:56 Starting compiler/encoders/riscv/proofs
Mar 09 06:00:41 Finished compiler/encoders/riscv/proofs                        7m43s   5GB
Mar 09 06:00:42 Starting compiler/encoders/ag32/proofs
Mar 09 06:03:12 Finished compiler/encoders/ag32/proofs                         2m28s   2GB
Mar 09 06:03:13 Starting compiler/backend/x64/proofs
Mar 09 06:03:17 Finished compiler/backend/x64/proofs                              2s 210MB
Mar 09 06:03:18 Starting compiler/backend/arm7/proofs
Mar 09 06:03:52 Finished compiler/backend/arm7/proofs                            33s   2GB
Mar 09 06:03:54 Starting compiler/backend/arm8/proofs
Mar 09 06:04:26 Finished compiler/backend/arm8/proofs                            31s   1GB
Mar 09 06:04:27 Starting compiler/backend/arm8_asl
Mar 09 06:04:53 Finished compiler/backend/arm8_asl                               24s   2GB
Mar 09 06:04:54 Starting compiler/backend/mips/proofs
Mar 09 06:05:29 Finished compiler/backend/mips/proofs                            33s   2GB
Mar 09 06:05:31 Starting compiler/backend/riscv/proofs
Mar 09 06:06:06 Finished compiler/backend/riscv/proofs                           33s   2GB
Mar 09 06:06:07 Starting compiler/backend/ag32/proofs
Mar 09 06:13:41 Finished compiler/backend/ag32/proofs                          7m32s   5GB
Mar 09 06:13:42 Starting compiler/backend/cv_compute
Mar 09 06:14:10 Finished compiler/backend/cv_compute                             26s   1GB
Mar 09 06:14:11 Starting cv_translator
Mar 09 06:18:54 Finished cv_translator                                         4m40s   4GB
Mar 09 06:18:55 Starting candle
Mar 09 06:18:56 Finished candle                                                   0s  17MB
Mar 09 06:18:57 Starting candle/set-theory
Mar 09 06:19:27 Finished candle/set-theory                                       28s 941MB
Mar 09 06:19:28 Starting candle/syntax-lib
Mar 09 06:19:30 Finished candle/syntax-lib                                        0s  84MB
Mar 09 06:19:31 Starting candle/standard
Mar 09 06:19:32 Finished candle/standard                                          0s  17MB
Mar 09 06:19:33 Starting candle/standard/syntax
Mar 09 06:19:48 Finished candle/standard/syntax                                  13s 784MB
Mar 09 06:19:49 Starting candle/standard/semantics
Mar 09 06:21:56 Finished candle/standard/semantics                             2m05s   2GB
Mar 09 06:21:57 Starting candle/standard/monadic
Mar 09 06:22:00 Finished candle/standard/monadic                                  1s 128MB
Mar 09 06:22:01 Starting candle/standard/ml_kernel
Mar 09 06:23:54 Finished candle/standard/ml_kernel                             1m52s   4GB
Mar 09 06:23:55 Starting candle/overloading
Mar 09 06:23:57 Finished candle/overloading                                       0s  15MB
Mar 09 06:23:58 Starting candle/overloading/syntax
Mar 09 06:26:51 Finished candle/overloading/syntax                             2m52s   2GB
Mar 09 06:26:53 Starting candle/overloading/semantics
Mar 09 06:35:34 Finished candle/overloading/semantics                          8m40s   6GB
Mar 09 06:35:36 Starting candle/overloading/monadic
Mar 09 06:37:29 Finished candle/overloading/monadic                            1m52s   2GB
Mar 09 06:37:30 Starting candle/overloading/ml_kernel
Mar 09 06:43:35 Finished candle/overloading/ml_kernel                          6m03s   6GB
Mar 09 06:43:36 Starting candle/overloading/ml_checker
Mar 09 06:45:55 Finished candle/overloading/ml_checker                         2m18s   6GB
Mar 09 06:45:57 Starting candle/prover
Mar 09 06:46:00 Finished candle/prover                                            2s 168MB
Mar 09 06:46:01 Starting candle/prover/compute
Mar 09 06:46:04 Finished candle/prover/compute                                    1s 167MB
Mar 09 06:46:05 Starting pancake
Mar 09 06:46:08 Finished pancake                                                  1s 140MB
Mar 09 06:46:09 Starting pancake/semantics
Mar 09 06:48:53 Finished pancake/semantics                                     2m43s   2GB
Mar 09 06:48:54 Starting pancake/parser
Mar 09 06:49:25 Finished pancake/parser                                          29s 555MB
Mar 09 06:49:26 Starting pancake/static_checker
Mar 09 06:50:34 Finished pancake/static_checker                                1m06s   1GB
Mar 09 06:50:35 Starting pancake/proofs
Mar 09 07:05:54 Finished pancake/proofs                                       15m16s   5GB
Mar 09 07:05:55 Starting compiler/dafny
Mar 09 07:06:19 Finished compiler/dafny                                          23s 742MB
Mar 09 07:06:20 Starting compiler/dafny/translation
Mar 09 07:15:20 Finished compiler/dafny/translation                            8m58s   7GB
Mar 09 07:15:21 Starting compiler/dafny/compilation
Mar 09 07:17:07 Finished compiler/dafny/compilation                            1m45s   6GB
Mar 09 07:17:08 Starting compiler/dafny/semantics
Mar 09 07:17:46 Finished compiler/dafny/semantics                                36s 596MB
Mar 09 07:17:47 Starting compiler/dafny/proofs
Mar 09 07:19:12 Finished compiler/dafny/proofs                                 1m23s   2GB
Mar 09 07:19:13 Starting compiler/dafny/vcg
Mar 09 07:19:16 Finished compiler/dafny/vcg                                       1s 108MB
Mar 09 07:19:17 Starting compiler/dafny/vcg/examples
Mar 09 07:19:43 Finished compiler/dafny/vcg/examples                             24s   1GB
Mar 09 07:19:44 Starting compiler/scheme
Mar 09 07:20:11 Finished compiler/scheme                                         25s   1GB
Mar 09 07:20:12 Starting compiler/scheme/translation
Mar 09 07:26:11 Finished compiler/scheme/translation                           5m58s   8GB
Mar 09 07:26:13 Starting compiler/scheme/compilation
Mar 09 07:27:33 Finished compiler/scheme/compilation                           1m19s   4GB
Mar 09 07:27:35 Starting compiler/scheme/proofs
Mar 09 07:33:06 Finished compiler/scheme/proofs                                5m29s   5GB
Mar 09 07:33:07 Starting characteristic/examples
Mar 09 07:34:31 Finished characteristic/examples                               1m23s   5GB
Mar 09 07:34:32 Starting tutorial/solutions
Mar 09 07:37:07 Finished tutorial/solutions                                    2m33s   3GB
Mar 09 07:37:08 Starting translator/monadic/examples
Mar 09 07:40:04 Finished translator/monadic/examples                           2m54s   4GB
Mar 09 07:40:05 Starting examples
Mar 09 07:44:21 Finished examples                                              4m14s   5GB
Mar 09 07:44:22 Starting examples/compilation
Mar 09 07:44:23 Finished examples/compilation                                     0s  15MB
Mar 09 07:44:25 Starting examples/compilation/x64
Mar 09 07:51:42 Finished examples/compilation/x64                              7m16s   4GB
Mar 09 07:51:43 Starting examples/compilation/x64/proofs
Mar 09 07:54:28 Finished examples/compilation/x64/proofs                       2m43s   3GB
Mar 09 07:54:29 Starting examples/compilation/ag32
Mar 09 07:56:41 Finished examples/compilation/ag32                             2m10s   3GB
Mar 09 07:56:42 Starting examples/compilation/ag32/proofs
Mar 09 07:57:49 Finished examples/compilation/ag32/proofs                      1m06s   4GB
Mar 09 07:57:50 Starting examples/lpr_checker
Mar 09 07:58:27 Finished examples/lpr_checker                                    35s   1GB
Mar 09 07:58:28 Starting examples/lpr_checker/array
Mar 09 08:09:44 Finished examples/lpr_checker/array                           11m13s  11GB
Mar 09 08:09:45 Starting examples/lpr_checker/array/compilation
Mar 09 08:13:12 Finished examples/lpr_checker/array/compilation                3m25s   6GB
Mar 09 08:13:13 Starting examples/lpr_checker/array/compilation/proofs
Mar 09 08:14:27 Finished examples/lpr_checker/array/compilation/proofs         1m12s   5GB
Mar 09 08:14:28 Starting examples/lpr_checker/array/compilation/proofsARM8
Mar 09 08:15:42 Finished examples/lpr_checker/array/compilation/proofsARM8     1m12s   6GB
Mar 09 08:15:43 Starting .
Mar 09 08:15:48 Finished .                                                        3s 367MB
Mar 09 08:15:49 Starting examples/xlrup_checker
Mar 09 08:16:42 Finished examples/xlrup_checker                                  51s   1GB
Mar 09 08:16:43 Starting examples/xlrup_checker/array
Mar 09 08:24:51 Finished examples/xlrup_checker/array                          8m06s   3GB
Mar 09 08:24:52 Starting examples/xlrup_checker/array/compilation
Mar 09 08:26:09 Finished examples/xlrup_checker/array/compilation              1m15s   5GB
Mar 09 08:26:10 Starting examples/xlrup_checker/array/compilation/proofs
Mar 09 08:27:17 Finished examples/xlrup_checker/array/compilation/proofs       1m05s   4GB
Mar 09 08:27:18 Starting examples/scpog_checker
Mar 09 08:28:08 Finished examples/scpog_checker                                  47s   2GB
Mar 09 08:28:09 Starting examples/scpog_checker/array
Mar 09 08:33:29 Finished examples/scpog_checker/array                          5m19s   4GB
Mar 09 08:33:31 Starting examples/scpog_checker/array/compilation
Mar 09 08:35:42 Finished examples/scpog_checker/array/compilation              2m09s   7GB
Mar 09 08:35:43 Starting examples/scpog_checker/array/compilation/proofs
Mar 09 08:36:59 Finished examples/scpog_checker/array/compilation/proofs       1m15s   5GB
Mar 09 08:37:00 Starting examples/pseudo_bool
Mar 09 08:39:01 Finished examples/pseudo_bool                                  1m59s   1GB
Mar 09 08:39:02 Starting examples/pseudo_bool/cnf_encoding
Mar 09 08:39:36 Finished examples/pseudo_bool/cnf_encoding                       33s 997MB
Mar 09 08:39:38 Starting examples/pseudo_bool/graph_encoding
Mar 09 08:40:24 Finished examples/pseudo_bool/graph_encoding                     45s   1GB
Mar 09 08:40:25 Starting examples/pseudo_bool/array
Mar 09 09:12:36 Finished examples/pseudo_bool/array                           32m09s  27GB
Mar 09 09:12:37 Starting examples/pseudo_bool/array/compilation
Mar 09 09:23:57 Finished examples/pseudo_bool/array/compilation               11m19s  19GB
Mar 09 09:23:58 Starting examples/pseudo_bool/array/compilation/proofs
Mar 09 09:26:58 Finished examples/pseudo_bool/array/compilation/proofs         2m58s   7GB
Mar 09 09:26:59 Starting examples/pseudo_bool/array/compilation/proofsARM8
Mar 09 09:28:28 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m27s   6GB
Mar 09 09:28:30 Starting examples/opentheory
Mar 09 09:35:17 Finished examples/opentheory                                   6m46s   5GB
Mar 09 09:35:19 Starting examples/opentheory/compilation
Mar 09 09:37:00 Finished examples/opentheory/compilation                       1m40s   6GB
Mar 09 09:37:01 Starting examples/opentheory/compilation/proofs
Mar 09 09:38:11 Finished examples/opentheory/compilation/proofs                1m09s   4GB
Mar 09 09:38:13 Starting examples/opentheory/compilation/ag32
Mar 09 09:39:57 Finished examples/opentheory/compilation/ag32                  1m43s   5GB
Mar 09 09:39:59 Starting examples/opentheory/compilation/ag32/proofs
Mar 09 09:41:21 Finished examples/opentheory/compilation/ag32/proofs           1m21s   7GB
Mar 09 09:41:23 Starting examples/sat_encodings
Mar 09 09:42:29 Finished examples/sat_encodings                                1m04s 782MB
Mar 09 09:42:30 Starting examples/sat_encodings/demo
Mar 09 09:42:31 Finished examples/sat_encodings/demo                              0s  16MB
Mar 09 09:42:32 Starting examples/sat_encodings/case_studies
Mar 09 09:44:12 Finished examples/sat_encodings/case_studies                   1m38s   1GB
Mar 09 09:44:13 Starting examples/sat_encodings/translation
Mar 09 09:47:31 Finished examples/sat_encodings/translation                    3m16s   4GB
Mar 09 09:47:32 Starting examples/sat_encodings/translation/compilation
Mar 09 09:49:40 Finished examples/sat_encodings/translation/compilation        2m07s   4GB
Mar 09 09:49:41 Starting examples/deflate
Mar 09 09:50:04 Finished examples/deflate                                        21s 419MB
Mar 09 09:50:05 Starting examples/deflate/translation
Mar 09 09:51:01 Finished examples/deflate/translation                            55s   3GB
Mar 09 09:51:03 Starting examples/deflate/translation/compilation
Mar 09 09:52:02 Finished examples/deflate/translation/compilation                58s   3GB
Mar 09 09:52:04 Starting examples/vipr
Mar 09 09:55:18 Finished examples/vipr                                         3m13s   8GB
Mar 09 09:55:19 Starting examples/vipr/compilation
Mar 09 09:56:26 Finished examples/vipr/compilation                             1m05s   4GB
Mar 09 09:56:27 Starting examples/template
Mar 09 09:56:30 Finished examples/template                                        2s 153MB
Mar 09 09:56:31 Starting examples/template/translation
Mar 09 09:56:52 Finished examples/template/translation                           19s 948MB
Mar 09 09:56:53 Starting examples/template/compilation
Mar 09 09:57:59 Finished examples/template/compilation                         1m05s   4GB
Mar 09 09:58:00 Starting translator/okasaki-examples
Mar 09 10:01:10 Finished translator/okasaki-examples                           3m08s   3GB
Mar 09 10:01:11 Starting translator/other-examples
Mar 09 10:02:03 Finished translator/other-examples                               50s   2GB
Mar 09 10:02:04 Starting translator/other-examples/auxiliary
Mar 09 10:02:05 Finished translator/other-examples/auxiliary                      0s  20MB
Mar 09 10:02:06 Starting compiler/parsing/tests
Mar 09 10:02:45 Finished compiler/parsing/tests                                  37s   1GB
Mar 09 10:02:46 Starting compiler/inference/tests
Mar 09 10:03:29 Finished compiler/inference/tests                                42s   2GB
Mar 09 10:03:30 Starting compiler/printing/test
Mar 09 10:06:26 Finished compiler/printing/test                                2m54s  16GB
Mar 09 10:06:27 Starting compiler/repl
Mar 09 10:06:31 Finished compiler/repl                                            2s 249MB
Mar 09 10:06:33 Starting compiler/benchmarks
Mar 09 10:07:27 Finished compiler/benchmarks                                     53s 747MB
Mar 09 10:07:28 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Mar 09 10:07:32 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 258MB
Mar 09 10:07:33 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Mar 09 10:07:37 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 259MB
Mar 09 10:07:39 Starting compiler/bootstrap/translation
Mar 09 11:59:56 Finished compiler/bootstrap/translation                     1h52m15s  82GB
Mar 09 11:59:57 Starting compiler/bootstrap/compilation/x64/64
Mar 09 12:03:11 Finished compiler/bootstrap/compilation/x64/64                 3m13s  17GB
Mar 09 12:03:13 Starting compiler/bootstrap/compilation/x64/32
Mar 09 12:32:45 Finished compiler/bootstrap/compilation/x64/32                29m31s  77GB
Mar 09 12:32:46 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 09 12:38:05 Finished compiler/bootstrap/compilation/x64/32/proofs          5m18s  24GB
Mar 09 12:38:06 Starting compiler/bootstrap/compilation/arm8/64
Mar 09 13:23:42 Finished compiler/bootstrap/compilation/arm8/64               45m34s 103GB
Mar 09 13:23:43 Starting compiler/bootstrap/compilation/arm8/64/proofs
Mar 09 13:29:35 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m50s  31GB
Mar 09 13:29:36 Starting compiler/bootstrap/compilation/ag32/32
Mar 09 14:00:28 Finished compiler/bootstrap/compilation/ag32/32               30m50s  86GB
Mar 09 14:00:29 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 09 14:06:10 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m40s  32GB
Mar 09 14:06:11 SUCCESS