Job 904

CakeML:a2cd3fb5afd66702e7ef35a122e030553c69af73
  Fix a reference to word_bit_test [May 24 17:05:30]
#653 (cleanup)
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:brain12 4.14.89.1.amd64-smp x86_64 GNU/Linux

May 27 12:07:15 Claimed job
May 27 12:07:21 Building HOL
May 27 12:24:30 Starting developers
May 27 12:24:33 Finished developers                                               2s  44MB
May 27 12:24:33 Starting developers/bin
May 27 12:24:43 Finished developers/bin                                           9s 924MB
May 27 12:24:43 Starting semantics/ffi
May 27 12:25:55 Finished semantics/ffi                                         1m12s 624MB
May 27 12:25:56 Starting semantics
May 27 12:28:58 Finished semantics                                             3m02s   1GB
May 27 12:28:58 Starting semantics/proofs
May 27 12:34:54 Finished semantics/proofs                                      5m55s   1GB
May 27 12:34:54 Starting basis/pure
May 27 12:41:37 Finished basis/pure                                            6m42s 708MB
May 27 12:41:38 Starting translator
May 27 12:44:49 Finished translator                                            3m11s   1GB
May 27 12:44:49 Starting compiler/parsing
May 27 12:46:35 Finished compiler/parsing                                      1m45s   1GB
May 27 12:46:35 Starting characteristic
May 27 12:56:47 Finished characteristic                                       10m11s   1GB
May 27 12:56:47 Starting translator/monadic
May 27 12:59:37 Finished translator/monadic                                    2m49s   1GB
May 27 12:59:37 Starting basis
May 27 13:32:17 Finished basis                                                32m39s   2GB
May 27 13:32:17 Starting compiler/inference
May 27 13:36:07 Finished compiler/inference                                    3m50s   1GB
May 27 13:36:08 Starting compiler/backend/reg_alloc
May 27 13:37:50 Finished compiler/backend/reg_alloc                            1m41s   1GB
May 27 13:37:50 Starting compiler/backend/gc
May 27 13:54:29 Finished compiler/backend/gc                                  16m39s   1GB
May 27 13:54:29 Starting compiler/backend
May 27 13:54:39 Finished compiler/backend                                         9s 297MB
May 27 13:54:39 Starting compiler/encoders/asm
May 27 13:54:40 Finished compiler/encoders/asm                                    1s  21MB
May 27 13:54:40 Starting compiler/encoders/x64
May 27 13:56:41 Finished compiler/encoders/x64                                 2m00s 738MB
May 27 13:56:41 Starting compiler/encoders/arm7
May 27 14:00:02 Finished compiler/encoders/arm7                                3m20s   1GB
May 27 14:00:02 Starting compiler/encoders/arm8
May 27 14:01:01 Finished compiler/encoders/arm8                                  58s 928MB
May 27 14:01:01 Starting compiler/encoders/mips
May 27 14:03:17 Finished compiler/encoders/mips                                2m15s   1GB
May 27 14:03:17 Starting compiler/encoders/riscv
May 27 14:05:49 Finished compiler/encoders/riscv                               2m31s   1GB
May 27 14:05:49 Starting compiler/encoders/ag32
May 27 14:06:22 Finished compiler/encoders/ag32                                  32s 777MB
May 27 14:06:22 Starting compiler/backend/x64
May 27 14:06:59 Finished compiler/backend/x64                                    37s   1GB
May 27 14:07:00 Starting compiler/backend/arm7
May 27 14:07:44 Finished compiler/backend/arm7                                   43s   1GB
May 27 14:07:44 Starting compiler/backend/arm8
May 27 14:08:24 Finished compiler/backend/arm8                                   40s   1GB
May 27 14:08:24 Starting compiler/backend/mips
May 27 14:09:06 Finished compiler/backend/mips                                   41s   1GB
May 27 14:09:06 Starting compiler/backend/riscv
May 27 14:09:50 Finished compiler/backend/riscv                                  43s   1GB
May 27 14:09:50 Starting compiler/backend/ag32
May 27 14:11:58 Finished compiler/backend/ag32                                 2m07s   1GB
May 27 14:11:58 Starting compiler/parsing/proofs
May 27 14:22:36 Finished compiler/parsing/proofs                              10m37s 886MB
May 27 14:22:36 Starting compiler/inference/proofs
May 27 14:28:09 Finished compiler/inference/proofs                             5m32s   1GB
May 27 14:28:09 Starting compiler/backend/semantics
May 27 14:41:12 Finished compiler/backend/semantics                           13m02s   1GB
May 27 14:41:12 Starting compiler/backend/reg_alloc/proofs
May 27 14:47:47 Finished compiler/backend/reg_alloc/proofs                     6m34s 927MB
May 27 14:47:47 Starting compiler/backend/proofs
May 27 15:54:55 Finished compiler/backend/proofs                            1h07m07s   5GB
May 27 15:54:55 Starting compiler/encoders/x64/proofs
May 27 16:14:46 Finished compiler/encoders/x64/proofs                         19m51s   7GB
May 27 16:14:46 Starting compiler/encoders/arm7/proofs
May 27 16:41:40 Finished compiler/encoders/arm7/proofs                        26m53s   3GB
May 27 16:41:41 Starting compiler/encoders/arm8/proofs
May 27 16:54:17 Finished compiler/encoders/arm8/proofs                        12m36s   2GB
May 27 16:54:18 Starting compiler/encoders/mips/proofs
May 27 17:13:02 Finished compiler/encoders/mips/proofs                        18m44s   3GB
May 27 17:13:02 Starting compiler/encoders/riscv/proofs
May 27 17:28:57 Finished compiler/encoders/riscv/proofs                       15m54s   1GB
May 27 17:28:57 Starting compiler/encoders/ag32/proofs
May 27 17:33:40 Finished compiler/encoders/ag32/proofs                         4m42s 830MB
May 27 17:33:40 Starting compiler/backend/x64/proofs
May 27 17:34:22 Finished compiler/backend/x64/proofs                             41s   1GB
May 27 17:34:22 Starting compiler/backend/arm7/proofs
May 27 17:35:10 Finished compiler/backend/arm7/proofs                            47s   1GB
May 27 17:35:10 Starting compiler/backend/arm8/proofs
May 27 17:35:51 Finished compiler/backend/arm8/proofs                            40s   1GB
May 27 17:35:51 Starting compiler/backend/mips/proofs
May 27 17:36:35 Finished compiler/backend/mips/proofs                            43s   1GB
May 27 17:36:35 Starting compiler/backend/riscv/proofs
May 27 17:37:17 Finished compiler/backend/riscv/proofs                           42s   1GB
May 27 17:37:17 Starting compiler/backend/ag32/proofs
May 27 17:54:21 Finished compiler/backend/ag32/proofs                         17m03s   2GB
May 27 17:54:21 Starting compiler/proofs
May 27 17:56:53 Finished compiler/proofs                                       2m31s   2GB
May 27 17:56:53 Starting candle/set-theory
May 27 17:57:45 Finished candle/set-theory                                       51s 790MB
May 27 17:57:45 Starting candle/syntax-lib
May 27 17:58:11 Finished candle/syntax-lib                                       25s 671MB
May 27 17:58:11 Starting candle/standard/syntax
May 27 18:01:31 Finished candle/standard/syntax                                3m20s 893MB
May 27 18:01:31 Starting candle/standard/semantics
May 27 18:04:43 Finished candle/standard/semantics                             3m11s   1GB
May 27 18:04:43 Starting candle/standard/monadic
May 27 18:07:51 Finished candle/standard/monadic                               3m07s   1GB
May 27 18:07:51 Starting candle/standard/ml_kernel
May 27 18:15:06 Finished candle/standard/ml_kernel                             7m14s   3GB
May 27 18:15:07 Starting candle/standard/opentheory
May 27 18:31:17 Finished candle/standard/opentheory                           16m09s   3GB
May 27 18:31:17 Starting candle/standard/opentheory/compilation
May 27 19:23:39 Finished candle/standard/opentheory/compilation               52m22s  12GB
May 27 19:23:40 Starting candle/standard/opentheory/compilation/proofs
May 27 19:24:54 Finished candle/standard/opentheory/compilation/proofs         1m14s   3GB
May 27 19:24:54 Starting characteristic/examples
May 27 19:27:43 Finished characteristic/examples                               2m48s   1GB
May 27 19:27:43 Starting tutorial/solutions
May 27 19:51:34 Finished tutorial/solutions                                   23m50s   7GB
May 27 19:51:35 Starting translator/monadic/examples
May 27 19:56:06 Finished translator/monadic/examples                           4m31s   2GB
May 27 19:56:06 Starting examples
May 27 20:09:12 Finished examples                                             13m05s   3GB
May 27 20:09:12 Starting examples/compilation/x64
May 27 23:51:37 Finished examples/compilation/x64                           3h42m24s  13GB
May 27 23:51:37 Starting examples/compilation/x64/proofs
May 27 23:54:24 Finished examples/compilation/x64/proofs                       2m46s   2GB
May 27 23:54:24 Starting examples/compilation/ag32
May 28 00:46:20 Finished examples/compilation/ag32                            51m56s   7GB
May 28 00:46:21 Starting examples/compilation/ag32/proofs
May 28 00:47:46 Finished examples/compilation/ag32/proofs                      1m25s   2GB
May 28 00:47:46 Starting translator/okasaki-examples
May 28 00:55:12 Finished translator/okasaki-examples                           7m25s   1GB
May 28 00:55:12 Starting translator/other-examples
May 28 01:01:48 Finished translator/other-examples                             6m35s   1GB
May 28 01:01:49 Starting compiler/parsing/tests
May 28 01:02:35 Finished compiler/parsing/tests                                  46s 642MB
May 28 01:02:35 Starting compiler/inference/tests
May 28 01:09:48 Finished compiler/inference/tests                              7m12s   7GB
May 28 01:09:48 Starting compiler/bootstrap/translation
May 28 05:45:03 Finished compiler/bootstrap/translation                     4h35m14s  43GB
May 28 05:45:03 Starting unverified/sexpr-bootstrap/x64/64
May 28 05:56:42 Finished unverified/sexpr-bootstrap/x64/64                    11m38s   6GB
May 28 05:56:42 Starting unverified/sexpr-bootstrap/x64/32
May 28 06:05:20 Finished unverified/sexpr-bootstrap/x64/32                     8m38s   6GB
May 28 06:05:20 Starting compiler/benchmarks
May 28 06:29:17 Finished compiler/benchmarks                                  23m56s   2GB
May 28 06:29:18 Starting compiler/bootstrap/compilation/x64/64
May 29 06:59:50 Finished compiler/bootstrap/compilation/x64/64             24h30m32s 312GB
May 29 06:59:50 Starting compiler/bootstrap/compilation/x64/64/proofs
May 29 07:04:38 Finished compiler/bootstrap/compilation/x64/64/proofs          4m47s  12GB
May 29 07:04:38 Starting compiler/bootstrap/compilation/x64/32
May 30 04:13:56 Finished compiler/bootstrap/compilation/x64/32             21h09m17s 178GB
May 30 04:13:56 Starting compiler/bootstrap/compilation/x64/32/proofs
May 30 04:18:06 Finished compiler/bootstrap/compilation/x64/32/proofs          4m09s   8GB
May 30 04:18:06 Starting compiler/bootstrap/compilation/ag32/32
May 31 02:06:06 Finished compiler/bootstrap/compilation/ag32/32            21h47m59s 268GB
May 31 02:06:06 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 31 02:22:44 Finished compiler/bootstrap/compilation/ag32/32/proofs        16m37s  24GB
May 31 02:22:44 SUCCESS