Job 2171

CakeML:f83dc4be4b55ba6be3c4a658d7267d80969de73a
  add _ [Jul 18 02:35:43]
#963 (bvl_to_bvi_aux_names)
Merging into:cc75f96f6d53da4d650d13bebc88141904801b62
  Merge pull request #962 from CakeML/fix-no-clos [Jul 17 06:32:33]
HOL:3ce4e267119a5d713010067128d3af2b628f444d
  Add a Holmakefile to examples/vector to ensure it builds [Jul 17 07:06:06]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Jul 18 05:50:21 Claimed job
Jul 18 05:50:29 Building HOL
Jul 18 06:02:50 Starting developers
Jul 18 06:02:55 Finished developers                                               5s 158MB
Jul 18 06:02:55 Starting developers/bin
Jul 18 06:03:01 Finished developers/bin                                           5s   1GB
Jul 18 06:03:01 Starting compiler/proofs
Jul 18 07:56:34 Finished compiler/proofs                                    1h53m31s  27GB
Jul 18 07:56:34 Starting compiler/bootstrap/translation
Jul 18 15:55:48 Finished compiler/bootstrap/translation                     7h59m11s  41GB
Jul 18 15:55:48 Starting semantics/ffi
Jul 18 15:55:53 Finished semantics/ffi                                            4s 369MB
Jul 18 15:55:53 Starting semantics
Jul 18 15:55:55 Finished semantics                                                1s  17MB
Jul 18 15:55:55 Starting semantics/proofs
Jul 18 15:56:27 Finished semantics/proofs                                        31s 753MB
Jul 18 15:56:27 Starting semantics/alt_semantics
Jul 18 15:56:58 Finished semantics/alt_semantics                                 31s 856MB
Jul 18 15:56:58 Starting semantics/alt_semantics/proofs
Jul 18 16:08:46 Finished semantics/alt_semantics/proofs                       11m48s   1GB
Jul 18 16:08:46 Starting basis/pure
Jul 18 16:08:48 Finished basis/pure                                               1s  23MB
Jul 18 16:08:48 Starting translator
Jul 18 16:10:37 Finished translator                                            1m48s   1GB
Jul 18 16:10:37 Starting compiler/parsing
Jul 18 16:10:38 Finished compiler/parsing                                         1s  22MB
Jul 18 16:10:38 Starting characteristic
Jul 18 16:10:40 Finished characteristic                                           1s  24MB
Jul 18 16:10:40 Starting translator/monadic
Jul 18 16:10:42 Finished translator/monadic                                       1s  25MB
Jul 18 16:10:42 Starting basis
Jul 18 16:14:40 Finished basis                                                 3m57s   3GB
Jul 18 16:14:40 Starting compiler/inference
Jul 18 16:14:42 Finished compiler/inference                                       1s  22MB
Jul 18 16:14:42 Starting compiler/backend/reg_alloc
Jul 18 16:14:43 Finished compiler/backend/reg_alloc                               1s  19MB
Jul 18 16:14:43 Starting compiler/backend/gc
Jul 18 16:14:46 Finished compiler/backend/gc                                      2s  24MB
Jul 18 16:14:46 Starting compiler/backend
Jul 18 16:14:59 Finished compiler/backend                                        13s 563MB
Jul 18 16:14:59 Starting compiler/encoders/asm
Jul 18 16:15:01 Finished compiler/encoders/asm                                    1s  20MB
Jul 18 16:15:01 Starting compiler/encoders/x64
Jul 18 16:15:03 Finished compiler/encoders/x64                                    1s  22MB
Jul 18 16:15:03 Starting compiler/encoders/arm7
Jul 18 16:15:05 Finished compiler/encoders/arm7                                   1s  24MB
Jul 18 16:15:05 Starting compiler/encoders/arm8
Jul 18 16:15:07 Finished compiler/encoders/arm8                                   1s  23MB
Jul 18 16:15:07 Starting compiler/encoders/arm8_asl
Jul 18 18:40:58 Finished compiler/encoders/arm8_asl                         2h25m48s  34GB
Jul 18 18:40:59 Starting compiler/encoders/mips
Jul 18 18:41:01 Finished compiler/encoders/mips                                   1s  17MB
Jul 18 18:41:01 Starting compiler/encoders/riscv
Jul 18 18:41:03 Finished compiler/encoders/riscv                                  1s  24MB
Jul 18 18:41:03 Starting compiler/encoders/ag32
Jul 18 18:41:05 Finished compiler/encoders/ag32                                   1s  21MB
Jul 18 18:41:05 Starting compiler/backend/x64
Jul 18 18:41:07 Finished compiler/backend/x64                                     2s  26MB
Jul 18 18:41:08 Starting compiler/backend/arm7
Jul 18 18:41:10 Finished compiler/backend/arm7                                    2s  29MB
Jul 18 18:41:10 Starting compiler/backend/arm8
Jul 18 18:41:12 Finished compiler/backend/arm8                                    2s  28MB
Jul 18 18:41:12 Starting compiler/backend/mips
Jul 18 18:41:15 Finished compiler/backend/mips                                    2s  27MB
Jul 18 18:41:15 Starting compiler/backend/riscv
Jul 18 18:41:17 Finished compiler/backend/riscv                                   2s  26MB
Jul 18 18:41:17 Starting compiler/backend/ag32
Jul 18 18:42:43 Finished compiler/backend/ag32                                 1m25s   1GB
Jul 18 18:42:43 Starting compiler/parsing/proofs
Jul 18 18:42:45 Finished compiler/parsing/proofs                                  1s  25MB
Jul 18 18:42:45 Starting compiler/inference/proofs
Jul 18 18:42:47 Finished compiler/inference/proofs                                1s  22MB
Jul 18 18:42:47 Starting compiler/backend/semantics
Jul 18 18:44:00 Finished compiler/backend/semantics                            1m13s   1GB
Jul 18 18:44:00 Starting compiler/backend/reg_alloc/proofs
Jul 18 18:44:02 Finished compiler/backend/reg_alloc/proofs                        1s  23MB
Jul 18 18:44:02 Starting compiler/backend/proofs
Jul 18 18:45:00 Finished compiler/backend/proofs                                 57s   3GB
Jul 18 18:45:00 Starting compiler/backend/serialiser
Jul 18 18:45:03 Finished compiler/backend/serialiser                              2s  28MB
Jul 18 18:45:03 Starting compiler/encoders/x64/proofs
Jul 18 18:54:54 Finished compiler/encoders/x64/proofs                          9m50s   6GB
Jul 18 18:54:54 Starting compiler/encoders/arm7/proofs
Jul 18 19:08:52 Finished compiler/encoders/arm7/proofs                        13m58s   3GB
Jul 18 19:08:52 Starting compiler/encoders/arm8/proofs
Jul 18 19:15:50 Finished compiler/encoders/arm8/proofs                         6m57s   1GB
Jul 18 19:15:50 Starting compiler/encoders/arm8_asl/proofs
Jul 18 20:07:27 Finished compiler/encoders/arm8_asl/proofs                    51m34s   5GB
Jul 18 20:07:29 Starting compiler/encoders/mips/proofs
Jul 18 20:18:13 Finished compiler/encoders/mips/proofs                        10m43s   1GB
Jul 18 20:18:13 Starting compiler/encoders/riscv/proofs
Jul 18 20:27:23 Finished compiler/encoders/riscv/proofs                        9m09s   1GB
Jul 18 20:27:23 Starting compiler/encoders/ag32/proofs
Jul 18 20:30:01 Finished compiler/encoders/ag32/proofs                         2m38s   1GB
Jul 18 20:30:01 Starting compiler/backend/x64/proofs
Jul 18 20:30:31 Finished compiler/backend/x64/proofs                             29s   2GB
Jul 18 20:30:31 Starting compiler/backend/arm7/proofs
Jul 18 20:31:02 Finished compiler/backend/arm7/proofs                            31s   1GB
Jul 18 20:31:03 Starting compiler/backend/arm8/proofs
Jul 18 20:31:32 Finished compiler/backend/arm8/proofs                            29s   1GB
Jul 18 20:31:32 Starting compiler/backend/arm8_asl
Jul 18 20:31:56 Finished compiler/backend/arm8_asl                               23s   1GB
Jul 18 20:31:56 Starting compiler/backend/mips/proofs
Jul 18 20:32:28 Finished compiler/backend/mips/proofs                            31s   2GB
Jul 18 20:32:28 Starting compiler/backend/riscv/proofs
Jul 18 20:33:02 Finished compiler/backend/riscv/proofs                           33s   2GB
Jul 18 20:33:02 Starting compiler/backend/ag32/proofs
Jul 18 20:46:59 Finished compiler/backend/ag32/proofs                         13m57s   2GB
Jul 18 20:46:59 Starting candle/set-theory
Jul 18 20:47:37 Finished candle/set-theory                                       37s   1GB
Jul 18 20:47:37 Starting candle/syntax-lib
Jul 18 20:47:39 Finished candle/syntax-lib                                        1s  18MB
Jul 18 20:47:39 Starting candle/standard/syntax
Jul 18 20:47:50 Finished candle/standard/syntax                                  10s 836MB
Jul 18 20:47:50 Starting candle/standard/semantics
Jul 18 20:49:51 Finished candle/standard/semantics                             2m01s   1GB
Jul 18 20:49:51 Starting candle/standard/monadic
Jul 18 20:49:53 Finished candle/standard/monadic                                  1s  21MB
Jul 18 20:49:53 Starting candle/standard/ml_kernel
Jul 18 20:51:32 Finished candle/standard/ml_kernel                             1m38s   3GB
Jul 18 20:51:32 Starting candle/overloading/syntax
Jul 18 20:54:53 Finished candle/overloading/syntax                             3m21s   1GB
Jul 18 20:54:53 Starting candle/overloading/semantics
Jul 18 21:07:08 Finished candle/overloading/semantics                         12m14s   2GB
Jul 18 21:07:08 Starting candle/overloading/monadic
Jul 18 21:09:54 Finished candle/overloading/monadic                            2m43s   1GB
Jul 18 21:09:56 Starting candle/overloading/ml_kernel
Jul 18 21:17:48 Finished candle/overloading/ml_kernel                          7m52s   3GB
Jul 18 21:17:48 Starting candle/overloading/ml_checker
Jul 18 21:20:23 Finished candle/overloading/ml_checker                         2m34s   3GB
Jul 18 21:20:23 Starting candle/prover
Jul 18 21:30:20 Finished candle/prover                                         9m56s   3GB
Jul 18 21:30:20 Starting pancake
Jul 18 21:31:05 Finished pancake                                                 45s 991MB
Jul 18 21:31:06 Starting pancake/ffi
Jul 18 21:31:06 Finished pancake/ffi                                              0s  13MB
Jul 18 21:31:06 Starting pancake/semantics
Jul 18 21:33:34 Finished pancake/semantics                                     2m27s   1GB
Jul 18 21:33:34 Starting pancake/parser
Jul 18 21:33:53 Finished pancake/parser                                          18s 631MB
Jul 18 21:33:53 Starting pancake/proofs
Jul 18 22:07:06 Finished pancake/proofs                                       33m12s   5GB
Jul 18 22:07:06 Starting characteristic/examples
Jul 18 22:08:48 Finished characteristic/examples                               1m41s   3GB
Jul 18 22:08:48 Starting tutorial/solutions
Jul 18 22:23:55 Finished tutorial/solutions                                   15m06s  10GB
Jul 18 22:23:55 Starting translator/monadic/examples
Jul 18 22:27:59 Finished translator/monadic/examples                           4m04s   3GB
Jul 18 22:28:00 Starting examples
Jul 18 22:44:13 Finished examples                                             16m12s   4GB
Jul 18 22:44:13 Starting examples/compilation/x64
Jul 19 00:42:40 Finished examples/compilation/x64                           1h58m24s  17GB
Jul 19 00:42:41 Starting examples/compilation/x64/proofs
Jul 19 00:45:13 Finished examples/compilation/x64/proofs                       2m32s   3GB
Jul 19 00:45:13 Starting examples/compilation/ag32
Jul 19 01:15:25 Finished examples/compilation/ag32                            30m11s   9GB
Jul 19 01:15:25 Starting examples/compilation/ag32/proofs
Jul 19 01:16:33 Finished examples/compilation/ag32/proofs                      1m08s   5GB
Jul 19 01:16:33 Starting examples/compilation/to_word
Jul 19 01:19:58 Finished examples/compilation/to_word                          3m24s   7GB
Jul 19 01:19:58 Starting examples/lpr_checker
Jul 19 01:21:04 Finished examples/lpr_checker                                  1m05s   1GB
Jul 19 01:21:04 Starting examples/lpr_checker/array
Jul 19 01:58:09 Finished examples/lpr_checker/array                           37m02s   6GB
Jul 19 01:58:09 Starting examples/lpr_checker/array/compilation
Jul 19 02:39:28 Finished examples/lpr_checker/array/compilation               41m18s  26GB
Jul 19 02:39:28 Starting examples/lpr_checker/array/compilation/proofs
Jul 19 02:41:02 Finished examples/lpr_checker/array/compilation/proofs         1m33s   5GB
Jul 19 02:41:02 Starting examples/opentheory
Jul 19 02:51:51 Finished examples/opentheory                                  10m48s   3GB
Jul 19 02:51:51 Starting examples/opentheory
Jul 19 02:51:52 Finished examples/opentheory                                      1s  24MB
Jul 19 02:51:53 Starting examples/opentheory/compilation
Jul 19 03:29:14 Finished examples/opentheory/compilation                      37m19s  31GB
Jul 19 03:29:14 Starting examples/opentheory/compilation/proofs
Jul 19 03:30:14 Finished examples/opentheory/compilation/proofs                  59s   4GB
Jul 19 03:30:14 Starting examples/opentheory/compilation/ag32
Jul 19 04:03:03 Finished examples/opentheory/compilation/ag32                 32m48s  31GB
Jul 19 04:03:03 Starting examples/opentheory/compilation/ag32/proofs
Jul 19 04:04:53 Finished examples/opentheory/compilation/ag32/proofs           1m49s   4GB
Jul 19 04:04:53 Starting examples/sat_encodings
Jul 19 04:06:55 Finished examples/sat_encodings                                2m02s 886MB
Jul 19 04:06:55 Starting examples/sat_encodings/case_studies
Jul 19 04:08:41 Finished examples/sat_encodings/case_studies                   1m45s   1GB
Jul 19 04:08:41 Starting examples/sat_encodings/translation
Jul 19 04:14:52 Finished examples/sat_encodings/translation                    6m10s   4GB
Jul 19 04:14:52 Starting examples/sat_encodings/translation/compilation
Jul 19 05:00:41 Finished examples/sat_encodings/translation/compilation       45m47s  21GB
Jul 19 05:00:41 Starting examples/deflate
Jul 19 05:01:42 Finished examples/deflate                                      1m00s 916MB
Jul 19 05:01:42 Starting examples/deflate/translation
Jul 19 05:03:24 Finished examples/deflate/translation                          1m42s   3GB
Jul 19 05:03:24 Starting examples/deflate/translation/compilation
Jul 19 05:23:32 Finished examples/deflate/translation/compilation             20m08s  14GB
Jul 19 05:23:33 Starting examples/vipr
Jul 19 05:27:35 Finished examples/vipr                                         4m02s   4GB
Jul 19 05:27:36 Starting examples/vipr/compilation
Jul 19 05:48:03 Finished examples/vipr/compilation                            20m26s  16GB
Jul 19 05:48:03 Starting translator/okasaki-examples
Jul 19 05:53:14 Finished translator/okasaki-examples                           5m11s   1GB
Jul 19 05:53:14 Starting translator/other-examples
Jul 19 05:55:55 Finished translator/other-examples                             2m40s   1GB
Jul 19 05:55:55 Starting compiler/parsing/tests
Jul 19 05:56:27 Finished compiler/parsing/tests                                  31s 922MB
Jul 19 05:56:27 Starting compiler/inference/tests
Jul 19 06:05:07 Finished compiler/inference/tests                              8m37s   3GB
Jul 19 06:05:09 Starting compiler/printing/test
Jul 19 06:09:03 Finished compiler/printing/test                                3m53s   3GB
Jul 19 06:09:03 Starting icing/flover
Jul 19 06:52:06 Finished icing/flover                                         43m02s   2GB
Jul 19 06:52:06 Starting icing/
Jul 19 07:46:52 Finished icing/                                               54m44s   7GB
Jul 19 07:46:52 Starting icing/examples
Jul 19 07:48:25 Finished icing/examples                                        1m32s   3GB
Jul 19 07:48:25 Starting compiler/repl
Jul 19 07:57:07 Finished compiler/repl                                         8m42s   6GB
Jul 19 07:57:07 Starting unverified/sexpr-bootstrap/x64/64
Jul 19 08:10:18 Finished unverified/sexpr-bootstrap/x64/64                    13m10s  15GB
Jul 19 08:10:18 Starting unverified/sexpr-bootstrap/x64/32
Jul 19 08:21:05 Finished unverified/sexpr-bootstrap/x64/32                    10m47s  13GB
Jul 19 08:21:05 Starting compiler/benchmarks
Jul 19 08:36:43 Finished compiler/benchmarks                                  15m37s   2GB
Jul 19 08:36:43 Starting compiler/bootstrap/compilation/x64/64
Jul 19 20:38:02 Finished compiler/bootstrap/compilation/x64/64             12h01m18s  64GB
Jul 19 20:38:02 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 19 20:58:16 Finished compiler/bootstrap/compilation/x64/64/proofs         20m13s  32GB
Jul 19 20:58:16 Starting compiler/bootstrap/compilation/x64/32
Jul 20 03:57:35 Finished compiler/bootstrap/compilation/x64/32              6h59m17s  64GB
Jul 20 03:57:35 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 20 04:00:41 Finished compiler/bootstrap/compilation/x64/32/proofs          3m05s  18GB
Jul 20 04:00:41 Starting compiler/bootstrap/compilation/ag32/32
Jul 20 11:06:53 Finished compiler/bootstrap/compilation/ag32/32             7h06m08s  64GB
Jul 20 11:06:54 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 20 11:13:39 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m45s  31GB
Jul 20 11:13:39 SUCCESS