Job 513

CakeML:747a323c230d3c8f26d9ff8769b6fba15056be00
  Update HOL_STORE precondition theorem [Aug 28 11:11:46]
#511 (argparse)
Merging into:675c1da06454efcef70f62574de96a524820287f
  Merge pull request #532 from CakeML/trans-msg [Oct 03 07:58:05]
HOL:ecc4074370d8ab242052768708d85c5d14bb679e
  Fix meson selftest [Oct 03 10:53:37]
Machine:cakeml1795 4.4.0-98-generic x86_64 GNU/Linux

Oct 03 23:58:15 Claimed job
Oct 03 23:58:26 Building HOL
Oct 04 00:13:04 Starting developers/bin
Oct 04 00:13:14 Finished developers/bin                                           8s 148MB
Oct 04 00:13:16 Starting semantics/ffi
Oct 04 00:14:24 Finished semantics/ffi                                         1m05s 523MB
Oct 04 00:14:26 Starting semantics
Oct 04 00:16:46 Finished semantics                                             2m18s   1GB
Oct 04 00:16:48 Starting semantics/proofs
Oct 04 00:20:59 Finished semantics/proofs                                      4m08s   1GB
Oct 04 00:21:01 Starting basis/pure
Oct 04 00:26:41 Finished basis/pure                                            5m38s 767MB
Oct 04 00:26:43 Starting translator
Oct 04 00:28:32 Finished translator                                            1m46s   1GB
Oct 04 00:28:34 Starting compiler/parsing
Oct 04 00:30:56 Finished compiler/parsing                                      2m19s   2GB
Oct 04 00:30:58 Starting characteristic
Oct 04 00:35:02 Finished characteristic                                        4m01s   1GB
Oct 04 00:35:04 Starting translator/monadic
Oct 04 00:37:27 Finished translator/monadic                                    2m21s   1GB
Oct 04 00:37:29 Starting basis
Oct 04 01:06:59 Finished basis                                                29m27s   3GB
Oct 04 01:07:01 Starting compiler/inference
Oct 04 01:09:44 Finished compiler/inference                                    2m40s   1GB
Oct 04 01:09:46 Starting compiler/backend/reg_alloc
Oct 04 01:11:06 Finished compiler/backend/reg_alloc                            1m18s   1GB
Oct 04 01:11:08 Starting compiler/backend/gc
Oct 04 01:25:12 Finished compiler/backend/gc                                  14m01s   3GB
Oct 04 01:25:15 Starting compiler/backend
Oct 04 01:25:20 Finished compiler/backend                                         3s  17MB
Oct 04 01:25:22 Starting compiler/encoders/asm
Oct 04 01:25:25 Finished compiler/encoders/asm                                    1s  18MB
Oct 04 01:25:27 Starting compiler/encoders/x64
Oct 04 01:26:58 Finished compiler/encoders/x64                                 1m28s 583MB
Oct 04 01:27:00 Starting compiler/encoders/arm6
Oct 04 01:29:54 Finished compiler/encoders/arm6                                2m52s   1GB
Oct 04 01:29:56 Starting compiler/encoders/arm8
Oct 04 01:30:42 Finished compiler/encoders/arm8                                  44s 504MB
Oct 04 01:30:44 Starting compiler/encoders/mips
Oct 04 01:32:27 Finished compiler/encoders/mips                                1m40s 900MB
Oct 04 01:32:29 Starting compiler/encoders/riscv
Oct 04 01:34:08 Finished compiler/encoders/riscv                               1m37s   1GB
Oct 04 01:34:10 Starting compiler/backend/x64
Oct 04 01:34:38 Finished compiler/backend/x64                                    26s 977MB
Oct 04 01:34:40 Starting compiler/backend/arm6
Oct 04 01:35:12 Finished compiler/backend/arm6                                   29s   1GB
Oct 04 01:35:14 Starting compiler/backend/arm8
Oct 04 01:35:43 Finished compiler/backend/arm8                                   27s 935MB
Oct 04 01:35:45 Starting compiler/backend/mips
Oct 04 01:36:18 Finished compiler/backend/mips                                   30s   1GB
Oct 04 01:36:20 Starting compiler/backend/riscv
Oct 04 01:36:52 Finished compiler/backend/riscv                                  29s   1GB
Oct 04 01:36:54 Starting compiler/parsing/proofs
Oct 04 01:46:59 Finished compiler/parsing/proofs                              10m03s 803MB
Oct 04 01:47:01 Starting compiler/inference/proofs
Oct 04 01:51:30 Finished compiler/inference/proofs                             4m26s   1GB
Oct 04 01:51:32 Starting compiler/backend/semantics
Oct 04 02:05:19 Finished compiler/backend/semantics                           13m45s   2GB
Oct 04 02:05:21 Starting compiler/backend/reg_alloc/proofs
Oct 04 02:16:21 Finished compiler/backend/reg_alloc/proofs                    10m58s 666MB
Oct 04 02:16:23 Starting compiler/backend/proofs
Oct 04 03:09:05 Finished compiler/backend/proofs                              52m40s   3GB
Oct 04 03:09:07 Starting compiler/encoders/x64/proofs
Oct 04 03:20:46 Finished compiler/encoders/x64/proofs                         11m36s   4GB
Oct 04 03:20:48 Starting compiler/encoders/arm6/proofs
Oct 04 03:32:44 Finished compiler/encoders/arm6/proofs                        11m52s   3GB
Oct 04 03:32:46 Starting compiler/encoders/arm8/proofs
Oct 04 03:41:15 Finished compiler/encoders/arm8/proofs                         8m27s   1GB
Oct 04 03:41:17 Starting compiler/encoders/mips/proofs
Oct 04 03:52:58 Finished compiler/encoders/mips/proofs                        11m38s   1GB
Oct 04 03:53:00 Starting compiler/encoders/riscv/proofs
Oct 04 04:05:29 Finished compiler/encoders/riscv/proofs                       12m26s   1GB
Oct 04 04:05:31 Starting compiler/backend/x64/proofs
Oct 04 04:06:06 Finished compiler/backend/x64/proofs                             33s 738MB
Oct 04 04:06:08 Starting compiler/backend/arm6/proofs
Oct 04 04:06:44 Finished compiler/backend/arm6/proofs                            33s   1GB
Oct 04 04:06:46 Starting compiler/backend/arm8/proofs
Oct 04 04:07:19 Finished compiler/backend/arm8/proofs                            31s 761MB
Oct 04 04:07:21 Starting compiler/backend/mips/proofs
Oct 04 04:07:58 Finished compiler/backend/mips/proofs                            34s   1GB
Oct 04 04:08:00 Starting compiler/backend/riscv/proofs
Oct 04 04:08:34 Finished compiler/backend/riscv/proofs                           32s   1GB
Oct 04 04:08:36 Starting compiler/proofs
Oct 04 04:11:11 Finished compiler/proofs                                       2m32s   2GB
Oct 04 04:11:13 Starting candle/set-theory
Oct 04 04:12:09 Finished candle/set-theory                                       53s 595MB
Oct 04 04:12:11 Starting candle/syntax-lib
Oct 04 04:12:30 Finished candle/syntax-lib                                       16s 599MB
Oct 04 04:12:32 Starting candle/standard/syntax
Oct 04 04:15:03 Finished candle/standard/syntax                                2m29s 598MB
Oct 04 04:15:05 Starting candle/standard/semantics
Oct 04 04:17:18 Finished candle/standard/semantics                             2m11s 955MB
Oct 04 04:17:20 Starting candle/standard/monadic
Oct 04 04:19:49 Finished candle/standard/monadic                               2m27s   1GB
Oct 04 04:19:51 Starting candle/standard/ml_kernel
Oct 04 04:51:16 Finished candle/standard/ml_kernel                            31m22s   6GB
Oct 04 04:51:18 Starting candle/standard/opentheory
Oct 04 05:05:49 Finished candle/standard/opentheory                           14m29s   9GB
Oct 04 05:05:51 Starting candle/standard/opentheory/compilation
Oct 04 05:57:16 Finished candle/standard/opentheory/compilation               51m21s  16GB
Oct 04 05:57:18 Starting characteristic/examples
Oct 04 06:00:15 Finished characteristic/examples                               2m55s   2GB
Oct 04 06:00:17 Starting tutorial/solutions
Oct 04 06:23:05 Finished tutorial/solutions                                   22m45s   8GB
Oct 04 06:23:07 Starting translator/monadic/examples
Oct 04 06:25:51 Finished translator/monadic/examples                           2m42s   2GB
Oct 04 06:25:53 Starting examples
Oct 04 06:34:06 Finished examples                                              8m10s   6GB
Oct 04 06:34:08 Starting examples/compilation
Oct 04 09:50:08 Finished examples/compilation                               3h15m58s  18GB
Oct 04 09:50:10 Starting examples/compilation/proofs
Oct 04 09:53:40 Finished examples/compilation/proofs                           3m26s   3GB
Oct 04 09:53:42 Starting compiler/benchmarks
Oct 04 09:53:44 Finished compiler/benchmarks                                      0s   4MB
Oct 04 09:53:46 Starting translator/okasaki-examples
Oct 04 09:59:13 Finished translator/okasaki-examples                           5m25s   1GB
Oct 04 09:59:15 Starting translator/other-examples
Oct 04 10:05:00 Finished translator/other-examples                             5m42s 799MB
Oct 04 10:05:02 Starting compiler/parsing/tests
Oct 04 10:05:44 Finished compiler/parsing/tests                                  39s 341MB
Oct 04 10:05:46 Starting compiler/inference/tests Oct 04 10:05:46 42s