Job 3343

CakeML:4090b402ec6d2e0de502d3e56649969d5a75fea1
  Fix broken commit [May 20 00:37:13]
#1394 (inputline-spec-tweak)
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:timtam

May 20 03:53:14 Claimed job
May 20 03:53:19 Reusing HOL
May 20 03:53:34 Starting developers
May 20 03:53:39 Finished developers                                               4s 172MB
May 20 03:53:40 Starting developers/bin
May 20 03:53:45 Finished developers/bin                                           3s  93MB
May 20 03:53:46 Starting misc
May 20 03:54:30 Finished misc                                                    43s   1GB
May 20 03:54:31 Starting compiler/proofs
May 20 04:55:50 Finished compiler/proofs                                    1h01m18s  15GB
May 20 04:55:51 Starting compiler/bootstrap/compilation/x64/64/proofs
May 20 10:46:05 Finished compiler/bootstrap/compilation/x64/64/proofs       5h50m11s 108GB
May 20 10:46:06 Starting semantics/ffi
May 20 10:46:20 Finished semantics/ffi                                           13s 547MB
May 20 10:46:21 Starting semantics
May 20 10:46:26 Finished semantics                                                3s  93MB
May 20 10:46:27 Starting semantics/proofs
May 20 10:46:52 Finished semantics/proofs                                        24s 974MB
May 20 10:46:53 Starting semantics/alt_semantics
May 20 10:47:12 Finished semantics/alt_semantics                                 18s 536MB
May 20 10:47:13 Starting semantics/alt_semantics/proofs
May 20 10:50:31 Finished semantics/alt_semantics/proofs                        3m16s   1GB
May 20 10:50:32 Starting basis/pure
May 20 10:50:36 Finished basis/pure                                               3s  78MB
May 20 10:50:37 Starting translator
May 20 10:51:44 Finished translator                                            1m06s   3GB
May 20 10:51:44 Starting compiler/parsing
May 20 10:51:49 Finished compiler/parsing                                         4s  95MB
May 20 10:51:50 Starting characteristic
May 20 10:51:56 Finished characteristic                                           5s 117MB
May 20 10:51:57 Starting translator/monadic
May 20 10:52:03 Finished translator/monadic                                       5s 116MB
May 20 10:52:04 Starting translator/monadic/monad_base
May 20 10:52:08 Finished translator/monadic/monad_base                            3s  82MB
May 20 10:52:09 Starting profiler
May 20 10:52:42 Finished profiler                                                31s   1GB
May 20 10:52:43 Starting basis
May 20 10:54:29 Finished basis                                                 1m45s   4GB
May 20 10:54:30 Starting compiler
May 20 10:54:43 Finished compiler                                                12s 237MB
May 20 10:54:44 Starting compiler/inference
May 20 10:54:50 Finished compiler/inference                                       4s 113MB
May 20 10:54:51 Starting compiler/backend/reg_alloc
May 20 10:54:55 Finished compiler/backend/reg_alloc                               3s  88MB
May 20 10:54:56 Starting compiler/backend/gc
May 20 10:55:03 Finished compiler/backend/gc                                      5s 137MB
May 20 10:55:03 Starting compiler/backend
May 20 10:55:10 Finished compiler/backend                                         5s 135MB
May 20 10:55:11 Starting compiler/encoders/asm
May 20 10:55:16 Finished compiler/encoders/asm                                    3s  92MB
May 20 10:55:16 Starting compiler/encoders/x64
May 20 10:55:21 Finished compiler/encoders/x64                                    4s  98MB
May 20 10:55:22 Starting compiler/encoders/arm7
May 20 10:55:27 Finished compiler/encoders/arm7                                   4s 118MB
May 20 10:55:28 Starting compiler/encoders/arm8
May 20 10:55:33 Finished compiler/encoders/arm8                                   4s 100MB
May 20 10:55:34 Starting compiler/encoders/arm8_asl
May 20 10:55:57 Finished compiler/encoders/arm8_asl                              22s   1GB
May 20 10:55:57 Starting compiler/encoders/mips
May 20 10:56:02 Finished compiler/encoders/mips                                   3s 110MB
May 20 10:56:03 Starting compiler/encoders/riscv
May 20 10:56:08 Finished compiler/encoders/riscv                                  4s 101MB
May 20 10:56:09 Starting compiler/encoders/ag32
May 20 10:56:14 Finished compiler/encoders/ag32                                   3s  96MB
May 20 10:56:15 Starting compiler/encoders/tests
May 20 10:56:20 Finished compiler/encoders/tests                                  4s 156MB
May 20 10:56:21 Starting compiler/encoders/monadic_enc
May 20 10:56:48 Finished compiler/encoders/monadic_enc                           25s   1GB
May 20 10:56:49 Starting compiler/backend/x64
May 20 10:56:55 Finished compiler/backend/x64                                     5s 137MB
May 20 10:56:56 Starting compiler/backend/arm7
May 20 10:57:03 Finished compiler/backend/arm7                                    5s 176MB
May 20 10:57:04 Starting compiler/backend/arm8
May 20 10:57:10 Finished compiler/backend/arm8                                    5s 137MB
May 20 10:57:11 Starting compiler/backend/mips
May 20 10:57:17 Finished compiler/backend/mips                                    5s 133MB
May 20 10:57:18 Starting compiler/backend/riscv
May 20 10:57:25 Finished compiler/backend/riscv                                   5s 134MB
May 20 10:57:25 Starting compiler/backend/ag32
May 20 10:58:32 Finished compiler/backend/ag32                                 1m05s   2GB
May 20 10:58:33 Starting compiler/backend/pattern_matching
May 20 10:58:37 Finished compiler/backend/pattern_matching                        3s  92MB
May 20 10:58:38 Starting compiler/parsing/ocaml
May 20 11:00:28 Finished compiler/parsing/ocaml                                1m49s   1GB
May 20 11:00:29 Starting compiler/printing
May 20 11:01:31 Finished compiler/printing                                     1m00s   1GB
May 20 11:01:31 Starting compiler/parsing/proofs
May 20 11:01:37 Finished compiler/parsing/proofs                                  4s  98MB
May 20 11:01:38 Starting compiler/inference/proofs
May 20 11:01:44 Finished compiler/inference/proofs                                5s 111MB
May 20 11:01:44 Starting compiler/backend/semantics
May 20 11:04:35 Finished compiler/backend/semantics                            2m49s   3GB
May 20 11:04:35 Starting compiler/backend/reg_alloc/proofs
May 20 11:04:41 Finished compiler/backend/reg_alloc/proofs                        5s 113MB
May 20 11:04:42 Starting compiler/backend/proofs
May 20 11:05:33 Finished compiler/backend/proofs                                 49s   2GB
May 20 11:05:33 Starting compiler/backend/serialiser
May 20 11:05:40 Finished compiler/backend/serialiser                              6s 151MB
May 20 11:05:41 Starting compiler/encoders/x64/proofs
May 20 11:05:46 Finished compiler/encoders/x64/proofs                             4s 103MB
May 20 11:05:47 Starting compiler/encoders/arm7/proofs
May 20 11:16:19 Finished compiler/encoders/arm7/proofs                        10m31s   9GB
May 20 11:16:20 Starting compiler/encoders/arm8/proofs
May 20 11:22:58 Finished compiler/encoders/arm8/proofs                         6m36s   7GB
May 20 11:22:59 Starting compiler/encoders/arm8_asl/proofs
May 20 11:38:15 Finished compiler/encoders/arm8_asl/proofs                    15m15s   3GB
May 20 11:38:16 Starting compiler/encoders/mips/proofs
May 20 11:47:21 Finished compiler/encoders/mips/proofs                         9m04s  13GB
May 20 11:47:22 Starting compiler/encoders/riscv/proofs
May 20 11:55:23 Finished compiler/encoders/riscv/proofs                        7m59s   6GB
May 20 11:55:24 Starting compiler/encoders/ag32/proofs
May 20 11:57:58 Finished compiler/encoders/ag32/proofs                         2m32s   2GB
May 20 11:57:58 Starting compiler/backend/x64/proofs
May 20 11:58:11 Finished compiler/backend/x64/proofs                             11s 209MB
May 20 11:58:12 Starting compiler/backend/arm7/proofs
May 20 11:59:00 Finished compiler/backend/arm7/proofs                            46s   2GB
May 20 11:59:00 Starting compiler/backend/arm8/proofs
May 20 11:59:50 Finished compiler/backend/arm8/proofs                            48s   2GB
May 20 11:59:51 Starting compiler/backend/arm8_asl
May 20 12:00:35 Finished compiler/backend/arm8_asl                               42s   2GB
May 20 12:00:35 Starting compiler/backend/mips/proofs
May 20 12:01:22 Finished compiler/backend/mips/proofs                            45s   2GB
May 20 12:01:23 Starting compiler/backend/riscv/proofs
May 20 12:02:13 Finished compiler/backend/riscv/proofs                           49s   2GB
May 20 12:02:14 Starting compiler/backend/ag32/proofs
May 20 12:10:12 Finished compiler/backend/ag32/proofs                          7m57s   5GB
May 20 12:10:13 Starting compiler/backend/cv_compute
May 20 12:10:48 Finished compiler/backend/cv_compute                             34s   1GB
May 20 12:10:49 Starting cv_translator
May 20 12:15:51 Finished cv_translator                                         5m01s   4GB
May 20 12:15:52 Starting candle
May 20 12:15:53 Finished candle                                                   0s   6MB
May 20 12:15:54 Starting candle/set-theory
May 20 12:16:27 Finished candle/set-theory                                       31s 953MB
May 20 12:16:27 Starting candle/syntax-lib
May 20 12:16:32 Finished candle/syntax-lib                                        3s  85MB
May 20 12:16:32 Starting candle/standard
May 20 12:16:33 Finished candle/standard                                          0s   6MB
May 20 12:16:34 Starting candle/standard/syntax
May 20 12:16:52 Finished candle/standard/syntax                                  17s 798MB
May 20 12:16:53 Starting candle/standard/semantics
May 20 12:19:08 Finished candle/standard/semantics                             2m14s   2GB
May 20 12:19:09 Starting candle/standard/monadic
May 20 12:19:15 Finished candle/standard/monadic                                  5s 118MB
May 20 12:19:16 Starting candle/standard/ml_kernel
May 20 12:21:22 Finished candle/standard/ml_kernel                             2m05s   4GB
May 20 12:21:22 Starting candle/overloading
May 20 12:21:23 Finished candle/overloading                                       0s   6MB
May 20 12:21:24 Starting candle/overloading/syntax
May 20 12:24:25 Finished candle/overloading/syntax                             3m00s   2GB
May 20 12:24:26 Starting candle/overloading/semantics
May 20 12:33:25 Finished candle/overloading/semantics                          8m57s  17GB
May 20 12:33:26 Starting candle/overloading/monadic
May 20 12:35:24 Finished candle/overloading/monadic                            1m56s   2GB
May 20 12:35:24 Starting candle/overloading/ml_kernel
May 20 12:41:45 Finished candle/overloading/ml_kernel                          6m19s   6GB
May 20 12:41:46 Starting candle/overloading/ml_checker
May 20 12:44:15 Finished candle/overloading/ml_checker                         2m28s   6GB
May 20 12:44:16 Starting candle/prover
May 20 12:44:34 Finished candle/prover                                           17s 420MB
May 20 12:44:34 Starting candle/prover/compute
May 20 12:44:47 Finished candle/prover/compute                                   11s 302MB
May 20 12:44:48 Starting pancake
May 20 12:44:54 Finished pancake                                                  5s 145MB
May 20 12:44:55 Starting pancake/semantics
May 20 12:47:41 Finished pancake/semantics                                     2m45s   2GB
May 20 12:47:42 Starting pancake/parser
May 20 12:48:17 Finished pancake/parser                                          33s 501MB
May 20 12:48:18 Starting pancake/static_checker
May 20 12:49:37 Finished pancake/static_checker                                1m18s   1GB
May 20 12:49:38 Starting pancake/proofs
May 20 13:04:19 Finished pancake/proofs                                       14m40s   5GB
May 20 13:04:20 Starting compiler/dafny
May 20 13:04:47 Finished compiler/dafny                                          26s 742MB
May 20 13:04:48 Starting compiler/dafny/translation
May 20 13:14:08 Finished compiler/dafny/translation                            9m19s   7GB
May 20 13:14:09 Starting compiler/dafny/compilation
May 20 13:16:11 Finished compiler/dafny/compilation                            2m00s   6GB
May 20 13:16:12 Starting compiler/dafny/semantics
May 20 13:16:52 Finished compiler/dafny/semantics                                39s 566MB
May 20 13:16:53 Starting compiler/dafny/proofs
May 20 13:18:25 Finished compiler/dafny/proofs                                 1m31s   1GB
May 20 13:18:26 Starting compiler/dafny/vcg
May 20 13:18:31 Finished compiler/dafny/vcg                                       4s  98MB
May 20 13:18:32 Starting compiler/dafny/vcg/examples
May 20 13:19:02 Finished compiler/dafny/vcg/examples                             29s   1GB
May 20 13:19:03 Starting compiler/scheme
May 20 13:19:38 Finished compiler/scheme                                         34s   1GB
May 20 13:19:39 Starting compiler/scheme/translation
May 20 13:25:46 Finished compiler/scheme/translation                           6m06s   8GB
May 20 13:25:47 Starting compiler/scheme/compilation
May 20 13:27:20 Finished compiler/scheme/compilation                           1m32s   4GB
May 20 13:27:21 Starting compiler/scheme/proofs
May 20 13:33:10 Finished compiler/scheme/proofs                                5m48s   2GB
May 20 13:33:11 Starting characteristic/examples
May 20 13:34:45 Finished characteristic/examples                               1m32s   5GB
May 20 13:34:46 Starting tutorial/solutions
May 20 13:37:39 Finished tutorial/solutions                                    2m52s   3GB
May 20 13:37:39 Starting translator/monadic/examples
May 20 13:40:45 Finished translator/monadic/examples                           3m04s   4GB
May 20 13:40:46 Starting examples
May 20 13:45:12 Finished examples                                              4m25s   5GB
May 20 13:45:13 Starting examples/compilation
May 20 13:45:14 Finished examples/compilation                                     0s   6MB
May 20 13:45:15 Starting examples/compilation/x64
May 20 13:52:50 Finished examples/compilation/x64                              7m34s   4GB
May 20 13:52:51 Starting examples/compilation/x64/proofs
May 20 13:56:28 Finished examples/compilation/x64/proofs                       3m36s   4GB
May 20 13:56:29 Starting examples/compilation/ag32
May 20 13:59:00 Finished examples/compilation/ag32                             2m29s   3GB
May 20 13:59:01 Starting examples/compilation/ag32/proofs
May 20 14:00:39 Finished examples/compilation/ag32/proofs                      1m37s   4GB
May 20 14:00:40 Starting examples/lpr_checker
May 20 14:01:24 Finished examples/lpr_checker                                    43s   1GB
May 20 14:01:25 Starting examples/lpr_checker/array
May 20 14:12:53 Finished examples/lpr_checker/array                           11m27s   9GB
May 20 14:12:54 Starting examples/lpr_checker/array/compilation
May 20 14:16:42 Finished examples/lpr_checker/array/compilation                3m46s   6GB
May 20 14:16:42 Starting examples/lpr_checker/array/compilation/proofs
May 20 14:18:31 Finished examples/lpr_checker/array/compilation/proofs         1m47s   5GB
May 20 14:18:32 Starting examples/lpr_checker/array/compilation/proofsARM8
May 20 14:20:28 Finished examples/lpr_checker/array/compilation/proofsARM8     1m55s   6GB
May 20 14:20:29 Starting .
May 20 14:21:00 Finished .                                                       29s 547MB
May 20 14:21:01 Starting examples/xlrup_checker
May 20 14:22:00 Finished examples/xlrup_checker                                  58s   1GB
May 20 14:22:01 Starting examples/xlrup_checker/array
May 20 14:30:24 Finished examples/xlrup_checker/array                          8m21s   6GB
May 20 14:30:25 Starting examples/xlrup_checker/array/compilation
May 20 14:32:00 Finished examples/xlrup_checker/array/compilation              1m34s   4GB
May 20 14:32:01 Starting examples/xlrup_checker/array/compilation/proofs
May 20 14:33:40 Finished examples/xlrup_checker/array/compilation/proofs       1m37s   5GB
May 20 14:33:40 Starting examples/cnf
May 20 14:34:12 Finished examples/cnf                                            30s 441MB
May 20 14:34:13 Starting examples/cnf/array
May 20 14:36:29 Finished examples/cnf/array                                    2m14s   3GB
May 20 14:36:30 Starting examples/cnf/dist
May 20 14:36:44 Finished examples/cnf/dist                                       13s 295MB
May 20 14:36:45 Starting examples/cnf/dist/array
May 20 14:42:47 Finished examples/cnf/dist/array                               6m01s   4GB
May 20 14:42:48 Starting examples/cnf/dist/array/compilation
May 20 14:43:58 Finished examples/cnf/dist/array/compilation                   1m08s   3GB
May 20 14:43:59 Starting examples/cnf/dist/array/compilation/proofs
May 20 14:45:30 Finished examples/cnf/dist/array/compilation/proofs            1m30s   4GB
May 20 14:45:31 Starting examples/scpog_checker
May 20 14:46:26 Finished examples/scpog_checker                                  53s   2GB
May 20 14:46:27 Starting examples/scpog_checker/array
May 20 14:51:49 Finished examples/scpog_checker/array                          5m21s   4GB
May 20 14:51:50 Starting examples/scpog_checker/array/compilation
May 20 14:54:10 Finished examples/scpog_checker/array/compilation              2m19s   7GB
May 20 14:54:11 Starting examples/scpog_checker/array/compilation/proofs
May 20 14:56:02 Finished examples/scpog_checker/array/compilation/proofs       1m49s   5GB
May 20 14:56:03 Starting examples/pseudo_bool
May 20 14:58:21 Finished examples/pseudo_bool                                  2m17s   2GB
May 20 14:58:22 Starting examples/pseudo_bool/cnf_encoding
May 20 14:59:05 Finished examples/pseudo_bool/cnf_encoding                       42s   1GB
May 20 14:59:06 Starting examples/pseudo_bool/graph_encoding
May 20 15:00:03 Finished examples/pseudo_bool/graph_encoding                     56s   1GB
May 20 15:00:04 Starting examples/pseudo_bool/array
May 20 15:38:11 Finished examples/pseudo_bool/array                           38m06s  29GB
May 20 15:38:12 Starting examples/pseudo_bool/array/compilation
May 20 15:55:58 Finished examples/pseudo_bool/array/compilation               17m44s  19GB
May 20 15:55:59 Starting examples/pseudo_bool/array/compilation/proofs
May 20 16:01:31 Finished examples/pseudo_bool/array/compilation/proofs         5m31s   7GB
May 20 16:01:32 Starting examples/pseudo_bool/array/compilation/proofsARM8
May 20 16:03:55 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m22s   6GB
May 20 16:03:56 Starting examples/opentheory
May 20 16:10:51 Finished examples/opentheory                                   6m54s   5GB
May 20 16:10:52 Starting examples/opentheory/compilation
May 20 16:12:47 Finished examples/opentheory/compilation                       1m54s   6GB
May 20 16:12:48 Starting examples/opentheory/compilation/proofs
May 20 16:14:29 Finished examples/opentheory/compilation/proofs                1m39s   4GB
May 20 16:14:30 Starting examples/opentheory/compilation/ag32
May 20 16:16:24 Finished examples/opentheory/compilation/ag32                  1m53s   6GB
May 20 16:16:25 Starting examples/opentheory/compilation/ag32/proofs
May 20 16:18:23 Finished examples/opentheory/compilation/ag32/proofs           1m57s   7GB
May 20 16:18:23 Starting examples/sat_encodings
May 20 16:19:38 Finished examples/sat_encodings                                1m13s 784MB
May 20 16:19:39 Starting examples/sat_encodings/demo
May 20 16:19:40 Finished examples/sat_encodings/demo                              0s   6MB
May 20 16:19:40 Starting examples/sat_encodings/case_studies
May 20 16:21:34 Finished examples/sat_encodings/case_studies                   1m53s   1GB
May 20 16:21:35 Starting examples/sat_encodings/translation
May 20 16:25:17 Finished examples/sat_encodings/translation                    3m40s   3GB
May 20 16:25:17 Starting examples/sat_encodings/translation/compilation
May 20 16:27:43 Finished examples/sat_encodings/translation/compilation        2m24s   4GB
May 20 16:27:44 Starting examples/deflate
May 20 16:28:14 Finished examples/deflate                                        29s 441MB
May 20 16:28:15 Starting examples/deflate/translation
May 20 16:29:23 Finished examples/deflate/translation                          1m06s   3GB
May 20 16:29:24 Starting examples/deflate/translation/compilation
May 20 16:30:40 Finished examples/deflate/translation/compilation              1m15s   4GB
May 20 16:30:40 Starting examples/vipr
May 20 16:33:59 Finished examples/vipr                                         3m17s   9GB
May 20 16:34:00 Starting examples/vipr/compilation
May 20 16:35:17 Finished examples/vipr/compilation                             1m15s   4GB
May 20 16:35:18 Starting examples/template
May 20 16:35:29 Finished examples/template                                       10s 220MB
May 20 16:35:30 Starting examples/template/translation
May 20 16:35:58 Finished examples/template/translation                           27s 915MB
May 20 16:35:59 Starting examples/template/compilation
May 20 16:37:14 Finished examples/template/compilation                         1m14s   4GB
May 20 16:37:15 Starting translator/okasaki-examples
May 20 16:40:25 Finished translator/okasaki-examples                           3m08s   3GB
May 20 16:40:26 Starting translator/other-examples
May 20 16:41:32 Finished translator/other-examples                             1m05s   2GB
May 20 16:41:33 Starting translator/other-examples/auxiliary
May 20 16:41:34 Finished translator/other-examples/auxiliary                      0s  12MB
May 20 16:41:35 Starting compiler/parsing/tests
May 20 16:42:17 Finished compiler/parsing/tests                                  41s   1GB
May 20 16:42:18 Starting compiler/inference/tests
May 20 16:43:12 Finished compiler/inference/tests                                53s   2GB
May 20 16:43:13 Starting compiler/printing/test
May 20 16:46:27 Finished compiler/printing/test                                3m13s  15GB
May 20 16:46:28 Starting compiler/repl
May 20 16:46:52 Finished compiler/repl                                           22s 423MB
May 20 16:46:52 Starting compiler/benchmarks
May 20 16:48:40 Finished compiler/benchmarks                                   1m46s   1GB
May 20 16:48:41 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
May 20 16:49:37 Finished compiler/benchmarks/cakeml_benchmarks/cakeml            56s   1GB
May 20 16:49:38 Starting compiler/benchmarks/mlton_benchmarks/cakeml
May 20 16:50:36 Finished compiler/benchmarks/mlton_benchmarks/cakeml             56s   1GB
May 20 16:50:36 Starting compiler/bootstrap/translation
May 20 19:04:21 Finished compiler/bootstrap/translation                     2h13m43s 101GB
May 20 19:04:22 Starting compiler/bootstrap/compilation/x64/64
May 20 19:08:59 Finished compiler/bootstrap/compilation/x64/64                 4m35s  17GB
May 20 19:08:59 Starting compiler/bootstrap/compilation/x64/32
May 20 19:38:19 Finished compiler/bootstrap/compilation/x64/32                29m18s  69GB
May 20 19:38:20 Starting compiler/bootstrap/compilation/x64/32/proofs
May 20 19:45:06 Finished compiler/bootstrap/compilation/x64/32/proofs          6m44s  25GB
May 20 19:45:06 Starting compiler/bootstrap/compilation/arm8/64
May 20 20:28:26 Finished compiler/bootstrap/compilation/arm8/64               43m19s  86GB
May 20 20:28:27 Starting compiler/bootstrap/compilation/arm8/64/proofs
May 20 20:36:07 Finished compiler/bootstrap/compilation/arm8/64/proofs         7m39s  30GB
May 20 20:36:08 Starting compiler/bootstrap/compilation/ag32/32
May 20 21:06:49 Finished compiler/bootstrap/compilation/ag32/32               30m40s  78GB
May 20 21:06:50 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 20 21:13:38 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m46s  30GB
May 20 21:13:38 Starting unverified/sexpr-bootstrap/x64/64
May 20 21:19:23 Finished unverified/sexpr-bootstrap/x64/64                     5m43s  18GB
May 20 21:19:23 Starting unverified/sexpr-bootstrap/x64/32
May 20 21:24:36 Finished unverified/sexpr-bootstrap/x64/32                     5m12s  13GB
May 20 21:24:37 SUCCESS