Job 634

CakeML:9b366aa092a1e2c8100d95bbe3fa77b5fe513dc9
  Merge pull request #582 from CakeML/cleanup [Dec 14 06:05:52]
HOL:33d2e119b43635d947a09dc50499e1d856d24fe3
  Merge remote-tracking branch 'origin/master' into develop [Dec 16 11:37:23]
Machine:oven2 4.13.0-37-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

Dec 18 00:47:13 Claimed job
Dec 18 00:47:49 Building HOL
Dec 18 00:55:36 Starting developers
Dec 18 00:55:37 Finished developers                                               0s  25MB
Dec 18 00:55:38 Starting developers/bin
Dec 18 00:56:09 Finished developers/bin                                          29s 201MB
Dec 18 00:56:09 Starting semantics/ffi
Dec 18 00:56:45 Finished semantics/ffi                                           34s 464MB
Dec 18 00:56:46 Starting semantics
Dec 18 00:58:19 Finished semantics                                             1m31s 898MB
Dec 18 00:58:20 Starting semantics/proofs
Dec 18 01:01:25 Finished semantics/proofs                                      3m04s   1GB
Dec 18 01:01:25 Starting basis/pure
Dec 18 01:05:04 Finished basis/pure                                            3m37s 654MB
Dec 18 01:05:04 Starting translator
Dec 18 01:06:21 Finished translator                                            1m15s 824MB
Dec 18 01:06:22 Starting compiler/parsing
Dec 18 01:07:39 Finished compiler/parsing                                      1m16s   2GB
Dec 18 01:07:40 Starting characteristic
Dec 18 01:10:12 Finished characteristic                                        2m31s   1GB
Dec 18 01:10:13 Starting translator/monadic
Dec 18 01:11:40 Finished translator/monadic                                    1m26s   1GB
Dec 18 01:11:41 Starting basis
Dec 18 01:27:49 Finished basis                                                16m07s   3GB
Dec 18 01:27:50 Starting compiler/inference
Dec 18 01:29:50 Finished compiler/inference                                    1m59s   1GB
Dec 18 01:29:51 Starting compiler/backend/reg_alloc
Dec 18 01:30:40 Finished compiler/backend/reg_alloc                              48s 911MB
Dec 18 01:30:40 Starting compiler/backend/gc
Dec 18 01:38:11 Finished compiler/backend/gc                                   7m30s   1GB
Dec 18 01:38:12 Starting compiler/backend
Dec 18 01:38:14 Finished compiler/backend                                         1s  24MB
Dec 18 01:38:15 Starting compiler/encoders/asm
Dec 18 01:38:17 Finished compiler/encoders/asm                                    0s  17MB
Dec 18 01:38:18 Starting compiler/encoders/x64
Dec 18 01:39:06 Finished compiler/encoders/x64                                   47s 530MB
Dec 18 01:39:07 Starting compiler/encoders/arm6
Dec 18 01:40:47 Finished compiler/encoders/arm6                                1m39s   1GB
Dec 18 01:40:48 Starting compiler/encoders/arm8
Dec 18 01:41:13 Finished compiler/encoders/arm8                                  24s 502MB
Dec 18 01:41:14 Starting compiler/encoders/mips
Dec 18 01:42:11 Finished compiler/encoders/mips                                  56s 821MB
Dec 18 01:42:12 Starting compiler/encoders/riscv
Dec 18 01:43:13 Finished compiler/encoders/riscv                               1m00s 758MB
Dec 18 01:43:14 Starting compiler/encoders/ag32
Dec 18 01:43:31 Finished compiler/encoders/ag32                                  16s 825MB
Dec 18 01:43:32 Starting compiler/backend/x64
Dec 18 01:43:49 Finished compiler/backend/x64                                    16s 844MB
Dec 18 01:43:50 Starting compiler/backend/arm6
Dec 18 01:44:08 Finished compiler/backend/arm6                                   17s   1GB
Dec 18 01:44:09 Starting compiler/backend/arm8
Dec 18 01:44:27 Finished compiler/backend/arm8                                   17s   1GB
Dec 18 01:44:28 Starting compiler/backend/mips
Dec 18 01:44:47 Finished compiler/backend/mips                                   17s   1GB
Dec 18 01:44:48 Starting compiler/backend/riscv
Dec 18 01:45:06 Finished compiler/backend/riscv                                  17s   1GB
Dec 18 01:45:06 Starting compiler/backend/ag32
Dec 18 01:46:22 Finished compiler/backend/ag32                                 1m15s   1GB
Dec 18 01:46:23 Starting compiler/parsing/proofs
Dec 18 01:52:38 Finished compiler/parsing/proofs                               6m13s 835MB
Dec 18 01:52:38 Starting compiler/inference/proofs
Dec 18 01:55:31 Finished compiler/inference/proofs                             2m51s 978MB
Dec 18 01:55:31 Starting compiler/backend/semantics
Dec 18 02:03:55 Finished compiler/backend/semantics                            8m22s   2GB
Dec 18 02:03:56 Starting compiler/backend/reg_alloc/proofs
Dec 18 02:06:40 Finished compiler/backend/reg_alloc/proofs                     2m43s 507MB
Dec 18 02:06:40 Starting compiler/backend/proofs
Dec 18 02:49:00 Finished compiler/backend/proofs                              42m18s   3GB
Dec 18 02:49:00 Starting compiler/encoders/x64/proofs
Dec 18 02:59:37 Finished compiler/encoders/x64/proofs                         10m35s   4GB
Dec 18 02:59:38 Starting compiler/encoders/arm6/proofs
Dec 18 03:14:50 Finished compiler/encoders/arm6/proofs                        15m11s   3GB
Dec 18 03:14:51 Starting compiler/encoders/arm8/proofs
Dec 18 03:20:58 Finished compiler/encoders/arm8/proofs                         6m06s   1GB
Dec 18 03:20:59 Starting compiler/encoders/mips/proofs
Dec 18 03:31:46 Finished compiler/encoders/mips/proofs                        10m46s   2GB
Dec 18 03:31:47 Starting compiler/encoders/riscv/proofs
Dec 18 03:39:54 Finished compiler/encoders/riscv/proofs                        8m06s 853MB
Dec 18 03:39:55 Starting compiler/encoders/ag32/proofs
Dec 18 03:42:41 Finished compiler/encoders/ag32/proofs                         2m45s 606MB
Dec 18 03:42:42 Starting compiler/backend/x64/proofs
Dec 18 03:43:03 Finished compiler/backend/x64/proofs                             19s   1GB
Dec 18 03:43:03 Starting compiler/backend/arm6/proofs
Dec 18 03:43:26 Finished compiler/backend/arm6/proofs                            21s   1GB
Dec 18 03:43:26 Starting compiler/backend/arm8/proofs
Dec 18 03:43:46 Finished compiler/backend/arm8/proofs                            18s 990MB
Dec 18 03:43:47 Starting compiler/backend/mips/proofs
Dec 18 03:44:07 Finished compiler/backend/mips/proofs                            19s   1GB
Dec 18 03:44:08 Starting compiler/backend/riscv/proofs
Dec 18 03:44:29 Finished compiler/backend/riscv/proofs                           20s   1GB
Dec 18 03:44:30 Starting compiler/backend/ag32/proofs
Dec 18 03:54:08 Finished compiler/backend/ag32/proofs                          9m36s   2GB
Dec 18 03:54:08 Starting compiler/proofs
Dec 18 03:55:28 Finished compiler/proofs                                       1m18s   1GB
Dec 18 03:55:29 Starting candle/set-theory
Dec 18 03:56:00 Finished candle/set-theory                                       30s 718MB
Dec 18 03:56:00 Starting candle/syntax-lib
Dec 18 03:56:11 Finished candle/syntax-lib                                        9s 512MB
Dec 18 03:56:12 Starting candle/standard/syntax
Dec 18 03:57:46 Finished candle/standard/syntax                                1m33s 734MB
Dec 18 03:57:47 Starting candle/standard/semantics
Dec 18 03:59:07 Finished candle/standard/semantics                             1m19s 811MB
Dec 18 03:59:08 Starting candle/standard/monadic
Dec 18 04:00:45 Finished candle/standard/monadic                               1m35s   1GB
Dec 18 04:00:45 Starting candle/standard/ml_kernel
Dec 18 04:15:56 Finished candle/standard/ml_kernel                            15m10s   3GB
Dec 18 04:15:57 Starting candle/standard/opentheory
Dec 18 04:23:53 Finished candle/standard/opentheory                            7m55s   3GB
Dec 18 04:23:53 Starting candle/standard/opentheory/compilation
Dec 18 04:53:22 Finished candle/standard/opentheory/compilation               29m27s  14GB
Dec 18 04:53:22 Starting candle/standard/opentheory/compilation/proofs
Dec 18 04:53:57 Finished candle/standard/opentheory/compilation/proofs           34s   4GB
Dec 18 04:53:58 Starting characteristic/examples
Dec 18 04:55:28 Finished characteristic/examples                               1m28s   1GB
Dec 18 04:55:28 Starting tutorial/solutions
Dec 18 05:08:39 Finished tutorial/solutions                                   13m09s   6GB
Dec 18 05:08:40 Starting translator/monadic/examples
Dec 18 05:10:31 Finished translator/monadic/examples                           1m50s   2GB
Dec 18 05:10:32 Starting examples
Dec 18 05:16:58 Finished examples                                              6m24s   2GB
Dec 18 05:16:59 Starting examples/compilation/x64
Dec 18 07:13:44 Finished examples/compilation/x64                           1h56m44s  10GB
Dec 18 07:13:45 Starting examples/compilation/x64/proofs
Dec 18 07:15:40 Finished examples/compilation/x64/proofs                       1m54s   3GB
Dec 18 07:15:41 Starting examples/compilation/ag32
Dec 18 07:42:22 Finished examples/compilation/ag32                            26m40s   3GB
Dec 18 07:42:23 Starting examples/compilation/ag32/proofs
Dec 18 07:42:49 Finished examples/compilation/ag32/proofs                        25s   2GB
Dec 18 07:42:49 Starting compiler/benchmarks
Dec 18 07:42:50 Finished compiler/benchmarks                                      0s   4MB
Dec 18 07:42:51 Starting translator/okasaki-examples
Dec 18 07:46:23 Finished translator/okasaki-examples                           3m31s   1GB
Dec 18 07:46:24 Starting translator/other-examples
Dec 18 07:49:39 Finished translator/other-examples                             3m14s   1GB
Dec 18 07:49:40 Starting compiler/parsing/tests
Dec 18 07:50:05 Finished compiler/parsing/tests                                  24s 333MB
Dec 18 07:50:06 Starting compiler/inference/tests
Dec 18 07:54:17 Finished compiler/inference/tests                              4m10s   3GB
Dec 18 07:54:18 Starting compiler/bootstrap/translation
Dec 18 11:07:38 Finished compiler/bootstrap/translation                     3h13m18s  50GB
Dec 18 11:07:39 Starting unverified/sexpr-bootstrap/x64/64
Dec 18 11:15:48 Finished unverified/sexpr-bootstrap/x64/64                     8m07s  13GB
Dec 18 11:15:49 Starting unverified/sexpr-bootstrap/x64/32
Dec 18 11:21:26 Finished unverified/sexpr-bootstrap/x64/32                     5m34s  17GB
Dec 18 11:21:27 Starting compiler/bootstrap/compilation/x64/64
Dec 19 05:39:53 Finished compiler/bootstrap/compilation/x64/64             18h18m23s  64GB
Dec 19 05:39:54 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 19 05:43:49 Finished compiler/bootstrap/compilation/x64/64/proofs          3m53s  24GB
Dec 19 05:43:49 Starting compiler/bootstrap/compilation/x64/32
Dec 19 17:53:27 Finished compiler/bootstrap/compilation/x64/32             12h09m35s  63GB
Dec 19 17:53:28 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 19 17:56:52 Finished compiler/bootstrap/compilation/x64/32/proofs          3m23s  27GB
Dec 19 17:56:53 SUCCESS