Job 2162

CakeML:a804ef7849bb42f54489cc3c03907a65774375da
  Add pancake parser dir to build sequence [Jul 10 05:52:36]
#960 (pan_parse_build)
Merging into:23b458869d6cee82f5c6fb8f93f3ca797267490b
  Merge pull request #958 from CakeML/pan_compose [Jul 05 12:35:24]
HOL:b0b4d6822b4ca1fb28417db0427d08d61e121d17
  Fix Unicode; other minor tidy-ups [Jul 05 06:01:40]
Machine:pavlova

Jul 11 02:27:44 Claimed job
Jul 11 02:27:50 Building HOL
Jul 11 02:40:41 Starting developers
Jul 11 02:40:44 Finished developers                                               2s 202MB
Jul 11 02:40:45 Starting developers/bin
Jul 11 02:40:55 Finished developers/bin                                           9s   1GB
Jul 11 02:40:56 Starting compiler/proofs
Jul 11 04:25:34 Finished compiler/proofs                                    1h44m36s  38GB
Jul 11 04:25:35 Starting compiler/bootstrap/translation
Jul 11 12:20:16 Finished compiler/bootstrap/translation                     7h54m40s  74GB
Jul 11 12:20:17 Starting semantics/ffi
Jul 11 12:20:25 Finished semantics/ffi                                            7s 610MB
Jul 11 12:20:26 Starting semantics
Jul 11 12:20:27 Finished semantics                                                0s  63MB
Jul 11 12:20:28 Starting semantics/proofs
Jul 11 12:21:03 Finished semantics/proofs                                        34s   1GB
Jul 11 12:21:04 Starting semantics/alt_semantics
Jul 11 12:21:42 Finished semantics/alt_semantics                                 37s   1GB
Jul 11 12:21:43 Starting semantics/alt_semantics/proofs
Jul 11 12:32:37 Finished semantics/alt_semantics/proofs                       10m52s   2GB
Jul 11 12:32:37 Starting basis/pure
Jul 11 12:32:39 Finished basis/pure                                               0s  69MB
Jul 11 12:32:40 Starting translator
Jul 11 12:34:20 Finished translator                                            1m39s   3GB
Jul 11 12:34:21 Starting compiler/parsing
Jul 11 12:34:22 Finished compiler/parsing                                         0s  69MB
Jul 11 12:34:23 Starting characteristic
Jul 11 12:34:24 Finished characteristic                                           0s  93MB
Jul 11 12:34:25 Starting translator/monadic
Jul 11 12:34:27 Finished translator/monadic                                       0s  95MB
Jul 11 12:34:27 Starting basis
Jul 11 12:38:18 Finished basis                                                 3m50s   5GB
Jul 11 12:38:19 Starting compiler/inference
Jul 11 12:38:21 Finished compiler/inference                                       0s  81MB
Jul 11 12:38:21 Starting compiler/backend/reg_alloc
Jul 11 12:38:23 Finished compiler/backend/reg_alloc                               0s  65MB
Jul 11 12:38:24 Starting compiler/backend/gc
Jul 11 12:38:25 Finished compiler/backend/gc                                      0s 137MB
Jul 11 12:38:26 Starting compiler/backend
Jul 11 12:38:44 Finished compiler/backend                                        17s   1GB
Jul 11 12:38:45 Starting compiler/encoders/asm
Jul 11 12:38:47 Finished compiler/encoders/asm                                    0s  89MB
Jul 11 12:38:47 Starting compiler/encoders/x64
Jul 11 12:38:49 Finished compiler/encoders/x64                                    0s  90MB
Jul 11 12:38:50 Starting compiler/encoders/arm7
Jul 11 12:38:51 Finished compiler/encoders/arm7                                   0s  90MB
Jul 11 12:38:52 Starting compiler/encoders/arm8
Jul 11 12:38:53 Finished compiler/encoders/arm8                                   0s  90MB
Jul 11 12:38:54 Starting compiler/encoders/arm8_asl
Jul 11 14:48:02 Finished compiler/encoders/arm8_asl                         2h09m07s  41GB
Jul 11 14:48:03 Starting compiler/encoders/mips
Jul 11 14:48:04 Finished compiler/encoders/mips                                   0s  90MB
Jul 11 14:48:05 Starting compiler/encoders/riscv
Jul 11 14:48:07 Finished compiler/encoders/riscv                                  0s  90MB
Jul 11 14:48:07 Starting compiler/encoders/ag32
Jul 11 14:48:09 Finished compiler/encoders/ag32                                   0s  89MB
Jul 11 14:48:10 Starting compiler/backend/x64
Jul 11 14:48:11 Finished compiler/backend/x64                                     0s 130MB
Jul 11 14:48:12 Starting compiler/backend/arm7
Jul 11 14:48:14 Finished compiler/backend/arm7                                    0s 130MB
Jul 11 14:48:15 Starting compiler/backend/arm8
Jul 11 14:48:16 Finished compiler/backend/arm8                                    0s 130MB
Jul 11 14:48:17 Starting compiler/backend/mips
Jul 11 14:48:19 Finished compiler/backend/mips                                    0s 130MB
Jul 11 14:48:20 Starting compiler/backend/riscv
Jul 11 14:48:21 Finished compiler/backend/riscv                                   0s 130MB
Jul 11 14:48:22 Starting compiler/backend/ag32
Jul 11 14:49:44 Finished compiler/backend/ag32                                 1m20s   2GB
Jul 11 14:49:45 Starting compiler/parsing/proofs
Jul 11 14:49:46 Finished compiler/parsing/proofs                                  0s  72MB
Jul 11 14:49:47 Starting compiler/inference/proofs
Jul 11 14:49:48 Finished compiler/inference/proofs                                0s  88MB
Jul 11 14:49:49 Starting compiler/backend/semantics
Jul 11 14:51:20 Finished compiler/backend/semantics                            1m30s   3GB
Jul 11 14:51:21 Starting compiler/backend/reg_alloc/proofs
Jul 11 14:51:22 Finished compiler/backend/reg_alloc/proofs                        0s  98MB
Jul 11 14:51:23 Starting compiler/backend/proofs
Jul 11 14:52:24 Finished compiler/backend/proofs                               1m00s   3GB
Jul 11 14:52:25 Starting compiler/backend/serialiser
Jul 11 14:52:27 Finished compiler/backend/serialiser                              1s 181MB
Jul 11 14:52:28 Starting compiler/encoders/x64/proofs
Jul 11 15:01:59 Finished compiler/encoders/x64/proofs                          9m30s   5GB
Jul 11 15:02:00 Starting compiler/encoders/arm7/proofs
Jul 11 15:14:49 Finished compiler/encoders/arm7/proofs                        12m46s   9GB
Jul 11 15:14:50 Starting compiler/encoders/arm8/proofs
Jul 11 15:21:11 Finished compiler/encoders/arm8/proofs                         6m20s   4GB
Jul 11 15:21:12 Starting compiler/encoders/arm8_asl/proofs
Jul 11 16:08:57 Finished compiler/encoders/arm8_asl/proofs                    47m44s  10GB
Jul 11 16:08:58 Starting compiler/encoders/mips/proofs
Jul 11 16:19:09 Finished compiler/encoders/mips/proofs                        10m08s   8GB
Jul 11 16:19:09 Starting compiler/encoders/riscv/proofs
Jul 11 16:27:33 Finished compiler/encoders/riscv/proofs                        8m22s   5GB
Jul 11 16:27:34 Starting compiler/encoders/ag32/proofs
Jul 11 16:29:59 Finished compiler/encoders/ag32/proofs                         2m25s   2GB
Jul 11 16:30:00 Starting compiler/backend/x64/proofs
Jul 11 16:30:41 Finished compiler/backend/x64/proofs                             39s   2GB
Jul 11 16:30:42 Starting compiler/backend/arm7/proofs
Jul 11 16:31:27 Finished compiler/backend/arm7/proofs                            44s   3GB
Jul 11 16:31:27 Starting compiler/backend/arm8/proofs
Jul 11 16:32:07 Finished compiler/backend/arm8/proofs                            38s   3GB
Jul 11 16:32:08 Starting compiler/backend/arm8_asl
Jul 11 16:32:35 Finished compiler/backend/arm8_asl                               26s   2GB
Jul 11 16:32:36 Starting compiler/backend/mips/proofs
Jul 11 16:33:20 Finished compiler/backend/mips/proofs                            43s   3GB
Jul 11 16:33:21 Starting compiler/backend/riscv/proofs
Jul 11 16:34:11 Finished compiler/backend/riscv/proofs                           48s   3GB
Jul 11 16:34:11 Starting compiler/backend/ag32/proofs
Jul 11 16:47:40 Finished compiler/backend/ag32/proofs                         13m27s   6GB
Jul 11 16:47:41 Starting candle/set-theory
Jul 11 16:48:24 Finished candle/set-theory                                       42s   1GB
Jul 11 16:48:25 Starting candle/syntax-lib
Jul 11 16:48:26 Finished candle/syntax-lib                                        0s  75MB
Jul 11 16:48:27 Starting candle/standard/syntax
Jul 11 16:48:43 Finished candle/standard/syntax                                  14s   1GB
Jul 11 16:48:44 Starting candle/standard/semantics
Jul 11 16:51:08 Finished candle/standard/semantics                             2m23s   3GB
Jul 11 16:51:09 Starting candle/standard/monadic
Jul 11 16:51:11 Finished candle/standard/monadic                                  0s 105MB
Jul 11 16:51:11 Starting candle/standard/ml_kernel
Jul 11 16:53:04 Finished candle/standard/ml_kernel                             1m51s   6GB
Jul 11 16:53:04 Starting candle/overloading/syntax
Jul 11 16:56:32 Finished candle/overloading/syntax                             3m26s   3GB
Jul 11 16:56:32 Starting candle/overloading/semantics
Jul 11 17:07:59 Finished candle/overloading/semantics                         11m25s   5GB
Jul 11 17:08:00 Starting candle/overloading/monadic
Jul 11 17:10:44 Finished candle/overloading/monadic                            2m43s   3GB
Jul 11 17:10:45 Starting candle/overloading/ml_kernel
Jul 11 17:18:16 Finished candle/overloading/ml_kernel                          7m30s   6GB
Jul 11 17:18:17 Starting candle/overloading/ml_checker
Jul 11 17:20:45 Finished candle/overloading/ml_checker                         2m26s   7GB
Jul 11 17:20:46 Starting candle/prover
Jul 11 17:30:36 Finished candle/prover                                         9m49s   4GB
Jul 11 17:30:37 Starting pancake
Jul 11 17:31:36 Finished pancake                                                 57s   1GB
Jul 11 17:31:37 Starting pancake/ffi
Jul 11 17:31:38 Finished pancake/ffi                                              0s  19MB
Jul 11 17:31:38 Starting pancake/semantics
Jul 11 17:33:58 Finished pancake/semantics                                     2m18s   2GB
Jul 11 17:33:58 Starting pancake/parser
Jul 11 17:34:24 Finished pancake/parser                                          24s   1GB
Jul 11 17:34:24 Starting pancake/proofs
Jul 11 18:03:59 Finished pancake/proofs                                       29m33s   8GB
Jul 11 18:04:00 Starting characteristic/examples
Jul 11 18:05:36 Finished characteristic/examples                               1m35s   5GB
Jul 11 18:05:37 Starting tutorial/solutions
Jul 11 18:21:49 Finished tutorial/solutions                                   16m11s  29GB
Jul 11 18:21:50 Starting translator/monadic/examples
Jul 11 18:25:31 Finished translator/monadic/examples                           3m40s   5GB
Jul 11 18:25:32 Starting examples
Jul 11 18:40:06 Finished examples                                             14m33s   7GB
Jul 11 18:40:07 Starting examples/compilation/x64
Jul 11 20:36:50 Finished examples/compilation/x64                           1h56m40s  27GB
Jul 11 20:36:50 Starting examples/compilation/x64/proofs
Jul 11 20:40:34 Finished examples/compilation/x64/proofs                       3m42s   6GB
Jul 11 20:40:35 Starting examples/compilation/ag32
Jul 11 21:11:10 Finished examples/compilation/ag32                            30m34s   9GB
Jul 11 21:11:10 Starting examples/compilation/ag32/proofs
Jul 11 21:12:38 Finished examples/compilation/ag32/proofs                      1m27s   7GB
Jul 11 21:12:39 Starting examples/compilation/to_word
Jul 11 21:16:28 Finished examples/compilation/to_word                          3m48s  11GB
Jul 11 21:16:29 Starting examples/lpr_checker
Jul 11 21:17:44 Finished examples/lpr_checker                                  1m13s   1GB
Jul 11 21:17:45 Starting examples/lpr_checker/array
Jul 11 21:52:03 Finished examples/lpr_checker/array                           34m17s  10GB
Jul 11 21:52:04 Starting examples/lpr_checker/array/compilation
Jul 11 22:26:48 Finished examples/lpr_checker/array/compilation               34m42s  54GB
Jul 11 22:26:49 Starting examples/lpr_checker/array/compilation/proofs
Jul 11 22:28:41 Finished examples/lpr_checker/array/compilation/proofs         1m51s   9GB
Jul 11 22:28:42 Starting examples/opentheory
Jul 11 22:39:28 Finished examples/opentheory                                  10m45s   7GB
Jul 11 22:39:29 Starting examples/opentheory
Jul 11 22:39:31 Finished examples/opentheory                                      0s 128MB
Jul 11 22:39:31 Starting examples/opentheory/compilation
Jul 11 23:14:59 Finished examples/opentheory/compilation                      35m26s  52GB
Jul 11 23:15:00 Starting examples/opentheory/compilation/proofs
Jul 11 23:16:24 Finished examples/opentheory/compilation/proofs                1m23s   6GB
Jul 11 23:16:25 Starting examples/opentheory/compilation/ag32
Jul 11 23:47:38 Finished examples/opentheory/compilation/ag32                 31m11s  45GB
Jul 11 23:47:38 Starting examples/opentheory/compilation/ag32/proofs
Jul 11 23:49:54 Finished examples/opentheory/compilation/ag32/proofs           2m15s  11GB
Jul 11 23:49:55 Starting examples/sat_encodings
Jul 11 23:52:31 Finished examples/sat_encodings                                2m34s   1GB
Jul 11 23:52:32 Starting examples/sat_encodings/case_studies
Jul 11 23:54:32 Finished examples/sat_encodings/case_studies                   1m59s   2GB
Jul 11 23:54:32 Starting examples/sat_encodings/translation
Jul 12 00:00:38 Finished examples/sat_encodings/translation                    6m04s   7GB
Jul 12 00:00:39 Starting examples/sat_encodings/translation/compilation
Jul 12 00:34:19 Finished examples/sat_encodings/translation/compilation       33m38s  23GB
Jul 12 00:34:20 Starting examples/deflate
Jul 12 00:35:34 Finished examples/deflate                                      1m13s   1GB
Jul 12 00:35:35 Starting examples/deflate/translation
Jul 12 00:37:11 Finished examples/deflate/translation                          1m34s   7GB
Jul 12 00:37:12 Starting examples/deflate/translation/compilation
Jul 12 00:53:19 Finished examples/deflate/translation/compilation             16m06s  24GB
Jul 12 00:53:20 Starting examples/vipr
Jul 12 00:57:18 Finished examples/vipr                                         3m57s   7GB
Jul 12 00:57:19 Starting examples/vipr/compilation
Jul 12 01:16:55 Finished examples/vipr/compilation                            19m35s  23GB
Jul 12 01:16:56 Starting translator/okasaki-examples
Jul 12 01:21:53 Finished translator/okasaki-examples                           4m56s   4GB
Jul 12 01:21:54 Starting translator/other-examples
Jul 12 01:25:29 Finished translator/other-examples                             3m33s   3GB
Jul 12 01:25:29 Starting compiler/parsing/tests
Jul 12 01:26:03 Finished compiler/parsing/tests                                  32s   1GB
Jul 12 01:26:04 Starting compiler/inference/tests
Jul 12 01:33:44 Finished compiler/inference/tests                              7m39s   7GB
Jul 12 01:33:45 Starting compiler/printing/test
Jul 12 01:37:29 Finished compiler/printing/test                                3m42s   5GB
Jul 12 01:37:30 Starting icing/flover
Jul 12 02:13:12 Finished icing/flover                                         35m41s   4GB
Jul 12 02:13:13 Starting icing/
Jul 12 03:09:14 Finished icing/                                               55m59s  24GB
Jul 12 03:09:14 Starting icing/examples
Jul 12 03:11:00 Finished icing/examples                                        1m45s   8GB
Jul 12 03:11:01 Starting compiler/repl
Jul 12 03:19:46 Finished compiler/repl                                         8m43s   9GB
Jul 12 03:19:47 Starting unverified/sexpr-bootstrap/x64/64
Jul 12 03:30:46 Finished unverified/sexpr-bootstrap/x64/64                    10m58s  15GB
Jul 12 03:30:47 Starting unverified/sexpr-bootstrap/x64/32
Jul 12 03:39:34 Finished unverified/sexpr-bootstrap/x64/32                     8m46s  12GB
Jul 12 03:39:35 Starting compiler/benchmarks
Jul 12 03:40:20 Finished compiler/benchmarks                                     43s 713MB
Jul 12 03:40:21 Starting compiler/bootstrap/compilation/x64/64
Jul 12 17:34:42 Finished compiler/bootstrap/compilation/x64/64             13h54m20s 163GB
Jul 12 17:34:43 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 12 17:55:11 Finished compiler/bootstrap/compilation/x64/64/proofs         20m26s  38GB
Jul 12 17:55:11 Starting compiler/bootstrap/compilation/x64/32
Jul 13 00:56:46 Finished compiler/bootstrap/compilation/x64/32              7h01m32s 164GB
Jul 13 00:56:47 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 13 01:00:25 Finished compiler/bootstrap/compilation/x64/32/proofs          3m37s  18GB
Jul 13 01:00:26 Starting compiler/bootstrap/compilation/ag32/32
Jul 13 08:18:38 Finished compiler/bootstrap/compilation/ag32/32             7h18m11s 139GB
Jul 13 08:18:39 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 13 08:26:08 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m28s  47GB
Jul 13 08:26:09 SUCCESS