Job 2879

CakeML:5d137c689f3fb2bc7305ca65d95de815546b30b4
  Simplify parse tree conversion of progs by adding default ProgNT [Jun 19 15:59:41]
#1188 (halogentlepersuasion:pan_prog_conv)
Merging into:95250d9f6b9bfe3b39fe1d30ea3932f6ad1b2036
  Fix some proofs [Jun 27 01:15:13]
HOL:718b3aaabc70079271693d5540ba16669c2e7ad2
  fix EVERY_CASE_TAC proof [Jun 24 17:29:02]
Machine:lammmington

Jun 29 03:07:20 Claimed job
Jun 29 03:07:24 Reusing HOL
Jun 29 03:07:35 Starting developers
Jun 29 03:07:39 Finished developers                                               3s 176MB
Jun 29 03:07:40 Starting developers/bin
Jun 29 03:07:45 Finished developers/bin                                           4s 591MB
Jun 29 03:07:46 Starting misc
Jun 29 03:08:25 Finished misc                                                    38s   1GB
Jun 29 03:08:26 Starting compiler/proofs
Jun 29 04:40:27 Finished compiler/proofs                                    1h31m59s  35GB
Jun 29 04:40:28 Starting compiler/bootstrap/translation
Jun 29 10:28:28 Finished compiler/bootstrap/translation                     5h47m57s  77GB
Jun 29 10:28:29 Starting semantics/ffi
Jun 29 10:28:38 Finished semantics/ffi                                            8s 557MB
Jun 29 10:28:39 Starting semantics
Jun 29 10:28:41 Finished semantics                                                0s  51MB
Jun 29 10:28:42 Starting semantics/proofs
Jun 29 10:29:05 Finished semantics/proofs                                        22s 882MB
Jun 29 10:29:06 Starting semantics/alt_semantics
Jun 29 10:29:27 Finished semantics/alt_semantics                                 19s 892MB
Jun 29 10:29:27 Starting semantics/alt_semantics/proofs
Jun 29 10:39:41 Finished semantics/alt_semantics/proofs                       10m12s   2GB
Jun 29 10:39:42 Starting basis/pure
Jun 29 10:39:44 Finished basis/pure                                               0s  94MB
Jun 29 10:39:45 Starting translator
Jun 29 10:41:22 Finished translator                                            1m36s   3GB
Jun 29 10:41:23 Starting compiler/parsing
Jun 29 10:41:24 Finished compiler/parsing                                         0s  61MB
Jun 29 10:41:25 Starting characteristic
Jun 29 10:41:27 Finished characteristic                                           1s 123MB
Jun 29 10:41:28 Starting translator/monadic
Jun 29 10:41:30 Finished translator/monadic                                       1s 113MB
Jun 29 10:41:31 Starting translator/monadic/monad_base
Jun 29 10:41:32 Finished translator/monadic/monad_base                            0s  51MB
Jun 29 10:41:33 Starting basis
Jun 29 10:43:53 Finished basis                                                 2m19s   3GB
Jun 29 10:43:54 Starting compiler
Jun 29 10:43:57 Finished compiler                                                 1s 208MB
Jun 29 10:43:58 Starting compiler/inference
Jun 29 10:44:00 Finished compiler/inference                                       1s 108MB
Jun 29 10:44:01 Starting compiler/backend/reg_alloc
Jun 29 10:44:02 Finished compiler/backend/reg_alloc                               0s  55MB
Jun 29 10:44:03 Starting compiler/backend/gc
Jun 29 10:44:05 Finished compiler/backend/gc                                      1s 135MB
Jun 29 10:44:06 Starting compiler/backend
Jun 29 10:44:11 Finished compiler/backend                                         3s 238MB
Jun 29 10:44:12 Starting compiler/encoders/asm
Jun 29 10:44:13 Finished compiler/encoders/asm                                    0s  82MB
Jun 29 10:44:14 Starting compiler/encoders/x64
Jun 29 10:44:16 Finished compiler/encoders/x64                                    0s  89MB
Jun 29 10:44:17 Starting compiler/encoders/arm7
Jun 29 10:44:19 Finished compiler/encoders/arm7                                   0s  85MB
Jun 29 10:44:19 Starting compiler/encoders/arm8
Jun 29 10:44:21 Finished compiler/encoders/arm8                                   0s  88MB
Jun 29 10:44:22 Starting compiler/encoders/arm8_asl
Jun 29 10:45:24 Finished compiler/encoders/arm8_asl                            1m01s  20GB
Jun 29 10:45:25 Starting compiler/encoders/mips
Jun 29 10:45:27 Finished compiler/encoders/mips                                   0s  86MB
Jun 29 10:45:28 Starting compiler/encoders/riscv
Jun 29 10:45:30 Finished compiler/encoders/riscv                                  0s  86MB
Jun 29 10:45:30 Starting compiler/encoders/ag32
Jun 29 10:45:32 Finished compiler/encoders/ag32                                   0s  87MB
Jun 29 10:45:33 Starting compiler/encoders/tests
Jun 29 10:45:35 Finished compiler/encoders/tests                                  0s 102MB
Jun 29 10:45:36 Starting compiler/encoders/monadic_enc
Jun 29 10:45:38 Finished compiler/encoders/monadic_enc                            1s 133MB
Jun 29 10:45:39 Starting compiler/backend/x64
Jun 29 10:45:41 Finished compiler/backend/x64                                     1s 129MB
Jun 29 10:45:42 Starting compiler/backend/arm7
Jun 29 10:45:44 Finished compiler/backend/arm7                                    1s 133MB
Jun 29 10:45:45 Starting compiler/backend/arm8
Jun 29 10:45:47 Finished compiler/backend/arm8                                    1s 134MB
Jun 29 10:45:48 Starting compiler/backend/mips
Jun 29 10:45:50 Finished compiler/backend/mips                                    1s 134MB
Jun 29 10:45:51 Starting compiler/backend/riscv
Jun 29 10:45:53 Finished compiler/backend/riscv                                   1s 130MB
Jun 29 10:45:54 Starting compiler/backend/ag32
Jun 29 10:47:00 Finished compiler/backend/ag32                                 1m05s   3GB
Jun 29 10:47:01 Starting compiler/backend/pattern_matching
Jun 29 10:47:02 Finished compiler/backend/pattern_matching                        0s  56MB
Jun 29 10:47:03 Starting compiler/parsing/ocaml
Jun 29 10:48:45 Finished compiler/parsing/ocaml                                1m41s   1GB
Jun 29 10:48:46 Starting compiler/printing
Jun 29 10:48:48 Finished compiler/printing                                        1s 108MB
Jun 29 10:48:49 Starting compiler/parsing/proofs
Jun 29 10:48:51 Finished compiler/parsing/proofs                                  0s  62MB
Jun 29 10:48:51 Starting compiler/inference/proofs
Jun 29 10:48:53 Finished compiler/inference/proofs                                1s 116MB
Jun 29 10:48:54 Starting compiler/backend/semantics
Jun 29 10:52:00 Finished compiler/backend/semantics                            3m04s   2GB
Jun 29 10:52:01 Starting compiler/backend/reg_alloc/proofs
Jun 29 10:52:03 Finished compiler/backend/reg_alloc/proofs                        1s 120MB
Jun 29 10:52:04 Starting compiler/backend/proofs
Jun 29 10:52:51 Finished compiler/backend/proofs                                 45s   4GB
Jun 29 10:52:52 Starting compiler/backend/serialiser
Jun 29 10:52:54 Finished compiler/backend/serialiser                              1s 141MB
Jun 29 10:52:55 Starting compiler/encoders/x64/proofs
Jun 29 11:03:03 Finished compiler/encoders/x64/proofs                         10m07s   4GB
Jun 29 11:03:04 Starting compiler/encoders/arm7/proofs
Jun 29 11:16:18 Finished compiler/encoders/arm7/proofs                        13m12s   9GB
Jun 29 11:16:19 Starting compiler/encoders/arm8/proofs
Jun 29 11:23:20 Finished compiler/encoders/arm8/proofs                         7m00s   4GB
Jun 29 11:23:21 Starting compiler/encoders/arm8_asl/proofs
Jun 29 11:38:56 Finished compiler/encoders/arm8_asl/proofs                    15m34s   4GB
Jun 29 11:38:57 Starting compiler/encoders/mips/proofs
Jun 29 11:48:58 Finished compiler/encoders/mips/proofs                         9m59s   6GB
Jun 29 11:48:59 Starting compiler/encoders/riscv/proofs
Jun 29 11:57:15 Finished compiler/encoders/riscv/proofs                        8m14s   4GB
Jun 29 11:57:16 Starting compiler/encoders/ag32/proofs
Jun 29 12:00:07 Finished compiler/encoders/ag32/proofs                         2m50s   1GB
Jun 29 12:00:08 Starting compiler/backend/x64/proofs
Jun 29 12:00:38 Finished compiler/backend/x64/proofs                             29s   2GB
Jun 29 12:00:39 Starting compiler/backend/arm7/proofs
Jun 29 12:01:09 Finished compiler/backend/arm7/proofs                            29s   2GB
Jun 29 12:01:10 Starting compiler/backend/arm8/proofs
Jun 29 12:01:38 Finished compiler/backend/arm8/proofs                            27s   1GB
Jun 29 12:01:39 Starting compiler/backend/arm8_asl
Jun 29 12:01:59 Finished compiler/backend/arm8_asl                               19s   1GB
Jun 29 12:02:00 Starting compiler/backend/mips/proofs
Jun 29 12:02:30 Finished compiler/backend/mips/proofs                            28s   2GB
Jun 29 12:02:31 Starting compiler/backend/riscv/proofs
Jun 29 12:03:02 Finished compiler/backend/riscv/proofs                           29s   2GB
Jun 29 12:03:02 Starting compiler/backend/ag32/proofs
Jun 29 12:16:38 Finished compiler/backend/ag32/proofs                         13m34s   4GB
Jun 29 12:16:38 Starting compiler/backend/cv_compute
Jun 29 12:17:50 Finished compiler/backend/cv_compute                           1m10s   1GB
Jun 29 12:17:51 Starting cv_translator
Jun 29 12:35:54 Finished cv_translator                                        18m02s   8GB
Jun 29 12:35:55 Starting candle
Jun 29 12:35:56 Finished candle                                                   0s  12MB
Jun 29 12:35:57 Starting candle/set-theory
Jun 29 12:36:30 Finished candle/set-theory                                       31s   1GB
Jun 29 12:36:31 Starting candle/syntax-lib
Jun 29 12:36:32 Finished candle/syntax-lib                                        0s  94MB
Jun 29 12:36:33 Starting candle/standard
Jun 29 12:36:34 Finished candle/standard                                          0s  12MB
Jun 29 12:36:35 Starting candle/standard/syntax
Jun 29 12:36:47 Finished candle/standard/syntax                                  10s 745MB
Jun 29 12:36:48 Starting candle/standard/semantics
Jun 29 12:38:45 Finished candle/standard/semantics                             1m56s   2GB
Jun 29 12:38:46 Starting candle/standard/monadic
Jun 29 12:38:48 Finished candle/standard/monadic                                  1s 124MB
Jun 29 12:38:49 Starting candle/standard/ml_kernel
Jun 29 12:40:31 Finished candle/standard/ml_kernel                             1m41s   4GB
Jun 29 12:40:32 Starting candle/standard/ml_kernel/lisp
Jun 29 12:40:33 Finished candle/standard/ml_kernel/lisp                           0s  51MB
Jun 29 12:40:34 Starting candle/overloading
Jun 29 12:40:35 Finished candle/overloading                                       0s  11MB
Jun 29 12:40:36 Starting candle/overloading/syntax
Jun 29 12:43:44 Finished candle/overloading/syntax                             3m06s   2GB
Jun 29 12:43:45 Starting candle/overloading/semantics
Jun 29 12:54:50 Finished candle/overloading/semantics                         11m03s   9GB
Jun 29 12:54:50 Starting candle/overloading/monadic
Jun 29 12:57:02 Finished candle/overloading/monadic                            2m10s   2GB
Jun 29 12:57:03 Starting candle/overloading/ml_kernel
Jun 29 13:04:11 Finished candle/overloading/ml_kernel                          7m07s   5GB
Jun 29 13:04:12 Starting candle/overloading/ml_checker
Jun 29 13:06:24 Finished candle/overloading/ml_checker                         2m11s   6GB
Jun 29 13:06:25 Starting candle/prover
Jun 29 13:15:57 Finished candle/prover                                         9m30s   5GB
Jun 29 13:15:58 Starting candle/prover/compute
Jun 29 13:16:00 Finished candle/prover/compute                                    1s 138MB
Jun 29 13:16:01 Starting pancake
Jun 29 13:16:03 Finished pancake                                                  1s 129MB
Jun 29 13:16:04 Starting pancake/semantics
Jun 29 13:18:12 Finished pancake/semantics                                     2m07s   2GB
Jun 29 13:18:13 Starting pancake/parser
Jun 29 13:18:39 Finished pancake/parser                                          24s 451MB
Jun 29 13:18:40 Starting pancake/static_checker
Jun 29 13:19:17 Finished pancake/static_checker                                  36s   1GB
Jun 29 13:19:18 Starting pancake/proofs
Jun 29 13:35:17 Finished pancake/proofs                                       15m58s   7GB
Jun 29 13:35:18 Starting compiler/dafny
Jun 29 13:38:12 Finished compiler/dafny                                        2m53s  10GB
Jun 29 13:38:13 Starting compiler/dafny/translation
Jun 29 13:57:40 Finished compiler/dafny/translation                           19m26s  21GB
Jun 29 13:57:41 Starting compiler/dafny/compilation
Jun 29 14:00:37 Finished compiler/dafny/compilation                            2m54s  11GB
Jun 29 14:00:38 Starting compiler/dafny/semantics
Jun 29 14:01:16 Finished compiler/dafny/semantics                                37s   1GB
Jun 29 14:01:17 Starting characteristic/examples
Jun 29 14:02:41 Finished characteristic/examples                               1m23s   4GB
Jun 29 14:02:42 Starting tutorial/solutions
Jun 29 14:05:08 Finished tutorial/solutions                                    2m25s   3GB
Jun 29 14:05:09 Starting translator/monadic/examples
Jun 29 14:08:06 Finished translator/monadic/examples                           2m55s   3GB
Jun 29 14:08:06 Starting examples
Jun 29 14:14:09 Finished examples                                              6m01s   5GB
Jun 29 14:14:10 Starting examples/compilation
Jun 29 14:14:11 Finished examples/compilation                                     0s  11MB
Jun 29 14:14:12 Starting examples/compilation/x64
Jun 29 14:21:04 Finished examples/compilation/x64                              6m51s   4GB
Jun 29 14:21:05 Starting examples/compilation/x64/proofs
Jun 29 14:23:26 Finished examples/compilation/x64/proofs                       2m19s   4GB
Jun 29 14:23:27 Starting examples/compilation/ag32
Jun 29 14:25:23 Finished examples/compilation/ag32                             1m54s   3GB
Jun 29 14:25:24 Starting examples/compilation/ag32/proofs
Jun 29 14:26:21 Finished examples/compilation/ag32/proofs                        56s   5GB
Jun 29 14:26:22 Starting examples/lpr_checker
Jun 29 14:26:52 Finished examples/lpr_checker                                    28s   1GB
Jun 29 14:26:53 Starting examples/lpr_checker/array
Jun 29 14:53:27 Finished examples/lpr_checker/array                           26m32s  30GB
Jun 29 14:53:28 Starting examples/lpr_checker/array/compilation
Jun 29 14:55:52 Finished examples/lpr_checker/array/compilation                2m23s   7GB
Jun 29 14:55:53 Starting examples/lpr_checker/array/compilation/proofs
Jun 29 14:57:03 Finished examples/lpr_checker/array/compilation/proofs         1m08s   6GB
Jun 29 14:57:03 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 29 14:58:11 Finished examples/lpr_checker/array/compilation/proofsARM8     1m06s   6GB
Jun 29 14:58:12 Starting .
Jun 29 14:58:16 Finished .                                                        2s 295MB
Jun 29 14:58:17 Starting examples/xlrup_checker
Jun 29 14:59:04 Finished examples/xlrup_checker                                  45s   1GB
Jun 29 14:59:05 Starting examples/xlrup_checker/array
Jun 29 15:16:11 Finished examples/xlrup_checker/array                         17m05s  17GB
Jun 29 15:16:12 Starting examples/xlrup_checker/array/compilation
Jun 29 15:17:24 Finished examples/xlrup_checker/array/compilation              1m10s   5GB
Jun 29 15:17:25 Starting examples/xlrup_checker/array/compilation/proofs
Jun 29 15:18:23 Finished examples/xlrup_checker/array/compilation/proofs         57s   4GB
Jun 29 15:18:24 Starting examples/scpog_checker
Jun 29 15:19:08 Finished examples/scpog_checker                                  43s   2GB
Jun 29 15:19:09 Starting examples/scpog_checker/array
Jun 29 15:28:57 Finished examples/scpog_checker/array                          9m47s   7GB
Jun 29 15:28:58 Starting examples/scpog_checker/array/compilation
Jun 29 15:30:53 Finished examples/scpog_checker/array/compilation              1m54s   8GB
Jun 29 15:30:54 Starting examples/scpog_checker/array/compilation/proofs
Jun 29 15:31:59 Finished examples/scpog_checker/array/compilation/proofs       1m03s   6GB
Jun 29 15:32:00 Starting examples/pseudo_bool
Jun 29 15:33:32 Finished examples/pseudo_bool                                  1m30s   1GB
Jun 29 15:33:33 Starting examples/pseudo_bool/cnf_encoding
Jun 29 15:34:01 Finished examples/pseudo_bool/cnf_encoding                       27s   1GB
Jun 29 15:34:02 Starting examples/pseudo_bool/graph_encoding
Jun 29 15:34:46 Finished examples/pseudo_bool/graph_encoding                     43s   2GB
Jun 29 15:34:47 Starting examples/pseudo_bool/array
Jun 29 16:43:36 Finished examples/pseudo_bool/array                         1h08m48s  25GB
Jun 29 16:43:37 Starting examples/pseudo_bool/array/compilation
Jun 29 16:53:33 Finished examples/pseudo_bool/array/compilation                9m54s  19GB
Jun 29 16:53:34 Starting examples/pseudo_bool/array/compilation/proofs
Jun 29 16:56:05 Finished examples/pseudo_bool/array/compilation/proofs         2m30s   6GB
Jun 29 16:56:06 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 29 16:57:17 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m09s   5GB
Jun 29 16:57:18 Starting examples/opentheory
Jun 29 17:05:55 Finished examples/opentheory                                   8m36s   7GB
Jun 29 17:05:56 Starting examples/opentheory/compilation
Jun 29 17:07:29 Finished examples/opentheory/compilation                       1m32s   6GB
Jun 29 17:07:30 Starting examples/opentheory/compilation/proofs
Jun 29 17:08:34 Finished examples/opentheory/compilation/proofs                1m02s   4GB
Jun 29 17:08:35 Starting examples/opentheory/compilation/ag32
Jun 29 17:10:12 Finished examples/opentheory/compilation/ag32                  1m36s   7GB
Jun 29 17:10:13 Starting examples/opentheory/compilation/ag32/proofs
Jun 29 17:11:53 Finished examples/opentheory/compilation/ag32/proofs           1m38s   8GB
Jun 29 17:11:54 Starting examples/sat_encodings
Jun 29 17:12:53 Finished examples/sat_encodings                                  58s 818MB
Jun 29 17:12:54 Starting examples/sat_encodings/demo
Jun 29 17:12:55 Finished examples/sat_encodings/demo                              0s  12MB
Jun 29 17:12:55 Starting examples/sat_encodings/case_studies
Jun 29 17:14:37 Finished examples/sat_encodings/case_studies                   1m40s   1GB
Jun 29 17:14:38 Starting examples/sat_encodings/translation
Jun 29 17:18:10 Finished examples/sat_encodings/translation                    3m31s   2GB
Jun 29 17:18:11 Starting examples/sat_encodings/translation/compilation
Jun 29 17:20:06 Finished examples/sat_encodings/translation/compilation        1m53s   4GB
Jun 29 17:20:07 Starting examples/deflate
Jun 29 17:20:34 Finished examples/deflate                                        26s 761MB
Jun 29 17:20:35 Starting examples/deflate/translation
Jun 29 17:21:41 Finished examples/deflate/translation                          1m04s   4GB
Jun 29 17:21:42 Starting examples/deflate/translation/compilation
Jun 29 17:22:32 Finished examples/deflate/translation/compilation                49s   3GB
Jun 29 17:22:33 Starting examples/vipr
Jun 29 17:25:42 Finished examples/vipr                                         3m07s   4GB
Jun 29 17:25:42 Starting examples/vipr/compilation
Jun 29 17:26:39 Finished examples/vipr/compilation                               55s   4GB
Jun 29 17:26:40 Starting translator/okasaki-examples
Jun 29 17:30:43 Finished translator/okasaki-examples                           4m01s   3GB
Jun 29 17:30:43 Starting translator/other-examples
Jun 29 17:33:10 Finished translator/other-examples                             2m25s   2GB
Jun 29 17:33:11 Starting translator/other-examples/auxiliary
Jun 29 17:33:12 Finished translator/other-examples/auxiliary                      0s  14MB
Jun 29 17:33:13 Starting compiler/parsing/tests
Jun 29 17:33:47 Finished compiler/parsing/tests                                  33s   1GB
Jun 29 17:33:48 Starting compiler/inference/tests
Jun 29 17:34:24 Finished compiler/inference/tests                                34s   2GB
Jun 29 17:34:25 Starting compiler/printing/test
Jun 29 17:35:35 Finished compiler/printing/test                                1m09s   5GB
Jun 29 17:35:36 Starting icing/flover
Jun 29 18:07:57 Finished icing/flover                                         32m20s   1GB
Jun 29 18:07:58 Starting icing/flover/Infra
Jun 29 18:07:59 Finished icing/flover/Infra                                       0s  13MB
Jun 29 18:08:00 Starting icing/flover/semantics
Jun 29 18:08:01 Finished icing/flover/semantics                                   0s  13MB
Jun 29 18:08:02 Starting icing/
Jun 29 18:34:17 Finished icing/                                               26m13s   7GB
Jun 29 18:34:18 Starting icing/examples
Jun 29 18:35:47 Finished icing/examples                                        1m27s   7GB
Jun 29 18:35:47 Starting compiler/repl
Jun 29 18:43:00 Finished compiler/repl                                         7m11s   7GB
Jun 29 18:43:01 Starting unverified/sexpr-bootstrap/x64/64
Jun 29 18:46:57 Finished unverified/sexpr-bootstrap/x64/64                     3m55s  18GB
Jun 29 18:46:58 Starting unverified/sexpr-bootstrap/x64/32
Jun 29 18:50:06 Finished unverified/sexpr-bootstrap/x64/32                     3m07s  15GB
Jun 29 18:50:07 Starting compiler/benchmarks
Jun 29 18:50:53 Finished compiler/benchmarks                                     44s 711MB
Jun 29 18:50:53 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jun 29 18:50:57 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 251MB
Jun 29 18:50:58 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jun 29 18:51:01 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 248MB
Jun 29 18:51:02 Starting compiler/bootstrap/compilation/x64/64
Jun 29 19:19:11 Finished compiler/bootstrap/compilation/x64/64                28m08s  95GB
Jun 29 19:19:12 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 29 19:42:46 Finished compiler/bootstrap/compilation/x64/64/proofs         23m31s  47GB
Jun 29 19:42:47 Starting compiler/bootstrap/compilation/x64/32
Jun 29 20:12:10 Finished compiler/bootstrap/compilation/x64/32                29m22s  89GB
Jun 29 20:12:11 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 29 20:16:12 Finished compiler/bootstrap/compilation/x64/32/proofs          3m59s  23GB
Jun 29 20:16:13 Starting compiler/bootstrap/compilation/arm8/64
Jun 29 21:01:05 Finished compiler/bootstrap/compilation/arm8/64               44m50s 119GB
Jun 29 21:01:06 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jun 29 21:06:26 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m19s  30GB
Jun 29 21:06:27 Starting compiler/bootstrap/compilation/ag32/32
Jun 29 21:37:55 Finished compiler/bootstrap/compilation/ag32/32               31m26s  87GB
Jun 29 21:37:56 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 29 21:42:36 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m39s  29GB
Jun 29 21:42:37 SUCCESS