Job 37

CakeML:e612f2ce2dc6eee95090ade2d98f3e9f37b0ff3b
  Make translator generate TC_string for mlstring type [Nov 21 10:25:11]
#387 (ffi-inner)
Merging into:dddc90697053484d9719b005cc06edb0624ea1ff
  Precompute charset_sing for grep [Nov 22 09:30:02]
HOL:55ec86f14c6689ab158f12ef0d7818adfea3a160
  More useful theorems about the rationals [Nov 20 05:27:18]
Machine:cakeml1798 4.4.0-98-generic x86_64 GNU/Linux

Nov 22 09:32:44 Claimed job
Nov 22 09:32:53 Building HOL
Nov 22 09:47:00 Starting semantics/ffi
Nov 22 09:48:19 Finished semantics/ffi                                         1m16s 492MB
Nov 22 09:48:21 Starting semantics
Nov 22 09:51:23 Finished semantics                                             2m59s   1GB
Nov 22 09:51:25 Starting semantics/proofs
Nov 22 09:55:24 Finished semantics/proofs                                      3m57s   1GB
Nov 22 09:55:26 Starting basis/pure
Nov 22 10:01:50 Finished basis/pure                                            6m21s 590MB
Nov 22 10:01:52 Starting translator
Nov 22 10:09:17 Finished translator                                            7m23s 939MB
Nov 22 10:09:19 Starting compiler/parsing
Nov 22 10:11:53 Finished compiler/parsing                                      2m31s   2GB
Nov 22 10:11:55 Starting characteristic
Nov 22 10:16:42 Finished characteristic                                        4m44s   1GB
Nov 22 10:16:44 Starting basis
Nov 22 10:45:15 Finished basis                                                28m30s   2GB
Nov 22 10:45:17 Starting translator/monadic
Nov 22 10:49:03 Finished translator/monadic                                    3m44s   1GB
Nov 22 10:49:05 Starting compiler/inference
Nov 22 10:52:02 Finished compiler/inference                                    2m54s   1GB
Nov 22 10:52:04 Starting compiler/backend/reg_alloc
Nov 22 10:52:53 Finished compiler/backend/reg_alloc                              47s 839MB
Nov 22 10:52:55 Starting compiler/backend/gc
Nov 22 11:09:33 Finished compiler/backend/gc                                  16m35s   2GB
Nov 22 11:09:35 Starting compiler/backend
Nov 22 11:09:39 Finished compiler/backend                                         1s  14MB
Nov 22 11:09:41 Starting compiler/encoders/asm
Nov 22 11:09:43 Finished compiler/encoders/asm                                    0s  11MB
Nov 22 11:09:45 Starting compiler/encoders/x64
Nov 22 11:11:03 Finished compiler/encoders/x64                                 1m16s 464MB
Nov 22 11:11:05 Starting compiler/encoders/arm6
Nov 22 11:14:10 Finished compiler/encoders/arm6                                3m03s   1GB
Nov 22 11:14:12 Starting compiler/encoders/arm8
Nov 22 11:15:03 Finished compiler/encoders/arm8                                  48s 406MB
Nov 22 11:15:05 Starting compiler/encoders/mips
Nov 22 11:16:31 Finished compiler/encoders/mips                                1m24s 635MB
Nov 22 11:16:33 Starting compiler/encoders/riscv
Nov 22 11:18:10 Finished compiler/encoders/riscv                               1m35s 482MB
Nov 22 11:18:12 Starting compiler/backend/x64
Nov 22 11:18:58 Finished compiler/backend/x64                                    43s   1GB
Nov 22 11:19:00 Starting compiler/backend/arm6
Nov 22 11:19:51 Finished compiler/backend/arm6                                   48s   1GB
Nov 22 11:19:53 Starting compiler/backend/arm8
Nov 22 11:20:40 Finished compiler/backend/arm8                                   45s 947MB
Nov 22 11:20:42 Starting compiler/backend/mips
Nov 22 11:21:29 Finished compiler/backend/mips                                   45s   1GB
Nov 22 11:21:31 Starting compiler/backend/riscv
Nov 22 11:22:16 Finished compiler/backend/riscv                                  42s 903MB
Nov 22 11:22:18 Starting compiler/parsing/proofs
Nov 22 11:27:10 Finished compiler/parsing/proofs                               4m49s 672MB
Nov 22 11:27:12 Starting compiler/inference/proofs
Nov 22 11:31:44 Finished compiler/inference/proofs                             4m30s   1GB
Nov 22 11:31:46 Starting compiler/backend/semantics
Nov 22 11:51:39 Finished compiler/backend/semantics                           19m51s   2GB
Nov 22 11:51:41 Starting compiler/backend/reg_alloc/proofs
Nov 22 11:52:55 Finished compiler/backend/reg_alloc/proofs                     1m12s 384MB
Nov 22 11:52:57 Starting compiler/backend/proofs
Nov 22 13:06:57 Finished compiler/backend/proofs                            1h13m57s   4GB
Nov 22 13:06:59 Starting compiler/encoders/x64/proofs
Nov 22 13:18:44 Finished compiler/encoders/x64/proofs                         11m43s   1GB
Nov 22 13:18:46 Starting compiler/encoders/arm6/proofs
Nov 22 13:33:04 Finished compiler/encoders/arm6/proofs                        14m15s   3GB
Nov 22 13:33:06 Starting compiler/encoders/arm8/proofs
Nov 22 13:42:58 Finished compiler/encoders/arm8/proofs                         9m50s   1GB
Nov 22 13:43:00 Starting compiler/encoders/mips/proofs
Nov 22 13:56:40 Finished compiler/encoders/mips/proofs                        13m37s   1GB
Nov 22 13:56:42 Starting compiler/encoders/riscv/proofs
Nov 22 14:11:37 Finished compiler/encoders/riscv/proofs                       14m51s   1GB
Nov 22 14:11:39 Starting compiler/backend/x64/proofs
Nov 22 14:12:33 Finished compiler/backend/x64/proofs                             52s   1GB
Nov 22 14:12:35 Starting compiler/backend/arm6/proofs
Nov 22 14:13:39 Finished compiler/backend/arm6/proofs                          1m02s   1GB
Nov 22 14:13:41 Starting compiler/backend/arm8/proofs
Nov 22 14:14:37 Finished compiler/backend/arm8/proofs                            54s   1GB
Nov 22 14:14:39 Starting compiler/backend/mips/proofs
Nov 22 14:15:36 Finished compiler/backend/mips/proofs                            53s   1GB
Nov 22 14:15:38 Starting compiler/backend/riscv/proofs
Nov 22 14:16:34 Finished compiler/backend/riscv/proofs                           53s   1GB
Nov 22 14:16:36 Starting compiler/proofs
Nov 22 14:18:26 Finished compiler/proofs                                       1m48s   1GB
Nov 22 14:18:28 Starting candle/set-theory
Nov 22 14:20:14 Finished candle/set-theory                                     1m44s 573MB
Nov 22 14:20:16 Starting candle/syntax-lib
Nov 22 14:20:39 Finished candle/syntax-lib                                       20s 473MB
Nov 22 14:20:41 Starting candle/standard/syntax
Nov 22 14:23:48 Finished candle/standard/syntax                                3m05s 565MB
Nov 22 14:23:50 Starting candle/standard/semantics
Nov 22 14:26:22 Finished candle/standard/semantics                             2m30s 889MB
Nov 22 14:26:24 Starting candle/standard/monadic
Nov 22 14:29:24 Finished candle/standard/monadic                               2m58s   1GB
Nov 22 14:29:26 Starting candle/standard/ml_kernel
Nov 22 14:41:16 Finished candle/standard/ml_kernel                            11m47s   2GB
Nov 22 14:41:18 Starting candle/standard/opentheory
Nov 22 14:41:52 Finished candle/standard/opentheory                              32s 707MB
Nov 22 14:41:54 Starting characteristic/examples
Nov 22 14:44:10 Finished characteristic/examples                               2m14s   1GB
Nov 22 14:44:12 Starting tutorial/solutions
Nov 22 15:17:14 Finished tutorial/solutions                                   32m59s   9GB
Nov 22 15:17:16 Starting examples
Nov 22 15:24:58 Finished examples                                              7m40s   3GB
Nov 22 15:25:00 Starting examples/compilation
Nov 22 20:16:40 Finished examples/compilation                               4h51m37s  17GB
Nov 22 20:16:42 Starting examples/compilation/proofs
Nov 22 20:22:18 Finished examples/compilation/proofs                           5m34s   4GB
Nov 22 20:22:20 Starting compiler/benchmarks
Nov 22 22:10:16 Finished compiler/benchmarks                                1h47m52s  13GB
Nov 22 22:10:18 Starting translator/okasaki-examples
Nov 22 22:18:00 Finished translator/okasaki-examples                           7m40s   1GB
Nov 22 22:18:02 Starting translator/other-examples
Nov 22 22:25:01 Finished translator/other-examples                             6m56s 889MB
Nov 22 22:25:03 Starting compiler/parsing/tests
Nov 22 22:25:45 Finished compiler/parsing/tests                                  40s 355MB
Nov 22 22:25:47 Starting compiler/bootstrap/translation
Nov 23 06:25:03 Finished compiler/bootstrap/translation                     7h59m14s  44GB
Nov 23 06:25:05 Starting compiler/bootstrap/translation/x64
Nov 23 06:43:16 Finished compiler/bootstrap/translation/x64                   18m09s  26GB
Nov 23 06:43:19 Starting compiler/bootstrap/compilation/x64
Nov 24 03:24:07 Finished compiler/bootstrap/compilation/x64                20h40m45s  83GB
Nov 24 03:24:09 Starting compiler/bootstrap/compilation/x64/proofs
Nov 24 03:27:10 Finished compiler/bootstrap/compilation/x64/proofs             2m59s  20GB
Nov 24 03:27:12 Starting compiler/bootstrap/translation/riscv
Nov 24 03:49:19 Finished compiler/bootstrap/translation/riscv                 22m04s  39GB
Nov 24 03:49:21 Starting compiler/bootstrap/compilation/riscv
Nov 24 21:53:54 Finished compiler/bootstrap/compilation/riscv              18h04m31s  85GB
Nov 24 21:53:56 SUCCESS