Job 3319

CakeML:7b07433aa05543469b58940cdb32f4bfe91ceb69
  Remove unused file [Apr 29 10:32:28]
#1380 (remove-flatlang-decs)
Merging into:53fd5640a5e851cff67e9703a5d5eae800469dc4
  Merge pull request #1378 from CakeML/source-dlet-var [Apr 27 19:18:32]
HOL:77fad203c275899bfee21faf6d2d3a66e749d7e1
  patch no_sig_docs for asl-equiv [Apr 21 06:34:06]
Machine:pavlova

Apr 29 10:34:27 Claimed job
Apr 29 10:34:31 Reusing HOL
Apr 29 10:34:43 Starting developers
Apr 29 10:34:48 Finished developers                                               4s 153MB
Apr 29 10:34:49 Starting developers/bin
Apr 29 10:34:54 Finished developers/bin                                           3s  94MB
Apr 29 10:34:55 Starting misc
Apr 29 10:35:37 Finished misc                                                    41s   1GB
Apr 29 10:35:38 Starting compiler/proofs
Apr 29 11:35:53 Finished compiler/proofs                                    1h00m14s  11GB
Apr 29 11:35:54 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 29 17:24:35 Finished compiler/bootstrap/compilation/x64/64/proofs       5h48m40s  94GB
Apr 29 17:24:36 Starting semantics/ffi
Apr 29 17:24:48 Finished semantics/ffi                                           10s 564MB
Apr 29 17:24:49 Starting semantics
Apr 29 17:24:51 Finished semantics                                                1s  82MB
Apr 29 17:24:51 Starting semantics/proofs
Apr 29 17:25:12 Finished semantics/proofs                                        20s 730MB
Apr 29 17:25:13 Starting semantics/alt_semantics
Apr 29 17:25:31 Finished semantics/alt_semantics                                 16s 613MB
Apr 29 17:25:32 Starting semantics/alt_semantics/proofs
Apr 29 17:28:45 Finished semantics/alt_semantics/proofs                        3m12s   2GB
Apr 29 17:28:46 Starting basis/pure
Apr 29 17:28:48 Finished basis/pure                                               0s  75MB
Apr 29 17:28:48 Starting translator
Apr 29 17:29:50 Finished translator                                            1m00s   4GB
Apr 29 17:29:51 Starting compiler/parsing
Apr 29 17:29:53 Finished compiler/parsing                                         1s  89MB
Apr 29 17:29:54 Starting characteristic
Apr 29 17:29:56 Finished characteristic                                           1s 110MB
Apr 29 17:29:57 Starting translator/monadic
Apr 29 17:29:59 Finished translator/monadic                                       1s 102MB
Apr 29 17:30:00 Starting translator/monadic/monad_base
Apr 29 17:30:02 Finished translator/monadic/monad_base                            0s  78MB
Apr 29 17:30:02 Starting profiler
Apr 29 17:30:32 Finished profiler                                                29s   1GB
Apr 29 17:30:33 Starting basis
Apr 29 17:32:11 Finished basis                                                 1m36s   4GB
Apr 29 17:32:12 Starting compiler
Apr 29 17:32:15 Finished compiler                                                 2s 193MB
Apr 29 17:32:16 Starting compiler/inference
Apr 29 17:32:18 Finished compiler/inference                                       1s  96MB
Apr 29 17:32:19 Starting compiler/backend/reg_alloc
Apr 29 17:32:21 Finished compiler/backend/reg_alloc                               1s  84MB
Apr 29 17:32:21 Starting compiler/backend/gc
Apr 29 17:32:24 Finished compiler/backend/gc                                      1s 125MB
Apr 29 17:32:25 Starting compiler/backend
Apr 29 17:32:27 Finished compiler/backend                                         1s 127MB
Apr 29 17:32:28 Starting compiler/encoders/asm
Apr 29 17:32:30 Finished compiler/encoders/asm                                    1s  93MB
Apr 29 17:32:31 Starting compiler/encoders/x64
Apr 29 17:32:33 Finished compiler/encoders/x64                                    1s  96MB
Apr 29 17:32:34 Starting compiler/encoders/arm7
Apr 29 17:32:36 Finished compiler/encoders/arm7                                   1s  92MB
Apr 29 17:32:37 Starting compiler/encoders/arm8
Apr 29 17:32:39 Finished compiler/encoders/arm8                                   1s  90MB
Apr 29 17:32:39 Starting compiler/encoders/arm8_asl
Apr 29 17:32:57 Finished compiler/encoders/arm8_asl                              16s   1GB
Apr 29 17:32:58 Starting compiler/encoders/mips
Apr 29 17:33:00 Finished compiler/encoders/mips                                   1s  88MB
Apr 29 17:33:01 Starting compiler/encoders/riscv
Apr 29 17:33:03 Finished compiler/encoders/riscv                                  1s  93MB
Apr 29 17:33:04 Starting compiler/encoders/ag32
Apr 29 17:33:06 Finished compiler/encoders/ag32                                   1s  90MB
Apr 29 17:33:06 Starting compiler/encoders/tests
Apr 29 17:33:09 Finished compiler/encoders/tests                                  1s 115MB
Apr 29 17:33:10 Starting compiler/encoders/monadic_enc
Apr 29 17:33:34 Finished compiler/encoders/monadic_enc                           23s   1GB
Apr 29 17:33:35 Starting compiler/backend/x64
Apr 29 17:33:37 Finished compiler/backend/x64                                     1s 128MB
Apr 29 17:33:38 Starting compiler/backend/arm7
Apr 29 17:33:41 Finished compiler/backend/arm7                                    1s 128MB
Apr 29 17:33:41 Starting compiler/backend/arm8
Apr 29 17:33:44 Finished compiler/backend/arm8                                    1s 127MB
Apr 29 17:33:45 Starting compiler/backend/mips
Apr 29 17:33:47 Finished compiler/backend/mips                                    1s 127MB
Apr 29 17:33:48 Starting compiler/backend/riscv
Apr 29 17:33:50 Finished compiler/backend/riscv                                   1s 126MB
Apr 29 17:33:51 Starting compiler/backend/ag32
Apr 29 17:34:48 Finished compiler/backend/ag32                                   56s   2GB
Apr 29 17:34:49 Starting compiler/backend/pattern_matching
Apr 29 17:34:51 Finished compiler/backend/pattern_matching                        1s  77MB
Apr 29 17:34:52 Starting compiler/parsing/ocaml
Apr 29 17:36:41 Finished compiler/parsing/ocaml                                1m48s   1GB
Apr 29 17:36:41 Starting compiler/printing
Apr 29 17:37:39 Finished compiler/printing                                       57s   1GB
Apr 29 17:37:40 Starting compiler/parsing/proofs
Apr 29 17:37:42 Finished compiler/parsing/proofs                                  1s  94MB
Apr 29 17:37:43 Starting compiler/inference/proofs
Apr 29 17:37:45 Finished compiler/inference/proofs                                1s 100MB
Apr 29 17:37:46 Starting compiler/backend/semantics
Apr 29 17:40:29 Finished compiler/backend/semantics                            2m41s   3GB
Apr 29 17:40:29 Starting compiler/backend/reg_alloc/proofs
Apr 29 17:40:32 Finished compiler/backend/reg_alloc/proofs                        1s 107MB
Apr 29 17:40:33 Starting compiler/backend/proofs
Apr 29 17:41:15 Finished compiler/backend/proofs                                 41s   2GB
Apr 29 17:41:16 Starting compiler/backend/serialiser
Apr 29 17:41:18 Finished compiler/backend/serialiser                              1s 134MB
Apr 29 17:41:19 Starting compiler/encoders/x64/proofs
Apr 29 17:41:21 Finished compiler/encoders/x64/proofs                             1s  92MB
Apr 29 17:41:22 Starting compiler/encoders/arm7/proofs
Apr 29 17:51:49 Finished compiler/encoders/arm7/proofs                        10m26s   9GB
Apr 29 17:51:50 Starting compiler/encoders/arm8/proofs
Apr 29 17:58:12 Finished compiler/encoders/arm8/proofs                         6m21s   5GB
Apr 29 17:58:13 Starting compiler/encoders/arm8_asl/proofs
Apr 29 18:12:45 Finished compiler/encoders/arm8_asl/proofs                    14m31s   3GB
Apr 29 18:12:46 Starting compiler/encoders/mips/proofs
Apr 29 18:21:40 Finished compiler/encoders/mips/proofs                         8m52s  13GB
Apr 29 18:21:40 Starting compiler/encoders/riscv/proofs
Apr 29 18:29:35 Finished compiler/encoders/riscv/proofs                        7m53s   5GB
Apr 29 18:29:36 Starting compiler/encoders/ag32/proofs
Apr 29 18:32:07 Finished compiler/encoders/ag32/proofs                         2m30s   3GB
Apr 29 18:32:08 Starting compiler/backend/x64/proofs
Apr 29 18:32:11 Finished compiler/backend/x64/proofs                              2s 208MB
Apr 29 18:32:12 Starting compiler/backend/arm7/proofs
Apr 29 18:32:50 Finished compiler/backend/arm7/proofs                            37s   2GB
Apr 29 18:32:51 Starting compiler/backend/arm8/proofs
Apr 29 18:33:30 Finished compiler/backend/arm8/proofs                            37s   2GB
Apr 29 18:33:30 Starting compiler/backend/arm8_asl
Apr 29 18:34:00 Finished compiler/backend/arm8_asl                               29s   2GB
Apr 29 18:34:01 Starting compiler/backend/mips/proofs
Apr 29 18:34:37 Finished compiler/backend/mips/proofs                            35s   2GB
Apr 29 18:34:38 Starting compiler/backend/riscv/proofs
Apr 29 18:35:18 Finished compiler/backend/riscv/proofs                           39s   2GB
Apr 29 18:35:19 Starting compiler/backend/ag32/proofs
Apr 29 18:42:58 Finished compiler/backend/ag32/proofs                          7m38s   4GB
Apr 29 18:42:59 Starting compiler/backend/cv_compute
Apr 29 18:43:27 Finished compiler/backend/cv_compute                             27s   1GB
Apr 29 18:43:28 Starting cv_translator
Apr 29 18:48:17 Finished cv_translator                                         4m47s   4GB
Apr 29 18:48:17 Starting candle
Apr 29 18:48:18 Finished candle                                                   0s   6MB
Apr 29 18:48:19 Starting candle/set-theory
Apr 29 18:48:50 Finished candle/set-theory                                       29s 956MB
Apr 29 18:48:50 Starting candle/syntax-lib
Apr 29 18:48:52 Finished candle/syntax-lib                                        0s  79MB
Apr 29 18:48:53 Starting candle/standard
Apr 29 18:48:54 Finished candle/standard                                          0s   6MB
Apr 29 18:48:55 Starting candle/standard/syntax
Apr 29 18:49:10 Finished candle/standard/syntax                                  13s 788MB
Apr 29 18:49:10 Starting candle/standard/semantics
Apr 29 18:51:16 Finished candle/standard/semantics                             2m05s   2GB
Apr 29 18:51:17 Starting candle/standard/monadic
Apr 29 18:51:19 Finished candle/standard/monadic                                  1s 113MB
Apr 29 18:51:20 Starting candle/standard/ml_kernel
Apr 29 18:53:18 Finished candle/standard/ml_kernel                             1m56s   4GB
Apr 29 18:53:19 Starting candle/overloading
Apr 29 18:53:20 Finished candle/overloading                                       0s   6MB
Apr 29 18:53:21 Starting candle/overloading/syntax
Apr 29 18:56:14 Finished candle/overloading/syntax                             2m52s   2GB
Apr 29 18:56:15 Starting candle/overloading/semantics
Apr 29 19:04:56 Finished candle/overloading/semantics                          8m40s  12GB
Apr 29 19:04:57 Starting candle/overloading/monadic
Apr 29 19:06:50 Finished candle/overloading/monadic                            1m52s   2GB
Apr 29 19:06:51 Starting candle/overloading/ml_kernel
Apr 29 19:12:57 Finished candle/overloading/ml_kernel                          6m04s   7GB
Apr 29 19:12:58 Starting candle/overloading/ml_checker
Apr 29 19:15:24 Finished candle/overloading/ml_checker                         2m25s   6GB
Apr 29 19:15:25 Starting candle/prover
Apr 29 19:15:28 Finished candle/prover                                            2s 166MB
Apr 29 19:15:29 Starting candle/prover/compute
Apr 29 19:15:31 Finished candle/prover/compute                                    1s 153MB
Apr 29 19:15:32 Starting pancake
Apr 29 19:15:35 Finished pancake                                                  1s 130MB
Apr 29 19:15:36 Starting pancake/semantics
Apr 29 19:18:15 Finished pancake/semantics                                     2m38s   2GB
Apr 29 19:18:16 Starting pancake/parser
Apr 29 19:18:46 Finished pancake/parser                                          29s 517MB
Apr 29 19:18:47 Starting pancake/static_checker
Apr 29 19:19:55 Finished pancake/static_checker                                1m07s   1GB
Apr 29 19:19:56 Starting pancake/proofs
Apr 29 19:35:08 Finished pancake/proofs                                       15m10s   5GB
Apr 29 19:35:09 Starting compiler/dafny
Apr 29 19:35:33 Finished compiler/dafny                                          23s 730MB
Apr 29 19:35:34 Starting compiler/dafny/translation
Apr 29 19:44:48 Finished compiler/dafny/translation                            9m13s   7GB
Apr 29 19:44:49 Starting compiler/dafny/compilation
Apr 29 19:46:30 Finished compiler/dafny/compilation                            1m40s   5GB
Apr 29 19:46:31 Starting compiler/dafny/semantics
Apr 29 19:47:08 Finished compiler/dafny/semantics                                36s 556MB
Apr 29 19:47:09 Starting compiler/dafny/proofs
Apr 29 19:48:36 Finished compiler/dafny/proofs                                 1m26s   1GB
Apr 29 19:48:37 Starting compiler/dafny/vcg
Apr 29 19:48:39 Finished compiler/dafny/vcg                                       1s  98MB
Apr 29 19:48:40 Starting compiler/dafny/vcg/examples
Apr 29 19:49:05 Finished compiler/dafny/vcg/examples                             24s   1GB
Apr 29 19:49:06 Starting compiler/scheme
Apr 29 19:49:32 Finished compiler/scheme                                         25s   1GB
Apr 29 19:49:33 Starting compiler/scheme/translation
Apr 29 19:55:29 Finished compiler/scheme/translation                           5m54s   8GB
Apr 29 19:55:29 Starting compiler/scheme/compilation
Apr 29 19:56:51 Finished compiler/scheme/compilation                           1m20s   5GB
Apr 29 19:56:52 Starting compiler/scheme/proofs
Apr 29 20:02:14 Finished compiler/scheme/proofs                                5m21s   4GB
Apr 29 20:02:15 Starting characteristic/examples
Apr 29 20:03:40 Finished characteristic/examples                               1m24s   5GB
Apr 29 20:03:41 Starting tutorial/solutions
Apr 29 20:06:18 Finished tutorial/solutions                                    2m36s   3GB
Apr 29 20:06:19 Starting translator/monadic/examples
Apr 29 20:09:23 Finished translator/monadic/examples                           3m03s   4GB
Apr 29 20:09:24 Starting examples
Apr 29 20:13:39 Finished examples                                              4m14s   5GB
Apr 29 20:13:40 Starting examples/compilation
Apr 29 20:13:41 Finished examples/compilation                                     0s   6MB
Apr 29 20:13:42 Starting examples/compilation/x64
Apr 29 20:20:56 Finished examples/compilation/x64                              7m13s   4GB
Apr 29 20:20:57 Starting examples/compilation/x64/proofs
Apr 29 20:24:03 Finished examples/compilation/x64/proofs                       3m04s   4GB
Apr 29 20:24:03 Starting examples/compilation/ag32
Apr 29 20:26:20 Finished examples/compilation/ag32                             2m15s   3GB
Apr 29 20:26:21 Starting examples/compilation/ag32/proofs
Apr 29 20:27:35 Finished examples/compilation/ag32/proofs                      1m13s   4GB
Apr 29 20:27:36 Starting examples/lpr_checker
Apr 29 20:28:13 Finished examples/lpr_checker                                    36s   1GB
Apr 29 20:28:13 Starting examples/lpr_checker/array
Apr 29 20:39:23 Finished examples/lpr_checker/array                           11m08s   9GB
Apr 29 20:39:24 Starting examples/lpr_checker/array/compilation
Apr 29 20:42:53 Finished examples/lpr_checker/array/compilation                3m27s   6GB
Apr 29 20:42:53 Starting examples/lpr_checker/array/compilation/proofs
Apr 29 20:44:14 Finished examples/lpr_checker/array/compilation/proofs         1m19s   5GB
Apr 29 20:44:14 Starting examples/lpr_checker/array/compilation/proofsARM8
Apr 29 20:45:34 Finished examples/lpr_checker/array/compilation/proofsARM8     1m18s   6GB
Apr 29 20:45:34 Starting .
Apr 29 20:45:39 Finished .                                                        3s 349MB
Apr 29 20:45:40 Starting examples/xlrup_checker
Apr 29 20:46:30 Finished examples/xlrup_checker                                  49s   1GB
Apr 29 20:46:31 Starting examples/xlrup_checker/array
Apr 29 20:54:30 Finished examples/xlrup_checker/array                          7m58s   4GB
Apr 29 20:54:31 Starting examples/xlrup_checker/array/compilation
Apr 29 20:55:50 Finished examples/xlrup_checker/array/compilation              1m17s   5GB
Apr 29 20:55:50 Starting examples/xlrup_checker/array/compilation/proofs
Apr 29 20:57:07 Finished examples/xlrup_checker/array/compilation/proofs       1m16s   4GB
Apr 29 20:57:08 Starting examples/scpog_checker
Apr 29 20:57:56 Finished examples/scpog_checker                                  47s   2GB
Apr 29 20:57:57 Starting examples/scpog_checker/array
Apr 29 21:03:17 Finished examples/scpog_checker/array                          5m18s   4GB
Apr 29 21:03:18 Starting examples/scpog_checker/array/compilation
Apr 29 21:05:22 Finished examples/scpog_checker/array/compilation              2m03s   7GB
Apr 29 21:05:23 Starting examples/scpog_checker/array/compilation/proofs
Apr 29 21:06:46 Finished examples/scpog_checker/array/compilation/proofs       1m22s   5GB
Apr 29 21:06:47 Starting examples/pseudo_bool
Apr 29 21:08:55 Finished examples/pseudo_bool                                  2m07s   2GB
Apr 29 21:08:56 Starting examples/pseudo_bool/cnf_encoding
Apr 29 21:09:31 Finished examples/pseudo_bool/cnf_encoding                       34s   1GB
Apr 29 21:09:32 Starting examples/pseudo_bool/graph_encoding
Apr 29 21:10:20 Finished examples/pseudo_bool/graph_encoding                     47s   1GB
Apr 29 21:10:20 Starting examples/pseudo_bool/array
Apr 29 21:48:26 Finished examples/pseudo_bool/array                           38m05s  30GB
Apr 29 21:48:27 Starting examples/pseudo_bool/array/compilation
Apr 29 22:05:59 Finished examples/pseudo_bool/array/compilation               17m30s  19GB
Apr 29 22:05:59 Starting examples/pseudo_bool/array/compilation/proofs
Apr 29 22:11:01 Finished examples/pseudo_bool/array/compilation/proofs         5m00s   7GB
Apr 29 22:11:02 Starting examples/pseudo_bool/array/compilation/proofsARM8
Apr 29 22:12:35 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m32s   7GB
Apr 29 22:12:36 Starting examples/opentheory
Apr 29 22:19:30 Finished examples/opentheory                                   6m53s   6GB
Apr 29 22:19:31 Starting examples/opentheory/compilation
Apr 29 22:21:09 Finished examples/opentheory/compilation                       1m36s   6GB
Apr 29 22:21:09 Starting examples/opentheory/compilation/proofs
Apr 29 22:22:29 Finished examples/opentheory/compilation/proofs                1m18s   4GB
Apr 29 22:22:29 Starting examples/opentheory/compilation/ag32
Apr 29 22:24:12 Finished examples/opentheory/compilation/ag32                  1m41s   6GB
Apr 29 22:24:12 Starting examples/opentheory/compilation/ag32/proofs
Apr 29 22:25:48 Finished examples/opentheory/compilation/ag32/proofs           1m34s   7GB
Apr 29 22:25:49 Starting examples/sat_encodings
Apr 29 22:26:54 Finished examples/sat_encodings                                1m04s 793MB
Apr 29 22:26:55 Starting examples/sat_encodings/demo
Apr 29 22:26:56 Finished examples/sat_encodings/demo                              0s   6MB
Apr 29 22:26:57 Starting examples/sat_encodings/case_studies
Apr 29 22:28:41 Finished examples/sat_encodings/case_studies                   1m43s   1GB
Apr 29 22:28:42 Starting examples/sat_encodings/translation
Apr 29 22:32:00 Finished examples/sat_encodings/translation                    3m17s   3GB
Apr 29 22:32:01 Starting examples/sat_encodings/translation/compilation
Apr 29 22:34:08 Finished examples/sat_encodings/translation/compilation        2m05s   4GB
Apr 29 22:34:09 Starting examples/deflate
Apr 29 22:34:31 Finished examples/deflate                                        21s 439MB
Apr 29 22:34:32 Starting examples/deflate/translation
Apr 29 22:35:27 Finished examples/deflate/translation                            54s   3GB
Apr 29 22:35:28 Starting examples/deflate/translation/compilation
Apr 29 22:36:27 Finished examples/deflate/translation/compilation                57s   3GB
Apr 29 22:36:28 Starting examples/vipr
Apr 29 22:39:27 Finished examples/vipr                                         2m59s   5GB
Apr 29 22:39:28 Starting examples/vipr/compilation
Apr 29 22:40:32 Finished examples/vipr/compilation                             1m03s   4GB
Apr 29 22:40:33 Starting examples/template
Apr 29 22:40:36 Finished examples/template                                        2s 153MB
Apr 29 22:40:37 Starting examples/template/translation
Apr 29 22:40:57 Finished examples/template/translation                           19s 885MB
Apr 29 22:40:58 Starting examples/template/compilation
Apr 29 22:42:02 Finished examples/template/compilation                         1m02s   4GB
Apr 29 22:42:03 Starting translator/okasaki-examples
Apr 29 22:45:12 Finished translator/okasaki-examples                           3m08s   3GB
Apr 29 22:45:13 Starting translator/other-examples
Apr 29 22:46:07 Finished translator/other-examples                               52s   2GB
Apr 29 22:46:08 Starting translator/other-examples/auxiliary
Apr 29 22:46:09 Finished translator/other-examples/auxiliary                      0s  11MB
Apr 29 22:46:09 Starting compiler/parsing/tests
Apr 29 22:46:48 Finished compiler/parsing/tests                                  38s   1GB
Apr 29 22:46:49 Starting compiler/inference/tests
Apr 29 22:47:33 Finished compiler/inference/tests                                43s   2GB
Apr 29 22:47:34 Starting compiler/printing/test
Apr 29 22:50:38 Finished compiler/printing/test                                3m02s  15GB
Apr 29 22:50:38 Starting compiler/repl
Apr 29 22:50:42 Finished compiler/repl                                            2s 246MB
Apr 29 22:50:43 Starting compiler/benchmarks
Apr 29 22:51:38 Finished compiler/benchmarks                                     53s 747MB
Apr 29 22:51:38 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Apr 29 22:51:42 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 245MB
Apr 29 22:51:43 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Apr 29 22:51:47 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 268MB
Apr 29 22:51:48 Starting compiler/bootstrap/translation
Apr 30 00:44:57 Finished compiler/bootstrap/translation                     1h53m07s  89GB
Apr 30 00:44:58 Starting compiler/bootstrap/compilation/x64/64
Apr 30 00:48:32 Finished compiler/bootstrap/compilation/x64/64                 3m33s  18GB
Apr 30 00:48:33 Starting compiler/bootstrap/compilation/x64/32
Apr 30 01:16:07 Finished compiler/bootstrap/compilation/x64/32                27m32s  68GB
Apr 30 01:16:08 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 30 01:21:06 Finished compiler/bootstrap/compilation/x64/32/proofs          4m57s  26GB
Apr 30 01:21:07 Starting compiler/bootstrap/compilation/arm8/64
Apr 30 02:04:01 Finished compiler/bootstrap/compilation/arm8/64               42m53s  85GB
Apr 30 02:04:02 Starting compiler/bootstrap/compilation/arm8/64/proofs
Apr 30 02:10:22 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m19s  31GB
Apr 30 02:10:22 Starting compiler/bootstrap/compilation/ag32/32
Apr 30 02:39:40 Finished compiler/bootstrap/compilation/ag32/32               29m16s  80GB
Apr 30 02:39:41 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 30 02:45:10 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m28s  31GB
Apr 30 02:45:11 Starting unverified/sexpr-bootstrap/x64/64
Apr 30 02:49:38 Finished unverified/sexpr-bootstrap/x64/64                     4m25s  18GB
Apr 30 02:49:39 Starting unverified/sexpr-bootstrap/x64/32
Apr 30 02:53:30 Finished unverified/sexpr-bootstrap/x64/32                     3m49s  17GB
Apr 30 02:53:30 SUCCESS