Job 3227

CakeML:fc3f89e294d2736321da4d06c9aaebdcb373b949
  add trans for coalesce_root [Feb 20 14:54:15]
#1338 (reg_alloc_fixes)
Merging into:769c3cc7023954c3fc8a2399b8ebcc02467ab441
  Merge pull request #1337 from CakeML/issue1336 [Feb 19 07:08:29]
HOL:b725f6e8834462a5b4bb2fb67b35e36f368cb8b6
  Tweak regular Holmakefile to clean selftest's log [Jan 30 05:30:27]
Machine:timtam

Feb 20 16:47:35 Claimed job
Feb 20 16:47:40 Reusing HOL
Feb 20 16:47:48 Starting developers
Feb 20 16:47:54 Finished developers                                               4s 173MB
Feb 20 16:47:54 Starting developers/bin
Feb 20 16:47:59 Finished developers/bin                                           3s  90MB
Feb 20 16:48:00 Starting misc
Feb 20 16:48:41 Finished misc                                                    40s   1GB
Feb 20 16:48:42 Starting compiler/proofs
Feb 20 17:48:22 Finished compiler/proofs                                      59m39s  10GB
Feb 20 17:48:23 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 20 23:46:23 Finished compiler/bootstrap/compilation/x64/64/proofs       5h57m59s  83GB
Feb 20 23:46:24 Starting semantics/ffi
Feb 20 23:46:35 Finished semantics/ffi                                           10s 539MB
Feb 20 23:46:36 Starting semantics
Feb 20 23:46:38 Finished semantics                                                1s  98MB
Feb 20 23:46:39 Starting semantics/proofs
Feb 20 23:47:03 Finished semantics/proofs                                        23s 965MB
Feb 20 23:47:04 Starting semantics/alt_semantics
Feb 20 23:47:23 Finished semantics/alt_semantics                                 18s 585MB
Feb 20 23:47:24 Starting semantics/alt_semantics/proofs
Feb 20 23:50:50 Finished semantics/alt_semantics/proofs                        3m25s   2GB
Feb 20 23:50:51 Starting basis/pure
Feb 20 23:50:53 Finished basis/pure                                               0s  91MB
Feb 20 23:50:54 Starting translator
Feb 20 23:51:57 Finished translator                                            1m02s   2GB
Feb 20 23:51:58 Starting compiler/parsing
Feb 20 23:52:00 Finished compiler/parsing                                         1s 100MB
Feb 20 23:52:01 Starting characteristic
Feb 20 23:52:03 Finished characteristic                                           1s 127MB
Feb 20 23:52:04 Starting translator/monadic
Feb 20 23:52:06 Finished translator/monadic                                       1s 122MB
Feb 20 23:52:07 Starting translator/monadic/monad_base
Feb 20 23:52:09 Finished translator/monadic/monad_base                            1s  97MB
Feb 20 23:52:10 Starting profiler
Feb 20 23:52:37 Finished profiler                                                25s   1GB
Feb 20 23:52:38 Starting basis
Feb 20 23:54:15 Finished basis                                                 1m36s   4GB
Feb 20 23:54:16 Starting compiler
Feb 20 23:54:19 Finished compiler                                                 2s 219MB
Feb 20 23:54:20 Starting compiler/inference
Feb 20 23:54:22 Finished compiler/inference                                       1s 119MB
Feb 20 23:54:23 Starting compiler/backend/reg_alloc
Feb 20 23:54:25 Finished compiler/backend/reg_alloc                               1s  94MB
Feb 20 23:54:26 Starting compiler/backend/gc
Feb 20 23:54:28 Finished compiler/backend/gc                                      1s 144MB
Feb 20 23:54:29 Starting compiler/backend
Feb 20 23:54:35 Finished compiler/backend                                         4s 236MB
Feb 20 23:54:36 Starting compiler/encoders/asm
Feb 20 23:54:38 Finished compiler/encoders/asm                                    1s  97MB
Feb 20 23:54:39 Starting compiler/encoders/x64
Feb 20 23:54:41 Finished compiler/encoders/x64                                    1s 107MB
Feb 20 23:54:42 Starting compiler/encoders/arm7
Feb 20 23:54:44 Finished compiler/encoders/arm7                                   1s 110MB
Feb 20 23:54:45 Starting compiler/encoders/arm8
Feb 20 23:54:47 Finished compiler/encoders/arm8                                   1s 105MB
Feb 20 23:54:47 Starting compiler/encoders/arm8_asl
Feb 20 23:55:02 Finished compiler/encoders/arm8_asl                              13s   1GB
Feb 20 23:55:03 Starting compiler/encoders/mips
Feb 20 23:55:05 Finished compiler/encoders/mips                                   1s 109MB
Feb 20 23:55:06 Starting compiler/encoders/riscv
Feb 20 23:55:08 Finished compiler/encoders/riscv                                  1s 105MB
Feb 20 23:55:08 Starting compiler/encoders/ag32
Feb 20 23:55:10 Finished compiler/encoders/ag32                                   1s 102MB
Feb 20 23:55:11 Starting compiler/encoders/tests
Feb 20 23:55:13 Finished compiler/encoders/tests                                  1s 119MB
Feb 20 23:55:14 Starting compiler/encoders/monadic_enc
Feb 20 23:55:39 Finished compiler/encoders/monadic_enc                           23s   1GB
Feb 20 23:55:40 Starting compiler/backend/x64
Feb 20 23:55:42 Finished compiler/backend/x64                                     1s 144MB
Feb 20 23:55:43 Starting compiler/backend/arm7
Feb 20 23:55:45 Finished compiler/backend/arm7                                    1s 146MB
Feb 20 23:55:46 Starting compiler/backend/arm8
Feb 20 23:55:49 Finished compiler/backend/arm8                                    1s 146MB
Feb 20 23:55:50 Starting compiler/backend/mips
Feb 20 23:55:52 Finished compiler/backend/mips                                    1s 144MB
Feb 20 23:55:53 Starting compiler/backend/riscv
Feb 20 23:55:55 Finished compiler/backend/riscv                                   1s 146MB
Feb 20 23:55:56 Starting compiler/backend/ag32
Feb 20 23:56:55 Finished compiler/backend/ag32                                   57s   2GB
Feb 20 23:56:56 Starting compiler/backend/pattern_matching
Feb 20 23:56:58 Finished compiler/backend/pattern_matching                        1s  90MB
Feb 20 23:56:58 Starting compiler/parsing/ocaml
Feb 20 23:58:47 Finished compiler/parsing/ocaml                                1m47s   1GB
Feb 20 23:58:48 Starting compiler/printing
Feb 20 23:59:42 Finished compiler/printing                                       53s   1GB
Feb 20 23:59:43 Starting compiler/parsing/proofs
Feb 20 23:59:45 Finished compiler/parsing/proofs                                  1s 103MB
Feb 20 23:59:46 Starting compiler/inference/proofs
Feb 20 23:59:48 Finished compiler/inference/proofs                                1s 121MB
Feb 20 23:59:49 Starting compiler/backend/semantics
Feb 21 00:01:47 Finished compiler/backend/semantics                            1m57s   1GB
Feb 21 00:01:48 Starting compiler/backend/reg_alloc/proofs
Feb 21 00:01:50 Finished compiler/backend/reg_alloc/proofs                        1s 117MB
Feb 21 00:01:51 Starting compiler/backend/proofs
Feb 21 00:02:29 Finished compiler/backend/proofs                                 37s   2GB
Feb 21 00:02:30 Starting compiler/backend/serialiser
Feb 21 00:02:33 Finished compiler/backend/serialiser                              1s 150MB
Feb 21 00:02:33 Starting compiler/encoders/x64/proofs
Feb 21 00:02:35 Finished compiler/encoders/x64/proofs                             1s 106MB
Feb 21 00:02:36 Starting compiler/encoders/arm7/proofs
Feb 21 00:13:18 Finished compiler/encoders/arm7/proofs                        10m40s  10GB
Feb 21 00:13:19 Starting compiler/encoders/arm8/proofs
Feb 21 00:19:56 Finished compiler/encoders/arm8/proofs                         6m36s   5GB
Feb 21 00:19:57 Starting compiler/encoders/arm8_asl/proofs
Feb 21 00:35:01 Finished compiler/encoders/arm8_asl/proofs                    15m03s   3GB
Feb 21 00:35:02 Starting compiler/encoders/mips/proofs
Feb 21 00:43:57 Finished compiler/encoders/mips/proofs                         8m53s  12GB
Feb 21 00:43:57 Starting compiler/encoders/riscv/proofs
Feb 21 00:51:50 Finished compiler/encoders/riscv/proofs                        7m51s   6GB
Feb 21 00:51:51 Starting compiler/encoders/ag32/proofs
Feb 21 00:54:28 Finished compiler/encoders/ag32/proofs                         2m36s   2GB
Feb 21 00:54:29 Starting compiler/backend/x64/proofs
Feb 21 00:54:32 Finished compiler/backend/x64/proofs                              2s 225MB
Feb 21 00:54:33 Starting compiler/backend/arm7/proofs
Feb 21 00:55:10 Finished compiler/backend/arm7/proofs                            36s   2GB
Feb 21 00:55:11 Starting compiler/backend/arm8/proofs
Feb 21 00:55:44 Finished compiler/backend/arm8/proofs                            32s   2GB
Feb 21 00:55:45 Starting compiler/backend/arm8_asl
Feb 21 00:56:10 Finished compiler/backend/arm8_asl                               24s   2GB
Feb 21 00:56:11 Starting compiler/backend/mips/proofs
Feb 21 00:56:46 Finished compiler/backend/mips/proofs                            33s   2GB
Feb 21 00:56:46 Starting compiler/backend/riscv/proofs
Feb 21 00:57:25 Finished compiler/backend/riscv/proofs                           37s   2GB
Feb 21 00:57:26 Starting compiler/backend/ag32/proofs
Feb 21 01:08:10 Finished compiler/backend/ag32/proofs                         10m43s   5GB
Feb 21 01:08:11 Starting compiler/backend/cv_compute
Feb 21 01:08:39 Finished compiler/backend/cv_compute                             26s   1GB
Feb 21 01:08:40 Starting cv_translator
Feb 21 01:13:57 Finished cv_translator                                         5m16s   4GB
Feb 21 01:13:58 Starting candle
Feb 21 01:13:59 Finished candle                                                   0s  15MB
Feb 21 01:14:00 Starting candle/set-theory
Feb 21 01:14:29 Finished candle/set-theory                                       28s 957MB
Feb 21 01:14:30 Starting candle/syntax-lib
Feb 21 01:14:32 Finished candle/syntax-lib                                        0s  85MB
Feb 21 01:14:33 Starting candle/standard
Feb 21 01:14:33 Finished candle/standard                                          0s  15MB
Feb 21 01:14:34 Starting candle/standard/syntax
Feb 21 01:14:48 Finished candle/standard/syntax                                  13s 776MB
Feb 21 01:14:49 Starting candle/standard/semantics
Feb 21 01:16:58 Finished candle/standard/semantics                             2m08s   3GB
Feb 21 01:16:59 Starting candle/standard/monadic
Feb 21 01:17:02 Finished candle/standard/monadic                                  1s 121MB
Feb 21 01:17:02 Starting candle/standard/ml_kernel
Feb 21 01:18:59 Finished candle/standard/ml_kernel                             1m55s   4GB
Feb 21 01:19:00 Starting candle/overloading
Feb 21 01:19:01 Finished candle/overloading                                       0s  15MB
Feb 21 01:19:02 Starting candle/overloading/syntax
Feb 21 01:22:10 Finished candle/overloading/syntax                             3m07s   2GB
Feb 21 01:22:11 Starting candle/overloading/semantics
Feb 21 01:32:20 Finished candle/overloading/semantics                         10m08s   4GB
Feb 21 01:32:21 Starting candle/overloading/monadic
Feb 21 01:34:26 Finished candle/overloading/monadic                            2m03s   1GB
Feb 21 01:34:27 Starting candle/overloading/ml_kernel
Feb 21 01:40:35 Finished candle/overloading/ml_kernel                          6m07s   7GB
Feb 21 01:40:35 Starting candle/overloading/ml_checker
Feb 21 01:42:55 Finished candle/overloading/ml_checker                         2m19s   6GB
Feb 21 01:42:56 Starting candle/prover
Feb 21 01:42:59 Finished candle/prover                                            2s 168MB
Feb 21 01:43:00 Starting candle/prover/compute
Feb 21 01:43:03 Finished candle/prover/compute                                    1s 164MB
Feb 21 01:43:04 Starting pancake
Feb 21 01:43:06 Finished pancake                                                  1s 150MB
Feb 21 01:43:07 Starting pancake/semantics
Feb 21 01:45:48 Finished pancake/semantics                                     2m40s   1GB
Feb 21 01:45:49 Starting pancake/parser
Feb 21 01:46:19 Finished pancake/parser                                          29s 504MB
Feb 21 01:46:20 Starting pancake/static_checker
Feb 21 01:47:26 Finished pancake/static_checker                                1m04s   1GB
Feb 21 01:47:27 Starting pancake/proofs
Feb 21 02:01:41 Finished pancake/proofs                                       14m13s   4GB
Feb 21 02:01:42 Starting compiler/dafny
Feb 21 02:02:07 Finished compiler/dafny                                          24s 726MB
Feb 21 02:02:08 Starting compiler/dafny/translation
Feb 21 02:11:19 Finished compiler/dafny/translation                            9m09s   7GB
Feb 21 02:11:20 Starting compiler/dafny/compilation
Feb 21 02:13:03 Finished compiler/dafny/compilation                            1m42s   6GB
Feb 21 02:13:04 Starting compiler/dafny/semantics
Feb 21 02:13:41 Finished compiler/dafny/semantics                                35s 595MB
Feb 21 02:13:42 Starting compiler/dafny/proofs
Feb 21 02:15:10 Finished compiler/dafny/proofs                                 1m27s   1GB
Feb 21 02:15:11 Starting compiler/dafny/vcg
Feb 21 02:15:13 Finished compiler/dafny/vcg                                       1s 112MB
Feb 21 02:15:14 Starting compiler/dafny/vcg/examples
Feb 21 02:15:39 Finished compiler/dafny/vcg/examples                             23s 837MB
Feb 21 02:15:40 Starting compiler/scheme
Feb 21 02:16:08 Finished compiler/scheme                                         27s   1GB
Feb 21 02:16:09 Starting compiler/scheme/translation
Feb 21 02:22:22 Finished compiler/scheme/translation                           6m11s   9GB
Feb 21 02:22:23 Starting compiler/scheme/compilation
Feb 21 02:23:42 Finished compiler/scheme/compilation                           1m17s   4GB
Feb 21 02:23:42 Starting compiler/scheme/proofs
Feb 21 02:30:10 Finished compiler/scheme/proofs                                6m27s   3GB
Feb 21 02:30:11 Starting characteristic/examples
Feb 21 02:31:35 Finished characteristic/examples                               1m23s   5GB
Feb 21 02:31:36 Starting tutorial/solutions
Feb 21 02:34:10 Finished tutorial/solutions                                    2m32s   3GB
Feb 21 02:34:11 Starting translator/monadic/examples
Feb 21 02:37:12 Finished translator/monadic/examples                           3m00s   4GB
Feb 21 02:37:13 Starting examples
Feb 21 02:41:37 Finished examples                                              4m23s   5GB
Feb 21 02:41:38 Starting examples/compilation
Feb 21 02:41:39 Finished examples/compilation                                     0s  14MB
Feb 21 02:41:40 Starting examples/compilation/x64
Feb 21 02:48:47 Finished examples/compilation/x64                              7m06s   4GB
Feb 21 02:48:48 Starting examples/compilation/x64/proofs
Feb 21 02:51:38 Finished examples/compilation/x64/proofs                       2m49s   4GB
Feb 21 02:51:39 Starting examples/compilation/ag32
Feb 21 02:53:48 Finished examples/compilation/ag32                             2m08s   3GB
Feb 21 02:53:49 Starting examples/compilation/ag32/proofs
Feb 21 02:55:01 Finished examples/compilation/ag32/proofs                      1m11s   4GB
Feb 21 02:55:02 Starting examples/lpr_checker
Feb 21 02:55:37 Finished examples/lpr_checker                                    34s   1GB
Feb 21 02:55:38 Starting examples/lpr_checker/array
Feb 21 03:07:47 Finished examples/lpr_checker/array                           12m08s  11GB
Feb 21 03:07:48 Starting examples/lpr_checker/array/compilation
Feb 21 03:11:04 Finished examples/lpr_checker/array/compilation                3m15s   7GB
Feb 21 03:11:05 Starting examples/lpr_checker/array/compilation/proofs
Feb 21 03:12:24 Finished examples/lpr_checker/array/compilation/proofs         1m18s   5GB
Feb 21 03:12:25 Starting examples/lpr_checker/array/compilation/proofsARM8
Feb 21 03:13:40 Finished examples/lpr_checker/array/compilation/proofsARM8     1m14s   6GB
Feb 21 03:13:41 Starting .
Feb 21 03:13:45 Finished .                                                        3s 351MB
Feb 21 03:13:46 Starting examples/xlrup_checker
Feb 21 03:14:37 Finished examples/xlrup_checker                                  49s   1GB
Feb 21 03:14:38 Starting examples/xlrup_checker/array
Feb 21 03:23:08 Finished examples/xlrup_checker/array                          8m28s   5GB
Feb 21 03:23:09 Starting examples/xlrup_checker/array/compilation
Feb 21 03:24:25 Finished examples/xlrup_checker/array/compilation              1m15s   4GB
Feb 21 03:24:26 Starting examples/xlrup_checker/array/compilation/proofs
Feb 21 03:25:35 Finished examples/xlrup_checker/array/compilation/proofs       1m08s   4GB
Feb 21 03:25:36 Starting examples/scpog_checker
Feb 21 03:26:22 Finished examples/scpog_checker                                  45s   2GB
Feb 21 03:26:23 Starting examples/scpog_checker/array
Feb 21 03:31:40 Finished examples/scpog_checker/array                          5m16s   4GB
Feb 21 03:31:41 Starting examples/scpog_checker/array/compilation
Feb 21 03:33:43 Finished examples/scpog_checker/array/compilation              2m00s   7GB
Feb 21 03:33:44 Starting examples/scpog_checker/array/compilation/proofs
Feb 21 03:35:03 Finished examples/scpog_checker/array/compilation/proofs       1m17s   5GB
Feb 21 03:35:03 Starting examples/pseudo_bool
Feb 21 03:37:08 Finished examples/pseudo_bool                                  2m03s   2GB
Feb 21 03:37:09 Starting examples/pseudo_bool/cnf_encoding
Feb 21 03:37:42 Finished examples/pseudo_bool/cnf_encoding                       32s   1GB
Feb 21 03:37:43 Starting examples/pseudo_bool/graph_encoding
Feb 21 03:38:29 Finished examples/pseudo_bool/graph_encoding                     44s   1GB
Feb 21 03:38:30 Starting examples/pseudo_bool/array
Feb 21 04:12:41 Finished examples/pseudo_bool/array                           34m10s  25GB
Feb 21 04:12:42 Starting examples/pseudo_bool/array/compilation
Feb 21 04:23:19 Finished examples/pseudo_bool/array/compilation               10m35s  18GB
Feb 21 04:23:20 Starting examples/pseudo_bool/array/compilation/proofs
Feb 21 04:26:20 Finished examples/pseudo_bool/array/compilation/proofs         2m59s   7GB
Feb 21 04:26:21 Starting examples/pseudo_bool/array/compilation/proofsARM8
Feb 21 04:27:45 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m22s   5GB
Feb 21 04:27:46 Starting examples/opentheory
Feb 21 04:34:38 Finished examples/opentheory                                   6m52s   5GB
Feb 21 04:34:39 Starting examples/opentheory/compilation
Feb 21 04:36:17 Finished examples/opentheory/compilation                       1m36s   5GB
Feb 21 04:36:18 Starting examples/opentheory/compilation/proofs
Feb 21 04:37:30 Finished examples/opentheory/compilation/proofs                1m11s   4GB
Feb 21 04:37:31 Starting examples/opentheory/compilation/ag32
Feb 21 04:39:11 Finished examples/opentheory/compilation/ag32                  1m39s   6GB
Feb 21 04:39:12 Starting examples/opentheory/compilation/ag32/proofs
Feb 21 04:40:55 Finished examples/opentheory/compilation/ag32/proofs           1m42s   8GB
Feb 21 04:40:56 Starting examples/sat_encodings
Feb 21 04:42:04 Finished examples/sat_encodings                                1m07s 792MB
Feb 21 04:42:05 Starting examples/sat_encodings/demo
Feb 21 04:42:06 Finished examples/sat_encodings/demo                              0s  15MB
Feb 21 04:42:07 Starting examples/sat_encodings/case_studies
Feb 21 04:43:49 Finished examples/sat_encodings/case_studies                   1m41s   1GB
Feb 21 04:43:50 Starting examples/sat_encodings/translation
Feb 21 04:47:09 Finished examples/sat_encodings/translation                    3m18s   1GB
Feb 21 04:47:10 Starting examples/sat_encodings/translation/compilation
Feb 21 04:49:10 Finished examples/sat_encodings/translation/compilation        1m58s   4GB
Feb 21 04:49:11 Starting examples/deflate
Feb 21 04:49:33 Finished examples/deflate                                        21s 446MB
Feb 21 04:49:34 Starting examples/deflate/translation
Feb 21 04:50:32 Finished examples/deflate/translation                            57s   3GB
Feb 21 04:50:33 Starting examples/deflate/translation/compilation
Feb 21 04:51:29 Finished examples/deflate/translation/compilation                54s   3GB
Feb 21 04:51:30 Starting examples/vipr
Feb 21 04:54:47 Finished examples/vipr                                         3m16s   8GB
Feb 21 04:54:48 Starting examples/vipr/compilation
Feb 21 04:55:51 Finished examples/vipr/compilation                             1m01s   4GB
Feb 21 04:55:52 Starting examples/template
Feb 21 04:55:55 Finished examples/template                                        2s 154MB
Feb 21 04:55:56 Starting examples/template/translation
Feb 21 04:56:15 Finished examples/template/translation                           18s 907MB
Feb 21 04:56:16 Starting examples/template/compilation
Feb 21 04:57:19 Finished examples/template/compilation                         1m02s   4GB
Feb 21 04:57:20 Starting translator/okasaki-examples
Feb 21 04:59:56 Finished translator/okasaki-examples                           2m35s   3GB
Feb 21 04:59:57 Starting translator/other-examples
Feb 21 05:00:50 Finished translator/other-examples                               52s   2GB
Feb 21 05:00:51 Starting translator/other-examples/auxiliary
Feb 21 05:00:52 Finished translator/other-examples/auxiliary                      0s  20MB
Feb 21 05:00:53 Starting compiler/parsing/tests
Feb 21 05:01:30 Finished compiler/parsing/tests                                  36s   1GB
Feb 21 05:01:31 Starting compiler/inference/tests
Feb 21 05:02:13 Finished compiler/inference/tests                                41s   2GB
Feb 21 05:02:14 Starting compiler/printing/test
Feb 21 05:05:06 Finished compiler/printing/test                                2m51s  16GB
Feb 21 05:05:06 Starting compiler/repl
Feb 21 05:05:10 Finished compiler/repl                                            2s 246MB
Feb 21 05:05:11 Starting compiler/benchmarks
Feb 21 05:06:05 Finished compiler/benchmarks                                     52s 747MB
Feb 21 05:06:06 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Feb 21 05:06:09 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 286MB
Feb 21 05:06:10 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Feb 21 05:06:14 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 261MB
Feb 21 05:06:15 Starting compiler/bootstrap/translation
Feb 21 07:04:39 Finished compiler/bootstrap/translation                     1h58m22s  94GB
Feb 21 07:04:40 Starting compiler/bootstrap/compilation/x64/64
Feb 21 07:07:43 Finished compiler/bootstrap/compilation/x64/64                 3m02s  17GB
Feb 21 07:07:44 Starting compiler/bootstrap/compilation/x64/32
Feb 21 07:34:35 Finished compiler/bootstrap/compilation/x64/32                26m50s  61GB
Feb 21 07:34:35 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 21 07:39:18 Finished compiler/bootstrap/compilation/x64/32/proofs          4m41s  25GB
Feb 21 07:39:19 Starting compiler/bootstrap/compilation/arm8/64
Feb 21 08:18:06 Finished compiler/bootstrap/compilation/arm8/64               38m46s  61GB
Feb 21 08:18:07 Starting compiler/bootstrap/compilation/arm8/64/proofs
Feb 21 08:24:15 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m07s  30GB
Feb 21 08:24:16 Starting compiler/bootstrap/compilation/ag32/32
Feb 21 08:53:47 Finished compiler/bootstrap/compilation/ag32/32               29m30s  80GB
Feb 21 08:53:48 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 21 08:59:17 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m28s  30GB
Feb 21 08:59:18 SUCCESS