Job 23

CakeML:aa308d1f863e3e3b1db7ee77cf1525a1f065cdc9
  Remove custom w2w translations [Nov 14 06:25:27]
#375 (issue365)
Merging into:33c6d80bab26ec52245993ac00727c6490cc1a84
  Update inferProg for ConfigGC [Nov 14 12:32:46]
HOL:4e4687878257043b885bf696e614e85572e9fc6c
  Add oHD and oEL (option-valued) functions from CakeML [Nov 14 05:25:57]
Machine:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux

Nov 14 12:37:16 Claimed job
Nov 14 12:37:26 Building HOL
Nov 14 12:50:59 Starting semantics/ffi
Nov 14 12:52:12 Finished semantics/ffi                                         1m11s 317MB
Nov 14 12:52:14 Starting semantics
Nov 14 12:55:07 Finished semantics                                             2m51s   1GB
Nov 14 12:55:08 Starting semantics/proofs
Nov 14 12:58:56 Finished semantics/proofs                                      3m45s   1GB
Nov 14 12:58:57 Starting basis/pure
Nov 14 13:05:23 Finished basis/pure                                            6m24s 641MB
Nov 14 13:05:25 Starting translator
Nov 14 13:13:11 Finished translator                                            7m43s   1GB
Nov 14 13:13:12 Starting compiler/parsing
Nov 14 13:15:48 Finished compiler/parsing                                      2m34s   2GB
Nov 14 13:15:49 Starting characteristic
Nov 14 13:20:52 Finished characteristic                                        5m00s   1GB
Nov 14 13:20:54 Starting basis
Nov 14 13:52:08 Finished basis                                                31m13s   2GB
Nov 14 13:52:10 Starting translator/monadic
Nov 14 13:56:03 Finished translator/monadic                                    3m51s   1GB
Nov 14 13:56:04 Starting compiler/inference
Nov 14 13:59:09 Finished compiler/inference                                    3m03s 914MB
Nov 14 13:59:11 Starting compiler/backend/reg_alloc
Nov 14 14:00:02 Finished compiler/backend/reg_alloc                              49s 829MB
Nov 14 14:00:04 Starting compiler/backend/gc
Nov 14 14:17:23 Finished compiler/backend/gc                                  17m17s   2GB
Nov 14 14:17:25 Starting compiler/backend
Nov 14 14:17:48 Finished compiler/backend                                         1s  21MB
Nov 14 14:17:49 Starting compiler/encoders/asm
Nov 14 14:17:52 Finished compiler/encoders/asm                                    0s  11MB
Nov 14 14:17:53 Starting compiler/encoders/x64
Nov 14 14:19:13 Finished compiler/encoders/x64                                 1m18s 412MB
Nov 14 14:19:15 Starting compiler/encoders/arm6
Nov 14 14:22:39 Finished compiler/encoders/arm6                                3m22s   1GB
Nov 14 14:22:40 Starting compiler/encoders/arm8
Nov 14 14:23:29 Finished compiler/encoders/arm8                                  47s 398MB
Nov 14 14:23:31 Starting compiler/encoders/mips
Nov 14 14:24:58 Finished compiler/encoders/mips                                1m25s 733MB
Nov 14 14:25:00 Starting compiler/encoders/riscv
Nov 14 14:26:40 Finished compiler/encoders/riscv                               1m39s 508MB
Nov 14 14:26:42 Starting compiler/backend/x64
Nov 14 14:27:24 Finished compiler/backend/x64                                    41s 966MB
Nov 14 14:27:26 Starting compiler/backend/arm6
Nov 14 14:28:17 Finished compiler/backend/arm6                                   49s   1GB
Nov 14 14:28:19 Starting compiler/backend/arm8
Nov 14 14:29:06 Finished compiler/backend/arm8                                   45s   1GB
Nov 14 14:29:07 Starting compiler/backend/mips
Nov 14 14:29:53 Finished compiler/backend/mips                                   44s   1GB
Nov 14 14:29:55 Starting compiler/backend/riscv
Nov 14 14:30:43 Finished compiler/backend/riscv                                  47s   1GB
Nov 14 14:30:45 Starting compiler/parsing/proofs
Nov 14 14:35:57 Finished compiler/parsing/proofs                               5m11s 764MB
Nov 14 14:35:59 Starting compiler/inference/proofs
Nov 14 14:40:36 Finished compiler/inference/proofs                             4m35s   1GB
Nov 14 14:40:37 Starting compiler/backend/semantics
Nov 14 15:01:38 Finished compiler/backend/semantics                           20m39s   3GB
Nov 14 15:01:40 Starting compiler/backend/reg_alloc/proofs
Nov 14 15:02:55 Finished compiler/backend/reg_alloc/proofs                     1m13s 394MB
Nov 14 15:02:57 Starting compiler/backend/proofs
Nov 14 16:20:28 Finished compiler/backend/proofs                            1h17m29s   3GB
Nov 14 16:20:29 Starting compiler/encoders/x64/proofs
Nov 14 16:32:46 Finished compiler/encoders/x64/proofs                         12m14s   1GB
Nov 14 16:32:47 Starting compiler/encoders/arm6/proofs
Nov 14 16:47:36 Finished compiler/encoders/arm6/proofs                        14m47s   3GB
Nov 14 16:47:38 Starting compiler/encoders/arm8/proofs
Nov 14 16:57:41 Finished compiler/encoders/arm8/proofs                        10m02s 994MB
Nov 14 16:57:43 Starting compiler/encoders/mips/proofs
Nov 14 17:12:02 Finished compiler/encoders/mips/proofs                        13m57s   2GB
Nov 14 17:12:24 Starting compiler/encoders/riscv/proofs
Nov 14 17:27:09 Finished compiler/encoders/riscv/proofs                       14m43s   1GB
Nov 14 17:27:10 Starting compiler/backend/x64/proofs
Nov 14 17:28:07 Finished compiler/backend/x64/proofs                             54s   1GB
Nov 14 17:28:08 Starting compiler/backend/arm6/proofs
Nov 14 17:29:10 Finished compiler/backend/arm6/proofs                          1m00s   1GB
Nov 14 17:29:12 Starting compiler/backend/arm8/proofs
Nov 14 17:30:09 Finished compiler/backend/arm8/proofs                            55s   1GB
Nov 14 17:30:11 Starting compiler/backend/mips/proofs
Nov 14 17:31:09 Finished compiler/backend/mips/proofs                            57s   1GB
Nov 14 17:31:31 Starting compiler/backend/riscv/proofs
Nov 14 17:32:31 Finished compiler/backend/riscv/proofs                           58s   1GB
Nov 14 17:32:32 Starting compiler/proofs
Nov 14 17:34:23 Finished compiler/proofs                                       1m48s   1GB
Nov 14 17:34:24 Starting candle/set-theory
Nov 14 17:36:12 Finished candle/set-theory                                     1m45s 617MB
Nov 14 17:36:13 Starting candle/syntax-lib
Nov 14 17:36:36 Finished candle/syntax-lib                                       21s 555MB
Nov 14 17:36:37 Starting candle/standard/syntax
Nov 14 17:39:46 Finished candle/standard/syntax                                3m06s 954MB
Nov 14 17:39:47 Starting candle/standard/semantics
Nov 14 17:42:24 Finished candle/standard/semantics                             2m35s 708MB
Nov 14 17:42:26 Starting candle/standard/monadic
Nov 14 17:45:21 Finished candle/standard/monadic                               2m54s 861MB
Nov 14 17:45:23 Starting candle/standard/ml_kernel
Nov 14 17:57:30 Finished candle/standard/ml_kernel                            12m05s   2GB
Nov 14 17:57:32 Starting candle/standard/opentheory
Nov 14 17:58:06 Finished candle/standard/opentheory                              33s 579MB
Nov 14 17:58:28 Starting characteristic/examples
Nov 14 18:00:37 Finished characteristic/examples                               2m07s   1GB
Nov 14 18:00:39 Starting tutorial/solutions
Nov 14 18:36:17 Finished tutorial/solutions                                   35m36s  12GB
Nov 14 18:36:18 Starting examples
Nov 14 18:45:26 Finished examples                                              9m06s   3GB
Nov 14 18:45:28 Starting examples/compilation
Nov 14 23:13:17 Finished examples/compilation                               4h27m47s   9GB
Nov 14 23:13:18 Starting examples/compilation/proofs
Nov 14 23:19:02 Finished examples/compilation/proofs                           5m42s   3GB
Nov 14 23:19:04 Starting compiler/benchmarks
Nov 15 01:12:02 Finished compiler/benchmarks                                1h52m36s  15GB
Nov 15 01:12:04 Starting translator/okasaki-examples
Nov 15 01:20:03 Finished translator/okasaki-examples                           7m58s   1GB
Nov 15 01:20:05 Starting translator/other-examples
Nov 15 01:27:20 Finished translator/other-examples                             7m13s 989MB
Nov 15 01:27:21 Starting compiler/parsing/tests
Nov 15 01:28:23 Finished compiler/parsing/tests                                  40s 346MB
Nov 15 01:28:25 Starting compiler/bootstrap/translation
Nov 15 10:01:14 Resuming compiler/bootstrap/translation
Nov 15 10:01:25 Finished compiler/bootstrap/translation                           9s  20MB
Nov 15 10:01:27 Starting compiler/bootstrap/translation/x64
Nov 15 10:21:27 Finished compiler/bootstrap/translation/x64                   19m57s  21GB
Nov 15 10:21:28 Starting compiler/bootstrap/compilation/x64
Nov 16 06:02:18 Finished compiler/bootstrap/compilation/x64                19h40m48s  91GB
Nov 16 06:02:20 Starting compiler/bootstrap/compilation/x64/proofs
Nov 16 06:05:22 Finished compiler/bootstrap/compilation/x64/proofs             3m00s  20GB
Nov 16 06:05:23 Starting compiler/bootstrap/translation/riscv
Nov 16 06:27:26 Finished compiler/bootstrap/translation/riscv                 22m00s  23GB
Nov 16 06:27:28 Starting compiler/bootstrap/compilation/riscv
Nov 17 05:42:38 Finished compiler/bootstrap/compilation/riscv              23h14m49s  91GB
Nov 17 05:42:40 SUCCESS