Job 3258

CakeML:bc1f0edb18448f01fd6c1256e6ca1e95af317d9a
  update vimap heuristic [Mar 07 19:38:49]
#1353 (pbdiv)
Merging into:6b707a8945ef4b14980d66fcc0584d5b423d8c85
  speedup two proofs in data_to_wordProof [Mar 11 13:31:40]
HOL:e6d0417424f6e780d9ef01ffce6d7f69f789a706
  Mention change in remove_user_printer's type in release notes [Feb 27 23:41:15]
Machine:pavlova

Mar 12 16:00:49 Claimed job
Mar 12 16:00:54 Reusing HOL
Mar 12 16:01:06 Starting developers
Mar 12 16:01:11 Finished developers                                               4s 167MB
Mar 12 16:01:12 Starting developers/bin
Mar 12 16:01:17 Finished developers/bin                                           3s  90MB
Mar 12 16:01:19 Starting misc
Mar 12 16:02:03 Finished misc                                                    43s   1GB
Mar 12 16:02:04 Starting compiler/proofs
Mar 12 17:01:22 Finished compiler/proofs                                      59m16s  12GB
Mar 12 17:01:23 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 12 22:48:12 Finished compiler/bootstrap/compilation/x64/64/proofs       5h46m45s  90GB
Mar 12 22:48:13 Starting semantics/ffi
Mar 12 22:48:24 Finished semantics/ffi                                           10s 550MB
Mar 12 22:48:25 Starting semantics
Mar 12 22:48:27 Finished semantics                                                1s  91MB
Mar 12 22:48:29 Starting semantics/proofs
Mar 12 22:48:50 Finished semantics/proofs                                        20s 728MB
Mar 12 22:48:51 Starting semantics/alt_semantics
Mar 12 22:49:09 Finished semantics/alt_semantics                                 16s 613MB
Mar 12 22:49:10 Starting semantics/alt_semantics/proofs
Mar 12 22:52:28 Finished semantics/alt_semantics/proofs                        3m16s   1GB
Mar 12 22:52:29 Starting basis/pure
Mar 12 22:52:31 Finished basis/pure                                               0s  81MB
Mar 12 22:52:32 Starting translator
Mar 12 22:53:37 Finished translator                                            1m03s   2GB
Mar 12 22:53:38 Starting compiler/parsing
Mar 12 22:53:40 Finished compiler/parsing                                         1s  93MB
Mar 12 22:53:41 Starting characteristic
Mar 12 22:53:44 Finished characteristic                                           1s 115MB
Mar 12 22:53:45 Starting translator/monadic
Mar 12 22:53:47 Finished translator/monadic                                       1s 114MB
Mar 12 22:53:49 Starting translator/monadic/monad_base
Mar 12 22:53:51 Finished translator/monadic/monad_base                            1s  89MB
Mar 12 22:53:52 Starting profiler
Mar 12 22:54:22 Finished profiler                                                29s   1GB
Mar 12 22:54:23 Starting basis
Mar 12 22:56:01 Finished basis                                                 1m36s   4GB
Mar 12 22:56:02 Starting compiler
Mar 12 22:56:06 Finished compiler                                                 2s 214MB
Mar 12 22:56:07 Starting compiler/inference
Mar 12 22:56:09 Finished compiler/inference                                       1s 120MB
Mar 12 22:56:10 Starting compiler/backend/reg_alloc
Mar 12 22:56:13 Finished compiler/backend/reg_alloc                               1s  91MB
Mar 12 22:56:14 Starting compiler/backend/gc
Mar 12 22:56:17 Finished compiler/backend/gc                                      1s 137MB
Mar 12 22:56:18 Starting compiler/backend
Mar 12 22:56:24 Finished compiler/backend                                         5s 260MB
Mar 12 22:56:25 Starting compiler/encoders/asm
Mar 12 22:56:27 Finished compiler/encoders/asm                                    1s 101MB
Mar 12 22:56:29 Starting compiler/encoders/x64
Mar 12 22:56:31 Finished compiler/encoders/x64                                    1s 110MB
Mar 12 22:56:32 Starting compiler/encoders/arm7
Mar 12 22:56:34 Finished compiler/encoders/arm7                                   1s 105MB
Mar 12 22:56:35 Starting compiler/encoders/arm8
Mar 12 22:56:38 Finished compiler/encoders/arm8                                   1s 112MB
Mar 12 22:56:39 Starting compiler/encoders/arm8_asl
Mar 12 22:57:38 Finished compiler/encoders/arm8_asl                              57s  19GB
Mar 12 22:57:39 Starting compiler/encoders/mips
Mar 12 22:57:41 Finished compiler/encoders/mips                                   1s 107MB
Mar 12 22:57:42 Starting compiler/encoders/riscv
Mar 12 22:57:45 Finished compiler/encoders/riscv                                  1s 107MB
Mar 12 22:57:46 Starting compiler/encoders/ag32
Mar 12 22:57:48 Finished compiler/encoders/ag32                                   1s 104MB
Mar 12 22:57:49 Starting compiler/encoders/tests
Mar 12 22:57:52 Finished compiler/encoders/tests                                  1s 124MB
Mar 12 22:57:53 Starting compiler/encoders/monadic_enc
Mar 12 22:58:17 Finished compiler/encoders/monadic_enc                           22s   1GB
Mar 12 22:58:18 Starting compiler/backend/x64
Mar 12 22:58:21 Finished compiler/backend/x64                                     1s 142MB
Mar 12 22:58:22 Starting compiler/backend/arm7
Mar 12 22:58:25 Finished compiler/backend/arm7                                    1s 141MB
Mar 12 22:58:26 Starting compiler/backend/arm8
Mar 12 22:58:28 Finished compiler/backend/arm8                                    1s 142MB
Mar 12 22:58:30 Starting compiler/backend/mips
Mar 12 22:58:32 Finished compiler/backend/mips                                    1s 142MB
Mar 12 22:58:33 Starting compiler/backend/riscv
Mar 12 22:58:36 Finished compiler/backend/riscv                                   1s 141MB
Mar 12 22:58:37 Starting compiler/backend/ag32
Mar 12 22:59:36 Finished compiler/backend/ag32                                   57s   3GB
Mar 12 22:59:37 Starting compiler/backend/pattern_matching
Mar 12 22:59:39 Finished compiler/backend/pattern_matching                        1s  89MB
Mar 12 22:59:40 Starting compiler/parsing/ocaml
Mar 12 23:01:28 Finished compiler/parsing/ocaml                                1m46s   1GB
Mar 12 23:01:29 Starting compiler/printing
Mar 12 23:02:24 Finished compiler/printing                                       53s   1GB
Mar 12 23:02:25 Starting compiler/parsing/proofs
Mar 12 23:02:27 Finished compiler/parsing/proofs                                  1s  99MB
Mar 12 23:02:29 Starting compiler/inference/proofs
Mar 12 23:02:31 Finished compiler/inference/proofs                                1s 117MB
Mar 12 23:02:32 Starting compiler/backend/semantics
Mar 12 23:05:13 Finished compiler/backend/semantics                            2m40s   3GB
Mar 12 23:05:15 Starting compiler/backend/reg_alloc/proofs
Mar 12 23:05:17 Finished compiler/backend/reg_alloc/proofs                        1s 115MB
Mar 12 23:05:18 Starting compiler/backend/proofs
Mar 12 23:06:00 Finished compiler/backend/proofs                                 40s   2GB
Mar 12 23:06:01 Starting compiler/backend/serialiser
Mar 12 23:06:04 Finished compiler/backend/serialiser                              1s 154MB
Mar 12 23:06:05 Starting compiler/encoders/x64/proofs
Mar 12 23:06:07 Finished compiler/encoders/x64/proofs                             1s 113MB
Mar 12 23:06:08 Starting compiler/encoders/arm7/proofs
Mar 12 23:16:35 Finished compiler/encoders/arm7/proofs                        10m24s   7GB
Mar 12 23:16:36 Starting compiler/encoders/arm8/proofs
Mar 12 23:22:54 Finished compiler/encoders/arm8/proofs                         6m16s   5GB
Mar 12 23:22:55 Starting compiler/encoders/arm8_asl/proofs
Mar 12 23:37:57 Finished compiler/encoders/arm8_asl/proofs                    15m00s   4GB
Mar 12 23:37:58 Starting compiler/encoders/mips/proofs
Mar 12 23:47:00 Finished compiler/encoders/mips/proofs                         9m00s  16GB
Mar 12 23:47:01 Starting compiler/encoders/riscv/proofs
Mar 12 23:55:03 Finished compiler/encoders/riscv/proofs                        7m59s   5GB
Mar 12 23:55:04 Starting compiler/encoders/ag32/proofs
Mar 12 23:57:36 Finished compiler/encoders/ag32/proofs                         2m30s   2GB
Mar 12 23:57:37 Starting compiler/backend/x64/proofs
Mar 12 23:57:40 Finished compiler/backend/x64/proofs                              2s 210MB
Mar 12 23:57:41 Starting compiler/backend/arm7/proofs
Mar 12 23:58:16 Finished compiler/backend/arm7/proofs                            33s   2GB
Mar 12 23:58:17 Starting compiler/backend/arm8/proofs
Mar 12 23:58:50 Finished compiler/backend/arm8/proofs                            31s   1GB
Mar 12 23:58:51 Starting compiler/backend/arm8_asl
Mar 12 23:59:17 Finished compiler/backend/arm8_asl                               24s   2GB
Mar 12 23:59:18 Starting compiler/backend/mips/proofs
Mar 12 23:59:53 Finished compiler/backend/mips/proofs                            34s   2GB
Mar 12 23:59:54 Starting compiler/backend/riscv/proofs
Mar 13 00:00:29 Finished compiler/backend/riscv/proofs                           33s   2GB
Mar 13 00:00:30 Starting compiler/backend/ag32/proofs
Mar 13 00:08:08 Finished compiler/backend/ag32/proofs                          7m36s   5GB
Mar 13 00:08:09 Starting compiler/backend/cv_compute
Mar 13 00:08:36 Finished compiler/backend/cv_compute                             26s   1GB
Mar 13 00:08:37 Starting cv_translator
Mar 13 00:13:19 Finished cv_translator                                         4m40s   4GB
Mar 13 00:13:21 Starting candle
Mar 13 00:13:22 Finished candle                                                   0s  16MB
Mar 13 00:13:23 Starting candle/set-theory
Mar 13 00:13:53 Finished candle/set-theory                                       28s 941MB
Mar 13 00:13:54 Starting candle/syntax-lib
Mar 13 00:13:56 Finished candle/syntax-lib                                        0s  87MB
Mar 13 00:13:57 Starting candle/standard
Mar 13 00:13:58 Finished candle/standard                                          0s  16MB
Mar 13 00:13:59 Starting candle/standard/syntax
Mar 13 00:14:14 Finished candle/standard/syntax                                  13s 784MB
Mar 13 00:14:15 Starting candle/standard/semantics
Mar 13 00:16:23 Finished candle/standard/semantics                             2m05s   2GB
Mar 13 00:16:24 Starting candle/standard/monadic
Mar 13 00:16:26 Finished candle/standard/monadic                                  1s 128MB
Mar 13 00:16:27 Starting candle/standard/ml_kernel
Mar 13 00:18:17 Finished candle/standard/ml_kernel                             1m48s   4GB
Mar 13 00:18:18 Starting candle/overloading
Mar 13 00:18:19 Finished candle/overloading                                       0s  16MB
Mar 13 00:18:20 Starting candle/overloading/syntax
Mar 13 00:21:15 Finished candle/overloading/syntax                             2m53s   2GB
Mar 13 00:21:16 Starting candle/overloading/semantics
Mar 13 00:30:05 Finished candle/overloading/semantics                          8m47s   5GB
Mar 13 00:30:06 Starting candle/overloading/monadic
Mar 13 00:31:58 Finished candle/overloading/monadic                            1m51s   2GB
Mar 13 00:32:00 Starting candle/overloading/ml_kernel
Mar 13 00:38:04 Finished candle/overloading/ml_kernel                          6m02s   6GB
Mar 13 00:38:05 Starting candle/overloading/ml_checker
Mar 13 00:40:24 Finished candle/overloading/ml_checker                         2m17s   6GB
Mar 13 00:40:25 Starting candle/prover
Mar 13 00:40:28 Finished candle/prover                                            2s 169MB
Mar 13 00:40:29 Starting candle/prover/compute
Mar 13 00:40:32 Finished candle/prover/compute                                    1s 166MB
Mar 13 00:40:33 Starting pancake
Mar 13 00:40:36 Finished pancake                                                  1s 140MB
Mar 13 00:40:37 Starting pancake/semantics
Mar 13 00:43:14 Finished pancake/semantics                                     2m35s   1GB
Mar 13 00:43:15 Starting pancake/parser
Mar 13 00:43:46 Finished pancake/parser                                          29s 607MB
Mar 13 00:43:47 Starting pancake/static_checker
Mar 13 00:44:53 Finished pancake/static_checker                                1m05s   1GB
Mar 13 00:44:54 Starting pancake/proofs
Mar 13 01:00:29 Finished pancake/proofs                                       15m32s   5GB
Mar 13 01:00:30 Starting compiler/dafny
Mar 13 01:00:53 Finished compiler/dafny                                          21s 741MB
Mar 13 01:00:54 Starting compiler/dafny/translation
Mar 13 01:10:03 Finished compiler/dafny/translation                            9m07s   6GB
Mar 13 01:10:04 Starting compiler/dafny/compilation
Mar 13 01:11:50 Finished compiler/dafny/compilation                            1m44s   6GB
Mar 13 01:11:51 Starting compiler/dafny/semantics
Mar 13 01:12:29 Finished compiler/dafny/semantics                                36s 582MB
Mar 13 01:12:30 Starting compiler/dafny/proofs
Mar 13 01:13:55 Finished compiler/dafny/proofs                                 1m24s   1GB
Mar 13 01:13:56 Starting compiler/dafny/vcg
Mar 13 01:13:59 Finished compiler/dafny/vcg                                       1s 110MB
Mar 13 01:14:00 Starting compiler/dafny/vcg/examples
Mar 13 01:14:27 Finished compiler/dafny/vcg/examples                             26s   1GB
Mar 13 01:14:29 Starting compiler/scheme
Mar 13 01:14:55 Finished compiler/scheme                                         25s   1GB
Mar 13 01:14:56 Starting compiler/scheme/translation
Mar 13 01:20:51 Finished compiler/scheme/translation                           5m53s   8GB
Mar 13 01:20:52 Starting compiler/scheme/compilation
Mar 13 01:22:14 Finished compiler/scheme/compilation                           1m20s   4GB
Mar 13 01:22:15 Starting compiler/scheme/proofs
Mar 13 01:27:36 Finished compiler/scheme/proofs                                5m20s   4GB
Mar 13 01:27:38 Starting characteristic/examples
Mar 13 01:29:00 Finished characteristic/examples                               1m21s   5GB
Mar 13 01:29:02 Starting tutorial/solutions
Mar 13 01:31:37 Finished tutorial/solutions                                    2m34s   3GB
Mar 13 01:31:38 Starting translator/monadic/examples
Mar 13 01:34:42 Finished translator/monadic/examples                           3m03s   4GB
Mar 13 01:34:43 Starting examples
Mar 13 01:39:05 Finished examples                                              4m19s   5GB
Mar 13 01:39:06 Starting examples/compilation
Mar 13 01:39:08 Finished examples/compilation                                     0s  14MB
Mar 13 01:39:09 Starting examples/compilation/x64
Mar 13 01:46:29 Finished examples/compilation/x64                              7m19s   4GB
Mar 13 01:46:30 Starting examples/compilation/x64/proofs
Mar 13 01:49:14 Finished examples/compilation/x64/proofs                       2m43s   3GB
Mar 13 01:49:15 Starting examples/compilation/ag32
Mar 13 01:51:27 Finished examples/compilation/ag32                             2m10s   3GB
Mar 13 01:51:28 Starting examples/compilation/ag32/proofs
Mar 13 01:52:34 Finished examples/compilation/ag32/proofs                      1m04s   4GB
Mar 13 01:52:35 Starting examples/lpr_checker
Mar 13 01:53:12 Finished examples/lpr_checker                                    35s   1GB
Mar 13 01:53:13 Starting examples/lpr_checker/array
Mar 13 02:04:43 Finished examples/lpr_checker/array                           11m28s  11GB
Mar 13 02:04:44 Starting examples/lpr_checker/array/compilation
Mar 13 02:08:18 Finished examples/lpr_checker/array/compilation                3m32s   6GB
Mar 13 02:08:19 Starting examples/lpr_checker/array/compilation/proofs
Mar 13 02:09:59 Finished examples/lpr_checker/array/compilation/proofs         1m38s   5GB
Mar 13 02:10:00 Starting examples/lpr_checker/array/compilation/proofsARM8
Mar 13 02:11:17 Finished examples/lpr_checker/array/compilation/proofsARM8     1m16s   5GB
Mar 13 02:11:18 Starting .
Mar 13 02:11:23 Finished .                                                        3s 349MB
Mar 13 02:11:24 Starting examples/xlrup_checker
Mar 13 02:12:16 Finished examples/xlrup_checker                                  50s   1GB
Mar 13 02:12:17 Starting examples/xlrup_checker/array
Mar 13 02:20:42 Finished examples/xlrup_checker/array                          8m22s   6GB
Mar 13 02:20:43 Starting examples/xlrup_checker/array/compilation
Mar 13 02:22:03 Finished examples/xlrup_checker/array/compilation              1m19s   5GB
Mar 13 02:22:05 Starting examples/xlrup_checker/array/compilation/proofs
Mar 13 02:23:13 Finished examples/xlrup_checker/array/compilation/proofs       1m07s   4GB
Mar 13 02:23:14 Starting examples/scpog_checker
Mar 13 02:24:03 Finished examples/scpog_checker                                  47s   2GB
Mar 13 02:24:04 Starting examples/scpog_checker/array
Mar 13 02:29:11 Finished examples/scpog_checker/array                          5m05s   4GB
Mar 13 02:29:12 Starting examples/scpog_checker/array/compilation
Mar 13 02:31:15 Finished examples/scpog_checker/array/compilation              2m02s   8GB
Mar 13 02:31:16 Starting examples/scpog_checker/array/compilation/proofs
Mar 13 02:32:32 Finished examples/scpog_checker/array/compilation/proofs       1m14s   5GB
Mar 13 02:32:33 Starting examples/pseudo_bool
Mar 13 02:34:46 Finished examples/pseudo_bool                                  2m11s   2GB
Mar 13 02:34:47 Starting examples/pseudo_bool/cnf_encoding
Mar 13 02:35:20 Finished examples/pseudo_bool/cnf_encoding                       32s   1GB
Mar 13 02:35:22 Starting examples/pseudo_bool/graph_encoding
Mar 13 02:36:06 Finished examples/pseudo_bool/graph_encoding                     43s   1GB
Mar 13 02:36:07 Starting examples/pseudo_bool/array
Mar 13 03:14:00 Finished examples/pseudo_bool/array                           37m50s  29GB
Mar 13 03:14:02 Starting examples/pseudo_bool/array/compilation
Mar 13 03:32:31 Finished examples/pseudo_bool/array/compilation               18m27s  21GB
Mar 13 03:32:32 Starting examples/pseudo_bool/array/compilation/proofs
Mar 13 03:36:49 Finished examples/pseudo_bool/array/compilation/proofs         4m16s   7GB
Mar 13 03:36:50 Starting examples/pseudo_bool/array/compilation/proofsARM8
Mar 13 03:38:15 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m23s   6GB
Mar 13 03:38:16 Starting examples/opentheory
Mar 13 03:45:07 Finished examples/opentheory                                   6m50s   5GB
Mar 13 03:45:08 Starting examples/opentheory/compilation
Mar 13 03:46:50 Finished examples/opentheory/compilation                       1m40s   6GB
Mar 13 03:46:51 Starting examples/opentheory/compilation/proofs
Mar 13 03:48:02 Finished examples/opentheory/compilation/proofs                1m09s   4GB
Mar 13 03:48:03 Starting examples/opentheory/compilation/ag32
Mar 13 03:49:49 Finished examples/opentheory/compilation/ag32                  1m45s   5GB
Mar 13 03:49:50 Starting examples/opentheory/compilation/ag32/proofs
Mar 13 03:51:15 Finished examples/opentheory/compilation/ag32/proofs           1m23s   7GB
Mar 13 03:51:16 Starting examples/sat_encodings
Mar 13 03:52:21 Finished examples/sat_encodings                                1m03s 795MB
Mar 13 03:52:22 Starting examples/sat_encodings/demo
Mar 13 03:52:24 Finished examples/sat_encodings/demo                              0s  16MB
Mar 13 03:52:25 Starting examples/sat_encodings/case_studies
Mar 13 03:54:03 Finished examples/sat_encodings/case_studies                   1m37s   1GB
Mar 13 03:54:04 Starting examples/sat_encodings/translation
Mar 13 03:57:23 Finished examples/sat_encodings/translation                    3m17s   4GB
Mar 13 03:57:24 Starting examples/sat_encodings/translation/compilation
Mar 13 03:59:35 Finished examples/sat_encodings/translation/compilation        2m09s   4GB
Mar 13 03:59:36 Starting examples/deflate
Mar 13 03:59:59 Finished examples/deflate                                        21s 422MB
Mar 13 04:00:00 Starting examples/deflate/translation
Mar 13 04:00:56 Finished examples/deflate/translation                            55s   3GB
Mar 13 04:00:58 Starting examples/deflate/translation/compilation
Mar 13 04:01:55 Finished examples/deflate/translation/compilation                55s   4GB
Mar 13 04:01:56 Starting examples/vipr
Mar 13 04:04:54 Finished examples/vipr                                         2m56s   5GB
Mar 13 04:04:55 Starting examples/vipr/compilation
Mar 13 04:05:59 Finished examples/vipr/compilation                             1m03s   4GB
Mar 13 04:06:00 Starting examples/template
Mar 13 04:06:04 Finished examples/template                                        2s 156MB
Mar 13 04:06:05 Starting examples/template/translation
Mar 13 04:06:25 Finished examples/template/translation                           18s 910MB
Mar 13 04:06:26 Starting examples/template/compilation
Mar 13 04:07:33 Finished examples/template/compilation                         1m06s   4GB
Mar 13 04:07:34 Starting translator/okasaki-examples
Mar 13 04:10:39 Finished translator/okasaki-examples                           3m03s   3GB
Mar 13 04:10:40 Starting translator/other-examples
Mar 13 04:11:31 Finished translator/other-examples                               50s   2GB
Mar 13 04:11:32 Starting translator/other-examples/auxiliary
Mar 13 04:11:34 Finished translator/other-examples/auxiliary                      0s  20MB
Mar 13 04:11:35 Starting compiler/parsing/tests
Mar 13 04:12:13 Finished compiler/parsing/tests                                  36s   1GB
Mar 13 04:12:14 Starting compiler/inference/tests
Mar 13 04:12:57 Finished compiler/inference/tests                                42s   2GB
Mar 13 04:12:58 Starting compiler/printing/test
Mar 13 04:15:54 Finished compiler/printing/test                                2m54s  17GB
Mar 13 04:15:55 Starting compiler/repl
Mar 13 04:15:59 Finished compiler/repl                                            2s 247MB
Mar 13 04:16:00 Starting compiler/benchmarks
Mar 13 04:16:54 Finished compiler/benchmarks                                     53s 747MB
Mar 13 04:16:55 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Mar 13 04:16:59 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 266MB
Mar 13 04:17:01 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Mar 13 04:17:05 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 267MB
Mar 13 04:17:06 Starting compiler/bootstrap/translation
Mar 13 06:09:41 Finished compiler/bootstrap/translation                     1h52m32s  69GB
Mar 13 06:09:43 Starting compiler/bootstrap/compilation/x64/64
Mar 13 06:12:53 Finished compiler/bootstrap/compilation/x64/64                 3m09s  17GB
Mar 13 06:12:54 Starting compiler/bootstrap/compilation/x64/32
Mar 13 06:40:32 Finished compiler/bootstrap/compilation/x64/32                27m36s  48GB
Mar 13 06:40:34 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 13 06:45:28 Finished compiler/bootstrap/compilation/x64/32/proofs          4m53s  23GB
Mar 13 06:45:29 Starting compiler/bootstrap/compilation/arm8/64
Mar 13 07:30:11 Finished compiler/bootstrap/compilation/arm8/64               44m40s 102GB
Mar 13 07:30:12 Starting compiler/bootstrap/compilation/arm8/64/proofs
Mar 13 07:36:20 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m06s  30GB
Mar 13 07:36:21 Starting compiler/bootstrap/compilation/ag32/32
Mar 13 08:06:02 Finished compiler/bootstrap/compilation/ag32/32               29m38s  60GB
Mar 13 08:06:03 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 13 08:11:25 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m21s  33GB
Mar 13 08:11:26 SUCCESS