Job 895

CakeML:fb815186fdac9a36ed8ad0a677679e67d0f7c094
  Fix typo in word_gcFunctionsScript [May 22 13:50:42]
#633 (FMA_support)
Merging into:21975585998034b43aee723e21c7043f250a58fd
  Merge pull request #635 from CakeML/thm [May 22 08:49:19]
HOL:15a1e85b5308eeb3ca329cafe2c409f1fd21edfd
  Fix Holmake regressions arising from b03aecf7b [May 20 00:34:31]
Machine:brain08 4.14.89.1.amd64-smp x86_64 GNU/Linux

May 22 13:51:39 Claimed job
May 22 13:51:42 Reusing HOL
May 22 13:52:06 Starting developers
May 22 13:52:08 Finished developers                                               1s  33MB
May 22 13:52:08 Starting developers/bin
May 22 13:52:17 Finished developers/bin                                           9s 932MB
May 22 13:52:17 Starting semantics/ffi
May 22 13:52:33 Finished semantics/ffi                                           15s 254MB
May 22 13:52:33 Starting semantics
May 22 13:55:00 Finished semantics                                             2m26s   1GB
May 22 13:55:00 Starting semantics/proofs
May 22 14:01:01 Finished semantics/proofs                                      6m00s   1GB
May 22 14:01:01 Starting basis/pure
May 22 14:02:31 Finished basis/pure                                            1m29s 676MB
May 22 14:02:31 Starting translator
May 22 14:05:38 Finished translator                                            3m06s   1GB
May 22 14:05:39 Starting compiler/parsing
May 22 14:07:31 Finished compiler/parsing                                      1m52s   2GB
May 22 14:07:31 Starting characteristic
May 22 14:17:42 Finished characteristic                                       10m10s   2GB
May 22 14:17:42 Starting translator/monadic
May 22 14:20:33 Finished translator/monadic                                    2m50s   1GB
May 22 14:20:33 Starting basis
May 22 14:52:41 Finished basis                                                32m07s   2GB
May 22 14:52:41 Starting compiler/inference
May 22 14:55:57 Finished compiler/inference                                    3m15s   1GB
May 22 14:55:57 Starting compiler/backend/reg_alloc
May 22 14:57:33 Finished compiler/backend/reg_alloc                            1m35s   1GB
May 22 14:57:33 Starting compiler/backend/gc
May 22 15:12:05 Finished compiler/backend/gc                                  14m31s   1GB
May 22 15:12:05 Starting compiler/backend
May 22 15:12:13 Finished compiler/backend                                         7s 275MB
May 22 15:12:13 Starting compiler/encoders/asm
May 22 15:12:14 Finished compiler/encoders/asm                                    0s  26MB
May 22 15:12:14 Starting compiler/encoders/x64
May 22 15:13:01 Finished compiler/encoders/x64                                   46s 735MB
May 22 15:13:02 Starting compiler/encoders/arm7
May 22 15:14:35 Finished compiler/encoders/arm7                                1m32s 971MB
May 22 15:14:35 Starting compiler/encoders/arm8
May 22 15:14:58 Finished compiler/encoders/arm8                                  23s 837MB
May 22 15:14:58 Starting compiler/encoders/mips
May 22 15:15:28 Finished compiler/encoders/mips                                  29s   1GB
May 22 15:15:28 Starting compiler/encoders/riscv
May 22 15:15:54 Finished compiler/encoders/riscv                                 25s 831MB
May 22 15:15:54 Starting compiler/encoders/ag32
May 22 15:16:24 Finished compiler/encoders/ag32                                  29s 543MB
May 22 15:16:24 Starting compiler/backend/x64
May 22 15:17:03 Finished compiler/backend/x64                                    39s   1GB
May 22 15:17:04 Starting compiler/backend/arm7
May 22 15:17:47 Finished compiler/backend/arm7                                   42s   1GB
May 22 15:17:47 Starting compiler/backend/arm8
May 22 15:18:26 Finished compiler/backend/arm8                                   39s   1GB
May 22 15:18:26 Starting compiler/backend/mips
May 22 15:19:02 Finished compiler/backend/mips                                   35s   1GB
May 22 15:19:02 Starting compiler/backend/riscv
May 22 15:19:40 Finished compiler/backend/riscv                                  37s   1GB
May 22 15:19:41 Starting compiler/backend/ag32
May 22 15:22:03 Finished compiler/backend/ag32                                 2m21s   1GB
May 22 15:22:03 Starting compiler/parsing/proofs
May 22 15:32:55 Finished compiler/parsing/proofs                              10m52s   1GB
May 22 15:32:56 Starting compiler/inference/proofs
May 22 15:38:28 Finished compiler/inference/proofs                             5m31s   1GB
May 22 15:38:28 Starting compiler/backend/semantics
May 22 15:52:01 Finished compiler/backend/semantics                           13m33s   1GB
May 22 15:52:02 Starting compiler/backend/reg_alloc/proofs
May 22 15:58:56 Finished compiler/backend/reg_alloc/proofs                     6m54s 951MB
May 22 15:58:57 Starting compiler/backend/proofs
May 22 17:09:16 Finished compiler/backend/proofs                            1h10m19s   5GB
May 22 17:09:17 Starting compiler/encoders/x64/proofs
May 22 17:29:49 Finished compiler/encoders/x64/proofs                         20m32s   5GB
May 22 17:29:50 Starting compiler/encoders/arm7/proofs
May 22 17:58:09 Finished compiler/encoders/arm7/proofs                        28m18s   5GB
May 22 17:58:09 Starting compiler/encoders/arm8/proofs
May 22 18:11:46 Finished compiler/encoders/arm8/proofs                        13m37s   1GB
May 22 18:11:47 Starting compiler/encoders/mips/proofs
May 22 18:31:55 Finished compiler/encoders/mips/proofs                        20m08s   3GB
May 22 18:31:55 Starting compiler/encoders/riscv/proofs
May 22 18:48:25 Finished compiler/encoders/riscv/proofs                       16m29s   1GB
May 22 18:48:25 Starting compiler/encoders/ag32/proofs
May 22 18:53:16 Finished compiler/encoders/ag32/proofs                         4m51s 830MB
May 22 18:53:17 Starting compiler/backend/x64/proofs
May 22 18:53:56 Finished compiler/backend/x64/proofs                             39s   1GB
May 22 18:53:57 Starting compiler/backend/arm7/proofs May 22 18:53:57 29s