Job 1024

CakeML:25cd6a8a2ae15679cd4d1b3e83908ecd4a858500
  Merge remote-tracking branch 'origin/master' into basis-hashtable [Sep 01 06:35:43]
#686 (basis-hashtable)
Merging into:2fc3b9b98646e0fcef0eee47a1a5a8a41f02b22b
  Make a proof more robust [Aug 31 14:38:40]
HOL:def261d77aedb1c1565a5447e2e1170507b1dba8
  Fix Unicode-in-Definition test-case to not trip Unicode-in-src test [Aug 28 06:29:56]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Sep 01 06:42:47 Claimed job
Sep 01 06:42:55 Building HOL
Sep 01 06:52:23 Starting developers
Sep 01 06:52:27 Finished developers                                               3s  72MB
Sep 01 06:52:27 Starting developers/bin
Sep 01 06:52:34 Finished developers/bin                                           6s 960MB
Sep 01 06:52:34 Starting semantics/ffi
Sep 01 06:53:12 Finished semantics/ffi                                           38s 504MB
Sep 01 06:53:12 Starting semantics
Sep 01 06:54:48 Finished semantics                                             1m35s   1GB
Sep 01 06:54:48 Starting semantics/proofs
Sep 01 06:57:48 Finished semantics/proofs                                      2m59s   1GB
Sep 01 06:57:48 Starting semantics/alt_semantics
Sep 01 06:57:56 Finished semantics/alt_semantics                                  7s 310MB
Sep 01 06:57:56 Starting semantics/alt_semantics/proofs
Sep 01 06:59:47 Finished semantics/alt_semantics/proofs                        1m50s 798MB
Sep 01 06:59:47 Starting basis/pure
Sep 01 07:03:26 Finished basis/pure                                            3m38s 777MB
Sep 01 07:03:26 Starting translator
Sep 01 07:05:12 Finished translator                                            1m45s   1GB
Sep 01 07:05:12 Starting compiler/parsing
Sep 01 07:06:09 Finished compiler/parsing                                        57s   1GB
Sep 01 07:06:10 Starting characteristic
Sep 01 07:11:27 Finished characteristic                                        5m17s   1GB
Sep 01 07:11:27 Starting translator/monadic
Sep 01 07:12:56 Finished translator/monadic                                    1m28s   2GB
Sep 01 07:12:56 Starting basis
Sep 01 07:32:18 Finished basis                                                19m21s   3GB
Sep 01 07:32:18 Starting compiler/inference
Sep 01 07:34:16 Finished compiler/inference                                    1m57s   1GB
Sep 01 07:34:16 Starting compiler/backend/reg_alloc
Sep 01 07:35:17 Finished compiler/backend/reg_alloc                              59s   1GB
Sep 01 07:35:17 Starting compiler/backend/gc
Sep 01 07:44:32 Finished compiler/backend/gc                                   9m14s   2GB
Sep 01 07:44:32 Starting compiler/backend
Sep 01 07:44:34 Finished compiler/backend                                         2s  16MB
Sep 01 07:44:35 Starting compiler/encoders/asm
Sep 01 07:44:36 Finished compiler/encoders/asm                                    1s  15MB
Sep 01 07:44:36 Starting compiler/encoders/x64
Sep 01 07:45:37 Finished compiler/encoders/x64                                 1m00s 787MB
Sep 01 07:45:37 Starting compiler/encoders/arm7
Sep 01 07:47:18 Finished compiler/encoders/arm7                                1m41s   1GB
Sep 01 07:47:18 Starting compiler/encoders/arm8
Sep 01 07:47:51 Finished compiler/encoders/arm8                                  32s 526MB
Sep 01 07:47:51 Starting compiler/encoders/mips
Sep 01 07:49:00 Finished compiler/encoders/mips                                1m08s 838MB
Sep 01 07:49:00 Starting compiler/encoders/riscv
Sep 01 07:50:21 Finished compiler/encoders/riscv                               1m20s 779MB
Sep 01 07:50:21 Starting compiler/encoders/ag32
Sep 01 07:50:38 Finished compiler/encoders/ag32                                  16s 520MB
Sep 01 07:50:38 Starting compiler/backend/x64
Sep 01 07:50:57 Finished compiler/backend/x64                                    19s 934MB
Sep 01 07:50:57 Starting compiler/backend/arm7
Sep 01 07:51:16 Finished compiler/backend/arm7                                   18s   1GB
Sep 01 07:51:16 Starting compiler/backend/arm8
Sep 01 07:51:35 Finished compiler/backend/arm8                                   18s   1GB
Sep 01 07:51:35 Starting compiler/backend/mips
Sep 01 07:51:55 Finished compiler/backend/mips                                   19s   1GB
Sep 01 07:51:55 Starting compiler/backend/riscv
Sep 01 07:52:14 Finished compiler/backend/riscv                                  19s   1GB
Sep 01 07:52:14 Starting compiler/backend/ag32
Sep 01 07:53:22 Finished compiler/backend/ag32                                 1m06s   1GB
Sep 01 07:53:22 Starting compiler/parsing/proofs
Sep 01 07:59:01 Finished compiler/parsing/proofs                               5m38s 987MB
Sep 01 07:59:01 Starting compiler/inference/proofs
Sep 01 08:01:48 Finished compiler/inference/proofs                             2m46s   1GB
Sep 01 08:01:48 Starting compiler/backend/semantics
Sep 01 08:07:45 Finished compiler/backend/semantics                            5m56s   2GB
Sep 01 08:07:45 Starting compiler/backend/reg_alloc/proofs
Sep 01 08:11:01 Finished compiler/backend/reg_alloc/proofs                     3m15s 738MB
Sep 01 08:11:01 Starting compiler/backend/proofs
Sep 01 08:50:59 Finished compiler/backend/proofs                              39m57s   4GB
Sep 01 08:50:59 Starting compiler/encoders/x64/proofs
Sep 01 09:01:00 Finished compiler/encoders/x64/proofs                         10m00s   5GB
Sep 01 09:01:01 Starting compiler/encoders/arm7/proofs
Sep 01 09:14:18 Finished compiler/encoders/arm7/proofs                        13m17s   3GB
Sep 01 09:14:18 Starting compiler/encoders/arm8/proofs
Sep 01 09:20:54 Finished compiler/encoders/arm8/proofs                         6m35s   1GB
Sep 01 09:20:54 Starting compiler/encoders/mips/proofs
Sep 01 09:30:46 Finished compiler/encoders/mips/proofs                         9m51s   2GB
Sep 01 09:30:46 Starting compiler/encoders/riscv/proofs
Sep 01 09:39:06 Finished compiler/encoders/riscv/proofs                        8m20s 997MB
Sep 01 09:39:07 Starting compiler/encoders/ag32/proofs
Sep 01 09:41:35 Finished compiler/encoders/ag32/proofs                         2m28s 628MB
Sep 01 09:41:35 Starting compiler/backend/x64/proofs
Sep 01 09:41:55 Finished compiler/backend/x64/proofs                             19s   1GB
Sep 01 09:41:55 Starting compiler/backend/arm7/proofs
Sep 01 09:42:16 Finished compiler/backend/arm7/proofs                            20s   1GB
Sep 01 09:42:16 Starting compiler/backend/arm8/proofs
Sep 01 09:42:36 Finished compiler/backend/arm8/proofs                            19s   1GB
Sep 01 09:42:36 Starting compiler/backend/mips/proofs
Sep 01 09:42:57 Finished compiler/backend/mips/proofs                            20s   1GB
Sep 01 09:42:57 Starting compiler/backend/riscv/proofs
Sep 01 09:43:17 Finished compiler/backend/riscv/proofs                           19s   1GB
Sep 01 09:43:17 Starting compiler/backend/ag32/proofs
Sep 01 09:52:10 Finished compiler/backend/ag32/proofs                          8m52s   2GB
Sep 01 09:52:10 Starting compiler/proofs
Sep 01 09:53:52 Finished compiler/proofs                                       1m41s   3GB
Sep 01 09:53:53 Starting candle/set-theory
Sep 01 09:54:19 Finished candle/set-theory                                       26s 725MB
Sep 01 09:54:20 Starting candle/syntax-lib
Sep 01 09:54:30 Finished candle/syntax-lib                                       10s 607MB
Sep 01 09:54:30 Starting candle/standard/syntax
Sep 01 09:56:15 Finished candle/standard/syntax                                1m44s 812MB
Sep 01 09:56:15 Starting candle/standard/semantics
Sep 01 09:57:53 Finished candle/standard/semantics                             1m37s   1GB
Sep 01 09:57:53 Starting candle/standard/monadic
Sep 01 09:59:29 Finished candle/standard/monadic                               1m35s   1GB
Sep 01 09:59:29 Starting candle/standard/ml_kernel
Sep 01 10:03:20 Finished candle/standard/ml_kernel                             3m51s   4GB
Sep 01 10:03:20 Starting candle/standard/opentheory
Sep 01 10:11:59 Finished candle/standard/opentheory                            8m38s   5GB
Sep 01 10:11:59 Starting candle/standard/opentheory/compilation
Sep 01 10:42:17 Finished candle/standard/opentheory/compilation               30m17s  16GB
Sep 01 10:42:17 Starting candle/standard/opentheory/compilation/proofs
Sep 01 10:43:05 Finished candle/standard/opentheory/compilation/proofs           47s   2GB
Sep 01 10:43:05 Starting characteristic/examples
Sep 01 10:44:36 Finished characteristic/examples                               1m30s   2GB
Sep 01 10:44:36 Starting tutorial/solutions
Sep 01 10:57:46 Finished tutorial/solutions                                   13m09s   6GB
Sep 01 10:57:46 Starting translator/monadic/examples
Sep 01 11:00:46 Finished translator/monadic/examples                           2m59s   3GB
Sep 01 11:00:46 Starting examples
Sep 01 11:09:43 Finished examples                                              8m57s   3GB
Sep 01 11:09:44 Starting examples/compilation/x64
Sep 01 13:12:11 Finished examples/compilation/x64                           2h02m27s  13GB
Sep 01 13:12:12 Starting examples/compilation/x64/proofs
Sep 01 13:13:43 Finished examples/compilation/x64/proofs                       1m31s   2GB
Sep 01 13:13:43 Starting examples/compilation/ag32
Sep 01 13:41:57 Finished examples/compilation/ag32                            28m13s   5GB
Sep 01 13:41:57 Starting examples/compilation/ag32/proofs
Sep 01 13:42:47 Finished examples/compilation/ag32/proofs                        49s   2GB
Sep 01 13:42:47 Starting translator/okasaki-examples
Sep 01 13:46:51 Finished translator/okasaki-examples                           4m03s   1GB
Sep 01 13:46:51 Starting translator/other-examples
Sep 01 13:50:27 Finished translator/other-examples                             3m36s   1GB
Sep 01 13:50:27 Starting compiler/parsing/tests
Sep 01 13:50:53 Finished compiler/parsing/tests                                  25s 569MB
Sep 01 13:50:53 Starting compiler/inference/tests
Sep 01 13:55:10 Finished compiler/inference/tests                              4m16s   3GB
Sep 01 13:55:10 Starting compiler/bootstrap/translation
Sep 01 16:24:24 Finished compiler/bootstrap/translation                     2h29m13s  35GB
Sep 01 16:24:24 Starting unverified/sexpr-bootstrap/x64/64
Sep 01 16:37:41 Finished unverified/sexpr-bootstrap/x64/64                    13m17s   3GB
Sep 01 16:37:41 Starting unverified/sexpr-bootstrap/x64/32
Sep 01 16:46:59 Finished unverified/sexpr-bootstrap/x64/32                     9m17s   6GB
Sep 01 16:46:59 Starting compiler/benchmarks
Sep 01 16:47:06 Finished compiler/benchmarks                                      6s  23MB
Sep 01 16:47:06 Starting compiler/bootstrap/compilation/x64/64
Sep 02 05:52:57 Finished compiler/bootstrap/compilation/x64/64             13h05m50s  64GB
Sep 02 05:52:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 02 05:56:38 Finished compiler/bootstrap/compilation/x64/64/proofs          3m40s   5GB
Sep 02 05:56:38 Starting compiler/bootstrap/compilation/x64/32
Sep 02 17:02:29 Finished compiler/bootstrap/compilation/x64/32             11h05m50s  64GB
Sep 02 17:02:29 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 02 17:05:09 Finished compiler/bootstrap/compilation/x64/32/proofs          2m39s  10GB
Sep 02 17:05:09 Starting compiler/bootstrap/compilation/ag32/32
Sep 03 06:05:40 Finished compiler/bootstrap/compilation/ag32/32            13h00m30s  64GB
Sep 03 06:05:41 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 03 06:35:13 Finished compiler/bootstrap/compilation/ag32/32/proofs        29m32s  27GB
Sep 03 06:35:13 SUCCESS