Job 554

CakeML:3fa28c85c940b4edbbe79025687e39763ee2de56
  Fix data_to_word_bignumProof for revision to simp's caching of ARITH [Nov 08 10:34:25]
HOL:4abc447034141145b69917b5087e013c105a7546
  Record dependency of hol.state0 on buildheap executable [Nov 09 03:34:03]
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

Nov 10 13:54:52 Claimed job
Nov 10 13:55:07 Building HOL
Nov 10 14:04:25 Starting developers/bin
Nov 10 14:05:39 Finished developers/bin                                        1m13s 916MB
Nov 10 14:05:39 Starting semantics/ffi
Nov 10 14:06:19 Finished semantics/ffi                                           38s 439MB
Nov 10 14:06:20 Starting semantics
Nov 10 14:07:48 Finished semantics                                             1m27s 936MB
Nov 10 14:07:48 Starting semantics/proofs
Nov 10 14:10:37 Finished semantics/proofs                                      2m47s   1GB
Nov 10 14:10:38 Starting basis/pure
Nov 10 14:14:12 Finished basis/pure                                            3m33s 697MB
Nov 10 14:14:13 Starting translator
Nov 10 14:17:16 Finished translator                                            3m03s   1GB
Nov 10 14:17:17 Starting compiler/parsing
Nov 10 14:18:34 Finished compiler/parsing                                      1m15s   1GB
Nov 10 14:18:34 Starting characteristic
Nov 10 14:21:03 Finished characteristic                                        2m27s   1GB
Nov 10 14:21:03 Starting translator/monadic
Nov 10 14:22:31 Finished translator/monadic                                    1m26s   1GB
Nov 10 14:22:31 Starting basis
Nov 10 14:39:17 Finished basis                                                16m45s   3GB
Nov 10 14:39:18 Starting compiler/inference
Nov 10 14:41:00 Finished compiler/inference                                    1m40s   1GB
Nov 10 14:41:00 Starting compiler/backend/reg_alloc
Nov 10 14:41:48 Finished compiler/backend/reg_alloc                              47s   1GB
Nov 10 14:41:49 Starting compiler/backend/gc
Nov 10 14:49:10 Finished compiler/backend/gc                                   7m20s   1GB
Nov 10 14:49:11 Starting compiler/backend
Nov 10 14:49:14 Finished compiler/backend                                         3s  19MB
Nov 10 14:49:15 Starting compiler/encoders/asm
Nov 10 14:49:17 Finished compiler/encoders/asm                                    1s  14MB
Nov 10 14:49:18 Starting compiler/encoders/x64
Nov 10 14:50:10 Finished compiler/encoders/x64                                   51s 592MB
Nov 10 14:50:10 Starting compiler/encoders/arm6
Nov 10 14:51:56 Finished compiler/encoders/arm6                                1m44s   1GB
Nov 10 14:51:57 Starting compiler/encoders/arm8
Nov 10 14:52:23 Finished compiler/encoders/arm8                                  25s 531MB
Nov 10 14:52:24 Starting compiler/encoders/mips
Nov 10 14:53:22 Finished compiler/encoders/mips                                  57s 867MB
Nov 10 14:53:23 Starting compiler/encoders/riscv
Nov 10 14:54:24 Finished compiler/encoders/riscv                               1m00s 662MB
Nov 10 14:54:24 Starting compiler/backend/x64
Nov 10 14:54:43 Finished compiler/backend/x64                                    18s 807MB
Nov 10 14:54:44 Starting compiler/backend/arm6
Nov 10 14:55:05 Finished compiler/backend/arm6                                   20s   1GB
Nov 10 14:55:06 Starting compiler/backend/arm8
Nov 10 14:55:25 Finished compiler/backend/arm8                                   19s   1GB
Nov 10 14:55:26 Starting compiler/backend/mips
Nov 10 14:55:46 Finished compiler/backend/mips                                   19s   1GB
Nov 10 14:55:47 Starting compiler/backend/riscv
Nov 10 14:56:07 Finished compiler/backend/riscv                                  19s   1GB
Nov 10 14:56:07 Starting compiler/parsing/proofs
Nov 10 15:02:15 Finished compiler/parsing/proofs                               6m06s 784MB
Nov 10 15:02:15 Starting compiler/inference/proofs
Nov 10 15:05:07 Finished compiler/inference/proofs                             2m51s   1GB
Nov 10 15:05:08 Starting compiler/backend/semantics
Nov 10 15:14:00 Finished compiler/backend/semantics                            8m51s   2GB
Nov 10 15:14:01 Starting compiler/backend/reg_alloc/proofs
Nov 10 15:16:45 Finished compiler/backend/reg_alloc/proofs                     2m43s 565MB
Nov 10 15:16:46 Starting compiler/backend/proofs
Nov 10 15:59:29 Finished compiler/backend/proofs                              42m41s   3GB
Nov 10 15:59:29 Starting compiler/encoders/x64/proofs
Nov 10 16:07:17 Finished compiler/encoders/x64/proofs                          7m47s   4GB
Nov 10 16:07:18 Starting compiler/encoders/arm6/proofs
Nov 10 16:14:54 Finished compiler/encoders/arm6/proofs                         7m35s   3GB
Nov 10 16:14:55 Starting compiler/encoders/arm8/proofs
Nov 10 16:20:20 Finished compiler/encoders/arm8/proofs                         5m23s 970MB
Nov 10 16:20:20 Starting compiler/encoders/mips/proofs
Nov 10 16:27:35 Finished compiler/encoders/mips/proofs                         7m14s   2GB
Nov 10 16:27:36 Starting compiler/encoders/riscv/proofs
Nov 10 16:35:27 Finished compiler/encoders/riscv/proofs                        7m50s 922MB
Nov 10 16:35:28 Starting compiler/backend/x64/proofs
Nov 10 16:35:50 Finished compiler/backend/x64/proofs                             21s   1GB
Nov 10 16:35:50 Starting compiler/backend/arm6/proofs
Nov 10 16:36:15 Finished compiler/backend/arm6/proofs                            23s   1GB
Nov 10 16:36:15 Starting compiler/backend/arm8/proofs
Nov 10 16:36:37 Finished compiler/backend/arm8/proofs                            20s   1GB
Nov 10 16:36:38 Starting compiler/backend/mips/proofs
Nov 10 16:37:00 Finished compiler/backend/mips/proofs                            21s   1GB
Nov 10 16:37:01 Starting compiler/backend/riscv/proofs
Nov 10 16:37:22 Finished compiler/backend/riscv/proofs                           20s   1GB
Nov 10 16:37:23 Starting compiler/proofs
Nov 10 16:38:44 Finished compiler/proofs                                       1m20s   1GB
Nov 10 16:38:45 Starting candle/set-theory
Nov 10 16:39:17 Finished candle/set-theory                                       31s 603MB
Nov 10 16:39:18 Starting candle/syntax-lib
Nov 10 16:39:29 Finished candle/syntax-lib                                       10s 656MB
Nov 10 16:39:29 Starting candle/standard/syntax
Nov 10 16:41:03 Finished candle/standard/syntax                                1m33s 697MB
Nov 10 16:41:04 Starting candle/standard/semantics
Nov 10 16:42:26 Finished candle/standard/semantics                             1m20s   1GB
Nov 10 16:42:26 Starting candle/standard/monadic
Nov 10 16:44:01 Finished candle/standard/monadic                               1m34s   1GB
Nov 10 16:44:02 Starting candle/standard/ml_kernel
Nov 10 16:59:55 Finished candle/standard/ml_kernel                            15m52s   4GB
Nov 10 16:59:56 Starting candle/standard/opentheory
Nov 10 17:08:35 Finished candle/standard/opentheory                            8m38s   9GB
Nov 10 17:08:35 Starting candle/standard/opentheory/compilation
Nov 10 17:42:34 Finished candle/standard/opentheory/compilation               33m58s  21GB
Nov 10 17:42:35 Starting candle/standard/opentheory/compilation/proofs
Nov 10 17:43:15 Finished candle/standard/opentheory/compilation/proofs           38s   4GB
Nov 10 17:43:15 Starting characteristic/examples
Nov 10 17:44:52 Finished characteristic/examples                               1m35s   1GB
Nov 10 17:44:53 Starting tutorial/solutions
Nov 10 17:58:29 Finished tutorial/solutions                                   13m35s   6GB
Nov 10 17:58:29 Starting translator/monadic/examples
Nov 10 18:00:17 Finished translator/monadic/examples                           1m46s   2GB
Nov 10 18:00:18 Starting examples
Nov 10 18:06:03 Finished examples                                              5m44s   5GB
Nov 10 18:06:03 Starting examples/compilation
Nov 10 20:01:00 Finished examples/compilation                               1h54m55s  10GB
Nov 10 20:01:01 Starting examples/compilation/proofs
Nov 10 20:03:00 Finished examples/compilation/proofs                           1m58s   3GB
Nov 10 20:03:01 Starting compiler/benchmarks
Nov 10 20:03:02 Finished compiler/benchmarks                                      0s   5MB
Nov 10 20:03:02 Starting translator/okasaki-examples
Nov 10 20:06:32 Finished translator/okasaki-examples                           3m29s   1GB
Nov 10 20:06:33 Starting translator/other-examples
Nov 10 20:10:10 Finished translator/other-examples                             3m36s   1GB
Nov 10 20:10:11 Starting compiler/parsing/tests
Nov 10 20:10:36 Finished compiler/parsing/tests                                  24s 331MB
Nov 10 20:10:36 Starting compiler/inference/tests
Nov 10 20:14:37 Finished compiler/inference/tests                              3m59s   4GB
Nov 10 20:14:37 Starting compiler/bootstrap/translation
Nov 11 03:06:19 Finished compiler/bootstrap/translation                     6h51m40s  55GB
Nov 11 03:06:20 Starting unverified/sexpr-bootstrap/x64/64
Nov 11 03:14:30 Finished unverified/sexpr-bootstrap/x64/64                     8m09s  13GB
Nov 11 03:14:31 Starting unverified/sexpr-bootstrap/x64/32
Nov 11 03:19:54 Finished unverified/sexpr-bootstrap/x64/32                     5m21s  19GB
Nov 11 03:19:54 Starting compiler/bootstrap/compilation/x64/64
Nov 11 21:32:50 Finished compiler/bootstrap/compilation/x64/64             18h12m53s  64GB
Nov 11 21:32:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 11 21:37:12 Finished compiler/bootstrap/compilation/x64/64/proofs          4m20s  24GB
Nov 11 21:37:12 Starting compiler/bootstrap/compilation/x64/32
Nov 12 07:58:13 Finished compiler/bootstrap/compilation/x64/32             10h20m58s  64GB
Nov 12 07:58:14 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 12 08:02:20 Finished compiler/bootstrap/compilation/x64/32/proofs          4m05s  22GB
Nov 12 08:02:21 SUCCESS