Job 578

CakeML:17de0264d7ddb7d463ac06fe6a7f41a768d25930
  Fix (hopefully) issues #22 and #552 [Nov 21 17:48:58]
#559 (translator-type-names)
Merging into:19b073895fb32a069a88cf2b55eb0a4f0216e156
  Merge pull request #557 from CakeML/issue-538 [Nov 22 14:28:23]
HOL:acd07026761c91f65c78d51b8e16234614fa2712
  Fix Holmake's wildcard fn to interpret arg as multiple patterns [Nov 23 06:07:36]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 23 12:08:00 Claimed job
Nov 23 12:08:16 Building HOL
Nov 23 12:17:36 Starting developers/bin
Nov 23 12:18:43 Finished developers/bin                                        1m05s 916MB
Nov 23 12:18:43 Starting semantics/ffi
Nov 23 12:19:22 Finished semantics/ffi                                           38s 448MB
Nov 23 12:19:23 Starting semantics
Nov 23 12:20:50 Finished semantics                                             1m26s 965MB
Nov 23 12:20:51 Starting semantics/proofs
Nov 23 12:23:38 Finished semantics/proofs                                      2m46s   1GB
Nov 23 12:23:39 Starting basis/pure
Nov 23 12:27:15 Finished basis/pure                                            3m35s 646MB
Nov 23 12:27:16 Starting translator
Nov 23 12:30:20 Finished translator                                            3m03s 940MB
Nov 23 12:30:20 Starting compiler/parsing
Nov 23 12:31:35 Finished compiler/parsing                                      1m13s   1GB
Nov 23 12:31:35 Starting characteristic
Nov 23 12:34:09 Finished characteristic                                        2m32s   1GB
Nov 23 12:34:09 Starting translator/monadic
Nov 23 12:35:36 Finished translator/monadic                                    1m26s   1GB
Nov 23 12:35:37 Starting basis
Nov 23 12:51:37 Finished basis                                                15m58s   3GB
Nov 23 12:51:37 Starting compiler/inference
Nov 23 12:53:18 Finished compiler/inference                                    1m39s   1GB
Nov 23 12:53:18 Starting compiler/backend/reg_alloc
Nov 23 12:54:05 Finished compiler/backend/reg_alloc                              46s   1GB
Nov 23 12:54:06 Starting compiler/backend/gc
Nov 23 13:01:23 Finished compiler/backend/gc                                   7m16s   1GB
Nov 23 13:01:24 Starting compiler/backend
Nov 23 13:01:27 Finished compiler/backend                                         2s  14MB
Nov 23 13:01:28 Starting compiler/encoders/asm
Nov 23 13:01:30 Finished compiler/encoders/asm                                    1s  12MB
Nov 23 13:01:30 Starting compiler/encoders/x64
Nov 23 13:02:23 Finished compiler/encoders/x64                                   51s 621MB
Nov 23 13:02:23 Starting compiler/encoders/arm6
Nov 23 13:04:07 Finished compiler/encoders/arm6                                1m42s   1GB
Nov 23 13:04:07 Starting compiler/encoders/arm8
Nov 23 13:04:34 Finished compiler/encoders/arm8                                  25s 504MB
Nov 23 13:04:34 Starting compiler/encoders/mips
Nov 23 13:05:33 Finished compiler/encoders/mips                                  58s 873MB
Nov 23 13:05:34 Starting compiler/encoders/riscv
Nov 23 13:06:36 Finished compiler/encoders/riscv                               1m01s   1GB
Nov 23 13:06:36 Starting compiler/backend/x64
Nov 23 13:06:54 Finished compiler/backend/x64                                    16s 795MB
Nov 23 13:06:54 Starting compiler/backend/arm6
Nov 23 13:07:13 Finished compiler/backend/arm6                                   18s   1GB
Nov 23 13:07:14 Starting compiler/backend/arm8
Nov 23 13:07:33 Finished compiler/backend/arm8                                   18s   1GB
Nov 23 13:07:33 Starting compiler/backend/mips
Nov 23 13:07:53 Finished compiler/backend/mips                                   19s   1GB
Nov 23 13:07:54 Starting compiler/backend/riscv
Nov 23 13:08:13 Finished compiler/backend/riscv                                  18s   1GB
Nov 23 13:08:14 Starting compiler/parsing/proofs
Nov 23 13:14:13 Finished compiler/parsing/proofs                               5m58s   1GB
Nov 23 13:14:14 Starting compiler/inference/proofs
Nov 23 13:17:04 Finished compiler/inference/proofs                             2m49s 994MB
Nov 23 13:17:05 Starting compiler/backend/semantics
Nov 23 13:25:53 Finished compiler/backend/semantics                            8m46s   2GB
Nov 23 13:25:53 Starting compiler/backend/reg_alloc/proofs
Nov 23 13:28:34 Finished compiler/backend/reg_alloc/proofs                     2m40s 523MB
Nov 23 13:28:35 Starting compiler/backend/proofs
Nov 23 14:11:15 Finished compiler/backend/proofs                              42m38s   3GB
Nov 23 14:11:15 Starting compiler/encoders/x64/proofs
Nov 23 14:19:05 Finished compiler/encoders/x64/proofs                          7m48s   5GB
Nov 23 14:19:05 Starting compiler/encoders/arm6/proofs
Nov 23 14:26:41 Finished compiler/encoders/arm6/proofs                         7m35s   3GB
Nov 23 14:26:42 Starting compiler/encoders/arm8/proofs
Nov 23 14:32:02 Finished compiler/encoders/arm8/proofs                         5m19s   1GB
Nov 23 14:32:03 Starting compiler/encoders/mips/proofs
Nov 23 14:39:25 Finished compiler/encoders/mips/proofs                         7m21s   1GB
Nov 23 14:39:25 Starting compiler/encoders/riscv/proofs
Nov 23 14:47:23 Finished compiler/encoders/riscv/proofs                        7m57s 717MB
Nov 23 14:47:24 Starting compiler/backend/x64/proofs
Nov 23 14:47:45 Finished compiler/backend/x64/proofs                             20s   1GB
Nov 23 14:47:46 Starting compiler/backend/arm6/proofs
Nov 23 14:48:10 Finished compiler/backend/arm6/proofs                            23s   1GB
Nov 23 14:48:10 Starting compiler/backend/arm8/proofs
Nov 23 14:48:30 Finished compiler/backend/arm8/proofs                            19s   1GB
Nov 23 14:48:31 Starting compiler/backend/mips/proofs
Nov 23 14:48:53 Finished compiler/backend/mips/proofs                            21s   1GB
Nov 23 14:48:54 Starting compiler/backend/riscv/proofs
Nov 23 14:49:16 Finished compiler/backend/riscv/proofs                           21s   1GB
Nov 23 14:49:16 Starting compiler/proofs
Nov 23 14:50:37 Finished compiler/proofs                                       1m19s   1GB
Nov 23 14:50:37 Starting candle/set-theory
Nov 23 14:51:09 Finished candle/set-theory                                       31s 609MB
Nov 23 14:51:10 Starting candle/syntax-lib
Nov 23 14:51:21 Finished candle/syntax-lib                                       10s 530MB
Nov 23 14:51:21 Starting candle/standard/syntax
Nov 23 14:52:55 Finished candle/standard/syntax                                1m32s 650MB
Nov 23 14:52:55 Starting candle/standard/semantics
Nov 23 14:54:17 Finished candle/standard/semantics                             1m20s   1GB
Nov 23 14:54:17 Starting candle/standard/monadic
Nov 23 14:55:51 Finished candle/standard/monadic                               1m32s 861MB
Nov 23 14:55:51 Starting candle/standard/ml_kernel
Nov 23 15:10:52 Finished candle/standard/ml_kernel                            15m00s   3GB
Nov 23 15:10:52 Starting candle/standard/opentheory
Nov 23 15:18:17 Finished candle/standard/opentheory                            7m23s   4GB
Nov 23 15:18:18 Starting candle/standard/opentheory/compilation
Nov 23 15:52:35 Finished candle/standard/opentheory/compilation               34m16s  15GB
Nov 23 15:52:36 Starting candle/standard/opentheory/compilation/proofs
Nov 23 15:53:18 Finished candle/standard/opentheory/compilation/proofs           41s   5GB
Nov 23 15:53:19 Starting characteristic/examples
Nov 23 15:54:50 Finished characteristic/examples                               1m30s   1GB
Nov 23 15:54:51 Starting tutorial/solutions
Nov 23 16:08:15 Finished tutorial/solutions                                   13m23s   6GB
Nov 23 16:08:16 Starting translator/monadic/examples
Nov 23 16:10:03 Finished translator/monadic/examples                           1m46s   2GB
Nov 23 16:10:03 Starting examples
Nov 23 16:16:17 Finished examples                                              6m12s   2GB
Nov 23 16:16:17 Starting examples/compilation
Nov 23 18:12:28 Finished examples/compilation                               1h56m09s   9GB
Nov 23 18:12:29 Starting examples/compilation/proofs
Nov 23 18:14:25 Finished examples/compilation/proofs                           1m55s   3GB
Nov 23 18:14:25 Starting compiler/benchmarks
Nov 23 18:14:26 Finished compiler/benchmarks                                      0s   4MB
Nov 23 18:14:27 Starting translator/okasaki-examples
Nov 23 18:17:51 Finished translator/okasaki-examples                           3m23s   1GB
Nov 23 18:17:51 Starting translator/other-examples
Nov 23 18:21:19 Finished translator/other-examples                             3m27s 985MB
Nov 23 18:21:20 Starting compiler/parsing/tests
Nov 23 18:21:45 Finished compiler/parsing/tests                                  24s 344MB
Nov 23 18:21:46 Starting compiler/inference/tests
Nov 23 18:25:49 Finished compiler/inference/tests                              4m03s   4GB
Nov 23 18:25:50 Starting compiler/bootstrap/translation
Nov 23 21:37:20 Finished compiler/bootstrap/translation                     3h11m29s  48GB
Nov 23 21:37:21 Starting unverified/sexpr-bootstrap/x64/64
Nov 23 21:45:22 Finished unverified/sexpr-bootstrap/x64/64                     7m59s  13GB
Nov 23 21:45:22 Starting unverified/sexpr-bootstrap/x64/32
Nov 23 21:50:32 Finished unverified/sexpr-bootstrap/x64/32                     5m08s  19GB
Nov 23 21:50:32 Starting compiler/bootstrap/compilation/x64/64
Nov 24 16:00:16 Finished compiler/bootstrap/compilation/x64/64             18h09m42s  64GB
Nov 24 16:00:17 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 24 16:03:49 Finished compiler/bootstrap/compilation/x64/64/proofs          3m31s  25GB
Nov 24 16:03:50 Starting compiler/bootstrap/compilation/x64/32
Nov 25 02:22:28 Finished compiler/bootstrap/compilation/x64/32             10h18m37s  64GB
Nov 25 02:22:29 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 25 02:25:43 Finished compiler/bootstrap/compilation/x64/32/proofs          3m13s  21GB
Nov 25 02:25:44 SUCCESS