Job 2979

CakeML:f131077198c03bc3c27d7454371db7f569165d0b
  Mcandidate fix (#1242) [Sep 21 13:46:18]
HOL:8217cc7588905bc0246e2dc8211ed4ce501245e8
  Remove binary_ieee's reservation of "sign" name [Sep 18 02:17:02]
Machine:pavlova
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

Sep 21 14:05:53 Claimed job
Sep 21 14:05:57 Reusing HOL
Sep 21 14:06:04 Starting developers
Sep 21 14:06:08 Finished developers                                               3s 182MB
Sep 21 14:06:09 Starting developers/bin
Sep 21 14:06:13 Finished developers/bin                                           2s  88MB
Sep 21 14:06:13 Starting misc
Sep 21 14:06:51 Finished misc                                                    37s   1GB
Sep 21 14:06:52 Starting compiler/proofs
Sep 21 15:18:11 Finished compiler/proofs                                    1h11m17s  26GB
Sep 21 15:18:11 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 21 21:21:31 Finished compiler/bootstrap/compilation/x64/64/proofs       6h03m17s  60GB
Sep 21 21:21:31 Starting semantics/ffi
Sep 21 21:21:41 Finished semantics/ffi                                            8s 518MB
Sep 21 21:21:42 Starting semantics
Sep 21 21:21:43 Finished semantics                                                0s  62MB
Sep 21 21:21:44 Starting semantics/proofs
Sep 21 21:22:06 Finished semantics/proofs                                        21s 734MB
Sep 21 21:22:07 Starting semantics/alt_semantics
Sep 21 21:22:23 Finished semantics/alt_semantics                                 15s 718MB
Sep 21 21:22:24 Starting semantics/alt_semantics/proofs
Sep 21 21:25:31 Finished semantics/alt_semantics/proofs                        3m05s   2GB
Sep 21 21:25:32 Starting basis/pure
Sep 21 21:25:33 Finished basis/pure                                               0s 102MB
Sep 21 21:25:34 Starting translator
Sep 21 21:26:56 Finished translator                                            1m20s   3GB
Sep 21 21:26:57 Starting compiler/parsing
Sep 21 21:26:58 Finished compiler/parsing                                         0s  63MB
Sep 21 21:26:59 Starting characteristic
Sep 21 21:27:01 Finished characteristic                                           1s 117MB
Sep 21 21:27:02 Starting translator/monadic
Sep 21 21:27:04 Finished translator/monadic                                       1s 122MB
Sep 21 21:27:05 Starting translator/monadic/monad_base
Sep 21 21:27:06 Finished translator/monadic/monad_base                            0s  61MB
Sep 21 21:27:07 Starting basis
Sep 21 21:29:20 Finished basis                                                 2m12s   5GB
Sep 21 21:29:21 Starting compiler
Sep 21 21:29:24 Finished compiler                                                 2s 213MB
Sep 21 21:29:25 Starting compiler/inference
Sep 21 21:29:27 Finished compiler/inference                                       1s 117MB
Sep 21 21:29:27 Starting compiler/backend/reg_alloc
Sep 21 21:29:29 Finished compiler/backend/reg_alloc                               0s 100MB
Sep 21 21:29:30 Starting compiler/backend/gc
Sep 21 21:29:32 Finished compiler/backend/gc                                      1s 146MB
Sep 21 21:29:33 Starting compiler/backend
Sep 21 21:29:38 Finished compiler/backend                                         4s 257MB
Sep 21 21:29:39 Starting compiler/encoders/asm
Sep 21 21:29:41 Finished compiler/encoders/asm                                    0s  91MB
Sep 21 21:29:41 Starting compiler/encoders/x64
Sep 21 21:29:43 Finished compiler/encoders/x64                                    0s  92MB
Sep 21 21:29:44 Starting compiler/encoders/arm7
Sep 21 21:29:46 Finished compiler/encoders/arm7                                   0s  92MB
Sep 21 21:29:46 Starting compiler/encoders/arm8
Sep 21 21:29:48 Finished compiler/encoders/arm8                                   0s  96MB
Sep 21 21:29:49 Starting compiler/encoders/arm8_asl
Sep 21 21:30:02 Finished compiler/encoders/arm8_asl                              12s   1GB
Sep 21 21:30:03 Starting compiler/encoders/mips
Sep 21 21:30:05 Finished compiler/encoders/mips                                   0s  94MB
Sep 21 21:30:06 Starting compiler/encoders/riscv
Sep 21 21:30:07 Finished compiler/encoders/riscv                                  0s  99MB
Sep 21 21:30:08 Starting compiler/encoders/ag32
Sep 21 21:30:10 Finished compiler/encoders/ag32                                   0s  90MB
Sep 21 21:30:11 Starting compiler/encoders/tests
Sep 21 21:30:12 Finished compiler/encoders/tests                                  1s 108MB
Sep 21 21:30:13 Starting compiler/encoders/monadic_enc
Sep 21 21:30:33 Finished compiler/encoders/monadic_enc                           18s   1GB
Sep 21 21:30:33 Starting compiler/backend/x64
Sep 21 21:30:36 Finished compiler/backend/x64                                     1s 152MB
Sep 21 21:30:37 Starting compiler/backend/arm7
Sep 21 21:30:39 Finished compiler/backend/arm7                                    1s 150MB
Sep 21 21:30:40 Starting compiler/backend/arm8
Sep 21 21:30:42 Finished compiler/backend/arm8                                    1s 151MB
Sep 21 21:30:43 Starting compiler/backend/mips
Sep 21 21:30:45 Finished compiler/backend/mips                                    1s 151MB
Sep 21 21:30:46 Starting compiler/backend/riscv
Sep 21 21:30:48 Finished compiler/backend/riscv                                   1s 152MB
Sep 21 21:30:49 Starting compiler/backend/ag32
Sep 21 21:31:52 Finished compiler/backend/ag32                                 1m01s   2GB
Sep 21 21:31:52 Starting compiler/backend/pattern_matching
Sep 21 21:31:54 Finished compiler/backend/pattern_matching                        0s  62MB
Sep 21 21:31:54 Starting compiler/parsing/ocaml
Sep 21 21:33:37 Finished compiler/parsing/ocaml                                1m41s   1GB
Sep 21 21:33:38 Starting compiler/printing
Sep 21 21:33:40 Finished compiler/printing                                        1s 120MB
Sep 21 21:33:41 Starting compiler/parsing/proofs
Sep 21 21:33:42 Finished compiler/parsing/proofs                                  0s  67MB
Sep 21 21:33:43 Starting compiler/inference/proofs
Sep 21 21:33:45 Finished compiler/inference/proofs                                1s 127MB
Sep 21 21:33:46 Starting compiler/backend/semantics
Sep 21 21:36:29 Finished compiler/backend/semantics                            2m42s   3GB
Sep 21 21:36:30 Starting compiler/backend/reg_alloc/proofs
Sep 21 21:36:32 Finished compiler/backend/reg_alloc/proofs                        1s 133MB
Sep 21 21:36:33 Starting compiler/backend/proofs
Sep 21 21:37:19 Finished compiler/backend/proofs                                 45s   3GB
Sep 21 21:37:20 Starting compiler/backend/serialiser
Sep 21 21:37:22 Finished compiler/backend/serialiser                              1s 160MB
Sep 21 21:37:23 Starting compiler/encoders/x64/proofs
Sep 21 21:37:25 Finished compiler/encoders/x64/proofs                             0s  99MB
Sep 21 21:37:26 Starting compiler/encoders/arm7/proofs
Sep 21 21:49:19 Finished compiler/encoders/arm7/proofs                        11m52s   7GB
Sep 21 21:49:20 Starting compiler/encoders/arm8/proofs
Sep 21 21:56:20 Finished compiler/encoders/arm8/proofs                         6m59s   6GB
Sep 21 21:56:21 Starting compiler/encoders/arm8_asl/proofs
Sep 21 22:13:00 Finished compiler/encoders/arm8_asl/proofs                    16m38s   3GB
Sep 21 22:13:01 Starting compiler/encoders/mips/proofs
Sep 21 22:22:59 Finished compiler/encoders/mips/proofs                         9m56s   7GB
Sep 21 22:23:00 Starting compiler/encoders/riscv/proofs
Sep 21 22:31:18 Finished compiler/encoders/riscv/proofs                        8m17s   4GB
Sep 21 22:31:19 Starting compiler/encoders/ag32/proofs
Sep 21 22:34:09 Finished compiler/encoders/ag32/proofs                         2m49s   1GB
Sep 21 22:34:10 Starting compiler/backend/x64/proofs
Sep 21 22:34:13 Finished compiler/backend/x64/proofs                              2s 213MB
Sep 21 22:34:14 Starting compiler/backend/arm7/proofs
Sep 21 22:34:48 Finished compiler/backend/arm7/proofs                            32s   2GB
Sep 21 22:34:49 Starting compiler/backend/arm8/proofs
Sep 21 22:35:20 Finished compiler/backend/arm8/proofs                            30s   1GB
Sep 21 22:35:21 Starting compiler/backend/arm8_asl
Sep 21 22:35:44 Finished compiler/backend/arm8_asl                               21s   2GB
Sep 21 22:35:45 Starting compiler/backend/mips/proofs
Sep 21 22:36:18 Finished compiler/backend/mips/proofs                            32s   2GB
Sep 21 22:36:19 Starting compiler/backend/riscv/proofs
Sep 21 22:36:55 Finished compiler/backend/riscv/proofs                           34s   2GB
Sep 21 22:36:55 Starting compiler/backend/ag32/proofs
Sep 21 22:49:23 Finished compiler/backend/ag32/proofs                         12m26s   3GB
Sep 21 22:49:24 Starting compiler/backend/cv_compute
Sep 21 22:49:49 Finished compiler/backend/cv_compute                             23s   1GB
Sep 21 22:49:50 Starting cv_translator
Sep 21 22:54:44 Finished cv_translator                                         4m54s   5GB
Sep 21 22:54:45 Starting candle
Sep 21 22:54:46 Finished candle                                                   0s  15MB
Sep 21 22:54:47 Starting candle/set-theory
Sep 21 22:55:12 Finished candle/set-theory                                       24s 925MB
Sep 21 22:55:13 Starting candle/syntax-lib
Sep 21 22:55:15 Finished candle/syntax-lib                                        0s 104MB
Sep 21 22:55:15 Starting candle/standard
Sep 21 22:55:16 Finished candle/standard                                          0s  15MB
Sep 21 22:55:17 Starting candle/standard/syntax
Sep 21 22:55:29 Finished candle/standard/syntax                                  11s 766MB
Sep 21 22:55:30 Starting candle/standard/semantics
Sep 21 22:57:27 Finished candle/standard/semantics                             1m56s   1GB
Sep 21 22:57:28 Starting candle/standard/monadic
Sep 21 22:57:30 Finished candle/standard/monadic                                  1s 135MB
Sep 21 22:57:31 Starting candle/standard/ml_kernel
Sep 21 22:59:11 Finished candle/standard/ml_kernel                             1m39s   4GB
Sep 21 22:59:12 Starting candle/standard/ml_kernel/lisp
Sep 21 22:59:13 Finished candle/standard/ml_kernel/lisp                           0s  56MB
Sep 21 22:59:14 Starting candle/overloading
Sep 21 22:59:15 Finished candle/overloading                                       0s  14MB
Sep 21 22:59:16 Starting candle/overloading/syntax
Sep 21 23:02:19 Finished candle/overloading/syntax                             3m02s   2GB
Sep 21 23:02:20 Starting candle/overloading/semantics
Sep 21 23:13:15 Finished candle/overloading/semantics                         10m52s   7GB
Sep 21 23:13:15 Starting candle/overloading/monadic
Sep 21 23:15:30 Finished candle/overloading/monadic                            2m13s   2GB
Sep 21 23:15:30 Starting candle/overloading/ml_kernel
Sep 21 23:22:10 Finished candle/overloading/ml_kernel                          6m38s   5GB
Sep 21 23:22:11 Starting candle/overloading/ml_checker
Sep 21 23:24:21 Finished candle/overloading/ml_checker                         2m08s   6GB
Sep 21 23:24:22 Starting candle/prover
Sep 21 23:24:25 Finished candle/prover                                            1s 164MB
Sep 21 23:24:25 Starting candle/prover/compute
Sep 21 23:24:28 Finished candle/prover/compute                                    1s 158MB
Sep 21 23:24:29 Starting pancake
Sep 21 23:24:31 Finished pancake                                                  1s 155MB
Sep 21 23:24:32 Starting pancake/semantics
Sep 21 23:27:15 Finished pancake/semantics                                     2m42s   2GB
Sep 21 23:27:16 Starting pancake/parser
Sep 21 23:27:45 Finished pancake/parser                                          28s 464MB
Sep 21 23:27:46 Starting pancake/static_checker
Sep 21 23:28:49 Finished pancake/static_checker                                1m02s   1GB
Sep 21 23:28:49 Starting pancake/proofs
Sep 21 23:44:22 Finished pancake/proofs                                       15m31s   5GB
Sep 21 23:44:23 Starting compiler/dafny
Sep 21 23:44:47 Finished compiler/dafny                                          23s 737MB
Sep 21 23:44:48 Starting compiler/dafny/translation
Sep 21 23:53:45 Finished compiler/dafny/translation                            8m55s   5GB
Sep 21 23:53:45 Starting compiler/dafny/compilation
Sep 21 23:55:26 Finished compiler/dafny/compilation                            1m39s   6GB
Sep 21 23:55:26 Starting compiler/dafny/semantics
Sep 21 23:55:58 Finished compiler/dafny/semantics                                31s 570MB
Sep 21 23:55:59 Starting compiler/dafny/proofs
Sep 21 23:57:25 Finished compiler/dafny/proofs                                 1m24s   1GB
Sep 21 23:57:26 Starting compiler/dafny/vcg
Sep 21 23:58:35 Finished compiler/dafny/vcg                                    1m08s   1GB
Sep 21 23:58:36 Starting compiler/scheme
Sep 21 23:59:01 Finished compiler/scheme                                         24s   1GB
Sep 21 23:59:02 Starting compiler/scheme/translation
Sep 22 00:05:53 Finished compiler/scheme/translation                           6m49s   7GB
Sep 22 00:05:53 Starting compiler/scheme/compilation
Sep 22 00:07:04 Finished compiler/scheme/compilation                           1m09s   4GB
Sep 22 00:07:05 Starting compiler/scheme/proofs
Sep 22 00:23:06 Finished compiler/scheme/proofs                               15m59s  46GB
Sep 22 00:23:07 Starting characteristic/examples
Sep 22 00:24:30 Finished characteristic/examples                               1m22s   4GB
Sep 22 00:24:31 Starting tutorial/solutions
Sep 22 00:26:47 Finished tutorial/solutions                                    2m15s   3GB
Sep 22 00:26:48 Starting translator/monadic/examples
Sep 22 00:29:31 Finished translator/monadic/examples                           2m41s   3GB
Sep 22 00:29:31 Starting examples
Sep 22 00:34:55 Finished examples                                              5m23s   3GB
Sep 22 00:34:56 Starting examples/compilation
Sep 22 00:34:57 Finished examples/compilation                                     0s  18MB
Sep 22 00:34:58 Starting examples/compilation/x64
Sep 22 00:41:27 Finished examples/compilation/x64                              6m27s   3GB
Sep 22 00:41:28 Starting examples/compilation/x64/proofs
Sep 22 00:43:53 Finished examples/compilation/x64/proofs                       2m24s   4GB
Sep 22 00:43:54 Starting examples/compilation/ag32
Sep 22 00:45:45 Finished examples/compilation/ag32                             1m50s   3GB
Sep 22 00:45:46 Starting examples/compilation/ag32/proofs
Sep 22 00:46:44 Finished examples/compilation/ag32/proofs                        57s   5GB
Sep 22 00:46:45 Starting examples/lpr_checker
Sep 22 00:47:16 Finished examples/lpr_checker                                    30s   1GB
Sep 22 00:47:17 Starting examples/lpr_checker/array
Sep 22 01:10:07 Finished examples/lpr_checker/array                           22m47s  27GB
Sep 22 01:10:08 Starting examples/lpr_checker/array/compilation
Sep 22 01:12:16 Finished examples/lpr_checker/array/compilation                2m08s   6GB
Sep 22 01:12:17 Starting examples/lpr_checker/array/compilation/proofs
Sep 22 01:13:32 Finished examples/lpr_checker/array/compilation/proofs         1m13s   5GB
Sep 22 01:13:33 Starting examples/lpr_checker/array/compilation/proofsARM8
Sep 22 01:14:41 Finished examples/lpr_checker/array/compilation/proofsARM8     1m07s   6GB
Sep 22 01:14:42 Starting .
Sep 22 01:14:46 Finished .                                                        3s 362MB
Sep 22 01:14:47 Starting examples/xlrup_checker
Sep 22 01:15:32 Finished examples/xlrup_checker                                  44s   1GB
Sep 22 01:15:33 Starting examples/xlrup_checker/array
Sep 22 01:30:44 Finished examples/xlrup_checker/array                         15m09s  17GB
Sep 22 01:30:45 Starting examples/xlrup_checker/array/compilation
Sep 22 01:31:51 Finished examples/xlrup_checker/array/compilation              1m05s   4GB
Sep 22 01:31:52 Starting examples/xlrup_checker/array/compilation/proofs
Sep 22 01:32:49 Finished examples/xlrup_checker/array/compilation/proofs         55s   5GB
Sep 22 01:32:49 Starting examples/scpog_checker
Sep 22 01:33:33 Finished examples/scpog_checker                                  42s   2GB
Sep 22 01:33:34 Starting examples/scpog_checker/array
Sep 22 01:42:05 Finished examples/scpog_checker/array                          8m28s   7GB
Sep 22 01:42:05 Starting examples/scpog_checker/array/compilation
Sep 22 01:43:56 Finished examples/scpog_checker/array/compilation              1m49s   6GB
Sep 22 01:43:56 Starting examples/scpog_checker/array/compilation/proofs
Sep 22 01:45:06 Finished examples/scpog_checker/array/compilation/proofs       1m08s   5GB
Sep 22 01:45:07 Starting examples/pseudo_bool
Sep 22 01:46:58 Finished examples/pseudo_bool                                  1m49s   1GB
Sep 22 01:46:58 Starting examples/pseudo_bool/cnf_encoding
Sep 22 01:47:25 Finished examples/pseudo_bool/cnf_encoding                       26s   1GB
Sep 22 01:47:26 Starting examples/pseudo_bool/graph_encoding
Sep 22 01:48:06 Finished examples/pseudo_bool/graph_encoding                     38s   1GB
Sep 22 01:48:07 Starting examples/pseudo_bool/array
Sep 22 03:04:52 Finished examples/pseudo_bool/array                         1h16m44s  37GB
Sep 22 03:04:54 Starting examples/pseudo_bool/array/compilation
Sep 22 03:14:34 Finished examples/pseudo_bool/array/compilation                9m38s  17GB
Sep 22 03:14:35 Starting examples/pseudo_bool/array/compilation/proofs
Sep 22 03:17:12 Finished examples/pseudo_bool/array/compilation/proofs         2m35s   7GB
Sep 22 03:17:13 Starting examples/pseudo_bool/array/compilation/proofsARM8
Sep 22 03:18:30 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m15s   6GB
Sep 22 03:18:31 Starting examples/opentheory
Sep 22 03:26:18 Finished examples/opentheory                                   7m46s   5GB
Sep 22 03:26:19 Starting examples/opentheory/compilation
Sep 22 03:27:45 Finished examples/opentheory/compilation                       1m24s   5GB
Sep 22 03:27:46 Starting examples/opentheory/compilation/proofs
Sep 22 03:28:46 Finished examples/opentheory/compilation/proofs                  59s   4GB
Sep 22 03:28:46 Starting examples/opentheory/compilation/ag32
Sep 22 03:30:15 Finished examples/opentheory/compilation/ag32                  1m28s   6GB
Sep 22 03:30:16 Starting examples/opentheory/compilation/ag32/proofs
Sep 22 03:31:48 Finished examples/opentheory/compilation/ag32/proofs           1m30s   7GB
Sep 22 03:31:49 Starting examples/sat_encodings
Sep 22 03:32:49 Finished examples/sat_encodings                                  59s 814MB
Sep 22 03:32:50 Starting examples/sat_encodings/demo
Sep 22 03:32:51 Finished examples/sat_encodings/demo                              0s  15MB
Sep 22 03:32:52 Starting examples/sat_encodings/case_studies
Sep 22 03:34:30 Finished examples/sat_encodings/case_studies                   1m37s   1GB
Sep 22 03:34:31 Starting examples/sat_encodings/translation
Sep 22 03:37:50 Finished examples/sat_encodings/translation                    3m17s   3GB
Sep 22 03:37:51 Starting examples/sat_encodings/translation/compilation
Sep 22 03:39:39 Finished examples/sat_encodings/translation/compilation        1m47s   4GB
Sep 22 03:39:40 Starting examples/deflate
Sep 22 03:39:58 Finished examples/deflate                                        17s 544MB
Sep 22 03:39:59 Starting examples/deflate/translation
Sep 22 03:41:00 Finished examples/deflate/translation                            59s   4GB
Sep 22 03:41:01 Starting examples/deflate/translation/compilation
Sep 22 03:41:52 Finished examples/deflate/translation/compilation                49s   3GB
Sep 22 03:41:52 Starting examples/vipr
Sep 22 03:45:00 Finished examples/vipr                                         3m06s   7GB
Sep 22 03:45:01 Starting examples/vipr/compilation
Sep 22 03:45:56 Finished examples/vipr/compilation                               53s   3GB
Sep 22 03:45:57 Starting translator/okasaki-examples
Sep 22 03:49:44 Finished translator/okasaki-examples                           3m46s   2GB
Sep 22 03:49:44 Starting translator/other-examples
Sep 22 03:52:05 Finished translator/other-examples                             2m19s   2GB
Sep 22 03:52:06 Starting translator/other-examples/auxiliary
Sep 22 03:52:07 Finished translator/other-examples/auxiliary                      0s  19MB
Sep 22 03:52:08 Starting compiler/parsing/tests
Sep 22 03:52:42 Finished compiler/parsing/tests                                  33s   1GB
Sep 22 03:52:43 Starting compiler/inference/tests
Sep 22 03:53:19 Finished compiler/inference/tests                                34s   2GB
Sep 22 03:53:20 Starting compiler/printing/test
Sep 22 03:54:29 Finished compiler/printing/test                                1m07s   4GB
Sep 22 03:54:30 Starting compiler/repl
Sep 22 03:54:33 Finished compiler/repl                                            2s 272MB
Sep 22 03:54:34 Starting unverified/sexpr-bootstrap/x64/64
Sep 22 03:58:18 Finished unverified/sexpr-bootstrap/x64/64                     3m32s  18GB
Sep 22 03:58:19 Starting unverified/sexpr-bootstrap/x64/32
Sep 22 05:55:04 Finished unverified/sexpr-bootstrap/x64/32                  1h56m30s  54GB
Sep 22 05:55:05 Starting compiler/benchmarks
Sep 22 05:55:51 Finished compiler/benchmarks                                     45s 712MB
Sep 22 05:55:52 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Sep 22 05:55:55 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 288MB
Sep 22 05:55:56 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Sep 22 05:56:00 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 275MB
Sep 22 05:56:00 Starting compiler/bootstrap/translation
Sep 22 05:56:04 Finished compiler/bootstrap/translation                           2s 289MB
Sep 22 05:56:05 Starting compiler/bootstrap/compilation/x64/64
Sep 22 05:59:01 Finished compiler/bootstrap/compilation/x64/64                 2m44s  17GB
Sep 22 05:59:02 Starting compiler/bootstrap/compilation/x64/32
Sep 22 06:23:50 Finished compiler/bootstrap/compilation/x64/32                24m34s  43GB
Sep 22 06:23:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 22 06:28:05 Finished compiler/bootstrap/compilation/x64/32/proofs          4m12s  22GB
Sep 22 06:28:05 Starting compiler/bootstrap/compilation/arm8/64
Sep 22 07:05:55 Finished compiler/bootstrap/compilation/arm8/64               37m35s  81GB
Sep 22 07:05:56 Starting compiler/bootstrap/compilation/arm8/64/proofs
Sep 22 07:11:19 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m21s  29GB
Sep 22 07:11:20 Starting compiler/bootstrap/compilation/ag32/32
Sep 22 07:37:37 Finished compiler/bootstrap/compilation/ag32/32               26m16s  49GB
Sep 22 07:37:38 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 22 07:42:20 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m40s  29GB
Sep 22 07:42:21 SUCCESS