Job 3334

CakeML:63915f7007a7bfc62c8adba96ea099d8c48b17e7
  Fix a modelling mistake [May 09 15:29:07]
#1390 (rup_refactor)
Merging into:37c2d8749fcfcefbc228f011ac725a8cf66542a9
  Merge pull request #1388 from CakeML/master-fix [May 08 03:40:54]
HOL:60700bdf7cbbfca4f59cf0a84c07c2ce018801cc
  Check for mlton in the PATH when building postkernel/prooftrace [May 01 05:14:25]
Machine:pavlova

May 10 11:09:07 Claimed job
May 10 11:09:11 Reusing HOL
May 10 11:09:26 Starting developers
May 10 11:09:32 Finished developers                                               4s 138MB
May 10 11:09:32 Starting developers/bin
May 10 11:09:37 Finished developers/bin                                           3s  93MB
May 10 11:09:38 Starting misc
May 10 11:10:22 Finished misc                                                    43s   1GB
May 10 11:10:22 Starting compiler/proofs
May 10 12:10:25 Finished compiler/proofs                                    1h00m00s  13GB
May 10 12:10:26 Starting compiler/bootstrap/compilation/x64/64/proofs
May 10 17:58:02 Finished compiler/bootstrap/compilation/x64/64/proofs       5h47m34s  91GB
May 10 17:58:03 Starting semantics/ffi
May 10 17:58:17 Finished semantics/ffi                                           13s 547MB
May 10 17:58:18 Starting semantics
May 10 17:58:22 Finished semantics                                                3s  85MB
May 10 17:58:23 Starting semantics/proofs
May 10 17:58:48 Finished semantics/proofs                                        23s 560MB
May 10 17:58:49 Starting semantics/alt_semantics
May 10 17:59:08 Finished semantics/alt_semantics                                 18s 540MB
May 10 17:59:09 Starting semantics/alt_semantics/proofs
May 10 18:02:26 Finished semantics/alt_semantics/proofs                        3m15s   1GB
May 10 18:02:27 Starting basis/pure
May 10 18:02:31 Finished basis/pure                                               3s  78MB
May 10 18:02:32 Starting translator
May 10 18:03:37 Finished translator                                            1m04s   3GB
May 10 18:03:38 Starting compiler/parsing
May 10 18:03:43 Finished compiler/parsing                                         4s  91MB
May 10 18:03:44 Starting characteristic
May 10 18:03:50 Finished characteristic                                           5s 115MB
May 10 18:03:51 Starting translator/monadic
May 10 18:03:57 Finished translator/monadic                                       5s 116MB
May 10 18:03:57 Starting translator/monadic/monad_base
May 10 18:04:02 Finished translator/monadic/monad_base                            3s  89MB
May 10 18:04:03 Starting profiler
May 10 18:04:38 Finished profiler                                                34s   1GB
May 10 18:04:39 Starting basis
May 10 18:06:23 Finished basis                                                 1m43s   4GB
May 10 18:06:24 Starting compiler
May 10 18:06:37 Finished compiler                                                13s 243MB
May 10 18:06:38 Starting compiler/inference
May 10 18:06:44 Finished compiler/inference                                       4s 115MB
May 10 18:06:45 Starting compiler/backend/reg_alloc
May 10 18:06:49 Finished compiler/backend/reg_alloc                               3s  91MB
May 10 18:06:50 Starting compiler/backend/gc
May 10 18:06:57 Finished compiler/backend/gc                                      5s 135MB
May 10 18:06:58 Starting compiler/backend
May 10 18:07:04 Finished compiler/backend                                         5s 127MB
May 10 18:07:05 Starting compiler/encoders/asm
May 10 18:07:10 Finished compiler/encoders/asm                                    3s  95MB
May 10 18:07:10 Starting compiler/encoders/x64
May 10 18:07:15 Finished compiler/encoders/x64                                    4s 102MB
May 10 18:07:16 Starting compiler/encoders/arm7
May 10 18:07:21 Finished compiler/encoders/arm7                                   4s 115MB
May 10 18:07:22 Starting compiler/encoders/arm8
May 10 18:07:27 Finished compiler/encoders/arm8                                   4s  98MB
May 10 18:07:28 Starting compiler/encoders/arm8_asl
May 10 18:07:51 Finished compiler/encoders/arm8_asl                              22s   1GB
May 10 18:07:52 Starting compiler/encoders/mips
May 10 18:07:57 Finished compiler/encoders/mips                                   4s  97MB
May 10 18:07:58 Starting compiler/encoders/riscv
May 10 18:08:03 Finished compiler/encoders/riscv                                  4s 103MB
May 10 18:08:04 Starting compiler/encoders/ag32
May 10 18:08:09 Finished compiler/encoders/ag32                                   3s 101MB
May 10 18:08:09 Starting compiler/encoders/tests
May 10 18:08:15 Finished compiler/encoders/tests                                  4s 136MB
May 10 18:08:16 Starting compiler/encoders/monadic_enc
May 10 18:08:43 Finished compiler/encoders/monadic_enc                           26s   1GB
May 10 18:08:44 Starting compiler/backend/x64
May 10 18:08:50 Finished compiler/backend/x64                                     5s 137MB
May 10 18:08:51 Starting compiler/backend/arm7
May 10 18:08:58 Finished compiler/backend/arm7                                    5s 142MB
May 10 18:08:59 Starting compiler/backend/arm8
May 10 18:09:05 Finished compiler/backend/arm8                                    5s 142MB
May 10 18:09:06 Starting compiler/backend/mips
May 10 18:09:12 Finished compiler/backend/mips                                    5s 142MB
May 10 18:09:13 Starting compiler/backend/riscv
May 10 18:09:20 Finished compiler/backend/riscv                                   5s 142MB
May 10 18:09:21 Starting compiler/backend/ag32
May 10 18:10:27 Finished compiler/backend/ag32                                 1m05s   2GB
May 10 18:10:28 Starting compiler/backend/pattern_matching
May 10 18:10:33 Finished compiler/backend/pattern_matching                        3s  89MB
May 10 18:10:34 Starting compiler/parsing/ocaml
May 10 18:12:33 Finished compiler/parsing/ocaml                                1m58s   1GB
May 10 18:12:34 Starting compiler/printing
May 10 18:13:35 Finished compiler/printing                                       59s   1GB
May 10 18:13:36 Starting compiler/parsing/proofs
May 10 18:13:41 Finished compiler/parsing/proofs                                  4s 100MB
May 10 18:13:42 Starting compiler/inference/proofs
May 10 18:13:48 Finished compiler/inference/proofs                                5s 109MB
May 10 18:13:49 Starting compiler/backend/semantics
May 10 18:16:36 Finished compiler/backend/semantics                            2m46s   4GB
May 10 18:16:37 Starting compiler/backend/reg_alloc/proofs
May 10 18:16:43 Finished compiler/backend/reg_alloc/proofs                        5s 121MB
May 10 18:16:44 Starting compiler/backend/proofs
May 10 18:17:33 Finished compiler/backend/proofs                                 48s   2GB
May 10 18:17:34 Starting compiler/backend/serialiser
May 10 18:17:41 Finished compiler/backend/serialiser                              5s 144MB
May 10 18:17:42 Starting compiler/encoders/x64/proofs
May 10 18:17:47 Finished compiler/encoders/x64/proofs                             4s  98MB
May 10 18:17:48 Starting compiler/encoders/arm7/proofs
May 10 18:28:27 Finished compiler/encoders/arm7/proofs                        10m38s   9GB
May 10 18:28:28 Starting compiler/encoders/arm8/proofs
May 10 18:35:03 Finished compiler/encoders/arm8/proofs                         6m34s   3GB
May 10 18:35:04 Starting compiler/encoders/arm8_asl/proofs
May 10 18:50:09 Finished compiler/encoders/arm8_asl/proofs                    15m04s   5GB
May 10 18:50:10 Starting compiler/encoders/mips/proofs
May 10 18:59:16 Finished compiler/encoders/mips/proofs                         9m04s  13GB
May 10 18:59:17 Starting compiler/encoders/riscv/proofs
May 10 19:07:17 Finished compiler/encoders/riscv/proofs                        7m59s   6GB
May 10 19:07:18 Starting compiler/encoders/ag32/proofs
May 10 19:09:54 Finished compiler/encoders/ag32/proofs                         2m35s   2GB
May 10 19:09:55 Starting compiler/backend/x64/proofs
May 10 19:10:07 Finished compiler/backend/x64/proofs                             11s 224MB
May 10 19:10:08 Starting compiler/backend/arm7/proofs
May 10 19:10:56 Finished compiler/backend/arm7/proofs                            46s   2GB
May 10 19:10:56 Starting compiler/backend/arm8/proofs
May 10 19:11:44 Finished compiler/backend/arm8/proofs                            46s   2GB
May 10 19:11:45 Starting compiler/backend/arm8_asl
May 10 19:12:29 Finished compiler/backend/arm8_asl                               42s   2GB
May 10 19:12:29 Starting compiler/backend/mips/proofs
May 10 19:13:16 Finished compiler/backend/mips/proofs                            45s   2GB
May 10 19:13:17 Starting compiler/backend/riscv/proofs
May 10 19:14:04 Finished compiler/backend/riscv/proofs                           45s   2GB
May 10 19:14:05 Starting compiler/backend/ag32/proofs
May 10 19:21:59 Finished compiler/backend/ag32/proofs                          7m54s   5GB
May 10 19:22:00 Starting compiler/backend/cv_compute
May 10 19:22:34 Finished compiler/backend/cv_compute                             33s   1GB
May 10 19:22:35 Starting cv_translator
May 10 19:27:42 Finished cv_translator                                         5m05s   4GB
May 10 19:27:43 Starting candle
May 10 19:27:43 Finished candle                                                   0s   6MB
May 10 19:27:44 Starting candle/set-theory
May 10 19:28:16 Finished candle/set-theory                                       31s 960MB
May 10 19:28:17 Starting candle/syntax-lib
May 10 19:28:21 Finished candle/syntax-lib                                        3s  82MB
May 10 19:28:22 Starting candle/standard
May 10 19:28:23 Finished candle/standard                                          0s   6MB
May 10 19:28:24 Starting candle/standard/syntax
May 10 19:28:42 Finished candle/standard/syntax                                  16s 814MB
May 10 19:28:42 Starting candle/standard/semantics
May 10 19:30:57 Finished candle/standard/semantics                             2m14s   2GB
May 10 19:30:58 Starting candle/standard/monadic
May 10 19:31:04 Finished candle/standard/monadic                                  5s 118MB
May 10 19:31:05 Starting candle/standard/ml_kernel
May 10 19:33:12 Finished candle/standard/ml_kernel                             2m06s   4GB
May 10 19:33:13 Starting candle/overloading
May 10 19:33:14 Finished candle/overloading                                       0s   6MB
May 10 19:33:15 Starting candle/overloading/syntax
May 10 19:36:11 Finished candle/overloading/syntax                             2m55s   2GB
May 10 19:36:12 Starting candle/overloading/semantics
May 10 19:44:47 Finished candle/overloading/semantics                          8m34s   4GB
May 10 19:44:48 Starting candle/overloading/monadic
May 10 19:46:47 Finished candle/overloading/monadic                            1m57s   2GB
May 10 19:46:47 Starting candle/overloading/ml_kernel
May 10 19:53:09 Finished candle/overloading/ml_kernel                          6m21s   7GB
May 10 19:53:10 Starting candle/overloading/ml_checker
May 10 19:55:49 Finished candle/overloading/ml_checker                         2m37s   6GB
May 10 19:55:50 Starting candle/prover
May 10 19:56:08 Finished candle/prover                                           17s 371MB
May 10 19:56:09 Starting candle/prover/compute
May 10 19:56:21 Finished candle/prover/compute                                   11s 226MB
May 10 19:56:22 Starting pancake
May 10 19:56:29 Finished pancake                                                  5s 132MB
May 10 19:56:30 Starting pancake/semantics
May 10 19:59:16 Finished pancake/semantics                                     2m45s   2GB
May 10 19:59:17 Starting pancake/parser
May 10 19:59:52 Finished pancake/parser                                          34s 813MB
May 10 19:59:53 Starting pancake/static_checker
May 10 20:01:11 Finished pancake/static_checker                                1m17s   1GB
May 10 20:01:12 Starting pancake/proofs
May 10 20:16:44 Finished pancake/proofs                                       15m31s   6GB
May 10 20:16:45 Starting compiler/dafny
May 10 20:17:12 Finished compiler/dafny                                          26s 725MB
May 10 20:17:13 Starting compiler/dafny/translation
May 10 20:26:52 Finished compiler/dafny/translation                            9m38s   6GB
May 10 20:26:53 Starting compiler/dafny/compilation
May 10 20:28:52 Finished compiler/dafny/compilation                            1m57s   6GB
May 10 20:28:53 Starting compiler/dafny/semantics
May 10 20:29:32 Finished compiler/dafny/semantics                                38s 565MB
May 10 20:29:33 Starting compiler/dafny/proofs
May 10 20:31:05 Finished compiler/dafny/proofs                                 1m30s   1GB
May 10 20:31:06 Starting compiler/dafny/vcg
May 10 20:31:11 Finished compiler/dafny/vcg                                       4s  98MB
May 10 20:31:12 Starting compiler/dafny/vcg/examples
May 10 20:31:41 Finished compiler/dafny/vcg/examples                             28s   1GB
May 10 20:31:42 Starting compiler/scheme
May 10 20:32:17 Finished compiler/scheme                                         34s   1GB
May 10 20:32:18 Starting compiler/scheme/translation
May 10 20:38:29 Finished compiler/scheme/translation                           6m09s   7GB
May 10 20:38:30 Starting compiler/scheme/compilation
May 10 20:40:03 Finished compiler/scheme/compilation                           1m32s   4GB
May 10 20:40:04 Starting compiler/scheme/proofs
May 10 20:45:41 Finished compiler/scheme/proofs                                5m36s   3GB
May 10 20:45:42 Starting characteristic/examples
May 10 20:47:16 Finished characteristic/examples                               1m33s   5GB
May 10 20:47:17 Starting tutorial/solutions
May 10 20:50:15 Finished tutorial/solutions                                    2m56s   7GB
May 10 20:50:16 Starting translator/monadic/examples
May 10 20:53:21 Finished translator/monadic/examples                           3m04s   3GB
May 10 20:53:22 Starting examples
May 10 20:57:43 Finished examples                                              4m20s   5GB
May 10 20:57:44 Starting examples/compilation
May 10 20:57:44 Finished examples/compilation                                     0s   6MB
May 10 20:57:45 Starting examples/compilation/x64
May 10 21:05:20 Finished examples/compilation/x64                              7m33s   4GB
May 10 21:05:20 Starting examples/compilation/x64/proofs
May 10 21:08:52 Finished examples/compilation/x64/proofs                       3m30s   4GB
May 10 21:08:53 Starting examples/compilation/ag32
May 10 21:11:25 Finished examples/compilation/ag32                             2m30s   3GB
May 10 21:11:25 Starting examples/compilation/ag32/proofs
May 10 21:13:01 Finished examples/compilation/ag32/proofs                      1m34s   4GB
May 10 21:13:02 Starting examples/lpr_checker
May 10 21:13:46 Finished examples/lpr_checker                                    43s   1GB
May 10 21:13:47 Starting examples/lpr_checker/array
May 10 21:25:22 Finished examples/lpr_checker/array                           11m33s   6GB
May 10 21:25:22 Starting examples/lpr_checker/array/compilation
May 10 21:29:17 Finished examples/lpr_checker/array/compilation                3m53s   6GB
May 10 21:29:18 Starting examples/lpr_checker/array/compilation/proofs
May 10 21:31:09 Finished examples/lpr_checker/array/compilation/proofs         1m49s   5GB
May 10 21:31:10 Starting examples/lpr_checker/array/compilation/proofsARM8
May 10 21:33:04 Finished examples/lpr_checker/array/compilation/proofsARM8     1m53s   6GB
May 10 21:33:05 Starting .
May 10 21:33:35 Finished .                                                       29s 590MB
May 10 21:33:36 Starting examples/xlrup_checker
May 10 21:34:36 Finished examples/xlrup_checker                                  59s   1GB
May 10 21:34:37 Starting examples/xlrup_checker/array
May 10 21:43:01 Finished examples/xlrup_checker/array                          8m23s   8GB
May 10 21:43:02 Starting examples/xlrup_checker/array/compilation
May 10 21:44:38 Finished examples/xlrup_checker/array/compilation              1m34s   4GB
May 10 21:44:38 Starting examples/xlrup_checker/array/compilation/proofs
May 10 21:46:16 Finished examples/xlrup_checker/array/compilation/proofs       1m36s   4GB
May 10 21:46:17 Starting examples/cnf
May 10 21:46:48 Finished examples/cnf                                            30s 477MB
May 10 21:46:49 Starting examples/cnf/array
May 10 21:49:05 Finished examples/cnf/array                                    2m15s   2GB
May 10 21:49:06 Starting examples/cnf/dist
May 10 21:49:21 Finished examples/cnf/dist                                       13s 295MB
May 10 21:49:21 Starting examples/cnf/dist/array
May 10 21:55:05 Finished examples/cnf/dist/array                               5m43s   4GB
May 10 21:55:06 Starting examples/cnf/dist/array/compilation
May 10 21:56:17 Finished examples/cnf/dist/array/compilation                   1m09s   3GB
May 10 21:56:17 Starting examples/cnf/dist/array/compilation/proofs
May 10 21:57:51 Finished examples/cnf/dist/array/compilation/proofs            1m32s   4GB
May 10 21:57:52 Starting examples/scpog_checker
May 10 21:58:46 Finished examples/scpog_checker                                  54s   2GB
May 10 21:58:47 Starting examples/scpog_checker/array
May 10 22:04:13 Finished examples/scpog_checker/array                          5m25s   4GB
May 10 22:04:14 Starting examples/scpog_checker/array/compilation
May 10 22:06:36 Finished examples/scpog_checker/array/compilation              2m20s   7GB
May 10 22:06:37 Starting examples/scpog_checker/array/compilation/proofs
May 10 22:08:25 Finished examples/scpog_checker/array/compilation/proofs       1m46s   6GB
May 10 22:08:26 Starting examples/pseudo_bool
May 10 22:10:47 Finished examples/pseudo_bool                                  2m20s   2GB
May 10 22:10:48 Starting examples/pseudo_bool/cnf_encoding
May 10 22:11:30 Finished examples/pseudo_bool/cnf_encoding                       41s   1GB
May 10 22:11:31 Starting examples/pseudo_bool/graph_encoding
May 10 22:12:27 Finished examples/pseudo_bool/graph_encoding                     55s   1GB
May 10 22:12:28 Starting examples/pseudo_bool/array
May 10 22:51:03 Finished examples/pseudo_bool/array                           38m32s  21GB
May 10 22:51:04 Starting examples/pseudo_bool/array/compilation
May 10 23:08:54 Finished examples/pseudo_bool/array/compilation               17m49s  19GB
May 10 23:08:55 Starting examples/pseudo_bool/array/compilation/proofs
May 10 23:14:38 Finished examples/pseudo_bool/array/compilation/proofs         5m42s   7GB
May 10 23:14:39 Starting examples/pseudo_bool/array/compilation/proofsARM8
May 10 23:17:04 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m24s   7GB
May 10 23:17:05 Starting examples/opentheory
May 10 23:24:03 Finished examples/opentheory                                   6m56s   8GB
May 10 23:24:04 Starting examples/opentheory/compilation
May 10 23:25:57 Finished examples/opentheory/compilation                       1m52s   5GB
May 10 23:25:58 Starting examples/opentheory/compilation/proofs
May 10 23:27:37 Finished examples/opentheory/compilation/proofs                1m38s   4GB
May 10 23:27:38 Starting examples/opentheory/compilation/ag32
May 10 23:29:36 Finished examples/opentheory/compilation/ag32                  1m57s   6GB
May 10 23:29:36 Starting examples/opentheory/compilation/ag32/proofs
May 10 23:31:29 Finished examples/opentheory/compilation/ag32/proofs           1m51s   7GB
May 10 23:31:30 Starting examples/sat_encodings
May 10 23:32:43 Finished examples/sat_encodings                                1m12s 823MB
May 10 23:32:44 Starting examples/sat_encodings/demo
May 10 23:32:45 Finished examples/sat_encodings/demo                              0s   6MB
May 10 23:32:46 Starting examples/sat_encodings/case_studies
May 10 23:34:36 Finished examples/sat_encodings/case_studies                   1m49s   1GB
May 10 23:34:37 Starting examples/sat_encodings/translation
May 10 23:38:12 Finished examples/sat_encodings/translation                    3m33s   3GB
May 10 23:38:13 Starting examples/sat_encodings/translation/compilation
May 10 23:40:36 Finished examples/sat_encodings/translation/compilation        2m22s   4GB
May 10 23:40:37 Starting examples/deflate
May 10 23:41:08 Finished examples/deflate                                        29s 440MB
May 10 23:41:08 Starting examples/deflate/translation
May 10 23:42:17 Finished examples/deflate/translation                          1m07s   3GB
May 10 23:42:18 Starting examples/deflate/translation/compilation
May 10 23:43:32 Finished examples/deflate/translation/compilation              1m12s   3GB
May 10 23:43:33 Starting examples/vipr
May 10 23:46:42 Finished examples/vipr                                         3m08s   5GB
May 10 23:46:43 Starting examples/vipr/compilation
May 10 23:47:56 Finished examples/vipr/compilation                             1m12s   4GB
May 10 23:47:57 Starting examples/template
May 10 23:48:08 Finished examples/template                                       10s 213MB
May 10 23:48:09 Starting examples/template/translation
May 10 23:48:37 Finished examples/template/translation                           27s 936MB
May 10 23:48:38 Starting examples/template/compilation
May 10 23:49:52 Finished examples/template/compilation                         1m13s   4GB
May 10 23:49:53 Starting translator/okasaki-examples
May 10 23:53:04 Finished translator/okasaki-examples                           3m10s   3GB
May 10 23:53:05 Starting translator/other-examples
May 10 23:54:13 Finished translator/other-examples                             1m07s   2GB
May 10 23:54:14 Starting translator/other-examples/auxiliary
May 10 23:54:15 Finished translator/other-examples/auxiliary                      0s  10MB
May 10 23:54:16 Starting compiler/parsing/tests
May 10 23:54:58 Finished compiler/parsing/tests                                  41s   1GB
May 10 23:54:59 Starting compiler/inference/tests
May 10 23:55:53 Finished compiler/inference/tests                                52s   2GB
May 10 23:55:53 Starting compiler/printing/test
May 10 23:58:56 Finished compiler/printing/test                                3m02s  15GB
May 10 23:58:57 Starting compiler/repl
May 10 23:59:21 Finished compiler/repl                                           22s 516MB
May 10 23:59:22 Starting compiler/benchmarks
May 11 00:01:08 Finished compiler/benchmarks                                   1m45s   1GB
May 11 00:01:09 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
May 11 00:02:06 Finished compiler/benchmarks/cakeml_benchmarks/cakeml            55s   2GB
May 11 00:02:07 Starting compiler/benchmarks/mlton_benchmarks/cakeml
May 11 00:03:04 Finished compiler/benchmarks/mlton_benchmarks/cakeml             56s   1GB
May 11 00:03:05 Starting compiler/bootstrap/translation
May 11 02:02:06 Finished compiler/bootstrap/translation                     1h58m58s  80GB
May 11 02:02:07 Starting compiler/bootstrap/compilation/x64/64
May 11 02:06:50 Finished compiler/bootstrap/compilation/x64/64                 4m42s  17GB
May 11 02:06:51 Starting compiler/bootstrap/compilation/x64/32
May 11 02:35:03 Finished compiler/bootstrap/compilation/x64/32                28m09s  60GB
May 11 02:35:04 Starting compiler/bootstrap/compilation/x64/32/proofs
May 11 02:41:26 Finished compiler/bootstrap/compilation/x64/32/proofs          6m21s  25GB
May 11 02:41:26 Starting compiler/bootstrap/compilation/arm8/64
May 11 03:25:43 Finished compiler/bootstrap/compilation/arm8/64               44m14s  79GB
May 11 03:25:44 Starting compiler/bootstrap/compilation/arm8/64/proofs
May 11 03:33:41 Finished compiler/bootstrap/compilation/arm8/64/proofs         7m56s  33GB
May 11 03:33:42 Starting compiler/bootstrap/compilation/ag32/32
May 11 04:03:49 Finished compiler/bootstrap/compilation/ag32/32               30m05s  72GB
May 11 04:03:50 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 11 04:10:46 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m55s  30GB
May 11 04:10:47 Starting unverified/sexpr-bootstrap/x64/64
May 11 04:16:26 Finished unverified/sexpr-bootstrap/x64/64                     5m38s  18GB
May 11 04:16:27 Starting unverified/sexpr-bootstrap/x64/32
May 11 04:21:19 Finished unverified/sexpr-bootstrap/x64/32                     4m51s  15GB
May 11 04:21:20 SUCCESS