Job 590

CakeML:4816e9e16a1c3e403695b2abe61c72532cfa6a73
  Merge 'origin/master' into EqualityType [Nov 28 16:23:22]
#564 (EqualityType)
Merging into:59886cd0205c1d5d943ef10a26890f79b515b68f
  Merge pull request #561 from CakeML/print-types [Nov 26 04:25:18]
HOL:7c1215a4e1c9c2c8606ae138e22d3cbe97ff3111
  Reinstate Holmake's use of POLY_CLINE_OPTIONS [Nov 28 10:23:43]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 28 23:25:06 Claimed job
Nov 28 23:25:22 Building HOL
Nov 28 23:34:44 Starting developers/bin
Nov 28 23:35:53 Finished developers/bin                                        1m08s 916MB
Nov 28 23:35:54 Starting semantics/ffi
Nov 28 23:36:33 Finished semantics/ffi                                           38s 362MB
Nov 28 23:36:34 Starting semantics
Nov 28 23:38:04 Finished semantics                                             1m29s 754MB
Nov 28 23:38:05 Starting semantics/proofs
Nov 28 23:40:54 Finished semantics/proofs                                      2m48s   1GB
Nov 28 23:40:54 Starting basis/pure
Nov 28 23:44:31 Finished basis/pure                                            3m35s 766MB
Nov 28 23:44:31 Starting translator
Nov 28 23:47:41 Finished translator                                            3m09s 999MB
Nov 28 23:47:42 Starting compiler/parsing
Nov 28 23:48:58 Finished compiler/parsing                                      1m15s   1GB
Nov 28 23:48:59 Starting characteristic
Nov 28 23:51:31 Finished characteristic                                        2m31s   1GB
Nov 28 23:51:32 Starting translator/monadic
Nov 28 23:53:00 Finished translator/monadic                                    1m27s   1GB
Nov 28 23:53:00 Starting basis
Nov 29 00:09:48 Finished basis                                                16m47s   3GB
Nov 29 00:09:49 Starting compiler/inference
Nov 29 00:11:33 Finished compiler/inference                                    1m43s   1GB
Nov 29 00:11:33 Starting compiler/backend/reg_alloc
Nov 29 00:12:20 Finished compiler/backend/reg_alloc                              46s   1GB
Nov 29 00:12:21 Starting compiler/backend/gc
Nov 29 00:19:44 Finished compiler/backend/gc                                   7m22s   1GB
Nov 29 00:19:44 Starting compiler/backend
Nov 29 00:19:48 Finished compiler/backend                                         2s  19MB
Nov 29 00:19:48 Starting compiler/encoders/asm
Nov 29 00:19:50 Finished compiler/encoders/asm                                    1s  16MB
Nov 29 00:19:51 Starting compiler/encoders/x64
Nov 29 00:20:44 Finished compiler/encoders/x64                                   51s 620MB
Nov 29 00:20:44 Starting compiler/encoders/arm6
Nov 29 00:22:28 Finished compiler/encoders/arm6                                1m42s   1GB
Nov 29 00:22:29 Starting compiler/encoders/arm8
Nov 29 00:22:56 Finished compiler/encoders/arm8                                  26s 493MB
Nov 29 00:22:57 Starting compiler/encoders/mips
Nov 29 00:23:56 Finished compiler/encoders/mips                                  58s 837MB
Nov 29 00:23:56 Starting compiler/encoders/riscv
Nov 29 00:24:57 Finished compiler/encoders/riscv                               1m00s   1GB
Nov 29 00:24:58 Starting compiler/encoders/ag32
Nov 29 00:25:15 Finished compiler/encoders/ag32                                  17s 776MB
Nov 29 00:25:16 Starting compiler/backend/x64
Nov 29 00:25:34 Finished compiler/backend/x64                                    17s   1GB
Nov 29 00:25:35 Starting compiler/backend/arm6
Nov 29 00:25:54 Finished compiler/backend/arm6                                   18s   1GB
Nov 29 00:25:55 Starting compiler/backend/arm8
Nov 29 00:26:14 Finished compiler/backend/arm8                                   18s 839MB
Nov 29 00:26:15 Starting compiler/backend/mips
Nov 29 00:26:34 Finished compiler/backend/mips                                   18s   1GB
Nov 29 00:26:35 Starting compiler/backend/riscv
Nov 29 00:26:53 Finished compiler/backend/riscv                                  18s   1GB
Nov 29 00:26:54 Starting compiler/backend/ag32
Nov 29 00:28:08 Finished compiler/backend/ag32                                 1m13s   1GB
Nov 29 00:28:09 Starting compiler/parsing/proofs
Nov 29 00:34:08 Finished compiler/parsing/proofs                               5m58s 816MB
Nov 29 00:34:09 Starting compiler/inference/proofs
Nov 29 00:37:01 Finished compiler/inference/proofs                             2m51s   1GB
Nov 29 00:37:02 Starting compiler/backend/semantics
Nov 29 00:45:46 Finished compiler/backend/semantics                            8m44s   2GB
Nov 29 00:45:47 Starting compiler/backend/reg_alloc/proofs
Nov 29 00:48:34 Finished compiler/backend/reg_alloc/proofs                     2m46s 454MB
Nov 29 00:48:34 Starting compiler/backend/proofs
Nov 29 01:31:20 Finished compiler/backend/proofs                              42m44s   3GB
Nov 29 01:31:20 Starting compiler/encoders/x64/proofs
Nov 29 01:41:32 Finished compiler/encoders/x64/proofs                         10m11s   5GB
Nov 29 01:41:33 Starting compiler/encoders/arm6/proofs
Nov 29 01:56:26 Finished compiler/encoders/arm6/proofs                        14m52s   2GB
Nov 29 01:56:26 Starting compiler/encoders/arm8/proofs
Nov 29 02:02:25 Finished compiler/encoders/arm8/proofs                         5m58s   1GB
Nov 29 02:02:26 Starting compiler/encoders/mips/proofs
Nov 29 02:12:55 Finished compiler/encoders/mips/proofs                        10m28s   1GB
Nov 29 02:12:55 Starting compiler/encoders/riscv/proofs
Nov 29 02:20:54 Finished compiler/encoders/riscv/proofs                        7m57s 788MB
Nov 29 02:20:54 Starting compiler/encoders/ag32/proofs
Nov 29 02:23:40 Finished compiler/encoders/ag32/proofs                         2m45s 727MB
Nov 29 02:23:41 Starting compiler/backend/x64/proofs
Nov 29 02:24:03 Finished compiler/backend/x64/proofs                             21s   1GB
Nov 29 02:24:03 Starting compiler/backend/arm6/proofs
Nov 29 02:24:28 Finished compiler/backend/arm6/proofs                            23s   1GB
Nov 29 02:24:28 Starting compiler/backend/arm8/proofs
Nov 29 02:24:48 Finished compiler/backend/arm8/proofs                            19s 867MB
Nov 29 02:24:49 Starting compiler/backend/mips/proofs
Nov 29 02:25:11 Finished compiler/backend/mips/proofs                            21s   1GB
Nov 29 02:25:12 Starting compiler/backend/riscv/proofs
Nov 29 02:25:34 Finished compiler/backend/riscv/proofs                           21s   1GB
Nov 29 02:25:35 Starting compiler/backend/ag32/proofs
Nov 29 02:34:59 Finished compiler/backend/ag32/proofs                          9m22s   2GB
Nov 29 02:35:00 Starting compiler/proofs
Nov 29 02:36:20 Finished compiler/proofs                                       1m19s   1GB
Nov 29 02:36:21 Starting candle/set-theory
Nov 29 02:36:53 Finished candle/set-theory                                       31s 640MB
Nov 29 02:36:53 Starting candle/syntax-lib
Nov 29 02:37:04 Finished candle/syntax-lib                                       10s 614MB
Nov 29 02:37:05 Starting candle/standard/syntax
Nov 29 02:38:40 Finished candle/standard/syntax                                1m33s   1GB
Nov 29 02:38:40 Starting candle/standard/semantics
Nov 29 02:40:03 Finished candle/standard/semantics                             1m21s 853MB
Nov 29 02:40:04 Starting candle/standard/monadic
Nov 29 02:41:39 Finished candle/standard/monadic                               1m34s 854MB
Nov 29 02:41:39 Starting candle/standard/ml_kernel
Nov 29 02:56:18 Finished candle/standard/ml_kernel                            14m38s   3GB
Nov 29 02:56:19 Starting candle/standard/opentheory
Nov 29 03:04:05 Finished candle/standard/opentheory                            7m45s   2GB
Nov 29 03:04:06 Starting candle/standard/opentheory/compilation
Nov 29 03:33:57 Finished candle/standard/opentheory/compilation               29m49s  13GB
Nov 29 03:33:57 Starting candle/standard/opentheory/compilation/proofs
Nov 29 03:34:34 Finished candle/standard/opentheory/compilation/proofs           36s   4GB
Nov 29 03:34:35 Starting characteristic/examples
Nov 29 03:36:05 Finished characteristic/examples                               1m29s   1GB
Nov 29 03:36:06 Starting tutorial/solutions
Nov 29 03:49:51 Finished tutorial/solutions                                   13m44s   6GB
Nov 29 03:49:51 Starting translator/monadic/examples
Nov 29 03:51:38 Finished translator/monadic/examples                           1m45s   2GB
Nov 29 03:51:38 Starting examples
Nov 29 03:57:50 Finished examples                                              6m11s   2GB
Nov 29 03:57:51 Starting examples/compilation/x64
Nov 29 05:52:57 Finished examples/compilation/x64                           1h55m05s   9GB
Nov 29 05:52:58 Starting examples/compilation/x64/proofs
Nov 29 05:54:53 Finished examples/compilation/x64/proofs                       1m54s   3GB
Nov 29 05:54:53 Starting examples/compilation/ag32
Nov 29 06:21:29 Finished examples/compilation/ag32                            26m34s   3GB
Nov 29 06:21:29 Starting examples/compilation/ag32/proofs
Nov 29 06:21:56 Finished examples/compilation/ag32/proofs                        26s   2GB
Nov 29 06:21:57 Starting compiler/benchmarks
Nov 29 06:21:58 Finished compiler/benchmarks                                      0s   4MB
Nov 29 06:21:59 Starting translator/okasaki-examples
Nov 29 06:25:24 Finished translator/okasaki-examples                           3m24s   1GB
Nov 29 06:25:25 Starting translator/other-examples
Nov 29 06:28:55 Finished translator/other-examples                             3m29s 990MB
Nov 29 06:28:56 Starting compiler/parsing/tests
Nov 29 06:29:22 Finished compiler/parsing/tests                                  25s 341MB
Nov 29 06:29:22 Starting compiler/inference/tests
Nov 29 06:33:25 Finished compiler/inference/tests                              4m01s   4GB
Nov 29 06:33:26 Starting compiler/bootstrap/translation
Nov 29 09:44:17 Finished compiler/bootstrap/translation                     3h10m50s  49GB
Nov 29 09:44:17 Starting unverified/sexpr-bootstrap/x64/64
Nov 29 09:52:19 Finished unverified/sexpr-bootstrap/x64/64                     8m01s  15GB
Nov 29 09:52:20 Starting unverified/sexpr-bootstrap/x64/32
Nov 29 09:57:43 Finished unverified/sexpr-bootstrap/x64/32                     5m22s  17GB
Nov 29 09:57:44 Starting compiler/bootstrap/compilation/x64/64
Nov 30 03:55:05 Finished compiler/bootstrap/compilation/x64/64             17h57m20s  64GB
Nov 30 03:55:06 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 30 03:58:55 Finished compiler/bootstrap/compilation/x64/64/proofs          3m47s  24GB
Nov 30 03:58:55 Starting compiler/bootstrap/compilation/x64/32
Nov 30 15:20:40 Finished compiler/bootstrap/compilation/x64/32             11h21m44s  63GB
Nov 30 15:20:41 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 30 15:24:07 Finished compiler/bootstrap/compilation/x64/32/proofs          3m25s  23GB
Nov 30 15:24:07 SUCCESS