Job 3212

CakeML:7bd0628635cd216c474aa8d5a235f6bdea1b9513
  Improve code quality in basis_ffi.c [Feb 06 15:41:22]
#1325 (cleanup-basis-ffi)
Merging into:44d5f6064070b37c9f75c199c232de28abd13cb2
  Adds a facility to dump clash trees from the register allocator (#1329) [Feb 08 11:29:37]
HOL:b725f6e8834462a5b4bb2fb67b35e36f368cb8b6
  Tweak regular Holmakefile to clean selftest's log [Jan 30 05:30:27]
Machine:pavlova

Feb 09 03:20:20 Claimed job
Feb 09 03:20:24 Reusing HOL
Feb 09 03:20:31 Starting developers
Feb 09 03:20:37 Finished developers                                               4s 132MB
Feb 09 03:20:38 Starting developers/bin
Feb 09 03:20:42 Finished developers/bin                                           3s  91MB
Feb 09 03:20:43 Starting misc
Feb 09 03:21:24 Finished misc                                                    40s   1GB
Feb 09 03:21:25 Starting compiler/proofs
Feb 09 04:22:27 Finished compiler/proofs                                    1h01m00s  13GB
Feb 09 04:22:27 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 09 10:22:18 Finished compiler/bootstrap/compilation/x64/64/proofs       5h59m49s  99GB
Feb 09 10:22:19 Starting semantics/ffi
Feb 09 10:22:30 Finished semantics/ffi                                           10s 535MB
Feb 09 10:22:31 Starting semantics
Feb 09 10:22:33 Finished semantics                                                1s  93MB
Feb 09 10:22:34 Starting semantics/proofs
Feb 09 10:22:56 Finished semantics/proofs                                        22s 954MB
Feb 09 10:22:57 Starting semantics/alt_semantics
Feb 09 10:23:17 Finished semantics/alt_semantics                                 18s 588MB
Feb 09 10:23:18 Starting semantics/alt_semantics/proofs
Feb 09 10:26:44 Finished semantics/alt_semantics/proofs                        3m25s   2GB
Feb 09 10:26:45 Starting basis/pure
Feb 09 10:26:47 Finished basis/pure                                               0s  89MB
Feb 09 10:26:48 Starting translator
Feb 09 10:27:52 Finished translator                                            1m03s   2GB
Feb 09 10:27:53 Starting compiler/parsing
Feb 09 10:27:55 Finished compiler/parsing                                         1s 101MB
Feb 09 10:27:55 Starting characteristic
Feb 09 10:27:58 Finished characteristic                                           1s 118MB
Feb 09 10:27:58 Starting translator/monadic
Feb 09 10:28:01 Finished translator/monadic                                       1s 120MB
Feb 09 10:28:01 Starting translator/monadic/monad_base
Feb 09 10:28:03 Finished translator/monadic/monad_base                            0s  97MB
Feb 09 10:28:04 Starting profiler
Feb 09 10:28:35 Finished profiler                                                29s   1GB
Feb 09 10:28:35 Starting basis
Feb 09 10:30:11 Finished basis                                                 1m34s   4GB
Feb 09 10:30:12 Starting compiler
Feb 09 10:30:15 Finished compiler                                                 2s 216MB
Feb 09 10:30:16 Starting compiler/inference
Feb 09 10:30:18 Finished compiler/inference                                       1s 117MB
Feb 09 10:30:19 Starting compiler/backend/reg_alloc
Feb 09 10:30:21 Finished compiler/backend/reg_alloc                               1s  97MB
Feb 09 10:30:22 Starting compiler/backend/gc
Feb 09 10:30:24 Finished compiler/backend/gc                                      1s 136MB
Feb 09 10:30:25 Starting compiler/backend
Feb 09 10:30:31 Finished compiler/backend                                         4s 252MB
Feb 09 10:30:32 Starting compiler/encoders/asm
Feb 09 10:30:34 Finished compiler/encoders/asm                                    1s 100MB
Feb 09 10:30:35 Starting compiler/encoders/x64
Feb 09 10:30:37 Finished compiler/encoders/x64                                    1s 112MB
Feb 09 10:30:37 Starting compiler/encoders/arm7
Feb 09 10:30:39 Finished compiler/encoders/arm7                                   1s 110MB
Feb 09 10:30:40 Starting compiler/encoders/arm8
Feb 09 10:30:42 Finished compiler/encoders/arm8                                   1s 111MB
Feb 09 10:30:43 Starting compiler/encoders/arm8_asl
Feb 09 10:30:58 Finished compiler/encoders/arm8_asl                              13s   1GB
Feb 09 10:30:58 Starting compiler/encoders/mips
Feb 09 10:31:00 Finished compiler/encoders/mips                                   1s 106MB
Feb 09 10:31:01 Starting compiler/encoders/riscv
Feb 09 10:31:03 Finished compiler/encoders/riscv                                  1s 106MB
Feb 09 10:31:04 Starting compiler/encoders/ag32
Feb 09 10:31:06 Finished compiler/encoders/ag32                                   1s 105MB
Feb 09 10:31:07 Starting compiler/encoders/tests
Feb 09 10:31:09 Finished compiler/encoders/tests                                  1s 125MB
Feb 09 10:31:10 Starting compiler/encoders/monadic_enc
Feb 09 10:31:34 Finished compiler/encoders/monadic_enc                           23s   1GB
Feb 09 10:31:35 Starting compiler/backend/x64
Feb 09 10:31:37 Finished compiler/backend/x64                                     1s 147MB
Feb 09 10:31:38 Starting compiler/backend/arm7
Feb 09 10:31:40 Finished compiler/backend/arm7                                    1s 141MB
Feb 09 10:31:41 Starting compiler/backend/arm8
Feb 09 10:31:44 Finished compiler/backend/arm8                                    1s 141MB
Feb 09 10:31:44 Starting compiler/backend/mips
Feb 09 10:31:47 Finished compiler/backend/mips                                    1s 142MB
Feb 09 10:31:48 Starting compiler/backend/riscv
Feb 09 10:31:50 Finished compiler/backend/riscv                                   1s 141MB
Feb 09 10:31:51 Starting compiler/backend/ag32
Feb 09 10:32:52 Finished compiler/backend/ag32                                 1m00s   3GB
Feb 09 10:32:53 Starting compiler/backend/pattern_matching
Feb 09 10:32:55 Finished compiler/backend/pattern_matching                        0s  91MB
Feb 09 10:32:55 Starting compiler/parsing/ocaml
Feb 09 10:34:41 Finished compiler/parsing/ocaml                                1m44s   1GB
Feb 09 10:34:42 Starting compiler/printing
Feb 09 10:35:37 Finished compiler/printing                                       55s   1GB
Feb 09 10:35:38 Starting compiler/parsing/proofs
Feb 09 10:35:40 Finished compiler/parsing/proofs                                  1s 103MB
Feb 09 10:35:41 Starting compiler/inference/proofs
Feb 09 10:35:43 Finished compiler/inference/proofs                                1s 111MB
Feb 09 10:35:44 Starting compiler/backend/semantics
Feb 09 10:37:44 Finished compiler/backend/semantics                            1m58s   1GB
Feb 09 10:37:45 Starting compiler/backend/reg_alloc/proofs
Feb 09 10:37:47 Finished compiler/backend/reg_alloc/proofs                        1s 124MB
Feb 09 10:37:48 Starting compiler/backend/proofs
Feb 09 10:38:29 Finished compiler/backend/proofs                                 40s   2GB
Feb 09 10:38:30 Starting compiler/backend/serialiser
Feb 09 10:38:32 Finished compiler/backend/serialiser                              1s 147MB
Feb 09 10:38:33 Starting compiler/encoders/x64/proofs
Feb 09 10:38:35 Finished compiler/encoders/x64/proofs                             1s 108MB
Feb 09 10:38:36 Starting compiler/encoders/arm7/proofs
Feb 09 10:49:00 Finished compiler/encoders/arm7/proofs                        10m23s   6GB
Feb 09 10:49:01 Starting compiler/encoders/arm8/proofs
Feb 09 10:55:30 Finished compiler/encoders/arm8/proofs                         6m28s   6GB
Feb 09 10:55:31 Starting compiler/encoders/arm8_asl/proofs
Feb 09 11:10:28 Finished compiler/encoders/arm8_asl/proofs                    14m55s   4GB
Feb 09 11:10:29 Starting compiler/encoders/mips/proofs
Feb 09 11:19:26 Finished compiler/encoders/mips/proofs                         8m56s  12GB
Feb 09 11:19:27 Starting compiler/encoders/riscv/proofs
Feb 09 11:27:09 Finished compiler/encoders/riscv/proofs                        7m40s   4GB
Feb 09 11:27:10 Starting compiler/encoders/ag32/proofs
Feb 09 11:29:45 Finished compiler/encoders/ag32/proofs                         2m34s   2GB
Feb 09 11:29:46 Starting compiler/backend/x64/proofs
Feb 09 11:29:49 Finished compiler/backend/x64/proofs                              2s 209MB
Feb 09 11:29:50 Starting compiler/backend/arm7/proofs
Feb 09 11:30:29 Finished compiler/backend/arm7/proofs                            37s   2GB
Feb 09 11:30:29 Starting compiler/backend/arm8/proofs
Feb 09 11:31:04 Finished compiler/backend/arm8/proofs                            33s   1GB
Feb 09 11:31:05 Starting compiler/backend/arm8_asl
Feb 09 11:31:30 Finished compiler/backend/arm8_asl                               24s   2GB
Feb 09 11:31:31 Starting compiler/backend/mips/proofs
Feb 09 11:32:08 Finished compiler/backend/mips/proofs                            35s   2GB
Feb 09 11:32:09 Starting compiler/backend/riscv/proofs
Feb 09 11:32:46 Finished compiler/backend/riscv/proofs                           36s   2GB
Feb 09 11:32:47 Starting compiler/backend/ag32/proofs
Feb 09 11:43:41 Finished compiler/backend/ag32/proofs                         10m53s   5GB
Feb 09 11:43:42 Starting compiler/backend/cv_compute
Feb 09 11:44:10 Finished compiler/backend/cv_compute                             26s   1GB
Feb 09 11:44:11 Starting cv_translator
Feb 09 11:49:23 Finished cv_translator                                         5m11s   4GB
Feb 09 11:49:24 Starting candle
Feb 09 11:49:25 Finished candle                                                   0s  17MB
Feb 09 11:49:25 Starting candle/set-theory
Feb 09 11:49:55 Finished candle/set-theory                                       28s 958MB
Feb 09 11:49:56 Starting candle/syntax-lib
Feb 09 11:49:58 Finished candle/syntax-lib                                        0s  92MB
Feb 09 11:49:58 Starting candle/standard
Feb 09 11:49:59 Finished candle/standard                                          0s  17MB
Feb 09 11:50:00 Starting candle/standard/syntax
Feb 09 11:50:15 Finished candle/standard/syntax                                  13s 770MB
Feb 09 11:50:15 Starting candle/standard/semantics
Feb 09 11:52:26 Finished candle/standard/semantics                             2m09s   3GB
Feb 09 11:52:27 Starting candle/standard/monadic
Feb 09 11:52:29 Finished candle/standard/monadic                                  1s 122MB
Feb 09 11:52:30 Starting candle/standard/ml_kernel
Feb 09 11:54:26 Finished candle/standard/ml_kernel                             1m55s   4GB
Feb 09 11:54:27 Starting candle/overloading
Feb 09 11:54:28 Finished candle/overloading                                       0s  17MB
Feb 09 11:54:29 Starting candle/overloading/syntax
Feb 09 11:57:37 Finished candle/overloading/syntax                             3m07s   2GB
Feb 09 11:57:38 Starting candle/overloading/semantics
Feb 09 12:07:50 Finished candle/overloading/semantics                         10m11s  10GB
Feb 09 12:07:51 Starting candle/overloading/monadic
Feb 09 12:09:58 Finished candle/overloading/monadic                            2m05s   1GB
Feb 09 12:09:59 Starting candle/overloading/ml_kernel
Feb 09 12:16:15 Finished candle/overloading/ml_kernel                          6m15s   7GB
Feb 09 12:16:16 Starting candle/overloading/ml_checker
Feb 09 12:18:39 Finished candle/overloading/ml_checker                         2m21s   6GB
Feb 09 12:18:39 Starting candle/prover
Feb 09 12:18:43 Finished candle/prover                                            2s 182MB
Feb 09 12:18:43 Starting candle/prover/compute
Feb 09 12:18:46 Finished candle/prover/compute                                    1s 163MB
Feb 09 12:18:47 Starting pancake
Feb 09 12:18:49 Finished pancake                                                  1s 145MB
Feb 09 12:18:50 Starting pancake/semantics
Feb 09 12:21:31 Finished pancake/semantics                                     2m39s   2GB
Feb 09 12:21:32 Starting pancake/parser
Feb 09 12:22:01 Finished pancake/parser                                          28s 499MB
Feb 09 12:22:02 Starting pancake/static_checker
Feb 09 12:23:08 Finished pancake/static_checker                                1m04s   1GB
Feb 09 12:23:08 Starting pancake/proofs
Feb 09 12:37:44 Finished pancake/proofs                                       14m34s   4GB
Feb 09 12:37:45 Starting compiler/dafny
Feb 09 12:38:10 Finished compiler/dafny                                          23s 716MB
Feb 09 12:38:10 Starting compiler/dafny/translation
Feb 09 12:47:25 Finished compiler/dafny/translation                            9m13s   7GB
Feb 09 12:47:25 Starting compiler/dafny/compilation
Feb 09 12:49:08 Finished compiler/dafny/compilation                            1m42s   6GB
Feb 09 12:49:09 Starting compiler/dafny/semantics
Feb 09 12:49:46 Finished compiler/dafny/semantics                                35s 570MB
Feb 09 12:49:47 Starting compiler/dafny/proofs
Feb 09 12:51:15 Finished compiler/dafny/proofs                                 1m26s   1GB
Feb 09 12:51:15 Starting compiler/dafny/vcg
Feb 09 12:51:18 Finished compiler/dafny/vcg                                       1s 114MB
Feb 09 12:51:18 Starting compiler/dafny/vcg/examples
Feb 09 12:51:45 Finished compiler/dafny/vcg/examples                             26s   1GB
Feb 09 12:51:46 Starting compiler/scheme
Feb 09 12:52:15 Finished compiler/scheme                                         27s   1GB
Feb 09 12:52:15 Starting compiler/scheme/translation
Feb 09 12:58:24 Finished compiler/scheme/translation                           6m07s   7GB
Feb 09 12:58:25 Starting compiler/scheme/compilation
Feb 09 12:59:43 Finished compiler/scheme/compilation                           1m17s   4GB
Feb 09 12:59:44 Starting compiler/scheme/proofs
Feb 09 13:06:04 Finished compiler/scheme/proofs                                6m18s   2GB
Feb 09 13:06:05 Starting characteristic/examples
Feb 09 13:07:29 Finished characteristic/examples                               1m23s   5GB
Feb 09 13:07:30 Starting tutorial/solutions
Feb 09 13:10:13 Finished tutorial/solutions                                    2m42s   5GB
Feb 09 13:10:14 Starting translator/monadic/examples
Feb 09 13:13:14 Finished translator/monadic/examples                           2m59s   3GB
Feb 09 13:13:15 Starting examples
Feb 09 13:17:43 Finished examples                                              4m27s   5GB
Feb 09 13:17:44 Starting examples/compilation
Feb 09 13:17:45 Finished examples/compilation                                     0s  17MB
Feb 09 13:17:46 Starting examples/compilation/x64
Feb 09 13:25:00 Finished examples/compilation/x64                              7m13s   4GB
Feb 09 13:25:01 Starting examples/compilation/x64/proofs
Feb 09 13:27:52 Finished examples/compilation/x64/proofs                       2m50s   4GB
Feb 09 13:27:53 Starting examples/compilation/ag32
Feb 09 13:30:02 Finished examples/compilation/ag32                             2m08s   3GB
Feb 09 13:30:03 Starting examples/compilation/ag32/proofs
Feb 09 13:31:13 Finished examples/compilation/ag32/proofs                      1m09s   5GB
Feb 09 13:31:14 Starting examples/lpr_checker
Feb 09 13:31:50 Finished examples/lpr_checker                                    35s   1GB
Feb 09 13:31:51 Starting examples/lpr_checker/array
Feb 09 13:43:42 Finished examples/lpr_checker/array                           11m49s   6GB
Feb 09 13:43:43 Starting examples/lpr_checker/array/compilation
Feb 09 13:46:06 Finished examples/lpr_checker/array/compilation                2m22s   6GB
Feb 09 13:46:07 Starting examples/lpr_checker/array/compilation/proofs
Feb 09 13:47:20 Finished examples/lpr_checker/array/compilation/proofs         1m11s   5GB
Feb 09 13:47:20 Starting examples/lpr_checker/array/compilation/proofsARM8
Feb 09 13:48:37 Finished examples/lpr_checker/array/compilation/proofsARM8     1m16s   6GB
Feb 09 13:48:38 Starting .
Feb 09 13:48:43 Finished .                                                        3s 366MB
Feb 09 13:48:44 Starting examples/xlrup_checker
Feb 09 13:49:38 Finished examples/xlrup_checker                                  53s   1GB
Feb 09 13:49:39 Starting examples/xlrup_checker/array
Feb 09 13:58:41 Finished examples/xlrup_checker/array                          9m01s   6GB
Feb 09 13:58:42 Starting examples/xlrup_checker/array/compilation
Feb 09 13:59:59 Finished examples/xlrup_checker/array/compilation              1m15s   5GB
Feb 09 14:00:00 Starting examples/xlrup_checker/array/compilation/proofs
Feb 09 14:01:09 Finished examples/xlrup_checker/array/compilation/proofs       1m08s   4GB
Feb 09 14:01:10 Starting examples/scpog_checker
Feb 09 14:01:58 Finished examples/scpog_checker                                  47s   1GB
Feb 09 14:01:59 Starting examples/scpog_checker/array
Feb 09 14:07:30 Finished examples/scpog_checker/array                          5m30s   5GB
Feb 09 14:07:31 Starting examples/scpog_checker/array/compilation
Feb 09 14:09:27 Finished examples/scpog_checker/array/compilation              1m55s   7GB
Feb 09 14:09:28 Starting examples/scpog_checker/array/compilation/proofs
Feb 09 14:10:47 Finished examples/scpog_checker/array/compilation/proofs       1m17s   6GB
Feb 09 14:10:48 Starting examples/pseudo_bool
Feb 09 14:12:48 Finished examples/pseudo_bool                                  1m59s   2GB
Feb 09 14:12:49 Starting examples/pseudo_bool/cnf_encoding
Feb 09 14:13:21 Finished examples/pseudo_bool/cnf_encoding                       31s 997MB
Feb 09 14:13:22 Starting examples/pseudo_bool/graph_encoding
Feb 09 14:14:09 Finished examples/pseudo_bool/graph_encoding                     45s   1GB
Feb 09 14:14:09 Starting examples/pseudo_bool/array
Feb 09 14:47:49 Finished examples/pseudo_bool/array                           33m39s  22GB
Feb 09 14:47:50 Starting examples/pseudo_bool/array/compilation
Feb 09 14:58:51 Finished examples/pseudo_bool/array/compilation               10m59s  18GB
Feb 09 14:58:52 Starting examples/pseudo_bool/array/compilation/proofs
Feb 09 15:02:01 Finished examples/pseudo_bool/array/compilation/proofs         3m08s   6GB
Feb 09 15:02:02 Starting examples/pseudo_bool/array/compilation/proofsARM8
Feb 09 15:03:29 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m26s   7GB
Feb 09 15:03:30 Starting examples/opentheory
Feb 09 15:10:31 Finished examples/opentheory                                   7m00s   5GB
Feb 09 15:10:32 Starting examples/opentheory/compilation
Feb 09 15:12:08 Finished examples/opentheory/compilation                       1m35s   5GB
Feb 09 15:12:09 Starting examples/opentheory/compilation/proofs
Feb 09 15:13:21 Finished examples/opentheory/compilation/proofs                1m11s   4GB
Feb 09 15:13:22 Starting examples/opentheory/compilation/ag32
Feb 09 15:15:00 Finished examples/opentheory/compilation/ag32                  1m37s   6GB
Feb 09 15:15:00 Starting examples/opentheory/compilation/ag32/proofs
Feb 09 15:16:43 Finished examples/opentheory/compilation/ag32/proofs           1m42s   8GB
Feb 09 15:16:44 Starting examples/sat_encodings
Feb 09 15:17:52 Finished examples/sat_encodings                                1m07s 802MB
Feb 09 15:17:53 Starting examples/sat_encodings/demo
Feb 09 15:17:54 Finished examples/sat_encodings/demo                              0s  17MB
Feb 09 15:17:55 Starting examples/sat_encodings/case_studies
Feb 09 15:19:40 Finished examples/sat_encodings/case_studies                   1m44s   1GB
Feb 09 15:19:41 Starting examples/sat_encodings/translation
Feb 09 15:23:11 Finished examples/sat_encodings/translation                    3m29s   2GB
Feb 09 15:23:12 Starting examples/sat_encodings/translation/compilation
Feb 09 15:25:15 Finished examples/sat_encodings/translation/compilation        2m01s   4GB
Feb 09 15:25:16 Starting examples/deflate
Feb 09 15:25:38 Finished examples/deflate                                        21s 430MB
Feb 09 15:25:39 Starting examples/deflate/translation
Feb 09 15:26:38 Finished examples/deflate/translation                            57s   3GB
Feb 09 15:26:38 Starting examples/deflate/translation/compilation
Feb 09 15:27:37 Finished examples/deflate/translation/compilation                57s   3GB
Feb 09 15:27:38 Starting examples/vipr
Feb 09 15:30:48 Finished examples/vipr                                         3m09s   5GB
Feb 09 15:30:49 Starting examples/vipr/compilation
Feb 09 15:31:50 Finished examples/vipr/compilation                             1m00s   4GB
Feb 09 15:31:51 Starting examples/template
Feb 09 15:31:54 Finished examples/template                                        2s 155MB
Feb 09 15:31:55 Starting examples/template/translation
Feb 09 15:32:15 Finished examples/template/translation                           19s 885MB
Feb 09 15:32:16 Starting examples/template/compilation
Feb 09 15:33:18 Finished examples/template/compilation                         1m01s   4GB
Feb 09 15:33:19 Starting translator/okasaki-examples
Feb 09 15:35:52 Finished translator/okasaki-examples                           2m31s   2GB
Feb 09 15:35:53 Starting translator/other-examples
Feb 09 15:36:48 Finished translator/other-examples                               54s   2GB
Feb 09 15:36:49 Starting translator/other-examples/auxiliary
Feb 09 15:36:50 Finished translator/other-examples/auxiliary                      0s  21MB
Feb 09 15:36:51 Starting compiler/parsing/tests
Feb 09 15:37:28 Finished compiler/parsing/tests                                  36s   1GB
Feb 09 15:37:29 Starting compiler/inference/tests
Feb 09 15:38:12 Finished compiler/inference/tests                                42s   2GB
Feb 09 15:38:13 Starting compiler/printing/test
Feb 09 15:41:24 Finished compiler/printing/test                                3m09s  16GB
Feb 09 15:41:24 Starting compiler/repl
Feb 09 15:41:28 Finished compiler/repl                                            2s 259MB
Feb 09 15:41:29 Starting compiler/benchmarks
Feb 09 15:42:23 Finished compiler/benchmarks                                     52s 747MB
Feb 09 15:42:24 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Feb 09 15:42:27 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 261MB
Feb 09 15:42:28 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Feb 09 15:42:32 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 264MB
Feb 09 15:42:33 Starting compiler/bootstrap/translation
Feb 09 17:41:14 Finished compiler/bootstrap/translation                     1h58m40s  93GB
Feb 09 17:41:15 Starting compiler/bootstrap/compilation/x64/64
Feb 09 17:44:30 Finished compiler/bootstrap/compilation/x64/64                 3m13s  18GB
Feb 09 17:44:31 Starting compiler/bootstrap/compilation/x64/32
Feb 09 18:11:46 Finished compiler/bootstrap/compilation/x64/32                27m14s  69GB
Feb 09 18:11:47 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 09 18:16:55 Finished compiler/bootstrap/compilation/x64/32/proofs          5m06s  25GB
Feb 09 18:16:56 Starting compiler/bootstrap/compilation/arm8/64
Feb 09 18:55:49 Finished compiler/bootstrap/compilation/arm8/64               38m52s  67GB
Feb 09 18:55:50 Starting compiler/bootstrap/compilation/arm8/64/proofs
Feb 09 19:01:54 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m03s  31GB
Feb 09 19:01:55 Starting compiler/bootstrap/compilation/ag32/32
Feb 09 19:30:20 Finished compiler/bootstrap/compilation/ag32/32               28m24s  49GB
Feb 09 19:30:21 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 09 19:35:31 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m09s  30GB
Feb 09 19:35:32 SUCCESS