Job 3262

CakeML:42d02f2f48f597b6c1e377ba06fc3dcf8f2f8363
  Remove cheats [Mar 16 21:52:24]
#1355 (stack_loop)
Merging into:d8369d4296a1797976051a87f7d799276b7ef458
  Merge pull request #1354 from KurtWu10/typo [Mar 17 07:55:21]
HOL:0ae7030322cdf2b0d46dc9d5503e2d5eae2fa726
  Merge remote-tracking branch 'origin/develop' into mcandidate [Mar 13 02:39:37]
Machine:timtam

Mar 17 08:43:00 Claimed job
Mar 17 08:43:07 Building HOL
Mar 17 08:55:07 Starting developers
Mar 17 08:55:12 Finished developers                                               4s 217MB
Mar 17 08:55:13 Starting developers/bin
Mar 17 08:55:17 Finished developers/bin                                           3s  90MB
Mar 17 08:55:18 Starting misc
Mar 17 08:56:16 Finished misc                                                    56s   1GB
Mar 17 08:56:16 Starting compiler/proofs
Mar 17 09:59:22 Finished compiler/proofs                                    1h03m04s  18GB
Mar 17 09:59:23 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 17 15:51:17 Finished compiler/bootstrap/compilation/x64/64/proofs       5h51m53s 118GB
Mar 17 15:51:18 Starting semantics/ffi
Mar 17 15:51:29 Finished semantics/ffi                                           10s 565MB
Mar 17 15:51:29 Starting semantics
Mar 17 15:51:31 Finished semantics                                                1s  91MB
Mar 17 15:51:32 Starting semantics/proofs
Mar 17 15:51:54 Finished semantics/proofs                                        20s 961MB
Mar 17 15:51:55 Starting semantics/alt_semantics
Mar 17 15:52:12 Finished semantics/alt_semantics                                 16s 577MB
Mar 17 15:52:13 Starting semantics/alt_semantics/proofs
Mar 17 15:55:31 Finished semantics/alt_semantics/proofs                        3m17s   1GB
Mar 17 15:55:32 Starting basis/pure
Mar 17 15:55:34 Finished basis/pure                                               0s  82MB
Mar 17 15:55:35 Starting translator
Mar 17 15:56:36 Finished translator                                            1m00s   3GB
Mar 17 15:56:37 Starting compiler/parsing
Mar 17 15:56:39 Finished compiler/parsing                                         1s  99MB
Mar 17 15:56:40 Starting characteristic
Mar 17 15:56:42 Finished characteristic                                           1s 122MB
Mar 17 15:56:43 Starting translator/monadic
Mar 17 15:56:45 Finished translator/monadic                                       1s 123MB
Mar 17 15:56:46 Starting translator/monadic/monad_base
Mar 17 15:56:48 Finished translator/monadic/monad_base                            0s  93MB
Mar 17 15:56:48 Starting profiler
Mar 17 15:57:19 Finished profiler                                                29s   1GB
Mar 17 15:57:20 Starting basis
Mar 17 15:58:57 Finished basis                                                 1m36s   4GB
Mar 17 15:58:58 Starting compiler
Mar 17 15:59:01 Finished compiler                                                 2s 211MB
Mar 17 15:59:02 Starting compiler/inference
Mar 17 15:59:05 Finished compiler/inference                                       1s 117MB
Mar 17 15:59:05 Starting compiler/backend/reg_alloc
Mar 17 15:59:07 Finished compiler/backend/reg_alloc                               1s  88MB
Mar 17 15:59:08 Starting compiler/backend/gc
Mar 17 15:59:11 Finished compiler/backend/gc                                      1s 139MB
Mar 17 15:59:11 Starting compiler/backend
Mar 17 15:59:17 Finished compiler/backend                                         4s 232MB
Mar 17 15:59:18 Starting compiler/encoders/asm
Mar 17 15:59:20 Finished compiler/encoders/asm                                    1s 100MB
Mar 17 15:59:21 Starting compiler/encoders/x64
Mar 17 15:59:23 Finished compiler/encoders/x64                                    1s 106MB
Mar 17 15:59:24 Starting compiler/encoders/arm7
Mar 17 15:59:26 Finished compiler/encoders/arm7                                   1s 106MB
Mar 17 15:59:27 Starting compiler/encoders/arm8
Mar 17 15:59:29 Finished compiler/encoders/arm8                                   1s 105MB
Mar 17 15:59:29 Starting compiler/encoders/arm8_asl
Mar 17 19:25:51 Finished compiler/encoders/arm8_asl                         3h26m20s  32GB
Mar 17 19:25:52 Starting compiler/encoders/mips
Mar 17 19:25:54 Finished compiler/encoders/mips                                   1s 107MB
Mar 17 19:25:55 Starting compiler/encoders/riscv
Mar 17 19:25:57 Finished compiler/encoders/riscv                                  1s 108MB
Mar 17 19:25:57 Starting compiler/encoders/ag32
Mar 17 19:25:59 Finished compiler/encoders/ag32                                   1s 107MB
Mar 17 19:26:00 Starting compiler/encoders/tests
Mar 17 19:26:03 Finished compiler/encoders/tests                                  1s 137MB
Mar 17 19:26:04 Starting compiler/encoders/monadic_enc
Mar 17 19:26:27 Finished compiler/encoders/monadic_enc                           22s   1GB
Mar 17 19:26:28 Starting compiler/backend/x64
Mar 17 19:26:31 Finished compiler/backend/x64                                     1s 146MB
Mar 17 19:26:32 Starting compiler/backend/arm7
Mar 17 19:26:34 Finished compiler/backend/arm7                                    1s 142MB
Mar 17 19:26:35 Starting compiler/backend/arm8
Mar 17 19:26:37 Finished compiler/backend/arm8                                    1s 142MB
Mar 17 19:26:38 Starting compiler/backend/mips
Mar 17 19:26:41 Finished compiler/backend/mips                                    1s 138MB
Mar 17 19:26:42 Starting compiler/backend/riscv
Mar 17 19:26:44 Finished compiler/backend/riscv                                   1s 144MB
Mar 17 19:26:45 Starting compiler/backend/ag32
Mar 17 19:27:46 Finished compiler/backend/ag32                                   59s   4GB
Mar 17 19:27:46 Starting compiler/backend/pattern_matching
Mar 17 19:27:48 Finished compiler/backend/pattern_matching                        1s  87MB
Mar 17 19:27:49 Starting compiler/parsing/ocaml
Mar 17 19:29:37 Finished compiler/parsing/ocaml                                1m46s   1GB
Mar 17 19:29:38 Starting compiler/printing
Mar 17 19:30:32 Finished compiler/printing                                       53s   1GB
Mar 17 19:30:33 Starting compiler/parsing/proofs
Mar 17 19:30:35 Finished compiler/parsing/proofs                                  1s 101MB
Mar 17 19:30:36 Starting compiler/inference/proofs
Mar 17 19:30:38 Finished compiler/inference/proofs                                1s 123MB
Mar 17 19:30:39 Starting compiler/backend/semantics
Mar 17 19:33:24 Finished compiler/backend/semantics                            2m44s   3GB
Mar 17 19:33:25 Starting compiler/backend/reg_alloc/proofs
Mar 17 19:33:27 Finished compiler/backend/reg_alloc/proofs                        1s 119MB
Mar 17 19:33:28 Starting compiler/backend/proofs
Mar 17 19:34:08 Finished compiler/backend/proofs                                 38s   2GB
Mar 17 19:34:09 Starting compiler/backend/serialiser
Mar 17 19:34:12 Finished compiler/backend/serialiser                              1s 138MB
Mar 17 19:34:12 Starting compiler/encoders/x64/proofs
Mar 17 19:34:14 Finished compiler/encoders/x64/proofs                             1s 109MB
Mar 17 19:34:15 Starting compiler/encoders/arm7/proofs
Mar 17 19:44:52 Finished compiler/encoders/arm7/proofs                        10m35s   9GB
Mar 17 19:44:53 Starting compiler/encoders/arm8/proofs
Mar 17 19:51:40 Finished compiler/encoders/arm8/proofs                         6m46s   5GB
Mar 17 19:51:41 Starting compiler/encoders/arm8_asl/proofs
Mar 17 20:40:36 Finished compiler/encoders/arm8_asl/proofs                    48m53s  20GB
Mar 17 20:40:37 Starting compiler/encoders/mips/proofs
Mar 17 20:50:02 Finished compiler/encoders/mips/proofs                         9m24s  13GB
Mar 17 20:50:03 Starting compiler/encoders/riscv/proofs
Mar 17 20:57:53 Finished compiler/encoders/riscv/proofs                        7m49s   5GB
Mar 17 20:57:54 Starting compiler/encoders/ag32/proofs
Mar 17 21:00:24 Finished compiler/encoders/ag32/proofs                         2m28s   2GB
Mar 17 21:00:24 Starting compiler/backend/x64/proofs
Mar 17 21:00:28 Finished compiler/backend/x64/proofs                              2s 221MB
Mar 17 21:00:29 Starting compiler/backend/arm7/proofs
Mar 17 21:01:02 Finished compiler/backend/arm7/proofs                            32s   2GB
Mar 17 21:01:03 Starting compiler/backend/arm8/proofs
Mar 17 21:01:39 Finished compiler/backend/arm8/proofs                            35s   2GB
Mar 17 21:01:40 Starting compiler/backend/arm8_asl
Mar 17 21:02:05 Finished compiler/backend/arm8_asl                               23s   1GB
Mar 17 21:02:05 Starting compiler/backend/mips/proofs
Mar 17 21:02:39 Finished compiler/backend/mips/proofs                            33s   2GB
Mar 17 21:02:40 Starting compiler/backend/riscv/proofs
Mar 17 21:03:17 Finished compiler/backend/riscv/proofs                           35s   2GB
Mar 17 21:03:18 Starting compiler/backend/ag32/proofs
Mar 17 21:10:53 Finished compiler/backend/ag32/proofs                          7m34s   5GB
Mar 17 21:10:54 Starting compiler/backend/cv_compute
Mar 17 21:11:21 Finished compiler/backend/cv_compute                             26s   1GB
Mar 17 21:11:22 Starting cv_translator
Mar 17 21:16:04 Finished cv_translator                                         4m41s   4GB
Mar 17 21:16:05 Starting candle
Mar 17 21:16:06 Finished candle                                                   0s  16MB
Mar 17 21:16:07 Starting candle/set-theory
Mar 17 21:16:35 Finished candle/set-theory                                       27s 974MB
Mar 17 21:16:36 Starting candle/syntax-lib
Mar 17 21:16:38 Finished candle/syntax-lib                                        0s  82MB
Mar 17 21:16:39 Starting candle/standard
Mar 17 21:16:40 Finished candle/standard                                          0s  15MB
Mar 17 21:16:40 Starting candle/standard/syntax
Mar 17 21:16:54 Finished candle/standard/syntax                                  13s 793MB
Mar 17 21:16:55 Starting candle/standard/semantics
Mar 17 21:19:02 Finished candle/standard/semantics                             2m05s   2GB
Mar 17 21:19:03 Starting candle/standard/monadic
Mar 17 21:19:05 Finished candle/standard/monadic                                  1s 124MB
Mar 17 21:19:06 Starting candle/standard/ml_kernel
Mar 17 21:21:03 Finished candle/standard/ml_kernel                             1m55s   5GB
Mar 17 21:21:03 Starting candle/overloading
Mar 17 21:21:04 Finished candle/overloading                                       0s  15MB
Mar 17 21:21:05 Starting candle/overloading/syntax
Mar 17 21:24:06 Finished candle/overloading/syntax                             3m00s   2GB
Mar 17 21:24:07 Starting candle/overloading/semantics
Mar 17 21:32:53 Finished candle/overloading/semantics                          8m45s   8GB
Mar 17 21:32:54 Starting candle/overloading/monadic
Mar 17 21:34:52 Finished candle/overloading/monadic                            1m56s   1GB
Mar 17 21:34:53 Starting candle/overloading/ml_kernel
Mar 17 21:40:55 Finished candle/overloading/ml_kernel                          6m01s   5GB
Mar 17 21:40:56 Starting candle/overloading/ml_checker
Mar 17 21:43:16 Finished candle/overloading/ml_checker                         2m19s   6GB
Mar 17 21:43:17 Starting candle/prover
Mar 17 21:43:20 Finished candle/prover                                            2s 169MB
Mar 17 21:43:21 Starting candle/prover/compute
Mar 17 21:43:24 Finished candle/prover/compute                                    1s 167MB
Mar 17 21:43:25 Starting pancake
Mar 17 21:43:27 Finished pancake                                                  1s 140MB
Mar 17 21:43:28 Starting pancake/semantics
Mar 17 21:46:10 Finished pancake/semantics                                     2m40s   2GB
Mar 17 21:46:11 Starting pancake/parser
Mar 17 21:46:42 Finished pancake/parser                                          30s 478MB
Mar 17 21:46:43 Starting pancake/static_checker
Mar 17 21:47:50 Finished pancake/static_checker                                1m06s   1GB
Mar 17 21:47:51 Starting pancake/proofs
Mar 17 22:03:29 Finished pancake/proofs                                       15m36s   7GB
Mar 17 22:03:30 Starting compiler/dafny
Mar 17 22:03:53 Finished compiler/dafny                                          23s 740MB
Mar 17 22:03:54 Starting compiler/dafny/translation
Mar 17 22:13:00 Finished compiler/dafny/translation                            9m05s   6GB
Mar 17 22:13:01 Starting compiler/dafny/compilation
Mar 17 22:14:45 Finished compiler/dafny/compilation                            1m43s   6GB
Mar 17 22:14:46 Starting compiler/dafny/semantics
Mar 17 22:15:22 Finished compiler/dafny/semantics                                35s 584MB
Mar 17 22:15:23 Starting compiler/dafny/proofs
Mar 17 22:16:50 Finished compiler/dafny/proofs                                 1m26s   1GB
Mar 17 22:16:51 Starting compiler/dafny/vcg
Mar 17 22:16:53 Finished compiler/dafny/vcg                                       1s 112MB
Mar 17 22:16:54 Starting compiler/dafny/vcg/examples
Mar 17 22:17:21 Finished compiler/dafny/vcg/examples                             25s   1GB
Mar 17 22:17:22 Starting compiler/scheme
Mar 17 22:17:49 Finished compiler/scheme                                         26s   1GB
Mar 17 22:17:50 Starting compiler/scheme/translation
Mar 17 22:23:52 Finished compiler/scheme/translation                           6m01s   7GB
Mar 17 22:23:53 Starting compiler/scheme/compilation
Mar 17 22:25:16 Finished compiler/scheme/compilation                           1m21s   4GB
Mar 17 22:25:17 Starting compiler/scheme/proofs
Mar 17 22:30:43 Finished compiler/scheme/proofs                                5m25s   2GB
Mar 17 22:30:44 Starting characteristic/examples
Mar 17 22:32:08 Finished characteristic/examples                               1m23s   5GB
Mar 17 22:32:09 Starting tutorial/solutions
Mar 17 22:34:50 Finished tutorial/solutions                                    2m39s   8GB
Mar 17 22:34:51 Starting translator/monadic/examples
Mar 17 22:37:54 Finished translator/monadic/examples                           3m02s   4GB
Mar 17 22:37:55 Starting examples
Mar 17 22:42:22 Finished examples                                              4m25s   5GB
Mar 17 22:42:22 Starting examples/compilation
Mar 17 22:42:23 Finished examples/compilation                                     0s  12MB
Mar 17 22:42:24 Starting examples/compilation/x64
Mar 17 22:49:44 Finished examples/compilation/x64                              7m19s   4GB
Mar 17 22:49:45 Starting examples/compilation/x64/proofs
Mar 17 22:52:27 Finished examples/compilation/x64/proofs                       2m40s   4GB
Mar 17 22:52:27 Starting examples/compilation/ag32
Mar 17 22:54:39 Finished examples/compilation/ag32                             2m10s   3GB
Mar 17 22:54:40 Starting examples/compilation/ag32/proofs
Mar 17 22:55:47 Finished examples/compilation/ag32/proofs                      1m06s   4GB
Mar 17 22:55:48 Starting examples/lpr_checker
Mar 17 22:56:24 Finished examples/lpr_checker                                    35s   1GB
Mar 17 22:56:25 Starting examples/lpr_checker/array
Mar 17 23:07:52 Finished examples/lpr_checker/array                           11m25s  12GB
Mar 17 23:07:53 Starting examples/lpr_checker/array/compilation
Mar 17 23:11:12 Finished examples/lpr_checker/array/compilation                3m18s   6GB
Mar 17 23:11:13 Starting examples/lpr_checker/array/compilation/proofs
Mar 17 23:12:30 Finished examples/lpr_checker/array/compilation/proofs         1m15s   5GB
Mar 17 23:12:31 Starting examples/lpr_checker/array/compilation/proofsARM8
Mar 17 23:13:37 Finished examples/lpr_checker/array/compilation/proofsARM8     1m05s   6GB
Mar 17 23:13:38 Starting .
Mar 17 23:13:43 Finished .                                                        3s 365MB
Mar 17 23:13:44 Starting examples/xlrup_checker
Mar 17 23:14:36 Finished examples/xlrup_checker                                  51s   1GB
Mar 17 23:14:37 Starting examples/xlrup_checker/array
Mar 17 23:23:07 Finished examples/xlrup_checker/array                          8m29s   6GB
Mar 17 23:23:07 Starting examples/xlrup_checker/array/compilation
Mar 17 23:24:25 Finished examples/xlrup_checker/array/compilation              1m17s   5GB
Mar 17 23:24:26 Starting examples/xlrup_checker/array/compilation/proofs
Mar 17 23:25:33 Finished examples/xlrup_checker/array/compilation/proofs       1m06s   4GB
Mar 17 23:25:34 Starting examples/scpog_checker
Mar 17 23:26:21 Finished examples/scpog_checker                                  45s   2GB
Mar 17 23:26:22 Starting examples/scpog_checker/array
Mar 17 23:31:34 Finished examples/scpog_checker/array                          5m11s   5GB
Mar 17 23:31:35 Starting examples/scpog_checker/array/compilation
Mar 17 23:33:41 Finished examples/scpog_checker/array/compilation              2m05s   8GB
Mar 17 23:33:42 Starting examples/scpog_checker/array/compilation/proofs
Mar 17 23:34:56 Finished examples/scpog_checker/array/compilation/proofs       1m13s   5GB
Mar 17 23:34:57 Starting examples/pseudo_bool
Mar 17 23:37:04 Finished examples/pseudo_bool                                  2m05s   2GB
Mar 17 23:37:04 Starting examples/pseudo_bool/cnf_encoding
Mar 17 23:37:35 Finished examples/pseudo_bool/cnf_encoding                       30s 975MB
Mar 17 23:37:36 Starting examples/pseudo_bool/graph_encoding
Mar 17 23:38:22 Finished examples/pseudo_bool/graph_encoding                     44s   1GB
Mar 17 23:38:23 Starting examples/pseudo_bool/array
Mar 18 00:16:39 Finished examples/pseudo_bool/array                           38m14s  31GB
Mar 18 00:16:40 Starting examples/pseudo_bool/array/compilation
Mar 18 00:35:02 Finished examples/pseudo_bool/array/compilation               18m21s  21GB
Mar 18 00:35:03 Starting examples/pseudo_bool/array/compilation/proofs
Mar 18 00:39:24 Finished examples/pseudo_bool/array/compilation/proofs         4m19s   7GB
Mar 18 00:39:25 Starting examples/pseudo_bool/array/compilation/proofsARM8
Mar 18 00:40:55 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m29s   6GB
Mar 18 00:40:56 Starting examples/opentheory
Mar 18 00:47:40 Finished examples/opentheory                                   6m43s   5GB
Mar 18 00:47:41 Starting examples/opentheory/compilation
Mar 18 00:49:21 Finished examples/opentheory/compilation                       1m38s   6GB
Mar 18 00:49:21 Starting examples/opentheory/compilation/proofs
Mar 18 00:50:27 Finished examples/opentheory/compilation/proofs                1m04s   4GB
Mar 18 00:50:28 Starting examples/opentheory/compilation/ag32
Mar 18 00:52:12 Finished examples/opentheory/compilation/ag32                  1m42s   6GB
Mar 18 00:52:13 Starting examples/opentheory/compilation/ag32/proofs
Mar 18 00:53:34 Finished examples/opentheory/compilation/ag32/proofs           1m20s   7GB
Mar 18 00:53:35 Starting examples/sat_encodings
Mar 18 00:54:41 Finished examples/sat_encodings                                1m04s 801MB
Mar 18 00:54:42 Starting examples/sat_encodings/demo
Mar 18 00:54:42 Finished examples/sat_encodings/demo                              0s  16MB
Mar 18 00:54:43 Starting examples/sat_encodings/case_studies
Mar 18 00:56:25 Finished examples/sat_encodings/case_studies                   1m40s   1GB
Mar 18 00:56:26 Starting examples/sat_encodings/translation
Mar 18 00:59:45 Finished examples/sat_encodings/translation                    3m18s   3GB
Mar 18 00:59:46 Starting examples/sat_encodings/translation/compilation
Mar 18 01:01:54 Finished examples/sat_encodings/translation/compilation        2m07s   4GB
Mar 18 01:01:55 Starting examples/deflate
Mar 18 01:02:17 Finished examples/deflate                                        21s 426MB
Mar 18 01:02:18 Starting examples/deflate/translation
Mar 18 01:03:12 Finished examples/deflate/translation                            52s   3GB
Mar 18 01:03:13 Starting examples/deflate/translation/compilation
Mar 18 01:04:09 Finished examples/deflate/translation/compilation                55s   4GB
Mar 18 01:04:10 Starting examples/vipr
Mar 18 01:07:15 Finished examples/vipr                                         3m03s   7GB
Mar 18 01:07:16 Starting examples/vipr/compilation
Mar 18 01:08:21 Finished examples/vipr/compilation                             1m04s   4GB
Mar 18 01:08:22 Starting examples/template
Mar 18 01:08:26 Finished examples/template                                        2s 156MB
Mar 18 01:08:27 Starting examples/template/translation
Mar 18 01:08:47 Finished examples/template/translation                           19s 885MB
Mar 18 01:08:48 Starting examples/template/compilation
Mar 18 01:09:53 Finished examples/template/compilation                         1m04s   4GB
Mar 18 01:09:54 Starting translator/okasaki-examples
Mar 18 01:13:01 Finished translator/okasaki-examples                           3m06s   3GB
Mar 18 01:13:02 Starting translator/other-examples
Mar 18 01:15:27 Finished translator/other-examples                             2m23s   2GB
Mar 18 01:15:28 Starting translator/other-examples/auxiliary
Mar 18 01:15:29 Finished translator/other-examples/auxiliary                      0s  20MB
Mar 18 01:15:29 Starting compiler/parsing/tests
Mar 18 01:16:07 Finished compiler/parsing/tests                                  36s   1GB
Mar 18 01:16:08 Starting compiler/inference/tests
Mar 18 01:16:51 Finished compiler/inference/tests                                41s   2GB
Mar 18 01:16:51 Starting compiler/printing/test
Mar 18 01:19:47 Finished compiler/printing/test                                2m55s  15GB
Mar 18 01:19:48 Starting compiler/repl
Mar 18 01:19:52 Finished compiler/repl                                            2s 258MB
Mar 18 01:19:53 Starting compiler/benchmarks
Mar 18 01:20:47 Finished compiler/benchmarks                                     53s 747MB
Mar 18 01:20:48 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Mar 18 01:20:52 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 263MB
Mar 18 01:20:53 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Mar 18 01:20:56 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 284MB
Mar 18 01:20:57 Starting compiler/bootstrap/translation
Mar 18 03:14:58 Finished compiler/bootstrap/translation                     1h53m58s  92GB
Mar 18 03:14:59 Starting compiler/bootstrap/compilation/x64/64
Mar 18 03:18:12 Finished compiler/bootstrap/compilation/x64/64                 3m12s  17GB
Mar 18 03:18:13 Starting compiler/bootstrap/compilation/x64/32
Mar 18 03:48:13 Finished compiler/bootstrap/compilation/x64/32                29m57s  75GB
Mar 18 03:48:14 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 18 03:53:22 Finished compiler/bootstrap/compilation/x64/32/proofs          5m07s  24GB
Mar 18 03:53:23 Starting compiler/bootstrap/compilation/arm8/64
Mar 18 04:38:05 Finished compiler/bootstrap/compilation/arm8/64               44m39s  98GB
Mar 18 04:38:06 Starting compiler/bootstrap/compilation/arm8/64/proofs
Mar 18 04:43:44 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m37s  32GB
Mar 18 04:43:45 Starting compiler/bootstrap/compilation/ag32/32
Mar 18 05:13:16 Finished compiler/bootstrap/compilation/ag32/32               29m29s  73GB
Mar 18 05:13:17 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 18 05:18:37 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m19s  32GB
Mar 18 05:18:38 SUCCESS