Job 598

CakeML:f6e02b6b057b9173dca74ea2e7e68079fb93ff4e
  Fix word_to_wordProof's priming in light of recent HOL changes [Nov 30 05:06:25]
#566 (readme)
Merging into:a7e803bc39701bb773e4af9641cbd7b9ec8c42ed
  Fix word_to_wordProof's priming in light of recent HOL changes [Nov 30 05:01:33]
HOL:8649983c4924097c8a62e531247200c9bf24067c
  Fix bug in lexing of strings like x'0 followed by symbolic chars [Nov 29 10:32:10]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Nov 30 05:07:20 Claimed job
Nov 30 05:07:25 Reusing HOL
Nov 30 05:07:33 Starting developers
Nov 30 05:07:34 Finished developers                                               0s  19MB
Nov 30 05:07:35 Starting developers/bin
Nov 30 05:08:13 Finished developers/bin                                          37s 202MB
Nov 30 05:08:14 Starting semantics/ffi
Nov 30 05:08:26 Finished semantics/ffi                                           11s 263MB
Nov 30 05:08:27 Starting semantics
Nov 30 05:09:49 Finished semantics                                             1m21s 922MB
Nov 30 05:09:50 Starting semantics/proofs
Nov 30 05:13:34 Finished semantics/proofs                                      3m42s   1GB
Nov 30 05:13:34 Starting basis/pure
Nov 30 05:14:25 Finished basis/pure                                              50s 977MB
Nov 30 05:14:26 Starting translator
Nov 30 05:15:43 Finished translator                                            1m16s 904MB
Nov 30 05:15:44 Starting compiler/parsing
Nov 30 05:17:11 Finished compiler/parsing                                      1m26s   1GB
Nov 30 05:17:12 Starting characteristic
Nov 30 05:20:01 Finished characteristic                                        2m48s   1GB
Nov 30 05:20:02 Starting translator/monadic
Nov 30 05:21:31 Finished translator/monadic                                    1m28s   2GB
Nov 30 05:21:32 Starting basis
Nov 30 05:37:39 Finished basis                                                16m06s   2GB
Nov 30 05:37:40 Starting compiler/inference
Nov 30 05:39:06 Finished compiler/inference                                    1m25s   1GB
Nov 30 05:39:07 Starting compiler/backend/reg_alloc
Nov 30 05:39:53 Finished compiler/backend/reg_alloc                              45s 959MB
Nov 30 05:39:54 Starting compiler/backend/gc
Nov 30 05:46:19 Finished compiler/backend/gc                                   6m23s   1GB
Nov 30 05:46:20 Starting compiler/backend
Nov 30 05:46:22 Finished compiler/backend                                         1s  27MB
Nov 30 05:46:23 Starting compiler/encoders/asm
Nov 30 05:46:25 Finished compiler/encoders/asm                                    0s  17MB
Nov 30 05:46:25 Starting compiler/encoders/x64
Nov 30 05:46:42 Finished compiler/encoders/x64                                   15s 397MB
Nov 30 05:46:43 Starting compiler/encoders/arm6
Nov 30 05:47:28 Finished compiler/encoders/arm6                                  44s 354MB
Nov 30 05:47:28 Starting compiler/encoders/arm8
Nov 30 05:47:36 Finished compiler/encoders/arm8                                   7s 378MB
Nov 30 05:47:37 Starting compiler/encoders/mips
Nov 30 05:47:47 Finished compiler/encoders/mips                                   8s 515MB
Nov 30 05:47:47 Starting compiler/encoders/riscv
Nov 30 05:47:57 Finished compiler/encoders/riscv                                  8s 401MB
Nov 30 05:47:57 Starting compiler/encoders/ag32
Nov 30 05:48:14 Finished compiler/encoders/ag32                                  15s 531MB
Nov 30 05:48:15 Starting compiler/backend/x64
Nov 30 05:48:32 Finished compiler/backend/x64                                    16s   1GB
Nov 30 05:48:33 Starting compiler/backend/arm6
Nov 30 05:48:53 Finished compiler/backend/arm6                                   18s   1GB
Nov 30 05:48:53 Starting compiler/backend/arm8
Nov 30 05:49:12 Finished compiler/backend/arm8                                   17s   1GB
Nov 30 05:49:13 Starting compiler/backend/mips
Nov 30 05:49:30 Finished compiler/backend/mips                                   16s 911MB
Nov 30 05:49:31 Starting compiler/backend/riscv
Nov 30 05:49:48 Finished compiler/backend/riscv                                  16s 910MB
Nov 30 05:49:49 Starting compiler/backend/ag32
Nov 30 05:51:04 Finished compiler/backend/ag32                                 1m14s 949MB
Nov 30 05:51:05 Starting compiler/parsing/proofs
Nov 30 05:57:15 Finished compiler/parsing/proofs                               6m08s 888MB
Nov 30 05:57:15 Starting compiler/inference/proofs
Nov 30 06:00:08 Finished compiler/inference/proofs                             2m51s   1GB
Nov 30 06:00:09 Starting compiler/backend/semantics
Nov 30 06:09:13 Finished compiler/backend/semantics                            9m03s   2GB
Nov 30 06:09:14 Starting compiler/backend/reg_alloc/proofs
Nov 30 06:12:01 Finished compiler/backend/reg_alloc/proofs                     2m46s 455MB
Nov 30 06:12:02 Starting compiler/backend/proofs
Nov 30 06:59:07 Finished compiler/backend/proofs                              47m04s   3GB
Nov 30 06:59:08 Starting compiler/encoders/x64/proofs
Nov 30 07:10:20 Finished compiler/encoders/x64/proofs                         11m10s   4GB
Nov 30 07:10:20 Starting compiler/encoders/arm6/proofs
Nov 30 07:26:40 Finished compiler/encoders/arm6/proofs                        16m18s   3GB
Nov 30 07:26:41 Starting compiler/encoders/arm8/proofs
Nov 30 07:33:06 Finished compiler/encoders/arm8/proofs                         6m24s   1GB
Nov 30 07:33:07 Starting compiler/encoders/mips/proofs
Nov 30 07:44:10 Finished compiler/encoders/mips/proofs                        11m02s   2GB
Nov 30 07:44:11 Starting compiler/encoders/riscv/proofs
Nov 30 07:52:34 Finished compiler/encoders/riscv/proofs                        8m22s 835MB
Nov 30 07:52:35 Starting compiler/encoders/ag32/proofs
Nov 30 07:55:25 Finished compiler/encoders/ag32/proofs                         2m49s 661MB
Nov 30 07:55:25 Starting compiler/backend/x64/proofs
Nov 30 07:55:46 Finished compiler/backend/x64/proofs                             19s   1GB
Nov 30 07:55:47 Starting compiler/backend/arm6/proofs
Nov 30 07:56:09 Finished compiler/backend/arm6/proofs                            22s 951MB
Nov 30 07:56:10 Starting compiler/backend/arm8/proofs
Nov 30 07:56:30 Finished compiler/backend/arm8/proofs                            18s 746MB
Nov 30 07:56:31 Starting compiler/backend/mips/proofs
Nov 30 07:56:51 Finished compiler/backend/mips/proofs                            19s   1GB
Nov 30 07:56:52 Starting compiler/backend/riscv/proofs
Nov 30 07:57:13 Finished compiler/backend/riscv/proofs                           19s   1GB
Nov 30 07:57:13 Starting compiler/backend/ag32/proofs
Nov 30 08:07:27 Finished compiler/backend/ag32/proofs                         10m11s   2GB
Nov 30 08:07:28 Starting compiler/proofs
Nov 30 08:08:52 Finished compiler/proofs                                       1m23s   2GB
Nov 30 08:08:53 Starting candle/set-theory
Nov 30 08:09:19 Finished candle/set-theory                                       25s 601MB
Nov 30 08:09:20 Starting candle/syntax-lib
Nov 30 08:09:31 Finished candle/syntax-lib                                        9s 551MB
Nov 30 08:09:31 Starting candle/standard/syntax
Nov 30 08:11:07 Finished candle/standard/syntax                                1m34s 686MB
Nov 30 08:11:07 Starting candle/standard/semantics
Nov 30 08:12:29 Finished candle/standard/semantics                             1m20s 822MB
Nov 30 08:12:29 Starting candle/standard/monadic
Nov 30 08:14:09 Finished candle/standard/monadic                               1m38s 908MB
Nov 30 08:14:09 Starting candle/standard/ml_kernel
Nov 30 08:29:48 Finished candle/standard/ml_kernel                            15m37s   3GB
Nov 30 08:29:49 Starting candle/standard/opentheory
Nov 30 08:38:04 Finished candle/standard/opentheory                            8m14s   2GB
Nov 30 08:38:04 Starting candle/standard/opentheory/compilation
Nov 30 09:09:56 Finished candle/standard/opentheory/compilation               31m50s  25GB
Nov 30 09:09:56 Starting candle/standard/opentheory/compilation/proofs
Nov 30 09:10:34 Finished candle/standard/opentheory/compilation/proofs           36s   5GB
Nov 30 09:10:35 Starting characteristic/examples
Nov 30 09:12:04 Finished characteristic/examples                               1m28s   2GB
Nov 30 09:12:05 Starting tutorial/solutions
Nov 30 09:26:02 Finished tutorial/solutions                                   13m55s   9GB
Nov 30 09:26:02 Starting translator/monadic/examples
Nov 30 09:27:48 Finished translator/monadic/examples                           1m44s   2GB
Nov 30 09:27:48 Starting examples
Nov 30 09:34:15 Finished examples                                              6m25s   3GB
Nov 30 09:34:15 Starting examples/compilation/x64
Nov 30 11:30:14 Finished examples/compilation/x64                           1h55m58s  11GB
Nov 30 11:30:15 Starting examples/compilation/x64/proofs
Nov 30 11:32:09 Finished examples/compilation/x64/proofs                       1m53s   3GB
Nov 30 11:32:10 Starting examples/compilation/ag32
Nov 30 11:58:51 Finished examples/compilation/ag32                            26m40s   3GB
Nov 30 11:58:52 Starting examples/compilation/ag32/proofs
Nov 30 11:59:19 Finished examples/compilation/ag32/proofs                        25s   2GB
Nov 30 11:59:19 Starting compiler/benchmarks
Nov 30 11:59:20 Finished compiler/benchmarks                                      0s   4MB
Nov 30 11:59:21 Starting translator/okasaki-examples
Nov 30 12:02:54 Finished translator/okasaki-examples                           3m31s   1GB
Nov 30 12:02:54 Starting translator/other-examples
Nov 30 12:06:10 Finished translator/other-examples                             3m14s 733MB
Nov 30 12:06:11 Starting compiler/parsing/tests
Nov 30 12:06:36 Finished compiler/parsing/tests                                  24s 325MB
Nov 30 12:06:37 Starting compiler/inference/tests
Nov 30 12:10:45 Finished compiler/inference/tests                              4m07s   5GB
Nov 30 12:10:46 Starting compiler/bootstrap/translation
Nov 30 15:24:48 Finished compiler/bootstrap/translation                     3h14m00s  49GB
Nov 30 15:24:49 Starting unverified/sexpr-bootstrap/x64/64
Nov 30 15:32:56 Finished unverified/sexpr-bootstrap/x64/64                     8m06s  14GB
Nov 30 15:32:57 Starting unverified/sexpr-bootstrap/x64/32
Nov 30 15:38:21 Finished unverified/sexpr-bootstrap/x64/32                     5m24s  19GB
Nov 30 15:38:22 Starting compiler/bootstrap/compilation/x64/64
Dec 01 09:52:42 Finished compiler/bootstrap/compilation/x64/64             18h14m18s  64GB
Dec 01 09:52:43 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 01 09:56:10 Finished compiler/bootstrap/compilation/x64/64/proofs          3m26s  24GB
Dec 01 09:56:11 Starting compiler/bootstrap/compilation/x64/32
Dec 01 21:27:11 Finished compiler/bootstrap/compilation/x64/32             11h30m59s  63GB
Dec 01 21:27:12 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 01 21:30:20 Finished compiler/bootstrap/compilation/x64/32/proofs          3m07s  22GB
Dec 01 21:30:21 SUCCESS