Job 983

CakeML:980410c6c89921c2e8950a5127bd9f32791f50bf
  Fix more def_compte issues [Aug 05 04:31:17]
HOL:ee1f3efa809fc1f7595e2bdea447dc07f7197a4e
  Removed trailing whitespace... [Aug 04 07:22:34]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Aug 05 10:08:05 Claimed job
Aug 05 10:08:12 Building HOL
Aug 05 10:17:34 Starting developers
Aug 05 10:17:36 Finished developers                                               2s  21MB
Aug 05 10:17:37 Starting developers/bin
Aug 05 10:17:43 Finished developers/bin                                           6s 960MB
Aug 05 10:17:43 Starting semantics/ffi
Aug 05 10:18:22 Finished semantics/ffi                                           38s 487MB
Aug 05 10:18:22 Starting semantics
Aug 05 10:19:57 Finished semantics                                             1m34s   1GB
Aug 05 10:19:57 Starting semantics/proofs
Aug 05 10:22:55 Finished semantics/proofs                                      2m57s   1GB
Aug 05 10:22:55 Starting semantics/alt_semantics
Aug 05 10:23:03 Finished semantics/alt_semantics                                  8s 258MB
Aug 05 10:23:03 Starting semantics/alt_semantics/proofs
Aug 05 10:24:52 Finished semantics/alt_semantics/proofs                        1m49s 819MB
Aug 05 10:24:53 Starting basis/pure
Aug 05 10:28:28 Finished basis/pure                                            3m35s 704MB
Aug 05 10:28:29 Starting translator
Aug 05 10:30:16 Finished translator                                            1m47s   1GB
Aug 05 10:30:16 Starting compiler/parsing
Aug 05 10:31:13 Finished compiler/parsing                                        57s   1GB
Aug 05 10:31:13 Starting characteristic
Aug 05 10:36:33 Finished characteristic                                        5m19s   1GB
Aug 05 10:36:33 Starting translator/monadic
Aug 05 10:38:02 Finished translator/monadic                                    1m29s   1GB
Aug 05 10:38:02 Starting basis
Aug 05 10:55:56 Finished basis                                                17m53s   2GB
Aug 05 10:55:56 Starting compiler/inference
Aug 05 10:57:50 Finished compiler/inference                                    1m54s   2GB
Aug 05 10:57:50 Starting compiler/backend/reg_alloc
Aug 05 10:58:51 Finished compiler/backend/reg_alloc                            1m00s   1GB
Aug 05 10:58:51 Starting compiler/backend/gc
Aug 05 11:08:09 Finished compiler/backend/gc                                   9m16s   2GB
Aug 05 11:08:09 Starting compiler/backend
Aug 05 11:08:12 Finished compiler/backend                                         2s  16MB
Aug 05 11:08:12 Starting compiler/encoders/asm
Aug 05 11:08:14 Finished compiler/encoders/asm                                    1s  14MB
Aug 05 11:08:14 Starting compiler/encoders/x64
Aug 05 11:09:15 Finished compiler/encoders/x64                                 1m00s 972MB
Aug 05 11:09:15 Starting compiler/encoders/arm7
Aug 05 11:10:55 Finished compiler/encoders/arm7                                1m39s   1GB
Aug 05 11:10:55 Starting compiler/encoders/arm8
Aug 05 11:11:27 Finished compiler/encoders/arm8                                  32s 526MB
Aug 05 11:11:27 Starting compiler/encoders/mips
Aug 05 11:12:35 Finished compiler/encoders/mips                                1m07s 850MB
Aug 05 11:12:35 Starting compiler/encoders/riscv
Aug 05 11:13:55 Finished compiler/encoders/riscv                               1m19s   1GB
Aug 05 11:13:55 Starting compiler/encoders/ag32
Aug 05 11:14:12 Finished compiler/encoders/ag32                                  16s 525MB
Aug 05 11:14:12 Starting compiler/backend/x64
Aug 05 11:14:31 Finished compiler/backend/x64                                    18s   1GB
Aug 05 11:14:31 Starting compiler/backend/arm7
Aug 05 11:14:51 Finished compiler/backend/arm7                                   19s   1GB
Aug 05 11:14:51 Starting compiler/backend/arm8
Aug 05 11:15:10 Finished compiler/backend/arm8                                   18s   1GB
Aug 05 11:15:10 Starting compiler/backend/mips
Aug 05 11:15:29 Finished compiler/backend/mips                                   18s   1GB
Aug 05 11:15:29 Starting compiler/backend/riscv
Aug 05 11:15:48 Finished compiler/backend/riscv                                  19s 952MB
Aug 05 11:15:48 Starting compiler/backend/ag32
Aug 05 11:16:57 Finished compiler/backend/ag32                                 1m08s   1GB
Aug 05 11:16:57 Starting compiler/parsing/proofs
Aug 05 11:22:36 Finished compiler/parsing/proofs                               5m38s   1GB
Aug 05 11:22:36 Starting compiler/inference/proofs
Aug 05 11:25:22 Finished compiler/inference/proofs                             2m46s   1GB
Aug 05 11:25:22 Starting compiler/backend/semantics
Aug 05 11:32:31 Finished compiler/backend/semantics                            7m08s   2GB
Aug 05 11:32:32 Starting compiler/backend/reg_alloc/proofs
Aug 05 11:35:46 Finished compiler/backend/reg_alloc/proofs                     3m13s 904MB
Aug 05 11:35:46 Starting compiler/backend/proofs
Aug 05 12:14:09 Finished compiler/backend/proofs                              38m23s   5GB
Aug 05 12:14:09 Starting compiler/encoders/x64/proofs
Aug 05 12:24:13 Finished compiler/encoders/x64/proofs                         10m03s   4GB
Aug 05 12:24:13 Starting compiler/encoders/arm7/proofs
Aug 05 12:37:44 Finished compiler/encoders/arm7/proofs                        13m30s   3GB
Aug 05 12:37:44 Starting compiler/encoders/arm8/proofs
Aug 05 12:44:25 Finished compiler/encoders/arm8/proofs                         6m40s   1GB
Aug 05 12:44:25 Starting compiler/encoders/mips/proofs
Aug 05 12:54:15 Finished compiler/encoders/mips/proofs                         9m49s   2GB
Aug 05 12:54:15 Starting compiler/encoders/riscv/proofs
Aug 05 13:02:36 Finished compiler/encoders/riscv/proofs                        8m21s   1GB
Aug 05 13:02:37 Starting compiler/encoders/ag32/proofs
Aug 05 13:05:04 Finished compiler/encoders/ag32/proofs                         2m27s 687MB
Aug 05 13:05:05 Starting compiler/backend/x64/proofs
Aug 05 13:05:25 Finished compiler/backend/x64/proofs                             20s   1GB
Aug 05 13:05:25 Starting compiler/backend/arm7/proofs
Aug 05 13:05:45 Finished compiler/backend/arm7/proofs                            20s 847MB
Aug 05 13:05:45 Starting compiler/backend/arm8/proofs
Aug 05 13:06:05 Finished compiler/backend/arm8/proofs                            19s   1GB
Aug 05 13:06:05 Starting compiler/backend/mips/proofs
Aug 05 13:06:25 Finished compiler/backend/mips/proofs                            19s 845MB
Aug 05 13:06:25 Starting compiler/backend/riscv/proofs
Aug 05 13:06:46 Finished compiler/backend/riscv/proofs                           20s   1GB
Aug 05 13:06:46 Starting compiler/backend/ag32/proofs
Aug 05 13:15:29 Finished compiler/backend/ag32/proofs                          8m42s   1GB
Aug 05 13:15:30 Starting compiler/proofs
Aug 05 13:17:10 Finished compiler/proofs                                       1m40s   2GB
Aug 05 13:17:10 Starting candle/set-theory
Aug 05 13:17:37 Finished candle/set-theory                                       26s 742MB
Aug 05 13:17:37 Starting candle/syntax-lib
Aug 05 13:17:48 Finished candle/syntax-lib                                       10s 640MB
Aug 05 13:17:48 Starting candle/standard/syntax
Aug 05 13:19:33 Finished candle/standard/syntax                                1m44s 825MB
Aug 05 13:19:33 Starting candle/standard/semantics
Aug 05 13:21:11 Finished candle/standard/semantics                             1m37s   1GB
Aug 05 13:21:11 Starting candle/standard/monadic
Aug 05 13:22:45 Finished candle/standard/monadic                               1m34s   1GB
Aug 05 13:22:45 Starting candle/standard/ml_kernel
Aug 05 13:26:32 Finished candle/standard/ml_kernel                             3m46s   3GB
Aug 05 13:26:33 Starting candle/standard/opentheory
Aug 05 13:34:58 Finished candle/standard/opentheory                            8m25s   3GB
Aug 05 13:34:59 Starting candle/standard/opentheory/compilation
Aug 05 14:04:13 Finished candle/standard/opentheory/compilation               29m14s  18GB
Aug 05 14:04:13 Starting candle/standard/opentheory/compilation/proofs
Aug 05 14:04:52 Finished candle/standard/opentheory/compilation/proofs           38s   3GB
Aug 05 14:04:52 Starting characteristic/examples
Aug 05 14:06:24 Finished characteristic/examples                               1m31s   2GB
Aug 05 14:06:24 Starting tutorial/solutions
Aug 05 14:19:16 Finished tutorial/solutions                                   12m51s   7GB
Aug 05 14:19:16 Starting translator/monadic/examples
Aug 05 14:22:16 Finished translator/monadic/examples                           2m59s   2GB
Aug 05 14:22:17 Starting examples
Aug 06 06:45:38 Resuming examples
Aug 06 06:47:56 Finished examples                                              2m17s   3GB
Aug 06 06:47:56 Starting examples/compilation/x64
Aug 06 08:50:56 Finished examples/compilation/x64                           2h02m58s  13GB
Aug 06 08:50:56 Starting examples/compilation/x64/proofs
Aug 06 08:52:28 Finished examples/compilation/x64/proofs                       1m31s   2GB
Aug 06 08:52:28 Starting examples/compilation/ag32
Aug 06 09:20:58 Finished examples/compilation/ag32                            28m29s   6GB
Aug 06 09:20:58 Starting examples/compilation/ag32/proofs
Aug 06 09:21:41 Finished examples/compilation/ag32/proofs                        42s   3GB
Aug 06 09:21:41 Starting translator/okasaki-examples
Aug 06 09:25:47 Finished translator/okasaki-examples                           4m05s   1GB
Aug 06 09:25:47 Starting translator/other-examples
Aug 06 09:29:25 Finished translator/other-examples                             3m37s   1GB
Aug 06 09:29:25 Starting compiler/parsing/tests
Aug 06 09:29:50 Finished compiler/parsing/tests                                  25s 585MB
Aug 06 09:29:50 Starting compiler/inference/tests
Aug 06 09:34:00 Finished compiler/inference/tests                              4m09s   3GB
Aug 06 09:34:01 Starting compiler/bootstrap/translation
Aug 06 12:01:25 Finished compiler/bootstrap/translation                     2h27m23s  40GB
Aug 06 12:01:25 Starting unverified/sexpr-bootstrap/x64/64
Aug 06 12:13:51 Finished unverified/sexpr-bootstrap/x64/64                    12m25s   3GB
Aug 06 12:13:51 Starting unverified/sexpr-bootstrap/x64/32
Aug 06 12:22:42 Finished unverified/sexpr-bootstrap/x64/32                     8m49s   5GB
Aug 06 12:22:42 Starting compiler/benchmarks
Aug 06 12:22:49 Finished compiler/benchmarks                                      6s  23MB
Aug 06 12:22:49 Starting compiler/bootstrap/compilation/x64/64
Aug 07 01:27:01 Finished compiler/bootstrap/compilation/x64/64             13h04m10s  64GB
Aug 07 01:27:01 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 07 01:30:40 Finished compiler/bootstrap/compilation/x64/64/proofs          3m38s   4GB
Aug 07 01:30:40 Starting compiler/bootstrap/compilation/x64/32
Aug 07 13:02:16 Finished compiler/bootstrap/compilation/x64/32             11h31m34s  64GB
Aug 07 13:02:16 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 07 13:06:23 Finished compiler/bootstrap/compilation/x64/32/proofs          4m06s   5GB
Aug 07 13:06:23 Starting compiler/bootstrap/compilation/ag32/32
Aug 08 01:15:54 Finished compiler/bootstrap/compilation/ag32/32            12h09m31s  64GB
Aug 08 01:15:54 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 08 01:33:53 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m58s  18GB
Aug 08 01:33:53 SUCCESS