Job 2317

CakeML:865f0382dcffc38919b6d1ae355d103e3f570dc5
  Merge pull request #982 from CakeML/contexts [Mar 03 14:31:28]
HOL:e85cc6517e56eaf3dd7b907048e3b37f3b231337
  remove whitespace [Feb 22 00:27:01]
Machine:lammington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

Mar 03 14:50:06 Claimed job
Mar 03 14:50:11 Building HOL
Mar 03 15:04:10 Starting developers
Mar 03 15:04:14 Finished developers                                               2s 217MB
Mar 03 15:04:15 Starting developers/bin
Mar 03 15:04:25 Finished developers/bin                                           9s   1GB
Mar 03 15:04:26 Starting compiler/proofs
Mar 03 16:50:08 Finished compiler/proofs                                    1h45m41s  44GB
Mar 03 16:50:09 Starting compiler/bootstrap/translation
Mar 04 00:47:48 Finished compiler/bootstrap/translation                     7h57m37s  80GB
Mar 04 00:47:49 Starting semantics/ffi
Mar 04 00:47:57 Finished semantics/ffi                                            7s 701MB
Mar 04 00:47:58 Starting semantics
Mar 04 00:47:59 Finished semantics                                                0s  67MB
Mar 04 00:48:00 Starting semantics/proofs
Mar 04 00:48:36 Finished semantics/proofs                                        34s   2GB
Mar 04 00:48:37 Starting semantics/alt_semantics
Mar 04 00:49:17 Finished semantics/alt_semantics                                 38s   1GB
Mar 04 00:49:17 Starting semantics/alt_semantics/proofs
Mar 04 01:00:22 Finished semantics/alt_semantics/proofs                       11m03s   2GB
Mar 04 01:00:23 Starting basis/pure
Mar 04 01:00:24 Finished basis/pure                                               0s  68MB
Mar 04 01:00:25 Starting translator
Mar 04 01:02:07 Finished translator                                            1m41s   4GB
Mar 04 01:02:08 Starting compiler/parsing
Mar 04 01:02:10 Finished compiler/parsing                                         0s  72MB
Mar 04 01:02:10 Starting characteristic
Mar 04 01:02:12 Finished characteristic                                           0s  93MB
Mar 04 01:02:13 Starting translator/monadic
Mar 04 01:02:14 Finished translator/monadic                                       0s  90MB
Mar 04 01:02:15 Starting basis
Mar 04 01:05:50 Finished basis                                                 3m34s   5GB
Mar 04 01:05:51 Starting compiler/inference
Mar 04 01:05:53 Finished compiler/inference                                       0s  83MB
Mar 04 01:05:53 Starting compiler/backend/reg_alloc
Mar 04 01:05:55 Finished compiler/backend/reg_alloc                               0s  65MB
Mar 04 01:05:56 Starting compiler/backend/gc
Mar 04 01:05:57 Finished compiler/backend/gc                                      0s 134MB
Mar 04 01:05:58 Starting compiler/backend
Mar 04 01:06:16 Finished compiler/backend                                        17s   1GB
Mar 04 01:06:17 Starting compiler/encoders/asm
Mar 04 01:06:19 Finished compiler/encoders/asm                                    0s  85MB
Mar 04 01:06:20 Starting compiler/encoders/x64
Mar 04 01:06:21 Finished compiler/encoders/x64                                    0s  93MB
Mar 04 01:06:22 Starting compiler/encoders/arm7
Mar 04 01:06:23 Finished compiler/encoders/arm7                                   0s  98MB
Mar 04 01:06:24 Starting compiler/encoders/arm8
Mar 04 01:06:26 Finished compiler/encoders/arm8                                   0s  93MB
Mar 04 01:06:27 Starting compiler/encoders/arm8_asl
Mar 04 03:18:23 Finished compiler/encoders/arm8_asl                         2h11m55s  44GB
Mar 04 03:18:24 Starting compiler/encoders/mips
Mar 04 03:18:26 Finished compiler/encoders/mips                                   0s  93MB
Mar 04 03:18:27 Starting compiler/encoders/riscv
Mar 04 03:18:28 Finished compiler/encoders/riscv                                  0s  93MB
Mar 04 03:18:29 Starting compiler/encoders/ag32
Mar 04 03:18:30 Finished compiler/encoders/ag32                                   0s  94MB
Mar 04 03:18:31 Starting compiler/backend/x64
Mar 04 03:18:33 Finished compiler/backend/x64                                     0s 128MB
Mar 04 03:18:34 Starting compiler/backend/arm7
Mar 04 03:18:36 Finished compiler/backend/arm7                                    0s 127MB
Mar 04 03:18:37 Starting compiler/backend/arm8
Mar 04 03:18:39 Finished compiler/backend/arm8                                    0s 127MB
Mar 04 03:18:39 Starting compiler/backend/mips
Mar 04 03:18:41 Finished compiler/backend/mips                                    0s 128MB
Mar 04 03:18:42 Starting compiler/backend/riscv
Mar 04 03:18:44 Finished compiler/backend/riscv                                   0s 128MB
Mar 04 03:18:45 Starting compiler/backend/ag32
Mar 04 03:20:03 Finished compiler/backend/ag32                                 1m17s   3GB
Mar 04 03:20:04 Starting compiler/parsing/proofs
Mar 04 03:20:05 Finished compiler/parsing/proofs                                  0s  76MB
Mar 04 03:20:06 Starting compiler/inference/proofs
Mar 04 03:20:08 Finished compiler/inference/proofs                                0s  90MB
Mar 04 03:20:09 Starting compiler/backend/semantics
Mar 04 03:21:35 Finished compiler/backend/semantics                            1m25s   2GB
Mar 04 03:21:36 Starting compiler/backend/reg_alloc/proofs
Mar 04 03:21:37 Finished compiler/backend/reg_alloc/proofs                        0s  95MB
Mar 04 03:21:38 Starting compiler/backend/proofs
Mar 04 03:22:41 Finished compiler/backend/proofs                               1m01s   3GB
Mar 04 03:22:42 Starting compiler/backend/serialiser
Mar 04 03:22:44 Finished compiler/backend/serialiser                              1s 195MB
Mar 04 03:22:45 Starting compiler/encoders/x64/proofs
Mar 04 03:32:05 Finished compiler/encoders/x64/proofs                          9m19s   5GB
Mar 04 03:32:06 Starting compiler/encoders/arm7/proofs
Mar 04 03:44:52 Finished compiler/encoders/arm7/proofs                        12m44s  11GB
Mar 04 03:44:53 Starting compiler/encoders/arm8/proofs
Mar 04 03:51:27 Finished compiler/encoders/arm8/proofs                         6m32s   6GB
Mar 04 03:51:28 Starting compiler/encoders/arm8_asl/proofs
Mar 04 04:38:53 Finished compiler/encoders/arm8_asl/proofs                    47m23s  12GB
Mar 04 04:38:53 Starting compiler/encoders/mips/proofs
Mar 04 04:48:45 Finished compiler/encoders/mips/proofs                         9m50s   6GB
Mar 04 04:48:46 Starting compiler/encoders/riscv/proofs
Mar 04 04:57:18 Finished compiler/encoders/riscv/proofs                        8m31s   4GB
Mar 04 04:57:19 Starting compiler/encoders/ag32/proofs
Mar 04 04:59:42 Finished compiler/encoders/ag32/proofs                         2m21s   2GB
Mar 04 04:59:43 Starting compiler/backend/x64/proofs
Mar 04 05:00:23 Finished compiler/backend/x64/proofs                             38s   3GB
Mar 04 05:00:24 Starting compiler/backend/arm7/proofs
Mar 04 05:01:05 Finished compiler/backend/arm7/proofs                            40s   2GB
Mar 04 05:01:06 Starting compiler/backend/arm8/proofs
Mar 04 05:01:44 Finished compiler/backend/arm8/proofs                            37s   3GB
Mar 04 05:01:45 Starting compiler/backend/arm8_asl
Mar 04 05:02:14 Finished compiler/backend/arm8_asl                               27s   2GB
Mar 04 05:02:15 Starting compiler/backend/mips/proofs
Mar 04 05:02:58 Finished compiler/backend/mips/proofs                            42s   3GB
Mar 04 05:02:59 Starting compiler/backend/riscv/proofs
Mar 04 05:03:47 Finished compiler/backend/riscv/proofs                           47s   4GB
Mar 04 05:03:48 Starting compiler/backend/ag32/proofs
Mar 04 05:16:55 Finished compiler/backend/ag32/proofs                         13m06s   6GB
Mar 04 05:16:56 Starting candle/set-theory
Mar 04 05:17:41 Finished candle/set-theory                                       44s   1GB
Mar 04 05:17:42 Starting candle/syntax-lib
Mar 04 05:17:43 Finished candle/syntax-lib                                        0s  68MB
Mar 04 05:17:44 Starting candle/standard/syntax
Mar 04 05:18:00 Finished candle/standard/syntax                                  14s   1GB
Mar 04 05:18:01 Starting candle/standard/semantics
Mar 04 05:20:27 Finished candle/standard/semantics                             2m25s   3GB
Mar 04 05:20:28 Starting candle/standard/monadic
Mar 04 05:20:30 Finished candle/standard/monadic                                  0s 105MB
Mar 04 05:20:30 Starting candle/standard/ml_kernel
Mar 04 05:22:23 Finished candle/standard/ml_kernel                             1m51s   6GB
Mar 04 05:22:24 Starting candle/overloading/syntax
Mar 04 05:25:51 Finished candle/overloading/syntax                             3m25s   3GB
Mar 04 05:25:52 Starting candle/overloading/semantics
Mar 04 05:37:07 Finished candle/overloading/semantics                         11m14s   4GB
Mar 04 05:37:08 Starting candle/overloading/monadic
Mar 04 05:39:39 Finished candle/overloading/monadic                            2m30s   3GB
Mar 04 05:39:40 Starting candle/overloading/ml_kernel
Mar 04 05:47:09 Finished candle/overloading/ml_kernel                          7m27s   6GB
Mar 04 05:47:10 Starting candle/overloading/ml_checker
Mar 04 05:49:40 Finished candle/overloading/ml_checker                         2m29s   7GB
Mar 04 05:49:41 Starting candle/prover
Mar 04 05:59:29 Finished candle/prover                                         9m47s   5GB
Mar 04 05:59:30 Starting pancake
Mar 04 06:00:31 Finished pancake                                                 59s   1GB
Mar 04 06:00:32 Starting pancake/ffi
Mar 04 06:00:33 Finished pancake/ffi                                              0s  21MB
Mar 04 06:00:33 Starting pancake/semantics
Mar 04 06:02:52 Finished pancake/semantics                                     2m17s   2GB
Mar 04 06:02:53 Starting pancake/parser
Mar 04 06:03:19 Finished pancake/parser                                          25s   2GB
Mar 04 06:03:20 Starting pancake/proofs
Mar 04 06:32:46 Finished pancake/proofs                                       29m25s   8GB
Mar 04 06:32:47 Starting characteristic/examples
Mar 04 06:34:23 Finished characteristic/examples                               1m34s   6GB
Mar 04 06:34:24 Starting tutorial/solutions
Mar 04 06:50:07 Finished tutorial/solutions                                   15m42s  13GB
Mar 04 06:50:08 Starting translator/monadic/examples
Mar 04 06:53:55 Finished translator/monadic/examples                           3m45s   5GB
Mar 04 06:53:55 Starting examples
Mar 04 07:08:22 Finished examples                                             14m25s   7GB
Mar 04 07:08:23 Starting examples/compilation/x64
Mar 04 09:06:03 Finished examples/compilation/x64                           1h57m39s  32GB
Mar 04 09:06:04 Starting examples/compilation/x64/proofs
Mar 04 09:09:45 Finished examples/compilation/x64/proofs                       3m39s   6GB
Mar 04 09:09:46 Starting examples/compilation/ag32
Mar 04 09:39:24 Finished examples/compilation/ag32                            29m37s  10GB
Mar 04 09:39:25 Starting examples/compilation/ag32/proofs
Mar 04 09:40:57 Finished examples/compilation/ag32/proofs                      1m30s   6GB
Mar 04 09:40:58 Starting examples/compilation/to_word
Mar 04 09:44:44 Finished examples/compilation/to_word                          3m45s  12GB
Mar 04 09:44:45 Starting examples/lpr_checker
Mar 04 09:46:00 Finished examples/lpr_checker                                  1m14s   2GB
Mar 04 09:46:01 Starting examples/lpr_checker/array
Mar 04 10:14:43 Finished examples/lpr_checker/array                           28m41s   9GB
Mar 04 10:14:44 Starting examples/lpr_checker/array/compilation
Mar 04 10:49:51 Finished examples/lpr_checker/array/compilation               35m05s  61GB
Mar 04 10:49:52 Starting examples/lpr_checker/array/compilation/proofs
Mar 04 10:51:44 Finished examples/lpr_checker/array/compilation/proofs         1m51s   7GB
Mar 04 10:51:45 Starting examples/lpr_checker/array/compilation/proofsARM8
Mar 04 11:08:38 Finished examples/lpr_checker/array/compilation/proofsARM8    16m52s  51GB
Mar 04 11:08:39 Starting examples/xlrup_checker
Mar 04 11:09:48 Finished examples/xlrup_checker                                1m08s   1GB
Mar 04 11:09:49 Starting examples/xlrup_checker/array
Mar 04 11:26:19 Finished examples/xlrup_checker/array                         16m28s   6GB
Mar 04 11:26:20 Starting examples/xlrup_checker/array/compilation
Mar 04 11:47:56 Finished examples/xlrup_checker/array/compilation             21m34s  37GB
Mar 04 11:47:57 Starting examples/xlrup_checker/array/compilation/proofs
Mar 04 11:49:27 Finished examples/xlrup_checker/array/compilation/proofs       1m29s   6GB
Mar 04 11:49:28 Starting examples/pseudo_bool
Mar 04 11:51:29 Finished examples/pseudo_bool                                  2m00s   1GB
Mar 04 11:51:30 Starting examples/pseudo_bool/cnf_encoding
Mar 04 11:52:07 Finished examples/pseudo_bool/cnf_encoding                       36s   1GB
Mar 04 11:52:08 Starting examples/pseudo_bool/graph_encoding
Mar 04 11:52:57 Finished examples/pseudo_bool/graph_encoding                     48s   2GB
Mar 04 11:52:58 Starting examples/pseudo_bool/array
Mar 04 12:56:14 Finished examples/pseudo_bool/array                         1h03m15s  29GB
Mar 04 12:56:15 Starting examples/pseudo_bool/array/compilation
Mar 04 20:23:29 Finished examples/pseudo_bool/array/compilation             7h27m12s 151GB
Mar 04 20:23:30 Starting examples/pseudo_bool/array/compilation/proofs
Mar 04 20:26:41 Finished examples/pseudo_bool/array/compilation/proofs         3m10s   8GB
Mar 04 20:26:42 Starting examples/opentheory
Mar 04 20:37:18 Finished examples/opentheory                                  10m35s   7GB
Mar 04 20:37:19 Starting examples/opentheory
Mar 04 20:37:20 Finished examples/opentheory                                      0s 123MB
Mar 04 20:37:21 Starting examples/opentheory/compilation
Mar 04 21:12:17 Finished examples/opentheory/compilation                      34m54s  50GB
Mar 04 21:12:18 Starting examples/opentheory/compilation/proofs
Mar 04 21:13:45 Finished examples/opentheory/compilation/proofs                1m26s   6GB
Mar 04 21:13:45 Starting examples/opentheory/compilation/ag32
Mar 04 21:46:06 Finished examples/opentheory/compilation/ag32                 32m19s  50GB
Mar 04 21:46:07 Starting examples/opentheory/compilation/ag32/proofs
Mar 04 21:48:33 Finished examples/opentheory/compilation/ag32/proofs           2m24s  11GB
Mar 04 21:48:33 Starting examples/sat_encodings
Mar 04 21:51:10 Finished examples/sat_encodings                                2m36s   1GB
Mar 04 21:51:11 Starting examples/sat_encodings/case_studies
Mar 04 21:53:08 Finished examples/sat_encodings/case_studies                   1m55s   2GB
Mar 04 21:53:09 Starting examples/sat_encodings/translation
Mar 04 21:59:15 Finished examples/sat_encodings/translation                    6m05s   7GB
Mar 04 21:59:16 Starting examples/sat_encodings/translation/compilation
Mar 04 22:33:39 Finished examples/sat_encodings/translation/compilation       34m21s  39GB
Mar 04 22:33:40 Starting examples/deflate
Mar 04 22:34:56 Finished examples/deflate                                      1m14s   1GB
Mar 04 22:34:56 Starting examples/deflate/translation
Mar 04 22:36:34 Finished examples/deflate/translation                          1m36s   7GB
Mar 04 22:36:35 Starting examples/deflate/translation/compilation
Mar 04 22:52:49 Finished examples/deflate/translation/compilation             16m12s  15GB
Mar 04 22:52:50 Starting examples/vipr
Mar 04 22:56:47 Finished examples/vipr                                         3m56s   5GB
Mar 04 22:56:48 Starting examples/vipr/compilation
Mar 04 23:16:42 Finished examples/vipr/compilation                            19m52s  28GB
Mar 04 23:16:43 Starting translator/okasaki-examples
Mar 04 23:21:42 Finished translator/okasaki-examples                           4m58s   4GB
Mar 04 23:21:43 Starting translator/other-examples
Mar 04 23:26:24 Finished translator/other-examples                             4m40s   3GB
Mar 04 23:26:25 Starting compiler/parsing/tests
Mar 04 23:26:59 Finished compiler/parsing/tests                                  32s   1GB
Mar 04 23:27:00 Starting compiler/inference/tests
Mar 04 23:34:35 Finished compiler/inference/tests                              7m33s   7GB
Mar 04 23:34:35 Starting compiler/printing/test
Mar 04 23:38:08 Finished compiler/printing/test                                3m31s   6GB
Mar 04 23:38:09 Starting icing/flover
Mar 05 00:13:35 Finished icing/flover                                         35m25s   4GB
Mar 05 00:13:36 Starting icing/
Mar 05 01:08:57 Finished icing/                                               55m20s  27GB
Mar 05 01:08:58 Starting icing/examples
Mar 05 01:10:40 Finished icing/examples                                        1m40s   8GB
Mar 05 01:10:41 Starting compiler/repl
Mar 05 01:19:21 Finished compiler/repl                                         8m38s  10GB
Mar 05 01:19:21 Starting unverified/sexpr-bootstrap/x64/64
Mar 05 01:30:51 Finished unverified/sexpr-bootstrap/x64/64                    11m03s  16GB
Mar 05 01:30:52 Starting unverified/sexpr-bootstrap/x64/32
Mar 05 01:40:10 Finished unverified/sexpr-bootstrap/x64/32                     8m59s  14GB
Mar 05 01:40:11 Starting compiler/benchmarks
Mar 05 01:40:56 Finished compiler/benchmarks                                     43s 713MB
Mar 05 01:40:57 Starting compiler/bootstrap/compilation/x64/64
Mar 05 16:11:10 Finished compiler/bootstrap/compilation/x64/64             14h30m00s 143GB
Mar 05 16:11:10 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 05 16:32:21 Finished compiler/bootstrap/compilation/x64/64/proofs         21m10s  46GB
Mar 05 16:32:22 Starting compiler/bootstrap/compilation/x64/32
Mar 06 00:00:22 Finished compiler/bootstrap/compilation/x64/32              7h27m52s 174GB
Mar 06 00:00:23 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 06 00:03:51 Finished compiler/bootstrap/compilation/x64/32/proofs          3m27s  18GB
Mar 06 00:03:52 Starting compiler/bootstrap/compilation/ag32/32
Mar 06 23:42:55 Resuming compiler/bootstrap/compilation/ag32/32
Mar 06 23:42:58 Finished compiler/bootstrap/compilation/ag32/32                   2s 275MB
Mar 06 23:42:59 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 06 23:50:28 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m27s  49GB
Mar 06 23:50:29 SUCCESS