Job 2418

CakeML:a2fca1ec0d825e306dd5af8483b4f8b69bb3b41a
  Speed things up by using arm8/l3-equiv heap [Jun 19 07:55:27]
#1002 (to_data_cv)
Merging into:2780707afbdb6e74a467fa3b48416f8101518335
  Replace occurrences of numLib.prefer_num with numLib.temp_prefer_num [Jun 17 02:03:55]
HOL:493fc3fcd7d8390b7d85861775b6e56fd6b17d9f
  Remove some unicode [Jun 18 04:19:36]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Jun 20 17:26:15 Claimed job
Jun 20 17:26:17 Reusing HOL
Jun 20 17:27:02 Starting developers
Jun 20 17:27:08 Finished developers                                               5s 107MB
Jun 20 17:27:08 Starting developers/bin
Jun 20 17:27:14 Finished developers/bin                                           5s   1GB
Jun 20 17:27:14 Starting compiler/proofs
Jun 20 19:30:11 Finished compiler/proofs                                    2h02m57s  19GB
Jun 20 19:30:12 Starting compiler/bootstrap/translation
Jun 21 04:13:07 Finished compiler/bootstrap/translation                     8h42m55s  45GB
Jun 21 04:13:07 Starting semantics/ffi
Jun 21 04:13:13 Finished semantics/ffi                                            5s 400MB
Jun 21 04:13:13 Starting semantics
Jun 21 04:13:14 Finished semantics                                                1s  18MB
Jun 21 04:13:14 Starting semantics/proofs
Jun 21 04:13:50 Finished semantics/proofs                                        35s 863MB
Jun 21 04:13:50 Starting semantics/alt_semantics
Jun 21 04:14:26 Finished semantics/alt_semantics                                 35s 670MB
Jun 21 04:14:26 Starting semantics/alt_semantics/proofs
Jun 21 04:27:12 Finished semantics/alt_semantics/proofs                       12m45s   1GB
Jun 21 04:27:12 Starting basis/pure
Jun 21 04:27:13 Finished basis/pure                                               1s  18MB
Jun 21 04:27:13 Starting translator
Jun 21 04:29:15 Finished translator                                            2m01s   1GB
Jun 21 04:29:15 Starting compiler/parsing
Jun 21 04:29:17 Finished compiler/parsing                                         1s  29MB
Jun 21 04:29:17 Starting characteristic
Jun 21 04:29:19 Finished characteristic                                           1s  30MB
Jun 21 04:29:19 Starting translator/monadic
Jun 21 04:29:21 Finished translator/monadic                                       1s  23MB
Jun 21 04:29:21 Starting basis
Jun 21 04:33:27 Finished basis                                                 4m05s   3GB
Jun 21 04:33:27 Starting compiler/inference
Jun 21 04:33:29 Finished compiler/inference                                       1s  21MB
Jun 21 04:33:29 Starting compiler/backend/reg_alloc
Jun 21 04:33:30 Finished compiler/backend/reg_alloc                               1s  24MB
Jun 21 04:33:30 Starting compiler/backend/gc
Jun 21 04:33:33 Finished compiler/backend/gc                                      2s  28MB
Jun 21 04:33:33 Starting compiler/backend
Jun 21 04:33:48 Finished compiler/backend                                        14s 766MB
Jun 21 04:33:48 Starting compiler/encoders/asm
Jun 21 04:33:50 Finished compiler/encoders/asm                                    1s  22MB
Jun 21 04:33:50 Starting compiler/encoders/x64
Jun 21 04:33:52 Finished compiler/encoders/x64                                    1s  22MB
Jun 21 04:33:52 Starting compiler/encoders/arm7
Jun 21 04:33:54 Finished compiler/encoders/arm7                                   1s  23MB
Jun 21 04:33:54 Starting compiler/encoders/arm8
Jun 21 04:33:56 Finished compiler/encoders/arm8                                   1s  20MB
Jun 21 04:33:56 Starting compiler/encoders/arm8_asl
Jun 21 07:02:49 Finished compiler/encoders/arm8_asl                         2h28m52s  25GB
Jun 21 07:02:49 Starting compiler/encoders/mips
Jun 21 07:02:51 Finished compiler/encoders/mips                                   1s  21MB
Jun 21 07:02:51 Starting compiler/encoders/riscv
Jun 21 07:02:53 Finished compiler/encoders/riscv                                  1s  20MB
Jun 21 07:02:53 Starting compiler/encoders/ag32
Jun 21 07:02:55 Finished compiler/encoders/ag32                                   1s  28MB
Jun 21 07:02:55 Starting compiler/backend/x64
Jun 21 07:02:58 Finished compiler/backend/x64                                     2s  27MB
Jun 21 07:02:58 Starting compiler/backend/arm7
Jun 21 07:03:00 Finished compiler/backend/arm7                                    2s  28MB
Jun 21 07:03:00 Starting compiler/backend/arm8
Jun 21 07:03:03 Finished compiler/backend/arm8                                    2s  22MB
Jun 21 07:03:03 Starting compiler/backend/mips
Jun 21 07:03:05 Finished compiler/backend/mips                                    2s  25MB
Jun 21 07:03:05 Starting compiler/backend/riscv
Jun 21 07:03:08 Finished compiler/backend/riscv                                   2s  29MB
Jun 21 07:03:08 Starting compiler/backend/ag32
Jun 21 07:04:35 Finished compiler/backend/ag32                                 1m27s   1GB
Jun 21 07:04:35 Starting compiler/parsing/proofs
Jun 21 07:04:37 Finished compiler/parsing/proofs                                  1s  22MB
Jun 21 07:04:37 Starting compiler/inference/proofs
Jun 21 07:04:39 Finished compiler/inference/proofs                                1s  26MB
Jun 21 07:04:39 Starting compiler/backend/semantics
Jun 21 07:08:33 Finished compiler/backend/semantics                            3m53s   1GB
Jun 21 07:08:33 Starting compiler/backend/reg_alloc/proofs
Jun 21 07:08:35 Finished compiler/backend/reg_alloc/proofs                        1s  27MB
Jun 21 07:08:35 Starting compiler/backend/proofs
Jun 21 07:09:35 Finished compiler/backend/proofs                                 59s   2GB
Jun 21 07:09:35 Starting compiler/backend/serialiser
Jun 21 07:09:37 Finished compiler/backend/serialiser                              2s  23MB
Jun 21 07:09:37 Starting compiler/encoders/x64/proofs
Jun 21 07:19:26 Finished compiler/encoders/x64/proofs                          9m48s   6GB
Jun 21 07:19:26 Starting compiler/encoders/arm7/proofs
Jun 21 07:33:06 Finished compiler/encoders/arm7/proofs                        13m40s   6GB
Jun 21 07:33:06 Starting compiler/encoders/arm8/proofs
Jun 21 07:40:08 Finished compiler/encoders/arm8/proofs                         7m01s   1GB
Jun 21 07:40:08 Starting compiler/encoders/arm8_asl/proofs
Jun 21 08:32:36 Finished compiler/encoders/arm8_asl/proofs                    52m28s   5GB
Jun 21 08:32:36 Starting compiler/encoders/mips/proofs
Jun 21 08:43:17 Finished compiler/encoders/mips/proofs                        10m40s   3GB
Jun 21 08:43:17 Starting compiler/encoders/riscv/proofs
Jun 21 08:52:05 Finished compiler/encoders/riscv/proofs                        8m47s   2GB
Jun 21 08:52:05 Starting compiler/encoders/ag32/proofs
Jun 21 08:54:39 Finished compiler/encoders/ag32/proofs                         2m34s   1GB
Jun 21 08:54:40 Starting compiler/backend/x64/proofs
Jun 21 08:55:13 Finished compiler/backend/x64/proofs                             33s   2GB
Jun 21 08:55:13 Starting compiler/backend/arm7/proofs
Jun 21 08:55:50 Finished compiler/backend/arm7/proofs                            36s   2GB
Jun 21 08:55:50 Starting compiler/backend/arm8/proofs
Jun 21 08:56:24 Finished compiler/backend/arm8/proofs                            33s   2GB
Jun 21 08:56:24 Starting compiler/backend/arm8_asl
Jun 21 08:56:50 Finished compiler/backend/arm8_asl                               25s   2GB
Jun 21 08:56:50 Starting compiler/backend/mips/proofs
Jun 21 08:57:26 Finished compiler/backend/mips/proofs                            36s   2GB
Jun 21 08:57:26 Starting compiler/backend/riscv/proofs
Jun 21 08:58:03 Finished compiler/backend/riscv/proofs                           37s   2GB
Jun 21 08:58:03 Starting compiler/backend/ag32/proofs
Jun 21 09:12:38 Finished compiler/backend/ag32/proofs                         14m34s   2GB
Jun 21 09:12:38 Starting compiler/backend/cv_compute
Jun 21 09:13:59 Finished compiler/backend/cv_compute                           1m20s   2GB
Jun 21 09:13:59 Starting cv_translator
Jun 21 09:34:22 Finished cv_translator                                        20m23s   5GB
Jun 21 09:34:22 Starting candle/set-theory
Jun 21 09:35:05 Finished candle/set-theory                                       42s   1GB
Jun 21 09:35:05 Starting candle/syntax-lib
Jun 21 09:35:07 Finished candle/syntax-lib                                        1s  21MB
Jun 21 09:35:07 Starting candle/standard/syntax
Jun 21 09:35:20 Finished candle/standard/syntax                                  12s 797MB
Jun 21 09:35:20 Starting candle/standard/semantics
Jun 21 09:37:28 Finished candle/standard/semantics                             2m07s   1GB
Jun 21 09:37:28 Starting candle/standard/monadic
Jun 21 09:37:30 Finished candle/standard/monadic                                  1s  21MB
Jun 21 09:37:30 Starting candle/standard/ml_kernel
Jun 21 09:39:14 Finished candle/standard/ml_kernel                             1m43s   3GB
Jun 21 09:39:14 Starting candle/overloading/syntax
Jun 21 09:42:46 Finished candle/overloading/syntax                             3m32s   1GB
Jun 21 09:42:46 Starting candle/overloading/semantics
Jun 21 09:55:06 Finished candle/overloading/semantics                         12m19s   4GB
Jun 21 09:55:06 Starting candle/overloading/monadic
Jun 21 09:57:59 Finished candle/overloading/monadic                            2m52s   1GB
Jun 21 09:57:59 Starting candle/overloading/ml_kernel
Jun 21 10:06:05 Finished candle/overloading/ml_kernel                          8m05s   4GB
Jun 21 10:06:05 Starting candle/overloading/ml_checker
Jun 21 10:08:45 Finished candle/overloading/ml_checker                         2m39s   3GB
Jun 21 10:08:45 Starting candle/prover
Jun 21 10:18:59 Finished candle/prover                                        10m14s   3GB
Jun 21 10:18:59 Starting pancake
Jun 21 10:19:49 Finished pancake                                                 49s   1GB
Jun 21 10:19:49 Starting pancake/ffi
Jun 21 10:19:50 Finished pancake/ffi                                              0s  13MB
Jun 21 10:19:50 Starting pancake/semantics
Jun 21 10:22:46 Finished pancake/semantics                                     2m55s   1GB
Jun 21 10:22:46 Starting pancake/parser
Jun 21 10:23:15 Finished pancake/parser                                          28s 722MB
Jun 21 10:23:15 Starting pancake/proofs
Jun 21 10:58:31 Finished pancake/proofs                                       35m16s   5GB
Jun 21 10:58:31 Starting characteristic/examples
Jun 21 11:00:09 Finished characteristic/examples                               1m38s   2GB
Jun 21 11:00:09 Starting tutorial/solutions
Jun 21 11:02:48 Finished tutorial/solutions                                    2m38s   4GB
Jun 21 11:02:48 Starting translator/monadic/examples
Jun 21 11:07:09 Finished translator/monadic/examples                           4m20s   4GB
Jun 21 11:07:09 Starting examples
Jun 21 11:23:16 Finished examples                                             16m06s   5GB
Jun 21 11:23:16 Starting examples/compilation/x64
Jun 21 11:32:02 Finished examples/compilation/x64                              8m46s   5GB
Jun 21 11:32:02 Starting examples/compilation/x64/proofs
Jun 21 11:34:54 Finished examples/compilation/x64/proofs                       2m52s   4GB
Jun 21 11:34:54 Starting examples/compilation/ag32
Jun 21 11:37:05 Finished examples/compilation/ag32                             2m10s   2GB
Jun 21 11:37:05 Starting examples/compilation/ag32/proofs
Jun 21 11:38:16 Finished examples/compilation/ag32/proofs                      1m10s   5GB
Jun 21 11:38:16 Starting examples/compilation/to_word
Jun 21 11:41:48 Finished examples/compilation/to_word                          3m31s   6GB
Jun 21 11:41:48 Starting examples/lpr_checker
Jun 21 11:43:00 Finished examples/lpr_checker                                  1m12s   1GB
Jun 21 11:43:00 Starting examples/lpr_checker/array
Jun 21 12:13:21 Finished examples/lpr_checker/array                           30m20s   7GB
Jun 21 12:13:21 Starting examples/lpr_checker/array/compilation
Jun 21 12:15:59 Finished examples/lpr_checker/array/compilation                2m37s   7GB
Jun 21 12:15:59 Starting examples/lpr_checker/array/compilation/proofs
Jun 21 12:17:19 Finished examples/lpr_checker/array/compilation/proofs         1m20s   7GB
Jun 21 12:17:19 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 21 12:18:37 Finished examples/lpr_checker/array/compilation/proofsARM8     1m17s   6GB
Jun 21 12:18:38 Starting examples/xlrup_checker
Jun 21 12:19:41 Finished examples/xlrup_checker                                1m03s   1GB
Jun 21 12:19:42 Starting examples/xlrup_checker/array
Jun 21 12:35:36 Finished examples/xlrup_checker/array                         15m54s   4GB
Jun 21 12:35:36 Starting examples/xlrup_checker/array/compilation
Jun 21 12:36:59 Finished examples/xlrup_checker/array/compilation              1m22s   4GB
Jun 21 12:36:59 Starting examples/xlrup_checker/array/compilation/proofs
Jun 21 12:38:06 Finished examples/xlrup_checker/array/compilation/proofs       1m06s   5GB
Jun 21 12:38:06 Starting examples/pseudo_bool
Jun 21 12:40:10 Finished examples/pseudo_bool                                  2m03s   1GB
Jun 21 12:40:10 Starting examples/pseudo_bool/cnf_encoding
Jun 21 12:40:39 Finished examples/pseudo_bool/cnf_encoding                       29s   1GB
Jun 21 12:40:40 Starting examples/pseudo_bool/graph_encoding
Jun 21 12:41:26 Finished examples/pseudo_bool/graph_encoding                     45s   1GB
Jun 21 12:41:26 Starting examples/pseudo_bool/array
Jun 21 13:51:22 Finished examples/pseudo_bool/array                         1h09m56s   8GB
Jun 21 13:51:22 Starting examples/pseudo_bool/array/compilation
Jun 21 14:06:17 Finished examples/pseudo_bool/array/compilation               14m54s  25GB
Jun 21 14:06:17 Starting examples/pseudo_bool/array/compilation/proofs
Jun 21 14:09:11 Finished examples/pseudo_bool/array/compilation/proofs         2m54s   7GB
Jun 21 14:09:12 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 21 14:10:28 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m16s   6GB
Jun 21 14:10:28 Starting examples/opentheory
Jun 21 14:21:41 Finished examples/opentheory                                  11m12s   4GB
Jun 21 14:21:41 Starting examples/opentheory
Jun 21 14:21:43 Finished examples/opentheory                                      1s  27MB
Jun 21 14:21:43 Starting examples/opentheory/compilation
Jun 21 14:23:45 Finished examples/opentheory/compilation                       2m02s   5GB
Jun 21 14:23:47 Starting examples/opentheory/compilation/proofs
Jun 21 14:24:53 Finished examples/opentheory/compilation/proofs                1m05s   5GB
Jun 21 14:24:53 Starting examples/opentheory/compilation/ag32
Jun 21 14:26:57 Finished examples/opentheory/compilation/ag32                  2m03s   6GB
Jun 21 14:26:57 Starting examples/opentheory/compilation/ag32/proofs
Jun 21 14:28:38 Finished examples/opentheory/compilation/ag32/proofs           1m40s   6GB
Jun 21 14:28:38 Starting examples/sat_encodings
Jun 21 14:30:58 Finished examples/sat_encodings                                2m20s   1GB
Jun 21 14:30:58 Starting examples/sat_encodings/case_studies
Jun 21 14:32:54 Finished examples/sat_encodings/case_studies                   1m56s   1GB
Jun 21 14:32:54 Starting examples/sat_encodings/translation
Jun 21 14:39:31 Finished examples/sat_encodings/translation                    6m36s   4GB
Jun 21 14:39:31 Starting examples/sat_encodings/translation/compilation
Jun 21 14:41:55 Finished examples/sat_encodings/translation/compilation        2m24s   5GB
Jun 21 14:41:55 Starting examples/deflate
Jun 21 14:43:05 Finished examples/deflate                                      1m09s 908MB
Jun 21 14:43:05 Starting examples/deflate/translation
Jun 21 14:44:52 Finished examples/deflate/translation                          1m46s   4GB
Jun 21 14:44:52 Starting examples/deflate/translation/compilation
Jun 21 14:46:03 Finished examples/deflate/translation/compilation              1m10s   3GB
Jun 21 14:46:03 Starting examples/vipr
Jun 21 14:50:10 Finished examples/vipr                                         4m07s   4GB
Jun 21 14:50:10 Starting examples/vipr/compilation
Jun 21 14:51:26 Finished examples/vipr/compilation                             1m15s   3GB
Jun 21 14:51:26 Starting translator/okasaki-examples
Jun 21 14:56:50 Finished translator/okasaki-examples                           5m24s   2GB
Jun 21 14:56:50 Starting translator/other-examples
Jun 21 15:00:41 Finished translator/other-examples                             3m50s   2GB
Jun 21 15:00:41 Starting compiler/parsing/tests
Jun 21 15:01:14 Finished compiler/parsing/tests                                  33s 884MB
Jun 21 15:01:14 Starting compiler/inference/tests
Jun 21 15:01:47 Finished compiler/inference/tests                                32s   1GB
Jun 21 15:01:47 Starting compiler/printing/test
Jun 21 15:03:14 Finished compiler/printing/test                                1m27s   2GB
Jun 21 15:03:14 Starting icing/flover
Jun 21 15:48:34 Finished icing/flover                                         45m19s   2GB
Jun 21 15:48:34 Starting icing/
Jun 21 16:42:56 Finished icing/                                               54m21s   7GB
Jun 21 16:42:56 Starting icing/examples
Jun 21 16:44:37 Finished icing/examples                                        1m40s   4GB
Jun 21 16:44:37 Starting compiler/repl
Jun 21 16:53:32 Finished compiler/repl                                         8m55s   6GB
Jun 21 16:53:33 Starting unverified/sexpr-bootstrap/x64/64
Jun 21 17:07:29 Finished unverified/sexpr-bootstrap/x64/64                    13m56s  18GB
Jun 21 17:07:29 Starting unverified/sexpr-bootstrap/x64/32
Jun 21 17:18:54 Finished unverified/sexpr-bootstrap/x64/32                    11m25s  15GB
Jun 21 17:18:54 Starting compiler/benchmarks
Jun 21 17:34:35 Finished compiler/benchmarks                                  15m40s   2GB
Jun 21 17:34:35 Starting compiler/bootstrap/compilation/x64/64
Jun 21 18:31:32 Finished compiler/bootstrap/compilation/x64/64                56m56s  63GB
Jun 21 18:31:32 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 21 18:53:17 Finished compiler/bootstrap/compilation/x64/64/proofs         21m45s  43GB
Jun 21 18:53:17 Starting compiler/bootstrap/compilation/x64/32
Jun 21 19:30:43 Finished compiler/bootstrap/compilation/x64/32                37m25s  64GB
Jun 21 19:30:43 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 21 19:34:47 Finished compiler/bootstrap/compilation/x64/32/proofs          4m04s  24GB
Jun 21 19:34:47 Starting compiler/bootstrap/compilation/ag32/32
Jun 21 20:11:05 Finished compiler/bootstrap/compilation/ag32/32               36m17s  64GB
Jun 21 20:11:05 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 21 20:17:27 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m21s  19GB
Jun 21 20:17:27 SUCCESS