Job 2693

CakeML:5beb1d1ddf5b84d5c7aadd4ae7749a3c3a4b7251
  Use cv_eval_raw when computing livesets [Nov 08 21:19:27]
#1084 (use_eval_raw)
Merging into:4dea05380e66e854057dd700878ea3fb76cd1d2b
  Update NEWS.md [Oct 30 14:44:49]
HOL:2de6b3ccc36da9c19998787a835c3ef9c81466fe
  Add a cute problem to examples/misc [Oct 30 04:33:10]
Machine:lammmington

Nov 08 21:37:22 Claimed job
Nov 08 21:37:27 Reusing HOL
Nov 08 21:37:39 Starting developers
Nov 08 21:37:43 Finished developers                                               3s 178MB
Nov 08 21:37:44 Starting developers/bin
Nov 08 21:38:06 Finished developers/bin                                          20s   1GB
Nov 08 21:38:07 Starting compiler/proofs
Nov 08 23:20:30 Finished compiler/proofs                                    1h42m22s  35GB
Nov 08 23:20:31 Starting compiler/bootstrap/translation
Nov 09 19:28:33 Resuming compiler/bootstrap/translation
Nov 09 19:28:38 Finished compiler/bootstrap/translation                           3s 268MB
Nov 09 19:28:38 Starting semantics/ffi
Nov 09 19:28:55 Finished semantics/ffi                                           15s   1GB
Nov 09 19:28:56 Starting semantics
Nov 09 19:28:57 Finished semantics                                                0s  61MB
Nov 09 19:28:58 Starting semantics/proofs
Nov 09 19:29:22 Finished semantics/proofs                                        23s 651MB
Nov 09 19:29:23 Starting semantics/alt_semantics
Nov 09 19:29:44 Finished semantics/alt_semantics                                 19s 487MB
Nov 09 19:29:45 Starting semantics/alt_semantics/proofs
Nov 09 19:40:00 Finished semantics/alt_semantics/proofs                       10m14s   2GB
Nov 09 19:40:01 Starting basis/pure
Nov 09 19:40:02 Finished basis/pure                                               0s  70MB
Nov 09 19:40:03 Starting translator
Nov 09 19:41:43 Finished translator                                            1m39s   2GB
Nov 09 19:41:44 Starting compiler/parsing
Nov 09 19:41:46 Finished compiler/parsing                                         0s  72MB
Nov 09 19:41:47 Starting characteristic
Nov 09 19:41:48 Finished characteristic                                           0s  92MB
Nov 09 19:41:49 Starting translator/monadic
Nov 09 19:41:51 Finished translator/monadic                                       0s 100MB
Nov 09 19:41:52 Starting basis
Nov 09 19:44:15 Finished basis                                                 2m22s   4GB
Nov 09 19:44:16 Starting compiler/inference
Nov 09 19:44:17 Finished compiler/inference                                       0s  93MB
Nov 09 19:44:18 Starting compiler/backend/reg_alloc
Nov 09 19:44:20 Finished compiler/backend/reg_alloc                               0s  65MB
Nov 09 19:44:21 Starting compiler/backend/gc
Nov 09 19:44:23 Finished compiler/backend/gc                                      1s 138MB
Nov 09 19:44:24 Starting compiler/backend
Nov 09 19:44:29 Finished compiler/backend                                         4s 306MB
Nov 09 19:44:30 Starting compiler/encoders/asm
Nov 09 19:44:31 Finished compiler/encoders/asm                                    0s  89MB
Nov 09 19:44:32 Starting compiler/encoders/x64
Nov 09 19:44:34 Finished compiler/encoders/x64                                    0s 103MB
Nov 09 19:44:35 Starting compiler/encoders/arm7
Nov 09 19:44:37 Finished compiler/encoders/arm7                                   0s 102MB
Nov 09 19:44:37 Starting compiler/encoders/arm8
Nov 09 19:44:39 Finished compiler/encoders/arm8                                   0s  99MB
Nov 09 19:44:40 Starting compiler/encoders/arm8_asl
Nov 09 19:46:55 Finished compiler/encoders/arm8_asl                            2m13s   1GB
Nov 09 19:46:56 Starting compiler/encoders/mips
Nov 09 19:46:57 Finished compiler/encoders/mips                                   0s  99MB
Nov 09 19:46:58 Starting compiler/encoders/riscv
Nov 09 19:47:00 Finished compiler/encoders/riscv                                  0s  99MB
Nov 09 19:47:01 Starting compiler/encoders/ag32
Nov 09 19:47:02 Finished compiler/encoders/ag32                                   0s  97MB
Nov 09 19:47:03 Starting compiler/backend/x64
Nov 09 19:47:05 Finished compiler/backend/x64                                     1s 137MB
Nov 09 19:47:06 Starting compiler/backend/arm7
Nov 09 19:47:08 Finished compiler/backend/arm7                                    1s 138MB
Nov 09 19:47:09 Starting compiler/backend/arm8
Nov 09 19:47:11 Finished compiler/backend/arm8                                    1s 138MB
Nov 09 19:47:12 Starting compiler/backend/mips
Nov 09 19:47:14 Finished compiler/backend/mips                                    1s 137MB
Nov 09 19:47:15 Starting compiler/backend/riscv
Nov 09 19:47:17 Finished compiler/backend/riscv                                   1s 137MB
Nov 09 19:47:18 Starting compiler/backend/ag32
Nov 09 19:48:29 Finished compiler/backend/ag32                                 1m10s   2GB
Nov 09 19:48:30 Starting compiler/parsing/proofs
Nov 09 19:48:31 Finished compiler/parsing/proofs                                  0s  75MB
Nov 09 19:48:32 Starting compiler/inference/proofs
Nov 09 19:48:34 Finished compiler/inference/proofs                                0s  92MB
Nov 09 19:48:35 Starting compiler/backend/semantics
Nov 09 19:51:49 Finished compiler/backend/semantics                            3m12s   2GB
Nov 09 19:51:49 Starting compiler/backend/reg_alloc/proofs
Nov 09 19:51:51 Finished compiler/backend/reg_alloc/proofs                        0s  94MB
Nov 09 19:51:52 Starting compiler/backend/proofs
Nov 09 19:52:52 Finished compiler/backend/proofs                                 59s   4GB
Nov 09 19:52:53 Starting compiler/backend/serialiser
Nov 09 19:52:55 Finished compiler/backend/serialiser                              1s 140MB
Nov 09 19:52:56 Starting compiler/encoders/x64/proofs
Nov 09 20:03:02 Finished compiler/encoders/x64/proofs                         10m04s   5GB
Nov 09 20:03:02 Starting compiler/encoders/arm7/proofs
Nov 09 20:15:56 Finished compiler/encoders/arm7/proofs                        12m52s   6GB
Nov 09 20:15:57 Starting compiler/encoders/arm8/proofs
Nov 09 20:23:19 Finished compiler/encoders/arm8/proofs                         7m21s   4GB
Nov 09 20:23:20 Starting compiler/encoders/arm8_asl/proofs
Nov 09 20:38:23 Finished compiler/encoders/arm8_asl/proofs                    15m01s   3GB
Nov 09 20:38:24 Starting compiler/encoders/mips/proofs
Nov 09 20:48:46 Finished compiler/encoders/mips/proofs                        10m21s  10GB
Nov 09 20:48:47 Starting compiler/encoders/riscv/proofs
Nov 09 20:57:13 Finished compiler/encoders/riscv/proofs                        8m25s   3GB
Nov 09 20:57:14 Starting compiler/encoders/ag32/proofs
Nov 09 21:00:06 Finished compiler/encoders/ag32/proofs                         2m51s   2GB
Nov 09 21:00:07 Starting compiler/backend/x64/proofs
Nov 09 21:00:55 Finished compiler/backend/x64/proofs                             47s   2GB
Nov 09 21:00:56 Starting compiler/backend/arm7/proofs
Nov 09 21:01:42 Finished compiler/backend/arm7/proofs                            44s   2GB
Nov 09 21:01:43 Starting compiler/backend/arm8/proofs
Nov 09 21:02:28 Finished compiler/backend/arm8/proofs                            44s   3GB
Nov 09 21:02:29 Starting compiler/backend/arm8_asl
Nov 09 21:03:01 Finished compiler/backend/arm8_asl                               30s   2GB
Nov 09 21:03:02 Starting compiler/backend/mips/proofs
Nov 09 21:03:51 Finished compiler/backend/mips/proofs                            47s   3GB
Nov 09 21:03:51 Starting compiler/backend/riscv/proofs
Nov 09 21:04:47 Finished compiler/backend/riscv/proofs                           54s   3GB
Nov 09 21:04:48 Starting compiler/backend/ag32/proofs
Nov 09 21:19:15 Finished compiler/backend/ag32/proofs                         14m27s   6GB
Nov 09 21:19:16 Starting compiler/backend/cv_compute
Nov 09 21:21:05 Finished compiler/backend/cv_compute                           1m47s   3GB
Nov 09 21:21:06 Starting cv_translator
Nov 09 21:40:43 Finished cv_translator                                        19m36s  10GB
Nov 09 21:40:44 Starting candle/set-theory
Nov 09 21:41:31 Finished candle/set-theory                                       46s   1GB
Nov 09 21:41:32 Starting candle/syntax-lib
Nov 09 21:41:34 Finished candle/syntax-lib                                        0s  69MB
Nov 09 21:41:34 Starting candle/standard/syntax
Nov 09 21:41:55 Finished candle/standard/syntax                                  19s   1GB
Nov 09 21:41:56 Starting candle/standard/semantics
Nov 09 21:44:40 Finished candle/standard/semantics                             2m43s   3GB
Nov 09 21:44:41 Starting candle/standard/monadic
Nov 09 21:44:42 Finished candle/standard/monadic                                  0s 102MB
Nov 09 21:44:43 Starting candle/standard/ml_kernel
Nov 09 21:46:51 Finished candle/standard/ml_kernel                             2m06s   5GB
Nov 09 21:46:52 Starting candle/overloading/syntax
Nov 09 21:50:26 Finished candle/overloading/syntax                             3m33s   3GB
Nov 09 21:50:27 Starting candle/overloading/semantics
Nov 09 22:02:09 Finished candle/overloading/semantics                         11m40s   9GB
Nov 09 22:02:10 Starting candle/overloading/monadic
Nov 09 22:04:36 Finished candle/overloading/monadic                            2m24s   2GB
Nov 09 22:04:36 Starting candle/overloading/ml_kernel
Nov 09 22:12:36 Finished candle/overloading/ml_kernel                          7m58s   7GB
Nov 09 22:12:37 Starting candle/overloading/ml_checker
Nov 09 22:15:24 Finished candle/overloading/ml_checker                         2m45s   7GB
Nov 09 22:15:25 Starting candle/prover
Nov 09 22:25:50 Finished candle/prover                                        10m24s   5GB
Nov 09 22:25:51 Starting pancake
Nov 09 22:26:18 Finished pancake                                                 26s 999MB
Nov 09 22:26:19 Starting pancake/ffi
Nov 09 22:26:20 Finished pancake/ffi                                              0s  22MB
Nov 09 22:26:21 Starting pancake/semantics
Nov 09 22:28:24 Finished pancake/semantics                                     2m02s   2GB
Nov 09 22:28:25 Starting pancake/parser
Nov 09 22:28:49 Finished pancake/parser                                          23s 519MB
Nov 09 22:28:50 Starting pancake/proofs
Nov 09 22:44:46 Finished pancake/proofs                                       15m54s   7GB
Nov 09 22:44:47 Starting compiler/dafny
Nov 09 22:47:16 Finished compiler/dafny                                        2m28s  11GB
Nov 09 22:47:17 Starting compiler/dafny/translation
Nov 09 23:15:32 Finished compiler/dafny/translation                           28m13s  13GB
Nov 09 23:15:32 Starting compiler/dafny/compilation
Nov 09 23:18:13 Finished compiler/dafny/compilation                            2m39s  10GB
Nov 09 23:18:14 Starting compiler/dafny/semantics
Nov 09 23:18:49 Finished compiler/dafny/semantics                                34s   1GB
Nov 09 23:18:50 Starting characteristic/examples
Nov 09 23:20:20 Finished characteristic/examples                               1m29s   5GB
Nov 09 23:20:21 Starting tutorial/solutions
Nov 09 23:22:50 Finished tutorial/solutions                                    2m28s   3GB
Nov 09 23:22:51 Starting translator/monadic/examples
Nov 09 23:25:59 Finished translator/monadic/examples                           3m06s   3GB
Nov 09 23:26:00 Starting examples
Nov 09 23:38:16 Finished examples                                             12m14s   4GB
Nov 09 23:38:16 Starting examples/compilation/x64
Nov 09 23:46:11 Finished examples/compilation/x64                              7m52s   7GB
Nov 09 23:46:12 Starting examples/compilation/x64/proofs
Nov 09 23:51:13 Finished examples/compilation/x64/proofs                       5m00s   7GB
Nov 09 23:51:14 Starting examples/compilation/ag32
Nov 09 23:53:28 Finished examples/compilation/ag32                             2m12s   3GB
Nov 09 23:53:28 Starting examples/compilation/ag32/proofs
Nov 09 23:55:16 Finished examples/compilation/ag32/proofs                      1m47s   9GB
Nov 09 23:55:17 Starting examples/compilation/to_word
Nov 09 23:59:39 Finished examples/compilation/to_word                          4m20s  12GB
Nov 09 23:59:40 Starting examples/lpr_checker
Nov 10 00:00:10 Finished examples/lpr_checker                                    29s   1GB
Nov 10 00:00:11 Starting examples/lpr_checker/array
Nov 10 00:26:16 Finished examples/lpr_checker/array                           26m04s  25GB
Nov 10 00:26:17 Starting examples/lpr_checker/array/compilation
Nov 10 00:28:06 Finished examples/lpr_checker/array/compilation                1m48s   7GB
Nov 10 00:28:07 Starting examples/lpr_checker/array/compilation/proofs
Nov 10 00:30:12 Finished examples/lpr_checker/array/compilation/proofs         2m03s   8GB
Nov 10 00:30:12 Starting examples/lpr_checker/array/compilation/proofsARM8
Nov 10 00:32:08 Finished examples/lpr_checker/array/compilation/proofsARM8     1m54s   8GB
Nov 10 00:32:09 Starting examples/xlrup_checker
Nov 10 00:32:43 Finished examples/xlrup_checker                                  33s   1GB
Nov 10 00:32:44 Starting examples/xlrup_checker/array
Nov 10 00:45:43 Finished examples/xlrup_checker/array                         12m58s   7GB
Nov 10 00:45:44 Starting examples/xlrup_checker/array/compilation
Nov 11 20:29:22 Resuming examples/xlrup_checker/array/compilation
Nov 11 20:29:24 Finished examples/xlrup_checker/array/compilation                 1s 220MB
Nov 11 20:29:25 Starting examples/xlrup_checker/array/compilation/proofs
Nov 11 20:31:18 Finished examples/xlrup_checker/array/compilation/proofs       1m52s   8GB
Nov 11 20:31:19 Starting examples/pseudo_bool
Nov 11 20:32:53 Finished examples/pseudo_bool                                  1m33s   2GB
Nov 11 20:32:54 Starting examples/pseudo_bool/cnf_encoding
Nov 11 20:33:36 Finished examples/pseudo_bool/cnf_encoding                       41s   1GB
Nov 11 20:33:37 Starting examples/pseudo_bool/graph_encoding
Nov 11 20:34:35 Finished examples/pseudo_bool/graph_encoding                     57s   2GB
Nov 11 20:34:36 Starting examples/pseudo_bool/array
Nov 12 13:45:02 Resuming examples/pseudo_bool/array
Nov 12 13:45:04 Finished examples/pseudo_bool/array                               1s 157MB
Nov 12 13:45:05 Starting examples/pseudo_bool/array/compilation
Nov 12 13:54:18 Finished examples/pseudo_bool/array/compilation                9m12s  16GB
Nov 12 13:54:19 Starting examples/pseudo_bool/array/compilation/proofs
Nov 12 13:58:45 Finished examples/pseudo_bool/array/compilation/proofs         4m25s   9GB
Nov 12 13:58:46 Starting examples/pseudo_bool/array/compilation/proofsARM8
Nov 12 14:00:47 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m00s   9GB
Nov 12 14:00:48 Starting examples/opentheory
Nov 12 14:09:27 Finished examples/opentheory                                   8m38s   6GB
Nov 12 14:09:28 Starting examples/opentheory
Nov 12 14:09:30 Finished examples/opentheory                                      1s 137MB
Nov 12 14:09:31 Starting examples/opentheory/compilation
Nov 12 14:11:01 Finished examples/opentheory/compilation                       1m28s   4GB
Nov 12 14:11:01 Starting examples/opentheory/compilation/proofs
Nov 12 14:12:55 Finished examples/opentheory/compilation/proofs                1m52s   7GB
Nov 12 14:12:56 Starting examples/opentheory/compilation/ag32
Nov 12 14:14:33 Finished examples/opentheory/compilation/ag32                  1m36s   6GB
Nov 12 14:14:34 Starting examples/opentheory/compilation/ag32/proofs
Nov 12 14:17:16 Finished examples/opentheory/compilation/ag32/proofs           2m40s  10GB
Nov 12 14:17:17 Starting examples/sat_encodings
Nov 12 14:18:17 Finished examples/sat_encodings                                  58s 716MB
Nov 12 14:18:17 Starting examples/sat_encodings/case_studies
Nov 12 14:20:28 Finished examples/sat_encodings/case_studies                   2m09s   2GB
Nov 12 14:20:29 Starting examples/sat_encodings/translation
Nov 12 14:24:05 Finished examples/sat_encodings/translation                    3m35s   2GB
Nov 12 14:24:06 Starting examples/sat_encodings/translation/compilation
Nov 12 14:25:59 Finished examples/sat_encodings/translation/compilation        1m51s   4GB
Nov 12 14:25:59 Starting examples/deflate
Nov 12 14:26:28 Finished examples/deflate                                        27s 660MB
Nov 12 14:26:29 Starting examples/deflate/translation
Nov 12 14:27:29 Finished examples/deflate/translation                            59s   2GB
Nov 12 14:27:29 Starting examples/deflate/translation/compilation
Nov 12 14:28:20 Finished examples/deflate/translation/compilation                49s   3GB
Nov 12 14:28:20 Starting examples/vipr
Nov 12 14:32:07 Finished examples/vipr                                         3m45s   7GB
Nov 12 14:32:07 Starting examples/vipr/compilation
Nov 12 14:33:07 Finished examples/vipr/compilation                               58s   4GB
Nov 12 14:33:07 Starting translator/okasaki-examples
Nov 12 14:37:24 Finished translator/okasaki-examples                           4m15s   3GB
Nov 12 14:37:25 Starting translator/other-examples
Nov 12 14:38:38 Finished translator/other-examples                             1m12s   3GB
Nov 12 14:38:39 Starting compiler/parsing/tests
Nov 12 14:39:18 Finished compiler/parsing/tests                                  37s   2GB
Nov 12 14:39:19 Starting compiler/inference/tests
Nov 12 14:40:08 Finished compiler/inference/tests                                47s   3GB
Nov 12 14:40:08 Starting compiler/printing/test
Nov 12 14:41:51 Finished compiler/printing/test                                1m41s   6GB
Nov 12 14:41:51 Starting icing/flover
Nov 12 15:18:39 Finished icing/flover                                         36m46s   4GB
Nov 12 15:18:40 Starting icing/
Nov 12 15:46:28 Finished icing/                                               27m46s   9GB
Nov 12 15:46:29 Starting icing/examples
Nov 12 15:48:25 Finished icing/examples                                        1m55s   9GB
Nov 12 15:48:26 Starting compiler/repl
Nov 12 15:57:50 Finished compiler/repl                                         9m22s   9GB
Nov 12 15:57:50 Starting unverified/sexpr-bootstrap/x64/64
Nov 12 16:11:55 Finished unverified/sexpr-bootstrap/x64/64                    14m03s  15GB
Nov 12 16:11:55 Starting unverified/sexpr-bootstrap/x64/32
Nov 12 16:23:18 Finished unverified/sexpr-bootstrap/x64/32                    11m21s  16GB
Nov 12 16:23:19 Starting compiler/benchmarks
Nov 12 16:24:04 Finished compiler/benchmarks                                     44s 711MB
Nov 12 16:24:05 Starting compiler/bootstrap/compilation/x64/64
Nov 12 16:48:18 Finished compiler/bootstrap/compilation/x64/64                24m11s  83GB
Nov 12 16:48:19 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 12 17:13:24 Finished compiler/bootstrap/compilation/x64/64/proofs         25m03s  54GB
Nov 12 17:13:25 Starting compiler/bootstrap/compilation/x64/32
Nov 12 17:40:35 Finished compiler/bootstrap/compilation/x64/32                27m09s  38GB
Nov 12 17:40:36 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 12 17:45:50 Finished compiler/bootstrap/compilation/x64/32/proofs          5m13s  22GB
Nov 12 17:45:51 Starting compiler/bootstrap/compilation/arm8/64
Nov 12 18:19:52 Finished compiler/bootstrap/compilation/arm8/64               33m59s  61GB
Nov 12 18:19:53 Starting compiler/bootstrap/compilation/arm8/64/proofs
Nov 12 18:26:07 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m13s  29GB
Nov 12 18:26:08 Starting compiler/bootstrap/compilation/ag32/32
Nov 12 18:51:18 Finished compiler/bootstrap/compilation/ag32/32               25m09s  54GB
Nov 12 18:51:19 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 12 18:57:01 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m41s  33GB
Nov 12 18:57:02 SUCCESS