Job 35

CakeML:15ecde40a99efdaa5e60f12fa5da9c82e3d0069d
  Precompute charset_sing for grep [Nov 21 17:13:19]
#388 (grep)
Merging into:de1a9c9091a35102041035a513fdb4a67afc0a06
  Make x64 .S template more robust against PIC [Nov 21 05:14:51]
HOL:55ec86f14c6689ab158f12ef0d7818adfea3a160
  More useful theorems about the rationals [Nov 20 05:27:18]
Machine:cakeml1795 4.4.0-98-generic x86_64 GNU/Linux

Nov 21 22:09:45 Claimed job
Nov 21 22:09:55 Building HOL
Nov 21 22:22:41 Starting semantics/ffi
Nov 21 22:23:50 Finished semantics/ffi                                         1m06s 350MB
Nov 21 22:23:52 Starting semantics
Nov 21 22:26:39 Finished semantics                                             2m44s   1GB
Nov 21 22:26:41 Starting semantics/proofs
Nov 21 22:30:11 Finished semantics/proofs                                      3m29s   1GB
Nov 21 22:30:13 Starting basis/pure
Nov 21 22:36:15 Finished basis/pure                                            5m59s 601MB
Nov 21 22:36:17 Starting translator
Nov 21 22:43:27 Finished translator                                            7m07s   1GB
Nov 21 22:43:29 Starting compiler/parsing
Nov 21 22:45:56 Finished compiler/parsing                                      2m25s   1GB
Nov 21 22:45:58 Starting characteristic
Nov 21 22:50:47 Finished characteristic                                        4m46s   1GB
Nov 21 22:50:49 Starting basis
Nov 21 23:18:24 Finished basis                                                27m33s   2GB
Nov 21 23:18:26 Starting translator/monadic
Nov 21 23:22:11 Finished translator/monadic                                    3m42s   1GB
Nov 21 23:22:13 Starting compiler/inference
Nov 21 23:25:10 Finished compiler/inference                                    2m55s 893MB
Nov 21 23:25:12 Starting compiler/backend/reg_alloc
Nov 21 23:26:03 Finished compiler/backend/reg_alloc                              48s 827MB
Nov 21 23:26:05 Starting compiler/backend/gc
Nov 21 23:42:30 Finished compiler/backend/gc                                  16m22s   2GB
Nov 21 23:42:32 Starting compiler/backend
Nov 21 23:42:36 Finished compiler/backend                                         1s  14MB
Nov 21 23:42:37 Starting compiler/encoders/asm
Nov 21 23:42:40 Finished compiler/encoders/asm                                    0s  17MB
Nov 21 23:42:42 Starting compiler/encoders/x64
Nov 21 23:44:02 Finished compiler/encoders/x64                                 1m17s 420MB
Nov 21 23:44:04 Starting compiler/encoders/arm6
Nov 21 23:47:08 Finished compiler/encoders/arm6                                3m02s   1GB
Nov 21 23:47:10 Starting compiler/encoders/arm8
Nov 21 23:47:59 Finished compiler/encoders/arm8                                  47s 379MB
Nov 21 23:48:01 Starting compiler/encoders/mips
Nov 21 23:49:26 Finished compiler/encoders/mips                                1m23s 615MB
Nov 21 23:49:28 Starting compiler/encoders/riscv
Nov 21 23:51:05 Finished compiler/encoders/riscv                               1m35s 514MB
Nov 21 23:51:07 Starting compiler/backend/x64
Nov 21 23:51:53 Finished compiler/backend/x64                                    43s   1GB
Nov 21 23:51:55 Starting compiler/backend/arm6
Nov 21 23:52:43 Finished compiler/backend/arm6                                   46s   1GB
Nov 21 23:52:45 Starting compiler/backend/arm8
Nov 21 23:53:29 Finished compiler/backend/arm8                                   41s   1GB
Nov 21 23:53:31 Starting compiler/backend/mips
Nov 21 23:54:17 Finished compiler/backend/mips                                   44s   1GB
Nov 21 23:54:19 Starting compiler/backend/riscv
Nov 21 23:55:05 Finished compiler/backend/riscv                                  44s   1GB
Nov 21 23:55:07 Starting compiler/parsing/proofs
Nov 21 23:59:57 Finished compiler/parsing/proofs                               4m47s 597MB
Nov 21 23:59:59 Starting compiler/inference/proofs
Nov 22 00:04:20 Finished compiler/inference/proofs                             4m19s   1GB
Nov 22 00:04:22 Starting compiler/backend/semantics
Nov 22 00:23:37 Finished compiler/backend/semantics                           19m13s   3GB
Nov 22 00:23:39 Starting compiler/backend/reg_alloc/proofs
Nov 22 00:24:54 Finished compiler/backend/reg_alloc/proofs                     1m12s 374MB
Nov 22 00:24:56 Starting compiler/backend/proofs
Nov 22 01:38:03 Finished compiler/backend/proofs                            1h13m05s   4GB
Nov 22 01:38:05 Starting compiler/encoders/x64/proofs
Nov 22 01:49:52 Finished compiler/encoders/x64/proofs                         11m45s   1GB
Nov 22 01:49:54 Starting compiler/encoders/arm6/proofs
Nov 22 02:03:48 Finished compiler/encoders/arm6/proofs                        13m52s   3GB
Nov 22 02:03:50 Starting compiler/encoders/arm8/proofs
Nov 22 02:13:16 Finished compiler/encoders/arm8/proofs                         9m23s   1GB
Nov 22 02:13:18 Starting compiler/encoders/mips/proofs
Nov 22 02:26:47 Finished compiler/encoders/mips/proofs                        13m27s   1GB
Nov 22 02:26:49 Starting compiler/encoders/riscv/proofs
Nov 22 02:40:59 Finished compiler/encoders/riscv/proofs                       14m07s 800MB
Nov 22 02:41:01 Starting compiler/backend/x64/proofs
Nov 22 02:41:56 Finished compiler/backend/x64/proofs                             53s   1GB
Nov 22 02:41:58 Starting compiler/backend/arm6/proofs
Nov 22 02:42:56 Finished compiler/backend/arm6/proofs                            55s   1GB
Nov 22 02:42:58 Starting compiler/backend/arm8/proofs
Nov 22 02:43:50 Finished compiler/backend/arm8/proofs                            50s   1GB
Nov 22 02:43:52 Starting compiler/backend/mips/proofs
Nov 22 02:44:47 Finished compiler/backend/mips/proofs                            52s   1GB
Nov 22 02:44:49 Starting compiler/backend/riscv/proofs
Nov 22 02:45:44 Finished compiler/backend/riscv/proofs                           52s   1GB
Nov 22 02:45:46 Starting compiler/proofs
Nov 22 02:47:39 Finished compiler/proofs                                       1m50s   1GB
Nov 22 02:47:40 Starting candle/set-theory
Nov 22 02:49:26 Finished candle/set-theory                                     1m43s 569MB
Nov 22 02:49:28 Starting candle/syntax-lib
Nov 22 02:49:52 Finished candle/syntax-lib                                       21s 575MB
Nov 22 02:49:54 Starting candle/standard/syntax
Nov 22 02:52:58 Finished candle/standard/syntax                                3m02s 571MB
Nov 22 02:53:00 Starting candle/standard/semantics
Nov 22 02:55:30 Finished candle/standard/semantics                             2m28s 695MB
Nov 22 02:55:32 Starting candle/standard/monadic
Nov 22 02:58:22 Finished candle/standard/monadic                               2m47s 976MB
Nov 22 02:58:24 Starting candle/standard/ml_kernel
Nov 22 03:09:55 Finished candle/standard/ml_kernel                            11m29s   2GB
Nov 22 03:09:57 Starting candle/standard/opentheory
Nov 22 03:10:29 Finished candle/standard/opentheory                              29s 637MB
Nov 22 03:10:31 Starting characteristic/examples
Nov 22 03:12:42 Finished characteristic/examples                               2m09s   1GB
Nov 22 03:12:44 Starting tutorial/solutions
Nov 22 03:45:49 Finished tutorial/solutions                                   33m02s   8GB
Nov 22 03:45:50 Starting examples
Nov 22 03:53:48 Finished examples                                              7m55s   2GB
Nov 22 03:53:50 Starting examples/compilation
Nov 22 08:44:55 Finished examples/compilation                               4h51m03s  21GB
Nov 22 08:44:57 Starting examples/compilation/proofs
Nov 22 08:50:14 Finished examples/compilation/proofs                           5m13s   3GB
Nov 22 08:50:15 Starting compiler/benchmarks
Nov 22 10:34:45 Finished compiler/benchmarks                                1h44m27s  20GB
Nov 22 10:34:47 Starting translator/okasaki-examples
Nov 22 10:42:07 Finished translator/okasaki-examples                           7m18s   1GB
Nov 22 10:42:09 Starting translator/other-examples
Nov 22 10:49:05 Finished translator/other-examples                             6m53s 884MB
Nov 22 10:49:06 Starting compiler/parsing/tests
Nov 22 10:49:46 Finished compiler/parsing/tests                                  37s 357MB
Nov 22 10:49:48 Starting compiler/bootstrap/translation
Nov 22 18:12:46 Finished compiler/bootstrap/translation                     7h22m55s  32GB
Nov 22 18:12:48 Starting compiler/bootstrap/translation/x64
Nov 22 18:31:00 Finished compiler/bootstrap/translation/x64                   18m09s  37GB
Nov 22 18:31:02 Starting compiler/bootstrap/compilation/x64
Nov 23 10:45:49 Finished compiler/bootstrap/compilation/x64                16h14m45s  85GB
Nov 23 10:45:51 Starting compiler/bootstrap/compilation/x64/proofs
Nov 23 10:48:16 Finished compiler/bootstrap/compilation/x64/proofs             2m22s  18GB
Nov 23 10:48:18 Starting compiler/bootstrap/translation/riscv
Nov 23 11:06:23 Finished compiler/bootstrap/translation/riscv                 18m03s  24GB
Nov 23 11:06:25 Starting compiler/bootstrap/compilation/riscv
Nov 24 04:15:08 Finished compiler/bootstrap/compilation/riscv              17h08m41s  89GB
Nov 24 04:15:10 SUCCESS