Job 768

CakeML:4e837ffdd2b7c207dc897fe6802efd3407fce74d
  Merge pull request #624 from CakeML/cf-div [Mar 31 19:10:45]
HOL:d872621acf3aa74495543d022b8e3e4d9b72ed25
  Remove unused CT from DB.sig (it's used internally but not elsewhere) [Mar 30 06:56:26]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Apr 01 14:00:57 Claimed job
Apr 01 14:01:01 Reusing HOL
Apr 01 14:01:05 Starting developers
Apr 01 14:01:06 Finished developers                                               0s  26MB
Apr 01 14:01:06 Starting developers/bin
Apr 01 14:01:39 Finished developers/bin                                          32s 143MB
Apr 01 14:01:40 Starting semantics/ffi
Apr 01 14:01:48 Finished semantics/ffi                                            8s 225MB
Apr 01 14:01:48 Starting semantics
Apr 01 14:03:13 Finished semantics                                             1m23s   1GB
Apr 01 14:03:13 Starting semantics/proofs
Apr 01 14:06:13 Finished semantics/proofs                                      3m00s   1GB
Apr 01 14:06:14 Starting basis/pure
Apr 01 14:07:01 Finished basis/pure                                              46s 635MB
Apr 01 14:07:01 Starting translator
Apr 01 14:08:45 Finished translator                                            1m43s   1GB
Apr 01 14:08:45 Starting compiler/parsing
Apr 01 14:09:50 Finished compiler/parsing                                      1m03s   2GB
Apr 01 14:09:50 Starting characteristic
Apr 01 14:15:09 Finished characteristic                                        5m19s   1GB
Apr 01 14:15:10 Starting translator/monadic
Apr 01 14:16:38 Finished translator/monadic                                    1m27s   1GB
Apr 01 14:16:38 Starting basis
Apr 01 14:33:52 Finished basis                                                17m13s   1GB
Apr 01 14:33:52 Starting compiler/inference
Apr 01 14:35:25 Finished compiler/inference                                    1m32s   2GB
Apr 01 14:35:25 Starting compiler/backend/reg_alloc
Apr 01 14:36:17 Finished compiler/backend/reg_alloc                              50s   1GB
Apr 01 14:36:17 Starting compiler/backend/gc
Apr 01 14:45:03 Finished compiler/backend/gc                                   8m46s   2GB
Apr 01 14:45:04 Starting compiler/backend
Apr 01 14:45:05 Finished compiler/backend                                         0s  42MB
Apr 01 14:45:05 Starting compiler/encoders/asm
Apr 01 14:45:06 Finished compiler/encoders/asm                                    0s  32MB
Apr 01 14:45:06 Starting compiler/encoders/x64
Apr 01 14:45:29 Finished compiler/encoders/x64                                   23s 882MB
Apr 01 14:45:30 Starting compiler/encoders/arm6
Apr 01 14:46:15 Finished compiler/encoders/arm6                                  44s 713MB
Apr 01 14:46:15 Starting compiler/encoders/arm8
Apr 01 14:46:27 Finished compiler/encoders/arm8                                  12s 543MB
Apr 01 14:46:28 Starting compiler/encoders/mips
Apr 01 14:46:45 Finished compiler/encoders/mips                                  16s 962MB
Apr 01 14:46:45 Starting compiler/encoders/riscv
Apr 01 14:46:59 Finished compiler/encoders/riscv                                 12s 758MB
Apr 01 14:46:59 Starting compiler/encoders/ag32
Apr 01 14:47:15 Finished compiler/encoders/ag32                                  15s 665MB
Apr 01 14:47:15 Starting compiler/backend/x64
Apr 01 14:47:31 Finished compiler/backend/x64                                    16s   1GB
Apr 01 14:47:32 Starting compiler/backend/arm6
Apr 01 14:47:50 Finished compiler/backend/arm6                                   17s   1GB
Apr 01 14:47:50 Starting compiler/backend/arm8
Apr 01 14:48:06 Finished compiler/backend/arm8                                   15s 817MB
Apr 01 14:48:06 Starting compiler/backend/mips
Apr 01 14:48:22 Finished compiler/backend/mips                                   15s 751MB
Apr 01 14:48:22 Starting compiler/backend/riscv
Apr 01 14:48:40 Finished compiler/backend/riscv                                  17s   1GB
Apr 01 14:48:40 Starting compiler/backend/ag32
Apr 01 14:49:49 Finished compiler/backend/ag32                                 1m08s 958MB
Apr 01 14:49:49 Starting compiler/parsing/proofs
Apr 01 14:55:32 Finished compiler/parsing/proofs                               5m42s 985MB
Apr 01 14:55:32 Starting compiler/inference/proofs
Apr 01 14:58:16 Finished compiler/inference/proofs                             2m43s   1GB
Apr 01 14:58:16 Starting compiler/backend/semantics
Apr 01 15:06:13 Finished compiler/backend/semantics                            7m55s   1GB
Apr 01 15:06:13 Starting compiler/backend/reg_alloc/proofs
Apr 01 15:08:58 Finished compiler/backend/reg_alloc/proofs                     2m44s 918MB
Apr 01 15:08:58 Starting compiler/backend/proofs
Apr 01 15:47:19 Finished compiler/backend/proofs                              38m20s   3GB
Apr 01 15:47:20 Starting compiler/encoders/x64/proofs
Apr 01 15:57:26 Finished compiler/encoders/x64/proofs                         10m05s   4GB
Apr 01 15:57:26 Starting compiler/encoders/arm6/proofs
Apr 01 16:10:53 Finished compiler/encoders/arm6/proofs                        13m26s   3GB
Apr 01 16:10:54 Starting compiler/encoders/arm8/proofs
Apr 01 16:16:36 Finished compiler/encoders/arm8/proofs                         5m41s   1GB
Apr 01 16:16:37 Starting compiler/encoders/mips/proofs
Apr 01 16:26:42 Finished compiler/encoders/mips/proofs                        10m04s   1GB
Apr 01 16:26:42 Starting compiler/encoders/riscv/proofs
Apr 01 16:35:13 Finished compiler/encoders/riscv/proofs                        8m30s 987MB
Apr 01 16:35:13 Starting compiler/encoders/ag32/proofs
Apr 01 16:37:41 Finished compiler/encoders/ag32/proofs                         2m27s 660MB
Apr 01 16:37:42 Starting compiler/backend/x64/proofs
Apr 01 16:37:58 Finished compiler/backend/x64/proofs                             16s   1GB
Apr 01 16:37:59 Starting compiler/backend/arm6/proofs
Apr 01 16:38:17 Finished compiler/backend/arm6/proofs                            18s   1GB
Apr 01 16:38:18 Starting compiler/backend/arm8/proofs
Apr 01 16:38:34 Finished compiler/backend/arm8/proofs                            15s   1GB
Apr 01 16:38:34 Starting compiler/backend/mips/proofs
Apr 01 16:38:51 Finished compiler/backend/mips/proofs                            16s   1GB
Apr 01 16:38:51 Starting compiler/backend/riscv/proofs
Apr 01 16:39:08 Finished compiler/backend/riscv/proofs                           16s   1GB
Apr 01 16:39:09 Starting compiler/backend/ag32/proofs
Apr 01 16:48:08 Finished compiler/backend/ag32/proofs                          8m58s   2GB
Apr 01 16:48:08 Starting compiler/proofs
Apr 01 16:49:29 Finished compiler/proofs                                       1m20s   2GB
Apr 01 16:49:29 Starting candle/set-theory
Apr 01 16:49:54 Finished candle/set-theory                                       24s 687MB
Apr 01 16:49:55 Starting candle/syntax-lib
Apr 01 16:50:04 Finished candle/syntax-lib                                        9s 569MB
Apr 01 16:50:05 Starting candle/standard/syntax
Apr 01 16:51:46 Finished candle/standard/syntax                                1m40s   1GB
Apr 01 16:51:46 Starting candle/standard/semantics
Apr 01 16:53:19 Finished candle/standard/semantics                             1m32s   1GB
Apr 01 16:53:20 Starting candle/standard/monadic
Apr 01 16:54:52 Finished candle/standard/monadic                               1m31s   1GB
Apr 01 16:54:52 Starting candle/standard/ml_kernel
Apr 01 16:58:26 Finished candle/standard/ml_kernel                             3m33s   4GB
Apr 01 16:58:27 Starting candle/standard/opentheory
Apr 01 17:06:41 Finished candle/standard/opentheory                            8m13s   4GB
Apr 01 17:06:41 Starting candle/standard/opentheory/compilation
Apr 01 17:36:02 Finished candle/standard/opentheory/compilation               29m20s  16GB
Apr 01 17:36:02 Starting candle/standard/opentheory/compilation/proofs
Apr 01 17:36:46 Finished candle/standard/opentheory/compilation/proofs           43s   2GB
Apr 01 17:36:46 Starting characteristic/examples
Apr 01 17:38:09 Finished characteristic/examples                               1m22s   2GB
Apr 01 17:38:09 Starting tutorial/solutions
Apr 01 17:50:46 Finished tutorial/solutions                                   12m36s   7GB
Apr 01 17:50:47 Starting translator/monadic/examples
Apr 01 17:53:08 Finished translator/monadic/examples                           2m20s   2GB
Apr 01 17:53:09 Starting examples
Apr 01 18:01:27 Finished examples                                              8m18s   4GB
Apr 01 18:01:27 Starting examples/compilation/x64
Apr 01 19:55:33 Finished examples/compilation/x64                           1h54m03s  14GB
Apr 01 19:55:34 Starting examples/compilation/x64/proofs
Apr 01 19:56:54 Finished examples/compilation/x64/proofs                       1m20s   2GB
Apr 01 19:56:55 Starting examples/compilation/ag32
Apr 01 20:24:42 Finished examples/compilation/ag32                            27m47s   5GB
Apr 01 20:24:43 Starting examples/compilation/ag32/proofs
Apr 01 20:25:27 Finished examples/compilation/ag32/proofs                        44s   2GB
Apr 01 20:25:28 Starting translator/okasaki-examples
Apr 01 20:29:31 Finished translator/okasaki-examples                           4m02s   1GB
Apr 01 20:29:32 Starting translator/other-examples
Apr 01 20:32:52 Finished translator/other-examples                             3m20s   1GB
Apr 01 20:32:53 Starting compiler/parsing/tests
Apr 01 20:33:17 Finished compiler/parsing/tests                                  24s 547MB
Apr 01 20:33:18 Starting compiler/inference/tests
Apr 01 20:37:26 Finished compiler/inference/tests                              4m08s   4GB
Apr 01 20:37:27 Starting compiler/bootstrap/translation
Apr 01 22:59:12 Finished compiler/bootstrap/translation                     2h21m44s  49GB
Apr 01 22:59:13 Starting unverified/sexpr-bootstrap/x64/64
Apr 01 23:06:14 Finished unverified/sexpr-bootstrap/x64/64                     7m00s   3GB
Apr 01 23:06:15 Starting unverified/sexpr-bootstrap/x64/32
Apr 01 23:10:34 Finished unverified/sexpr-bootstrap/x64/32                     4m18s   5GB
Apr 01 23:10:34 Starting compiler/benchmarks
Apr 01 23:48:49 Finished compiler/benchmarks                                  38m14s   2GB
Apr 01 23:48:49 Starting compiler/bootstrap/compilation/x64/64
Apr 02 10:01:29 Finished compiler/bootstrap/compilation/x64/64             10h12m38s  64GB
Apr 02 10:01:29 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 02 10:04:20 Finished compiler/bootstrap/compilation/x64/64/proofs          2m50s  10GB
Apr 02 10:04:20 Starting compiler/bootstrap/compilation/x64/32
Apr 02 20:20:37 Finished compiler/bootstrap/compilation/x64/32             10h16m14s  64GB
Apr 02 20:20:38 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 02 20:23:25 Finished compiler/bootstrap/compilation/x64/32/proofs          2m47s   5GB
Apr 02 20:23:26 Starting compiler/bootstrap/compilation/ag32/32
Apr 03 07:38:05 Finished compiler/bootstrap/compilation/ag32/32            11h14m38s  63GB
Apr 03 07:38:05 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 03 07:51:14 Finished compiler/bootstrap/compilation/ag32/32/proofs        13m08s  15GB
Apr 03 07:51:14 SUCCESS