Job 1668

CakeML:9455c44d3008abfd1023cdf87feb7a9cbf8993f7
  Merge remote-tracking branch 'origin/master' into clos-smart-op [Nov 26 08:33:29]
#847 (clos-smart-op)
Merging into:81893c0ceafc821e1ba47c010c3decd234a6e410
  Merge pull request #846 from CakeML/pattern-aliases [Nov 26 08:32:35]
HOL:c5bed31fdad7e6c6441763e382100c293b95f69f
  Use Portable.genwith_flag to implement AncestryData.with_temp_value [Nov 25 06:29:55]
Machine:oven3 4.19.67.1.amd64-smp

Nov 26 08:46:17 Claimed job
Nov 26 08:46:27 Building HOL
Nov 26 09:05:39 Starting developers
Nov 26 09:05:47 Finished developers                                               7s 109MB
Nov 26 09:05:47 Starting developers/bin
Nov 26 09:06:01 Finished developers/bin                                          13s   1GB
Nov 26 09:06:01 Starting semantics/ffi
Nov 26 09:06:20 Finished semantics/ffi                                           19s 251MB
Nov 26 09:06:21 Starting semantics
Nov 26 09:09:33 Finished semantics                                             3m12s   1GB
Nov 26 09:09:33 Starting semantics/proofs
Nov 26 09:17:18 Finished semantics/proofs                                      7m44s   1GB
Nov 26 09:17:19 Starting semantics/alt_semantics
Nov 26 09:17:43 Finished semantics/alt_semantics                                 23s 398MB
Nov 26 09:17:43 Starting semantics/alt_semantics/proofs
Nov 26 09:22:57 Finished semantics/alt_semantics/proofs                        5m13s 916MB
Nov 26 09:22:57 Starting basis/pure
Nov 26 09:29:18 Finished basis/pure                                            6m20s 907MB
Nov 26 09:29:18 Starting translator
Nov 26 09:35:11 Finished translator                                            5m52s   1GB
Nov 26 09:35:11 Starting compiler/parsing
Nov 26 09:37:59 Finished compiler/parsing                                      2m48s   2GB
Nov 26 09:38:00 Starting characteristic
Nov 26 09:50:01 Finished characteristic                                       12m00s   2GB
Nov 26 09:50:01 Starting translator/monadic
Nov 26 09:53:37 Finished translator/monadic                                    3m35s   1GB
Nov 26 09:53:37 Starting basis
Nov 26 11:32:08 Finished basis                                              1h38m30s  15GB
Nov 26 11:32:08 Starting compiler/inference
Nov 26 11:34:48 Finished compiler/inference                                    2m40s   1GB
Nov 26 11:34:49 Starting compiler/backend/reg_alloc
Nov 26 11:37:00 Finished compiler/backend/reg_alloc                            2m11s   1GB
Nov 26 11:37:00 Starting compiler/backend/gc
Nov 26 11:43:50 Finished compiler/backend/gc                                   6m49s   2GB
Nov 26 11:43:50 Starting compiler/backend
Nov 26 11:52:40 Finished compiler/backend                                      8m49s   1GB
Nov 26 11:52:40 Starting compiler/encoders/asm
Nov 26 11:53:29 Finished compiler/encoders/asm                                   48s 694MB
Nov 26 11:53:29 Starting compiler/encoders/x64
Nov 26 11:55:47 Finished compiler/encoders/x64                                 2m17s 840MB
Nov 26 11:55:47 Starting compiler/encoders/arm7
Nov 26 12:00:09 Finished compiler/encoders/arm7                                4m21s   1GB
Nov 26 12:00:09 Starting compiler/encoders/arm8
Nov 26 12:01:30 Finished compiler/encoders/arm8                                1m21s 646MB
Nov 26 12:01:31 Starting compiler/encoders/mips
Nov 26 12:04:37 Finished compiler/encoders/mips                                3m06s   1GB
Nov 26 12:04:37 Starting compiler/encoders/riscv
Nov 26 12:08:33 Finished compiler/encoders/riscv                               3m55s   1GB
Nov 26 12:08:33 Starting compiler/encoders/ag32
Nov 26 12:09:14 Finished compiler/encoders/ag32                                  40s 697MB
Nov 26 12:09:14 Starting compiler/backend/x64
Nov 26 12:09:55 Finished compiler/backend/x64                                    40s   1GB
Nov 26 12:09:55 Starting compiler/backend/arm7
Nov 26 12:10:40 Finished compiler/backend/arm7                                   44s   1GB
Nov 26 12:10:41 Starting compiler/backend/arm8
Nov 26 12:11:23 Finished compiler/backend/arm8                                   41s   1GB
Nov 26 12:11:23 Starting compiler/backend/mips
Nov 26 12:12:06 Finished compiler/backend/mips                                   42s   1GB
Nov 26 12:12:06 Starting compiler/backend/riscv
Nov 26 12:12:49 Finished compiler/backend/riscv                                  42s   1GB
Nov 26 12:12:49 Starting compiler/backend/ag32
Nov 26 12:15:14 Finished compiler/backend/ag32                                 2m24s   1GB
Nov 26 12:15:14 Starting compiler/parsing/proofs
Nov 26 12:23:29 Finished compiler/parsing/proofs                               8m15s   1GB
Nov 26 12:23:30 Starting compiler/inference/proofs
Nov 26 12:28:48 Finished compiler/inference/proofs                             5m17s   1GB
Nov 26 12:28:48 Starting compiler/backend/semantics
Nov 26 13:30:03 Finished compiler/backend/semantics                         1h01m15s   2GB
Nov 26 13:30:04 Starting compiler/backend/reg_alloc/proofs
Nov 26 13:38:03 Finished compiler/backend/reg_alloc/proofs                     7m59s 895MB
Nov 26 13:38:04 Starting compiler/backend/proofs
Nov 26 15:19:41 Finished compiler/backend/proofs                            1h41m36s  25GB
Nov 26 15:19:41 Starting compiler/backend/serialiser
Nov 26 15:22:12 Finished compiler/backend/serialiser                           2m30s   1GB
Nov 26 15:22:12 Starting compiler/encoders/x64/proofs
Nov 26 15:43:31 Finished compiler/encoders/x64/proofs                         21m19s   5GB
Nov 26 15:43:31 Starting compiler/encoders/arm7/proofs
Nov 26 16:14:12 Finished compiler/encoders/arm7/proofs                        30m40s   3GB
Nov 26 16:14:13 Starting compiler/encoders/arm8/proofs
Nov 26 16:30:03 Finished compiler/encoders/arm8/proofs                        15m49s   1GB
Nov 26 16:30:03 Starting compiler/encoders/mips/proofs
Nov 26 16:52:36 Finished compiler/encoders/mips/proofs                        22m32s   2GB
Nov 26 16:52:36 Starting compiler/encoders/riscv/proofs
Nov 26 17:12:41 Finished compiler/encoders/riscv/proofs                       20m04s   1GB
Nov 26 17:12:41 Starting compiler/encoders/ag32/proofs
Nov 26 17:18:25 Finished compiler/encoders/ag32/proofs                         5m43s 866MB
Nov 26 17:18:25 Starting compiler/backend/x64/proofs
Nov 26 17:19:14 Finished compiler/backend/x64/proofs                             49s   1GB
Nov 26 17:19:15 Starting compiler/backend/arm7/proofs
Nov 26 17:20:08 Finished compiler/backend/arm7/proofs                            53s   1GB
Nov 26 17:20:08 Starting compiler/backend/arm8/proofs
Nov 26 17:21:00 Finished compiler/backend/arm8/proofs                            51s   1GB
Nov 26 17:21:00 Starting compiler/backend/mips/proofs
Nov 26 17:21:53 Finished compiler/backend/mips/proofs                            52s   1GB
Nov 26 17:21:53 Starting compiler/backend/riscv/proofs
Nov 26 17:22:44 Finished compiler/backend/riscv/proofs                           51s   2GB
Nov 26 17:22:44 Starting compiler/backend/ag32/proofs
Nov 26 17:50:30 Finished compiler/backend/ag32/proofs                         27m44s   3GB
Nov 26 17:50:30 Starting compiler/proofs
Nov 26 17:54:45 Finished compiler/proofs                                       4m14s   3GB
Nov 26 17:54:45 Starting candle/set-theory
Nov 26 17:55:46 Finished candle/set-theory                                     1m00s 811MB
Nov 26 17:55:46 Starting candle/syntax-lib
Nov 26 17:56:09 Finished candle/syntax-lib                                       23s 452MB
Nov 26 17:56:10 Starting candle/standard/syntax
Nov 26 18:00:04 Finished candle/standard/syntax                                3m54s   1GB
Nov 26 18:00:05 Starting candle/standard/semantics
Nov 26 18:03:49 Finished candle/standard/semantics                             3m44s   1GB
Nov 26 18:03:49 Starting candle/standard/monadic
Nov 26 18:07:33 Finished candle/standard/monadic                               3m43s   1GB
Nov 26 18:07:34 Starting candle/standard/ml_kernel
Nov 26 18:18:56 Finished candle/standard/ml_kernel                            11m22s   3GB
Nov 26 18:18:57 Starting candle/overloading/syntax
Nov 26 18:25:33 Finished candle/overloading/syntax                             6m35s   1GB
Nov 26 18:25:33 Starting candle/overloading/semantics
Nov 26 18:51:08 Finished candle/overloading/semantics                         25m34s   2GB
Nov 26 18:51:08 Starting pancake
Nov 26 18:55:05 Finished pancake                                               3m57s   2GB
Nov 26 18:55:06 Starting pancake/ffi
Nov 26 18:55:06 Finished pancake/ffi                                              0s   7MB
Nov 26 18:55:06 Starting pancake/semantics
Nov 26 19:00:17 Finished pancake/semantics                                     5m10s   1GB
Nov 26 19:00:17 Starting pancake/proofs
Nov 26 19:25:32 Finished pancake/proofs                                       25m14s   5GB
Nov 26 19:25:32 Starting characteristic/examples
Nov 26 19:28:23 Finished characteristic/examples                               2m50s   3GB
Nov 26 19:28:23 Starting tutorial/solutions
Nov 26 20:02:39 Finished tutorial/solutions                                   34m16s  10GB
Nov 26 20:02:40 Starting translator/monadic/examples
Nov 26 20:08:29 Finished translator/monadic/examples                           5m49s   2GB
Nov 26 20:08:29 Starting examples
Nov 26 20:26:07 Finished examples                                             17m37s   3GB
Nov 26 20:26:08 Starting examples/compilation/x64
Nov 27 01:57:20 Finished examples/compilation/x64                           5h31m10s  32GB
Nov 27 01:57:20 Starting examples/compilation/x64/proofs
Nov 27 02:00:43 Finished examples/compilation/x64/proofs                       3m22s   3GB
Nov 27 02:00:43 Starting examples/compilation/ag32
Nov 27 03:19:05 Finished examples/compilation/ag32                          1h18m22s  10GB
Nov 27 03:19:06 Starting examples/compilation/ag32/proofs
Nov 27 03:20:44 Finished examples/compilation/ag32/proofs                      1m37s   3GB
Nov 27 03:20:44 Starting examples/cost
Nov 27 05:16:44 Finished examples/cost                                      1h55m59s   7GB
Nov 27 05:16:44 Starting examples/lpr_checker
Nov 27 05:18:30 Finished examples/lpr_checker                                  1m45s   1GB
Nov 27 05:18:30 Starting examples/lpr_checker/array
Nov 27 06:21:58 Finished examples/lpr_checker/array                         1h03m26s   6GB
Nov 27 06:21:59 Starting examples/lpr_checker/array/compilation
Nov 27 09:14:53 Finished examples/lpr_checker/array/compilation             2h52m54s  31GB
Nov 27 09:14:54 Starting examples/lpr_checker/array/compilation/proofs
Nov 27 09:17:25 Finished examples/lpr_checker/array/compilation/proofs         2m31s   7GB
Nov 27 09:17:26 Starting examples/opentheory
Nov 27 09:37:34 Finished examples/opentheory                                  20m08s   5GB
Nov 27 09:37:35 Starting examples/opentheory
Nov 27 09:37:37 Finished examples/opentheory                                      2s  35MB
Nov 27 09:37:37 Starting examples/opentheory/compilation
Nov 27 11:00:43 Finished examples/opentheory/compilation                    1h23m05s  42GB
Nov 27 11:00:43 Starting examples/opentheory/compilation/proofs
Nov 27 11:02:14 Finished examples/opentheory/compilation/proofs                1m30s   4GB
Nov 27 11:02:15 Starting examples/opentheory/compilation/ag32
Nov 27 12:29:34 Finished examples/opentheory/compilation/ag32               1h27m18s  40GB
Nov 27 12:29:34 Starting examples/opentheory/compilation/ag32/proofs
Nov 27 12:32:58 Finished examples/opentheory/compilation/ag32/proofs           3m23s   6GB
Nov 27 12:32:58 Starting examples/sat_encodings
Nov 27 12:36:47 Finished examples/sat_encodings                                3m48s 968MB
Nov 27 12:36:47 Starting examples/sat_encodings/case_studies
Nov 27 12:40:14 Finished examples/sat_encodings/case_studies                   3m26s 914MB
Nov 27 12:40:14 Starting examples/sat_encodings/translation
Nov 27 12:51:50 Finished examples/sat_encodings/translation                   11m35s   5GB
Nov 27 12:51:50 Starting examples/sat_encodings/translation/compilation
Nov 27 14:18:40 Finished examples/sat_encodings/translation/compilation     1h26m47s  23GB
Nov 27 14:18:40 Starting translator/okasaki-examples
Nov 27 14:27:51 Finished translator/okasaki-examples                           9m10s   1GB
Nov 27 14:27:51 Starting translator/other-examples
Nov 27 14:31:40 Finished translator/other-examples                             3m49s   1GB
Nov 27 14:31:41 Starting compiler/parsing/tests
Nov 27 14:32:48 Finished compiler/parsing/tests                                1m07s 683MB
Nov 27 14:32:48 Starting compiler/inference/tests
Nov 27 14:48:52 Finished compiler/inference/tests                             16m03s   4GB
Nov 27 14:48:52 Starting compiler/bootstrap/translation
Nov 27 20:21:48 Finished compiler/bootstrap/translation                     5h32m54s  32GB
Nov 27 20:21:48 Starting unverified/sexpr-bootstrap/x64/64
Nov 27 20:46:03 Finished unverified/sexpr-bootstrap/x64/64                    24m14s   8GB
Nov 27 20:46:03 Starting unverified/sexpr-bootstrap/x64/32
Nov 27 21:07:05 Finished unverified/sexpr-bootstrap/x64/32                    21m01s   8GB
Nov 27 21:07:05 Starting compiler/benchmarks
Nov 27 21:07:09 Finished compiler/benchmarks                                      4s  33MB
Nov 27 21:07:10 Starting compiler/bootstrap/compilation/x64/64
Nov 29 00:55:49 Finished compiler/bootstrap/compilation/x64/64             27h48m38s  78GB
Nov 29 00:55:49 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 29 01:00:47 Finished compiler/bootstrap/compilation/x64/64/proofs          4m57s  14GB
Nov 29 01:00:47 Starting compiler/bootstrap/compilation/x64/32
Nov 30 01:28:46 Finished compiler/bootstrap/compilation/x64/32             24h27m57s 109GB
Nov 30 01:28:46 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 30 01:33:06 Finished compiler/bootstrap/compilation/x64/32/proofs          4m19s  14GB
Nov 30 01:33:06 Starting compiler/bootstrap/compilation/ag32/32
Dec 01 04:11:47 Finished compiler/bootstrap/compilation/ag32/32            26h38m38s 109GB
Dec 01 04:11:47 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 01 04:31:37 Finished compiler/bootstrap/compilation/ag32/32/proofs        19m49s  42GB
Dec 01 04:31:37 SUCCESS