Job 1946

CakeML:099c12cd5cc72f05c5be3d73a4a72a8c7f076e54
  Fixes for name change abs_1_v --> abs_v [Jun 22 21:13:52]
#892 (double-type-new)
Merging into:65d3f80595a77432d3a4ea050459052549d46911
  Merge pull request #891 from CakeML/boot-trans [Jun 26 20:42:38]
HOL:d49c74b2d661849ce5f80353d9757468110fcf0c
  Clean itreeTauScript.sml [Jun 27 01:54:20]
Machine:oven3

Jun 28 07:20:05 Claimed job
Jun 28 07:20:18 Building HOL
Jun 28 07:43:33 Starting developers
Jun 28 07:43:43 Finished developers                                               9s 179MB
Jun 28 07:43:43 Starting developers/bin
Jun 28 07:43:56 Finished developers/bin                                          12s   1GB
Jun 28 07:43:56 Starting semantics/ffi
Jun 28 07:44:22 Finished semantics/ffi                                           25s 250MB
Jun 28 07:44:22 Starting semantics
Jun 28 07:49:43 Finished semantics                                             5m20s   1GB
Jun 28 07:49:44 Starting semantics/proofs
Jun 28 08:05:31 Finished semantics/proofs                                     15m46s   1GB
Jun 28 08:05:31 Starting semantics/alt_semantics
Jun 28 08:06:34 Finished semantics/alt_semantics                               1m02s 526MB
Jun 28 08:06:35 Starting semantics/alt_semantics/proofs
Jun 28 08:31:44 Finished semantics/alt_semantics/proofs                       25m08s   2GB
Jun 28 08:31:44 Starting basis/pure
Jun 28 08:39:18 Finished basis/pure                                            7m33s 940MB
Jun 28 08:39:18 Starting translator
Jun 28 08:47:08 Finished translator                                            7m49s   1GB
Jun 28 08:47:08 Starting compiler/parsing
Jun 28 08:50:06 Finished compiler/parsing                                      2m57s   3GB
Jun 28 08:50:06 Starting characteristic
Jun 28 09:04:47 Finished characteristic                                       14m40s   2GB
Jun 28 09:04:47 Starting translator/monadic
Jun 28 09:09:03 Finished translator/monadic                                    4m15s   1GB
Jun 28 09:09:03 Starting basis
Jun 28 11:03:03 Finished basis                                              1h53m59s  13GB
Jun 28 11:03:03 Starting compiler/inference
Jun 28 11:06:35 Finished compiler/inference                                    3m31s   1GB
Jun 28 11:06:35 Starting compiler/backend/reg_alloc
Jun 28 11:09:45 Finished compiler/backend/reg_alloc                            3m09s   1GB
Jun 28 11:09:45 Starting compiler/backend/gc
Jun 28 11:18:24 Finished compiler/backend/gc                                   8m38s   2GB
Jun 28 11:18:24 Starting compiler/backend
Jun 28 11:30:22 Finished compiler/backend                                     11m57s   2GB
Jun 28 11:30:23 Starting compiler/encoders/asm
Jun 28 11:31:30 Finished compiler/encoders/asm                                 1m07s 714MB
Jun 28 11:31:31 Starting compiler/encoders/x64
Jun 28 11:34:03 Finished compiler/encoders/x64                                 2m32s   1GB
Jun 28 11:34:03 Starting compiler/encoders/arm7
Jun 28 11:39:25 Finished compiler/encoders/arm7                                5m21s   1GB
Jun 28 11:39:25 Starting compiler/encoders/arm8
Jun 28 11:41:03 Finished compiler/encoders/arm8                                1m37s 779MB
Jun 28 11:41:03 Starting compiler/encoders/arm8_asl
Jun 28 16:03:01 Finished compiler/encoders/arm8_asl                         4h21m57s  46GB
Jun 28 16:03:01 Starting compiler/encoders/mips
Jun 28 16:06:27 Finished compiler/encoders/mips                                3m25s   1GB
Jun 28 16:06:28 Starting compiler/encoders/riscv
Jun 28 16:10:23 Finished compiler/encoders/riscv                               3m55s   1GB
Jun 28 16:10:23 Starting compiler/encoders/ag32
Jun 28 16:11:13 Finished compiler/encoders/ag32                                  49s 806MB
Jun 28 16:11:13 Starting compiler/backend/x64
Jun 28 16:12:03 Finished compiler/backend/x64                                    49s   1GB
Jun 28 16:12:03 Starting compiler/backend/arm7
Jun 28 16:12:55 Finished compiler/backend/arm7                                   51s   1GB
Jun 28 16:12:55 Starting compiler/backend/arm8
Jun 28 16:13:45 Finished compiler/backend/arm8                                   49s   1GB
Jun 28 16:13:45 Starting compiler/backend/mips
Jun 28 16:14:34 Finished compiler/backend/mips                                   48s   1GB
Jun 28 16:14:34 Starting compiler/backend/riscv
Jun 28 16:15:24 Finished compiler/backend/riscv                                  49s   1GB
Jun 28 16:15:24 Starting compiler/backend/ag32
Jun 28 16:18:22 Finished compiler/backend/ag32                                 2m57s   1GB
Jun 28 16:18:22 Starting compiler/parsing/proofs
Jun 28 16:27:01 Finished compiler/parsing/proofs                               8m38s   1GB
Jun 28 16:27:01 Starting compiler/inference/proofs
Jun 28 16:33:05 Finished compiler/inference/proofs                             6m03s   1GB
Jun 28 16:33:06 Starting compiler/backend/semantics
Jun 28 17:28:56 Finished compiler/backend/semantics                           55m49s   2GB
Jun 28 17:28:56 Starting compiler/backend/reg_alloc/proofs
Jun 28 17:37:00 Finished compiler/backend/reg_alloc/proofs                     8m04s   1GB
Jun 28 17:37:01 Starting compiler/backend/proofs
Jun 28 19:28:12 Finished compiler/backend/proofs                            1h51m11s  25GB
Jun 28 19:28:12 Starting compiler/backend/serialiser
Jun 28 19:31:42 Finished compiler/backend/serialiser                           3m29s   2GB
Jun 28 19:31:42 Starting compiler/encoders/x64/proofs
Jun 28 19:53:15 Finished compiler/encoders/x64/proofs                         21m32s   6GB
Jun 28 19:53:15 Starting compiler/encoders/arm7/proofs
Jun 28 20:22:40 Finished compiler/encoders/arm7/proofs                        29m24s   4GB
Jun 28 20:22:40 Starting compiler/encoders/arm8/proofs
Jun 28 20:38:08 Finished compiler/encoders/arm8/proofs                        15m27s   1GB
Jun 28 20:38:08 Starting compiler/encoders/arm8_asl/proofs
Jun 28 22:31:17 Finished compiler/encoders/arm8_asl/proofs                  1h53m09s   8GB
Jun 28 22:31:18 Starting compiler/encoders/mips/proofs
Jun 28 22:53:57 Finished compiler/encoders/mips/proofs                        22m39s   2GB
Jun 28 22:53:58 Starting compiler/encoders/riscv/proofs
Jun 28 23:14:14 Finished compiler/encoders/riscv/proofs                       20m16s   1GB
Jun 28 23:14:15 Starting compiler/encoders/ag32/proofs
Jun 28 23:19:57 Finished compiler/encoders/ag32/proofs                         5m42s 934MB
Jun 28 23:19:57 Starting compiler/backend/x64/proofs
Jun 28 23:21:01 Finished compiler/backend/x64/proofs                           1m03s   1GB
Jun 28 23:21:01 Starting compiler/backend/arm7/proofs
Jun 28 23:22:07 Finished compiler/backend/arm7/proofs                          1m05s   1GB
Jun 28 23:22:07 Starting compiler/backend/arm8/proofs
Jun 28 23:23:13 Finished compiler/backend/arm8/proofs                          1m05s   1GB
Jun 28 23:23:13 Starting compiler/backend/arm8_asl
Jun 28 23:24:16 Finished compiler/backend/arm8_asl                             1m02s   1GB
Jun 28 23:24:17 Starting compiler/backend/mips/proofs
Jun 28 23:25:20 Finished compiler/backend/mips/proofs                          1m03s   1GB
Jun 28 23:25:20 Starting compiler/backend/riscv/proofs
Jun 28 23:26:24 Finished compiler/backend/riscv/proofs                         1m03s   1GB
Jun 28 23:26:24 Starting compiler/backend/ag32/proofs
Jun 28 23:56:49 Finished compiler/backend/ag32/proofs                         30m23s   3GB
Jun 28 23:56:49 Starting compiler/proofs
Jun 29 00:02:13 Finished compiler/proofs                                       5m23s   3GB
Jun 29 00:02:13 Starting candle/set-theory
Jun 29 00:03:21 Finished candle/set-theory                                     1m08s 939MB
Jun 29 00:03:22 Starting candle/syntax-lib
Jun 29 00:03:54 Finished candle/syntax-lib                                       31s 614MB
Jun 29 00:03:54 Starting candle/standard/syntax
Jun 29 00:08:16 Finished candle/standard/syntax                                4m21s 987MB
Jun 29 00:08:17 Starting candle/standard/semantics
Jun 29 00:12:21 Finished candle/standard/semantics                             4m03s   1GB
Jun 29 00:12:21 Starting candle/standard/monadic
Jun 29 00:16:23 Finished candle/standard/monadic                               4m01s   1GB
Jun 29 00:16:23 Starting candle/standard/ml_kernel
Jun 29 00:30:05 Finished candle/standard/ml_kernel                            13m41s   3GB
Jun 29 00:30:05 Starting candle/overloading/syntax
Jun 29 00:37:04 Finished candle/overloading/syntax                             6m58s   1GB
Jun 29 00:37:04 Starting candle/overloading/semantics
Jun 29 01:02:35 Finished candle/overloading/semantics                         25m30s   4GB
Jun 29 01:02:35 Starting candle/overloading/monadic
Jun 29 01:07:58 Finished candle/overloading/monadic                            5m22s   1GB
Jun 29 01:07:59 Starting candle/overloading/ml_kernel
Jun 29 01:23:36 Finished candle/overloading/ml_kernel                         15m37s   3GB
Jun 29 01:23:37 Starting candle/overloading/ml_checker
Jun 29 01:29:01 Finished candle/overloading/ml_checker                         5m24s   3GB
Jun 29 01:29:02 Starting candle/prover
Jun 29 01:53:52 Finished candle/prover                                        24m49s   3GB
Jun 29 01:53:52 Starting pancake
Jun 29 02:01:45 Finished pancake                                               7m53s   3GB
Jun 29 02:01:46 Starting pancake/ffi
Jun 29 02:01:47 Finished pancake/ffi                                              0s  29MB
Jun 29 02:01:47 Starting pancake/semantics
Jun 29 02:07:26 Finished pancake/semantics                                     5m38s   1GB
Jun 29 02:07:26 Starting pancake/proofs
Jun 29 02:33:36 Finished pancake/proofs                                       26m09s   5GB
Jun 29 02:33:37 Starting characteristic/examples
Jun 29 02:36:38 Finished characteristic/examples                               3m00s   3GB
Jun 29 02:36:38 Starting tutorial/solutions
Jun 29 03:11:59 Finished tutorial/solutions                                   35m20s   8GB
Jun 29 03:11:59 Starting translator/monadic/examples
Jun 29 03:19:01 Finished translator/monadic/examples                           7m01s   2GB
Jun 29 03:19:02 Starting examples
Jun 29 03:38:32 Finished examples                                             19m30s   4GB
Jun 29 03:38:33 Starting examples/compilation/x64
Jun 29 08:12:42 Finished examples/compilation/x64                           4h34m09s  20GB
Jun 29 08:12:42 Starting examples/compilation/x64/proofs
Jun 29 08:17:57 Finished examples/compilation/x64/proofs                       5m14s   3GB
Jun 29 08:17:57 Starting examples/compilation/ag32
Jun 29 09:31:04 Finished examples/compilation/ag32                          1h13m06s   9GB
Jun 29 09:31:04 Starting examples/compilation/ag32/proofs
Jun 29 09:32:57 Finished examples/compilation/ag32/proofs                      1m52s   2GB
Jun 29 09:32:57 Starting examples/lpr_checker
Jun 29 09:35:15 Finished examples/lpr_checker                                  2m17s   1GB
Jun 29 09:35:15 Starting examples/lpr_checker/array
Jun 29 10:49:07 Finished examples/lpr_checker/array                         1h13m51s   5GB
Jun 29 10:49:07 Starting examples/lpr_checker/array/compilation
Jun 29 12:09:26 Finished examples/lpr_checker/array/compilation             1h20m18s  38GB
Jun 29 12:09:27 Starting examples/lpr_checker/array/compilation/proofs
Jun 29 12:12:19 Finished examples/lpr_checker/array/compilation/proofs         2m52s   6GB
Jun 29 12:12:19 Starting examples/opentheory
Jun 29 12:35:00 Finished examples/opentheory                                  22m39s   4GB
Jun 29 12:35:00 Starting examples/opentheory
Jun 29 12:35:03 Finished examples/opentheory                                      2s  32MB
Jun 29 12:35:03 Starting examples/opentheory/compilation
Jun 29 13:57:01 Finished examples/opentheory/compilation                    1h21m57s  29GB
Jun 29 13:57:01 Starting examples/opentheory/compilation/proofs
Jun 29 13:58:53 Finished examples/opentheory/compilation/proofs                1m51s   4GB
Jun 29 13:58:53 Starting examples/opentheory/compilation/ag32
Jun 29 15:20:25 Finished examples/opentheory/compilation/ag32               1h21m31s  40GB
Jun 29 15:20:25 Starting examples/opentheory/compilation/ag32/proofs
Jun 29 15:24:45 Finished examples/opentheory/compilation/ag32/proofs           4m19s   6GB
Jun 29 15:24:45 Starting examples/sat_encodings
Jun 29 15:29:10 Finished examples/sat_encodings                                4m24s 729MB
Jun 29 15:29:10 Starting examples/sat_encodings/case_studies
Jun 29 15:33:03 Finished examples/sat_encodings/case_studies                   3m52s 764MB
Jun 29 15:33:04 Starting examples/sat_encodings/translation
Jun 29 15:45:00 Finished examples/sat_encodings/translation                   11m56s   4GB
Jun 29 15:45:00 Starting examples/sat_encodings/translation/compilation
Jun 29 17:11:53 Finished examples/sat_encodings/translation/compilation     1h26m52s  22GB
Jun 29 17:11:53 Starting examples/deflate
Jun 29 17:13:52 Finished examples/deflate                                      1m57s 795MB
Jun 29 17:13:52 Starting examples/deflate/translation
Jun 29 17:16:55 Finished examples/deflate/translation                          3m02s   3GB
Jun 29 17:16:55 Starting examples/deflate/translation/compilation
Jun 29 17:56:27 Finished examples/deflate/translation/compilation             39m31s  16GB
Jun 29 17:56:27 Starting translator/okasaki-examples
Jun 29 18:06:41 Finished translator/okasaki-examples                          10m13s   1GB
Jun 29 18:06:41 Starting translator/other-examples
Jun 29 18:11:30 Finished translator/other-examples                             4m48s   1GB
Jun 29 18:11:30 Starting compiler/parsing/tests
Jun 29 18:12:39 Finished compiler/parsing/tests                                1m08s 595MB
Jun 29 18:12:39 Starting compiler/inference/tests
Jun 29 18:29:18 Finished compiler/inference/tests                             16m38s   6GB
Jun 29 18:29:18 Starting compiler/printing/test
Jun 29 18:36:51 Finished compiler/printing/test                                7m32s   3GB
Jun 29 18:36:51 Starting icing/flover
Jun 29 20:09:14 Finished icing/flover                                       1h32m21s   1GB
Jun 29 20:09:14 Starting icing/
Jun 29 22:25:07 Finished icing/                                             2h15m52s   7GB
Jun 29 22:25:08 Starting icing/examples
Jun 29 22:28:37 Finished icing/examples                                        3m29s   3GB
Jun 29 22:28:38 Starting compiler/repl
Jun 29 22:54:49 Finished compiler/repl                                        26m11s   5GB
Jun 29 22:54:50 Starting compiler/bootstrap/translation
Jun 30 08:33:41 Finished compiler/bootstrap/translation                     9h38m51s  51GB
Jun 30 08:33:41 Starting unverified/sexpr-bootstrap/x64/64
Jun 30 08:55:48 Finished unverified/sexpr-bootstrap/x64/64                    22m06s  13GB
Jun 30 08:55:48 Starting unverified/sexpr-bootstrap/x64/32
Jun 30 09:14:32 Finished unverified/sexpr-bootstrap/x64/32                    18m43s   9GB
Jun 30 09:14:32 Starting compiler/benchmarks
Jun 30 09:14:38 Finished compiler/benchmarks                                      5s  46MB
Jun 30 09:14:38 Starting compiler/bootstrap/compilation/x64/64
Jul 01 09:32:56 Finished compiler/bootstrap/compilation/x64/64             24h18m16s  85GB
Jul 01 09:32:56 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 01 10:13:12 Finished compiler/bootstrap/compilation/x64/64/proofs         40m16s  33GB
Jul 01 10:13:13 Starting compiler/bootstrap/compilation/x64/32
Jul 01 23:02:29 Finished compiler/bootstrap/compilation/x64/32             12h49m15s  84GB
Jul 01 23:02:29 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 01 23:07:45 Finished compiler/bootstrap/compilation/x64/32/proofs          5m15s  16GB
Jul 01 23:07:45 Starting compiler/bootstrap/compilation/ag32/32
Jul 02 13:08:49 Finished compiler/bootstrap/compilation/ag32/32            14h01m03s  87GB
Jul 02 13:08:49 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 02 13:21:56 Finished compiler/bootstrap/compilation/ag32/32/proofs        13m07s  28GB
Jul 02 13:21:57 SUCCESS