Job 846

CakeML:2e0cf4a777feb693f4bd0fc8479eef2b6c5ac107
  Fix minor spelling mistakes in readmePrefixes [May 06 11:19:44]
#633 (FMA_support)
Merging into:331972bc323d7886b60ecbab12195ee6999bcdeb
  Merge pull request #634 from CakeML/cleanup [May 08 15:37:32]
HOL:544f92fea1905436f7a85854eed6dcb089568063
  Emacs mode: key-bindings for  [May 05 04:49:45]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

May 08 15:55:20 Claimed job
May 08 15:56:08 Building HOL
May 08 16:05:30 Starting developers
May 08 16:05:32 Finished developers                                               2s  20MB
May 08 16:05:33 Starting developers/bin
May 08 16:06:51 Finished developers/bin                                        1m17s 919MB
May 08 16:06:51 Starting semantics/ffi
May 08 16:07:29 Finished semantics/ffi                                           37s 585MB
May 08 16:07:29 Starting semantics
May 08 16:09:06 Finished semantics                                             1m35s   1GB
May 08 16:09:06 Starting semantics/proofs
May 08 16:12:04 Finished semantics/proofs                                      2m58s   1GB
May 08 16:12:04 Starting basis/pure
May 08 16:15:38 Finished basis/pure                                            3m33s 714MB
May 08 16:15:38 Starting translator
May 08 16:17:20 Finished translator                                            1m41s   1GB
May 08 16:17:20 Starting compiler/parsing
May 08 16:18:20 Finished compiler/parsing                                        58s   3GB
May 08 16:18:20 Starting characteristic
May 08 16:23:33 Finished characteristic                                        5m13s   1GB
May 08 16:23:34 Starting translator/monadic
May 08 16:25:04 Finished translator/monadic                                    1m29s   1GB
May 08 16:25:04 Starting basis
May 08 16:41:28 Finished basis                                                16m23s   2GB
May 08 16:41:28 Starting compiler/inference
May 08 16:43:23 Finished compiler/inference                                    1m54s   1GB
May 08 16:43:24 Starting compiler/backend/reg_alloc
May 08 16:44:24 Finished compiler/backend/reg_alloc                            1m00s   1GB
May 08 16:44:24 Starting compiler/backend/gc
May 08 16:53:37 Finished compiler/backend/gc                                   9m12s   2GB
May 08 16:53:37 Starting compiler/backend
May 08 16:53:40 Finished compiler/backend                                         2s  17MB
May 08 16:53:40 Starting compiler/encoders/asm
May 08 16:53:42 Finished compiler/encoders/asm                                    1s  17MB
May 08 16:53:42 Starting compiler/encoders/x64
May 08 16:54:43 Finished compiler/encoders/x64                                 1m00s 886MB
May 08 16:54:43 Starting compiler/encoders/arm6
May 08 16:56:25 Finished compiler/encoders/arm6                                1m40s   1GB
May 08 16:56:25 Starting compiler/encoders/arm8
May 08 16:56:59 Finished compiler/encoders/arm8                                  33s 602MB
May 08 16:56:59 Starting compiler/encoders/mips
May 08 16:58:06 Finished compiler/encoders/mips                                1m07s 972MB
May 08 16:58:07 Starting compiler/encoders/riscv
May 08 16:59:27 Finished compiler/encoders/riscv                               1m19s   1GB
May 08 16:59:27 Starting compiler/encoders/ag32
May 08 16:59:44 Finished compiler/encoders/ag32                                  17s 788MB
May 08 16:59:45 Starting compiler/backend/x64
May 08 17:00:03 Finished compiler/backend/x64                                    18s   1GB
May 08 17:00:03 Starting compiler/backend/arm6
May 08 17:00:22 Finished compiler/backend/arm6                                   18s   1GB
May 08 17:00:23 Starting compiler/backend/arm8
May 08 17:00:42 Finished compiler/backend/arm8                                   19s   1GB
May 08 17:00:42 Starting compiler/backend/mips
May 08 17:01:02 Finished compiler/backend/mips                                   19s 948MB
May 08 17:01:02 Starting compiler/backend/riscv
May 08 17:01:21 Finished compiler/backend/riscv                                  18s   1GB
May 08 17:01:21 Starting compiler/backend/ag32
May 08 17:02:28 Finished compiler/backend/ag32                                 1m06s   1GB
May 08 17:02:29 Starting compiler/parsing/proofs
May 08 17:08:02 Finished compiler/parsing/proofs                               5m32s 864MB
May 08 17:08:02 Starting compiler/inference/proofs
May 08 17:10:47 Finished compiler/inference/proofs                             2m45s   1GB
May 08 17:10:47 Starting compiler/backend/semantics
May 08 17:17:45 Finished compiler/backend/semantics                            6m56s   2GB
May 08 17:17:45 Starting compiler/backend/reg_alloc/proofs
May 08 17:21:06 Finished compiler/backend/reg_alloc/proofs                     3m20s 731MB
May 08 17:21:06 Starting compiler/backend/proofs
May 08 17:59:13 Finished compiler/backend/proofs                              38m06s   4GB
May 08 17:59:13 Starting compiler/encoders/x64/proofs
May 08 18:09:04 Finished compiler/encoders/x64/proofs                          9m51s   4GB
May 08 18:09:05 Starting compiler/encoders/arm6/proofs
May 08 18:22:16 Finished compiler/encoders/arm6/proofs                        13m11s   3GB
May 08 18:22:16 Starting compiler/encoders/arm8/proofs
May 08 18:28:55 Finished compiler/encoders/arm8/proofs                         6m37s   1GB
May 08 18:28:55 Starting compiler/encoders/mips/proofs
May 08 18:38:49 Finished compiler/encoders/mips/proofs                         9m53s   2GB
May 08 18:38:49 Starting compiler/encoders/riscv/proofs
May 08 18:47:10 Finished compiler/encoders/riscv/proofs                        8m21s   1GB
May 08 18:47:10 Starting compiler/encoders/ag32/proofs
May 08 18:49:37 Finished compiler/encoders/ag32/proofs                         2m26s 891MB
May 08 18:49:38 Starting compiler/backend/x64/proofs
May 08 18:49:57 Finished compiler/backend/x64/proofs                             19s 762MB
May 08 18:49:57 Starting compiler/backend/arm6/proofs
May 08 18:50:19 Finished compiler/backend/arm6/proofs                            21s   1GB
May 08 18:50:19 Starting compiler/backend/arm8/proofs
May 08 18:50:39 Finished compiler/backend/arm8/proofs                            19s   1GB
May 08 18:50:39 Starting compiler/backend/mips/proofs
May 08 18:51:00 Finished compiler/backend/mips/proofs                            20s   1GB
May 08 18:51:00 Starting compiler/backend/riscv/proofs
May 08 18:51:21 Finished compiler/backend/riscv/proofs                           20s   1GB
May 08 18:51:22 Starting compiler/backend/ag32/proofs
May 08 19:00:07 Finished compiler/backend/ag32/proofs                          8m44s   2GB
May 08 19:00:07 Starting compiler/proofs
May 08 19:02:43 Finished compiler/proofs                                       2m35s   2GB
May 08 19:02:43 Starting candle/set-theory
May 08 19:03:10 Finished candle/set-theory                                       26s 857MB
May 08 19:03:11 Starting candle/syntax-lib
May 08 19:03:22 Finished candle/syntax-lib                                       10s 580MB
May 08 19:03:22 Starting candle/standard/syntax
May 08 19:05:05 Finished candle/standard/syntax                                1m43s   1GB
May 08 19:05:05 Starting candle/standard/semantics
May 08 19:06:43 Finished candle/standard/semantics                             1m37s   1GB
May 08 19:06:43 Starting candle/standard/monadic
May 08 19:08:19 Finished candle/standard/monadic                               1m35s   1GB
May 08 19:08:20 Starting candle/standard/ml_kernel
May 08 19:12:10 Finished candle/standard/ml_kernel                             3m49s   2GB
May 08 19:12:10 Starting candle/standard/opentheory
May 08 19:20:36 Finished candle/standard/opentheory                            8m25s   2GB
May 08 19:20:36 Starting candle/standard/opentheory/compilation
May 08 19:50:19 Finished candle/standard/opentheory/compilation               29m42s  11GB
May 08 19:50:19 Starting candle/standard/opentheory/compilation/proofs
May 08 19:51:05 Finished candle/standard/opentheory/compilation/proofs           45s   2GB
May 08 19:51:05 Starting characteristic/examples
May 08 19:52:29 Finished characteristic/examples                               1m23s   1GB
May 08 19:52:30 Starting tutorial/solutions
May 08 20:05:10 Finished tutorial/solutions                                   12m40s   6GB
May 08 20:05:11 Starting translator/monadic/examples
May 08 20:08:07 Finished translator/monadic/examples                           2m56s   2GB
May 08 20:08:07 Starting examples
May 08 20:16:26 Finished examples                                              8m18s   3GB
May 08 20:16:26 Starting examples/compilation/x64
May 08 22:08:54 Finished examples/compilation/x64                           1h52m27s  12GB
May 08 22:08:55 Starting examples/compilation/x64/proofs
May 08 22:10:22 Finished examples/compilation/x64/proofs                       1m27s   2GB
May 08 22:10:22 Starting examples/compilation/ag32
May 08 22:39:05 Finished examples/compilation/ag32                            28m42s   5GB
May 08 22:39:05 Starting examples/compilation/ag32/proofs
May 08 22:40:03 Finished examples/compilation/ag32/proofs                        57s   3GB
May 08 22:40:03 Starting translator/okasaki-examples
May 08 22:44:05 Finished translator/okasaki-examples                           4m00s   1GB
May 08 22:44:05 Starting translator/other-examples
May 08 22:47:40 Finished translator/other-examples                             3m34s   1GB
May 08 22:47:40 Starting compiler/parsing/tests
May 08 22:48:06 Finished compiler/parsing/tests                                  25s 525MB
May 08 22:48:07 Starting compiler/inference/tests
May 08 22:52:11 Finished compiler/inference/tests                              4m04s   2GB
May 08 22:52:11 Starting compiler/bootstrap/translation
May 09 01:20:42 Finished compiler/bootstrap/translation                     2h28m30s  40GB
May 09 01:20:42 Starting unverified/sexpr-bootstrap/x64/64
May 09 01:28:27 Finished unverified/sexpr-bootstrap/x64/64                     7m44s   3GB
May 09 01:28:28 Starting unverified/sexpr-bootstrap/x64/32
May 09 01:33:28 Finished unverified/sexpr-bootstrap/x64/32                     4m59s   5GB
May 09 01:33:29 Starting compiler/benchmarks
May 09 01:33:36 Finished compiler/benchmarks                                      7s  23MB
May 09 01:33:36 Starting compiler/bootstrap/compilation/x64/64
May 09 11:54:53 Finished compiler/bootstrap/compilation/x64/64             10h21m15s  64GB
May 09 11:54:53 Starting compiler/bootstrap/compilation/x64/64/proofs
May 09 11:57:50 Finished compiler/bootstrap/compilation/x64/64/proofs          2m56s  11GB
May 09 11:57:50 Starting compiler/bootstrap/compilation/x64/32 May 09 11:57:50 2445s