Job 2443

CakeML:7d1665ac36d3e5345133c48907c757c17cbddb6c
  Extend Holmakefile suggested by readme_gen [Jul 08 15:55:09]
#1009 (readme_gen-suggestion)
Merging into:85802387fa9fe94622233a020112cb53dc951c58
  Delete x64Sexpr32Script.sml [Jul 04 01:04:19]
HOL:a0047680ef60f5bf44fe05190b5dcf8756ab4a73
  Get help/src-sml to build again after 7c55b699b9714 [Jul 02 04:04:45]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Jul 10 08:49:01 Claimed job
Jul 10 08:49:02 Reusing HOL
Jul 10 08:49:47 Starting developers
Jul 10 08:49:52 Finished developers                                               5s 102MB
Jul 10 08:49:53 Starting developers/bin
Jul 10 08:49:59 Finished developers/bin                                           5s   1GB
Jul 10 08:49:59 Starting compiler/proofs
Jul 10 10:52:49 Finished compiler/proofs                                    2h02m50s  21GB
Jul 10 10:52:50 Starting compiler/bootstrap/translation
Jul 10 19:15:12 Finished compiler/bootstrap/translation                     8h22m22s  41GB
Jul 10 19:15:12 Starting semantics/ffi
Jul 10 19:15:18 Finished semantics/ffi                                            5s 375MB
Jul 10 19:15:18 Starting semantics
Jul 10 19:15:19 Finished semantics                                                1s  21MB
Jul 10 19:15:19 Starting semantics/proofs
Jul 10 19:15:56 Finished semantics/proofs                                        36s   1GB
Jul 10 19:15:56 Starting semantics/alt_semantics
Jul 10 19:16:29 Finished semantics/alt_semantics                                 32s 748MB
Jul 10 19:16:29 Starting semantics/alt_semantics/proofs
Jul 10 19:28:38 Finished semantics/alt_semantics/proofs                       12m08s   1GB
Jul 10 19:28:38 Starting basis/pure
Jul 10 19:28:40 Finished basis/pure                                               1s  19MB
Jul 10 19:28:40 Starting translator
Jul 10 19:30:33 Finished translator                                            1m52s   1GB
Jul 10 19:30:33 Starting compiler/parsing
Jul 10 19:30:34 Finished compiler/parsing                                         1s  22MB
Jul 10 19:30:35 Starting characteristic
Jul 10 19:30:37 Finished characteristic                                           2s  23MB
Jul 10 19:30:37 Starting translator/monadic
Jul 10 19:30:39 Finished translator/monadic                                       1s  26MB
Jul 10 19:30:39 Starting basis
Jul 10 19:34:24 Finished basis                                                 3m45s   3GB
Jul 10 19:34:24 Starting compiler/inference
Jul 10 19:34:26 Finished compiler/inference                                       1s  22MB
Jul 10 19:34:26 Starting compiler/backend/reg_alloc
Jul 10 19:34:28 Finished compiler/backend/reg_alloc                               1s  19MB
Jul 10 19:34:28 Starting compiler/backend/gc
Jul 10 19:34:31 Finished compiler/backend/gc                                      2s  22MB
Jul 10 19:34:31 Starting compiler/backend
Jul 10 19:34:45 Finished compiler/backend                                        14s 839MB
Jul 10 19:34:45 Starting compiler/encoders/asm
Jul 10 19:34:47 Finished compiler/encoders/asm                                    1s  24MB
Jul 10 19:34:47 Starting compiler/encoders/x64
Jul 10 19:34:49 Finished compiler/encoders/x64                                    1s  25MB
Jul 10 19:34:49 Starting compiler/encoders/arm7
Jul 10 19:34:51 Finished compiler/encoders/arm7                                   1s  30MB
Jul 10 19:34:51 Starting compiler/encoders/arm8
Jul 10 19:34:53 Finished compiler/encoders/arm8                                   1s  26MB
Jul 10 19:34:53 Starting compiler/encoders/arm8_asl
Jul 10 19:38:10 Finished compiler/encoders/arm8_asl                            3m17s   1GB
Jul 10 19:38:10 Starting compiler/encoders/mips
Jul 10 19:38:12 Finished compiler/encoders/mips                                   1s  25MB
Jul 10 19:38:12 Starting compiler/encoders/riscv
Jul 10 19:38:14 Finished compiler/encoders/riscv                                  1s  25MB
Jul 10 19:38:14 Starting compiler/encoders/ag32
Jul 10 19:38:16 Finished compiler/encoders/ag32                                   1s  28MB
Jul 10 19:38:16 Starting compiler/backend/x64
Jul 10 19:38:19 Finished compiler/backend/x64                                     2s  21MB
Jul 10 19:38:19 Starting compiler/backend/arm7
Jul 10 19:38:21 Finished compiler/backend/arm7                                    2s  30MB
Jul 10 19:38:21 Starting compiler/backend/arm8
Jul 10 19:38:23 Finished compiler/backend/arm8                                    2s  28MB
Jul 10 19:38:24 Starting compiler/backend/mips
Jul 10 19:38:26 Finished compiler/backend/mips                                    2s  22MB
Jul 10 19:38:26 Starting compiler/backend/riscv
Jul 10 19:38:28 Finished compiler/backend/riscv                                   2s  30MB
Jul 10 19:38:28 Starting compiler/backend/ag32
Jul 10 19:39:56 Finished compiler/backend/ag32                                 1m27s   1GB
Jul 10 19:39:56 Starting compiler/parsing/proofs
Jul 10 19:39:58 Finished compiler/parsing/proofs                                  1s  18MB
Jul 10 19:39:58 Starting compiler/inference/proofs
Jul 10 19:40:00 Finished compiler/inference/proofs                                1s  22MB
Jul 10 19:40:00 Starting compiler/backend/semantics
Jul 10 19:43:51 Finished compiler/backend/semantics                            3m51s   2GB
Jul 10 19:43:51 Starting compiler/backend/reg_alloc/proofs
Jul 10 19:43:53 Finished compiler/backend/reg_alloc/proofs                        1s  20MB
Jul 10 19:43:53 Starting compiler/backend/proofs
Jul 10 19:44:57 Finished compiler/backend/proofs                               1m03s   3GB
Jul 10 19:44:57 Starting compiler/backend/serialiser
Jul 10 19:44:59 Finished compiler/backend/serialiser                              2s  23MB
Jul 10 19:44:59 Starting compiler/encoders/x64/proofs
Jul 10 19:54:50 Finished compiler/encoders/x64/proofs                          9m51s   5GB
Jul 10 19:54:51 Starting compiler/encoders/arm7/proofs
Jul 10 20:08:49 Finished compiler/encoders/arm7/proofs                        13m58s   3GB
Jul 10 20:08:49 Starting compiler/encoders/arm8/proofs
Jul 10 20:15:50 Finished compiler/encoders/arm8/proofs                         7m00s   1GB
Jul 10 20:15:50 Starting compiler/encoders/arm8_asl/proofs
Jul 10 20:31:58 Finished compiler/encoders/arm8_asl/proofs                    16m08s   1GB
Jul 10 20:31:58 Starting compiler/encoders/mips/proofs
Jul 10 20:42:29 Finished compiler/encoders/mips/proofs                        10m31s   3GB
Jul 10 20:42:29 Starting compiler/encoders/riscv/proofs
Jul 10 20:51:19 Finished compiler/encoders/riscv/proofs                        8m49s   2GB
Jul 10 20:51:19 Starting compiler/encoders/ag32/proofs
Jul 10 20:53:54 Finished compiler/encoders/ag32/proofs                         2m34s   1GB
Jul 10 20:53:54 Starting compiler/backend/x64/proofs
Jul 10 20:54:28 Finished compiler/backend/x64/proofs                             33s   2GB
Jul 10 20:54:28 Starting compiler/backend/arm7/proofs
Jul 10 20:55:04 Finished compiler/backend/arm7/proofs                            36s   2GB
Jul 10 20:55:04 Starting compiler/backend/arm8/proofs
Jul 10 20:55:36 Finished compiler/backend/arm8/proofs                            31s   1GB
Jul 10 20:55:36 Starting compiler/backend/arm8_asl
Jul 10 20:56:01 Finished compiler/backend/arm8_asl                               24s   1GB
Jul 10 20:56:01 Starting compiler/backend/mips/proofs
Jul 10 20:56:37 Finished compiler/backend/mips/proofs                            35s   2GB
Jul 10 20:56:37 Starting compiler/backend/riscv/proofs
Jul 10 20:57:13 Finished compiler/backend/riscv/proofs                           36s   2GB
Jul 10 20:57:14 Starting compiler/backend/ag32/proofs
Jul 10 21:11:56 Finished compiler/backend/ag32/proofs                         14m42s   2GB
Jul 10 21:11:57 Starting compiler/backend/cv_compute
Jul 10 21:13:19 Finished compiler/backend/cv_compute                           1m22s   2GB
Jul 10 21:13:19 Starting cv_translator
Jul 10 21:34:16 Finished cv_translator                                        20m57s   8GB
Jul 10 21:34:16 Starting candle/set-theory
Jul 10 21:35:01 Finished candle/set-theory                                       44s   1GB
Jul 10 21:35:01 Starting candle/syntax-lib
Jul 10 21:35:03 Finished candle/syntax-lib                                        1s  17MB
Jul 10 21:35:03 Starting candle/standard/syntax
Jul 10 21:35:15 Finished candle/standard/syntax                                  12s 793MB
Jul 10 21:35:16 Starting candle/standard/semantics
Jul 10 21:37:26 Finished candle/standard/semantics                             2m10s   1GB
Jul 10 21:37:26 Starting candle/standard/monadic
Jul 10 21:37:28 Finished candle/standard/monadic                                  1s  29MB
Jul 10 21:37:28 Starting candle/standard/ml_kernel
Jul 10 21:39:15 Finished candle/standard/ml_kernel                             1m46s   3GB
Jul 10 21:39:15 Starting candle/overloading/syntax
Jul 10 21:42:52 Finished candle/overloading/syntax                             3m36s   1GB
Jul 10 21:42:52 Starting candle/overloading/semantics
Jul 10 21:55:18 Finished candle/overloading/semantics                         12m26s   3GB
Jul 10 21:55:18 Starting candle/overloading/monadic
Jul 10 21:58:07 Finished candle/overloading/monadic                            2m49s   1GB
Jul 10 21:58:07 Starting candle/overloading/ml_kernel
Jul 10 22:06:20 Finished candle/overloading/ml_kernel                          8m12s   3GB
Jul 10 22:06:20 Starting candle/overloading/ml_checker
Jul 10 22:09:02 Finished candle/overloading/ml_checker                         2m41s   2GB
Jul 10 22:09:02 Starting candle/prover
Jul 10 22:19:13 Finished candle/prover                                        10m10s   3GB
Jul 10 22:19:13 Starting pancake
Jul 10 22:20:03 Finished pancake                                                 49s 921MB
Jul 10 22:20:03 Starting pancake/ffi
Jul 10 22:20:03 Finished pancake/ffi                                              0s  13MB
Jul 10 22:20:04 Starting pancake/semantics
Jul 10 22:22:52 Finished pancake/semantics                                     2m48s   1GB
Jul 10 22:22:52 Starting pancake/parser
Jul 10 22:23:23 Finished pancake/parser                                          30s   1GB
Jul 10 22:23:23 Starting pancake/proofs
Jul 10 22:58:28 Finished pancake/proofs                                       35m05s   4GB
Jul 10 22:58:28 Starting characteristic/examples
Jul 10 23:00:05 Finished characteristic/examples                               1m36s   3GB
Jul 10 23:00:05 Starting tutorial/solutions
Jul 10 23:02:41 Finished tutorial/solutions                                    2m35s   3GB
Jul 10 23:02:41 Starting translator/monadic/examples
Jul 10 23:07:00 Finished translator/monadic/examples                           4m19s   3GB
Jul 10 23:07:00 Starting examples
Jul 10 23:23:02 Finished examples                                             16m02s   5GB
Jul 10 23:23:03 Starting examples/compilation/x64
Jul 10 23:31:47 Finished examples/compilation/x64                              8m44s   5GB
Jul 10 23:31:47 Starting examples/compilation/x64/proofs
Jul 10 23:34:40 Finished examples/compilation/x64/proofs                       2m52s   5GB
Jul 10 23:34:40 Starting examples/compilation/ag32
Jul 10 23:36:46 Finished examples/compilation/ag32                             2m05s   3GB
Jul 10 23:36:46 Starting examples/compilation/ag32/proofs
Jul 10 23:37:59 Finished examples/compilation/ag32/proofs                      1m12s   5GB
Jul 10 23:37:59 Starting examples/compilation/to_word
Jul 10 23:41:31 Finished examples/compilation/to_word                          3m31s   6GB
Jul 10 23:41:31 Starting examples/lpr_checker
Jul 10 23:42:43 Finished examples/lpr_checker                                  1m12s 933MB
Jul 10 23:42:43 Starting examples/lpr_checker/array
Jul 11 00:13:10 Finished examples/lpr_checker/array                           30m26s   6GB
Jul 11 00:13:10 Starting examples/lpr_checker/array/compilation
Jul 11 00:15:53 Finished examples/lpr_checker/array/compilation                2m43s   8GB
Jul 11 00:15:54 Starting examples/lpr_checker/array/compilation/proofs
Jul 11 00:17:16 Finished examples/lpr_checker/array/compilation/proofs         1m22s   6GB
Jul 11 00:17:16 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 11 00:18:34 Finished examples/lpr_checker/array/compilation/proofsARM8     1m18s   7GB
Jul 11 00:18:35 Starting examples/xlrup_checker
Jul 11 00:19:39 Finished examples/xlrup_checker                                1m04s   1GB
Jul 11 00:19:39 Starting examples/xlrup_checker/array
Jul 11 00:35:50 Finished examples/xlrup_checker/array                         16m11s   5GB
Jul 11 00:35:50 Starting examples/xlrup_checker/array/compilation
Jul 11 00:37:12 Finished examples/xlrup_checker/array/compilation              1m22s   5GB
Jul 11 00:37:13 Starting examples/xlrup_checker/array/compilation/proofs
Jul 11 00:38:22 Finished examples/xlrup_checker/array/compilation/proofs       1m09s   4GB
Jul 11 00:38:22 Starting examples/pseudo_bool
Jul 11 00:40:27 Finished examples/pseudo_bool                                  2m04s   1GB
Jul 11 00:40:27 Starting examples/pseudo_bool/cnf_encoding
Jul 11 00:40:57 Finished examples/pseudo_bool/cnf_encoding                       30s   1GB
Jul 11 00:40:57 Starting examples/pseudo_bool/graph_encoding
Jul 11 00:41:44 Finished examples/pseudo_bool/graph_encoding                     46s 969MB
Jul 11 00:41:44 Starting examples/pseudo_bool/array
Jul 11 01:52:17 Finished examples/pseudo_bool/array                         1h10m33s   9GB
Jul 11 01:52:17 Starting examples/pseudo_bool/array/compilation
Jul 11 02:06:53 Finished examples/pseudo_bool/array/compilation               14m35s  25GB
Jul 11 02:06:53 Starting examples/pseudo_bool/array/compilation/proofs
Jul 11 02:09:47 Finished examples/pseudo_bool/array/compilation/proofs         2m54s   7GB
Jul 11 02:09:47 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 11 02:11:04 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m16s   6GB
Jul 11 02:11:04 Starting examples/opentheory
Jul 11 02:22:12 Finished examples/opentheory                                  11m08s   4GB
Jul 11 02:22:12 Starting examples/opentheory
Jul 11 02:22:14 Finished examples/opentheory                                      1s  28MB
Jul 11 02:22:14 Starting examples/opentheory/compilation
Jul 11 02:24:16 Finished examples/opentheory/compilation                       2m01s   6GB
Jul 11 02:24:16 Starting examples/opentheory/compilation/proofs
Jul 11 02:25:22 Finished examples/opentheory/compilation/proofs                1m05s   5GB
Jul 11 02:25:22 Starting examples/opentheory/compilation/ag32
Jul 11 02:27:23 Finished examples/opentheory/compilation/ag32                  2m01s   5GB
Jul 11 02:27:23 Starting examples/opentheory/compilation/ag32/proofs
Jul 11 02:29:10 Finished examples/opentheory/compilation/ag32/proofs           1m46s   9GB
Jul 11 02:29:10 Starting examples/sat_encodings
Jul 11 02:31:29 Finished examples/sat_encodings                                2m19s   1GB
Jul 11 02:31:30 Starting examples/sat_encodings/case_studies
Jul 11 02:33:29 Finished examples/sat_encodings/case_studies                   1m59s   1GB
Jul 11 02:33:29 Starting examples/sat_encodings/translation
Jul 11 02:40:08 Finished examples/sat_encodings/translation                    6m38s   4GB
Jul 11 02:40:08 Starting examples/sat_encodings/translation/compilation
Jul 11 02:42:29 Finished examples/sat_encodings/translation/compilation        2m20s   5GB
Jul 11 02:42:29 Starting examples/deflate
Jul 11 02:43:37 Finished examples/deflate                                      1m08s   1GB
Jul 11 02:43:38 Starting examples/deflate/translation
Jul 11 02:45:24 Finished examples/deflate/translation                          1m46s   3GB
Jul 11 02:45:25 Starting examples/deflate/translation/compilation
Jul 11 02:46:32 Finished examples/deflate/translation/compilation              1m07s   3GB
Jul 11 02:46:33 Starting examples/vipr
Jul 11 02:50:41 Finished examples/vipr                                         4m08s   3GB
Jul 11 02:50:41 Starting examples/vipr/compilation
Jul 11 02:52:00 Finished examples/vipr/compilation                             1m18s   3GB
Jul 11 02:52:00 Starting translator/okasaki-examples
Jul 11 02:57:21 Finished translator/okasaki-examples                           5m21s   2GB
Jul 11 02:57:21 Starting translator/other-examples
Jul 11 02:58:22 Finished translator/other-examples                             1m00s   2GB
Jul 11 02:58:22 Starting compiler/parsing/tests
Jul 11 02:58:55 Finished compiler/parsing/tests                                  32s 792MB
Jul 11 02:58:55 Starting compiler/inference/tests
Jul 11 02:59:26 Finished compiler/inference/tests                                31s   1GB
Jul 11 02:59:26 Starting compiler/printing/test
Jul 11 03:00:56 Finished compiler/printing/test                                1m29s   2GB
Jul 11 03:00:56 Starting icing/flover
Jul 11 03:47:03 Finished icing/flover                                         46m07s   2GB
Jul 11 03:47:03 Starting icing/
Jul 11 04:16:24 Finished icing/                                               29m20s   4GB
Jul 11 04:16:24 Starting icing/examples
Jul 11 04:18:02 Finished icing/examples                                        1m37s   5GB
Jul 11 04:18:02 Starting compiler/repl
Jul 11 04:26:59 Finished compiler/repl                                         8m56s   6GB
Jul 11 04:26:59 Starting unverified/sexpr-bootstrap/x64/64
Jul 11 04:41:58 Finished unverified/sexpr-bootstrap/x64/64                    14m59s  19GB
Jul 11 04:41:58 Starting unverified/sexpr-bootstrap/x64/32
Jul 11 04:53:18 Finished unverified/sexpr-bootstrap/x64/32                    11m20s  13GB
Jul 11 04:53:19 Starting compiler/benchmarks
Jul 11 05:08:57 Finished compiler/benchmarks                                  15m38s   2GB
Jul 11 05:08:57 Starting compiler/bootstrap/compilation/x64/64
Jul 11 06:08:07 Finished compiler/bootstrap/compilation/x64/64                59m09s  63GB
Jul 11 06:08:07 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 11 06:33:14 Finished compiler/bootstrap/compilation/x64/64/proofs         25m06s  48GB
Jul 11 06:33:14 Starting compiler/bootstrap/compilation/x64/32
Jul 11 07:10:20 Finished compiler/bootstrap/compilation/x64/32                37m05s  63GB
Jul 11 07:10:20 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 11 07:16:08 Finished compiler/bootstrap/compilation/x64/32/proofs          5m47s  17GB
Jul 11 07:16:08 Starting compiler/bootstrap/compilation/ag32/32
Jul 11 07:52:57 Finished compiler/bootstrap/compilation/ag32/32               36m48s  63GB
Jul 11 07:52:57 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 11 07:59:11 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m14s  18GB
Jul 11 07:59:11 SUCCESS