Job 867

CakeML:6d866c2125f6ae951852faeac79afe7e89864bac
  Make how-to.md mention that CakeML supports polymorphism [May 14 07:02:25]
#650 (tweak-how-to)
Merging into:d12bf8c081357963887ad183f2f09e395105cdf6
  renaming for Isabelle (resurrect 7fbd3c0) [May 13 08:52:17]
HOL:1557f72fc9a7a80bc5ce2e4df30afd51803c8b75
  Get formal-languages/regular to pass src tests again [May 09 11:06:43]
Machine:brain08 4.14.89.1.amd64-smp x86_64 GNU/Linux

May 14 07:47:08 Claimed job
May 14 07:47:14 Building HOL
May 14 08:02:29 Starting developers
May 14 08:02:30 Finished developers                                               1s  33MB
May 14 08:02:30 Starting developers/bin
May 14 08:02:39 Finished developers/bin                                           8s 924MB
May 14 08:02:40 Starting semantics/ffi
May 14 08:03:50 Finished semantics/ffi                                         1m10s 643MB
May 14 08:03:50 Starting semantics
May 14 08:06:44 Finished semantics                                             2m54s   1GB
May 14 08:06:45 Starting semantics/proofs
May 14 08:12:52 Finished semantics/proofs                                      6m07s   1GB
May 14 08:12:52 Starting basis/pure
May 14 08:19:49 Finished basis/pure                                            6m55s 755MB
May 14 08:19:49 Starting translator
May 14 08:22:53 Finished translator                                            3m04s   1GB
May 14 08:22:53 Starting compiler/parsing
May 14 08:24:47 Finished compiler/parsing                                      1m52s   2GB
May 14 08:24:47 Starting characteristic
May 14 08:35:00 Finished characteristic                                       10m13s   2GB
May 14 08:35:01 Starting translator/monadic
May 14 08:37:48 Finished translator/monadic                                    2m47s   1GB
May 14 08:37:48 Starting basis
May 14 09:10:30 Finished basis                                                32m41s   2GB
May 14 09:10:30 Starting compiler/inference
May 14 09:14:17 Finished compiler/inference                                    3m46s   1GB
May 14 09:14:18 Starting compiler/backend/reg_alloc
May 14 09:15:55 Finished compiler/backend/reg_alloc                            1m36s   1GB
May 14 09:15:55 Starting compiler/backend/gc
May 14 09:32:18 Finished compiler/backend/gc                                  16m23s   2GB
May 14 09:32:19 Starting compiler/backend
May 14 09:32:27 Finished compiler/backend                                         8s 304MB
May 14 09:32:27 Starting compiler/encoders/asm
May 14 09:32:28 Finished compiler/encoders/asm                                    0s  24MB
May 14 09:32:28 Starting compiler/encoders/x64
May 14 09:34:22 Finished compiler/encoders/x64                                 1m53s 907MB
May 14 09:34:22 Starting compiler/encoders/arm6
May 14 09:37:55 Finished compiler/encoders/arm6                                3m32s   3GB
May 14 09:37:55 Starting compiler/encoders/arm8
May 14 09:39:03 Finished compiler/encoders/arm8                                1m06s 885MB
May 14 09:39:03 Starting compiler/encoders/mips
May 14 09:41:19 Finished compiler/encoders/mips                                2m15s   1GB
May 14 09:41:19 Starting compiler/encoders/riscv
May 14 09:43:48 Finished compiler/encoders/riscv                               2m28s   1GB
May 14 09:43:48 Starting compiler/encoders/ag32
May 14 09:44:17 Finished compiler/encoders/ag32                                  29s 517MB
May 14 09:44:18 Starting compiler/backend/x64
May 14 09:44:52 Finished compiler/backend/x64                                    34s   1GB
May 14 09:44:53 Starting compiler/backend/arm6
May 14 09:45:33 Finished compiler/backend/arm6                                   39s   1GB
May 14 09:45:33 Starting compiler/backend/arm8
May 14 09:46:13 Finished compiler/backend/arm8                                   40s   1GB
May 14 09:46:14 Starting compiler/backend/mips
May 14 09:46:52 Finished compiler/backend/mips                                   37s   1GB
May 14 09:46:52 Starting compiler/backend/riscv
May 14 09:47:34 Finished compiler/backend/riscv                                  42s   1GB
May 14 09:47:35 Starting compiler/backend/ag32
May 14 09:49:51 Finished compiler/backend/ag32                                 2m15s   1GB
May 14 09:49:51 Starting compiler/parsing/proofs
May 14 10:00:28 Finished compiler/parsing/proofs                              10m36s   1GB
May 14 10:00:28 Starting compiler/inference/proofs
May 14 10:05:59 Finished compiler/inference/proofs                             5m30s   1GB
May 14 10:05:59 Starting compiler/backend/semantics
May 14 10:19:18 Finished compiler/backend/semantics                           13m18s   1GB
May 14 10:19:18 Starting compiler/backend/reg_alloc/proofs
May 14 10:30:38 Finished compiler/backend/reg_alloc/proofs                    11m19s 715MB
May 14 10:30:38 Starting compiler/backend/proofs
May 14 12:24:43 Finished compiler/backend/proofs                            1h54m04s   3GB
May 14 12:24:43 Starting compiler/encoders/x64/proofs
May 14 12:59:10 Finished compiler/encoders/x64/proofs                         34m26s   4GB
May 14 12:59:10 Starting compiler/encoders/arm6/proofs
May 14 13:47:54 Finished compiler/encoders/arm6/proofs                        48m43s   4GB
May 14 13:47:55 Starting compiler/encoders/arm8/proofs
May 14 14:10:46 Finished compiler/encoders/arm8/proofs                        22m51s   2GB
May 14 14:10:46 Starting compiler/encoders/mips/proofs
May 14 14:45:25 Finished compiler/encoders/mips/proofs                        34m38s   2GB
May 14 14:45:25 Starting compiler/encoders/riscv/proofs
May 14 15:14:14 Finished compiler/encoders/riscv/proofs                       28m48s 922MB
May 14 15:14:14 Starting compiler/encoders/ag32/proofs
May 14 15:23:01 Finished compiler/encoders/ag32/proofs                         8m46s 587MB
May 14 15:23:02 Starting compiler/backend/x64/proofs
May 14 15:24:08 Finished compiler/backend/x64/proofs                           1m06s   1GB
May 14 15:24:09 Starting compiler/backend/arm6/proofs
May 14 15:25:23 Finished compiler/backend/arm6/proofs                          1m14s   1GB
May 14 15:25:23 Starting compiler/backend/arm8/proofs
May 14 15:26:28 Finished compiler/backend/arm8/proofs                          1m04s   1GB
May 14 15:26:28 Starting compiler/backend/mips/proofs
May 14 15:27:30 Finished compiler/backend/mips/proofs                          1m01s   1GB
May 14 15:27:30 Starting compiler/backend/riscv/proofs
May 14 15:28:36 Finished compiler/backend/riscv/proofs                         1m05s   1GB
May 14 15:28:36 Starting compiler/backend/ag32/proofs
May 14 15:52:06 Finished compiler/backend/ag32/proofs                         23m29s   2GB
May 14 15:52:06 Starting compiler/proofs
May 14 15:54:40 Finished compiler/proofs                                       2m33s   2GB
May 14 15:54:40 Starting candle/set-theory
May 14 15:55:27 Finished candle/set-theory                                       46s 797MB
May 14 15:55:27 Starting candle/syntax-lib
May 14 15:55:51 Finished candle/syntax-lib                                       24s 615MB
May 14 15:55:52 Starting candle/standard/syntax
May 14 15:59:14 Finished candle/standard/syntax                                3m21s   1GB
May 14 15:59:14 Starting candle/standard/semantics
May 14 16:02:30 Finished candle/standard/semantics                             3m15s   1GB
May 14 16:02:30 Starting candle/standard/monadic
May 14 16:05:36 Finished candle/standard/monadic                               3m05s   1GB
May 14 16:05:36 Starting candle/standard/ml_kernel
May 14 16:12:59 Finished candle/standard/ml_kernel                             7m23s   5GB
May 14 16:13:00 Starting candle/standard/opentheory
May 14 16:30:05 Finished candle/standard/opentheory                           17m04s   4GB
May 14 16:30:05 Starting candle/standard/opentheory/compilation
May 14 17:23:04 Finished candle/standard/opentheory/compilation               52m59s  19GB
May 14 17:23:05 Starting candle/standard/opentheory/compilation/proofs
May 14 17:24:35 Finished candle/standard/opentheory/compilation/proofs         1m30s   2GB
May 14 17:24:35 Starting characteristic/examples
May 14 17:27:24 Finished characteristic/examples                               2m48s   2GB
May 14 17:27:24 Starting tutorial/solutions
May 14 17:52:31 Finished tutorial/solutions                                   25m06s   6GB
May 14 17:52:31 Starting translator/monadic/examples
May 14 17:56:53 Finished translator/monadic/examples                           4m21s   2GB
May 14 17:56:53 Starting examples
May 14 18:10:23 Finished examples                                             13m29s   3GB
May 14 18:10:23 Starting examples/compilation/x64
May 14 21:57:34 Finished examples/compilation/x64                           3h47m10s  12GB
May 14 21:57:34 Starting examples/compilation/x64/proofs
May 14 22:00:10 Finished examples/compilation/x64/proofs                       2m35s   2GB
May 14 22:00:11 Starting examples/compilation/ag32
May 14 22:53:40 Finished examples/compilation/ag32                            53m28s   6GB
May 14 22:53:40 Starting examples/compilation/ag32/proofs
May 14 22:55:12 Finished examples/compilation/ag32/proofs                      1m31s   3GB
May 14 22:55:12 Starting translator/okasaki-examples
May 14 23:02:41 Finished translator/okasaki-examples                           7m29s   1GB
May 14 23:02:42 Starting translator/other-examples
May 14 23:09:06 Finished translator/other-examples                             6m23s   1GB
May 14 23:09:06 Starting compiler/parsing/tests
May 14 23:09:49 Finished compiler/parsing/tests                                  43s 549MB
May 14 23:09:50 Starting compiler/inference/tests
May 14 23:17:23 Finished compiler/inference/tests                              7m33s   4GB
May 14 23:17:23 Starting compiler/bootstrap/translation
May 15 04:04:31 Finished compiler/bootstrap/translation                     4h47m06s  49GB
May 15 04:04:31 Starting unverified/sexpr-bootstrap/x64/64
May 15 04:15:51 Finished unverified/sexpr-bootstrap/x64/64                    11m19s   5GB
May 15 04:15:51 Starting unverified/sexpr-bootstrap/x64/32
May 15 04:23:37 Finished unverified/sexpr-bootstrap/x64/32                     7m46s   8GB
May 15 04:23:37 Starting compiler/benchmarks
May 15 04:47:25 Finished compiler/benchmarks                                  23m47s   2GB
May 15 04:47:25 Starting compiler/bootstrap/compilation/x64/64
May 16 05:21:29 Finished compiler/bootstrap/compilation/x64/64             24h34m04s 280GB
May 16 05:21:30 Starting compiler/bootstrap/compilation/x64/64/proofs
May 16 05:25:19 Finished compiler/bootstrap/compilation/x64/64/proofs          3m49s   9GB
May 16 05:25:20 Starting compiler/bootstrap/compilation/x64/32
May 17 00:59:24 Finished compiler/bootstrap/compilation/x64/32             19h34m03s 195GB
May 17 00:59:24 Starting compiler/bootstrap/compilation/x64/32/proofs
May 17 01:03:32 Finished compiler/bootstrap/compilation/x64/32/proofs          4m07s  10GB
May 17 01:03:32 Starting compiler/bootstrap/compilation/ag32/32
May 17 22:46:43 Finished compiler/bootstrap/compilation/ag32/32            21h43m10s 207GB
May 17 22:46:43 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 17 23:03:46 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m03s  28GB
May 17 23:03:46 SUCCESS