Job 2754

CakeML:a99466c94b23656f7b7ee108870874f73e62fe3c
  fix missed flag [Dec 15 00:34:40]
#1114 (issue427)
Merging into:3f6d27d17c58e4c14f23eb5148f2e682bdf82aef
  Merge pull request #1111 from CakeML/parsingCompute [Dec 12 23:25:46]
HOL:1c3270d819e95cdf222b564e34d657a2dfd38a0e
  fix #1371 [Dec 12 01:36:54]
Machine:pavlova

Dec 15 10:02:46 Claimed job
Dec 15 10:02:51 Building HOL
Dec 15 10:13:54 Starting developers
Dec 15 10:13:58 Finished developers                                               3s 163MB
Dec 15 10:13:59 Starting developers/bin
Dec 15 10:14:05 Finished developers/bin                                           5s 746MB
Dec 15 10:14:06 Starting compiler/proofs
Dec 15 11:56:07 Finished compiler/proofs                                    1h41m59s  34GB
Dec 15 11:56:08 Starting compiler/bootstrap/translation
Dec 15 17:59:04 Finished compiler/bootstrap/translation                     6h02m55s  99GB
Dec 15 17:59:05 Starting semantics/ffi
Dec 15 17:59:15 Finished semantics/ffi                                            9s 605MB
Dec 15 17:59:16 Starting semantics
Dec 15 17:59:17 Finished semantics                                                0s  53MB
Dec 15 17:59:18 Starting semantics/proofs
Dec 15 17:59:42 Finished semantics/proofs                                        22s 703MB
Dec 15 17:59:43 Starting semantics/alt_semantics
Dec 15 18:00:03 Finished semantics/alt_semantics                                 19s 586MB
Dec 15 18:00:04 Starting semantics/alt_semantics/proofs
Dec 15 18:10:34 Finished semantics/alt_semantics/proofs                       10m29s   2GB
Dec 15 18:10:35 Starting basis/pure
Dec 15 18:10:37 Finished basis/pure                                               0s  64MB
Dec 15 18:10:38 Starting translator
Dec 15 18:12:14 Finished translator                                            1m35s   2GB
Dec 15 18:12:15 Starting compiler/parsing
Dec 15 18:12:16 Finished compiler/parsing                                         0s  57MB
Dec 15 18:12:17 Starting characteristic
Dec 15 18:12:19 Finished characteristic                                           0s  90MB
Dec 15 18:12:20 Starting translator/monadic
Dec 15 18:12:22 Finished translator/monadic                                       0s  89MB
Dec 15 18:12:22 Starting basis
Dec 15 18:14:47 Finished basis                                                 2m22s   3GB
Dec 15 18:14:48 Starting compiler/inference
Dec 15 18:14:50 Finished compiler/inference                                       0s  88MB
Dec 15 18:14:51 Starting compiler/backend/reg_alloc
Dec 15 18:14:52 Finished compiler/backend/reg_alloc                               0s  52MB
Dec 15 18:14:53 Starting compiler/backend/gc
Dec 15 18:14:55 Finished compiler/backend/gc                                      1s 123MB
Dec 15 18:14:56 Starting compiler/backend
Dec 15 18:15:01 Finished compiler/backend                                         3s 262MB
Dec 15 18:15:02 Starting compiler/encoders/asm
Dec 15 18:15:03 Finished compiler/encoders/asm                                    0s  81MB
Dec 15 18:15:04 Starting compiler/encoders/x64
Dec 15 18:15:06 Finished compiler/encoders/x64                                    0s  89MB
Dec 15 18:15:07 Starting compiler/encoders/arm7
Dec 15 18:15:08 Finished compiler/encoders/arm7                                   0s  86MB
Dec 15 18:15:09 Starting compiler/encoders/arm8
Dec 15 18:15:11 Finished compiler/encoders/arm8                                   0s  84MB
Dec 15 18:15:12 Starting compiler/encoders/arm8_asl
Dec 15 20:15:24 Finished compiler/encoders/arm8_asl                         2h00m10s  42GB
Dec 15 20:15:25 Starting compiler/encoders/mips
Dec 15 20:15:26 Finished compiler/encoders/mips                                   0s  86MB
Dec 15 20:15:27 Starting compiler/encoders/riscv
Dec 15 20:15:29 Finished compiler/encoders/riscv                                  0s  83MB
Dec 15 20:15:30 Starting compiler/encoders/ag32
Dec 15 20:15:31 Finished compiler/encoders/ag32                                   0s  80MB
Dec 15 20:15:32 Starting compiler/backend/x64
Dec 15 20:15:34 Finished compiler/backend/x64                                     1s 122MB
Dec 15 20:15:35 Starting compiler/backend/arm7
Dec 15 20:15:37 Finished compiler/backend/arm7                                    1s 123MB
Dec 15 20:15:38 Starting compiler/backend/arm8
Dec 15 20:15:40 Finished compiler/backend/arm8                                    1s 123MB
Dec 15 20:15:41 Starting compiler/backend/mips
Dec 15 20:15:43 Finished compiler/backend/mips                                    1s 123MB
Dec 15 20:15:44 Starting compiler/backend/riscv
Dec 15 20:15:46 Finished compiler/backend/riscv                                   1s 123MB
Dec 15 20:15:47 Starting compiler/backend/ag32
Dec 15 20:16:54 Finished compiler/backend/ag32                                 1m04s   2GB
Dec 15 20:16:55 Starting compiler/parsing/proofs
Dec 15 20:16:56 Finished compiler/parsing/proofs                                  0s  64MB
Dec 15 20:16:57 Starting compiler/inference/proofs
Dec 15 20:16:59 Finished compiler/inference/proofs                                0s  86MB
Dec 15 20:17:00 Starting compiler/backend/semantics
Dec 15 20:20:11 Finished compiler/backend/semantics                            3m10s   3GB
Dec 15 20:20:12 Starting compiler/backend/reg_alloc/proofs
Dec 15 20:20:14 Finished compiler/backend/reg_alloc/proofs                        0s  86MB
Dec 15 20:20:14 Starting compiler/backend/proofs
Dec 15 20:21:05 Finished compiler/backend/proofs                                 50s   4GB
Dec 15 20:21:06 Starting compiler/backend/serialiser
Dec 15 20:21:08 Finished compiler/backend/serialiser                              1s 131MB
Dec 15 20:21:09 Starting compiler/encoders/x64/proofs
Dec 15 20:31:26 Finished compiler/encoders/x64/proofs                         10m16s   4GB
Dec 15 20:31:27 Starting compiler/encoders/arm7/proofs
Dec 15 20:44:50 Finished compiler/encoders/arm7/proofs                        13m21s  11GB
Dec 15 20:44:51 Starting compiler/encoders/arm8/proofs
Dec 15 20:51:50 Finished compiler/encoders/arm8/proofs                         6m58s   4GB
Dec 15 20:51:51 Starting compiler/encoders/arm8_asl/proofs
Dec 15 21:41:25 Finished compiler/encoders/arm8_asl/proofs                    49m33s  20GB
Dec 15 21:41:26 Starting compiler/encoders/mips/proofs
Dec 15 21:51:33 Finished compiler/encoders/mips/proofs                        10m05s   4GB
Dec 15 21:51:34 Starting compiler/encoders/riscv/proofs
Dec 15 21:59:51 Finished compiler/encoders/riscv/proofs                        8m16s   5GB
Dec 15 21:59:52 Starting compiler/encoders/ag32/proofs
Dec 15 22:02:48 Finished compiler/encoders/ag32/proofs                         2m55s   1GB
Dec 15 22:02:49 Starting compiler/backend/x64/proofs
Dec 15 22:03:21 Finished compiler/backend/x64/proofs                             31s   2GB
Dec 15 22:03:22 Starting compiler/backend/arm7/proofs
Dec 15 22:03:55 Finished compiler/backend/arm7/proofs                            31s   2GB
Dec 15 22:03:55 Starting compiler/backend/arm8/proofs
Dec 15 22:04:28 Finished compiler/backend/arm8/proofs                            31s   2GB
Dec 15 22:04:28 Starting compiler/backend/arm8_asl
Dec 15 22:04:50 Finished compiler/backend/arm8_asl                               21s   2GB
Dec 15 22:04:51 Starting compiler/backend/mips/proofs
Dec 15 22:05:23 Finished compiler/backend/mips/proofs                            30s   1GB
Dec 15 22:05:24 Starting compiler/backend/riscv/proofs
Dec 15 22:05:58 Finished compiler/backend/riscv/proofs                           33s   2GB
Dec 15 22:05:59 Starting compiler/backend/ag32/proofs
Dec 15 22:20:11 Finished compiler/backend/ag32/proofs                         14m10s   5GB
Dec 15 22:20:12 Starting compiler/backend/cv_compute
Dec 15 22:21:22 Finished compiler/backend/cv_compute                           1m09s   1GB
Dec 15 22:21:22 Starting cv_translator
Dec 15 22:39:14 Finished cv_translator                                        17m50s   8GB
Dec 15 22:39:15 Starting candle/set-theory
Dec 15 22:39:51 Finished candle/set-theory                                       34s   1GB
Dec 15 22:39:52 Starting candle/syntax-lib
Dec 15 22:39:53 Finished candle/syntax-lib                                        0s  65MB
Dec 15 22:39:54 Starting candle/standard/syntax
Dec 15 22:40:06 Finished candle/standard/syntax                                  11s 811MB
Dec 15 22:40:07 Starting candle/standard/semantics
Dec 15 22:42:11 Finished candle/standard/semantics                             2m02s   2GB
Dec 15 22:42:12 Starting candle/standard/monadic
Dec 15 22:42:13 Finished candle/standard/monadic                                  0s  91MB
Dec 15 22:42:14 Starting candle/standard/ml_kernel
Dec 15 22:44:01 Finished candle/standard/ml_kernel                             1m45s   4GB
Dec 15 22:44:02 Starting candle/overloading/syntax
Dec 15 22:47:15 Finished candle/overloading/syntax                             3m12s   1GB
Dec 15 22:47:16 Starting candle/overloading/semantics
Dec 15 22:58:25 Finished candle/overloading/semantics                         11m07s   5GB
Dec 15 22:58:26 Starting candle/overloading/monadic
Dec 15 23:00:43 Finished candle/overloading/monadic                            2m16s   2GB
Dec 15 23:00:44 Starting candle/overloading/ml_kernel
Dec 15 23:07:59 Finished candle/overloading/ml_kernel                          7m14s   6GB
Dec 15 23:08:00 Starting candle/overloading/ml_checker
Dec 15 23:10:09 Finished candle/overloading/ml_checker                         2m08s   5GB
Dec 15 23:10:10 Starting candle/prover
Dec 15 23:19:51 Finished candle/prover                                         9m40s   5GB
Dec 15 23:19:52 Starting pancake
Dec 15 23:20:14 Finished pancake                                                 21s 820MB
Dec 15 23:20:15 Starting pancake/ffi
Dec 15 23:20:16 Finished pancake/ffi                                              0s   9MB
Dec 15 23:20:17 Starting pancake/semantics
Dec 15 23:22:25 Finished pancake/semantics                                     2m07s   2GB
Dec 15 23:22:26 Starting pancake/parser
Dec 15 23:22:50 Finished pancake/parser                                          22s 467MB
Dec 15 23:22:51 Starting pancake/proofs
Dec 15 23:39:09 Finished pancake/proofs                                       16m17s   7GB
Dec 15 23:39:10 Starting compiler/dafny
Dec 15 23:41:55 Finished compiler/dafny                                        2m44s  10GB
Dec 15 23:41:56 Starting compiler/dafny/translation
Dec 16 00:00:09 Finished compiler/dafny/translation                           18m11s  16GB
Dec 16 00:00:10 Starting compiler/dafny/compilation
Dec 16 00:02:36 Finished compiler/dafny/compilation                            2m24s   8GB
Dec 16 00:02:37 Starting compiler/dafny/semantics
Dec 16 00:03:11 Finished compiler/dafny/semantics                                33s   1GB
Dec 16 00:03:12 Starting characteristic/examples
Dec 16 00:04:36 Finished characteristic/examples                               1m22s   4GB
Dec 16 00:04:36 Starting tutorial/solutions
Dec 16 00:07:00 Finished tutorial/solutions                                    2m22s   3GB
Dec 16 00:07:01 Starting translator/monadic/examples
Dec 16 00:09:56 Finished translator/monadic/examples                           2m54s   3GB
Dec 16 00:09:57 Starting examples
Dec 16 00:16:01 Finished examples                                              6m02s   5GB
Dec 16 00:16:01 Starting examples/compilation/x64
Dec 16 00:22:34 Finished examples/compilation/x64                              6m31s   4GB
Dec 16 00:22:35 Starting examples/compilation/x64/proofs
Dec 16 00:24:54 Finished examples/compilation/x64/proofs                       2m17s   4GB
Dec 16 00:24:54 Starting examples/compilation/ag32
Dec 16 00:26:42 Finished examples/compilation/ag32                             1m46s   3GB
Dec 16 00:26:43 Starting examples/compilation/ag32/proofs
Dec 16 00:27:42 Finished examples/compilation/ag32/proofs                        58s   4GB
Dec 16 00:27:42 Starting examples/lpr_checker
Dec 16 00:28:13 Finished examples/lpr_checker                                    29s   1GB
Dec 16 00:28:13 Starting examples/lpr_checker/array
Dec 16 00:54:26 Finished examples/lpr_checker/array                           26m11s  26GB
Dec 16 00:54:27 Starting examples/lpr_checker/array/compilation
Dec 16 00:56:16 Finished examples/lpr_checker/array/compilation                1m47s   7GB
Dec 16 00:56:17 Starting examples/lpr_checker/array/compilation/proofs
Dec 16 00:57:23 Finished examples/lpr_checker/array/compilation/proofs         1m05s   5GB
Dec 16 00:57:24 Starting examples/lpr_checker/array/compilation/proofsARM8
Dec 16 00:58:29 Finished examples/lpr_checker/array/compilation/proofsARM8     1m03s   6GB
Dec 16 00:58:29 Starting .
Dec 16 00:58:33 Finished .                                                        2s 286MB
Dec 16 00:58:34 Starting examples/xlrup_checker
Dec 16 00:59:08 Finished examples/xlrup_checker                                  33s   1GB
Dec 16 00:59:09 Starting examples/xlrup_checker/array
Dec 16 01:12:12 Finished examples/xlrup_checker/array                         13m02s   8GB
Dec 16 01:12:13 Starting examples/xlrup_checker/array/compilation
Dec 16 01:13:12 Finished examples/xlrup_checker/array/compilation                58s   4GB
Dec 16 01:13:13 Starting examples/xlrup_checker/array/compilation/proofs
Dec 16 01:14:08 Finished examples/xlrup_checker/array/compilation/proofs         54s   4GB
Dec 16 01:14:09 Starting examples/pseudo_bool
Dec 16 01:15:40 Finished examples/pseudo_bool                                  1m29s   2GB
Dec 16 01:15:40 Starting examples/pseudo_bool/cnf_encoding
Dec 16 01:16:10 Finished examples/pseudo_bool/cnf_encoding                       28s   1GB
Dec 16 01:16:11 Starting examples/pseudo_bool/graph_encoding
Dec 16 01:16:56 Finished examples/pseudo_bool/graph_encoding                     44s   2GB
Dec 16 01:16:57 Starting examples/pseudo_bool/array
Dec 16 02:24:49 Finished examples/pseudo_bool/array                         1h07m51s  48GB
Dec 16 02:24:50 Starting examples/pseudo_bool/array/compilation
Dec 16 02:33:25 Finished examples/pseudo_bool/array/compilation                8m33s  16GB
Dec 16 02:33:26 Starting examples/pseudo_bool/array/compilation/proofs
Dec 16 02:35:57 Finished examples/pseudo_bool/array/compilation/proofs         2m30s   7GB
Dec 16 02:35:58 Starting examples/pseudo_bool/array/compilation/proofsARM8
Dec 16 02:37:05 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m06s   6GB
Dec 16 02:37:06 Starting examples/opentheory
Dec 16 02:45:56 Finished examples/opentheory                                   8m48s   6GB
Dec 16 02:46:04 Starting examples/opentheory
Dec 16 02:46:06 Finished examples/opentheory                                      1s 116MB
Dec 16 02:46:07 Starting examples/opentheory/compilation
Dec 16 02:47:29 Finished examples/opentheory/compilation                       1m21s   5GB