Job 2266

CakeML:45534e558612704f938386fc12b79bc991c3afa3
  Update for new year [Jan 01 02:20:21]
HOL:7818249fecfc52871df7118348484da3bd6c5b30
  Allow build's clean options to be given in any mix of letter-cases [Jan 04 23:23:39]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Jan 08 06:32:49 Claimed job
Jan 08 06:32:55 Building HOL
Jan 08 06:46:36 Starting developers
Jan 08 06:46:42 Finished developers                                               5s 145MB
Jan 08 06:46:42 Starting developers/bin
Jan 08 06:46:48 Finished developers/bin                                           6s   1GB
Jan 08 06:46:48 Starting compiler/proofs
Jan 08 08:39:54 Finished compiler/proofs                                    1h53m05s  19GB
Jan 08 08:39:54 Starting compiler/bootstrap/translation
Jan 08 16:52:38 Finished compiler/bootstrap/translation                     8h12m44s  44GB
Jan 08 16:52:38 Starting semantics/ffi
Jan 08 16:52:45 Finished semantics/ffi                                            5s 213MB
Jan 08 16:52:45 Starting semantics
Jan 08 16:52:46 Finished semantics                                                1s  18MB
Jan 08 16:52:46 Starting semantics/proofs
Jan 08 16:53:18 Finished semantics/proofs                                        32s 778MB
Jan 08 16:53:18 Starting semantics/alt_semantics
Jan 08 16:53:50 Finished semantics/alt_semantics                                 31s 865MB
Jan 08 16:53:50 Starting semantics/alt_semantics/proofs
Jan 08 17:05:44 Finished semantics/alt_semantics/proofs                       11m53s   1GB
Jan 08 17:05:44 Starting basis/pure
Jan 08 17:05:46 Finished basis/pure                                               1s  23MB
Jan 08 17:05:46 Starting translator
Jan 08 17:07:35 Finished translator                                            1m49s   1GB
Jan 08 17:07:35 Starting compiler/parsing
Jan 08 17:07:37 Finished compiler/parsing                                         1s  20MB
Jan 08 17:07:37 Starting characteristic
Jan 08 17:07:39 Finished characteristic                                           1s  19MB
Jan 08 17:07:39 Starting translator/monadic
Jan 08 17:07:41 Finished translator/monadic                                       1s  27MB
Jan 08 17:07:41 Starting basis
Jan 08 17:11:26 Finished basis                                                 3m44s   3GB
Jan 08 17:11:26 Starting compiler/inference
Jan 08 17:11:27 Finished compiler/inference                                       1s  17MB
Jan 08 17:11:28 Starting compiler/backend/reg_alloc
Jan 08 17:11:29 Finished compiler/backend/reg_alloc                               1s  18MB
Jan 08 17:11:29 Starting compiler/backend/gc
Jan 08 17:11:31 Finished compiler/backend/gc                                      2s  26MB
Jan 08 17:11:32 Starting compiler/backend
Jan 08 17:11:45 Finished compiler/backend                                        12s 781MB
Jan 08 17:11:45 Starting compiler/encoders/asm
Jan 08 17:11:46 Finished compiler/encoders/asm                                    1s  24MB
Jan 08 17:11:47 Starting compiler/encoders/x64
Jan 08 17:11:48 Finished compiler/encoders/x64                                    1s  21MB
Jan 08 17:11:49 Starting compiler/encoders/arm7
Jan 08 17:11:50 Finished compiler/encoders/arm7                                   1s  22MB
Jan 08 17:11:50 Starting compiler/encoders/arm8
Jan 08 17:11:52 Finished compiler/encoders/arm8                                   1s  22MB
Jan 08 17:11:52 Starting compiler/encoders/arm8_asl
Jan 08 19:42:45 Finished compiler/encoders/arm8_asl                         2h30m52s  44GB
Jan 08 19:42:46 Starting compiler/encoders/mips
Jan 08 19:42:48 Finished compiler/encoders/mips                                   1s  18MB
Jan 08 19:42:48 Starting compiler/encoders/riscv
Jan 08 19:42:49 Finished compiler/encoders/riscv                                  1s  22MB
Jan 08 19:42:49 Starting compiler/encoders/ag32
Jan 08 19:42:51 Finished compiler/encoders/ag32                                   1s  20MB
Jan 08 19:42:51 Starting compiler/backend/x64
Jan 08 19:42:54 Finished compiler/backend/x64                                     2s  26MB
Jan 08 19:42:54 Starting compiler/backend/arm7
Jan 08 19:42:56 Finished compiler/backend/arm7                                    2s  31MB
Jan 08 19:42:56 Starting compiler/backend/arm8
Jan 08 19:42:58 Finished compiler/backend/arm8                                    2s  26MB
Jan 08 19:42:58 Starting compiler/backend/mips
Jan 08 19:43:01 Finished compiler/backend/mips                                    2s  23MB
Jan 08 19:43:01 Starting compiler/backend/riscv
Jan 08 19:43:03 Finished compiler/backend/riscv                                   2s  28MB
Jan 08 19:43:03 Starting compiler/backend/ag32
Jan 08 19:44:29 Finished compiler/backend/ag32                                 1m25s   1GB
Jan 08 19:44:29 Starting compiler/parsing/proofs
Jan 08 19:44:31 Finished compiler/parsing/proofs                                  1s  18MB
Jan 08 19:44:31 Starting compiler/inference/proofs
Jan 08 19:44:33 Finished compiler/inference/proofs                                1s  22MB
Jan 08 19:44:33 Starting compiler/backend/semantics
Jan 08 19:45:47 Finished compiler/backend/semantics                            1m14s   1GB
Jan 08 19:45:47 Starting compiler/backend/reg_alloc/proofs
Jan 08 19:45:49 Finished compiler/backend/reg_alloc/proofs                        1s  22MB
Jan 08 19:45:49 Starting compiler/backend/proofs
Jan 08 19:46:46 Finished compiler/backend/proofs                                 56s   2GB
Jan 08 19:46:46 Starting compiler/backend/serialiser
Jan 08 19:46:49 Finished compiler/backend/serialiser                              2s  37MB
Jan 08 19:46:49 Starting compiler/encoders/x64/proofs
Jan 08 19:56:35 Finished compiler/encoders/x64/proofs                          9m45s   5GB
Jan 08 19:56:36 Starting compiler/encoders/arm7/proofs
Jan 08 20:10:11 Finished compiler/encoders/arm7/proofs                        13m34s   5GB
Jan 08 20:10:11 Starting compiler/encoders/arm8/proofs
Jan 08 20:17:09 Finished compiler/encoders/arm8/proofs                         6m57s   2GB
Jan 08 20:17:09 Starting compiler/encoders/arm8_asl/proofs
Jan 08 21:09:15 Finished compiler/encoders/arm8_asl/proofs                    52m06s   7GB
Jan 08 21:09:15 Starting compiler/encoders/mips/proofs
Jan 08 21:20:05 Finished compiler/encoders/mips/proofs                        10m49s   2GB
Jan 08 21:20:05 Starting compiler/encoders/riscv/proofs
Jan 08 21:29:15 Finished compiler/encoders/riscv/proofs                        9m09s   1GB
Jan 08 21:29:15 Starting compiler/encoders/ag32/proofs
Jan 08 21:31:47 Finished compiler/encoders/ag32/proofs                         2m31s   1GB
Jan 08 21:31:47 Starting compiler/backend/x64/proofs
Jan 08 21:32:17 Finished compiler/backend/x64/proofs                             29s   1GB
Jan 08 21:32:17 Starting compiler/backend/arm7/proofs
Jan 08 21:32:51 Finished compiler/backend/arm7/proofs                            34s   2GB
Jan 08 21:32:51 Starting compiler/backend/arm8/proofs
Jan 08 21:33:23 Finished compiler/backend/arm8/proofs                            32s   2GB
Jan 08 21:33:23 Starting compiler/backend/arm8_asl
Jan 08 21:33:48 Finished compiler/backend/arm8_asl                               24s   1GB
Jan 08 21:33:48 Starting compiler/backend/mips/proofs
Jan 08 21:34:20 Finished compiler/backend/mips/proofs                            32s   1GB
Jan 08 21:34:20 Starting compiler/backend/riscv/proofs
Jan 08 21:34:53 Finished compiler/backend/riscv/proofs                           32s   2GB
Jan 08 21:34:53 Starting compiler/backend/ag32/proofs
Jan 08 21:48:35 Finished compiler/backend/ag32/proofs                         13m42s   2GB
Jan 08 21:48:36 Starting candle/set-theory
Jan 08 21:49:15 Finished candle/set-theory                                       38s   1GB
Jan 08 21:49:15 Starting candle/syntax-lib
Jan 08 21:49:16 Finished candle/syntax-lib                                        1s  19MB
Jan 08 21:49:16 Starting candle/standard/syntax
Jan 08 21:49:28 Finished candle/standard/syntax                                  11s 593MB
Jan 08 21:49:28 Starting candle/standard/semantics
Jan 08 21:51:27 Finished candle/standard/semantics                             1m58s   1GB
Jan 08 21:51:27 Starting candle/standard/monadic
Jan 08 21:51:29 Finished candle/standard/monadic                                  1s  20MB
Jan 08 21:51:29 Starting candle/standard/ml_kernel
Jan 08 21:53:06 Finished candle/standard/ml_kernel                             1m37s   2GB
Jan 08 21:53:06 Starting candle/overloading/syntax
Jan 08 21:56:30 Finished candle/overloading/syntax                             3m23s   1GB
Jan 08 21:56:30 Starting candle/overloading/semantics
Jan 08 22:08:45 Finished candle/overloading/semantics                         12m14s   2GB
Jan 08 22:08:45 Starting candle/overloading/monadic
Jan 08 22:11:31 Finished candle/overloading/monadic                            2m45s   2GB
Jan 08 22:11:31 Starting candle/overloading/ml_kernel
Jan 08 22:19:22 Finished candle/overloading/ml_kernel                          7m51s   3GB
Jan 08 22:19:23 Starting candle/overloading/ml_checker
Jan 08 22:22:00 Finished candle/overloading/ml_checker                         2m36s   3GB
Jan 08 22:22:00 Starting candle/prover
Jan 08 22:31:56 Finished candle/prover                                         9m56s   2GB
Jan 08 22:31:56 Starting pancake
Jan 08 22:32:40 Finished pancake                                                 43s 868MB
Jan 08 22:32:40 Starting pancake/ffi
Jan 08 22:32:41 Finished pancake/ffi                                              0s  13MB
Jan 08 22:32:41 Starting pancake/semantics
Jan 08 22:35:09 Finished pancake/semantics                                     2m28s   1GB
Jan 08 22:35:10 Starting pancake/parser
Jan 08 22:35:32 Finished pancake/parser                                          22s 824MB
Jan 08 22:35:32 Starting pancake/proofs
Jan 08 23:09:28 Finished pancake/proofs                                       33m55s   4GB
Jan 08 23:09:28 Starting characteristic/examples
Jan 08 23:11:01 Finished characteristic/examples                               1m32s   4GB
Jan 08 23:11:01 Starting tutorial/solutions
Jan 08 23:26:06 Finished tutorial/solutions                                   15m05s  10GB
Jan 08 23:26:07 Starting translator/monadic/examples
Jan 08 23:30:13 Finished translator/monadic/examples                           4m06s   3GB
Jan 08 23:30:13 Starting examples
Jan 08 23:46:29 Finished examples                                             16m15s   3GB
Jan 08 23:46:29 Starting examples/compilation/x64
Jan 09 01:46:28 Finished examples/compilation/x64                           1h59m58s  16GB
Jan 09 01:46:28 Starting examples/compilation/x64/proofs
Jan 09 01:49:02 Finished examples/compilation/x64/proofs                       2m33s   4GB
Jan 09 01:49:03 Starting examples/compilation/ag32 Jan 09 01:49:03 2165s