Job 2753

CakeML:3f6d27d17c58e4c14f23eb5148f2e682bdf82aef
  Merge pull request #1111 from CakeML/parsingCompute [Dec 12 23:25:46]
HOL:1c3270d819e95cdf222b564e34d657a2dfd38a0e
  fix #1371 [Dec 12 01:36:54]
Machine:lammmington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Dec 15 03:48:55 Claimed job
Dec 15 03:48:59 Reusing HOL
Dec 15 03:49:09 Starting developers
Dec 15 03:49:13 Finished developers                                               2s 198MB
Dec 15 03:49:14 Starting developers/bin
Dec 15 03:49:20 Finished developers/bin                                           5s 746MB
Dec 15 03:49:21 Starting compiler/proofs
Dec 15 05:28:34 Finished compiler/proofs                                    1h39m11s  31GB
Dec 15 05:28:35 Starting compiler/bootstrap/translation
Dec 15 11:21:21 Finished compiler/bootstrap/translation                     5h52m44s  64GB
Dec 15 11:21:22 Starting semantics/ffi
Dec 15 11:21:32 Finished semantics/ffi                                            9s 614MB
Dec 15 11:21:33 Starting semantics
Dec 15 11:21:34 Finished semantics                                                0s  53MB
Dec 15 11:21:35 Starting semantics/proofs
Dec 15 11:21:59 Finished semantics/proofs                                        22s 857MB
Dec 15 11:21:59 Starting semantics/alt_semantics
Dec 15 11:22:20 Finished semantics/alt_semantics                                 19s 604MB
Dec 15 11:22:21 Starting semantics/alt_semantics/proofs
Dec 15 11:32:51 Finished semantics/alt_semantics/proofs                       10m28s   2GB
Dec 15 11:32:51 Starting basis/pure
Dec 15 11:32:53 Finished basis/pure                                               0s  60MB
Dec 15 11:32:54 Starting translator
Dec 15 11:34:27 Finished translator                                            1m32s   3GB
Dec 15 11:34:28 Starting compiler/parsing
Dec 15 11:34:29 Finished compiler/parsing                                         0s  59MB
Dec 15 11:34:30 Starting characteristic
Dec 15 11:34:32 Finished characteristic                                           0s  80MB
Dec 15 11:34:33 Starting translator/monadic
Dec 15 11:34:35 Finished translator/monadic                                       0s  86MB
Dec 15 11:34:36 Starting basis
Dec 15 11:36:59 Finished basis                                                 2m22s   4GB
Dec 15 11:37:00 Starting compiler/inference
Dec 15 11:37:02 Finished compiler/inference                                       0s  85MB
Dec 15 11:37:03 Starting compiler/backend/reg_alloc
Dec 15 11:37:04 Finished compiler/backend/reg_alloc                               0s  53MB
Dec 15 11:37:05 Starting compiler/backend/gc
Dec 15 11:37:07 Finished compiler/backend/gc                                      1s 127MB
Dec 15 11:37:08 Starting compiler/backend
Dec 15 11:37:13 Finished compiler/backend                                         3s 258MB
Dec 15 11:37:14 Starting compiler/encoders/asm
Dec 15 11:37:15 Finished compiler/encoders/asm                                    0s  86MB
Dec 15 11:37:16 Starting compiler/encoders/x64
Dec 15 11:37:18 Finished compiler/encoders/x64                                    0s  92MB
Dec 15 11:37:19 Starting compiler/encoders/arm7
Dec 15 11:37:21 Finished compiler/encoders/arm7                                   0s  85MB
Dec 15 11:37:21 Starting compiler/encoders/arm8
Dec 15 11:37:23 Finished compiler/encoders/arm8                                   0s  86MB
Dec 15 11:37:24 Starting compiler/encoders/arm8_asl
Dec 15 11:38:22 Finished compiler/encoders/arm8_asl                              57s  20GB
Dec 15 11:38:23 Starting compiler/encoders/mips
Dec 15 11:38:25 Finished compiler/encoders/mips                                   0s  86MB
Dec 15 11:38:25 Starting compiler/encoders/riscv
Dec 15 11:38:27 Finished compiler/encoders/riscv                                  0s  86MB
Dec 15 11:38:28 Starting compiler/encoders/ag32
Dec 15 11:38:30 Finished compiler/encoders/ag32                                   0s  85MB
Dec 15 11:38:31 Starting compiler/backend/x64
Dec 15 11:38:33 Finished compiler/backend/x64                                     1s 126MB
Dec 15 11:38:34 Starting compiler/backend/arm7
Dec 15 11:38:36 Finished compiler/backend/arm7                                    1s 126MB
Dec 15 11:38:36 Starting compiler/backend/arm8
Dec 15 11:38:39 Finished compiler/backend/arm8                                    1s 126MB
Dec 15 11:38:39 Starting compiler/backend/mips
Dec 15 11:38:41 Finished compiler/backend/mips                                    1s 126MB
Dec 15 11:38:42 Starting compiler/backend/riscv
Dec 15 11:38:44 Finished compiler/backend/riscv                                   1s 126MB
Dec 15 11:38:45 Starting compiler/backend/ag32
Dec 15 11:39:51 Finished compiler/backend/ag32                                 1m04s   1GB
Dec 15 11:39:52 Starting compiler/parsing/proofs
Dec 15 11:39:53 Finished compiler/parsing/proofs                                  0s  65MB
Dec 15 11:39:54 Starting compiler/inference/proofs
Dec 15 11:39:56 Finished compiler/inference/proofs                                0s  84MB
Dec 15 11:39:57 Starting compiler/backend/semantics
Dec 15 11:43:01 Finished compiler/backend/semantics                            3m03s   2GB
Dec 15 11:43:02 Starting compiler/backend/reg_alloc/proofs
Dec 15 11:43:04 Finished compiler/backend/reg_alloc/proofs                        0s  84MB
Dec 15 11:43:05 Starting compiler/backend/proofs
Dec 15 11:43:53 Finished compiler/backend/proofs                                 47s   2GB
Dec 15 11:43:54 Starting compiler/backend/serialiser
Dec 15 11:43:56 Finished compiler/backend/serialiser                              1s 135MB
Dec 15 11:43:57 Starting compiler/encoders/x64/proofs
Dec 15 11:54:26 Finished compiler/encoders/x64/proofs                         10m27s   4GB
Dec 15 11:54:26 Starting compiler/encoders/arm7/proofs
Dec 15 12:07:55 Finished compiler/encoders/arm7/proofs                        13m27s  10GB
Dec 15 12:07:56 Starting compiler/encoders/arm8/proofs
Dec 15 12:14:46 Finished compiler/encoders/arm8/proofs                         6m48s   3GB
Dec 15 12:14:47 Starting compiler/encoders/arm8_asl/proofs
Dec 15 12:30:18 Finished compiler/encoders/arm8_asl/proofs                    15m30s   3GB
Dec 15 12:30:19 Starting compiler/encoders/mips/proofs
Dec 15 12:40:38 Finished compiler/encoders/mips/proofs                        10m17s   3GB
Dec 15 12:40:39 Starting compiler/encoders/riscv/proofs
Dec 15 12:48:50 Finished compiler/encoders/riscv/proofs                        8m09s   4GB
Dec 15 12:48:50 Starting compiler/encoders/ag32/proofs
Dec 15 12:51:44 Finished compiler/encoders/ag32/proofs                         2m52s   1GB
Dec 15 12:51:45 Starting compiler/backend/x64/proofs
Dec 15 12:52:16 Finished compiler/backend/x64/proofs                             30s   2GB
Dec 15 12:52:16 Starting compiler/backend/arm7/proofs
Dec 15 12:52:46 Finished compiler/backend/arm7/proofs                            28s   1GB
Dec 15 12:52:47 Starting compiler/backend/arm8/proofs
Dec 15 12:53:16 Finished compiler/backend/arm8/proofs                            28s   1GB
Dec 15 12:53:17 Starting compiler/backend/arm8_asl
Dec 15 12:53:40 Finished compiler/backend/arm8_asl                               21s   1GB
Dec 15 12:53:41 Starting compiler/backend/mips/proofs
Dec 15 12:54:11 Finished compiler/backend/mips/proofs                            29s   2GB
Dec 15 12:54:12 Starting compiler/backend/riscv/proofs
Dec 15 12:54:43 Finished compiler/backend/riscv/proofs                           30s   2GB
Dec 15 12:54:44 Starting compiler/backend/ag32/proofs
Dec 15 13:08:38 Finished compiler/backend/ag32/proofs                         13m52s   5GB
Dec 15 13:08:38 Starting compiler/backend/cv_compute
Dec 15 13:09:46 Finished compiler/backend/cv_compute                           1m06s   1GB
Dec 15 13:09:47 Starting cv_translator
Dec 15 13:27:21 Finished cv_translator                                        17m32s   7GB
Dec 15 13:27:22 Starting candle/set-theory
Dec 15 13:27:57 Finished candle/set-theory                                       34s   1GB
Dec 15 13:27:58 Starting candle/syntax-lib
Dec 15 13:27:59 Finished candle/syntax-lib                                        0s  59MB
Dec 15 13:28:00 Starting candle/standard/syntax
Dec 15 13:28:13 Finished candle/standard/syntax                                  11s 773MB
Dec 15 13:28:14 Starting candle/standard/semantics
Dec 15 13:30:18 Finished candle/standard/semantics                             2m03s   2GB
Dec 15 13:30:19 Starting candle/standard/monadic
Dec 15 13:30:21 Finished candle/standard/monadic                                  0s  94MB
Dec 15 13:30:22 Starting candle/standard/ml_kernel
Dec 15 13:32:07 Finished candle/standard/ml_kernel                             1m44s   4GB
Dec 15 13:32:08 Starting candle/overloading/syntax
Dec 15 13:35:15 Finished candle/overloading/syntax                             3m06s   2GB
Dec 15 13:35:16 Starting candle/overloading/semantics
Dec 15 13:46:32 Finished candle/overloading/semantics                         11m15s   5GB
Dec 15 13:46:33 Starting candle/overloading/monadic
Dec 15 13:48:53 Finished candle/overloading/monadic                            2m18s   2GB
Dec 15 13:48:53 Starting candle/overloading/ml_kernel
Dec 15 13:56:07 Finished candle/overloading/ml_kernel                          7m12s   5GB
Dec 15 13:56:08 Starting candle/overloading/ml_checker
Dec 15 13:58:17 Finished candle/overloading/ml_checker                         2m08s   6GB
Dec 15 13:58:18 Starting candle/prover
Dec 15 14:07:58 Finished candle/prover                                         9m39s   5GB
Dec 15 14:07:59 Starting pancake
Dec 15 14:08:21 Finished pancake                                                 20s 852MB
Dec 15 14:08:22 Starting pancake/ffi
Dec 15 14:08:23 Finished pancake/ffi                                              0s  11MB
Dec 15 14:08:24 Starting pancake/semantics
Dec 15 14:10:34 Finished pancake/semantics                                     2m08s   2GB
Dec 15 14:10:34 Starting pancake/parser
Dec 15 14:10:58 Finished pancake/parser                                          22s 454MB
Dec 15 14:10:59 Starting pancake/proofs
Dec 15 14:27:06 Finished pancake/proofs                                       16m06s   6GB
Dec 15 14:27:07 Starting compiler/dafny
Dec 15 14:29:35 Finished compiler/dafny                                        2m26s   7GB
Dec 15 14:29:36 Starting compiler/dafny/translation
Dec 15 14:46:38 Finished compiler/dafny/translation                           17m01s  19GB
Dec 15 14:46:39 Starting compiler/dafny/compilation
Dec 15 14:49:08 Finished compiler/dafny/compilation                            2m28s   7GB
Dec 15 14:49:09 Starting compiler/dafny/semantics
Dec 15 14:49:45 Finished compiler/dafny/semantics                                35s   1GB
Dec 15 14:49:46 Starting characteristic/examples
Dec 15 14:51:11 Finished characteristic/examples                               1m24s   3GB
Dec 15 14:51:12 Starting tutorial/solutions
Dec 15 14:53:36 Finished tutorial/solutions                                    2m23s   3GB
Dec 15 14:53:37 Starting translator/monadic/examples
Dec 15 14:56:33 Finished translator/monadic/examples                           2m54s   3GB
Dec 15 14:56:34 Starting examples
Dec 15 15:02:34 Finished examples                                              5m59s   5GB
Dec 15 15:02:35 Starting examples/compilation/x64
Dec 15 15:09:14 Finished examples/compilation/x64                              6m38s   4GB
Dec 15 15:09:15 Starting examples/compilation/x64/proofs
Dec 15 15:11:33 Finished examples/compilation/x64/proofs                       2m17s   3GB
Dec 15 15:11:34 Starting examples/compilation/ag32
Dec 15 15:13:21 Finished examples/compilation/ag32                             1m46s   3GB
Dec 15 15:13:22 Starting examples/compilation/ag32/proofs
Dec 15 15:14:19 Finished examples/compilation/ag32/proofs                        56s   4GB
Dec 15 15:14:20 Starting examples/lpr_checker
Dec 15 15:14:50 Finished examples/lpr_checker                                    29s   1GB
Dec 15 15:14:51 Starting examples/lpr_checker/array
Dec 15 15:41:23 Finished examples/lpr_checker/array                           26m30s  27GB
Dec 15 15:41:24 Starting examples/lpr_checker/array/compilation
Dec 15 15:43:09 Finished examples/lpr_checker/array/compilation                1m44s   7GB
Dec 15 15:43:10 Starting examples/lpr_checker/array/compilation/proofs
Dec 15 15:44:19 Finished examples/lpr_checker/array/compilation/proofs         1m08s   6GB
Dec 15 15:44:20 Starting examples/lpr_checker/array/compilation/proofsARM8
Dec 15 15:45:26 Finished examples/lpr_checker/array/compilation/proofsARM8     1m05s   6GB
Dec 15 15:45:27 Starting .
Dec 15 15:45:31 Finished .                                                        2s 294MB
Dec 15 15:45:32 Starting examples/xlrup_checker
Dec 15 15:46:06 Finished examples/xlrup_checker                                  33s   1GB
Dec 15 15:46:07 Starting examples/xlrup_checker/array
Dec 15 15:59:02 Finished examples/xlrup_checker/array                         12m54s   8GB
Dec 15 15:59:03 Starting examples/xlrup_checker/array/compilation
Dec 15 16:00:01 Finished examples/xlrup_checker/array/compilation                57s   4GB
Dec 15 16:00:02 Starting examples/xlrup_checker/array/compilation/proofs
Dec 15 16:00:56 Finished examples/xlrup_checker/array/compilation/proofs         53s   4GB
Dec 15 16:00:57 Starting examples/pseudo_bool
Dec 15 16:02:28 Finished examples/pseudo_bool                                  1m30s   2GB
Dec 15 16:02:29 Starting examples/pseudo_bool/cnf_encoding
Dec 15 16:02:59 Finished examples/pseudo_bool/cnf_encoding                       28s   1GB
Dec 15 16:03:00 Starting examples/pseudo_bool/graph_encoding
Dec 15 16:03:44 Finished examples/pseudo_bool/graph_encoding                     43s   1GB
Dec 15 16:03:45 Starting examples/pseudo_bool/array
Dec 15 17:12:45 Finished examples/pseudo_bool/array                         1h08m58s  42GB
Dec 15 17:12:46 Starting examples/pseudo_bool/array/compilation
Dec 15 17:21:22 Finished examples/pseudo_bool/array/compilation                8m35s  17GB
Dec 15 17:21:23 Starting examples/pseudo_bool/array/compilation/proofs
Dec 15 17:23:58 Finished examples/pseudo_bool/array/compilation/proofs         2m34s   6GB
Dec 15 17:23:59 Starting examples/pseudo_bool/array/compilation/proofsARM8
Dec 15 17:25:12 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m11s   6GB
Dec 15 17:25:12 Starting examples/opentheory
Dec 15 17:33:56 Finished examples/opentheory                                   8m43s   5GB
Dec 15 17:33:57 Starting examples/opentheory
Dec 15 17:33:59 Finished examples/opentheory                                      1s 124MB
Dec 15 17:34:00 Starting examples/opentheory/compilation
Dec 15 17:35:23 Finished examples/opentheory/compilation                       1m21s   5GB
Dec 15 17:35:24 Starting examples/opentheory/compilation/proofs
Dec 15 17:36:19 Finished examples/opentheory/compilation/proofs                  53s   4GB
Dec 15 17:36:19 Starting examples/opentheory/compilation/ag32
Dec 15 17:37:47 Finished examples/opentheory/compilation/ag32                  1m27s   6GB
Dec 15 17:37:48 Starting examples/opentheory/compilation/ag32/proofs
Dec 15 17:39:21 Finished examples/opentheory/compilation/ag32/proofs           1m31s   7GB
Dec 15 17:39:22 Starting examples/sat_encodings
Dec 15 17:40:22 Finished examples/sat_encodings                                  58s 780MB
Dec 15 17:40:23 Starting examples/sat_encodings/case_studies
Dec 15 17:42:06 Finished examples/sat_encodings/case_studies                   1m42s   1GB
Dec 15 17:42:07 Starting examples/sat_encodings/translation
Dec 15 17:45:39 Finished examples/sat_encodings/translation                    3m31s   3GB
Dec 15 17:45:40 Starting examples/sat_encodings/translation/compilation
Dec 15 17:47:27 Finished examples/sat_encodings/translation/compilation        1m45s   4GB
Dec 15 17:47:28 Starting examples/deflate
Dec 15 17:47:56 Finished examples/deflate                                        27s 756MB
Dec 15 17:47:57 Starting examples/deflate/translation
Dec 15 17:48:52 Finished examples/deflate/translation                            54s   2GB
Dec 15 17:48:53 Starting examples/deflate/translation/compilation
Dec 15 17:49:41 Finished examples/deflate/translation/compilation                47s   3GB
Dec 15 17:49:42 Starting examples/vipr
Dec 15 17:53:11 Finished examples/vipr                                         3m27s   4GB
Dec 15 17:53:12 Starting examples/vipr/compilation
Dec 15 17:54:06 Finished examples/vipr/compilation                               53s   4GB
Dec 15 17:54:07 Starting translator/okasaki-examples
Dec 15 17:58:11 Finished translator/okasaki-examples                           4m03s   3GB
Dec 15 17:58:11 Starting translator/other-examples
Dec 15 17:59:04 Finished translator/other-examples                               51s   2GB
Dec 15 17:59:05 Starting compiler/parsing/tests
Dec 15 17:59:40 Finished compiler/parsing/tests                                  34s   1GB
Dec 15 17:59:41 Starting compiler/inference/tests
Dec 15 18:00:18 Finished compiler/inference/tests                                35s   2GB
Dec 15 18:00:18 Starting compiler/printing/test
Dec 15 18:01:34 Finished compiler/printing/test                                1m14s   4GB
Dec 15 18:01:35 Starting icing/flover
Dec 15 18:36:02 Finished icing/flover                                         34m26s   1GB
Dec 15 18:36:03 Starting icing/
Dec 15 19:03:18 Finished icing/                                               27m14s   4GB
Dec 15 19:03:19 Starting icing/examples
Dec 15 19:04:51 Finished icing/examples                                        1m31s   8GB
Dec 15 19:04:52 Starting compiler/repl
Dec 15 19:12:53 Finished compiler/repl                                         8m00s   6GB
Dec 15 19:12:54 Starting unverified/sexpr-bootstrap/x64/64
Dec 15 19:17:01 Finished unverified/sexpr-bootstrap/x64/64                     3m52s  16GB
Dec 15 19:17:02 Starting unverified/sexpr-bootstrap/x64/32
Dec 15 19:20:25 Finished unverified/sexpr-bootstrap/x64/32                     3m12s  13GB
Dec 15 19:20:26 Starting compiler/benchmarks
Dec 15 19:21:12 Finished compiler/benchmarks                                     44s 712MB
Dec 15 19:21:13 Starting compiler/bootstrap/compilation/x64/64
Dec 15 19:45:36 Finished compiler/bootstrap/compilation/x64/64                24m10s  90GB
Dec 15 19:45:37 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 15 20:10:08 Finished compiler/bootstrap/compilation/x64/64/proofs         24m30s  52GB
Dec 15 20:10:09 Starting compiler/bootstrap/compilation/x64/32
Dec 15 20:35:25 Finished compiler/bootstrap/compilation/x64/32                25m08s  71GB
Dec 15 20:35:26 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 15 20:40:10 Finished compiler/bootstrap/compilation/x64/32/proofs          4m42s  24GB
Dec 15 20:40:11 Starting compiler/bootstrap/compilation/arm8/64
Dec 15 21:16:22 Finished compiler/bootstrap/compilation/arm8/64               36m02s  92GB
Dec 15 21:16:23 Starting compiler/bootstrap/compilation/arm8/64/proofs
Dec 15 21:21:40 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m15s  29GB
Dec 15 21:21:41 Starting compiler/bootstrap/compilation/ag32/32
Dec 15 21:46:52 Finished compiler/bootstrap/compilation/ag32/32               25m09s  77GB
Dec 15 21:46:53 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 15 21:52:15 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m21s  30GB
Dec 15 21:52:16 SUCCESS