Job 346

CakeML:b289303609aa9526ba291ecba92f558f8f506000
  Replace polyc call with $(POLYC) [Jun 19 11:03:42]
HOL:c3a7279777f3738e927fa42eafc9285b3e406d49
  Change big_record_size to be 100 by default [Jun 22 04:06:05]
Machine:cakeml1797 4.4.0-22-generic 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 22 17:17:26 Claimed job
Jun 22 17:17:38 Building HOL
Jun 22 17:30:12 Starting developers/bin
Jun 22 17:30:23 Finished developers/bin                                           8s 224MB
Jun 22 17:30:25 Starting semantics/ffi
Jun 22 17:31:27 Finished semantics/ffi                                           59s 362MB
Jun 22 17:31:29 Starting semantics
Jun 22 17:33:53 Finished semantics                                             2m21s   1GB
Jun 22 17:33:55 Starting semantics/proofs
Jun 22 17:37:05 Finished semantics/proofs                                      3m08s   1GB
Jun 22 17:37:07 Starting basis/pure
Jun 22 17:42:48 Finished basis/pure                                            5m38s 724MB
Jun 22 17:42:50 Starting translator
Jun 22 17:49:24 Finished translator                                            6m31s   1GB
Jun 22 17:49:26 Starting compiler/parsing
Jun 22 17:51:35 Finished compiler/parsing                                      2m07s   2GB
Jun 22 17:51:37 Starting characteristic
Jun 22 17:56:05 Finished characteristic                                        4m25s   1GB
Jun 22 17:56:06 Starting basis
Jun 22 18:24:48 Finished basis                                                28m38s   3GB
Jun 22 18:24:50 Starting translator/monadic
Jun 22 18:24:54 Finished translator/monadic                                       2s  14MB
Jun 22 18:24:56 Starting compiler/inference
Jun 22 18:27:35 Finished compiler/inference                                    2m37s   1GB
Jun 22 18:27:37 Starting compiler/backend/reg_alloc
Jun 22 18:28:34 Finished compiler/backend/reg_alloc                              54s   1GB
Jun 22 18:28:36 Starting compiler/backend/gc
Jun 22 18:43:41 Finished compiler/backend/gc                                  15m03s   4GB
Jun 22 18:43:43 Starting compiler/backend
Jun 22 18:43:48 Finished compiler/backend                                         3s  14MB
Jun 22 18:43:50 Starting compiler/encoders/asm
Jun 22 18:43:53 Finished compiler/encoders/asm                                    0s  11MB
Jun 22 18:43:55 Starting compiler/encoders/x64
Jun 22 18:45:23 Finished compiler/encoders/x64                                 1m25s 500MB
Jun 22 18:45:25 Starting compiler/encoders/arm6
Jun 22 18:48:25 Finished compiler/encoders/arm6                                2m57s   1GB
Jun 22 18:48:27 Starting compiler/encoders/arm8
Jun 22 18:49:13 Finished compiler/encoders/arm8                                  43s 403MB
Jun 22 18:49:15 Starting compiler/encoders/mips
Jun 22 18:50:49 Finished compiler/encoders/mips                                1m31s 712MB
Jun 22 18:50:50 Starting compiler/encoders/riscv
Jun 22 18:52:23 Finished compiler/encoders/riscv                               1m30s 487MB
Jun 22 18:52:25 Starting compiler/backend/x64
Jun 22 18:52:58 Finished compiler/backend/x64                                    31s   1GB
Jun 22 18:53:00 Starting compiler/backend/arm6
Jun 22 18:53:38 Finished compiler/backend/arm6                                   35s   1GB
Jun 22 18:53:40 Starting compiler/backend/arm8
Jun 22 18:54:13 Finished compiler/backend/arm8                                   31s   1GB
Jun 22 18:54:15 Starting compiler/backend/mips
Jun 22 18:54:47 Finished compiler/backend/mips                                   29s   1GB
Jun 22 18:54:49 Starting compiler/backend/riscv
Jun 22 18:55:21 Finished compiler/backend/riscv                                  29s   1GB
Jun 22 18:55:23 Starting compiler/parsing/proofs
Jun 22 18:59:23 Finished compiler/parsing/proofs                               3m58s 861MB
Jun 22 18:59:25 Starting compiler/inference/proofs
Jun 22 19:03:19 Finished compiler/inference/proofs                             3m51s   1GB
Jun 22 19:03:21 Starting compiler/backend/semantics
Jun 22 19:21:47 Finished compiler/backend/semantics                           18m23s   2GB
Jun 22 19:21:49 Starting compiler/backend/reg_alloc/proofs
Jun 22 19:23:13 Finished compiler/backend/reg_alloc/proofs                     1m22s 403MB
Jun 22 19:23:15 Starting compiler/backend/proofs
Jun 22 20:18:20 Finished compiler/backend/proofs                              55m03s   3GB
Jun 22 20:18:22 Starting compiler/encoders/x64/proofs
Jun 22 20:29:44 Finished compiler/encoders/x64/proofs                         11m19s   1GB
Jun 22 20:29:46 Starting compiler/encoders/arm6/proofs
Jun 22 20:41:47 Finished compiler/encoders/arm6/proofs                        11m57s   3GB
Jun 22 20:41:49 Starting compiler/encoders/arm8/proofs
Jun 22 20:49:55 Finished compiler/encoders/arm8/proofs                         8m04s   1GB
Jun 22 20:49:57 Starting compiler/encoders/mips/proofs
Jun 22 21:01:18 Finished compiler/encoders/mips/proofs                        11m18s   2GB
Jun 22 21:01:20 Starting compiler/encoders/riscv/proofs
Jun 22 21:13:49 Finished compiler/encoders/riscv/proofs                       12m27s 759MB
Jun 22 21:13:51 Starting compiler/backend/x64/proofs
Jun 22 21:14:28 Finished compiler/backend/x64/proofs                             34s   1GB
Jun 22 21:14:30 Starting compiler/backend/arm6/proofs
Jun 22 21:15:09 Finished compiler/backend/arm6/proofs                            36s   1GB
Jun 22 21:15:11 Starting compiler/backend/arm8/proofs
Jun 22 21:15:47 Finished compiler/backend/arm8/proofs                            34s   1GB
Jun 22 21:15:49 Starting compiler/backend/mips/proofs
Jun 22 21:16:27 Finished compiler/backend/mips/proofs                            36s   1GB
Jun 22 21:16:29 Starting compiler/backend/riscv/proofs
Jun 22 21:17:06 Finished compiler/backend/riscv/proofs                           34s   1GB
Jun 22 21:17:08 Starting compiler/proofs
Jun 22 21:19:29 Finished compiler/proofs                                       2m19s   2GB
Jun 22 21:19:31 Starting candle/set-theory
Jun 22 21:20:26 Finished candle/set-theory                                       53s 563MB
Jun 22 21:20:28 Starting candle/syntax-lib
Jun 22 21:20:48 Finished candle/syntax-lib                                       17s 521MB
Jun 22 21:20:50 Starting candle/standard/syntax
Jun 22 21:23:31 Finished candle/standard/syntax                                2m39s 583MB
Jun 22 21:23:33 Starting candle/standard/semantics
Jun 22 21:25:47 Finished candle/standard/semantics                             2m12s 710MB
Jun 22 21:25:49 Starting candle/standard/monadic
Jun 22 21:28:12 Finished candle/standard/monadic                               2m20s 970MB
Jun 22 21:28:13 Starting candle/standard/ml_kernel
Jun 22 21:38:39 Finished candle/standard/ml_kernel                            10m23s   2GB
Jun 22 21:38:41 Starting candle/standard/opentheory
Jun 22 21:39:07 Finished candle/standard/opentheory                              23s 828MB
Jun 22 21:39:09 Starting characteristic/examples
Jun 22 21:41:31 Finished characteristic/examples                               2m20s   1GB
Jun 22 21:41:33 Starting tutorial/solutions
Jun 22 22:16:34 Finished tutorial/solutions                                   34m58s  11GB
Jun 22 22:16:36 Starting translator/monadic/examples
Jun 22 22:19:34 Finished translator/monadic/examples                           2m55s   2GB
Jun 22 22:19:36 Starting examples
Jun 22 22:27:46 Finished examples                                              8m08s   2GB
Jun 22 22:27:48 Starting examples/compilation
Jun 23 04:10:51 Finished examples/compilation                               5h43m01s  15GB
Jun 23 04:10:53 Starting examples/compilation/proofs
Jun 23 04:16:11 Finished examples/compilation/proofs                           5m15s   4GB
Jun 23 04:16:13 Starting compiler/benchmarks
Jun 23 04:16:15 Finished compiler/benchmarks                                      0s   4MB
Jun 23 04:16:17 Starting translator/okasaki-examples
Jun 23 04:22:54 Finished translator/okasaki-examples                           6m34s   1GB
Jun 23 04:22:56 Starting translator/other-examples
Jun 23 04:29:29 Finished translator/other-examples                             6m30s 702MB
Jun 23 04:29:31 Starting compiler/parsing/tests
Jun 23 04:30:12 Finished compiler/parsing/tests                                  39s 384MB
Jun 23 04:30:14 Starting compiler/bootstrap/translation
Jun 23 12:35:00 Finished compiler/bootstrap/translation                     8h04m44s  50GB
Jun 23 12:35:02 Starting unverified/sexpr-bootstrap/x64/64
Jun 23 12:46:15 Finished unverified/sexpr-bootstrap/x64/64                    11m04s  13GB
Jun 23 12:46:17 Starting unverified/sexpr-bootstrap/x64/32
Jun 23 12:55:23 Finished unverified/sexpr-bootstrap/x64/32                     8m59s  12GB
Jun 23 12:55:25 Starting compiler/bootstrap/compilation/x64/64
Jun 24 17:05:58 Finished compiler/bootstrap/compilation/x64/64             28h10m25s  95GB
Jun 24 17:06:00 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 24 17:12:04 Finished compiler/bootstrap/compilation/x64/64/proofs          6m01s  26GB
Jun 24 17:12:06 Starting compiler/bootstrap/compilation/x64/32
Jun 25 17:46:22 Finished compiler/bootstrap/compilation/x64/32             24h34m08s  88GB
Jun 25 17:46:24 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 25 17:50:11 Finished compiler/bootstrap/compilation/x64/32/proofs          3m45s  38GB
Jun 25 17:50:13 SUCCESS