Job 535

CakeML:eade0f2f7ccfe17bb7042cdc67f8379ff7edd270
  Add OpenTheory compiler proofs to build-sequence [Oct 16 04:15:06]
HOL:5486751385fa6b1f69feee739547ec7e4ef99d7f
  Add files demonstrating problem with interactive use of INCLUDES [Oct 15 23:25:26]
Machine:oven1 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

Oct 17 09:05:11 Claimed job
Oct 17 09:08:04 Building HOL
Oct 17 09:17:27 Starting developers/bin
Oct 17 09:18:40 Finished developers/bin                                        1m12s 913MB
Oct 17 09:18:41 Starting semantics/ffi
Oct 17 09:19:20 Finished semantics/ffi                                           38s 416MB
Oct 17 09:19:21 Starting semantics
Oct 17 09:20:48 Finished semantics                                             1m26s 797MB
Oct 17 09:20:48 Starting semantics/proofs
Oct 17 09:23:31 Finished semantics/proofs                                      2m41s   1GB
Oct 17 09:23:31 Starting basis/pure
Oct 17 09:27:04 Finished basis/pure                                            3m32s 777MB
Oct 17 09:27:05 Starting translator
Oct 17 09:30:07 Finished translator                                            3m01s 942MB
Oct 17 09:30:08 Starting compiler/parsing
Oct 17 09:31:23 Finished compiler/parsing                                      1m13s   1GB
Oct 17 09:31:23 Starting characteristic
Oct 17 09:33:54 Finished characteristic                                        2m29s   1GB
Oct 17 09:33:54 Starting translator/monadic
Oct 17 09:35:20 Finished translator/monadic                                    1m25s   1GB
Oct 17 09:35:21 Starting basis
Oct 17 09:51:59 Finished basis                                                16m37s   2GB
Oct 17 09:51:59 Starting compiler/inference
Oct 17 09:53:41 Finished compiler/inference                                    1m41s   1GB
Oct 17 09:53:42 Starting compiler/backend/reg_alloc
Oct 17 09:54:30 Finished compiler/backend/reg_alloc                              47s   1GB
Oct 17 09:54:31 Starting compiler/backend/gc
Oct 17 10:01:50 Finished compiler/backend/gc                                   7m17s   2GB
Oct 17 10:01:50 Starting compiler/backend
Oct 17 10:01:54 Finished compiler/backend                                         3s  17MB
Oct 17 10:01:55 Starting compiler/encoders/asm
Oct 17 10:01:56 Finished compiler/encoders/asm                                    1s  13MB
Oct 17 10:01:57 Starting compiler/encoders/x64
Oct 17 10:02:49 Finished compiler/encoders/x64                                   51s 609MB
Oct 17 10:02:50 Starting compiler/encoders/arm6
Oct 17 10:04:34 Finished compiler/encoders/arm6                                1m43s   1GB
Oct 17 10:04:34 Starting compiler/encoders/arm8
Oct 17 10:05:01 Finished compiler/encoders/arm8                                  25s 499MB
Oct 17 10:05:02 Starting compiler/encoders/mips
Oct 17 10:06:00 Finished compiler/encoders/mips                                  57s 796MB
Oct 17 10:06:01 Starting compiler/encoders/riscv
Oct 17 10:07:01 Finished compiler/encoders/riscv                               1m00s 696MB
Oct 17 10:07:02 Starting compiler/backend/x64
Oct 17 10:07:20 Finished compiler/backend/x64                                    17s   1GB
Oct 17 10:07:21 Starting compiler/backend/arm6
Oct 17 10:07:41 Finished compiler/backend/arm6                                   19s   1GB
Oct 17 10:07:41 Starting compiler/backend/arm8
Oct 17 10:08:00 Finished compiler/backend/arm8                                   18s 913MB
Oct 17 10:08:01 Starting compiler/backend/mips
Oct 17 10:08:21 Finished compiler/backend/mips                                   19s   1GB
Oct 17 10:08:21 Starting compiler/backend/riscv
Oct 17 10:08:40 Finished compiler/backend/riscv                                  18s 898MB
Oct 17 10:08:41 Starting compiler/parsing/proofs
Oct 17 10:14:48 Finished compiler/parsing/proofs                               6m06s 789MB
Oct 17 10:14:49 Starting compiler/inference/proofs
Oct 17 10:17:41 Finished compiler/inference/proofs                             2m51s   1GB
Oct 17 10:17:42 Starting compiler/backend/semantics
Oct 17 10:26:32 Finished compiler/backend/semantics                            8m49s   2GB
Oct 17 10:26:33 Starting compiler/backend/reg_alloc/proofs
Oct 17 10:33:54 Finished compiler/backend/reg_alloc/proofs                     7m20s 529MB
Oct 17 10:33:55 Starting compiler/backend/proofs
Oct 17 11:14:36 Finished compiler/backend/proofs                              40m40s   4GB
Oct 17 11:14:37 Starting compiler/encoders/x64/proofs
Oct 17 11:21:55 Finished compiler/encoders/x64/proofs                          7m17s   4GB
Oct 17 11:21:56 Starting compiler/encoders/arm6/proofs
Oct 17 11:29:25 Finished compiler/encoders/arm6/proofs                         7m28s   3GB
Oct 17 11:29:26 Starting compiler/encoders/arm8/proofs
Oct 17 11:34:52 Finished compiler/encoders/arm8/proofs                         5m25s   1GB
Oct 17 11:34:53 Starting compiler/encoders/mips/proofs
Oct 17 11:42:10 Finished compiler/encoders/mips/proofs                         7m15s   2GB
Oct 17 11:42:10 Starting compiler/encoders/riscv/proofs
Oct 17 11:50:09 Finished compiler/encoders/riscv/proofs                        7m58s 702MB
Oct 17 11:50:10 Starting compiler/backend/x64/proofs
Oct 17 11:50:31 Finished compiler/backend/x64/proofs                             20s   1GB
Oct 17 11:50:32 Starting compiler/backend/arm6/proofs
Oct 17 11:50:57 Finished compiler/backend/arm6/proofs                            24s 931MB
Oct 17 11:50:58 Starting compiler/backend/arm8/proofs
Oct 17 11:51:18 Finished compiler/backend/arm8/proofs                            20s   1GB
Oct 17 11:51:19 Starting compiler/backend/mips/proofs
Oct 17 11:51:40 Finished compiler/backend/mips/proofs                            20s 969MB
Oct 17 11:51:41 Starting compiler/backend/riscv/proofs
Oct 17 11:52:07 Finished compiler/backend/riscv/proofs                           25s   1GB
Oct 17 11:52:08 Starting compiler/proofs
Oct 17 11:53:29 Finished compiler/proofs                                       1m20s   2GB
Oct 17 11:53:30 Starting candle/set-theory
Oct 17 11:54:02 Finished candle/set-theory                                       31s 628MB
Oct 17 11:54:03 Starting candle/syntax-lib
Oct 17 11:54:14 Finished candle/syntax-lib                                       10s 610MB
Oct 17 11:54:14 Starting candle/standard/syntax
Oct 17 11:55:49 Finished candle/standard/syntax                                1m33s 639MB
Oct 17 11:55:49 Starting candle/standard/semantics
Oct 17 11:57:11 Finished candle/standard/semantics                             1m21s   1GB
Oct 17 11:57:12 Starting candle/standard/monadic
Oct 17 11:58:48 Finished candle/standard/monadic                               1m35s 854MB
Oct 17 11:58:49 Starting candle/standard/ml_kernel
Oct 17 12:14:53 Finished candle/standard/ml_kernel                            16m03s   5GB
Oct 17 12:14:54 Starting candle/standard/opentheory
Oct 17 12:23:40 Finished candle/standard/opentheory                            8m44s   5GB
Oct 17 12:23:41 Starting candle/standard/opentheory/compilation
Oct 17 12:57:27 Finished candle/standard/opentheory/compilation               33m46s  16GB
Oct 17 12:57:28 Starting candle/standard/opentheory/compilation/proofs
Oct 17 12:58:08 Finished candle/standard/opentheory/compilation/proofs           39s   4GB
Oct 17 12:58:08 Starting characteristic/examples
Oct 17 12:59:44 Finished characteristic/examples                               1m34s   1GB
Oct 17 12:59:44 Starting tutorial/solutions
Oct 17 13:12:52 Finished tutorial/solutions                                   13m06s   7GB
Oct 17 13:12:52 Starting translator/monadic/examples
Oct 17 13:14:39 Finished translator/monadic/examples                           1m45s   2GB
Oct 17 13:14:39 Starting examples
Oct 17 13:20:23 Finished examples                                              5m42s   5GB
Oct 17 13:20:23 Starting examples/compilation
Oct 17 15:15:33 Finished examples/compilation                               1h55m09s   9GB
Oct 17 15:15:34 Starting examples/compilation/proofs
Oct 17 15:17:30 Finished examples/compilation/proofs                           1m55s   3GB
Oct 17 15:17:31 Starting compiler/benchmarks
Oct 17 15:17:32 Finished compiler/benchmarks                                      0s   5MB
Oct 17 15:17:32 Starting translator/okasaki-examples
Oct 17 15:21:02 Finished translator/okasaki-examples                           3m28s   1GB
Oct 17 15:21:03 Starting translator/other-examples
Oct 17 15:24:32 Finished translator/other-examples                             3m28s   1GB
Oct 17 15:24:32 Starting compiler/parsing/tests
Oct 17 15:24:58 Finished compiler/parsing/tests                                  25s 290MB
Oct 17 15:24:59 Starting compiler/inference/tests
Oct 17 15:28:56 Finished compiler/inference/tests                              3m56s   3GB
Oct 17 15:28:57 Starting compiler/bootstrap/translation
Oct 17 21:52:23 Finished compiler/bootstrap/translation                     6h23m25s  54GB
Oct 17 21:52:23 Starting unverified/sexpr-bootstrap/x64/64
Oct 17 22:00:23 Finished unverified/sexpr-bootstrap/x64/64                     7m57s  13GB
Oct 17 22:00:23 Starting unverified/sexpr-bootstrap/x64/32
Oct 17 22:05:49 Finished unverified/sexpr-bootstrap/x64/32                     5m23s  19GB
Oct 17 22:05:49 Starting compiler/bootstrap/compilation/x64/64
Oct 18 13:16:34 Finished compiler/bootstrap/compilation/x64/64             15h10m42s  64GB
Oct 18 13:16:34 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 18 13:20:11 Finished compiler/bootstrap/compilation/x64/64/proofs          3m35s  25GB
Oct 18 13:20:12 Starting compiler/bootstrap/compilation/x64/32
Oct 18 23:12:34 Finished compiler/bootstrap/compilation/x64/32              9h52m19s  64GB
Oct 18 23:12:35 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 18 23:15:51 Finished compiler/bootstrap/compilation/x64/32/proofs          3m15s  21GB
Oct 18 23:15:52 SUCCESS