Job 474

CakeML:747a323c230d3c8f26d9ff8769b6fba15056be00
  Update HOL_STORE precondition theorem [Aug 28 11:11:46]
#511 (argparse)
Merging into:1bb8663a0aeb377eb22aeb600de4bc536e647744
  Merge pull request #519 from CakeML/basis_ffi-fix [Sep 05 07:26:39]
HOL:76194473b2249ceab539f6265399c7749c579965
  Delete unnecessary code in Conv.testconv [Sep 11 00:18:13]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Sep 11 15:55:39 Claimed job
Sep 11 15:55:43 Building HOL
Sep 11 16:05:12 Starting developers/bin
Sep 11 16:05:50 Finished developers/bin                                          37s 913MB
Sep 11 16:05:51 Starting semantics/ffi
Sep 11 16:06:31 Finished semantics/ffi                                           39s 390MB
Sep 11 16:06:31 Starting semantics
Sep 11 16:08:00 Finished semantics                                             1m28s 980MB
Sep 11 16:08:01 Starting semantics/proofs
Sep 11 16:10:48 Finished semantics/proofs                                      2m45s   1GB
Sep 11 16:10:48 Starting basis/pure
Sep 11 16:14:33 Finished basis/pure                                            3m43s 687MB
Sep 11 16:14:33 Starting translator
Sep 11 16:15:50 Finished translator                                            1m15s   1GB
Sep 11 16:15:51 Starting compiler/parsing
Sep 11 16:18:32 Finished compiler/parsing                                      2m40s   1GB
Sep 11 16:18:33 Starting characteristic
Sep 11 16:21:14 Finished characteristic                                        2m40s   1GB
Sep 11 16:21:15 Starting translator/monadic
Sep 11 16:22:42 Finished translator/monadic                                    1m26s   1GB
Sep 11 16:22:42 Starting basis
Sep 11 16:45:28 Finished basis                                                22m45s   4GB
Sep 11 16:45:29 Starting compiler/inference
Sep 11 16:47:49 Finished compiler/inference                                    2m19s   1GB
Sep 11 16:47:50 Starting compiler/backend/reg_alloc
Sep 11 16:48:57 Finished compiler/backend/reg_alloc                            1m06s 915MB
Sep 11 16:48:58 Starting compiler/backend/gc
Sep 11 17:01:14 Finished compiler/backend/gc                                  12m15s   3GB
Sep 11 17:01:15 Starting compiler/backend
Sep 11 17:01:18 Finished compiler/backend                                         2s  18MB
Sep 11 17:01:19 Starting compiler/encoders/asm
Sep 11 17:01:21 Finished compiler/encoders/asm                                    1s  14MB
Sep 11 17:01:21 Starting compiler/encoders/x64
Sep 11 17:02:21 Finished compiler/encoders/x64                                   59s 642MB
Sep 11 17:02:22 Starting compiler/encoders/arm6
Sep 11 17:04:22 Finished compiler/encoders/arm6                                1m59s   1GB
Sep 11 17:04:23 Starting compiler/encoders/arm8
Sep 11 17:04:52 Finished compiler/encoders/arm8                                  28s 458MB
Sep 11 17:04:52 Starting compiler/encoders/mips
Sep 11 17:05:56 Finished compiler/encoders/mips                                1m02s 862MB
Sep 11 17:05:56 Starting compiler/encoders/riscv
Sep 11 17:07:00 Finished compiler/encoders/riscv                               1m03s 665MB
Sep 11 17:07:01 Starting compiler/backend/x64
Sep 11 17:07:20 Finished compiler/backend/x64                                    18s   1GB
Sep 11 17:07:20 Starting compiler/backend/arm6
Sep 11 17:07:41 Finished compiler/backend/arm6                                   20s   1GB
Sep 11 17:07:41 Starting compiler/backend/arm8
Sep 11 17:08:01 Finished compiler/backend/arm8                                   18s   1GB
Sep 11 17:08:01 Starting compiler/backend/mips
Sep 11 17:08:21 Finished compiler/backend/mips                                   18s   1GB
Sep 11 17:08:22 Starting compiler/backend/riscv
Sep 11 17:08:41 Finished compiler/backend/riscv                                  18s   1GB
Sep 11 17:08:41 Starting compiler/parsing/proofs
Sep 11 17:14:56 Finished compiler/parsing/proofs                               6m14s 830MB
Sep 11 17:14:57 Starting compiler/inference/proofs
Sep 11 17:17:54 Finished compiler/inference/proofs                             2m56s 963MB
Sep 11 17:17:55 Starting compiler/backend/semantics
Sep 11 17:27:36 Finished compiler/backend/semantics                            9m40s   2GB
Sep 11 17:27:37 Starting compiler/backend/reg_alloc/proofs
Sep 11 17:35:09 Finished compiler/backend/reg_alloc/proofs                     7m31s 606MB
Sep 11 17:35:10 Starting compiler/backend/proofs
Sep 14 13:39:46 Resuming compiler/backend/proofs
Sep 14 13:40:43 Finished compiler/backend/proofs                                 56s 425MB
Sep 14 13:40:43 Starting compiler/encoders/x64/proofs
Sep 14 13:48:24 Finished compiler/encoders/x64/proofs                          7m40s   4GB
Sep 14 13:48:25 Starting compiler/encoders/arm6/proofs
Sep 14 13:56:22 Finished compiler/encoders/arm6/proofs                         7m56s   2GB
Sep 14 13:56:23 Starting compiler/encoders/arm8/proofs
Sep 14 14:01:58 Finished compiler/encoders/arm8/proofs                         5m35s   1GB
Sep 14 14:01:59 Starting compiler/encoders/mips/proofs
Sep 14 14:09:36 Finished compiler/encoders/mips/proofs                         7m36s   2GB
Sep 14 14:09:36 Starting compiler/encoders/riscv/proofs
Sep 14 14:17:54 Finished compiler/encoders/riscv/proofs                        8m16s 883MB
Sep 14 14:17:55 Starting compiler/backend/x64/proofs
Sep 14 14:18:17 Finished compiler/backend/x64/proofs                             21s   1GB
Sep 14 14:18:18 Starting compiler/backend/arm6/proofs
Sep 14 14:18:41 Finished compiler/backend/arm6/proofs                            23s   1GB
Sep 14 14:18:42 Starting compiler/backend/arm8/proofs
Sep 14 14:19:03 Finished compiler/backend/arm8/proofs                            20s   1GB
Sep 14 14:19:04 Starting compiler/backend/mips/proofs
Sep 14 14:19:25 Finished compiler/backend/mips/proofs                            20s   1GB
Sep 14 14:19:26 Starting compiler/backend/riscv/proofs
Sep 14 14:19:47 Finished compiler/backend/riscv/proofs                           20s 822MB
Sep 14 14:19:48 Starting compiler/proofs
Sep 14 14:21:16 Finished compiler/proofs                                       1m27s   2GB
Sep 14 14:21:16 Starting candle/set-theory
Sep 14 14:21:52 Finished candle/set-theory                                       34s 617MB
Sep 14 14:21:52 Starting candle/syntax-lib
Sep 14 14:22:03 Finished candle/syntax-lib                                       10s 626MB
Sep 14 14:22:04 Starting candle/standard/syntax
Sep 14 14:23:44 Finished candle/standard/syntax                                1m39s 608MB
Sep 14 14:23:44 Starting candle/standard/semantics
Sep 14 14:25:13 Finished candle/standard/semantics                             1m28s 902MB
Sep 14 14:25:14 Starting candle/standard/monadic
Sep 14 14:26:57 Finished candle/standard/monadic                               1m41s   1GB
Sep 14 14:26:58 Starting candle/standard/ml_kernel
Sep 14 14:48:38 Finished candle/standard/ml_kernel                            21m39s   7GB
Sep 14 14:48:39 Starting candle/standard/opentheory
Sep 14 14:58:40 Finished candle/standard/opentheory                           10m00s   8GB
Sep 14 14:58:41 Starting characteristic/examples
Sep 14 15:00:42 Finished characteristic/examples                               1m59s   2GB
Sep 14 15:00:42 Starting tutorial/solutions
Sep 14 15:17:04 Finished tutorial/solutions                                   16m20s   6GB
Sep 14 15:17:05 Starting translator/monadic/examples
Sep 14 15:19:15 Finished translator/monadic/examples                           2m09s   3GB
Sep 14 15:19:16 Starting examples
Sep 14 15:26:38 Finished examples                                              7m21s   5GB
Sep 14 15:26:38 Starting examples/compilation
Sep 14 17:57:34 Finished examples/compilation                               2h30m54s  11GB
Sep 14 17:57:35 Starting examples/compilation/proofs
Sep 14 17:59:45 Finished examples/compilation/proofs                           2m09s   3GB
Sep 14 17:59:46 Starting compiler/benchmarks
Sep 14 17:59:47 Finished compiler/benchmarks                                      0s   4MB
Sep 14 17:59:47 Starting translator/okasaki-examples
Sep 14 18:03:36 Finished translator/okasaki-examples                           3m47s   1GB
Sep 14 18:03:36 Starting translator/other-examples
Sep 14 18:07:25 Finished translator/other-examples                             3m47s   1GB
Sep 14 18:07:25 Starting compiler/parsing/tests
Sep 14 18:07:53 Finished compiler/parsing/tests                                  27s 269MB
Sep 14 18:07:54 Starting compiler/inference/tests
Sep 16 09:32:08 Resuming compiler/inference/tests