Job 164

CakeML:62857e3736fd2d3dc61dd09df36dee230270dc68
  Generate ML signatures for HOL functions in basis [Jan 19 03:39:38]
HOL:8da85ad615f3f14a7db120e68d75138b6101bedb
  holyhammer: fix error by matching the changes in hhsPredict [Jan 18 23:08:13]
Machine:cakeml1795 4.4.0-98-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 19 14:57:12 Claimed job
Jan 19 14:57:22 Building HOL
Jan 19 15:09:35 Starting semantics/ffi
Jan 19 15:10:43 Finished semantics/ffi                                         1m06s 372MB
Jan 19 15:10:45 Starting semantics
Jan 19 15:13:22 Finished semantics                                             2m34s   1GB
Jan 19 15:13:24 Starting semantics/proofs
Jan 19 15:16:52 Finished semantics/proofs                                      3m25s   1GB
Jan 19 15:16:54 Starting basis/pure
Jan 19 15:22:56 Finished basis/pure                                            6m00s 749MB
Jan 19 15:22:57 Starting translator
Jan 19 15:29:54 Finished translator                                            6m54s   1GB
Jan 19 15:29:56 Starting compiler/parsing
Jan 19 15:32:20 Finished compiler/parsing                                      2m22s   2GB
Jan 19 15:32:22 Starting characteristic
Jan 19 15:36:59 Finished characteristic                                        4m34s   1GB
Jan 19 15:37:01 Starting basis
Jan 19 16:02:57 Finished basis                                                25m54s   2GB
Jan 19 16:02:59 Starting translator/monadic
Jan 19 16:06:17 Finished translator/monadic                                    3m16s   1GB
Jan 19 16:06:19 Starting compiler/inference
Jan 19 16:09:06 Finished compiler/inference                                    2m44s   1GB
Jan 19 16:09:08 Starting compiler/backend/reg_alloc
Jan 19 16:09:56 Finished compiler/backend/reg_alloc                              45s 838MB
Jan 19 16:09:58 Starting compiler/backend/gc
Jan 19 16:25:38 Finished compiler/backend/gc                                  15m38s   2GB
Jan 19 16:25:40 Starting compiler/backend
Jan 19 16:25:43 Finished compiler/backend                                         1s  18MB
Jan 19 16:25:45 Starting compiler/encoders/asm
Jan 19 16:25:48 Finished compiler/encoders/asm                                    0s  11MB
Jan 19 16:25:50 Starting compiler/encoders/x64
Jan 19 16:27:27 Finished compiler/encoders/x64                                 1m35s 439MB
Jan 19 16:27:29 Starting compiler/encoders/arm6
Jan 19 16:30:31 Finished compiler/encoders/arm6                                3m00s   1GB
Jan 19 16:30:33 Starting compiler/encoders/arm8
Jan 19 16:31:24 Finished compiler/encoders/arm8                                  49s 433MB
Jan 19 16:31:26 Starting compiler/encoders/mips
Jan 19 16:32:54 Finished compiler/encoders/mips                                1m25s 675MB
Jan 19 16:32:56 Starting compiler/encoders/riscv
Jan 19 16:34:28 Finished compiler/encoders/riscv                               1m31s 509MB
Jan 19 16:34:30 Starting compiler/backend/x64
Jan 19 16:35:13 Finished compiler/backend/x64                                    40s   1GB
Jan 19 16:35:15 Starting compiler/backend/arm6
Jan 19 16:36:01 Finished compiler/backend/arm6                                   44s   1GB
Jan 19 16:36:03 Starting compiler/backend/arm8
Jan 19 16:36:47 Finished compiler/backend/arm8                                   42s   1GB
Jan 19 16:36:49 Starting compiler/backend/mips
Jan 19 16:37:31 Finished compiler/backend/mips                                   40s   1GB
Jan 19 16:37:32 Starting compiler/backend/riscv
Jan 19 16:38:17 Finished compiler/backend/riscv                                  42s   1GB
Jan 19 16:38:19 Starting compiler/parsing/proofs
Jan 19 16:42:50 Finished compiler/parsing/proofs                               4m29s 768MB
Jan 19 16:42:52 Starting compiler/inference/proofs
Jan 19 16:47:03 Finished compiler/inference/proofs                             4m09s   1GB
Jan 19 16:47:05 Starting compiler/backend/semantics
Jan 19 17:06:02 Finished compiler/backend/semantics                           18m54s   3GB
Jan 19 17:06:03 Starting compiler/backend/reg_alloc/proofs
Jan 19 17:07:17 Finished compiler/backend/reg_alloc/proofs                     1m11s 404MB
Jan 19 17:07:19 Starting compiler/backend/proofs
Jan 19 18:15:17 Finished compiler/backend/proofs                            1h07m55s   3GB
Jan 19 18:15:19 Starting compiler/encoders/x64/proofs
Jan 19 18:28:24 Finished compiler/encoders/x64/proofs                         13m03s   2GB
Jan 19 18:28:26 Starting compiler/encoders/arm6/proofs
Jan 19 18:41:53 Finished compiler/encoders/arm6/proofs                        13m24s   3GB
Jan 19 18:41:54 Starting compiler/encoders/arm8/proofs
Jan 19 18:51:05 Finished compiler/encoders/arm8/proofs                         9m08s   1GB
Jan 19 18:51:07 Starting compiler/encoders/mips/proofs
Jan 19 19:03:47 Finished compiler/encoders/mips/proofs                        12m37s   1GB
Jan 19 19:03:49 Starting compiler/encoders/riscv/proofs
Jan 19 19:17:21 Finished compiler/encoders/riscv/proofs                       13m29s   1GB
Jan 19 19:17:23 Starting compiler/backend/x64/proofs
Jan 19 19:18:15 Finished compiler/backend/x64/proofs                             50s   1GB
Jan 19 19:18:17 Starting compiler/backend/arm6/proofs
Jan 19 19:19:17 Finished compiler/backend/arm6/proofs                            57s   1GB
Jan 19 19:19:18 Starting compiler/backend/arm8/proofs
Jan 19 19:20:10 Finished compiler/backend/arm8/proofs                            49s   1GB
Jan 19 19:20:12 Starting compiler/backend/mips/proofs
Jan 19 19:21:07 Finished compiler/backend/mips/proofs                            53s   1GB
Jan 19 19:21:09 Starting compiler/backend/riscv/proofs
Jan 19 19:22:02 Finished compiler/backend/riscv/proofs                           50s   1GB
Jan 19 19:22:04 Starting compiler/proofs
Jan 19 19:24:39 Finished compiler/proofs                                       2m33s   2GB
Jan 19 19:24:41 Starting candle/set-theory
Jan 19 19:26:24 Finished candle/set-theory                                     1m40s 613MB
Jan 19 19:26:26 Starting candle/syntax-lib
Jan 19 19:26:47 Finished candle/syntax-lib                                       19s 601MB
Jan 19 19:26:49 Starting candle/standard/syntax
Jan 19 19:29:43 Finished candle/standard/syntax                                2m51s 974MB
Jan 19 19:29:45 Starting candle/standard/semantics
Jan 19 19:32:06 Finished candle/standard/semantics                             2m19s 890MB
Jan 19 19:32:08 Starting candle/standard/monadic
Jan 19 19:34:48 Finished candle/standard/monadic                               2m38s 815MB
Jan 19 19:34:50 Starting candle/standard/ml_kernel
Jan 19 19:45:36 Finished candle/standard/ml_kernel                            10m43s   2GB
Jan 19 19:45:38 Starting candle/standard/opentheory
Jan 19 19:46:08 Finished candle/standard/opentheory                              28s 669MB
Jan 19 19:46:10 Starting characteristic/examples
Jan 19 19:48:26 Finished characteristic/examples                               2m13s   1GB
Jan 19 19:48:28 Starting tutorial/solutions
Jan 19 20:21:59 Finished tutorial/solutions                                   33m28s   7GB
Jan 19 20:22:01 Starting translator/monadic/examples
Jan 19 20:24:22 Finished translator/monadic/examples                           2m19s   1GB
Jan 19 20:24:24 Starting examples
Jan 19 20:32:03 Finished examples                                              7m36s   1GB
Jan 19 20:32:05 Starting examples/compilation
Jan 20 01:26:50 Finished examples/compilation                               4h54m43s   9GB
Jan 20 01:26:52 Starting examples/compilation/proofs
Jan 20 01:32:23 Finished examples/compilation/proofs                           5m28s   4GB
Jan 20 01:32:25 Starting compiler/benchmarks
Jan 20 01:32:27 Finished compiler/benchmarks                                      0s   6MB
Jan 20 01:32:29 Starting translator/okasaki-examples
Jan 20 01:39:39 Finished translator/okasaki-examples                           7m07s   1GB
Jan 20 01:39:41 Starting translator/other-examples
Jan 20 01:46:33 Finished translator/other-examples                             6m50s   1GB
Jan 20 01:46:35 Starting compiler/parsing/tests
Jan 20 01:47:15 Finished compiler/parsing/tests                                  38s 345MB
Jan 20 01:47:17 Starting compiler/bootstrap/translation
Jan 20 10:07:44 Finished compiler/bootstrap/translation                     8h20m24s  40GB
Jan 20 10:07:46 Starting compiler/bootstrap/compilation/x64/64
Jan 21 13:06:36 Finished compiler/bootstrap/compilation/x64/64             26h58m47s  91GB
Jan 21 13:06:38 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 21 13:10:53 Finished compiler/bootstrap/compilation/x64/64/proofs          4m12s  33GB
Jan 21 13:10:55 Starting compiler/bootstrap/compilation/x64/32
Jan 22 11:47:55 Finished compiler/bootstrap/compilation/x64/32             22h36m57s  90GB
Jan 22 11:47:56 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 22 11:51:04 Finished compiler/bootstrap/compilation/x64/32/proofs          3m05s  24GB
Jan 22 11:51:06 SUCCESS