Job 143

CakeML:00605b2ed98e568aeec57b47a504daab27e5ce8b
  Add missing comma [Jan 06 12:42:45]
HOL:c0fb3ef90708dcc01cb51a85f15b5659b7533b81
  tactictoe: copyright [Jan 09 15:52:51]
Machine:cakeml1797 4.4.0-22-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 09 17:28:20 Claimed job
Jan 09 17:28:29 Building HOL
Jan 09 17:41:05 Starting semantics/ffi
Jan 09 17:42:13 Finished semantics/ffi                                         1m05s 390MB
Jan 09 17:42:15 Starting semantics
Jan 09 17:44:54 Finished semantics                                             2m36s   1GB
Jan 09 17:44:56 Starting semantics/proofs
Jan 09 17:48:25 Finished semantics/proofs                                      3m27s   1GB
Jan 09 17:48:27 Starting basis/pure
Jan 09 17:54:29 Finished basis/pure                                            5m59s 638MB
Jan 09 17:54:31 Starting translator
Jan 09 18:01:37 Finished translator                                            7m04s 914MB
Jan 09 18:01:39 Starting compiler/parsing
Jan 09 18:04:06 Finished compiler/parsing                                      2m24s   2GB
Jan 09 18:04:08 Starting characteristic
Jan 09 18:08:48 Finished characteristic                                        4m38s   1GB
Jan 09 18:08:50 Starting basis
Jan 09 18:35:01 Finished basis                                                26m08s   2GB
Jan 09 18:35:03 Starting translator/monadic
Jan 09 18:38:27 Finished translator/monadic                                    3m22s 985MB
Jan 09 18:38:29 Starting compiler/inference
Jan 09 18:41:20 Finished compiler/inference                                    2m47s   1GB
Jan 09 18:41:22 Starting compiler/backend/reg_alloc
Jan 09 18:42:11 Finished compiler/backend/reg_alloc                              47s 681MB
Jan 09 18:42:13 Starting compiler/backend/gc
Jan 09 18:58:04 Finished compiler/backend/gc                                  15m48s   2GB
Jan 09 18:58:06 Starting compiler/backend
Jan 09 18:58:10 Finished compiler/backend                                         1s  30MB
Jan 09 18:58:12 Starting compiler/encoders/asm
Jan 09 18:58:14 Finished compiler/encoders/asm                                    0s  12MB
Jan 09 18:58:16 Starting compiler/encoders/x64
Jan 09 18:59:55 Finished compiler/encoders/x64                                 1m37s 454MB
Jan 09 18:59:57 Starting compiler/encoders/arm6
Jan 09 19:03:00 Finished compiler/encoders/arm6                                3m00s   1GB
Jan 09 19:03:02 Starting compiler/encoders/arm8
Jan 09 19:03:50 Finished compiler/encoders/arm8                                  46s 354MB
Jan 09 19:03:52 Starting compiler/encoders/mips
Jan 09 19:05:20 Finished compiler/encoders/mips                                1m26s 635MB
Jan 09 19:05:22 Starting compiler/encoders/riscv
Jan 09 19:06:56 Finished compiler/encoders/riscv                               1m32s 493MB
Jan 09 19:06:58 Starting compiler/backend/x64
Jan 09 19:07:40 Finished compiler/backend/x64                                    39s 903MB
Jan 09 19:07:42 Starting compiler/backend/arm6
Jan 09 19:08:27 Finished compiler/backend/arm6                                   43s 969MB
Jan 09 19:08:29 Starting compiler/backend/arm8
Jan 09 19:09:13 Finished compiler/backend/arm8                                   41s   1GB
Jan 09 19:09:15 Starting compiler/backend/mips
Jan 09 19:10:02 Finished compiler/backend/mips                                   44s   1GB
Jan 09 19:10:04 Starting compiler/backend/riscv
Jan 09 19:10:48 Finished compiler/backend/riscv                                  42s   1GB
Jan 09 19:10:50 Starting compiler/parsing/proofs
Jan 09 19:15:24 Finished compiler/parsing/proofs                               4m31s 920MB
Jan 09 19:15:26 Starting compiler/inference/proofs
Jan 09 19:19:43 Finished compiler/inference/proofs                             4m15s   1GB
Jan 09 19:19:45 Starting compiler/backend/semantics
Jan 09 19:38:49 Finished compiler/backend/semantics                           19m01s   3GB
Jan 09 19:38:51 Starting compiler/backend/reg_alloc/proofs
Jan 09 19:40:07 Finished compiler/backend/reg_alloc/proofs                     1m13s 375MB
Jan 09 19:40:09 Starting compiler/backend/proofs
Jan 09 20:49:12 Finished compiler/backend/proofs                            1h09m01s   6GB
Jan 09 20:49:14 Starting compiler/encoders/x64/proofs
Jan 09 21:02:49 Finished compiler/encoders/x64/proofs                         13m32s   2GB
Jan 09 21:02:51 Starting compiler/encoders/arm6/proofs
Jan 09 21:16:44 Finished compiler/encoders/arm6/proofs                        13m51s   3GB
Jan 09 21:16:46 Starting compiler/encoders/arm8/proofs
Jan 09 21:26:05 Finished compiler/encoders/arm8/proofs                         9m16s   1GB
Jan 09 21:26:07 Starting compiler/encoders/mips/proofs
Jan 09 21:38:45 Finished compiler/encoders/mips/proofs                        12m36s   2GB
Jan 09 21:38:48 Starting compiler/encoders/riscv/proofs
Jan 09 21:52:38 Finished compiler/encoders/riscv/proofs                       13m48s   1GB
Jan 09 21:52:40 Starting compiler/backend/x64/proofs
Jan 09 21:53:33 Finished compiler/backend/x64/proofs                             50s   1GB
Jan 09 21:53:35 Starting compiler/backend/arm6/proofs
Jan 09 21:54:33 Finished compiler/backend/arm6/proofs                            56s   1GB
Jan 09 21:54:35 Starting compiler/backend/arm8/proofs
Jan 09 21:55:28 Finished compiler/backend/arm8/proofs                            50s   1GB
Jan 09 21:55:30 Starting compiler/backend/mips/proofs
Jan 09 21:56:24 Finished compiler/backend/mips/proofs                            52s   1GB
Jan 09 21:56:26 Starting compiler/backend/riscv/proofs
Jan 09 21:57:20 Finished compiler/backend/riscv/proofs                           51s   1GB
Jan 09 21:57:22 Starting compiler/proofs
Jan 09 21:59:55 Finished compiler/proofs                                       2m30s   1GB
Jan 09 21:59:57 Starting candle/set-theory
Jan 09 22:01:39 Finished candle/set-theory                                     1m39s 577MB
Jan 09 22:01:41 Starting candle/syntax-lib
Jan 09 22:02:03 Finished candle/syntax-lib                                       20s 580MB
Jan 09 22:02:05 Starting candle/standard/syntax
Jan 09 22:05:01 Finished candle/standard/syntax                                2m54s 581MB
Jan 09 22:05:03 Starting candle/standard/semantics
Jan 09 22:07:27 Finished candle/standard/semantics                             2m22s 735MB
Jan 09 22:07:29 Starting candle/standard/monadic
Jan 09 22:10:10 Finished candle/standard/monadic                               2m38s   1GB
Jan 09 22:10:12 Starting candle/standard/ml_kernel
Jan 09 22:21:15 Finished candle/standard/ml_kernel                            11m02s   2GB
Jan 09 22:21:17 Starting candle/standard/opentheory
Jan 09 22:21:48 Finished candle/standard/opentheory                              29s 639MB
Jan 09 22:21:50 Starting characteristic/examples
Jan 09 22:24:08 Finished characteristic/examples                               2m16s   1GB
Jan 09 22:24:10 Starting tutorial/solutions
Jan 09 22:58:41 Finished tutorial/solutions                                   34m28s   8GB
Jan 09 22:58:43 Starting translator/monadic/examples
Jan 09 23:01:07 Finished translator/monadic/examples                           2m22s   1GB
Jan 09 23:01:09 Starting examples
Jan 09 23:08:45 Finished examples                                              7m33s   1GB
Jan 09 23:08:47 Starting examples/compilation
Jan 10 04:10:23 Finished examples/compilation                               5h01m34s  10GB
Jan 10 04:10:25 Starting examples/compilation/proofs
Jan 10 04:15:59 Finished examples/compilation/proofs                           5m31s   4GB
Jan 10 04:16:01 Starting compiler/benchmarks
Jan 10 04:16:03 Finished compiler/benchmarks                                      0s   4MB
Jan 10 04:16:05 Starting translator/okasaki-examples
Jan 10 04:23:33 Finished translator/okasaki-examples                           7m26s   1GB
Jan 10 04:23:35 Starting translator/other-examples
Jan 10 04:30:24 Finished translator/other-examples                             6m46s   1GB
Jan 10 04:30:26 Starting compiler/parsing/tests
Jan 10 04:31:06 Finished compiler/parsing/tests                                  38s 346MB
Jan 10 04:31:08 Starting compiler/bootstrap/translation
Jan 10 12:55:11 Finished compiler/bootstrap/translation                     8h24m00s  34GB
Jan 10 12:55:13 Starting compiler/bootstrap/compilation/x64/64
Jan 11 17:41:39 Finished compiler/bootstrap/compilation/x64/64             28h46m24s  97GB
Jan 11 17:41:41 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 11 17:46:41 Finished compiler/bootstrap/compilation/x64/64/proofs          4m57s  18GB
Jan 11 17:46:43 Starting compiler/bootstrap/compilation/x64/32
Jan 12 13:48:39 Finished compiler/bootstrap/compilation/x64/32             20h01m54s  88GB
Jan 12 13:48:41 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 12 13:51:46 Finished compiler/bootstrap/compilation/x64/32/proofs          3m03s  23GB
Jan 12 13:51:48 SUCCESS