Job 2140

CakeML:73d4774786232785747eb170136ad5ade9ed882c
  Remove trailing whitespace. [May 18 01:34:30]
#954 (pan_parser_funs)
Merging into:5e0612a6f93d34e570019c2a768cbd4736402abe
  Fix for change to finite_mapSyntax in HOL [May 25 02:29:21]
HOL:b714d6b6c7a82ffd8f7fc64afb34d214f058a0bf
  Update building and testing of Manual/Tools/polyscripter [May 24 05:50:35]
Machine:pavlova

May 27 02:06:58 Claimed job
May 27 02:07:02 Building HOL
May 27 02:19:50 Starting developers
May 27 02:19:54 Finished developers                                               2s 198MB
May 27 02:19:55 Starting developers/bin
May 27 02:20:05 Finished developers/bin                                           9s   1GB
May 27 02:20:06 Starting compiler/proofs
May 27 04:04:11 Finished compiler/proofs                                    1h44m04s  34GB
May 27 04:04:12 Starting compiler/bootstrap/translation
May 27 11:58:59 Finished compiler/bootstrap/translation                     7h54m45s  71GB
May 27 11:59:00 Starting semantics/ffi
May 27 11:59:07 Finished semantics/ffi                                            7s 563MB
May 27 11:59:08 Starting semantics
May 27 11:59:10 Finished semantics                                                0s  67MB
May 27 11:59:10 Starting semantics/proofs
May 27 11:59:46 Finished semantics/proofs                                        35s   1GB
May 27 11:59:47 Starting semantics/alt_semantics
May 27 12:00:27 Finished semantics/alt_semantics                                 38s   1GB
May 27 12:00:28 Starting semantics/alt_semantics/proofs
May 27 12:11:20 Finished semantics/alt_semantics/proofs                       10m51s   3GB
May 27 12:11:21 Starting basis/pure
May 27 12:11:22 Finished basis/pure                                               0s  75MB
May 27 12:11:23 Starting translator
May 27 12:13:10 Finished translator                                            1m45s   3GB
May 27 12:13:11 Starting compiler/parsing
May 27 12:13:12 Finished compiler/parsing                                         0s  70MB
May 27 12:13:13 Starting characteristic
May 27 12:13:15 Finished characteristic                                           0s  90MB
May 27 12:13:15 Starting translator/monadic
May 27 12:13:17 Finished translator/monadic                                       0s  91MB
May 27 12:13:18 Starting basis
May 27 12:17:09 Finished basis                                                 3m50s   5GB
May 27 12:17:10 Starting compiler/inference
May 27 12:17:11 Finished compiler/inference                                       0s  78MB
May 27 12:17:12 Starting compiler/backend/reg_alloc
May 27 12:17:13 Finished compiler/backend/reg_alloc                               0s  70MB
May 27 12:17:14 Starting compiler/backend/gc
May 27 12:17:16 Finished compiler/backend/gc                                      0s 128MB
May 27 12:17:17 Starting compiler/backend
May 27 12:17:35 Finished compiler/backend                                        17s   1GB
May 27 12:17:36 Starting compiler/encoders/asm
May 27 12:17:37 Finished compiler/encoders/asm                                    0s  91MB
May 27 12:17:38 Starting compiler/encoders/x64
May 27 12:17:39 Finished compiler/encoders/x64                                    0s  92MB
May 27 12:17:40 Starting compiler/encoders/arm7
May 27 12:17:42 Finished compiler/encoders/arm7                                   0s  91MB
May 27 12:17:43 Starting compiler/encoders/arm8
May 27 12:17:44 Finished compiler/encoders/arm8                                   0s  92MB
May 27 12:17:45 Starting compiler/encoders/arm8_asl
May 27 14:40:08 Finished compiler/encoders/arm8_asl                         2h22m22s  45GB
May 27 14:40:09 Starting compiler/encoders/mips
May 27 14:40:10 Finished compiler/encoders/mips                                   0s  84MB
May 27 14:40:11 Starting compiler/encoders/riscv
May 27 14:40:13 Finished compiler/encoders/riscv                                  0s  91MB
May 27 14:40:14 Starting compiler/encoders/ag32
May 27 14:40:15 Finished compiler/encoders/ag32                                   0s  86MB
May 27 14:40:16 Starting compiler/backend/x64
May 27 14:40:18 Finished compiler/backend/x64                                     0s 130MB
May 27 14:40:18 Starting compiler/backend/arm7
May 27 14:40:20 Finished compiler/backend/arm7                                    0s 124MB
May 27 14:40:21 Starting compiler/backend/arm8
May 27 14:40:23 Finished compiler/backend/arm8                                    0s 124MB
May 27 14:40:23 Starting compiler/backend/mips
May 27 14:40:25 Finished compiler/backend/mips                                    0s 124MB
May 27 14:40:26 Starting compiler/backend/riscv
May 27 14:40:28 Finished compiler/backend/riscv                                   0s 130MB
May 27 14:40:29 Starting compiler/backend/ag32
May 27 14:41:49 Finished compiler/backend/ag32                                 1m19s   2GB
May 27 14:41:50 Starting compiler/parsing/proofs
May 27 14:41:51 Finished compiler/parsing/proofs                                  0s  80MB
May 27 14:41:52 Starting compiler/inference/proofs
May 27 14:41:54 Finished compiler/inference/proofs                                0s  88MB
May 27 14:41:54 Starting compiler/backend/semantics
May 27 14:43:20 Finished compiler/backend/semantics                            1m24s   3GB
May 27 14:43:21 Starting compiler/backend/reg_alloc/proofs
May 27 14:43:23 Finished compiler/backend/reg_alloc/proofs                        0s  93MB
May 27 14:43:23 Starting compiler/backend/proofs
May 27 14:44:25 Finished compiler/backend/proofs                               1m00s   3GB
May 27 14:44:26 Starting compiler/backend/serialiser
May 27 14:44:28 Finished compiler/backend/serialiser                              1s 182MB
May 27 14:44:29 Starting compiler/encoders/x64/proofs
May 27 14:54:02 Finished compiler/encoders/x64/proofs                          9m32s   5GB
May 27 14:54:03 Starting compiler/encoders/arm7/proofs
May 27 15:07:01 Finished compiler/encoders/arm7/proofs                        12m55s  10GB
May 27 15:07:02 Starting compiler/encoders/arm8/proofs
May 27 15:13:30 Finished compiler/encoders/arm8/proofs                         6m26s   5GB
May 27 15:13:31 Starting compiler/encoders/arm8_asl/proofs
May 27 16:01:29 Finished compiler/encoders/arm8_asl/proofs                    47m57s  10GB
May 27 16:01:30 Starting compiler/encoders/mips/proofs
May 27 16:11:50 Finished compiler/encoders/mips/proofs                        10m18s   8GB
May 27 16:11:51 Starting compiler/encoders/riscv/proofs
May 27 16:20:05 Finished compiler/encoders/riscv/proofs                        8m13s   4GB
May 27 16:20:06 Starting compiler/encoders/ag32/proofs
May 27 16:22:32 Finished compiler/encoders/ag32/proofs                         2m24s   2GB
May 27 16:22:33 Starting compiler/backend/x64/proofs
May 27 16:23:15 Finished compiler/backend/x64/proofs                             41s   2GB
May 27 16:23:15 Starting compiler/backend/arm7/proofs
May 27 16:23:59 Finished compiler/backend/arm7/proofs                            42s   2GB
May 27 16:24:00 Starting compiler/backend/arm8/proofs
May 27 16:24:39 Finished compiler/backend/arm8/proofs                            38s   3GB
May 27 16:24:40 Starting compiler/backend/arm8_asl
May 27 16:25:07 Finished compiler/backend/arm8_asl                               26s   2GB
May 27 16:25:08 Starting compiler/backend/mips/proofs
May 27 16:25:51 Finished compiler/backend/mips/proofs                            41s   3GB
May 27 16:25:52 Starting compiler/backend/riscv/proofs
May 27 16:26:42 Finished compiler/backend/riscv/proofs                           49s   4GB
May 27 16:26:43 Starting compiler/backend/ag32/proofs
May 27 16:40:09 Finished compiler/backend/ag32/proofs                         13m25s   6GB
May 27 16:40:10 Starting candle/set-theory
May 27 16:40:54 Finished candle/set-theory                                       43s   1GB
May 27 16:40:55 Starting candle/syntax-lib
May 27 16:40:57 Finished candle/syntax-lib                                        0s  72MB
May 27 16:40:57 Starting candle/standard/syntax
May 27 16:41:13 Finished candle/standard/syntax                                  14s   1GB
May 27 16:41:14 Starting candle/standard/semantics
May 27 16:43:39 Finished candle/standard/semantics                             2m23s   2GB
May 27 16:43:40 Starting candle/standard/monadic
May 27 16:43:41 Finished candle/standard/monadic                                  0s  99MB
May 27 16:43:42 Starting candle/standard/ml_kernel
May 27 16:45:34 Finished candle/standard/ml_kernel                             1m50s   6GB
May 27 16:45:34 Starting candle/overloading/syntax
May 27 16:49:01 Finished candle/overloading/syntax                             3m25s   3GB
May 27 16:49:02 Starting candle/overloading/semantics
May 27 17:00:20 Finished candle/overloading/semantics                         11m17s   3GB
May 27 17:00:21 Starting candle/overloading/monadic
May 27 17:02:59 Finished candle/overloading/monadic                            2m37s   3GB
May 27 17:03:00 Starting candle/overloading/ml_kernel
May 27 17:10:34 Finished candle/overloading/ml_kernel                          7m33s   6GB
May 27 17:10:35 Starting candle/overloading/ml_checker
May 27 17:13:08 Finished candle/overloading/ml_checker                         2m30s   6GB
May 27 17:13:09 Starting candle/prover
May 27 17:22:54 Finished candle/prover                                         9m43s   5GB
May 27 17:22:55 Starting pancake
May 27 17:23:54 Finished pancake                                                 58s   1GB
May 27 17:23:54 Starting pancake/ffi
May 27 17:23:55 Finished pancake/ffi                                              0s  20MB
May 27 17:23:56 Starting pancake/semantics
May 27 17:26:15 Finished pancake/semantics                                     2m17s   2GB
May 27 17:26:16 Starting pancake/proofs
May 27 17:40:02 Finished pancake/proofs                                       13m45s   5GB
May 27 17:40:03 Starting characteristic/examples
May 27 17:41:37 Finished characteristic/examples                               1m33s   5GB
May 27 17:41:38 Starting tutorial/solutions
May 27 17:57:10 Finished tutorial/solutions                                   15m30s  17GB
May 27 17:57:10 Starting translator/monadic/examples
May 27 18:00:51 Finished translator/monadic/examples                           3m39s   4GB
May 27 18:00:52 Starting examples
May 27 18:15:28 Finished examples                                             14m33s   7GB
May 27 18:15:28 Starting examples/compilation/x64
May 27 20:12:21 Finished examples/compilation/x64                           1h56m50s  31GB
May 27 20:12:22 Starting examples/compilation/x64/proofs
May 27 20:16:04 Finished examples/compilation/x64/proofs                       3m41s   6GB
May 27 20:16:04 Starting examples/compilation/ag32
May 27 20:45:25 Finished examples/compilation/ag32                            29m19s  12GB
May 27 20:45:26 Starting examples/compilation/ag32/proofs
May 27 20:46:53 Finished examples/compilation/ag32/proofs                      1m25s   7GB
May 27 20:46:54 Starting examples/compilation/to_word
May 27 20:50:45 Finished examples/compilation/to_word                          3m50s  11GB
May 27 20:50:46 Starting examples/lpr_checker
May 27 20:52:02 Finished examples/lpr_checker                                  1m14s   2GB
May 27 20:52:03 Starting examples/lpr_checker/array
May 27 21:26:44 Finished examples/lpr_checker/array                           34m38s   9GB
May 27 21:26:45 Starting examples/lpr_checker/array/compilation
May 27 22:02:07 Finished examples/lpr_checker/array/compilation               35m21s  60GB
May 27 22:02:08 Starting examples/lpr_checker/array/compilation/proofs
May 27 22:04:05 Finished examples/lpr_checker/array/compilation/proofs         1m55s   9GB
May 27 22:04:05 Starting examples/opentheory
May 27 22:15:04 Finished examples/opentheory                                  10m58s   7GB
May 27 22:15:05 Starting examples/opentheory
May 27 22:15:07 Finished examples/opentheory                                      0s 130MB
May 27 22:15:08 Starting examples/opentheory/compilation
May 27 22:50:42 Finished examples/opentheory/compilation                      35m31s  49GB
May 27 22:50:42 Starting examples/opentheory/compilation/proofs
May 27 22:52:09 Finished examples/opentheory/compilation/proofs                1m25s   6GB
May 27 22:52:10 Starting examples/opentheory/compilation/ag32
May 27 23:23:48 Finished examples/opentheory/compilation/ag32                 31m37s  39GB
May 27 23:23:49 Starting examples/opentheory/compilation/ag32/proofs
May 27 23:26:08 Finished examples/opentheory/compilation/ag32/proofs           2m18s  11GB
May 27 23:26:09 Starting examples/sat_encodings
May 27 23:28:44 Finished examples/sat_encodings                                2m33s   1GB
May 27 23:28:44 Starting examples/sat_encodings/case_studies
May 27 23:30:44 Finished examples/sat_encodings/case_studies                   1m58s   2GB
May 27 23:30:45 Starting examples/sat_encodings/translation
May 27 23:36:48 Finished examples/sat_encodings/translation                    6m01s   7GB
May 27 23:36:49 Starting examples/sat_encodings/translation/compilation
May 28 00:11:02 Finished examples/sat_encodings/translation/compilation       34m12s  32GB
May 28 00:11:03 Starting examples/deflate
May 28 00:12:20 Finished examples/deflate                                      1m15s   1GB
May 28 00:12:20 Starting examples/deflate/translation
May 28 00:13:56 Finished examples/deflate/translation                          1m34s   7GB
May 28 00:13:56 Starting examples/deflate/translation/compilation
May 28 00:30:32 Finished examples/deflate/translation/compilation             16m34s  26GB
May 28 00:30:33 Starting translator/okasaki-examples
May 28 00:35:29 Finished translator/okasaki-examples                           4m55s   4GB
May 28 00:35:30 Starting translator/other-examples
May 28 00:39:05 Finished translator/other-examples                             3m33s   3GB
May 28 00:39:06 Starting compiler/parsing/tests
May 28 00:39:40 Finished compiler/parsing/tests                                  33s   1GB
May 28 00:39:41 Starting compiler/inference/tests
May 28 00:47:13 Finished compiler/inference/tests                              7m31s   7GB
May 28 00:47:14 Starting compiler/printing/test
May 28 00:50:48 Finished compiler/printing/test                                3m33s   6GB
May 28 00:50:49 Starting icing/flover
May 28 01:26:30 Finished icing/flover                                         35m39s   4GB
May 28 01:26:30 Starting icing/
May 28 02:23:37 Finished icing/                                               57m06s  23GB
May 28 02:23:38 Starting icing/examples
May 28 02:25:20 Finished icing/examples                                        1m41s   8GB
May 28 02:25:21 Starting compiler/repl
May 28 02:34:07 Finished compiler/repl                                         8m44s   9GB
May 28 02:34:08 Starting unverified/sexpr-bootstrap/x64/64
May 28 02:45:03 Finished unverified/sexpr-bootstrap/x64/64                    10m54s  16GB
May 28 02:45:04 Starting unverified/sexpr-bootstrap/x64/32
May 28 02:54:05 Finished unverified/sexpr-bootstrap/x64/32                     9m00s  13GB
May 28 02:54:06 Starting compiler/benchmarks
May 28 02:54:51 Finished compiler/benchmarks                                     43s 713MB
May 28 02:54:52 Starting compiler/bootstrap/compilation/x64/64
May 28 16:49:15 Finished compiler/bootstrap/compilation/x64/64             13h54m20s 139GB
May 28 16:49:16 Starting compiler/bootstrap/compilation/x64/64/proofs
May 28 17:09:54 Finished compiler/bootstrap/compilation/x64/64/proofs         20m37s  32GB
May 28 17:09:55 Starting compiler/bootstrap/compilation/x64/32
May 29 00:03:26 Finished compiler/bootstrap/compilation/x64/32              6h53m29s 118GB
May 29 00:03:27 Starting compiler/bootstrap/compilation/x64/32/proofs
May 29 00:06:59 Finished compiler/bootstrap/compilation/x64/32/proofs          3m30s  19GB
May 29 00:06:59 Starting compiler/bootstrap/compilation/ag32/32
May 29 07:40:52 Finished compiler/bootstrap/compilation/ag32/32             7h33m51s 111GB
May 29 07:40:53 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 29 07:48:06 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m12s  43GB
May 29 07:48:07 SUCCESS