Job 3210

CakeML:d5f71165161911528ac0faeeac4f77f27e9ef472
  Fix loop_to_wordProof and pan_to_targetProof for new flush_state [Feb 08 10:31:06]
#1327 (word_store)
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:timtam

Feb 08 11:36:56 Claimed job
Feb 08 11:36:59 Reusing HOL
Feb 08 11:37:07 Starting developers
Feb 08 11:37:13 Finished developers                                               4s 130MB
Feb 08 11:37:13 Starting developers/bin
Feb 08 11:37:17 Finished developers/bin                                           3s  91MB
Feb 08 11:37:18 Starting misc
Feb 08 11:38:00 Finished misc                                                    40s   1GB
Feb 08 11:38:00 Starting compiler/proofs
Feb 08 12:38:42 Finished compiler/proofs                                    1h00m40s  11GB
Feb 08 12:38:43 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 08 18:34:37 Finished compiler/bootstrap/compilation/x64/64/proofs       5h55m53s  68GB
Feb 08 18:34:38 Starting semantics/ffi
Feb 08 18:34:49 Finished semantics/ffi                                           10s 538MB
Feb 08 18:34:50 Starting semantics
Feb 08 18:34:52 Finished semantics                                                1s  88MB
Feb 08 18:34:53 Starting semantics/proofs
Feb 08 18:35:16 Finished semantics/proofs                                        22s 955MB
Feb 08 18:35:16 Starting semantics/alt_semantics
Feb 08 18:35:36 Finished semantics/alt_semantics                                 18s 718MB
Feb 08 18:35:37 Starting semantics/alt_semantics/proofs
Feb 08 18:39:03 Finished semantics/alt_semantics/proofs                        3m25s   2GB
Feb 08 18:39:04 Starting basis/pure
Feb 08 18:39:06 Finished basis/pure                                               0s  92MB
Feb 08 18:39:07 Starting translator
Feb 08 18:40:09 Finished translator                                            1m01s   2GB
Feb 08 18:40:10 Starting compiler/parsing
Feb 08 18:40:12 Finished compiler/parsing                                         1s 101MB
Feb 08 18:40:13 Starting characteristic
Feb 08 18:40:15 Finished characteristic                                           1s 115MB
Feb 08 18:40:16 Starting translator/monadic
Feb 08 18:40:18 Finished translator/monadic                                       1s 121MB
Feb 08 18:40:19 Starting translator/monadic/monad_base
Feb 08 18:40:21 Finished translator/monadic/monad_base                            0s  99MB
Feb 08 18:40:22 Starting profiler
Feb 08 18:40:49 Finished profiler                                                26s   1GB
Feb 08 18:40:50 Starting basis
Feb 08 18:42:28 Finished basis                                                 1m37s   4GB
Feb 08 18:42:29 Starting compiler
Feb 08 18:42:33 Finished compiler                                                 2s 219MB
Feb 08 18:42:33 Starting compiler/inference
Feb 08 18:42:36 Finished compiler/inference                                       1s 111MB
Feb 08 18:42:36 Starting compiler/backend/reg_alloc
Feb 08 18:42:38 Finished compiler/backend/reg_alloc                               1s  95MB
Feb 08 18:42:39 Starting compiler/backend/gc
Feb 08 18:42:42 Finished compiler/backend/gc                                      1s 135MB
Feb 08 18:42:42 Starting compiler/backend
Feb 08 18:42:48 Finished compiler/backend                                         5s 254MB
Feb 08 18:42:49 Starting compiler/encoders/asm
Feb 08 18:42:51 Finished compiler/encoders/asm                                    1s  97MB
Feb 08 18:42:52 Starting compiler/encoders/x64
Feb 08 18:42:54 Finished compiler/encoders/x64                                    1s 107MB
Feb 08 18:42:55 Starting compiler/encoders/arm7
Feb 08 18:42:57 Finished compiler/encoders/arm7                                   1s 111MB
Feb 08 18:42:58 Starting compiler/encoders/arm8
Feb 08 18:43:00 Finished compiler/encoders/arm8                                   1s 105MB
Feb 08 18:43:01 Starting compiler/encoders/arm8_asl
Feb 08 18:43:15 Finished compiler/encoders/arm8_asl                              13s   1GB
Feb 08 18:43:16 Starting compiler/encoders/mips
Feb 08 18:43:18 Finished compiler/encoders/mips                                   1s 111MB
Feb 08 18:43:19 Starting compiler/encoders/riscv
Feb 08 18:43:21 Finished compiler/encoders/riscv                                  1s 106MB
Feb 08 18:43:22 Starting compiler/encoders/ag32
Feb 08 18:43:24 Finished compiler/encoders/ag32                                   1s 104MB
Feb 08 18:43:24 Starting compiler/encoders/tests
Feb 08 18:43:27 Finished compiler/encoders/tests                                  1s 119MB
Feb 08 18:43:27 Starting compiler/encoders/monadic_enc
Feb 08 18:43:51 Finished compiler/encoders/monadic_enc                           22s   1GB
Feb 08 18:43:52 Starting compiler/backend/x64
Feb 08 18:43:54 Finished compiler/backend/x64                                     1s 139MB
Feb 08 18:43:55 Starting compiler/backend/arm7
Feb 08 18:43:57 Finished compiler/backend/arm7                                    1s 145MB
Feb 08 18:43:58 Starting compiler/backend/arm8
Feb 08 18:44:01 Finished compiler/backend/arm8                                    1s 147MB
Feb 08 18:44:01 Starting compiler/backend/mips
Feb 08 18:44:04 Finished compiler/backend/mips                                    1s 147MB
Feb 08 18:44:05 Starting compiler/backend/riscv
Feb 08 18:44:07 Finished compiler/backend/riscv                                   1s 140MB
Feb 08 18:44:08 Starting compiler/backend/ag32
Feb 08 18:45:09 Finished compiler/backend/ag32                                 1m00s   3GB
Feb 08 18:45:10 Starting compiler/backend/pattern_matching
Feb 08 18:45:12 Finished compiler/backend/pattern_matching                        0s  91MB
Feb 08 18:45:12 Starting compiler/parsing/ocaml
Feb 08 18:46:57 Finished compiler/parsing/ocaml                                1m43s   1GB
Feb 08 18:46:58 Starting compiler/printing
Feb 08 18:47:55 Finished compiler/printing                                       57s   1GB
Feb 08 18:47:56 Starting compiler/parsing/proofs
Feb 08 18:47:58 Finished compiler/parsing/proofs                                  1s 103MB
Feb 08 18:47:59 Starting compiler/inference/proofs
Feb 08 18:48:01 Finished compiler/inference/proofs                                1s 121MB
Feb 08 18:48:02 Starting compiler/backend/semantics
Feb 08 18:50:04 Finished compiler/backend/semantics                            2m01s   2GB
Feb 08 18:50:05 Starting compiler/backend/reg_alloc/proofs
Feb 08 18:50:07 Finished compiler/backend/reg_alloc/proofs                        1s 118MB
Feb 08 18:50:08 Starting compiler/backend/proofs
Feb 08 18:50:47 Finished compiler/backend/proofs                                 38s   2GB
Feb 08 18:50:48 Starting compiler/backend/serialiser
Feb 08 18:50:50 Finished compiler/backend/serialiser                              1s 152MB
Feb 08 18:50:51 Starting compiler/encoders/x64/proofs
Feb 08 18:50:53 Finished compiler/encoders/x64/proofs                             1s 106MB
Feb 08 18:50:54 Starting compiler/encoders/arm7/proofs
Feb 08 19:01:35 Finished compiler/encoders/arm7/proofs                        10m40s  10GB
Feb 08 19:01:36 Starting compiler/encoders/arm8/proofs
Feb 08 19:08:24 Finished compiler/encoders/arm8/proofs                         6m46s   7GB
Feb 08 19:08:25 Starting compiler/encoders/arm8_asl/proofs
Feb 08 19:23:06 Finished compiler/encoders/arm8_asl/proofs                    14m40s   3GB
Feb 08 19:23:07 Starting compiler/encoders/mips/proofs
Feb 08 19:32:05 Finished compiler/encoders/mips/proofs                         8m57s   9GB
Feb 08 19:32:06 Starting compiler/encoders/riscv/proofs
Feb 08 19:39:48 Finished compiler/encoders/riscv/proofs                        7m41s   6GB
Feb 08 19:39:49 Starting compiler/encoders/ag32/proofs
Feb 08 19:42:25 Finished compiler/encoders/ag32/proofs                         2m35s   2GB
Feb 08 19:42:26 Starting compiler/backend/x64/proofs
Feb 08 19:42:29 Finished compiler/backend/x64/proofs                              2s 227MB
Feb 08 19:42:30 Starting compiler/backend/arm7/proofs
Feb 08 19:43:08 Finished compiler/backend/arm7/proofs                            37s   2GB
Feb 08 19:43:09 Starting compiler/backend/arm8/proofs
Feb 08 19:43:43 Finished compiler/backend/arm8/proofs                            32s   2GB
Feb 08 19:43:44 Starting compiler/backend/arm8_asl
Feb 08 19:44:08 Finished compiler/backend/arm8_asl                               23s   1GB
Feb 08 19:44:09 Starting compiler/backend/mips/proofs
Feb 08 19:44:44 Finished compiler/backend/mips/proofs                            34s   2GB
Feb 08 19:44:45 Starting compiler/backend/riscv/proofs
Feb 08 19:45:22 Finished compiler/backend/riscv/proofs                           36s   2GB
Feb 08 19:45:23 Starting compiler/backend/ag32/proofs
Feb 08 19:56:20 Finished compiler/backend/ag32/proofs                         10m56s   5GB
Feb 08 19:56:21 Starting compiler/backend/cv_compute
Feb 08 19:56:49 Finished compiler/backend/cv_compute                             27s   1GB
Feb 08 19:56:50 Starting cv_translator
Feb 08 20:02:11 Finished cv_translator                                         5m20s   4GB
Feb 08 20:02:12 Starting candle
Feb 08 20:02:13 Finished candle                                                   0s  17MB
Feb 08 20:02:14 Starting candle/set-theory
Feb 08 20:02:43 Finished candle/set-theory                                       28s 957MB
Feb 08 20:02:44 Starting candle/syntax-lib
Feb 08 20:02:46 Finished candle/syntax-lib                                        0s  86MB
Feb 08 20:02:47 Starting candle/standard
Feb 08 20:02:48 Finished candle/standard                                          0s  17MB
Feb 08 20:02:48 Starting candle/standard/syntax
Feb 08 20:03:02 Finished candle/standard/syntax                                  13s 763MB
Feb 08 20:03:03 Starting candle/standard/semantics
Feb 08 20:05:16 Finished candle/standard/semantics                             2m11s   3GB
Feb 08 20:05:17 Starting candle/standard/monadic
Feb 08 20:05:19 Finished candle/standard/monadic                                  1s 121MB
Feb 08 20:05:20 Starting candle/standard/ml_kernel
Feb 08 20:07:17 Finished candle/standard/ml_kernel                             1m56s   5GB
Feb 08 20:07:18 Starting candle/overloading
Feb 08 20:07:19 Finished candle/overloading                                       0s  17MB
Feb 08 20:07:20 Starting candle/overloading/syntax
Feb 08 20:10:24 Finished candle/overloading/syntax                             3m03s   2GB
Feb 08 20:10:25 Starting candle/overloading/semantics
Feb 08 20:20:51 Finished candle/overloading/semantics                         10m25s   9GB
Feb 08 20:20:52 Starting candle/overloading/monadic
Feb 08 20:22:56 Finished candle/overloading/monadic                            2m03s   1GB
Feb 08 20:22:56 Starting candle/overloading/ml_kernel
Feb 08 20:29:06 Finished candle/overloading/ml_kernel                          6m08s   7GB
Feb 08 20:29:07 Starting candle/overloading/ml_checker
Feb 08 20:31:24 Finished candle/overloading/ml_checker                         2m16s   6GB
Feb 08 20:31:25 Starting candle/prover
Feb 08 20:31:28 Finished candle/prover                                            2s 174MB
Feb 08 20:31:29 Starting candle/prover/compute
Feb 08 20:31:32 Finished candle/prover/compute                                    1s 163MB
Feb 08 20:31:33 Starting pancake
Feb 08 20:31:35 Finished pancake                                                  1s 151MB
Feb 08 20:31:36 Starting pancake/semantics
Feb 08 20:34:17 Finished pancake/semantics                                     2m40s   1GB
Feb 08 20:34:18 Starting pancake/parser
Feb 08 20:34:48 Finished pancake/parser                                          29s 565MB
Feb 08 20:34:49 Starting pancake/static_checker
Feb 08 20:35:55 Finished pancake/static_checker                                1m04s   1GB
Feb 08 20:35:56 Starting pancake/proofs
Feb 08 20:50:26 Finished pancake/proofs                                       14m29s   4GB
Feb 08 20:50:27 Starting compiler/dafny
Feb 08 20:50:52 Finished compiler/dafny                                          24s 729MB
Feb 08 20:50:53 Starting compiler/dafny/translation
Feb 08 21:01:06 Finished compiler/dafny/translation                           10m12s   6GB
Feb 08 21:01:07 Starting compiler/dafny/compilation
Feb 08 21:02:51 Finished compiler/dafny/compilation                            1m43s   6GB
Feb 08 21:02:52 Starting compiler/dafny/semantics
Feb 08 21:03:29 Finished compiler/dafny/semantics                                36s 556MB
Feb 08 21:03:30 Starting compiler/dafny/proofs
Feb 08 21:05:00 Finished compiler/dafny/proofs                                 1m29s   2GB
Feb 08 21:05:01 Starting compiler/dafny/vcg
Feb 08 21:05:03 Finished compiler/dafny/vcg                                       1s 112MB
Feb 08 21:05:04 Starting compiler/dafny/vcg/examples
Feb 08 21:05:30 Finished compiler/dafny/vcg/examples                             25s   2GB
Feb 08 21:05:31 Starting compiler/scheme
Feb 08 21:06:00 Finished compiler/scheme                                         27s   1GB
Feb 08 21:06:00 Starting compiler/scheme/translation
Feb 08 21:12:10 Finished compiler/scheme/translation                           6m08s   9GB
Feb 08 21:12:11 Starting compiler/scheme/compilation
Feb 08 21:13:31 Finished compiler/scheme/compilation                           1m19s   4GB
Feb 08 21:13:32 Starting compiler/scheme/proofs
Feb 08 21:20:03 Finished compiler/scheme/proofs                                6m30s   2GB
Feb 08 21:20:04 Starting characteristic/examples
Feb 08 21:21:28 Finished characteristic/examples                               1m22s   5GB
Feb 08 21:21:29 Starting tutorial/solutions
Feb 08 21:24:02 Finished tutorial/solutions                                    2m32s   3GB
Feb 08 21:24:03 Starting translator/monadic/examples
Feb 08 21:27:04 Finished translator/monadic/examples                           3m00s   4GB
Feb 08 21:27:05 Starting examples
Feb 08 21:31:35 Finished examples                                              4m29s   4GB
Feb 08 21:31:36 Starting examples/compilation
Feb 08 21:31:37 Finished examples/compilation                                     0s  17MB
Feb 08 21:31:38 Starting examples/compilation/x64
Feb 08 21:38:43 Finished examples/compilation/x64                              7m04s   4GB
Feb 08 21:38:44 Starting examples/compilation/x64/proofs
Feb 08 21:41:30 Finished examples/compilation/x64/proofs                       2m44s   4GB
Feb 08 21:41:30 Starting examples/compilation/ag32
Feb 08 21:43:37 Finished examples/compilation/ag32                             2m05s   3GB
Feb 08 21:43:37 Starting examples/compilation/ag32/proofs
Feb 08 21:44:49 Finished examples/compilation/ag32/proofs                      1m10s   5GB
Feb 08 21:44:50 Starting examples/lpr_checker
Feb 08 21:45:25 Finished examples/lpr_checker                                    34s   1GB
Feb 08 21:45:26 Starting examples/lpr_checker/array
Feb 08 21:57:28 Finished examples/lpr_checker/array                           12m01s  11GB
Feb 08 21:57:29 Starting examples/lpr_checker/array/compilation
Feb 08 22:00:02 Finished examples/lpr_checker/array/compilation                2m31s   7GB
Feb 08 22:00:02 Starting examples/lpr_checker/array/compilation/proofs
Feb 08 22:01:22 Finished examples/lpr_checker/array/compilation/proofs         1m18s   5GB
Feb 08 22:01:22 Starting examples/lpr_checker/array/compilation/proofsARM8
Feb 08 22:02:37 Finished examples/lpr_checker/array/compilation/proofsARM8     1m14s   6GB
Feb 08 22:02:38 Starting .
Feb 08 22:02:43 Finished .                                                        3s 364MB
Feb 08 22:02:44 Starting examples/xlrup_checker
Feb 08 22:03:36 Finished examples/xlrup_checker                                  51s   1GB
Feb 08 22:03:37 Starting examples/xlrup_checker/array
Feb 08 22:12:16 Finished examples/xlrup_checker/array                          8m37s   8GB
Feb 08 22:12:17 Starting examples/xlrup_checker/array/compilation
Feb 08 22:13:30 Finished examples/xlrup_checker/array/compilation              1m12s   5GB
Feb 08 22:13:31 Starting examples/xlrup_checker/array/compilation/proofs
Feb 08 22:14:40 Finished examples/xlrup_checker/array/compilation/proofs       1m08s   4GB
Feb 08 22:14:41 Starting examples/scpog_checker
Feb 08 22:15:28 Finished examples/scpog_checker                                  45s   2GB
Feb 08 22:15:28 Starting examples/scpog_checker/array
Feb 08 22:20:47 Finished examples/scpog_checker/array                          5m18s   4GB
Feb 08 22:20:48 Starting examples/scpog_checker/array/compilation
Feb 08 22:22:44 Finished examples/scpog_checker/array/compilation              1m55s   7GB
Feb 08 22:22:45 Starting examples/scpog_checker/array/compilation/proofs
Feb 08 22:24:03 Finished examples/scpog_checker/array/compilation/proofs       1m17s   5GB
Feb 08 22:24:04 Starting examples/pseudo_bool
Feb 08 22:26:04 Finished examples/pseudo_bool                                  1m58s   2GB
Feb 08 22:26:05 Starting examples/pseudo_bool/cnf_encoding
Feb 08 22:26:35 Finished examples/pseudo_bool/cnf_encoding                       29s 959MB
Feb 08 22:26:36 Starting examples/pseudo_bool/graph_encoding
Feb 08 22:27:22 Finished examples/pseudo_bool/graph_encoding                     45s   1GB
Feb 08 22:27:23 Starting examples/pseudo_bool/array
Feb 08 23:01:50 Finished examples/pseudo_bool/array                           34m25s  27GB
Feb 08 23:01:51 Starting examples/pseudo_bool/array/compilation
Feb 08 23:12:29 Finished examples/pseudo_bool/array/compilation               10m37s  18GB
Feb 08 23:12:29 Starting examples/pseudo_bool/array/compilation/proofs
Feb 08 23:15:34 Finished examples/pseudo_bool/array/compilation/proofs         3m03s   6GB
Feb 08 23:15:34 Starting examples/pseudo_bool/array/compilation/proofsARM8
Feb 08 23:17:00 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m24s   7GB
Feb 08 23:17:01 Starting examples/opentheory
Feb 08 23:24:01 Finished examples/opentheory                                   6m59s   5GB
Feb 08 23:24:02 Starting examples/opentheory/compilation
Feb 08 23:25:38 Finished examples/opentheory/compilation                       1m35s   5GB
Feb 08 23:25:39 Starting examples/opentheory/compilation/proofs
Feb 08 23:26:50 Finished examples/opentheory/compilation/proofs                1m10s   4GB
Feb 08 23:26:51 Starting examples/opentheory/compilation/ag32
Feb 08 23:28:30 Finished examples/opentheory/compilation/ag32                  1m38s   6GB
Feb 08 23:28:30 Starting examples/opentheory/compilation/ag32/proofs
Feb 08 23:30:12 Finished examples/opentheory/compilation/ag32/proofs           1m40s   8GB
Feb 08 23:30:12 Starting examples/sat_encodings
Feb 08 23:31:21 Finished examples/sat_encodings                                1m07s 835MB
Feb 08 23:31:22 Starting examples/sat_encodings/demo
Feb 08 23:31:22 Finished examples/sat_encodings/demo                              0s  17MB
Feb 08 23:31:23 Starting examples/sat_encodings/case_studies
Feb 08 23:33:05 Finished examples/sat_encodings/case_studies                   1m41s   1GB
Feb 08 23:33:06 Starting examples/sat_encodings/translation
Feb 08 23:36:32 Finished examples/sat_encodings/translation                    3m25s   5GB
Feb 08 23:36:33 Starting examples/sat_encodings/translation/compilation
Feb 08 23:38:37 Finished examples/sat_encodings/translation/compilation        2m03s   4GB
Feb 08 23:38:38 Starting examples/deflate
Feb 08 23:39:00 Finished examples/deflate                                        21s 430MB
Feb 08 23:39:01 Starting examples/deflate/translation
Feb 08 23:40:01 Finished examples/deflate/translation                            58s   3GB
Feb 08 23:40:01 Starting examples/deflate/translation/compilation
Feb 08 23:40:57 Finished examples/deflate/translation/compilation                54s   3GB
Feb 08 23:40:58 Starting examples/vipr
Feb 08 23:44:03 Finished examples/vipr                                         3m03s   7GB
Feb 08 23:44:03 Starting examples/vipr/compilation
Feb 08 23:45:05 Finished examples/vipr/compilation                             1m00s   4GB
Feb 08 23:45:06 Starting examples/template
Feb 08 23:45:09 Finished examples/template                                        2s 152MB
Feb 08 23:45:10 Starting examples/template/translation
Feb 08 23:45:30 Finished examples/template/translation                           18s 909MB
Feb 08 23:45:31 Starting examples/template/compilation
Feb 08 23:46:31 Finished examples/template/compilation                           59s   4GB
Feb 08 23:46:32 Starting translator/okasaki-examples
Feb 08 23:49:12 Finished translator/okasaki-examples                           2m39s   2GB
Feb 08 23:49:13 Starting translator/other-examples
Feb 08 23:50:07 Finished translator/other-examples                               53s   2GB
Feb 08 23:50:08 Starting translator/other-examples/auxiliary
Feb 08 23:50:09 Finished translator/other-examples/auxiliary                      0s  21MB
Feb 08 23:50:10 Starting compiler/parsing/tests
Feb 08 23:50:46 Finished compiler/parsing/tests                                  35s   1GB
Feb 08 23:50:47 Starting compiler/inference/tests
Feb 08 23:51:30 Finished compiler/inference/tests                                42s   2GB
Feb 08 23:51:31 Starting compiler/printing/test
Feb 08 23:54:23 Finished compiler/printing/test                                2m51s  16GB
Feb 08 23:54:24 Starting compiler/repl
Feb 08 23:54:28 Finished compiler/repl                                            2s 252MB
Feb 08 23:54:29 Starting compiler/benchmarks
Feb 08 23:55:23 Finished compiler/benchmarks                                     53s 747MB
Feb 08 23:55:24 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Feb 08 23:55:27 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 283MB
Feb 08 23:55:28 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Feb 08 23:55:32 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 261MB
Feb 08 23:55:33 Starting compiler/bootstrap/translation
Feb 09 01:53:30 Finished compiler/bootstrap/translation                     1h57m56s  94GB
Feb 09 01:53:31 Starting compiler/bootstrap/compilation/x64/64
Feb 09 01:56:44 Finished compiler/bootstrap/compilation/x64/64                 3m12s  15GB
Feb 09 01:56:45 Starting compiler/bootstrap/compilation/x64/32
Feb 09 02:25:13 Finished compiler/bootstrap/compilation/x64/32                28m27s  71GB
Feb 09 02:25:14 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 09 02:30:07 Finished compiler/bootstrap/compilation/x64/32/proofs          4m52s  24GB
Feb 09 02:30:08 Starting compiler/bootstrap/compilation/arm8/64
Feb 09 03:09:35 Finished compiler/bootstrap/compilation/arm8/64               39m26s  75GB
Feb 09 03:09:36 Starting compiler/bootstrap/compilation/arm8/64/proofs
Feb 09 03:14:59 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m21s  31GB
Feb 09 03:14:59 Starting compiler/bootstrap/compilation/ag32/32
Feb 09 03:44:02 Finished compiler/bootstrap/compilation/ag32/32               29m01s  70GB
Feb 09 03:44:02 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 09 03:49:57 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m53s  32GB
Feb 09 03:49:58 SUCCESS