Job 311

CakeML:dace3f57c7e04cd9a196a305ab2836e9e6bd070a
  Fix bvl_const translation [May 02 08:54:51]
HOL:3edf2416b470df49b3928c6cc54c54e71e6c5c60
  Make early Description text more Unicode aware [May 02 07:14:03]
Machine:cakeml1798 4.4.0-98-generic x86_64 GNU/Linux
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz

May 02 17:45:26 Claimed job
May 02 17:45:45 Building HOL
May 02 17:59:29 Starting developers/bin
May 02 17:59:43 Finished developers/bin                                          12s 136MB
May 02 17:59:45 Starting semantics/ffi
May 02 18:00:58 Finished semantics/ffi                                         1m11s 364MB
May 02 18:01:00 Starting semantics
May 02 18:03:38 Finished semantics                                             2m35s   1GB
May 02 18:03:40 Starting semantics/proofs
May 02 18:07:10 Finished semantics/proofs                                      3m28s   1GB
May 02 18:07:12 Starting basis/pure
May 02 18:13:45 Finished basis/pure                                            6m30s 661MB
May 02 18:13:47 Starting translator
May 02 18:21:11 Finished translator                                            7m21s   1GB
May 02 18:21:13 Starting compiler/parsing
May 02 18:23:36 Finished compiler/parsing                                      2m21s   1GB
May 02 18:23:38 Starting characteristic
May 02 18:28:32 Finished characteristic                                        4m51s   1GB
May 02 18:28:34 Starting basis
May 02 19:00:40 Finished basis                                                32m03s   3GB
May 02 19:00:42 Starting translator/monadic
May 02 19:00:46 Finished translator/monadic                                       1s  12MB
May 02 19:00:48 Starting compiler/inference
May 02 19:03:42 Finished compiler/inference                                    2m51s   1GB
May 02 19:03:44 Starting compiler/backend/reg_alloc
May 02 19:04:34 Finished compiler/backend/reg_alloc                              48s 754MB
May 02 19:04:36 Starting compiler/backend/gc
May 02 19:20:56 Finished compiler/backend/gc                                  16m17s   3GB
May 02 19:20:58 Starting compiler/backend
May 02 19:21:03 Finished compiler/backend                                         3s  15MB
May 02 19:21:05 Starting compiler/encoders/asm
May 02 19:21:07 Finished compiler/encoders/asm                                    0s  11MB
May 02 19:21:09 Starting compiler/encoders/x64
May 02 19:22:45 Finished compiler/encoders/x64                                 1m33s 524MB
May 02 19:22:47 Starting compiler/encoders/arm6
May 02 19:26:10 Finished compiler/encoders/arm6                                3m21s   1GB
May 02 19:26:12 Starting compiler/encoders/arm8
May 02 19:27:01 Finished compiler/encoders/arm8                                  46s 418MB
May 02 19:27:03 Starting compiler/encoders/mips
May 02 19:28:52 Finished compiler/encoders/mips                                1m46s 731MB
May 02 19:28:54 Starting compiler/encoders/riscv
May 02 19:30:40 Finished compiler/encoders/riscv                               1m44s 545MB
May 02 19:30:42 Starting compiler/backend/x64
May 02 19:31:18 Finished compiler/backend/x64                                    33s   1GB
May 02 19:31:19 Starting compiler/backend/arm6
May 02 19:32:00 Finished compiler/backend/arm6                                   38s   1GB
May 02 19:32:02 Starting compiler/backend/arm8
May 02 19:32:38 Finished compiler/backend/arm8                                   34s   1GB
May 02 19:32:40 Starting compiler/backend/mips
May 02 19:33:18 Finished compiler/backend/mips                                   35s   1GB
May 02 19:33:20 Starting compiler/backend/riscv
May 02 19:33:58 Finished compiler/backend/riscv                                  36s 901MB
May 02 19:34:00 Starting compiler/parsing/proofs
May 02 19:38:40 Finished compiler/parsing/proofs                               4m38s 917MB
May 02 19:38:42 Starting compiler/inference/proofs
May 02 19:43:07 Finished compiler/inference/proofs                             4m22s   1GB
May 02 19:43:09 Starting compiler/backend/semantics
May 02 20:04:22 Finished compiler/backend/semantics                           21m10s   2GB
May 02 20:04:24 Starting compiler/backend/reg_alloc/proofs
May 02 20:05:41 Finished compiler/backend/reg_alloc/proofs                     1m15s 538MB
May 02 20:05:43 Starting compiler/backend/proofs
May 02 21:07:28 Finished compiler/backend/proofs                            1h01m42s   3GB
May 02 21:07:30 Starting compiler/encoders/x64/proofs
May 02 21:20:15 Finished compiler/encoders/x64/proofs                         12m42s   1GB
May 02 21:20:17 Starting compiler/encoders/arm6/proofs
May 02 21:33:58 Finished compiler/encoders/arm6/proofs                        13m38s   2GB
May 02 21:34:00 Starting compiler/encoders/arm8/proofs
May 02 21:43:30 Finished compiler/encoders/arm8/proofs                         9m28s   1GB
May 02 21:43:32 Starting compiler/encoders/mips/proofs
May 02 21:56:18 Finished compiler/encoders/mips/proofs                        12m44s   2GB
May 02 21:56:20 Starting compiler/encoders/riscv/proofs
May 02 22:10:17 Finished compiler/encoders/riscv/proofs                       13m54s   1GB
May 02 22:10:19 Starting compiler/backend/x64/proofs
May 02 22:10:59 Finished compiler/backend/x64/proofs                             38s   1GB
May 02 22:11:01 Starting compiler/backend/arm6/proofs
May 02 22:11:45 Finished compiler/backend/arm6/proofs                            41s   1GB
May 02 22:11:47 Starting compiler/backend/arm8/proofs
May 02 22:12:27 Finished compiler/backend/arm8/proofs                            38s   1GB
May 02 22:12:29 Starting compiler/backend/mips/proofs
May 02 22:13:12 Finished compiler/backend/mips/proofs                            40s   1GB
May 02 22:13:14 Starting compiler/backend/riscv/proofs
May 02 22:13:54 Finished compiler/backend/riscv/proofs                           38s   1GB
May 02 22:13:56 Starting compiler/proofs
May 02 22:16:30 Finished compiler/proofs                                       2m31s   2GB
May 02 22:16:32 Starting candle/set-theory
May 02 22:18:18 Finished candle/set-theory                                     1m44s 561MB
May 02 22:18:20 Starting candle/syntax-lib
May 02 22:18:41 Finished candle/syntax-lib                                       19s 578MB
May 02 22:18:43 Starting candle/standard/syntax
May 02 22:21:43 Finished candle/standard/syntax                                2m57s 599MB
May 02 22:21:45 Starting candle/standard/semantics
May 02 22:24:11 Finished candle/standard/semantics                             2m24s 743MB
May 02 22:24:13 Starting candle/standard/monadic
May 02 22:26:54 Finished candle/standard/monadic                               2m39s 889MB
May 02 22:26:56 Starting candle/standard/ml_kernel
May 02 22:38:22 Finished candle/standard/ml_kernel                            11m23s   2GB
May 02 22:38:23 Starting candle/standard/opentheory
May 02 22:38:53 Finished candle/standard/opentheory                              27s 652MB
May 02 22:38:55 Starting characteristic/examples
May 02 22:41:34 Finished characteristic/examples                               2m37s   1GB
May 02 22:41:36 Starting tutorial/solutions
May 03 23:38:33 Resuming tutorial/solutions
May 03 23:38:40 Finished tutorial/solutions                                       5s  15MB
May 03 23:38:43 Starting translator/monadic/examples
May 03 23:41:55 Finished translator/monadic/examples                           3m10s   2GB
May 03 23:41:57 Starting examples
May 03 23:51:00 Finished examples                                              8m58s   3GB
May 03 23:51:02 Starting examples/compilation
May 04 06:22:31 Finished examples/compilation                               6h31m26s  21GB
May 04 06:22:33 Starting examples/compilation/proofs
May 04 06:29:02 Finished examples/compilation/proofs                           6m25s   5GB
May 04 06:29:04 Starting compiler/benchmarks
May 04 06:29:06 Finished compiler/benchmarks                                      0s   6MB
May 04 06:29:08 Starting translator/okasaki-examples
May 04 06:36:24 Finished translator/okasaki-examples                           7m13s   1GB
May 04 06:36:27 Starting translator/other-examples
May 04 06:43:40 Finished translator/other-examples                             7m11s 733MB
May 04 06:43:42 Starting compiler/parsing/tests
May 04 06:44:27 Finished compiler/parsing/tests                                  42s 323MB
May 04 06:44:29 Starting compiler/bootstrap/translation
May 04 15:38:19 Finished compiler/bootstrap/translation                     8h53m47s  46GB
May 04 15:38:22 Starting unverified/sexpr-bootstrap/x64/64
May 04 15:49:09 Finished unverified/sexpr-bootstrap/x64/64                    10m40s  14GB
May 04 15:49:11 Starting unverified/sexpr-bootstrap/x64/32
May 04 15:58:02 Finished unverified/sexpr-bootstrap/x64/32                     8m42s  14GB
May 04 15:58:04 Starting compiler/bootstrap/compilation/x64/64
May 08 02:29:33 Resuming compiler/bootstrap/compilation/x64/64