Job 348

CakeML:b289303609aa9526ba291ecba92f558f8f506000
  Replace polyc call with $(POLYC) [Jun 19 11:03:42]
HOL:85e6c3a40db681f0813cf29862cd39fbeb078acc
  holyhammer: fixing unsoundness bug due to different names for the sam [Jun 28 16:58:09]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jun 29 10:11:07 Claimed job
Jun 29 10:11:30 Building HOL
Jun 29 10:20:17 Starting developers/bin
Jun 29 10:20:57 Finished developers/bin                                          39s 925MB
Jun 29 10:20:58 Starting semantics/ffi
Jun 29 10:21:37 Finished semantics/ffi                                           38s 405MB
Jun 29 10:21:38 Starting semantics
Jun 29 10:23:02 Finished semantics                                             1m24s 935MB
Jun 29 10:23:03 Starting semantics/proofs
Jun 29 10:24:53 Finished semantics/proofs                                      1m49s   1GB
Jun 29 10:24:53 Starting basis/pure
Jun 29 10:28:24 Finished basis/pure                                            3m30s 706MB
Jun 29 10:28:25 Starting translator
Jun 29 10:32:16 Finished translator                                            3m50s 839MB
Jun 29 10:32:16 Starting compiler/parsing
Jun 29 10:33:43 Finished compiler/parsing                                      1m26s   1GB
Jun 29 10:33:44 Starting characteristic
Jun 29 10:36:06 Finished characteristic                                        2m21s   1GB
Jun 29 10:36:06 Starting basis
Jun 29 10:52:53 Finished basis                                                16m46s   3GB
Jun 29 10:52:54 Starting translator/monadic
Jun 29 10:52:57 Finished translator/monadic                                       2s  17MB
Jun 29 10:52:57 Starting compiler/inference
Jun 29 10:54:33 Finished compiler/inference                                    1m35s 685MB
Jun 29 10:54:34 Starting compiler/backend/reg_alloc
Jun 29 10:55:08 Finished compiler/backend/reg_alloc                              33s   1GB
Jun 29 10:55:08 Starting compiler/backend/gc
Jun 29 11:04:09 Finished compiler/backend/gc                                   8m59s   4GB
Jun 29 11:04:09 Starting compiler/backend
Jun 29 11:04:13 Finished compiler/backend                                         3s  20MB
Jun 29 11:04:14 Starting compiler/encoders/asm
Jun 29 11:04:15 Finished compiler/encoders/asm                                    1s  15MB
Jun 29 11:04:16 Starting compiler/encoders/x64
Jun 29 11:05:08 Finished compiler/encoders/x64                                   51s 591MB
Jun 29 11:05:09 Starting compiler/encoders/arm6
Jun 29 11:06:51 Finished compiler/encoders/arm6                                1m42s   1GB
Jun 29 11:06:52 Starting compiler/encoders/arm8
Jun 29 11:07:18 Finished compiler/encoders/arm8                                  25s 449MB
Jun 29 11:07:19 Starting compiler/encoders/mips
Jun 29 11:08:17 Finished compiler/encoders/mips                                  57s 890MB
Jun 29 11:08:18 Starting compiler/encoders/riscv
Jun 29 11:09:18 Finished compiler/encoders/riscv                               1m00s 893MB
Jun 29 11:09:19 Starting compiler/backend/x64
Jun 29 11:09:38 Finished compiler/backend/x64                                    18s   1GB
Jun 29 11:09:39 Starting compiler/backend/arm6
Jun 29 11:10:01 Finished compiler/backend/arm6                                   21s   1GB
Jun 29 11:10:01 Starting compiler/backend/arm8
Jun 29 11:10:22 Finished compiler/backend/arm8                                   19s   1GB
Jun 29 11:10:22 Starting compiler/backend/mips
Jun 29 11:10:42 Finished compiler/backend/mips                                   19s   1GB
Jun 29 11:10:43 Starting compiler/backend/riscv
Jun 29 11:11:04 Finished compiler/backend/riscv                                  20s   1GB
Jun 29 11:11:04 Starting compiler/parsing/proofs
Jun 29 11:17:14 Finished compiler/parsing/proofs                               6m08s 842MB
Jun 29 11:17:14 Starting compiler/inference/proofs
Jun 29 11:19:31 Finished compiler/inference/proofs                             2m16s   1GB
Jun 29 11:19:32 Starting compiler/backend/semantics
Jun 29 11:30:56 Finished compiler/backend/semantics                           11m23s   3GB
Jun 29 11:30:56 Starting compiler/backend/reg_alloc/proofs
Jun 29 11:31:44 Finished compiler/backend/reg_alloc/proofs                       47s 763MB
Jun 29 11:31:45 Starting compiler/backend/proofs
Jun 29 12:07:37 Finished compiler/backend/proofs                              35m51s   4GB
Jun 29 12:07:38 Starting compiler/encoders/x64/proofs
Jun 29 12:15:10 Finished compiler/encoders/x64/proofs                          7m31s   4GB
Jun 29 12:15:11 Starting compiler/encoders/arm6/proofs
Jun 29 12:22:43 Finished compiler/encoders/arm6/proofs                         7m31s   2GB
Jun 29 12:22:44 Starting compiler/encoders/arm8/proofs
Jun 29 12:28:02 Finished compiler/encoders/arm8/proofs                         5m17s 990MB
Jun 29 12:28:03 Starting compiler/encoders/mips/proofs
Jun 29 12:35:26 Finished compiler/encoders/mips/proofs                         7m22s   1GB
Jun 29 12:35:27 Starting compiler/encoders/riscv/proofs
Jun 29 12:43:23 Finished compiler/encoders/riscv/proofs                        7m55s 816MB
Jun 29 12:43:23 Starting compiler/backend/x64/proofs
Jun 29 12:43:45 Finished compiler/backend/x64/proofs                             20s   1GB
Jun 29 12:43:45 Starting compiler/backend/arm6/proofs
Jun 29 12:44:09 Finished compiler/backend/arm6/proofs                            22s 965MB
Jun 29 12:44:10 Starting compiler/backend/arm8/proofs
Jun 29 12:44:31 Finished compiler/backend/arm8/proofs                            20s   1GB
Jun 29 12:44:31 Starting compiler/backend/mips/proofs
Jun 29 12:44:54 Finished compiler/backend/mips/proofs                            22s   1GB
Jun 29 12:44:55 Starting compiler/backend/riscv/proofs
Jun 29 12:45:17 Finished compiler/backend/riscv/proofs                           21s 854MB
Jun 29 12:45:18 Starting compiler/proofs
Jun 29 12:46:33 Finished compiler/proofs                                       1m14s   2GB
Jun 29 12:46:33 Starting candle/set-theory
Jun 29 12:47:04 Finished candle/set-theory                                       30s 593MB
Jun 29 12:47:05 Starting candle/syntax-lib
Jun 29 12:47:16 Finished candle/syntax-lib                                        9s 653MB
Jun 29 12:47:16 Starting candle/standard/syntax
Jun 29 12:48:50 Finished candle/standard/syntax                                1m32s 590MB
Jun 29 12:48:50 Starting candle/standard/semantics
Jun 29 12:50:14 Finished candle/standard/semantics                             1m22s 887MB
Jun 29 12:50:15 Starting candle/standard/monadic
Jun 29 12:51:41 Finished candle/standard/monadic                               1m25s   1GB
Jun 29 12:51:41 Starting candle/standard/ml_kernel
Jun 29 12:57:57 Finished candle/standard/ml_kernel                             6m15s   2GB
Jun 29 12:57:58 Starting candle/standard/opentheory
Jun 29 12:58:13 Finished candle/standard/opentheory                              14s 705MB
Jun 29 12:58:14 Starting characteristic/examples
Jun 29 12:59:39 Finished characteristic/examples                               1m24s   1GB
Jun 29 12:59:40 Starting tutorial/solutions
Jun 29 13:22:22 Finished tutorial/solutions                                   22m41s   9GB
Jun 29 13:22:22 Starting translator/monadic/examples
Jun 29 13:24:13 Finished translator/monadic/examples                           1m50s   2GB
Jun 29 13:24:14 Starting examples
Jun 29 13:29:41 Finished examples                                              5m26s   2GB
Jun 29 13:29:42 Starting examples/compilation
Jun 29 17:23:21 Finished examples/compilation                               3h53m38s  20GB
Jun 29 17:23:22 Starting examples/compilation/proofs
Jun 29 17:26:19 Finished examples/compilation/proofs                           2m56s   5GB
Jun 29 17:26:20 Starting compiler/benchmarks
Jun 29 17:26:21 Finished compiler/benchmarks                                      0s   4MB
Jun 29 17:26:22 Starting translator/okasaki-examples
Jun 29 17:29:57 Finished translator/okasaki-examples                           3m33s   1GB
Jun 29 17:29:57 Starting translator/other-examples
Jun 29 17:33:29 Finished translator/other-examples                             3m30s 760MB
Jun 29 17:33:29 Starting compiler/parsing/tests
Jun 29 17:33:55 Finished compiler/parsing/tests                                  24s 333MB
Jun 29 17:33:55 Starting compiler/bootstrap/translation
Jun 29 22:38:05 Finished compiler/bootstrap/translation                     5h04m08s  52GB
Jun 29 22:38:06 Starting unverified/sexpr-bootstrap/x64/64
Jun 29 22:45:28 Finished unverified/sexpr-bootstrap/x64/64                     7m20s  11GB
Jun 29 22:45:28 Starting unverified/sexpr-bootstrap/x64/32
Jun 29 22:51:03 Finished unverified/sexpr-bootstrap/x64/32                     5m33s  11GB
Jun 29 22:51:04 Starting compiler/bootstrap/compilation/x64/64
Jul 01 08:24:22 Finished compiler/bootstrap/compilation/x64/64             33h33m16s  64GB
Jul 01 08:24:23 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 01 08:28:33 Finished compiler/bootstrap/compilation/x64/64/proofs          4m09s  26GB
Jul 01 08:28:33 Starting compiler/bootstrap/compilation/x64/32
Jul 01 22:59:50 Finished compiler/bootstrap/compilation/x64/32             14h31m14s  64GB
Jul 01 22:59:50 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 01 23:03:00 Finished compiler/bootstrap/compilation/x64/32/proofs          3m08s  22GB
Jul 01 23:03:00 SUCCESS