Job 870

CakeML:011bb42786ac372492892f6598730a69a07a6bec
  Improve diagnostic output of ml_translatorLib. [May 14 12:03:13]
#651 (translator_messages)
Merging into:d12bf8c081357963887ad183f2f09e395105cdf6
  renaming for Isabelle (resurrect 7fbd3c0) [May 13 08:52:17]
HOL:1557f72fc9a7a80bc5ce2e4df30afd51803c8b75
  Get formal-languages/regular to pass src tests again [May 09 11:06:43]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

May 14 14:17:47 Claimed job
May 14 14:17:50 Reusing HOL
May 14 14:17:54 Starting developers
May 14 14:17:55 Finished developers                                               0s  26MB
May 14 14:17:55 Starting developers/bin
May 14 14:17:59 Finished developers/bin                                           2s 207MB
May 14 14:17:59 Starting semantics/ffi
May 14 14:18:07 Finished semantics/ffi                                            7s 223MB
May 14 14:18:07 Starting semantics
May 14 14:19:24 Finished semantics                                             1m17s   1GB
May 14 14:19:25 Starting semantics/proofs
May 14 14:22:19 Finished semantics/proofs                                      2m54s 941MB
May 14 14:22:20 Starting basis/pure
May 14 14:23:04 Finished basis/pure                                              43s 751MB
May 14 14:23:04 Starting translator
May 14 14:24:41 Finished translator                                            1m36s   1GB
May 14 14:24:41 Starting compiler/parsing
May 14 14:25:39 Finished compiler/parsing                                        56s   1GB
May 14 14:25:39 Starting characteristic
May 14 14:30:46 Finished characteristic                                        5m07s   1GB
May 14 14:30:47 Starting translator/monadic
May 14 14:32:10 Finished translator/monadic                                    1m22s   1GB
May 14 14:32:10 Starting basis
May 14 14:49:11 Finished basis                                                17m00s   2GB
May 14 14:49:11 Starting compiler/inference
May 14 14:50:42 Finished compiler/inference                                    1m30s   1GB
May 14 14:50:42 Starting compiler/backend/reg_alloc
May 14 14:51:40 Finished compiler/backend/reg_alloc                              57s   1GB
May 14 14:51:40 Starting compiler/backend/gc
May 14 14:59:36 Finished compiler/backend/gc                                   7m56s   2GB
May 14 14:59:37 Starting compiler/backend
May 14 14:59:38 Finished compiler/backend                                         0s  42MB
May 14 14:59:38 Starting compiler/encoders/asm
May 14 14:59:38 Finished compiler/encoders/asm                                    0s  32MB
May 14 14:59:39 Starting compiler/encoders/x64
May 14 15:00:01 Finished compiler/encoders/x64                                   22s 778MB
May 14 15:00:02 Starting compiler/encoders/arm6
May 14 15:00:45 Finished compiler/encoders/arm6                                  43s 732MB
May 14 15:00:45 Starting compiler/encoders/arm8
May 14 15:00:57 Finished compiler/encoders/arm8                                  11s 520MB
May 14 15:00:57 Starting compiler/encoders/mips
May 14 15:01:13 Finished compiler/encoders/mips                                  15s   1GB
May 14 15:01:13 Starting compiler/encoders/riscv
May 14 15:01:26 Finished compiler/encoders/riscv                                 12s 790MB
May 14 15:01:27 Starting compiler/encoders/ag32
May 14 15:01:42 Finished compiler/encoders/ag32                                  14s 745MB
May 14 15:01:42 Starting compiler/backend/x64
May 14 15:01:58 Finished compiler/backend/x64                                    15s   1GB
May 14 15:01:58 Starting compiler/backend/arm6
May 14 15:02:15 Finished compiler/backend/arm6                                   16s   1GB
May 14 15:02:15 Starting compiler/backend/arm8
May 14 15:02:31 Finished compiler/backend/arm8                                   16s   1GB
May 14 15:02:32 Starting compiler/backend/mips
May 14 15:02:49 Finished compiler/backend/mips                                   16s   1GB
May 14 15:02:49 Starting compiler/backend/riscv
May 14 15:03:05 Finished compiler/backend/riscv                                  15s   1GB
May 14 15:03:05 Starting compiler/backend/ag32
May 14 15:04:13 Finished compiler/backend/ag32                                 1m07s   1GB
May 14 15:04:14 Starting compiler/parsing/proofs
May 14 15:09:45 Finished compiler/parsing/proofs                               5m31s 998MB
May 14 15:09:45 Starting compiler/inference/proofs
May 14 15:12:20 Finished compiler/inference/proofs                             2m34s   1GB
May 14 15:12:20 Starting compiler/backend/semantics
May 14 15:19:17 Finished compiler/backend/semantics                            6m56s   2GB
May 14 15:19:18 Starting compiler/backend/reg_alloc/proofs
May 14 15:22:38 Finished compiler/backend/reg_alloc/proofs                     3m20s 811MB
May 14 15:22:38 Starting compiler/backend/proofs
May 14 16:00:09 Finished compiler/backend/proofs                              37m30s   3GB
May 14 16:00:10 Starting compiler/encoders/x64/proofs
May 14 16:09:19 Finished compiler/encoders/x64/proofs                          9m09s   4GB
May 14 16:09:20 Starting compiler/encoders/arm6/proofs
May 14 16:21:41 Finished compiler/encoders/arm6/proofs                        12m21s   2GB
May 14 16:21:42 Starting compiler/encoders/arm8/proofs
May 14 16:28:14 Finished compiler/encoders/arm8/proofs                         6m32s   1GB
May 14 16:28:14 Starting compiler/encoders/mips/proofs
May 14 16:37:34 Finished compiler/encoders/mips/proofs                         9m19s   3GB
May 14 16:37:34 Starting compiler/encoders/riscv/proofs
May 14 16:45:55 Finished compiler/encoders/riscv/proofs                        8m20s   1GB
May 14 16:45:55 Starting compiler/encoders/ag32/proofs
May 14 16:48:21 Finished compiler/encoders/ag32/proofs                         2m25s 682MB
May 14 16:48:22 Starting compiler/backend/x64/proofs
May 14 16:48:38 Finished compiler/backend/x64/proofs                             16s 780MB
May 14 16:48:38 Starting compiler/backend/arm6/proofs
May 14 16:48:56 Finished compiler/backend/arm6/proofs                            17s   1GB
May 14 16:48:57 Starting compiler/backend/arm8/proofs
May 14 16:49:12 Finished compiler/backend/arm8/proofs                            15s 802MB
May 14 16:49:12 Starting compiler/backend/mips/proofs
May 14 16:49:28 Finished compiler/backend/mips/proofs                            15s   1GB
May 14 16:49:29 Starting compiler/backend/riscv/proofs
May 14 16:49:45 Finished compiler/backend/riscv/proofs                           16s   1GB
May 14 16:49:46 Starting compiler/backend/ag32/proofs
May 14 16:58:43 Finished compiler/backend/ag32/proofs                          8m56s   1GB
May 14 16:58:43 Starting compiler/proofs
May 14 17:00:00 Finished compiler/proofs                                       1m17s   3GB
May 14 17:00:00 Starting candle/set-theory
May 14 17:00:26 Finished candle/set-theory                                       24s 789MB
May 14 17:00:26 Starting candle/syntax-lib
May 14 17:00:35 Finished candle/syntax-lib                                        9s 668MB
May 14 17:00:36 Starting candle/standard/syntax
May 14 17:02:17 Finished candle/standard/syntax                                1m40s   1GB
May 14 17:02:17 Starting candle/standard/semantics
May 14 17:03:50 Finished candle/standard/semantics                             1m32s   1GB
May 14 17:03:50 Starting candle/standard/monadic
May 14 17:05:21 Finished candle/standard/monadic                               1m31s   1GB
May 14 17:05:22 Starting candle/standard/ml_kernel
May 14 17:09:09 Finished candle/standard/ml_kernel                             3m47s   3GB
May 14 17:09:10 Starting candle/standard/opentheory
May 14 17:17:27 Finished candle/standard/opentheory                            8m17s   3GB
May 14 17:17:28 Starting candle/standard/opentheory/compilation
May 14 17:46:59 Finished candle/standard/opentheory/compilation               29m30s  15GB
May 14 17:46:59 Starting candle/standard/opentheory/compilation/proofs
May 14 17:47:40 Finished candle/standard/opentheory/compilation/proofs           40s   2GB
May 14 17:47:40 Starting characteristic/examples
May 14 17:49:00 Finished characteristic/examples                               1m19s   1GB
May 14 17:49:00 Starting tutorial/solutions
May 14 18:02:07 Finished tutorial/solutions                                   13m06s   6GB
May 14 18:02:07 Starting translator/monadic/examples
May 14 18:04:54 Finished translator/monadic/examples                           2m46s   1GB
May 14 18:04:54 Starting examples
May 14 18:13:37 Finished examples                                              8m42s   3GB
May 14 18:13:37 Starting examples/compilation/x64
May 14 20:15:54 Finished examples/compilation/x64                           2h02m17s  14GB
May 14 20:15:55 Starting examples/compilation/x64/proofs
May 14 20:17:21 Finished examples/compilation/x64/proofs                       1m25s   2GB
May 14 20:17:21 Starting examples/compilation/ag32
May 14 20:45:27 Finished examples/compilation/ag32                            28m05s   5GB
May 14 20:45:27 Starting examples/compilation/ag32/proofs
May 14 20:46:06 Finished examples/compilation/ag32/proofs                        39s   3GB
May 14 20:46:07 Starting translator/okasaki-examples
May 14 20:50:14 Finished translator/okasaki-examples                           4m07s   1GB
May 14 20:50:14 Starting translator/other-examples
May 14 20:50:53 Finished translator/other-examples                               38s   1GB
May 14 20:50:53 Starting compiler/parsing/tests
May 14 20:51:18 Finished compiler/parsing/tests                                  24s 563MB
May 14 20:51:18 Starting compiler/inference/tests
May 14 20:55:28 Finished compiler/inference/tests                              4m09s   3GB
May 14 20:55:29 Starting compiler/bootstrap/translation
May 14 23:22:51 Finished compiler/bootstrap/translation                     2h27m22s  55GB
May 14 23:22:52 Starting unverified/sexpr-bootstrap/x64/64
May 14 23:29:19 Finished unverified/sexpr-bootstrap/x64/64                     6m27s   7GB
May 14 23:29:19 Starting unverified/sexpr-bootstrap/x64/32
May 14 23:33:53 Finished unverified/sexpr-bootstrap/x64/32                     4m33s   5GB
May 14 23:33:54 Starting compiler/benchmarks
May 15 00:10:51 Finished compiler/benchmarks                                  36m57s   2GB
May 15 00:10:52 Starting compiler/bootstrap/compilation/x64/64
May 15 10:23:17 Finished compiler/bootstrap/compilation/x64/64             10h12m24s  64GB
May 15 10:23:17 Starting compiler/bootstrap/compilation/x64/64/proofs
May 15 10:26:34 Finished compiler/bootstrap/compilation/x64/64/proofs          3m15s   5GB
May 15 10:26:34 Starting compiler/bootstrap/compilation/x64/32
May 15 20:07:15 Finished compiler/bootstrap/compilation/x64/32              9h40m40s  64GB
May 15 20:07:15 Starting compiler/bootstrap/compilation/x64/32/proofs
May 15 20:11:10 Finished compiler/bootstrap/compilation/x64/32/proofs          3m54s   5GB
May 15 20:11:10 Starting compiler/bootstrap/compilation/ag32/32
May 16 05:25:07 Finished compiler/bootstrap/compilation/ag32/32             9h13m56s  64GB
May 16 05:25:07 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 16 05:49:24 Finished compiler/bootstrap/compilation/ag32/32/proofs        24m16s  16GB
May 16 05:49:25 SUCCESS