Job 486

CakeML:306e73e0ef0314393ecdbb996b50cf799375f15d
  Use Git's -C option [Sep 14 21:28:55]
HOL:f03e40f87731f84edd1791e3dd1107815f4b6546
  Make Holmake monitor show times instead of just !!! on slow builds [Sep 14 06:28:14]
Machine:oven1 (2) 4.15.9-300.fc27.x86_64 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

Sep 16 05:47:34 Claimed job
Sep 16 05:47:39 Reusing HOL
Sep 16 05:48:25 Starting developers/bin
Sep 16 05:49:02 Finished developers/bin                                          37s 913MB
Sep 16 05:49:03 Starting semantics/ffi
Sep 16 05:49:15 Finished semantics/ffi                                           11s 257MB
Sep 16 05:49:16 Starting semantics
Sep 16 05:50:30 Finished semantics                                             1m12s 929MB
Sep 16 05:50:30 Starting semantics/proofs
Sep 16 05:53:16 Finished semantics/proofs                                      2m44s   1GB
Sep 16 05:53:16 Starting basis/pure
Sep 16 05:54:08 Finished basis/pure                                              50s 651MB
Sep 16 05:54:08 Starting translator
Sep 16 05:55:17 Finished translator                                            1m07s 886MB
Sep 16 05:55:17 Starting compiler/parsing
Sep 16 05:56:55 Finished compiler/parsing                                      1m36s   1GB
Sep 16 05:56:55 Starting characteristic
Sep 16 05:59:25 Finished characteristic                                        2m29s   1GB
Sep 16 05:59:26 Starting translator/monadic
Sep 16 06:00:52 Finished translator/monadic                                    1m25s   1GB
Sep 16 06:00:52 Starting basis
Sep 16 06:17:28 Finished basis                                                16m35s   3GB
Sep 16 06:17:29 Starting compiler/inference
Sep 16 06:18:54 Finished compiler/inference                                    1m24s   1GB
Sep 16 06:18:55 Starting compiler/backend/reg_alloc
Sep 16 06:19:43 Finished compiler/backend/reg_alloc                              47s   1GB
Sep 16 06:19:44 Starting compiler/backend/gc
Sep 16 06:27:51 Finished compiler/backend/gc                                   8m06s   3GB
Sep 16 06:27:51 Starting compiler/backend
Sep 16 06:27:55 Finished compiler/backend                                         2s  17MB
Sep 16 06:27:55 Starting compiler/encoders/asm
Sep 16 06:27:57 Finished compiler/encoders/asm                                    1s  18MB
Sep 16 06:27:58 Starting compiler/encoders/x64
Sep 16 06:28:14 Finished compiler/encoders/x64                                   15s 420MB
Sep 16 06:28:15 Starting compiler/encoders/arm6
Sep 16 06:29:00 Finished compiler/encoders/arm6                                  44s 411MB
Sep 16 06:29:01 Starting compiler/encoders/arm8
Sep 16 06:29:09 Finished compiler/encoders/arm8                                   7s 387MB
Sep 16 06:29:10 Starting compiler/encoders/mips
Sep 16 06:29:20 Finished compiler/encoders/mips                                   9s 452MB
Sep 16 06:29:20 Starting compiler/encoders/riscv
Sep 16 06:29:29 Finished compiler/encoders/riscv                                  8s 434MB
Sep 16 06:29:30 Starting compiler/backend/x64
Sep 16 06:29:48 Finished compiler/backend/x64                                    17s   1GB
Sep 16 06:29:48 Starting compiler/backend/arm6
Sep 16 06:30:09 Finished compiler/backend/arm6                                   19s 956MB
Sep 16 06:30:09 Starting compiler/backend/arm8
Sep 16 06:30:28 Finished compiler/backend/arm8                                   18s   1GB
Sep 16 06:30:29 Starting compiler/backend/mips
Sep 16 06:30:48 Finished compiler/backend/mips                                   18s   1GB
Sep 16 06:30:49 Starting compiler/backend/riscv
Sep 16 06:31:08 Finished compiler/backend/riscv                                  18s   1GB
Sep 16 06:31:09 Starting compiler/parsing/proofs
Sep 16 06:37:22 Finished compiler/parsing/proofs                               6m12s 798MB
Sep 16 06:37:23 Starting compiler/inference/proofs
Sep 16 06:40:16 Finished compiler/inference/proofs                             2m52s   1GB
Sep 16 06:40:17 Starting compiler/backend/semantics
Sep 16 06:49:26 Finished compiler/backend/semantics                            9m08s   2GB
Sep 16 06:49:27 Starting compiler/backend/reg_alloc/proofs
Sep 16 06:56:52 Finished compiler/backend/reg_alloc/proofs                     7m24s 561MB
Sep 16 06:56:53 Starting compiler/backend/proofs
Sep 16 07:34:55 Finished compiler/backend/proofs                              38m00s   3GB
Sep 16 07:34:55 Starting compiler/encoders/x64/proofs
Sep 16 07:41:19 Finished compiler/encoders/x64/proofs                          6m22s 836MB
Sep 16 07:41:20 Starting compiler/encoders/arm6/proofs
Sep 16 07:47:43 Finished compiler/encoders/arm6/proofs                         6m21s   1GB
Sep 16 07:47:43 Starting compiler/encoders/arm8/proofs
Sep 16 07:52:48 Finished compiler/encoders/arm8/proofs                         5m04s   1GB
Sep 16 07:52:49 Starting compiler/encoders/mips/proofs
Sep 16 07:59:37 Finished compiler/encoders/mips/proofs                         6m48s   1GB
Sep 16 07:59:38 Starting compiler/encoders/riscv/proofs
Sep 16 08:07:36 Finished compiler/encoders/riscv/proofs                        7m57s 832MB
Sep 16 08:07:37 Starting compiler/backend/x64/proofs
Sep 16 08:07:57 Finished compiler/backend/x64/proofs                             19s   1GB
Sep 16 08:07:58 Starting compiler/backend/arm6/proofs
Sep 16 08:08:19 Finished compiler/backend/arm6/proofs                            20s 900MB
Sep 16 08:08:20 Starting compiler/backend/arm8/proofs
Sep 16 08:08:40 Finished compiler/backend/arm8/proofs                            19s   1GB
Sep 16 08:08:40 Starting compiler/backend/mips/proofs
Sep 16 08:09:01 Finished compiler/backend/mips/proofs                            20s   1GB
Sep 16 08:09:02 Starting compiler/backend/riscv/proofs
Sep 16 08:09:23 Finished compiler/backend/riscv/proofs                           20s   1GB
Sep 16 08:09:23 Starting compiler/proofs
Sep 16 08:10:43 Finished compiler/proofs                                       1m18s   2GB
Sep 16 08:10:43 Starting candle/set-theory
Sep 16 08:11:09 Finished candle/set-theory                                       25s 647MB
Sep 16 08:11:10 Starting candle/syntax-lib
Sep 16 08:11:21 Finished candle/syntax-lib                                       10s 473MB
Sep 16 08:11:21 Starting candle/standard/syntax
Sep 16 08:12:55 Finished candle/standard/syntax                                1m33s 613MB
Sep 16 08:12:56 Starting candle/standard/semantics
Sep 16 08:14:18 Finished candle/standard/semantics                             1m21s 763MB
Sep 16 08:14:18 Starting candle/standard/monadic
Sep 16 08:15:52 Finished candle/standard/monadic                               1m33s   1GB
Sep 16 08:15:53 Starting candle/standard/ml_kernel
Sep 16 08:31:51 Finished candle/standard/ml_kernel                            15m57s   7GB
Sep 16 08:31:52 Starting candle/standard/opentheory
Sep 16 08:40:37 Finished candle/standard/opentheory                            8m44s   5GB
Sep 16 08:40:38 Starting characteristic/examples
Sep 16 08:42:16 Finished characteristic/examples                               1m37s   1GB
Sep 16 08:42:16 Starting tutorial/solutions
Sep 16 08:56:12 Finished tutorial/solutions                                   13m55s   7GB
Sep 16 08:56:13 Starting translator/monadic/examples
Sep 16 08:58:07 Finished translator/monadic/examples                           1m52s   2GB
Sep 16 08:58:07 Starting examples
Sep 16 09:04:25 Finished examples                                              6m17s   5GB
Sep 16 09:04:26 Starting examples/compilation
Sep 16 11:04:22 Finished examples/compilation                               1h59m55s  10GB
Sep 16 11:04:23 Starting examples/compilation/proofs
Sep 16 11:06:21 Finished examples/compilation/proofs                           1m57s   3GB
Sep 16 11:06:22 Starting compiler/benchmarks
Sep 16 11:06:23 Finished compiler/benchmarks                                      0s   4MB
Sep 16 11:06:23 Starting translator/okasaki-examples
Sep 16 11:10:06 Finished translator/okasaki-examples                           3m42s   1GB
Sep 16 11:10:07 Starting translator/other-examples
Sep 16 11:10:43 Finished translator/other-examples                               35s 889MB
Sep 16 11:10:44 Starting compiler/parsing/tests
Sep 16 11:11:11 Finished compiler/parsing/tests                                  26s 273MB
Sep 16 11:11:12 Starting compiler/inference/tests
Sep 16 11:15:25 Finished compiler/inference/tests                              4m12s   3GB
Sep 16 11:15:25 Starting compiler/bootstrap/translation
Sep 16 17:00:23 Finished compiler/bootstrap/translation                     5h44m57s  44GB
Sep 16 17:00:24 Starting unverified/sexpr-bootstrap/x64/64
Sep 16 17:08:06 Finished unverified/sexpr-bootstrap/x64/64                     7m40s  11GB
Sep 16 17:08:07 Starting unverified/sexpr-bootstrap/x64/32
Sep 16 17:13:14 Finished unverified/sexpr-bootstrap/x64/32                     5m05s  15GB
Sep 16 17:13:15 Starting compiler/bootstrap/compilation/x64/64
Sep 17 05:03:14 Finished compiler/bootstrap/compilation/x64/64             11h49m57s  48GB
Sep 17 05:03:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 17 05:06:52 Finished compiler/bootstrap/compilation/x64/64/proofs          3m36s  23GB
Sep 17 05:06:53 Starting compiler/bootstrap/compilation/x64/32
Sep 17 14:31:22 Finished compiler/bootstrap/compilation/x64/32              9h24m27s  64GB
Sep 17 14:31:23 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 17 14:34:17 Finished compiler/bootstrap/compilation/x64/32/proofs          2m53s  21GB
Sep 17 14:34:18 SUCCESS