Job 471

CakeML:993321ec18c82a08de25de644745215d5ec3fc28
  Update x64BootstrapScript.sml [Sep 03 11:43:09]
#519 (basis_ffi-fix)
Merging into:f6d8ed2ee71091a75c6c7c634490380e8abe11a9
  Fix typo [Aug 28 07:46:30]
HOL:c6e859bb97f313d2ffd587670aaacf510412a3e7
  Merge branch 'master' of https://github.com/HOL-Theorem-Prover/HOL [Sep 03 12:41:29]
Machine:oven1 (2) 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Sep 03 17:58:45 Claimed job
Sep 03 17:59:15 Building HOL
Sep 03 18:08:44 Starting developers/bin
Sep 03 18:09:19 Finished developers/bin                                          35s 913MB
Sep 03 18:09:20 Starting semantics/ffi
Sep 03 18:10:00 Finished semantics/ffi                                           38s 380MB
Sep 03 18:10:00 Starting semantics
Sep 03 18:11:25 Finished semantics                                             1m24s 897MB
Sep 03 18:11:26 Starting semantics/proofs
Sep 03 18:14:09 Finished semantics/proofs                                      2m42s   1GB
Sep 03 18:14:10 Starting basis/pure
Sep 03 18:17:41 Finished basis/pure                                            3m30s 661MB
Sep 03 18:17:42 Starting translator
Sep 03 18:18:49 Finished translator                                            1m06s 965MB
Sep 03 18:18:50 Starting compiler/parsing
Sep 03 18:20:23 Finished compiler/parsing                                      1m32s   2GB
Sep 03 18:20:24 Starting characteristic
Sep 03 18:22:51 Finished characteristic                                        2m27s   1GB
Sep 03 18:22:52 Starting translator/monadic
Sep 03 18:24:18 Finished translator/monadic                                    1m25s   1GB
Sep 03 18:24:19 Starting basis
Sep 03 18:40:50 Finished basis                                                16m30s   3GB
Sep 03 18:40:51 Starting compiler/inference
Sep 03 18:42:33 Finished compiler/inference                                    1m41s   1GB
Sep 03 18:42:34 Starting compiler/backend/reg_alloc
Sep 03 18:43:22 Finished compiler/backend/reg_alloc                              47s 922MB
Sep 03 18:43:23 Starting compiler/backend/gc
Sep 03 18:52:09 Finished compiler/backend/gc                                   8m45s   3GB
Sep 03 18:52:10 Starting compiler/backend
Sep 03 18:52:13 Finished compiler/backend                                         2s  15MB
Sep 03 18:52:14 Starting compiler/encoders/asm
Sep 03 18:52:16 Finished compiler/encoders/asm                                    1s  11MB
Sep 03 18:52:16 Starting compiler/encoders/x64
Sep 03 18:53:09 Finished compiler/encoders/x64                                   52s 592MB
Sep 03 18:53:09 Starting compiler/encoders/arm6
Sep 03 18:54:54 Finished compiler/encoders/arm6                                1m43s   1GB
Sep 03 18:54:54 Starting compiler/encoders/arm8
Sep 03 18:55:21 Finished compiler/encoders/arm8                                  25s 442MB
Sep 03 18:55:22 Starting compiler/encoders/mips
Sep 03 18:56:20 Finished compiler/encoders/mips                                  57s 895MB
Sep 03 18:56:21 Starting compiler/encoders/riscv
Sep 03 18:57:22 Finished compiler/encoders/riscv                               1m00s 850MB
Sep 03 18:57:23 Starting compiler/backend/x64
Sep 03 18:57:42 Finished compiler/backend/x64                                    18s   1GB
Sep 03 18:57:42 Starting compiler/backend/arm6
Sep 03 18:58:02 Finished compiler/backend/arm6                                   18s   1GB
Sep 03 18:58:02 Starting compiler/backend/arm8
Sep 03 18:58:21 Finished compiler/backend/arm8                                   18s 807MB
Sep 03 18:58:22 Starting compiler/backend/mips
Sep 03 18:58:41 Finished compiler/backend/mips                                   18s   1GB
Sep 03 18:58:42 Starting compiler/backend/riscv
Sep 03 18:59:01 Finished compiler/backend/riscv                                  18s   1GB
Sep 03 18:59:02 Starting compiler/parsing/proofs
Sep 03 19:05:08 Finished compiler/parsing/proofs                               6m04s 778MB
Sep 03 19:05:08 Starting compiler/inference/proofs
Sep 03 19:07:59 Finished compiler/inference/proofs                             2m49s   1GB
Sep 03 19:07:59 Starting compiler/backend/semantics
Sep 03 19:16:57 Finished compiler/backend/semantics                            8m56s   2GB
Sep 03 19:16:57 Starting compiler/backend/reg_alloc/proofs
Sep 03 19:24:28 Finished compiler/backend/reg_alloc/proofs                     7m30s 476MB
Sep 03 19:24:29 Starting compiler/backend/proofs
Sep 03 19:59:46 Finished compiler/backend/proofs                              35m16s   4GB
Sep 03 19:59:47 Starting compiler/encoders/x64/proofs
Sep 03 20:07:10 Finished compiler/encoders/x64/proofs                          7m22s   3GB
Sep 03 20:07:11 Starting compiler/encoders/arm6/proofs
Sep 03 20:14:42 Finished compiler/encoders/arm6/proofs                         7m30s   3GB
Sep 03 20:14:42 Starting compiler/encoders/arm8/proofs
Sep 03 20:20:02 Finished compiler/encoders/arm8/proofs                         5m18s 962MB
Sep 03 20:20:02 Starting compiler/encoders/mips/proofs
Sep 03 20:27:30 Finished compiler/encoders/mips/proofs                         7m26s   1GB
Sep 03 20:27:30 Starting compiler/encoders/riscv/proofs
Sep 03 20:35:30 Finished compiler/encoders/riscv/proofs                        7m59s 831MB
Sep 03 20:35:31 Starting compiler/backend/x64/proofs
Sep 03 20:35:52 Finished compiler/backend/x64/proofs                             21s   1GB
Sep 03 20:35:53 Starting compiler/backend/arm6/proofs
Sep 03 20:36:16 Finished compiler/backend/arm6/proofs                            22s 981MB
Sep 03 20:36:17 Starting compiler/backend/arm8/proofs
Sep 03 20:36:37 Finished compiler/backend/arm8/proofs                            19s   1GB
Sep 03 20:36:38 Starting compiler/backend/mips/proofs
Sep 03 20:36:59 Finished compiler/backend/mips/proofs                            20s 876MB
Sep 03 20:37:00 Starting compiler/backend/riscv/proofs
Sep 03 20:37:20 Finished compiler/backend/riscv/proofs                           19s 803MB
Sep 03 20:37:21 Starting compiler/proofs
Sep 03 20:38:39 Finished compiler/proofs                                       1m18s   2GB
Sep 03 20:38:40 Starting candle/set-theory
Sep 03 20:39:11 Finished candle/set-theory                                       29s 605MB
Sep 03 20:39:11 Starting candle/syntax-lib
Sep 03 20:39:22 Finished candle/syntax-lib                                       10s 556MB
Sep 03 20:39:23 Starting candle/standard/syntax
Sep 03 20:40:57 Finished candle/standard/syntax                                1m32s 704MB
Sep 03 20:40:57 Starting candle/standard/semantics
Sep 03 20:42:20 Finished candle/standard/semantics                             1m22s 772MB
Sep 03 20:42:21 Starting candle/standard/monadic
Sep 03 20:43:55 Finished candle/standard/monadic                               1m33s 968MB
Sep 03 20:43:56 Starting candle/standard/ml_kernel
Sep 03 21:00:06 Finished candle/standard/ml_kernel                            16m09s   4GB
Sep 03 21:00:07 Starting candle/standard/opentheory
Sep 03 21:08:47 Finished candle/standard/opentheory                            8m38s   6GB
Sep 03 21:08:47 Starting characteristic/examples
Sep 03 21:10:23 Finished characteristic/examples                               1m35s   1GB
Sep 03 21:10:24 Starting tutorial/solutions
Sep 03 21:23:54 Finished tutorial/solutions                                   13m30s   6GB
Sep 03 21:23:55 Starting translator/monadic/examples
Sep 03 21:25:41 Finished translator/monadic/examples                           1m45s   3GB
Sep 03 21:25:42 Starting examples
Sep 03 21:31:19 Finished examples                                              5m35s   6GB
Sep 03 21:31:19 Starting examples/compilation
Sep 03 23:26:50 Finished examples/compilation                               1h55m30s  10GB
Sep 03 23:26:51 Starting examples/compilation/proofs
Sep 03 23:28:46 Finished examples/compilation/proofs                           1m54s   3GB
Sep 03 23:28:47 Starting compiler/benchmarks
Sep 03 23:28:48 Finished compiler/benchmarks                                      0s   4MB
Sep 03 23:28:49 Starting translator/okasaki-examples
Sep 03 23:32:17 Finished translator/okasaki-examples                           3m27s   1GB
Sep 03 23:32:18 Starting translator/other-examples
Sep 03 23:35:50 Finished translator/other-examples                             3m31s 846MB
Sep 03 23:35:50 Starting compiler/parsing/tests
Sep 03 23:36:16 Finished compiler/parsing/tests                                  24s 311MB
Sep 03 23:36:16 Starting compiler/inference/tests
Sep 03 23:40:20 Finished compiler/inference/tests                              4m03s   3GB
Sep 03 23:40:21 Starting compiler/bootstrap/translation
Sep 04 04:58:07 Finished compiler/bootstrap/translation                     5h17m45s  47GB
Sep 04 04:58:08 Starting unverified/sexpr-bootstrap/x64/64
Sep 04 05:05:41 Finished unverified/sexpr-bootstrap/x64/64                     7m32s  13GB
Sep 04 05:05:42 Starting unverified/sexpr-bootstrap/x64/32
Sep 04 05:10:36 Finished unverified/sexpr-bootstrap/x64/32                     4m53s  13GB
Sep 04 05:10:36 Starting compiler/bootstrap/compilation/x64/64
Sep 04 20:30:25 Finished compiler/bootstrap/compilation/x64/64             15h19m47s  64GB
Sep 04 20:30:26 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 04 20:33:29 Finished compiler/bootstrap/compilation/x64/64/proofs          3m02s  24GB
Sep 04 20:33:30 Starting compiler/bootstrap/compilation/x64/32
Sep 05 07:18:32 Finished compiler/bootstrap/compilation/x64/32             10h45m00s  64GB
Sep 05 07:18:32 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 05 07:21:26 Finished compiler/bootstrap/compilation/x64/32/proofs          2m53s  21GB
Sep 05 07:21:27 SUCCESS