Job 1169

CakeML:f5a25c5d9d40fd662f315884de78595f5aadbb2c
  Merge pull request #720 from CakeML/flat-to-clos [Jan 28 11:02:01]
HOL:b219f4bb4132ea21f42769a8edf7e3abde4cc48d
  emacs-mode: some indentation tweaks [Jan 22 06:44:58]
Machine:stove 4.15.0-55-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

Jan 28 11:03:41 Claimed job
Jan 28 11:03:45 Building HOL
Jan 28 11:14:15 Starting developers
Jan 28 11:14:19 Finished developers                                               4s 133MB
Jan 28 11:14:19 Starting developers/bin
Jan 28 11:14:26 Finished developers/bin                                           7s   1GB
Jan 28 11:14:26 Starting semantics/ffi
Jan 28 11:14:36 Finished semantics/ffi                                            9s 242MB
Jan 28 11:14:36 Starting semantics
Jan 28 11:16:02 Finished semantics                                             1m25s 960MB
Jan 28 11:16:02 Starting semantics/proofs
Jan 28 11:19:09 Finished semantics/proofs                                      3m07s   1GB
Jan 28 11:19:09 Starting semantics/alt_semantics
Jan 28 11:19:17 Finished semantics/alt_semantics                                  7s 309MB
Jan 28 11:19:17 Starting semantics/alt_semantics/proofs
Jan 28 11:21:15 Finished semantics/alt_semantics/proofs                        1m57s 842MB
Jan 28 11:21:15 Starting basis/pure
Jan 28 11:24:07 Finished basis/pure                                            2m51s 902MB
Jan 28 11:24:07 Starting translator
Jan 28 11:26:34 Finished translator                                            2m27s   1GB
Jan 28 11:26:34 Starting compiler/parsing
Jan 28 11:27:36 Finished compiler/parsing                                      1m01s   2GB
Jan 28 11:27:36 Starting characteristic
Jan 28 11:33:10 Finished characteristic                                        5m33s   1GB
Jan 28 11:33:11 Starting translator/monadic
Jan 28 11:34:44 Finished translator/monadic                                    1m33s   1GB
Jan 28 11:34:44 Starting basis
Jan 28 12:06:47 Finished basis                                                32m00s  20GB
Jan 28 12:06:47 Starting compiler/inference
Jan 28 12:08:55 Finished compiler/inference                                    2m08s   2GB
Jan 28 12:08:55 Starting compiler/backend/reg_alloc
Jan 28 12:09:56 Finished compiler/backend/reg_alloc                            1m00s   1GB
Jan 28 12:09:56 Starting compiler/backend/gc
Jan 28 12:13:03 Finished compiler/backend/gc                                   3m07s   2GB
Jan 28 12:13:04 Starting compiler/backend
Jan 28 12:17:13 Finished compiler/backend                                      4m09s   3GB
Jan 28 12:17:13 Starting compiler/encoders/asm
Jan 28 12:17:34 Finished compiler/encoders/asm                                   21s 835MB
Jan 28 12:17:34 Starting compiler/encoders/x64
Jan 28 12:18:28 Finished compiler/encoders/x64                                   53s 882MB
Jan 28 12:18:28 Starting compiler/encoders/arm7
Jan 28 12:20:06 Finished compiler/encoders/arm7                                1m38s   1GB
Jan 28 12:20:06 Starting compiler/encoders/arm8
Jan 28 12:20:37 Finished compiler/encoders/arm8                                  31s 619MB
Jan 28 12:20:37 Starting compiler/encoders/mips
Jan 28 12:21:44 Finished compiler/encoders/mips                                1m06s   1GB
Jan 28 12:21:44 Starting compiler/encoders/riscv
Jan 28 12:23:02 Finished compiler/encoders/riscv                               1m18s   1GB
Jan 28 12:23:02 Starting compiler/encoders/ag32
Jan 28 12:23:19 Finished compiler/encoders/ag32                                  16s 794MB
Jan 28 12:23:19 Starting compiler/backend/x64
Jan 28 12:23:37 Finished compiler/backend/x64                                    17s   1GB
Jan 28 12:23:37 Starting compiler/backend/arm7
Jan 28 12:23:56 Finished compiler/backend/arm7                                   19s   1GB
Jan 28 12:23:56 Starting compiler/backend/arm8
Jan 28 12:24:14 Finished compiler/backend/arm8                                   17s 963MB
Jan 28 12:24:14 Starting compiler/backend/mips
Jan 28 12:24:33 Finished compiler/backend/mips                                   18s   1GB
Jan 28 12:24:33 Starting compiler/backend/riscv
Jan 28 12:24:50 Finished compiler/backend/riscv                                  16s   1GB
Jan 28 12:24:50 Starting compiler/backend/ag32
Jan 28 12:25:55 Finished compiler/backend/ag32                                 1m04s   1GB
Jan 28 12:25:55 Starting compiler/parsing/proofs
Jan 28 12:31:32 Finished compiler/parsing/proofs                               5m37s   1GB
Jan 28 12:31:32 Starting compiler/inference/proofs
Jan 28 12:34:21 Finished compiler/inference/proofs                             2m48s   1GB
Jan 28 12:34:21 Starting compiler/backend/semantics
Jan 28 13:00:07 Finished compiler/backend/semantics                           25m46s   1GB
Jan 28 13:00:07 Starting compiler/backend/reg_alloc/proofs
Jan 28 13:03:23 Finished compiler/backend/reg_alloc/proofs                     3m15s 939MB
Jan 28 13:03:23 Starting compiler/backend/proofs
Jan 28 14:01:01 Finished compiler/backend/proofs                              57m36s  12GB
Jan 28 14:01:01 Starting compiler/encoders/x64/proofs
Jan 28 14:09:59 Finished compiler/encoders/x64/proofs                          8m57s   4GB
Jan 28 14:09:59 Starting compiler/encoders/arm7/proofs
Jan 28 14:22:01 Finished compiler/encoders/arm7/proofs                        12m01s   3GB
Jan 28 14:22:01 Starting compiler/encoders/arm8/proofs
Jan 28 14:28:00 Finished compiler/encoders/arm8/proofs                         5m59s   1GB
Jan 28 14:28:01 Starting compiler/encoders/mips/proofs
Jan 28 14:37:06 Finished compiler/encoders/mips/proofs                         9m05s   2GB
Jan 28 14:37:06 Starting compiler/encoders/riscv/proofs
Jan 28 14:45:18 Finished compiler/encoders/riscv/proofs                        8m11s   1GB
Jan 28 14:45:18 Starting compiler/encoders/ag32/proofs
Jan 28 14:47:42 Finished compiler/encoders/ag32/proofs                         2m24s 799MB
Jan 28 14:47:42 Starting compiler/backend/x64/proofs
Jan 28 14:48:02 Finished compiler/backend/x64/proofs                             19s   1GB
Jan 28 14:48:02 Starting compiler/backend/arm7/proofs
Jan 28 14:48:23 Finished compiler/backend/arm7/proofs                            20s   1GB
Jan 28 14:48:23 Starting compiler/backend/arm8/proofs
Jan 28 14:48:41 Finished compiler/backend/arm8/proofs                            18s 824MB
Jan 28 14:48:41 Starting compiler/backend/mips/proofs
Jan 28 14:49:01 Finished compiler/backend/mips/proofs                            19s   1GB
Jan 28 14:49:01 Starting compiler/backend/riscv/proofs
Jan 28 14:49:20 Finished compiler/backend/riscv/proofs                           19s   1GB
Jan 28 14:49:20 Starting compiler/backend/ag32/proofs
Jan 28 15:01:34 Finished compiler/backend/ag32/proofs                         12m13s   2GB
Jan 28 15:01:34 Starting compiler/proofs
Jan 28 15:03:19 Finished compiler/proofs                                       1m45s   4GB
Jan 28 15:03:19 Starting candle/set-theory
Jan 28 15:03:46 Finished candle/set-theory                                       27s 711MB
Jan 28 15:03:46 Starting candle/syntax-lib
Jan 28 15:03:56 Finished candle/syntax-lib                                        9s 699MB
Jan 28 15:03:56 Starting candle/standard/syntax
Jan 28 15:05:39 Finished candle/standard/syntax                                1m42s 845MB
Jan 28 15:05:39 Starting candle/standard/semantics
Jan 28 15:07:15 Finished candle/standard/semantics                             1m35s 973MB
Jan 28 15:07:15 Starting candle/standard/monadic
Jan 28 15:08:45 Finished candle/standard/monadic                               1m30s   1GB
Jan 28 15:08:45 Starting candle/standard/ml_kernel
Jan 28 15:13:39 Finished candle/standard/ml_kernel                             4m53s   4GB
Jan 28 15:13:39 Starting candle/standard/opentheory
Jan 28 15:22:33 Finished candle/standard/opentheory                            8m54s   4GB
Jan 28 15:22:33 Starting candle/standard/opentheory/compilation
Jan 28 15:52:25 Finished candle/standard/opentheory/compilation               29m51s  17GB
Jan 28 15:52:25 Starting candle/standard/opentheory/compilation/proofs
Jan 28 15:53:03 Finished candle/standard/opentheory/compilation/proofs           37s   3GB
Jan 28 15:53:03 Starting characteristic/examples
Jan 28 15:54:30 Finished characteristic/examples                               1m26s   2GB
Jan 28 15:54:30 Starting tutorial/solutions
Jan 28 16:08:20 Finished tutorial/solutions                                   13m49s   8GB
Jan 28 16:08:20 Starting translator/monadic/examples
Jan 28 16:11:06 Finished translator/monadic/examples                           2m45s   2GB
Jan 28 16:11:06 Starting examples
Jan 28 16:19:30 Finished examples                                              8m24s   3GB
Jan 28 16:19:30 Starting examples/compilation/x64
Jan 28 18:31:07 Finished examples/compilation/x64                           2h11m37s  15GB
Jan 28 18:31:07 Starting examples/compilation/x64/proofs
Jan 28 18:32:43 Finished examples/compilation/x64/proofs                       1m35s   3GB
Jan 28 18:32:43 Starting examples/compilation/ag32
Jan 28 19:02:57 Finished examples/compilation/ag32                            30m13s   6GB
Jan 28 19:02:57 Starting examples/compilation/ag32/proofs
Jan 28 19:03:39 Finished examples/compilation/ag32/proofs                        42s   3GB
Jan 28 19:03:39 Starting examples/cost
Jan 28 19:43:02 Finished examples/cost                                        39m22s   8GB
Jan 28 19:43:02 Starting examples/lpr_checker
Jan 28 19:46:39 Finished examples/lpr_checker                                  3m36s   3GB
Jan 28 19:46:39 Starting examples/lpr_checker/compilation
Jan 28 20:02:25 Finished examples/lpr_checker/compilation                     15m46s   7GB
Jan 28 20:02:25 Starting examples/lpr_checker/compilation/proofs
Jan 28 20:03:02 Finished examples/lpr_checker/compilation/proofs                 36s   3GB
Jan 28 20:03:02 Starting examples/lpr_checker/array
Jan 28 20:12:11 Finished examples/lpr_checker/array                            9m09s   2GB
Jan 28 20:12:11 Starting examples/lpr_checker/array/compilation
Jan 28 20:26:51 Finished examples/lpr_checker/array/compilation               14m40s   8GB
Jan 28 20:26:51 Starting examples/lpr_checker/array/compilation/proofs
Jan 28 20:27:35 Finished examples/lpr_checker/array/compilation/proofs           43s   3GB
Jan 28 20:27:35 Starting translator/okasaki-examples
Jan 28 20:31:43 Finished translator/okasaki-examples                           4m07s   1GB
Jan 28 20:31:43 Starting translator/other-examples
Jan 28 20:33:30 Finished translator/other-examples                             1m47s   1GB
Jan 28 20:33:30 Starting compiler/parsing/tests
Jan 28 20:33:55 Finished compiler/parsing/tests                                  24s 550MB
Jan 28 20:33:55 Starting compiler/inference/tests
Jan 28 20:38:17 Finished compiler/inference/tests                              4m21s   5GB
Jan 28 20:38:17 Starting compiler/bootstrap/translation
Jan 29 00:02:26 Finished compiler/bootstrap/translation                     3h24m08s  40GB
Jan 29 00:02:26 Starting unverified/sexpr-bootstrap/x64/64
Jan 29 00:17:44 Finished unverified/sexpr-bootstrap/x64/64                    15m17s   6GB
Jan 29 00:17:44 Starting unverified/sexpr-bootstrap/x64/32
Jan 29 00:28:28 Finished unverified/sexpr-bootstrap/x64/32                    10m43s  11GB
Jan 29 00:28:28 Starting compiler/benchmarks
Jan 29 00:28:30 Finished compiler/benchmarks                                      1s  49MB
Jan 29 00:28:30 Starting compiler/bootstrap/compilation/x64/64
Jan 29 14:20:16 Finished compiler/bootstrap/compilation/x64/64             13h51m45s  64GB
Jan 29 14:20:16 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 29 14:23:58 Finished compiler/bootstrap/compilation/x64/64/proofs          3m42s  15GB
Jan 29 14:23:58 Starting compiler/bootstrap/compilation/x64/32
Jan 30 02:07:30 Finished compiler/bootstrap/compilation/x64/32             11h43m31s  64GB
Jan 30 02:07:30 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 30 02:11:07 Finished compiler/bootstrap/compilation/x64/32/proofs          3m35s  16GB
Jan 30 02:11:07 Starting compiler/bootstrap/compilation/ag32/32
Jan 30 16:05:07 Finished compiler/bootstrap/compilation/ag32/32            13h54m00s  64GB
Jan 30 16:05:07 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 30 16:21:07 Finished compiler/bootstrap/compilation/ag32/32/proofs        16m00s  31GB
Jan 30 16:21:07 SUCCESS