Job 1054

CakeML:dc73bd8f21601e06bdc92eb303865a3992673970
  Merge pull request #694 from CakeML/remove-oom [Oct 13 07:36:28]
HOL:c80b32898bc7a3f692c1be84161e569112efdfa9
  Fix ARM_security_properties example for change in 44aabdd82 [Oct 02 12:15:29]
Machine:stove 4.15.0-55-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

Oct 13 07:43:08 Claimed job
Oct 13 07:43:11 Reusing HOL
Oct 13 07:43:58 Starting developers
Oct 13 07:44:02 Finished developers                                               3s 147MB
Oct 13 07:44:02 Starting developers/bin
Oct 13 07:44:08 Finished developers/bin                                           6s 963MB
Oct 13 07:44:08 Starting semantics/ffi
Oct 13 07:44:17 Finished semantics/ffi                                            9s 246MB
Oct 13 07:44:17 Starting semantics
Oct 13 07:45:33 Finished semantics                                             1m15s   1GB
Oct 13 07:45:33 Starting semantics/proofs
Oct 13 07:48:21 Finished semantics/proofs                                      2m47s   1GB
Oct 13 07:48:21 Starting semantics/alt_semantics
Oct 13 07:48:29 Finished semantics/alt_semantics                                  7s 327MB
Oct 13 07:48:29 Starting semantics/alt_semantics/proofs
Oct 13 07:50:14 Finished semantics/alt_semantics/proofs                        1m44s 808MB
Oct 13 07:50:14 Starting basis/pure
Oct 13 07:50:58 Finished basis/pure                                              44s 786MB
Oct 13 07:50:58 Starting translator
Oct 13 07:52:39 Finished translator                                            1m41s   1GB
Oct 13 07:52:39 Starting compiler/parsing
Oct 13 07:53:32 Finished compiler/parsing                                        52s   2GB
Oct 13 07:53:32 Starting characteristic
Oct 13 07:58:37 Finished characteristic                                        5m04s   1GB
Oct 13 07:58:37 Starting translator/monadic
Oct 13 08:00:04 Finished translator/monadic                                    1m27s   1GB
Oct 13 08:00:04 Starting basis
Oct 13 08:18:52 Finished basis                                                18m47s   2GB
Oct 13 08:18:52 Starting compiler/inference
Oct 13 08:20:26 Finished compiler/inference                                    1m33s   1GB
Oct 13 08:20:26 Starting compiler/backend/reg_alloc
Oct 13 08:21:23 Finished compiler/backend/reg_alloc                              57s   1GB
Oct 13 08:21:23 Starting compiler/backend/gc
Oct 13 08:29:10 Finished compiler/backend/gc                                   7m46s   2GB
Oct 13 08:29:10 Starting compiler/backend
Oct 13 08:29:12 Finished compiler/backend                                         2s  23MB
Oct 13 08:29:12 Starting compiler/encoders/asm
Oct 13 08:29:13 Finished compiler/encoders/asm                                    1s  26MB
Oct 13 08:29:13 Starting compiler/encoders/x64
Oct 13 08:29:37 Finished compiler/encoders/x64                                   23s 765MB
Oct 13 08:29:37 Starting compiler/encoders/arm7
Oct 13 08:30:21 Finished compiler/encoders/arm7                                  43s 758MB
Oct 13 08:30:21 Starting compiler/encoders/arm8
Oct 13 08:30:33 Finished compiler/encoders/arm8                                  11s 912MB
Oct 13 08:30:33 Starting compiler/encoders/mips
Oct 13 08:30:50 Finished compiler/encoders/mips                                  16s 975MB
Oct 13 08:30:50 Starting compiler/encoders/riscv
Oct 13 08:31:05 Finished compiler/encoders/riscv                                 14s 721MB
Oct 13 08:31:05 Starting compiler/encoders/ag32
Oct 13 08:31:20 Finished compiler/encoders/ag32                                  15s 813MB
Oct 13 08:31:21 Starting compiler/backend/x64
Oct 13 08:31:37 Finished compiler/backend/x64                                    16s 825MB
Oct 13 08:31:37 Starting compiler/backend/arm7
Oct 13 08:31:55 Finished compiler/backend/arm7                                   18s   1GB
Oct 13 08:31:55 Starting compiler/backend/arm8
Oct 13 08:32:13 Finished compiler/backend/arm8                                   17s   1GB
Oct 13 08:32:13 Starting compiler/backend/mips
Oct 13 08:32:31 Finished compiler/backend/mips                                   18s   1GB
Oct 13 08:32:31 Starting compiler/backend/riscv
Oct 13 08:32:50 Finished compiler/backend/riscv                                  18s   1GB
Oct 13 08:32:50 Starting compiler/backend/ag32
Oct 13 08:33:52 Finished compiler/backend/ag32                                 1m02s   1GB
Oct 13 08:33:52 Starting compiler/parsing/proofs
Oct 13 08:39:14 Finished compiler/parsing/proofs                               5m22s   1GB
Oct 13 08:39:14 Starting compiler/inference/proofs
Oct 13 08:41:53 Finished compiler/inference/proofs                             2m38s   1GB
Oct 13 08:41:53 Starting compiler/backend/semantics
Oct 13 08:47:16 Finished compiler/backend/semantics                            5m23s   2GB
Oct 13 08:47:16 Starting compiler/backend/reg_alloc/proofs
Oct 13 08:50:20 Finished compiler/backend/reg_alloc/proofs                     3m04s   1GB
Oct 13 08:50:20 Starting compiler/backend/proofs
Oct 13 09:27:05 Finished compiler/backend/proofs                              36m44s   4GB
Oct 13 09:27:05 Starting compiler/encoders/x64/proofs
Oct 13 09:35:34 Finished compiler/encoders/x64/proofs                          8m28s   6GB
Oct 13 09:35:34 Starting compiler/encoders/arm7/proofs
Oct 13 09:47:12 Finished compiler/encoders/arm7/proofs                        11m38s   3GB
Oct 13 09:47:12 Starting compiler/encoders/arm8/proofs
Oct 13 09:52:59 Finished compiler/encoders/arm8/proofs                         5m47s   1GB
Oct 13 09:53:00 Starting compiler/encoders/mips/proofs
Oct 13 10:01:48 Finished compiler/encoders/mips/proofs                         8m48s   2GB
Oct 13 10:01:48 Starting compiler/encoders/riscv/proofs
Oct 13 10:09:41 Finished compiler/encoders/riscv/proofs                        7m52s   1GB
Oct 13 10:09:41 Starting compiler/encoders/ag32/proofs
Oct 13 10:11:57 Finished compiler/encoders/ag32/proofs                         2m15s 644MB
Oct 13 10:11:57 Starting compiler/backend/x64/proofs
Oct 13 10:12:15 Finished compiler/backend/x64/proofs                             18s   1GB
Oct 13 10:12:16 Starting compiler/backend/arm7/proofs
Oct 13 10:12:35 Finished compiler/backend/arm7/proofs                            19s   1GB
Oct 13 10:12:35 Starting compiler/backend/arm8/proofs
Oct 13 10:12:53 Finished compiler/backend/arm8/proofs                            18s   1GB
Oct 13 10:12:53 Starting compiler/backend/mips/proofs
Oct 13 10:13:11 Finished compiler/backend/mips/proofs                            18s   1GB
Oct 13 10:13:12 Starting compiler/backend/riscv/proofs
Oct 13 10:13:31 Finished compiler/backend/riscv/proofs                           19s   1GB
Oct 13 10:13:31 Starting compiler/backend/ag32/proofs
Oct 13 10:21:49 Finished compiler/backend/ag32/proofs                          8m17s   2GB
Oct 13 10:21:49 Starting compiler/proofs
Oct 13 10:23:24 Finished compiler/proofs                                       1m35s   3GB
Oct 13 10:23:24 Starting candle/set-theory
Oct 13 10:23:50 Finished candle/set-theory                                       25s 843MB
Oct 13 10:23:50 Starting candle/syntax-lib
Oct 13 10:24:00 Finished candle/syntax-lib                                       10s 681MB
Oct 13 10:24:00 Starting candle/standard/syntax
Oct 13 10:25:38 Finished candle/standard/syntax                                1m37s 989MB
Oct 13 10:25:38 Starting candle/standard/semantics
Oct 13 10:27:11 Finished candle/standard/semantics                             1m33s   1GB
Oct 13 10:27:11 Starting candle/standard/monadic
Oct 13 10:28:40 Finished candle/standard/monadic                               1m29s   1GB
Oct 13 10:28:41 Starting candle/standard/ml_kernel
Oct 13 10:32:24 Finished candle/standard/ml_kernel                             3m43s   5GB
Oct 13 10:32:24 Starting candle/standard/opentheory
Oct 13 10:40:48 Finished candle/standard/opentheory                            8m23s   3GB
Oct 13 10:40:48 Starting candle/standard/opentheory/compilation
Oct 13 11:08:34 Finished candle/standard/opentheory/compilation               27m45s  17GB
Oct 13 11:08:34 Starting candle/standard/opentheory/compilation/proofs
Oct 13 11:09:23 Finished candle/standard/opentheory/compilation/proofs           48s   2GB
Oct 13 11:09:23 Starting characteristic/examples
Oct 13 11:10:43 Finished characteristic/examples                               1m20s   2GB
Oct 13 11:10:43 Starting tutorial/solutions
Oct 13 11:23:34 Finished tutorial/solutions                                   12m50s   5GB
Oct 13 11:23:34 Starting translator/monadic/examples
Oct 13 11:26:18 Finished translator/monadic/examples                           2m43s   2GB
Oct 13 11:26:18 Starting examples
Oct 13 11:34:16 Finished examples                                              7m58s   3GB
Oct 13 11:34:16 Starting examples/compilation/x64
Oct 13 13:30:52 Finished examples/compilation/x64                           1h56m35s  18GB
Oct 13 13:30:52 Starting examples/compilation/x64/proofs
Oct 13 13:32:18 Finished examples/compilation/x64/proofs                       1m25s   2GB
Oct 13 13:32:18 Starting examples/compilation/ag32
Oct 13 13:59:34 Finished examples/compilation/ag32                            27m15s   5GB
Oct 13 13:59:34 Starting examples/compilation/ag32/proofs
Oct 13 14:00:22 Finished examples/compilation/ag32/proofs                        48s   3GB
Oct 13 14:00:22 Starting translator/okasaki-examples
Oct 13 14:04:16 Finished translator/okasaki-examples                           3m53s   1GB
Oct 13 14:04:16 Starting translator/other-examples
Oct 13 14:04:56 Finished translator/other-examples                               39s   1GB
Oct 13 14:04:56 Starting compiler/parsing/tests
Oct 13 14:05:19 Finished compiler/parsing/tests                                  23s 500MB
Oct 13 14:05:20 Starting compiler/inference/tests
Oct 13 14:09:22 Finished compiler/inference/tests                              4m02s   3GB
Oct 13 14:09:22 Starting compiler/bootstrap/translation
Oct 13 16:31:17 Finished compiler/bootstrap/translation                     2h21m55s  42GB
Oct 13 16:31:17 Starting unverified/sexpr-bootstrap/x64/64
Oct 13 16:44:10 Finished unverified/sexpr-bootstrap/x64/64                    12m51s   3GB
Oct 13 16:44:10 Starting unverified/sexpr-bootstrap/x64/32
Oct 13 16:53:08 Finished unverified/sexpr-bootstrap/x64/32                     8m57s   5GB
Oct 13 16:53:08 Starting compiler/benchmarks
Oct 13 16:53:14 Finished compiler/benchmarks                                      5s  27MB
Oct 13 16:53:14 Starting compiler/bootstrap/compilation/x64/64
Oct 14 05:13:29 Finished compiler/bootstrap/compilation/x64/64             12h20m14s  64GB
Oct 14 05:13:29 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 14 05:17:11 Finished compiler/bootstrap/compilation/x64/64/proofs          3m41s   5GB
Oct 14 05:17:11 Starting compiler/bootstrap/compilation/x64/32
Oct 14 15:18:34 Finished compiler/bootstrap/compilation/x64/32             10h01m21s  64GB
Oct 14 15:18:34 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 14 15:21:47 Finished compiler/bootstrap/compilation/x64/32/proofs          3m13s   5GB
Oct 14 15:21:47 Starting compiler/bootstrap/compilation/ag32/32
Oct 15 03:09:41 Finished compiler/bootstrap/compilation/ag32/32            11h47m53s  64GB
Oct 15 03:09:41 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 15 03:34:36 Finished compiler/bootstrap/compilation/ag32/32/proofs        24m54s  28GB
Oct 15 03:34:36 SUCCESS