Job 2891

CakeML:77fdf7b91f0f7c907d74a3cc2fdfa36020e1864b
  Merge pull request #1194 from CakeML/scheme [Jul 20 15:13:03]
HOL:a81865b9bac5e3018a070980ce8f4a392c66c9c6
  Get Holmake and build to clean properly given .hol directory [Jul 07 07:18:21]
Machine:lammmington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Jul 21 09:52:56 Claimed job
Jul 21 09:53:00 Reusing HOL
Jul 21 09:53:09 Starting developers
Jul 21 09:53:13 Finished developers                                               3s 187MB
Jul 21 09:53:14 Starting developers/bin
Jul 21 09:53:18 Finished developers/bin                                           3s 592MB
Jul 21 09:53:19 Starting misc
Jul 21 09:54:01 Finished misc                                                    41s   2GB
Jul 21 09:54:02 Starting compiler/proofs
Jul 21 11:25:57 Finished compiler/proofs                                    1h31m52s  46GB
Jul 21 11:25:58 Starting compiler/bootstrap/translation
Jul 21 17:04:23 Finished compiler/bootstrap/translation                     5h38m24s  64GB
Jul 21 17:04:24 Starting semantics/ffi
Jul 21 17:04:34 Finished semantics/ffi                                            8s 533MB
Jul 21 17:04:35 Starting semantics
Jul 21 17:04:36 Finished semantics                                                0s  59MB
Jul 21 17:04:37 Starting semantics/proofs
Jul 21 17:05:00 Finished semantics/proofs                                        22s 879MB
Jul 21 17:05:01 Starting semantics/alt_semantics
Jul 21 17:05:22 Finished semantics/alt_semantics                                 20s 900MB
Jul 21 17:05:23 Starting semantics/alt_semantics/proofs
Jul 21 17:15:44 Finished semantics/alt_semantics/proofs                       10m20s   2GB
Jul 21 17:15:45 Starting basis/pure
Jul 21 17:15:47 Finished basis/pure                                               0s  90MB
Jul 21 17:15:48 Starting translator
Jul 21 17:17:18 Finished translator                                            1m29s   4GB
Jul 21 17:17:19 Starting compiler/parsing
Jul 21 17:17:21 Finished compiler/parsing                                         0s  64MB
Jul 21 17:17:22 Starting characteristic
Jul 21 17:17:24 Finished characteristic                                           1s 121MB
Jul 21 17:17:25 Starting translator/monadic
Jul 21 17:17:27 Finished translator/monadic                                       1s 118MB
Jul 21 17:17:28 Starting translator/monadic/monad_base
Jul 21 17:17:29 Finished translator/monadic/monad_base                            0s  57MB
Jul 21 17:17:30 Starting basis
Jul 21 17:19:50 Finished basis                                                 2m18s   3GB
Jul 21 17:19:50 Starting compiler
Jul 21 17:19:53 Finished compiler                                                 1s 192MB
Jul 21 17:19:54 Starting compiler/inference
Jul 21 17:19:56 Finished compiler/inference                                       1s 118MB
Jul 21 17:19:57 Starting compiler/backend/reg_alloc
Jul 21 17:19:59 Finished compiler/backend/reg_alloc                               0s  58MB
Jul 21 17:19:59 Starting compiler/backend/gc
Jul 21 17:20:02 Finished compiler/backend/gc                                      1s 147MB
Jul 21 17:20:03 Starting compiler/backend
Jul 21 17:20:08 Finished compiler/backend                                         4s 257MB
Jul 21 17:20:09 Starting compiler/encoders/asm
Jul 21 17:20:10 Finished compiler/encoders/asm                                    0s  85MB
Jul 21 17:20:11 Starting compiler/encoders/x64
Jul 21 17:20:13 Finished compiler/encoders/x64                                    0s  86MB
Jul 21 17:20:14 Starting compiler/encoders/arm7
Jul 21 17:20:15 Finished compiler/encoders/arm7                                   0s  88MB
Jul 21 17:20:16 Starting compiler/encoders/arm8
Jul 21 17:20:18 Finished compiler/encoders/arm8                                   0s  87MB
Jul 21 17:20:19 Starting compiler/encoders/arm8_asl
Jul 21 17:20:33 Finished compiler/encoders/arm8_asl                              13s   1GB
Jul 21 17:20:34 Starting compiler/encoders/mips
Jul 21 17:20:36 Finished compiler/encoders/mips                                   0s  86MB
Jul 21 17:20:37 Starting compiler/encoders/riscv
Jul 21 17:20:38 Finished compiler/encoders/riscv                                  0s  89MB
Jul 21 17:20:39 Starting compiler/encoders/ag32
Jul 21 17:20:41 Finished compiler/encoders/ag32                                   0s  88MB
Jul 21 17:20:42 Starting compiler/encoders/tests
Jul 21 17:20:44 Finished compiler/encoders/tests                                  0s 103MB
Jul 21 17:20:44 Starting compiler/encoders/monadic_enc
Jul 21 17:20:47 Finished compiler/encoders/monadic_enc                            1s 141MB
Jul 21 17:20:47 Starting compiler/backend/x64
Jul 21 17:20:50 Finished compiler/backend/x64                                     1s 144MB
Jul 21 17:20:51 Starting compiler/backend/arm7
Jul 21 17:20:53 Finished compiler/backend/arm7                                    1s 144MB
Jul 21 17:20:54 Starting compiler/backend/arm8
Jul 21 17:20:56 Finished compiler/backend/arm8                                    1s 144MB
Jul 21 17:20:57 Starting compiler/backend/mips
Jul 21 17:20:59 Finished compiler/backend/mips                                    1s 144MB
Jul 21 17:21:00 Starting compiler/backend/riscv
Jul 21 17:21:02 Finished compiler/backend/riscv                                   1s 144MB
Jul 21 17:21:03 Starting compiler/backend/ag32
Jul 21 17:22:11 Finished compiler/backend/ag32                                 1m07s   3GB
Jul 21 17:22:12 Starting compiler/backend/pattern_matching
Jul 21 17:22:13 Finished compiler/backend/pattern_matching                        0s  57MB
Jul 21 17:22:14 Starting compiler/parsing/ocaml
Jul 21 17:23:56 Finished compiler/parsing/ocaml                                1m40s   1GB
Jul 21 17:23:57 Starting compiler/printing
Jul 21 17:23:59 Finished compiler/printing                                        1s 121MB
Jul 21 17:24:00 Starting compiler/parsing/proofs
Jul 21 17:24:01 Finished compiler/parsing/proofs                                  0s  66MB
Jul 21 17:24:02 Starting compiler/inference/proofs
Jul 21 17:24:04 Finished compiler/inference/proofs                                1s 121MB
Jul 21 17:24:05 Starting compiler/backend/semantics
Jul 21 17:27:13 Finished compiler/backend/semantics                            3m07s   3GB
Jul 21 17:27:14 Starting compiler/backend/reg_alloc/proofs
Jul 21 17:27:16 Finished compiler/backend/reg_alloc/proofs                        1s 115MB
Jul 21 17:27:17 Starting compiler/backend/proofs
Jul 21 17:28:05 Finished compiler/backend/proofs                                 46s   3GB
Jul 21 17:28:05 Starting compiler/backend/serialiser
Jul 21 17:28:08 Finished compiler/backend/serialiser                              1s 141MB
Jul 21 17:28:09 Starting compiler/encoders/x64/proofs
Jul 21 17:38:19 Finished compiler/encoders/x64/proofs                         10m09s   4GB
Jul 21 17:38:20 Starting compiler/encoders/arm7/proofs
Jul 21 17:51:14 Finished compiler/encoders/arm7/proofs                        12m53s   6GB
Jul 21 17:51:15 Starting compiler/encoders/arm8/proofs
Jul 21 17:58:14 Finished compiler/encoders/arm8/proofs                         6m58s   4GB
Jul 21 17:58:15 Starting compiler/encoders/arm8_asl/proofs
Jul 21 18:13:33 Finished compiler/encoders/arm8_asl/proofs                    15m16s   3GB
Jul 21 18:13:34 Starting compiler/encoders/mips/proofs
Jul 21 18:23:31 Finished compiler/encoders/mips/proofs                         9m56s   7GB
Jul 21 18:23:32 Starting compiler/encoders/riscv/proofs
Jul 21 18:31:55 Finished compiler/encoders/riscv/proofs                        8m22s   4GB
Jul 21 18:31:56 Starting compiler/encoders/ag32/proofs
Jul 21 18:34:47 Finished compiler/encoders/ag32/proofs                         2m49s   2GB
Jul 21 18:34:48 Starting compiler/backend/x64/proofs
Jul 21 18:35:19 Finished compiler/backend/x64/proofs                             30s   2GB
Jul 21 18:35:20 Starting compiler/backend/arm7/proofs
Jul 21 18:35:50 Finished compiler/backend/arm7/proofs                            28s   2GB
Jul 21 18:35:51 Starting compiler/backend/arm8/proofs
Jul 21 18:36:22 Finished compiler/backend/arm8/proofs                            30s   2GB
Jul 21 18:36:23 Starting compiler/backend/arm8_asl
Jul 21 18:36:45 Finished compiler/backend/arm8_asl                               21s   2GB
Jul 21 18:36:46 Starting compiler/backend/mips/proofs
Jul 21 18:37:16 Finished compiler/backend/mips/proofs                            28s   1GB
Jul 21 18:37:16 Starting compiler/backend/riscv/proofs
Jul 21 18:37:47 Finished compiler/backend/riscv/proofs                           29s   2GB
Jul 21 18:37:48 Starting compiler/backend/ag32/proofs
Jul 21 18:51:25 Finished compiler/backend/ag32/proofs                         13m36s   4GB
Jul 21 18:51:26 Starting compiler/backend/cv_compute
Jul 21 18:52:36 Finished compiler/backend/cv_compute                           1m09s   2GB
Jul 21 18:52:37 Starting cv_translator
Jul 21 19:11:03 Finished cv_translator                                        18m25s  11GB
Jul 21 19:11:04 Starting candle
Jul 21 19:11:05 Finished candle                                                   0s  12MB
Jul 21 19:11:06 Starting candle/set-theory
Jul 21 19:11:41 Finished candle/set-theory                                       33s   1GB
Jul 21 19:11:41 Starting candle/syntax-lib
Jul 21 19:11:43 Finished candle/syntax-lib                                        0s 100MB
Jul 21 19:11:44 Starting candle/standard
Jul 21 19:11:45 Finished candle/standard                                          0s  13MB
Jul 21 19:11:46 Starting candle/standard/syntax
Jul 21 19:11:58 Finished candle/standard/syntax                                  11s 722MB
Jul 21 19:11:59 Starting candle/standard/semantics
Jul 21 19:13:57 Finished candle/standard/semantics                             1m57s   2GB
Jul 21 19:13:58 Starting candle/standard/monadic
Jul 21 19:14:00 Finished candle/standard/monadic                                  1s 124MB
Jul 21 19:14:01 Starting candle/standard/ml_kernel
Jul 21 19:15:43 Finished candle/standard/ml_kernel                             1m40s   4GB
Jul 21 19:15:44 Starting candle/standard/ml_kernel/lisp
Jul 21 19:15:45 Finished candle/standard/ml_kernel/lisp                           0s  52MB
Jul 21 19:15:46 Starting candle/overloading
Jul 21 19:15:47 Finished candle/overloading                                       0s  13MB
Jul 21 19:15:48 Starting candle/overloading/syntax
Jul 21 19:18:57 Finished candle/overloading/syntax                             3m07s   2GB
Jul 21 19:18:58 Starting candle/overloading/semantics
Jul 21 19:29:48 Finished candle/overloading/semantics                         10m48s   5GB
Jul 21 19:29:48 Starting candle/overloading/monadic
Jul 21 19:32:04 Finished candle/overloading/monadic                            2m14s   2GB
Jul 21 19:32:04 Starting candle/overloading/ml_kernel
Jul 21 19:39:16 Finished candle/overloading/ml_kernel                          7m10s   6GB
Jul 21 19:39:17 Starting candle/overloading/ml_checker
Jul 21 19:41:28 Finished candle/overloading/ml_checker                         2m10s   6GB
Jul 21 19:41:29 Starting candle/prover
Jul 21 19:51:00 Finished candle/prover                                         9m29s   5GB
Jul 21 19:51:01 Starting candle/prover/compute
Jul 21 19:51:03 Finished candle/prover/compute                                    1s 143MB
Jul 21 19:51:04 Starting pancake
Jul 21 19:51:06 Finished pancake                                                  1s 142MB
Jul 21 19:51:07 Starting pancake/semantics
Jul 21 19:53:19 Finished pancake/semantics                                     2m11s   1GB
Jul 21 19:53:20 Starting pancake/parser
Jul 21 19:53:45 Finished pancake/parser                                          24s 497MB
Jul 21 19:53:46 Starting pancake/static_checker
Jul 21 19:54:24 Finished pancake/static_checker                                  36s   1GB
Jul 21 19:54:25 Starting pancake/proofs
Jul 21 20:10:24 Finished pancake/proofs                                       15m57s   5GB
Jul 21 20:10:24 Starting compiler/dafny
Jul 21 20:11:23 Finished compiler/dafny                                          57s   1GB
Jul 21 20:11:23 Starting compiler/dafny/translation
Jul 21 20:17:57 Finished compiler/dafny/translation                            6m33s   4GB
Jul 21 20:17:58 Starting compiler/dafny/compilation
Jul 21 20:19:47 Finished compiler/dafny/compilation                            1m48s   7GB
Jul 21 20:19:48 Starting compiler/dafny/semantics
Jul 21 20:22:06 Finished compiler/dafny/semantics                              2m16s   1GB
Jul 21 20:22:07 Starting compiler/dafny/vcg
Jul 21 20:22:12 Finished compiler/dafny/vcg                                       4s 260MB
Jul 21 20:22:13 Starting compiler/scheme
Jul 21 20:22:38 Finished compiler/scheme                                         23s   1GB
Jul 21 20:22:39 Starting compiler/scheme/translation
Jul 21 20:30:34 Finished compiler/scheme/translation                           7m53s   8GB
Jul 21 20:30:37 Starting compiler/scheme/compilation
Jul 21 20:31:55 Finished compiler/scheme/compilation                           1m16s   5GB
Jul 21 20:31:55 Starting compiler/scheme/proofs
Jul 21 20:52:06 Finished compiler/scheme/proofs                               20m09s  61GB
Jul 21 20:52:07 Starting characteristic/examples
Jul 21 20:53:32 Finished characteristic/examples                               1m22s   4GB
Jul 21 20:53:32 Starting tutorial/solutions
Jul 21 20:55:54 Finished tutorial/solutions                                    2m21s   3GB
Jul 21 20:55:55 Starting translator/monadic/examples
Jul 21 20:58:52 Finished translator/monadic/examples                           2m55s   3GB
Jul 21 20:58:53 Starting examples
Jul 21 21:04:44 Finished examples                                              5m50s   4GB
Jul 21 21:04:45 Starting examples/compilation
Jul 21 21:04:46 Finished examples/compilation                                     0s  13MB
Jul 21 21:04:47 Starting examples/compilation/x64
Jul 21 21:11:41 Finished examples/compilation/x64                              6m53s   4GB
Jul 21 21:11:42 Starting examples/compilation/x64/proofs
Jul 21 21:14:03 Finished examples/compilation/x64/proofs                       2m19s   4GB
Jul 21 21:14:03 Starting examples/compilation/ag32
Jul 21 21:15:58 Finished examples/compilation/ag32                             1m53s   3GB
Jul 21 21:15:59 Starting examples/compilation/ag32/proofs
Jul 21 21:17:00 Finished examples/compilation/ag32/proofs                      1m00s   5GB
Jul 21 21:17:01 Starting examples/lpr_checker
Jul 21 21:17:31 Finished examples/lpr_checker                                    29s   1GB
Jul 21 21:17:32 Starting examples/lpr_checker/array
Jul 21 21:43:45 Finished examples/lpr_checker/array                           26m12s  20GB
Jul 21 21:43:46 Starting examples/lpr_checker/array/compilation
Jul 21 21:46:13 Finished examples/lpr_checker/array/compilation                2m26s   8GB
Jul 21 21:46:14 Starting examples/lpr_checker/array/compilation/proofs
Jul 21 21:47:22 Finished examples/lpr_checker/array/compilation/proofs         1m06s   6GB
Jul 21 21:47:23 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 21 21:48:35 Finished examples/lpr_checker/array/compilation/proofsARM8     1m11s   6GB
Jul 21 21:48:36 Starting .
Jul 21 21:48:40 Finished .                                                        3s 332MB
Jul 21 21:48:41 Starting examples/xlrup_checker
Jul 21 21:49:29 Finished examples/xlrup_checker                                  47s   1GB
Jul 21 21:49:30 Starting examples/xlrup_checker/array
Jul 21 22:07:10 Finished examples/xlrup_checker/array                         17m39s  19GB
Jul 21 22:07:11 Starting examples/xlrup_checker/array/compilation
Jul 21 22:08:24 Finished examples/xlrup_checker/array/compilation              1m11s   5GB
Jul 21 22:08:24 Starting examples/xlrup_checker/array/compilation/proofs
Jul 21 22:09:24 Finished examples/xlrup_checker/array/compilation/proofs         59s   4GB
Jul 21 22:09:25 Starting examples/scpog_checker
Jul 21 22:10:08 Finished examples/scpog_checker                                  41s   2GB
Jul 21 22:10:09 Starting examples/scpog_checker/array
Jul 21 22:19:51 Finished examples/scpog_checker/array                          9m41s   6GB
Jul 21 22:19:52 Starting examples/scpog_checker/array/compilation
Jul 21 22:21:50 Finished examples/scpog_checker/array/compilation              1m57s   8GB
Jul 21 22:21:51 Starting examples/scpog_checker/array/compilation/proofs
Jul 21 22:22:57 Finished examples/scpog_checker/array/compilation/proofs       1m04s   6GB
Jul 21 22:22:58 Starting examples/pseudo_bool
Jul 21 22:24:51 Finished examples/pseudo_bool                                  1m51s   1GB
Jul 21 22:24:51 Starting examples/pseudo_bool/cnf_encoding
Jul 21 22:25:19 Finished examples/pseudo_bool/cnf_encoding                       26s   1GB
Jul 21 22:25:20 Starting examples/pseudo_bool/graph_encoding
Jul 21 22:26:03 Finished examples/pseudo_bool/graph_encoding                     42s   1GB
Jul 21 22:26:04 Starting examples/pseudo_bool/array
Jul 21 23:54:05 Finished examples/pseudo_bool/array                         1h27m59s  35GB
Jul 21 23:54:06 Starting examples/pseudo_bool/array/compilation
Jul 22 00:05:19 Finished examples/pseudo_bool/array/compilation               11m11s  21GB
Jul 22 00:05:20 Starting examples/pseudo_bool/array/compilation/proofs
Jul 22 00:07:59 Finished examples/pseudo_bool/array/compilation/proofs         2m38s   7GB
Jul 22 00:08:00 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 22 00:09:22 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m20s   6GB
Jul 22 00:09:22 Starting examples/opentheory
Jul 22 00:17:57 Finished examples/opentheory                                   8m33s   6GB
Jul 22 00:17:58 Starting examples/opentheory/compilation
Jul 22 00:19:30 Finished examples/opentheory/compilation                       1m31s   6GB
Jul 22 00:19:31 Starting examples/opentheory/compilation/proofs
Jul 22 00:20:28 Finished examples/opentheory/compilation/proofs                  55s   4GB
Jul 22 00:20:29 Starting examples/opentheory/compilation/ag32
Jul 22 00:22:04 Finished examples/opentheory/compilation/ag32                  1m34s   6GB
Jul 22 00:22:05 Starting examples/opentheory/compilation/ag32/proofs
Jul 22 00:23:42 Finished examples/opentheory/compilation/ag32/proofs           1m36s   8GB
Jul 22 00:23:43 Starting examples/sat_encodings
Jul 22 00:24:44 Finished examples/sat_encodings                                  59s 887MB
Jul 22 00:24:45 Starting examples/sat_encodings/demo
Jul 22 00:24:46 Finished examples/sat_encodings/demo                              0s  13MB
Jul 22 00:24:47 Starting examples/sat_encodings/case_studies
Jul 22 00:26:30 Finished examples/sat_encodings/case_studies                   1m42s   1GB
Jul 22 00:26:31 Starting examples/sat_encodings/translation
Jul 22 00:30:07 Finished examples/sat_encodings/translation                    3m35s   3GB
Jul 22 00:30:08 Starting examples/sat_encodings/translation/compilation
Jul 22 00:32:04 Finished examples/sat_encodings/translation/compilation        1m53s   5GB
Jul 22 00:32:05 Starting examples/deflate
Jul 22 00:32:33 Finished examples/deflate                                        27s 704MB
Jul 22 00:32:33 Starting examples/deflate/translation
Jul 22 00:33:40 Finished examples/deflate/translation                          1m05s   4GB
Jul 22 00:33:40 Starting examples/deflate/translation/compilation
Jul 22 00:34:32 Finished examples/deflate/translation/compilation                50s   3GB
Jul 22 00:34:33 Starting examples/vipr
Jul 22 00:37:45 Finished examples/vipr                                         3m11s   4GB
Jul 22 00:37:46 Starting examples/vipr/compilation
Jul 22 00:38:44 Finished examples/vipr/compilation                               57s   4GB
Jul 22 00:38:45 Starting translator/okasaki-examples
Jul 22 00:42:48 Finished translator/okasaki-examples                           4m01s   3GB
Jul 22 00:42:49 Starting translator/other-examples
Jul 22 00:43:36 Finished translator/other-examples                               46s   3GB
Jul 22 00:43:37 Starting translator/other-examples/auxiliary
Jul 22 00:43:38 Finished translator/other-examples/auxiliary                      0s  18MB
Jul 22 00:43:39 Starting compiler/parsing/tests
Jul 22 00:44:13 Finished compiler/parsing/tests                                  33s   1GB
Jul 22 00:44:14 Starting compiler/inference/tests
Jul 22 00:44:50 Finished compiler/inference/tests                                34s   2GB
Jul 22 00:44:51 Starting compiler/printing/test
Jul 22 00:46:01 Finished compiler/printing/test                                1m09s   4GB
Jul 22 00:46:02 Starting icing/flover
Jul 22 01:18:30 Finished icing/flover                                         32m25s   2GB
Jul 22 01:18:31 Starting icing/flover/Infra
Jul 22 01:18:32 Finished icing/flover/Infra                                       0s  17MB
Jul 22 01:18:33 Starting icing/flover/semantics
Jul 22 01:18:34 Finished icing/flover/semantics                                   0s  16MB
Jul 22 01:18:35 Starting icing/
Jul 22 01:45:29 Finished icing/                                               26m52s   4GB
Jul 22 01:45:29 Starting icing/examples
Jul 22 01:46:46 Finished icing/examples                                        1m15s   4GB
Jul 22 01:46:47 Starting compiler/repl
Jul 22 01:53:57 Finished compiler/repl                                         7m07s   6GB
Jul 22 01:53:57 Starting unverified/sexpr-bootstrap/x64/64
Jul 22 01:58:01 Finished unverified/sexpr-bootstrap/x64/64                     3m51s  18GB
Jul 22 01:58:02 Starting unverified/sexpr-bootstrap/x64/32
Jul 22 02:01:15 Finished unverified/sexpr-bootstrap/x64/32                     3m04s  16GB
Jul 22 02:01:16 Starting compiler/benchmarks
Jul 22 02:02:02 Finished compiler/benchmarks                                     44s 712MB
Jul 22 02:02:03 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jul 22 02:02:06 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 266MB
Jul 22 02:02:07 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jul 22 02:02:11 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 268MB
Jul 22 02:02:12 Starting compiler/bootstrap/compilation/x64/64
Jul 22 02:31:13 Finished compiler/bootstrap/compilation/x64/64                28m39s 104GB
Jul 22 02:31:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 22 02:54:20 Finished compiler/bootstrap/compilation/x64/64/proofs         23m05s  42GB
Jul 22 02:54:21 Starting compiler/bootstrap/compilation/x64/32
Jul 22 03:23:00 Finished compiler/bootstrap/compilation/x64/32                28m24s  81GB
Jul 22 03:23:01 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 22 03:27:04 Finished compiler/bootstrap/compilation/x64/32/proofs          4m02s  23GB
Jul 22 03:27:05 Starting compiler/bootstrap/compilation/arm8/64
Jul 22 04:11:17 Finished compiler/bootstrap/compilation/arm8/64               43m55s 117GB
Jul 22 04:11:18 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jul 22 04:16:03 Finished compiler/bootstrap/compilation/arm8/64/proofs         4m44s  29GB
Jul 22 04:16:04 Starting compiler/bootstrap/compilation/ag32/32
Jul 22 04:46:38 Finished compiler/bootstrap/compilation/ag32/32               30m32s  80GB
Jul 22 04:46:39 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 22 04:52:00 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m19s  31GB
Jul 22 04:52:01 SUCCESS