Job 896

CakeML:b4025f4f69257cd8d87c367fbf6d415448910e57
  Merge branch 'FMA_support' of https://github.com/CakeML/cakeml into F [May 23 08:38:42]
#633 (FMA_support)
Merging into:21975585998034b43aee723e21c7043f250a58fd
  Merge pull request #635 from CakeML/thm [May 22 08:49:19]
HOL:1354fce9a59442fd6d725d550bac9e9c31d478e8
  Reinstate (short!) message about changed loadPath when hol begins [May 23 00:21:34]
Machine:brain08 4.14.89.1.amd64-smp x86_64 GNU/Linux

May 23 08:39:39 Claimed job
May 23 08:39:44 Building HOL
May 23 08:55:03 Starting developers
May 23 08:55:04 Finished developers                                               1s  41MB
May 23 08:55:04 Starting developers/bin
May 23 08:55:13 Finished developers/bin                                           8s 931MB
May 23 08:55:13 Starting semantics/ffi
May 23 08:56:24 Finished semantics/ffi                                         1m09s 584MB
May 23 08:56:24 Starting semantics
May 23 08:59:23 Finished semantics                                             2m59s   1GB
May 23 08:59:23 Starting semantics/proofs
May 23 09:05:29 Finished semantics/proofs                                      6m05s   1GB
May 23 09:05:29 Starting basis/pure
May 23 09:12:16 Finished basis/pure                                            6m47s 733MB
May 23 09:12:17 Starting translator
May 23 09:15:25 Finished translator                                            3m08s   1GB
May 23 09:15:25 Starting compiler/parsing
May 23 09:17:17 Finished compiler/parsing                                      1m51s   3GB
May 23 09:17:17 Starting characteristic
May 23 09:27:44 Finished characteristic                                       10m26s   2GB
May 23 09:27:44 Starting translator/monadic
May 23 09:30:40 Finished translator/monadic                                    2m55s   1GB
May 23 09:30:41 Starting basis
May 23 10:02:42 Finished basis                                                32m01s   2GB
May 23 10:02:43 Starting compiler/inference
May 23 10:06:31 Finished compiler/inference                                    3m48s   1GB
May 23 10:06:31 Starting compiler/backend/reg_alloc
May 23 10:08:06 Finished compiler/backend/reg_alloc                            1m34s   1GB
May 23 10:08:07 Starting compiler/backend/gc
May 23 10:24:33 Finished compiler/backend/gc                                  16m26s   1GB
May 23 10:24:33 Starting compiler/backend
May 23 10:24:41 Finished compiler/backend                                         8s 302MB
May 23 10:24:42 Starting compiler/encoders/asm
May 23 10:24:43 Finished compiler/encoders/asm                                    0s  28MB
May 23 10:24:43 Starting compiler/encoders/x64
May 23 10:26:40 Finished compiler/encoders/x64                                 1m57s 904MB
May 23 10:26:41 Starting compiler/encoders/arm7
May 23 10:30:22 Finished compiler/encoders/arm7                                3m40s   2GB
May 23 10:30:22 Starting compiler/encoders/arm8
May 23 10:31:27 Finished compiler/encoders/arm8                                1m05s 837MB
May 23 10:31:27 Starting compiler/encoders/mips
May 23 10:33:40 Finished compiler/encoders/mips                                2m12s 985MB
May 23 10:33:40 Starting compiler/encoders/riscv
May 23 10:36:15 Finished compiler/encoders/riscv                               2m34s   1GB
May 23 10:36:15 Starting compiler/encoders/ag32
May 23 10:36:44 Finished compiler/encoders/ag32                                  29s 636MB
May 23 10:36:44 Starting compiler/backend/x64
May 23 10:37:24 Finished compiler/backend/x64                                    39s   1GB
May 23 10:37:24 Starting compiler/backend/arm7
May 23 10:38:07 Finished compiler/backend/arm7                                   42s   1GB
May 23 10:38:07 Starting compiler/backend/arm8
May 23 10:38:47 Finished compiler/backend/arm8                                   39s   1GB
May 23 10:38:47 Starting compiler/backend/mips
May 23 10:39:27 Finished compiler/backend/mips                                   40s   1GB
May 23 10:39:27 Starting compiler/backend/riscv
May 23 10:40:06 Finished compiler/backend/riscv                                  38s 875MB
May 23 10:40:06 Starting compiler/backend/ag32
May 23 10:42:22 Finished compiler/backend/ag32                                 2m15s   1GB
May 23 10:42:22 Starting compiler/parsing/proofs
May 23 10:52:59 Finished compiler/parsing/proofs                              10m36s   1GB
May 23 10:52:59 Starting compiler/inference/proofs
May 23 10:58:30 Finished compiler/inference/proofs                             5m30s   1GB
May 23 10:58:30 Starting compiler/backend/semantics
May 23 11:11:56 Finished compiler/backend/semantics                           13m25s   1GB
May 23 11:11:56 Starting compiler/backend/reg_alloc/proofs
May 23 11:18:33 Finished compiler/backend/reg_alloc/proofs                     6m36s 964MB
May 23 11:18:33 Starting compiler/backend/proofs
May 23 12:28:11 Finished compiler/backend/proofs                            1h09m37s   7GB
May 23 12:28:12 Starting compiler/encoders/x64/proofs
May 23 12:48:08 Finished compiler/encoders/x64/proofs                         19m56s   4GB
May 23 12:48:09 Starting compiler/encoders/arm7/proofs
May 23 13:16:46 Finished compiler/encoders/arm7/proofs                        28m37s   5GB
May 23 13:16:46 Starting compiler/encoders/arm8/proofs
May 23 13:29:55 Finished compiler/encoders/arm8/proofs                        13m08s   2GB
May 23 13:29:55 Starting compiler/encoders/mips/proofs
May 23 13:49:29 Finished compiler/encoders/mips/proofs                        19m33s   3GB
May 23 13:49:29 Starting compiler/encoders/riscv/proofs
May 23 14:06:12 Finished compiler/encoders/riscv/proofs                       16m43s   1GB
May 23 14:06:13 Starting compiler/encoders/ag32/proofs
May 23 14:11:07 Finished compiler/encoders/ag32/proofs                         4m54s 958MB
May 23 14:11:07 Starting compiler/backend/x64/proofs
May 23 14:11:46 Finished compiler/backend/x64/proofs                             38s   1GB
May 23 14:11:47 Starting compiler/backend/arm7/proofs
May 23 14:12:26 Finished compiler/backend/arm7/proofs                            39s 975MB
May 23 14:12:26 Starting compiler/backend/arm8/proofs
May 23 14:13:08 Finished compiler/backend/arm8/proofs                            41s   1GB
May 23 14:13:09 Starting compiler/backend/mips/proofs
May 23 14:13:52 Finished compiler/backend/mips/proofs                            42s   1GB
May 23 14:13:52 Starting compiler/backend/riscv/proofs
May 23 14:14:33 Finished compiler/backend/riscv/proofs                           41s   1GB
May 23 14:14:33 Starting compiler/backend/ag32/proofs
May 23 14:32:24 Finished compiler/backend/ag32/proofs                         17m50s   3GB
May 23 14:32:25 Starting compiler/proofs
May 23 14:34:58 Finished compiler/proofs                                       2m32s   2GB
May 23 14:34:58 Starting candle/set-theory
May 23 14:35:44 Finished candle/set-theory                                       46s 693MB
May 23 14:35:44 Starting candle/syntax-lib
May 23 14:36:08 Finished candle/syntax-lib                                       23s 620MB
May 23 14:36:08 Starting candle/standard/syntax
May 23 14:39:30 Finished candle/standard/syntax                                3m21s   1GB
May 23 14:39:30 Starting candle/standard/semantics
May 23 14:42:44 Finished candle/standard/semantics                             3m13s   1GB
May 23 14:42:44 Starting candle/standard/monadic
May 23 14:45:55 Finished candle/standard/monadic                               3m11s   1GB
May 23 14:45:56 Starting candle/standard/ml_kernel
May 23 14:53:24 Finished candle/standard/ml_kernel                             7m28s   3GB
May 23 14:53:25 Starting candle/standard/opentheory
May 23 15:10:05 Finished candle/standard/opentheory                           16m40s   3GB
May 23 15:10:06 Starting candle/standard/opentheory/compilation
May 23 16:03:30 Finished candle/standard/opentheory/compilation               53m24s  12GB
May 23 16:03:31 Starting candle/standard/opentheory/compilation/proofs
May 23 16:04:46 Finished candle/standard/opentheory/compilation/proofs         1m15s   3GB
May 23 16:04:47 Starting characteristic/examples
May 23 16:07:34 Finished characteristic/examples                               2m46s   1GB
May 23 16:07:34 Starting tutorial/solutions
May 23 16:32:36 Finished tutorial/solutions                                   25m01s   7GB
May 23 16:32:36 Starting translator/monadic/examples
May 23 16:36:57 Finished translator/monadic/examples                           4m20s   2GB
May 23 16:36:58 Starting examples
May 23 16:50:35 Finished examples                                             13m37s   3GB
May 23 16:50:35 Starting examples/compilation/x64
May 23 20:36:49 Finished examples/compilation/x64                           3h46m13s  20GB
May 23 20:36:49 Starting examples/compilation/x64/proofs
May 23 20:39:47 Finished examples/compilation/x64/proofs                       2m57s   2GB
May 23 20:39:47 Starting examples/compilation/ag32
May 23 21:33:02 Finished examples/compilation/ag32                            53m14s   5GB
May 23 21:33:02 Starting examples/compilation/ag32/proofs
May 23 21:34:49 Finished examples/compilation/ag32/proofs                      1m47s   3GB
May 23 21:34:50 Starting translator/okasaki-examples
May 23 21:42:24 Finished translator/okasaki-examples                           7m34s   1GB
May 23 21:42:24 Starting translator/other-examples
May 23 21:49:28 Finished translator/other-examples                             7m03s   1GB
May 23 21:49:28 Starting compiler/parsing/tests
May 23 21:50:17 Finished compiler/parsing/tests                                  48s 575MB
May 23 21:50:17 Starting compiler/inference/tests
May 23 21:58:00 Finished compiler/inference/tests                              7m42s   3GB
May 23 21:58:00 Starting compiler/bootstrap/translation
May 24 02:50:14 Finished compiler/bootstrap/translation                     4h52m13s  49GB
May 24 02:50:14 Starting unverified/sexpr-bootstrap/x64/64
May 24 03:01:23 Finished unverified/sexpr-bootstrap/x64/64                    11m08s   9GB
May 24 03:01:23 Starting unverified/sexpr-bootstrap/x64/32
May 24 03:09:21 Finished unverified/sexpr-bootstrap/x64/32                     7m57s   5GB
May 24 03:09:21 Starting compiler/benchmarks
May 24 03:33:06 Finished compiler/benchmarks                                  23m45s   2GB
May 24 03:33:07 Starting compiler/bootstrap/compilation/x64/64
May 25 02:49:01 Finished compiler/bootstrap/compilation/x64/64             23h15m54s 277GB
May 25 02:49:02 Starting compiler/bootstrap/compilation/x64/64/proofs
May 25 02:53:18 Finished compiler/bootstrap/compilation/x64/64/proofs          4m16s   9GB
May 25 02:53:18 Starting compiler/bootstrap/compilation/x64/32
May 26 00:21:54 Finished compiler/bootstrap/compilation/x64/32             21h28m35s 215GB
May 26 00:21:55 Starting compiler/bootstrap/compilation/x64/32/proofs
May 26 00:25:52 Finished compiler/bootstrap/compilation/x64/32/proofs          3m56s   9GB
May 26 00:25:52 Starting compiler/bootstrap/compilation/ag32/32
May 26 22:09:29 Finished compiler/bootstrap/compilation/ag32/32            21h43m36s 203GB
May 26 22:09:29 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 26 22:26:38 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m08s  26GB
May 26 22:26:38 SUCCESS