Job 88

CakeML:db81e3eb3a8295fc135705a5c98c9a122fb4a7eb
  Add a reporting interface for GC times [Dec 11 16:42:28]
#405 (log_gc)
Merging into:098bf1435af0990f56a56bf85f2d2aa1021d2d8f
  Fix a stray 64 in 32/proofs/x64BootstrapProof [Dec 11 09:46:48]
HOL:5dcc0ad16ec33aa98ec7ff5ef9cf9b18d0e6e561
  Try to find dot in user's PATH during configuration [Dec 11 05:52:49]
Machine:cakeml1852 4.4.0-22-generic x86_64 GNU/Linux
Artefacts:cake-x64-64.tar.gz

Dec 11 20:04:32 Claimed job
Dec 11 20:04:40 Building HOL
Dec 11 20:17:41 Starting semantics/ffi
Dec 11 20:18:51 Finished semantics/ffi                                         1m07s 371MB
Dec 11 20:18:52 Starting semantics
Dec 11 20:21:38 Finished semantics                                             2m43s 982MB
Dec 11 20:21:40 Starting semantics/proofs
Dec 11 20:25:22 Finished semantics/proofs                                      3m40s 978MB
Dec 11 20:25:24 Starting basis/pure
Dec 11 20:31:38 Finished basis/pure                                            6m12s 630MB
Dec 11 20:31:40 Starting translator
Dec 11 20:39:06 Finished translator                                            7m23s   1GB
Dec 11 20:39:08 Starting compiler/parsing
Dec 11 20:41:38 Finished compiler/parsing                                      2m28s   1GB
Dec 11 20:41:40 Starting characteristic
Dec 11 20:46:36 Finished characteristic                                        4m54s   1GB
Dec 11 20:46:38 Starting basis
Dec 11 21:15:58 Finished basis                                                29m17s   2GB
Dec 11 21:16:00 Starting translator/monadic
Dec 11 21:19:54 Finished translator/monadic                                    3m52s   1GB
Dec 11 21:19:56 Starting compiler/inference
Dec 11 21:22:58 Finished compiler/inference                                    3m00s   1GB
Dec 11 21:23:00 Starting compiler/backend/reg_alloc
Dec 11 21:23:56 Finished compiler/backend/reg_alloc                              53s 850MB
Dec 11 21:23:58 Starting compiler/backend/gc
Dec 11 21:40:51 Finished compiler/backend/gc                                  16m50s   2GB
Dec 11 21:40:53 Starting compiler/backend
Dec 11 21:40:56 Finished compiler/backend                                         1s  14MB
Dec 11 21:40:58 Starting compiler/encoders/asm
Dec 11 21:41:01 Finished compiler/encoders/asm                                    0s  11MB
Dec 11 21:41:03 Starting compiler/encoders/x64
Dec 11 21:42:24 Finished compiler/encoders/x64                                 1m19s 400MB
Dec 11 21:42:26 Starting compiler/encoders/arm6
Dec 11 21:45:37 Finished compiler/encoders/arm6                                3m09s   1GB
Dec 11 21:45:39 Starting compiler/encoders/arm8
Dec 11 21:46:33 Finished compiler/encoders/arm8                                  51s 412MB
Dec 11 21:46:35 Starting compiler/encoders/mips
Dec 11 21:48:09 Finished compiler/encoders/mips                                1m32s 683MB
Dec 11 21:48:11 Starting compiler/encoders/riscv
Dec 11 21:49:52 Finished compiler/encoders/riscv                               1m38s 497MB
Dec 11 21:49:53 Starting compiler/backend/x64
Dec 11 21:50:41 Finished compiler/backend/x64                                    45s   1GB
Dec 11 21:50:43 Starting compiler/backend/arm6
Dec 11 21:51:32 Finished compiler/backend/arm6                                   47s   1GB
Dec 11 21:51:34 Starting compiler/backend/arm8
Dec 11 21:52:22 Finished compiler/backend/arm8                                   46s   1GB
Dec 11 21:52:24 Starting compiler/backend/mips
Dec 11 21:53:14 Finished compiler/backend/mips                                   48s   1GB
Dec 11 21:53:16 Starting compiler/backend/riscv
Dec 11 21:54:05 Finished compiler/backend/riscv                                  47s   1GB
Dec 11 21:54:07 Starting compiler/parsing/proofs
Dec 11 21:58:56 Finished compiler/parsing/proofs                               4m47s 883MB
Dec 11 21:58:58 Starting compiler/inference/proofs
Dec 11 22:03:26 Finished compiler/inference/proofs                             4m26s   1GB
Dec 11 22:03:28 Starting compiler/backend/semantics
Dec 11 22:23:21 Finished compiler/backend/semantics                           19m51s   3GB
Dec 11 22:23:23 Starting compiler/backend/reg_alloc/proofs
Dec 11 22:24:44 Finished compiler/backend/reg_alloc/proofs                     1m18s 393MB
Dec 11 22:24:46 Starting compiler/backend/proofs
Dec 11 23:39:13 Finished compiler/backend/proofs                            1h14m25s   4GB
Dec 11 23:39:15 Starting compiler/encoders/x64/proofs
Dec 11 23:51:17 Finished compiler/encoders/x64/proofs                         12m00s   1GB
Dec 11 23:51:19 Starting compiler/encoders/arm6/proofs
Dec 12 00:05:27 Finished compiler/encoders/arm6/proofs                        14m04s   2GB
Dec 12 00:05:29 Starting compiler/encoders/arm8/proofs
Dec 12 00:15:13 Finished compiler/encoders/arm8/proofs                         9m42s   1GB
Dec 12 00:15:15 Starting compiler/encoders/mips/proofs
Dec 12 00:28:51 Finished compiler/encoders/mips/proofs                        13m32s   1GB
Dec 12 00:28:53 Starting compiler/encoders/riscv/proofs
Dec 12 00:42:40 Finished compiler/encoders/riscv/proofs                       13m45s 992MB
Dec 12 00:42:42 Starting compiler/backend/x64/proofs
Dec 12 00:43:38 Finished compiler/backend/x64/proofs                             53s   1GB
Dec 12 00:43:40 Starting compiler/backend/arm6/proofs
Dec 12 00:44:41 Finished compiler/backend/arm6/proofs                            59s   1GB
Dec 12 00:44:43 Starting compiler/backend/arm8/proofs
Dec 12 00:45:36 Finished compiler/backend/arm8/proofs                            50s   1GB
Dec 12 00:45:38 Starting compiler/backend/mips/proofs
Dec 12 00:46:36 Finished compiler/backend/mips/proofs                            55s   1GB
Dec 12 00:46:38 Starting compiler/backend/riscv/proofs
Dec 12 00:47:32 Finished compiler/backend/riscv/proofs                           52s   1GB
Dec 12 00:47:34 Starting compiler/proofs
Dec 12 00:50:04 Finished compiler/proofs                                       2m28s   1GB
Dec 12 00:50:05 Starting candle/set-theory
Dec 12 00:51:48 Finished candle/set-theory                                     1m40s 758MB
Dec 12 00:51:50 Starting candle/syntax-lib
Dec 12 00:52:11 Finished candle/syntax-lib                                       19s 410MB
Dec 12 00:52:13 Starting candle/standard/syntax
Dec 12 00:55:11 Finished candle/standard/syntax                                2m55s 547MB
Dec 12 00:55:13 Starting candle/standard/semantics
Dec 12 00:57:39 Finished candle/standard/semantics                             2m23s 953MB
Dec 12 00:57:41 Starting candle/standard/monadic
Dec 12 01:00:26 Finished candle/standard/monadic                               2m43s 844MB
Dec 12 01:00:28 Starting candle/standard/ml_kernel
Dec 12 01:11:43 Finished candle/standard/ml_kernel                            11m13s   2GB
Dec 12 01:11:45 Starting candle/standard/opentheory
Dec 12 01:12:19 Finished candle/standard/opentheory                              31s 577MB
Dec 12 01:12:20 Starting characteristic/examples
Dec 12 01:14:37 Finished characteristic/examples                               2m15s   1GB
Dec 12 01:14:39 Starting tutorial/solutions
Dec 12 01:47:15 Finished tutorial/solutions                                   32m34s   8GB
Dec 12 01:47:17 Starting examples
Dec 12 01:55:04 Finished examples                                              7m44s   2GB
Dec 12 01:55:06 Starting examples/compilation
Dec 12 06:37:08 Finished examples/compilation                               4h41m59s  14GB
Dec 12 06:37:10 Starting examples/compilation/proofs
Dec 12 06:42:52 Finished examples/compilation/proofs                           5m40s   4GB
Dec 12 06:42:54 Starting compiler/benchmarks
Dec 12 08:23:40 Finished compiler/benchmarks                                1h40m43s  13GB
Dec 12 08:23:41 Starting translator/okasaki-examples
Dec 12 08:31:09 Finished translator/okasaki-examples                           7m25s   1GB
Dec 12 08:31:11 Starting translator/other-examples
Dec 12 08:38:15 Finished translator/other-examples                             7m01s   1GB
Dec 12 08:38:17 Starting compiler/parsing/tests
Dec 12 08:38:58 Finished compiler/parsing/tests                                  39s 381MB
Dec 12 08:39:00 Starting compiler/bootstrap/translation
Dec 12 16:55:40 Finished compiler/bootstrap/translation                     8h16m38s  45GB
Dec 12 16:55:42 Starting compiler/bootstrap/compilation/x64/64
Dec 13 17:40:46 Finished compiler/bootstrap/compilation/x64/64             24h45m01s  93GB
Dec 13 17:40:48 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 13 17:44:13 Finished compiler/bootstrap/compilation/x64/64/proofs          3m22s  22GB
Dec 13 17:44:15 Starting compiler/bootstrap/compilation/x64/32
Dec 14 18:59:25 Finished compiler/bootstrap/compilation/x64/32             25h15m08s  93GB
Dec 14 18:59:27 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 14 19:02:19 Finished compiler/bootstrap/compilation/x64/32/proofs          2m49s  20GB
Dec 14 19:02:21 SUCCESS