Job 3310

CakeML:d49d1074689291bd36d1de0dfa876424565890ad
  Fix bootstrap for changes in TextIO.inputAll spec [Apr 25 06:38:35]
#1375 (inputall_tweak)
Merging into:0aa4d0c483f5c00df02fe4f57e0c7442aea344b5
  Merge pull request #1374 from CakeML/fix-1350 [Apr 25 19:03:40]
HOL:77fad203c275899bfee21faf6d2d3a66e749d7e1
  patch no_sig_docs for asl-equiv [Apr 21 06:34:06]
Machine:timtam

Apr 26 04:06:12 Claimed job
Apr 26 04:06:16 Reusing HOL
Apr 26 04:06:28 Starting developers
Apr 26 04:06:33 Finished developers                                               4s 202MB
Apr 26 04:06:34 Starting developers/bin
Apr 26 04:06:38 Finished developers/bin                                           3s  94MB
Apr 26 04:06:39 Starting misc
Apr 26 04:07:20 Finished misc                                                    39s   1GB
Apr 26 04:07:21 Starting compiler/proofs
Apr 26 05:07:39 Finished compiler/proofs                                    1h00m17s  10GB
Apr 26 05:07:40 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 26 10:57:21 Finished compiler/bootstrap/compilation/x64/64/proofs       5h49m39s 108GB
Apr 26 10:57:22 Starting semantics/ffi
Apr 26 10:57:33 Finished semantics/ffi                                           10s 565MB
Apr 26 10:57:34 Starting semantics
Apr 26 10:57:36 Finished semantics                                                1s  82MB
Apr 26 10:57:37 Starting semantics/proofs
Apr 26 10:57:58 Finished semantics/proofs                                        20s 962MB
Apr 26 10:57:59 Starting semantics/alt_semantics
Apr 26 10:58:16 Finished semantics/alt_semantics                                 16s 612MB
Apr 26 10:58:17 Starting semantics/alt_semantics/proofs
Apr 26 11:01:34 Finished semantics/alt_semantics/proofs                        3m15s   2GB
Apr 26 11:01:35 Starting basis/pure
Apr 26 11:01:36 Finished basis/pure                                               0s  76MB
Apr 26 11:01:37 Starting translator
Apr 26 11:02:40 Finished translator                                            1m02s   2GB
Apr 26 11:02:41 Starting compiler/parsing
Apr 26 11:02:43 Finished compiler/parsing                                         1s  84MB
Apr 26 11:02:44 Starting characteristic
Apr 26 11:02:46 Finished characteristic                                           1s 125MB
Apr 26 11:02:47 Starting translator/monadic
Apr 26 11:02:49 Finished translator/monadic                                       1s 107MB
Apr 26 11:02:50 Starting translator/monadic/monad_base
Apr 26 11:02:52 Finished translator/monadic/monad_base                            1s  77MB
Apr 26 11:02:53 Starting profiler
Apr 26 11:03:24 Finished profiler                                                29s   1GB
Apr 26 11:03:25 Starting basis
Apr 26 11:05:03 Finished basis                                                 1m37s   4GB
Apr 26 11:05:04 Starting compiler
Apr 26 11:05:07 Finished compiler                                                 2s 195MB
Apr 26 11:05:08 Starting compiler/inference
Apr 26 11:05:10 Finished compiler/inference                                       1s 103MB
Apr 26 11:05:11 Starting compiler/backend/reg_alloc
Apr 26 11:05:13 Finished compiler/backend/reg_alloc                               1s  82MB
Apr 26 11:05:13 Starting compiler/backend/gc
Apr 26 11:05:16 Finished compiler/backend/gc                                      1s 123MB
Apr 26 11:05:17 Starting compiler/backend
Apr 26 11:05:23 Finished compiler/backend                                         5s 265MB
Apr 26 11:05:24 Starting compiler/encoders/asm
Apr 26 11:05:25 Finished compiler/encoders/asm                                    1s  86MB
Apr 26 11:05:26 Starting compiler/encoders/x64
Apr 26 11:05:28 Finished compiler/encoders/x64                                    1s  97MB
Apr 26 11:05:29 Starting compiler/encoders/arm7
Apr 26 11:05:31 Finished compiler/encoders/arm7                                   1s  86MB
Apr 26 11:05:32 Starting compiler/encoders/arm8
Apr 26 11:05:34 Finished compiler/encoders/arm8                                   1s  90MB
Apr 26 11:05:35 Starting compiler/encoders/arm8_asl
Apr 26 11:05:53 Finished compiler/encoders/arm8_asl                              16s   1GB
Apr 26 11:05:53 Starting compiler/encoders/mips
Apr 26 11:05:55 Finished compiler/encoders/mips                                   1s  93MB
Apr 26 11:05:56 Starting compiler/encoders/riscv
Apr 26 11:05:58 Finished compiler/encoders/riscv                                  1s  94MB
Apr 26 11:05:59 Starting compiler/encoders/ag32
Apr 26 11:06:01 Finished compiler/encoders/ag32                                   1s  93MB
Apr 26 11:06:02 Starting compiler/encoders/tests
Apr 26 11:06:04 Finished compiler/encoders/tests                                  1s 111MB
Apr 26 11:06:05 Starting compiler/encoders/monadic_enc
Apr 26 11:06:27 Finished compiler/encoders/monadic_enc                           21s   1GB
Apr 26 11:06:28 Starting compiler/backend/x64
Apr 26 11:06:30 Finished compiler/backend/x64                                     1s 125MB
Apr 26 11:06:31 Starting compiler/backend/arm7
Apr 26 11:06:34 Finished compiler/backend/arm7                                    1s 126MB
Apr 26 11:06:35 Starting compiler/backend/arm8
Apr 26 11:06:37 Finished compiler/backend/arm8                                    1s 126MB
Apr 26 11:06:38 Starting compiler/backend/mips
Apr 26 11:06:40 Finished compiler/backend/mips                                    1s 126MB
Apr 26 11:06:41 Starting compiler/backend/riscv
Apr 26 11:06:44 Finished compiler/backend/riscv                                   1s 134MB
Apr 26 11:06:44 Starting compiler/backend/ag32
Apr 26 11:07:41 Finished compiler/backend/ag32                                   55s   2GB
Apr 26 11:07:41 Starting compiler/backend/pattern_matching
Apr 26 11:07:43 Finished compiler/backend/pattern_matching                        1s  76MB
Apr 26 11:07:44 Starting compiler/parsing/ocaml
Apr 26 11:09:32 Finished compiler/parsing/ocaml                                1m46s   1GB
Apr 26 11:09:33 Starting compiler/printing
Apr 26 11:10:29 Finished compiler/printing                                       55s   1GB
Apr 26 11:10:30 Starting compiler/parsing/proofs
Apr 26 11:10:32 Finished compiler/parsing/proofs                                  1s  94MB
Apr 26 11:10:33 Starting compiler/inference/proofs
Apr 26 11:10:35 Finished compiler/inference/proofs                                1s 107MB
Apr 26 11:10:36 Starting compiler/backend/semantics
Apr 26 11:13:18 Finished compiler/backend/semantics                            2m40s   3GB
Apr 26 11:13:18 Starting compiler/backend/reg_alloc/proofs
Apr 26 11:13:21 Finished compiler/backend/reg_alloc/proofs                        1s 102MB
Apr 26 11:13:22 Starting compiler/backend/proofs
Apr 26 11:14:01 Finished compiler/backend/proofs                                 38s   1GB
Apr 26 11:14:02 Starting compiler/backend/serialiser
Apr 26 11:14:05 Finished compiler/backend/serialiser                              1s 142MB
Apr 26 11:14:05 Starting compiler/encoders/x64/proofs
Apr 26 11:14:07 Finished compiler/encoders/x64/proofs                             1s  91MB
Apr 26 11:14:08 Starting compiler/encoders/arm7/proofs
Apr 26 11:24:34 Finished compiler/encoders/arm7/proofs                        10m24s  11GB
Apr 26 11:24:35 Starting compiler/encoders/arm8/proofs
Apr 26 11:30:58 Finished compiler/encoders/arm8/proofs                         6m22s   6GB
Apr 26 11:30:59 Starting compiler/encoders/arm8_asl/proofs
Apr 26 11:45:35 Finished compiler/encoders/arm8_asl/proofs                    14m35s   5GB
Apr 26 11:45:36 Starting compiler/encoders/mips/proofs
Apr 26 11:54:45 Finished compiler/encoders/mips/proofs                         9m08s   9GB
Apr 26 11:54:46 Starting compiler/encoders/riscv/proofs
Apr 26 12:02:45 Finished compiler/encoders/riscv/proofs                        7m58s   4GB
Apr 26 12:02:46 Starting compiler/encoders/ag32/proofs
Apr 26 12:05:19 Finished compiler/encoders/ag32/proofs                         2m31s   2GB
Apr 26 12:05:19 Starting compiler/backend/x64/proofs
Apr 26 12:05:23 Finished compiler/backend/x64/proofs                              2s 211MB
Apr 26 12:05:24 Starting compiler/backend/arm7/proofs
Apr 26 12:06:01 Finished compiler/backend/arm7/proofs                            36s   2GB
Apr 26 12:06:02 Starting compiler/backend/arm8/proofs
Apr 26 12:06:37 Finished compiler/backend/arm8/proofs                            34s   2GB
Apr 26 12:06:38 Starting compiler/backend/arm8_asl
Apr 26 12:07:08 Finished compiler/backend/arm8_asl                               29s   2GB
Apr 26 12:07:09 Starting compiler/backend/mips/proofs
Apr 26 12:07:45 Finished compiler/backend/mips/proofs                            35s   2GB
Apr 26 12:07:46 Starting compiler/backend/riscv/proofs
Apr 26 12:08:25 Finished compiler/backend/riscv/proofs                           38s   2GB
Apr 26 12:08:26 Starting compiler/backend/ag32/proofs
Apr 26 12:16:10 Finished compiler/backend/ag32/proofs                          7m42s   5GB
Apr 26 12:16:11 Starting compiler/backend/cv_compute
Apr 26 12:16:40 Finished compiler/backend/cv_compute                             28s   1GB
Apr 26 12:16:41 Starting cv_translator
Apr 26 12:21:26 Finished cv_translator                                         4m44s   4GB
Apr 26 12:21:27 Starting candle
Apr 26 12:21:28 Finished candle                                                   0s   6MB
Apr 26 12:21:28 Starting candle/set-theory
Apr 26 12:22:01 Finished candle/set-theory                                       31s 943MB
Apr 26 12:22:01 Starting candle/syntax-lib
Apr 26 12:22:03 Finished candle/syntax-lib                                        0s  71MB
Apr 26 12:22:04 Starting candle/standard
Apr 26 12:22:05 Finished candle/standard                                          0s   6MB
Apr 26 12:22:06 Starting candle/standard/syntax
Apr 26 12:22:21 Finished candle/standard/syntax                                  13s 782MB
Apr 26 12:22:21 Starting candle/standard/semantics
Apr 26 12:24:32 Finished candle/standard/semantics                             2m09s   2GB
Apr 26 12:24:33 Starting candle/standard/monadic
Apr 26 12:24:35 Finished candle/standard/monadic                                  1s 112MB
Apr 26 12:24:36 Starting candle/standard/ml_kernel
Apr 26 12:26:31 Finished candle/standard/ml_kernel                             1m54s   4GB
Apr 26 12:26:32 Starting candle/overloading
Apr 26 12:26:33 Finished candle/overloading                                       0s   6MB
Apr 26 12:26:34 Starting candle/overloading/syntax
Apr 26 12:29:30 Finished candle/overloading/syntax                             2m55s   1GB
Apr 26 12:29:31 Starting candle/overloading/semantics
Apr 26 12:38:12 Finished candle/overloading/semantics                          8m39s   7GB
Apr 26 12:38:12 Starting candle/overloading/monadic
Apr 26 12:40:06 Finished candle/overloading/monadic                            1m52s   2GB
Apr 26 12:40:07 Starting candle/overloading/ml_kernel
Apr 26 12:46:25 Finished candle/overloading/ml_kernel                          6m16s   7GB
Apr 26 12:46:25 Starting candle/overloading/ml_checker
Apr 26 12:48:53 Finished candle/overloading/ml_checker                         2m26s   7GB
Apr 26 12:48:54 Starting candle/prover
Apr 26 12:48:57 Finished candle/prover                                            2s 173MB
Apr 26 12:48:57 Starting candle/prover/compute
Apr 26 12:49:00 Finished candle/prover/compute                                    1s 144MB
Apr 26 12:49:01 Starting pancake
Apr 26 12:49:03 Finished pancake                                                  1s 134MB
Apr 26 12:49:04 Starting pancake/semantics
Apr 26 12:51:42 Finished pancake/semantics                                     2m36s   1GB
Apr 26 12:51:43 Starting pancake/parser
Apr 26 12:52:13 Finished pancake/parser                                          29s 511MB
Apr 26 12:52:14 Starting pancake/static_checker
Apr 26 12:53:22 Finished pancake/static_checker                                1m07s   1GB
Apr 26 12:53:22 Starting pancake/proofs
Apr 26 13:08:50 Finished pancake/proofs                                       15m26s   6GB
Apr 26 13:08:51 Starting compiler/dafny
Apr 26 13:09:15 Finished compiler/dafny                                          23s 747MB
Apr 26 13:09:15 Starting compiler/dafny/translation
Apr 26 13:18:23 Finished compiler/dafny/translation                            9m06s   7GB
Apr 26 13:18:24 Starting compiler/dafny/compilation
Apr 26 13:20:09 Finished compiler/dafny/compilation                            1m44s   6GB
Apr 26 13:20:10 Starting compiler/dafny/semantics
Apr 26 13:20:47 Finished compiler/dafny/semantics                                36s 556MB
Apr 26 13:20:48 Starting compiler/dafny/proofs
Apr 26 13:22:15 Finished compiler/dafny/proofs                                 1m25s   1GB
Apr 26 13:22:15 Starting compiler/dafny/vcg
Apr 26 13:22:18 Finished compiler/dafny/vcg                                       1s  96MB
Apr 26 13:22:18 Starting compiler/dafny/vcg/examples
Apr 26 13:22:44 Finished compiler/dafny/vcg/examples                             24s   1GB
Apr 26 13:22:45 Starting compiler/scheme
Apr 26 13:23:11 Finished compiler/scheme                                         25s   1GB
Apr 26 13:23:12 Starting compiler/scheme/translation
Apr 26 13:29:09 Finished compiler/scheme/translation                           5m55s   9GB
Apr 26 13:29:09 Starting compiler/scheme/compilation
Apr 26 13:30:30 Finished compiler/scheme/compilation                           1m19s   4GB
Apr 26 13:30:31 Starting compiler/scheme/proofs
Apr 26 13:35:58 Finished compiler/scheme/proofs                                5m26s   5GB
Apr 26 13:35:59 Starting characteristic/examples
Apr 26 13:37:23 Finished characteristic/examples                               1m23s   5GB
Apr 26 13:37:24 Starting tutorial/solutions
Apr 26 13:39:59 Finished tutorial/solutions                                    2m34s   3GB
Apr 26 13:40:00 Starting translator/monadic/examples
Apr 26 13:43:02 Finished translator/monadic/examples                           3m00s   4GB
Apr 26 13:43:02 Starting examples
Apr 26 13:47:13 Finished examples                                              4m10s   5GB
Apr 26 13:47:14 Starting examples/compilation
Apr 26 13:47:15 Finished examples/compilation                                     0s   6MB
Apr 26 13:47:16 Starting examples/compilation/x64
Apr 26 13:54:36 Finished examples/compilation/x64                              7m18s   4GB
Apr 26 13:54:37 Starting examples/compilation/x64/proofs
Apr 26 13:57:44 Finished examples/compilation/x64/proofs                       3m06s   4GB
Apr 26 13:57:45 Starting examples/compilation/ag32
Apr 26 13:59:58 Finished examples/compilation/ag32                             2m12s   3GB
Apr 26 13:59:59 Starting examples/compilation/ag32/proofs
Apr 26 14:01:13 Finished examples/compilation/ag32/proofs                      1m13s   4GB
Apr 26 14:01:14 Starting examples/lpr_checker
Apr 26 14:01:51 Finished examples/lpr_checker                                    35s   1GB
Apr 26 14:01:51 Starting examples/lpr_checker/array
Apr 26 14:12:50 Finished examples/lpr_checker/array                           10m57s   8GB
Apr 26 14:12:51 Starting examples/lpr_checker/array/compilation
Apr 26 14:16:22 Finished examples/lpr_checker/array/compilation                3m30s   6GB
Apr 26 14:16:23 Starting examples/lpr_checker/array/compilation/proofs
Apr 26 14:17:44 Finished examples/lpr_checker/array/compilation/proofs         1m20s   5GB
Apr 26 14:17:45 Starting examples/lpr_checker/array/compilation/proofsARM8
Apr 26 14:19:02 Finished examples/lpr_checker/array/compilation/proofsARM8     1m15s   6GB
Apr 26 14:19:03 Starting .
Apr 26 14:19:07 Finished .                                                        3s 318MB
Apr 26 14:19:08 Starting examples/xlrup_checker
Apr 26 14:20:01 Finished examples/xlrup_checker                                  51s   1GB
Apr 26 14:20:02 Starting examples/xlrup_checker/array
Apr 26 14:28:04 Finished examples/xlrup_checker/array                          8m01s   5GB
Apr 26 14:28:05 Starting examples/xlrup_checker/array/compilation
Apr 26 14:29:22 Finished examples/xlrup_checker/array/compilation              1m16s   4GB
Apr 26 14:29:23 Starting examples/xlrup_checker/array/compilation/proofs
Apr 26 14:30:38 Finished examples/xlrup_checker/array/compilation/proofs       1m14s   4GB
Apr 26 14:30:39 Starting examples/scpog_checker
Apr 26 14:31:27 Finished examples/scpog_checker                                  47s   2GB
Apr 26 14:31:28 Starting examples/scpog_checker/array
Apr 26 14:36:31 Finished examples/scpog_checker/array                          5m02s   3GB
Apr 26 14:36:32 Starting examples/scpog_checker/array/compilation
Apr 26 14:38:36 Finished examples/scpog_checker/array/compilation              2m02s   7GB
Apr 26 14:38:36 Starting examples/scpog_checker/array/compilation/proofs
Apr 26 14:40:01 Finished examples/scpog_checker/array/compilation/proofs       1m23s   5GB
Apr 26 14:40:02 Starting examples/pseudo_bool
Apr 26 14:42:08 Finished examples/pseudo_bool                                  2m05s   2GB
Apr 26 14:42:09 Starting examples/pseudo_bool/cnf_encoding
Apr 26 14:42:44 Finished examples/pseudo_bool/cnf_encoding                       33s 986MB
Apr 26 14:42:44 Starting examples/pseudo_bool/graph_encoding
Apr 26 14:43:30 Finished examples/pseudo_bool/graph_encoding                     44s   1GB
Apr 26 14:43:31 Starting examples/pseudo_bool/array
Apr 26 15:21:11 Finished examples/pseudo_bool/array                           37m39s  32GB
Apr 26 15:21:12 Starting examples/pseudo_bool/array/compilation
Apr 26 15:38:25 Finished examples/pseudo_bool/array/compilation               17m12s  19GB
Apr 26 15:38:26 Starting examples/pseudo_bool/array/compilation/proofs
Apr 26 15:43:13 Finished examples/pseudo_bool/array/compilation/proofs         4m46s   7GB
Apr 26 15:43:14 Starting examples/pseudo_bool/array/compilation/proofsARM8
Apr 26 15:44:56 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m41s   6GB
Apr 26 15:44:57 Starting examples/opentheory
Apr 26 15:51:38 Finished examples/opentheory                                   6m39s   5GB
Apr 26 15:51:39 Starting examples/opentheory/compilation
Apr 26 15:53:15 Finished examples/opentheory/compilation                       1m35s   5GB
Apr 26 15:53:16 Starting examples/opentheory/compilation/proofs
Apr 26 15:54:30 Finished examples/opentheory/compilation/proofs                1m12s   4GB
Apr 26 15:54:31 Starting examples/opentheory/compilation/ag32
Apr 26 15:56:13 Finished examples/opentheory/compilation/ag32                  1m40s   6GB
Apr 26 15:56:13 Starting examples/opentheory/compilation/ag32/proofs
Apr 26 15:57:48 Finished examples/opentheory/compilation/ag32/proofs           1m33s   7GB
Apr 26 15:57:49 Starting examples/sat_encodings
Apr 26 15:58:55 Finished examples/sat_encodings                                1m05s 796MB
Apr 26 15:58:56 Starting examples/sat_encodings/demo
Apr 26 15:58:56 Finished examples/sat_encodings/demo                              0s   6MB
Apr 26 15:58:57 Starting examples/sat_encodings/case_studies
Apr 26 16:00:44 Finished examples/sat_encodings/case_studies                   1m46s   1GB
Apr 26 16:00:45 Starting examples/sat_encodings/translation
Apr 26 16:04:10 Finished examples/sat_encodings/translation                    3m23s   3GB
Apr 26 16:04:11 Starting examples/sat_encodings/translation/compilation
Apr 26 16:06:16 Finished examples/sat_encodings/translation/compilation        2m04s   4GB
Apr 26 16:06:16 Starting examples/deflate
Apr 26 16:06:39 Finished examples/deflate                                        21s 431MB
Apr 26 16:06:40 Starting examples/deflate/translation
Apr 26 16:07:33 Finished examples/deflate/translation                            51s   3GB
Apr 26 16:07:34 Starting examples/deflate/translation/compilation
Apr 26 16:08:30 Finished examples/deflate/translation/compilation                55s   3GB
Apr 26 16:08:31 Starting examples/vipr
Apr 26 16:11:31 Finished examples/vipr                                         2m59s   5GB
Apr 26 16:11:32 Starting examples/vipr/compilation
Apr 26 16:12:33 Finished examples/vipr/compilation                               59s   4GB
Apr 26 16:12:34 Starting examples/template
Apr 26 16:12:37 Finished examples/template                                        2s 157MB
Apr 26 16:12:38 Starting examples/template/translation
Apr 26 16:12:58 Finished examples/template/translation                           19s 968MB
Apr 26 16:12:59 Starting examples/template/compilation
Apr 26 16:14:01 Finished examples/template/compilation                         1m01s   4GB
Apr 26 16:14:02 Starting translator/okasaki-examples
Apr 26 16:17:09 Finished translator/okasaki-examples                           3m05s   3GB
Apr 26 16:17:09 Starting translator/other-examples
Apr 26 16:18:05 Finished translator/other-examples                               55s   2GB
Apr 26 16:18:06 Starting translator/other-examples/auxiliary
Apr 26 16:18:07 Finished translator/other-examples/auxiliary                      0s  11MB
Apr 26 16:18:08 Starting compiler/parsing/tests
Apr 26 16:18:46 Finished compiler/parsing/tests                                  36s   1GB
Apr 26 16:18:47 Starting compiler/inference/tests
Apr 26 16:19:32 Finished compiler/inference/tests                                44s   3GB
Apr 26 16:19:33 Starting compiler/printing/test
Apr 26 16:22:34 Finished compiler/printing/test                                3m00s  16GB
Apr 26 16:22:35 Starting compiler/repl
Apr 26 16:22:39 Finished compiler/repl                                            2s 242MB
Apr 26 16:22:40 Starting compiler/benchmarks
Apr 26 16:23:34 Finished compiler/benchmarks                                     53s 747MB
Apr 26 16:23:34 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Apr 26 16:23:38 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 267MB
Apr 26 16:23:39 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Apr 26 16:23:43 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 247MB
Apr 26 16:23:44 Starting compiler/bootstrap/translation
Apr 26 18:15:58 Finished compiler/bootstrap/translation                     1h52m13s  88GB
Apr 26 18:15:59 Starting compiler/bootstrap/compilation/x64/64
Apr 26 18:19:26 Finished compiler/bootstrap/compilation/x64/64                 3m26s  16GB
Apr 26 18:19:27 Starting compiler/bootstrap/compilation/x64/32
Apr 26 18:47:26 Finished compiler/bootstrap/compilation/x64/32                27m58s  71GB
Apr 26 18:47:27 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 26 18:52:14 Finished compiler/bootstrap/compilation/x64/32/proofs          4m46s  24GB
Apr 26 18:52:15 Starting compiler/bootstrap/compilation/arm8/64
Apr 26 19:34:49 Finished compiler/bootstrap/compilation/arm8/64               42m33s  89GB
Apr 26 19:34:50 Starting compiler/bootstrap/compilation/arm8/64/proofs
Apr 26 19:40:58 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m07s  31GB
Apr 26 19:40:59 Starting compiler/bootstrap/compilation/ag32/32
Apr 26 20:11:36 Finished compiler/bootstrap/compilation/ag32/32               30m35s  77GB
Apr 26 20:11:36 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 26 20:17:26 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m48s  31GB
Apr 26 20:17:27 Starting unverified/sexpr-bootstrap/x64/64
Apr 26 20:21:57 Finished unverified/sexpr-bootstrap/x64/64                     4m29s  19GB
Apr 26 20:21:58 Starting unverified/sexpr-bootstrap/x64/32
Apr 26 20:25:48 Finished unverified/sexpr-bootstrap/x64/32                     3m49s  15GB
Apr 26 20:25:49 SUCCESS