Job 2963

CakeML:f6eb345c7897adaf0f4973d0213542fa4208e898
  Remove dead code from xletauto [Aug 31 11:48:19]
#1200 (xletautodeadcode)
Merging into:eb3672e5215794add5a5938792918a7af74a4485
  Merge pull request #1224 from CakeML/mcandidate-fix [Sep 02 02:31:18]
HOL:dcf84a0556f94db0ad53525e5ad0aacb09549819
  Remove a stray mention of "Kananaskis" from top-level README.md [Aug 27 00:08:41]
Machine:pavlova

Sep 02 02:34:55 Claimed job
Sep 02 02:34:58 Reusing HOL
Sep 02 02:35:05 Starting developers
Sep 02 02:35:09 Finished developers                                               3s 141MB
Sep 02 02:35:10 Starting developers/bin
Sep 02 02:35:15 Finished developers/bin                                           3s 594MB
Sep 02 02:35:16 Starting misc
Sep 02 02:35:59 Finished misc                                                    42s   2GB
Sep 02 02:36:00 Starting compiler/proofs
Sep 02 03:53:30 Finished compiler/proofs                                    1h17m28s  41GB
Sep 02 03:53:31 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 02 10:13:31 Finished compiler/bootstrap/compilation/x64/64/proofs       6h19m58s  98GB
Sep 02 10:13:32 Starting semantics/ffi
Sep 02 10:13:41 Finished semantics/ffi                                            8s 526MB
Sep 02 10:13:42 Starting semantics
Sep 02 10:13:44 Finished semantics                                                0s  61MB
Sep 02 10:13:44 Starting semantics/proofs
Sep 02 10:14:08 Finished semantics/proofs                                        22s 697MB
Sep 02 10:14:09 Starting semantics/alt_semantics
Sep 02 10:14:27 Finished semantics/alt_semantics                                 17s 643MB
Sep 02 10:14:27 Starting semantics/alt_semantics/proofs
Sep 02 10:17:38 Finished semantics/alt_semantics/proofs                        3m10s   2GB
Sep 02 10:17:39 Starting basis/pure
Sep 02 10:17:41 Finished basis/pure                                               0s 103MB
Sep 02 10:17:42 Starting translator
Sep 02 10:19:04 Finished translator                                            1m20s   2GB
Sep 02 10:19:04 Starting compiler/parsing
Sep 02 10:19:06 Finished compiler/parsing                                         0s  62MB
Sep 02 10:19:07 Starting characteristic
Sep 02 10:19:09 Finished characteristic                                           1s 121MB
Sep 02 10:19:10 Starting translator/monadic
Sep 02 10:19:12 Finished translator/monadic                                       1s 122MB
Sep 02 10:19:12 Starting translator/monadic/monad_base
Sep 02 10:19:14 Finished translator/monadic/monad_base                            0s  62MB
Sep 02 10:19:15 Starting basis
Sep 02 10:21:22 Finished basis                                                 2m06s   3GB
Sep 02 10:21:23 Starting compiler
Sep 02 10:21:26 Finished compiler                                                 2s 228MB
Sep 02 10:21:26 Starting compiler/inference
Sep 02 10:21:28 Finished compiler/inference                                       1s 117MB
Sep 02 10:21:29 Starting compiler/backend/reg_alloc
Sep 02 10:21:31 Finished compiler/backend/reg_alloc                               0s 104MB
Sep 02 10:21:32 Starting compiler/backend/gc
Sep 02 10:21:34 Finished compiler/backend/gc                                      1s 147MB
Sep 02 10:21:35 Starting compiler/backend
Sep 02 10:21:40 Finished compiler/backend                                         4s 254MB
Sep 02 10:21:41 Starting compiler/encoders/asm
Sep 02 10:21:43 Finished compiler/encoders/asm                                    0s  90MB
Sep 02 10:21:43 Starting compiler/encoders/x64
Sep 02 10:21:45 Finished compiler/encoders/x64                                    0s  97MB
Sep 02 10:21:46 Starting compiler/encoders/arm7
Sep 02 10:21:48 Finished compiler/encoders/arm7                                   0s  96MB
Sep 02 10:21:48 Starting compiler/encoders/arm8
Sep 02 10:21:50 Finished compiler/encoders/arm8                                   0s  92MB
Sep 02 10:21:51 Starting compiler/encoders/arm8_asl
Sep 02 12:25:10 Finished compiler/encoders/arm8_asl                         2h03m18s  30GB
Sep 02 12:25:11 Starting compiler/encoders/mips
Sep 02 12:25:12 Finished compiler/encoders/mips                                   0s  95MB
Sep 02 12:25:13 Starting compiler/encoders/riscv
Sep 02 12:25:15 Finished compiler/encoders/riscv                                  0s  96MB
Sep 02 12:25:16 Starting compiler/encoders/ag32
Sep 02 12:25:17 Finished compiler/encoders/ag32                                   0s  86MB
Sep 02 12:25:18 Starting compiler/encoders/tests
Sep 02 12:25:20 Finished compiler/encoders/tests                                  1s 120MB
Sep 02 12:25:21 Starting compiler/encoders/monadic_enc
Sep 02 12:25:42 Finished compiler/encoders/monadic_enc                           20s   1GB
Sep 02 12:25:43 Starting compiler/backend/x64
Sep 02 12:25:45 Finished compiler/backend/x64                                     1s 151MB
Sep 02 12:25:46 Starting compiler/backend/arm7
Sep 02 12:25:48 Finished compiler/backend/arm7                                    1s 151MB
Sep 02 12:25:49 Starting compiler/backend/arm8
Sep 02 12:25:52 Finished compiler/backend/arm8                                    1s 151MB
Sep 02 12:25:52 Starting compiler/backend/mips
Sep 02 12:25:55 Finished compiler/backend/mips                                    1s 151MB
Sep 02 12:25:55 Starting compiler/backend/riscv
Sep 02 12:25:58 Finished compiler/backend/riscv                                   1s 151MB
Sep 02 12:25:58 Starting compiler/backend/ag32
Sep 02 12:27:05 Finished compiler/backend/ag32                                 1m05s   1GB
Sep 02 12:27:06 Starting compiler/backend/pattern_matching
Sep 02 12:27:07 Finished compiler/backend/pattern_matching                        0s  63MB
Sep 02 12:27:08 Starting compiler/parsing/ocaml
Sep 02 12:28:52 Finished compiler/parsing/ocaml                                1m42s   1GB
Sep 02 12:28:53 Starting compiler/printing
Sep 02 12:28:55 Finished compiler/printing                                        1s 115MB
Sep 02 12:28:56 Starting compiler/parsing/proofs
Sep 02 12:28:57 Finished compiler/parsing/proofs                                  0s  66MB
Sep 02 12:28:58 Starting compiler/inference/proofs
Sep 02 12:29:00 Finished compiler/inference/proofs                                1s 128MB
Sep 02 12:29:01 Starting compiler/backend/semantics
Sep 02 12:31:50 Finished compiler/backend/semantics                            2m48s   2GB
Sep 02 12:31:51 Starting compiler/backend/reg_alloc/proofs
Sep 02 12:31:53 Finished compiler/backend/reg_alloc/proofs                        1s 129MB
Sep 02 12:31:54 Starting compiler/backend/proofs
Sep 02 12:32:39 Finished compiler/backend/proofs                                 44s   3GB
Sep 02 12:32:40 Starting compiler/backend/serialiser
Sep 02 12:32:42 Finished compiler/backend/serialiser                              1s 154MB
Sep 02 12:32:43 Starting compiler/encoders/x64/proofs
Sep 02 12:32:45 Finished compiler/encoders/x64/proofs                             0s  96MB
Sep 02 12:32:46 Starting compiler/encoders/arm7/proofs
Sep 02 12:45:15 Finished compiler/encoders/arm7/proofs                        12m28s   9GB
Sep 02 12:45:15 Starting compiler/encoders/arm8/proofs
Sep 02 12:52:24 Finished compiler/encoders/arm8/proofs                         7m07s   4GB
Sep 02 12:52:24 Starting compiler/encoders/arm8_asl/proofs
Sep 02 13:45:02 Finished compiler/encoders/arm8_asl/proofs                    52m36s  19GB
Sep 02 13:45:02 Starting compiler/encoders/mips/proofs
Sep 02 13:55:00 Finished compiler/encoders/mips/proofs                         9m56s   4GB
Sep 02 13:55:01 Starting compiler/encoders/riscv/proofs
Sep 02 14:03:14 Finished compiler/encoders/riscv/proofs                        8m12s   5GB
Sep 02 14:03:15 Starting compiler/encoders/ag32/proofs
Sep 02 14:06:08 Finished compiler/encoders/ag32/proofs                         2m52s   1GB
Sep 02 14:06:09 Starting compiler/backend/x64/proofs
Sep 02 14:06:12 Finished compiler/backend/x64/proofs                              2s 225MB
Sep 02 14:06:13 Starting compiler/backend/arm7/proofs
Sep 02 14:06:48 Finished compiler/backend/arm7/proofs                            34s   2GB
Sep 02 14:06:49 Starting compiler/backend/arm8/proofs
Sep 02 14:07:20 Finished compiler/backend/arm8/proofs                            30s   2GB
Sep 02 14:07:21 Starting compiler/backend/arm8_asl
Sep 02 14:07:43 Finished compiler/backend/arm8_asl                               20s   1GB
Sep 02 14:07:44 Starting compiler/backend/mips/proofs
Sep 02 14:08:17 Finished compiler/backend/mips/proofs                            32s   2GB
Sep 02 14:08:18 Starting compiler/backend/riscv/proofs
Sep 02 14:08:54 Finished compiler/backend/riscv/proofs                           35s   2GB
Sep 02 14:08:55 Starting compiler/backend/ag32/proofs
Sep 02 14:20:58 Finished compiler/backend/ag32/proofs                         12m02s   5GB
Sep 02 14:20:59 Starting compiler/backend/cv_compute
Sep 02 14:21:23 Finished compiler/backend/cv_compute                             23s   1GB
Sep 02 14:21:24 Starting cv_translator
Sep 02 14:26:39 Finished cv_translator                                         5m14s   5GB
Sep 02 14:26:40 Starting candle
Sep 02 14:26:41 Finished candle                                                   0s  13MB
Sep 02 14:26:42 Starting candle/set-theory
Sep 02 14:27:08 Finished candle/set-theory                                       25s 949MB
Sep 02 14:27:08 Starting candle/syntax-lib
Sep 02 14:27:10 Finished candle/syntax-lib                                        0s 105MB
Sep 02 14:27:11 Starting candle/standard
Sep 02 14:27:12 Finished candle/standard                                          0s  15MB
Sep 02 14:27:13 Starting candle/standard/syntax
Sep 02 14:27:25 Finished candle/standard/syntax                                  11s 775MB
Sep 02 14:27:26 Starting candle/standard/semantics
Sep 02 14:29:25 Finished candle/standard/semantics                             1m58s   1GB
Sep 02 14:29:26 Starting candle/standard/monadic
Sep 02 14:29:28 Finished candle/standard/monadic                                  1s 129MB
Sep 02 14:29:29 Starting candle/standard/ml_kernel
Sep 02 14:31:11 Finished candle/standard/ml_kernel                             1m41s   4GB
Sep 02 14:31:12 Starting candle/standard/ml_kernel/lisp
Sep 02 14:31:13 Finished candle/standard/ml_kernel/lisp                           0s  56MB
Sep 02 14:31:14 Starting candle/overloading
Sep 02 14:31:15 Finished candle/overloading                                       0s  14MB
Sep 02 14:31:15 Starting candle/overloading/syntax
Sep 02 14:34:18 Finished candle/overloading/syntax                             3m02s   2GB
Sep 02 14:34:19 Starting candle/overloading/semantics
Sep 02 14:45:12 Finished candle/overloading/semantics                         10m51s   3GB
Sep 02 14:45:13 Starting candle/overloading/monadic
Sep 02 14:47:26 Finished candle/overloading/monadic                            2m12s   2GB
Sep 02 14:47:27 Starting candle/overloading/ml_kernel
Sep 02 14:54:17 Finished candle/overloading/ml_kernel                          6m49s   5GB
Sep 02 14:54:18 Starting candle/overloading/ml_checker
Sep 02 14:56:28 Finished candle/overloading/ml_checker                         2m09s   6GB
Sep 02 14:56:29 Starting candle/prover
Sep 02 14:56:32 Finished candle/prover                                            1s 160MB
Sep 02 14:56:33 Starting candle/prover/compute
Sep 02 14:56:35 Finished candle/prover/compute                                    1s 148MB
Sep 02 14:56:36 Starting pancake
Sep 02 14:56:38 Finished pancake                                                  1s 147MB
Sep 02 14:56:39 Starting pancake/semantics
Sep 02 14:59:26 Finished pancake/semantics                                     2m45s   2GB
Sep 02 14:59:26 Starting pancake/parser
Sep 02 14:59:55 Finished pancake/parser                                          27s 488MB
Sep 02 14:59:56 Starting pancake/static_checker
Sep 02 15:00:59 Finished pancake/static_checker                                1m02s   1GB
Sep 02 15:01:00 Starting pancake/proofs
Sep 02 15:16:51 Finished pancake/proofs                                       15m49s   5GB
Sep 02 15:16:51 Starting compiler/dafny
Sep 02 15:17:51 Finished compiler/dafny                                          59s   1GB
Sep 02 15:17:52 Starting compiler/dafny/translation
Sep 02 15:23:55 Finished compiler/dafny/translation                            6m01s   4GB
Sep 02 15:23:55 Starting compiler/dafny/compilation
Sep 02 15:25:31 Finished compiler/dafny/compilation                            1m35s   5GB
Sep 02 15:25:32 Starting compiler/dafny/semantics
Sep 02 15:27:45 Finished compiler/dafny/semantics                              2m12s   2GB
Sep 02 15:27:46 Starting compiler/dafny/vcg
Sep 02 15:27:52 Finished compiler/dafny/vcg                                       4s 270MB
Sep 02 15:27:53 Starting compiler/scheme
Sep 02 15:28:19 Finished compiler/scheme                                         25s   1GB
Sep 02 15:28:20 Starting compiler/scheme/translation
Sep 02 15:35:32 Finished compiler/scheme/translation                           7m10s   8GB
Sep 02 15:35:33 Starting compiler/scheme/compilation
Sep 02 15:36:43 Finished compiler/scheme/compilation                           1m09s   4GB
Sep 02 15:36:44 Starting compiler/scheme/proofs
Sep 02 15:52:40 Finished compiler/scheme/proofs                               15m55s  42GB
Sep 02 15:52:41 Starting characteristic/examples
Sep 02 15:54:04 Finished characteristic/examples                               1m22s   4GB
Sep 02 15:54:05 Starting tutorial/solutions
Sep 02 15:56:23 Finished tutorial/solutions                                    2m17s   3GB
Sep 02 15:56:24 Starting translator/monadic/examples
Sep 02 15:59:21 Finished translator/monadic/examples                           2m56s   3GB
Sep 02 15:59:22 Starting examples
Sep 02 16:05:03 Finished examples                                              5m40s   4GB
Sep 02 16:05:04 Starting examples/compilation
Sep 02 16:05:05 Finished examples/compilation                                     0s  14MB
Sep 02 16:05:06 Starting examples/compilation/x64
Sep 02 16:11:41 Finished examples/compilation/x64                              6m34s   4GB
Sep 02 16:11:42 Starting examples/compilation/x64/proofs
Sep 02 16:14:12 Finished examples/compilation/x64/proofs                       2m29s   4GB
Sep 02 16:14:13 Starting examples/compilation/ag32
Sep 02 16:16:02 Finished examples/compilation/ag32                             1m48s   3GB
Sep 02 16:16:03 Starting examples/compilation/ag32/proofs
Sep 02 16:17:04 Finished examples/compilation/ag32/proofs                      1m00s   5GB
Sep 02 16:17:05 Starting examples/lpr_checker
Sep 02 16:17:38 Finished examples/lpr_checker                                    32s   1GB
Sep 02 16:17:39 Starting examples/lpr_checker/array
Sep 02 16:40:31 Finished examples/lpr_checker/array                           22m50s  18GB
Sep 02 16:40:31 Starting examples/lpr_checker/array/compilation
Sep 02 16:42:42 Finished examples/lpr_checker/array/compilation                2m10s   5GB
Sep 02 16:42:43 Starting examples/lpr_checker/array/compilation/proofs
Sep 02 16:43:55 Finished examples/lpr_checker/array/compilation/proofs         1m10s   5GB
Sep 02 16:43:56 Starting examples/lpr_checker/array/compilation/proofsARM8
Sep 02 16:45:04 Finished examples/lpr_checker/array/compilation/proofsARM8     1m07s   6GB
Sep 02 16:45:05 Starting .
Sep 02 16:45:09 Finished .                                                        3s 333MB
Sep 02 16:45:10 Starting examples/xlrup_checker
Sep 02 16:45:57 Finished examples/xlrup_checker                                  46s   1GB
Sep 02 16:45:58 Starting examples/xlrup_checker/array
Sep 02 17:01:16 Finished examples/xlrup_checker/array                         15m17s  15GB
Sep 02 17:01:17 Starting examples/xlrup_checker/array/compilation
Sep 02 17:02:25 Finished examples/xlrup_checker/array/compilation              1m06s   4GB
Sep 02 17:02:26 Starting examples/xlrup_checker/array/compilation/proofs
Sep 02 17:03:28 Finished examples/xlrup_checker/array/compilation/proofs       1m00s   4GB
Sep 02 17:03:28 Starting examples/scpog_checker
Sep 02 17:04:12 Finished examples/scpog_checker                                  42s   2GB
Sep 02 17:04:12 Starting examples/scpog_checker/array
Sep 02 17:12:52 Finished examples/scpog_checker/array                          8m39s   8GB
Sep 02 17:12:53 Starting examples/scpog_checker/array/compilation
Sep 02 17:14:43 Finished examples/scpog_checker/array/compilation              1m48s   7GB
Sep 02 17:14:44 Starting examples/scpog_checker/array/compilation/proofs
Sep 02 17:16:21 Finished examples/scpog_checker/array/compilation/proofs       1m36s   5GB
Sep 02 17:16:22 Starting examples/pseudo_bool
Sep 02 17:18:16 Finished examples/pseudo_bool                                  1m53s   1GB
Sep 02 17:18:17 Starting examples/pseudo_bool/cnf_encoding
Sep 02 17:18:46 Finished examples/pseudo_bool/cnf_encoding                       28s   1GB
Sep 02 17:18:47 Starting examples/pseudo_bool/graph_encoding
Sep 02 17:19:28 Finished examples/pseudo_bool/graph_encoding                     40s   1GB
Sep 02 17:19:29 Starting examples/pseudo_bool/array
Sep 02 18:36:03 Finished examples/pseudo_bool/array                         1h16m33s  37GB
Sep 02 18:36:04 Starting examples/pseudo_bool/array/compilation
Sep 02 18:45:50 Finished examples/pseudo_bool/array/compilation                9m44s  16GB
Sep 02 18:45:51 Starting examples/pseudo_bool/array/compilation/proofs
Sep 02 18:48:36 Finished examples/pseudo_bool/array/compilation/proofs         2m44s   6GB
Sep 02 18:48:37 Starting examples/pseudo_bool/array/compilation/proofsARM8
Sep 02 18:49:55 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m17s   7GB
Sep 02 18:49:55 Starting examples/opentheory
Sep 02 18:57:58 Finished examples/opentheory                                   8m01s   6GB
Sep 02 18:57:59 Starting examples/opentheory/compilation
Sep 02 18:59:26 Finished examples/opentheory/compilation                       1m26s   5GB
Sep 02 18:59:27 Starting examples/opentheory/compilation/proofs
Sep 02 19:00:29 Finished examples/opentheory/compilation/proofs                1m01s   4GB
Sep 02 19:00:30 Starting examples/opentheory/compilation/ag32
Sep 02 19:02:01 Finished examples/opentheory/compilation/ag32                  1m30s   6GB
Sep 02 19:02:02 Starting examples/opentheory/compilation/ag32/proofs
Sep 02 19:03:40 Finished examples/opentheory/compilation/ag32/proofs           1m36s   8GB
Sep 02 19:03:40 Starting examples/sat_encodings
Sep 02 19:04:43 Finished examples/sat_encodings                                1m02s 904MB
Sep 02 19:04:44 Starting examples/sat_encodings/demo
Sep 02 19:04:45 Finished examples/sat_encodings/demo                              0s  14MB
Sep 02 19:04:46 Starting examples/sat_encodings/case_studies
Sep 02 19:06:31 Finished examples/sat_encodings/case_studies                   1m44s   1GB
Sep 02 19:06:32 Starting examples/sat_encodings/translation
Sep 02 19:09:58 Finished examples/sat_encodings/translation                    3m25s   2GB
Sep 02 19:09:59 Starting examples/sat_encodings/translation/compilation
Sep 02 19:11:49 Finished examples/sat_encodings/translation/compilation        1m49s   4GB
Sep 02 19:11:50 Starting examples/deflate
Sep 02 19:12:10 Finished examples/deflate                                        19s 633MB
Sep 02 19:12:11 Starting examples/deflate/translation
Sep 02 19:13:14 Finished examples/deflate/translation                          1m01s   3GB
Sep 02 19:13:14 Starting examples/deflate/translation/compilation
Sep 02 19:14:04 Finished examples/deflate/translation/compilation                48s   3GB
Sep 02 19:14:05 Starting examples/vipr
Sep 02 19:17:12 Finished examples/vipr                                         3m06s   4GB
Sep 02 19:17:13 Starting examples/vipr/compilation
Sep 02 19:18:08 Finished examples/vipr/compilation                               53s   4GB
Sep 02 19:18:08 Starting translator/okasaki-examples
Sep 02 19:22:03 Finished translator/okasaki-examples                           3m53s   3GB
Sep 02 19:22:04 Starting translator/other-examples
Sep 02 19:24:31 Finished translator/other-examples                             2m26s   3GB
Sep 02 19:24:32 Starting translator/other-examples/auxiliary
Sep 02 19:24:33 Finished translator/other-examples/auxiliary                      0s  19MB
Sep 02 19:24:33 Starting compiler/parsing/tests
Sep 02 19:25:09 Finished compiler/parsing/tests                                  34s   1GB
Sep 02 19:25:10 Starting compiler/inference/tests
Sep 02 19:25:45 Finished compiler/inference/tests                                34s   2GB
Sep 02 19:25:46 Starting compiler/printing/test
Sep 02 19:26:57 Finished compiler/printing/test                                1m09s   5GB
Sep 02 19:26:58 Starting compiler/repl
Sep 02 19:27:01 Finished compiler/repl                                            2s 262MB
Sep 02 19:27:02 Starting unverified/sexpr-bootstrap/x64/64
Sep 02 19:31:06 Finished unverified/sexpr-bootstrap/x64/64                     4m02s  17GB
Sep 02 19:31:06 Starting unverified/sexpr-bootstrap/x64/32
Sep 02 21:29:42 Finished unverified/sexpr-bootstrap/x64/32                  1h58m35s  48GB
Sep 02 21:29:43 Starting compiler/benchmarks
Sep 02 21:30:30 Finished compiler/benchmarks                                     45s 711MB
Sep 02 21:30:30 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Sep 02 21:30:34 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 276MB
Sep 02 21:30:35 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Sep 02 21:30:38 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 276MB
Sep 02 21:30:39 Starting compiler/bootstrap/translation
Sep 02 21:30:43 Finished compiler/bootstrap/translation                           2s 288MB
Sep 02 21:30:44 Starting compiler/bootstrap/compilation/x64/64
Sep 02 21:33:32 Finished compiler/bootstrap/compilation/x64/64                 2m47s  15GB
Sep 02 21:33:33 Starting compiler/bootstrap/compilation/x64/32
Sep 02 21:58:43 Finished compiler/bootstrap/compilation/x64/32                25m08s  45GB
Sep 02 21:58:43 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 02 22:02:48 Finished compiler/bootstrap/compilation/x64/32/proofs          4m03s  23GB
Sep 02 22:02:49 Starting compiler/bootstrap/compilation/arm8/64
Sep 02 22:39:56 Finished compiler/bootstrap/compilation/arm8/64               37m06s  77GB
Sep 02 22:39:57 Starting compiler/bootstrap/compilation/arm8/64/proofs
Sep 02 22:45:04 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m05s  30GB
Sep 02 22:45:04 Starting compiler/bootstrap/compilation/ag32/32
Sep 02 23:11:48 Finished compiler/bootstrap/compilation/ag32/32               26m42s  49GB
Sep 02 23:11:49 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 02 23:17:02 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m12s  30GB
Sep 02 23:17:03 SUCCESS