CakeML Regression Test

Job 962

CakeML:3a148f7d8c6a1e7acd56618f1699233d3d1037c5
  Merge branch 'master' into pmatch-hints [Jul 25 10:12:43]
#672 (pmatch-hints)
Merging into:6a2bd88da127f2784992626bd3d46e35bafd91f8
  Merge pull request #670 from CakeML/refactor-flat [Jul 25 06:57:19]
HOL:e07c8c4b477de3d90955fd9015c2a12797ff00e4
  Polyscripter-ise much more of DESCRIPTION's Core Theories chapter [Jul 25 01:01:55]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jul 26 08:47:27 Claimed job
Jul 26 08:47:35 Building HOL
Jul 26 08:57:00 Starting developers
Jul 26 08:57:02 Finished developers                                               2s  21MB
Jul 26 08:57:02 Starting developers/bin
Jul 26 08:57:09 Finished developers/bin                                           6s 960MB
Jul 26 08:57:09 Starting semantics/ffi
Jul 26 08:57:48 Finished semantics/ffi                                           38s 540MB
Jul 26 08:57:48 Starting semantics
Jul 26 08:59:23 Finished semantics                                             1m35s   1GB
Jul 26 08:59:24 Starting semantics/proofs
Jul 26 09:02:25 Finished semantics/proofs                                      3m01s   1GB
Jul 26 09:02:26 Starting semantics/alt_semantics
Jul 26 09:02:34 Finished semantics/alt_semantics                                  7s 311MB
Jul 26 09:02:34 Starting semantics/alt_semantics/proofs
Jul 26 09:04:22 Finished semantics/alt_semantics/proofs                        1m47s 809MB
Jul 26 09:04:22 Starting basis/pure
Jul 26 09:07:59 Finished basis/pure                                            3m36s 727MB
Jul 26 09:07:59 Starting translator
Jul 26 09:09:47 Finished translator                                            1m47s   1GB
Jul 26 09:09:47 Starting compiler/parsing
Jul 26 09:10:44 Finished compiler/parsing                                        57s   2GB
Jul 26 09:10:45 Starting characteristic
Jul 26 09:16:07 Finished characteristic                                        5m21s   1GB
Jul 26 09:16:07 Starting translator/monadic
Jul 26 09:17:36 Finished translator/monadic                                    1m29s   1GB
Jul 26 09:17:36 Starting basis
Jul 26 09:34:25 Finished basis                                                16m48s   2GB
Jul 26 09:34:25 Starting compiler/inference
Jul 26 09:36:19 Finished compiler/inference                                    1m54s   1GB
Jul 26 09:36:19 Starting compiler/backend/reg_alloc
Jul 26 09:37:19 Finished compiler/backend/reg_alloc                              59s   1GB
Jul 26 09:37:19 Starting compiler/backend/gc
Jul 26 09:46:39 Finished compiler/backend/gc                                   9m19s   2GB
Jul 26 09:46:39 Starting compiler/backend
Jul 26 09:46:42 Finished compiler/backend                                         2s  19MB
Jul 26 09:46:42 Starting compiler/encoders/asm
Jul 26 09:46:44 Finished compiler/encoders/asm                                    1s  14MB
Jul 26 09:46:44 Starting compiler/encoders/x64
Jul 26 09:47:45 Finished compiler/encoders/x64                                 1m01s 622MB
Jul 26 09:47:45 Starting compiler/encoders/arm7
Jul 26 09:49:27 Finished compiler/encoders/arm7                                1m41s   1GB
Jul 26 09:49:27 Starting compiler/encoders/arm8
Jul 26 09:50:00 Finished compiler/encoders/arm8                                  32s 504MB
Jul 26 09:50:01 Starting compiler/encoders/mips
Jul 26 09:51:08 Finished compiler/encoders/mips                                1m07s 853MB
Jul 26 09:51:08 Starting compiler/encoders/riscv
Jul 26 09:52:29 Finished compiler/encoders/riscv                               1m20s   1GB
Jul 26 09:52:29 Starting compiler/encoders/ag32
Jul 26 09:52:46 Finished compiler/encoders/ag32                                  17s 787MB
Jul 26 09:52:46 Starting compiler/backend/x64
Jul 26 09:53:05 Finished compiler/backend/x64                                    18s   1GB
Jul 26 09:53:05 Starting compiler/backend/arm7
Jul 26 09:53:26 Finished compiler/backend/arm7                                   20s   1GB
Jul 26 09:53:26 Starting compiler/backend/arm8
Jul 26 09:53:44 Finished compiler/backend/arm8                                   18s   1GB
Jul 26 09:53:44 Starting compiler/backend/mips
Jul 26 09:54:04 Finished compiler/backend/mips                                   19s   1GB
Jul 26 09:54:04 Starting compiler/backend/riscv
Jul 26 09:54:23 Finished compiler/backend/riscv                                  19s   1GB
Jul 26 09:54:23 Starting compiler/backend/ag32
Jul 26 09:55:30 Finished compiler/backend/ag32                                 1m06s   1GB
Jul 26 09:55:30 Starting compiler/parsing/proofs
Jul 26 10:01:11 Finished compiler/parsing/proofs                               5m39s   1GB
Jul 26 10:01:11 Starting compiler/inference/proofs
Jul 26 10:03:56 Finished compiler/inference/proofs                             2m44s 859MB
Jul 26 10:03:56 Starting compiler/backend/semantics
Jul 26 10:11:04 Finished compiler/backend/semantics                            7m07s   1GB
Jul 26 10:11:04 Starting compiler/backend/reg_alloc/proofs
Jul 26 10:14:18 Finished compiler/backend/reg_alloc/proofs                     3m14s 960MB
Jul 26 10:14:18 Starting compiler/backend/proofs
Jul 26 10:53:03 Finished compiler/backend/proofs                              38m44s   4GB
Jul 26 10:53:03 Starting compiler/encoders/x64/proofs
Jul 26 11:02:59 Finished compiler/encoders/x64/proofs                          9m55s   5GB
Jul 26 11:02:59 Starting compiler/encoders/arm7/proofs
Jul 26 11:16:18 Finished compiler/encoders/arm7/proofs                        13m18s   6GB
Jul 26 11:16:18 Starting compiler/encoders/arm8/proofs
Jul 26 11:22:56 Finished compiler/encoders/arm8/proofs                         6m37s   1GB
Jul 26 11:22:56 Starting compiler/encoders/mips/proofs
Jul 26 11:32:37 Finished compiler/encoders/mips/proofs                         9m41s   2GB
Jul 26 11:32:38 Starting compiler/encoders/riscv/proofs
Jul 26 11:40:57 Finished compiler/encoders/riscv/proofs                        8m19s   1GB
Jul 26 11:40:57 Starting compiler/encoders/ag32/proofs
Jul 26 11:43:24 Finished compiler/encoders/ag32/proofs                         2m26s 686MB
Jul 26 11:43:24 Starting compiler/backend/x64/proofs
Jul 26 11:43:44 Finished compiler/backend/x64/proofs                             19s   1GB
Jul 26 11:43:44 Starting compiler/backend/arm7/proofs
Jul 26 11:44:05 Finished compiler/backend/arm7/proofs                            20s   1GB
Jul 26 11:44:05 Starting compiler/backend/arm8/proofs
Jul 26 11:44:25 Finished compiler/backend/arm8/proofs                            19s   1GB
Jul 26 11:44:25 Starting compiler/backend/mips/proofs
Jul 26 11:44:46 Finished compiler/backend/mips/proofs                            20s   1GB
Jul 26 11:44:46 Starting compiler/backend/riscv/proofs
Jul 26 11:45:07 Finished compiler/backend/riscv/proofs                           20s   1GB
Jul 26 11:45:07 Starting compiler/backend/ag32/proofs
Jul 26 11:53:46 Finished compiler/backend/ag32/proofs                          8m39s   2GB
Jul 26 11:53:47 Starting compiler/proofs
Jul 26 11:55:12 Finished compiler/proofs                                       1m25s   3GB
Jul 26 11:55:12 Starting candle/set-theory
Jul 26 11:55:39 Finished candle/set-theory                                       26s 858MB
Jul 26 11:55:39 Starting candle/syntax-lib
Jul 26 11:55:50 Finished candle/syntax-lib                                       10s 662MB
Jul 26 11:55:51 Starting candle/standard/syntax
Jul 26 11:57:33 Finished candle/standard/syntax                                1m42s 894MB
Jul 26 11:57:33 Starting candle/standard/semantics
Jul 26 11:59:11 Finished candle/standard/semantics                             1m37s   1GB
Jul 26 11:59:11 Starting candle/standard/monadic
Jul 26 12:00:45 Finished candle/standard/monadic                               1m33s   1GB
Jul 26 12:00:45 Starting candle/standard/ml_kernel
Jul 26 12:04:29 Finished candle/standard/ml_kernel                             3m44s   5GB
Jul 26 12:04:30 Starting candle/standard/opentheory
Jul 26 12:12:57 Finished candle/standard/opentheory                            8m26s   3GB
Jul 26 12:12:57 Starting candle/standard/opentheory/compilation
Jul 26 12:42:21 Finished candle/standard/opentheory/compilation               29m24s  24GB
Jul 26 12:42:21 Starting candle/standard/opentheory/compilation/proofs
Jul 26 12:43:08 Finished candle/standard/opentheory/compilation/proofs           46s   2GB
Jul 26 12:43:09 Starting characteristic/examples
Jul 26 12:44:36 Finished characteristic/examples                               1m27s   2GB
Jul 26 12:44:36 Starting tutorial/solutions
Jul 26 12:57:36 Finished tutorial/solutions                                   13m00s   6GB
Jul 26 12:57:36 Starting translator/monadic/examples
Jul 26 13:00:31 Finished translator/monadic/examples                           2m54s   2GB
Jul 26 13:00:31 Starting examples
Jul 26 13:09:11 Finished examples                                              8m39s   4GB
Jul 26 13:09:11 Starting examples/compilation/x64
Jul 26 15:12:44 Finished examples/compilation/x64                           2h03m32s  17GB
Jul 26 15:12:44 Starting examples/compilation/x64/proofs
Jul 26 15:14:16 Finished examples/compilation/x64/proofs                       1m32s   2GB
Jul 26 15:14:16 Starting examples/compilation/ag32
Jul 26 15:42:51 Finished examples/compilation/ag32                            28m34s   6GB
Jul 26 15:42:51 Starting examples/compilation/ag32/proofs
Jul 26 15:43:52 Finished examples/compilation/ag32/proofs                      1m00s   3GB
Jul 26 15:43:52 Starting translator/okasaki-examples
Jul 26 15:47:57 Finished translator/okasaki-examples                           4m04s   1GB
Jul 26 15:47:58 Starting translator/other-examples
Jul 26 15:51:34 Finished translator/other-examples                             3m36s   1GB
Jul 26 15:51:34 Starting compiler/parsing/tests
Jul 26 15:52:00 Finished compiler/parsing/tests                                  25s 499MB
Jul 26 15:52:00 Starting compiler/inference/tests
Jul 26 15:56:07 Finished compiler/inference/tests                              4m06s   4GB
Jul 26 15:56:07 Starting compiler/bootstrap/translation
Jul 26 18:22:35 Finished compiler/bootstrap/translation                     2h26m27s  46GB
Jul 26 18:22:35 Starting unverified/sexpr-bootstrap/x64/64
Jul 26 18:33:42 Finished unverified/sexpr-bootstrap/x64/64                    11m07s   6GB
Jul 26 18:33:43 Starting unverified/sexpr-bootstrap/x64/32
Jul 26 18:41:58 Finished unverified/sexpr-bootstrap/x64/32                     8m15s   4GB
Jul 26 18:41:58 Starting compiler/benchmarks
Jul 26 18:42:05 Finished compiler/benchmarks                                      6s  24MB
Jul 26 18:42:05 Starting compiler/bootstrap/compilation/x64/64 Jul 26 18:42:05 2643s