Job 1038

CakeML:784110582d4d3183b2be785da53e58059aeee44d
  Remove an overload to get parser tests to work [Sep 12 20:22:19]
#690 (close-files)
Merging into:f83143b4820caceb7d8f2a0abc1e87674f46328e
  Merge pull request #689 from CakeML/regexp_repair [Sep 12 12:15:46]
HOL:c85f70b455b780c53c478eba1f68982e89cc3c61
  Remove a stray trailing whitespace in examples/.../regexpScript.sml [Sep 11 00:41:52]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Sep 12 20:22:39 Claimed job
Sep 12 20:22:42 Reusing HOL
Sep 12 20:22:46 Starting developers
Sep 12 20:22:46 Finished developers                                               0s  21MB
Sep 12 20:22:47 Starting developers/bin
Sep 12 20:22:50 Finished developers/bin                                           3s 164MB
Sep 12 20:22:51 Starting semantics/ffi
Sep 12 20:22:59 Finished semantics/ffi                                            7s 222MB
Sep 12 20:22:59 Starting semantics
Sep 12 20:24:15 Finished semantics                                             1m15s 866MB
Sep 12 20:24:15 Starting semantics/proofs
Sep 12 20:27:12 Finished semantics/proofs                                      2m57s   1GB
Sep 12 20:27:13 Starting semantics/alt_semantics
Sep 12 20:27:19 Finished semantics/alt_semantics                                  5s 268MB
Sep 12 20:27:19 Starting semantics/alt_semantics/proofs
Sep 12 20:29:05 Finished semantics/alt_semantics/proofs                        1m45s 785MB
Sep 12 20:29:05 Starting basis/pure
Sep 12 20:29:50 Finished basis/pure                                              44s 681MB
Sep 12 20:29:50 Starting translator
Sep 12 20:31:34 Finished translator                                            1m43s   1GB
Sep 12 20:31:34 Starting compiler/parsing
Sep 12 20:32:32 Finished compiler/parsing                                        57s   3GB
Sep 12 20:32:32 Starting characteristic
Sep 12 20:37:42 Finished characteristic                                        5m09s   1GB
Sep 12 20:37:42 Starting translator/monadic
Sep 12 20:39:06 Finished translator/monadic                                    1m23s   1GB
Sep 12 20:39:06 Starting basis
Sep 12 20:58:21 Finished basis                                                19m14s   2GB
Sep 12 20:58:21 Starting compiler/inference
Sep 12 20:59:57 Finished compiler/inference                                    1m35s   1GB
Sep 12 20:59:57 Starting compiler/backend/reg_alloc
Sep 12 21:00:56 Finished compiler/backend/reg_alloc                              58s   1GB
Sep 12 21:00:56 Starting compiler/backend/gc
Sep 12 21:08:52 Finished compiler/backend/gc                                   7m55s   2GB
Sep 12 21:08:52 Starting compiler/backend
Sep 12 21:08:53 Finished compiler/backend                                         0s  45MB
Sep 12 21:08:53 Starting compiler/encoders/asm
Sep 12 21:08:54 Finished compiler/encoders/asm                                    0s  35MB
Sep 12 21:08:54 Starting compiler/encoders/x64
Sep 12 21:09:17 Finished compiler/encoders/x64                                   22s 749MB
Sep 12 21:09:18 Starting compiler/encoders/arm7
Sep 12 21:10:02 Finished compiler/encoders/arm7                                  44s 731MB
Sep 12 21:10:02 Starting compiler/encoders/arm8
Sep 12 21:10:13 Finished compiler/encoders/arm8                                  11s 876MB
Sep 12 21:10:14 Starting compiler/encoders/mips
Sep 12 21:10:30 Finished compiler/encoders/mips                                  15s 981MB
Sep 12 21:10:30 Starting compiler/encoders/riscv
Sep 12 21:10:43 Finished compiler/encoders/riscv                                 12s 869MB
Sep 12 21:10:44 Starting compiler/encoders/ag32
Sep 12 21:10:58 Finished compiler/encoders/ag32                                  14s 626MB
Sep 12 21:10:59 Starting compiler/backend/x64
Sep 12 21:11:14 Finished compiler/backend/x64                                    14s 837MB
Sep 12 21:11:14 Starting compiler/backend/arm7
Sep 12 21:11:32 Finished compiler/backend/arm7                                   17s   1GB
Sep 12 21:11:32 Starting compiler/backend/arm8
Sep 12 21:11:49 Finished compiler/backend/arm8                                   16s   1GB
Sep 12 21:11:49 Starting compiler/backend/mips
Sep 12 21:12:06 Finished compiler/backend/mips                                   16s   1GB
Sep 12 21:12:06 Starting compiler/backend/riscv
Sep 12 21:12:22 Finished compiler/backend/riscv                                  16s   1GB
Sep 12 21:12:23 Starting compiler/backend/ag32
Sep 12 21:13:30 Finished compiler/backend/ag32                                 1m07s   1GB
Sep 12 21:13:31 Starting compiler/parsing/proofs
Sep 12 21:19:01 Finished compiler/parsing/proofs                               5m29s 825MB
Sep 12 21:19:01 Starting compiler/inference/proofs
Sep 12 21:21:41 Finished compiler/inference/proofs                             2m39s 962MB
Sep 12 21:21:42 Starting compiler/backend/semantics
Sep 12 21:27:32 Finished compiler/backend/semantics                            5m50s   2GB
Sep 12 21:27:33 Starting compiler/backend/reg_alloc/proofs
Sep 12 21:30:47 Finished compiler/backend/reg_alloc/proofs                     3m14s   1GB
Sep 12 21:30:48 Starting compiler/backend/proofs
Sep 12 22:10:56 Finished compiler/backend/proofs                              40m07s   2GB
Sep 12 22:10:56 Starting compiler/encoders/x64/proofs
Sep 12 22:19:55 Finished compiler/encoders/x64/proofs                          8m58s   5GB
Sep 12 22:19:56 Starting compiler/encoders/arm7/proofs
Sep 12 22:32:12 Finished compiler/encoders/arm7/proofs                        12m16s   3GB
Sep 12 22:32:13 Starting compiler/encoders/arm8/proofs
Sep 12 22:38:38 Finished compiler/encoders/arm8/proofs                         6m24s   1GB
Sep 12 22:38:38 Starting compiler/encoders/mips/proofs
Sep 12 22:47:48 Finished compiler/encoders/mips/proofs                         9m09s   2GB
Sep 12 22:47:48 Starting compiler/encoders/riscv/proofs
Sep 12 22:56:08 Finished compiler/encoders/riscv/proofs                        8m19s 974MB
Sep 12 22:56:08 Starting compiler/encoders/ag32/proofs
Sep 12 22:58:36 Finished compiler/encoders/ag32/proofs                         2m27s 699MB
Sep 12 22:58:36 Starting compiler/backend/x64/proofs
Sep 12 22:58:53 Finished compiler/backend/x64/proofs                             16s   1GB
Sep 12 22:58:53 Starting compiler/backend/arm7/proofs
Sep 12 22:59:12 Finished compiler/backend/arm7/proofs                            18s   1GB
Sep 12 22:59:12 Starting compiler/backend/arm8/proofs
Sep 12 22:59:28 Finished compiler/backend/arm8/proofs                            15s   1GB
Sep 12 22:59:29 Starting compiler/backend/mips/proofs
Sep 12 22:59:46 Finished compiler/backend/mips/proofs                            16s   1GB
Sep 12 22:59:46 Starting compiler/backend/riscv/proofs
Sep 12 23:00:03 Finished compiler/backend/riscv/proofs                           16s   1GB
Sep 12 23:00:03 Starting compiler/backend/ag32/proofs
Sep 12 23:08:59 Finished compiler/backend/ag32/proofs                          8m54s   2GB
Sep 12 23:08:59 Starting compiler/proofs
Sep 12 23:10:30 Finished compiler/proofs                                       1m31s   3GB
Sep 12 23:10:31 Starting candle/set-theory
Sep 12 23:10:55 Finished candle/set-theory                                       24s 778MB
Sep 12 23:10:56 Starting candle/syntax-lib
Sep 12 23:11:05 Finished candle/syntax-lib                                        9s 683MB
Sep 12 23:11:05 Starting candle/standard/syntax
Sep 12 23:12:46 Finished candle/standard/syntax                                1m40s   1GB
Sep 12 23:12:46 Starting candle/standard/semantics
Sep 12 23:14:20 Finished candle/standard/semantics                             1m33s 970MB
Sep 12 23:14:20 Starting candle/standard/monadic
Sep 12 23:15:53 Finished candle/standard/monadic                               1m32s   1GB
Sep 12 23:15:53 Starting candle/standard/ml_kernel
Sep 12 23:19:45 Finished candle/standard/ml_kernel                             3m51s   4GB
Sep 12 23:19:45 Starting candle/standard/opentheory
Sep 12 23:28:17 Finished candle/standard/opentheory                            8m31s   3GB
Sep 12 23:28:17 Starting candle/standard/opentheory/compilation
Sep 12 23:57:07 Finished candle/standard/opentheory/compilation               28m48s  23GB
Sep 12 23:57:07 Starting candle/standard/opentheory/compilation/proofs
Sep 12 23:57:46 Finished candle/standard/opentheory/compilation/proofs           39s   2GB
Sep 12 23:57:47 Starting characteristic/examples
Sep 12 23:59:19 Finished characteristic/examples                               1m32s   2GB
Sep 12 23:59:20 Starting tutorial/solutions
Sep 13 00:12:13 Finished tutorial/solutions                                   12m53s   6GB
Sep 13 00:12:14 Starting translator/monadic/examples
Sep 13 00:15:04 Finished translator/monadic/examples                           2m50s   2GB
Sep 13 00:15:05 Starting examples
Sep 13 00:24:01 Finished examples                                              8m56s   4GB
Sep 13 00:24:01 Starting examples/compilation/x64
Sep 13 02:25:21 Finished examples/compilation/x64                           2h01m18s  10GB
Sep 13 02:25:21 Starting examples/compilation/x64/proofs
Sep 13 02:26:50 Finished examples/compilation/x64/proofs                       1m28s   3GB
Sep 13 02:26:50 Starting examples/compilation/ag32
Sep 13 02:55:18 Finished examples/compilation/ag32                            28m28s   6GB
Sep 13 02:55:19 Starting examples/compilation/ag32/proofs
Sep 13 02:56:03 Finished examples/compilation/ag32/proofs                        44s   3GB
Sep 13 02:56:03 Starting translator/okasaki-examples
Sep 13 03:00:06 Finished translator/okasaki-examples                           4m02s   1GB
Sep 13 03:00:07 Starting translator/other-examples
Sep 13 03:00:45 Finished translator/other-examples                               38s   1GB
Sep 13 03:00:45 Starting compiler/parsing/tests
Sep 13 03:01:10 Finished compiler/parsing/tests                                  23s 557MB
Sep 13 03:01:10 Starting compiler/inference/tests
Sep 13 03:05:25 Finished compiler/inference/tests                              4m15s   5GB
Sep 13 03:05:26 Starting compiler/bootstrap/translation
Sep 13 05:35:25 Finished compiler/bootstrap/translation                     2h29m58s  33GB
Sep 13 05:35:25 Starting unverified/sexpr-bootstrap/x64/64
Sep 13 05:48:19 Finished unverified/sexpr-bootstrap/x64/64                    12m53s   2GB
Sep 13 05:48:19 Starting unverified/sexpr-bootstrap/x64/32
Sep 13 05:57:30 Finished unverified/sexpr-bootstrap/x64/32                     9m10s   7GB
Sep 13 05:57:31 Starting compiler/benchmarks
Sep 13 06:34:54 Finished compiler/benchmarks                                  37m22s   1GB
Sep 13 06:34:54 Starting compiler/bootstrap/compilation/x64/64
Sep 13 19:09:52 Finished compiler/bootstrap/compilation/x64/64             12h34m55s  64GB
Sep 13 19:09:52 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 13 19:13:19 Finished compiler/bootstrap/compilation/x64/64/proofs          3m26s   5GB
Sep 13 19:13:19 Starting compiler/bootstrap/compilation/x64/32
Sep 14 06:24:04 Finished compiler/bootstrap/compilation/x64/32             11h10m43s  64GB
Sep 14 06:24:04 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 14 06:26:29 Finished compiler/bootstrap/compilation/x64/32/proofs          2m24s   9GB
Sep 14 06:26:29 Starting compiler/bootstrap/compilation/ag32/32
Sep 14 19:27:30 Finished compiler/bootstrap/compilation/ag32/32            13h00m59s  64GB
Sep 14 19:27:30 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 14 19:58:26 Finished compiler/bootstrap/compilation/ag32/32/proofs        30m56s  15GB
Sep 14 19:58:27 SUCCESS