Job 2705

CakeML:4fe2628ae1b3c3ed3a5f4c498c5723396433ee5f
  Fix curl call to follow redirects [Nov 27 07:38:34]
#1098 (fix-binary-link)
Merging into:6b2039e9c365bca1bb05f521e2c6060d6a901bdb
  Merge pull request #1094 from CakeML/tweak-root-dir [Nov 23 20:15:27]
HOL:2de6b3ccc36da9c19998787a835c3ef9c81466fe
  Add a cute problem to examples/misc [Oct 30 04:33:10]
Machine:lammmington

Nov 27 09:32:29 Claimed job
Nov 27 09:32:33 Reusing HOL
Nov 27 09:32:44 Starting developers
Nov 27 09:32:48 Finished developers                                               3s 208MB
Nov 27 09:32:49 Starting developers/bin
Nov 27 09:32:56 Finished developers/bin                                           5s 746MB
Nov 27 09:32:57 Starting compiler/proofs
Nov 27 11:15:12 Finished compiler/proofs                                    1h42m14s  34GB
Nov 27 11:15:13 Starting compiler/bootstrap/translation
Nov 27 20:13:30 Finished compiler/bootstrap/translation                     8h58m15s  90GB
Nov 27 20:13:31 Starting semantics/ffi
Nov 27 20:13:47 Finished semantics/ffi                                           15s   1GB
Nov 27 20:13:48 Starting semantics
Nov 27 20:13:50 Finished semantics                                                0s  63MB
Nov 27 20:13:51 Starting semantics/proofs
Nov 27 20:14:13 Finished semantics/proofs                                        22s 829MB
Nov 27 20:14:14 Starting semantics/alt_semantics
Nov 27 20:14:37 Finished semantics/alt_semantics                                 22s 687MB
Nov 27 20:14:38 Starting semantics/alt_semantics/proofs
Nov 27 20:24:46 Finished semantics/alt_semantics/proofs                       10m07s   2GB
Nov 27 20:24:47 Starting basis/pure
Nov 27 20:24:49 Finished basis/pure                                               0s  68MB
Nov 27 20:24:50 Starting translator
Nov 27 20:26:24 Finished translator                                            1m33s   2GB
Nov 27 20:26:25 Starting compiler/parsing
Nov 27 20:26:27 Finished compiler/parsing                                         0s  75MB
Nov 27 20:26:28 Starting characteristic
Nov 27 20:26:29 Finished characteristic                                           0s  93MB
Nov 27 20:26:30 Starting translator/monadic
Nov 27 20:26:32 Finished translator/monadic                                       0s  99MB
Nov 27 20:26:33 Starting basis
Nov 27 20:29:00 Finished basis                                                 2m26s   4GB
Nov 27 20:29:01 Starting compiler/inference
Nov 27 20:29:03 Finished compiler/inference                                       0s  95MB
Nov 27 20:29:03 Starting compiler/backend/reg_alloc
Nov 27 20:29:05 Finished compiler/backend/reg_alloc                               0s  67MB
Nov 27 20:29:06 Starting compiler/backend/gc
Nov 27 20:29:08 Finished compiler/backend/gc                                      1s 143MB
Nov 27 20:29:09 Starting compiler/backend
Nov 27 20:29:14 Finished compiler/backend                                         4s 321MB
Nov 27 20:29:15 Starting compiler/encoders/asm
Nov 27 20:29:17 Finished compiler/encoders/asm                                    0s  90MB
Nov 27 20:29:17 Starting compiler/encoders/x64
Nov 27 20:29:19 Finished compiler/encoders/x64                                    0s  99MB
Nov 27 20:29:20 Starting compiler/encoders/arm7
Nov 27 20:29:22 Finished compiler/encoders/arm7                                   0s  94MB
Nov 27 20:29:23 Starting compiler/encoders/arm8
Nov 27 20:29:24 Finished compiler/encoders/arm8                                   0s 100MB
Nov 27 20:29:25 Starting compiler/encoders/arm8_asl
Nov 27 20:31:38 Finished compiler/encoders/arm8_asl                            2m12s   1GB
Nov 27 20:31:39 Starting compiler/encoders/mips
Nov 27 20:31:41 Finished compiler/encoders/mips                                   0s  99MB
Nov 27 20:31:42 Starting compiler/encoders/riscv
Nov 27 20:31:44 Finished compiler/encoders/riscv                                  0s  99MB
Nov 27 20:31:45 Starting compiler/encoders/ag32
Nov 27 20:31:46 Finished compiler/encoders/ag32                                   0s  97MB
Nov 27 20:31:47 Starting compiler/backend/x64
Nov 27 20:31:49 Finished compiler/backend/x64                                     1s 137MB
Nov 27 20:31:50 Starting compiler/backend/arm7
Nov 27 20:31:52 Finished compiler/backend/arm7                                    1s 138MB
Nov 27 20:31:53 Starting compiler/backend/arm8
Nov 27 20:31:55 Finished compiler/backend/arm8                                    1s 138MB
Nov 27 20:31:56 Starting compiler/backend/mips
Nov 27 20:31:58 Finished compiler/backend/mips                                    1s 137MB
Nov 27 20:31:59 Starting compiler/backend/riscv
Nov 27 20:32:01 Finished compiler/backend/riscv                                   1s 138MB
Nov 27 20:32:02 Starting compiler/backend/ag32
Nov 27 20:33:14 Finished compiler/backend/ag32                                 1m11s   3GB
Nov 27 20:33:15 Starting compiler/parsing/proofs
Nov 27 20:33:16 Finished compiler/parsing/proofs                                  0s  75MB
Nov 27 20:33:17 Starting compiler/inference/proofs
Nov 27 20:33:19 Finished compiler/inference/proofs                                0s  92MB
Nov 27 20:33:20 Starting compiler/backend/semantics
Nov 27 20:36:33 Finished compiler/backend/semantics                            3m12s   3GB
Nov 27 20:36:34 Starting compiler/backend/reg_alloc/proofs
Nov 27 20:36:36 Finished compiler/backend/reg_alloc/proofs                        0s  94MB
Nov 27 20:36:37 Starting compiler/backend/proofs
Nov 27 20:37:34 Finished compiler/backend/proofs                                 55s   3GB
Nov 27 20:37:35 Starting compiler/backend/serialiser
Nov 27 20:37:37 Finished compiler/backend/serialiser                              1s 149MB
Nov 27 20:37:38 Starting compiler/encoders/x64/proofs
Nov 27 20:47:25 Finished compiler/encoders/x64/proofs                          9m45s   6GB
Nov 27 20:47:26 Starting compiler/encoders/arm7/proofs
Nov 27 21:00:26 Finished compiler/encoders/arm7/proofs                        12m58s   7GB
Nov 27 21:00:26 Starting compiler/encoders/arm8/proofs
Nov 27 21:07:09 Finished compiler/encoders/arm8/proofs                         6m41s   5GB
Nov 27 21:07:10 Starting compiler/encoders/arm8_asl/proofs
Nov 27 21:22:27 Finished compiler/encoders/arm8_asl/proofs                    15m15s   3GB
Nov 27 21:22:28 Starting compiler/encoders/mips/proofs
Nov 27 21:32:41 Finished compiler/encoders/mips/proofs                        10m12s   5GB
Nov 27 21:32:42 Starting compiler/encoders/riscv/proofs
Nov 27 21:40:52 Finished compiler/encoders/riscv/proofs                        8m09s   3GB
Nov 27 21:40:53 Starting compiler/encoders/ag32/proofs
Nov 27 21:43:47 Finished compiler/encoders/ag32/proofs                         2m53s   2GB
Nov 27 21:43:48 Starting compiler/backend/x64/proofs
Nov 27 21:44:33 Finished compiler/backend/x64/proofs                             43s   3GB
Nov 27 21:44:34 Starting compiler/backend/arm7/proofs
Nov 27 21:45:21 Finished compiler/backend/arm7/proofs                            46s   3GB
Nov 27 21:45:22 Starting compiler/backend/arm8/proofs
Nov 27 21:46:09 Finished compiler/backend/arm8/proofs                            45s   3GB
Nov 27 21:46:10 Starting compiler/backend/arm8_asl
Nov 27 21:46:37 Finished compiler/backend/arm8_asl                               26s   1GB
Nov 27 21:46:38 Starting compiler/backend/mips/proofs
Nov 27 21:47:28 Finished compiler/backend/mips/proofs                            48s   3GB
Nov 27 21:47:29 Starting compiler/backend/riscv/proofs
Nov 27 21:48:25 Finished compiler/backend/riscv/proofs                           55s   4GB
Nov 27 21:48:26 Starting compiler/backend/ag32/proofs
Nov 27 22:02:43 Finished compiler/backend/ag32/proofs                         14m15s   6GB
Nov 27 22:02:44 Starting compiler/backend/cv_compute
Nov 27 22:04:34 Finished compiler/backend/cv_compute                           1m49s   3GB
Nov 27 22:04:35 Starting cv_translator
Nov 27 22:24:11 Finished cv_translator                                        19m35s   9GB
Nov 27 22:24:12 Starting candle/set-theory
Nov 27 22:24:58 Finished candle/set-theory                                       45s   1GB
Nov 27 22:24:59 Starting candle/syntax-lib
Nov 27 22:25:00 Finished candle/syntax-lib                                        0s  74MB
Nov 27 22:25:01 Starting candle/standard/syntax
Nov 27 22:25:22 Finished candle/standard/syntax                                  19s   1GB
Nov 27 22:25:23 Starting candle/standard/semantics
Nov 27 22:28:04 Finished candle/standard/semantics                             2m40s   2GB
Nov 27 22:28:05 Starting candle/standard/monadic
Nov 27 22:28:07 Finished candle/standard/monadic                                  0s 104MB
Nov 27 22:28:08 Starting candle/standard/ml_kernel
Nov 27 22:30:13 Finished candle/standard/ml_kernel                             2m03s   5GB
Nov 27 22:30:14 Starting candle/overloading/syntax
Nov 27 22:33:45 Finished candle/overloading/syntax                             3m30s   2GB
Nov 27 22:33:46 Starting candle/overloading/semantics
Nov 27 22:45:10 Finished candle/overloading/semantics                         11m22s   4GB
Nov 27 22:45:11 Starting candle/overloading/monadic
Nov 27 22:47:35 Finished candle/overloading/monadic                            2m23s   2GB
Nov 27 22:47:36 Starting candle/overloading/ml_kernel
Nov 27 22:55:37 Finished candle/overloading/ml_kernel                          7m59s   6GB
Nov 27 22:55:38 Starting candle/overloading/ml_checker
Nov 27 22:58:21 Finished candle/overloading/ml_checker                         2m42s   7GB
Nov 27 22:58:22 Starting candle/prover
Nov 27 23:08:53 Finished candle/prover                                        10m30s   5GB
Nov 27 23:08:54 Starting pancake
Nov 27 23:09:20 Finished pancake                                                 25s 963MB
Nov 27 23:09:21 Starting pancake/ffi
Nov 27 23:09:22 Finished pancake/ffi                                              0s  16MB
Nov 27 23:09:23 Starting pancake/semantics
Nov 27 23:11:34 Finished pancake/semantics                                     2m09s   2GB
Nov 27 23:11:35 Starting pancake/parser
Nov 27 23:11:59 Finished pancake/parser                                          23s 528MB
Nov 27 23:12:00 Starting pancake/proofs
Nov 27 23:27:57 Finished pancake/proofs                                       15m56s   7GB
Nov 27 23:27:58 Starting compiler/dafny
Nov 27 23:30:27 Finished compiler/dafny                                        2m28s   7GB
Nov 27 23:30:28 Starting compiler/dafny/translation
Nov 27 23:58:47 Finished compiler/dafny/translation                           28m17s  15GB
Nov 27 23:58:48 Starting compiler/dafny/compilation
Nov 28 00:01:27 Finished compiler/dafny/compilation                            2m38s   9GB
Nov 28 00:01:28 Starting compiler/dafny/semantics
Nov 28 00:02:03 Finished compiler/dafny/semantics                                33s   1GB
Nov 28 00:02:04 Starting characteristic/examples
Nov 28 00:03:35 Finished characteristic/examples                               1m30s   5GB
Nov 28 00:03:36 Starting tutorial/solutions
Nov 28 00:06:05 Finished tutorial/solutions                                    2m28s   3GB
Nov 28 00:06:06 Starting translator/monadic/examples
Nov 28 00:09:11 Finished translator/monadic/examples                           3m03s   4GB
Nov 28 00:09:12 Starting examples
Nov 28 00:21:44 Finished examples                                             12m30s   4GB
Nov 28 00:21:45 Starting examples/compilation/x64
Nov 28 00:29:41 Finished examples/compilation/x64                              7m55s   7GB
Nov 28 00:29:42 Starting examples/compilation/x64/proofs
Nov 28 00:34:43 Finished examples/compilation/x64/proofs                       4m59s   9GB
Nov 28 00:34:44 Starting examples/compilation/ag32
Nov 28 00:37:01 Finished examples/compilation/ag32                             2m16s   3GB
Nov 28 00:37:02 Starting examples/compilation/ag32/proofs
Nov 28 00:38:55 Finished examples/compilation/ag32/proofs                      1m52s   8GB
Nov 28 00:38:56 Starting examples/compilation/to_word
Nov 28 00:43:12 Finished examples/compilation/to_word                          4m15s  13GB
Nov 28 00:43:13 Starting examples/lpr_checker
Nov 28 00:43:43 Finished examples/lpr_checker                                    28s   1GB
Nov 28 00:43:44 Starting examples/lpr_checker/array
Nov 28 01:10:02 Finished examples/lpr_checker/array                           26m17s  27GB
Nov 28 01:10:03 Starting examples/lpr_checker/array/compilation
Nov 28 01:11:51 Finished examples/lpr_checker/array/compilation                1m46s   7GB
Nov 28 01:11:51 Starting examples/lpr_checker/array/compilation/proofs
Nov 28 01:13:55 Finished examples/lpr_checker/array/compilation/proofs         2m02s   8GB
Nov 28 01:13:55 Starting examples/lpr_checker/array/compilation/proofsARM8
Nov 28 01:15:54 Finished examples/lpr_checker/array/compilation/proofsARM8     1m57s   8GB
Nov 28 01:15:55 Starting .
Nov 28 01:15:59 Finished .                                                        2s 289MB
Nov 28 01:16:00 Starting examples/xlrup_checker
Nov 28 01:16:34 Finished examples/xlrup_checker                                  33s   1GB
Nov 28 01:16:35 Starting examples/xlrup_checker/array
Nov 28 01:29:31 Finished examples/xlrup_checker/array                         12m55s   9GB
Nov 28 01:29:32 Starting examples/xlrup_checker/array/compilation
Nov 28 01:30:33 Finished examples/xlrup_checker/array/compilation              1m00s   4GB
Nov 28 01:30:34 Starting examples/xlrup_checker/array/compilation/proofs
Nov 28 01:32:24 Finished examples/xlrup_checker/array/compilation/proofs       1m48s   9GB
Nov 28 01:32:25 Starting examples/pseudo_bool
Nov 28 01:33:56 Finished examples/pseudo_bool                                  1m29s   2GB
Nov 28 01:33:57 Starting examples/pseudo_bool/cnf_encoding
Nov 28 01:34:37 Finished examples/pseudo_bool/cnf_encoding                       39s   1GB
Nov 28 01:34:38 Starting examples/pseudo_bool/graph_encoding
Nov 28 01:35:34 Finished examples/pseudo_bool/graph_encoding                     54s   2GB
Nov 28 01:35:35 Starting examples/pseudo_bool/array
Nov 28 02:43:20 Finished examples/pseudo_bool/array                         1h07m44s  37GB
Nov 28 02:43:21 Starting examples/pseudo_bool/array/compilation
Nov 28 02:52:14 Finished examples/pseudo_bool/array/compilation                8m51s  16GB
Nov 28 02:52:15 Starting examples/pseudo_bool/array/compilation/proofs
Nov 28 02:56:33 Finished examples/pseudo_bool/array/compilation/proofs         4m17s   9GB
Nov 28 02:56:34 Starting examples/pseudo_bool/array/compilation/proofsARM8
Nov 28 02:58:32 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m56s   9GB
Nov 28 02:58:33 Starting examples/opentheory
Nov 28 03:07:18 Finished examples/opentheory                                   8m43s   5GB
Nov 28 03:07:18 Starting examples/opentheory
Nov 28 03:07:20 Finished examples/opentheory                                      1s 132MB
Nov 28 03:07:21 Starting examples/opentheory/compilation
Nov 28 03:08:50 Finished examples/opentheory/compilation                       1m27s   5GB
Nov 28 03:08:50 Starting examples/opentheory/compilation/proofs
Nov 28 03:10:46 Finished examples/opentheory/compilation/proofs                1m54s   8GB
Nov 28 03:10:46 Starting examples/opentheory/compilation/ag32
Nov 28 03:12:24 Finished examples/opentheory/compilation/ag32                  1m36s   6GB
Nov 28 03:12:25 Starting examples/opentheory/compilation/ag32/proofs
Nov 28 03:15:06 Finished examples/opentheory/compilation/ag32/proofs           2m40s  12GB
Nov 28 03:15:07 Starting examples/sat_encodings
Nov 28 03:16:08 Finished examples/sat_encodings                                1m00s 901MB
Nov 28 03:16:09 Starting examples/sat_encodings/case_studies
Nov 28 03:18:18 Finished examples/sat_encodings/case_studies                   2m08s   2GB
Nov 28 03:18:19 Starting examples/sat_encodings/translation
Nov 28 03:21:49 Finished examples/sat_encodings/translation                    3m29s   2GB
Nov 28 03:21:50 Starting examples/sat_encodings/translation/compilation
Nov 28 03:23:42 Finished examples/sat_encodings/translation/compilation        1m51s   4GB
Nov 28 03:23:43 Starting examples/deflate
Nov 28 03:24:11 Finished examples/deflate                                        26s 702MB
Nov 28 03:24:12 Starting examples/deflate/translation
Nov 28 03:25:12 Finished examples/deflate/translation                            58s   2GB
Nov 28 03:25:13 Starting examples/deflate/translation/compilation
Nov 28 03:26:04 Finished examples/deflate/translation/compilation                50s   3GB
Nov 28 03:26:04 Starting examples/vipr
Nov 28 03:29:35 Finished examples/vipr                                         3m29s   4GB
Nov 28 03:29:36 Starting examples/vipr/compilation
Nov 28 03:30:34 Finished examples/vipr/compilation                               57s   4GB
Nov 28 03:30:35 Starting translator/okasaki-examples
Nov 28 03:34:48 Finished translator/okasaki-examples                           4m12s   3GB
Nov 28 03:34:49 Starting translator/other-examples
Nov 28 03:36:04 Finished translator/other-examples                             1m13s   3GB
Nov 28 03:36:05 Starting compiler/parsing/tests
Nov 28 03:36:44 Finished compiler/parsing/tests                                  38s   2GB
Nov 28 03:36:45 Starting compiler/inference/tests
Nov 28 03:37:29 Finished compiler/inference/tests                                43s   3GB
Nov 28 03:37:30 Starting compiler/printing/test
Nov 28 03:39:10 Finished compiler/printing/test                                1m39s   7GB
Nov 28 03:39:11 Starting icing/flover
Nov 28 04:15:56 Finished icing/flover                                         36m43s   4GB
Nov 28 04:15:57 Starting icing/
Nov 28 04:43:19 Finished icing/                                               27m21s   5GB
Nov 28 04:43:21 Starting icing/examples
Nov 28 04:45:06 Finished icing/examples                                        1m44s   6GB
Nov 28 04:45:07 Starting compiler/repl
Nov 28 04:54:16 Finished compiler/repl                                         9m07s  11GB
Nov 28 04:54:17 Starting unverified/sexpr-bootstrap/x64/64
Nov 28 04:58:47 Finished unverified/sexpr-bootstrap/x64/64                     4m29s  17GB
Nov 28 04:58:48 Starting unverified/sexpr-bootstrap/x64/32
Nov 28 05:02:45 Finished unverified/sexpr-bootstrap/x64/32                     3m56s  14GB
Nov 28 05:02:46 Starting compiler/benchmarks
Nov 28 05:03:31 Finished compiler/benchmarks                                     44s 711MB
Nov 28 05:03:32 Starting compiler/bootstrap/compilation/x64/64
Nov 28 05:26:10 Finished compiler/bootstrap/compilation/x64/64                22m37s  65GB
Nov 28 05:26:11 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 28 05:50:42 Finished compiler/bootstrap/compilation/x64/64/proofs         24m30s  50GB
Nov 28 05:50:43 Starting compiler/bootstrap/compilation/x64/32
Nov 28 06:15:44 Finished compiler/bootstrap/compilation/x64/32                25m00s  68GB
Nov 28 06:15:45 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 28 06:20:41 Finished compiler/bootstrap/compilation/x64/32/proofs          4m55s  26GB
Nov 28 06:20:42 Starting compiler/bootstrap/compilation/arm8/64
Nov 28 06:57:10 Finished compiler/bootstrap/compilation/arm8/64               36m26s  95GB
Nov 28 06:57:11 Starting compiler/bootstrap/compilation/arm8/64/proofs
Nov 28 07:02:58 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m46s  29GB
Nov 28 07:02:59 Starting compiler/bootstrap/compilation/ag32/32
Nov 28 07:28:53 Finished compiler/bootstrap/compilation/ag32/32               25m53s  73GB
Nov 28 07:28:54 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 28 07:34:30 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m35s  31GB
Nov 28 07:34:31 SUCCESS