Job 540

CakeML:9620f70b0670e4f259ccd3b25a8efc9ed574bd50
  Put semantics/proofs into characteristic's INCLUDES [Oct 19 02:15:09]
HOL:1b4a5d5506b74451f62ba916ec8e07ecac2aad6a
  Merge pull request #603 from thtuerk/fix_pattern_match_demo [Oct 17 23:30: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 19 07:41:36 Claimed job
Oct 19 07:41:41 Reusing HOL
Oct 19 07:42:34 Starting developers/bin
Oct 19 07:43:43 Finished developers/bin                                        1m08s 914MB
Oct 19 07:43:44 Starting semantics/ffi
Oct 19 07:43:55 Finished semantics/ffi                                           11s 276MB
Oct 19 07:43:56 Starting semantics
Oct 19 07:45:10 Finished semantics                                             1m13s   1GB
Oct 19 07:45:11 Starting semantics/proofs
Oct 19 07:47:54 Finished semantics/proofs                                      2m42s   1GB
Oct 19 07:47:55 Starting basis/pure
Oct 19 07:48:46 Finished basis/pure                                              50s 619MB
Oct 19 07:48:47 Starting translator
Oct 19 07:51:48 Finished translator                                            3m00s   1GB
Oct 19 07:51:49 Starting compiler/parsing
Oct 19 07:53:06 Finished compiler/parsing                                      1m15s   2GB
Oct 19 07:53:06 Starting characteristic
Oct 19 07:55:34 Finished characteristic                                        2m26s   1GB
Oct 19 07:55:34 Starting translator/monadic
Oct 19 07:57:01 Finished translator/monadic                                    1m26s   1GB
Oct 19 07:57:02 Starting basis
Oct 19 08:13:32 Finished basis                                                16m29s   3GB
Oct 19 08:13:33 Starting compiler/inference
Oct 19 08:15:14 Finished compiler/inference                                    1m40s   1GB
Oct 19 08:15:15 Starting compiler/backend/reg_alloc
Oct 19 08:16:03 Finished compiler/backend/reg_alloc                              46s   1GB
Oct 19 08:16:04 Starting compiler/backend/gc
Oct 19 08:23:20 Finished compiler/backend/gc                                   7m15s   1GB
Oct 19 08:23:21 Starting compiler/backend
Oct 19 08:23:24 Finished compiler/backend                                         3s  17MB
Oct 19 08:23:25 Starting compiler/encoders/asm
Oct 19 08:23:27 Finished compiler/encoders/asm                                    1s  17MB
Oct 19 08:23:27 Starting compiler/encoders/x64
Oct 19 08:24:20 Finished compiler/encoders/x64                                   52s 610MB
Oct 19 08:24:21 Starting compiler/encoders/arm6
Oct 19 08:26:05 Finished compiler/encoders/arm6                                1m43s   1GB
Oct 19 08:26:06 Starting compiler/encoders/arm8
Oct 19 08:26:32 Finished compiler/encoders/arm8                                  25s 483MB
Oct 19 08:26:33 Starting compiler/encoders/mips
Oct 19 08:27:30 Finished compiler/encoders/mips                                  57s 757MB
Oct 19 08:27:31 Starting compiler/encoders/riscv
Oct 19 08:28:32 Finished compiler/encoders/riscv                                 59s 701MB
Oct 19 08:28:32 Starting compiler/backend/x64
Oct 19 08:28:51 Finished compiler/backend/x64                                    18s   1GB
Oct 19 08:28:52 Starting compiler/backend/arm6
Oct 19 08:29:13 Finished compiler/backend/arm6                                   19s   1GB
Oct 19 08:29:13 Starting compiler/backend/arm8
Oct 19 08:29:33 Finished compiler/backend/arm8                                   18s   1GB
Oct 19 08:29:34 Starting compiler/backend/mips
Oct 19 08:29:53 Finished compiler/backend/mips                                   18s   1GB
Oct 19 08:29:53 Starting compiler/backend/riscv
Oct 19 08:30:12 Finished compiler/backend/riscv                                  17s 838MB
Oct 19 08:30:13 Starting compiler/parsing/proofs
Oct 19 08:36:19 Finished compiler/parsing/proofs                               6m05s 803MB
Oct 19 08:36:20 Starting compiler/inference/proofs
Oct 19 08:39:11 Finished compiler/inference/proofs                             2m50s   1GB
Oct 19 08:39:11 Starting compiler/backend/semantics
Oct 19 08:48:02 Finished compiler/backend/semantics                            8m49s   2GB
Oct 19 08:48:03 Starting compiler/backend/reg_alloc/proofs
Oct 19 08:55:08 Finished compiler/backend/reg_alloc/proofs                     7m04s 510MB
Oct 19 08:55:09 Starting compiler/backend/proofs
Oct 19 09:35:51 Finished compiler/backend/proofs                              40m41s   3GB
Oct 19 09:35:52 Starting compiler/encoders/x64/proofs
Oct 19 09:43:13 Finished compiler/encoders/x64/proofs                          7m20s   5GB
Oct 19 09:43:14 Starting compiler/encoders/arm6/proofs
Oct 19 09:50:47 Finished compiler/encoders/arm6/proofs                         7m32s   3GB
Oct 19 09:50:48 Starting compiler/encoders/arm8/proofs
Oct 19 09:56:10 Finished compiler/encoders/arm8/proofs                         5m21s   1GB
Oct 19 09:56:11 Starting compiler/encoders/mips/proofs
Oct 19 10:03:36 Finished compiler/encoders/mips/proofs                         7m24s   2GB
Oct 19 10:03:37 Starting compiler/encoders/riscv/proofs
Oct 19 10:11:29 Finished compiler/encoders/riscv/proofs                        7m51s 778MB
Oct 19 10:11:30 Starting compiler/backend/x64/proofs
Oct 19 10:11:51 Finished compiler/backend/x64/proofs                             20s 763MB
Oct 19 10:11:52 Starting compiler/backend/arm6/proofs
Oct 19 10:12:15 Finished compiler/backend/arm6/proofs                            22s   1GB
Oct 19 10:12:16 Starting compiler/backend/arm8/proofs
Oct 19 10:12:36 Finished compiler/backend/arm8/proofs                            19s 799MB
Oct 19 10:12:36 Starting compiler/backend/mips/proofs
Oct 19 10:12:59 Finished compiler/backend/mips/proofs                            22s   1GB
Oct 19 10:13:00 Starting compiler/backend/riscv/proofs
Oct 19 10:13:26 Finished compiler/backend/riscv/proofs                           25s   1GB
Oct 19 10:13:27 Starting compiler/proofs
Oct 19 10:14:46 Finished compiler/proofs                                       1m18s   2GB
Oct 19 10:14:47 Starting candle/set-theory
Oct 19 10:15:13 Finished candle/set-theory                                       25s 618MB
Oct 19 10:15:14 Starting candle/syntax-lib
Oct 19 10:15:24 Finished candle/syntax-lib                                        9s 497MB
Oct 19 10:15:25 Starting candle/standard/syntax
Oct 19 10:16:59 Finished candle/standard/syntax                                1m33s 573MB
Oct 19 10:17:00 Starting candle/standard/semantics
Oct 19 10:18:21 Finished candle/standard/semantics                             1m20s   1GB
Oct 19 10:18:21 Starting candle/standard/monadic
Oct 19 10:19:58 Finished candle/standard/monadic                               1m35s   1GB
Oct 19 10:19:59 Starting candle/standard/ml_kernel
Oct 19 10:36:01 Finished candle/standard/ml_kernel                            16m01s   5GB
Oct 19 10:36:01 Starting candle/standard/opentheory
Oct 19 10:44:46 Finished candle/standard/opentheory                            8m43s   5GB
Oct 19 10:44:46 Starting candle/standard/opentheory/compilation
Oct 19 11:20:38 Finished candle/standard/opentheory/compilation               35m50s  18GB
Oct 19 11:20:39 Starting candle/standard/opentheory/compilation/proofs
Oct 19 11:21:19 Finished candle/standard/opentheory/compilation/proofs           39s   4GB
Oct 19 11:21:19 Starting characteristic/examples
Oct 19 11:22:55 Finished characteristic/examples                               1m35s   2GB
Oct 19 11:22:56 Starting tutorial/solutions
Oct 19 11:36:11 Finished tutorial/solutions                                   13m13s   6GB
Oct 19 11:36:11 Starting translator/monadic/examples
Oct 19 11:37:58 Finished translator/monadic/examples                           1m46s   3GB
Oct 19 11:37:59 Starting examples
Oct 19 11:43:43 Finished examples                                              5m43s   4GB
Oct 19 11:43:43 Starting examples/compilation
Oct 19 13:38:59 Finished examples/compilation                               1h55m14s   7GB
Oct 19 13:38:59 Starting examples/compilation/proofs
Oct 19 13:40:58 Finished examples/compilation/proofs                           1m58s   3GB
Oct 19 13:40:59 Starting compiler/benchmarks
Oct 19 13:41:00 Finished compiler/benchmarks                                      0s   5MB
Oct 19 13:41:01 Starting translator/okasaki-examples
Oct 19 13:44:30 Finished translator/okasaki-examples                           3m29s   1GB
Oct 19 13:44:31 Starting translator/other-examples
Oct 19 13:48:02 Finished translator/other-examples                             3m30s   1GB
Oct 19 13:48:03 Starting compiler/parsing/tests
Oct 19 13:48:28 Finished compiler/parsing/tests                                  24s 321MB
Oct 19 13:48:29 Starting compiler/inference/tests
Oct 19 13:52:30 Finished compiler/inference/tests                              4m00s   4GB
Oct 19 13:52:31 Starting compiler/bootstrap/translation
Oct 19 20:11:03 Finished compiler/bootstrap/translation                     6h18m31s  54GB
Oct 19 20:11:03 Starting unverified/sexpr-bootstrap/x64/64
Oct 19 20:19:04 Finished unverified/sexpr-bootstrap/x64/64                     7m59s  14GB
Oct 19 20:19:05 Starting unverified/sexpr-bootstrap/x64/32
Oct 19 20:24:26 Finished unverified/sexpr-bootstrap/x64/32                     5m19s  19GB
Oct 19 20:24:27 Starting compiler/bootstrap/compilation/x64/64
Oct 20 11:40:24 Finished compiler/bootstrap/compilation/x64/64             15h15m55s  64GB
Oct 20 11:40:25 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 20 11:43:59 Finished compiler/bootstrap/compilation/x64/64/proofs          3m33s  24GB
Oct 20 11:44:00 Starting compiler/bootstrap/compilation/x64/32
Oct 20 21:38:49 Finished compiler/bootstrap/compilation/x64/32              9h54m47s  64GB
Oct 20 21:38:50 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 20 21:42:15 Finished compiler/bootstrap/compilation/x64/32/proofs          3m24s  25GB
Oct 20 21:42:15 SUCCESS