Job 966

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 19:49:37 Claimed job
Jul 26 19:50:12 Reusing HOL
Jul 26 19:50:19 Starting developers
Jul 26 19:50:20 Finished developers                                               0s  21MB
Jul 26 19:50:20 Starting developers/bin
Jul 26 19:51:54 Finished developers/bin                                        1m32s 238MB
Jul 26 19:51:54 Starting semantics/ffi
Jul 26 19:52:03 Finished semantics/ffi                                            8s 200MB
Jul 26 19:52:03 Starting semantics
Jul 26 19:53:20 Finished semantics                                             1m16s   1GB
Jul 26 19:53:21 Starting semantics/proofs
Jul 26 19:56:22 Finished semantics/proofs                                      3m00s   1GB
Jul 26 19:56:22 Starting semantics/alt_semantics
Jul 26 19:56:30 Finished semantics/alt_semantics                                  7s 317MB
Jul 26 19:56:30 Starting semantics/alt_semantics/proofs
Jul 26 19:58:23 Finished semantics/alt_semantics/proofs                        1m52s 752MB
Jul 26 19:58:23 Starting basis/pure
Jul 26 19:59:14 Finished basis/pure                                              50s 623MB
Jul 26 19:59:15 Starting translator
Jul 26 20:01:07 Finished translator                                            1m51s   1GB
Jul 26 20:01:08 Starting compiler/parsing
Jul 26 20:02:32 Finished compiler/parsing                                      1m24s   2GB
Jul 26 20:02:33 Starting characteristic
Jul 26 20:08:42 Finished characteristic                                        6m08s   1GB
Jul 26 20:08:42 Starting translator/monadic
Jul 26 20:10:12 Finished translator/monadic                                    1m29s   1GB
Jul 26 20:10:13 Starting basis
Jul 26 20:33:29 Finished basis                                                23m16s   2GB
Jul 26 20:33:30 Starting compiler/inference
Jul 26 20:35:19 Finished compiler/inference                                    1m49s   1GB
Jul 26 20:35:20 Starting compiler/backend/reg_alloc
Jul 26 20:36:53 Finished compiler/backend/reg_alloc                            1m33s   1GB
Jul 26 20:36:53 Starting compiler/backend/gc
Jul 26 20:52:37 Finished compiler/backend/gc                                  15m42s   1GB
Jul 26 20:52:37 Starting compiler/backend
Jul 26 20:52:39 Finished compiler/backend                                         1s  44MB
Jul 26 20:52:39 Starting compiler/encoders/asm
Jul 26 20:52:40 Finished compiler/encoders/asm                                    0s  37MB
Jul 26 20:52:40 Starting compiler/encoders/x64
Jul 26 20:53:21 Finished compiler/encoders/x64                                   40s 957MB
Jul 26 20:53:21 Starting compiler/encoders/arm7
Jul 26 20:54:36 Finished compiler/encoders/arm7                                1m14s 753MB
Jul 26 20:54:36 Starting compiler/encoders/arm8
Jul 26 20:54:56 Finished compiler/encoders/arm8                                  19s 846MB
Jul 26 20:54:57 Starting compiler/encoders/mips
Jul 26 20:55:26 Finished compiler/encoders/mips                                  28s 850MB
Jul 26 20:55:26 Starting compiler/encoders/riscv
Jul 26 20:55:52 Finished compiler/encoders/riscv                                 25s 699MB
Jul 26 20:55:52 Starting compiler/encoders/ag32
Jul 26 20:56:17 Finished compiler/encoders/ag32                                  25s 640MB
Jul 26 20:56:18 Starting compiler/backend/x64
Jul 26 20:56:48 Finished compiler/backend/x64                                    29s   1GB
Jul 26 20:56:48 Starting compiler/backend/arm7
Jul 26 20:57:20 Finished compiler/backend/arm7                                   31s   1GB
Jul 26 20:57:21 Starting compiler/backend/arm8
Jul 26 20:57:50 Finished compiler/backend/arm8                                   28s 996MB
Jul 26 20:57:50 Starting compiler/backend/mips
Jul 26 20:58:21 Finished compiler/backend/mips                                   30s   1GB
Jul 26 20:58:21 Starting compiler/backend/riscv
Jul 26 20:58:51 Finished compiler/backend/riscv                                  29s   1GB
Jul 26 20:58:52 Starting compiler/backend/ag32
Jul 26 21:00:46 Finished compiler/backend/ag32                                 1m54s   1GB
Jul 26 21:00:47 Starting compiler/parsing/proofs
Jul 26 21:07:24 Finished compiler/parsing/proofs                               6m36s 891MB
Jul 26 21:07:24 Starting compiler/inference/proofs
Jul 26 21:10:24 Finished compiler/inference/proofs                             2m59s 994MB
Jul 26 21:10:24 Starting compiler/backend/semantics
Jul 26 21:18:00 Finished compiler/backend/semantics                            7m35s   1GB
Jul 26 21:18:00 Starting compiler/backend/reg_alloc/proofs
Jul 26 21:21:10 Finished compiler/backend/reg_alloc/proofs                     3m09s 997MB
Jul 26 21:21:10 Starting compiler/backend/proofs
Jul 26 21:59:20 Finished compiler/backend/proofs                              38m09s   3GB
Jul 26 21:59:21 Starting compiler/encoders/x64/proofs
Jul 26 22:08:24 Finished compiler/encoders/x64/proofs                          9m02s   4GB
Jul 26 22:08:24 Starting compiler/encoders/arm7/proofs
Jul 26 22:20:41 Finished compiler/encoders/arm7/proofs                        12m16s   3GB
Jul 26 22:20:41 Starting compiler/encoders/arm8/proofs
Jul 26 22:27:09 Finished compiler/encoders/arm8/proofs                         6m27s   1GB
Jul 26 22:27:09 Starting compiler/encoders/mips/proofs
Jul 26 22:36:25 Finished compiler/encoders/mips/proofs                         9m15s   3GB
Jul 26 22:36:26 Starting compiler/encoders/riscv/proofs
Jul 26 22:44:42 Finished compiler/encoders/riscv/proofs                        8m16s 992MB
Jul 26 22:44:42 Starting compiler/encoders/ag32/proofs
Jul 26 22:47:11 Finished compiler/encoders/ag32/proofs                         2m28s 705MB
Jul 26 22:47:12 Starting compiler/backend/x64/proofs
Jul 26 22:47:28 Finished compiler/backend/x64/proofs                             15s   1GB
Jul 26 22:47:28 Starting compiler/backend/arm7/proofs
Jul 26 22:47:46 Finished compiler/backend/arm7/proofs                            17s   1GB
Jul 26 22:47:46 Starting compiler/backend/arm8/proofs
Jul 26 22:48:03 Finished compiler/backend/arm8/proofs                            15s   1GB
Jul 26 22:48:03 Starting compiler/backend/mips/proofs
Jul 26 22:48:19 Finished compiler/backend/mips/proofs                            16s   1GB
Jul 26 22:48:20 Starting compiler/backend/riscv/proofs
Jul 26 22:48:38 Finished compiler/backend/riscv/proofs                           17s   1GB
Jul 26 22:48:38 Starting compiler/backend/ag32/proofs
Jul 26 22:57:26 Finished compiler/backend/ag32/proofs                          8m48s   2GB
Jul 26 22:57:27 Starting compiler/proofs
Jul 26 22:58:56 Finished compiler/proofs                                       1m28s   2GB
Jul 26 22:58:56 Starting candle/set-theory
Jul 26 22:59:22 Finished candle/set-theory                                       25s 907MB
Jul 26 22:59:22 Starting candle/syntax-lib
Jul 26 22:59:32 Finished candle/syntax-lib                                        9s 577MB
Jul 26 22:59:33 Starting candle/standard/syntax
Jul 26 23:01:12 Finished candle/standard/syntax                                1m39s 992MB
Jul 26 23:01:12 Starting candle/standard/semantics
Jul 26 23:02:46 Finished candle/standard/semantics                             1m33s   1GB
Jul 26 23:02:46 Starting candle/standard/monadic
Jul 26 23:04:18 Finished candle/standard/monadic                               1m31s   1GB
Jul 26 23:04:18 Starting candle/standard/ml_kernel
Jul 26 23:08:08 Finished candle/standard/ml_kernel                             3m49s   3GB
Jul 26 23:08:08 Starting candle/standard/opentheory
Jul 26 23:16:30 Finished candle/standard/opentheory                            8m21s   4GB
Jul 26 23:16:30 Starting candle/standard/opentheory/compilation
Jul 26 23:45:56 Finished candle/standard/opentheory/compilation               29m25s  16GB
Jul 26 23:45:57 Starting candle/standard/opentheory/compilation/proofs
Jul 26 23:46:57 Finished candle/standard/opentheory/compilation/proofs           59s   2GB
Jul 26 23:46:57 Starting characteristic/examples
Jul 26 23:48:19 Finished characteristic/examples                               1m21s   2GB
Jul 26 23:48:20 Starting tutorial/solutions
Jul 27 00:01:21 Finished tutorial/solutions                                   12m59s   6GB
Jul 27 00:01:21 Starting translator/monadic/examples
Jul 27 00:04:08 Finished translator/monadic/examples                           2m46s   2GB
Jul 27 00:04:09 Starting examples
Jul 27 00:12:51 Finished examples                                              8m42s   3GB
Jul 27 00:12:51 Starting examples/compilation/x64
Jul 27 02:15:37 Finished examples/compilation/x64                           2h02m45s  14GB
Jul 27 02:15:37 Starting examples/compilation/x64/proofs
Jul 27 02:17:00 Finished examples/compilation/x64/proofs                       1m22s   2GB
Jul 27 02:17:00 Starting examples/compilation/ag32
Jul 27 02:44:50 Finished examples/compilation/ag32                            27m48s   6GB
Jul 27 02:44:50 Starting examples/compilation/ag32/proofs
Jul 27 02:45:39 Finished examples/compilation/ag32/proofs                        47s   2GB
Jul 27 02:45:39 Starting translator/okasaki-examples
Jul 27 02:49:37 Finished translator/okasaki-examples                           3m57s   1GB
Jul 27 02:49:38 Starting translator/other-examples
Jul 27 02:50:16 Finished translator/other-examples                               38s   1GB
Jul 27 02:50:17 Starting compiler/parsing/tests
Jul 27 02:50:41 Finished compiler/parsing/tests                                  24s 617MB
Jul 27 02:50:42 Starting compiler/inference/tests
Jul 27 02:54:40 Finished compiler/inference/tests                              3m57s   4GB
Jul 27 02:54:41 Starting compiler/bootstrap/translation
Jul 27 05:22:41 Finished compiler/bootstrap/translation                     2h27m59s  42GB
Jul 27 05:22:41 Starting unverified/sexpr-bootstrap/x64/64
Jul 27 05:34:39 Finished unverified/sexpr-bootstrap/x64/64                    11m57s   3GB
Jul 27 05:34:40 Starting unverified/sexpr-bootstrap/x64/32
Jul 27 05:42:52 Finished unverified/sexpr-bootstrap/x64/32                     8m12s   6GB
Jul 27 05:42:53 Starting compiler/benchmarks
Jul 27 06:19:37 Finished compiler/benchmarks                                  36m44s   2GB
Jul 27 06:19:38 Starting compiler/bootstrap/compilation/x64/64
Jul 27 18:54:01 Finished compiler/bootstrap/compilation/x64/64             12h34m22s  64GB
Jul 27 18:54:02 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 27 18:58:15 Finished compiler/bootstrap/compilation/x64/64/proofs          4m12s   5GB
Jul 27 18:58:15 Starting compiler/bootstrap/compilation/x64/32
Jul 28 06:42:59 Finished compiler/bootstrap/compilation/x64/32             11h44m43s  64GB
Jul 28 06:43:00 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 28 06:45:18 Finished compiler/bootstrap/compilation/x64/32/proofs          2m17s   9GB
Jul 28 06:45:18 Starting compiler/bootstrap/compilation/ag32/32
Jul 28 18:41:56 Finished compiler/bootstrap/compilation/ag32/32            11h56m37s  64GB
Jul 28 18:41:57 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 28 19:15:47 Finished compiler/bootstrap/compilation/ag32/32/proofs        33m50s  13GB
Jul 28 19:15:48 SUCCESS