Job 908

CakeML:f87b41a181cd2d1da7b16f74b048e69a616a176d
  Add support for FMA instructions to translator [May 27 12:01:07]
#657 (fp_translation)
Merging into:52270c049337b1915a61c946c535e43a0d2084b5
  Merge pull request #656 from CakeML/candle-rename-assume [May 28 09:49:29]
HOL:d959966a2480eb55d37647b77594fbb09c61d800
  timeout now actually raises FunctionTimeout [May 29 01:58:55]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

May 29 11:20:02 Claimed job
May 29 11:20:45 Building HOL
May 29 11:30:22 Starting developers
May 29 11:30:24 Finished developers                                               2s  20MB
May 29 11:30:24 Starting developers/bin
May 29 11:31:37 Finished developers/bin                                        1m13s 920MB
May 29 11:31:38 Starting semantics/ffi
May 29 11:32:18 Finished semantics/ffi                                           40s 500MB
May 29 11:32:18 Starting semantics
May 29 11:34:01 Finished semantics                                             1m42s   1GB
May 29 11:34:02 Starting semantics/proofs
May 29 11:38:50 Finished semantics/proofs                                      4m48s   1GB
May 29 11:38:51 Starting basis/pure
May 29 11:44:11 Finished basis/pure                                            5m20s 762MB
May 29 11:44:11 Starting translator
May 29 11:46:49 Finished translator                                            2m37s   1GB
May 29 11:46:49 Starting compiler/parsing
May 29 11:48:34 Finished compiler/parsing                                      1m44s   2GB
May 29 11:48:34 Starting characteristic
May 29 11:56:23 Finished characteristic                                        7m48s   1GB
May 29 11:56:23 Starting translator/monadic
May 29 11:58:39 Finished translator/monadic                                    2m14s   1GB
May 29 11:58:39 Starting basis
May 29 12:22:16 Finished basis                                                23m36s   2GB
May 29 12:22:16 Starting compiler/inference
May 29 12:24:15 Finished compiler/inference                                    1m57s   1GB
May 29 12:24:15 Starting compiler/backend/reg_alloc
May 29 12:25:18 Finished compiler/backend/reg_alloc                            1m03s   1GB
May 29 12:25:18 Starting compiler/backend/gc
May 29 12:36:51 Finished compiler/backend/gc                                  11m32s   2GB
May 29 12:36:51 Starting compiler/backend
May 29 12:36:54 Finished compiler/backend                                         2s  16MB
May 29 12:36:54 Starting compiler/encoders/asm
May 29 12:36:55 Finished compiler/encoders/asm                                    1s  23MB
May 29 12:36:55 Starting compiler/encoders/x64
May 29 12:37:58 Finished compiler/encoders/x64                                 1m02s 614MB
May 29 12:37:58 Starting compiler/encoders/arm7
May 29 12:39:44 Finished compiler/encoders/arm7                                1m45s   1GB
May 29 12:39:44 Starting compiler/encoders/arm8
May 29 12:40:17 Finished compiler/encoders/arm8                                  32s 661MB
May 29 12:40:17 Starting compiler/encoders/mips
May 29 12:41:26 Finished compiler/encoders/mips                                1m08s   1GB
May 29 12:41:26 Starting compiler/encoders/riscv
May 29 12:42:48 Finished compiler/encoders/riscv                               1m22s   1GB
May 29 12:42:48 Starting compiler/encoders/ag32
May 29 12:43:05 Finished compiler/encoders/ag32                                  16s 754MB
May 29 12:43:06 Starting compiler/backend/x64
May 29 12:43:24 Finished compiler/backend/x64                                    17s 904MB
May 29 12:43:24 Starting compiler/backend/arm7
May 29 12:43:44 Finished compiler/backend/arm7                                   19s   1GB
May 29 12:43:44 Starting compiler/backend/arm8
May 29 12:44:03 Finished compiler/backend/arm8                                   18s   1GB
May 29 12:44:03 Starting compiler/backend/mips
May 29 12:44:22 Finished compiler/backend/mips                                   18s   1GB
May 29 12:44:22 Starting compiler/backend/riscv
May 29 12:44:42 Finished compiler/backend/riscv                                  19s   1GB
May 29 12:44:42 Starting compiler/backend/ag32
May 29 12:45:52 Finished compiler/backend/ag32                                 1m09s 897MB
May 29 12:45:52 Starting compiler/parsing/proofs
May 29 12:51:35 Finished compiler/parsing/proofs                               5m42s   1GB
May 29 12:51:35 Starting compiler/inference/proofs
May 29 12:54:31 Finished compiler/inference/proofs                             2m55s   1GB
May 29 12:54:31 Starting compiler/backend/semantics
May 29 13:05:57 Finished compiler/backend/semantics                           11m25s   1GB
May 29 13:05:57 Starting compiler/backend/reg_alloc/proofs
May 29 13:10:55 Finished compiler/backend/reg_alloc/proofs                     4m58s   1GB
May 29 13:10:56 Starting compiler/backend/proofs
May 29 14:10:37 Finished compiler/backend/proofs                              59m40s   5GB
May 29 14:10:37 Starting compiler/encoders/x64/proofs
May 29 14:21:09 Finished compiler/encoders/x64/proofs                         10m31s   4GB
May 29 14:21:09 Starting compiler/encoders/arm7/proofs
May 29 14:34:43 Finished compiler/encoders/arm7/proofs                        13m34s   3GB
May 29 14:34:43 Starting compiler/encoders/arm8/proofs
May 29 14:41:36 Finished compiler/encoders/arm8/proofs                         6m52s   1GB
May 29 14:41:37 Starting compiler/encoders/mips/proofs
May 29 14:51:31 Finished compiler/encoders/mips/proofs                         9m53s   3GB
May 29 14:51:31 Starting compiler/encoders/riscv/proofs
May 29 15:00:12 Finished compiler/encoders/riscv/proofs                        8m40s   1GB
May 29 15:00:12 Starting compiler/encoders/ag32/proofs
May 29 15:02:48 Finished compiler/encoders/ag32/proofs                         2m34s 757MB
May 29 15:02:48 Starting compiler/backend/x64/proofs
May 29 15:03:08 Finished compiler/backend/x64/proofs                             19s   1GB
May 29 15:03:08 Starting compiler/backend/arm7/proofs
May 29 15:03:29 Finished compiler/backend/arm7/proofs                            20s   1GB
May 29 15:03:29 Starting compiler/backend/arm8/proofs
May 29 15:03:48 Finished compiler/backend/arm8/proofs                            19s   1GB
May 29 15:03:49 Starting compiler/backend/mips/proofs
May 29 15:04:09 Finished compiler/backend/mips/proofs                            19s   1GB
May 29 15:04:09 Starting compiler/backend/riscv/proofs
May 29 15:04:29 Finished compiler/backend/riscv/proofs                           20s   1GB
May 29 15:04:30 Starting compiler/backend/ag32/proofs
May 29 15:13:33 Finished compiler/backend/ag32/proofs                          9m03s   2GB
May 29 15:13:34 Starting compiler/proofs
May 29 15:14:55 Finished compiler/proofs                                       1m21s   3GB
May 29 15:14:56 Starting candle/set-theory
May 29 15:15:23 Finished candle/set-theory                                       27s 799MB
May 29 15:15:24 Starting candle/syntax-lib
May 29 15:15:34 Finished candle/syntax-lib                                       10s 616MB
May 29 15:15:35 Starting candle/standard/syntax
May 29 15:17:23 Finished candle/standard/syntax                                1m47s 992MB
May 29 15:17:23 Starting candle/standard/semantics
May 29 15:19:04 Finished candle/standard/semantics                             1m40s   1GB
May 29 15:19:04 Starting candle/standard/monadic
May 29 15:20:43 Finished candle/standard/monadic                               1m38s   1GB
May 29 15:20:43 Starting candle/standard/ml_kernel
May 29 15:24:37 Finished candle/standard/ml_kernel                             3m53s   3GB
May 29 15:24:37 Starting candle/standard/opentheory
May 29 15:33:30 Finished candle/standard/opentheory                            8m52s   3GB
May 29 15:33:30 Starting candle/standard/opentheory/compilation
May 29 16:05:26 Finished candle/standard/opentheory/compilation               31m56s  13GB
May 29 16:05:27 Starting candle/standard/opentheory/compilation/proofs
May 29 16:06:34 Finished candle/standard/opentheory/compilation/proofs         1m07s   1GB
May 29 16:06:35 Starting characteristic/examples
May 29 16:08:09 Finished characteristic/examples                               1m33s   2GB
May 29 16:08:09 Starting tutorial/solutions
May 29 16:22:08 Finished tutorial/solutions                                   13m58s   7GB
May 29 16:22:08 Starting translator/monadic/examples
May 29 16:25:33 Finished translator/monadic/examples                           3m24s   2GB
May 29 16:25:34 Starting examples
May 29 16:36:05 Finished examples                                             10m31s   3GB
May 29 16:36:05 Starting examples/compilation/x64
May 29 19:03:54 Finished examples/compilation/x64                           2h27m48s  12GB
May 29 19:03:54 Starting examples/compilation/x64/proofs
May 29 19:05:36 Finished examples/compilation/x64/proofs                       1m41s   2GB
May 29 19:05:36 Starting examples/compilation/ag32
May 29 19:35:47 Finished examples/compilation/ag32                            30m10s   6GB
May 29 19:35:47 Starting examples/compilation/ag32/proofs
May 29 19:36:35 Finished examples/compilation/ag32/proofs                        47s   3GB
May 29 19:36:35 Starting translator/okasaki-examples
May 29 19:41:09 Finished translator/okasaki-examples                           4m33s   1GB
May 29 19:41:09 Starting translator/other-examples
May 29 19:44:55 Finished translator/other-examples                             3m46s   1GB
May 29 19:44:56 Starting compiler/parsing/tests
May 29 19:45:23 Finished compiler/parsing/tests                                  26s 556MB
May 29 19:45:23 Starting compiler/inference/tests
May 29 19:49:41 Finished compiler/inference/tests                              4m17s   3GB
May 29 19:49:41 Starting compiler/bootstrap/translation
May 29 22:28:22 Finished compiler/bootstrap/translation                     2h38m38s  39GB
May 29 22:28:22 Starting unverified/sexpr-bootstrap/x64/64
May 29 22:36:20 Finished unverified/sexpr-bootstrap/x64/64                     7m57s   3GB
May 29 22:36:20 Starting unverified/sexpr-bootstrap/x64/32
May 29 22:42:17 Finished unverified/sexpr-bootstrap/x64/32                     5m56s   5GB
May 29 22:42:17 Starting compiler/benchmarks
May 29 22:42:23 Finished compiler/benchmarks                                      5s  22MB
May 29 22:42:23 Starting compiler/bootstrap/compilation/x64/64
May 30 11:11:23 Finished compiler/bootstrap/compilation/x64/64             12h28m59s  50GB
May 30 11:11:23 Starting compiler/bootstrap/compilation/x64/64/proofs
May 30 11:15:50 Finished compiler/bootstrap/compilation/x64/64/proofs          4m26s   5GB
May 30 11:15:50 Starting compiler/bootstrap/compilation/x64/32
May 30 20:37:08 Finished compiler/bootstrap/compilation/x64/32              9h21m16s  64GB
May 30 20:37:08 Starting compiler/bootstrap/compilation/x64/32/proofs
May 30 20:41:17 Finished compiler/bootstrap/compilation/x64/32/proofs          4m08s   4GB
May 30 20:41:17 Starting compiler/bootstrap/compilation/ag32/32
May 31 06:37:51 Finished compiler/bootstrap/compilation/ag32/32             9h56m33s  64GB
May 31 06:37:51 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 31 07:02:34 Finished compiler/bootstrap/compilation/ag32/32/proofs        24m42s  17GB
May 31 07:02:35 SUCCESS