Job 2145

CakeML:eedb85d85d8ba3ad21a874e8546885cef0003c0f
  Merge remote-tracking branch 'origin/master' into pancake_divmul [May 30 00:44:45]
#956 (pancake_divmul)
Merging into:6b634236e65a730f2e78088855ab76d29f33cc39
  Merge pull request #954 from Tiana-J-TU/pan_parser_funs [May 29 11:17:01]
HOL:b714d6b6c7a82ffd8f7fc64afb34d214f058a0bf
  Update building and testing of Manual/Tools/polyscripter [May 24 05:50:35]
Machine:pavlova

May 31 10:24:41 Claimed job
May 31 10:24:46 Reusing HOL
May 31 10:24:55 Starting developers
May 31 10:24:59 Finished developers                                               2s 212MB
May 31 10:25:00 Starting developers/bin
May 31 10:25:10 Finished developers/bin                                           9s   1GB
May 31 10:25:10 Starting compiler/proofs
May 31 12:06:25 Finished compiler/proofs                                    1h41m12s  39GB
May 31 12:06:26 Starting compiler/bootstrap/translation
May 31 20:00:01 Finished compiler/bootstrap/translation                     7h53m33s  63GB
May 31 20:00:02 Starting semantics/ffi
May 31 20:00:10 Finished semantics/ffi                                            7s 578MB
May 31 20:00:11 Starting semantics
May 31 20:00:12 Finished semantics                                                0s  64MB
May 31 20:00:13 Starting semantics/proofs
May 31 20:00:49 Finished semantics/proofs                                        34s   2GB
May 31 20:00:49 Starting semantics/alt_semantics
May 31 20:01:29 Finished semantics/alt_semantics                                 38s   1GB
May 31 20:01:30 Starting semantics/alt_semantics/proofs
May 31 20:12:29 Finished semantics/alt_semantics/proofs                       10m57s   3GB
May 31 20:12:30 Starting basis/pure
May 31 20:12:31 Finished basis/pure                                               0s  73MB
May 31 20:12:32 Starting translator
May 31 20:14:15 Finished translator                                            1m42s   2GB
May 31 20:14:16 Starting compiler/parsing
May 31 20:14:17 Finished compiler/parsing                                         0s  70MB
May 31 20:14:18 Starting characteristic
May 31 20:14:20 Finished characteristic                                           0s  94MB
May 31 20:14:21 Starting translator/monadic
May 31 20:14:22 Finished translator/monadic                                       0s  91MB
May 31 20:14:23 Starting basis
May 31 20:18:14 Finished basis                                                 3m50s   5GB
May 31 20:18:15 Starting compiler/inference
May 31 20:18:17 Finished compiler/inference                                       0s  77MB
May 31 20:18:18 Starting compiler/backend/reg_alloc
May 31 20:18:19 Finished compiler/backend/reg_alloc                               0s  70MB
May 31 20:18:20 Starting compiler/backend/gc
May 31 20:18:21 Finished compiler/backend/gc                                      0s 134MB
May 31 20:18:22 Starting compiler/backend
May 31 20:18:40 Finished compiler/backend                                        17s   1GB
May 31 20:18:41 Starting compiler/encoders/asm
May 31 20:18:43 Finished compiler/encoders/asm                                    0s  91MB
May 31 20:18:44 Starting compiler/encoders/x64
May 31 20:18:45 Finished compiler/encoders/x64                                    0s  91MB
May 31 20:18:46 Starting compiler/encoders/arm7
May 31 20:18:47 Finished compiler/encoders/arm7                                   0s  96MB
May 31 20:18:48 Starting compiler/encoders/arm8
May 31 20:18:50 Finished compiler/encoders/arm8                                   0s  88MB
May 31 20:18:50 Starting compiler/encoders/arm8_asl
May 31 20:21:17 Finished compiler/encoders/arm8_asl                            2m25s   1GB
May 31 20:21:18 Starting compiler/encoders/mips
May 31 20:21:19 Finished compiler/encoders/mips                                   0s  89MB
May 31 20:21:20 Starting compiler/encoders/riscv
May 31 20:21:21 Finished compiler/encoders/riscv                                  0s  88MB
May 31 20:21:22 Starting compiler/encoders/ag32
May 31 20:21:24 Finished compiler/encoders/ag32                                   0s  86MB
May 31 20:21:24 Starting compiler/backend/x64
May 31 20:21:26 Finished compiler/backend/x64                                     0s 124MB
May 31 20:21:27 Starting compiler/backend/arm7
May 31 20:21:29 Finished compiler/backend/arm7                                    0s 123MB
May 31 20:21:30 Starting compiler/backend/arm8
May 31 20:21:31 Finished compiler/backend/arm8                                    0s 129MB
May 31 20:21:32 Starting compiler/backend/mips
May 31 20:21:34 Finished compiler/backend/mips                                    0s 123MB
May 31 20:21:35 Starting compiler/backend/riscv
May 31 20:21:36 Finished compiler/backend/riscv                                   0s 124MB
May 31 20:21:37 Starting compiler/backend/ag32
May 31 20:22:59 Finished compiler/backend/ag32                                 1m21s   2GB
May 31 20:23:00 Starting compiler/parsing/proofs
May 31 20:23:01 Finished compiler/parsing/proofs                                  0s  72MB
May 31 20:23:02 Starting compiler/inference/proofs
May 31 20:23:04 Finished compiler/inference/proofs                                0s  88MB
May 31 20:23:05 Starting compiler/backend/semantics
May 31 20:24:33 Finished compiler/backend/semantics                            1m27s   3GB
May 31 20:24:34 Starting compiler/backend/reg_alloc/proofs
May 31 20:24:35 Finished compiler/backend/reg_alloc/proofs                        0s  95MB
May 31 20:24:36 Starting compiler/backend/proofs
May 31 20:25:39 Finished compiler/backend/proofs                               1m01s   3GB
May 31 20:25:40 Starting compiler/backend/serialiser
May 31 20:25:42 Finished compiler/backend/serialiser                              1s 181MB
May 31 20:25:43 Starting compiler/encoders/x64/proofs
May 31 20:35:17 Finished compiler/encoders/x64/proofs                          9m33s   5GB
May 31 20:35:18 Starting compiler/encoders/arm7/proofs
May 31 20:48:19 Finished compiler/encoders/arm7/proofs                        13m00s   7GB
May 31 20:48:20 Starting compiler/encoders/arm8/proofs
May 31 20:54:46 Finished compiler/encoders/arm8/proofs                         6m24s   6GB
May 31 20:54:47 Starting compiler/encoders/arm8_asl/proofs
May 31 21:09:04 Finished compiler/encoders/arm8_asl/proofs                    14m15s   4GB
May 31 21:09:05 Starting compiler/encoders/mips/proofs
May 31 21:19:14 Finished compiler/encoders/mips/proofs                        10m08s  10GB
May 31 21:19:15 Starting compiler/encoders/riscv/proofs
May 31 21:27:50 Finished compiler/encoders/riscv/proofs                        8m33s   4GB
May 31 21:27:51 Starting compiler/encoders/ag32/proofs
May 31 21:30:17 Finished compiler/encoders/ag32/proofs                         2m25s   2GB
May 31 21:30:18 Starting compiler/backend/x64/proofs
May 31 21:30:58 Finished compiler/backend/x64/proofs                             39s   2GB
May 31 21:30:59 Starting compiler/backend/arm7/proofs
May 31 21:31:41 Finished compiler/backend/arm7/proofs                            41s   2GB
May 31 21:31:42 Starting compiler/backend/arm8/proofs
May 31 21:32:21 Finished compiler/backend/arm8/proofs                            37s   3GB
May 31 21:32:22 Starting compiler/backend/arm8_asl
May 31 21:32:49 Finished compiler/backend/arm8_asl                               26s   2GB
May 31 21:32:50 Starting compiler/backend/mips/proofs
May 31 21:33:33 Finished compiler/backend/mips/proofs                            42s   3GB
May 31 21:33:34 Starting compiler/backend/riscv/proofs
May 31 21:34:22 Finished compiler/backend/riscv/proofs                           47s   4GB
May 31 21:34:23 Starting compiler/backend/ag32/proofs
May 31 21:48:06 Finished compiler/backend/ag32/proofs                         13m42s   6GB
May 31 21:48:07 Starting candle/set-theory
May 31 21:48:52 Finished candle/set-theory                                       43s   1GB
May 31 21:48:53 Starting candle/syntax-lib
May 31 21:48:54 Finished candle/syntax-lib                                        0s  72MB
May 31 21:48:55 Starting candle/standard/syntax
May 31 21:49:11 Finished candle/standard/syntax                                  14s   1GB
May 31 21:49:12 Starting candle/standard/semantics
May 31 21:51:39 Finished candle/standard/semantics                             2m26s   2GB
May 31 21:51:40 Starting candle/standard/monadic
May 31 21:51:41 Finished candle/standard/monadic                                  0s 102MB
May 31 21:51:42 Starting candle/standard/ml_kernel
May 31 21:53:31 Finished candle/standard/ml_kernel                             1m48s   5GB
May 31 21:53:32 Starting candle/overloading/syntax
May 31 21:56:53 Finished candle/overloading/syntax                             3m19s   3GB
May 31 21:56:54 Starting candle/overloading/semantics
May 31 22:08:20 Finished candle/overloading/semantics                         11m25s   6GB
May 31 22:08:21 Starting candle/overloading/monadic
May 31 22:10:57 Finished candle/overloading/monadic                            2m34s   3GB
May 31 22:10:58 Starting candle/overloading/ml_kernel
May 31 22:18:26 Finished candle/overloading/ml_kernel                          7m27s   6GB
May 31 22:18:27 Starting candle/overloading/ml_checker
May 31 22:20:58 Finished candle/overloading/ml_checker                         2m30s   6GB
May 31 22:20:59 Starting candle/prover
May 31 22:30:49 Finished candle/prover                                         9m49s   5GB
May 31 22:30:50 Starting pancake
May 31 22:31:50 Finished pancake                                                 59s   1GB
May 31 22:31:51 Starting pancake/ffi
May 31 22:31:52 Finished pancake/ffi                                              0s  21MB
May 31 22:31:53 Starting pancake/semantics
May 31 22:34:09 Finished pancake/semantics                                     2m15s   2GB
May 31 22:34:10 Starting pancake/proofs
May 31 22:51:37 Finished pancake/proofs                                       17m26s   7GB
May 31 22:51:38 Starting characteristic/examples
May 31 22:53:13 Finished characteristic/examples                               1m33s   5GB
May 31 22:53:13 Starting tutorial/solutions
May 31 23:08:51 Finished tutorial/solutions                                   15m37s  13GB
May 31 23:08:52 Starting translator/monadic/examples
May 31 23:12:38 Finished translator/monadic/examples                           3m43s   5GB
May 31 23:12:39 Starting examples
May 31 23:27:11 Finished examples                                             14m31s   7GB
May 31 23:27:12 Starting examples/compilation/x64
Jun 01 01:25:10 Finished examples/compilation/x64                           1h57m55s  35GB
Jun 01 01:25:10 Starting examples/compilation/x64/proofs
Jun 01 01:28:56 Finished examples/compilation/x64/proofs                       3m44s   6GB
Jun 01 01:28:57 Starting examples/compilation/ag32
Jun 01 01:58:51 Finished examples/compilation/ag32                            29m52s  12GB
Jun 01 01:58:52 Starting examples/compilation/ag32/proofs
Jun 01 02:00:16 Finished examples/compilation/ag32/proofs                      1m23s   7GB
Jun 01 02:00:16 Starting examples/compilation/to_word
Jun 01 02:04:08 Finished examples/compilation/to_word                          3m50s  11GB
Jun 01 02:04:09 Starting examples/lpr_checker
Jun 01 02:05:22 Finished examples/lpr_checker                                  1m12s   2GB
Jun 01 02:05:23 Starting examples/lpr_checker/array
Jun 01 02:40:36 Finished examples/lpr_checker/array                           35m10s   9GB
Jun 01 02:40:37 Starting examples/lpr_checker/array/compilation
Jun 01 03:14:25 Finished examples/lpr_checker/array/compilation               33m47s  45GB
Jun 01 03:14:26 Starting examples/lpr_checker/array/compilation/proofs
Jun 01 03:16:25 Finished examples/lpr_checker/array/compilation/proofs         1m57s   9GB
Jun 01 03:16:26 Starting examples/opentheory
Jun 01 03:27:14 Finished examples/opentheory                                  10m47s   7GB
Jun 01 03:27:15 Starting examples/opentheory
Jun 01 03:27:17 Finished examples/opentheory                                      0s 130MB
Jun 01 03:27:18 Starting examples/opentheory/compilation
Jun 01 04:02:47 Finished examples/opentheory/compilation                      35m28s  48GB
Jun 01 04:02:48 Starting examples/opentheory/compilation/proofs
Jun 01 04:04:20 Finished examples/opentheory/compilation/proofs                1m30s   6GB
Jun 01 04:04:21 Starting examples/opentheory/compilation/ag32
Jun 01 04:35:40 Finished examples/opentheory/compilation/ag32                 31m18s  36GB
Jun 01 04:35:41 Starting examples/opentheory/compilation/ag32/proofs
Jun 01 04:38:04 Finished examples/opentheory/compilation/ag32/proofs           2m21s  13GB
Jun 01 04:38:05 Starting examples/sat_encodings
Jun 01 04:40:44 Finished examples/sat_encodings                                2m38s   1GB
Jun 01 04:40:44 Starting examples/sat_encodings/case_studies
Jun 01 04:42:42 Finished examples/sat_encodings/case_studies                   1m56s   2GB
Jun 01 04:42:42 Starting examples/sat_encodings/translation
Jun 01 04:48:49 Finished examples/sat_encodings/translation                    6m06s   7GB
Jun 01 04:48:50 Starting examples/sat_encodings/translation/compilation
Jun 01 05:23:06 Finished examples/sat_encodings/translation/compilation       34m14s  32GB
Jun 01 05:23:07 Starting examples/deflate
Jun 01 05:24:23 Finished examples/deflate                                      1m14s   1GB
Jun 01 05:24:24 Starting examples/deflate/translation
Jun 01 05:25:58 Finished examples/deflate/translation                          1m33s   7GB
Jun 01 05:25:59 Starting examples/deflate/translation/compilation
Jun 01 05:42:59 Finished examples/deflate/translation/compilation             16m59s  18GB
Jun 01 05:43:00 Starting translator/okasaki-examples
Jun 01 05:47:57 Finished translator/okasaki-examples                           4m56s   3GB
Jun 01 05:47:58 Starting translator/other-examples
Jun 01 05:49:07 Finished translator/other-examples                             1m08s   3GB
Jun 01 05:49:08 Starting compiler/parsing/tests
Jun 01 05:49:42 Finished compiler/parsing/tests                                  32s   2GB
Jun 01 05:49:43 Starting compiler/inference/tests
Jun 01 05:57:16 Finished compiler/inference/tests                              7m32s   6GB
Jun 01 05:57:17 Starting compiler/printing/test
Jun 01 06:00:47 Finished compiler/printing/test                                3m28s   6GB
Jun 01 06:00:47 Starting icing/flover
Jun 01 06:36:58 Finished icing/flover                                         36m08s   4GB
Jun 01 06:36:59 Starting icing/
Jun 01 07:34:22 Finished icing/                                               57m22s  26GB
Jun 01 07:34:23 Starting icing/examples
Jun 01 07:36:00 Finished icing/examples                                        1m36s   8GB
Jun 01 07:36:01 Starting compiler/repl
Jun 01 07:44:46 Finished compiler/repl                                         8m41s   9GB
Jun 01 07:44:47 Starting unverified/sexpr-bootstrap/x64/64
Jun 01 07:55:45 Finished unverified/sexpr-bootstrap/x64/64                    10m56s  16GB
Jun 01 07:55:46 Starting unverified/sexpr-bootstrap/x64/32
Jun 01 08:04:33 Finished unverified/sexpr-bootstrap/x64/32                     8m46s  14GB
Jun 01 08:04:34 Starting compiler/benchmarks
Jun 01 08:05:18 Finished compiler/benchmarks                                     43s 713MB
Jun 01 08:05:19 Starting compiler/bootstrap/compilation/x64/64
Jun 01 21:59:25 Finished compiler/bootstrap/compilation/x64/64             13h54m04s 157GB
Jun 01 21:59:26 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 01 22:20:32 Finished compiler/bootstrap/compilation/x64/64/proofs         21m05s  43GB
Jun 01 22:20:33 Starting compiler/bootstrap/compilation/x64/32
Jun 02 05:41:52 Finished compiler/bootstrap/compilation/x64/32              7h21m15s 161GB
Jun 02 05:41:52 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 02 05:45:26 Finished compiler/bootstrap/compilation/x64/32/proofs          3m32s  19GB
Jun 02 05:45:27 Starting compiler/bootstrap/compilation/ag32/32
Jun 02 12:51:39 Finished compiler/bootstrap/compilation/ag32/32             7h06m10s 128GB
Jun 02 12:51:40 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 02 12:58:54 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m13s  39GB
Jun 02 12:58:55 SUCCESS