Job 963

CakeML:7507ba7e45539d17b824d0405fc26441409e8793
  Set heap size of Ag32 programs to 80 MB [Jul 26 08:08:22]
#673 (ag32-heap-size-80-mb)
Merging into:6a2bd88da127f2784992626bd3d46e35bafd91f8
  Merge pull request #670 from CakeML/refactor-flat [Jul 25 06:57:19]
HOL:e07c8c4b477de3d90955fd9015c2a12797ff00e4
  Polyscripter-ise much more of DESCRIPTION's Core Theories chapter [Jul 25 01:01:55]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jul 26 08:11:13 Claimed job
Jul 26 08:11:19 Building HOL
Jul 26 08:19:27 Starting developers
Jul 26 08:19:28 Finished developers                                               0s  20MB
Jul 26 08:19:28 Starting developers/bin
Jul 26 08:19:32 Finished developers/bin                                           3s 164MB
Jul 26 08:19:32 Starting semantics/ffi
Jul 26 08:20:07 Finished semantics/ffi                                           34s 426MB
Jul 26 08:20:07 Starting semantics
Jul 26 08:21:42 Finished semantics                                             1m34s   1GB
Jul 26 08:21:42 Starting semantics/proofs
Jul 26 08:24:43 Finished semantics/proofs                                      3m00s   1GB
Jul 26 08:24:43 Starting semantics/alt_semantics
Jul 26 08:24:50 Finished semantics/alt_semantics                                  6s 262MB
Jul 26 08:24:50 Starting semantics/alt_semantics/proofs
Jul 26 08:26:39 Finished semantics/alt_semantics/proofs                        1m48s   1GB
Jul 26 08:26:40 Starting basis/pure
Jul 26 08:30:17 Finished basis/pure                                            3m37s 605MB
Jul 26 08:30:17 Starting translator
Jul 26 08:32:01 Finished translator                                            1m43s   1GB
Jul 26 08:32:02 Starting compiler/parsing
Jul 26 08:32:58 Finished compiler/parsing                                        56s   1GB
Jul 26 08:32:59 Starting characteristic
Jul 26 08:38:10 Finished characteristic                                        5m11s   1GB
Jul 26 08:38:11 Starting translator/monadic
Jul 26 08:39:35 Finished translator/monadic                                    1m24s   1GB
Jul 26 08:39:35 Starting basis
Jul 26 08:56:20 Finished basis                                                16m44s   2GB
Jul 26 08:56:21 Starting compiler/inference
Jul 26 08:58:12 Finished compiler/inference                                    1m50s   1GB
Jul 26 08:58:12 Starting compiler/backend/reg_alloc
Jul 26 08:59:10 Finished compiler/backend/reg_alloc                              57s   1GB
Jul 26 08:59:10 Starting compiler/backend/gc
Jul 26 09:08:09 Finished compiler/backend/gc                                   8m58s   2GB
Jul 26 09:08:10 Starting compiler/backend
Jul 26 09:08:10 Finished compiler/backend                                         0s  44MB
Jul 26 09:08:11 Starting compiler/encoders/asm
Jul 26 09:08:11 Finished compiler/encoders/asm                                    0s  37MB
Jul 26 09:08:11 Starting compiler/encoders/x64
Jul 26 09:09:08 Finished compiler/encoders/x64                                   55s 944MB
Jul 26 09:09:08 Starting compiler/encoders/arm7
Jul 26 09:10:43 Finished compiler/encoders/arm7                                1m34s   1GB
Jul 26 09:10:44 Starting compiler/encoders/arm8
Jul 26 09:11:12 Finished compiler/encoders/arm8                                  27s 598MB
Jul 26 09:11:12 Starting compiler/encoders/mips
Jul 26 09:12:16 Finished compiler/encoders/mips                                1m03s   1GB
Jul 26 09:12:16 Starting compiler/encoders/riscv
Jul 26 09:13:32 Finished compiler/encoders/riscv                               1m15s 843MB
Jul 26 09:13:33 Starting compiler/encoders/ag32
Jul 26 09:13:48 Finished compiler/encoders/ag32                                  14s 583MB
Jul 26 09:13:48 Starting compiler/backend/x64
Jul 26 09:14:04 Finished compiler/backend/x64                                    15s   1GB
Jul 26 09:14:04 Starting compiler/backend/arm7
Jul 26 09:14:21 Finished compiler/backend/arm7                                   17s   1GB
Jul 26 09:14:22 Starting compiler/backend/arm8
Jul 26 09:14:38 Finished compiler/backend/arm8                                   16s   1GB
Jul 26 09:14:39 Starting compiler/backend/mips
Jul 26 09:14:56 Finished compiler/backend/mips                                   16s   1GB
Jul 26 09:14:56 Starting compiler/backend/riscv
Jul 26 09:15:13 Finished compiler/backend/riscv                                  16s   1GB
Jul 26 09:15:13 Starting compiler/backend/ag32
Jul 26 09:16:19 Finished compiler/backend/ag32                                 1m05s   1GB
Jul 26 09:16:19 Starting compiler/parsing/proofs
Jul 26 09:21:52 Finished compiler/parsing/proofs                               5m31s 913MB
Jul 26 09:21:52 Starting compiler/inference/proofs
Jul 26 09:24:30 Finished compiler/inference/proofs                             2m38s   1GB
Jul 26 09:24:31 Starting compiler/backend/semantics
Jul 26 09:31:38 Finished compiler/backend/semantics                            7m06s   1GB
Jul 26 09:31:38 Starting compiler/backend/reg_alloc/proofs
Jul 26 09:34:51 Finished compiler/backend/reg_alloc/proofs                     3m13s 824MB
Jul 26 09:34:52 Starting compiler/backend/proofs
Jul 26 10:13:08 Finished compiler/backend/proofs                              38m16s   4GB
Jul 26 10:13:08 Starting compiler/encoders/x64/proofs
Jul 26 10:23:06 Finished compiler/encoders/x64/proofs                          9m57s   7GB
Jul 26 10:23:06 Starting compiler/encoders/arm7/proofs
Jul 26 10:36:35 Finished compiler/encoders/arm7/proofs                        13m28s   3GB
Jul 26 10:36:35 Starting compiler/encoders/arm8/proofs
Jul 26 10:43:12 Finished compiler/encoders/arm8/proofs                         6m36s   1GB
Jul 26 10:43:12 Starting compiler/encoders/mips/proofs
Jul 26 10:53:01 Finished compiler/encoders/mips/proofs                         9m48s   2GB
Jul 26 10:53:01 Starting compiler/encoders/riscv/proofs
Jul 26 11:01:22 Finished compiler/encoders/riscv/proofs                        8m20s   1GB
Jul 26 11:01:22 Starting compiler/encoders/ag32/proofs
Jul 26 11:03:50 Finished compiler/encoders/ag32/proofs                         2m27s 697MB
Jul 26 11:03:50 Starting compiler/backend/x64/proofs
Jul 26 11:04:07 Finished compiler/backend/x64/proofs                             16s   1GB
Jul 26 11:04:07 Starting compiler/backend/arm7/proofs
Jul 26 11:04:24 Finished compiler/backend/arm7/proofs                            16s 873MB
Jul 26 11:04:24 Starting compiler/backend/arm8/proofs
Jul 26 11:04:41 Finished compiler/backend/arm8/proofs                            15s   1GB
Jul 26 11:04:41 Starting compiler/backend/mips/proofs
Jul 26 11:04:58 Finished compiler/backend/mips/proofs                            17s   1GB
Jul 26 11:04:59 Starting compiler/backend/riscv/proofs
Jul 26 11:05:15 Finished compiler/backend/riscv/proofs                           16s   1GB
Jul 26 11:05:16 Starting compiler/backend/ag32/proofs
Jul 26 11:14:02 Finished compiler/backend/ag32/proofs                          8m45s   2GB
Jul 26 11:14:02 Starting compiler/proofs
Jul 26 11:15:29 Finished compiler/proofs                                       1m26s   2GB
Jul 26 11:15:29 Starting candle/set-theory
Jul 26 11:15:54 Finished candle/set-theory                                       24s 838MB
Jul 26 11:15:54 Starting candle/syntax-lib
Jul 26 11:16:04 Finished candle/syntax-lib                                        9s 667MB
Jul 26 11:16:04 Starting candle/standard/syntax
Jul 26 11:17:45 Finished candle/standard/syntax                                1m40s   1GB
Jul 26 11:17:45 Starting candle/standard/semantics
Jul 26 11:19:17 Finished candle/standard/semantics                             1m31s   1GB
Jul 26 11:19:17 Starting candle/standard/monadic
Jul 26 11:20:49 Finished candle/standard/monadic                               1m30s   1GB
Jul 26 11:20:49 Starting candle/standard/ml_kernel
Jul 26 11:24:28 Finished candle/standard/ml_kernel                             3m38s   3GB
Jul 26 11:24:28 Starting candle/standard/opentheory
Jul 26 11:32:46 Finished candle/standard/opentheory                            8m18s   3GB
Jul 26 11:32:46 Starting candle/standard/opentheory/compilation
Jul 26 12:03:05 Finished candle/standard/opentheory/compilation               30m18s  12GB
Jul 26 12:03:05 Starting candle/standard/opentheory/compilation/proofs
Jul 26 12:03:46 Finished candle/standard/opentheory/compilation/proofs           40s   2GB
Jul 26 12:03:47 Starting characteristic/examples
Jul 26 12:05:11 Finished characteristic/examples                               1m24s   2GB
Jul 26 12:05:11 Starting tutorial/solutions
Jul 26 12:18:18 Finished tutorial/solutions                                   13m06s   6GB
Jul 26 12:18:19 Starting translator/monadic/examples
Jul 26 12:21:09 Finished translator/monadic/examples                           2m50s   2GB
Jul 26 12:21:10 Starting examples
Jul 26 12:29:51 Finished examples                                              8m41s   3GB
Jul 26 12:29:51 Starting examples/compilation/x64
Jul 26 14:31:15 Finished examples/compilation/x64                           2h01m23s  12GB
Jul 26 14:31:15 Starting examples/compilation/x64/proofs
Jul 26 14:32:50 Finished examples/compilation/x64/proofs                       1m34s   2GB
Jul 26 14:32:50 Starting examples/compilation/ag32
Jul 26 15:00:15 Finished examples/compilation/ag32                            27m24s   6GB
Jul 26 15:00:15 Starting examples/compilation/ag32/proofs
Jul 26 15:00:56 Finished examples/compilation/ag32/proofs                        40s   2GB
Jul 26 15:00:56 Starting translator/okasaki-examples
Jul 26 15:04:59 Finished translator/okasaki-examples                           4m02s   1GB
Jul 26 15:04:59 Starting translator/other-examples
Jul 26 15:08:19 Finished translator/other-examples                             3m19s   1GB
Jul 26 15:08:20 Starting compiler/parsing/tests
Jul 26 15:08:44 Finished compiler/parsing/tests                                  23s 559MB
Jul 26 15:08:44 Starting compiler/inference/tests
Jul 26 15:12:42 Finished compiler/inference/tests                              3m57s   4GB
Jul 26 15:12:43 Starting compiler/bootstrap/translation
Jul 26 17:38:49 Finished compiler/bootstrap/translation                     2h26m05s  41GB
Jul 26 17:38:50 Starting unverified/sexpr-bootstrap/x64/64
Jul 26 17:50:17 Finished unverified/sexpr-bootstrap/x64/64                    11m26s   2GB
Jul 26 17:50:17 Starting unverified/sexpr-bootstrap/x64/32
Jul 26 17:58:22 Finished unverified/sexpr-bootstrap/x64/32                     8m05s   4GB
Jul 26 17:58:22 Starting compiler/benchmarks
Jul 26 18:36:25 Finished compiler/benchmarks                                  38m02s   2GB
Jul 26 18:36:25 Starting compiler/bootstrap/compilation/x64/64 Jul 26 18:36:25 62137s