Job 3194

CakeML:35fed1423ee7a466ccf9cc7ba3c00e9b255f6adb
  Resolve merge conflict [Feb 02 04:21:19]
#1323 (minhddo:crep_inline)
Merging into:ca9ed45f6d34fe6f89826b16c39ea5b45220a4b2
  Adjust pretty-printing for type abbreviations (#1316) [Feb 05 05:10:14]
HOL:b725f6e8834462a5b4bb2fb67b35e36f368cb8b6
  Tweak regular Holmakefile to clean selftest's log [Jan 30 05:30:27]
Machine:lammmington

Feb 05 10:49:40 Claimed job
Feb 05 10:49:45 Reusing HOL
Feb 05 10:49:52 Starting developers
Feb 05 10:49:58 Finished developers                                               4s 187MB
Feb 05 10:49:58 Starting developers/bin
Feb 05 10:50:02 Finished developers/bin                                           2s  91MB
Feb 05 10:50:03 Starting misc
Feb 05 10:50:44 Finished misc                                                    40s   1GB
Feb 05 10:50:45 Starting compiler/proofs
Feb 05 11:54:29 Finished compiler/proofs                                    1h03m42s  10GB
Feb 05 11:54:29 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 05 18:04:44 Finished compiler/bootstrap/compilation/x64/64/proofs       6h10m13s 100GB
Feb 05 18:04:45 Starting semantics/ffi
Feb 05 18:04:56 Finished semantics/ffi                                           10s 538MB
Feb 05 18:04:57 Starting semantics
Feb 05 18:04:59 Finished semantics                                                1s  99MB
Feb 05 18:05:00 Starting semantics/proofs
Feb 05 18:05:22 Finished semantics/proofs                                        21s 724MB
Feb 05 18:05:23 Starting semantics/alt_semantics
Feb 05 18:05:43 Finished semantics/alt_semantics                                 19s 630MB
Feb 05 18:05:44 Starting semantics/alt_semantics/proofs
Feb 05 18:09:50 Finished semantics/alt_semantics/proofs                        4m04s   2GB
Feb 05 18:09:51 Starting basis/pure
Feb 05 18:09:53 Finished basis/pure                                               0s  89MB
Feb 05 18:09:54 Starting translator
Feb 05 18:10:56 Finished translator                                            1m01s   3GB
Feb 05 18:10:57 Starting compiler/parsing
Feb 05 18:10:59 Finished compiler/parsing                                         1s 101MB
Feb 05 18:11:00 Starting characteristic
Feb 05 18:11:03 Finished characteristic                                           1s 128MB
Feb 05 18:11:03 Starting translator/monadic
Feb 05 18:11:06 Finished translator/monadic                                       1s 122MB
Feb 05 18:11:07 Starting translator/monadic/monad_base
Feb 05 18:11:08 Finished translator/monadic/monad_base                            0s  97MB
Feb 05 18:11:09 Starting profiler
Feb 05 18:11:38 Finished profiler                                                27s   1GB
Feb 05 18:11:39 Starting basis
Feb 05 18:13:17 Finished basis                                                 1m36s   4GB
Feb 05 18:13:17 Starting compiler
Feb 05 18:13:21 Finished compiler                                                 2s 214MB
Feb 05 18:13:22 Starting compiler/inference
Feb 05 18:13:24 Finished compiler/inference                                       1s 120MB
Feb 05 18:13:25 Starting compiler/backend/reg_alloc
Feb 05 18:13:27 Finished compiler/backend/reg_alloc                               1s  91MB
Feb 05 18:13:28 Starting compiler/backend/gc
Feb 05 18:13:30 Finished compiler/backend/gc                                      1s 145MB
Feb 05 18:13:31 Starting compiler/backend
Feb 05 18:13:37 Finished compiler/backend                                         5s 280MB
Feb 05 18:13:38 Starting compiler/encoders/asm
Feb 05 18:13:40 Finished compiler/encoders/asm                                    1s  98MB
Feb 05 18:13:41 Starting compiler/encoders/x64
Feb 05 18:13:43 Finished compiler/encoders/x64                                    1s 111MB
Feb 05 18:13:44 Starting compiler/encoders/arm7
Feb 05 18:13:46 Finished compiler/encoders/arm7                                   1s 110MB
Feb 05 18:13:47 Starting compiler/encoders/arm8
Feb 05 18:13:49 Finished compiler/encoders/arm8                                   1s 106MB
Feb 05 18:13:50 Starting compiler/encoders/arm8_asl
Feb 05 18:14:04 Finished compiler/encoders/arm8_asl                              13s   1GB
Feb 05 18:14:05 Starting compiler/encoders/mips
Feb 05 18:14:07 Finished compiler/encoders/mips                                   1s 111MB
Feb 05 18:14:08 Starting compiler/encoders/riscv
Feb 05 18:14:10 Finished compiler/encoders/riscv                                  1s 106MB
Feb 05 18:14:11 Starting compiler/encoders/ag32
Feb 05 18:14:13 Finished compiler/encoders/ag32                                   1s 105MB
Feb 05 18:14:14 Starting compiler/encoders/tests
Feb 05 18:14:16 Finished compiler/encoders/tests                                  1s 133MB
Feb 05 18:14:17 Starting compiler/encoders/monadic_enc
Feb 05 18:14:41 Finished compiler/encoders/monadic_enc                           23s   1GB
Feb 05 18:14:42 Starting compiler/backend/x64
Feb 05 18:14:45 Finished compiler/backend/x64                                     1s 141MB
Feb 05 18:14:46 Starting compiler/backend/arm7
Feb 05 18:14:48 Finished compiler/backend/arm7                                    1s 140MB
Feb 05 18:14:49 Starting compiler/backend/arm8
Feb 05 18:14:51 Finished compiler/backend/arm8                                    1s 141MB
Feb 05 18:14:52 Starting compiler/backend/mips
Feb 05 18:14:55 Finished compiler/backend/mips                                    1s 141MB
Feb 05 18:14:56 Starting compiler/backend/riscv
Feb 05 18:14:58 Finished compiler/backend/riscv                                   1s 140MB
Feb 05 18:14:59 Starting compiler/backend/ag32
Feb 05 18:15:59 Finished compiler/backend/ag32                                   58s   3GB
Feb 05 18:16:00 Starting compiler/backend/pattern_matching
Feb 05 18:16:02 Finished compiler/backend/pattern_matching                        0s  91MB
Feb 05 18:16:02 Starting compiler/parsing/ocaml
Feb 05 18:17:47 Finished compiler/parsing/ocaml                                1m43s   1GB
Feb 05 18:17:47 Starting compiler/printing
Feb 05 18:18:47 Finished compiler/printing                                       58s   1GB
Feb 05 18:18:48 Starting compiler/parsing/proofs
Feb 05 18:18:50 Finished compiler/parsing/proofs                                  1s 103MB
Feb 05 18:18:51 Starting compiler/inference/proofs
Feb 05 18:18:53 Finished compiler/inference/proofs                                1s 121MB
Feb 05 18:18:54 Starting compiler/backend/semantics
Feb 05 18:21:03 Finished compiler/backend/semantics                            2m08s   2GB
Feb 05 18:21:04 Starting compiler/backend/reg_alloc/proofs
Feb 05 18:21:06 Finished compiler/backend/reg_alloc/proofs                        1s 119MB
Feb 05 18:21:07 Starting compiler/backend/proofs
Feb 05 18:21:50 Finished compiler/backend/proofs                                 42s   3GB
Feb 05 18:21:51 Starting compiler/backend/serialiser
Feb 05 18:21:53 Finished compiler/backend/serialiser                              1s 146MB
Feb 05 18:21:54 Starting compiler/encoders/x64/proofs
Feb 05 18:21:56 Finished compiler/encoders/x64/proofs                             1s 106MB
Feb 05 18:21:57 Starting compiler/encoders/arm7/proofs
Feb 05 18:32:37 Finished compiler/encoders/arm7/proofs                        10m38s   9GB
Feb 05 18:32:38 Starting compiler/encoders/arm8/proofs
Feb 05 18:39:15 Finished compiler/encoders/arm8/proofs                         6m36s   5GB
Feb 05 18:39:16 Starting compiler/encoders/arm8_asl/proofs
Feb 05 18:53:47 Finished compiler/encoders/arm8_asl/proofs                    14m30s   3GB
Feb 05 18:53:48 Starting compiler/encoders/mips/proofs
Feb 05 19:02:42 Finished compiler/encoders/mips/proofs                         8m53s  10GB
Feb 05 19:02:43 Starting compiler/encoders/riscv/proofs
Feb 05 19:10:20 Finished compiler/encoders/riscv/proofs                        7m36s   5GB
Feb 05 19:10:21 Starting compiler/encoders/ag32/proofs
Feb 05 19:12:59 Finished compiler/encoders/ag32/proofs                         2m37s   2GB
Feb 05 19:13:00 Starting compiler/backend/x64/proofs
Feb 05 19:13:03 Finished compiler/backend/x64/proofs                              2s 217MB
Feb 05 19:13:04 Starting compiler/backend/arm7/proofs
Feb 05 19:13:42 Finished compiler/backend/arm7/proofs                            37s   2GB
Feb 05 19:13:43 Starting compiler/backend/arm8/proofs
Feb 05 19:14:17 Finished compiler/backend/arm8/proofs                            33s   1GB
Feb 05 19:14:18 Starting compiler/backend/arm8_asl
Feb 05 19:14:43 Finished compiler/backend/arm8_asl                               24s   2GB
Feb 05 19:14:44 Starting compiler/backend/mips/proofs
Feb 05 19:15:20 Finished compiler/backend/mips/proofs                            35s   1GB
Feb 05 19:15:21 Starting compiler/backend/riscv/proofs
Feb 05 19:16:00 Finished compiler/backend/riscv/proofs                           38s   2GB
Feb 05 19:16:01 Starting compiler/backend/ag32/proofs
Feb 05 19:26:54 Finished compiler/backend/ag32/proofs                         10m52s   4GB
Feb 05 19:26:55 Starting compiler/backend/cv_compute
Feb 05 19:27:23 Finished compiler/backend/cv_compute                             26s   1GB
Feb 05 19:27:24 Starting cv_translator
Feb 05 19:32:33 Finished cv_translator                                         5m08s   4GB
Feb 05 19:32:34 Starting candle
Feb 05 19:32:35 Finished candle                                                   0s  17MB
Feb 05 19:32:36 Starting candle/set-theory
Feb 05 19:33:06 Finished candle/set-theory                                       28s 957MB
Feb 05 19:33:07 Starting candle/syntax-lib
Feb 05 19:33:08 Finished candle/syntax-lib                                        0s  89MB
Feb 05 19:33:09 Starting candle/standard
Feb 05 19:33:10 Finished candle/standard                                          0s  17MB
Feb 05 19:33:11 Starting candle/standard/syntax
Feb 05 19:33:25 Finished candle/standard/syntax                                  13s 764MB
Feb 05 19:33:26 Starting candle/standard/semantics
Feb 05 19:35:37 Finished candle/standard/semantics                             2m10s   3GB
Feb 05 19:35:38 Starting candle/standard/monadic
Feb 05 19:35:40 Finished candle/standard/monadic                                  1s 129MB
Feb 05 19:35:41 Starting candle/standard/ml_kernel
Feb 05 19:38:00 Finished candle/standard/ml_kernel                             2m17s   3GB
Feb 05 19:38:01 Starting candle/overloading
Feb 05 19:38:02 Finished candle/overloading                                       0s  17MB
Feb 05 19:38:02 Starting candle/overloading/syntax
Feb 05 19:41:09 Finished candle/overloading/syntax                             3m05s   2GB
Feb 05 19:41:10 Starting candle/overloading/semantics
Feb 05 19:51:25 Finished candle/overloading/semantics                         10m14s   4GB
Feb 05 19:51:26 Starting candle/overloading/monadic
Feb 05 19:53:29 Finished candle/overloading/monadic                            2m02s   2GB
Feb 05 19:53:30 Starting candle/overloading/ml_kernel
Feb 05 19:59:41 Finished candle/overloading/ml_kernel                          6m10s   7GB
Feb 05 19:59:42 Starting candle/overloading/ml_checker
Feb 05 20:02:05 Finished candle/overloading/ml_checker                         2m21s   6GB
Feb 05 20:02:06 Starting candle/prover
Feb 05 20:02:09 Finished candle/prover                                            2s 170MB
Feb 05 20:02:10 Starting candle/prover/compute
Feb 05 20:02:13 Finished candle/prover/compute                                    1s 164MB
Feb 05 20:02:13 Starting pancake
Feb 05 20:02:16 Finished pancake                                                  1s 153MB
Feb 05 20:02:17 Starting pancake/semantics
Feb 05 20:05:03 Finished pancake/semantics                                     2m45s   2GB
Feb 05 20:05:04 Starting pancake/parser
Feb 05 20:05:35 Finished pancake/parser                                          30s 821MB
Feb 05 20:05:36 Starting pancake/static_checker
Feb 05 20:06:42 Finished pancake/static_checker                                1m04s   1GB
Feb 05 20:06:42 Starting pancake/proofs
Feb 05 20:21:33 Finished pancake/proofs                                       14m50s   4GB
Feb 05 20:21:34 Starting compiler/dafny
Feb 05 20:21:58 Finished compiler/dafny                                          22s 730MB
Feb 05 20:21:59 Starting compiler/dafny/translation
Feb 05 20:32:37 Finished compiler/dafny/translation                           10m37s   6GB
Feb 05 20:32:38 Starting compiler/dafny/compilation
Feb 05 20:34:31 Finished compiler/dafny/compilation                            1m51s   6GB
Feb 05 20:34:32 Starting compiler/dafny/semantics
Feb 05 20:35:09 Finished compiler/dafny/semantics                                36s 554MB
Feb 05 20:35:10 Starting compiler/dafny/proofs
Feb 05 20:36:41 Finished compiler/dafny/proofs                                 1m29s   1GB
Feb 05 20:36:42 Starting compiler/dafny/vcg
Feb 05 20:36:44 Finished compiler/dafny/vcg                                       1s 108MB
Feb 05 20:36:45 Starting compiler/dafny/vcg/examples
Feb 05 20:37:13 Finished compiler/dafny/vcg/examples                             26s   1GB
Feb 05 20:37:13 Starting compiler/scheme
Feb 05 20:37:42 Finished compiler/scheme                                         27s   1GB
Feb 05 20:37:43 Starting compiler/scheme/translation
Feb 05 20:44:43 Finished compiler/scheme/translation                           6m59s   8GB
Feb 05 20:44:44 Starting compiler/scheme/compilation
Feb 05 20:46:03 Finished compiler/scheme/compilation                           1m17s   5GB
Feb 05 20:46:03 Starting compiler/scheme/proofs
Feb 05 20:52:37 Finished compiler/scheme/proofs                                6m32s   4GB
Feb 05 20:52:38 Starting characteristic/examples
Feb 05 20:54:02 Finished characteristic/examples                               1m23s   5GB
Feb 05 20:54:03 Starting tutorial/solutions
Feb 05 20:56:36 Finished tutorial/solutions                                    2m32s   3GB
Feb 05 20:56:37 Starting translator/monadic/examples
Feb 05 20:59:38 Finished translator/monadic/examples                           3m00s   4GB
Feb 05 20:59:39 Starting examples
Feb 05 21:04:18 Finished examples                                              4m38s   5GB
Feb 05 21:04:19 Starting examples/compilation
Feb 05 21:04:20 Finished examples/compilation                                     0s  15MB
Feb 05 21:04:21 Starting examples/compilation/x64
Feb 05 21:11:30 Finished examples/compilation/x64                              7m07s   3GB
Feb 05 21:11:31 Starting examples/compilation/x64/proofs
Feb 05 21:14:21 Finished examples/compilation/x64/proofs                       2m49s   4GB
Feb 05 21:14:22 Starting examples/compilation/ag32
Feb 05 21:16:32 Finished examples/compilation/ag32                             2m08s   3GB
Feb 05 21:16:33 Starting examples/compilation/ag32/proofs
Feb 05 21:17:43 Finished examples/compilation/ag32/proofs                      1m09s   5GB
Feb 05 21:17:44 Starting examples/lpr_checker
Feb 05 21:18:21 Finished examples/lpr_checker                                    35s   1GB
Feb 05 21:18:22 Starting examples/lpr_checker/array
Feb 05 21:30:22 Finished examples/lpr_checker/array                           11m59s  11GB
Feb 05 21:30:23 Starting examples/lpr_checker/array/compilation
Feb 05 21:32:45 Finished examples/lpr_checker/array/compilation                2m21s   7GB
Feb 05 21:32:46 Starting examples/lpr_checker/array/compilation/proofs
Feb 05 21:34:05 Finished examples/lpr_checker/array/compilation/proofs         1m18s   6GB
Feb 05 21:34:06 Starting examples/lpr_checker/array/compilation/proofsARM8
Feb 05 21:35:23 Finished examples/lpr_checker/array/compilation/proofsARM8     1m15s   6GB
Feb 05 21:35:23 Starting .
Feb 05 21:35:28 Finished .                                                        3s 363MB
Feb 05 21:35:29 Starting examples/xlrup_checker
Feb 05 21:36:21 Finished examples/xlrup_checker                                  51s   1GB
Feb 05 21:36:22 Starting examples/xlrup_checker/array
Feb 05 21:44:45 Finished examples/xlrup_checker/array                          8m22s   4GB
Feb 05 21:44:46 Starting examples/xlrup_checker/array/compilation
Feb 05 21:46:01 Finished examples/xlrup_checker/array/compilation              1m14s   4GB
Feb 05 21:46:02 Starting examples/xlrup_checker/array/compilation/proofs
Feb 05 21:47:10 Finished examples/xlrup_checker/array/compilation/proofs       1m07s   4GB
Feb 05 21:47:11 Starting examples/scpog_checker
Feb 05 21:47:59 Finished examples/scpog_checker                                  47s   2GB
Feb 05 21:48:00 Starting examples/scpog_checker/array
Feb 05 21:53:18 Finished examples/scpog_checker/array                          5m17s   5GB
Feb 05 21:53:19 Starting examples/scpog_checker/array/compilation
Feb 05 21:55:22 Finished examples/scpog_checker/array/compilation              2m02s   7GB
Feb 05 21:55:23 Starting examples/scpog_checker/array/compilation/proofs
Feb 05 21:56:44 Finished examples/scpog_checker/array/compilation/proofs       1m19s   5GB
Feb 05 21:56:45 Starting examples/pseudo_bool
Feb 05 21:58:46 Finished examples/pseudo_bool                                  2m00s   1GB
Feb 05 21:58:47 Starting examples/pseudo_bool/cnf_encoding
Feb 05 21:59:18 Finished examples/pseudo_bool/cnf_encoding                       30s 942MB
Feb 05 21:59:19 Starting examples/pseudo_bool/graph_encoding
Feb 05 22:00:05 Finished examples/pseudo_bool/graph_encoding                     44s   1GB
Feb 05 22:00:05 Starting examples/pseudo_bool/array
Feb 05 22:34:22 Finished examples/pseudo_bool/array                           34m15s  19GB
Feb 05 22:34:23 Starting examples/pseudo_bool/array/compilation
Feb 05 22:45:00 Finished examples/pseudo_bool/array/compilation               10m35s  17GB
Feb 05 22:45:00 Starting examples/pseudo_bool/array/compilation/proofs
Feb 05 22:48:04 Finished examples/pseudo_bool/array/compilation/proofs         3m02s   7GB
Feb 05 22:48:05 Starting examples/pseudo_bool/array/compilation/proofsARM8
Feb 05 22:49:34 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m27s   7GB
Feb 05 22:49:35 Starting examples/opentheory
Feb 05 22:56:45 Finished examples/opentheory                                   7m09s   6GB
Feb 05 22:56:46 Starting examples/opentheory/compilation
Feb 05 22:58:22 Finished examples/opentheory/compilation                       1m35s   5GB
Feb 05 22:58:23 Starting examples/opentheory/compilation/proofs
Feb 05 22:59:34 Finished examples/opentheory/compilation/proofs                1m09s   4GB
Feb 05 22:59:35 Starting examples/opentheory/compilation/ag32
Feb 05 23:01:14 Finished examples/opentheory/compilation/ag32                  1m38s   6GB
Feb 05 23:01:15 Starting examples/opentheory/compilation/ag32/proofs
Feb 05 23:02:56 Finished examples/opentheory/compilation/ag32/proofs           1m40s   8GB
Feb 05 23:02:57 Starting examples/sat_encodings
Feb 05 23:04:05 Finished examples/sat_encodings                                1m07s 792MB
Feb 05 23:04:06 Starting examples/sat_encodings/demo
Feb 05 23:04:07 Finished examples/sat_encodings/demo                              0s  17MB
Feb 05 23:04:08 Starting examples/sat_encodings/case_studies
Feb 05 23:05:50 Finished examples/sat_encodings/case_studies                   1m40s   1GB
Feb 05 23:05:50 Starting examples/sat_encodings/translation
Feb 05 23:09:21 Finished examples/sat_encodings/translation                    3m28s   3GB
Feb 05 23:09:22 Starting examples/sat_encodings/translation/compilation
Feb 05 23:11:24 Finished examples/sat_encodings/translation/compilation        2m01s   4GB
Feb 05 23:11:25 Starting examples/deflate
Feb 05 23:11:48 Finished examples/deflate                                        21s 450MB
Feb 05 23:11:49 Starting examples/deflate/translation
Feb 05 23:12:48 Finished examples/deflate/translation                            58s   3GB
Feb 05 23:12:49 Starting examples/deflate/translation/compilation
Feb 05 23:13:48 Finished examples/deflate/translation/compilation                57s   3GB
Feb 05 23:13:49 Starting examples/vipr
Feb 05 23:17:12 Finished examples/vipr                                         3m22s  10GB
Feb 05 23:17:13 Starting examples/vipr/compilation
Feb 05 23:18:17 Finished examples/vipr/compilation                             1m03s   4GB
Feb 05 23:18:18 Starting examples/template
Feb 05 23:18:21 Finished examples/template                                        2s 154MB
Feb 05 23:18:22 Starting examples/template/translation
Feb 05 23:18:42 Finished examples/template/translation                           19s 871MB
Feb 05 23:18:43 Starting examples/template/compilation
Feb 05 23:19:47 Finished examples/template/compilation                         1m03s   4GB
Feb 05 23:19:48 Starting translator/okasaki-examples
Feb 05 23:22:34 Finished translator/okasaki-examples                           2m44s   2GB
Feb 05 23:22:35 Starting translator/other-examples
Feb 05 23:25:05 Finished translator/other-examples                             2m29s   2GB
Feb 05 23:25:06 Starting translator/other-examples/auxiliary
Feb 05 23:25:06 Finished translator/other-examples/auxiliary                      0s  21MB
Feb 05 23:25:07 Starting compiler/parsing/tests
Feb 05 23:25:44 Finished compiler/parsing/tests                                  35s   1GB
Feb 05 23:25:45 Starting compiler/inference/tests
Feb 05 23:26:27 Finished compiler/inference/tests                                41s   2GB
Feb 05 23:26:28 Starting compiler/printing/test
Feb 05 23:29:36 Finished compiler/printing/test                                3m07s  16GB
Feb 05 23:29:37 Starting compiler/repl
Feb 05 23:29:41 Finished compiler/repl                                            2s 253MB
Feb 05 23:29:42 Starting compiler/benchmarks
Feb 05 23:30:36 Finished compiler/benchmarks                                     53s 746MB
Feb 05 23:30:37 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Feb 05 23:30:41 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 285MB
Feb 05 23:30:42 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Feb 05 23:30:46 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 262MB
Feb 05 23:30:47 Starting compiler/bootstrap/translation
Feb 06 01:29:29 Finished compiler/bootstrap/translation                     1h58m40s  92GB
Feb 06 01:29:30 Starting compiler/bootstrap/compilation/x64/64
Feb 06 01:32:43 Finished compiler/bootstrap/compilation/x64/64                 3m11s  16GB
Feb 06 01:32:44 Starting compiler/bootstrap/compilation/x64/32
Feb 06 02:00:16 Finished compiler/bootstrap/compilation/x64/32                27m30s  44GB
Feb 06 02:00:17 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 06 02:05:21 Finished compiler/bootstrap/compilation/x64/32/proofs          5m03s  24GB
Feb 06 02:05:22 Starting compiler/bootstrap/compilation/arm8/64
Feb 06 02:46:46 Finished compiler/bootstrap/compilation/arm8/64               41m22s  82GB
Feb 06 02:46:47 Starting compiler/bootstrap/compilation/arm8/64/proofs
Feb 06 02:53:04 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m16s  32GB
Feb 06 02:53:05 Starting compiler/bootstrap/compilation/ag32/32
Feb 06 03:22:31 Finished compiler/bootstrap/compilation/ag32/32               29m25s  76GB
Feb 06 03:22:31 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 06 03:28:48 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m15s  32GB
Feb 06 03:28:49 SUCCESS