Job 1015

CakeML:ec8c53d58f326b1714a2d404ee29be0396fc600b
  Fix trailing whitespace [Aug 22 14:49:40]
#680 (sexpprint)
Merging into:b8905595f576715a674870c6acfe2977561a7a36
  Merge pull request #677 from CakeML/clos-install [Aug 21 17:07:21]
HOL:e82f681da267a0f96134a92b4fea9d962cae182e
  Remove redundant theorem from temporal_deep example's set_lemmata [Aug 19 02:05:33]
Machine:te1

Aug 22 15:32:23 Claimed job
Aug 22 15:32:31 Building HOL
Aug 22 15:45:48 Starting developers
Aug 22 15:45:50 Finished developers                                               2s  32MB
Aug 22 15:45:50 Starting developers/bin
Aug 22 15:45:57 Finished developers/bin                                           6s 978MB
Aug 22 15:45:57 Starting semantics/ffi
Aug 22 15:46:54 Finished semantics/ffi                                           56s 589MB
Aug 22 15:46:54 Starting semantics
Aug 22 15:49:11 Finished semantics                                             2m16s   1GB
Aug 22 15:49:11 Starting semantics/proofs
Aug 22 15:53:45 Finished semantics/proofs                                      4m33s   1GB
Aug 22 15:53:45 Starting semantics/alt_semantics
Aug 22 15:53:57 Finished semantics/alt_semantics                                 11s 306MB
Aug 22 15:53:57 Starting semantics/alt_semantics/proofs
Aug 22 15:56:31 Finished semantics/alt_semantics/proofs                        2m33s   1GB
Aug 22 15:56:31 Starting basis/pure
Aug 22 16:01:34 Finished basis/pure                                            5m03s 654MB
Aug 22 16:01:34 Starting translator
Aug 22 16:04:01 Finished translator                                            2m26s   1GB
Aug 22 16:04:01 Starting compiler/parsing
Aug 22 16:05:21 Finished compiler/parsing                                      1m19s   2GB
Aug 22 16:05:21 Starting characteristic
Aug 22 16:12:42 Finished characteristic                                        7m21s   2GB
Aug 22 16:12:42 Starting translator/monadic
Aug 22 16:14:52 Finished translator/monadic                                    2m10s   1GB
Aug 22 16:14:52 Starting basis
Aug 22 16:39:44 Finished basis                                                24m51s   2GB
Aug 22 16:39:44 Starting compiler/inference
Aug 22 16:42:28 Finished compiler/inference                                    2m44s   1GB
Aug 22 16:42:28 Starting compiler/backend/reg_alloc
Aug 22 16:43:50 Finished compiler/backend/reg_alloc                            1m21s   1GB
Aug 22 16:43:50 Starting compiler/backend/gc
Aug 22 18:48:04 Resuming compiler/backend/gc
Aug 22 18:52:49 Finished compiler/backend/gc                                   4m44s   2GB
Aug 22 18:52:49 Starting compiler/backend
Aug 22 18:52:51 Finished compiler/backend                                         1s  40MB
Aug 22 18:52:51 Starting compiler/encoders/asm
Aug 22 18:52:52 Finished compiler/encoders/asm                                    1s  28MB
Aug 22 18:52:52 Starting compiler/encoders/x64
Aug 22 18:54:21 Finished compiler/encoders/x64                                 1m28s 979MB
Aug 22 18:54:21 Starting compiler/encoders/arm7
Aug 22 18:56:45 Finished compiler/encoders/arm7                                2m23s   1GB
Aug 22 18:56:45 Starting compiler/encoders/arm8
Aug 22 18:57:31 Finished compiler/encoders/arm8                                  46s 633MB
Aug 22 18:57:31 Starting compiler/encoders/mips
Aug 22 18:59:11 Finished compiler/encoders/mips                                1m39s 854MB
Aug 22 18:59:12 Starting compiler/encoders/riscv
Aug 22 19:01:10 Finished compiler/encoders/riscv                               1m58s   1GB
Aug 22 19:01:11 Starting compiler/encoders/ag32
Aug 22 19:01:35 Finished compiler/encoders/ag32                                  24s 787MB
Aug 22 19:01:35 Starting compiler/backend/x64
Aug 22 19:02:00 Finished compiler/backend/x64                                    24s   1GB
Aug 22 19:02:00 Starting compiler/backend/arm7
Aug 22 19:02:29 Finished compiler/backend/arm7                                   28s   1GB
Aug 22 19:02:29 Starting compiler/backend/arm8
Aug 22 19:02:55 Finished compiler/backend/arm8                                   25s   1GB
Aug 22 19:02:55 Starting compiler/backend/mips
Aug 22 19:03:21 Finished compiler/backend/mips                                   25s   1GB
Aug 22 19:03:21 Starting compiler/backend/riscv
Aug 22 19:03:47 Finished compiler/backend/riscv                                  26s   1GB
Aug 22 19:03:47 Starting compiler/backend/ag32
Aug 22 19:05:19 Finished compiler/backend/ag32                                 1m31s   1GB
Aug 22 19:05:19 Starting compiler/parsing/proofs
Aug 22 19:14:10 Finished compiler/parsing/proofs                               8m51s   1GB
Aug 22 19:14:10 Starting compiler/inference/proofs
Aug 22 19:18:14 Finished compiler/inference/proofs                             4m03s   1GB
Aug 22 19:18:14 Starting compiler/backend/semantics
Aug 22 19:26:10 Finished compiler/backend/semantics                            7m55s   2GB
Aug 22 19:26:10 Starting compiler/backend/reg_alloc/proofs
Aug 22 19:30:48 Finished compiler/backend/reg_alloc/proofs                     4m38s 916MB
Aug 22 19:30:48 Starting compiler/backend/proofs
Aug 22 20:21:14 Finished compiler/backend/proofs                              50m25s   4GB
Aug 22 20:21:14 Starting compiler/encoders/x64/proofs
Aug 22 20:35:01 Finished compiler/encoders/x64/proofs                         13m47s   5GB
Aug 22 20:35:01 Starting compiler/encoders/arm7/proofs
Aug 22 20:53:24 Finished compiler/encoders/arm7/proofs                        18m22s   4GB
Aug 22 20:53:24 Starting compiler/encoders/arm8/proofs
Aug 22 21:02:39 Finished compiler/encoders/arm8/proofs                         9m14s   1GB
Aug 22 21:02:39 Starting compiler/encoders/mips/proofs
Aug 22 21:16:25 Finished compiler/encoders/mips/proofs                        13m45s   2GB
Aug 22 21:16:25 Starting compiler/encoders/riscv/proofs
Aug 22 21:28:17 Finished compiler/encoders/riscv/proofs                       11m52s   1GB
Aug 22 21:28:17 Starting compiler/encoders/ag32/proofs
Aug 22 21:31:35 Finished compiler/encoders/ag32/proofs                         3m17s   1GB
Aug 22 21:31:35 Starting compiler/backend/x64/proofs
Aug 22 21:32:01 Finished compiler/backend/x64/proofs                             25s 815MB
Aug 22 21:32:01 Starting compiler/backend/arm7/proofs
Aug 22 21:32:30 Finished compiler/backend/arm7/proofs                            28s   1GB
Aug 22 21:32:30 Starting compiler/backend/arm8/proofs
Aug 22 21:32:57 Finished compiler/backend/arm8/proofs                            26s   1GB
Aug 22 21:32:57 Starting compiler/backend/mips/proofs
Aug 22 21:33:26 Finished compiler/backend/mips/proofs                            28s   1GB
Aug 22 21:33:26 Starting compiler/backend/riscv/proofs
Aug 22 21:33:52 Finished compiler/backend/riscv/proofs                           26s   1GB
Aug 22 21:33:52 Starting compiler/backend/ag32/proofs
Aug 22 21:46:26 Finished compiler/backend/ag32/proofs                         12m34s   3GB
Aug 22 21:46:26 Starting compiler/proofs
Aug 22 21:48:28 Finished compiler/proofs                                       2m01s   3GB
Aug 22 21:48:28 Starting candle/set-theory
Aug 22 21:49:03 Finished candle/set-theory                                       35s 764MB
Aug 22 21:49:03 Starting candle/syntax-lib
Aug 22 21:49:17 Finished candle/syntax-lib                                       14s 629MB
Aug 22 21:49:18 Starting candle/standard/syntax
Aug 22 21:51:43 Finished candle/standard/syntax                                2m25s 887MB
Aug 22 21:51:43 Starting candle/standard/semantics
Aug 22 21:54:03 Finished candle/standard/semantics                             2m19s   1GB
Aug 22 21:54:03 Starting candle/standard/monadic
Aug 22 21:56:14 Finished candle/standard/monadic                               2m11s   1GB
Aug 22 21:56:14 Starting candle/standard/ml_kernel
Aug 22 22:01:24 Finished candle/standard/ml_kernel                             5m10s   3GB
Aug 22 22:01:25 Starting candle/standard/opentheory
Aug 22 22:13:04 Finished candle/standard/opentheory                           11m39s   4GB
Aug 22 22:13:04 Starting candle/standard/opentheory/compilation
Aug 22 22:51:56 Finished candle/standard/opentheory/compilation               38m51s  16GB
Aug 22 22:51:56 Starting candle/standard/opentheory/compilation/proofs
Aug 22 22:52:48 Finished candle/standard/opentheory/compilation/proofs           51s   3GB
Aug 22 22:52:48 Starting characteristic/examples
Aug 22 22:54:45 Finished characteristic/examples                               1m56s   2GB
Aug 22 22:54:46 Starting tutorial/solutions
Aug 22 23:12:59 Finished tutorial/solutions                                   18m13s   7GB
Aug 22 23:12:59 Starting translator/monadic/examples
Aug 22 23:16:37 Finished translator/monadic/examples                           3m37s   2GB
Aug 22 23:16:37 Starting examples
Aug 22 23:27:08 Finished examples                                             10m31s   3GB
Aug 22 23:27:08 Starting examples/compilation/x64
Aug 23 02:12:55 Finished examples/compilation/x64                           2h45m46s  18GB
Aug 23 02:12:55 Starting examples/compilation/x64/proofs
Aug 23 02:15:00 Finished examples/compilation/x64/proofs                       2m04s   2GB
Aug 23 02:15:00 Starting examples/compilation/ag32
Aug 23 02:53:40 Finished examples/compilation/ag32                            38m39s   5GB
Aug 23 02:53:40 Starting examples/compilation/ag32/proofs
Aug 23 02:54:52 Finished examples/compilation/ag32/proofs                      1m11s   3GB
Aug 23 02:54:52 Starting translator/okasaki-examples
Aug 23 03:00:27 Finished translator/okasaki-examples                           5m35s   1GB
Aug 23 03:00:27 Starting translator/other-examples
Aug 23 03:05:48 Finished translator/other-examples                             5m20s   1GB
Aug 23 03:05:48 Starting compiler/parsing/tests
Aug 23 03:06:25 Finished compiler/parsing/tests                                  36s 492MB
Aug 23 03:06:25 Starting compiler/inference/tests
Aug 23 03:11:47 Finished compiler/inference/tests                              5m22s   3GB
Aug 23 03:11:48 Starting compiler/bootstrap/translation
Aug 23 06:37:32 Finished compiler/bootstrap/translation                     3h25m44s  46GB
Aug 23 06:37:32 Starting unverified/sexpr-bootstrap/x64/64
Aug 23 06:53:26 Finished unverified/sexpr-bootstrap/x64/64                    15m54s   3GB
Aug 23 06:53:26 Starting unverified/sexpr-bootstrap/x64/32
Aug 23 07:06:03 Finished unverified/sexpr-bootstrap/x64/32                    12m36s   6GB
Aug 23 07:06:03 Starting compiler/benchmarks
Aug 23 07:06:09 Finished compiler/benchmarks                                      5s  39MB
Aug 23 07:06:09 Starting compiler/bootstrap/compilation/x64/64
Aug 23 22:34:57 Finished compiler/bootstrap/compilation/x64/64             15h28m47s  59GB
Aug 23 22:34:57 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 23 22:40:50 Finished compiler/bootstrap/compilation/x64/64/proofs          5m53s   5GB
Aug 23 22:40:50 Starting compiler/bootstrap/compilation/x64/32
Aug 24 12:31:54 Finished compiler/bootstrap/compilation/x64/32             13h51m02s  59GB
Aug 24 12:31:54 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 24 12:36:19 Finished compiler/bootstrap/compilation/x64/32/proofs          4m25s   4GB
Aug 24 12:36:19 Starting compiler/bootstrap/compilation/ag32/32
Aug 25 04:11:28 Finished compiler/bootstrap/compilation/ag32/32            15h35m08s  58GB
Aug 25 04:11:28 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 25 04:34:59 Finished compiler/bootstrap/compilation/ag32/32/proofs        23m30s  16GB
Aug 25 04:34:59 SUCCESS