Job 2884

CakeML:e47ca2d92b75b44f621289f962a10f20c5b62b3f
  Merge pull request #1190 from CakeML/dafny-new [Jul 08 13:16:58]
HOL:718b3aaabc70079271693d5540ba16669c2e7ad2
  fix EVERY_CASE_TAC proof [Jun 24 17:29:02]
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 08 13:31:43 Claimed job
Jul 08 13:31:47 Reusing HOL
Jul 08 13:31:58 Starting developers
Jul 08 13:32:02 Finished developers                                               3s 216MB
Jul 08 13:32:03 Starting developers/bin
Jul 08 13:32:08 Finished developers/bin                                           4s 592MB
Jul 08 13:32:09 Starting misc
Jul 08 13:32:49 Finished misc                                                    38s   1GB
Jul 08 13:32:50 Starting compiler/proofs
Jul 08 15:04:01 Finished compiler/proofs                                    1h31m10s  41GB
Jul 08 15:04:02 Starting compiler/bootstrap/translation
Jul 08 20:51:46 Finished compiler/bootstrap/translation                     5h47m41s  87GB
Jul 08 20:51:47 Starting semantics/ffi
Jul 08 20:51:56 Finished semantics/ffi                                            8s 557MB
Jul 08 20:51:57 Starting semantics
Jul 08 20:51:58 Finished semantics                                                0s  52MB
Jul 08 20:51:59 Starting semantics/proofs
Jul 08 20:52:23 Finished semantics/proofs                                        22s 711MB
Jul 08 20:52:24 Starting semantics/alt_semantics
Jul 08 20:52:44 Finished semantics/alt_semantics                                 19s 710MB
Jul 08 20:52:45 Starting semantics/alt_semantics/proofs
Jul 08 21:02:54 Finished semantics/alt_semantics/proofs                       10m08s   2GB
Jul 08 21:02:55 Starting basis/pure
Jul 08 21:02:57 Finished basis/pure                                               0s  95MB
Jul 08 21:02:58 Starting translator
Jul 08 21:04:33 Finished translator                                            1m33s   4GB
Jul 08 21:04:34 Starting compiler/parsing
Jul 08 21:04:35 Finished compiler/parsing                                         0s  61MB
Jul 08 21:04:36 Starting characteristic
Jul 08 21:04:38 Finished characteristic                                           1s 118MB
Jul 08 21:04:39 Starting translator/monadic
Jul 08 21:04:41 Finished translator/monadic                                       1s 112MB
Jul 08 21:04:42 Starting translator/monadic/monad_base
Jul 08 21:04:43 Finished translator/monadic/monad_base                            0s  52MB
Jul 08 21:04:44 Starting basis
Jul 08 21:07:12 Finished basis                                                 2m26s   4GB
Jul 08 21:07:12 Starting compiler
Jul 08 21:07:15 Finished compiler                                                 1s 209MB
Jul 08 21:07:16 Starting compiler/inference
Jul 08 21:07:18 Finished compiler/inference                                       1s 108MB
Jul 08 21:07:19 Starting compiler/backend/reg_alloc
Jul 08 21:07:20 Finished compiler/backend/reg_alloc                               0s  56MB
Jul 08 21:07:21 Starting compiler/backend/gc
Jul 08 21:07:23 Finished compiler/backend/gc                                      1s 133MB
Jul 08 21:07:24 Starting compiler/backend
Jul 08 21:07:29 Finished compiler/backend                                         4s 268MB
Jul 08 21:07:30 Starting compiler/encoders/asm
Jul 08 21:07:32 Finished compiler/encoders/asm                                    0s  82MB
Jul 08 21:07:33 Starting compiler/encoders/x64
Jul 08 21:07:34 Finished compiler/encoders/x64                                    0s  90MB
Jul 08 21:07:35 Starting compiler/encoders/arm7
Jul 08 21:07:37 Finished compiler/encoders/arm7                                   0s  85MB
Jul 08 21:07:38 Starting compiler/encoders/arm8
Jul 08 21:07:40 Finished compiler/encoders/arm8                                   0s  89MB
Jul 08 21:07:40 Starting compiler/encoders/arm8_asl
Jul 08 21:08:38 Finished compiler/encoders/arm8_asl                              56s  20GB
Jul 08 21:08:39 Starting compiler/encoders/mips
Jul 08 21:08:40 Finished compiler/encoders/mips                                   0s  86MB
Jul 08 21:08:41 Starting compiler/encoders/riscv
Jul 08 21:08:43 Finished compiler/encoders/riscv                                  0s  86MB
Jul 08 21:08:44 Starting compiler/encoders/ag32
Jul 08 21:08:45 Finished compiler/encoders/ag32                                   0s  87MB
Jul 08 21:08:46 Starting compiler/encoders/tests
Jul 08 21:08:48 Finished compiler/encoders/tests                                  0s 102MB
Jul 08 21:08:49 Starting compiler/encoders/monadic_enc
Jul 08 21:08:51 Finished compiler/encoders/monadic_enc                            1s 131MB
Jul 08 21:08:52 Starting compiler/backend/x64
Jul 08 21:08:54 Finished compiler/backend/x64                                     1s 137MB
Jul 08 21:08:55 Starting compiler/backend/arm7
Jul 08 21:08:57 Finished compiler/backend/arm7                                    1s 133MB
Jul 08 21:08:58 Starting compiler/backend/arm8
Jul 08 21:09:00 Finished compiler/backend/arm8                                    1s 134MB
Jul 08 21:09:01 Starting compiler/backend/mips
Jul 08 21:09:03 Finished compiler/backend/mips                                    1s 133MB
Jul 08 21:09:04 Starting compiler/backend/riscv
Jul 08 21:09:06 Finished compiler/backend/riscv                                   1s 136MB
Jul 08 21:09:07 Starting compiler/backend/ag32
Jul 08 21:10:14 Finished compiler/backend/ag32                                 1m05s   1GB
Jul 08 21:10:15 Starting compiler/backend/pattern_matching
Jul 08 21:10:16 Finished compiler/backend/pattern_matching                        0s  55MB
Jul 08 21:10:17 Starting compiler/parsing/ocaml
Jul 08 21:11:58 Finished compiler/parsing/ocaml                                1m40s   1GB
Jul 08 21:11:59 Starting compiler/printing
Jul 08 21:12:01 Finished compiler/printing                                        1s 114MB
Jul 08 21:12:02 Starting compiler/parsing/proofs
Jul 08 21:12:03 Finished compiler/parsing/proofs                                  0s  63MB
Jul 08 21:12:04 Starting compiler/inference/proofs
Jul 08 21:12:06 Finished compiler/inference/proofs                                1s 117MB
Jul 08 21:12:07 Starting compiler/backend/semantics
Jul 08 21:15:08 Finished compiler/backend/semantics                            2m59s   3GB
Jul 08 21:15:09 Starting compiler/backend/reg_alloc/proofs
Jul 08 21:15:11 Finished compiler/backend/reg_alloc/proofs                        1s 110MB
Jul 08 21:15:12 Starting compiler/backend/proofs
Jul 08 21:15:58 Finished compiler/backend/proofs                                 44s   3GB
Jul 08 21:15:59 Starting compiler/backend/serialiser
Jul 08 21:16:01 Finished compiler/backend/serialiser                              1s 140MB
Jul 08 21:16:02 Starting compiler/encoders/x64/proofs
Jul 08 21:26:10 Finished compiler/encoders/x64/proofs                         10m07s   4GB
Jul 08 21:26:11 Starting compiler/encoders/arm7/proofs
Jul 08 21:39:06 Finished compiler/encoders/arm7/proofs                        12m53s   5GB
Jul 08 21:39:07 Starting compiler/encoders/arm8/proofs
Jul 08 21:46:03 Finished compiler/encoders/arm8/proofs                         6m55s   4GB
Jul 08 21:46:04 Starting compiler/encoders/arm8_asl/proofs
Jul 08 22:01:20 Finished compiler/encoders/arm8_asl/proofs                    15m15s   3GB
Jul 08 22:01:21 Starting compiler/encoders/mips/proofs
Jul 08 22:11:18 Finished compiler/encoders/mips/proofs                         9m55s   6GB
Jul 08 22:11:19 Starting compiler/encoders/riscv/proofs
Jul 08 22:19:40 Finished compiler/encoders/riscv/proofs                        8m20s   4GB
Jul 08 22:19:41 Starting compiler/encoders/ag32/proofs
Jul 08 22:22:33 Finished compiler/encoders/ag32/proofs                         2m51s   2GB
Jul 08 22:22:34 Starting compiler/backend/x64/proofs
Jul 08 22:23:05 Finished compiler/backend/x64/proofs                             29s   2GB
Jul 08 22:23:06 Starting compiler/backend/arm7/proofs
Jul 08 22:23:35 Finished compiler/backend/arm7/proofs                            28s   2GB
Jul 08 22:23:36 Starting compiler/backend/arm8/proofs
Jul 08 22:24:06 Finished compiler/backend/arm8/proofs                            29s   2GB
Jul 08 22:24:07 Starting compiler/backend/arm8_asl
Jul 08 22:24:28 Finished compiler/backend/arm8_asl                               19s   1GB
Jul 08 22:24:29 Starting compiler/backend/mips/proofs
Jul 08 22:24:59 Finished compiler/backend/mips/proofs                            29s   2GB
Jul 08 22:25:00 Starting compiler/backend/riscv/proofs
Jul 08 22:25:33 Finished compiler/backend/riscv/proofs                           31s   2GB
Jul 08 22:25:33 Starting compiler/backend/ag32/proofs
Jul 08 22:39:07 Finished compiler/backend/ag32/proofs                         13m32s   4GB
Jul 08 22:39:08 Starting compiler/backend/cv_compute
Jul 08 22:40:17 Finished compiler/backend/cv_compute                           1m08s   1GB
Jul 08 22:40:18 Starting cv_translator
Jul 08 22:58:26 Finished cv_translator                                        18m06s   9GB
Jul 08 22:58:27 Starting candle
Jul 08 22:58:28 Finished candle                                                   0s  11MB
Jul 08 22:58:29 Starting candle/set-theory
Jul 08 22:59:02 Finished candle/set-theory                                       32s   1GB
Jul 08 22:59:03 Starting candle/syntax-lib
Jul 08 22:59:05 Finished candle/syntax-lib                                        0s  94MB
Jul 08 22:59:05 Starting candle/standard
Jul 08 22:59:06 Finished candle/standard                                          0s  12MB
Jul 08 22:59:07 Starting candle/standard/syntax
Jul 08 22:59:20 Finished candle/standard/syntax                                  11s 713MB
Jul 08 22:59:21 Starting candle/standard/semantics
Jul 08 23:01:18 Finished candle/standard/semantics                             1m55s   2GB
Jul 08 23:01:19 Starting candle/standard/monadic
Jul 08 23:01:21 Finished candle/standard/monadic                                  1s 123MB
Jul 08 23:01:22 Starting candle/standard/ml_kernel
Jul 08 23:03:04 Finished candle/standard/ml_kernel                             1m41s   4GB
Jul 08 23:03:05 Starting candle/standard/ml_kernel/lisp
Jul 08 23:03:06 Finished candle/standard/ml_kernel/lisp                           0s  51MB
Jul 08 23:03:07 Starting candle/overloading
Jul 08 23:03:08 Finished candle/overloading                                       0s  12MB
Jul 08 23:03:09 Starting candle/overloading/syntax
Jul 08 23:06:12 Finished candle/overloading/syntax                             3m02s   1GB
Jul 08 23:06:13 Starting candle/overloading/semantics
Jul 08 23:17:20 Finished candle/overloading/semantics                         11m05s   6GB
Jul 08 23:17:20 Starting candle/overloading/monadic
Jul 08 23:19:41 Finished candle/overloading/monadic                            2m19s   2GB
Jul 08 23:19:42 Starting candle/overloading/ml_kernel
Jul 08 23:26:51 Finished candle/overloading/ml_kernel                          7m08s   6GB
Jul 08 23:26:52 Starting candle/overloading/ml_checker
Jul 08 23:29:04 Finished candle/overloading/ml_checker                         2m10s   6GB
Jul 08 23:29:04 Starting candle/prover
Jul 08 23:38:35 Finished candle/prover                                         9m29s   5GB
Jul 08 23:38:36 Starting candle/prover/compute
Jul 08 23:38:39 Finished candle/prover/compute                                    1s 141MB
Jul 08 23:38:40 Starting pancake
Jul 08 23:38:42 Finished pancake                                                  1s 129MB
Jul 08 23:38:43 Starting pancake/semantics
Jul 08 23:40:51 Finished pancake/semantics                                     2m07s   2GB
Jul 08 23:40:52 Starting pancake/parser
Jul 08 23:41:17 Finished pancake/parser                                          24s 478MB
Jul 08 23:41:18 Starting pancake/static_checker
Jul 08 23:41:55 Finished pancake/static_checker                                  36s   1GB
Jul 08 23:41:56 Starting pancake/proofs
Jul 08 23:57:48 Finished pancake/proofs                                       15m50s   5GB
Jul 08 23:57:49 Starting compiler/dafny
Jul 08 23:58:46 Finished compiler/dafny                                          56s   1GB
Jul 08 23:58:47 Starting compiler/dafny/translation
Jul 09 00:05:23 Finished compiler/dafny/translation                            6m34s   4GB
Jul 09 00:05:24 Starting compiler/dafny/compilation
Jul 09 00:07:14 Finished compiler/dafny/compilation                            1m49s   6GB
Jul 09 00:07:15 Starting compiler/dafny/semantics
Jul 09 00:09:33 Finished compiler/dafny/semantics                              2m17s   1GB
Jul 09 00:09:34 Starting compiler/dafny/vcg
Jul 09 00:09:39 Finished compiler/dafny/vcg                                       4s 270MB
Jul 09 00:09:40 Starting compiler/scheme
Jul 09 00:10:06 Finished compiler/scheme                                         24s   1GB
Jul 09 00:10:07 Starting compiler/scheme/translation
Jul 09 00:18:02 Finished compiler/scheme/translation                           7m52s   7GB
Jul 09 00:18:02 Starting compiler/scheme/compilation
Jul 09 00:19:19 Finished compiler/scheme/compilation                           1m15s   5GB
Jul 09 00:19:19 Starting compiler/scheme/proofs
Jul 09 00:24:58 Finished compiler/scheme/proofs                                5m38s   4GB
Jul 09 00:24:59 Starting characteristic/examples
Jul 09 00:26:24 Finished characteristic/examples                               1m23s   4GB
Jul 09 00:26:25 Starting tutorial/solutions
Jul 09 00:28:54 Finished tutorial/solutions                                    2m28s   6GB
Jul 09 00:28:55 Starting translator/monadic/examples
Jul 09 00:31:52 Finished translator/monadic/examples                           2m56s   3GB
Jul 09 00:31:53 Starting examples
Jul 09 00:37:47 Finished examples                                              5m52s   4GB
Jul 09 00:37:48 Starting examples/compilation
Jul 09 00:37:49 Finished examples/compilation                                     0s  12MB
Jul 09 00:37:49 Starting examples/compilation/x64
Jul 09 00:44:51 Finished examples/compilation/x64                              7m00s   4GB
Jul 09 00:44:52 Starting examples/compilation/x64/proofs
Jul 09 00:47:12 Finished examples/compilation/x64/proofs                       2m19s   4GB
Jul 09 00:47:13 Starting examples/compilation/ag32
Jul 09 00:49:08 Finished examples/compilation/ag32                             1m54s   3GB
Jul 09 00:49:09 Starting examples/compilation/ag32/proofs
Jul 09 00:50:38 Finished examples/compilation/ag32/proofs                      1m28s   5GB
Jul 09 00:50:39 Starting examples/lpr_checker
Jul 09 00:51:09 Finished examples/lpr_checker                                    29s   1GB
Jul 09 00:51:10 Starting examples/lpr_checker/array
Jul 09 01:17:28 Finished examples/lpr_checker/array                           26m16s  25GB
Jul 09 01:17:29 Starting examples/lpr_checker/array/compilation
Jul 09 01:19:53 Finished examples/lpr_checker/array/compilation                2m22s   7GB
Jul 09 01:19:54 Starting examples/lpr_checker/array/compilation/proofs
Jul 09 01:21:02 Finished examples/lpr_checker/array/compilation/proofs         1m06s   6GB
Jul 09 01:21:02 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 09 01:22:12 Finished examples/lpr_checker/array/compilation/proofsARM8     1m08s   6GB
Jul 09 01:22:13 Starting .
Jul 09 01:22:17 Finished .                                                        2s 296MB
Jul 09 01:22:18 Starting examples/xlrup_checker
Jul 09 01:23:06 Finished examples/xlrup_checker                                  47s   1GB
Jul 09 01:23:07 Starting examples/xlrup_checker/array
Jul 09 01:40:32 Finished examples/xlrup_checker/array                         17m23s  19GB
Jul 09 01:40:33 Starting examples/xlrup_checker/array/compilation
Jul 09 01:41:48 Finished examples/xlrup_checker/array/compilation              1m14s   5GB
Jul 09 01:41:49 Starting examples/xlrup_checker/array/compilation/proofs
Jul 09 01:42:50 Finished examples/xlrup_checker/array/compilation/proofs         59s   4GB
Jul 09 01:42:51 Starting examples/scpog_checker
Jul 09 01:43:33 Finished examples/scpog_checker                                  41s   2GB
Jul 09 01:43:34 Starting examples/scpog_checker/array
Jul 09 01:53:18 Finished examples/scpog_checker/array                          9m42s   8GB
Jul 09 01:53:19 Starting examples/scpog_checker/array/compilation
Jul 09 01:55:20 Finished examples/scpog_checker/array/compilation              2m00s   8GB
Jul 09 01:55:21 Starting examples/scpog_checker/array/compilation/proofs
Jul 09 01:56:28 Finished examples/scpog_checker/array/compilation/proofs       1m06s   5GB
Jul 09 01:56:29 Starting examples/pseudo_bool
Jul 09 01:58:03 Finished examples/pseudo_bool                                  1m33s   2GB
Jul 09 01:58:04 Starting examples/pseudo_bool/cnf_encoding
Jul 09 01:58:32 Finished examples/pseudo_bool/cnf_encoding                       26s   1GB
Jul 09 01:58:33 Starting examples/pseudo_bool/graph_encoding
Jul 09 01:59:17 Finished examples/pseudo_bool/graph_encoding                     43s   2GB
Jul 09 01:59:18 Starting examples/pseudo_bool/array
Jul 09 03:09:12 Finished examples/pseudo_bool/array                         1h09m51s  40GB
Jul 09 03:09:13 Starting examples/pseudo_bool/array/compilation
Jul 09 03:18:57 Finished examples/pseudo_bool/array/compilation                9m42s  19GB
Jul 09 03:18:58 Starting examples/pseudo_bool/array/compilation/proofs
Jul 09 03:21:33 Finished examples/pseudo_bool/array/compilation/proofs         2m33s   6GB
Jul 09 03:21:33 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 09 03:22:47 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m12s   6GB
Jul 09 03:22:48 Starting examples/opentheory
Jul 09 03:31:18 Finished examples/opentheory                                   8m29s   4GB
Jul 09 03:31:19 Starting examples/opentheory/compilation
Jul 09 03:32:53 Finished examples/opentheory/compilation                       1m33s   6GB
Jul 09 03:32:54 Starting examples/opentheory/compilation/proofs
Jul 09 03:33:57 Finished examples/opentheory/compilation/proofs                1m02s   4GB
Jul 09 03:33:58 Starting examples/opentheory/compilation/ag32
Jul 09 03:35:36 Finished examples/opentheory/compilation/ag32                  1m36s   7GB
Jul 09 03:35:37 Starting examples/opentheory/compilation/ag32/proofs
Jul 09 03:37:14 Finished examples/opentheory/compilation/ag32/proofs           1m36s   8GB
Jul 09 03:37:15 Starting examples/sat_encodings
Jul 09 03:38:16 Finished examples/sat_encodings                                  59s 910MB
Jul 09 03:38:16 Starting examples/sat_encodings/demo
Jul 09 03:38:17 Finished examples/sat_encodings/demo                              0s  11MB
Jul 09 03:38:18 Starting examples/sat_encodings/case_studies
Jul 09 03:39:59 Finished examples/sat_encodings/case_studies                   1m40s   1GB
Jul 09 03:40:00 Starting examples/sat_encodings/translation
Jul 09 03:43:38 Finished examples/sat_encodings/translation                    3m37s   2GB
Jul 09 03:43:39 Starting examples/sat_encodings/translation/compilation
Jul 09 03:45:34 Finished examples/sat_encodings/translation/compilation        1m53s   4GB
Jul 09 03:45:35 Starting examples/deflate
Jul 09 03:46:03 Finished examples/deflate                                        26s 699MB
Jul 09 03:46:04 Starting examples/deflate/translation
Jul 09 03:47:08 Finished examples/deflate/translation                          1m03s   4GB
Jul 09 03:47:09 Starting examples/deflate/translation/compilation
Jul 09 03:48:01 Finished examples/deflate/translation/compilation                50s   3GB
Jul 09 03:48:01 Starting examples/vipr
Jul 09 03:51:27 Finished examples/vipr                                         3m24s   9GB
Jul 09 03:51:28 Starting examples/vipr/compilation
Jul 09 03:52:24 Finished examples/vipr/compilation                               55s   4GB
Jul 09 03:52:25 Starting translator/okasaki-examples
Jul 09 03:56:29 Finished translator/okasaki-examples                           4m03s   3GB
Jul 09 03:56:30 Starting translator/other-examples
Jul 09 03:57:20 Finished translator/other-examples                               48s   3GB
Jul 09 03:57:21 Starting translator/other-examples/auxiliary
Jul 09 03:57:22 Finished translator/other-examples/auxiliary                      0s  13MB
Jul 09 03:57:23 Starting compiler/parsing/tests
Jul 09 03:57:57 Finished compiler/parsing/tests                                  33s   1GB
Jul 09 03:57:58 Starting compiler/inference/tests
Jul 09 03:58:34 Finished compiler/inference/tests                                35s   2GB
Jul 09 03:58:35 Starting compiler/printing/test
Jul 09 03:59:47 Finished compiler/printing/test                                1m12s   5GB
Jul 09 03:59:48 Starting icing/flover
Jul 09 04:32:13 Finished icing/flover                                         32m22s   2GB
Jul 09 04:32:14 Starting icing/flover/Infra
Jul 09 04:32:15 Finished icing/flover/Infra                                       0s  13MB
Jul 09 04:32:16 Starting icing/flover/semantics
Jul 09 04:32:17 Finished icing/flover/semantics                                   0s  14MB
Jul 09 04:32:18 Starting icing/
Jul 09 04:58:35 Finished icing/                                               26m14s   4GB
Jul 09 04:58:35 Starting icing/examples
Jul 09 05:00:02 Finished icing/examples                                        1m25s   7GB
Jul 09 05:00:03 Starting compiler/repl
Jul 09 05:07:15 Finished compiler/repl                                         7m10s   6GB
Jul 09 05:07:16 Starting unverified/sexpr-bootstrap/x64/64
Jul 09 05:11:25 Finished unverified/sexpr-bootstrap/x64/64                     3m57s  17GB
Jul 09 05:11:26 Starting unverified/sexpr-bootstrap/x64/32
Jul 09 05:15:33 Finished unverified/sexpr-bootstrap/x64/32                     3m54s  14GB
Jul 09 05:15:34 Starting compiler/benchmarks
Jul 09 05:16:19 Finished compiler/benchmarks                                     44s 711MB
Jul 09 05:16:20 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jul 09 05:16:23 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 250MB
Jul 09 05:16:24 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jul 09 05:16:27 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 247MB
Jul 09 05:16:28 Starting compiler/bootstrap/compilation/x64/64
Jul 09 05:43:13 Finished compiler/bootstrap/compilation/x64/64                26m24s  96GB
Jul 09 05:43:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 09 06:07:10 Finished compiler/bootstrap/compilation/x64/64/proofs         23m54s  48GB
Jul 09 06:07:11 Starting compiler/bootstrap/compilation/x64/32
Jul 09 06:35:26 Finished compiler/bootstrap/compilation/x64/32                28m00s  81GB
Jul 09 06:35:27 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 09 06:39:37 Finished compiler/bootstrap/compilation/x64/32/proofs          4m09s  24GB
Jul 09 06:39:38 Starting compiler/bootstrap/compilation/arm8/64
Jul 09 07:22:22 Finished compiler/bootstrap/compilation/arm8/64               42m27s 125GB
Jul 09 07:22:23 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jul 09 07:28:19 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m55s  32GB
Jul 09 07:28:20 Starting compiler/bootstrap/compilation/ag32/32
Jul 09 07:58:36 Finished compiler/bootstrap/compilation/ag32/32               30m14s 101GB
Jul 09 07:58:37 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 09 08:03:18 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m40s  30GB
Jul 09 08:03:19 SUCCESS