Job 247

CakeML:403ad4e822536f2342338b2bec4a6b1ed0ef94ff
  Avoid incomplete patterns and tabs in CF libs [Feb 27 17:26:26]
HOL:baf702735968f70ecb42af0cf45fb77ea2c6f1a2
  Replace a Unicode apostrophe in drule doc-file [Feb 25 11:11:44]
Machine:cakeml1797 4.4.0-22-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-x64-64.tar.gz

Feb 28 02:33:51 Claimed job
Feb 28 02:33:58 Reusing HOL
Feb 28 02:34:13 Starting semantics/ffi
Feb 28 02:34:35 Finished semantics/ffi                                           20s 263MB
Feb 28 02:34:37 Starting semantics
Feb 28 02:36:48 Finished semantics                                             2m08s   1GB
Feb 28 02:36:50 Starting semantics/proofs
Feb 28 02:40:22 Finished semantics/proofs                                      3m30s   1GB
Feb 28 02:40:24 Starting basis/pure
Feb 28 02:41:51 Finished basis/pure                                            1m24s 773MB
Feb 28 02:41:53 Starting translator
Feb 28 02:49:03 Finished translator                                            7m08s 905MB
Feb 28 02:49:05 Starting compiler/parsing
Feb 28 02:51:29 Finished compiler/parsing                                      2m22s   2GB
Feb 28 02:51:31 Starting characteristic
Feb 28 02:56:14 Finished characteristic                                        4m40s   1GB
Feb 28 02:56:15 Starting basis
Feb 28 03:30:27 Finished basis                                                34m09s   3GB
Feb 28 03:30:29 Starting translator/monadic
Feb 28 03:30:32 Finished translator/monadic                                       1s  20MB
Feb 28 03:30:34 Starting compiler/inference
Feb 28 03:32:49 Finished compiler/inference                                    2m12s   1GB
Feb 28 03:32:51 Starting compiler/backend/reg_alloc
Feb 28 03:33:41 Finished compiler/backend/reg_alloc                              48s 706MB
Feb 28 03:33:43 Starting compiler/backend/gc
Feb 28 03:47:46 Finished compiler/backend/gc                                  14m00s   2GB
Feb 28 03:47:48 Starting compiler/backend
Feb 28 03:47:52 Finished compiler/backend                                         2s  20MB
Feb 28 03:47:54 Starting compiler/encoders/asm
Feb 28 03:47:56 Finished compiler/encoders/asm                                    0s  11MB
Feb 28 03:47:58 Starting compiler/encoders/x64
Feb 28 03:48:33 Finished compiler/encoders/x64                                   32s 401MB
Feb 28 03:48:35 Starting compiler/encoders/arm6
Feb 28 03:50:07 Finished compiler/encoders/arm6                                1m30s 489MB
Feb 28 03:50:09 Starting compiler/encoders/arm8
Feb 28 03:50:27 Finished compiler/encoders/arm8                                  16s 418MB
Feb 28 03:50:29 Starting compiler/encoders/mips
Feb 28 03:50:49 Finished compiler/encoders/mips                                  17s 476MB
Feb 28 03:50:51 Starting compiler/encoders/riscv
Feb 28 03:51:10 Finished compiler/encoders/riscv                                 17s 422MB
Feb 28 03:51:12 Starting compiler/backend/x64
Feb 28 03:51:54 Finished compiler/backend/x64                                    39s 940MB
Feb 28 03:51:55 Starting compiler/backend/arm6
Feb 28 03:52:41 Finished compiler/backend/arm6                                   43s   1GB
Feb 28 03:52:43 Starting compiler/backend/arm8
Feb 28 03:53:28 Finished compiler/backend/arm8                                   43s   1GB
Feb 28 03:53:30 Starting compiler/backend/mips
Feb 28 03:54:17 Finished compiler/backend/mips                                   45s   1GB
Feb 28 03:54:19 Starting compiler/backend/riscv
Feb 28 03:55:05 Finished compiler/backend/riscv                                  43s   1GB
Feb 28 03:55:07 Starting compiler/parsing/proofs
Feb 28 03:59:34 Finished compiler/parsing/proofs                               4m25s 882MB
Feb 28 03:59:36 Starting compiler/inference/proofs
Feb 28 04:03:51 Finished compiler/inference/proofs                             4m13s   1GB
Feb 28 04:03:53 Starting compiler/backend/semantics
Feb 28 04:22:51 Finished compiler/backend/semantics                           18m56s   3GB
Feb 28 04:22:53 Starting compiler/backend/reg_alloc/proofs
Feb 28 04:24:12 Finished compiler/backend/reg_alloc/proofs                     1m17s 486MB
Feb 28 04:24:14 Starting compiler/backend/proofs
Feb 28 05:33:11 Finished compiler/backend/proofs                            1h08m54s   4GB
Feb 28 05:33:13 Starting compiler/encoders/x64/proofs
Feb 28 05:43:53 Finished compiler/encoders/x64/proofs                         10m37s   1GB
Feb 28 05:43:55 Starting compiler/encoders/arm6/proofs
Feb 28 05:54:50 Finished compiler/encoders/arm6/proofs                        10m53s   1GB
Feb 28 05:54:52 Starting compiler/encoders/arm8/proofs
Feb 28 06:03:38 Finished compiler/encoders/arm8/proofs                         8m44s   1GB
Feb 28 06:03:40 Starting compiler/encoders/mips/proofs
Feb 28 06:15:18 Finished compiler/encoders/mips/proofs                        11m35s   1GB
Feb 28 06:15:20 Starting compiler/encoders/riscv/proofs
Feb 28 06:28:57 Finished compiler/encoders/riscv/proofs                       13m34s 968MB
Feb 28 06:28:59 Starting compiler/backend/x64/proofs
Feb 28 06:29:53 Finished compiler/backend/x64/proofs                             52s   1GB
Feb 28 06:29:55 Starting compiler/backend/arm6/proofs
Feb 28 06:30:55 Finished compiler/backend/arm6/proofs                            57s   1GB
Feb 28 06:30:57 Starting compiler/backend/arm8/proofs
Feb 28 06:31:50 Finished compiler/backend/arm8/proofs                            51s   1GB
Feb 28 06:31:52 Starting compiler/backend/mips/proofs
Feb 28 06:32:49 Finished compiler/backend/mips/proofs                            55s   1GB
Feb 28 06:32:51 Starting compiler/backend/riscv/proofs
Feb 28 06:33:47 Finished compiler/backend/riscv/proofs                           53s   1GB
Feb 28 06:33:49 Starting compiler/proofs
Feb 28 06:36:37 Finished compiler/proofs                                       2m46s   2GB
Feb 28 06:36:39 Starting candle/set-theory
Feb 28 06:37:29 Finished candle/set-theory                                       47s 638MB
Feb 28 06:37:31 Starting candle/syntax-lib
Feb 28 06:37:52 Finished candle/syntax-lib                                       19s 550MB
Feb 28 06:37:54 Starting candle/standard/syntax
Feb 28 06:40:52 Finished candle/standard/syntax                                2m55s 517MB
Feb 28 06:40:54 Starting candle/standard/semantics
Feb 28 06:43:18 Finished candle/standard/semantics                             2m22s 877MB
Feb 28 06:43:20 Starting candle/standard/monadic
Feb 28 06:46:00 Finished candle/standard/monadic                               2m38s 834MB
Feb 28 06:46:02 Starting candle/standard/ml_kernel
Feb 28 06:57:21 Finished candle/standard/ml_kernel                            11m16s   2GB
Feb 28 06:57:23 Starting candle/standard/opentheory
Feb 28 06:57:55 Finished candle/standard/opentheory                              30s 641MB
Feb 28 06:57:57 Starting characteristic/examples
Feb 28 07:00:29 Finished characteristic/examples                               2m29s   1GB
Feb 28 07:00:31 Starting tutorial/solutions
Feb 28 07:37:24 Finished tutorial/solutions                                   36m50s  10GB
Feb 28 07:37:26 Starting translator/monadic/examples
Feb 28 07:40:38 Finished translator/monadic/examples                           3m10s   2GB
Feb 28 07:40:40 Starting examples
Feb 28 07:49:28 Finished examples                                              8m46s   3GB
Feb 28 07:49:30 Starting examples/compilation
Feb 28 13:49:38 Finished examples/compilation                               6h00m05s  15GB
Feb 28 13:49:40 Starting examples/compilation/proofs
Feb 28 13:56:11 Finished examples/compilation/proofs                           6m28s   5GB
Feb 28 13:56:13 Starting compiler/benchmarks
Feb 28 13:56:15 Finished compiler/benchmarks                                      0s   4MB
Feb 28 13:56:17 Starting translator/okasaki-examples
Feb 28 14:03:33 Finished translator/okasaki-examples                           7m14s   1GB
Feb 28 14:03:35 Starting translator/other-examples
Feb 28 14:04:34 Finished translator/other-examples                               56s 683MB
Feb 28 14:04:35 Starting compiler/parsing/tests
Feb 28 14:05:16 Finished compiler/parsing/tests                                  38s 335MB
Feb 28 14:05:18 Starting compiler/bootstrap/translation
Feb 28 22:24:08 Finished compiler/bootstrap/translation                     8h18m48s  43GB
Feb 28 22:24:10 Starting compiler/bootstrap/compilation/x64/64
Mar 02 01:42:32 Finished compiler/bootstrap/compilation/x64/64             27h18m19s  97GB
Mar 02 01:42:34 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 02 01:48:14 Finished compiler/bootstrap/compilation/x64/64/proofs          5m37s  24GB
Mar 02 01:48:16 Starting compiler/bootstrap/compilation/x64/32
Mar 03 04:33:05 Finished compiler/bootstrap/compilation/x64/32             26h44m47s  92GB
Mar 03 04:33:07 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 03 04:36:29 Finished compiler/bootstrap/compilation/x64/32/proofs          3m19s  26GB
Mar 03 04:36:31 SUCCESS