Job 530

CakeML:8e7ff2c9b893acc68ca4490386c1e9511f5752ac
  Merge pull request #535 from CakeML/data-to-word-tweak [Oct 13 06:22:37]
HOL:32537a5663e731a4d41cf53adf51cc27b71a0e97
  Get temporal_deep/src/model_check to build by fixing Holmakefile [Oct 11 22:55:58]
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 14 05:11:37 Claimed job
Oct 14 05:11:42 Reusing HOL
Oct 14 05:12:29 Starting developers/bin
Oct 14 05:13:39 Finished developers/bin                                        1m10s 912MB
Oct 14 05:13:40 Starting semantics/ffi
Oct 14 05:13:52 Finished semantics/ffi                                           11s 288MB
Oct 14 05:13:53 Starting semantics
Oct 14 05:15:06 Finished semantics                                             1m12s 983MB
Oct 14 05:15:07 Starting semantics/proofs
Oct 14 05:17:50 Finished semantics/proofs                                      2m42s   1GB
Oct 14 05:17:51 Starting basis/pure
Oct 14 05:18:42 Finished basis/pure                                              50s 781MB
Oct 14 05:18:43 Starting translator
Oct 14 05:21:46 Finished translator                                            3m02s   1GB
Oct 14 05:21:46 Starting compiler/parsing
Oct 14 05:23:01 Finished compiler/parsing                                      1m13s   1GB
Oct 14 05:23:01 Starting characteristic
Oct 14 05:25:29 Finished characteristic                                        2m26s   1GB
Oct 14 05:25:29 Starting translator/monadic
Oct 14 05:26:56 Finished translator/monadic                                    1m25s   1GB
Oct 14 05:26:56 Starting basis
Oct 14 05:43:23 Finished basis                                                16m26s   2GB
Oct 14 05:43:24 Starting compiler/inference
Oct 14 05:44:47 Finished compiler/inference                                    1m22s   1GB
Oct 14 05:44:48 Starting compiler/backend/reg_alloc
Oct 14 05:45:36 Finished compiler/backend/reg_alloc                              47s   1GB
Oct 14 05:45:37 Starting compiler/backend/gc
Oct 14 05:53:25 Finished compiler/backend/gc                                   7m47s   3GB
Oct 14 05:53:26 Starting compiler/backend
Oct 14 05:53:29 Finished compiler/backend                                         3s  22MB
Oct 14 05:53:30 Starting compiler/encoders/asm
Oct 14 05:53:32 Finished compiler/encoders/asm                                    1s  16MB
Oct 14 05:53:33 Starting compiler/encoders/x64
Oct 14 05:53:50 Finished compiler/encoders/x64                                   16s 373MB
Oct 14 05:53:50 Starting compiler/encoders/arm6
Oct 14 05:54:35 Finished compiler/encoders/arm6                                  44s 454MB
Oct 14 05:54:36 Starting compiler/encoders/arm8
Oct 14 05:54:45 Finished compiler/encoders/arm8                                   8s 424MB
Oct 14 05:54:45 Starting compiler/encoders/mips
Oct 14 05:54:56 Finished compiler/encoders/mips                                   9s 507MB
Oct 14 05:54:56 Starting compiler/encoders/riscv
Oct 14 05:55:05 Finished compiler/encoders/riscv                                  8s 450MB
Oct 14 05:55:06 Starting compiler/backend/x64
Oct 14 05:55:24 Finished compiler/backend/x64                                    17s 772MB
Oct 14 05:55:25 Starting compiler/backend/arm6
Oct 14 05:55:45 Finished compiler/backend/arm6                                   19s   1GB
Oct 14 05:55:45 Starting compiler/backend/arm8
Oct 14 05:56:05 Finished compiler/backend/arm8                                   18s 974MB
Oct 14 05:56:06 Starting compiler/backend/mips
Oct 14 05:56:24 Finished compiler/backend/mips                                   17s 807MB
Oct 14 05:56:25 Starting compiler/backend/riscv
Oct 14 05:56:44 Finished compiler/backend/riscv                                  18s   1GB
Oct 14 05:56:45 Starting compiler/parsing/proofs
Oct 14 06:02:48 Finished compiler/parsing/proofs                               6m02s 786MB
Oct 14 06:02:49 Starting compiler/inference/proofs
Oct 14 06:05:41 Finished compiler/inference/proofs                             2m50s   1GB
Oct 14 06:05:41 Starting compiler/backend/semantics
Oct 14 06:14:32 Finished compiler/backend/semantics                            8m50s   2GB
Oct 14 06:14:33 Starting compiler/backend/reg_alloc/proofs
Oct 14 06:21:51 Finished compiler/backend/reg_alloc/proofs                     7m16s 502MB
Oct 14 06:21:52 Starting compiler/backend/proofs
Oct 14 07:02:39 Finished compiler/backend/proofs                              40m46s   5GB
Oct 14 07:02:40 Starting compiler/encoders/x64/proofs
Oct 14 07:09:04 Finished compiler/encoders/x64/proofs                          6m23s 885MB
Oct 14 07:09:05 Starting compiler/encoders/arm6/proofs
Oct 14 07:15:19 Finished compiler/encoders/arm6/proofs                         6m13s   1GB
Oct 14 07:15:20 Starting compiler/encoders/arm8/proofs
Oct 14 07:20:29 Finished compiler/encoders/arm8/proofs                         5m08s 988MB
Oct 14 07:20:30 Starting compiler/encoders/mips/proofs
Oct 14 07:27:16 Finished compiler/encoders/mips/proofs                         6m45s   2GB
Oct 14 07:27:16 Starting compiler/encoders/riscv/proofs
Oct 14 07:35:06 Finished compiler/encoders/riscv/proofs                        7m48s 832MB
Oct 14 07:35:07 Starting compiler/backend/x64/proofs
Oct 14 07:35:28 Finished compiler/backend/x64/proofs                             20s   1GB
Oct 14 07:35:29 Starting compiler/backend/arm6/proofs
Oct 14 07:35:53 Finished compiler/backend/arm6/proofs                            23s   1GB
Oct 14 07:35:54 Starting compiler/backend/arm8/proofs
Oct 14 07:36:15 Finished compiler/backend/arm8/proofs                            21s 888MB
Oct 14 07:36:16 Starting compiler/backend/mips/proofs
Oct 14 07:36:38 Finished compiler/backend/mips/proofs                            21s   1GB
Oct 14 07:36:39 Starting compiler/backend/riscv/proofs
Oct 14 07:37:00 Finished compiler/backend/riscv/proofs                           20s   1GB
Oct 14 07:37:01 Starting compiler/proofs
Oct 14 07:38:21 Finished compiler/proofs                                       1m19s   2GB
Oct 14 07:38:21 Starting candle/set-theory
Oct 14 07:38:48 Finished candle/set-theory                                       25s 592MB
Oct 14 07:38:49 Starting candle/syntax-lib
Oct 14 07:38:59 Finished candle/syntax-lib                                       10s 624MB
Oct 14 07:39:00 Starting candle/standard/syntax
Oct 14 07:40:33 Finished candle/standard/syntax                                1m32s 626MB
Oct 14 07:40:34 Starting candle/standard/semantics
Oct 14 07:41:58 Finished candle/standard/semantics                             1m23s 861MB
Oct 14 07:41:59 Starting candle/standard/monadic
Oct 14 07:43:34 Finished candle/standard/monadic                               1m34s   1GB
Oct 14 07:43:34 Starting candle/standard/ml_kernel
Oct 14 07:59:30 Finished candle/standard/ml_kernel                            15m54s   6GB
Oct 14 07:59:30 Starting candle/standard/opentheory
Oct 14 08:08:14 Finished candle/standard/opentheory                            8m42s   5GB
Oct 14 08:08:14 Starting candle/standard/opentheory/compilation
Oct 14 08:42:37 Finished candle/standard/opentheory/compilation               34m21s  16GB
Oct 14 08:42:38 Starting characteristic/examples
Oct 14 08:44:14 Finished characteristic/examples                               1m35s   1GB
Oct 14 08:44:14 Starting tutorial/solutions
Oct 14 08:58:02 Finished tutorial/solutions                                   13m46s   4GB
Oct 14 08:58:03 Starting translator/monadic/examples
Oct 14 08:59:48 Finished translator/monadic/examples                           1m44s   2GB
Oct 14 08:59:49 Starting examples
Oct 14 09:05:31 Finished examples                                              5m41s   5GB
Oct 14 09:05:32 Starting examples/compilation
Oct 14 11:00:49 Finished examples/compilation                               1h55m14s   9GB
Oct 14 11:00:49 Starting examples/compilation/proofs
Oct 14 11:02:45 Finished examples/compilation/proofs                           1m55s   3GB
Oct 14 11:02:46 Starting compiler/benchmarks
Oct 14 11:02:47 Finished compiler/benchmarks                                      0s   5MB
Oct 14 11:02:48 Starting translator/okasaki-examples
Oct 14 11:06:19 Finished translator/okasaki-examples                           3m30s   1GB
Oct 14 11:06:20 Starting translator/other-examples
Oct 14 11:06:53 Finished translator/other-examples                               32s   1GB
Oct 14 11:06:54 Starting compiler/parsing/tests
Oct 14 11:07:19 Finished compiler/parsing/tests                                  24s 341MB
Oct 14 11:07:20 Starting compiler/inference/tests
Oct 14 11:11:21 Finished compiler/inference/tests                              4m00s   3GB
Oct 14 11:11:22 Starting compiler/bootstrap/translation
Oct 14 17:22:39 Finished compiler/bootstrap/translation                     6h11m16s  53GB
Oct 14 17:22:40 Starting unverified/sexpr-bootstrap/x64/64
Oct 14 17:30:37 Finished unverified/sexpr-bootstrap/x64/64                     7m55s  13GB
Oct 14 17:30:37 Starting unverified/sexpr-bootstrap/x64/32
Oct 14 17:35:55 Finished unverified/sexpr-bootstrap/x64/32                     5m16s  17GB
Oct 14 17:35:56 Starting compiler/bootstrap/compilation/x64/64
Oct 15 08:56:03 Finished compiler/bootstrap/compilation/x64/64             15h20m04s  64GB
Oct 15 08:56:03 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 15 09:00:06 Finished compiler/bootstrap/compilation/x64/64/proofs          4m02s  24GB
Oct 15 09:00:07 Starting compiler/bootstrap/compilation/x64/32
Oct 15 18:52:11 Finished compiler/bootstrap/compilation/x64/32              9h52m01s  64GB
Oct 15 18:52:11 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 15 18:56:10 Finished compiler/bootstrap/compilation/x64/32/proofs          3m58s  21GB
Oct 15 18:56:11 SUCCESS