Job 2196

CakeML:edd0b3bfb35fbd28f26acb2d4d6e80c0c76ed260
  Update caml_parserProg translation [Aug 17 17:00:37]
#968 (candle-parser-feature-adds)
Merging into:5c1bae6b33cf93343962f658faefefee12f74a9c
  Merge pull request #965 from CakeML/explorer [Aug 10 04:53:38]
HOL:c505f5761a545a06f2a80c536262e608021c3955
  Fix the proof of zagier_fix in experimental kernel. [Aug 17 06:53:11]
Machine:pavlova

Aug 20 14:12:01 Claimed job
Aug 20 14:12:08 Building HOL
Aug 20 14:26:57 Starting developers
Aug 20 14:27:00 Finished developers                                               2s 194MB
Aug 20 14:27:01 Starting developers/bin
Aug 20 14:27:12 Finished developers/bin                                           9s   1GB
Aug 20 14:27:12 Starting compiler/proofs
Aug 20 16:12:22 Finished compiler/proofs                                    1h45m09s  42GB
Aug 20 16:12:23 Starting compiler/bootstrap/translation
Aug 21 00:10:10 Finished compiler/bootstrap/translation                     7h57m45s  82GB
Aug 21 00:10:10 Starting semantics/ffi
Aug 21 00:10:19 Finished semantics/ffi                                            8s 660MB
Aug 21 00:10:20 Starting semantics
Aug 21 00:10:22 Finished semantics                                                0s  65MB
Aug 21 00:10:22 Starting semantics/proofs
Aug 21 00:11:00 Finished semantics/proofs                                        36s   2GB
Aug 21 00:11:01 Starting semantics/alt_semantics
Aug 21 00:11:39 Finished semantics/alt_semantics                                 37s   1GB
Aug 21 00:11:40 Starting semantics/alt_semantics/proofs
Aug 21 00:22:43 Finished semantics/alt_semantics/proofs                       11m02s   2GB
Aug 21 00:22:44 Starting basis/pure
Aug 21 00:22:45 Finished basis/pure                                               0s  72MB
Aug 21 00:22:46 Starting translator
Aug 21 00:24:34 Finished translator                                            1m47s   4GB
Aug 21 00:24:35 Starting compiler/parsing
Aug 21 00:24:36 Finished compiler/parsing                                         0s  68MB
Aug 21 00:24:37 Starting characteristic
Aug 21 00:24:39 Finished characteristic                                           0s  85MB
Aug 21 00:24:39 Starting translator/monadic
Aug 21 00:24:41 Finished translator/monadic                                       0s  91MB
Aug 21 00:24:42 Starting basis
Aug 21 00:28:33 Finished basis                                                 3m50s   5GB
Aug 21 00:28:34 Starting compiler/inference
Aug 21 00:28:35 Finished compiler/inference                                       0s  79MB
Aug 21 00:28:36 Starting compiler/backend/reg_alloc
Aug 21 00:28:37 Finished compiler/backend/reg_alloc                               0s  64MB
Aug 21 00:28:38 Starting compiler/backend/gc
Aug 21 00:28:40 Finished compiler/backend/gc                                      0s 137MB
Aug 21 00:28:41 Starting compiler/backend
Aug 21 00:28:58 Finished compiler/backend                                        16s   1GB
Aug 21 00:28:59 Starting compiler/encoders/asm
Aug 21 00:29:00 Finished compiler/encoders/asm                                    0s  82MB
Aug 21 00:29:01 Starting compiler/encoders/x64
Aug 21 00:29:02 Finished compiler/encoders/x64                                    0s  89MB
Aug 21 00:29:03 Starting compiler/encoders/arm7
Aug 21 00:29:04 Finished compiler/encoders/arm7                                   0s  89MB
Aug 21 00:29:05 Starting compiler/encoders/arm8
Aug 21 00:29:06 Finished compiler/encoders/arm8                                   0s  88MB
Aug 21 00:29:07 Starting compiler/encoders/arm8_asl
Aug 21 02:47:03 Finished compiler/encoders/arm8_asl                         2h17m55s  43GB
Aug 21 02:47:04 Starting compiler/encoders/mips
Aug 21 02:47:05 Finished compiler/encoders/mips                                   0s  90MB
Aug 21 02:47:06 Starting compiler/encoders/riscv
Aug 21 02:47:08 Finished compiler/encoders/riscv                                  0s  90MB
Aug 21 02:47:08 Starting compiler/encoders/ag32
Aug 21 02:47:10 Finished compiler/encoders/ag32                                   0s  89MB
Aug 21 02:47:11 Starting compiler/backend/x64
Aug 21 02:47:12 Finished compiler/backend/x64                                     0s 123MB
Aug 21 02:47:13 Starting compiler/backend/arm7
Aug 21 02:47:15 Finished compiler/backend/arm7                                    0s 123MB
Aug 21 02:47:16 Starting compiler/backend/arm8
Aug 21 02:47:17 Finished compiler/backend/arm8                                    0s 123MB
Aug 21 02:47:18 Starting compiler/backend/mips
Aug 21 02:47:20 Finished compiler/backend/mips                                    0s 123MB
Aug 21 02:47:21 Starting compiler/backend/riscv
Aug 21 02:47:22 Finished compiler/backend/riscv                                   0s 123MB
Aug 21 02:47:23 Starting compiler/backend/ag32
Aug 21 02:48:46 Finished compiler/backend/ag32                                 1m22s   2GB
Aug 21 02:48:47 Starting compiler/parsing/proofs
Aug 21 02:48:49 Finished compiler/parsing/proofs                                  0s  71MB
Aug 21 02:48:49 Starting compiler/inference/proofs
Aug 21 02:48:51 Finished compiler/inference/proofs                                0s  83MB
Aug 21 02:48:52 Starting compiler/backend/semantics
Aug 21 02:50:19 Finished compiler/backend/semantics                            1m26s   3GB
Aug 21 02:50:20 Starting compiler/backend/reg_alloc/proofs
Aug 21 02:50:21 Finished compiler/backend/reg_alloc/proofs                        0s  90MB
Aug 21 02:50:22 Starting compiler/backend/proofs
Aug 21 02:51:23 Finished compiler/backend/proofs                               1m00s   3GB
Aug 21 02:51:24 Starting compiler/backend/serialiser
Aug 21 02:51:26 Finished compiler/backend/serialiser                              1s 178MB
Aug 21 02:51:27 Starting compiler/encoders/x64/proofs
Aug 21 03:00:55 Finished compiler/encoders/x64/proofs                          9m26s   5GB
Aug 21 03:00:56 Starting compiler/encoders/arm7/proofs
Aug 21 03:14:07 Finished compiler/encoders/arm7/proofs                        13m10s  13GB
Aug 21 03:14:08 Starting compiler/encoders/arm8/proofs
Aug 21 03:20:37 Finished compiler/encoders/arm8/proofs                         6m28s   6GB
Aug 21 03:20:38 Starting compiler/encoders/arm8_asl/proofs
Aug 21 04:09:19 Finished compiler/encoders/arm8_asl/proofs                    48m40s  11GB
Aug 21 04:09:20 Starting compiler/encoders/mips/proofs
Aug 21 04:19:34 Finished compiler/encoders/mips/proofs                        10m13s   7GB
Aug 21 04:19:35 Starting compiler/encoders/riscv/proofs
Aug 21 04:27:55 Finished compiler/encoders/riscv/proofs                        8m19s   5GB
Aug 21 04:27:56 Starting compiler/encoders/ag32/proofs
Aug 21 04:30:22 Finished compiler/encoders/ag32/proofs                         2m24s   2GB
Aug 21 04:30:23 Starting compiler/backend/x64/proofs
Aug 21 04:31:03 Finished compiler/backend/x64/proofs                             39s   2GB
Aug 21 04:31:04 Starting compiler/backend/arm7/proofs
Aug 21 04:31:46 Finished compiler/backend/arm7/proofs                            41s   2GB
Aug 21 04:31:47 Starting compiler/backend/arm8/proofs
Aug 21 04:32:27 Finished compiler/backend/arm8/proofs                            38s   3GB
Aug 21 04:32:27 Starting compiler/backend/arm8_asl
Aug 21 04:32:54 Finished compiler/backend/arm8_asl                               26s   2GB
Aug 21 04:32:55 Starting compiler/backend/mips/proofs
Aug 21 04:33:40 Finished compiler/backend/mips/proofs                            44s   3GB
Aug 21 04:33:41 Starting compiler/backend/riscv/proofs
Aug 21 04:34:32 Finished compiler/backend/riscv/proofs                           49s   3GB
Aug 21 04:34:33 Starting compiler/backend/ag32/proofs
Aug 21 04:47:32 Finished compiler/backend/ag32/proofs                         12m58s   6GB
Aug 21 04:47:33 Starting candle/set-theory
Aug 21 04:48:16 Finished candle/set-theory                                       42s   1GB
Aug 21 04:48:17 Starting candle/syntax-lib
Aug 21 04:48:19 Finished candle/syntax-lib                                        0s  71MB
Aug 21 04:48:19 Starting candle/standard/syntax
Aug 21 04:48:35 Finished candle/standard/syntax                                  15s   1GB
Aug 21 04:48:36 Starting candle/standard/semantics
Aug 21 04:51:00 Finished candle/standard/semantics                             2m23s   2GB
Aug 21 04:51:01 Starting candle/standard/monadic
Aug 21 04:51:03 Finished candle/standard/monadic                                  0s 100MB
Aug 21 04:51:03 Starting candle/standard/ml_kernel
Aug 21 04:52:54 Finished candle/standard/ml_kernel                             1m49s   4GB
Aug 21 04:52:55 Starting candle/overloading/syntax
Aug 21 04:56:22 Finished candle/overloading/syntax                             3m26s   3GB
Aug 21 04:56:23 Starting candle/overloading/semantics
Aug 21 05:07:47 Finished candle/overloading/semantics                         11m22s   5GB
Aug 21 05:07:48 Starting candle/overloading/monadic
Aug 21 05:10:20 Finished candle/overloading/monadic                            2m31s   3GB
Aug 21 05:10:21 Starting candle/overloading/ml_kernel
Aug 21 05:17:57 Finished candle/overloading/ml_kernel                          7m35s   6GB
Aug 21 05:17:58 Starting candle/overloading/ml_checker
Aug 21 05:20:30 Finished candle/overloading/ml_checker                         2m30s   7GB
Aug 21 05:20:31 Starting candle/prover
Aug 21 05:30:23 Finished candle/prover                                         9m51s   5GB
Aug 21 05:30:23 Starting pancake
Aug 21 05:31:23 Finished pancake                                                 58s   1GB
Aug 21 05:31:23 Starting pancake/ffi
Aug 21 05:31:24 Finished pancake/ffi                                              0s  20MB
Aug 21 05:31:25 Starting pancake/semantics
Aug 21 05:33:42 Finished pancake/semantics                                     2m16s   2GB
Aug 21 05:33:43 Starting pancake/parser
Aug 21 05:34:07 Finished pancake/parser                                          23s   1GB
Aug 21 05:34:08 Starting pancake/proofs
Aug 21 06:03:46 Finished pancake/proofs                                       29m37s   8GB
Aug 21 06:03:47 Starting characteristic/examples
Aug 21 06:05:21 Finished characteristic/examples                               1m33s   5GB
Aug 21 06:05:22 Starting tutorial/solutions
Aug 21 06:21:06 Finished tutorial/solutions                                   15m42s  17GB
Aug 21 06:21:07 Starting translator/monadic/examples
Aug 21 06:25:15 Finished translator/monadic/examples                           4m07s   5GB
Aug 21 06:25:16 Starting examples
Aug 21 06:40:39 Finished examples                                             15m22s   7GB
Aug 21 06:40:40 Starting examples/compilation/x64
Aug 21 08:39:51 Finished examples/compilation/x64                           1h59m09s  22GB
Aug 21 08:39:51 Starting examples/compilation/x64/proofs
Aug 21 08:43:45 Finished examples/compilation/x64/proofs                       3m52s   5GB
Aug 21 08:43:45 Starting examples/compilation/ag32
Aug 21 09:13:39 Finished examples/compilation/ag32                            29m52s  13GB
Aug 21 09:13:40 Starting examples/compilation/ag32/proofs
Aug 21 09:15:11 Finished examples/compilation/ag32/proofs                      1m30s   7GB
Aug 21 09:15:11 Starting examples/compilation/to_word
Aug 21 09:19:05 Finished examples/compilation/to_word                          3m52s  13GB
Aug 21 09:19:05 Starting examples/lpr_checker
Aug 21 09:20:21 Finished examples/lpr_checker                                  1m14s   2GB
Aug 21 09:20:22 Starting examples/lpr_checker/array
Aug 21 09:55:04 Finished examples/lpr_checker/array                           34m40s  11GB
Aug 21 09:55:05 Starting examples/lpr_checker/array/compilation
Aug 21 10:29:16 Finished examples/lpr_checker/array/compilation               34m11s  53GB
Aug 21 10:29:17 Starting examples/lpr_checker/array/compilation/proofs
Aug 21 10:31:11 Finished examples/lpr_checker/array/compilation/proofs         1m52s   9GB
Aug 21 10:31:12 Starting examples/opentheory
Aug 21 10:41:50 Finished examples/opentheory                                  10m36s   8GB
Aug 21 10:41:51 Starting examples/opentheory
Aug 21 10:41:53 Finished examples/opentheory                                      0s 132MB
Aug 21 10:41:54 Starting examples/opentheory/compilation
Aug 21 11:17:23 Finished examples/opentheory/compilation                      35m28s  49GB
Aug 21 11:17:24 Starting examples/opentheory/compilation/proofs
Aug 21 11:18:52 Finished examples/opentheory/compilation/proofs                1m26s   6GB
Aug 21 11:18:52 Starting examples/opentheory/compilation/ag32
Aug 21 11:50:34 Finished examples/opentheory/compilation/ag32                 31m38s  42GB
Aug 21 11:50:35 Starting examples/opentheory/compilation/ag32/proofs
Aug 21 11:52:49 Finished examples/opentheory/compilation/ag32/proofs           2m13s  10GB
Aug 21 11:52:50 Starting examples/sat_encodings
Aug 21 11:55:24 Finished examples/sat_encodings                                2m33s   1GB
Aug 21 11:55:25 Starting examples/sat_encodings/case_studies
Aug 21 11:57:24 Finished examples/sat_encodings/case_studies                   1m57s   2GB
Aug 21 11:57:25 Starting examples/sat_encodings/translation
Aug 21 12:03:25 Finished examples/sat_encodings/translation                    5m59s   7GB
Aug 21 12:03:26 Starting examples/sat_encodings/translation/compilation
Aug 21 12:38:59 Finished examples/sat_encodings/translation/compilation       35m32s  39GB
Aug 21 12:39:00 Starting examples/deflate
Aug 21 12:40:13 Finished examples/deflate                                      1m12s   1GB
Aug 21 12:40:14 Starting examples/deflate/translation
Aug 21 12:41:52 Finished examples/deflate/translation                          1m37s   7GB
Aug 21 12:41:53 Starting examples/deflate/translation/compilation
Aug 21 12:58:41 Finished examples/deflate/translation/compilation             16m46s  25GB
Aug 21 12:58:42 Starting examples/vipr
Aug 21 13:02:44 Finished examples/vipr                                         4m00s   4GB
Aug 21 13:02:44 Starting examples/vipr/compilation
Aug 21 13:22:29 Finished examples/vipr/compilation                            19m43s  21GB
Aug 21 13:22:30 Starting translator/okasaki-examples
Aug 21 13:27:28 Finished translator/okasaki-examples                           4m56s   3GB
Aug 21 13:27:28 Starting translator/other-examples
Aug 21 13:31:06 Finished translator/other-examples                             3m36s   3GB
Aug 21 13:31:06 Starting compiler/parsing/tests
Aug 21 13:31:40 Finished compiler/parsing/tests                                  33s   1GB
Aug 21 13:31:41 Starting compiler/inference/tests
Aug 21 13:39:08 Finished compiler/inference/tests                              7m26s   6GB
Aug 21 13:39:09 Starting compiler/printing/test
Aug 21 13:42:40 Finished compiler/printing/test                                3m30s   6GB
Aug 21 13:42:41 Starting icing/flover
Aug 21 14:17:56 Finished icing/flover                                         35m12s   4GB
Aug 21 14:17:57 Starting icing/
Aug 21 15:14:25 Finished icing/                                               56m26s  34GB
Aug 21 15:14:26 Starting icing/examples
Aug 21 15:16:08 Finished icing/examples                                        1m41s   8GB
Aug 21 15:16:08 Starting compiler/repl
Aug 21 15:24:45 Finished compiler/repl                                         8m35s   9GB
Aug 21 15:24:45 Starting unverified/sexpr-bootstrap/x64/64
Aug 21 15:35:28 Finished unverified/sexpr-bootstrap/x64/64                    10m42s  15GB
Aug 21 15:35:29 Starting unverified/sexpr-bootstrap/x64/32
Aug 21 15:44:21 Finished unverified/sexpr-bootstrap/x64/32                     8m50s  13GB
Aug 21 15:44:22 Starting compiler/benchmarks
Aug 21 15:45:06 Finished compiler/benchmarks                                     43s 713MB
Aug 21 15:45:07 Starting compiler/bootstrap/compilation/x64/64
Aug 22 06:14:26 Finished compiler/bootstrap/compilation/x64/64             14h29m17s 152GB
Aug 22 06:14:27 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 22 06:35:13 Finished compiler/bootstrap/compilation/x64/64/proofs         20m45s  43GB
Aug 22 06:35:14 Starting compiler/bootstrap/compilation/x64/32
Aug 22 13:51:24 Finished compiler/bootstrap/compilation/x64/32              7h16m08s 135GB
Aug 22 13:51:25 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 22 13:55:04 Finished compiler/bootstrap/compilation/x64/32/proofs          3m38s  20GB
Aug 22 13:55:05 Starting compiler/bootstrap/compilation/ag32/32
Aug 22 21:29:55 Finished compiler/bootstrap/compilation/ag32/32             7h34m49s 120GB
Aug 22 21:29:56 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 22 21:37:30 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m32s  39GB
Aug 22 21:37:31 SUCCESS