Job 538

CakeML:fc28129bfd94b6834c123ce57d890a521a7bc48a
  Restore translation of explorer components. [Oct 18 15:44:50]
#545 (explorer)
Merging into: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:oven2 4.13.0-37-generic x86_64 GNU/Linux

Oct 19 04:40:10 Claimed job
Oct 19 04:40:15 Reusing HOL
Oct 19 04:40:27 Starting developers/bin
Oct 19 04:41:01 Finished developers/bin                                          33s 138MB
Oct 19 04:41:02 Starting semantics/ffi
Oct 19 04:41:13 Finished semantics/ffi                                           10s 255MB
Oct 19 04:41:14 Starting semantics
Oct 19 04:42:23 Finished semantics                                             1m08s 879MB
Oct 19 04:42:24 Starting semantics/proofs
Oct 19 04:45:04 Finished semantics/proofs                                      2m39s   1GB
Oct 19 04:45:05 Starting basis/pure
Oct 19 04:45:53 Finished basis/pure                                              47s 615MB
Oct 19 04:45:54 Starting translator
Oct 19 04:48:53 Finished translator                                            2m58s   1GB
Oct 19 04:48:54 Starting compiler/parsing
Oct 19 04:50:07 Finished compiler/parsing                                      1m12s   1GB
Oct 19 04:50:08 Starting characteristic
Oct 19 04:52:32 Finished characteristic                                        2m23s   1GB
Oct 19 04:52:33 Starting translator/monadic
Oct 19 04:53:57 Finished translator/monadic                                    1m22s   1GB
Oct 19 04:53:58 Starting basis
Oct 19 05:10:29 Finished basis                                                16m30s   2GB
Oct 19 05:10:30 Starting compiler/inference
Oct 19 05:11:53 Finished compiler/inference                                    1m22s 962MB
Oct 19 05:11:54 Starting compiler/backend/reg_alloc
Oct 19 05:12:41 Finished compiler/backend/reg_alloc                              45s 873MB
Oct 19 05:12:41 Starting compiler/backend/gc
Oct 19 05:18:52 Finished compiler/backend/gc                                   6m09s   1GB
Oct 19 05:18:53 Starting compiler/backend
Oct 19 05:18:56 Finished compiler/backend                                         2s  16MB
Oct 19 05:18:57 Starting compiler/encoders/asm
Oct 19 05:18:59 Finished compiler/encoders/asm                                    0s  13MB
Oct 19 05:18:59 Starting compiler/encoders/x64
Oct 19 05:19:16 Finished compiler/encoders/x64                                   15s 431MB
Oct 19 05:19:16 Starting compiler/encoders/arm6
Oct 19 05:20:01 Finished compiler/encoders/arm6                                  44s 410MB
Oct 19 05:20:02 Starting compiler/encoders/arm8
Oct 19 05:20:10 Finished compiler/encoders/arm8                                   6s 338MB
Oct 19 05:20:11 Starting compiler/encoders/mips
Oct 19 05:20:20 Finished compiler/encoders/mips                                   8s 513MB
Oct 19 05:20:21 Starting compiler/encoders/riscv
Oct 19 05:20:29 Finished compiler/encoders/riscv                                  7s 417MB
Oct 19 05:20:30 Starting compiler/backend/x64
Oct 19 05:20:48 Finished compiler/backend/x64                                    17s   1GB
Oct 19 05:20:49 Starting compiler/backend/arm6
Oct 19 05:21:09 Finished compiler/backend/arm6                                   18s   1GB
Oct 19 05:21:10 Starting compiler/backend/arm8
Oct 19 05:21:29 Finished compiler/backend/arm8                                   17s   1GB
Oct 19 05:21:29 Starting compiler/backend/mips
Oct 19 05:21:48 Finished compiler/backend/mips                                   17s   1GB
Oct 19 05:21:49 Starting compiler/backend/riscv
Oct 19 05:22:10 Finished compiler/backend/riscv                                  20s 982MB
Oct 19 05:22:11 Starting compiler/parsing/proofs
Oct 19 05:28:17 Finished compiler/parsing/proofs                               6m05s 903MB
Oct 19 05:28:18 Starting compiler/inference/proofs
Oct 19 05:31:10 Finished compiler/inference/proofs                             2m51s   1GB
Oct 19 05:31:11 Starting compiler/backend/semantics
Oct 19 05:40:10 Finished compiler/backend/semantics                            8m57s   2GB
Oct 19 05:40:10 Starting compiler/backend/reg_alloc/proofs
Oct 19 05:47:19 Finished compiler/backend/reg_alloc/proofs                     7m07s 594MB
Oct 19 05:47:20 Starting compiler/backend/proofs
Oct 19 06:28:32 Finished compiler/backend/proofs                              41m11s   4GB
Oct 19 06:28:33 Starting compiler/encoders/x64/proofs
Oct 19 06:34:56 Finished compiler/encoders/x64/proofs                          6m22s 897MB
Oct 19 06:34:57 Starting compiler/encoders/arm6/proofs
Oct 19 06:41:23 Finished compiler/encoders/arm6/proofs                         6m25s   1GB
Oct 19 06:41:24 Starting compiler/encoders/arm8/proofs
Oct 19 06:46:32 Finished compiler/encoders/arm8/proofs                         5m07s   1GB
Oct 19 06:46:33 Starting compiler/encoders/mips/proofs
Oct 19 06:53:27 Finished compiler/encoders/mips/proofs                         6m52s   2GB
Oct 19 06:53:27 Starting compiler/encoders/riscv/proofs
Oct 19 07:01:23 Finished compiler/encoders/riscv/proofs                        7m54s 917MB
Oct 19 07:01:24 Starting compiler/backend/x64/proofs
Oct 19 07:01:45 Finished compiler/backend/x64/proofs                             20s   1GB
Oct 19 07:01:45 Starting compiler/backend/arm6/proofs
Oct 19 07:02:07 Finished compiler/backend/arm6/proofs                            21s 992MB
Oct 19 07:02:08 Starting compiler/backend/arm8/proofs
Oct 19 07:02:28 Finished compiler/backend/arm8/proofs                            19s   1GB
Oct 19 07:02:29 Starting compiler/backend/mips/proofs
Oct 19 07:02:50 Finished compiler/backend/mips/proofs                            20s   1GB
Oct 19 07:02:51 Starting compiler/backend/riscv/proofs
Oct 19 07:03:11 Finished compiler/backend/riscv/proofs                           19s   1GB
Oct 19 07:03:12 Starting compiler/proofs
Oct 19 07:04:31 Finished compiler/proofs                                       1m17s   2GB
Oct 19 07:04:31 Starting candle/set-theory
Oct 19 07:04:56 Finished candle/set-theory                                       24s 598MB
Oct 19 07:04:57 Starting candle/syntax-lib
Oct 19 07:05:07 Finished candle/syntax-lib                                        9s 406MB
Oct 19 07:05:08 Starting candle/standard/syntax
Oct 19 07:06:39 Finished candle/standard/syntax                                1m30s 700MB
Oct 19 07:06:40 Starting candle/standard/semantics
Oct 19 07:07:59 Finished candle/standard/semantics                             1m18s 941MB
Oct 19 07:08:00 Starting candle/standard/monadic
Oct 19 07:09:33 Finished candle/standard/monadic                               1m32s   1GB
Oct 19 07:09:34 Starting candle/standard/ml_kernel
Oct 19 07:25:46 Finished candle/standard/ml_kernel                            16m11s   4GB
Oct 19 07:25:47 Starting candle/standard/opentheory
Oct 19 07:34:36 Finished candle/standard/opentheory                            8m48s   6GB
Oct 19 07:34:37 Starting candle/standard/opentheory/compilation
Oct 19 08:09:17 Finished candle/standard/opentheory/compilation               34m38s  29GB
Oct 19 08:09:17 Starting candle/standard/opentheory/compilation/proofs
Oct 19 08:09:57 Finished candle/standard/opentheory/compilation/proofs           38s   5GB
Oct 19 08:09:57 Starting characteristic/examples
Oct 19 08:11:34 Finished characteristic/examples                               1m34s   1GB
Oct 19 08:11:35 Starting tutorial/solutions
Oct 19 08:25:15 Finished tutorial/solutions                                   13m38s   6GB
Oct 19 08:25:16 Starting translator/monadic/examples
Oct 19 08:26:59 Finished translator/monadic/examples                           1m43s   2GB
Oct 19 08:27:00 Starting examples
Oct 19 08:32:42 Finished examples                                              5m41s   5GB
Oct 19 08:32:43 Starting examples/compilation
Oct 19 10:28:39 Finished examples/compilation                               1h55m55s   9GB
Oct 19 10:28:40 Starting examples/compilation/proofs
Oct 19 10:30:35 Finished examples/compilation/proofs                           1m54s   3GB
Oct 19 10:30:36 Starting compiler/benchmarks
Oct 19 10:30:37 Finished compiler/benchmarks                                      0s   4MB
Oct 19 10:30:37 Starting translator/okasaki-examples
Oct 19 10:34:14 Finished translator/okasaki-examples                           3m35s   1GB
Oct 19 10:34:15 Starting translator/other-examples
Oct 19 10:34:47 Finished translator/other-examples                               31s   1GB
Oct 19 10:34:47 Starting compiler/parsing/tests
Oct 19 10:35:12 Finished compiler/parsing/tests                                  23s 352MB
Oct 19 10:35:12 Starting compiler/inference/tests
Oct 19 10:39:13 Finished compiler/inference/tests                              3m59s   4GB
Oct 19 10:39:14 Starting compiler/bootstrap/translation
Oct 19 17:20:37 Finished compiler/bootstrap/translation                     6h41m21s  53GB
Oct 19 17:20:37 Starting unverified/sexpr-bootstrap/x64/64
Oct 19 17:28:57 Finished unverified/sexpr-bootstrap/x64/64                     8m18s  13GB
Oct 19 17:28:57 Starting unverified/sexpr-bootstrap/x64/32
Oct 19 17:34:21 Finished unverified/sexpr-bootstrap/x64/32                     5m22s  17GB
Oct 19 17:34:22 Starting compiler/bootstrap/compilation/x64/64
Oct 20 11:56:08 Finished compiler/bootstrap/compilation/x64/64             18h21m44s  64GB
Oct 20 11:56:09 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 20 11:59:25 Finished compiler/bootstrap/compilation/x64/64/proofs          3m15s  24GB
Oct 20 11:59:25 Starting compiler/bootstrap/compilation/x64/32
Oct 20 22:29:56 Finished compiler/bootstrap/compilation/x64/32             10h30m29s  64GB
Oct 20 22:29:57 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 20 22:33:14 Finished compiler/bootstrap/compilation/x64/32/proofs          3m15s  22GB
Oct 20 22:33:14 SUCCESS