Job 905

CakeML:f87b41a181cd2d1da7b16f74b048e69a616a176d
  Add support for FMA instructions to translator [May 27 12:01:07]
#657 (fp_translation)
Merging into:0d7f53041520403e4c81652bf82c3232d2e57e81
  Merge pull request #633 from CakeML/FMA_support [May 27 00:52:01]
HOL:82b36cd1fd2eef1d9bc4168f0ecd3f69ba80df67
  Put examples/l3-machine-code/cheri into -t3 build sequence [May 24 06:46:58]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

May 27 13:10:02 Claimed job
May 27 13:10:44 Building HOL
May 27 13:20:05 Starting developers
May 27 13:20:07 Finished developers                                               2s  20MB
May 27 13:20:07 Starting developers/bin
May 27 13:21:20 Finished developers/bin                                        1m12s 919MB
May 27 13:21:20 Starting semantics/ffi
May 27 13:21:58 Finished semantics/ffi                                           37s 508MB
May 27 13:21:58 Starting semantics
May 27 13:23:33 Finished semantics                                             1m34s   1GB
May 27 13:23:33 Starting semantics/proofs
May 27 13:26:31 Finished semantics/proofs                                      2m57s   1GB
May 27 13:26:31 Starting basis/pure
May 27 13:30:08 Finished basis/pure                                            3m36s 895MB
May 27 13:30:08 Starting translator
May 27 13:31:49 Finished translator                                            1m41s   1GB
May 27 13:31:50 Starting compiler/parsing
May 27 13:32:47 Finished compiler/parsing                                        56s   2GB
May 27 13:32:47 Starting characteristic
May 27 13:38:02 Finished characteristic                                        5m14s   1GB
May 27 13:38:02 Starting translator/monadic
May 27 13:39:31 Finished translator/monadic                                    1m27s   1GB
May 27 13:39:31 Starting basis
May 27 13:56:23 Finished basis                                                16m52s   2GB
May 27 13:56:24 Starting compiler/inference
May 27 13:58:20 Finished compiler/inference                                    1m55s   1GB
May 27 13:58:20 Starting compiler/backend/reg_alloc
May 27 13:59:20 Finished compiler/backend/reg_alloc                              59s   1GB
May 27 13:59:20 Starting compiler/backend/gc
May 27 14:08:31 Finished compiler/backend/gc                                   9m11s   2GB
May 27 14:08:32 Starting compiler/backend
May 27 14:08:34 Finished compiler/backend                                         2s  16MB
May 27 14:08:34 Starting compiler/encoders/asm
May 27 14:08:36 Finished compiler/encoders/asm                                    1s  15MB
May 27 14:08:36 Starting compiler/encoders/x64
May 27 14:09:37 Finished compiler/encoders/x64                                 1m00s 691MB
May 27 14:09:38 Starting compiler/encoders/arm7
May 27 14:11:19 Finished compiler/encoders/arm7                                1m41s   1GB
May 27 14:11:20 Starting compiler/encoders/arm8
May 27 14:11:53 Finished compiler/encoders/arm8                                  32s 530MB
May 27 14:11:53 Starting compiler/encoders/mips
May 27 14:13:00 Finished compiler/encoders/mips                                1m06s   1GB
May 27 14:13:00 Starting compiler/encoders/riscv
May 27 14:14:21 Finished compiler/encoders/riscv                               1m20s   1GB
May 27 14:14:21 Starting compiler/encoders/ag32
May 27 14:14:38 Finished compiler/encoders/ag32                                  16s 754MB
May 27 14:14:38 Starting compiler/backend/x64
May 27 14:14:57 Finished compiler/backend/x64                                    18s   1GB
May 27 14:14:57 Starting compiler/backend/arm7
May 27 14:15:17 Finished compiler/backend/arm7                                   19s   1GB
May 27 14:15:17 Starting compiler/backend/arm8
May 27 14:15:36 Finished compiler/backend/arm8                                   19s   1GB
May 27 14:15:37 Starting compiler/backend/mips
May 27 14:15:56 Finished compiler/backend/mips                                   19s   1GB
May 27 14:15:56 Starting compiler/backend/riscv
May 27 14:16:16 Finished compiler/backend/riscv                                  19s   1GB
May 27 14:16:16 Starting compiler/backend/ag32
May 27 14:17:24 Finished compiler/backend/ag32                                 1m07s   1GB
May 27 14:17:24 Starting compiler/parsing/proofs
May 27 14:22:57 Finished compiler/parsing/proofs                               5m32s 925MB
May 27 14:22:57 Starting compiler/inference/proofs
May 27 14:25:42 Finished compiler/inference/proofs                             2m44s   1GB
May 27 14:25:42 Starting compiler/backend/semantics
May 27 14:32:42 Finished compiler/backend/semantics                            6m59s   2GB
May 27 14:32:42 Starting compiler/backend/reg_alloc/proofs
May 27 14:36:00 Finished compiler/backend/reg_alloc/proofs                     3m17s 932MB
May 27 14:36:00 Starting compiler/backend/proofs
May 27 15:14:25 Finished compiler/backend/proofs                              38m24s   3GB
May 27 15:14:26 Starting compiler/encoders/x64/proofs
May 27 15:24:17 Finished compiler/encoders/x64/proofs                          9m51s   6GB
May 27 15:24:18 Starting compiler/encoders/arm7/proofs
May 27 15:37:27 Finished compiler/encoders/arm7/proofs                        13m09s   6GB
May 27 15:37:27 Starting compiler/encoders/arm8/proofs
May 27 15:44:06 Finished compiler/encoders/arm8/proofs                         6m38s   1GB
May 27 15:44:06 Starting compiler/encoders/mips/proofs
May 27 15:53:50 Finished compiler/encoders/mips/proofs                         9m43s   3GB
May 27 15:53:50 Starting compiler/encoders/riscv/proofs
May 27 16:02:07 Finished compiler/encoders/riscv/proofs                        8m16s   1GB
May 27 16:02:07 Starting compiler/encoders/ag32/proofs
May 27 16:04:31 Finished compiler/encoders/ag32/proofs                         2m23s 977MB
May 27 16:04:32 Starting compiler/backend/x64/proofs
May 27 16:04:51 Finished compiler/backend/x64/proofs                             19s   1GB
May 27 16:04:52 Starting compiler/backend/arm7/proofs
May 27 16:05:12 Finished compiler/backend/arm7/proofs                            19s 873MB
May 27 16:05:12 Starting compiler/backend/arm8/proofs
May 27 16:05:32 Finished compiler/backend/arm8/proofs                            19s   1GB
May 27 16:05:32 Starting compiler/backend/mips/proofs
May 27 16:05:53 Finished compiler/backend/mips/proofs                            20s   1GB
May 27 16:05:53 Starting compiler/backend/riscv/proofs
May 27 16:06:12 Finished compiler/backend/riscv/proofs                           18s 832MB
May 27 16:06:12 Starting compiler/backend/ag32/proofs
May 27 16:14:52 Finished compiler/backend/ag32/proofs                          8m39s   2GB
May 27 16:14:52 Starting compiler/proofs
May 27 16:16:10 Finished compiler/proofs                                       1m17s   2GB
May 27 16:16:10 Starting candle/set-theory
May 27 16:16:38 Finished candle/set-theory                                       27s 890MB
May 27 16:16:38 Starting candle/syntax-lib
May 27 16:16:49 Finished candle/syntax-lib                                       10s 446MB
May 27 16:16:49 Starting candle/standard/syntax
May 27 16:18:33 Finished candle/standard/syntax                                1m43s 918MB
May 27 16:18:33 Starting candle/standard/semantics
May 27 16:20:09 Finished candle/standard/semantics                             1m35s   1GB
May 27 16:20:09 Starting candle/standard/monadic
May 27 16:21:45 Finished candle/standard/monadic                               1m35s   1GB
May 27 16:21:45 Starting candle/standard/ml_kernel
May 27 16:25:37 Finished candle/standard/ml_kernel                             3m51s   3GB
May 27 16:25:37 Starting candle/standard/opentheory
May 27 16:34:03 Finished candle/standard/opentheory                            8m25s   3GB
May 27 16:34:04 Starting candle/standard/opentheory/compilation
May 27 17:02:56 Finished candle/standard/opentheory/compilation               28m52s  13GB
May 27 17:02:56 Starting candle/standard/opentheory/compilation/proofs
May 27 17:03:43 Finished candle/standard/opentheory/compilation/proofs           46s   2GB
May 27 17:03:43 Starting characteristic/examples
May 27 17:05:07 Finished characteristic/examples                               1m23s   2GB
May 27 17:05:07 Starting tutorial/solutions
May 27 17:18:08 Finished tutorial/solutions                                   13m00s   7GB
May 27 17:18:08 Starting translator/monadic/examples
May 27 17:21:00 Finished translator/monadic/examples                           2m51s   2GB
May 27 17:21:00 Starting examples
May 27 17:29:35 Finished examples                                              8m34s   4GB
May 27 17:29:35 Starting examples/compilation/x64
May 27 19:30:56 Finished examples/compilation/x64                           2h01m20s  11GB
May 27 19:30:56 Starting examples/compilation/x64/proofs
May 27 19:32:25 Finished examples/compilation/x64/proofs                       1m29s   2GB
May 27 19:32:25 Starting examples/compilation/ag32
May 27 20:00:06 Finished examples/compilation/ag32                            27m40s   5GB
May 27 20:00:06 Starting examples/compilation/ag32/proofs
May 27 20:00:50 Finished examples/compilation/ag32/proofs                        43s   3GB
May 27 20:00:50 Starting translator/okasaki-examples
May 27 20:04:49 Finished translator/okasaki-examples                           3m58s   1GB
May 27 20:04:49 Starting translator/other-examples
May 27 20:08:23 Finished translator/other-examples                             3m33s   1GB
May 27 20:08:23 Starting compiler/parsing/tests
May 27 20:08:49 Finished compiler/parsing/tests                                  25s 546MB
May 27 20:08:50 Starting compiler/inference/tests
May 27 20:12:53 Finished compiler/inference/tests                              4m03s   4GB
May 27 20:12:53 Starting compiler/bootstrap/translation
May 27 22:40:48 Finished compiler/bootstrap/translation                     2h27m54s  38GB
May 27 22:40:48 Starting unverified/sexpr-bootstrap/x64/64
May 27 22:47:49 Finished unverified/sexpr-bootstrap/x64/64                     7m00s   3GB
May 27 22:47:49 Starting unverified/sexpr-bootstrap/x64/32
May 27 22:52:35 Finished unverified/sexpr-bootstrap/x64/32                     4m45s   5GB
May 27 22:52:36 Starting compiler/benchmarks
May 27 22:52:42 Finished compiler/benchmarks                                      6s  24MB
May 27 22:52:43 Starting compiler/bootstrap/compilation/x64/64
May 28 10:13:23 Finished compiler/bootstrap/compilation/x64/64             11h20m40s  64GB
May 28 10:13:24 Starting compiler/bootstrap/compilation/x64/64/proofs
May 28 10:17:08 Finished compiler/bootstrap/compilation/x64/64/proofs          3m43s   4GB
May 28 10:17:08 Starting compiler/bootstrap/compilation/x64/32
May 28 21:23:53 Finished compiler/bootstrap/compilation/x64/32             11h06m44s  57GB
May 28 21:23:53 Starting compiler/bootstrap/compilation/x64/32/proofs
May 28 21:26:27 Finished compiler/bootstrap/compilation/x64/32/proofs          2m34s   9GB
May 28 21:26:28 Starting compiler/bootstrap/compilation/ag32/32
May 29 10:37:15 Finished compiler/bootstrap/compilation/ag32/32            13h10m47s  50GB
May 29 10:37:15 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 29 10:51:52 Finished compiler/bootstrap/compilation/ag32/32/proofs        14m36s  12GB
May 29 10:51:52 SUCCESS