Job 1634

CakeML:6b1184f731754a44e6368258d6c1b1cc729aa0f5
  Merge pull request #843 from CakeML/newline-fix [Nov 13 19:24:32]
HOL:7e1cdab63fa78a67a3fabc28a9f2a909e65b6921
  Make RPROD (and PAIR_REL and ###) more polymorphic [Nov 12 10:36:34]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Nov 13 19:29:33 Claimed job
Nov 13 19:29:40 Building HOL
Nov 13 19:39:04 Starting developers
Nov 13 19:39:08 Finished developers                                               4s 151MB
Nov 13 19:39:08 Starting developers/bin
Nov 13 19:39:15 Finished developers/bin                                           6s   1GB
Nov 13 19:39:15 Starting semantics/ffi
Nov 13 19:39:26 Finished semantics/ffi                                           10s 240MB
Nov 13 19:39:26 Starting semantics
Nov 13 19:40:59 Finished semantics                                             1m32s   1GB
Nov 13 19:40:59 Starting semantics/proofs
Nov 13 19:44:37 Finished semantics/proofs                                      3m38s   1GB
Nov 13 19:44:37 Starting semantics/alt_semantics
Nov 13 19:44:51 Finished semantics/alt_semantics                                 14s 350MB
Nov 13 19:44:52 Starting semantics/alt_semantics/proofs
Nov 13 19:47:19 Finished semantics/alt_semantics/proofs                        2m27s 819MB
Nov 13 19:47:20 Starting basis/pure
Nov 13 19:50:15 Finished basis/pure                                            2m55s 868MB
Nov 13 19:50:15 Starting translator
Nov 13 19:53:36 Finished translator                                            3m20s   1GB
Nov 13 19:53:36 Starting compiler/parsing
Nov 13 19:54:48 Finished compiler/parsing                                      1m11s   2GB
Nov 13 19:54:48 Starting characteristic
Nov 13 20:00:29 Finished characteristic                                        5m41s   1GB
Nov 13 20:00:29 Starting translator/monadic
Nov 13 20:02:13 Finished translator/monadic                                    1m44s   1GB
Nov 13 20:02:13 Starting basis
Nov 13 20:47:31 Finished basis                                                45m16s  15GB
Nov 13 20:47:31 Starting compiler/inference
Nov 13 20:48:48 Finished compiler/inference                                    1m16s   1GB
Nov 13 20:48:49 Starting compiler/backend/reg_alloc
Nov 13 20:49:57 Finished compiler/backend/reg_alloc                            1m07s   1GB
Nov 13 20:49:57 Starting compiler/backend/gc
Nov 13 20:53:27 Finished compiler/backend/gc                                   3m30s   2GB
Nov 13 20:53:27 Starting compiler/backend
Nov 13 20:58:29 Finished compiler/backend                                      5m01s   3GB
Nov 13 20:58:29 Starting compiler/encoders/asm
Nov 13 20:58:52 Finished compiler/encoders/asm                                   23s 685MB
Nov 13 20:58:52 Starting compiler/encoders/x64
Nov 13 20:59:56 Finished compiler/encoders/x64                                 1m03s 819MB
Nov 13 20:59:56 Starting compiler/encoders/arm7
Nov 13 21:01:58 Finished compiler/encoders/arm7                                2m02s   1GB
Nov 13 21:01:58 Starting compiler/encoders/arm8
Nov 13 21:02:36 Finished compiler/encoders/arm8                                  37s 628MB
Nov 13 21:02:36 Starting compiler/encoders/mips
Nov 13 21:04:02 Finished compiler/encoders/mips                                1m25s   1GB
Nov 13 21:04:02 Starting compiler/encoders/riscv
Nov 13 21:05:47 Finished compiler/encoders/riscv                               1m44s 938MB
Nov 13 21:05:47 Starting compiler/encoders/ag32
Nov 13 21:06:05 Finished compiler/encoders/ag32                                  17s 749MB
Nov 13 21:06:05 Starting compiler/backend/x64
Nov 13 21:06:25 Finished compiler/backend/x64                                    19s   1GB
Nov 13 21:06:25 Starting compiler/backend/arm7
Nov 13 21:06:46 Finished compiler/backend/arm7                                   21s   1GB
Nov 13 21:06:46 Starting compiler/backend/arm8
Nov 13 21:07:06 Finished compiler/backend/arm8                                   19s   1GB
Nov 13 21:07:06 Starting compiler/backend/mips
Nov 13 21:07:26 Finished compiler/backend/mips                                   19s   1GB
Nov 13 21:07:26 Starting compiler/backend/riscv
Nov 13 21:07:44 Finished compiler/backend/riscv                                  18s   1GB
Nov 13 21:07:44 Starting compiler/backend/ag32
Nov 13 21:08:54 Finished compiler/backend/ag32                                 1m09s   1GB
Nov 13 21:08:54 Starting compiler/parsing/proofs
Nov 13 21:15:45 Finished compiler/parsing/proofs                               6m51s   1GB
Nov 13 21:15:45 Starting compiler/inference/proofs
Nov 13 21:18:16 Finished compiler/inference/proofs                             2m30s   1GB
Nov 13 21:18:16 Starting compiler/backend/semantics
Nov 13 21:46:56 Finished compiler/backend/semantics                           28m40s   2GB
Nov 13 21:46:56 Starting compiler/backend/reg_alloc/proofs
Nov 13 21:50:28 Finished compiler/backend/reg_alloc/proofs                     3m30s   1GB
Nov 13 21:50:28 Starting compiler/backend/proofs
Nov 13 22:42:02 Finished compiler/backend/proofs                              51m33s  21GB
Nov 13 22:42:02 Starting compiler/backend/serialiser
Nov 13 22:43:12 Finished compiler/backend/serialiser                           1m10s   1GB
Nov 13 22:43:12 Starting compiler/encoders/x64/proofs
Nov 13 22:52:43 Finished compiler/encoders/x64/proofs                          9m28s   6GB
Nov 13 22:52:44 Starting compiler/encoders/arm7/proofs
Nov 13 23:05:57 Finished compiler/encoders/arm7/proofs                        13m12s   3GB
Nov 13 23:05:57 Starting compiler/encoders/arm8/proofs
Nov 13 23:12:44 Finished compiler/encoders/arm8/proofs                         6m46s   1GB
Nov 13 23:12:44 Starting compiler/encoders/mips/proofs
Nov 13 23:22:43 Finished compiler/encoders/mips/proofs                         9m58s   3GB
Nov 13 23:22:43 Starting compiler/encoders/riscv/proofs
Nov 13 23:31:30 Finished compiler/encoders/riscv/proofs                        8m46s   1GB
Nov 13 23:31:30 Starting compiler/encoders/ag32/proofs
Nov 13 23:34:05 Finished compiler/encoders/ag32/proofs                         2m34s 728MB
Nov 13 23:34:05 Starting compiler/backend/x64/proofs
Nov 13 23:34:28 Finished compiler/backend/x64/proofs                             22s   1GB
Nov 13 23:34:28 Starting compiler/backend/arm7/proofs
Nov 13 23:34:52 Finished compiler/backend/arm7/proofs                            23s   1GB
Nov 13 23:34:52 Starting compiler/backend/arm8/proofs
Nov 13 23:35:15 Finished compiler/backend/arm8/proofs                            22s   1GB
Nov 13 23:35:15 Starting compiler/backend/mips/proofs
Nov 13 23:35:39 Finished compiler/backend/mips/proofs                            23s   1GB
Nov 13 23:35:39 Starting compiler/backend/riscv/proofs
Nov 13 23:36:03 Finished compiler/backend/riscv/proofs                           23s   1GB
Nov 13 23:36:03 Starting compiler/backend/ag32/proofs
Nov 13 23:48:48 Finished compiler/backend/ag32/proofs                         12m45s   3GB
Nov 13 23:48:49 Starting compiler/proofs
Nov 15 10:46:53 Resuming compiler/proofs
Nov 15 10:49:08 Finished compiler/proofs                                       2m14s   4GB
Nov 15 10:49:08 Starting candle/set-theory
Nov 15 10:49:37 Finished candle/set-theory                                       29s 715MB
Nov 15 10:49:38 Starting candle/syntax-lib
Nov 15 10:49:49 Finished candle/syntax-lib                                       11s 663MB
Nov 15 10:49:49 Starting candle/standard/syntax
Nov 15 10:51:40 Finished candle/standard/syntax                                1m50s 994MB
Nov 15 10:51:40 Starting candle/standard/semantics
Nov 15 10:53:26 Finished candle/standard/semantics                             1m45s   1GB
Nov 15 10:53:26 Starting candle/standard/monadic
Nov 15 10:55:10 Finished candle/standard/monadic                               1m44s   1GB
Nov 15 10:55:10 Starting candle/standard/ml_kernel
Nov 15 11:00:49 Finished candle/standard/ml_kernel                             5m38s   5GB
Nov 15 11:00:49 Starting candle/overloading/syntax
Nov 15 11:03:59 Finished candle/overloading/syntax                             3m09s   1GB
Nov 15 11:04:00 Starting candle/overloading/semantics
Nov 15 11:16:05 Finished candle/overloading/semantics                         12m04s   4GB
Nov 15 11:16:05 Starting pancake
Nov 15 11:17:57 Finished pancake                                               1m52s   2GB
Nov 15 11:17:58 Starting pancake/ffi
Nov 15 11:17:58 Finished pancake/ffi                                              0s   8MB
Nov 15 11:17:58 Starting pancake/semantics
Nov 15 11:20:15 Finished pancake/semantics                                     2m16s   1GB
Nov 15 11:20:15 Starting pancake/proofs
Nov 15 11:32:53 Finished pancake/proofs                                       12m38s   7GB
Nov 15 11:32:54 Starting characteristic/examples
Nov 15 11:34:17 Finished characteristic/examples                               1m23s   3GB
Nov 15 11:34:17 Starting tutorial/solutions
Nov 15 11:49:58 Finished tutorial/solutions                                   15m39s  10GB
Nov 15 11:49:58 Starting translator/monadic/examples
Nov 15 11:53:15 Finished translator/monadic/examples                           3m17s   2GB
Nov 15 11:53:16 Starting examples
Nov 15 12:02:30 Finished examples                                              9m13s   4GB
Nov 15 12:02:30 Starting examples/compilation/x64
Nov 15 14:30:27 Finished examples/compilation/x64                           2h27m56s  22GB
Nov 15 14:30:28 Starting examples/compilation/x64/proofs
Nov 15 14:32:29 Finished examples/compilation/x64/proofs                       2m01s   3GB
Nov 15 14:32:30 Starting examples/compilation/ag32
Nov 15 15:06:51 Finished examples/compilation/ag32                            34m20s  10GB
Nov 15 15:06:51 Starting examples/compilation/ag32/proofs
Nov 15 15:07:39 Finished examples/compilation/ag32/proofs                        47s   2GB
Nov 15 15:07:39 Starting examples/cost
Nov 15 16:01:36 Finished examples/cost                                        53m56s   8GB
Nov 16 09:21:52 Resuming examples/lpr_checker
Nov 16 09:22:40 Finished examples/lpr_checker                                    47s   1GB
Nov 16 09:22:41 Starting examples/lpr_checker/array
Nov 16 09:50:25 Finished examples/lpr_checker/array                           27m44s   6GB
Nov 16 09:50:26 Starting examples/lpr_checker/array/compilation
Nov 16 11:13:48 Finished examples/lpr_checker/array/compilation             1h23m19s  34GB
Nov 16 11:13:48 Starting examples/lpr_checker/array/compilation/proofs
Nov 16 11:15:01 Finished examples/lpr_checker/array/compilation/proofs         1m13s   6GB
Nov 16 11:15:01 Starting examples/opentheory
Nov 16 11:24:45 Finished examples/opentheory                                   9m43s   5GB
Nov 16 11:24:45 Starting examples/opentheory
Nov 16 11:24:47 Finished examples/opentheory                                      1s  35MB
Nov 16 11:24:47 Starting examples/opentheory/compilation
Nov 16 12:00:41 Finished examples/opentheory/compilation                      35m53s  27GB
Nov 16 12:00:41 Starting examples/opentheory/compilation/proofs
Nov 16 12:01:25 Finished examples/opentheory/compilation/proofs                  44s   4GB
Nov 16 12:01:25 Starting examples/opentheory/compilation/ag32
Nov 16 12:39:30 Finished examples/opentheory/compilation/ag32                 38m02s  30GB
Nov 16 12:39:30 Starting examples/opentheory/compilation/ag32/proofs
Nov 16 12:41:25 Finished examples/opentheory/compilation/ag32/proofs           1m55s   5GB
Nov 16 12:41:26 Starting examples/sat_encodings
Nov 16 12:43:15 Finished examples/sat_encodings                                1m49s 889MB
Nov 16 12:43:15 Starting examples/sat_encodings/case_studies
Nov 16 12:44:48 Finished examples/sat_encodings/case_studies                   1m32s 780MB
Nov 16 12:44:48 Starting examples/sat_encodings/translation
Nov 16 12:50:28 Finished examples/sat_encodings/translation                    5m39s   5GB
Nov 16 12:50:28 Starting examples/sat_encodings/translation/compilation
Nov 16 13:39:00 Finished examples/sat_encodings/translation/compilation       48m32s  21GB
Nov 16 13:39:00 Starting translator/okasaki-examples
Nov 16 13:43:34 Finished translator/okasaki-examples                           4m31s   1GB
Nov 16 13:43:34 Starting translator/other-examples
Nov 16 13:45:21 Finished translator/other-examples                             1m46s   1GB
Nov 16 13:45:21 Starting compiler/parsing/tests
Nov 16 13:45:51 Finished compiler/parsing/tests                                  29s 555MB
Nov 16 13:45:51 Starting compiler/inference/tests
Nov 16 13:53:53 Finished compiler/inference/tests                              8m01s   6GB
Nov 16 13:53:53 Starting compiler/bootstrap/translation
Nov 16 16:29:44 Finished compiler/bootstrap/translation                     2h35m49s  25GB
Nov 16 16:29:44 Starting unverified/sexpr-bootstrap/x64/64
Nov 16 16:42:07 Finished unverified/sexpr-bootstrap/x64/64                    12m22s   9GB
Nov 16 16:42:07 Starting unverified/sexpr-bootstrap/x64/32
Nov 16 16:52:38 Finished unverified/sexpr-bootstrap/x64/32                    10m29s   8GB
Nov 16 16:52:38 Starting compiler/benchmarks
Nov 16 16:52:41 Finished compiler/benchmarks                                      3s  35MB
Nov 16 16:52:41 Starting compiler/bootstrap/compilation/x64/64
Nov 17 06:07:15 Finished compiler/bootstrap/compilation/x64/64             13h14m32s  64GB
Nov 17 06:07:15 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 17 06:09:30 Finished compiler/bootstrap/compilation/x64/64/proofs          2m15s  15GB
Nov 17 06:09:31 Starting compiler/bootstrap/compilation/x64/32
Nov 17 16:57:51 Finished compiler/bootstrap/compilation/x64/32             10h48m19s  64GB
Nov 17 16:57:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 17 17:00:49 Finished compiler/bootstrap/compilation/x64/32/proofs          2m57s  11GB
Nov 17 17:00:49 Starting compiler/bootstrap/compilation/ag32/32
Nov 18 04:28:02 Finished compiler/bootstrap/compilation/ag32/32            11h27m12s  64GB
Nov 18 04:28:02 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 18 04:59:35 Finished compiler/bootstrap/compilation/ag32/32/proofs        31m32s  23GB
Nov 18 04:59:35 SUCCESS