Job 899

CakeML:560452ae6de5adc239a469feb732587661b7bc53
  Change the translator-produced names of some Candle primitives [May 24 06:31:44]
#655 (candle-rename)
Merging into:21975585998034b43aee723e21c7043f250a58fd
  Merge pull request #635 from CakeML/thm [May 22 08:49:19]
HOL:08cf0f71293ee2ed21e3c2667ecbb0a9d211be18
  Add regression tests for find_consts [May 24 06:22:28]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

May 24 16:50:50 Claimed job
May 24 16:50:53 Reusing HOL
May 24 16:50:57 Starting developers
May 24 16:50:58 Finished developers                                               0s  31MB
May 24 16:50:58 Starting developers/bin
May 24 16:51:02 Finished developers/bin                                           2s 144MB
May 24 16:51:02 Starting semantics/ffi
May 24 16:51:10 Finished semantics/ffi                                            7s 224MB
May 24 16:51:10 Starting semantics
May 24 16:52:26 Finished semantics                                             1m15s   1GB
May 24 16:52:27 Starting semantics/proofs
May 24 16:55:22 Finished semantics/proofs                                      2m54s   1GB
May 24 16:55:22 Starting basis/pure
May 24 16:56:06 Finished basis/pure                                              43s 846MB
May 24 16:56:06 Starting translator
May 24 16:57:44 Finished translator                                            1m37s   1GB
May 24 16:57:44 Starting compiler/parsing
May 24 16:58:41 Finished compiler/parsing                                        56s   1GB
May 24 16:58:42 Starting characteristic
May 24 17:03:47 Finished characteristic                                        5m04s   1GB
May 24 17:03:47 Starting translator/monadic
May 24 17:05:12 Finished translator/monadic                                    1m24s   1GB
May 24 17:05:12 Starting basis
May 24 17:21:59 Finished basis                                                16m46s   3GB
May 24 17:21:59 Starting compiler/inference
May 24 17:23:30 Finished compiler/inference                                    1m30s   1GB
May 24 17:23:30 Starting compiler/backend/reg_alloc
May 24 17:24:27 Finished compiler/backend/reg_alloc                              56s   1GB
May 24 17:24:27 Starting compiler/backend/gc
May 24 17:32:17 Finished compiler/backend/gc                                   7m49s   2GB
May 24 17:32:18 Starting compiler/backend
May 24 17:32:18 Finished compiler/backend                                         0s  43MB
May 24 17:32:19 Starting compiler/encoders/asm
May 24 17:32:19 Finished compiler/encoders/asm                                    0s  36MB
May 24 17:32:19 Starting compiler/encoders/x64
May 24 17:32:42 Finished compiler/encoders/x64                                   21s 959MB
May 24 17:32:42 Starting compiler/encoders/arm6
May 24 17:33:25 Finished compiler/encoders/arm6                                  42s 716MB
May 24 17:33:26 Starting compiler/encoders/arm8
May 24 17:33:37 Finished compiler/encoders/arm8                                  10s 884MB
May 24 17:33:37 Starting compiler/encoders/mips
May 24 17:33:53 Finished compiler/encoders/mips                                  15s 955MB
May 24 17:33:53 Starting compiler/encoders/riscv
May 24 17:34:06 Finished compiler/encoders/riscv                                 12s 814MB
May 24 17:34:07 Starting compiler/encoders/ag32
May 24 17:34:21 Finished compiler/encoders/ag32                                  14s 620MB
May 24 17:34:22 Starting compiler/backend/x64
May 24 17:34:38 Finished compiler/backend/x64                                    15s 916MB
May 24 17:34:38 Starting compiler/backend/arm6
May 24 17:34:56 Finished compiler/backend/arm6                                   17s   1GB
May 24 17:34:56 Starting compiler/backend/arm8
May 24 17:35:12 Finished compiler/backend/arm8                                   15s 944MB
May 24 17:35:12 Starting compiler/backend/mips
May 24 17:35:28 Finished compiler/backend/mips                                   15s   1GB
May 24 17:35:29 Starting compiler/backend/riscv
May 24 17:35:45 Finished compiler/backend/riscv                                  15s   1GB
May 24 17:35:45 Starting compiler/backend/ag32
May 24 17:36:51 Finished compiler/backend/ag32                                 1m05s 926MB
May 24 17:36:51 Starting compiler/parsing/proofs
May 24 17:42:22 Finished compiler/parsing/proofs                               5m30s 840MB
May 24 17:42:23 Starting compiler/inference/proofs
May 24 17:44:59 Finished compiler/inference/proofs                             2m36s   1GB
May 24 17:44:59 Starting compiler/backend/semantics
May 24 17:51:51 Finished compiler/backend/semantics                            6m50s   2GB
May 24 17:51:51 Starting compiler/backend/reg_alloc/proofs
May 24 17:55:04 Finished compiler/backend/reg_alloc/proofs                     3m13s 770MB
May 24 17:55:05 Starting compiler/backend/proofs
May 24 18:32:07 Finished compiler/backend/proofs                              37m02s   4GB
May 24 18:32:07 Starting compiler/encoders/x64/proofs
May 24 18:41:09 Finished compiler/encoders/x64/proofs                          9m01s   4GB
May 24 18:41:09 Starting compiler/encoders/arm6/proofs
May 24 18:53:32 Finished compiler/encoders/arm6/proofs                        12m22s   2GB
May 24 18:53:32 Starting compiler/encoders/arm8/proofs
May 24 19:00:00 Finished compiler/encoders/arm8/proofs                         6m28s   1GB
May 24 19:00:01 Starting compiler/encoders/mips/proofs
May 24 19:09:22 Finished compiler/encoders/mips/proofs                         9m21s   2GB
May 24 19:09:23 Starting compiler/encoders/riscv/proofs
May 24 19:17:32 Finished compiler/encoders/riscv/proofs                        8m08s   1GB
May 24 19:17:32 Starting compiler/encoders/ag32/proofs
May 24 19:19:59 Finished compiler/encoders/ag32/proofs                         2m26s 628MB
May 24 19:19:59 Starting compiler/backend/x64/proofs
May 24 19:20:16 Finished compiler/backend/x64/proofs                             16s   1GB
May 24 19:20:16 Starting compiler/backend/arm6/proofs
May 24 19:20:36 Finished compiler/backend/arm6/proofs                            19s   1GB
May 24 19:20:36 Starting compiler/backend/arm8/proofs
May 24 19:20:52 Finished compiler/backend/arm8/proofs                            15s   1GB
May 24 19:20:52 Starting compiler/backend/mips/proofs
May 24 19:21:09 Finished compiler/backend/mips/proofs                            16s   1GB
May 24 19:21:10 Starting compiler/backend/riscv/proofs
May 24 19:21:26 Finished compiler/backend/riscv/proofs                           15s   1GB
May 24 19:21:26 Starting compiler/backend/ag32/proofs
May 24 19:30:25 Finished compiler/backend/ag32/proofs                          8m58s   1GB
May 24 19:30:25 Starting compiler/proofs
May 24 19:31:36 Finished compiler/proofs                                       1m10s   2GB
May 24 19:31:36 Starting candle/set-theory
May 24 19:32:01 Finished candle/set-theory                                       24s 786MB
May 24 19:32:01 Starting candle/syntax-lib
May 24 19:32:11 Finished candle/syntax-lib                                        8s 630MB
May 24 19:32:11 Starting candle/standard/syntax
May 24 19:33:51 Finished candle/standard/syntax                                1m39s 870MB
May 24 19:33:51 Starting candle/standard/semantics
May 24 19:35:24 Finished candle/standard/semantics                             1m32s 942MB
May 24 19:35:24 Starting candle/standard/monadic
May 24 19:36:56 Finished candle/standard/monadic                               1m31s   1GB
May 24 19:36:57 Starting candle/standard/ml_kernel
May 24 19:40:41 Finished candle/standard/ml_kernel                             3m43s   2GB
May 24 19:40:41 Starting candle/standard/opentheory
May 24 19:49:01 Finished candle/standard/opentheory                            8m20s   3GB
May 24 19:49:01 Starting candle/standard/opentheory/compilation
May 24 20:17:25 Finished candle/standard/opentheory/compilation               28m23s  20GB
May 24 20:17:25 Starting candle/standard/opentheory/compilation/proofs
May 24 20:17:59 Finished candle/standard/opentheory/compilation/proofs           32s   3GB
May 24 20:17:59 Starting characteristic/examples
May 24 20:19:22 Finished characteristic/examples                               1m22s   2GB
May 24 20:19:22 Starting tutorial/solutions
May 24 20:32:12 Finished tutorial/solutions                                   12m49s   7GB
May 24 20:32:13 Starting translator/monadic/examples
May 24 20:35:01 Finished translator/monadic/examples                           2m48s   2GB
May 24 20:35:01 Starting examples
May 24 20:43:39 Finished examples                                              8m37s   4GB
May 24 20:43:39 Starting examples/compilation/x64
May 24 22:43:18 Finished examples/compilation/x64                           1h59m38s  12GB
May 24 22:43:18 Starting examples/compilation/x64/proofs
May 24 22:44:43 Finished examples/compilation/x64/proofs                       1m24s   2GB
May 24 22:44:43 Starting examples/compilation/ag32
May 24 23:12:35 Finished examples/compilation/ag32                            27m51s   6GB
May 24 23:12:35 Starting examples/compilation/ag32/proofs
May 24 23:13:13 Finished examples/compilation/ag32/proofs                        37s   3GB
May 24 23:13:13 Starting translator/okasaki-examples
May 24 23:17:18 Finished translator/okasaki-examples                           4m04s   1GB
May 24 23:17:18 Starting translator/other-examples
May 24 23:17:57 Finished translator/other-examples                               38s   1GB
May 24 23:17:57 Starting compiler/parsing/tests
May 24 23:18:22 Finished compiler/parsing/tests                                  23s 553MB
May 24 23:18:22 Starting compiler/inference/tests
May 24 23:22:30 Finished compiler/inference/tests                              4m08s   6GB
May 24 23:22:31 Starting compiler/bootstrap/translation
May 25 01:50:38 Finished compiler/bootstrap/translation                     2h28m06s  47GB
May 25 01:50:38 Starting unverified/sexpr-bootstrap/x64/64
May 25 01:57:42 Finished unverified/sexpr-bootstrap/x64/64                     7m03s   2GB
May 25 01:57:42 Starting unverified/sexpr-bootstrap/x64/32
May 25 02:02:15 Finished unverified/sexpr-bootstrap/x64/32                     4m33s   6GB
May 25 02:02:16 Starting compiler/benchmarks
May 25 02:39:53 Finished compiler/benchmarks                                  37m36s   1GB
May 25 02:39:53 Starting compiler/bootstrap/compilation/x64/64
May 25 13:52:40 Finished compiler/bootstrap/compilation/x64/64             11h12m46s  64GB
May 25 13:52:40 Starting compiler/bootstrap/compilation/x64/64/proofs
May 25 13:55:14 Finished compiler/bootstrap/compilation/x64/64/proofs          2m33s  10GB
May 25 13:55:15 Starting compiler/bootstrap/compilation/x64/32
May 25 22:56:59 Finished compiler/bootstrap/compilation/x64/32              9h01m43s  63GB
May 25 22:56:59 Starting compiler/bootstrap/compilation/x64/32/proofs
May 25 22:59:57 Finished compiler/bootstrap/compilation/x64/32/proofs          2m57s   4GB
May 25 22:59:57 Starting compiler/bootstrap/compilation/ag32/32
May 26 08:38:40 Finished compiler/bootstrap/compilation/ag32/32             9h38m42s  64GB
May 26 08:38:41 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 26 08:55:17 Finished compiler/bootstrap/compilation/ag32/32/proofs        16m36s  12GB
May 26 08:55:18 SUCCESS