Job 861

CakeML:35f8ad6231ce6c26eb69126a31f99ac278f527d3
  add map2 mapping [May 12 15:24:34]
#646 (topic/isabelle)
Merging into:96ec9c17d55e54ccc04d7858e8f7a1257f8452ec
  Merge pull request #643 from CakeML/cleanup [May 11 05:53:36]
HOL:1557f72fc9a7a80bc5ce2e4df30afd51803c8b75
  Get formal-languages/regular to pass src tests again [May 09 11:06:43]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

May 12 16:46:05 Claimed job
May 12 16:46:08 Reusing HOL
May 12 16:46:14 Starting developers
May 12 16:46:15 Finished developers                                               0s  21MB
May 12 16:46:15 Starting developers/bin
May 12 16:46:19 Finished developers/bin                                           3s 143MB
May 12 16:46:19 Starting semantics/ffi
May 12 16:46:27 Finished semantics/ffi                                            7s 223MB
May 12 16:46:28 Starting semantics
May 12 16:47:44 Finished semantics                                             1m16s 940MB
May 12 16:47:45 Starting semantics/proofs
May 12 16:50:41 Finished semantics/proofs                                      2m56s   1GB
May 12 16:50:42 Starting basis/pure
May 12 16:51:26 Finished basis/pure                                              43s 700MB
May 12 16:51:26 Starting translator
May 12 16:53:03 Finished translator                                            1m36s   1GB
May 12 16:53:03 Starting compiler/parsing
May 12 16:54:00 Finished compiler/parsing                                        56s   1GB
May 12 16:54:00 Starting characteristic
May 12 16:59:05 Finished characteristic                                        5m05s   1GB
May 12 16:59:06 Starting translator/monadic
May 12 17:00:29 Finished translator/monadic                                    1m23s   1GB
May 12 17:00:30 Starting basis
May 12 17:17:08 Finished basis                                                16m37s   2GB
May 12 17:17:08 Starting compiler/inference
May 12 17:18:39 Finished compiler/inference                                    1m30s   1GB
May 12 17:18:39 Starting compiler/backend/reg_alloc
May 12 17:19:36 Finished compiler/backend/reg_alloc                              56s   1GB
May 12 17:19:37 Starting compiler/backend/gc
May 12 17:27:30 Finished compiler/backend/gc                                   7m52s   1GB
May 12 17:27:30 Starting compiler/backend
May 12 17:27:31 Finished compiler/backend                                         0s  42MB
May 12 17:27:31 Starting compiler/encoders/asm
May 12 17:27:32 Finished compiler/encoders/asm                                    0s  32MB
May 12 17:27:32 Starting compiler/encoders/x64
May 12 17:27:55 Finished compiler/encoders/x64                                   22s 653MB
May 12 17:27:55 Starting compiler/encoders/arm6
May 12 17:28:39 Finished compiler/encoders/arm6                                  43s 757MB
May 12 17:28:39 Starting compiler/encoders/arm8
May 12 17:28:50 Finished compiler/encoders/arm8                                  10s 608MB
May 12 17:28:51 Starting compiler/encoders/mips
May 12 17:29:07 Finished compiler/encoders/mips                                  15s 935MB
May 12 17:29:07 Starting compiler/encoders/riscv
May 12 17:29:21 Finished compiler/encoders/riscv                                 13s 946MB
May 12 17:29:21 Starting compiler/encoders/ag32
May 12 17:29:37 Finished compiler/encoders/ag32                                  14s 780MB
May 12 17:29:37 Starting compiler/backend/x64
May 12 17:29:53 Finished compiler/backend/x64                                    15s 975MB
May 12 17:29:53 Starting compiler/backend/arm6
May 12 17:30:11 Finished compiler/backend/arm6                                   17s   1GB
May 12 17:30:12 Starting compiler/backend/arm8
May 12 17:30:27 Finished compiler/backend/arm8                                   15s 964MB
May 12 17:30:28 Starting compiler/backend/mips
May 12 17:30:44 Finished compiler/backend/mips                                   15s   1GB
May 12 17:30:44 Starting compiler/backend/riscv
May 12 17:31:00 Finished compiler/backend/riscv                                  15s   1GB
May 12 17:31:00 Starting compiler/backend/ag32
May 12 17:32:06 Finished compiler/backend/ag32                                 1m05s 837MB
May 12 17:32:06 Starting compiler/parsing/proofs
May 12 17:37:38 Finished compiler/parsing/proofs                               5m31s   1GB
May 12 17:37:39 Starting compiler/inference/proofs
May 12 17:40:16 Finished compiler/inference/proofs                             2m37s   1GB
May 12 17:40:17 Starting compiler/backend/semantics
May 12 17:47:11 Finished compiler/backend/semantics                            6m53s   2GB
May 12 17:47:11 Starting compiler/backend/reg_alloc/proofs
May 12 17:50:27 Finished compiler/backend/reg_alloc/proofs                     3m15s 663MB
May 12 17:50:27 Starting compiler/backend/proofs
May 12 18:28:04 Finished compiler/backend/proofs                              37m36s   4GB
May 12 18:28:05 Starting compiler/encoders/x64/proofs
May 12 18:37:08 Finished compiler/encoders/x64/proofs                          9m02s   5GB
May 12 18:37:08 Starting compiler/encoders/arm6/proofs
May 12 18:49:15 Finished compiler/encoders/arm6/proofs                        12m07s   7GB
May 12 18:49:16 Starting compiler/encoders/arm8/proofs
May 12 18:55:46 Finished compiler/encoders/arm8/proofs                         6m29s   1GB
May 12 18:55:46 Starting compiler/encoders/mips/proofs
May 12 19:05:18 Finished compiler/encoders/mips/proofs                         9m30s   1GB
May 12 19:05:18 Starting compiler/encoders/riscv/proofs
May 12 19:13:37 Finished compiler/encoders/riscv/proofs                        8m18s   1GB
May 12 19:13:37 Starting compiler/encoders/ag32/proofs
May 12 19:16:06 Finished compiler/encoders/ag32/proofs                         2m27s 745MB
May 12 19:16:06 Starting compiler/backend/x64/proofs
May 12 19:16:22 Finished compiler/backend/x64/proofs                             15s   1GB
May 12 19:16:22 Starting compiler/backend/arm6/proofs
May 12 19:16:40 Finished compiler/backend/arm6/proofs                            17s   1GB
May 12 19:16:41 Starting compiler/backend/arm8/proofs
May 12 19:16:56 Finished compiler/backend/arm8/proofs                            15s 796MB
May 12 19:16:56 Starting compiler/backend/mips/proofs
May 12 19:17:13 Finished compiler/backend/mips/proofs                            16s   1GB
May 12 19:17:14 Starting compiler/backend/riscv/proofs
May 12 19:17:31 Finished compiler/backend/riscv/proofs                           16s   1GB
May 12 19:17:31 Starting compiler/backend/ag32/proofs
May 12 19:26:28 Finished compiler/backend/ag32/proofs                          8m56s   1GB
May 12 19:26:28 Starting compiler/proofs
May 12 19:27:39 Finished compiler/proofs                                       1m10s   2GB
May 12 19:27:39 Starting candle/set-theory
May 12 19:28:04 Finished candle/set-theory                                       24s 751MB
May 12 19:28:04 Starting candle/syntax-lib
May 12 19:28:14 Finished candle/syntax-lib                                        9s 594MB
May 12 19:28:14 Starting candle/standard/syntax
May 12 19:29:55 Finished candle/standard/syntax                                1m40s   1GB
May 12 19:29:55 Starting candle/standard/semantics
May 12 19:31:27 Finished candle/standard/semantics                             1m32s   1GB
May 12 19:31:28 Starting candle/standard/monadic
May 12 19:33:01 Finished candle/standard/monadic                               1m32s   1GB
May 12 19:33:01 Starting candle/standard/ml_kernel
May 12 19:36:50 Finished candle/standard/ml_kernel                             3m48s   3GB
May 12 19:36:50 Starting candle/standard/opentheory
May 12 19:45:24 Finished candle/standard/opentheory                            8m33s   2GB
May 12 19:45:25 Starting candle/standard/opentheory/compilation
May 12 20:15:10 Finished candle/standard/opentheory/compilation               29m45s  15GB
May 12 20:15:10 Starting candle/standard/opentheory/compilation/proofs
May 12 20:15:49 Finished candle/standard/opentheory/compilation/proofs           38s   2GB
May 12 20:15:50 Starting characteristic/examples
May 12 20:17:11 Finished characteristic/examples                               1m20s   1GB
May 12 20:17:11 Starting tutorial/solutions
May 12 20:30:13 Finished tutorial/solutions                                   13m01s   6GB
May 12 20:30:13 Starting translator/monadic/examples
May 12 20:33:02 Finished translator/monadic/examples                           2m48s   1GB
May 12 20:33:02 Starting examples
May 12 20:41:48 Finished examples                                              8m45s   5GB
May 12 20:41:48 Starting examples/compilation/x64
May 12 22:42:29 Finished examples/compilation/x64                           2h00m40s  12GB
May 12 22:42:29 Starting examples/compilation/x64/proofs
May 12 22:43:54 Finished examples/compilation/x64/proofs                       1m24s   3GB
May 12 22:43:54 Starting examples/compilation/ag32
May 12 23:11:40 Finished examples/compilation/ag32                            27m45s   5GB
May 12 23:11:40 Starting examples/compilation/ag32/proofs
May 12 23:12:23 Finished examples/compilation/ag32/proofs                        42s   2GB
May 12 23:12:23 Starting translator/okasaki-examples
May 12 23:16:28 Finished translator/okasaki-examples                           4m04s   1GB
May 12 23:16:28 Starting translator/other-examples
May 12 23:17:08 Finished translator/other-examples                               39s   1GB
May 12 23:17:08 Starting compiler/parsing/tests
May 12 23:17:33 Finished compiler/parsing/tests                                  24s 580MB
May 12 23:17:33 Starting compiler/inference/tests
May 12 23:21:34 Finished compiler/inference/tests                              4m00s   4GB
May 12 23:21:34 Starting compiler/bootstrap/translation
May 13 01:49:29 Finished compiler/bootstrap/translation                     2h27m54s  35GB
May 13 01:49:29 Starting unverified/sexpr-bootstrap/x64/64
May 13 01:56:38 Finished unverified/sexpr-bootstrap/x64/64                     7m08s   3GB
May 13 01:56:38 Starting unverified/sexpr-bootstrap/x64/32
May 13 02:02:07 Finished unverified/sexpr-bootstrap/x64/32                     5m28s   6GB
May 13 02:02:07 Starting compiler/benchmarks
May 13 02:39:31 Finished compiler/benchmarks                                  37m23s   1GB
May 13 02:39:31 Starting compiler/bootstrap/compilation/x64/64
May 13 13:35:17 Finished compiler/bootstrap/compilation/x64/64             10h55m45s  64GB
May 13 13:35:17 Starting compiler/bootstrap/compilation/x64/64/proofs
May 13 13:37:59 Finished compiler/bootstrap/compilation/x64/64/proofs          2m40s  10GB
May 13 13:37:59 Starting compiler/bootstrap/compilation/x64/32
May 13 23:53:49 Finished compiler/bootstrap/compilation/x64/32             10h15m49s  64GB
May 13 23:53:49 Starting compiler/bootstrap/compilation/x64/32/proofs
May 13 23:56:58 Finished compiler/bootstrap/compilation/x64/32/proofs          3m08s   4GB
May 13 23:56:59 Starting compiler/bootstrap/compilation/ag32/32
May 14 09:42:18 Finished compiler/bootstrap/compilation/ag32/32             9h45m19s  64GB
May 14 09:42:18 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 14 09:56:10 Finished compiler/bootstrap/compilation/ag32/32/proofs        13m51s  12GB
May 14 09:56:10 SUCCESS