Job 3269

CakeML:750a155e5f562d8cf74640fa3e8e730f0a83b339
  Tidy up a proof [Mar 18 20:06:14]
#1356 (suspend)
Merging into:8c58ace3d38ae6b88547fda488a6009c68daa8bc
  Merge pull request #1355 from CakeML/stack_loop [Mar 18 06:42:22]
HOL:0ae7030322cdf2b0d46dc9d5503e2d5eae2fa726
  Merge remote-tracking branch 'origin/develop' into mcandidate [Mar 13 02:39:37]
Machine:lammmington

Mar 18 21:42:49 Claimed job
Mar 18 21:42:53 Reusing HOL
Mar 18 21:43:04 Starting developers
Mar 18 21:43:09 Finished developers                                               4s 148MB
Mar 18 21:43:10 Starting developers/bin
Mar 18 21:43:14 Finished developers/bin                                           3s  90MB
Mar 18 21:43:15 Starting misc
Mar 18 21:43:58 Finished misc                                                    42s   1GB
Mar 18 21:43:59 Starting compiler/proofs
Mar 18 22:44:39 Finished compiler/proofs                                    1h00m38s  16GB
Mar 18 22:44:40 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 19 04:38:55 Finished compiler/bootstrap/compilation/x64/64/proofs       5h54m13s 105GB
Mar 19 04:38:56 Starting semantics/ffi
Mar 19 04:39:07 Finished semantics/ffi                                            9s 565MB
Mar 19 04:39:08 Starting semantics
Mar 19 04:39:10 Finished semantics                                                1s  90MB
Mar 19 04:39:10 Starting semantics/proofs
Mar 19 04:39:33 Finished semantics/proofs                                        21s 981MB
Mar 19 04:39:33 Starting semantics/alt_semantics
Mar 19 04:39:51 Finished semantics/alt_semantics                                 16s 544MB
Mar 19 04:39:52 Starting semantics/alt_semantics/proofs
Mar 19 04:43:10 Finished semantics/alt_semantics/proofs                        3m16s   2GB
Mar 19 04:43:11 Starting basis/pure
Mar 19 04:43:13 Finished basis/pure                                               0s  82MB
Mar 19 04:43:14 Starting translator
Mar 19 04:44:18 Finished translator                                            1m03s   3GB
Mar 19 04:44:19 Starting compiler/parsing
Mar 19 04:44:21 Finished compiler/parsing                                         1s 102MB
Mar 19 04:44:22 Starting characteristic
Mar 19 04:44:24 Finished characteristic                                           1s 120MB
Mar 19 04:44:25 Starting translator/monadic
Mar 19 04:44:27 Finished translator/monadic                                       1s 115MB
Mar 19 04:44:28 Starting translator/monadic/monad_base
Mar 19 04:44:30 Finished translator/monadic/monad_base                            0s  93MB
Mar 19 04:44:31 Starting profiler
Mar 19 04:45:01 Finished profiler                                                29s   1GB
Mar 19 04:45:02 Starting basis
Mar 19 04:46:38 Finished basis                                                 1m34s   4GB
Mar 19 04:46:39 Starting compiler
Mar 19 04:46:42 Finished compiler                                                 2s 214MB
Mar 19 04:46:43 Starting compiler/inference
Mar 19 04:46:45 Finished compiler/inference                                       1s 113MB
Mar 19 04:46:46 Starting compiler/backend/reg_alloc
Mar 19 04:46:48 Finished compiler/backend/reg_alloc                               1s  95MB
Mar 19 04:46:49 Starting compiler/backend/gc
Mar 19 04:46:51 Finished compiler/backend/gc                                      1s 136MB
Mar 19 04:46:52 Starting compiler/backend
Mar 19 04:46:58 Finished compiler/backend                                         4s 236MB
Mar 19 04:46:58 Starting compiler/encoders/asm
Mar 19 04:47:00 Finished compiler/encoders/asm                                    1s 102MB
Mar 19 04:47:01 Starting compiler/encoders/x64
Mar 19 04:47:03 Finished compiler/encoders/x64                                    1s 111MB
Mar 19 04:47:04 Starting compiler/encoders/arm7
Mar 19 04:47:06 Finished compiler/encoders/arm7                                   1s 107MB
Mar 19 04:47:07 Starting compiler/encoders/arm8
Mar 19 04:47:09 Finished compiler/encoders/arm8                                   1s 111MB
Mar 19 04:47:10 Starting compiler/encoders/arm8_asl
Mar 19 04:48:10 Finished compiler/encoders/arm8_asl                              59s  20GB
Mar 19 04:48:11 Starting compiler/encoders/mips
Mar 19 04:48:13 Finished compiler/encoders/mips                                   1s 108MB
Mar 19 04:48:14 Starting compiler/encoders/riscv
Mar 19 04:48:16 Finished compiler/encoders/riscv                                  1s 106MB
Mar 19 04:48:17 Starting compiler/encoders/ag32
Mar 19 04:48:19 Finished compiler/encoders/ag32                                   1s 106MB
Mar 19 04:48:19 Starting compiler/encoders/tests
Mar 19 04:48:22 Finished compiler/encoders/tests                                  1s 129MB
Mar 19 04:48:23 Starting compiler/encoders/monadic_enc
Mar 19 04:48:45 Finished compiler/encoders/monadic_enc                           21s   1GB
Mar 19 04:48:46 Starting compiler/backend/x64
Mar 19 04:48:48 Finished compiler/backend/x64                                     1s 141MB
Mar 19 04:48:49 Starting compiler/backend/arm7
Mar 19 04:48:52 Finished compiler/backend/arm7                                    1s 141MB
Mar 19 04:48:53 Starting compiler/backend/arm8
Mar 19 04:48:55 Finished compiler/backend/arm8                                    1s 140MB
Mar 19 04:48:56 Starting compiler/backend/mips
Mar 19 04:48:58 Finished compiler/backend/mips                                    1s 141MB
Mar 19 04:48:59 Starting compiler/backend/riscv
Mar 19 04:49:02 Finished compiler/backend/riscv                                   1s 140MB
Mar 19 04:49:02 Starting compiler/backend/ag32
Mar 19 04:50:03 Finished compiler/backend/ag32                                   59s   4GB
Mar 19 04:50:04 Starting compiler/backend/pattern_matching
Mar 19 04:50:06 Finished compiler/backend/pattern_matching                        1s  88MB
Mar 19 04:50:07 Starting compiler/parsing/ocaml
Mar 19 04:51:53 Finished compiler/parsing/ocaml                                1m45s   1GB
Mar 19 04:51:54 Starting compiler/printing
Mar 19 04:52:49 Finished compiler/printing                                       54s   1GB
Mar 19 04:52:50 Starting compiler/parsing/proofs
Mar 19 04:52:52 Finished compiler/parsing/proofs                                  1s 103MB
Mar 19 04:52:53 Starting compiler/inference/proofs
Mar 19 04:52:55 Finished compiler/inference/proofs                                1s 121MB
Mar 19 04:52:56 Starting compiler/backend/semantics
Mar 19 04:55:45 Finished compiler/backend/semantics                            2m47s   3GB
Mar 19 04:55:45 Starting compiler/backend/reg_alloc/proofs
Mar 19 04:55:48 Finished compiler/backend/reg_alloc/proofs                        1s 118MB
Mar 19 04:55:49 Starting compiler/backend/proofs
Mar 19 04:56:30 Finished compiler/backend/proofs                                 40s   3GB
Mar 19 04:56:31 Starting compiler/backend/serialiser
Mar 19 04:56:33 Finished compiler/backend/serialiser                              1s 145MB
Mar 19 04:56:34 Starting compiler/encoders/x64/proofs
Mar 19 04:56:36 Finished compiler/encoders/x64/proofs                             1s 111MB
Mar 19 04:56:37 Starting compiler/encoders/arm7/proofs
Mar 19 05:07:19 Finished compiler/encoders/arm7/proofs                        10m41s  11GB
Mar 19 05:07:20 Starting compiler/encoders/arm8/proofs
Mar 19 05:13:49 Finished compiler/encoders/arm8/proofs                         6m27s   6GB
Mar 19 05:13:50 Starting compiler/encoders/arm8_asl/proofs
Mar 19 05:28:55 Finished compiler/encoders/arm8_asl/proofs                    15m04s   4GB
Mar 19 05:28:56 Starting compiler/encoders/mips/proofs
Mar 19 05:38:27 Finished compiler/encoders/mips/proofs                         9m29s  13GB
Mar 19 05:38:28 Starting compiler/encoders/riscv/proofs
Mar 19 05:46:08 Finished compiler/encoders/riscv/proofs                        7m38s   4GB
Mar 19 05:46:09 Starting compiler/encoders/ag32/proofs
Mar 19 05:48:38 Finished compiler/encoders/ag32/proofs                         2m28s   2GB
Mar 19 05:48:39 Starting compiler/backend/x64/proofs
Mar 19 05:48:42 Finished compiler/backend/x64/proofs                              2s 210MB
Mar 19 05:48:43 Starting compiler/backend/arm7/proofs
Mar 19 05:49:16 Finished compiler/backend/arm7/proofs                            32s   2GB
Mar 19 05:49:17 Starting compiler/backend/arm8/proofs
Mar 19 05:49:50 Finished compiler/backend/arm8/proofs                            32s   2GB
Mar 19 05:49:51 Starting compiler/backend/arm8_asl
Mar 19 05:50:16 Finished compiler/backend/arm8_asl                               23s   1GB
Mar 19 05:50:17 Starting compiler/backend/mips/proofs
Mar 19 05:50:52 Finished compiler/backend/mips/proofs                            34s   2GB
Mar 19 05:50:53 Starting compiler/backend/riscv/proofs
Mar 19 05:51:29 Finished compiler/backend/riscv/proofs                           35s   2GB
Mar 19 05:51:30 Starting compiler/backend/ag32/proofs
Mar 19 05:59:03 Finished compiler/backend/ag32/proofs                          7m31s   5GB
Mar 19 05:59:03 Starting compiler/backend/cv_compute
Mar 19 05:59:31 Finished compiler/backend/cv_compute                             26s   1GB
Mar 19 05:59:32 Starting cv_translator
Mar 19 06:04:18 Finished cv_translator                                         4m45s   4GB
Mar 19 06:04:19 Starting candle
Mar 19 06:04:20 Finished candle                                                   0s  15MB
Mar 19 06:04:20 Starting candle/set-theory
Mar 19 06:04:49 Finished candle/set-theory                                       27s 973MB
Mar 19 06:04:50 Starting candle/syntax-lib
Mar 19 06:04:51 Finished candle/syntax-lib                                        0s  86MB
Mar 19 06:04:52 Starting candle/standard
Mar 19 06:04:53 Finished candle/standard                                          0s  17MB
Mar 19 06:04:54 Starting candle/standard/syntax
Mar 19 06:05:08 Finished candle/standard/syntax                                  13s 793MB
Mar 19 06:05:09 Starting candle/standard/semantics
Mar 19 06:07:14 Finished candle/standard/semantics                             2m04s   2GB
Mar 19 06:07:15 Starting candle/standard/monadic
Mar 19 06:07:17 Finished candle/standard/monadic                                  1s 127MB
Mar 19 06:07:18 Starting candle/standard/ml_kernel
Mar 19 06:09:16 Finished candle/standard/ml_kernel                             1m56s   5GB
Mar 19 06:09:17 Starting candle/overloading
Mar 19 06:09:18 Finished candle/overloading                                       0s  16MB
Mar 19 06:09:19 Starting candle/overloading/syntax
Mar 19 06:12:20 Finished candle/overloading/syntax                             3m00s   2GB
Mar 19 06:12:21 Starting candle/overloading/semantics
Mar 19 06:21:13 Finished candle/overloading/semantics                          8m50s  10GB
Mar 19 06:21:14 Starting candle/overloading/monadic
Mar 19 06:23:10 Finished candle/overloading/monadic                            1m54s   1GB
Mar 19 06:23:11 Starting candle/overloading/ml_kernel
Mar 19 06:29:27 Finished candle/overloading/ml_kernel                          6m15s   7GB
Mar 19 06:29:28 Starting candle/overloading/ml_checker
Mar 19 06:31:47 Finished candle/overloading/ml_checker                         2m18s   6GB
Mar 19 06:31:48 Starting candle/prover
Mar 19 06:31:51 Finished candle/prover                                            2s 171MB
Mar 19 06:31:52 Starting candle/prover/compute
Mar 19 06:31:55 Finished candle/prover/compute                                    1s 170MB
Mar 19 06:31:56 Starting pancake
Mar 19 06:31:58 Finished pancake                                                  1s 140MB
Mar 19 06:31:59 Starting pancake/semantics
Mar 19 06:34:41 Finished pancake/semantics                                     2m41s   1GB
Mar 19 06:34:42 Starting pancake/parser
Mar 19 06:35:14 Finished pancake/parser                                          30s 608MB
Mar 19 06:35:15 Starting pancake/static_checker
Mar 19 06:36:21 Finished pancake/static_checker                                1m05s   1GB
Mar 19 06:36:22 Starting pancake/proofs
Mar 19 06:51:56 Finished pancake/proofs                                       15m33s   6GB
Mar 19 06:51:57 Starting compiler/dafny
Mar 19 06:52:21 Finished compiler/dafny                                          23s 739MB
Mar 19 06:52:22 Starting compiler/dafny/translation
Mar 19 07:01:28 Finished compiler/dafny/translation                            9m05s   7GB
Mar 19 07:01:29 Starting compiler/dafny/compilation
Mar 19 07:03:15 Finished compiler/dafny/compilation                            1m45s   6GB
Mar 19 07:03:16 Starting compiler/dafny/semantics
Mar 19 07:03:53 Finished compiler/dafny/semantics                                35s 594MB
Mar 19 07:03:54 Starting compiler/dafny/proofs
Mar 19 07:05:23 Finished compiler/dafny/proofs                                 1m28s   1GB
Mar 19 07:05:24 Starting compiler/dafny/vcg
Mar 19 07:05:26 Finished compiler/dafny/vcg                                       1s 108MB
Mar 19 07:05:27 Starting compiler/dafny/vcg/examples
Mar 19 07:05:53 Finished compiler/dafny/vcg/examples                             24s   1GB
Mar 19 07:05:54 Starting compiler/scheme
Mar 19 07:06:21 Finished compiler/scheme                                         26s   1GB
Mar 19 07:06:22 Starting compiler/scheme/translation
Mar 19 07:12:24 Finished compiler/scheme/translation                           6m00s   7GB
Mar 19 07:12:25 Starting compiler/scheme/compilation
Mar 19 07:13:45 Finished compiler/scheme/compilation                           1m18s   4GB
Mar 19 07:13:45 Starting compiler/scheme/proofs
Mar 19 07:19:13 Finished compiler/scheme/proofs                                5m26s   3GB
Mar 19 07:19:14 Starting characteristic/examples
Mar 19 07:20:40 Finished characteristic/examples                               1m25s   5GB
Mar 19 07:20:41 Starting tutorial/solutions
Mar 19 07:23:22 Finished tutorial/solutions                                    2m40s   8GB
Mar 19 07:23:23 Starting translator/monadic/examples
Mar 19 07:26:19 Finished translator/monadic/examples                           2m54s   4GB
Mar 19 07:26:20 Starting examples
Mar 19 07:30:34 Finished examples                                              4m13s   6GB
Mar 19 07:30:35 Starting examples/compilation
Mar 19 07:30:36 Finished examples/compilation                                     0s  17MB
Mar 19 07:30:37 Starting examples/compilation/x64
Mar 19 07:38:02 Finished examples/compilation/x64                              7m23s   4GB
Mar 19 07:38:02 Starting examples/compilation/x64/proofs
Mar 19 07:40:48 Finished examples/compilation/x64/proofs                       2m44s   4GB
Mar 19 07:40:49 Starting examples/compilation/ag32
Mar 19 07:43:03 Finished examples/compilation/ag32                             2m12s   3GB
Mar 19 07:43:03 Starting examples/compilation/ag32/proofs
Mar 19 07:44:11 Finished examples/compilation/ag32/proofs                      1m06s   4GB
Mar 19 07:44:12 Starting examples/lpr_checker
Mar 19 07:44:48 Finished examples/lpr_checker                                    35s   1GB
Mar 19 07:44:49 Starting examples/lpr_checker/array
Mar 19 07:56:04 Finished examples/lpr_checker/array                           11m14s   7GB
Mar 19 07:56:05 Starting examples/lpr_checker/array/compilation
Mar 19 07:59:35 Finished examples/lpr_checker/array/compilation                3m29s   6GB
Mar 19 07:59:36 Starting examples/lpr_checker/array/compilation/proofs
Mar 19 08:00:50 Finished examples/lpr_checker/array/compilation/proofs         1m13s   5GB
Mar 19 08:00:51 Starting examples/lpr_checker/array/compilation/proofsARM8
Mar 19 08:02:03 Finished examples/lpr_checker/array/compilation/proofsARM8     1m10s   5GB
Mar 19 08:02:04 Starting .
Mar 19 08:02:08 Finished .                                                        3s 364MB
Mar 19 08:02:09 Starting examples/xlrup_checker
Mar 19 08:03:01 Finished examples/xlrup_checker                                  51s   1GB
Mar 19 08:03:02 Starting examples/xlrup_checker/array
Mar 19 08:11:09 Finished examples/xlrup_checker/array                          8m06s   6GB
Mar 19 08:11:10 Starting examples/xlrup_checker/array/compilation
Mar 19 08:12:29 Finished examples/xlrup_checker/array/compilation              1m18s   4GB
Mar 19 08:12:30 Starting examples/xlrup_checker/array/compilation/proofs
Mar 19 08:13:36 Finished examples/xlrup_checker/array/compilation/proofs       1m05s   4GB
Mar 19 08:13:37 Starting examples/scpog_checker
Mar 19 08:14:25 Finished examples/scpog_checker                                  47s   2GB
Mar 19 08:14:26 Starting examples/scpog_checker/array
Mar 19 08:19:28 Finished examples/scpog_checker/array                          5m01s   4GB
Mar 19 08:19:29 Starting examples/scpog_checker/array/compilation
Mar 19 08:21:32 Finished examples/scpog_checker/array/compilation              2m02s   8GB
Mar 19 08:21:33 Starting examples/scpog_checker/array/compilation/proofs
Mar 19 08:22:46 Finished examples/scpog_checker/array/compilation/proofs       1m12s   5GB
Mar 19 08:22:47 Starting examples/pseudo_bool
Mar 19 08:24:54 Finished examples/pseudo_bool                                  2m06s   2GB
Mar 19 08:24:55 Starting examples/pseudo_bool/cnf_encoding
Mar 19 08:25:26 Finished examples/pseudo_bool/cnf_encoding                       30s 973MB
Mar 19 08:25:27 Starting examples/pseudo_bool/graph_encoding
Mar 19 08:26:13 Finished examples/pseudo_bool/graph_encoding                     45s   1GB
Mar 19 08:26:14 Starting examples/pseudo_bool/array
Mar 19 09:04:55 Finished examples/pseudo_bool/array                           38m39s  47GB
Mar 19 09:04:56 Starting examples/pseudo_bool/array/compilation
Mar 19 09:23:04 Finished examples/pseudo_bool/array/compilation               18m06s  21GB
Mar 19 09:23:04 Starting examples/pseudo_bool/array/compilation/proofs
Mar 19 09:27:26 Finished examples/pseudo_bool/array/compilation/proofs         4m20s   7GB
Mar 19 09:27:27 Starting examples/pseudo_bool/array/compilation/proofsARM8
Mar 19 09:28:56 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m28s   6GB
Mar 19 09:28:57 Starting examples/opentheory
Mar 19 09:35:37 Finished examples/opentheory                                   6m38s   5GB
Mar 19 09:35:38 Starting examples/opentheory/compilation
Mar 19 09:37:17 Finished examples/opentheory/compilation                       1m38s   6GB
Mar 19 09:37:18 Starting examples/opentheory/compilation/proofs
Mar 19 09:38:29 Finished examples/opentheory/compilation/proofs                1m09s   4GB
Mar 19 09:38:30 Starting examples/opentheory/compilation/ag32
Mar 19 09:40:13 Finished examples/opentheory/compilation/ag32                  1m42s   6GB
Mar 19 09:40:14 Starting examples/opentheory/compilation/ag32/proofs
Mar 19 09:41:35 Finished examples/opentheory/compilation/ag32/proofs           1m19s   7GB
Mar 19 09:41:36 Starting examples/sat_encodings
Mar 19 09:42:41 Finished examples/sat_encodings                                1m04s 802MB
Mar 19 09:42:41 Starting examples/sat_encodings/demo
Mar 19 09:42:42 Finished examples/sat_encodings/demo                              0s  15MB
Mar 19 09:42:43 Starting examples/sat_encodings/case_studies
Mar 19 09:44:25 Finished examples/sat_encodings/case_studies                   1m40s   1GB
Mar 19 09:44:26 Starting examples/sat_encodings/translation
Mar 19 09:47:39 Finished examples/sat_encodings/translation                    3m12s   3GB
Mar 19 09:47:40 Starting examples/sat_encodings/translation/compilation
Mar 19 09:49:48 Finished examples/sat_encodings/translation/compilation        2m06s   4GB
Mar 19 09:49:49 Starting examples/deflate
Mar 19 09:50:11 Finished examples/deflate                                        21s 432MB
Mar 19 09:50:12 Starting examples/deflate/translation
Mar 19 09:51:08 Finished examples/deflate/translation                            54s   3GB
Mar 19 09:51:09 Starting examples/deflate/translation/compilation
Mar 19 09:52:05 Finished examples/deflate/translation/compilation                55s   4GB
Mar 19 09:52:06 Starting examples/vipr
Mar 19 09:55:13 Finished examples/vipr                                         3m06s   8GB
Mar 19 09:55:14 Starting examples/vipr/compilation
Mar 19 09:56:18 Finished examples/vipr/compilation                             1m03s   4GB
Mar 19 09:56:19 Starting examples/template
Mar 19 09:56:22 Finished examples/template                                        2s 156MB
Mar 19 09:56:23 Starting examples/template/translation
Mar 19 09:56:43 Finished examples/template/translation                           19s 940MB
Mar 19 09:56:44 Starting examples/template/compilation
Mar 19 09:57:48 Finished examples/template/compilation                         1m02s   4GB
Mar 19 09:57:49 Starting translator/okasaki-examples
Mar 19 10:00:55 Finished translator/okasaki-examples                           3m05s   2GB
Mar 19 10:00:56 Starting translator/other-examples
Mar 19 10:01:51 Finished translator/other-examples                               54s   2GB
Mar 19 10:01:52 Starting translator/other-examples/auxiliary
Mar 19 10:01:53 Finished translator/other-examples/auxiliary                      0s  20MB
Mar 19 10:01:53 Starting compiler/parsing/tests
Mar 19 10:02:31 Finished compiler/parsing/tests                                  36s   1GB
Mar 19 10:02:32 Starting compiler/inference/tests
Mar 19 10:03:15 Finished compiler/inference/tests                                42s   2GB
Mar 19 10:03:16 Starting compiler/printing/test
Mar 19 10:06:09 Finished compiler/printing/test                                2m51s  15GB
Mar 19 10:06:10 Starting compiler/repl
Mar 19 10:06:14 Finished compiler/repl                                            2s 255MB
Mar 19 10:06:14 Starting compiler/benchmarks
Mar 19 10:07:08 Finished compiler/benchmarks                                     52s 746MB
Mar 19 10:07:09 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Mar 19 10:07:13 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 286MB
Mar 19 10:07:14 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Mar 19 10:07:18 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 264MB
Mar 19 10:07:19 Starting compiler/bootstrap/translation
Mar 19 12:20:17 Finished compiler/bootstrap/translation                     2h12m57s  88GB
Mar 19 12:20:18 Starting compiler/bootstrap/compilation/x64/64
Mar 19 12:23:27 Finished compiler/bootstrap/compilation/x64/64                 3m08s  17GB
Mar 19 12:23:28 Starting compiler/bootstrap/compilation/x64/32
Mar 19 12:52:38 Finished compiler/bootstrap/compilation/x64/32                29m09s  77GB
Mar 19 12:52:39 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 19 12:57:45 Finished compiler/bootstrap/compilation/x64/32/proofs          5m04s  24GB
Mar 19 12:57:45 Starting compiler/bootstrap/compilation/arm8/64
Mar 19 13:41:34 Finished compiler/bootstrap/compilation/arm8/64               43m47s 101GB
Mar 19 13:41:34 Starting compiler/bootstrap/compilation/arm8/64/proofs
Mar 19 13:48:00 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m24s  32GB
Mar 19 13:48:00 Starting compiler/bootstrap/compilation/ag32/32
Mar 19 14:17:09 Finished compiler/bootstrap/compilation/ag32/32               29m07s  61GB
Mar 19 14:17:10 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 19 14:22:50 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m38s  33GB
Mar 19 14:22:50 SUCCESS