Job 107

CakeML:cb4ce835b40ead11a37cc2896ef69dad1b340e63
  Update top-level Holmakefile [Dec 22 21:40:59]
HOL:cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a
  Merge pull request #502 from marioxcc/master [Dec 21 04:20:24]
Machine:cakeml1798 4.4.0-98-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-x64-64.tar.gz

Dec 22 23:41:48 Claimed job
Dec 22 23:41:55 Reusing HOL
Dec 22 23:42:07 Starting semantics/ffi
Dec 22 23:42:28 Finished semantics/ffi                                           19s 253MB
Dec 22 23:42:30 Starting semantics
Dec 22 23:44:46 Finished semantics                                             2m14s   1GB
Dec 22 23:44:48 Starting semantics/proofs
Dec 22 23:48:22 Finished semantics/proofs                                      3m32s 880MB
Dec 22 23:48:24 Starting basis/pure
Dec 22 23:49:35 Finished basis/pure                                            1m08s 608MB
Dec 22 23:49:37 Starting translator
Dec 22 23:56:55 Finished translator                                            7m16s   1GB
Dec 22 23:56:57 Starting compiler/parsing
Dec 22 23:59:24 Finished compiler/parsing                                      2m25s   1GB
Dec 22 23:59:26 Starting characteristic
Dec 23 00:04:19 Finished characteristic                                        4m50s   1GB
Dec 23 00:04:20 Starting basis
Dec 23 00:31:59 Finished basis                                                27m36s   2GB
Dec 23 00:32:01 Starting translator/monadic
Dec 23 00:35:32 Finished translator/monadic                                    3m28s   1GB
Dec 23 00:35:34 Starting compiler/inference
Dec 23 00:37:54 Finished compiler/inference                                    2m18s   1GB
Dec 23 00:37:56 Starting compiler/backend/reg_alloc
Dec 23 00:38:48 Finished compiler/backend/reg_alloc                              50s 718MB
Dec 23 00:38:50 Starting compiler/backend/gc
Dec 23 00:53:27 Finished compiler/backend/gc                                  14m34s   2GB
Dec 23 00:53:29 Starting compiler/backend
Dec 23 00:53:32 Finished compiler/backend                                         1s  17MB
Dec 23 00:53:34 Starting compiler/encoders/asm
Dec 23 00:53:37 Finished compiler/encoders/asm                                    0s  11MB
Dec 23 00:53:39 Starting compiler/encoders/x64
Dec 23 00:54:09 Finished compiler/encoders/x64                                   28s 381MB
Dec 23 00:54:11 Starting compiler/encoders/arm6
Dec 23 00:55:44 Finished compiler/encoders/arm6                                1m30s 518MB
Dec 23 00:55:46 Starting compiler/encoders/arm8
Dec 23 00:56:03 Finished compiler/encoders/arm8                                  15s 389MB
Dec 23 00:56:05 Starting compiler/encoders/mips
Dec 23 00:56:24 Finished compiler/encoders/mips                                  16s 523MB
Dec 23 00:56:26 Starting compiler/encoders/riscv
Dec 23 00:56:45 Finished compiler/encoders/riscv                                 16s 421MB
Dec 23 00:56:47 Starting compiler/backend/x64
Dec 23 00:57:30 Finished compiler/backend/x64                                    41s   1GB
Dec 23 00:57:32 Starting compiler/backend/arm6
Dec 23 00:58:22 Finished compiler/backend/arm6                                   47s   1GB
Dec 23 00:58:23 Starting compiler/backend/arm8
Dec 23 00:59:06 Finished compiler/backend/arm8                                   40s 955MB
Dec 23 00:59:08 Starting compiler/backend/mips
Dec 23 00:59:53 Finished compiler/backend/mips                                   43s   1GB
Dec 23 00:59:55 Starting compiler/backend/riscv
Dec 23 01:00:40 Finished compiler/backend/riscv                                  43s   1GB
Dec 23 01:00:42 Starting compiler/parsing/proofs
Dec 23 01:05:31 Finished compiler/parsing/proofs                               4m46s 866MB
Dec 23 01:05:33 Starting compiler/inference/proofs
Dec 23 01:09:52 Finished compiler/inference/proofs                             4m17s   1GB
Dec 23 01:09:54 Starting compiler/backend/semantics
Dec 23 01:29:14 Finished compiler/backend/semantics                           19m18s   4GB
Dec 23 01:29:16 Starting compiler/backend/reg_alloc/proofs
Dec 23 01:30:32 Finished compiler/backend/reg_alloc/proofs                     1m13s 427MB
Dec 23 01:30:34 Starting compiler/backend/proofs
Dec 23 02:42:32 Finished compiler/backend/proofs                            1h11m56s   4GB
Dec 23 02:42:34 Starting compiler/encoders/x64/proofs
Dec 23 02:52:29 Finished compiler/encoders/x64/proofs                          9m52s   1GB
Dec 23 02:52:31 Starting compiler/encoders/arm6/proofs
Dec 23 03:03:42 Finished compiler/encoders/arm6/proofs                        11m08s   1GB
Dec 23 03:03:43 Starting compiler/encoders/arm8/proofs
Dec 23 03:12:45 Finished compiler/encoders/arm8/proofs                         8m59s   1GB
Dec 23 03:12:47 Starting compiler/encoders/mips/proofs
Dec 23 03:25:13 Finished compiler/encoders/mips/proofs                        12m24s   1GB
Dec 23 03:25:15 Starting compiler/encoders/riscv/proofs
Dec 23 03:39:08 Finished compiler/encoders/riscv/proofs                       13m51s   1GB
Dec 23 03:39:10 Starting compiler/backend/x64/proofs
Dec 23 03:40:05 Finished compiler/backend/x64/proofs                             53s   1GB
Dec 23 03:40:07 Starting compiler/backend/arm6/proofs
Dec 23 03:41:09 Finished compiler/backend/arm6/proofs                            59s   1GB
Dec 23 03:41:11 Starting compiler/backend/arm8/proofs
Dec 23 03:42:06 Finished compiler/backend/arm8/proofs                            53s   1GB
Dec 23 03:42:08 Starting compiler/backend/mips/proofs
Dec 23 03:43:04 Finished compiler/backend/mips/proofs                            53s   1GB
Dec 23 03:43:06 Starting compiler/backend/riscv/proofs
Dec 23 03:44:00 Finished compiler/backend/riscv/proofs                           52s   1GB
Dec 23 03:44:02 Starting compiler/proofs
Dec 23 03:46:39 Finished compiler/proofs                                       2m34s   1GB
Dec 23 03:46:41 Starting candle/set-theory
Dec 23 03:47:32 Finished candle/set-theory                                       49s 583MB
Dec 23 03:47:34 Starting candle/syntax-lib
Dec 23 03:47:56 Finished candle/syntax-lib                                       20s 392MB
Dec 23 03:47:58 Starting candle/standard/syntax
Dec 23 03:51:03 Finished candle/standard/syntax                                3m03s 839MB
Dec 23 03:51:05 Starting candle/standard/semantics
Dec 23 03:53:37 Finished candle/standard/semantics                             2m30s 989MB
Dec 23 03:53:39 Starting candle/standard/monadic
Dec 23 03:56:26 Finished candle/standard/monadic                               2m45s 784MB
Dec 23 03:56:28 Starting candle/standard/ml_kernel
Dec 23 04:08:04 Finished candle/standard/ml_kernel                            11m33s   2GB
Dec 23 04:08:06 Starting candle/standard/opentheory
Dec 23 04:08:38 Finished candle/standard/opentheory                              29s 728MB
Dec 23 04:08:40 Starting characteristic/examples
Dec 23 04:10:59 Finished characteristic/examples                               2m16s   1GB
Dec 23 04:11:01 Starting tutorial/solutions
Dec 23 04:44:29 Finished tutorial/solutions                                   33m26s   8GB
Dec 23 04:44:31 Starting examples
Dec 23 04:52:23 Finished examples                                              7m49s   2GB
Dec 23 04:52:25 Starting examples/compilation
Dec 23 09:43:21 Finished examples/compilation                               4h50m54s  11GB
Dec 23 09:43:23 Starting examples/compilation/proofs
Dec 23 09:49:05 Finished examples/compilation/proofs                           5m39s   4GB
Dec 23 09:49:07 Starting compiler/benchmarks
Dec 23 09:49:09 Finished compiler/benchmarks                                      0s   6MB
Dec 23 09:49:11 Starting translator/okasaki-examples
Dec 23 09:56:53 Finished translator/okasaki-examples                           7m40s   1GB
Dec 23 09:56:55 Starting translator/other-examples
Dec 23 10:03:58 Finished translator/other-examples                             7m00s 916MB
Dec 23 10:03:59 Starting compiler/parsing/tests
Dec 23 10:04:41 Finished compiler/parsing/tests                                  39s 344MB
Dec 23 10:04:43 Starting compiler/bootstrap/translation
Dec 23 18:57:29 Finished compiler/bootstrap/translation                     8h52m43s  40GB
Dec 23 18:57:30 Starting compiler/bootstrap/compilation/x64/64
Dec 24 17:34:29 Finished compiler/bootstrap/compilation/x64/64             22h36m56s  89GB
Dec 24 17:34:31 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 24 17:37:42 Finished compiler/bootstrap/compilation/x64/64/proofs          3m08s  23GB
Dec 24 17:37:44 Starting compiler/bootstrap/compilation/x64/32
Dec 25 13:33:34 Finished compiler/bootstrap/compilation/x64/32             19h55m48s  93GB
Dec 25 13:33:36 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 25 13:38:44 Finished compiler/bootstrap/compilation/x64/32/proofs          5m06s  17GB
Dec 25 13:38:46 SUCCESS