Job 1592

CakeML:93a43c51f337a845a8696f031d3fc712c62dd2da
  Merge pull request #835 from CakeML/enc-dec [Sep 29 09:23:45]
HOL:424885cd3abe129d536c979db549b5efe69b23fa
  Fix Unicode violation in topologyScript.sml [Sep 20 06:39:34]
Machine:oven3 4.19.67.1.amd64-smp

Sep 29 09:26:34 Claimed job
Sep 29 09:26:52 Reusing HOL
Sep 29 09:27:53 Starting developers
Sep 29 09:28:01 Finished developers                                               8s 100MB
Sep 29 09:28:01 Starting developers/bin
Sep 29 09:28:14 Finished developers/bin                                          12s   1GB
Sep 29 09:28:14 Starting semantics/ffi
Sep 29 09:28:44 Finished semantics/ffi                                           29s 272MB
Sep 29 09:28:44 Starting semantics
Sep 29 09:31:36 Finished semantics                                             2m51s   1GB
Sep 29 09:31:36 Starting semantics/proofs
Sep 29 09:40:13 Finished semantics/proofs                                      8m35s   1GB
Sep 29 09:40:13 Starting semantics/alt_semantics
Sep 29 09:40:40 Finished semantics/alt_semantics                                 26s 448MB
Sep 29 09:40:40 Starting semantics/alt_semantics/proofs
Sep 29 09:46:13 Finished semantics/alt_semantics/proofs                        5m33s   1GB
Sep 29 09:46:14 Starting basis/pure
Sep 29 09:48:00 Finished basis/pure                                            1m46s 755MB
Sep 29 09:48:01 Starting translator
Sep 29 09:54:55 Finished translator                                            6m54s   1GB
Sep 29 09:54:55 Starting compiler/parsing
Sep 29 09:57:37 Finished compiler/parsing                                      2m40s   2GB
Sep 29 09:57:37 Starting characteristic
Sep 29 10:09:49 Finished characteristic                                       12m12s   2GB
Sep 29 10:09:49 Starting translator/monadic
Sep 29 10:13:21 Finished translator/monadic                                    3m31s   1GB
Sep 29 10:13:22 Starting basis
Sep 29 11:53:52 Finished basis                                              1h40m29s  13GB
Sep 29 11:53:52 Starting compiler/inference
Sep 29 11:56:22 Finished compiler/inference                                    2m29s   1GB
Sep 29 11:56:22 Starting compiler/backend/reg_alloc
Sep 29 11:58:30 Finished compiler/backend/reg_alloc                            2m07s   1GB
Sep 29 11:58:30 Starting compiler/backend/gc
Sep 29 12:05:20 Finished compiler/backend/gc                                   6m49s   2GB
Sep 29 12:05:20 Starting compiler/backend
Sep 29 12:15:05 Finished compiler/backend                                      9m43s   4GB
Sep 29 12:15:05 Starting compiler/encoders/asm
Sep 29 12:15:56 Finished compiler/encoders/asm                                   50s 827MB
Sep 29 12:15:56 Starting compiler/encoders/x64
Sep 29 12:16:55 Finished compiler/encoders/x64                                   59s 814MB
Sep 29 12:16:56 Starting compiler/encoders/arm7
Sep 29 12:18:59 Finished compiler/encoders/arm7                                2m03s 744MB
Sep 29 12:19:00 Starting compiler/encoders/arm8
Sep 29 12:19:30 Finished compiler/encoders/arm8                                  30s 592MB
Sep 29 12:19:31 Starting compiler/encoders/mips
Sep 29 12:20:10 Finished compiler/encoders/mips                                  39s   1GB
Sep 29 12:20:10 Starting compiler/encoders/riscv
Sep 29 12:20:48 Finished compiler/encoders/riscv                                 37s 835MB
Sep 29 12:20:48 Starting compiler/encoders/ag32
Sep 29 12:21:29 Finished compiler/encoders/ag32                                  41s 901MB
Sep 29 12:21:29 Starting compiler/backend/x64
Sep 29 12:22:11 Finished compiler/backend/x64                                    41s   1GB
Sep 29 12:22:11 Starting compiler/backend/arm7
Sep 29 12:22:59 Finished compiler/backend/arm7                                   47s   1GB
Sep 29 12:22:59 Starting compiler/backend/arm8
Sep 29 12:23:42 Finished compiler/backend/arm8                                   43s   1GB
Sep 29 12:23:42 Starting compiler/backend/mips
Sep 29 12:24:27 Finished compiler/backend/mips                                   43s   1GB
Sep 29 12:24:27 Starting compiler/backend/riscv
Sep 29 12:25:11 Finished compiler/backend/riscv                                  44s   1GB
Sep 29 12:25:11 Starting compiler/backend/ag32
Sep 29 12:27:48 Finished compiler/backend/ag32                                 2m36s   1GB
Sep 29 12:27:49 Starting compiler/parsing/proofs
Sep 29 12:42:39 Finished compiler/parsing/proofs                              14m50s   1GB
Sep 29 12:42:40 Starting compiler/inference/proofs
Sep 29 12:48:07 Finished compiler/inference/proofs                             5m26s   1GB
Sep 29 12:48:07 Starting compiler/backend/semantics
Sep 29 13:50:01 Finished compiler/backend/semantics                         1h01m53s   2GB
Sep 29 13:50:01 Starting compiler/backend/reg_alloc/proofs
Sep 29 13:58:20 Finished compiler/backend/reg_alloc/proofs                     8m18s   1GB
Sep 29 13:58:20 Starting compiler/backend/proofs
Sep 29 15:40:46 Finished compiler/backend/proofs                            1h42m25s  12GB
Sep 29 15:40:46 Starting compiler/backend/serialiser
Sep 29 15:43:08 Finished compiler/backend/serialiser                           2m21s   1GB
Sep 29 15:43:08 Starting compiler/encoders/x64/proofs
Sep 29 16:05:04 Finished compiler/encoders/x64/proofs                         21m55s   4GB
Sep 29 16:05:04 Starting compiler/encoders/arm7/proofs
Sep 29 16:37:09 Finished compiler/encoders/arm7/proofs                        32m04s   3GB
Sep 29 16:37:09 Starting compiler/encoders/arm8/proofs
Sep 29 16:53:48 Finished compiler/encoders/arm8/proofs                        16m38s   1GB
Sep 29 16:53:48 Starting compiler/encoders/mips/proofs
Sep 29 17:16:43 Finished compiler/encoders/mips/proofs                        22m54s   2GB
Sep 29 17:16:43 Starting compiler/encoders/riscv/proofs
Sep 29 17:37:23 Finished compiler/encoders/riscv/proofs                       20m39s   1GB
Sep 29 17:37:23 Starting compiler/encoders/ag32/proofs
Sep 29 17:43:34 Finished compiler/encoders/ag32/proofs                         6m10s 826MB
Sep 29 17:43:34 Starting compiler/backend/x64/proofs
Sep 29 17:44:21 Finished compiler/backend/x64/proofs                             46s   1GB
Sep 29 17:44:22 Starting compiler/backend/arm7/proofs
Sep 29 17:45:13 Finished compiler/backend/arm7/proofs                            51s   1GB
Sep 29 17:45:14 Starting compiler/backend/arm8/proofs
Sep 29 17:46:03 Finished compiler/backend/arm8/proofs                            49s   1GB
Sep 29 17:46:04 Starting compiler/backend/mips/proofs
Sep 29 17:46:54 Finished compiler/backend/mips/proofs                            50s   1GB
Sep 29 17:46:54 Starting compiler/backend/riscv/proofs
Sep 29 17:47:45 Finished compiler/backend/riscv/proofs                           50s   1GB
Sep 29 17:47:45 Starting compiler/backend/ag32/proofs
Sep 29 18:15:41 Finished compiler/backend/ag32/proofs                         27m55s   3GB
Sep 29 18:15:42 Starting compiler/proofs
Sep 29 18:19:27 Finished compiler/proofs                                       3m45s   4GB
Sep 29 18:19:27 Starting candle/set-theory
Sep 29 18:20:27 Finished candle/set-theory                                       59s 794MB
Sep 29 18:20:27 Starting candle/syntax-lib
Sep 29 18:20:52 Finished candle/syntax-lib                                       24s 516MB
Sep 29 18:20:52 Starting candle/standard/syntax
Sep 29 18:24:56 Finished candle/standard/syntax                                4m03s   1GB
Sep 29 18:24:56 Starting candle/standard/semantics
Sep 29 18:28:45 Finished candle/standard/semantics                             3m49s   1GB
Sep 29 18:28:46 Starting candle/standard/monadic
Sep 29 18:32:42 Finished candle/standard/monadic                               3m55s   1GB
Sep 29 18:32:42 Starting candle/standard/ml_kernel
Sep 29 18:45:17 Finished candle/standard/ml_kernel                            12m35s   3GB
Sep 29 18:45:17 Starting candle/overloading/syntax
Sep 29 18:52:15 Finished candle/overloading/syntax                             6m57s   1GB
Sep 29 18:52:15 Starting candle/overloading/semantics
Sep 29 19:19:36 Finished candle/overloading/semantics                         27m19s   5GB
Sep 29 19:19:36 Starting pancake
Sep 29 19:23:38 Finished pancake                                               4m01s   2GB
Sep 29 19:23:38 Starting pancake/ffi
Sep 29 19:23:39 Finished pancake/ffi                                              0s   9MB
Sep 29 19:23:39 Starting pancake/semantics
Sep 29 19:28:43 Finished pancake/semantics                                     5m03s   1GB
Sep 29 19:28:43 Starting pancake/proofs
Sep 29 19:55:43 Finished pancake/proofs                                       27m00s   5GB
Sep 29 19:55:44 Starting characteristic/examples
Sep 29 19:59:05 Finished characteristic/examples                               3m20s   3GB
Sep 29 19:59:05 Starting tutorial/solutions
Sep 29 20:34:41 Finished tutorial/solutions                                   35m35s   8GB
Sep 29 20:34:41 Starting translator/monadic/examples
Sep 29 20:40:33 Finished translator/monadic/examples                           5m51s   3GB
Sep 29 20:40:34 Starting examples
Sep 29 20:57:46 Finished examples                                             17m12s   3GB
Sep 29 20:57:47 Starting examples/compilation/x64
Sep 30 02:28:44 Finished examples/compilation/x64                           5h30m56s  19GB
Sep 30 02:28:44 Starting examples/compilation/x64/proofs
Sep 30 02:32:17 Finished examples/compilation/x64/proofs                       3m33s   3GB
Sep 30 02:32:18 Starting examples/compilation/ag32
Sep 30 03:50:02 Finished examples/compilation/ag32                          1h17m44s   9GB
Sep 30 03:50:02 Starting examples/compilation/ag32/proofs
Sep 30 03:51:54 Finished examples/compilation/ag32/proofs                      1m50s   3GB
Sep 30 03:51:54 Starting examples/cost
Sep 30 05:48:25 Finished examples/cost                                      1h56m31s   7GB
Sep 30 05:48:26 Starting examples/lpr_checker
Sep 30 05:56:56 Finished examples/lpr_checker                                  8m30s   3GB
Sep 30 05:56:56 Starting examples/lpr_checker/compilation
Sep 30 06:36:42 Finished examples/lpr_checker/compilation                     39m45s  18GB
Sep 30 06:36:42 Starting examples/lpr_checker/compilation/proofs
Sep 30 06:38:11 Finished examples/lpr_checker/compilation/proofs               1m28s   2GB
Sep 30 06:38:12 Starting examples/lpr_checker/array
Sep 30 07:13:02 Finished examples/lpr_checker/array                           34m49s   4GB
Sep 30 07:13:02 Starting examples/lpr_checker/array/compilation
Sep 30 07:59:36 Finished examples/lpr_checker/array/compilation               46m33s  21GB
Sep 30 07:59:36 Starting examples/lpr_checker/array/compilation/proofs
Sep 30 08:01:18 Finished examples/lpr_checker/array/compilation/proofs         1m42s   3GB
Sep 30 08:01:19 Starting examples/opentheory
Sep 30 08:22:41 Finished examples/opentheory                                  21m21s   4GB
Sep 30 08:22:41 Starting examples/opentheory
Sep 30 08:22:44 Finished examples/opentheory                                      2s  34MB
Sep 30 08:22:44 Starting examples/opentheory/compilation
Sep 30 09:46:58 Finished examples/opentheory/compilation                    1h24m14s  43GB
Sep 30 09:46:59 Starting examples/opentheory/compilation/proofs
Sep 30 09:48:31 Finished examples/opentheory/compilation/proofs                1m31s   4GB
Sep 30 09:48:31 Starting examples/opentheory/compilation/ag32
Sep 30 11:17:38 Finished examples/opentheory/compilation/ag32               1h29m06s  35GB
Sep 30 11:17:38 Starting examples/opentheory/compilation/ag32/proofs
Sep 30 11:21:07 Finished examples/opentheory/compilation/ag32/proofs           3m28s   5GB
Sep 30 11:21:07 Starting examples/sat_encodings
Sep 30 11:25:02 Finished examples/sat_encodings                                3m54s   1GB
Sep 30 11:25:02 Starting examples/sat_encodings/case_studies
Sep 30 11:28:28 Finished examples/sat_encodings/case_studies                   3m25s 747MB
Sep 30 11:28:28 Starting examples/sat_encodings/translation
Sep 30 11:40:14 Finished examples/sat_encodings/translation                   11m45s   3GB
Sep 30 11:40:14 Starting examples/sat_encodings/translation/compilation
Sep 30 13:08:17 Finished examples/sat_encodings/translation/compilation     1h28m02s  23GB
Sep 30 13:08:18 Starting translator/okasaki-examples
Sep 30 13:17:38 Finished translator/okasaki-examples                           9m20s   1GB
Sep 30 13:17:38 Starting translator/other-examples
Sep 30 13:19:01 Finished translator/other-examples                             1m22s   1GB
Sep 30 13:19:01 Starting compiler/parsing/tests
Sep 30 13:20:07 Finished compiler/parsing/tests                                1m05s 729MB
Sep 30 13:20:07 Starting compiler/inference/tests
Sep 30 13:35:50 Finished compiler/inference/tests                             15m43s   6GB
Sep 30 13:35:51 Starting compiler/bootstrap/translation
Oct 07 08:48:14 Finished compiler/bootstrap/translation                     5h37m18s  23GB
Oct 07 08:55:35 Finished compiler/bootstrap/translation                     5h37m18s  23GB
Oct 07 08:56:50 Finished compiler/bootstrap/translation                     5h37m18s  23GB
Oct 07 08:57:02 Finished compiler/bootstrap/translation                     5h37m18s  23GB
Oct 07 12:50:41 Finished compiler/bootstrap/translation                     5h37m18s  23GB