Job 845

CakeML:0db6811c4ac1e83675b533ba4913929cf4196ab8
  Fix more references to ALIGNED_eq_aligned [May 07 19:08:21]
#634 (cleanup)
Merging into:62c51fa831d455390795c47c53f56b050a23f7ad
  Merge pull request #627 from CakeML/monadic-trans-cleanup [Apr 27 07:20:55]
HOL:544f92fea1905436f7a85854eed6dcb089568063
  Emacs mode: key-bindings for  [May 05 04:49:45]
Machine:brain12 4.14.89.1.amd64-smp x86_64 GNU/Linux

May 08 06:26:54 Claimed job
May 08 06:26:59 Building HOL
May 08 06:42:46 Starting developers
May 08 06:42:49 Finished developers                                               2s  33MB
May 08 06:42:50 Starting developers/bin
May 08 06:43:00 Finished developers/bin                                          10s 933MB
May 08 06:43:00 Starting semantics/ffi
May 08 06:44:08 Finished semantics/ffi                                         1m07s 589MB
May 08 06:44:08 Starting semantics
May 08 06:47:02 Finished semantics                                             2m53s   1GB
May 08 06:47:02 Starting semantics/proofs
May 08 06:53:09 Finished semantics/proofs                                      6m06s 882MB
May 08 06:53:09 Starting basis/pure
May 08 07:00:08 Finished basis/pure                                            6m58s 826MB
May 08 07:00:08 Starting translator
May 08 07:03:22 Finished translator                                            3m14s   1GB
May 08 07:03:22 Starting compiler/parsing
May 08 07:05:12 Finished compiler/parsing                                      1m49s   2GB
May 08 07:05:13 Starting characteristic
May 08 07:16:04 Finished characteristic                                       10m51s   2GB
May 08 07:16:04 Starting translator/monadic
May 08 07:18:55 Finished translator/monadic                                    2m50s   1GB
May 08 07:18:55 Starting basis
May 08 07:52:04 Finished basis                                                33m08s   2GB
May 08 07:52:04 Starting compiler/inference
May 08 07:55:43 Finished compiler/inference                                    3m38s   1GB
May 08 07:55:43 Starting compiler/backend/reg_alloc
May 08 07:57:30 Finished compiler/backend/reg_alloc                            1m46s   1GB
May 08 07:57:30 Starting compiler/backend/gc
May 08 08:14:30 Finished compiler/backend/gc                                  16m59s   1GB
May 08 08:14:30 Starting compiler/backend
May 08 08:14:39 Finished compiler/backend                                         8s 306MB
May 08 08:14:39 Starting compiler/encoders/asm
May 08 08:14:40 Finished compiler/encoders/asm                                    1s  16MB
May 08 08:14:40 Starting compiler/encoders/x64
May 08 08:16:35 Finished compiler/encoders/x64                                 1m54s 767MB
May 08 08:16:35 Starting compiler/encoders/arm6
May 08 08:19:56 Finished compiler/encoders/arm6                                3m20s   1GB
May 08 08:19:56 Starting compiler/encoders/arm8
May 08 08:20:57 Finished compiler/encoders/arm8                                1m00s 566MB
May 08 08:20:57 Starting compiler/encoders/mips
May 08 08:23:09 Finished compiler/encoders/mips                                2m12s   1GB
May 08 08:23:10 Starting compiler/encoders/riscv
May 08 08:25:38 Finished compiler/encoders/riscv                               2m28s 830MB
May 08 08:25:38 Starting compiler/encoders/ag32
May 08 08:26:09 Finished compiler/encoders/ag32                                  30s 790MB
May 08 08:26:09 Starting compiler/backend/x64
May 08 08:26:44 Finished compiler/backend/x64                                    34s 868MB
May 08 08:26:44 Starting compiler/backend/arm6
May 08 08:27:24 Finished compiler/backend/arm6                                   39s   1GB
May 08 08:27:24 Starting compiler/backend/arm8
May 08 08:28:01 Finished compiler/backend/arm8                                   37s 919MB
May 08 08:28:01 Starting compiler/backend/mips
May 08 08:28:37 Finished compiler/backend/mips                                   35s 813MB
May 08 08:28:37 Starting compiler/backend/riscv
May 08 08:29:15 Finished compiler/backend/riscv                                  38s   1GB
May 08 08:29:15 Starting compiler/backend/ag32
May 08 08:31:40 Finished compiler/backend/ag32                                 2m24s 967MB
May 08 08:31:40 Starting compiler/parsing/proofs
May 08 08:42:58 Finished compiler/parsing/proofs                              11m17s   1GB
May 08 08:42:59 Starting compiler/inference/proofs
May 08 08:48:33 Finished compiler/inference/proofs                             5m33s 983MB
May 08 08:48:33 Starting compiler/backend/semantics
May 08 09:02:35 Finished compiler/backend/semantics                           14m01s   2GB
May 08 09:02:35 Starting compiler/backend/reg_alloc/proofs
May 08 09:09:48 Finished compiler/backend/reg_alloc/proofs                     7m12s 822MB
May 08 09:09:48 Starting compiler/backend/proofs
May 08 10:22:21 Finished compiler/backend/proofs                            1h12m32s   5GB
May 08 10:22:21 Starting compiler/encoders/x64/proofs
May 08 10:44:02 Finished compiler/encoders/x64/proofs                         21m41s   5GB
May 08 10:44:03 Starting compiler/encoders/arm6/proofs
May 08 11:13:06 Finished compiler/encoders/arm6/proofs                        29m03s   3GB
May 08 11:13:06 Starting compiler/encoders/arm8/proofs
May 08 11:27:07 Finished compiler/encoders/arm8/proofs                        14m00s   1GB
May 08 11:27:07 Starting compiler/encoders/mips/proofs
May 08 11:46:56 Finished compiler/encoders/mips/proofs                        19m49s   2GB
May 08 11:46:57 Starting compiler/encoders/riscv/proofs
May 08 12:03:01 Finished compiler/encoders/riscv/proofs                       16m04s   1GB
May 08 12:03:01 Starting compiler/encoders/ag32/proofs
May 08 12:07:42 Finished compiler/encoders/ag32/proofs                         4m41s 781MB
May 08 12:07:43 Starting compiler/backend/x64/proofs
May 08 12:08:22 Finished compiler/backend/x64/proofs                             39s 825MB
May 08 12:08:22 Starting compiler/backend/arm6/proofs
May 08 12:09:08 Finished compiler/backend/arm6/proofs                            45s   1GB
May 08 12:09:08 Starting compiler/backend/arm8/proofs
May 08 12:09:48 Finished compiler/backend/arm8/proofs                            39s 802MB
May 08 12:09:48 Starting compiler/backend/mips/proofs
May 08 12:10:30 Finished compiler/backend/mips/proofs                            41s   1GB
May 08 12:10:30 Starting compiler/backend/riscv/proofs
May 08 12:11:14 Finished compiler/backend/riscv/proofs                           43s   1GB
May 08 12:11:14 Starting compiler/backend/ag32/proofs
May 08 12:28:26 Finished compiler/backend/ag32/proofs                         17m11s   2GB
May 08 12:28:26 Starting compiler/proofs
May 08 12:30:56 Finished compiler/proofs                                       2m29s   2GB
May 08 12:30:56 Starting candle/set-theory
May 08 12:31:47 Finished candle/set-theory                                       50s 753MB
May 08 12:31:47 Starting candle/syntax-lib
May 08 12:32:12 Finished candle/syntax-lib                                       25s 758MB
May 08 12:32:13 Starting candle/standard/syntax
May 08 12:35:35 Finished candle/standard/syntax                                3m22s   1GB
May 08 12:35:36 Starting candle/standard/semantics
May 08 12:38:54 Finished candle/standard/semantics                             3m17s   1GB
May 08 12:38:54 Starting candle/standard/monadic
May 08 12:41:58 Finished candle/standard/monadic                               3m03s   1GB
May 08 12:41:58 Starting candle/standard/ml_kernel
May 08 12:49:18 Finished candle/standard/ml_kernel                             7m19s   5GB
May 08 12:49:18 Starting candle/standard/opentheory
May 08 13:05:28 Finished candle/standard/opentheory                           16m09s   3GB
May 08 13:05:28 Starting candle/standard/opentheory/compilation
May 08 13:57:18 Finished candle/standard/opentheory/compilation               51m49s  11GB
May 08 13:57:18 Starting candle/standard/opentheory/compilation/proofs
May 08 13:58:37 Finished candle/standard/opentheory/compilation/proofs         1m19s   3GB
May 08 13:58:38 Starting characteristic/examples
May 08 14:01:19 Finished characteristic/examples                               2m41s   2GB
May 08 14:01:19 Starting tutorial/solutions
May 08 14:25:02 Finished tutorial/solutions                                   23m42s   8GB
May 08 14:25:02 Starting translator/monadic/examples
May 08 14:29:34 Finished translator/monadic/examples                           4m31s   2GB
May 08 14:29:34 Starting examples
May 08 14:42:04 Finished examples                                             12m29s   3GB
May 08 14:42:04 Starting examples/compilation/x64
May 08 18:17:08 Finished examples/compilation/x64                           3h35m04s  12GB
May 08 18:17:09 Starting examples/compilation/x64/proofs
May 08 18:19:45 Finished examples/compilation/x64/proofs                       2m35s   2GB
May 08 18:19:45 Starting examples/compilation/ag32
May 08 19:15:06 Finished examples/compilation/ag32                            55m20s   5GB
May 08 19:15:06 Starting examples/compilation/ag32/proofs
May 08 19:16:41 Finished examples/compilation/ag32/proofs                      1m34s   3GB
May 08 19:16:41 Starting translator/okasaki-examples
May 08 19:24:29 Finished translator/okasaki-examples                           7m48s   1GB
May 08 19:24:30 Starting translator/other-examples
May 08 19:30:48 Finished translator/other-examples                             6m17s   1GB
May 08 19:30:48 Starting compiler/parsing/tests
May 08 19:31:34 Finished compiler/parsing/tests                                  46s 573MB
May 08 19:31:34 Starting compiler/inference/tests
May 08 19:39:04 Finished compiler/inference/tests                              7m29s   3GB
May 08 19:39:04 Starting compiler/bootstrap/translation
May 09 00:44:54 Finished compiler/bootstrap/translation                     5h05m49s  49GB
May 09 00:44:54 Starting unverified/sexpr-bootstrap/x64/64
May 09 00:57:14 Finished unverified/sexpr-bootstrap/x64/64                    12m19s   7GB
May 09 00:57:14 Starting unverified/sexpr-bootstrap/x64/32
May 09 01:06:01 Finished unverified/sexpr-bootstrap/x64/32                     8m46s   6GB
May 09 01:06:01 Starting compiler/benchmarks
May 09 01:31:34 Finished compiler/benchmarks                                  25m33s   2GB
May 09 01:31:35 Starting compiler/bootstrap/compilation/x64/64
May 10 03:40:06 Finished compiler/bootstrap/compilation/x64/64             26h08m31s 188GB
May 10 03:40:06 Starting compiler/bootstrap/compilation/x64/64/proofs
May 10 03:44:49 Finished compiler/bootstrap/compilation/x64/64/proofs          4m42s  11GB
May 10 03:44:49 Starting compiler/bootstrap/compilation/x64/32
May 11 01:41:29 Finished compiler/bootstrap/compilation/x64/32             21h56m39s 220GB
May 11 01:41:29 Starting compiler/bootstrap/compilation/x64/32/proofs
May 11 01:45:57 Finished compiler/bootstrap/compilation/x64/32/proofs          4m27s  10GB
May 11 01:45:57 Starting compiler/bootstrap/compilation/ag32/32
May 12 02:17:18 Finished compiler/bootstrap/compilation/ag32/32            24h31m20s 175GB
May 12 02:17:18 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 12 02:36:20 Finished compiler/bootstrap/compilation/ag32/32/proofs        19m01s  27GB
May 12 02:36:20 SUCCESS