Job 487

CakeML:1eac9d010b210e5bbcc05c5a01b6e76b19804dd3
  FFI: create files with sensible (0644) permissions [Sep 13 00:50:17]
#525 (file-create-permissions)
Merging into:306e73e0ef0314393ecdbb996b50cf799375f15d
  Use Git's -C option [Sep 14 21:28:55]
HOL:f03e40f87731f84edd1791e3dd1107815f4b6546
  Make Holmake monitor show times instead of just !!! on slow builds [Sep 14 06:28:14]
Machine:cakeml1795 4.4.0-98-generic x86_64 GNU/Linux

Sep 17 00:01:08 Claimed job
Sep 17 00:01:17 Reusing HOL
Sep 17 00:02:13 Starting developers/bin
Sep 17 00:02:25 Finished developers/bin                                           8s 148MB
Sep 17 00:02:27 Starting semantics/ffi
Sep 17 00:02:48 Finished semantics/ffi                                           19s 243MB
Sep 17 00:02:50 Starting semantics
Sep 17 00:04:46 Finished semantics                                             1m54s 810MB
Sep 17 00:04:48 Starting semantics/proofs
Sep 17 00:08:57 Finished semantics/proofs                                      4m06s 994MB
Sep 17 00:08:59 Starting basis/pure
Sep 17 00:10:25 Finished basis/pure                                            1m23s 648MB
Sep 17 00:10:27 Starting translator
Sep 17 00:12:16 Finished translator                                            1m47s 996MB
Sep 17 00:12:18 Starting compiler/parsing
Sep 17 00:14:46 Finished compiler/parsing                                      2m26s   2GB
Sep 17 00:14:48 Starting characteristic
Sep 17 00:18:51 Finished characteristic                                        4m00s   1GB
Sep 17 00:18:53 Starting translator/monadic
Sep 17 00:21:16 Finished translator/monadic                                    2m21s   1GB
Sep 17 00:21:18 Starting basis
Sep 17 00:47:23 Finished basis                                                26m03s   2GB
Sep 17 00:47:25 Starting compiler/inference
Sep 17 00:49:40 Finished compiler/inference                                    2m12s   1GB
Sep 17 00:49:42 Starting compiler/backend/reg_alloc
Sep 17 00:51:01 Finished compiler/backend/reg_alloc                            1m17s   1GB
Sep 17 00:51:03 Starting compiler/backend/gc
Sep 17 01:03:15 Finished compiler/backend/gc                                  12m08s   3GB
Sep 17 01:03:16 Starting compiler/backend
Sep 17 01:03:22 Finished compiler/backend                                         3s  14MB
Sep 17 01:03:24 Starting compiler/encoders/asm
Sep 17 01:03:27 Finished compiler/encoders/asm                                    1s  18MB
Sep 17 01:03:29 Starting compiler/encoders/x64
Sep 17 01:03:58 Finished compiler/encoders/x64                                   26s 415MB
Sep 17 01:04:00 Starting compiler/encoders/arm6
Sep 17 01:05:10 Finished compiler/encoders/arm6                                1m07s 412MB
Sep 17 01:05:12 Starting compiler/encoders/arm8
Sep 17 01:05:27 Finished compiler/encoders/arm8                                  12s 335MB
Sep 17 01:05:28 Starting compiler/encoders/mips
Sep 17 01:05:45 Finished compiler/encoders/mips                                  14s 509MB
Sep 17 01:05:47 Starting compiler/encoders/riscv
Sep 17 01:06:03 Finished compiler/encoders/riscv                                 13s 412MB
Sep 17 01:06:05 Starting compiler/backend/x64
Sep 17 01:06:36 Finished compiler/backend/x64                                    29s   1GB
Sep 17 01:06:38 Starting compiler/backend/arm6
Sep 17 01:07:08 Finished compiler/backend/arm6                                   27s   1GB
Sep 17 01:07:10 Starting compiler/backend/arm8
Sep 17 01:07:38 Finished compiler/backend/arm8                                   26s   1GB
Sep 17 01:07:40 Starting compiler/backend/mips
Sep 17 01:08:12 Finished compiler/backend/mips                                   29s   1GB
Sep 17 01:08:14 Starting compiler/backend/riscv
Sep 17 01:08:47 Finished compiler/backend/riscv                                  31s 953MB
Sep 17 01:08:49 Starting compiler/parsing/proofs
Sep 17 01:18:42 Finished compiler/parsing/proofs                               9m50s   1GB
Sep 17 01:18:44 Starting compiler/inference/proofs
Sep 17 01:23:08 Finished compiler/inference/proofs                             4m21s   1GB
Sep 17 01:23:10 Starting compiler/backend/semantics
Sep 17 01:36:47 Finished compiler/backend/semantics                           13m35s   2GB
Sep 17 01:36:49 Starting compiler/backend/reg_alloc/proofs
Sep 17 01:47:52 Finished compiler/backend/reg_alloc/proofs                    11m00s 475MB
Sep 17 01:47:54 Starting compiler/backend/proofs
Sep 17 02:39:49 Finished compiler/backend/proofs                              51m52s   4GB
Sep 17 02:39:51 Starting compiler/encoders/x64/proofs
Sep 17 02:49:50 Finished compiler/encoders/x64/proofs                          9m57s   1GB
Sep 17 02:49:52 Starting compiler/encoders/arm6/proofs
Sep 17 02:59:30 Finished compiler/encoders/arm6/proofs                         9m34s   1GB
Sep 17 02:59:32 Starting compiler/encoders/arm8/proofs
Sep 17 03:07:38 Finished compiler/encoders/arm8/proofs                         8m04s   1GB
Sep 17 03:07:40 Starting compiler/encoders/mips/proofs
Sep 17 03:18:09 Finished compiler/encoders/mips/proofs                        10m26s   2GB
Sep 17 03:18:11 Starting compiler/encoders/riscv/proofs
Sep 17 03:30:34 Finished compiler/encoders/riscv/proofs                       12m21s   1GB
Sep 17 03:30:36 Starting compiler/backend/x64/proofs
Sep 17 03:31:10 Finished compiler/backend/x64/proofs                             32s   1GB
Sep 17 03:31:12 Starting compiler/backend/arm6/proofs
Sep 17 03:31:49 Finished compiler/backend/arm6/proofs                            35s   1GB
Sep 17 03:31:51 Starting compiler/backend/arm8/proofs
Sep 17 03:32:27 Finished compiler/backend/arm8/proofs                            33s   1GB
Sep 17 03:32:29 Starting compiler/backend/mips/proofs
Sep 17 03:33:04 Finished compiler/backend/mips/proofs                            33s   1GB
Sep 17 03:33:06 Starting compiler/backend/riscv/proofs
Sep 17 03:33:41 Finished compiler/backend/riscv/proofs                           32s   1GB
Sep 17 03:33:43 Starting compiler/proofs
Sep 17 03:36:06 Finished compiler/proofs                                       2m21s   1GB
Sep 17 03:36:08 Starting candle/set-theory
Sep 17 03:36:51 Finished candle/set-theory                                       41s 621MB
Sep 17 03:36:53 Starting candle/syntax-lib
Sep 17 03:37:11 Finished candle/syntax-lib                                       15s 639MB
Sep 17 03:37:13 Starting candle/standard/syntax
Sep 17 03:39:45 Finished candle/standard/syntax                                2m30s 682MB
Sep 17 03:39:47 Starting candle/standard/semantics
Sep 17 03:42:01 Finished candle/standard/semantics                             2m11s 943MB
Sep 17 03:42:03 Starting candle/standard/monadic
Sep 17 03:44:34 Finished candle/standard/monadic                               2m29s   1GB
Sep 17 03:44:36 Starting candle/standard/ml_kernel
Sep 17 04:08:54 Finished candle/standard/ml_kernel                            24m15s   5GB
Sep 17 04:08:56 Starting candle/standard/opentheory
Sep 17 04:22:43 Finished candle/standard/opentheory                           13m44s   6GB
Sep 17 04:22:45 Starting characteristic/examples
Sep 17 04:25:20 Finished characteristic/examples                               2m33s   2GB
Sep 17 04:25:22 Starting tutorial/solutions
Sep 17 04:46:47 Finished tutorial/solutions                                   21m21s   6GB
Sep 17 04:46:49 Starting translator/monadic/examples
Sep 17 04:49:25 Finished translator/monadic/examples                           2m34s   2GB
Sep 17 04:49:27 Starting examples
Sep 17 04:57:12 Finished examples                                              7m42s   6GB
Sep 17 04:57:14 Starting examples/compilation
Sep 17 08:00:56 Finished examples/compilation                               3h03m40s  10GB
Sep 17 08:00:58 Starting examples/compilation/proofs
Sep 17 08:04:10 Finished examples/compilation/proofs                           3m09s   3GB
Sep 17 08:04:12 Starting compiler/benchmarks
Sep 17 08:04:14 Finished compiler/benchmarks                                      0s   4MB
Sep 17 08:04:16 Starting translator/okasaki-examples
Sep 17 08:09:42 Finished translator/okasaki-examples                           5m23s   1GB
Sep 17 08:09:44 Starting translator/other-examples
Sep 17 08:10:35 Finished translator/other-examples                               48s   1GB
Sep 17 08:10:37 Starting compiler/parsing/tests
Sep 17 08:11:18 Finished compiler/parsing/tests                                  39s 402MB
Sep 17 08:11:20 Starting compiler/inference/tests
Sep 17 08:17:41 Finished compiler/inference/tests                              6m18s   3GB
Sep 17 08:17:42 Starting compiler/bootstrap/translation
Sep 17 16:45:51 Finished compiler/bootstrap/translation                     8h28m06s  38GB
Sep 17 16:45:53 Starting unverified/sexpr-bootstrap/x64/64
Sep 17 16:58:08 Finished unverified/sexpr-bootstrap/x64/64                    12m12s  15GB
Sep 17 16:58:10 Starting unverified/sexpr-bootstrap/x64/32
Sep 17 17:07:17 Finished unverified/sexpr-bootstrap/x64/32                     9m04s  14GB
Sep 17 17:07:19 Starting compiler/bootstrap/compilation/x64/64
Sep 19 07:42:34 Resuming compiler/bootstrap/compilation/x64/64