Job 863

CakeML:abdc6fa0799139161526fd86f5aa15395a644cd7
  add map2 mapping [May 13 06:43:48]
HOL:1557f72fc9a7a80bc5ce2e4df30afd51803c8b75
  Get formal-languages/regular to pass src tests again [May 09 11:06:43]
Machine:te1
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 06:46:16 Claimed job
May 13 06:46:19 Reusing HOL
May 13 06:47:15 Starting developers
May 13 06:47:18 Finished developers                                               2s  33MB
May 13 06:47:18 Starting developers/bin
May 13 06:47:24 Finished developers/bin                                           6s 931MB
May 13 06:47:24 Starting semantics/ffi
May 13 06:47:39 Finished semantics/ffi                                           14s 251MB
May 13 06:47:39 Starting semantics
May 13 06:49:32 Finished semantics                                             1m53s 882MB
May 13 06:49:32 Starting semantics/proofs
May 13 06:53:45 Finished semantics/proofs                                      4m12s   1GB
May 13 06:53:45 Starting basis/pure
May 13 06:54:49 Finished basis/pure                                            1m04s 668MB
May 13 06:54:50 Starting translator
May 13 06:57:06 Finished translator                                            2m16s   1GB
May 13 06:57:06 Starting compiler/parsing
May 13 06:58:24 Finished compiler/parsing                                      1m17s   2GB
May 13 06:58:24 Starting characteristic
May 13 07:05:46 Finished characteristic                                        7m21s   2GB
May 13 07:05:46 Starting translator/monadic
May 13 07:07:48 Finished translator/monadic                                    2m01s   1GB
May 13 07:07:48 Starting basis
May 13 07:30:34 Finished basis                                                22m45s   2GB
May 13 07:30:34 Starting compiler/inference
May 13 07:32:42 Finished compiler/inference                                    2m07s   1GB
May 13 07:32:42 Starting compiler/backend/reg_alloc
May 13 07:34:03 Finished compiler/backend/reg_alloc                            1m20s   1GB
May 13 07:34:03 Starting compiler/backend/gc
May 13 07:44:56 Finished compiler/backend/gc                                  10m53s   2GB
May 13 07:44:56 Starting compiler/backend
May 13 07:44:58 Finished compiler/backend                                         2s  33MB
May 13 07:44:59 Starting compiler/encoders/asm
May 13 07:45:00 Finished compiler/encoders/asm                                    1s  33MB
May 13 07:45:00 Starting compiler/encoders/x64
May 13 07:45:35 Finished compiler/encoders/x64                                   34s 748MB
May 13 07:45:35 Starting compiler/encoders/arm6
May 13 07:46:37 Finished compiler/encoders/arm6                                1m02s 742MB
May 13 07:46:37 Starting compiler/encoders/arm8
May 13 07:46:55 Finished compiler/encoders/arm8                                  17s 897MB
May 13 07:46:55 Starting compiler/encoders/mips
May 13 07:47:17 Finished compiler/encoders/mips                                  21s 826MB
May 13 07:47:17 Starting compiler/encoders/riscv
May 13 07:47:36 Finished compiler/encoders/riscv                                 18s 819MB
May 13 07:47:36 Starting compiler/encoders/ag32
May 13 07:47:59 Finished compiler/encoders/ag32                                  23s 811MB
May 13 07:48:00 Starting compiler/backend/x64
May 13 07:48:23 Finished compiler/backend/x64                                    23s 863MB
May 13 07:48:23 Starting compiler/backend/arm6
May 13 07:48:50 Finished compiler/backend/arm6                                   27s   1GB
May 13 07:48:50 Starting compiler/backend/arm8
May 13 07:49:13 Finished compiler/backend/arm8                                   22s   1GB
May 13 07:49:13 Starting compiler/backend/mips
May 13 07:49:39 Finished compiler/backend/mips                                   25s   1GB
May 13 07:49:39 Starting compiler/backend/riscv
May 13 07:50:05 Finished compiler/backend/riscv                                  26s 944MB
May 13 07:50:06 Starting compiler/backend/ag32
May 13 07:51:36 Finished compiler/backend/ag32                                 1m30s   1GB
May 13 07:51:37 Starting compiler/parsing/proofs
May 13 08:00:20 Finished compiler/parsing/proofs                               8m43s   1GB
May 13 08:00:20 Starting compiler/inference/proofs
May 13 08:04:09 Finished compiler/inference/proofs                             3m48s   1GB
May 13 08:04:09 Starting compiler/backend/semantics
May 13 08:13:19 Finished compiler/backend/semantics                            9m09s   2GB
May 13 08:13:19 Starting compiler/backend/reg_alloc/proofs
May 13 08:18:09 Finished compiler/backend/reg_alloc/proofs                     4m49s 898MB
May 13 08:18:09 Starting compiler/backend/proofs
May 13 09:08:00 Finished compiler/backend/proofs                              49m51s   4GB
May 13 09:08:00 Starting compiler/encoders/x64/proofs
May 13 09:20:08 Finished compiler/encoders/x64/proofs                         12m07s   6GB
May 13 09:20:08 Starting compiler/encoders/arm6/proofs
May 13 09:36:38 Finished compiler/encoders/arm6/proofs                        16m29s   3GB
May 13 09:36:38 Starting compiler/encoders/arm8/proofs
May 13 09:45:35 Finished compiler/encoders/arm8/proofs                         8m57s   1GB
May 13 09:45:35 Starting compiler/encoders/mips/proofs
May 13 09:59:16 Finished compiler/encoders/mips/proofs                        13m41s   2GB
May 13 09:59:16 Starting compiler/encoders/riscv/proofs
May 13 10:10:47 Finished compiler/encoders/riscv/proofs                       11m29s   1GB
May 13 10:10:47 Starting compiler/encoders/ag32/proofs
May 13 10:13:57 Finished compiler/encoders/ag32/proofs                         3m10s   1GB
May 13 10:13:58 Starting compiler/backend/x64/proofs
May 13 10:14:24 Finished compiler/backend/x64/proofs                             26s   1GB
May 13 10:14:24 Starting compiler/backend/arm6/proofs
May 13 10:14:53 Finished compiler/backend/arm6/proofs                            29s   1GB
May 13 10:14:53 Starting compiler/backend/arm8/proofs
May 13 10:15:20 Finished compiler/backend/arm8/proofs                            26s   1GB
May 13 10:15:20 Starting compiler/backend/mips/proofs
May 13 10:15:46 Finished compiler/backend/mips/proofs                            25s   1GB
May 13 10:15:46 Starting compiler/backend/riscv/proofs
May 13 10:16:13 Finished compiler/backend/riscv/proofs                           26s   1GB
May 13 10:16:13 Starting compiler/backend/ag32/proofs
May 13 10:28:16 Finished compiler/backend/ag32/proofs                         12m03s   2GB
May 13 10:28:16 Starting compiler/proofs
May 13 10:30:01 Finished compiler/proofs                                       1m44s   2GB
May 13 10:30:01 Starting candle/set-theory
May 13 10:30:39 Finished candle/set-theory                                       37s 834MB
May 13 10:30:39 Starting candle/syntax-lib
May 13 10:30:54 Finished candle/syntax-lib                                       14s 650MB
May 13 10:30:54 Starting candle/standard/syntax
May 13 10:33:17 Finished candle/standard/syntax                                2m22s   1GB
May 13 10:33:17 Starting candle/standard/semantics
May 13 10:35:36 Finished candle/standard/semantics                             2m19s   1GB
May 13 10:35:36 Starting candle/standard/monadic
May 13 10:37:45 Finished candle/standard/monadic                               2m08s   1GB
May 13 10:37:45 Starting candle/standard/ml_kernel
May 13 10:42:50 Finished candle/standard/ml_kernel                             5m05s   6GB
May 13 10:42:50 Starting candle/standard/opentheory
May 13 10:54:10 Finished candle/standard/opentheory                           11m20s   4GB
May 13 10:54:10 Starting candle/standard/opentheory/compilation
May 13 11:31:45 Finished candle/standard/opentheory/compilation               37m34s  13GB
May 13 11:31:45 Starting candle/standard/opentheory/compilation/proofs
May 13 11:32:49 Finished candle/standard/opentheory/compilation/proofs         1m04s   3GB
May 13 11:32:49 Starting characteristic/examples
May 13 11:34:44 Finished characteristic/examples                               1m54s   2GB
May 13 11:34:44 Starting tutorial/solutions
May 13 11:51:26 Finished tutorial/solutions                                   16m42s   8GB
May 13 11:51:26 Starting translator/monadic/examples
May 13 11:55:04 Finished translator/monadic/examples                           3m37s   2GB
May 13 11:55:04 Starting examples
May 13 12:05:01 Finished examples                                              9m57s   3GB
May 13 12:05:01 Starting examples/compilation/x64
May 13 14:46:22 Finished examples/compilation/x64                           2h41m20s  17GB
May 13 14:46:22 Starting examples/compilation/x64/proofs
May 13 14:48:31 Finished examples/compilation/x64/proofs                       2m08s   2GB
May 13 14:48:31 Starting examples/compilation/ag32
May 13 15:26:01 Finished examples/compilation/ag32                            37m29s   5GB
May 13 15:26:01 Starting examples/compilation/ag32/proofs
May 13 15:27:01 Finished examples/compilation/ag32/proofs                        59s   3GB
May 13 15:27:01 Starting translator/okasaki-examples
May 13 15:32:31 Finished translator/okasaki-examples                           5m29s   1GB
May 13 15:32:31 Starting translator/other-examples
May 13 15:37:30 Finished translator/other-examples                             4m59s   1GB
May 13 15:37:30 Starting compiler/parsing/tests
May 13 15:38:04 Finished compiler/parsing/tests                                  33s 557MB
May 13 15:38:04 Starting compiler/inference/tests
May 13 15:43:16 Finished compiler/inference/tests                              5m11s   4GB
May 13 15:43:16 Starting compiler/bootstrap/translation
May 13 18:58:59 Finished compiler/bootstrap/translation                     3h15m42s  37GB
May 13 18:58:59 Starting unverified/sexpr-bootstrap/x64/64
May 13 19:09:18 Finished unverified/sexpr-bootstrap/x64/64                    10m19s   3GB
May 13 19:09:18 Starting unverified/sexpr-bootstrap/x64/32
May 13 19:16:27 Finished unverified/sexpr-bootstrap/x64/32                     7m08s   6GB
May 13 19:16:27 Starting compiler/benchmarks
May 13 19:16:34 Finished compiler/benchmarks                                      6s  34MB
May 13 19:16:34 Starting compiler/bootstrap/compilation/x64/64
May 14 08:15:54 Finished compiler/bootstrap/compilation/x64/64             12h59m19s  61GB
May 14 08:15:54 Starting compiler/bootstrap/compilation/x64/64/proofs
May 14 08:20:19 Finished compiler/bootstrap/compilation/x64/64/proofs          4m24s   4GB
May 14 08:20:19 Starting compiler/bootstrap/compilation/x64/32
May 14 19:31:45 Finished compiler/bootstrap/compilation/x64/32             11h11m25s  60GB
May 14 19:31:45 Starting compiler/bootstrap/compilation/x64/32/proofs
May 14 19:36:17 Finished compiler/bootstrap/compilation/x64/32/proofs          4m31s   4GB
May 14 19:36:17 Starting compiler/bootstrap/compilation/ag32/32
May 15 09:59:20 Finished compiler/bootstrap/compilation/ag32/32            14h23m03s  56GB
May 15 09:59:20 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 15 10:10:40 Finished compiler/bootstrap/compilation/ag32/32/proofs        11m19s  25GB
May 15 10:10:40 SUCCESS