Job 3344

CakeML:a9c72c4f051afbae9c2a4872abeb7f80129afe04
  tweak whitespace to make readme_gen happy [May 20 03:15:18]
#1393 (talsewell:pan_shape_merge3)
Merging into:f4a85a3695abec3f50c7d2ba50dcd32aab9ce186
  Merge pull request #1391 from CakeML/loop-multiret [May 17 05:22:18]
HOL:60700bdf7cbbfca4f59cf0a84c07c2ce018801cc
  Check for mlton in the PATH when building postkernel/prooftrace [May 01 05:14:25]
Machine:pavlova

May 20 05:53:33 Claimed job
May 20 05:53:37 Reusing HOL
May 20 05:53:52 Starting developers
May 20 05:53:57 Finished developers                                               4s 224MB
May 20 05:53:58 Starting developers/bin
May 20 05:54:03 Finished developers/bin                                           3s  93MB
May 20 05:54:03 Starting misc
May 20 05:54:47 Finished misc                                                    42s   1GB
May 20 05:54:48 Starting compiler/proofs
May 20 06:55:43 Finished compiler/proofs                                    1h00m53s  12GB
May 20 06:55:43 Starting compiler/bootstrap/compilation/x64/64/proofs
May 20 12:44:23 Finished compiler/bootstrap/compilation/x64/64/proofs       5h48m38s  71GB
May 20 12:44:24 Starting semantics/ffi
May 20 12:44:38 Finished semantics/ffi                                           13s 553MB
May 20 12:44:39 Starting semantics
May 20 12:44:44 Finished semantics                                                3s  85MB
May 20 12:44:44 Starting semantics/proofs
May 20 12:45:09 Finished semantics/proofs                                        23s 556MB
May 20 12:45:10 Starting semantics/alt_semantics
May 20 12:45:29 Finished semantics/alt_semantics                                 18s 540MB
May 20 12:45:30 Starting semantics/alt_semantics/proofs
May 20 12:48:48 Finished semantics/alt_semantics/proofs                        3m17s   1GB
May 20 12:48:49 Starting basis/pure
May 20 12:48:53 Finished basis/pure                                               3s  78MB
May 20 12:48:54 Starting translator
May 20 12:49:58 Finished translator                                            1m03s   3GB
May 20 12:49:59 Starting compiler/parsing
May 20 12:50:04 Finished compiler/parsing                                         4s  90MB
May 20 12:50:05 Starting characteristic
May 20 12:50:11 Finished characteristic                                           5s 117MB
May 20 12:50:11 Starting translator/monadic
May 20 12:50:17 Finished translator/monadic                                       5s 107MB
May 20 12:50:18 Starting translator/monadic/monad_base
May 20 12:50:23 Finished translator/monadic/monad_base                            3s  89MB
May 20 12:50:24 Starting profiler
May 20 12:50:59 Finished profiler                                                34s   1GB
May 20 12:51:00 Starting basis
May 20 12:52:46 Finished basis                                                 1m45s   4GB
May 20 12:52:47 Starting compiler
May 20 12:53:00 Finished compiler                                                12s 245MB
May 20 12:53:01 Starting compiler/inference
May 20 12:53:07 Finished compiler/inference                                       4s 113MB
May 20 12:53:08 Starting compiler/backend/reg_alloc
May 20 12:53:12 Finished compiler/backend/reg_alloc                               3s  92MB
May 20 12:53:13 Starting compiler/backend/gc
May 20 12:53:20 Finished compiler/backend/gc                                      5s 134MB
May 20 12:53:20 Starting compiler/backend
May 20 12:53:27 Finished compiler/backend                                         5s 135MB
May 20 12:53:28 Starting compiler/encoders/asm
May 20 12:53:32 Finished compiler/encoders/asm                                    3s  96MB
May 20 12:53:33 Starting compiler/encoders/x64
May 20 12:53:38 Finished compiler/encoders/x64                                    4s 102MB
May 20 12:53:39 Starting compiler/encoders/arm7
May 20 12:53:44 Finished compiler/encoders/arm7                                   4s 116MB
May 20 12:53:45 Starting compiler/encoders/arm8
May 20 12:53:50 Finished compiler/encoders/arm8                                   4s  99MB
May 20 12:53:50 Starting compiler/encoders/arm8_asl
May 20 12:54:13 Finished compiler/encoders/arm8_asl                              21s   1GB
May 20 12:54:14 Starting compiler/encoders/mips
May 20 12:54:19 Finished compiler/encoders/mips                                   4s  98MB
May 20 12:54:20 Starting compiler/encoders/riscv
May 20 12:54:25 Finished compiler/encoders/riscv                                  4s 105MB
May 20 12:54:25 Starting compiler/encoders/ag32
May 20 12:54:30 Finished compiler/encoders/ag32                                   3s 103MB
May 20 12:54:31 Starting compiler/encoders/tests
May 20 12:54:37 Finished compiler/encoders/tests                                  4s 137MB
May 20 12:54:38 Starting compiler/encoders/monadic_enc
May 20 12:55:04 Finished compiler/encoders/monadic_enc                           25s   1GB
May 20 12:55:05 Starting compiler/backend/x64
May 20 12:55:12 Finished compiler/backend/x64                                     5s 140MB
May 20 12:55:12 Starting compiler/backend/arm7
May 20 12:55:19 Finished compiler/backend/arm7                                    5s 157MB
May 20 12:55:20 Starting compiler/backend/arm8
May 20 12:55:26 Finished compiler/backend/arm8                                    5s 135MB
May 20 12:55:27 Starting compiler/backend/mips
May 20 12:55:34 Finished compiler/backend/mips                                    5s 134MB
May 20 12:55:34 Starting compiler/backend/riscv
May 20 12:55:41 Finished compiler/backend/riscv                                   5s 136MB
May 20 12:55:42 Starting compiler/backend/ag32
May 20 12:56:48 Finished compiler/backend/ag32                                 1m05s   2GB
May 20 12:56:49 Starting compiler/backend/pattern_matching
May 20 12:56:53 Finished compiler/backend/pattern_matching                        3s  89MB
May 20 12:56:54 Starting compiler/parsing/ocaml
May 20 12:58:44 Finished compiler/parsing/ocaml                                1m49s   1GB
May 20 12:58:45 Starting compiler/printing
May 20 12:59:46 Finished compiler/printing                                     1m00s   1GB
May 20 12:59:47 Starting compiler/parsing/proofs
May 20 12:59:52 Finished compiler/parsing/proofs                                  4s 101MB
May 20 12:59:53 Starting compiler/inference/proofs
May 20 12:59:59 Finished compiler/inference/proofs                                5s 109MB
May 20 13:00:00 Starting compiler/backend/semantics
May 20 13:02:48 Finished compiler/backend/semantics                            2m47s   3GB
May 20 13:02:49 Starting compiler/backend/reg_alloc/proofs
May 20 13:02:55 Finished compiler/backend/reg_alloc/proofs                        5s 121MB
May 20 13:02:56 Starting compiler/backend/proofs
May 20 13:03:47 Finished compiler/backend/proofs                                 50s   2GB
May 20 13:03:48 Starting compiler/backend/serialiser
May 20 13:03:55 Finished compiler/backend/serialiser                              5s 148MB
May 20 13:03:56 Starting compiler/encoders/x64/proofs
May 20 13:04:01 Finished compiler/encoders/x64/proofs                             4s  98MB
May 20 13:04:02 Starting compiler/encoders/arm7/proofs
May 20 13:14:39 Finished compiler/encoders/arm7/proofs                        10m36s  12GB
May 20 13:14:40 Starting compiler/encoders/arm8/proofs
May 20 13:21:10 Finished compiler/encoders/arm8/proofs                         6m28s   5GB
May 20 13:21:11 Starting compiler/encoders/arm8_asl/proofs
May 20 13:36:21 Finished compiler/encoders/arm8_asl/proofs                    15m09s   5GB
May 20 13:36:22 Starting compiler/encoders/mips/proofs
May 20 13:45:22 Finished compiler/encoders/mips/proofs                         8m58s  14GB
May 20 13:45:22 Starting compiler/encoders/riscv/proofs
May 20 13:53:17 Finished compiler/encoders/riscv/proofs                        7m53s   5GB
May 20 13:53:18 Starting compiler/encoders/ag32/proofs
May 20 13:55:52 Finished compiler/encoders/ag32/proofs                         2m33s   2GB
May 20 13:55:53 Starting compiler/backend/x64/proofs
May 20 13:56:06 Finished compiler/backend/x64/proofs                             11s 218MB
May 20 13:56:06 Starting compiler/backend/arm7/proofs
May 20 13:56:54 Finished compiler/backend/arm7/proofs                            46s   2GB
May 20 13:56:55 Starting compiler/backend/arm8/proofs
May 20 13:57:42 Finished compiler/backend/arm8/proofs                            46s   2GB
May 20 13:57:43 Starting compiler/backend/arm8_asl
May 20 13:58:27 Finished compiler/backend/arm8_asl                               42s   2GB
May 20 13:58:27 Starting compiler/backend/mips/proofs
May 20 13:59:15 Finished compiler/backend/mips/proofs                            46s   2GB
May 20 13:59:16 Starting compiler/backend/riscv/proofs
May 20 14:00:05 Finished compiler/backend/riscv/proofs                           48s   2GB
May 20 14:00:06 Starting compiler/backend/ag32/proofs
May 20 14:07:56 Finished compiler/backend/ag32/proofs                          7m48s   5GB
May 20 14:07:57 Starting compiler/backend/cv_compute
May 20 14:08:33 Finished compiler/backend/cv_compute                             35s   1GB
May 20 14:08:33 Starting cv_translator
May 20 14:13:31 Finished cv_translator                                         4m56s   4GB
May 20 14:13:32 Starting candle
May 20 14:13:33 Finished candle                                                   0s   6MB
May 20 14:13:34 Starting candle/set-theory
May 20 14:14:06 Finished candle/set-theory                                       30s 959MB
May 20 14:14:06 Starting candle/syntax-lib
May 20 14:14:11 Finished candle/syntax-lib                                        3s  80MB
May 20 14:14:12 Starting candle/standard
May 20 14:14:13 Finished candle/standard                                          0s   6MB
May 20 14:14:13 Starting candle/standard/syntax
May 20 14:14:31 Finished candle/standard/syntax                                  16s 810MB
May 20 14:14:32 Starting candle/standard/semantics
May 20 14:16:43 Finished candle/standard/semantics                             2m09s   2GB
May 20 14:16:44 Starting candle/standard/monadic
May 20 14:16:50 Finished candle/standard/monadic                                  5s 124MB
May 20 14:16:51 Starting candle/standard/ml_kernel
May 20 14:18:55 Finished candle/standard/ml_kernel                             2m03s   4GB
May 20 14:18:56 Starting candle/overloading
May 20 14:18:56 Finished candle/overloading                                       0s   6MB
May 20 14:18:57 Starting candle/overloading/syntax
May 20 14:21:53 Finished candle/overloading/syntax                             2m54s   2GB
May 20 14:21:54 Starting candle/overloading/semantics
May 20 14:30:26 Finished candle/overloading/semantics                          8m31s   9GB
May 20 14:30:27 Starting candle/overloading/monadic
May 20 14:32:27 Finished candle/overloading/monadic                            1m59s   2GB
May 20 14:32:28 Starting candle/overloading/ml_kernel
May 20 14:38:45 Finished candle/overloading/ml_kernel                          6m16s   7GB
May 20 14:38:46 Starting candle/overloading/ml_checker
May 20 14:41:20 Finished candle/overloading/ml_checker                         2m33s   7GB
May 20 14:41:21 Starting candle/prover
May 20 14:41:39 Finished candle/prover                                           17s 320MB
May 20 14:41:39 Starting candle/prover/compute
May 20 14:41:52 Finished candle/prover/compute                                   11s 226MB
May 20 14:41:53 Starting pancake
May 20 14:41:59 Finished pancake                                                  5s 134MB
May 20 14:42:00 Starting pancake/semantics
May 20 14:45:00 Finished pancake/semantics                                     2m58s   3GB
May 20 14:45:01 Starting pancake/parser
May 20 14:45:39 Finished pancake/parser                                          37s 481MB
May 20 14:45:40 Starting pancake/static_checker
May 20 14:47:47 Finished pancake/static_checker                                2m06s   1GB
May 20 14:47:48 Starting pancake/proofs
May 20 15:03:02 Finished pancake/proofs                                       15m13s   6GB
May 20 15:03:02 Starting compiler/dafny
May 20 15:03:30 Finished compiler/dafny                                          26s 724MB
May 20 15:03:31 Starting compiler/dafny/translation
May 20 15:13:14 Finished compiler/dafny/translation                            9m42s   6GB
May 20 15:13:15 Starting compiler/dafny/compilation
May 20 15:15:13 Finished compiler/dafny/compilation                            1m57s   6GB
May 20 15:15:14 Starting compiler/dafny/semantics
May 20 15:15:54 Finished compiler/dafny/semantics                                39s 563MB
May 20 15:15:55 Starting compiler/dafny/proofs
May 20 15:17:25 Finished compiler/dafny/proofs                                 1m29s   1GB
May 20 15:17:26 Starting compiler/dafny/vcg
May 20 15:17:31 Finished compiler/dafny/vcg                                       4s  99MB
May 20 15:17:32 Starting compiler/dafny/vcg/examples
May 20 15:18:01 Finished compiler/dafny/vcg/examples                             27s   1GB
May 20 15:18:02 Starting compiler/scheme
May 20 15:18:37 Finished compiler/scheme                                         33s   1GB
May 20 15:18:38 Starting compiler/scheme/translation
May 20 15:24:43 Finished compiler/scheme/translation                           6m04s   8GB
May 20 15:24:44 Starting compiler/scheme/compilation
May 20 15:26:16 Finished compiler/scheme/compilation                           1m31s   4GB
May 20 15:26:17 Starting compiler/scheme/proofs
May 20 15:31:54 Finished compiler/scheme/proofs                                5m37s   3GB
May 20 15:31:55 Starting characteristic/examples
May 20 15:33:22 Finished characteristic/examples                               1m25s   5GB
May 20 15:33:23 Starting tutorial/solutions
May 20 15:36:15 Finished tutorial/solutions                                    2m51s   3GB
May 20 15:36:16 Starting translator/monadic/examples
May 20 15:39:25 Finished translator/monadic/examples                           3m07s   4GB
May 20 15:39:25 Starting examples
May 20 15:43:51 Finished examples                                              4m25s   5GB
May 20 15:43:52 Starting examples/compilation
May 20 15:43:53 Finished examples/compilation                                     0s   6MB
May 20 15:43:54 Starting examples/compilation/x64
May 20 15:51:27 Finished examples/compilation/x64                              7m31s   4GB
May 20 15:51:28 Starting examples/compilation/x64/proofs
May 20 15:55:04 Finished examples/compilation/x64/proofs                       3m35s   4GB
May 20 15:55:05 Starting examples/compilation/ag32
May 20 15:57:36 Finished examples/compilation/ag32                             2m29s   3GB
May 20 15:57:37 Starting examples/compilation/ag32/proofs
May 20 15:59:16 Finished examples/compilation/ag32/proofs                      1m39s   4GB
May 20 15:59:17 Starting examples/lpr_checker
May 20 16:00:02 Finished examples/lpr_checker                                    43s   1GB
May 20 16:00:02 Starting examples/lpr_checker/array
May 20 16:11:24 Finished examples/lpr_checker/array                           11m20s   8GB
May 20 16:11:25 Starting examples/lpr_checker/array/compilation
May 20 16:15:12 Finished examples/lpr_checker/array/compilation                3m46s   6GB
May 20 16:15:13 Starting examples/lpr_checker/array/compilation/proofs
May 20 16:17:05 Finished examples/lpr_checker/array/compilation/proofs         1m51s   5GB
May 20 16:17:06 Starting examples/lpr_checker/array/compilation/proofsARM8
May 20 16:19:02 Finished examples/lpr_checker/array/compilation/proofsARM8     1m55s   5GB
May 20 16:19:03 Starting .
May 20 16:19:33 Finished .                                                       29s 575MB
May 20 16:19:34 Starting examples/xlrup_checker
May 20 16:20:34 Finished examples/xlrup_checker                                  58s   1GB
May 20 16:20:34 Starting examples/xlrup_checker/array
May 20 16:29:02 Finished examples/xlrup_checker/array                          8m26s   7GB
May 20 16:29:03 Starting examples/xlrup_checker/array/compilation
May 20 16:30:39 Finished examples/xlrup_checker/array/compilation              1m34s   4GB
May 20 16:30:40 Starting examples/xlrup_checker/array/compilation/proofs
May 20 16:32:18 Finished examples/xlrup_checker/array/compilation/proofs       1m37s   4GB
May 20 16:32:19 Starting examples/cnf
May 20 16:32:51 Finished examples/cnf                                            30s 438MB
May 20 16:32:52 Starting examples/cnf/array
May 20 16:35:07 Finished examples/cnf/array                                    2m14s   2GB
May 20 16:35:08 Starting examples/cnf/dist
May 20 16:35:22 Finished examples/cnf/dist                                       13s 295MB
May 20 16:35:23 Starting examples/cnf/dist/array
May 20 16:41:09 Finished examples/cnf/dist/array                               5m45s   4GB
May 20 16:41:10 Starting examples/cnf/dist/array/compilation
May 20 16:42:16 Finished examples/cnf/dist/array/compilation                   1m04s   3GB
May 20 16:42:17 Starting examples/cnf/dist/array/compilation/proofs
May 20 16:43:47 Finished examples/cnf/dist/array/compilation/proofs            1m29s   4GB
May 20 16:43:48 Starting examples/scpog_checker
May 20 16:44:43 Finished examples/scpog_checker                                  53s   2GB
May 20 16:44:43 Starting examples/scpog_checker/array
May 20 16:50:06 Finished examples/scpog_checker/array                          5m21s   3GB
May 20 16:50:07 Starting examples/scpog_checker/array/compilation
May 20 16:52:28 Finished examples/scpog_checker/array/compilation              2m20s   7GB
May 20 16:52:29 Starting examples/scpog_checker/array/compilation/proofs
May 20 16:54:16 Finished examples/scpog_checker/array/compilation/proofs       1m45s   5GB
May 20 16:54:16 Starting examples/pseudo_bool
May 20 16:56:29 Finished examples/pseudo_bool                                  2m11s   2GB
May 20 16:56:30 Starting examples/pseudo_bool/cnf_encoding
May 20 16:57:13 Finished examples/pseudo_bool/cnf_encoding                       42s   1GB
May 20 16:57:14 Starting examples/pseudo_bool/graph_encoding
May 20 16:58:07 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
May 20 16:58:08 Starting examples/pseudo_bool/array
May 20 17:35:46 Finished examples/pseudo_bool/array                           37m37s  19GB
May 20 17:35:47 Starting examples/pseudo_bool/array/compilation
May 20 17:53:51 Finished examples/pseudo_bool/array/compilation               18m03s  19GB
May 20 17:53:52 Starting examples/pseudo_bool/array/compilation/proofs
May 20 17:59:24 Finished examples/pseudo_bool/array/compilation/proofs         5m31s   7GB
May 20 17:59:25 Starting examples/pseudo_bool/array/compilation/proofsARM8
May 20 18:01:53 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m26s   6GB
May 20 18:01:53 Starting examples/opentheory
May 20 18:08:47 Finished examples/opentheory                                   6m52s   5GB
May 20 18:08:48 Starting examples/opentheory/compilation
May 20 18:10:40 Finished examples/opentheory/compilation                       1m51s   5GB
May 20 18:10:40 Starting examples/opentheory/compilation/proofs
May 20 18:12:22 Finished examples/opentheory/compilation/proofs                1m40s   4GB
May 20 18:12:23 Starting examples/opentheory/compilation/ag32
May 20 18:14:22 Finished examples/opentheory/compilation/ag32                  1m58s   6GB
May 20 18:14:23 Starting examples/opentheory/compilation/ag32/proofs
May 20 18:16:15 Finished examples/opentheory/compilation/ag32/proofs           1m51s   7GB
May 20 18:16:16 Starting examples/sat_encodings
May 20 18:17:30 Finished examples/sat_encodings                                1m13s 798MB
May 20 18:17:31 Starting examples/sat_encodings/demo
May 20 18:17:32 Finished examples/sat_encodings/demo                              0s   6MB
May 20 18:17:33 Starting examples/sat_encodings/case_studies
May 20 18:19:25 Finished examples/sat_encodings/case_studies                   1m51s   1GB
May 20 18:19:26 Starting examples/sat_encodings/translation
May 20 18:23:00 Finished examples/sat_encodings/translation                    3m33s   2GB
May 20 18:23:01 Starting examples/sat_encodings/translation/compilation
May 20 18:25:24 Finished examples/sat_encodings/translation/compilation        2m22s   4GB
May 20 18:25:25 Starting examples/deflate
May 20 18:25:55 Finished examples/deflate                                        29s 451MB
May 20 18:25:56 Starting examples/deflate/translation
May 20 18:27:01 Finished examples/deflate/translation                          1m04s   3GB
May 20 18:27:02 Starting examples/deflate/translation/compilation
May 20 18:28:18 Finished examples/deflate/translation/compilation              1m15s   4GB
May 20 18:28:19 Starting examples/vipr
May 20 18:31:30 Finished examples/vipr                                         3m10s   5GB
May 20 18:31:31 Starting examples/vipr/compilation
May 20 18:32:46 Finished examples/vipr/compilation                             1m14s   4GB
May 20 18:32:47 Starting examples/template
May 20 18:32:59 Finished examples/template                                       10s 213MB
May 20 18:32:59 Starting examples/template/translation
May 20 18:33:28 Finished examples/template/translation                           27s 914MB
May 20 18:33:29 Starting examples/template/compilation
May 20 18:34:45 Finished examples/template/compilation                         1m15s   4GB
May 20 18:34:46 Starting translator/okasaki-examples
May 20 18:37:55 Finished translator/okasaki-examples                           3m08s   3GB
May 20 18:37:56 Starting translator/other-examples
May 20 18:39:05 Finished translator/other-examples                             1m08s   2GB
May 20 18:39:06 Starting translator/other-examples/auxiliary
May 20 18:39:07 Finished translator/other-examples/auxiliary                      0s  12MB
May 20 18:39:08 Starting compiler/parsing/tests
May 20 18:39:52 Finished compiler/parsing/tests                                  43s   1GB
May 20 18:39:53 Starting compiler/inference/tests
May 20 18:40:46 Finished compiler/inference/tests                                52s   3GB
May 20 18:40:46 Starting compiler/printing/test
May 20 18:43:50 Finished compiler/printing/test                                3m03s  15GB
May 20 18:43:51 Starting compiler/repl
May 20 18:44:15 Finished compiler/repl                                           22s 426MB
May 20 18:44:16 Starting compiler/benchmarks
May 20 18:46:02 Finished compiler/benchmarks                                   1m45s   1GB
May 20 18:46:03 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
May 20 18:47:00 Finished compiler/benchmarks/cakeml_benchmarks/cakeml            56s   1GB
May 20 18:47:01 Starting compiler/benchmarks/mlton_benchmarks/cakeml
May 20 18:47:58 Finished compiler/benchmarks/mlton_benchmarks/cakeml             56s   1GB
May 20 18:47:59 Starting compiler/bootstrap/translation
May 20 20:43:56 Finished compiler/bootstrap/translation                     1h55m56s  96GB
May 20 20:43:57 Starting compiler/bootstrap/compilation/x64/64
May 20 20:48:40 Finished compiler/bootstrap/compilation/x64/64                 4m42s  15GB
May 20 20:48:41 Starting compiler/bootstrap/compilation/x64/32
May 20 21:18:42 Finished compiler/bootstrap/compilation/x64/32                30m00s  71GB
May 20 21:18:43 Starting compiler/bootstrap/compilation/x64/32/proofs
May 20 21:25:23 Finished compiler/bootstrap/compilation/x64/32/proofs          6m39s  24GB
May 20 21:25:23 Starting compiler/bootstrap/compilation/arm8/64
May 20 22:09:24 Finished compiler/bootstrap/compilation/arm8/64               43m59s  68GB
May 20 22:09:25 Starting compiler/bootstrap/compilation/arm8/64/proofs
May 20 22:17:30 Finished compiler/bootstrap/compilation/arm8/64/proofs         8m04s  31GB
May 20 22:17:30 Starting compiler/bootstrap/compilation/ag32/32
May 20 22:48:07 Finished compiler/bootstrap/compilation/ag32/32               30m35s  53GB
May 20 22:48:08 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 20 22:55:14 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m05s  33GB
May 20 22:55:15 Starting unverified/sexpr-bootstrap/x64/64
May 20 23:00:53 Finished unverified/sexpr-bootstrap/x64/64                     5m37s  18GB
May 20 23:00:54 Starting unverified/sexpr-bootstrap/x64/32
May 20 23:06:04 Finished unverified/sexpr-bootstrap/x64/32                     5m08s  15GB
May 20 23:06:05 SUCCESS