Job 491

CakeML:306e73e0ef0314393ecdbb996b50cf799375f15d
  Use Git's -C option [Sep 14 21:28:55]
HOL:2dfad04e718ce0e5ce142af476aa3e6fc57a79c0
  Merge pull request #591 from binghe/CCS_updates [Sep 19 10:51:13]
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 20 02:04:17 Claimed job
Sep 20 02:04:45 Reusing HOL
Sep 20 02:05:31 Starting developers/bin
Sep 20 02:06:08 Finished developers/bin                                          36s 912MB
Sep 20 02:06:08 Starting semantics/ffi
Sep 20 02:06:20 Finished semantics/ffi                                           11s 266MB
Sep 20 02:06:21 Starting semantics
Sep 20 02:07:32 Finished semantics                                             1m10s   1GB
Sep 20 02:07:33 Starting semantics/proofs
Sep 20 02:10:16 Finished semantics/proofs                                      2m42s   1GB
Sep 20 02:10:16 Starting basis/pure
Sep 20 02:11:07 Finished basis/pure                                              50s 719MB
Sep 20 02:11:08 Starting translator
Sep 20 02:12:14 Finished translator                                            1m05s   1GB
Sep 20 02:12:15 Starting compiler/parsing
Sep 20 02:13:49 Finished compiler/parsing                                      1m33s   1GB
Sep 20 02:13:50 Starting characteristic
Sep 20 02:16:18 Finished characteristic                                        2m27s   1GB
Sep 20 02:16:19 Starting translator/monadic
Sep 20 02:17:46 Finished translator/monadic                                    1m25s   1GB
Sep 20 02:17:46 Starting basis
Sep 20 02:34:24 Finished basis                                                16m36s   3GB
Sep 20 02:34:24 Starting compiler/inference
Sep 20 02:35:47 Finished compiler/inference                                    1m22s   1GB
Sep 20 02:35:48 Starting compiler/backend/reg_alloc
Sep 20 02:36:36 Finished compiler/backend/reg_alloc                              47s   1GB
Sep 20 02:36:36 Starting compiler/backend/gc
Sep 20 02:44:24 Finished compiler/backend/gc                                   7m47s   4GB
Sep 20 02:44:25 Starting compiler/backend
Sep 20 02:44:29 Finished compiler/backend                                         2s  13MB
Sep 20 02:44:29 Starting compiler/encoders/asm
Sep 20 02:44:31 Finished compiler/encoders/asm                                    1s  13MB
Sep 20 02:44:32 Starting compiler/encoders/x64
Sep 20 02:44:48 Finished compiler/encoders/x64                                   15s 423MB
Sep 20 02:44:49 Starting compiler/encoders/arm6
Sep 20 02:45:34 Finished compiler/encoders/arm6                                  44s 399MB
Sep 20 02:45:34 Starting compiler/encoders/arm8
Sep 20 02:45:43 Finished compiler/encoders/arm8                                   7s 343MB
Sep 20 02:45:44 Starting compiler/encoders/mips
Sep 20 02:45:54 Finished compiler/encoders/mips                                   9s 449MB
Sep 20 02:45:54 Starting compiler/encoders/riscv
Sep 20 02:46:04 Finished compiler/encoders/riscv                                  8s 412MB
Sep 20 02:46:04 Starting compiler/backend/x64
Sep 20 02:46:22 Finished compiler/backend/x64                                    17s 838MB
Sep 20 02:46:22 Starting compiler/backend/arm6
Sep 20 02:46:43 Finished compiler/backend/arm6                                   19s   1GB
Sep 20 02:46:44 Starting compiler/backend/arm8
Sep 20 02:47:03 Finished compiler/backend/arm8                                   18s   1GB
Sep 20 02:47:03 Starting compiler/backend/mips
Sep 20 02:47:23 Finished compiler/backend/mips                                   18s   1GB
Sep 20 02:47:23 Starting compiler/backend/riscv
Sep 20 02:47:43 Finished compiler/backend/riscv                                  18s   1GB
Sep 20 02:47:43 Starting compiler/parsing/proofs
Sep 20 02:53:47 Finished compiler/parsing/proofs                               6m03s 792MB
Sep 20 02:53:48 Starting compiler/inference/proofs
Sep 20 02:56:36 Finished compiler/inference/proofs                             2m48s   1GB
Sep 20 02:56:37 Starting compiler/backend/semantics
Sep 20 03:05:30 Finished compiler/backend/semantics                            8m52s   1GB
Sep 20 03:05:31 Starting compiler/backend/reg_alloc/proofs
Sep 20 03:12:35 Finished compiler/backend/reg_alloc/proofs                     7m03s 610MB
Sep 20 03:12:36 Starting compiler/backend/proofs
Sep 20 03:47:56 Finished compiler/backend/proofs                              35m18s   4GB
Sep 20 03:47:56 Starting compiler/encoders/x64/proofs
Sep 20 03:54:18 Finished compiler/encoders/x64/proofs                          6m21s 849MB
Sep 20 03:54:19 Starting compiler/encoders/arm6/proofs
Sep 20 04:00:40 Finished compiler/encoders/arm6/proofs                         6m20s   1GB
Sep 20 04:00:41 Starting compiler/encoders/arm8/proofs
Sep 20 04:05:47 Finished compiler/encoders/arm8/proofs                         5m06s 971MB
Sep 20 04:05:48 Starting compiler/encoders/mips/proofs
Sep 20 04:12:27 Finished compiler/encoders/mips/proofs                         6m38s   2GB
Sep 20 04:12:28 Starting compiler/encoders/riscv/proofs
Sep 20 04:20:30 Finished compiler/encoders/riscv/proofs                        8m01s 795MB
Sep 20 04:20:31 Starting compiler/backend/x64/proofs
Sep 20 04:20:52 Finished compiler/backend/x64/proofs                             20s   1GB
Sep 20 04:20:53 Starting compiler/backend/arm6/proofs
Sep 20 04:21:15 Finished compiler/backend/arm6/proofs                            21s 869MB
Sep 20 04:21:16 Starting compiler/backend/arm8/proofs
Sep 20 04:21:36 Finished compiler/backend/arm8/proofs                            19s   1GB
Sep 20 04:21:37 Starting compiler/backend/mips/proofs
Sep 20 04:21:59 Finished compiler/backend/mips/proofs                            21s   1GB
Sep 20 04:22:00 Starting compiler/backend/riscv/proofs
Sep 20 04:22:21 Finished compiler/backend/riscv/proofs                           20s   1GB
Sep 20 04:22:22 Starting compiler/proofs
Sep 20 04:23:42 Finished compiler/proofs                                       1m19s   2GB
Sep 20 04:23:43 Starting candle/set-theory
Sep 20 04:24:09 Finished candle/set-theory                                       25s 647MB
Sep 20 04:24:09 Starting candle/syntax-lib
Sep 20 04:24:20 Finished candle/syntax-lib                                       10s 609MB
Sep 20 04:24:21 Starting candle/standard/syntax
Sep 20 04:25:54 Finished candle/standard/syntax                                1m32s 643MB
Sep 20 04:25:55 Starting candle/standard/semantics
Sep 20 04:27:16 Finished candle/standard/semantics                             1m20s 930MB
Sep 20 04:27:17 Starting candle/standard/monadic
Sep 20 04:28:51 Finished candle/standard/monadic                               1m33s 943MB
Sep 20 04:28:51 Starting candle/standard/ml_kernel
Sep 20 04:44:44 Finished candle/standard/ml_kernel                            15m51s   6GB
Sep 20 04:44:45 Starting candle/standard/opentheory
Sep 20 04:53:18 Finished candle/standard/opentheory                            8m32s   6GB
Sep 20 04:53:19 Starting characteristic/examples
Sep 20 04:54:55 Finished characteristic/examples                               1m35s   1GB
Sep 20 04:54:56 Starting tutorial/solutions
Sep 20 05:08:19 Finished tutorial/solutions                                   13m23s   6GB
Sep 20 05:08:20 Starting translator/monadic/examples
Sep 20 05:10:04 Finished translator/monadic/examples                           1m43s   2GB
Sep 20 05:10:05 Starting examples
Sep 20 05:15:42 Finished examples                                              5m36s   4GB
Sep 20 05:15:43 Starting examples/compilation
Sep 20 07:12:50 Finished examples/compilation                               1h57m05s  11GB
Sep 20 07:12:51 Starting examples/compilation/proofs
Sep 20 07:14:42 Finished examples/compilation/proofs                           1m48s   3GB
Sep 20 07:14:44 Starting compiler/benchmarks
Sep 20 07:14:45 Finished compiler/benchmarks                                      0s   4MB
Sep 20 07:14:47 Starting translator/okasaki-examples
Sep 20 07:18:13 Finished translator/okasaki-examples                           3m25s   1GB
Sep 20 07:18:14 Starting translator/other-examples
Sep 20 07:18:46 Finished translator/other-examples                               31s   1GB
Sep 20 07:18:47 Starting compiler/parsing/tests
Sep 20 07:19:13 Finished compiler/parsing/tests                                  24s 317MB
Sep 20 07:19:13 Starting compiler/inference/tests
Sep 20 07:23:14 Finished compiler/inference/tests                              3m59s   4GB
Sep 20 07:23:15 Starting compiler/bootstrap/translation
Sep 20 12:51:27 Finished compiler/bootstrap/translation                     5h28m10s  56GB
Sep 20 12:51:27 Starting unverified/sexpr-bootstrap/x64/64
Sep 20 12:59:04 Finished unverified/sexpr-bootstrap/x64/64                     7m35s  13GB
Sep 20 12:59:05 Starting unverified/sexpr-bootstrap/x64/32
Sep 20 13:04:03 Finished unverified/sexpr-bootstrap/x64/32                     4m56s  14GB
Sep 20 13:04:04 Starting compiler/bootstrap/compilation/x64/64
Sep 21 04:37:38 Finished compiler/bootstrap/compilation/x64/64             15h33m32s  64GB
Sep 21 04:37:39 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 21 04:41:00 Finished compiler/bootstrap/compilation/x64/64/proofs          3m20s  23GB
Sep 21 04:41:01 Starting compiler/bootstrap/compilation/x64/32
Sep 21 15:32:47 Finished compiler/bootstrap/compilation/x64/32             10h51m44s  64GB
Sep 21 15:32:48 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 21 15:36:09 Finished compiler/bootstrap/compilation/x64/32/proofs          3m19s  20GB
Sep 21 15:36:09 SUCCESS