Job 864

CakeML: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:brain12 4.14.89.1.amd64-smp x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

May 13 08:56:38 Claimed job
May 13 08:56:43 Building HOL
May 13 09:13:09 Starting developers
May 13 09:13:13 Finished developers                                               2s  32MB
May 13 09:13:13 Starting developers/bin
May 13 09:13:23 Finished developers/bin                                           9s 933MB
May 13 09:13:23 Starting semantics/ffi
May 13 09:14:35 Finished semantics/ffi                                         1m11s 539MB
May 13 09:14:35 Starting semantics
May 13 09:17:36 Finished semantics                                             3m00s   1GB
May 13 09:17:36 Starting semantics/proofs
May 13 09:23:51 Finished semantics/proofs                                      6m15s   1GB
May 13 09:23:51 Starting basis/pure
May 13 09:31:05 Finished basis/pure                                            7m13s 915MB
May 13 09:31:05 Starting translator
May 13 09:34:27 Finished translator                                            3m21s   2GB
May 13 09:34:27 Starting compiler/parsing
May 13 09:36:24 Finished compiler/parsing                                      1m56s   1GB
May 13 09:36:24 Starting characteristic
May 13 09:47:36 Finished characteristic                                       11m11s   1GB
May 13 09:47:36 Starting translator/monadic
May 13 09:50:32 Finished translator/monadic                                    2m55s   1GB
May 13 09:50:32 Starting basis
May 13 10:26:22 Finished basis                                                35m49s   2GB
May 13 10:26:22 Starting compiler/inference
May 13 10:30:18 Finished compiler/inference                                    3m55s   2GB
May 13 10:30:18 Starting compiler/backend/reg_alloc
May 13 10:32:17 Finished compiler/backend/reg_alloc                            1m58s   1GB
May 13 10:32:17 Starting compiler/backend/gc
May 13 10:50:09 Finished compiler/backend/gc                                  17m51s   2GB
May 13 10:50:09 Starting compiler/backend
May 13 10:50:19 Finished compiler/backend                                         9s 313MB
May 13 10:50:19 Starting compiler/encoders/asm
May 13 10:50:20 Finished compiler/encoders/asm                                    1s  29MB
May 13 10:50:20 Starting compiler/encoders/x64
May 13 10:52:24 Finished compiler/encoders/x64                                 2m03s 709MB
May 13 10:52:25 Starting compiler/encoders/arm6
May 13 10:55:48 Finished compiler/encoders/arm6                                3m23s   1GB
May 13 10:55:49 Starting compiler/encoders/arm8
May 13 10:56:50 Finished compiler/encoders/arm8                                1m00s 918MB
May 13 10:56:50 Starting compiler/encoders/mips
May 13 10:59:02 Finished compiler/encoders/mips                                2m12s 990MB
May 13 10:59:02 Starting compiler/encoders/riscv
May 13 11:01:50 Finished compiler/encoders/riscv                               2m47s   1GB
May 13 11:01:50 Starting compiler/encoders/ag32
May 13 11:02:21 Finished compiler/encoders/ag32                                  30s 819MB
May 13 11:02:21 Starting compiler/backend/x64
May 13 11:03:02 Finished compiler/backend/x64                                    40s   1GB
May 13 11:03:02 Starting compiler/backend/arm6
May 13 11:03:47 Finished compiler/backend/arm6                                   45s   1GB
May 13 11:03:47 Starting compiler/backend/arm8
May 13 11:04:26 Finished compiler/backend/arm8                                   38s 899MB
May 13 11:04:26 Starting compiler/backend/mips
May 13 11:05:03 Finished compiler/backend/mips                                   37s 851MB
May 13 11:05:03 Starting compiler/backend/riscv
May 13 11:05:45 Finished compiler/backend/riscv                                  41s   1GB
May 13 11:05:45 Starting compiler/backend/ag32
May 13 11:08:11 Finished compiler/backend/ag32                                 2m26s   1GB
May 13 11:08:12 Starting compiler/parsing/proofs
May 13 11:20:45 Finished compiler/parsing/proofs                              12m32s   1GB
May 13 11:20:45 Starting compiler/inference/proofs
May 13 11:26:47 Finished compiler/inference/proofs                             6m01s   1GB
May 13 11:26:47 Starting compiler/backend/semantics
May 13 11:40:40 Finished compiler/backend/semantics                           13m52s   2GB
May 13 11:40:40 Starting compiler/backend/reg_alloc/proofs
May 13 11:48:10 Finished compiler/backend/reg_alloc/proofs                     7m29s 764MB
May 13 11:48:10 Starting compiler/backend/proofs
May 13 13:04:33 Finished compiler/backend/proofs                            1h16m22s   5GB
May 13 13:04:33 Starting compiler/encoders/x64/proofs
May 13 13:28:35 Finished compiler/encoders/x64/proofs                         24m02s   5GB
May 13 13:28:35 Starting compiler/encoders/arm6/proofs
May 13 13:59:37 Finished compiler/encoders/arm6/proofs                        31m01s   3GB
May 13 13:59:37 Starting compiler/encoders/arm8/proofs
May 13 14:14:12 Finished compiler/encoders/arm8/proofs                        14m34s   1GB
May 13 14:14:12 Starting compiler/encoders/mips/proofs
May 13 14:35:21 Finished compiler/encoders/mips/proofs                        21m08s   2GB
May 13 14:35:21 Starting compiler/encoders/riscv/proofs
May 13 14:53:23 Finished compiler/encoders/riscv/proofs                       18m01s   1GB
May 13 14:53:24 Starting compiler/encoders/ag32/proofs
May 13 14:58:37 Finished compiler/encoders/ag32/proofs                         5m13s 735MB
May 13 14:58:37 Starting compiler/backend/x64/proofs
May 13 14:59:19 Finished compiler/backend/x64/proofs                             41s   1GB
May 13 14:59:19 Starting compiler/backend/arm6/proofs
May 13 15:00:08 Finished compiler/backend/arm6/proofs                            48s   1GB
May 13 15:00:08 Starting compiler/backend/arm8/proofs
May 13 15:00:49 Finished compiler/backend/arm8/proofs                            40s   1GB
May 13 15:00:49 Starting compiler/backend/mips/proofs
May 13 15:01:34 Finished compiler/backend/mips/proofs                            44s   1GB
May 13 15:01:35 Starting compiler/backend/riscv/proofs
May 13 15:02:18 Finished compiler/backend/riscv/proofs                           43s   1GB
May 13 15:02:18 Starting compiler/backend/ag32/proofs
May 13 15:20:22 Finished compiler/backend/ag32/proofs                         18m03s   2GB
May 13 15:20:22 Starting compiler/proofs
May 13 15:22:58 Finished compiler/proofs                                       2m35s   2GB
May 13 15:22:58 Starting candle/set-theory
May 13 15:23:45 Finished candle/set-theory                                       46s 895MB
May 13 15:23:45 Starting candle/syntax-lib
May 13 15:24:12 Finished candle/syntax-lib                                       26s 612MB
May 13 15:24:12 Starting candle/standard/syntax
May 13 15:27:49 Finished candle/standard/syntax                                3m36s   1GB
May 13 15:27:49 Starting candle/standard/semantics
May 13 15:31:14 Finished candle/standard/semantics                             3m24s   1GB
May 13 15:31:14 Starting candle/standard/monadic
May 13 15:34:23 Finished candle/standard/monadic                               3m08s   1GB
May 13 15:34:23 Starting candle/standard/ml_kernel
May 13 15:42:14 Finished candle/standard/ml_kernel                             7m50s   3GB
May 13 15:42:14 Starting candle/standard/opentheory
May 13 16:00:26 Finished candle/standard/opentheory                           18m12s   3GB
May 13 16:00:27 Starting candle/standard/opentheory/compilation
May 13 16:59:37 Finished candle/standard/opentheory/compilation               59m10s  13GB
May 13 16:59:38 Starting candle/standard/opentheory/compilation/proofs
May 13 17:01:37 Finished candle/standard/opentheory/compilation/proofs         1m58s   2GB
May 13 17:01:37 Starting characteristic/examples
May 13 17:04:43 Finished characteristic/examples                               3m06s   2GB
May 13 17:04:43 Starting tutorial/solutions
May 13 17:32:54 Finished tutorial/solutions                                   28m09s   6GB
May 13 17:32:54 Starting translator/monadic/examples
May 13 17:38:09 Finished translator/monadic/examples                           5m15s   2GB
May 13 17:38:09 Starting examples
May 13 17:53:11 Finished examples                                             15m01s   4GB
May 13 17:53:11 Starting examples/compilation/x64
May 13 22:07:01 Finished examples/compilation/x64                           4h13m49s  15GB
May 13 22:07:01 Starting examples/compilation/x64/proofs
May 13 22:09:56 Finished examples/compilation/x64/proofs                       2m54s   2GB
May 13 22:09:56 Starting examples/compilation/ag32
May 13 23:09:48 Finished examples/compilation/ag32                            59m52s   7GB
May 13 23:09:48 Starting examples/compilation/ag32/proofs
May 13 23:11:24 Finished examples/compilation/ag32/proofs                      1m35s   2GB
May 13 23:11:25 Starting translator/okasaki-examples
May 13 23:19:50 Finished translator/okasaki-examples                           8m25s   1GB
May 13 23:19:50 Starting translator/other-examples
May 13 23:26:31 Finished translator/other-examples                             6m40s   1GB
May 13 23:26:31 Starting compiler/parsing/tests
May 13 23:27:17 Finished compiler/parsing/tests                                  45s 621MB
May 13 23:27:17 Starting compiler/inference/tests
May 13 23:34:56 Finished compiler/inference/tests                              7m39s   4GB
May 13 23:34:56 Starting compiler/bootstrap/translation
May 14 05:09:20 Finished compiler/bootstrap/translation                     5h34m23s  68GB
May 14 05:09:20 Starting unverified/sexpr-bootstrap/x64/64
May 14 05:22:53 Finished unverified/sexpr-bootstrap/x64/64                    13m32s   6GB
May 14 05:22:54 Starting unverified/sexpr-bootstrap/x64/32
May 14 05:32:41 Finished unverified/sexpr-bootstrap/x64/32                     9m46s   5GB
May 14 05:32:41 Starting compiler/benchmarks
May 14 06:00:20 Finished compiler/benchmarks                                  27m39s   2GB
May 14 06:00:20 Starting compiler/bootstrap/compilation/x64/64
May 15 05:52:28 Finished compiler/bootstrap/compilation/x64/64             23h52m07s 183GB
May 15 05:52:28 Starting compiler/bootstrap/compilation/x64/64/proofs
May 15 05:56:55 Finished compiler/bootstrap/compilation/x64/64/proofs          4m26s   9GB
May 15 05:56:55 Starting compiler/bootstrap/compilation/x64/32
May 16 03:11:10 Finished compiler/bootstrap/compilation/x64/32             21h14m13s 187GB
May 16 03:11:10 Starting compiler/bootstrap/compilation/x64/32/proofs
May 16 03:15:34 Finished compiler/bootstrap/compilation/x64/32/proofs          4m24s  11GB
May 16 03:15:34 Starting compiler/bootstrap/compilation/ag32/32
May 17 02:12:18 Finished compiler/bootstrap/compilation/ag32/32            22h56m43s 227GB
May 17 02:12:18 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 17 02:30:03 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m45s  24GB
May 17 02:30:03 SUCCESS