Job 3363

CakeML:47340325534ef2912a25bd70314e381cde87be06
  remove clear_cache_prover workaround [May 29 08:35:04]
HOL:c7b52ad03fb162477aad3544b5d81e2e194f467e
  Holmake/Mosml: compile HM_TheoryDat into the Mosml Holmake build [May 24 02:43:20]
Machine:timtam

May 29 10:48:30 Claimed job
May 29 10:48:35 Reusing HOL
May 29 10:49:00 Starting developers
May 29 10:49:06 Finished developers                                               4s 141MB
May 29 10:49:07 Starting developers/bin
May 29 10:49:12 Finished developers/bin                                           4s  90MB
May 29 10:49:12 Starting misc
May 29 10:49:58 Finished misc                                                    44s   1GB
May 29 10:49:59 Starting compiler/proofs
May 29 11:54:18 Finished compiler/proofs                                    1h04m18s  11GB
May 29 11:54:19 Starting compiler/bootstrap/compilation/x64/64/proofs
May 29 21:54:43 Finished compiler/bootstrap/compilation/x64/64/proofs      10h00m22s  86GB
May 29 21:54:44 Starting semantics/ffi
May 29 21:55:01 Finished semantics/ffi                                           16s 538MB
May 29 21:55:01 Starting semantics
May 29 21:55:09 Finished semantics                                                6s 138MB
May 29 21:55:10 Starting semantics/proofs
May 29 21:55:38 Finished semantics/proofs                                        26s 554MB
May 29 21:55:39 Starting semantics/alt_semantics
May 29 21:56:01 Finished semantics/alt_semantics                                 21s 468MB
May 29 21:56:02 Starting semantics/alt_semantics/proofs
May 29 21:59:25 Finished semantics/alt_semantics/proofs                        3m22s   1GB
May 29 21:59:26 Starting basis/pure
May 29 21:59:33 Finished basis/pure                                               5s 115MB
May 29 21:59:34 Starting translator
May 29 22:00:45 Finished translator                                            1m10s   3GB
May 29 22:00:46 Starting compiler/parsing
May 29 22:00:54 Finished compiler/parsing                                         7s 134MB
May 29 22:00:55 Starting characteristic
May 29 22:01:06 Finished characteristic                                           9s 162MB
May 29 22:01:07 Starting translator/monadic
May 29 22:01:18 Finished translator/monadic                                      10s 166MB
May 29 22:01:19 Starting translator/monadic/monad_base
May 29 22:01:26 Finished translator/monadic/monad_base                            6s 131MB
May 29 22:01:27 Starting profiler
May 29 22:02:05 Finished profiler                                                37s   1GB
May 29 22:02:06 Starting basis
May 29 22:03:59 Finished basis                                                 1m52s   4GB
May 29 22:04:00 Starting compiler
May 29 22:04:28 Finished compiler                                                26s 403MB
May 29 22:04:29 Starting compiler/inference
May 29 22:04:39 Finished compiler/inference                                       9s 155MB
May 29 22:04:40 Starting compiler/backend/reg_alloc
May 29 22:04:48 Finished compiler/backend/reg_alloc                               7s 138MB
May 29 22:04:49 Starting compiler/backend/gc
May 29 22:05:04 Finished compiler/backend/gc                                     13s 180MB
May 29 22:05:04 Starting compiler/backend
May 29 22:05:19 Finished compiler/backend                                        14s 173MB
May 29 22:05:20 Starting compiler/encoders/asm
May 29 22:05:29 Finished compiler/encoders/asm                                    7s 138MB
May 29 22:05:30 Starting compiler/encoders/x64
May 29 22:05:39 Finished compiler/encoders/x64                                    7s 154MB
May 29 22:05:40 Starting compiler/encoders/arm7
May 29 22:05:49 Finished compiler/encoders/arm7                                   8s 150MB
May 29 22:05:49 Starting compiler/encoders/arm8
May 29 22:05:58 Finished compiler/encoders/arm8                                   7s 144MB
May 29 22:05:59 Starting compiler/encoders/arm8_asl
May 29 22:06:26 Finished compiler/encoders/arm8_asl                              26s   1GB
May 29 22:06:27 Starting compiler/encoders/mips
May 29 22:06:36 Finished compiler/encoders/mips                                   7s 144MB
May 29 22:06:37 Starting compiler/encoders/riscv
May 29 22:06:46 Finished compiler/encoders/riscv                                  7s 150MB
May 29 22:06:47 Starting compiler/encoders/ag32
May 29 22:06:55 Finished compiler/encoders/ag32                                   7s 135MB
May 29 22:06:56 Starting compiler/encoders/tests
May 29 22:07:06 Finished compiler/encoders/tests                                  9s 237MB
May 29 22:07:07 Starting compiler/encoders/monadic_enc
May 29 22:07:42 Finished compiler/encoders/monadic_enc                           34s   1GB
May 29 22:07:43 Starting compiler/backend/x64
May 29 22:07:58 Finished compiler/backend/x64                                    13s 181MB
May 29 22:07:58 Starting compiler/backend/arm7
May 29 22:08:13 Finished compiler/backend/arm7                                   13s 203MB
May 29 22:08:14 Starting compiler/backend/arm8
May 29 22:08:29 Finished compiler/backend/arm8                                   13s 181MB
May 29 22:08:30 Starting compiler/backend/mips
May 29 22:08:45 Finished compiler/backend/mips                                   14s 181MB
May 29 22:08:46 Starting compiler/backend/riscv
May 29 22:09:02 Finished compiler/backend/riscv                                  15s 182MB
May 29 22:09:03 Starting compiler/backend/ag32
May 29 22:10:20 Finished compiler/backend/ag32                                 1m15s   2GB
May 29 22:10:20 Starting compiler/backend/pattern_matching
May 29 22:10:28 Finished compiler/backend/pattern_matching                        6s 119MB
May 29 22:10:29 Starting compiler/parsing/ocaml
May 29 22:12:26 Finished compiler/parsing/ocaml                                1m56s   1GB
May 29 22:12:27 Starting compiler/printing
May 29 22:13:29 Finished compiler/printing                                     1m00s   1GB
May 29 22:13:30 Starting compiler/parsing/proofs
May 29 22:13:38 Finished compiler/parsing/proofs                                  7s 137MB
May 29 22:13:39 Starting compiler/inference/proofs
May 29 22:13:50 Finished compiler/inference/proofs                                9s 162MB
May 29 22:13:51 Starting compiler/backend/semantics
May 29 22:16:53 Finished compiler/backend/semantics                            3m01s   3GB
May 29 22:16:54 Starting compiler/backend/reg_alloc/proofs
May 29 22:17:05 Finished compiler/backend/reg_alloc/proofs                       10s 154MB
May 29 22:17:06 Starting compiler/backend/proofs
May 29 22:18:09 Finished compiler/backend/proofs                               1m02s   2GB
May 29 22:18:10 Starting compiler/backend/serialiser
May 29 22:18:26 Finished compiler/backend/serialiser                             14s 196MB
May 29 22:18:27 Starting compiler/encoders/x64/proofs
May 29 22:18:36 Finished compiler/encoders/x64/proofs                             8s 146MB
May 29 22:18:36 Starting compiler/encoders/arm7/proofs
May 29 22:29:30 Finished compiler/encoders/arm7/proofs                        10m52s  14GB
May 29 22:29:31 Starting compiler/encoders/arm8/proofs
May 29 22:35:52 Finished compiler/encoders/arm8/proofs                         6m20s   6GB
May 29 22:35:53 Starting compiler/encoders/arm8_asl/proofs
May 29 22:50:39 Finished compiler/encoders/arm8_asl/proofs                    14m44s   5GB
May 29 22:50:39 Starting compiler/encoders/mips/proofs
May 29 22:59:57 Finished compiler/encoders/mips/proofs                         9m16s  10GB
May 29 22:59:58 Starting compiler/encoders/riscv/proofs
May 29 23:07:56 Finished compiler/encoders/riscv/proofs                        7m57s   4GB
May 29 23:07:57 Starting compiler/encoders/ag32/proofs
May 29 23:10:35 Finished compiler/encoders/ag32/proofs                         2m37s   2GB
May 29 23:10:36 Starting compiler/backend/x64/proofs
May 29 23:11:01 Finished compiler/backend/x64/proofs                             24s 269MB
May 29 23:11:02 Starting compiler/backend/arm7/proofs
May 29 23:12:01 Finished compiler/backend/arm7/proofs                            58s   2GB
May 29 23:12:02 Starting compiler/backend/arm8/proofs
May 29 23:13:02 Finished compiler/backend/arm8/proofs                            59s   2GB
May 29 23:13:03 Starting compiler/backend/arm8_asl
May 29 23:13:55 Finished compiler/backend/arm8_asl                               50s   1GB
May 29 23:13:55 Starting compiler/backend/mips/proofs
May 29 23:14:56 Finished compiler/backend/mips/proofs                            59s   2GB
May 29 23:14:56 Starting compiler/backend/riscv/proofs
May 29 23:15:56 Finished compiler/backend/riscv/proofs                           58s   2GB
May 29 23:15:57 Starting compiler/backend/ag32/proofs
May 29 23:24:03 Finished compiler/backend/ag32/proofs                          8m05s   4GB
May 29 23:24:04 Starting compiler/backend/cv_compute
May 29 23:24:48 Finished compiler/backend/cv_compute                             42s   1GB
May 29 23:24:49 Starting cv_translator
May 29 23:30:11 Finished cv_translator                                         5m20s   3GB
May 29 23:30:11 Starting candle
May 29 23:30:12 Finished candle                                                   0s   6MB
May 29 23:30:13 Starting candle/set-theory
May 29 23:30:48 Finished candle/set-theory                                       33s 900MB
May 29 23:30:49 Starting candle/syntax-lib
May 29 23:30:56 Finished candle/syntax-lib                                        6s 125MB
May 29 23:30:57 Starting candle/standard
May 29 23:30:58 Finished candle/standard                                          0s   6MB
May 29 23:30:59 Starting candle/standard/syntax
May 29 23:31:19 Finished candle/standard/syntax                                  19s 765MB
May 29 23:31:20 Starting candle/standard/semantics
May 29 23:33:34 Finished candle/standard/semantics                             2m13s   2GB
May 29 23:33:35 Starting candle/standard/monadic
May 29 23:33:47 Finished candle/standard/monadic                                 10s 162MB
May 29 23:33:48 Starting candle/standard/ml_kernel
May 29 23:36:04 Finished candle/standard/ml_kernel                             2m15s   4GB
May 29 23:36:05 Starting candle/overloading
May 29 23:36:06 Finished candle/overloading                                       0s   6MB
May 29 23:36:07 Starting candle/overloading/syntax
May 29 23:39:18 Finished candle/overloading/syntax                             3m10s   2GB
May 29 23:39:19 Starting candle/overloading/semantics
May 29 23:48:05 Finished candle/overloading/semantics                          8m45s   9GB
May 29 23:48:06 Starting candle/overloading/monadic
May 29 23:50:12 Finished candle/overloading/monadic                            2m05s   1GB
May 29 23:50:13 Starting candle/overloading/ml_kernel
May 29 23:56:38 Finished candle/overloading/ml_kernel                          6m23s   6GB
May 29 23:56:39 Starting candle/overloading/ml_checker
May 29 23:59:18 Finished candle/overloading/ml_checker                         2m38s   6GB
May 29 23:59:19 Starting candle/prover
May 29 23:59:41 Finished candle/prover                                           21s 515MB
May 29 23:59:42 Starting candle/prover/compute
May 30 00:00:02 Finished candle/prover/compute                                   19s 341MB
May 30 00:00:03 Starting pancake
May 30 00:00:19 Finished pancake                                                 14s 179MB
May 30 00:00:19 Starting pancake/semantics
May 30 00:03:30 Finished pancake/semantics                                     3m10s   1GB
May 30 00:03:31 Starting pancake/parser
May 30 00:04:17 Finished pancake/parser                                          45s 748MB
May 30 00:04:18 Starting pancake/static_checker
May 30 00:06:36 Finished pancake/static_checker                                2m16s   1GB
May 30 00:06:37 Starting pancake/proofs
May 30 00:21:37 Finished pancake/proofs                                       14m59s   4GB
May 30 00:21:38 Starting compiler/dafny
May 30 00:22:09 Finished compiler/dafny                                          30s 650MB
May 30 00:22:10 Starting compiler/dafny/translation
May 30 00:31:44 Finished compiler/dafny/translation                            9m33s   7GB
May 30 00:31:45 Starting compiler/dafny/compilation
May 30 00:34:01 Finished compiler/dafny/compilation                            2m14s   6GB
May 30 00:34:01 Starting compiler/dafny/semantics
May 30 00:34:46 Finished compiler/dafny/semantics                                43s 485MB
May 30 00:34:47 Starting compiler/dafny/proofs
May 30 00:36:22 Finished compiler/dafny/proofs                                 1m33s   1GB
May 30 00:36:23 Starting compiler/dafny/vcg
May 30 00:36:33 Finished compiler/dafny/vcg                                       9s 146MB
May 30 00:36:33 Starting compiler/dafny/vcg/examples
May 30 00:37:10 Finished compiler/dafny/vcg/examples                             35s   2GB
May 30 00:37:11 Starting compiler/scheme
May 30 00:37:53 Finished compiler/scheme                                         41s   1GB
May 30 00:37:54 Starting compiler/scheme/translation
May 30 00:44:12 Finished compiler/scheme/translation                           6m16s  10GB
May 30 00:44:12 Starting compiler/scheme/compilation
May 30 00:46:00 Finished compiler/scheme/compilation                           1m46s   4GB
May 30 00:46:01 Starting compiler/scheme/proofs
May 30 00:51:52 Finished compiler/scheme/proofs                                5m50s   3GB
May 30 00:51:53 Starting characteristic/examples
May 30 00:53:35 Finished characteristic/examples                               1m41s   5GB
May 30 00:53:36 Starting tutorial/solutions
May 30 00:56:44 Finished tutorial/solutions                                    3m07s   3GB
May 30 00:56:45 Starting translator/monadic/examples
May 30 01:00:04 Finished translator/monadic/examples                           3m17s   4GB
May 30 01:00:04 Starting examples
May 30 01:04:40 Finished examples                                              4m35s   4GB
May 30 01:04:41 Starting examples/compilation
May 30 01:04:42 Finished examples/compilation                                     0s   6MB
May 30 01:04:43 Starting examples/compilation/x64
May 30 01:12:35 Finished examples/compilation/x64                              7m50s   4GB
May 30 01:12:35 Starting examples/compilation/x64/proofs
May 30 01:16:32 Finished examples/compilation/x64/proofs                       3m55s   4GB
May 30 01:16:33 Starting examples/compilation/ag32
May 30 01:19:20 Finished examples/compilation/ag32                             2m46s   3GB
May 30 01:19:21 Starting examples/compilation/ag32/proofs
May 30 01:21:17 Finished examples/compilation/ag32/proofs                      1m54s   5GB
May 30 01:21:18 Starting examples/lpr_checker
May 30 01:22:09 Finished examples/lpr_checker                                    50s   1GB
May 30 01:22:10 Starting examples/lpr_checker/array
May 30 01:33:46 Finished examples/lpr_checker/array                           11m35s  10GB
May 30 01:33:47 Starting examples/lpr_checker/array/compilation
May 30 01:37:56 Finished examples/lpr_checker/array/compilation                4m08s   5GB
May 30 01:37:57 Starting examples/lpr_checker/array/compilation/proofs
May 30 01:40:02 Finished examples/lpr_checker/array/compilation/proofs         2m04s   5GB
May 30 01:40:03 Starting examples/lpr_checker/array/compilation/proofsARM8
May 30 01:42:13 Finished examples/lpr_checker/array/compilation/proofsARM8     2m09s   5GB
May 30 01:42:14 Starting .
May 30 01:43:02 Finished .                                                       46s 580MB
May 30 01:43:02 Starting examples/xlrup_checker
May 30 01:44:08 Finished examples/xlrup_checker                                1m04s   1GB
May 30 01:44:09 Starting examples/xlrup_checker/array
May 30 01:52:48 Finished examples/xlrup_checker/array                          8m37s   9GB
May 30 01:52:48 Starting examples/xlrup_checker/array/compilation
May 30 01:54:43 Finished examples/xlrup_checker/array/compilation              1m53s   5GB
May 30 01:54:44 Starting examples/xlrup_checker/array/compilation/proofs
May 30 01:56:40 Finished examples/xlrup_checker/array/compilation/proofs       1m55s   4GB
May 30 01:56:41 Starting examples/cnf
May 30 01:57:19 Finished examples/cnf                                            37s 413MB
May 30 01:57:20 Starting examples/cnf/array May 30 01:57:20 138s