Job 2830

CakeML:63412ddda50a374aecb96ebb92c6e16501c63332
  Merge pull request #1173 from CakeML/extracleans-in-developers [May 14 05:30:33]
HOL:37389f39aa1f331637b2525ad92fdba43703a13e
  Progress with defining connected component notion within fsgraph [May 12 07:08:10]
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

May 14 09:44:56 Claimed job
May 14 09:45:03 Building HOL
May 14 09:55:40 Starting developers
May 14 09:55:44 Finished developers                                               2s 211MB
May 14 09:55:45 Starting developers/bin
May 14 09:55:50 Finished developers/bin                                           3s 592MB
May 14 09:55:51 Starting misc
May 14 09:56:47 Finished misc                                                    55s   1GB
May 14 09:56:48 Starting compiler/proofs
May 14 11:32:31 Finished compiler/proofs                                    1h35m41s  29GB
May 14 11:32:32 Starting compiler/bootstrap/translation
May 14 17:11:20 Finished compiler/bootstrap/translation                     5h38m45s  63GB
May 14 17:11:21 Starting semantics/ffi
May 14 17:11:30 Finished semantics/ffi                                            8s 541MB
May 14 17:11:31 Starting semantics
May 14 17:11:33 Finished semantics                                                0s  56MB
May 14 17:11:33 Starting semantics/proofs
May 14 17:11:57 Finished semantics/proofs                                        22s   1GB
May 14 17:11:58 Starting semantics/alt_semantics
May 14 17:12:18 Finished semantics/alt_semantics                                 19s 873MB
May 14 17:12:19 Starting semantics/alt_semantics/proofs
May 14 17:22:30 Finished semantics/alt_semantics/proofs                       10m10s   2GB
May 14 17:22:31 Starting basis/pure
May 14 17:22:32 Finished basis/pure                                               0s  92MB
May 14 17:22:33 Starting translator
May 14 17:24:09 Finished translator                                            1m34s   3GB
May 14 17:24:10 Starting compiler/parsing
May 14 17:24:11 Finished compiler/parsing                                         0s  57MB
May 14 17:24:12 Starting characteristic
May 14 17:24:14 Finished characteristic                                           1s 118MB
May 14 17:24:15 Starting translator/monadic
May 14 17:24:17 Finished translator/monadic                                       1s 117MB
May 14 17:24:18 Starting translator/monadic/monad_base
May 14 17:24:19 Finished translator/monadic/monad_base                            0s  57MB
May 14 17:24:20 Starting basis
May 14 17:26:41 Finished basis                                                 2m19s   3GB
May 14 17:26:42 Starting compiler
May 14 17:26:44 Finished compiler                                                 1s 210MB
May 14 17:26:45 Starting compiler/inference
May 14 17:26:47 Finished compiler/inference                                       1s 114MB
May 14 17:26:48 Starting compiler/backend/reg_alloc
May 14 17:26:50 Finished compiler/backend/reg_alloc                               0s  58MB
May 14 17:26:50 Starting compiler/backend/gc
May 14 17:26:53 Finished compiler/backend/gc                                      1s 132MB
May 14 17:26:54 Starting compiler/backend
May 14 17:26:58 Finished compiler/backend                                         3s 252MB
May 14 17:26:59 Starting compiler/encoders/asm
May 14 17:27:01 Finished compiler/encoders/asm                                    0s  76MB
May 14 17:27:02 Starting compiler/encoders/x64
May 14 17:27:03 Finished compiler/encoders/x64                                    0s  82MB
May 14 17:27:04 Starting compiler/encoders/arm7
May 14 17:27:06 Finished compiler/encoders/arm7                                   0s  84MB
May 14 17:27:07 Starting compiler/encoders/arm8
May 14 17:27:08 Finished compiler/encoders/arm8                                   0s  85MB
May 14 17:27:09 Starting compiler/encoders/arm8_asl
May 14 19:28:48 Finished compiler/encoders/arm8_asl                         2h01m36s  43GB
May 14 19:28:49 Starting compiler/encoders/mips
May 14 19:28:50 Finished compiler/encoders/mips                                   0s  86MB
May 14 19:28:51 Starting compiler/encoders/riscv
May 14 19:28:53 Finished compiler/encoders/riscv                                  0s  85MB
May 14 19:28:54 Starting compiler/encoders/ag32
May 14 19:28:55 Finished compiler/encoders/ag32                                   0s  84MB
May 14 19:28:56 Starting compiler/encoders/tests
May 14 19:28:58 Finished compiler/encoders/tests                                  0s 112MB
May 14 19:28:59 Starting compiler/encoders/monadic_enc
May 14 19:29:01 Finished compiler/encoders/monadic_enc                            1s 139MB
May 14 19:29:02 Starting compiler/backend/x64
May 14 19:29:04 Finished compiler/backend/x64                                     1s 134MB
May 14 19:29:05 Starting compiler/backend/arm7
May 14 19:29:07 Finished compiler/backend/arm7                                    1s 135MB
May 14 19:29:08 Starting compiler/backend/arm8
May 14 19:29:10 Finished compiler/backend/arm8                                    1s 134MB
May 14 19:29:11 Starting compiler/backend/mips
May 14 19:29:13 Finished compiler/backend/mips                                    1s 134MB
May 14 19:29:14 Starting compiler/backend/riscv
May 14 19:29:16 Finished compiler/backend/riscv                                   1s 134MB
May 14 19:29:17 Starting compiler/backend/ag32
May 14 19:30:22 Finished compiler/backend/ag32                                 1m03s   1GB
May 14 19:30:23 Starting compiler/backend/pattern_matching
May 14 19:30:24 Finished compiler/backend/pattern_matching                        0s  55MB
May 14 19:30:25 Starting compiler/parsing/ocaml
May 14 19:32:07 Finished compiler/parsing/ocaml                                1m41s   1GB
May 14 19:32:08 Starting compiler/printing
May 14 19:32:10 Finished compiler/printing                                        1s 107MB
May 14 19:32:11 Starting compiler/parsing/proofs
May 14 19:32:12 Finished compiler/parsing/proofs                                  0s  63MB
May 14 19:32:13 Starting compiler/inference/proofs
May 14 19:32:15 Finished compiler/inference/proofs                                1s 115MB
May 14 19:32:16 Starting compiler/backend/semantics
May 14 19:35:20 Finished compiler/backend/semantics                            3m03s   2GB
May 14 19:35:21 Starting compiler/backend/reg_alloc/proofs
May 14 19:35:23 Finished compiler/backend/reg_alloc/proofs                        1s 114MB
May 14 19:35:24 Starting compiler/backend/proofs
May 14 19:36:10 Finished compiler/backend/proofs                                 44s   2GB
May 14 19:36:11 Starting compiler/backend/serialiser
May 14 19:36:13 Finished compiler/backend/serialiser                              1s 140MB
May 14 19:36:14 Starting compiler/encoders/x64/proofs
May 14 19:46:05 Finished compiler/encoders/x64/proofs                          9m50s   5GB
May 14 19:46:06 Starting compiler/encoders/arm7/proofs
May 14 19:58:55 Finished compiler/encoders/arm7/proofs                        12m48s   5GB
May 14 19:58:56 Starting compiler/encoders/arm8/proofs
May 14 20:05:59 Finished compiler/encoders/arm8/proofs                         7m02s   3GB
May 14 20:06:00 Starting compiler/encoders/arm8_asl/proofs
May 14 20:55:20 Finished compiler/encoders/arm8_asl/proofs                    49m18s  20GB
May 14 20:55:21 Starting compiler/encoders/mips/proofs
May 14 21:05:20 Finished compiler/encoders/mips/proofs                         9m57s   7GB
May 14 21:05:21 Starting compiler/encoders/riscv/proofs
May 14 21:13:42 Finished compiler/encoders/riscv/proofs                        8m19s   3GB
May 14 21:13:42 Starting compiler/encoders/ag32/proofs
May 14 21:16:33 Finished compiler/encoders/ag32/proofs                         2m49s   1GB
May 14 21:16:34 Starting compiler/backend/x64/proofs
May 14 21:17:02 Finished compiler/backend/x64/proofs                             26s   1GB
May 14 21:17:03 Starting compiler/backend/arm7/proofs
May 14 21:17:35 Finished compiler/backend/arm7/proofs                            31s   2GB
May 14 21:17:36 Starting compiler/backend/arm8/proofs
May 14 21:18:05 Finished compiler/backend/arm8/proofs                            27s   2GB
May 14 21:18:06 Starting compiler/backend/arm8_asl
May 14 21:18:28 Finished compiler/backend/arm8_asl                               21s   2GB
May 14 21:18:28 Starting compiler/backend/mips/proofs
May 14 21:18:57 Finished compiler/backend/mips/proofs                            27s   1GB
May 14 21:18:58 Starting compiler/backend/riscv/proofs
May 14 21:19:30 Finished compiler/backend/riscv/proofs                           31s   2GB
May 14 21:19:31 Starting compiler/backend/ag32/proofs
May 14 21:33:04 Finished compiler/backend/ag32/proofs                         13m31s   5GB
May 14 21:33:05 Starting compiler/backend/cv_compute
May 14 21:34:13 Finished compiler/backend/cv_compute                           1m07s   2GB
May 14 21:34:14 Starting cv_translator
May 14 21:54:11 Finished cv_translator                                        19m56s   7GB
May 14 21:54:12 Starting candle
May 14 21:54:13 Finished candle                                                   0s  12MB
May 14 21:54:13 Starting candle/set-theory
May 14 21:54:47 Finished candle/set-theory                                       32s   1GB
May 14 21:54:48 Starting candle/syntax-lib
May 14 21:54:49 Finished candle/syntax-lib                                        0s  94MB
May 14 21:54:50 Starting candle/standard
May 14 21:54:51 Finished candle/standard                                          0s  11MB
May 14 21:54:52 Starting candle/standard/syntax
May 14 21:55:04 Finished candle/standard/syntax                                  10s 746MB
May 14 21:55:04 Starting candle/standard/semantics
May 14 21:57:00 Finished candle/standard/semantics                             1m54s   1GB
May 14 21:57:01 Starting candle/standard/monadic
May 14 21:57:03 Finished candle/standard/monadic                                  1s 125MB
May 14 21:57:04 Starting candle/standard/ml_kernel
May 14 21:58:47 Finished candle/standard/ml_kernel                             1m42s   4GB
May 14 21:58:48 Starting candle/standard/ml_kernel/lisp
May 14 21:58:49 Finished candle/standard/ml_kernel/lisp                           0s  49MB
May 14 21:58:50 Starting candle/overloading
May 14 21:58:51 Finished candle/overloading                                       0s  12MB
May 14 21:58:52 Starting candle/overloading/syntax
May 14 22:01:57 Finished candle/overloading/syntax                             3m03s   1GB
May 14 22:01:58 Starting candle/overloading/semantics
May 14 22:13:04 Finished candle/overloading/semantics                         11m04s   6GB
May 14 22:13:05 Starting candle/overloading/monadic
May 14 22:15:19 Finished candle/overloading/monadic                            2m12s   2GB
May 14 22:15:20 Starting candle/overloading/ml_kernel
May 14 22:22:21 Finished candle/overloading/ml_kernel                          7m00s   5GB
May 14 22:22:22 Starting candle/overloading/ml_checker
May 14 22:24:30 Finished candle/overloading/ml_checker                         2m07s   6GB
May 14 22:24:31 Starting candle/prover
May 14 22:34:00 Finished candle/prover                                         9m28s   5GB
May 14 22:34:01 Starting candle/prover/compute
May 14 22:34:04 Finished candle/prover/compute                                    1s 140MB
May 14 22:34:05 Starting pancake
May 14 22:34:07 Finished pancake                                                  1s 137MB
May 14 22:34:07 Starting pancake/semantics
May 14 22:36:16 Finished pancake/semantics                                     2m07s   2GB
May 14 22:36:17 Starting pancake/parser
May 14 22:36:42 Finished pancake/parser                                          24s 456MB
May 14 22:36:43 Starting pancake/static_checker
May 14 22:37:19 Finished pancake/static_checker                                  35s   1GB
May 14 22:37:20 Starting pancake/proofs
May 14 22:53:20 Finished pancake/proofs                                       15m58s   5GB
May 14 22:53:20 Starting compiler/dafny
May 14 22:56:21 Finished compiler/dafny                                        2m59s   8GB
May 14 22:56:22 Starting compiler/dafny/translation
May 14 23:15:52 Finished compiler/dafny/translation                           19m29s  20GB
May 14 23:15:53 Starting compiler/dafny/compilation
May 14 23:18:47 Finished compiler/dafny/compilation                            2m53s  11GB
May 14 23:18:48 Starting compiler/dafny/semantics
May 14 23:19:25 Finished compiler/dafny/semantics                                35s   1GB
May 14 23:19:25 Starting characteristic/examples
May 14 23:20:51 Finished characteristic/examples                               1m24s   4GB
May 14 23:20:52 Starting tutorial/solutions
May 14 23:23:16 Finished tutorial/solutions                                    2m23s   4GB
May 14 23:23:17 Starting translator/monadic/examples
May 14 23:26:11 Finished translator/monadic/examples                           2m52s   3GB
May 14 23:26:12 Starting examples
May 14 23:32:14 Finished examples                                              6m01s   4GB
May 14 23:32:15 Starting examples/compilation
May 14 23:32:16 Finished examples/compilation                                     0s  11MB
May 14 23:32:17 Starting examples/compilation/x64
May 14 23:39:17 Finished examples/compilation/x64                              6m59s   4GB
May 14 23:39:18 Starting examples/compilation/x64/proofs
May 14 23:41:39 Finished examples/compilation/x64/proofs                       2m19s   4GB
May 14 23:41:40 Starting examples/compilation/ag32
May 14 23:43:33 Finished examples/compilation/ag32                             1m52s   3GB
May 14 23:43:34 Starting examples/compilation/ag32/proofs
May 14 23:44:36 Finished examples/compilation/ag32/proofs                      1m00s   4GB
May 14 23:44:36 Starting examples/lpr_checker
May 14 23:45:06 Finished examples/lpr_checker                                    28s   1GB
May 14 23:45:07 Starting examples/lpr_checker/array
May 15 00:11:32 Finished examples/lpr_checker/array                           26m22s  23GB
May 15 00:11:33 Starting examples/lpr_checker/array/compilation
May 15 00:13:58 Finished examples/lpr_checker/array/compilation                2m24s   7GB
May 15 00:13:59 Starting examples/lpr_checker/array/compilation/proofs
May 15 00:15:40 Finished examples/lpr_checker/array/compilation/proofs         1m39s   5GB
May 15 00:15:41 Starting examples/lpr_checker/array/compilation/proofsARM8
May 15 00:16:50 Finished examples/lpr_checker/array/compilation/proofsARM8     1m08s   6GB
May 15 00:16:51 Starting .
May 15 00:16:54 Finished .                                                        2s 324MB
May 15 00:16:55 Starting examples/xlrup_checker
May 15 00:17:29 Finished examples/xlrup_checker                                  32s   1GB
May 15 00:17:30 Starting examples/xlrup_checker/array
May 15 00:30:32 Finished examples/xlrup_checker/array                         13m01s  11GB
May 15 00:30:33 Starting examples/xlrup_checker/array/compilation
May 15 00:31:37 Finished examples/xlrup_checker/array/compilation              1m03s   4GB
May 15 00:31:38 Starting examples/xlrup_checker/array/compilation/proofs
May 15 00:32:38 Finished examples/xlrup_checker/array/compilation/proofs         58s   4GB
May 15 00:32:39 Starting examples/pseudo_bool
May 15 00:34:10 Finished examples/pseudo_bool                                  1m30s   2GB
May 15 00:34:11 Starting examples/pseudo_bool/cnf_encoding
May 15 00:34:39 Finished examples/pseudo_bool/cnf_encoding                       26s   1GB
May 15 00:34:40 Starting examples/pseudo_bool/graph_encoding
May 15 00:35:22 Finished examples/pseudo_bool/graph_encoding                     42s   2GB
May 15 00:35:23 Starting examples/pseudo_bool/array
May 15 01:44:01 Finished examples/pseudo_bool/array                         1h08m34s  24GB
May 15 01:44:02 Starting examples/pseudo_bool/array/compilation
May 15 01:53:55 Finished examples/pseudo_bool/array/compilation                9m52s  19GB
May 15 01:53:56 Starting examples/pseudo_bool/array/compilation/proofs
May 15 01:56:30 Finished examples/pseudo_bool/array/compilation/proofs         2m32s   6GB
May 15 01:56:31 Starting examples/pseudo_bool/array/compilation/proofsARM8
May 15 01:57:44 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m12s   6GB
May 15 01:57:45 Starting examples/opentheory
May 15 02:06:11 Finished examples/opentheory                                   8m25s   4GB
May 15 02:06:12 Starting examples/opentheory/compilation
May 15 02:07:48 Finished examples/opentheory/compilation                       1m34s   6GB
May 15 02:07:49 Starting examples/opentheory/compilation/proofs
May 15 02:08:49 Finished examples/opentheory/compilation/proofs                  59s   4GB
May 15 02:08:50 Starting examples/opentheory/compilation/ag32
May 15 02:10:30 Finished examples/opentheory/compilation/ag32                  1m39s   7GB
May 15 02:10:31 Starting examples/opentheory/compilation/ag32/proofs
May 15 02:12:47 Finished examples/opentheory/compilation/ag32/proofs           2m14s   8GB
May 15 02:12:48 Starting examples/sat_encodings
May 15 02:13:49 Finished examples/sat_encodings                                1m00s 935MB
May 15 02:13:50 Starting examples/sat_encodings/demo
May 15 02:13:51 Finished examples/sat_encodings/demo                              0s  12MB
May 15 02:13:51 Starting examples/sat_encodings/case_studies
May 15 02:15:33 Finished examples/sat_encodings/case_studies                   1m40s   1GB
May 15 02:15:34 Starting examples/sat_encodings/translation
May 15 02:19:11 Finished examples/sat_encodings/translation                    3m36s   2GB
May 15 02:19:12 Starting examples/sat_encodings/translation/compilation
May 15 02:21:07 Finished examples/sat_encodings/translation/compilation        1m53s   4GB
May 15 02:21:08 Starting examples/deflate
May 15 02:21:36 Finished examples/deflate                                        27s 734MB
May 15 02:21:36 Starting examples/deflate/translation
May 15 02:22:41 Finished examples/deflate/translation                          1m03s   4GB
May 15 02:22:42 Starting examples/deflate/translation/compilation
May 15 02:23:33 Finished examples/deflate/translation/compilation                50s   3GB
May 15 02:23:34 Starting examples/vipr
May 15 02:26:54 Finished examples/vipr                                         3m18s   7GB
May 15 02:26:55 Starting examples/vipr/compilation
May 15 02:27:52 Finished examples/vipr/compilation                               56s   4GB
May 15 02:27:53 Starting translator/okasaki-examples
May 15 02:31:55 Finished translator/okasaki-examples                           4m01s   3GB
May 15 02:31:56 Starting translator/other-examples
May 15 02:34:18 Finished translator/other-examples                             2m21s   3GB
May 15 02:34:19 Starting translator/other-examples/auxiliary
May 15 02:34:20 Finished translator/other-examples/auxiliary                      0s  13MB
May 15 02:34:21 Starting compiler/parsing/tests
May 15 02:34:55 Finished compiler/parsing/tests                                  32s   1GB
May 15 02:34:56 Starting compiler/inference/tests
May 15 02:35:32 Finished compiler/inference/tests                                35s   2GB
May 15 02:35:33 Starting compiler/printing/test
May 15 02:36:47 Finished compiler/printing/test                                1m13s   5GB
May 15 02:36:48 Starting icing/flover
May 15 03:09:21 Finished icing/flover                                         32m30s   2GB
May 15 03:09:22 Starting icing/flover/Infra
May 15 03:09:23 Finished icing/flover/Infra                                       0s  13MB
May 15 03:09:24 Starting icing/flover/semantics
May 15 03:09:25 Finished icing/flover/semantics                                   0s  15MB
May 15 03:09:26 Starting icing/
May 15 03:35:47 Finished icing/                                               26m19s   7GB
May 15 03:35:48 Starting icing/examples
May 15 03:37:13 Finished icing/examples                                        1m24s   7GB
May 15 03:37:14 Starting compiler/repl
May 15 03:45:02 Finished compiler/repl                                         7m46s   6GB
May 15 03:45:03 Starting unverified/sexpr-bootstrap/x64/64
May 15 03:49:14 Finished unverified/sexpr-bootstrap/x64/64                     3m59s  17GB
May 15 03:49:15 Starting unverified/sexpr-bootstrap/x64/32
May 15 03:52:45 Finished unverified/sexpr-bootstrap/x64/32                     3m21s  17GB
May 15 03:52:46 Starting compiler/benchmarks
May 15 03:53:31 Finished compiler/benchmarks                                     44s 711MB
May 15 03:53:32 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
May 15 03:53:35 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 240MB
May 15 03:53:36 Starting compiler/benchmarks/mlton_benchmarks/cakeml
May 15 03:53:39 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 249MB
May 15 03:53:40 Starting compiler/bootstrap/compilation/x64/64
May 15 04:22:13 Finished compiler/bootstrap/compilation/x64/64                28m20s  97GB
May 15 04:22:14 Starting compiler/bootstrap/compilation/x64/64/proofs
May 15 04:46:40 Finished compiler/bootstrap/compilation/x64/64/proofs         24m24s  52GB
May 15 04:46:41 Starting compiler/bootstrap/compilation/x64/32
May 15 05:14:50 Finished compiler/bootstrap/compilation/x64/32                28m02s  75GB
May 15 05:14:51 Starting compiler/bootstrap/compilation/x64/32/proofs
May 15 05:19:15 Finished compiler/bootstrap/compilation/x64/32/proofs          4m22s  24GB
May 15 05:19:15 Starting compiler/bootstrap/compilation/arm8/64
May 15 06:01:10 Finished compiler/bootstrap/compilation/arm8/64               41m39s 114GB
May 15 06:01:11 Starting compiler/bootstrap/compilation/arm8/64/proofs
May 15 06:06:08 Finished compiler/bootstrap/compilation/arm8/64/proofs         4m56s  30GB
May 15 06:06:09 Starting compiler/bootstrap/compilation/ag32/32
May 15 06:37:11 Finished compiler/bootstrap/compilation/ag32/32               31m00s  82GB
May 15 06:37:11 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 15 06:42:30 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m17s  32GB
May 15 06:42:31 SUCCESS