Job 964

CakeML:76201ad51d388ff095b0cfe06694170154093262
  Merge remote-tracking branch 'origin/master' into zero-byte [Jul 26 08:50:36]
#674 (zero-byte)
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:brain09 4.14.127.1.amd64-smp

Jul 26 10:24:22 Claimed job
Jul 26 10:24:27 Building HOL
Jul 26 10:40:44 Starting developers
Jul 26 10:40:45 Finished developers                                               0s  31MB
Jul 26 10:40:45 Starting developers/bin
Jul 26 10:40:55 Finished developers/bin                                           9s 974MB
Jul 26 10:40:55 Starting semantics/ffi
Jul 26 10:42:06 Finished semantics/ffi                                         1m10s 613MB
Jul 26 10:42:06 Starting semantics
Jul 26 10:44:59 Finished semantics                                             2m52s   1GB
Jul 26 10:44:59 Starting semantics/proofs
Jul 26 10:50:49 Finished semantics/proofs                                      5m49s   1GB
Jul 26 10:50:49 Starting semantics/alt_semantics
Jul 26 10:51:05 Finished semantics/alt_semantics                                 15s 331MB
Jul 26 10:51:05 Starting semantics/alt_semantics/proofs
Jul 26 10:54:35 Finished semantics/alt_semantics/proofs                        3m29s 940MB
Jul 26 10:54:35 Starting basis/pure
Jul 26 11:01:24 Finished basis/pure                                            6m48s   1GB
Jul 26 11:01:24 Starting translator
Jul 26 11:04:34 Finished translator                                            3m09s   1GB
Jul 26 11:04:34 Starting compiler/parsing
Jul 26 11:06:13 Finished compiler/parsing                                      1m38s   2GB
Jul 26 11:06:14 Starting characteristic
Jul 26 11:16:20 Finished characteristic                                       10m06s   2GB
Jul 26 11:16:20 Starting translator/monadic
Jul 26 11:19:18 Finished translator/monadic                                    2m57s   1GB
Jul 26 11:19:18 Starting basis
Jul 26 11:52:34 Finished basis                                                33m15s   8GB
Jul 26 11:52:34 Starting compiler/inference
Jul 26 11:56:12 Finished compiler/inference                                    3m37s   1GB
Jul 26 11:56:12 Starting compiler/backend/reg_alloc
Jul 26 11:57:50 Finished compiler/backend/reg_alloc                            1m37s   1GB
Jul 26 11:57:50 Starting compiler/backend/gc
Jul 26 12:14:25 Finished compiler/backend/gc                                  16m35s   2GB
Jul 26 12:14:26 Starting compiler/backend
Jul 26 12:14:28 Finished compiler/backend                                         2s  26MB
Jul 26 12:14:28 Starting compiler/encoders/asm
Jul 26 12:14:29 Finished compiler/encoders/asm                                    0s  27MB
Jul 26 12:14:29 Starting compiler/encoders/x64
Jul 26 12:16:33 Finished compiler/encoders/x64                                 2m04s 955MB
Jul 26 12:16:34 Starting compiler/encoders/arm7
Jul 26 12:20:24 Finished compiler/encoders/arm7                                3m50s   1GB
Jul 26 12:20:24 Starting compiler/encoders/arm8
Jul 26 12:21:29 Finished compiler/encoders/arm8                                1m04s 823MB
Jul 26 12:21:30 Starting compiler/encoders/mips
Jul 26 12:23:42 Finished compiler/encoders/mips                                2m12s   1GB
Jul 26 12:23:42 Starting compiler/encoders/riscv
Jul 26 12:26:13 Finished compiler/encoders/riscv                               2m30s   1GB
Jul 26 12:26:13 Starting compiler/encoders/ag32
Jul 26 12:26:47 Finished compiler/encoders/ag32                                  33s 546MB
Jul 26 12:26:47 Starting compiler/backend/x64
Jul 26 12:27:20 Finished compiler/backend/x64                                    32s   1GB
Jul 26 12:27:21 Starting compiler/backend/arm7
Jul 26 12:28:00 Finished compiler/backend/arm7                                   39s   1GB
Jul 26 12:28:00 Starting compiler/backend/arm8
Jul 26 12:28:35 Finished compiler/backend/arm8                                   34s   1GB
Jul 26 12:28:35 Starting compiler/backend/mips
Jul 26 12:29:08 Finished compiler/backend/mips                                   32s 955MB
Jul 26 12:29:08 Starting compiler/backend/riscv
Jul 26 12:29:45 Finished compiler/backend/riscv                                  36s   1GB
Jul 26 12:29:45 Starting compiler/backend/ag32
Jul 26 12:31:50 Finished compiler/backend/ag32                                 2m04s   2GB
Jul 26 12:31:50 Starting compiler/parsing/proofs
Jul 26 12:42:12 Finished compiler/parsing/proofs                              10m21s   2GB
Jul 26 12:42:12 Starting compiler/inference/proofs
Jul 26 12:47:25 Finished compiler/inference/proofs                             5m12s   1GB
Jul 26 12:47:25 Starting compiler/backend/semantics
Jul 26 12:59:59 Finished compiler/backend/semantics                           12m33s   2GB
Jul 26 12:59:59 Starting compiler/backend/reg_alloc/proofs
Jul 26 13:06:06 Finished compiler/backend/reg_alloc/proofs                     6m07s 956MB
Jul 26 13:06:07 Starting compiler/backend/proofs
Jul 26 14:11:18 Finished compiler/backend/proofs                            1h05m11s  10GB
Jul 26 14:11:18 Starting compiler/encoders/x64/proofs
Jul 26 14:30:02 Finished compiler/encoders/x64/proofs                         18m43s   4GB
Jul 26 14:30:02 Starting compiler/encoders/arm7/proofs
Jul 26 14:55:17 Finished compiler/encoders/arm7/proofs                        25m15s   4GB
Jul 26 14:55:18 Starting compiler/encoders/arm8/proofs
Jul 26 15:07:40 Finished compiler/encoders/arm8/proofs                        12m22s   2GB
Jul 26 15:07:40 Starting compiler/encoders/mips/proofs
Jul 26 15:25:51 Finished compiler/encoders/mips/proofs                        18m10s   2GB
Jul 26 15:25:51 Starting compiler/encoders/riscv/proofs
Jul 26 15:41:27 Finished compiler/encoders/riscv/proofs                       15m35s   1GB
Jul 26 15:41:27 Starting compiler/encoders/ag32/proofs
Jul 26 15:45:55 Finished compiler/encoders/ag32/proofs                         4m28s 919MB
Jul 26 15:45:56 Starting compiler/backend/x64/proofs
Jul 26 15:46:31 Finished compiler/backend/x64/proofs                             35s   1GB
Jul 26 15:46:31 Starting compiler/backend/arm7/proofs
Jul 26 15:47:11 Finished compiler/backend/arm7/proofs                            39s   1GB
Jul 26 15:47:11 Starting compiler/backend/arm8/proofs
Jul 26 15:47:47 Finished compiler/backend/arm8/proofs                            35s   1GB
Jul 26 15:47:47 Starting compiler/backend/mips/proofs
Jul 26 15:48:26 Finished compiler/backend/mips/proofs                            38s   1GB
Jul 26 15:48:26 Starting compiler/backend/riscv/proofs
Jul 26 15:49:02 Finished compiler/backend/riscv/proofs                           36s   1GB
Jul 26 15:49:02 Starting compiler/backend/ag32/proofs
Jul 26 16:05:31 Finished compiler/backend/ag32/proofs                         16m28s  12GB
Jul 26 16:05:31 Starting compiler/proofs
Jul 26 16:08:03 Finished compiler/proofs                                       2m31s   3GB
Jul 26 16:08:03 Starting candle/set-theory
Jul 26 16:08:49 Finished candle/set-theory                                       45s   1GB
Jul 26 16:08:49 Starting candle/syntax-lib
Jul 26 16:09:10 Finished candle/syntax-lib                                       20s 526MB
Jul 26 16:09:10 Starting candle/standard/syntax
Jul 26 16:12:21 Finished candle/standard/syntax                                3m10s   1GB
Jul 26 16:12:21 Starting candle/standard/semantics
Jul 26 16:15:29 Finished candle/standard/semantics                             3m07s   1GB
Jul 26 16:15:29 Starting candle/standard/monadic
Jul 26 16:18:11 Finished candle/standard/monadic                               2m42s   1GB
Jul 26 16:18:12 Starting candle/standard/ml_kernel
Jul 26 16:25:17 Finished candle/standard/ml_kernel                             7m04s   3GB
Jul 26 16:25:17 Starting candle/standard/opentheory
Jul 26 16:41:26 Finished candle/standard/opentheory                           16m09s   5GB
Jul 26 16:41:26 Starting candle/standard/opentheory/compilation
Jul 27 03:42:37 Finished candle/standard/opentheory/compilation            11h01m10s 565GB
Jul 27 03:42:37 Starting candle/standard/opentheory/compilation/proofs
Jul 27 03:44:29 Finished candle/standard/opentheory/compilation/proofs         1m51s   2GB
Jul 27 03:44:29 Starting characteristic/examples
Jul 27 03:47:31 Finished characteristic/examples                               3m02s   6GB
Jul 27 03:47:32 Starting tutorial/solutions
Jul 27 05:39:54 Finished tutorial/solutions                                 1h52m21s 177GB
Jul 27 05:39:54 Starting translator/monadic/examples
Jul 27 05:44:31 Finished translator/monadic/examples                           4m37s   2GB
Jul 27 05:44:32 Starting examples
Jul 27 05:58:53 Finished examples                                             14m21s  19GB
Jul 27 05:58:54 Starting examples/compilation/x64
Jul 28 04:03:43 Finished examples/compilation/x64                          22h04m48s 525GB
Jul 28 04:03:43 Starting examples/compilation/x64/proofs
Jul 28 04:06:27 Finished examples/compilation/x64/proofs                       2m43s   2GB
Jul 28 04:06:27 Starting examples/compilation/ag32
Jul 28 06:23:05 Finished examples/compilation/ag32                          2h16m38s 130GB
Jul 28 06:23:06 Starting examples/compilation/ag32/proofs
Jul 28 06:24:59 Finished examples/compilation/ag32/proofs                      1m53s   5GB
Jul 28 06:25:00 Starting translator/okasaki-examples
Jul 28 06:32:05 Finished translator/okasaki-examples                           7m05s   2GB
Jul 28 06:32:05 Starting translator/other-examples
Jul 28 06:38:37 Finished translator/other-examples                             6m31s   1GB
Jul 28 06:38:37 Starting compiler/parsing/tests
Jul 28 06:39:43 Finished compiler/parsing/tests                                1m05s   2GB
Jul 28 06:39:43 Starting compiler/inference/tests
Jul 28 06:59:16 Finished compiler/inference/tests                             19m32s  34GB
Jul 28 06:59:16 Starting compiler/bootstrap/translation
Jul 28 11:33:38 Finished compiler/bootstrap/translation                     4h34m21s  71GB
Jul 28 11:33:39 Starting unverified/sexpr-bootstrap/x64/64
Jul 28 11:52:24 Finished unverified/sexpr-bootstrap/x64/64                    18m45s   8GB
Jul 28 11:52:24 Starting unverified/sexpr-bootstrap/x64/32
Jul 28 12:08:04 Finished unverified/sexpr-bootstrap/x64/32                    15m39s   6GB
Jul 28 12:08:04 Starting compiler/benchmarks
Jul 28 12:31:39 Finished compiler/benchmarks                                  23m34s   2GB
Jul 28 12:31:39 Starting compiler/bootstrap/compilation/x64/64 Jul 28 12:31:39 2641s