Job 1370

CakeML:018eec673b8b703adeecb85ccab09ec91be05cb3
  Merge pull request #791 from CakeML/lpr_opt [Sep 29 19:56:37]
HOL:d4ac035106853908991bb648c146d8149f371c2f
  computeLib: Avoid generating the equational rewrite  [Sep 25 03:42:01]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Sep 30 16:02:09 Claimed job
Sep 30 16:02:17 Building HOL
Sep 30 16:17:40 Starting developers
Sep 30 16:17:44 Finished developers                                               4s 100MB
Sep 30 16:17:44 Starting developers/bin
Sep 30 16:17:51 Finished developers/bin                                           6s   1GB
Sep 30 16:17:51 Starting semantics/ffi
Sep 30 16:18:03 Finished semantics/ffi                                           11s 262MB
Sep 30 16:18:03 Starting semantics
Sep 30 16:19:39 Finished semantics                                             1m35s   1GB
Sep 30 16:19:39 Starting semantics/proofs
Sep 30 16:23:12 Finished semantics/proofs                                      3m33s   1GB
Sep 30 16:23:13 Starting semantics/alt_semantics
Sep 30 16:23:22 Finished semantics/alt_semantics                                  9s 342MB
Sep 30 16:23:22 Starting semantics/alt_semantics/proofs
Sep 30 16:25:38 Finished semantics/alt_semantics/proofs                        2m15s 865MB
Sep 30 16:25:38 Starting basis/pure
Sep 30 16:28:46 Finished basis/pure                                            3m08s 874MB
Sep 30 16:28:46 Starting translator
Sep 30 16:31:35 Finished translator                                            2m48s   1GB
Sep 30 16:31:35 Starting compiler/parsing
Sep 30 16:32:48 Finished compiler/parsing                                      1m12s   3GB
Sep 30 16:32:48 Starting characteristic
Sep 30 16:39:02 Finished characteristic                                        6m13s   2GB
Sep 30 16:39:03 Starting translator/monadic
Sep 30 16:40:44 Finished translator/monadic                                    1m41s   1GB
Sep 30 16:40:44 Starting basis
Sep 30 17:17:15 Finished basis                                                36m31s  23GB
Sep 30 17:17:15 Starting compiler/inference
Sep 30 17:18:29 Finished compiler/inference                                    1m13s   1GB
Sep 30 17:18:30 Starting compiler/backend/reg_alloc
Sep 30 17:19:37 Finished compiler/backend/reg_alloc                            1m06s   1GB
Sep 30 17:19:37 Starting compiler/backend/gc
Sep 30 17:23:22 Finished compiler/backend/gc                                   3m44s   2GB
Sep 30 17:23:22 Starting compiler/backend
Sep 30 17:28:09 Finished compiler/backend                                      4m47s   4GB
Sep 30 17:28:10 Starting compiler/encoders/asm
Sep 30 17:28:33 Finished compiler/encoders/asm                                   23s 792MB
Sep 30 17:28:33 Starting compiler/encoders/x64
Sep 30 17:29:37 Finished compiler/encoders/x64                                 1m03s 988MB
Sep 30 17:29:37 Starting compiler/encoders/arm7
Sep 30 17:31:38 Finished compiler/encoders/arm7                                2m01s   1GB
Sep 30 17:31:38 Starting compiler/encoders/arm8
Sep 30 17:32:16 Finished compiler/encoders/arm8                                  37s 624MB
Sep 30 17:32:17 Starting compiler/encoders/mips
Sep 30 17:33:40 Finished compiler/encoders/mips                                1m22s   1GB
Sep 30 17:33:40 Starting compiler/encoders/riscv
Sep 30 17:35:18 Finished compiler/encoders/riscv                               1m38s 962MB
Sep 30 17:35:19 Starting compiler/encoders/ag32
Sep 30 17:35:37 Finished compiler/encoders/ag32                                  18s 855MB
Sep 30 17:35:37 Starting compiler/backend/x64
Sep 30 17:35:57 Finished compiler/backend/x64                                    19s   1GB
Sep 30 17:35:57 Starting compiler/backend/arm7
Sep 30 17:36:17 Finished compiler/backend/arm7                                   19s   1GB
Sep 30 17:36:17 Starting compiler/backend/arm8
Sep 30 17:36:36 Finished compiler/backend/arm8                                   19s   1GB
Sep 30 17:36:36 Starting compiler/backend/mips
Sep 30 17:36:55 Finished compiler/backend/mips                                   18s 963MB
Sep 30 17:36:55 Starting compiler/backend/riscv
Sep 30 17:37:16 Finished compiler/backend/riscv                                  20s   1GB
Sep 30 17:37:16 Starting compiler/backend/ag32
Sep 30 17:38:29 Finished compiler/backend/ag32                                 1m13s 951MB
Sep 30 17:38:30 Starting compiler/parsing/proofs
Sep 30 17:44:18 Finished compiler/parsing/proofs                               5m47s   1GB
Sep 30 17:44:18 Starting compiler/inference/proofs
Sep 30 17:46:55 Finished compiler/inference/proofs                             2m37s   1GB
Sep 30 17:46:55 Starting compiler/backend/semantics
Sep 30 18:18:24 Finished compiler/backend/semantics                           31m28s   2GB
Sep 30 18:18:24 Starting compiler/backend/reg_alloc/proofs
Sep 30 18:22:09 Finished compiler/backend/reg_alloc/proofs                     3m45s 990MB
Sep 30 18:22:09 Starting compiler/backend/proofs
Sep 30 19:20:13 Finished compiler/backend/proofs                              58m03s  15GB
Sep 30 19:20:14 Starting compiler/encoders/x64/proofs
Sep 30 19:30:35 Finished compiler/encoders/x64/proofs                         10m21s   4GB
Sep 30 19:30:35 Starting compiler/encoders/arm7/proofs
Sep 30 19:44:27 Finished compiler/encoders/arm7/proofs                        13m51s   3GB
Sep 30 19:44:27 Starting compiler/encoders/arm8/proofs
Sep 30 19:51:30 Finished compiler/encoders/arm8/proofs                         7m02s   1GB
Sep 30 19:51:30 Starting compiler/encoders/mips/proofs
Sep 30 20:02:18 Finished compiler/encoders/mips/proofs                        10m47s   2GB
Sep 30 20:02:18 Starting compiler/encoders/riscv/proofs
Sep 30 20:11:42 Finished compiler/encoders/riscv/proofs                        9m23s   1GB
Sep 30 20:11:43 Starting compiler/encoders/ag32/proofs
Sep 30 20:14:31 Finished compiler/encoders/ag32/proofs                         2m48s 665MB
Sep 30 20:14:32 Starting compiler/backend/x64/proofs
Sep 30 20:14:52 Finished compiler/backend/x64/proofs                             20s   1GB
Sep 30 20:14:53 Starting compiler/backend/arm7/proofs
Sep 30 20:15:16 Finished compiler/backend/arm7/proofs                            22s   1GB
Sep 30 20:15:16 Starting compiler/backend/arm8/proofs
Sep 30 20:15:36 Finished compiler/backend/arm8/proofs                            20s   1GB
Sep 30 20:15:36 Starting compiler/backend/mips/proofs
Sep 30 20:15:58 Finished compiler/backend/mips/proofs                            21s   1GB
Sep 30 20:15:58 Starting compiler/backend/riscv/proofs
Sep 30 20:16:19 Finished compiler/backend/riscv/proofs                           20s   1GB
Sep 30 20:16:19 Starting compiler/backend/ag32/proofs
Sep 30 20:29:59 Finished compiler/backend/ag32/proofs                         13m39s   2GB
Sep 30 20:29:59 Starting compiler/proofs
Sep 30 20:31:52 Finished compiler/proofs                                       1m51s   2GB
Sep 30 20:31:52 Starting candle/set-theory
Sep 30 20:32:22 Finished candle/set-theory                                       29s 869MB
Sep 30 20:32:22 Starting candle/syntax-lib
Sep 30 20:32:33 Finished candle/syntax-lib                                       10s 701MB
Sep 30 20:32:33 Starting candle/standard/syntax
Sep 30 20:34:29 Finished candle/standard/syntax                                1m56s 956MB
Sep 30 20:34:30 Starting candle/standard/semantics
Sep 30 20:36:17 Finished candle/standard/semantics                             1m47s   1GB
Sep 30 20:36:17 Starting candle/standard/monadic
Sep 30 20:38:06 Finished candle/standard/monadic                               1m48s   1GB
Sep 30 20:38:06 Starting candle/standard/ml_kernel
Sep 30 20:44:07 Finished candle/standard/ml_kernel                             6m00s   3GB
Sep 30 20:44:07 Starting candle/overloading/syntax
Sep 30 20:47:26 Finished candle/overloading/syntax                             3m19s   1GB
Sep 30 20:47:27 Starting candle/overloading/semantics
Sep 30 21:00:15 Finished candle/overloading/semantics                         12m48s   4GB
Sep 30 21:00:15 Starting characteristic/examples
Sep 30 21:01:34 Finished characteristic/examples                               1m18s   3GB
Sep 30 21:01:34 Starting tutorial/solutions
Sep 30 21:16:54 Finished tutorial/solutions                                   15m19s   7GB
Sep 30 21:16:55 Starting translator/monadic/examples
Sep 30 21:20:12 Finished translator/monadic/examples                           3m16s   2GB
Sep 30 21:20:12 Starting examples
Sep 30 21:28:58 Finished examples                                              8m46s   3GB
Sep 30 21:28:59 Starting examples/compilation/x64
Sep 30 23:51:12 Finished examples/compilation/x64                           2h22m12s  17GB
Sep 30 23:51:12 Starting examples/compilation/x64/proofs
Sep 30 23:52:46 Finished examples/compilation/x64/proofs                       1m33s   2GB
Sep 30 23:52:46 Starting examples/compilation/ag32
Oct 01 00:25:41 Finished examples/compilation/ag32                            32m54s   6GB
Oct 01 00:25:41 Starting examples/compilation/ag32/proofs
Oct 01 00:26:26 Finished examples/compilation/ag32/proofs                        44s   4GB
Oct 01 00:26:26 Starting examples/cost
Oct 01 01:15:23 Finished examples/cost                                        48m56s   8GB
Oct 01 01:15:23 Starting examples/lpr_checker
Oct 01 01:19:23 Finished examples/lpr_checker                                  3m59s   2GB
Oct 01 01:19:23 Starting examples/lpr_checker/compilation
Oct 01 01:37:24 Finished examples/lpr_checker/compilation                     18m01s  10GB
Oct 01 01:37:25 Starting examples/lpr_checker/compilation/proofs
Oct 01 01:38:02 Finished examples/lpr_checker/compilation/proofs                 37s   2GB
Oct 01 01:38:02 Starting examples/lpr_checker/array
Oct 01 01:53:34 Finished examples/lpr_checker/array                           15m31s   3GB
Oct 01 01:53:34 Starting examples/lpr_checker/array/compilation
Oct 01 02:13:01 Finished examples/lpr_checker/array/compilation               19m26s  10GB
Oct 01 02:13:02 Starting examples/lpr_checker/array/compilation/proofs
Oct 01 02:13:52 Finished examples/lpr_checker/array/compilation/proofs           49s   3GB
Oct 01 02:13:52 Starting examples/opentheory
Oct 01 02:23:58 Finished examples/opentheory                                  10m05s   4GB
Oct 01 02:23:58 Starting examples/opentheory
Oct 01 02:23:59 Finished examples/opentheory                                      1s  19MB
Oct 01 02:24:00 Starting examples/opentheory/compilation
Oct 01 02:56:58 Finished examples/opentheory/compilation                      32m57s  14GB
Oct 01 02:56:58 Starting examples/opentheory/compilation/proofs
Oct 01 02:57:37 Finished examples/opentheory/compilation/proofs                  38s   3GB
Oct 01 02:57:37 Starting examples/opentheory/compilation/ag32
Oct 01 03:32:19 Finished examples/opentheory/compilation/ag32                 34m41s  16GB
Oct 01 03:32:19 Starting examples/opentheory/compilation/ag32/proofs
Oct 01 03:33:58 Finished examples/opentheory/compilation/ag32/proofs           1m39s   6GB
Oct 01 03:33:58 Starting translator/okasaki-examples
Oct 01 03:38:31 Finished translator/okasaki-examples                           4m32s   1GB
Oct 01 03:38:31 Starting translator/other-examples
Oct 01 03:40:33 Finished translator/other-examples                             2m02s   1GB
Oct 01 03:40:34 Starting compiler/parsing/tests
Oct 01 03:41:00 Finished compiler/parsing/tests                                  25s 617MB
Oct 01 03:41:00 Starting compiler/inference/tests
Oct 01 03:45:43 Finished compiler/inference/tests                              4m42s   4GB
Oct 01 03:45:43 Starting compiler/bootstrap/translation
Oct 01 06:40:29 Finished compiler/bootstrap/translation                     2h54m46s  42GB
Oct 01 06:40:29 Starting unverified/sexpr-bootstrap/x64/64
Oct 01 06:50:06 Finished unverified/sexpr-bootstrap/x64/64                     9m26s   8GB
Oct 01 06:50:06 Starting unverified/sexpr-bootstrap/x64/32
Oct 01 06:57:37 Finished unverified/sexpr-bootstrap/x64/32                     7m23s   8GB
Oct 01 06:57:37 Starting compiler/benchmarks
Oct 01 06:57:43 Finished compiler/benchmarks                                      4s  24MB
Oct 01 06:57:43 Starting compiler/bootstrap/compilation/x64/64
Oct 01 19:20:31 Finished compiler/bootstrap/compilation/x64/64             12h22m42s  64GB
Oct 01 19:20:31 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 01 19:23:49 Finished compiler/bootstrap/compilation/x64/64/proofs          3m17s  13GB
Oct 01 19:23:49 Starting compiler/bootstrap/compilation/x64/32
Oct 02 06:34:40 Finished compiler/bootstrap/compilation/x64/32             11h10m46s  64GB
Oct 02 06:34:40 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 02 06:37:28 Finished compiler/bootstrap/compilation/x64/32/proofs          2m48s  11GB
Oct 02 06:37:29 Starting compiler/bootstrap/compilation/ag32/32
Oct 02 17:53:16 Finished compiler/bootstrap/compilation/ag32/32            11h15m47s  64GB
Oct 02 17:53:17 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 02 18:12:45 Finished compiler/bootstrap/compilation/ag32/32/proofs        19m27s  24GB
Oct 02 18:12:45 SUCCESS