Job 903

CakeML:36973b37ea5cb9e4e1fc098f63e738d3d7b6ca32
  Rename assume_conv -> assume (because not a conv) [May 27 08:23:21]
#656 (candle-rename-assume)
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:brain08 4.14.89.1.amd64-smp x86_64 GNU/Linux

May 27 08:46:46 Claimed job
May 27 08:46:52 Building HOL
May 27 09:02:05 Starting developers
May 27 09:02:07 Finished developers                                               1s  33MB
May 27 09:02:07 Starting developers/bin
May 27 09:02:16 Finished developers/bin                                           8s 937MB
May 27 09:02:17 Starting semantics/ffi
May 27 09:03:28 Finished semantics/ffi                                         1m11s 596MB
May 27 09:03:28 Starting semantics
May 27 09:06:27 Finished semantics                                             2m59s   1GB
May 27 09:06:28 Starting semantics/proofs
May 27 09:12:36 Finished semantics/proofs                                      6m07s 954MB
May 27 09:12:36 Starting basis/pure
May 27 09:19:28 Finished basis/pure                                            6m51s 668MB
May 27 09:19:28 Starting translator
May 27 09:22:41 Finished translator                                            3m12s   1GB
May 27 09:22:41 Starting compiler/parsing
May 27 09:24:33 Finished compiler/parsing                                      1m52s   2GB
May 27 09:24:34 Starting characteristic
May 27 09:34:48 Finished characteristic                                       10m14s   2GB
May 27 09:34:48 Starting translator/monadic
May 27 09:37:36 Finished translator/monadic                                    2m47s   1GB
May 27 09:37:36 Starting basis
May 27 10:10:15 Finished basis                                                32m39s   2GB
May 27 10:10:16 Starting compiler/inference
May 27 10:14:03 Finished compiler/inference                                    3m46s   1GB
May 27 10:14:03 Starting compiler/backend/reg_alloc
May 27 10:15:43 Finished compiler/backend/reg_alloc                            1m39s   1GB
May 27 10:15:43 Starting compiler/backend/gc
May 27 10:32:21 Finished compiler/backend/gc                                  16m38s   1GB
May 27 10:32:21 Starting compiler/backend
May 27 10:32:30 Finished compiler/backend                                         8s 293MB
May 27 10:32:30 Starting compiler/encoders/asm
May 27 10:32:31 Finished compiler/encoders/asm                                    0s  25MB
May 27 10:32:31 Starting compiler/encoders/x64
May 27 10:34:29 Finished compiler/encoders/x64                                 1m57s 779MB
May 27 10:34:29 Starting compiler/encoders/arm7
May 27 10:38:00 Finished compiler/encoders/arm7                                3m31s   2GB
May 27 10:38:01 Starting compiler/encoders/arm8
May 27 10:39:06 Finished compiler/encoders/arm8                                1m05s   1GB
May 27 10:39:07 Starting compiler/encoders/mips
May 27 10:41:18 Finished compiler/encoders/mips                                2m10s   1GB
May 27 10:41:18 Starting compiler/encoders/riscv
May 27 10:43:49 Finished compiler/encoders/riscv                               2m30s   1GB
May 27 10:43:49 Starting compiler/encoders/ag32
May 27 10:44:19 Finished compiler/encoders/ag32                                  29s 506MB
May 27 10:44:19 Starting compiler/backend/x64
May 27 10:44:57 Finished compiler/backend/x64                                    37s   1GB
May 27 10:44:57 Starting compiler/backend/arm7
May 27 10:45:41 Finished compiler/backend/arm7                                   44s   1GB
May 27 10:45:42 Starting compiler/backend/arm8
May 27 10:46:21 Finished compiler/backend/arm8                                   39s   1GB
May 27 10:46:21 Starting compiler/backend/mips
May 27 10:47:01 Finished compiler/backend/mips                                   39s   1GB
May 27 10:47:01 Starting compiler/backend/riscv
May 27 10:47:39 Finished compiler/backend/riscv                                  37s 830MB
May 27 10:47:39 Starting compiler/backend/ag32
May 27 10:49:52 Finished compiler/backend/ag32                                 2m12s   1GB
May 27 10:49:52 Starting compiler/parsing/proofs
May 27 11:00:41 Finished compiler/parsing/proofs                              10m49s   1GB
May 27 11:00:41 Starting compiler/inference/proofs
May 27 11:06:19 Finished compiler/inference/proofs                             5m37s   1GB
May 27 11:06:19 Starting compiler/backend/semantics
May 27 11:19:52 Finished compiler/backend/semantics                           13m32s   1GB
May 27 11:19:52 Starting compiler/backend/reg_alloc/proofs
May 27 11:26:47 Finished compiler/backend/reg_alloc/proofs                     6m54s 883MB
May 27 11:26:48 Starting compiler/backend/proofs
May 27 12:36:45 Finished compiler/backend/proofs                            1h09m57s   3GB
May 27 12:36:46 Starting compiler/encoders/x64/proofs
May 27 12:57:29 Finished compiler/encoders/x64/proofs                         20m43s   6GB
May 27 12:57:29 Starting compiler/encoders/arm7/proofs
May 27 13:24:37 Finished compiler/encoders/arm7/proofs                        27m08s   6GB
May 27 13:24:38 Starting compiler/encoders/arm8/proofs
May 27 13:38:06 Finished compiler/encoders/arm8/proofs                        13m27s   1GB
May 27 13:38:06 Starting compiler/encoders/mips/proofs
May 27 13:58:41 Finished compiler/encoders/mips/proofs                        20m35s   2GB
May 27 13:58:41 Starting compiler/encoders/riscv/proofs
May 27 14:15:16 Finished compiler/encoders/riscv/proofs                       16m34s   1GB
May 27 14:15:17 Starting compiler/encoders/ag32/proofs
May 27 14:20:13 Finished compiler/encoders/ag32/proofs                         4m55s 938MB
May 27 14:20:13 Starting compiler/backend/x64/proofs
May 27 14:20:55 Finished compiler/backend/x64/proofs                             41s 998MB
May 27 14:20:55 Starting compiler/backend/arm7/proofs
May 27 14:21:37 Finished compiler/backend/arm7/proofs                            41s 964MB
May 27 14:21:37 Starting compiler/backend/arm8/proofs
May 27 14:22:16 Finished compiler/backend/arm8/proofs                            38s   1GB
May 27 14:22:16 Starting compiler/backend/mips/proofs
May 27 14:22:58 Finished compiler/backend/mips/proofs                            42s   1GB
May 27 14:22:59 Starting compiler/backend/riscv/proofs
May 27 14:23:38 Finished compiler/backend/riscv/proofs                           39s   1GB
May 27 14:23:38 Starting compiler/backend/ag32/proofs
May 27 14:41:28 Finished compiler/backend/ag32/proofs                         17m49s   2GB
May 27 14:41:28 Starting compiler/proofs
May 27 14:44:14 Finished compiler/proofs                                       2m45s   2GB
May 27 14:44:14 Starting candle/set-theory
May 27 14:44:59 Finished candle/set-theory                                       44s 724MB
May 27 14:44:59 Starting candle/syntax-lib
May 27 14:45:22 Finished candle/syntax-lib                                       22s 591MB
May 27 14:45:22 Starting candle/standard/syntax
May 27 14:48:47 Finished candle/standard/syntax                                3m24s   1GB
May 27 14:48:48 Starting candle/standard/semantics
May 27 14:52:00 Finished candle/standard/semantics                             3m12s   1GB
May 27 14:52:00 Starting candle/standard/monadic
May 27 14:55:14 Finished candle/standard/monadic                               3m13s   1GB
May 27 14:55:15 Starting candle/standard/ml_kernel
May 27 15:02:44 Finished candle/standard/ml_kernel                             7m29s   4GB
May 27 15:02:45 Starting candle/standard/opentheory
May 27 15:19:42 Finished candle/standard/opentheory                           16m57s   3GB
May 27 15:19:43 Starting candle/standard/opentheory/compilation
May 27 16:12:17 Finished candle/standard/opentheory/compilation               52m34s  18GB
May 27 16:12:17 Starting candle/standard/opentheory/compilation/proofs
May 27 16:13:35 Finished candle/standard/opentheory/compilation/proofs         1m17s   3GB
May 27 16:13:35 Starting characteristic/examples
May 27 16:16:23 Finished characteristic/examples                               2m47s   2GB
May 27 16:16:24 Starting tutorial/solutions
May 27 16:41:03 Finished tutorial/solutions                                   24m38s   7GB
May 27 16:41:03 Starting translator/monadic/examples
May 27 16:45:32 Finished translator/monadic/examples                           4m28s   2GB
May 27 16:45:32 Starting examples
May 27 16:58:52 Finished examples                                             13m19s   3GB
May 27 16:58:52 Starting examples/compilation/x64
May 27 20:44:25 Finished examples/compilation/x64                           3h45m33s  17GB
May 27 20:44:26 Starting examples/compilation/x64/proofs
May 27 20:46:59 Finished examples/compilation/x64/proofs                       2m33s   2GB
May 27 20:46:59 Starting examples/compilation/ag32
May 27 21:38:36 Finished examples/compilation/ag32                            51m36s   8GB
May 27 21:38:36 Starting examples/compilation/ag32/proofs
May 27 21:40:04 Finished examples/compilation/ag32/proofs                      1m27s   2GB
May 27 21:40:04 Starting translator/okasaki-examples
May 27 21:47:33 Finished translator/okasaki-examples                           7m28s   1GB
May 27 21:47:33 Starting translator/other-examples
May 27 21:54:23 Finished translator/other-examples                             6m49s   1GB
May 27 21:54:23 Starting compiler/parsing/tests
May 27 21:55:10 Finished compiler/parsing/tests                                  46s 578MB
May 27 21:55:10 Starting compiler/inference/tests
May 27 22:02:22 Finished compiler/inference/tests                              7m11s   3GB
May 27 22:02:22 Starting compiler/bootstrap/translation
May 28 02:52:47 Finished compiler/bootstrap/translation                     4h50m24s  71GB
May 28 02:52:47 Starting unverified/sexpr-bootstrap/x64/64
May 28 03:04:56 Finished unverified/sexpr-bootstrap/x64/64                    12m08s   6GB
May 28 03:04:56 Starting unverified/sexpr-bootstrap/x64/32
May 28 03:12:55 Finished unverified/sexpr-bootstrap/x64/32                     7m58s   5GB
May 28 03:12:55 Starting compiler/benchmarks
May 28 03:36:37 Finished compiler/benchmarks                                  23m42s   2GB
May 28 03:36:38 Starting compiler/bootstrap/compilation/x64/64
May 29 03:44:34 Finished compiler/bootstrap/compilation/x64/64             24h07m55s 172GB
May 29 03:44:34 Starting compiler/bootstrap/compilation/x64/64/proofs
May 29 03:49:05 Finished compiler/bootstrap/compilation/x64/64/proofs          4m31s   9GB
May 29 03:49:05 Starting compiler/bootstrap/compilation/x64/32
May 30 01:13:14 Finished compiler/bootstrap/compilation/x64/32             21h24m08s 252GB
May 30 01:13:14 Starting compiler/bootstrap/compilation/x64/32/proofs
May 30 01:17:03 Finished compiler/bootstrap/compilation/x64/32/proofs          3m48s   9GB
May 30 01:17:04 Starting compiler/bootstrap/compilation/ag32/32
May 30 22:04:03 Finished compiler/bootstrap/compilation/ag32/32            20h46m58s 170GB
May 30 22:04:03 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 30 22:39:57 Finished compiler/bootstrap/compilation/ag32/32/proofs        35m53s  34GB
May 30 22:39:57 SUCCESS