Job 3355

CakeML:5ea273ee4c90961f8cff69afd3c3d2df6ee57520
  Merge branch 'master' into pancake-add-inst [May 22 16:07:48]
#1398 (pancake-add-inst)
Merging into:35898f2190ba17c7a38ab0f91fe57a4ce9dbbbc8
  pancake/loop: extend Break/Continue with nesting-depth num (#1395) [May 22 16:05:01]
HOL:c7b52ad03fb162477aad3544b5d81e2e194f467e
  Holmake/Mosml: compile HM_TheoryDat into the Mosml Holmake build [May 24 02:43:20]
Machine:pavlova

May 25 12:50:13 Claimed job
May 25 12:50:19 Building HOL
May 25 13:03:23 Starting developers
May 25 13:03:28 Finished developers                                               4s 203MB
May 25 13:03:29 Starting developers/bin
May 25 13:03:33 Finished developers/bin                                           2s  93MB
May 25 13:03:34 Starting misc
May 25 13:04:34 Finished misc                                                    59s   1GB
May 25 13:04:35 Starting compiler/proofs
May 25 14:10:02 Finished compiler/proofs                                    1h05m26s  10GB
May 25 14:10:03 Starting compiler/bootstrap/compilation/x64/64/proofs
May 26 00:59:13 Finished compiler/bootstrap/compilation/x64/64/proofs      10h49m09s 104GB
May 26 00:59:14 Starting semantics/ffi
May 26 00:59:31 Finished semantics/ffi                                           16s 538MB
May 26 00:59:32 Starting semantics
May 26 00:59:40 Finished semantics                                                6s 125MB
May 26 00:59:40 Starting semantics/proofs
May 26 01:00:09 Finished semantics/proofs                                        27s   1GB
May 26 01:00:10 Starting semantics/alt_semantics
May 26 01:00:33 Finished semantics/alt_semantics                                 22s 476MB
May 26 01:00:33 Starting semantics/alt_semantics/proofs
May 26 01:03:57 Finished semantics/alt_semantics/proofs                        3m22s   1GB
May 26 01:03:58 Starting basis/pure
May 26 01:04:05 Finished basis/pure                                               6s 118MB
May 26 01:04:06 Starting translator
May 26 01:05:14 Finished translator                                            1m06s   3GB
May 26 01:05:15 Starting compiler/parsing
May 26 01:05:23 Finished compiler/parsing                                         7s 127MB
May 26 01:05:24 Starting characteristic
May 26 01:05:35 Finished characteristic                                           9s 158MB
May 26 01:05:36 Starting translator/monadic
May 26 01:05:47 Finished translator/monadic                                      10s 153MB
May 26 01:05:48 Starting translator/monadic/monad_base
May 26 01:05:55 Finished translator/monadic/monad_base                            6s 113MB
May 26 01:05:56 Starting profiler
May 26 01:06:34 Finished profiler                                                37s   1GB
May 26 01:06:35 Starting basis
May 26 01:08:27 Finished basis                                                 1m50s   4GB
May 26 01:08:28 Starting compiler
May 26 01:08:55 Finished compiler                                                26s 371MB
May 26 01:08:56 Starting compiler/inference
May 26 01:09:06 Finished compiler/inference                                       9s 144MB
May 26 01:09:07 Starting compiler/backend/reg_alloc
May 26 01:09:15 Finished compiler/backend/reg_alloc                               7s 127MB
May 26 01:09:16 Starting compiler/backend/gc
May 26 01:09:30 Finished compiler/backend/gc                                     13s 179MB
May 26 01:09:31 Starting compiler/backend
May 26 01:09:46 Finished compiler/backend                                        14s 171MB
May 26 01:09:47 Starting compiler/encoders/asm
May 26 01:09:55 Finished compiler/encoders/asm                                    7s 134MB
May 26 01:09:56 Starting compiler/encoders/x64
May 26 01:10:05 Finished compiler/encoders/x64                                    7s 138MB
May 26 01:10:06 Starting compiler/encoders/arm7
May 26 01:10:14 Finished compiler/encoders/arm7                                   7s 146MB
May 26 01:10:15 Starting compiler/encoders/arm8
May 26 01:10:24 Finished compiler/encoders/arm8                                   7s 136MB
May 26 01:10:25 Starting compiler/encoders/arm8_asl
May 26 02:49:22 Finished compiler/encoders/arm8_asl                         1h38m55s  29GB
May 26 02:49:23 Starting compiler/encoders/mips
May 26 02:49:31 Finished compiler/encoders/mips                                   7s 145MB
May 26 02:49:32 Starting compiler/encoders/riscv
May 26 02:49:41 Finished compiler/encoders/riscv                                  7s 186MB
May 26 02:49:41 Starting compiler/encoders/ag32
May 26 02:49:51 Finished compiler/encoders/ag32                                   7s 136MB
May 26 02:49:52 Starting compiler/encoders/tests
May 26 02:50:01 Finished compiler/encoders/tests                                  8s 232MB
May 26 02:50:02 Starting compiler/encoders/monadic_enc
May 26 02:50:38 Finished compiler/encoders/monadic_enc                           34s   1GB
May 26 02:50:39 Starting compiler/backend/x64
May 26 02:50:53 Finished compiler/backend/x64                                    13s 217MB
May 26 02:50:54 Starting compiler/backend/arm7
May 26 02:51:08 Finished compiler/backend/arm7                                   13s 169MB
May 26 02:51:09 Starting compiler/backend/arm8
May 26 02:51:23 Finished compiler/backend/arm8                                   13s 179MB
May 26 02:51:24 Starting compiler/backend/mips
May 26 02:51:38 Finished compiler/backend/mips                                   13s 223MB
May 26 02:51:39 Starting compiler/backend/riscv
May 26 02:51:54 Finished compiler/backend/riscv                                  13s 167MB
May 26 02:51:54 Starting compiler/backend/ag32
May 26 02:53:14 Finished compiler/backend/ag32                                 1m18s   3GB
May 26 02:53:15 Starting compiler/backend/pattern_matching
May 26 02:53:22 Finished compiler/backend/pattern_matching                        6s 112MB
May 26 02:53:23 Starting compiler/parsing/ocaml
May 26 02:55:15 Finished compiler/parsing/ocaml                                1m50s   1GB
May 26 02:55:15 Starting compiler/printing
May 26 02:56:20 Finished compiler/printing                                     1m03s   1GB
May 26 02:56:21 Starting compiler/parsing/proofs
May 26 02:56:30 Finished compiler/parsing/proofs                                  7s 130MB
May 26 02:56:31 Starting compiler/inference/proofs
May 26 02:56:42 Finished compiler/inference/proofs                                9s 159MB
May 26 02:56:42 Starting compiler/backend/semantics
May 26 02:59:43 Finished compiler/backend/semantics                            3m00s   3GB
May 26 02:59:44 Starting compiler/backend/reg_alloc/proofs
May 26 02:59:56 Finished compiler/backend/reg_alloc/proofs                       10s 160MB
May 26 02:59:57 Starting compiler/backend/proofs
May 26 03:00:58 Finished compiler/backend/proofs                               1m00s   2GB
May 26 03:00:59 Starting compiler/backend/serialiser
May 26 03:01:14 Finished compiler/backend/serialiser                             13s 183MB
May 26 03:01:14 Starting compiler/encoders/x64/proofs
May 26 03:01:23 Finished compiler/encoders/x64/proofs                             7s 220MB
May 26 03:01:24 Starting compiler/encoders/arm7/proofs
May 26 03:11:51 Finished compiler/encoders/arm7/proofs                        10m26s   5GB
May 26 03:11:52 Starting compiler/encoders/arm8/proofs
May 26 03:18:13 Finished compiler/encoders/arm8/proofs                         6m19s   5GB
May 26 03:18:14 Starting compiler/encoders/arm8_asl/proofs
May 26 03:52:49 Finished compiler/encoders/arm8_asl/proofs                    34m33s   8GB
May 26 03:52:50 Starting compiler/encoders/mips/proofs
May 26 04:01:42 Finished compiler/encoders/mips/proofs                         8m50s  13GB
May 26 04:01:43 Starting compiler/encoders/riscv/proofs
May 26 04:09:26 Finished compiler/encoders/riscv/proofs                        7m42s   5GB
May 26 04:09:27 Starting compiler/encoders/ag32/proofs
May 26 04:12:04 Finished compiler/encoders/ag32/proofs                         2m36s   2GB
May 26 04:12:05 Starting compiler/backend/x64/proofs
May 26 04:12:32 Finished compiler/backend/x64/proofs                             25s 263MB
May 26 04:12:33 Starting compiler/backend/arm7/proofs
May 26 04:13:33 Finished compiler/backend/arm7/proofs                            59s   2GB
May 26 04:13:34 Starting compiler/backend/arm8/proofs
May 26 04:14:34 Finished compiler/backend/arm8/proofs                            59s   2GB
May 26 04:14:35 Starting compiler/backend/arm8_asl
May 26 04:15:29 Finished compiler/backend/arm8_asl                               52s   2GB
May 26 04:15:30 Starting compiler/backend/mips/proofs
May 26 04:16:28 Finished compiler/backend/mips/proofs                            57s   2GB
May 26 04:16:29 Starting compiler/backend/riscv/proofs
May 26 04:17:30 Finished compiler/backend/riscv/proofs                         1m00s   2GB
May 26 04:17:32 Starting compiler/backend/ag32/proofs
May 26 04:25:37 Finished compiler/backend/ag32/proofs                          8m04s   5GB
May 26 04:25:38 Starting compiler/backend/cv_compute
May 26 04:26:22 Finished compiler/backend/cv_compute                             42s   1GB
May 26 04:26:22 Starting cv_translator
May 26 04:31:41 Finished cv_translator                                         5m18s   3GB
May 26 04:31:42 Starting candle
May 26 04:31:43 Finished candle                                                   0s   6MB
May 26 04:31:44 Starting candle/set-theory
May 26 04:32:19 Finished candle/set-theory                                       33s 894MB
May 26 04:32:20 Starting candle/syntax-lib
May 26 04:32:27 Finished candle/syntax-lib                                        5s 118MB
May 26 04:32:27 Starting candle/standard
May 26 04:32:28 Finished candle/standard                                          0s   6MB
May 26 04:32:29 Starting candle/standard/syntax
May 26 04:32:50 Finished candle/standard/syntax                                  19s 767MB
May 26 04:32:51 Starting candle/standard/semantics
May 26 04:35:06 Finished candle/standard/semantics                             2m15s   2GB
May 26 04:35:07 Starting candle/standard/monadic
May 26 04:35:20 Finished candle/standard/monadic                                 11s 165MB
May 26 04:35:20 Starting candle/standard/ml_kernel
May 26 04:37:34 Finished candle/standard/ml_kernel                             2m13s   4GB
May 26 04:37:35 Starting candle/overloading
May 26 04:37:36 Finished candle/overloading                                       0s   6MB
May 26 04:37:37 Starting candle/overloading/syntax
May 26 04:40:39 Finished candle/overloading/syntax                             3m00s   2GB
May 26 04:40:40 Starting candle/overloading/semantics
May 26 04:49:25 Finished candle/overloading/semantics                          8m44s   9GB
May 26 04:49:26 Starting candle/overloading/monadic
May 26 04:51:30 Finished candle/overloading/monadic                            2m03s   1GB
May 26 04:51:31 Starting candle/overloading/ml_kernel
May 26 04:58:05 Finished candle/overloading/ml_kernel                          6m33s   6GB
May 26 04:58:06 Starting candle/overloading/ml_checker
May 26 05:00:46 Finished candle/overloading/ml_checker                         2m39s   6GB
May 26 05:00:47 Starting candle/prover
May 26 05:01:10 Finished candle/prover                                           21s 713MB
May 26 05:01:11 Starting candle/prover/compute
May 26 05:01:31 Finished candle/prover/compute                                   19s 311MB
May 26 05:01:32 Starting pancake
May 26 05:01:48 Finished pancake                                                 14s 176MB
May 26 05:01:49 Starting pancake/semantics
May 26 05:04:47 Finished pancake/semantics                                     2m56s   2GB
May 26 05:04:48 Starting pancake/parser
May 26 05:05:35 Finished pancake/parser                                          46s 758MB
May 26 05:05:36 Starting pancake/static_checker
May 26 05:07:59 Finished pancake/static_checker                                2m21s   1GB
May 26 05:08:00 Starting pancake/proofs
May 26 05:24:01 Finished pancake/proofs                                       16m00s   6GB
May 26 05:24:02 Starting compiler/dafny
May 26 05:24:34 Finished compiler/dafny                                          31s 674MB
May 26 05:24:35 Starting compiler/dafny/translation
May 26 05:34:22 Finished compiler/dafny/translation                            9m45s   6GB
May 26 05:34:22 Starting compiler/dafny/compilation
May 26 05:36:33 Finished compiler/dafny/compilation                            2m09s   5GB
May 26 05:36:34 Starting compiler/dafny/semantics
May 26 05:37:20 Finished compiler/dafny/semantics                                45s 491MB
May 26 05:37:21 Starting compiler/dafny/proofs
May 26 05:38:58 Finished compiler/dafny/proofs                                 1m36s   1GB
May 26 05:38:59 Starting compiler/dafny/vcg
May 26 05:39:10 Finished compiler/dafny/vcg                                       9s 142MB
May 26 05:39:10 Starting compiler/dafny/vcg/examples
May 26 05:39:45 Finished compiler/dafny/vcg/examples                             33s   1GB
May 26 05:39:46 Starting compiler/scheme
May 26 05:40:28 Finished compiler/scheme                                         41s   1GB
May 26 05:40:29 Starting compiler/scheme/translation
May 26 05:46:44 Finished compiler/scheme/translation                           6m14s   8GB
May 26 05:46:45 Starting compiler/scheme/compilation
May 26 05:48:37 Finished compiler/scheme/compilation                           1m50s   4GB
May 26 05:48:38 Starting compiler/scheme/proofs
May 26 05:54:35 Finished compiler/scheme/proofs                                5m56s   3GB
May 26 05:54:36 Starting characteristic/examples
May 26 05:56:20 Finished characteristic/examples                               1m42s   5GB
May 26 05:56:21 Starting tutorial/solutions
May 26 05:59:38 Finished tutorial/solutions                                    3m15s   3GB
May 26 05:59:39 Starting translator/monadic/examples
May 26 06:02:53 Finished translator/monadic/examples                           3m12s   4GB
May 26 06:02:54 Starting examples
May 26 06:07:32 Finished examples                                              4m37s   6GB
May 26 06:07:33 Starting examples/compilation
May 26 06:07:34 Finished examples/compilation                                     0s   6MB
May 26 06:07:35 Starting examples/compilation/x64
May 26 06:15:19 Finished examples/compilation/x64                              7m43s   4GB
May 26 06:15:20 Starting examples/compilation/x64/proofs
May 26 06:19:11 Finished examples/compilation/x64/proofs                       3m49s   4GB
May 26 06:19:12 Starting examples/compilation/ag32
May 26 06:22:00 Finished examples/compilation/ag32                             2m47s   3GB
May 26 06:22:01 Starting examples/compilation/ag32/proofs
May 26 06:23:58 Finished examples/compilation/ag32/proofs                      1m55s   4GB
May 26 06:23:59 Starting examples/lpr_checker
May 26 06:24:50 Finished examples/lpr_checker                                    50s   1GB
May 26 06:24:51 Starting examples/lpr_checker/array
May 26 06:36:42 Finished examples/lpr_checker/array                           11m50s   7GB
May 26 06:36:43 Starting examples/lpr_checker/array/compilation
May 26 06:40:50 Finished examples/lpr_checker/array/compilation                4m06s   6GB
May 26 06:40:51 Starting examples/lpr_checker/array/compilation/proofs
May 26 06:42:56 Finished examples/lpr_checker/array/compilation/proofs         2m04s   5GB
May 26 06:42:57 Starting examples/lpr_checker/array/compilation/proofsARM8
May 26 06:45:02 Finished examples/lpr_checker/array/compilation/proofsARM8     2m04s   6GB
May 26 06:45:03 Starting .
May 26 06:45:51 Finished .                                                       46s 901MB
May 26 06:45:52 Starting examples/xlrup_checker
May 26 06:46:58 Finished examples/xlrup_checker                                1m05s   1GB
May 26 06:46:59 Starting examples/xlrup_checker/array
May 26 06:55:32 Finished examples/xlrup_checker/array                          8m31s   4GB
May 26 06:55:33 Starting examples/xlrup_checker/array/compilation
May 26 06:57:22 Finished examples/xlrup_checker/array/compilation              1m48s   4GB
May 26 06:57:23 Starting examples/xlrup_checker/array/compilation/proofs
May 26 06:59:22 Finished examples/xlrup_checker/array/compilation/proofs       1m57s   4GB
May 26 06:59:24 Starting examples/cnf
May 26 07:00:03 Finished examples/cnf                                            37s 425MB
May 26 07:00:05 Starting examples/cnf/array
May 26 07:02:31 Finished examples/cnf/array                                    2m24s   2GB
May 26 07:02:31 Starting examples/cnf/dist
May 26 07:02:53 Finished examples/cnf/dist                                       21s 359MB
May 26 07:02:55 Starting examples/cnf/dist/array
May 26 07:09:03 Finished examples/cnf/dist/array                               6m06s   4GB
May 26 07:09:04 Starting examples/cnf/dist/array/compilation
May 26 07:10:28 Finished examples/cnf/dist/array/compilation                   1m23s   3GB
May 26 07:10:29 Starting examples/cnf/dist/array/compilation/proofs
May 26 07:12:23 Finished examples/cnf/dist/array/compilation/proofs            1m52s   3GB
May 26 07:12:24 Starting examples/scpog_checker
May 26 07:13:27 Finished examples/scpog_checker                                1m02s   1GB
May 26 07:13:28 Starting examples/scpog_checker/array
May 26 07:19:05 Finished examples/scpog_checker/array                          5m35s   4GB
May 26 07:19:06 Starting examples/scpog_checker/array/compilation
May 26 07:21:45 Finished examples/scpog_checker/array/compilation              2m37s   7GB
May 26 07:21:46 Starting examples/scpog_checker/array/compilation/proofs
May 26 07:23:54 Finished examples/scpog_checker/array/compilation/proofs       2m06s   6GB
May 26 07:23:55 Starting examples/pseudo_bool
May 26 07:26:19 Finished examples/pseudo_bool                                  2m23s   1GB
May 26 07:26:20 Starting examples/pseudo_bool/cnf_encoding
May 26 07:27:10 Finished examples/pseudo_bool/cnf_encoding                       49s 982MB
May 26 07:27:11 Starting examples/pseudo_bool/graph_encoding
May 26 07:28:11 Finished examples/pseudo_bool/graph_encoding                     59s   1GB
May 26 07:28:12 Starting examples/pseudo_bool/array
May 26 08:07:15 Finished examples/pseudo_bool/array                           39m00s  24GB
May 26 08:07:22 Starting examples/pseudo_bool/array/compilation
May 26 08:25:42 Finished examples/pseudo_bool/array/compilation               18m15s  19GB
May 26 08:25:44 Starting examples/pseudo_bool/array/compilation/proofs
May 26 08:31:32 Finished examples/pseudo_bool/array/compilation/proofs         5m47s   7GB
May 26 08:31:33 Starting examples/pseudo_bool/array/compilation/proofsARM8
May 26 08:34:16 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m36s   6GB
May 26 08:34:17 Starting examples/opentheory
May 26 08:41:40 Finished examples/opentheory                                   7m15s   5GB
May 26 08:41:47 Starting examples/opentheory/compilation
May 26 08:44:04 Finished examples/opentheory/compilation                       2m16s   5GB
May 26 08:44:06 Starting examples/opentheory/compilation/proofs
May 26 08:46:07 Finished examples/opentheory/compilation/proofs                1m59s   4GB
May 26 08:46:08 Starting examples/opentheory/compilation/ag32
May 26 08:48:28 Finished examples/opentheory/compilation/ag32                  2m18s   6GB
May 26 08:48:29 Starting examples/opentheory/compilation/ag32/proofs
May 26 08:50:43 Finished examples/opentheory/compilation/ag32/proofs           2m09s   7GB
May 26 08:50:49 Starting examples/sat_encodings
May 26 08:52:22 Finished examples/sat_encodings                                1m26s 704MB
May 26 08:52:28 Starting examples/sat_encodings/demo
May 26 08:52:29 Finished examples/sat_encodings/demo                              0s   6MB
May 26 08:52:37 Starting examples/sat_encodings/case_studies
May 26 08:55:02 Finished examples/sat_encodings/case_studies                   2m19s   1GB
May 26 08:55:08 Starting examples/sat_encodings/translation
May 26 08:58:58 Finished examples/sat_encodings/translation                    3m49s   2GB
May 26 08:58:59 Starting examples/sat_encodings/translation/compilation
May 26 09:01:49 Finished examples/sat_encodings/translation/compilation        2m43s   4GB
May 26 09:01:52 Starting examples/deflate
May 26 09:02:31 Finished examples/deflate                                        38s 438MB
May 26 09:02:38 Starting examples/deflate/translation
May 26 09:04:00 Finished examples/deflate/translation                          1m20s   3GB
May 26 09:04:01 Starting examples/deflate/translation/compilation
May 26 09:05:38 Finished examples/deflate/translation/compilation              1m36s   3GB
May 26 09:05:44 Starting examples/vipr
May 26 09:09:04 Finished examples/vipr                                         3m18s   5GB
May 26 09:09:05 Starting examples/vipr/compilation
May 26 09:10:36 Finished examples/vipr/compilation                             1m30s   4GB
May 26 09:10:37 Starting examples/template
May 26 09:10:56 Finished examples/template                                       17s 313MB
May 26 09:10:57 Starting examples/template/translation
May 26 09:11:34 Finished examples/template/translation                           36s 910MB
May 26 09:11:35 Starting examples/template/compilation
May 26 09:13:04 Finished examples/template/compilation                         1m28s   4GB
May 26 09:13:05 Starting translator/okasaki-examples
May 26 09:16:29 Finished translator/okasaki-examples                           3m22s   3GB
May 26 09:16:30 Starting translator/other-examples
May 26 09:17:43 Finished translator/other-examples                             1m12s   2GB
May 26 09:17:44 Starting translator/other-examples/auxiliary
May 26 09:17:45 Finished translator/other-examples/auxiliary                      0s  40MB
May 26 09:17:46 Starting compiler/parsing/tests
May 26 09:18:38 Finished compiler/parsing/tests                                  51s   1GB
May 26 09:18:39 Starting compiler/inference/tests
May 26 09:19:40 Finished compiler/inference/tests                              1m00s   2GB
May 26 09:19:41 Starting compiler/printing/test
May 26 09:23:18 Finished compiler/printing/test                                3m36s  16GB
May 26 09:23:19 Starting compiler/repl
May 26 09:23:54 Finished compiler/repl                                           34s 719MB
May 26 09:23:55 Starting compiler/benchmarks
May 26 09:25:46 Finished compiler/benchmarks                                   1m49s   4GB
May 26 09:25:47 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
May 26 09:26:47 Finished compiler/benchmarks/cakeml_benchmarks/cakeml            59s   4GB
May 26 09:26:48 Starting compiler/benchmarks/mlton_benchmarks/cakeml
May 26 09:27:48 Finished compiler/benchmarks/mlton_benchmarks/cakeml             59s   4GB
May 26 09:27:49 Starting compiler/bootstrap/translation
May 26 14:47:41 Finished compiler/bootstrap/translation                     5h19m51s  98GB
May 26 14:47:42 Starting compiler/bootstrap/compilation/x64/64
May 26 14:52:23 Finished compiler/bootstrap/compilation/x64/64                 4m40s  18GB
May 26 14:52:24 Starting compiler/bootstrap/compilation/x64/32
May 26 15:21:22 Finished compiler/bootstrap/compilation/x64/32                28m57s  72GB
May 26 15:21:23 Starting compiler/bootstrap/compilation/x64/32/proofs
May 26 15:28:19 Finished compiler/bootstrap/compilation/x64/32/proofs          6m55s  26GB
May 26 15:28:20 Starting compiler/bootstrap/compilation/arm8/64
May 26 16:12:53 Finished compiler/bootstrap/compilation/arm8/64               44m31s  86GB
May 26 16:12:54 Starting compiler/bootstrap/compilation/arm8/64/proofs
May 26 16:19:56 Finished compiler/bootstrap/compilation/arm8/64/proofs         7m01s  33GB
May 26 16:19:57 Starting compiler/bootstrap/compilation/ag32/32
May 26 16:50:02 Finished compiler/bootstrap/compilation/ag32/32               30m04s  52GB
May 26 16:50:03 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 26 16:58:18 Finished compiler/bootstrap/compilation/ag32/32/proofs         8m13s  30GB
May 26 16:58:19 Starting unverified/sexpr-bootstrap/x64/64
May 26 17:03:51 Finished unverified/sexpr-bootstrap/x64/64                     5m31s  17GB
May 26 17:03:52 Starting unverified/sexpr-bootstrap/x64/32
May 26 17:08:45 Finished unverified/sexpr-bootstrap/x64/32                     4m52s  17GB
May 26 17:08:46 SUCCESS