Job 1018

CakeML:f5bd08632a8e7b8edbe3862f40ccd737d3eaf5c0
  Merge pull request #680 from CakeML/sexpprint [Aug 24 20:45:14]
HOL:70d0dd4d0fe72fb972f326f15575166123e20588
  Tweak releasing-hol script to DTRT with first use of --reusecommit [Aug 21 00:01:57]
Machine:te1
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Aug 25 04:34:59 Claimed job
Aug 25 04:35:06 Building HOL
Aug 25 04:48:28 Starting developers
Aug 25 04:48:32 Finished developers                                               3s 128MB
Aug 25 04:48:32 Starting developers/bin
Aug 25 04:48:39 Finished developers/bin                                           7s 978MB
Aug 25 04:48:39 Starting semantics/ffi
Aug 25 04:49:34 Finished semantics/ffi                                           54s 613MB
Aug 25 04:49:34 Starting semantics
Aug 25 04:51:50 Finished semantics                                             2m15s   1GB
Aug 25 04:51:50 Starting semantics/proofs
Aug 25 04:56:13 Finished semantics/proofs                                      4m22s   1GB
Aug 25 04:56:13 Starting semantics/alt_semantics
Aug 25 04:56:25 Finished semantics/alt_semantics                                 11s 330MB
Aug 25 04:56:25 Starting semantics/alt_semantics/proofs
Aug 25 04:58:58 Finished semantics/alt_semantics/proofs                        2m33s 799MB
Aug 25 04:58:58 Starting basis/pure
Aug 25 05:04:00 Finished basis/pure                                            5m01s 741MB
Aug 25 05:04:00 Starting translator
Aug 25 05:06:27 Finished translator                                            2m27s   1GB
Aug 25 05:06:27 Starting compiler/parsing
Aug 25 05:07:47 Finished compiler/parsing                                      1m19s   2GB
Aug 25 05:07:47 Starting characteristic
Aug 25 05:15:15 Finished characteristic                                        7m27s   2GB
Aug 25 05:15:15 Starting translator/monadic
Aug 25 05:17:22 Finished translator/monadic                                    2m07s   1GB
Aug 25 05:17:22 Starting basis
Aug 25 05:42:15 Finished basis                                                24m52s   2GB
Aug 25 05:42:15 Starting compiler/inference
Aug 25 05:44:56 Finished compiler/inference                                    2m41s   1GB
Aug 25 05:44:56 Starting compiler/backend/reg_alloc
Aug 25 05:46:17 Finished compiler/backend/reg_alloc                            1m20s   1GB
Aug 25 05:46:17 Starting compiler/backend/gc
Aug 25 05:59:08 Finished compiler/backend/gc                                  12m50s   2GB
Aug 25 05:59:08 Starting compiler/backend
Aug 25 05:59:10 Finished compiler/backend                                         2s  33MB
Aug 25 05:59:10 Starting compiler/encoders/asm
Aug 25 05:59:11 Finished compiler/encoders/asm                                    1s  19MB
Aug 25 05:59:11 Starting compiler/encoders/x64
Aug 25 06:00:41 Finished compiler/encoders/x64                                 1m29s 903MB
Aug 25 06:00:41 Starting compiler/encoders/arm7
Aug 25 06:03:08 Finished compiler/encoders/arm7                                2m27s   1GB
Aug 25 06:03:08 Starting compiler/encoders/arm8
Aug 25 06:03:56 Finished compiler/encoders/arm8                                  47s 773MB
Aug 25 06:03:56 Starting compiler/encoders/mips
Aug 25 06:05:38 Finished compiler/encoders/mips                                1m42s 890MB
Aug 25 06:05:38 Starting compiler/encoders/riscv
Aug 25 06:07:34 Finished compiler/encoders/riscv                               1m55s   1GB
Aug 25 06:07:34 Starting compiler/encoders/ag32
Aug 25 06:07:59 Finished compiler/encoders/ag32                                  24s 627MB
Aug 25 06:07:59 Starting compiler/backend/x64
Aug 25 06:08:23 Finished compiler/backend/x64                                    23s 867MB
Aug 25 06:08:23 Starting compiler/backend/arm7
Aug 25 06:08:49 Finished compiler/backend/arm7                                   26s   1GB
Aug 25 06:08:49 Starting compiler/backend/arm8
Aug 25 06:09:15 Finished compiler/backend/arm8                                   25s   1GB
Aug 25 06:09:16 Starting compiler/backend/mips
Aug 25 06:09:42 Finished compiler/backend/mips                                   26s   1GB
Aug 25 06:09:42 Starting compiler/backend/riscv
Aug 25 06:10:06 Finished compiler/backend/riscv                                  23s 855MB
Aug 25 06:10:07 Starting compiler/backend/ag32
Aug 25 06:11:44 Finished compiler/backend/ag32                                 1m37s   1GB
Aug 25 06:11:44 Starting compiler/parsing/proofs
Aug 25 06:20:43 Finished compiler/parsing/proofs                               8m58s   1GB
Aug 25 06:20:43 Starting compiler/inference/proofs
Aug 25 06:24:47 Finished compiler/inference/proofs                             4m03s   1GB
Aug 25 06:24:47 Starting compiler/backend/semantics
Aug 25 06:32:45 Finished compiler/backend/semantics                            7m58s   1GB
Aug 25 06:32:45 Starting compiler/backend/reg_alloc/proofs
Aug 25 06:37:34 Finished compiler/backend/reg_alloc/proofs                     4m48s   1GB
Aug 25 06:37:34 Starting compiler/backend/proofs
Aug 25 07:28:26 Finished compiler/backend/proofs                              50m51s   4GB
Aug 25 07:28:26 Starting compiler/encoders/x64/proofs
Aug 25 07:42:04 Finished compiler/encoders/x64/proofs                         13m37s   5GB
Aug 25 07:42:04 Starting compiler/encoders/arm7/proofs
Aug 25 08:00:40 Finished compiler/encoders/arm7/proofs                        18m35s   6GB
Aug 25 08:00:40 Starting compiler/encoders/arm8/proofs
Aug 25 08:10:00 Finished compiler/encoders/arm8/proofs                         9m19s   1GB
Aug 25 08:10:00 Starting compiler/encoders/mips/proofs
Aug 25 08:23:22 Finished compiler/encoders/mips/proofs                        13m21s   3GB
Aug 25 08:23:22 Starting compiler/encoders/riscv/proofs
Aug 25 08:35:07 Finished compiler/encoders/riscv/proofs                       11m44s   1GB
Aug 25 08:35:07 Starting compiler/encoders/ag32/proofs
Aug 25 08:38:27 Finished compiler/encoders/ag32/proofs                         3m20s   1GB
Aug 25 08:38:28 Starting compiler/backend/x64/proofs
Aug 25 08:38:55 Finished compiler/backend/x64/proofs                             27s   1GB
Aug 25 08:38:55 Starting compiler/backend/arm7/proofs
Aug 25 08:39:23 Finished compiler/backend/arm7/proofs                            27s   1GB
Aug 25 08:39:23 Starting compiler/backend/arm8/proofs
Aug 25 08:39:51 Finished compiler/backend/arm8/proofs                            27s   1GB
Aug 25 08:39:51 Starting compiler/backend/mips/proofs
Aug 25 08:40:17 Finished compiler/backend/mips/proofs                            26s   1GB
Aug 25 08:40:17 Starting compiler/backend/riscv/proofs
Aug 25 08:40:44 Finished compiler/backend/riscv/proofs                           27s   1GB
Aug 25 08:40:44 Starting compiler/backend/ag32/proofs
Aug 25 08:53:22 Finished compiler/backend/ag32/proofs                         12m37s   3GB
Aug 25 08:53:22 Starting compiler/proofs
Aug 25 15:47:49 Resuming compiler/proofs
Aug 25 15:48:57 Finished compiler/proofs                                       1m07s   2GB
Aug 25 15:48:57 Starting candle/set-theory
Aug 25 15:49:34 Finished candle/set-theory                                       37s 748MB
Aug 25 15:49:34 Starting candle/syntax-lib
Aug 25 15:49:49 Finished candle/syntax-lib                                       14s 704MB
Aug 25 15:49:49 Starting candle/standard/syntax
Aug 25 15:52:14 Finished candle/standard/syntax                                2m25s   1GB
Aug 25 15:52:14 Starting candle/standard/semantics
Aug 25 15:54:32 Finished candle/standard/semantics                             2m17s   1GB
Aug 25 15:54:32 Starting candle/standard/monadic
Aug 25 15:56:44 Finished candle/standard/monadic                               2m12s   1GB
Aug 25 15:56:44 Starting candle/standard/ml_kernel
Aug 25 16:01:53 Finished candle/standard/ml_kernel                             5m08s   5GB
Aug 25 16:01:53 Starting candle/standard/opentheory
Aug 25 16:13:40 Finished candle/standard/opentheory                           11m46s   5GB
Aug 25 16:13:40 Starting candle/standard/opentheory/compilation
Aug 25 16:51:48 Finished candle/standard/opentheory/compilation               38m08s  11GB
Aug 25 16:51:48 Starting candle/standard/opentheory/compilation/proofs
Aug 25 16:52:54 Finished candle/standard/opentheory/compilation/proofs         1m05s   3GB
Aug 25 16:52:54 Starting characteristic/examples
Aug 25 16:54:59 Finished characteristic/examples                               2m04s   2GB
Aug 25 16:54:59 Starting tutorial/solutions
Aug 25 17:12:40 Finished tutorial/solutions                                   17m41s   7GB
Aug 25 17:12:40 Starting translator/monadic/examples
Aug 25 17:16:28 Finished translator/monadic/examples                           3m47s   2GB
Aug 25 17:16:28 Starting examples
Aug 25 17:26:50 Finished examples                                             10m22s   4GB
Aug 25 17:26:50 Starting examples/compilation/x64
Aug 25 20:09:43 Finished examples/compilation/x64                           2h42m52s  14GB
Aug 25 20:09:43 Starting examples/compilation/x64/proofs
Aug 25 20:11:48 Finished examples/compilation/x64/proofs                       2m04s   2GB
Aug 25 20:11:48 Starting examples/compilation/ag32
Aug 25 20:50:57 Finished examples/compilation/ag32                            39m09s   5GB
Aug 25 20:50:57 Starting examples/compilation/ag32/proofs
Aug 25 20:51:57 Finished examples/compilation/ag32/proofs                      1m00s   3GB
Aug 25 20:51:57 Starting translator/okasaki-examples
Aug 25 20:57:33 Finished translator/okasaki-examples                           5m35s   2GB
Aug 25 20:57:33 Starting translator/other-examples
Aug 25 21:02:38 Finished translator/other-examples                             5m05s   1GB
Aug 25 21:02:38 Starting compiler/parsing/tests
Aug 25 21:03:15 Finished compiler/parsing/tests                                  36s 614MB
Aug 25 21:03:15 Starting compiler/inference/tests
Aug 25 21:08:33 Finished compiler/inference/tests                              5m17s   4GB
Aug 25 21:08:33 Starting compiler/bootstrap/translation
Aug 26 00:29:00 Finished compiler/bootstrap/translation                     3h20m26s  42GB
Aug 26 00:29:00 Starting unverified/sexpr-bootstrap/x64/64
Aug 26 00:45:05 Finished unverified/sexpr-bootstrap/x64/64                    16m04s   3GB
Aug 26 00:45:05 Starting unverified/sexpr-bootstrap/x64/32
Aug 26 00:56:50 Finished unverified/sexpr-bootstrap/x64/32                    11m44s   5GB
Aug 26 00:56:50 Starting compiler/benchmarks
Aug 26 00:56:56 Finished compiler/benchmarks                                      5s  35MB
Aug 26 00:56:56 Starting compiler/bootstrap/compilation/x64/64
Aug 26 17:01:27 Finished compiler/bootstrap/compilation/x64/64             16h04m29s  61GB
Aug 26 17:01:27 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 26 17:06:04 Finished compiler/bootstrap/compilation/x64/64/proofs          4m36s   5GB
Aug 26 17:06:04 Starting compiler/bootstrap/compilation/x64/32
Aug 27 07:13:04 Finished compiler/bootstrap/compilation/x64/32             14h07m00s  60GB
Aug 27 07:13:04 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 27 07:18:18 Finished compiler/bootstrap/compilation/x64/32/proofs          5m14s   4GB
Aug 27 07:18:19 Starting compiler/bootstrap/compilation/ag32/32
Sep 02 12:45:25 Resuming compiler/bootstrap/compilation/ag32/32
Sep 03 02:58:12 Finished compiler/bootstrap/compilation/ag32/32            14h12m46s  60GB
Sep 03 02:58:12 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 03 03:24:21 Finished compiler/bootstrap/compilation/ag32/32/proofs        26m08s  18GB
Sep 03 03:24:21 SUCCESS