Job 831

CakeML:62c51fa831d455390795c47c53f56b050a23f7ad
  Merge pull request #627 from CakeML/monadic-trans-cleanup [Apr 27 07:20:55]
HOL:6d809bfa2ef8cbcb75d63317c4f8f2e1a6a836ed
  Make hol-horizontal (M-h 3 or M-h H w/horizontal) have 80 col window [May 01 23:38:18]
Machine:brain08 4.14.89.1.amd64-smp 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

May 02 08:29:39 Claimed job
May 02 08:29:44 Building HOL
May 02 08:44:35 Starting developers
May 02 08:44:36 Finished developers                                               1s  33MB
May 02 08:44:36 Starting developers/bin
May 02 08:44:45 Finished developers/bin                                           8s 923MB
May 02 08:44:45 Starting semantics/ffi
May 02 08:45:51 Finished semantics/ffi                                         1m05s 385MB
May 02 08:45:51 Starting semantics
May 02 08:48:46 Finished semantics                                             2m55s   1GB
May 02 08:48:47 Starting semantics/proofs
May 02 08:54:33 Finished semantics/proofs                                      5m45s   1GB
May 02 08:54:33 Starting basis/pure
May 02 09:01:16 Finished basis/pure                                            6m42s 575MB
May 02 09:01:16 Starting translator
May 02 09:04:23 Finished translator                                            3m07s   1GB
May 02 09:04:24 Starting compiler/parsing
May 02 09:06:12 Finished compiler/parsing                                      1m47s   2GB
May 02 09:06:12 Starting characteristic
May 02 09:16:32 Finished characteristic                                       10m20s   2GB
May 02 09:16:33 Starting translator/monadic
May 02 09:19:21 Finished translator/monadic                                    2m47s   1GB
May 02 09:19:21 Starting basis
May 02 09:50:24 Finished basis                                                31m03s   2GB
May 02 09:50:25 Starting compiler/inference
May 02 09:54:01 Finished compiler/inference                                    3m35s   1GB
May 02 09:54:02 Starting compiler/backend/reg_alloc
May 02 09:55:40 Finished compiler/backend/reg_alloc                            1m38s   1GB
May 02 09:55:41 Starting compiler/backend/gc
May 02 10:12:23 Finished compiler/backend/gc                                  16m42s   1GB
May 02 10:12:24 Starting compiler/backend
May 02 10:12:32 Finished compiler/backend                                         7s 296MB
May 02 10:12:32 Starting compiler/encoders/asm
May 02 10:12:33 Finished compiler/encoders/asm                                    0s  32MB
May 02 10:12:33 Starting compiler/encoders/x64
May 02 10:14:33 Finished compiler/encoders/x64                                 1m59s 837MB
May 02 10:14:33 Starting compiler/encoders/arm6
May 02 10:18:05 Finished compiler/encoders/arm6                                3m31s   3GB
May 02 10:18:06 Starting compiler/encoders/arm8
May 02 10:19:10 Finished compiler/encoders/arm8                                1m04s 910MB
May 02 10:19:11 Starting compiler/encoders/mips
May 02 10:21:24 Finished compiler/encoders/mips                                2m13s   1GB
May 02 10:21:25 Starting compiler/encoders/riscv
May 02 10:23:51 Finished compiler/encoders/riscv                               2m26s   1GB
May 02 10:23:51 Starting compiler/encoders/ag32
May 02 10:24:21 Finished compiler/encoders/ag32                                  29s 596MB
May 02 10:24:21 Starting compiler/backend/x64
May 02 10:24:55 Finished compiler/backend/x64                                    33s   1GB
May 02 10:24:55 Starting compiler/backend/arm6
May 02 10:25:35 Finished compiler/backend/arm6                                   39s   1GB
May 02 10:25:36 Starting compiler/backend/arm8
May 02 10:26:15 Finished compiler/backend/arm8                                   39s   1GB
May 02 10:26:15 Starting compiler/backend/mips
May 02 10:26:51 Finished compiler/backend/mips                                   36s   1GB
May 02 10:26:52 Starting compiler/backend/riscv
May 02 10:27:29 Finished compiler/backend/riscv                                  37s   1GB
May 02 10:27:29 Starting compiler/backend/ag32
May 02 10:29:38 Finished compiler/backend/ag32                                 2m08s   1GB
May 02 10:29:38 Starting compiler/parsing/proofs
May 02 10:40:42 Finished compiler/parsing/proofs                              11m04s   1GB
May 02 10:40:43 Starting compiler/inference/proofs
May 02 10:45:59 Finished compiler/inference/proofs                             5m16s   1GB
May 02 10:45:59 Starting compiler/backend/semantics
May 02 10:59:37 Finished compiler/backend/semantics                           13m37s   3GB
May 02 10:59:37 Starting compiler/backend/reg_alloc/proofs
May 02 11:06:22 Finished compiler/backend/reg_alloc/proofs                     6m44s 856MB
May 02 11:06:22 Starting compiler/backend/proofs
May 02 12:14:18 Finished compiler/backend/proofs                            1h07m55s   3GB
May 02 12:14:18 Starting compiler/encoders/x64/proofs
May 02 12:35:01 Finished compiler/encoders/x64/proofs                         20m42s   6GB
May 02 12:35:01 Starting compiler/encoders/arm6/proofs
May 02 13:03:17 Finished compiler/encoders/arm6/proofs                        28m15s   4GB
May 02 13:03:17 Starting compiler/encoders/arm8/proofs
May 02 13:16:33 Finished compiler/encoders/arm8/proofs                        13m15s   2GB
May 02 13:16:33 Starting compiler/encoders/mips/proofs
May 02 13:36:37 Finished compiler/encoders/mips/proofs                        20m03s   3GB
May 02 13:36:38 Starting compiler/encoders/riscv/proofs
May 02 13:52:58 Finished compiler/encoders/riscv/proofs                       16m20s   1GB
May 02 13:52:58 Starting compiler/encoders/ag32/proofs
May 02 13:58:08 Finished compiler/encoders/ag32/proofs                         5m09s 832MB
May 02 13:58:09 Starting compiler/backend/x64/proofs
May 02 13:58:47 Finished compiler/backend/x64/proofs                             38s   1GB
May 02 13:58:47 Starting compiler/backend/arm6/proofs
May 02 13:59:33 Finished compiler/backend/arm6/proofs                            45s   1GB
May 02 13:59:33 Starting compiler/backend/arm8/proofs
May 02 14:00:12 Finished compiler/backend/arm8/proofs                            38s   1GB
May 02 14:00:12 Starting compiler/backend/mips/proofs
May 02 14:00:54 Finished compiler/backend/mips/proofs                            42s   1GB
May 02 14:00:54 Starting compiler/backend/riscv/proofs
May 02 14:01:37 Finished compiler/backend/riscv/proofs                           41s   1GB
May 02 14:01:37 Starting compiler/backend/ag32/proofs
May 02 14:19:26 Finished compiler/backend/ag32/proofs                         17m49s   1GB
May 02 14:19:26 Starting compiler/proofs
May 02 14:22:00 Finished compiler/proofs                                       2m32s   2GB
May 02 14:22:00 Starting candle/set-theory
May 02 14:22:45 Finished candle/set-theory                                       44s 672MB
May 02 14:22:45 Starting candle/syntax-lib
May 02 14:23:10 Finished candle/syntax-lib                                       24s 589MB
May 02 14:23:10 Starting candle/standard/syntax
May 02 14:26:38 Finished candle/standard/syntax                                3m28s   1GB
May 02 14:26:39 Starting candle/standard/semantics
May 02 14:29:52 Finished candle/standard/semantics                             3m13s   1GB
May 02 14:29:52 Starting candle/standard/monadic
May 02 14:33:01 Finished candle/standard/monadic                               3m08s   1GB
May 02 14:33:01 Starting candle/standard/ml_kernel
May 02 14:40:10 Finished candle/standard/ml_kernel                             7m09s   4GB
May 02 14:40:11 Starting candle/standard/opentheory
May 02 14:57:38 Finished candle/standard/opentheory                           17m27s   4GB
May 02 14:57:39 Starting candle/standard/opentheory/compilation
May 02 15:51:23 Finished candle/standard/opentheory/compilation               53m44s  11GB
May 02 15:51:24 Starting candle/standard/opentheory/compilation/proofs
May 02 15:53:08 Finished candle/standard/opentheory/compilation/proofs         1m44s   2GB
May 02 15:53:08 Starting characteristic/examples
May 02 15:55:55 Finished characteristic/examples                               2m46s   1GB
May 02 15:55:55 Starting tutorial/solutions
May 02 16:20:29 Finished tutorial/solutions                                   24m33s   8GB
May 02 16:20:29 Starting translator/monadic/examples
May 02 16:24:51 Finished translator/monadic/examples                           4m21s   2GB
May 02 16:24:51 Starting examples
May 02 16:37:37 Finished examples                                             12m46s   3GB
May 02 16:37:38 Starting examples/compilation/x64
May 02 20:08:21 Finished examples/compilation/x64                           3h30m43s  16GB
May 02 20:08:21 Starting examples/compilation/x64/proofs
May 02 20:10:59 Finished examples/compilation/x64/proofs                       2m37s   2GB
May 02 20:10:59 Starting examples/compilation/ag32
May 02 21:03:36 Finished examples/compilation/ag32                            52m37s   6GB
May 02 21:03:37 Starting examples/compilation/ag32/proofs
May 02 21:05:26 Finished examples/compilation/ag32/proofs                      1m49s   2GB
May 02 21:05:26 Starting translator/okasaki-examples
May 02 21:12:57 Finished translator/okasaki-examples                           7m30s   1GB
May 02 21:12:58 Starting translator/other-examples
May 02 21:19:21 Finished translator/other-examples                             6m22s   1GB
May 02 21:19:21 Starting compiler/parsing/tests
May 02 21:20:08 Finished compiler/parsing/tests                                  47s 568MB
May 02 21:20:09 Starting compiler/inference/tests
May 02 21:27:25 Finished compiler/inference/tests                              7m15s   4GB
May 02 21:27:25 Starting compiler/bootstrap/translation
May 03 02:14:52 Finished compiler/bootstrap/translation                     4h47m26s  44GB
May 03 02:14:52 Starting unverified/sexpr-bootstrap/x64/64
May 03 02:26:01 Finished unverified/sexpr-bootstrap/x64/64                    11m08s   6GB
May 03 02:26:01 Starting unverified/sexpr-bootstrap/x64/32
May 03 02:34:00 Finished unverified/sexpr-bootstrap/x64/32                     7m58s   6GB
May 03 02:34:00 Starting compiler/benchmarks
May 03 02:57:51 Finished compiler/benchmarks                                  23m49s   2GB
May 03 02:57:51 Starting compiler/bootstrap/compilation/x64/64
May 04 03:11:33 Finished compiler/bootstrap/compilation/x64/64             24h13m41s 307GB
May 04 03:11:34 Starting compiler/bootstrap/compilation/x64/64/proofs
May 04 03:15:49 Finished compiler/bootstrap/compilation/x64/64/proofs          4m15s  10GB
May 04 03:15:50 Starting compiler/bootstrap/compilation/x64/32
May 05 00:50:09 Finished compiler/bootstrap/compilation/x64/32             21h34m18s 256GB
May 05 00:50:09 Starting compiler/bootstrap/compilation/x64/32/proofs
May 05 00:54:01 Finished compiler/bootstrap/compilation/x64/32/proofs          3m52s   9GB
May 05 00:54:02 Starting compiler/bootstrap/compilation/ag32/32
May 05 22:55:36 Finished compiler/bootstrap/compilation/ag32/32            22h01m33s 290GB
May 05 22:55:36 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 05 23:22:24 Finished compiler/bootstrap/compilation/ag32/32/proofs        26m47s  31GB
May 05 23:22:24 SUCCESS