Job 3337

CakeML:ac654a0a33de8eef7b85de46d951b9df344d8076
  Merge pull request #1389 from CakeML/while [May 11 21:46:15]
HOL:60700bdf7cbbfca4f59cf0a84c07c2ce018801cc
  Check for mlton in the PATH when building postkernel/prooftrace [May 01 05:14:25]
Machine:pavlova
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

May 11 22:01:37 Claimed job
May 11 22:01:41 Reusing HOL
May 11 22:01:56 Starting developers
May 11 22:02:02 Finished developers                                               4s 228MB
May 11 22:02:03 Starting developers/bin
May 11 22:02:07 Finished developers/bin                                           3s  93MB
May 11 22:02:08 Starting misc
May 11 22:02:55 Finished misc                                                    43s   1GB
May 11 22:02:56 Starting compiler/proofs
May 11 23:03:34 Finished compiler/proofs                                    1h00m36s  15GB
May 11 23:03:35 Starting compiler/bootstrap/compilation/x64/64/proofs
May 12 04:54:19 Finished compiler/bootstrap/compilation/x64/64/proofs       5h50m41s  69GB
May 12 04:54:19 Starting semantics/ffi
May 12 04:54:34 Finished semantics/ffi                                           13s 545MB
May 12 04:54:35 Starting semantics
May 12 04:54:39 Finished semantics                                                3s  85MB
May 12 04:54:40 Starting semantics/proofs
May 12 04:55:04 Finished semantics/proofs                                        23s 559MB
May 12 04:55:05 Starting semantics/alt_semantics
May 12 04:55:25 Finished semantics/alt_semantics                                 18s 542MB
May 12 04:55:26 Starting semantics/alt_semantics/proofs
May 12 04:58:42 Finished semantics/alt_semantics/proofs                        3m15s   1GB
May 12 04:58:43 Starting basis/pure
May 12 04:58:47 Finished basis/pure                                               3s  79MB
May 12 04:58:48 Starting translator
May 12 04:59:52 Finished translator                                            1m02s   3GB
May 12 04:59:53 Starting compiler/parsing
May 12 04:59:58 Finished compiler/parsing                                         4s  91MB
May 12 04:59:58 Starting characteristic
May 12 05:00:04 Finished characteristic                                           4s 119MB
May 12 05:00:05 Starting translator/monadic
May 12 05:00:11 Finished translator/monadic                                       5s 109MB
May 12 05:00:12 Starting translator/monadic/monad_base
May 12 05:00:16 Finished translator/monadic/monad_base                            3s  88MB
May 12 05:00:17 Starting profiler
May 12 05:00:53 Finished profiler                                                35s   1GB
May 12 05:00:54 Starting basis
May 12 05:02:42 Finished basis                                                 1m46s   4GB
May 12 05:02:42 Starting compiler
May 12 05:02:57 Finished compiler                                                13s 222MB
May 12 05:02:58 Starting compiler/inference
May 12 05:03:03 Finished compiler/inference                                       4s 114MB
May 12 05:03:04 Starting compiler/backend/reg_alloc
May 12 05:03:09 Finished compiler/backend/reg_alloc                               3s  92MB
May 12 05:03:09 Starting compiler/backend/gc
May 12 05:03:16 Finished compiler/backend/gc                                      5s 134MB
May 12 05:03:17 Starting compiler/backend
May 12 05:03:23 Finished compiler/backend                                         5s 132MB
May 12 05:03:24 Starting compiler/encoders/asm
May 12 05:03:29 Finished compiler/encoders/asm                                    3s  95MB
May 12 05:03:30 Starting compiler/encoders/x64
May 12 05:03:35 Finished compiler/encoders/x64                                    4s 102MB
May 12 05:03:35 Starting compiler/encoders/arm7
May 12 05:03:40 Finished compiler/encoders/arm7                                   4s 117MB
May 12 05:03:41 Starting compiler/encoders/arm8
May 12 05:03:46 Finished compiler/encoders/arm8                                   4s  98MB
May 12 05:03:47 Starting compiler/encoders/arm8_asl
May 12 05:04:10 Finished compiler/encoders/arm8_asl                              21s   1GB
May 12 05:04:11 Starting compiler/encoders/mips
May 12 05:04:16 Finished compiler/encoders/mips                                   4s  97MB
May 12 05:04:16 Starting compiler/encoders/riscv
May 12 05:04:21 Finished compiler/encoders/riscv                                  4s 104MB
May 12 05:04:22 Starting compiler/encoders/ag32
May 12 05:04:27 Finished compiler/encoders/ag32                                   3s 103MB
May 12 05:04:28 Starting compiler/encoders/tests
May 12 05:04:33 Finished compiler/encoders/tests                                  4s 137MB
May 12 05:04:34 Starting compiler/encoders/monadic_enc
May 12 05:05:01 Finished compiler/encoders/monadic_enc                           25s   1GB
May 12 05:05:02 Starting compiler/backend/x64
May 12 05:05:09 Finished compiler/backend/x64                                     6s 145MB
May 12 05:05:10 Starting compiler/backend/arm7
May 12 05:05:16 Finished compiler/backend/arm7                                    5s 168MB
May 12 05:05:17 Starting compiler/backend/arm8
May 12 05:05:24 Finished compiler/backend/arm8                                    5s 132MB
May 12 05:05:24 Starting compiler/backend/mips
May 12 05:05:31 Finished compiler/backend/mips                                    5s 132MB
May 12 05:05:32 Starting compiler/backend/riscv
May 12 05:05:39 Finished compiler/backend/riscv                                   6s 131MB
May 12 05:05:39 Starting compiler/backend/ag32
May 12 05:06:48 Finished compiler/backend/ag32                                 1m07s   2GB
May 12 05:06:49 Starting compiler/backend/pattern_matching
May 12 05:06:53 Finished compiler/backend/pattern_matching                        3s  91MB
May 12 05:06:54 Starting compiler/parsing/ocaml
May 12 05:08:46 Finished compiler/parsing/ocaml                                1m51s   1GB
May 12 05:08:47 Starting compiler/printing
May 12 05:09:49 Finished compiler/printing                                     1m00s   1GB
May 12 05:09:50 Starting compiler/parsing/proofs
May 12 05:09:55 Finished compiler/parsing/proofs                                  4s 102MB
May 12 05:09:56 Starting compiler/inference/proofs
May 12 05:10:02 Finished compiler/inference/proofs                                5s 109MB
May 12 05:10:03 Starting compiler/backend/semantics
May 12 05:12:49 Finished compiler/backend/semantics                            2m45s   3GB
May 12 05:12:50 Starting compiler/backend/reg_alloc/proofs
May 12 05:12:56 Finished compiler/backend/reg_alloc/proofs                        5s 120MB
May 12 05:12:57 Starting compiler/backend/proofs
May 12 05:13:47 Finished compiler/backend/proofs                                 48s   2GB
May 12 05:13:48 Starting compiler/backend/serialiser
May 12 05:13:54 Finished compiler/backend/serialiser                              5s 147MB
May 12 05:13:55 Starting compiler/encoders/x64/proofs
May 12 05:14:00 Finished compiler/encoders/x64/proofs                             4s  98MB
May 12 05:14:01 Starting compiler/encoders/arm7/proofs
May 12 05:24:42 Finished compiler/encoders/arm7/proofs                        10m39s  12GB
May 12 05:24:43 Starting compiler/encoders/arm8/proofs
May 12 05:31:12 Finished compiler/encoders/arm8/proofs                         6m28s   7GB
May 12 05:31:13 Starting compiler/encoders/arm8_asl/proofs
May 12 05:46:27 Finished compiler/encoders/arm8_asl/proofs                    15m12s   5GB
May 12 05:46:28 Starting compiler/encoders/mips/proofs
May 12 05:55:27 Finished compiler/encoders/mips/proofs                         8m58s  13GB
May 12 05:55:28 Starting compiler/encoders/riscv/proofs
May 12 06:03:22 Finished compiler/encoders/riscv/proofs                        7m52s   3GB
May 12 06:03:23 Starting compiler/encoders/ag32/proofs
May 12 06:05:56 Finished compiler/encoders/ag32/proofs                         2m32s   1GB
May 12 06:05:57 Starting compiler/backend/x64/proofs
May 12 06:06:09 Finished compiler/backend/x64/proofs                             11s 212MB
May 12 06:06:10 Starting compiler/backend/arm7/proofs
May 12 06:06:57 Finished compiler/backend/arm7/proofs                            46s   2GB
May 12 06:06:58 Starting compiler/backend/arm8/proofs
May 12 06:07:46 Finished compiler/backend/arm8/proofs                            46s   2GB
May 12 06:07:46 Starting compiler/backend/arm8_asl
May 12 06:08:31 Finished compiler/backend/arm8_asl                               43s   2GB
May 12 06:08:32 Starting compiler/backend/mips/proofs
May 12 06:09:18 Finished compiler/backend/mips/proofs                            46s   2GB
May 12 06:09:19 Starting compiler/backend/riscv/proofs
May 12 06:10:09 Finished compiler/backend/riscv/proofs                           48s   2GB
May 12 06:10:10 Starting compiler/backend/ag32/proofs
May 12 06:18:03 Finished compiler/backend/ag32/proofs                          7m52s   5GB
May 12 06:18:04 Starting compiler/backend/cv_compute
May 12 06:18:40 Finished compiler/backend/cv_compute                             34s   1GB
May 12 06:18:41 Starting cv_translator
May 12 06:23:45 Finished cv_translator                                         5m03s   4GB
May 12 06:23:46 Starting candle
May 12 06:23:47 Finished candle                                                   0s   6MB
May 12 06:23:48 Starting candle/set-theory
May 12 06:24:21 Finished candle/set-theory                                       31s 959MB
May 12 06:24:22 Starting candle/syntax-lib
May 12 06:24:26 Finished candle/syntax-lib                                        3s  82MB
May 12 06:24:27 Starting candle/standard
May 12 06:24:28 Finished candle/standard                                          0s   6MB
May 12 06:24:29 Starting candle/standard/syntax
May 12 06:24:46 Finished candle/standard/syntax                                  16s 815MB
May 12 06:24:47 Starting candle/standard/semantics
May 12 06:27:01 Finished candle/standard/semantics                             2m13s   2GB
May 12 06:27:02 Starting candle/standard/monadic
May 12 06:27:08 Finished candle/standard/monadic                                  5s 118MB
May 12 06:27:09 Starting candle/standard/ml_kernel
May 12 06:29:16 Finished candle/standard/ml_kernel                             2m06s   4GB
May 12 06:29:17 Starting candle/overloading
May 12 06:29:18 Finished candle/overloading                                       0s   6MB
May 12 06:29:19 Starting candle/overloading/syntax
May 12 06:32:21 Finished candle/overloading/syntax                             3m00s   2GB
May 12 06:32:22 Starting candle/overloading/semantics
May 12 06:40:58 Finished candle/overloading/semantics                          8m35s   5GB
May 12 06:40:59 Starting candle/overloading/monadic
May 12 06:43:04 Finished candle/overloading/monadic                            2m02s   1GB
May 12 06:43:04 Starting candle/overloading/ml_kernel
May 12 06:49:27 Finished candle/overloading/ml_kernel                          6m22s   7GB
May 12 06:49:28 Starting candle/overloading/ml_checker
May 12 06:52:03 Finished candle/overloading/ml_checker                         2m34s   7GB
May 12 06:52:04 Starting candle/prover
May 12 06:52:22 Finished candle/prover                                           16s 429MB
May 12 06:52:23 Starting candle/prover/compute
May 12 06:52:35 Finished candle/prover/compute                                   11s 268MB
May 12 06:52:36 Starting pancake
May 12 06:52:42 Finished pancake                                                  5s 141MB
May 12 06:52:43 Starting pancake/semantics
May 12 06:55:25 Finished pancake/semantics                                     2m40s   2GB
May 12 06:55:26 Starting pancake/parser
May 12 06:56:02 Finished pancake/parser                                          35s 771MB
May 12 06:56:03 Starting pancake/static_checker
May 12 06:57:22 Finished pancake/static_checker                                1m18s   1GB
May 12 06:57:23 Starting pancake/proofs
May 12 07:13:06 Finished pancake/proofs                                       15m42s   4GB
May 12 07:13:07 Starting compiler/dafny
May 12 07:13:34 Finished compiler/dafny                                          26s 727MB
May 12 07:13:35 Starting compiler/dafny/translation
May 12 07:22:52 Finished compiler/dafny/translation                            9m16s   6GB
May 12 07:22:53 Starting compiler/dafny/compilation
May 12 07:24:53 Finished compiler/dafny/compilation                            1m58s   6GB
May 12 07:24:54 Starting compiler/dafny/semantics
May 12 07:25:34 Finished compiler/dafny/semantics                                39s 563MB
May 12 07:25:34 Starting compiler/dafny/proofs
May 12 07:27:05 Finished compiler/dafny/proofs                                 1m29s   1GB
May 12 07:27:06 Starting compiler/dafny/vcg
May 12 07:27:11 Finished compiler/dafny/vcg                                       4s  98MB
May 12 07:27:12 Starting compiler/dafny/vcg/examples
May 12 07:27:41 Finished compiler/dafny/vcg/examples                             28s   1GB
May 12 07:27:42 Starting compiler/scheme
May 12 07:28:16 Finished compiler/scheme                                         33s   1GB
May 12 07:28:17 Starting compiler/scheme/translation
May 12 07:34:26 Finished compiler/scheme/translation                           6m07s   8GB
May 12 07:34:27 Starting compiler/scheme/compilation
May 12 07:36:01 Finished compiler/scheme/compilation                           1m31s   4GB
May 12 07:36:01 Starting compiler/scheme/proofs
May 12 07:41:39 Finished compiler/scheme/proofs                                5m37s   2GB
May 12 07:41:40 Starting characteristic/examples
May 12 07:43:12 Finished characteristic/examples                               1m30s   5GB
May 12 07:43:13 Starting tutorial/solutions
May 12 07:46:05 Finished tutorial/solutions                                    2m50s   3GB
May 12 07:46:05 Starting translator/monadic/examples
May 12 07:49:12 Finished translator/monadic/examples                           3m05s   4GB
May 12 07:49:12 Starting examples
May 12 07:53:36 Finished examples                                              4m22s   6GB
May 12 07:53:37 Starting examples/compilation
May 12 07:53:37 Finished examples/compilation                                     0s   6MB
May 12 07:53:38 Starting examples/compilation/x64
May 12 08:01:14 Finished examples/compilation/x64                              7m34s   4GB
May 12 08:01:15 Starting examples/compilation/x64/proofs
May 12 08:04:41 Finished examples/compilation/x64/proofs                       3m25s   4GB
May 12 08:04:42 Starting examples/compilation/ag32
May 12 08:07:12 Finished examples/compilation/ag32                             2m28s   3GB
May 12 08:07:13 Starting examples/compilation/ag32/proofs
May 12 08:08:51 Finished examples/compilation/ag32/proofs                      1m37s   4GB
May 12 08:08:52 Starting examples/lpr_checker
May 12 08:09:37 Finished examples/lpr_checker                                    43s   1GB
May 12 08:09:38 Starting examples/lpr_checker/array
May 12 08:21:08 Finished examples/lpr_checker/array                           11m29s   9GB
May 12 08:21:08 Starting examples/lpr_checker/array/compilation
May 12 08:24:58 Finished examples/lpr_checker/array/compilation                3m48s   6GB
May 12 08:24:59 Starting examples/lpr_checker/array/compilation/proofs
May 12 08:26:51 Finished examples/lpr_checker/array/compilation/proofs         1m50s   5GB
May 12 08:26:52 Starting examples/lpr_checker/array/compilation/proofsARM8
May 12 08:28:48 Finished examples/lpr_checker/array/compilation/proofsARM8     1m55s   5GB
May 12 08:28:49 Starting .
May 12 08:29:20 Finished .                                                       29s 473MB
May 12 08:29:21 Starting examples/xlrup_checker
May 12 08:30:20 Finished examples/xlrup_checker                                  59s   1GB
May 12 08:30:21 Starting examples/xlrup_checker/array
May 12 08:38:50 Finished examples/xlrup_checker/array                          8m28s   4GB
May 12 08:38:51 Starting examples/xlrup_checker/array/compilation
May 12 08:40:26 Finished examples/xlrup_checker/array/compilation              1m34s   4GB
May 12 08:40:27 Starting examples/xlrup_checker/array/compilation/proofs
May 12 08:42:06 Finished examples/xlrup_checker/array/compilation/proofs       1m37s   4GB
May 12 08:42:07 Starting examples/cnf
May 12 08:42:38 Finished examples/cnf                                            30s 440MB
May 12 08:42:39 Starting examples/cnf/array
May 12 08:44:55 Finished examples/cnf/array                                    2m15s   3GB
May 12 08:44:56 Starting examples/cnf/dist
May 12 08:45:11 Finished examples/cnf/dist                                       14s 295MB
May 12 08:45:12 Starting examples/cnf/dist/array
May 12 08:51:09 Finished examples/cnf/dist/array                               5m55s   5GB
May 12 08:51:10 Starting examples/cnf/dist/array/compilation
May 12 08:52:22 Finished examples/cnf/dist/array/compilation                   1m11s   3GB
May 12 08:52:23 Starting examples/cnf/dist/array/compilation/proofs
May 12 08:53:52 Finished examples/cnf/dist/array/compilation/proofs            1m29s   4GB
May 12 08:53:53 Starting examples/scpog_checker
May 12 08:54:49 Finished examples/scpog_checker                                  54s   2GB
May 12 08:54:50 Starting examples/scpog_checker/array
May 12 09:00:18 Finished examples/scpog_checker/array                          5m27s   4GB
May 12 09:00:19 Starting examples/scpog_checker/array/compilation
May 12 09:02:42 Finished examples/scpog_checker/array/compilation              2m21s   7GB
May 12 09:02:42 Starting examples/scpog_checker/array/compilation/proofs
May 12 09:04:29 Finished examples/scpog_checker/array/compilation/proofs       1m45s   5GB
May 12 09:04:30 Starting examples/pseudo_bool
May 12 09:06:50 Finished examples/pseudo_bool                                  2m18s   2GB
May 12 09:06:51 Starting examples/pseudo_bool/cnf_encoding
May 12 09:07:32 Finished examples/pseudo_bool/cnf_encoding                       40s   1GB
May 12 09:07:33 Starting examples/pseudo_bool/graph_encoding
May 12 09:08:30 Finished examples/pseudo_bool/graph_encoding                     56s   1GB
May 12 09:08:31 Starting examples/pseudo_bool/array
May 12 09:47:14 Finished examples/pseudo_bool/array                           38m42s  31GB
May 12 09:47:15 Starting examples/pseudo_bool/array/compilation
May 12 10:05:11 Finished examples/pseudo_bool/array/compilation               17m55s  19GB
May 12 10:05:12 Starting examples/pseudo_bool/array/compilation/proofs
May 12 10:10:54 Finished examples/pseudo_bool/array/compilation/proofs         5m41s   7GB
May 12 10:10:55 Starting examples/pseudo_bool/array/compilation/proofsARM8
May 12 10:13:19 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m23s   6GB
May 12 10:13:20 Starting examples/opentheory
May 12 10:20:11 Finished examples/opentheory                                   6m49s   5GB
May 12 10:20:11 Starting examples/opentheory/compilation
May 12 10:22:04 Finished examples/opentheory/compilation                       1m51s   5GB
May 12 10:22:05 Starting examples/opentheory/compilation/proofs
May 12 10:23:46 Finished examples/opentheory/compilation/proofs                1m40s   4GB
May 12 10:23:47 Starting examples/opentheory/compilation/ag32
May 12 10:25:46 Finished examples/opentheory/compilation/ag32                  1m58s   6GB
May 12 10:25:47 Starting examples/opentheory/compilation/ag32/proofs
May 12 10:27:40 Finished examples/opentheory/compilation/ag32/proofs           1m51s   7GB
May 12 10:27:41 Starting examples/sat_encodings
May 12 10:28:55 Finished examples/sat_encodings                                1m13s 801MB
May 12 10:28:56 Starting examples/sat_encodings/demo
May 12 10:28:57 Finished examples/sat_encodings/demo                              0s   6MB
May 12 10:28:58 Starting examples/sat_encodings/case_studies
May 12 10:30:50 Finished examples/sat_encodings/case_studies                   1m51s   1GB
May 12 10:30:51 Starting examples/sat_encodings/translation
May 12 10:34:32 Finished examples/sat_encodings/translation                    3m39s   3GB
May 12 10:34:33 Starting examples/sat_encodings/translation/compilation
May 12 10:36:57 Finished examples/sat_encodings/translation/compilation        2m23s   4GB
May 12 10:36:58 Starting examples/deflate
May 12 10:37:28 Finished examples/deflate                                        29s 440MB
May 12 10:37:29 Starting examples/deflate/translation
May 12 10:38:37 Finished examples/deflate/translation                          1m07s   3GB
May 12 10:38:38 Starting examples/deflate/translation/compilation
May 12 10:39:48 Finished examples/deflate/translation/compilation              1m08s   3GB
May 12 10:39:49 Starting examples/vipr
May 12 10:43:07 Finished examples/vipr                                         3m17s   8GB
May 12 10:43:08 Starting examples/vipr/compilation
May 12 10:44:24 Finished examples/vipr/compilation                             1m15s   4GB
May 12 10:44:25 Starting examples/template
May 12 10:44:37 Finished examples/template                                       11s 185MB
May 12 10:44:38 Starting examples/template/translation
May 12 10:45:06 Finished examples/template/translation                           27s 964MB
May 12 10:45:07 Starting examples/template/compilation
May 12 10:46:24 Finished examples/template/compilation                         1m16s   4GB
May 12 10:46:25 Starting translator/okasaki-examples
May 12 10:49:37 Finished translator/okasaki-examples                           3m10s   3GB
May 12 10:49:38 Starting translator/other-examples
May 12 10:50:46 Finished translator/other-examples                             1m07s   2GB
May 12 10:50:47 Starting translator/other-examples/auxiliary
May 12 10:50:48 Finished translator/other-examples/auxiliary                      0s  11MB
May 12 10:50:49 Starting compiler/parsing/tests
May 12 10:51:33 Finished compiler/parsing/tests                                  43s   1GB
May 12 10:51:34 Starting compiler/inference/tests
May 12 10:52:27 Finished compiler/inference/tests                                52s   2GB
May 12 10:52:28 Starting compiler/printing/test
May 12 10:55:31 Finished compiler/printing/test                                3m02s  15GB
May 12 10:55:32 Starting compiler/repl
May 12 10:55:55 Finished compiler/repl                                           22s 514MB
May 12 10:55:56 Starting compiler/benchmarks
May 12 10:57:43 Finished compiler/benchmarks                                   1m45s   1GB
May 12 10:57:44 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
May 12 10:58:40 Finished compiler/benchmarks/cakeml_benchmarks/cakeml            55s   1GB
May 12 10:58:41 Starting compiler/benchmarks/mlton_benchmarks/cakeml
May 12 10:59:38 Finished compiler/benchmarks/mlton_benchmarks/cakeml             56s   1GB
May 12 10:59:39 Starting compiler/bootstrap/translation
May 12 12:57:47 Finished compiler/bootstrap/translation                     1h58m06s  95GB
May 12 12:57:47 Starting compiler/bootstrap/compilation/x64/64
May 12 13:02:42 Finished compiler/bootstrap/compilation/x64/64                 4m42s  18GB
May 12 13:02:43 Starting compiler/bootstrap/compilation/x64/32
May 12 13:31:09 Finished compiler/bootstrap/compilation/x64/32                28m19s  47GB
May 12 13:31:10 Starting compiler/bootstrap/compilation/x64/32/proofs
May 12 13:37:45 Finished compiler/bootstrap/compilation/x64/32/proofs          6m33s  26GB
May 12 13:37:45 Starting compiler/bootstrap/compilation/arm8/64
May 12 14:22:39 Finished compiler/bootstrap/compilation/arm8/64               44m44s  86GB
May 12 14:22:40 Starting compiler/bootstrap/compilation/arm8/64/proofs
May 12 14:30:30 Finished compiler/bootstrap/compilation/arm8/64/proofs         7m50s  30GB
May 12 14:30:31 Starting compiler/bootstrap/compilation/ag32/32
May 12 15:01:37 Finished compiler/bootstrap/compilation/ag32/32               31m04s  78GB
May 12 15:01:38 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 12 15:08:53 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m13s  33GB
May 12 15:08:54 Starting unverified/sexpr-bootstrap/x64/64
May 12 15:14:40 Finished unverified/sexpr-bootstrap/x64/64                     5m46s  18GB
May 12 15:14:41 Starting unverified/sexpr-bootstrap/x64/32
May 12 15:19:43 Finished unverified/sexpr-bootstrap/x64/32                     5m00s  15GB
May 12 15:19:44 SUCCESS