Job 3259

CakeML:6b707a8945ef4b14980d66fcc0584d5b423d8c85
  speedup two proofs in data_to_wordProof [Mar 11 13:31:40]
HOL:0ae7030322cdf2b0d46dc9d5503e2d5eae2fa726
  Merge remote-tracking branch 'origin/develop' into mcandidate [Mar 13 02:39:37]
Machine:pavlova
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Mar 13 08:11:31 Claimed job
Mar 13 08:11:37 Building HOL
Mar 13 08:23:34 Starting developers
Mar 13 08:23:40 Finished developers                                               4s 113MB
Mar 13 08:23:41 Starting developers/bin
Mar 13 08:23:45 Finished developers/bin                                           3s  90MB
Mar 13 08:23:46 Starting misc
Mar 13 08:24:45 Finished misc                                                    57s   1GB
Mar 13 08:24:46 Starting compiler/proofs
Mar 13 09:25:35 Finished compiler/proofs                                    1h00m46s  10GB
Mar 13 09:25:36 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 13 15:16:26 Finished compiler/bootstrap/compilation/x64/64/proofs       5h50m48s 106GB
Mar 13 15:16:27 Starting semantics/ffi
Mar 13 15:16:38 Finished semantics/ffi                                            9s 566MB
Mar 13 15:16:39 Starting semantics
Mar 13 15:16:41 Finished semantics                                                1s  91MB
Mar 13 15:16:43 Starting semantics/proofs
Mar 13 15:17:05 Finished semantics/proofs                                        21s 656MB
Mar 13 15:17:06 Starting semantics/alt_semantics
Mar 13 15:17:23 Finished semantics/alt_semantics                                 16s 554MB
Mar 13 15:17:24 Starting semantics/alt_semantics/proofs
Mar 13 15:20:43 Finished semantics/alt_semantics/proofs                        3m17s   2GB
Mar 13 15:20:44 Starting basis/pure
Mar 13 15:20:46 Finished basis/pure                                               0s  85MB
Mar 13 15:20:48 Starting translator
Mar 13 15:21:50 Finished translator                                            1m01s   3GB
Mar 13 15:21:51 Starting compiler/parsing
Mar 13 15:21:54 Finished compiler/parsing                                         1s 102MB
Mar 13 15:21:55 Starting characteristic
Mar 13 15:21:57 Finished characteristic                                           1s 121MB
Mar 13 15:21:58 Starting translator/monadic
Mar 13 15:22:01 Finished translator/monadic                                       1s 123MB
Mar 13 15:22:02 Starting translator/monadic/monad_base
Mar 13 15:22:04 Finished translator/monadic/monad_base                            0s  88MB
Mar 13 15:22:05 Starting profiler
Mar 13 15:22:36 Finished profiler                                                29s   1GB
Mar 13 15:22:37 Starting basis
Mar 13 15:24:15 Finished basis                                                 1m36s   4GB
Mar 13 15:24:17 Starting compiler
Mar 13 15:24:20 Finished compiler                                                 2s 224MB
Mar 13 15:24:21 Starting compiler/inference
Mar 13 15:24:24 Finished compiler/inference                                       1s 116MB
Mar 13 15:24:25 Starting compiler/backend/reg_alloc
Mar 13 15:24:27 Finished compiler/backend/reg_alloc                               1s  94MB
Mar 13 15:24:28 Starting compiler/backend/gc
Mar 13 15:24:31 Finished compiler/backend/gc                                      1s 146MB
Mar 13 15:24:32 Starting compiler/backend
Mar 13 15:24:38 Finished compiler/backend                                         4s 244MB
Mar 13 15:24:39 Starting compiler/encoders/asm
Mar 13 15:24:41 Finished compiler/encoders/asm                                    1s 107MB
Mar 13 15:24:42 Starting compiler/encoders/x64
Mar 13 15:24:45 Finished compiler/encoders/x64                                    1s 109MB
Mar 13 15:24:46 Starting compiler/encoders/arm7
Mar 13 15:24:48 Finished compiler/encoders/arm7                                   1s 108MB
Mar 13 15:24:49 Starting compiler/encoders/arm8
Mar 13 15:24:51 Finished compiler/encoders/arm8                                   1s 109MB
Mar 13 15:24:53 Starting compiler/encoders/arm8_asl
Mar 13 18:55:01 Finished compiler/encoders/arm8_asl                         3h30m06s  38GB
Mar 13 18:55:02 Starting compiler/encoders/mips
Mar 13 18:55:04 Finished compiler/encoders/mips                                   1s  99MB
Mar 13 18:55:05 Starting compiler/encoders/riscv
Mar 13 18:55:07 Finished compiler/encoders/riscv                                  1s 108MB
Mar 13 18:55:08 Starting compiler/encoders/ag32
Mar 13 18:55:11 Finished compiler/encoders/ag32                                   1s 107MB
Mar 13 18:55:12 Starting compiler/encoders/tests
Mar 13 18:55:14 Finished compiler/encoders/tests                                  1s 125MB
Mar 13 18:55:16 Starting compiler/encoders/monadic_enc
Mar 13 18:55:40 Finished compiler/encoders/monadic_enc                           22s   1GB
Mar 13 18:55:41 Starting compiler/backend/x64
Mar 13 18:55:43 Finished compiler/backend/x64                                     1s 137MB
Mar 13 18:55:45 Starting compiler/backend/arm7
Mar 13 18:55:47 Finished compiler/backend/arm7                                    1s 137MB
Mar 13 18:55:48 Starting compiler/backend/arm8
Mar 13 18:55:51 Finished compiler/backend/arm8                                    1s 148MB
Mar 13 18:55:52 Starting compiler/backend/mips
Mar 13 18:55:55 Finished compiler/backend/mips                                    1s 137MB
Mar 13 18:55:56 Starting compiler/backend/riscv
Mar 13 18:55:59 Finished compiler/backend/riscv                                   1s 137MB
Mar 13 18:56:00 Starting compiler/backend/ag32
Mar 13 18:56:57 Finished compiler/backend/ag32                                   56s   2GB
Mar 13 18:56:58 Starting compiler/backend/pattern_matching
Mar 13 18:57:00 Finished compiler/backend/pattern_matching                        0s  89MB
Mar 13 18:57:01 Starting compiler/parsing/ocaml
Mar 13 18:58:47 Finished compiler/parsing/ocaml                                1m44s   1GB
Mar 13 18:58:48 Starting compiler/printing
Mar 13 18:59:43 Finished compiler/printing                                       53s   1GB
Mar 13 18:59:44 Starting compiler/parsing/proofs
Mar 13 18:59:46 Finished compiler/parsing/proofs                                  1s 101MB
Mar 13 18:59:47 Starting compiler/inference/proofs
Mar 13 18:59:50 Finished compiler/inference/proofs                                1s 117MB
Mar 13 18:59:51 Starting compiler/backend/semantics
Mar 13 19:02:28 Finished compiler/backend/semantics                            2m36s   3GB
Mar 13 19:02:29 Starting compiler/backend/reg_alloc/proofs
Mar 13 19:02:32 Finished compiler/backend/reg_alloc/proofs                        1s 123MB
Mar 13 19:02:33 Starting compiler/backend/proofs
Mar 13 19:03:14 Finished compiler/backend/proofs                                 39s   3GB
Mar 13 19:03:15 Starting compiler/backend/serialiser
Mar 13 19:03:18 Finished compiler/backend/serialiser                              1s 155MB
Mar 13 19:03:19 Starting compiler/encoders/x64/proofs
Mar 13 19:03:21 Finished compiler/encoders/x64/proofs                             1s 113MB
Mar 13 19:03:23 Starting compiler/encoders/arm7/proofs
Mar 13 19:14:05 Finished compiler/encoders/arm7/proofs                        10m41s  11GB
Mar 13 19:14:06 Starting compiler/encoders/arm8/proofs
Mar 13 19:20:24 Finished compiler/encoders/arm8/proofs                         6m16s   4GB
Mar 13 19:20:25 Starting compiler/encoders/arm8_asl/proofs
Mar 13 20:08:32 Finished compiler/encoders/arm8_asl/proofs                    48m05s  18GB
Mar 13 20:08:34 Starting compiler/encoders/mips/proofs
Mar 13 20:17:49 Finished compiler/encoders/mips/proofs                         9m14s  14GB
Mar 13 20:17:50 Starting compiler/encoders/riscv/proofs
Mar 13 20:25:56 Finished compiler/encoders/riscv/proofs                        8m04s   6GB
Mar 13 20:25:57 Starting compiler/encoders/ag32/proofs
Mar 13 20:28:28 Finished compiler/encoders/ag32/proofs                         2m30s   2GB
Mar 13 20:28:29 Starting compiler/backend/x64/proofs
Mar 13 20:28:33 Finished compiler/backend/x64/proofs                              2s 212MB
Mar 13 20:28:34 Starting compiler/backend/arm7/proofs
Mar 13 20:29:10 Finished compiler/backend/arm7/proofs                            34s   2GB
Mar 13 20:29:11 Starting compiler/backend/arm8/proofs
Mar 13 20:29:44 Finished compiler/backend/arm8/proofs                            32s   2GB
Mar 13 20:29:46 Starting compiler/backend/arm8_asl
Mar 13 20:30:12 Finished compiler/backend/arm8_asl                               25s   2GB
Mar 13 20:30:14 Starting compiler/backend/mips/proofs
Mar 13 20:30:48 Finished compiler/backend/mips/proofs                            33s   2GB
Mar 13 20:30:50 Starting compiler/backend/riscv/proofs
Mar 13 20:31:28 Finished compiler/backend/riscv/proofs                           37s   2GB
Mar 13 20:31:29 Starting compiler/backend/ag32/proofs
Mar 13 20:39:04 Finished compiler/backend/ag32/proofs                          7m33s   4GB
Mar 13 20:39:05 Starting compiler/backend/cv_compute
Mar 13 20:39:32 Finished compiler/backend/cv_compute                             26s   1GB
Mar 13 20:39:33 Starting cv_translator
Mar 13 20:44:26 Finished cv_translator                                         4m51s   5GB
Mar 13 20:44:27 Starting candle
Mar 13 20:44:28 Finished candle                                                   0s  16MB
Mar 13 20:44:29 Starting candle/set-theory
Mar 13 20:44:58 Finished candle/set-theory                                       27s 949MB
Mar 13 20:44:59 Starting candle/syntax-lib
Mar 13 20:45:01 Finished candle/syntax-lib                                        0s  83MB
Mar 13 20:45:02 Starting candle/standard
Mar 13 20:45:03 Finished candle/standard                                          0s  15MB
Mar 13 20:45:04 Starting candle/standard/syntax
Mar 13 20:45:18 Finished candle/standard/syntax                                  13s 768MB
Mar 13 20:45:20 Starting candle/standard/semantics
Mar 13 20:47:26 Finished candle/standard/semantics                             2m05s   2GB
Mar 13 20:47:27 Starting candle/standard/monadic
Mar 13 20:47:29 Finished candle/standard/monadic                                  1s 119MB
Mar 13 20:47:31 Starting candle/standard/ml_kernel
Mar 13 20:49:22 Finished candle/standard/ml_kernel                             1m50s   4GB
Mar 13 20:49:23 Starting candle/overloading
Mar 13 20:49:25 Finished candle/overloading                                       0s  15MB
Mar 13 20:49:26 Starting candle/overloading/syntax
Mar 13 20:52:23 Finished candle/overloading/syntax                             2m56s   3GB
Mar 13 20:52:24 Starting candle/overloading/semantics
Mar 13 21:01:12 Finished candle/overloading/semantics                          8m46s   9GB
Mar 13 21:01:13 Starting candle/overloading/monadic
Mar 13 21:03:05 Finished candle/overloading/monadic                            1m50s   1GB
Mar 13 21:03:07 Starting candle/overloading/ml_kernel
Mar 13 21:09:35 Finished candle/overloading/ml_kernel                          6m27s   7GB
Mar 13 21:09:37 Starting candle/overloading/ml_checker
Mar 13 21:11:57 Finished candle/overloading/ml_checker                         2m19s   6GB
Mar 13 21:11:58 Starting candle/prover
Mar 13 21:12:01 Finished candle/prover                                            2s 172MB
Mar 13 21:12:02 Starting candle/prover/compute
Mar 13 21:12:05 Finished candle/prover/compute                                    1s 154MB
Mar 13 21:12:07 Starting pancake
Mar 13 21:12:09 Finished pancake                                                  1s 141MB
Mar 13 21:12:10 Starting pancake/semantics
Mar 13 21:14:51 Finished pancake/semantics                                     2m39s   2GB
Mar 13 21:14:52 Starting pancake/parser
Mar 13 21:15:22 Finished pancake/parser                                          29s 510MB
Mar 13 21:15:24 Starting pancake/static_checker
Mar 13 21:16:31 Finished pancake/static_checker                                1m06s   1GB
Mar 13 21:16:32 Starting pancake/proofs
Mar 13 21:31:55 Finished pancake/proofs                                       15m21s   5GB
Mar 13 21:31:56 Starting compiler/dafny
Mar 13 21:32:20 Finished compiler/dafny                                          23s 742MB
Mar 13 21:32:21 Starting compiler/dafny/translation
Mar 13 21:41:19 Finished compiler/dafny/translation                            8m56s   6GB
Mar 13 21:41:20 Starting compiler/dafny/compilation
Mar 13 21:43:09 Finished compiler/dafny/compilation                            1m47s   6GB
Mar 13 21:43:10 Starting compiler/dafny/semantics
Mar 13 21:43:48 Finished compiler/dafny/semantics                                36s 585MB
Mar 13 21:43:49 Starting compiler/dafny/proofs
Mar 13 21:45:17 Finished compiler/dafny/proofs                                 1m27s   2GB
Mar 13 21:45:18 Starting compiler/dafny/vcg
Mar 13 21:45:21 Finished compiler/dafny/vcg                                       1s 110MB
Mar 13 21:45:22 Starting compiler/dafny/vcg/examples
Mar 13 21:45:49 Finished compiler/dafny/vcg/examples                             26s   1GB
Mar 13 21:45:50 Starting compiler/scheme
Mar 13 21:46:18 Finished compiler/scheme                                         26s   1GB
Mar 13 21:46:19 Starting compiler/scheme/translation
Mar 13 21:52:21 Finished compiler/scheme/translation                           6m00s   8GB
Mar 13 21:52:22 Starting compiler/scheme/compilation
Mar 13 21:53:43 Finished compiler/scheme/compilation                           1m19s   4GB
Mar 13 21:53:44 Starting compiler/scheme/proofs
Mar 13 21:59:15 Finished compiler/scheme/proofs                                5m30s   3GB
Mar 13 21:59:17 Starting characteristic/examples
Mar 13 22:00:41 Finished characteristic/examples                               1m22s   5GB
Mar 13 22:00:42 Starting tutorial/solutions
Mar 13 22:03:15 Finished tutorial/solutions                                    2m31s   3GB
Mar 13 22:03:16 Starting translator/monadic/examples
Mar 13 22:06:12 Finished translator/monadic/examples                           2m55s   4GB
Mar 13 22:06:14 Starting examples
Mar 13 22:10:38 Finished examples                                              4m22s   5GB
Mar 13 22:10:39 Starting examples/compilation
Mar 13 22:10:40 Finished examples/compilation                                     0s  15MB
Mar 13 22:10:41 Starting examples/compilation/x64
Mar 13 22:17:58 Finished examples/compilation/x64                              7m15s   4GB
Mar 13 22:17:59 Starting examples/compilation/x64/proofs
Mar 13 22:20:41 Finished examples/compilation/x64/proofs                       2m40s   4GB
Mar 13 22:20:42 Starting examples/compilation/ag32
Mar 13 22:22:56 Finished examples/compilation/ag32                             2m13s   3GB
Mar 13 22:22:58 Starting examples/compilation/ag32/proofs
Mar 13 22:24:05 Finished examples/compilation/ag32/proofs                      1m06s   4GB
Mar 13 22:24:06 Starting examples/lpr_checker
Mar 13 22:24:42 Finished examples/lpr_checker                                    34s   1GB
Mar 13 22:24:44 Starting examples/lpr_checker/array
Mar 13 22:35:45 Finished examples/lpr_checker/array                           11m00s  11GB
Mar 13 22:35:46 Starting examples/lpr_checker/array/compilation
Mar 13 22:39:13 Finished examples/lpr_checker/array/compilation                3m25s   6GB
Mar 13 22:39:14 Starting examples/lpr_checker/array/compilation/proofs
Mar 13 22:40:29 Finished examples/lpr_checker/array/compilation/proofs         1m13s   4GB
Mar 13 22:40:30 Starting examples/lpr_checker/array/compilation/proofsARM8
Mar 13 22:41:43 Finished examples/lpr_checker/array/compilation/proofsARM8     1m12s   5GB
Mar 13 22:41:44 Starting .
Mar 13 22:41:49 Finished .                                                        3s 356MB
Mar 13 22:41:50 Starting examples/xlrup_checker
Mar 13 22:42:42 Finished examples/xlrup_checker                                  50s   1GB
Mar 13 22:42:43 Starting examples/xlrup_checker/array
Mar 13 22:50:57 Finished examples/xlrup_checker/array                          8m12s   4GB
Mar 13 22:50:58 Starting examples/xlrup_checker/array/compilation
Mar 13 22:52:16 Finished examples/xlrup_checker/array/compilation              1m17s   5GB
Mar 13 22:52:17 Starting examples/xlrup_checker/array/compilation/proofs
Mar 13 22:53:25 Finished examples/xlrup_checker/array/compilation/proofs       1m06s   4GB
Mar 13 22:53:26 Starting examples/scpog_checker
Mar 13 22:54:12 Finished examples/scpog_checker                                  45s   2GB
Mar 13 22:54:14 Starting examples/scpog_checker/array
Mar 13 22:59:26 Finished examples/scpog_checker/array                          5m11s   6GB
Mar 13 22:59:27 Starting examples/scpog_checker/array/compilation
Mar 13 23:01:30 Finished examples/scpog_checker/array/compilation              2m01s   8GB
Mar 13 23:01:31 Starting examples/scpog_checker/array/compilation/proofs
Mar 13 23:02:43 Finished examples/scpog_checker/array/compilation/proofs       1m11s   5GB
Mar 13 23:02:44 Starting examples/pseudo_bool
Mar 13 23:04:40 Finished examples/pseudo_bool                                  1m54s   2GB
Mar 13 23:04:41 Starting examples/pseudo_bool/cnf_encoding
Mar 13 23:05:13 Finished examples/pseudo_bool/cnf_encoding                       30s   1GB
Mar 13 23:05:14 Starting examples/pseudo_bool/graph_encoding
Mar 13 23:06:00 Finished examples/pseudo_bool/graph_encoding                     44s   1GB
Mar 13 23:06:01 Starting examples/pseudo_bool/array
Mar 13 23:37:23 Finished examples/pseudo_bool/array                           31m19s  22GB
Mar 13 23:37:24 Starting examples/pseudo_bool/array/compilation
Mar 13 23:48:19 Finished examples/pseudo_bool/array/compilation               10m53s  20GB
Mar 13 23:48:20 Starting examples/pseudo_bool/array/compilation/proofs
Mar 13 23:51:19 Finished examples/pseudo_bool/array/compilation/proofs         2m57s   6GB
Mar 13 23:51:20 Starting examples/pseudo_bool/array/compilation/proofsARM8
Mar 13 23:52:45 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m23s   6GB
Mar 13 23:52:46 Starting examples/opentheory
Mar 13 23:59:40 Finished examples/opentheory                                   6m53s   5GB
Mar 13 23:59:41 Starting examples/opentheory/compilation
Mar 14 00:01:24 Finished examples/opentheory/compilation                       1m41s   5GB
Mar 14 00:01:25 Starting examples/opentheory/compilation/proofs
Mar 14 00:02:34 Finished examples/opentheory/compilation/proofs                1m07s   4GB
Mar 14 00:02:35 Starting examples/opentheory/compilation/ag32
Mar 14 00:04:19 Finished examples/opentheory/compilation/ag32                  1m42s   6GB
Mar 14 00:04:20 Starting examples/opentheory/compilation/ag32/proofs
Mar 14 00:05:44 Finished examples/opentheory/compilation/ag32/proofs           1m23s   7GB
Mar 14 00:05:45 Starting examples/sat_encodings
Mar 14 00:06:51 Finished examples/sat_encodings                                1m04s 779MB
Mar 14 00:06:52 Starting examples/sat_encodings/demo
Mar 14 00:06:53 Finished examples/sat_encodings/demo                              0s  14MB
Mar 14 00:06:54 Starting examples/sat_encodings/case_studies
Mar 14 00:08:36 Finished examples/sat_encodings/case_studies                   1m40s   1GB
Mar 14 00:08:37 Starting examples/sat_encodings/translation
Mar 14 00:11:56 Finished examples/sat_encodings/translation                    3m17s   3GB
Mar 14 00:11:57 Starting examples/sat_encodings/translation/compilation
Mar 14 00:14:02 Finished examples/sat_encodings/translation/compilation        2m03s   4GB
Mar 14 00:14:04 Starting examples/deflate
Mar 14 00:14:26 Finished examples/deflate                                        21s 447MB
Mar 14 00:14:27 Starting examples/deflate/translation
Mar 14 00:15:21 Finished examples/deflate/translation                            52s   3GB
Mar 14 00:15:22 Starting examples/deflate/translation/compilation
Mar 14 00:16:21 Finished examples/deflate/translation/compilation                57s   3GB
Mar 14 00:16:22 Starting examples/vipr
Mar 14 00:19:34 Finished examples/vipr                                         3m10s   7GB
Mar 14 00:19:35 Starting examples/vipr/compilation
Mar 14 00:20:36 Finished examples/vipr/compilation                               59s   4GB
Mar 14 00:20:37 Starting examples/template
Mar 14 00:20:40 Finished examples/template                                        2s 153MB
Mar 14 00:20:41 Starting examples/template/translation
Mar 14 00:21:04 Finished examples/template/translation                           20s 900MB
Mar 14 00:21:05 Starting examples/template/compilation
Mar 14 00:22:09 Finished examples/template/compilation                         1m03s   4GB
Mar 14 00:22:10 Starting translator/okasaki-examples
Mar 14 00:25:17 Finished translator/okasaki-examples                           3m05s   2GB
Mar 14 00:25:18 Starting translator/other-examples
Mar 14 00:27:41 Finished translator/other-examples                             2m22s   2GB
Mar 14 00:27:42 Starting translator/other-examples/auxiliary
Mar 14 00:27:44 Finished translator/other-examples/auxiliary                      0s  21MB
Mar 14 00:27:45 Starting compiler/parsing/tests
Mar 14 00:28:22 Finished compiler/parsing/tests                                  36s   1GB
Mar 14 00:28:23 Starting compiler/inference/tests
Mar 14 00:29:04 Finished compiler/inference/tests                                39s   3GB
Mar 14 00:29:05 Starting compiler/printing/test
Mar 14 00:31:51 Finished compiler/printing/test                                2m44s  16GB
Mar 14 00:31:52 Starting compiler/repl
Mar 14 00:31:56 Finished compiler/repl                                            2s 248MB
Mar 14 00:31:57 Starting compiler/benchmarks
Mar 14 00:32:52 Finished compiler/benchmarks                                     53s 747MB
Mar 14 00:32:53 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Mar 14 00:32:57 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 259MB
Mar 14 00:32:58 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Mar 14 00:33:02 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 264MB
Mar 14 00:33:04 Starting compiler/bootstrap/translation
Mar 14 02:26:11 Finished compiler/bootstrap/translation                     1h53m05s  80GB
Mar 14 02:26:12 Starting compiler/bootstrap/compilation/x64/64
Mar 14 02:29:41 Finished compiler/bootstrap/compilation/x64/64                 3m16s  18GB
Mar 14 02:29:42 Starting compiler/bootstrap/compilation/x64/32
Mar 14 02:58:45 Finished compiler/bootstrap/compilation/x64/32                28m54s  78GB
Mar 14 02:58:46 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 14 03:03:16 Finished compiler/bootstrap/compilation/x64/32/proofs          4m27s  23GB
Mar 14 03:03:17 Starting compiler/bootstrap/compilation/arm8/64
Mar 14 03:47:35 Finished compiler/bootstrap/compilation/arm8/64               44m09s  96GB
Mar 14 03:47:36 Starting compiler/bootstrap/compilation/arm8/64/proofs
Mar 14 03:53:35 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m57s  31GB
Mar 14 03:53:36 Starting compiler/bootstrap/compilation/ag32/32
Mar 14 04:24:06 Finished compiler/bootstrap/compilation/ag32/32               30m28s  84GB
Mar 14 04:24:07 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 14 04:29:43 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m34s  31GB
Mar 14 04:29:44 SUCCESS