Job 3008

CakeML:9cf5f4b81a760824383cd45eb68f4970ba33ba93
  remove unused bits [Oct 19 22:06:47]
#1249 (varkind_cleanup)
Merging into:54a51734fb9ae88353d40ef3111fd99307e9ca4b
  update paths to balanced_bst [Oct 20 04:04:05]
HOL:72e78b28c57844b4327a340dd91c754d063feab8
  Move AVL_tree README into the new AVL_tree directory [Oct 13 23:41:41]
Machine:timtam

Oct 20 08:16:58 Claimed job
Oct 20 08:17:04 Building HOL
Oct 20 08:27:52 Starting developers
Oct 20 08:27:57 Finished developers                                               3s 153MB
Oct 20 08:27:57 Starting developers/bin
Oct 20 08:28:01 Finished developers/bin                                           2s  91MB
Oct 20 08:28:02 Starting misc
Oct 20 08:28:53 Finished misc                                                    50s   1GB
Oct 20 08:28:54 Starting compiler/proofs
Oct 20 09:39:58 Finished compiler/proofs                                    1h11m03s  30GB
Oct 20 09:39:59 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 20 15:23:56 Finished compiler/bootstrap/compilation/x64/64/proofs       5h43m54s  62GB
Oct 20 15:23:57 Starting semantics/ffi
Oct 20 15:24:06 Finished semantics/ffi                                            8s 534MB
Oct 20 15:24:07 Starting semantics
Oct 20 15:24:08 Finished semantics                                                0s  59MB
Oct 20 15:24:09 Starting semantics/proofs
Oct 20 15:24:31 Finished semantics/proofs                                        20s 775MB
Oct 20 15:24:32 Starting semantics/alt_semantics
Oct 20 15:24:49 Finished semantics/alt_semantics                                 16s 740MB
Oct 20 15:24:50 Starting semantics/alt_semantics/proofs
Oct 20 15:28:47 Finished semantics/alt_semantics/proofs                        3m55s   2GB
Oct 20 15:28:47 Starting basis/pure
Oct 20 15:28:49 Finished basis/pure                                               0s  94MB
Oct 20 15:28:50 Starting translator
Oct 20 15:29:58 Finished translator                                            1m07s   3GB
Oct 20 15:29:59 Starting compiler/parsing
Oct 20 15:30:01 Finished compiler/parsing                                         0s  66MB
Oct 20 15:30:02 Starting characteristic
Oct 20 15:30:04 Finished characteristic                                           1s 118MB
Oct 20 15:30:04 Starting translator/monadic
Oct 20 15:30:06 Finished translator/monadic                                       1s 113MB
Oct 20 15:30:07 Starting translator/monadic/monad_base
Oct 20 15:30:09 Finished translator/monadic/monad_base                            0s  61MB
Oct 20 15:30:09 Starting basis
Oct 20 15:32:06 Finished basis                                                 1m55s   3GB
Oct 20 15:32:07 Starting compiler
Oct 20 15:32:09 Finished compiler                                                 2s 205MB
Oct 20 15:32:10 Starting compiler/inference
Oct 20 15:32:12 Finished compiler/inference                                       1s 108MB
Oct 20 15:32:13 Starting compiler/backend/reg_alloc
Oct 20 15:32:15 Finished compiler/backend/reg_alloc                               0s  87MB
Oct 20 15:32:16 Starting compiler/backend/gc
Oct 20 15:32:18 Finished compiler/backend/gc                                      1s 135MB
Oct 20 15:32:19 Starting compiler/backend
Oct 20 15:32:24 Finished compiler/backend                                         4s 270MB
Oct 20 15:32:25 Starting compiler/encoders/asm
Oct 20 15:32:26 Finished compiler/encoders/asm                                    0s  86MB
Oct 20 15:32:27 Starting compiler/encoders/x64
Oct 20 15:32:29 Finished compiler/encoders/x64                                    0s  94MB
Oct 20 15:32:30 Starting compiler/encoders/arm7
Oct 20 15:32:31 Finished compiler/encoders/arm7                                   0s  94MB
Oct 20 15:32:32 Starting compiler/encoders/arm8
Oct 20 15:32:34 Finished compiler/encoders/arm8                                   0s  94MB
Oct 20 15:32:35 Starting compiler/encoders/arm8_asl
Oct 20 17:31:03 Finished compiler/encoders/arm8_asl                         1h58m27s  39GB
Oct 20 17:31:04 Starting compiler/encoders/mips
Oct 20 17:31:05 Finished compiler/encoders/mips                                   0s  90MB
Oct 20 17:31:06 Starting compiler/encoders/riscv
Oct 20 17:31:08 Finished compiler/encoders/riscv                                  0s  91MB
Oct 20 17:31:09 Starting compiler/encoders/ag32
Oct 20 17:31:11 Finished compiler/encoders/ag32                                   0s  95MB
Oct 20 17:31:11 Starting compiler/encoders/tests
Oct 20 17:31:13 Finished compiler/encoders/tests                                  1s 123MB
Oct 20 17:31:14 Starting compiler/encoders/monadic_enc
Oct 20 17:31:34 Finished compiler/encoders/monadic_enc                           19s   1GB
Oct 20 17:31:35 Starting compiler/backend/x64
Oct 20 17:31:37 Finished compiler/backend/x64                                     1s 141MB
Oct 20 17:31:38 Starting compiler/backend/arm7
Oct 20 17:31:40 Finished compiler/backend/arm7                                    1s 138MB
Oct 20 17:31:41 Starting compiler/backend/arm8
Oct 20 17:31:43 Finished compiler/backend/arm8                                    1s 138MB
Oct 20 17:31:44 Starting compiler/backend/mips
Oct 20 17:31:47 Finished compiler/backend/mips                                    1s 140MB
Oct 20 17:31:47 Starting compiler/backend/riscv
Oct 20 17:31:50 Finished compiler/backend/riscv                                   1s 138MB
Oct 20 17:31:50 Starting compiler/backend/ag32
Oct 20 17:32:48 Finished compiler/backend/ag32                                   56s   2GB
Oct 20 17:32:49 Starting compiler/backend/pattern_matching
Oct 20 17:32:50 Finished compiler/backend/pattern_matching                        0s  63MB
Oct 20 17:32:51 Starting compiler/parsing/ocaml
Oct 20 17:34:33 Finished compiler/parsing/ocaml                                1m40s   1GB
Oct 20 17:34:33 Starting compiler/printing
Oct 20 17:34:35 Finished compiler/printing                                        1s 112MB
Oct 20 17:34:36 Starting compiler/parsing/proofs
Oct 20 17:34:38 Finished compiler/parsing/proofs                                  0s  70MB
Oct 20 17:34:39 Starting compiler/inference/proofs
Oct 20 17:34:41 Finished compiler/inference/proofs                                1s 110MB
Oct 20 17:34:41 Starting compiler/backend/semantics
Oct 20 17:37:01 Finished compiler/backend/semantics                            2m18s   4GB
Oct 20 17:37:02 Starting compiler/backend/reg_alloc/proofs
Oct 20 17:37:04 Finished compiler/backend/reg_alloc/proofs                        1s 119MB
Oct 20 17:37:05 Starting compiler/backend/proofs
Oct 20 17:37:45 Finished compiler/backend/proofs                                 39s   2GB
Oct 20 17:37:46 Starting compiler/backend/serialiser
Oct 20 17:37:48 Finished compiler/backend/serialiser                              1s 153MB
Oct 20 17:37:49 Starting compiler/encoders/x64/proofs
Oct 20 17:37:50 Finished compiler/encoders/x64/proofs                             0s 101MB
Oct 20 17:37:51 Starting compiler/encoders/arm7/proofs
Oct 20 17:48:53 Finished compiler/encoders/arm7/proofs                        11m00s   5GB
Oct 20 17:48:54 Starting compiler/encoders/arm8/proofs
Oct 20 17:55:52 Finished compiler/encoders/arm8/proofs                         6m57s   4GB
Oct 20 17:55:53 Starting compiler/encoders/arm8_asl/proofs
Oct 20 18:45:09 Finished compiler/encoders/arm8_asl/proofs                    49m14s  20GB
Oct 20 18:45:09 Starting compiler/encoders/mips/proofs
Oct 20 18:54:18 Finished compiler/encoders/mips/proofs                         9m07s   9GB
Oct 20 18:54:19 Starting compiler/encoders/riscv/proofs
Oct 20 19:02:00 Finished compiler/encoders/riscv/proofs                        7m40s   4GB
Oct 20 19:02:01 Starting compiler/encoders/ag32/proofs
Oct 20 19:04:43 Finished compiler/encoders/ag32/proofs                         2m40s   2GB
Oct 20 19:04:43 Starting compiler/backend/x64/proofs
Oct 20 19:04:46 Finished compiler/backend/x64/proofs                              2s 220MB
Oct 20 19:04:47 Starting compiler/backend/arm7/proofs
Oct 20 19:05:20 Finished compiler/backend/arm7/proofs                            32s   2GB
Oct 20 19:05:21 Starting compiler/backend/arm8/proofs
Oct 20 19:05:52 Finished compiler/backend/arm8/proofs                            29s   1GB
Oct 20 19:05:53 Starting compiler/backend/arm8_asl
Oct 20 19:06:15 Finished compiler/backend/arm8_asl                               21s   2GB
Oct 20 19:06:16 Starting compiler/backend/mips/proofs
Oct 20 19:06:48 Finished compiler/backend/mips/proofs                            31s   2GB
Oct 20 19:06:49 Starting compiler/backend/riscv/proofs
Oct 20 19:07:22 Finished compiler/backend/riscv/proofs                           32s   2GB
Oct 20 19:07:23 Starting compiler/backend/ag32/proofs
Oct 20 19:18:31 Finished compiler/backend/ag32/proofs                         11m06s   3GB
Oct 20 19:18:32 Starting compiler/backend/cv_compute
Oct 20 19:18:56 Finished compiler/backend/cv_compute                             23s   1GB
Oct 20 19:18:57 Starting cv_translator
Oct 20 19:24:00 Finished cv_translator                                         5m02s   5GB
Oct 20 19:24:01 Starting candle
Oct 20 19:24:02 Finished candle                                                   0s  15MB
Oct 20 19:24:03 Starting candle/set-theory
Oct 20 19:24:28 Finished candle/set-theory                                       24s 947MB
Oct 20 19:24:29 Starting candle/syntax-lib
Oct 20 19:24:30 Finished candle/syntax-lib                                        0s  88MB
Oct 20 19:24:31 Starting candle/standard
Oct 20 19:24:32 Finished candle/standard                                          0s  15MB
Oct 20 19:24:33 Starting candle/standard/syntax
Oct 20 19:24:45 Finished candle/standard/syntax                                  11s 756MB
Oct 20 19:24:46 Starting candle/standard/semantics
Oct 20 19:26:44 Finished candle/standard/semantics                             1m56s   2GB
Oct 20 19:26:45 Starting candle/standard/monadic
Oct 20 19:26:47 Finished candle/standard/monadic                                  1s 126MB
Oct 20 19:26:48 Starting candle/standard/ml_kernel
Oct 20 19:28:29 Finished candle/standard/ml_kernel                             1m40s   4GB
Oct 20 19:28:30 Starting candle/standard/ml_kernel/lisp
Oct 20 19:28:31 Finished candle/standard/ml_kernel/lisp                           0s  58MB
Oct 20 19:28:32 Starting candle/overloading
Oct 20 19:28:33 Finished candle/overloading                                       0s  13MB
Oct 20 19:28:33 Starting candle/overloading/syntax
Oct 20 19:31:27 Finished candle/overloading/syntax                             2m52s   2GB
Oct 20 19:31:28 Starting candle/overloading/semantics
Oct 20 19:41:42 Finished candle/overloading/semantics                         10m13s   4GB
Oct 20 19:41:43 Starting candle/overloading/monadic
Oct 20 19:43:45 Finished candle/overloading/monadic                            2m01s   1GB
Oct 20 19:43:46 Starting candle/overloading/ml_kernel
Oct 20 19:49:54 Finished candle/overloading/ml_kernel                          6m07s   5GB
Oct 20 19:49:55 Starting candle/overloading/ml_checker
Oct 20 19:52:04 Finished candle/overloading/ml_checker                         2m08s   6GB
Oct 20 19:52:05 Starting candle/prover
Oct 20 19:52:07 Finished candle/prover                                            1s 162MB
Oct 20 19:52:08 Starting candle/prover/compute
Oct 20 19:52:11 Finished candle/prover/compute                                    1s 155MB
Oct 20 19:52:12 Starting pancake
Oct 20 19:52:14 Finished pancake                                                  1s 138MB
Oct 20 19:52:15 Starting pancake/semantics
Oct 20 19:54:46 Finished pancake/semantics                                     2m30s   1GB
Oct 20 19:54:46 Starting pancake/parser
Oct 20 19:55:15 Finished pancake/parser                                          28s 582MB
Oct 20 19:55:16 Starting pancake/static_checker
Oct 20 19:56:20 Finished pancake/static_checker                                1m02s   1GB
Oct 20 19:56:21 Starting pancake/proofs
Oct 20 20:10:21 Finished pancake/proofs                                       13m59s   6GB
Oct 20 20:10:22 Starting compiler/dafny
Oct 20 20:10:46 Finished compiler/dafny                                          23s 720MB
Oct 20 20:10:47 Starting compiler/dafny/translation
Oct 20 20:19:29 Finished compiler/dafny/translation                            8m41s   5GB
Oct 20 20:19:30 Starting compiler/dafny/compilation
Oct 20 20:21:09 Finished compiler/dafny/compilation                            1m38s   5GB
Oct 20 20:21:10 Starting compiler/dafny/semantics
Oct 20 20:21:42 Finished compiler/dafny/semantics                                30s 578MB
Oct 20 20:21:43 Starting compiler/dafny/proofs
Oct 20 20:23:03 Finished compiler/dafny/proofs                                 1m20s   1GB
Oct 20 20:23:04 Starting compiler/dafny/vcg
Oct 20 20:24:22 Finished compiler/dafny/vcg                                    1m16s   2GB
Oct 20 20:24:23 Starting compiler/scheme
Oct 20 20:24:48 Finished compiler/scheme                                         24s   1GB
Oct 20 20:24:49 Starting compiler/scheme/translation
Oct 20 20:31:25 Finished compiler/scheme/translation                           6m35s   9GB
Oct 20 20:31:26 Starting compiler/scheme/compilation
Oct 20 20:32:36 Finished compiler/scheme/compilation                           1m09s   4GB
Oct 20 20:32:37 Starting compiler/scheme/proofs
Oct 20 20:47:09 Finished compiler/scheme/proofs                               14m31s  41GB
Oct 20 20:47:10 Starting characteristic/examples
Oct 20 20:48:31 Finished characteristic/examples                               1m20s   4GB
Oct 20 20:48:32 Starting tutorial/solutions
Oct 20 20:50:52 Finished tutorial/solutions                                    2m18s   3GB
Oct 20 20:50:52 Starting translator/monadic/examples
Oct 20 20:53:34 Finished translator/monadic/examples                           2m40s   3GB
Oct 20 20:53:35 Starting examples
Oct 20 20:58:48 Finished examples                                              5m12s   4GB
Oct 20 20:58:49 Starting examples/compilation
Oct 20 20:58:50 Finished examples/compilation                                     0s  13MB
Oct 20 20:58:51 Starting examples/compilation/x64
Oct 20 21:05:24 Finished examples/compilation/x64                              6m32s   3GB
Oct 20 21:05:25 Starting examples/compilation/x64/proofs
Oct 20 21:07:54 Finished examples/compilation/x64/proofs                       2m28s   4GB
Oct 20 21:07:55 Starting examples/compilation/ag32
Oct 20 21:09:45 Finished examples/compilation/ag32                             1m48s   3GB
Oct 20 21:09:46 Starting examples/compilation/ag32/proofs
Oct 20 21:10:47 Finished examples/compilation/ag32/proofs                      1m00s   5GB
Oct 20 21:10:48 Starting examples/lpr_checker
Oct 20 21:11:20 Finished examples/lpr_checker                                    31s   1GB
Oct 20 21:11:21 Starting examples/lpr_checker/array
Oct 20 21:31:07 Finished examples/lpr_checker/array                           19m45s  24GB
Oct 20 21:31:08 Starting examples/lpr_checker/array/compilation
Oct 20 21:33:21 Finished examples/lpr_checker/array/compilation                2m12s   5GB
Oct 20 21:33:22 Starting examples/lpr_checker/array/compilation/proofs
Oct 20 21:34:29 Finished examples/lpr_checker/array/compilation/proofs         1m06s   5GB
Oct 20 21:34:29 Starting examples/lpr_checker/array/compilation/proofsARM8
Oct 20 21:35:39 Finished examples/lpr_checker/array/compilation/proofsARM8     1m08s   6GB
Oct 20 21:35:40 Starting .
Oct 20 21:35:44 Finished .                                                        3s 328MB
Oct 20 21:35:45 Starting examples/xlrup_checker
Oct 20 21:36:31 Finished examples/xlrup_checker                                  44s   1GB
Oct 20 21:36:31 Starting examples/xlrup_checker/array
Oct 20 21:49:52 Finished examples/xlrup_checker/array                         13m19s  16GB
Oct 20 21:49:53 Starting examples/xlrup_checker/array/compilation
Oct 20 21:51:00 Finished examples/xlrup_checker/array/compilation              1m06s   4GB
Oct 20 21:51:01 Starting examples/xlrup_checker/array/compilation/proofs
Oct 20 21:51:59 Finished examples/xlrup_checker/array/compilation/proofs         57s   4GB
Oct 20 21:52:00 Starting examples/scpog_checker
Oct 20 21:52:41 Finished examples/scpog_checker                                  39s   1GB
Oct 20 21:52:42 Starting examples/scpog_checker/array
Oct 20 22:00:37 Finished examples/scpog_checker/array                          7m53s   6GB
Oct 20 22:00:38 Starting examples/scpog_checker/array/compilation
Oct 20 22:02:26 Finished examples/scpog_checker/array/compilation              1m47s   7GB
Oct 20 22:02:27 Starting examples/scpog_checker/array/compilation/proofs
Oct 20 22:03:34 Finished examples/scpog_checker/array/compilation/proofs       1m06s   6GB
Oct 20 22:03:35 Starting examples/pseudo_bool
Oct 20 22:05:22 Finished examples/pseudo_bool                                  1m46s   1GB
Oct 20 22:05:23 Starting examples/pseudo_bool/cnf_encoding
Oct 20 22:05:51 Finished examples/pseudo_bool/cnf_encoding                       26s   1GB
Oct 20 22:05:51 Starting examples/pseudo_bool/graph_encoding
Oct 20 22:06:31 Finished examples/pseudo_bool/graph_encoding                     38s   1GB
Oct 20 22:06:32 Starting examples/pseudo_bool/array
Oct 20 23:12:48 Finished examples/pseudo_bool/array                         1h06m15s  51GB
Oct 20 23:12:49 Starting examples/pseudo_bool/array/compilation
Oct 20 23:22:37 Finished examples/pseudo_bool/array/compilation                9m46s  17GB
Oct 20 23:22:37 Starting examples/pseudo_bool/array/compilation/proofs
Oct 20 23:25:18 Finished examples/pseudo_bool/array/compilation/proofs         2m39s   7GB
Oct 20 23:25:19 Starting examples/pseudo_bool/array/compilation/proofsARM8
Oct 20 23:26:33 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m13s   7GB
Oct 20 23:26:34 Starting examples/opentheory
Oct 20 23:33:59 Finished examples/opentheory                                   7m23s   7GB
Oct 20 23:34:00 Starting examples/opentheory/compilation
Oct 20 23:35:26 Finished examples/opentheory/compilation                       1m24s   5GB
Oct 20 23:35:27 Starting examples/opentheory/compilation/proofs
Oct 20 23:36:30 Finished examples/opentheory/compilation/proofs                1m02s   4GB
Oct 20 23:36:31 Starting examples/opentheory/compilation/ag32
Oct 20 23:38:01 Finished examples/opentheory/compilation/ag32                  1m29s   6GB
Oct 20 23:38:02 Starting examples/opentheory/compilation/ag32/proofs
Oct 20 23:39:37 Finished examples/opentheory/compilation/ag32/proofs           1m33s   8GB
Oct 20 23:39:38 Starting examples/sat_encodings
Oct 20 23:40:36 Finished examples/sat_encodings                                  57s 712MB
Oct 20 23:40:37 Starting examples/sat_encodings/demo
Oct 20 23:40:37 Finished examples/sat_encodings/demo                              0s  14MB
Oct 20 23:40:38 Starting examples/sat_encodings/case_studies
Oct 20 23:42:13 Finished examples/sat_encodings/case_studies                   1m33s   1GB
Oct 20 23:42:14 Starting examples/sat_encodings/translation
Oct 20 23:45:28 Finished examples/sat_encodings/translation                    3m13s   3GB
Oct 20 23:45:28 Starting examples/sat_encodings/translation/compilation
Oct 20 23:47:17 Finished examples/sat_encodings/translation/compilation        1m47s   4GB
Oct 20 23:47:18 Starting examples/deflate
Oct 20 23:47:36 Finished examples/deflate                                        17s 463MB
Oct 20 23:47:37 Starting examples/deflate/translation
Oct 20 23:48:31 Finished examples/deflate/translation                            52s   3GB
Oct 20 23:48:32 Starting examples/deflate/translation/compilation
Oct 20 23:49:20 Finished examples/deflate/translation/compilation                48s   3GB
Oct 20 23:49:21 Starting examples/vipr
Oct 20 23:52:16 Finished examples/vipr                                         2m53s   4GB
Oct 20 23:52:17 Starting examples/vipr/compilation
Oct 20 23:53:10 Finished examples/vipr/compilation                               53s   3GB
Oct 20 23:53:11 Starting translator/okasaki-examples
Oct 20 23:56:12 Finished translator/okasaki-examples                           3m00s   3GB
Oct 20 23:56:13 Starting translator/other-examples
Oct 20 23:58:21 Finished translator/other-examples                             2m06s   2GB
Oct 20 23:58:22 Starting translator/other-examples/auxiliary
Oct 20 23:58:23 Finished translator/other-examples/auxiliary                      0s  18MB
Oct 20 23:58:23 Starting compiler/parsing/tests
Oct 20 23:58:57 Finished compiler/parsing/tests                                  33s   1GB
Oct 20 23:58:58 Starting compiler/inference/tests
Oct 20 23:59:34 Finished compiler/inference/tests                                35s   2GB
Oct 20 23:59:35 Starting compiler/printing/test
Oct 21 00:00:46 Finished compiler/printing/test                                1m09s   5GB
Oct 21 00:00:47 Starting compiler/repl
Oct 21 00:00:50 Finished compiler/repl                                            2s 263MB
Oct 21 00:00:51 Starting unverified/sexpr-bootstrap/x64/64
Oct 21 00:04:33 Finished unverified/sexpr-bootstrap/x64/64                     3m41s  18GB
Oct 21 00:04:34 Starting unverified/sexpr-bootstrap/x64/32
Oct 21 02:06:12 Finished unverified/sexpr-bootstrap/x64/32                  2h01m37s  54GB
Oct 21 02:06:13 Starting compiler/benchmarks
Oct 21 02:06:59 Finished compiler/benchmarks                                     45s 711MB
Oct 21 02:07:00 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Oct 21 02:07:04 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 278MB
Oct 21 02:07:05 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Oct 21 02:07:08 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 271MB
Oct 21 02:07:09 Starting compiler/bootstrap/translation
Oct 21 02:07:13 Finished compiler/bootstrap/translation                           2s 277MB
Oct 21 02:07:14 Starting compiler/bootstrap/compilation/x64/64
Oct 21 02:09:58 Finished compiler/bootstrap/compilation/x64/64                 2m43s  17GB
Oct 21 02:09:59 Starting compiler/bootstrap/compilation/x64/32
Oct 21 02:36:43 Finished compiler/bootstrap/compilation/x64/32                26m41s  68GB
Oct 21 02:36:44 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 21 02:41:05 Finished compiler/bootstrap/compilation/x64/32/proofs          4m20s  24GB
Oct 21 02:41:06 Starting compiler/bootstrap/compilation/arm8/64
Oct 21 03:19:08 Finished compiler/bootstrap/compilation/arm8/64               37m59s  78GB
Oct 21 03:19:09 Starting compiler/bootstrap/compilation/arm8/64/proofs
Oct 21 03:24:54 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m44s  29GB
Oct 21 03:24:55 Starting compiler/bootstrap/compilation/ag32/32
Oct 21 03:52:50 Finished compiler/bootstrap/compilation/ag32/32               27m54s  68GB
Oct 21 03:52:51 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 21 03:57:30 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m37s  29GB
Oct 21 03:57:30 SUCCESS