Job 2432

CakeML:2b88c6aacedac484e0e8b84ece6f655847413997
  Remove unnecessary lines in 32bit sexpr bootstrap Holmakefile [Jun 30 01:48:36]
#1005 (pancake_entry_points)
Merging into:a14567ec355683fa0b4865d412e74610e3e1f1ae
  Merge pull request #1004 from DoomishGuy/pan_lower_ops [Jun 26 10:21:07]
HOL:493fc3fcd7d8390b7d85861775b6e56fd6b17d9f
  Remove some unicode [Jun 18 04:19:36]
Machine:pavlova

Jun 30 01:52:08 Claimed job
Jun 30 01:52:17 Reusing HOL
Jun 30 01:52:28 Starting developers
Jun 30 01:52:32 Finished developers                                               2s 213MB
Jun 30 01:52:33 Starting developers/bin
Jun 30 01:52:44 Finished developers/bin                                          10s   1GB
Jun 30 01:52:45 Starting compiler/proofs
Jun 30 03:45:38 Finished compiler/proofs                                    1h52m52s  35GB
Jun 30 03:45:39 Starting compiler/bootstrap/translation
Jun 30 11:57:19 Finished compiler/bootstrap/translation                     8h11m39s  80GB
Jun 30 11:57:20 Starting semantics/ffi
Jun 30 11:57:29 Finished semantics/ffi                                            7s 726MB
Jun 30 11:57:30 Starting semantics
Jun 30 11:57:31 Finished semantics                                                0s  68MB
Jun 30 11:57:32 Starting semantics/proofs
Jun 30 11:58:10 Finished semantics/proofs                                        37s   1GB
Jun 30 11:58:11 Starting semantics/alt_semantics
Jun 30 11:58:53 Finished semantics/alt_semantics                                 41s   1GB
Jun 30 11:58:54 Starting semantics/alt_semantics/proofs
Jun 30 12:10:08 Finished semantics/alt_semantics/proofs                       11m13s   5GB
Jun 30 12:10:09 Starting basis/pure
Jun 30 12:10:11 Finished basis/pure                                               0s  70MB
Jun 30 12:10:12 Starting translator
Jun 30 12:11:59 Finished translator                                            1m46s   3GB
Jun 30 12:12:00 Starting compiler/parsing
Jun 30 12:12:02 Finished compiler/parsing                                         0s  69MB
Jun 30 12:12:02 Starting characteristic
Jun 30 12:12:04 Finished characteristic                                           0s  93MB
Jun 30 12:12:05 Starting translator/monadic
Jun 30 12:12:07 Finished translator/monadic                                       0s  96MB
Jun 30 12:12:07 Starting basis
Jun 30 12:15:42 Finished basis                                                 3m34s   6GB
Jun 30 12:15:43 Starting compiler/inference
Jun 30 12:15:45 Finished compiler/inference                                       0s 104MB
Jun 30 12:15:46 Starting compiler/backend/reg_alloc
Jun 30 12:15:47 Finished compiler/backend/reg_alloc                               0s  67MB
Jun 30 12:15:48 Starting compiler/backend/gc
Jun 30 12:15:50 Finished compiler/backend/gc                                      0s 138MB
Jun 30 12:15:51 Starting compiler/backend
Jun 30 12:16:11 Finished compiler/backend                                        18s   1GB
Jun 30 12:16:11 Starting compiler/encoders/asm
Jun 30 12:16:13 Finished compiler/encoders/asm                                    0s  89MB
Jun 30 12:16:14 Starting compiler/encoders/x64
Jun 30 12:16:15 Finished compiler/encoders/x64                                    0s  93MB
Jun 30 12:16:16 Starting compiler/encoders/arm7
Jun 30 12:16:18 Finished compiler/encoders/arm7                                   0s  98MB
Jun 30 12:16:19 Starting compiler/encoders/arm8
Jun 30 12:16:20 Finished compiler/encoders/arm8                                   0s 102MB
Jun 30 12:16:21 Starting compiler/encoders/arm8_asl
Jun 30 12:18:37 Finished compiler/encoders/arm8_asl                            2m15s   1GB
Jun 30 12:18:38 Starting compiler/encoders/mips
Jun 30 12:18:40 Finished compiler/encoders/mips                                   0s  93MB
Jun 30 12:18:41 Starting compiler/encoders/riscv
Jun 30 12:18:42 Finished compiler/encoders/riscv                                  0s 100MB
Jun 30 12:18:43 Starting compiler/encoders/ag32
Jun 30 12:18:45 Finished compiler/encoders/ag32                                   0s  96MB
Jun 30 12:18:46 Starting compiler/backend/x64
Jun 30 12:18:47 Finished compiler/backend/x64                                     0s 136MB
Jun 30 12:18:48 Starting compiler/backend/arm7
Jun 30 12:18:50 Finished compiler/backend/arm7                                    0s 135MB
Jun 30 12:18:51 Starting compiler/backend/arm8
Jun 30 12:18:53 Finished compiler/backend/arm8                                    0s 136MB
Jun 30 12:18:54 Starting compiler/backend/mips
Jun 30 12:18:56 Finished compiler/backend/mips                                    0s 135MB
Jun 30 12:18:57 Starting compiler/backend/riscv
Jun 30 12:18:58 Finished compiler/backend/riscv                                   0s 135MB
Jun 30 12:18:59 Starting compiler/backend/ag32
Jun 30 12:20:19 Finished compiler/backend/ag32                                 1m19s   2GB
Jun 30 12:20:20 Starting compiler/parsing/proofs
Jun 30 12:20:22 Finished compiler/parsing/proofs                                  0s  77MB
Jun 30 12:20:23 Starting compiler/inference/proofs
Jun 30 12:20:24 Finished compiler/inference/proofs                                0s  95MB
Jun 30 12:20:25 Starting compiler/backend/semantics
Jun 30 12:24:15 Finished compiler/backend/semantics                            3m49s   3GB
Jun 30 12:24:16 Starting compiler/backend/reg_alloc/proofs
Jun 30 12:24:18 Finished compiler/backend/reg_alloc/proofs                        0s  96MB
Jun 30 12:24:19 Starting compiler/backend/proofs
Jun 30 12:25:25 Finished compiler/backend/proofs                               1m05s   3GB
Jun 30 12:25:26 Starting compiler/backend/serialiser
Jun 30 12:25:28 Finished compiler/backend/serialiser                              0s 144MB
Jun 30 12:25:28 Starting compiler/encoders/x64/proofs
Jun 30 12:34:54 Finished compiler/encoders/x64/proofs                          9m24s   5GB
Jun 30 12:34:54 Starting compiler/encoders/arm7/proofs
Jun 30 12:47:41 Finished compiler/encoders/arm7/proofs                        12m45s   7GB
Jun 30 12:47:42 Starting compiler/encoders/arm8/proofs
Jun 30 12:54:17 Finished compiler/encoders/arm8/proofs                         6m34s   6GB
Jun 30 12:54:18 Starting compiler/encoders/arm8_asl/proofs
Jun 30 13:08:16 Finished compiler/encoders/arm8_asl/proofs                    13m57s   4GB
Jun 30 13:08:17 Starting compiler/encoders/mips/proofs
Jun 30 13:18:15 Finished compiler/encoders/mips/proofs                         9m56s   7GB
Jun 30 13:18:16 Starting compiler/encoders/riscv/proofs
Jun 30 13:26:27 Finished compiler/encoders/riscv/proofs                        8m10s   4GB
Jun 30 13:26:28 Starting compiler/encoders/ag32/proofs
Jun 30 13:28:51 Finished compiler/encoders/ag32/proofs                         2m22s   2GB
Jun 30 13:28:52 Starting compiler/backend/x64/proofs
Jun 30 13:29:34 Finished compiler/backend/x64/proofs                             40s   3GB
Jun 30 13:29:35 Starting compiler/backend/arm7/proofs
Jun 30 13:30:20 Finished compiler/backend/arm7/proofs                            44s   2GB
Jun 30 13:30:21 Starting compiler/backend/arm8/proofs
Jun 30 13:31:06 Finished compiler/backend/arm8/proofs                            43s   3GB
Jun 30 13:31:06 Starting compiler/backend/arm8_asl
Jun 30 13:31:35 Finished compiler/backend/arm8_asl                               27s   2GB
Jun 30 13:31:36 Starting compiler/backend/mips/proofs
Jun 30 13:32:21 Finished compiler/backend/mips/proofs                            44s   3GB
Jun 30 13:32:22 Starting compiler/backend/riscv/proofs
Jun 30 13:33:14 Finished compiler/backend/riscv/proofs                           51s   4GB
Jun 30 13:33:15 Starting compiler/backend/ag32/proofs
Jun 30 13:49:28 Finished compiler/backend/ag32/proofs                         16m12s   6GB
Jun 30 13:49:29 Starting compiler/backend/cv_compute
Jun 30 13:51:14 Finished compiler/backend/cv_compute                           1m44s   3GB
Jun 30 13:51:15 Starting cv_translator
Jun 30 14:10:26 Finished cv_translator                                        19m10s  14GB
Jun 30 14:10:27 Starting candle/set-theory
Jun 30 14:11:15 Finished candle/set-theory                                       47s   1GB
Jun 30 14:11:16 Starting candle/syntax-lib
Jun 30 14:11:17 Finished candle/syntax-lib                                        0s  77MB
Jun 30 14:11:18 Starting candle/standard/syntax
Jun 30 14:11:36 Finished candle/standard/syntax                                  16s   1GB
Jun 30 14:11:37 Starting candle/standard/semantics
Jun 30 14:14:14 Finished candle/standard/semantics                             2m36s   3GB
Jun 30 14:14:15 Starting candle/standard/monadic
Jun 30 14:14:17 Finished candle/standard/monadic                                  0s 106MB
Jun 30 14:14:18 Starting candle/standard/ml_kernel
Jun 30 14:16:16 Finished candle/standard/ml_kernel                             1m57s   6GB
Jun 30 14:16:17 Starting candle/overloading/syntax
Jun 30 14:20:00 Finished candle/overloading/syntax                             3m42s   3GB
Jun 30 14:20:01 Starting candle/overloading/semantics
Jun 30 14:31:33 Finished candle/overloading/semantics                         11m31s   4GB
Jun 30 14:31:34 Starting candle/overloading/monadic
Jun 30 14:34:11 Finished candle/overloading/monadic                            2m36s   3GB
Jun 30 14:34:12 Starting candle/overloading/ml_kernel
Jun 30 14:41:53 Finished candle/overloading/ml_kernel                          7m39s   7GB
Jun 30 14:41:54 Starting candle/overloading/ml_checker
Jun 30 14:44:33 Finished candle/overloading/ml_checker                         2m38s   7GB
Jun 30 14:44:34 Starting candle/prover
Jun 30 14:54:44 Finished candle/prover                                        10m08s   5GB
Jun 30 14:54:45 Starting pancake
Jun 30 14:55:51 Finished pancake                                               1m05s   1GB
Jun 30 14:55:52 Starting pancake/ffi
Jun 30 14:55:53 Finished pancake/ffi                                              0s  22MB
Jun 30 14:55:54 Starting pancake/semantics
Jun 30 14:58:39 Finished pancake/semantics                                     2m44s   3GB
Jun 30 14:58:40 Starting pancake/parser
Jun 30 14:59:14 Finished pancake/parser                                          33s   2GB
Jun 30 14:59:15 Starting pancake/proofs
Jun 30 15:30:20 Finished pancake/proofs                                       31m03s   9GB
Jun 30 15:30:21 Starting characteristic/examples
Jun 30 15:31:59 Finished characteristic/examples                               1m37s   6GB
Jun 30 15:32:00 Starting tutorial/solutions
Jun 30 15:34:35 Finished tutorial/solutions                                    2m34s   4GB
Jun 30 15:34:36 Starting translator/monadic/examples
Jun 30 15:38:39 Finished translator/monadic/examples                           4m02s   5GB
Jun 30 15:38:40 Starting examples
Jun 30 15:53:05 Finished examples                                             14m23s   8GB
Jun 30 15:53:06 Starting examples/compilation/x64
Jun 30 16:02:16 Finished examples/compilation/x64                              9m08s   6GB
Jun 30 16:02:16 Starting examples/compilation/x64/proofs
Jun 30 16:06:41 Finished examples/compilation/x64/proofs                       4m23s   8GB
Jun 30 16:06:41 Starting examples/compilation/ag32
Jun 30 16:09:18 Finished examples/compilation/ag32                             2m35s   5GB
Jun 30 16:09:19 Starting examples/compilation/ag32/proofs
Jun 30 16:11:02 Finished examples/compilation/ag32/proofs                      1m42s   9GB
Jun 30 16:11:03 Starting examples/compilation/to_word
Jun 30 16:15:02 Finished examples/compilation/to_word                          3m57s  12GB
Jun 30 16:15:03 Starting examples/lpr_checker
Jun 30 16:16:24 Finished examples/lpr_checker                                  1m20s   2GB
Jun 30 16:16:24 Starting examples/lpr_checker/array
Jun 30 16:45:10 Finished examples/lpr_checker/array                           28m44s  11GB
Jun 30 16:45:11 Starting examples/lpr_checker/array/compilation
Jun 30 16:47:45 Finished examples/lpr_checker/array/compilation                2m33s   9GB
Jun 30 16:47:46 Starting examples/lpr_checker/array/compilation/proofs
Jun 30 16:49:37 Finished examples/lpr_checker/array/compilation/proofs         1m50s   9GB
Jun 30 16:49:38 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 30 16:51:24 Finished examples/lpr_checker/array/compilation/proofsARM8     1m44s   9GB
Jun 30 16:51:25 Starting examples/xlrup_checker
Jun 30 16:52:38 Finished examples/xlrup_checker                                1m12s   2GB
Jun 30 16:52:39 Starting examples/xlrup_checker/array
Jun 30 17:07:39 Finished examples/xlrup_checker/array                         14m59s   8GB
Jun 30 17:07:40 Starting examples/xlrup_checker/array/compilation
Jun 30 17:09:04 Finished examples/xlrup_checker/array/compilation              1m23s   6GB
Jun 30 17:09:05 Starting examples/xlrup_checker/array/compilation/proofs
Jun 30 17:10:44 Finished examples/xlrup_checker/array/compilation/proofs       1m38s   7GB
Jun 30 17:10:45 Starting examples/pseudo_bool
Jun 30 17:12:53 Finished examples/pseudo_bool                                  2m07s   1GB
Jun 30 17:12:54 Starting examples/pseudo_bool/cnf_encoding
Jun 30 17:13:33 Finished examples/pseudo_bool/cnf_encoding                       37s   1GB
Jun 30 17:13:34 Starting examples/pseudo_bool/graph_encoding
Jun 30 17:14:30 Finished examples/pseudo_bool/graph_encoding                     55s   1GB
Jun 30 17:14:31 Starting examples/pseudo_bool/array
Jun 30 18:20:44 Finished examples/pseudo_bool/array                         1h06m12s  41GB
Jun 30 18:20:45 Starting examples/pseudo_bool/array/compilation
Jun 30 18:33:41 Finished examples/pseudo_bool/array/compilation               12m54s  29GB
Jun 30 18:33:42 Starting examples/pseudo_bool/array/compilation/proofs
Jun 30 18:37:32 Finished examples/pseudo_bool/array/compilation/proofs         3m48s  10GB
Jun 30 18:37:33 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 30 18:39:22 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m48s   9GB
Jun 30 18:39:23 Starting examples/opentheory
Jun 30 18:50:15 Finished examples/opentheory                                  10m51s   8GB
Jun 30 18:50:16 Starting examples/opentheory
Jun 30 18:50:18 Finished examples/opentheory                                      0s 131MB
Jun 30 18:50:19 Starting examples/opentheory/compilation
Jun 30 18:52:20 Finished examples/opentheory/compilation                       2m00s   8GB
Jun 30 18:52:21 Starting examples/opentheory/compilation/proofs
Jun 30 18:54:02 Finished examples/opentheory/compilation/proofs                1m40s   7GB
Jun 30 18:54:03 Starting examples/opentheory/compilation/ag32
Jun 30 18:56:07 Finished examples/opentheory/compilation/ag32                  2m03s   8GB
Jun 30 18:56:08 Starting examples/opentheory/compilation/ag32/proofs
Jun 30 18:58:30 Finished examples/opentheory/compilation/ag32/proofs           2m21s  13GB
Jun 30 18:58:31 Starting examples/sat_encodings
Jun 30 19:01:21 Finished examples/sat_encodings                                2m49s   1GB
Jun 30 19:01:22 Starting examples/sat_encodings/case_studies
Jun 30 19:03:31 Finished examples/sat_encodings/case_studies                   2m07s   2GB
Jun 30 19:03:32 Starting examples/sat_encodings/translation
Jun 30 19:09:59 Finished examples/sat_encodings/translation                    6m26s   8GB
Jun 30 19:09:59 Starting examples/sat_encodings/translation/compilation
Jun 30 19:12:20 Finished examples/sat_encodings/translation/compilation        2m19s   7GB
Jun 30 19:12:21 Starting examples/deflate
Jun 30 19:13:46 Finished examples/deflate                                      1m24s   2GB
Jun 30 19:13:47 Starting examples/deflate/translation
Jun 30 19:15:28 Finished examples/deflate/translation                          1m40s   8GB
Jun 30 19:15:29 Starting examples/deflate/translation/compilation
Jun 30 19:16:33 Finished examples/deflate/translation/compilation              1m03s   5GB
Jun 30 19:16:34 Starting examples/vipr
Jun 30 19:20:40 Finished examples/vipr                                         4m05s   7GB
Jun 30 19:20:41 Starting examples/vipr/compilation
Jun 30 19:21:56 Finished examples/vipr/compilation                             1m13s   5GB
Jun 30 19:21:57 Starting translator/okasaki-examples
Jun 30 19:27:05 Finished translator/okasaki-examples                           5m07s   3GB
Jun 30 19:27:06 Starting translator/other-examples
Jun 30 19:28:20 Finished translator/other-examples                             1m13s   3GB
Jun 30 19:28:21 Starting compiler/parsing/tests
Jun 30 19:28:55 Finished compiler/parsing/tests                                  33s   1GB
Jun 30 19:28:56 Starting compiler/inference/tests
Jun 30 19:29:36 Finished compiler/inference/tests                                38s   3GB
Jun 30 19:29:37 Starting compiler/printing/test
Jun 30 19:31:11 Finished compiler/printing/test                                1m33s   6GB
Jun 30 19:31:12 Starting icing/flover
Jun 30 20:08:19 Finished icing/flover                                         37m05s   4GB
Jun 30 20:08:20 Starting icing/
Jun 30 20:36:05 Finished icing/                                               27m44s   9GB
Jun 30 20:36:06 Starting icing/examples
Jun 30 20:37:55 Finished icing/examples                                        1m48s   9GB
Jun 30 20:37:56 Starting compiler/repl
Jun 30 20:46:50 Finished compiler/repl                                         8m52s   9GB
Jun 30 20:46:51 Starting unverified/sexpr-bootstrap/x64/64
Jun 30 20:58:47 Finished unverified/sexpr-bootstrap/x64/64                    11m54s  17GB
Jun 30 20:58:48 Starting unverified/sexpr-bootstrap/x64/32
Jun 30 21:08:10 Finished unverified/sexpr-bootstrap/x64/32                     9m21s  15GB
Jun 30 21:08:11 Starting compiler/benchmarks
Jun 30 21:08:55 Finished compiler/benchmarks                                     44s 713MB
Jun 30 21:08:56 Starting compiler/bootstrap/compilation/x64/64
Jun 30 22:07:00 Finished compiler/bootstrap/compilation/x64/64                58m03s 130GB
Jun 30 22:07:01 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 30 22:29:59 Finished compiler/bootstrap/compilation/x64/64/proofs         22m56s  51GB
Jun 30 22:29:59 Starting compiler/bootstrap/compilation/x64/32
Jun 30 23:06:27 Finished compiler/bootstrap/compilation/x64/32                36m26s  88GB
Jun 30 23:06:28 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 30 23:11:06 Finished compiler/bootstrap/compilation/x64/32/proofs          4m37s  26GB
Jun 30 23:11:07 Starting compiler/bootstrap/compilation/ag32/32
Jun 30 23:48:00 Finished compiler/bootstrap/compilation/ag32/32               36m52s  99GB
Jun 30 23:48:01 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 30 23:53:07 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m05s  30GB
Jun 30 23:53:08 SUCCESS