Job 586

CakeML:010837902da82bc67d57f2a5c9b910cf3d136a87
  Merge branch 'master' into argparse [Nov 26 23:51:53]
#511 (argparse)
Merging into:59886cd0205c1d5d943ef10a26890f79b515b68f
  Merge pull request #561 from CakeML/print-types [Nov 26 04:25:18]
HOL:7f7650b1f7d9fbc79f55646dabcf225b5cf0fff4
  Magic keyword for store_thm hack has to be "Theorem" [Nov 26 05:35:17]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 27 04:15:02 Claimed job
Nov 27 04:15:27 Building HOL
Nov 27 04:24:52 Starting developers/bin
Nov 27 04:26:02 Finished developers/bin                                        1m08s 916MB
Nov 27 04:26:02 Starting semantics/ffi
Nov 27 04:26:42 Finished semantics/ffi                                           38s 505MB
Nov 27 04:26:42 Starting semantics
Nov 27 04:28:14 Finished semantics                                             1m30s 894MB
Nov 27 04:28:15 Starting semantics/proofs
Nov 27 04:31:07 Finished semantics/proofs                                      2m51s   1GB
Nov 27 04:31:08 Starting basis/pure
Nov 27 04:34:45 Finished basis/pure                                            3m36s 641MB
Nov 27 04:34:45 Starting translator
Nov 27 04:37:47 Finished translator                                            3m00s   1GB
Nov 27 04:37:47 Starting compiler/parsing
Nov 27 04:39:02 Finished compiler/parsing                                      1m13s   1GB
Nov 27 04:39:02 Starting characteristic
Nov 27 04:41:34 Finished characteristic                                        2m30s   1GB
Nov 27 04:41:34 Starting translator/monadic
Nov 27 04:43:03 Finished translator/monadic                                    1m27s   1GB
Nov 27 04:43:04 Starting basis
Nov 27 05:01:01 Finished basis                                                17m56s   2GB
Nov 27 05:01:02 Starting compiler/inference
Nov 27 05:02:46 Finished compiler/inference                                    1m43s   1GB
Nov 27 05:02:46 Starting compiler/backend/reg_alloc
Nov 27 05:03:34 Finished compiler/backend/reg_alloc                              46s   1GB
Nov 27 05:03:34 Starting compiler/backend/gc
Nov 27 05:10:57 Finished compiler/backend/gc                                   7m20s   1GB
Nov 27 05:10:58 Starting compiler/backend
Nov 27 05:11:01 Finished compiler/backend                                         2s  17MB
Nov 27 05:11:01 Starting compiler/encoders/asm
Nov 27 05:11:03 Finished compiler/encoders/asm                                    1s  12MB
Nov 27 05:11:04 Starting compiler/encoders/x64
Nov 27 05:11:56 Finished compiler/encoders/x64                                   51s 643MB
Nov 27 05:11:57 Starting compiler/encoders/arm6
Nov 27 05:13:42 Finished compiler/encoders/arm6                                1m44s   1GB
Nov 27 05:13:42 Starting compiler/encoders/arm8
Nov 27 05:14:09 Finished compiler/encoders/arm8                                  26s 474MB
Nov 27 05:14:10 Starting compiler/encoders/mips
Nov 27 05:15:09 Finished compiler/encoders/mips                                  58s 831MB
Nov 27 05:15:10 Starting compiler/encoders/riscv
Nov 27 05:16:11 Finished compiler/encoders/riscv                               1m00s   1GB
Nov 27 05:16:12 Starting compiler/encoders/ag32
Nov 27 05:16:30 Finished compiler/encoders/ag32                                  17s 806MB
Nov 27 05:16:30 Starting compiler/backend/x64
Nov 27 05:16:49 Finished compiler/backend/x64                                    17s   1GB
Nov 27 05:16:50 Starting compiler/backend/arm6
Nov 27 05:17:09 Finished compiler/backend/arm6                                   18s   1GB
Nov 27 05:17:10 Starting compiler/backend/arm8
Nov 27 05:17:28 Finished compiler/backend/arm8                                   17s 892MB
Nov 27 05:17:28 Starting compiler/backend/mips
Nov 27 05:17:47 Finished compiler/backend/mips                                   18s   1GB
Nov 27 05:17:48 Starting compiler/backend/riscv
Nov 27 05:18:07 Finished compiler/backend/riscv                                  18s   1GB
Nov 27 05:18:08 Starting compiler/backend/ag32
Nov 27 05:19:21 Finished compiler/backend/ag32                                 1m11s 984MB
Nov 27 05:19:21 Starting compiler/parsing/proofs
Nov 27 05:25:18 Finished compiler/parsing/proofs                               5m55s 834MB
Nov 27 05:25:18 Starting compiler/inference/proofs
Nov 27 05:28:10 Finished compiler/inference/proofs                             2m51s 847MB
Nov 27 05:28:11 Starting compiler/backend/semantics
Nov 27 05:36:58 Finished compiler/backend/semantics                            8m46s   1GB
Nov 27 05:36:58 Starting compiler/backend/reg_alloc/proofs
Nov 27 05:39:40 Finished compiler/backend/reg_alloc/proofs                     2m40s 564MB
Nov 27 05:39:41 Starting compiler/backend/proofs
Nov 27 06:22:22 Finished compiler/backend/proofs                              42m40s   4GB
Nov 27 06:22:23 Starting compiler/encoders/x64/proofs
Nov 27 06:32:12 Finished compiler/encoders/x64/proofs                          9m48s   4GB
Nov 27 06:32:13 Starting compiler/encoders/arm6/proofs
Nov 27 06:47:10 Finished compiler/encoders/arm6/proofs                        14m55s   2GB
Nov 27 06:47:10 Starting compiler/encoders/arm8/proofs
Nov 27 06:53:13 Finished compiler/encoders/arm8/proofs                         6m02s   1GB
Nov 27 06:53:14 Starting compiler/encoders/mips/proofs
Nov 27 07:03:47 Finished compiler/encoders/mips/proofs                        10m32s   1GB
Nov 27 07:03:47 Starting compiler/encoders/riscv/proofs
Nov 27 07:11:44 Finished compiler/encoders/riscv/proofs                        7m55s 877MB
Nov 27 07:11:44 Starting compiler/encoders/ag32/proofs
Nov 27 07:14:28 Finished compiler/encoders/ag32/proofs                         2m43s 577MB
Nov 27 07:14:29 Starting compiler/backend/x64/proofs
Nov 27 07:14:50 Finished compiler/backend/x64/proofs                             20s   1GB
Nov 27 07:14:51 Starting compiler/backend/arm6/proofs
Nov 27 07:15:15 Finished compiler/backend/arm6/proofs                            23s   1GB
Nov 27 07:15:15 Starting compiler/backend/arm8/proofs
Nov 27 07:15:37 Finished compiler/backend/arm8/proofs                            21s   1GB
Nov 27 07:15:38 Starting compiler/backend/mips/proofs
Nov 27 07:16:00 Finished compiler/backend/mips/proofs                            21s   1GB
Nov 27 07:16:01 Starting compiler/backend/riscv/proofs
Nov 27 07:16:23 Finished compiler/backend/riscv/proofs                           21s   1GB
Nov 27 07:16:24 Starting compiler/backend/ag32/proofs
Nov 27 07:25:42 Finished compiler/backend/ag32/proofs                          9m17s   2GB
Nov 27 07:25:42 Starting compiler/proofs
Nov 27 07:27:07 Finished compiler/proofs                                       1m24s   2GB
Nov 27 07:27:08 Starting candle/set-theory
Nov 27 07:27:40 Finished candle/set-theory                                       31s 599MB
Nov 27 07:27:40 Starting candle/syntax-lib
Nov 27 07:27:51 Finished candle/syntax-lib                                       10s 662MB
Nov 27 07:27:52 Starting candle/standard/syntax
Nov 27 07:29:26 Finished candle/standard/syntax                                1m34s 674MB
Nov 27 07:29:27 Starting candle/standard/semantics
Nov 27 07:30:48 Finished candle/standard/semantics                             1m20s 812MB
Nov 27 07:30:49 Starting candle/standard/monadic
Nov 27 07:32:24 Finished candle/standard/monadic                               1m34s   1GB
Nov 27 07:32:25 Starting candle/standard/ml_kernel
Nov 27 07:50:58 Finished candle/standard/ml_kernel                            18m32s   4GB
Nov 27 07:50:59 Starting candle/standard/opentheory
Nov 27 07:59:09 Finished candle/standard/opentheory                            8m09s   3GB
Nov 27 07:59:09 Starting candle/standard/opentheory/compilation
Nov 27 08:30:10 Finished candle/standard/opentheory/compilation               30m59s  23GB
Nov 27 08:30:11 Starting candle/standard/opentheory/compilation/proofs
Nov 27 08:30:50 Finished candle/standard/opentheory/compilation/proofs           38s   5GB
Nov 27 08:30:50 Starting characteristic/examples
Nov 27 08:32:29 Finished characteristic/examples                               1m37s   1GB
Nov 27 08:32:29 Starting tutorial/solutions
Nov 27 08:47:25 Finished tutorial/solutions                                   14m55s   7GB
Nov 27 08:47:26 Starting translator/monadic/examples
Nov 27 08:49:13 Finished translator/monadic/examples                           1m46s   2GB
Nov 27 08:49:14 Starting examples
Nov 27 08:55:48 Finished examples                                              6m34s   3GB
Nov 27 08:55:49 Starting examples/compilation/x64
Nov 27 11:00:58 Finished examples/compilation/x64                           2h05m08s  13GB
Nov 27 11:00:59 Starting examples/compilation/x64/proofs
Nov 27 11:03:11 Finished examples/compilation/x64/proofs                       2m11s   3GB
Nov 27 11:03:12 Starting examples/compilation/ag32
Nov 27 11:32:59 Finished examples/compilation/ag32                            29m47s   5GB
Nov 27 11:33:00 Starting examples/compilation/ag32/proofs
Nov 27 11:33:29 Finished examples/compilation/ag32/proofs                        28s   2GB
Nov 27 11:33:29 Starting compiler/benchmarks
Nov 27 11:33:31 Finished compiler/benchmarks                                      0s   5MB
Nov 27 11:33:31 Starting translator/okasaki-examples
Nov 27 11:36:56 Finished translator/okasaki-examples                           3m23s   1GB
Nov 27 11:36:56 Starting translator/other-examples
Nov 27 11:40:28 Finished translator/other-examples                             3m30s 763MB
Nov 27 11:40:28 Starting compiler/parsing/tests
Nov 27 11:40:54 Finished compiler/parsing/tests                                  24s 357MB
Nov 27 11:40:54 Starting compiler/inference/tests Nov 27 11:40:54 42s