Job 1395

CakeML:e76d28c8e72843dfda88ff470e38d5fdfa8acda4
  Merge pull request #802 from CakeML/data-cost [Nov 14 14:20:36]
HOL:ea22210a5c1604df84c66d847322f752e263354d
  Fiddle with file in attempt to get otknl build progressing further [Nov 10 07:57:06]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Nov 15 14:00:01 Claimed job
Nov 15 14:00:03 Reusing HOL
Nov 15 14:00:49 Starting developers
Nov 15 14:00:54 Finished developers                                               4s 109MB
Nov 15 14:00:54 Starting developers/bin
Nov 15 14:01:01 Finished developers/bin                                           6s   1GB
Nov 15 14:01:01 Starting semantics/ffi
Nov 15 14:01:13 Finished semantics/ffi                                           11s 231MB
Nov 15 14:01:13 Starting semantics
Nov 15 14:02:39 Finished semantics                                             1m25s   1GB
Nov 15 14:02:39 Starting semantics/proofs
Nov 15 14:06:17 Finished semantics/proofs                                      3m37s   1GB
Nov 15 14:06:17 Starting semantics/alt_semantics
Nov 15 14:06:26 Finished semantics/alt_semantics                                  9s 289MB
Nov 15 14:06:26 Starting semantics/alt_semantics/proofs
Nov 15 14:08:41 Finished semantics/alt_semantics/proofs                        2m14s 874MB
Nov 15 14:08:41 Starting basis/pure
Nov 15 14:09:32 Finished basis/pure                                              51s 957MB
Nov 15 14:09:32 Starting translator
Nov 15 14:12:19 Finished translator                                            2m46s   1GB
Nov 15 14:12:19 Starting compiler/parsing
Nov 15 14:13:32 Finished compiler/parsing                                      1m12s   1GB
Nov 15 14:13:32 Starting characteristic
Nov 15 14:19:44 Finished characteristic                                        6m12s   1GB
Nov 15 14:19:44 Starting translator/monadic
Nov 15 14:21:26 Finished translator/monadic                                    1m41s   1GB
Nov 15 14:21:26 Starting basis
Nov 15 14:58:01 Finished basis                                                36m34s  16GB
Nov 15 14:58:01 Starting compiler/inference
Nov 15 14:59:05 Finished compiler/inference                                    1m03s 993MB
Nov 15 14:59:05 Starting compiler/backend/reg_alloc
Nov 15 15:00:12 Finished compiler/backend/reg_alloc                            1m06s   1GB
Nov 15 15:00:12 Starting compiler/backend/gc
Nov 15 15:03:44 Finished compiler/backend/gc                                   3m31s   2GB
Nov 15 15:03:44 Starting compiler/backend
Nov 15 15:08:36 Finished compiler/backend                                      4m52s   3GB
Nov 15 15:08:36 Starting compiler/encoders/asm
Nov 15 15:09:00 Finished compiler/encoders/asm                                   22s 708MB
Nov 15 15:09:00 Starting compiler/encoders/x64
Nov 15 15:09:26 Finished compiler/encoders/x64                                   26s 977MB
Nov 15 15:09:26 Starting compiler/encoders/arm7
Nov 15 15:10:18 Finished compiler/encoders/arm7                                  51s 729MB
Nov 15 15:10:18 Starting compiler/encoders/arm8
Nov 15 15:10:31 Finished compiler/encoders/arm8                                  13s 665MB
Nov 15 15:10:31 Starting compiler/encoders/mips
Nov 15 15:10:50 Finished compiler/encoders/mips                                  18s   1GB
Nov 15 15:10:50 Starting compiler/encoders/riscv
Nov 15 15:11:06 Finished compiler/encoders/riscv                                 16s 771MB
Nov 15 15:11:07 Starting compiler/encoders/ag32
Nov 15 15:11:25 Finished compiler/encoders/ag32                                  18s 603MB
Nov 15 15:11:25 Starting compiler/backend/x64
Nov 15 15:11:44 Finished compiler/backend/x64                                    18s 998MB
Nov 15 15:11:44 Starting compiler/backend/arm7
Nov 15 15:12:06 Finished compiler/backend/arm7                                   21s   1GB
Nov 15 15:12:06 Starting compiler/backend/arm8
Nov 15 15:12:26 Finished compiler/backend/arm8                                   20s   1GB
Nov 15 15:12:26 Starting compiler/backend/mips
Nov 15 15:12:47 Finished compiler/backend/mips                                   20s   1GB
Nov 15 15:12:47 Starting compiler/backend/riscv
Nov 15 15:13:07 Finished compiler/backend/riscv                                  20s   1GB
Nov 15 15:13:07 Starting compiler/backend/ag32
Nov 15 15:14:21 Finished compiler/backend/ag32                                 1m12s   1GB
Nov 15 15:14:21 Starting compiler/parsing/proofs
Nov 15 15:20:09 Finished compiler/parsing/proofs                               5m48s 860MB
Nov 15 15:20:09 Starting compiler/inference/proofs
Nov 15 15:22:45 Finished compiler/inference/proofs                             2m35s   1GB
Nov 15 15:22:46 Starting compiler/backend/semantics
Nov 15 15:54:56 Finished compiler/backend/semantics                           32m09s   2GB
Nov 15 15:54:56 Starting compiler/backend/reg_alloc/proofs
Nov 15 15:58:39 Finished compiler/backend/reg_alloc/proofs                     3m42s 978MB
Nov 15 15:58:39 Starting compiler/backend/proofs
Nov 15 16:56:30 Finished compiler/backend/proofs                              57m50s  16GB
Nov 15 16:56:30 Starting compiler/encoders/x64/proofs
Nov 15 17:06:46 Finished compiler/encoders/x64/proofs                         10m15s   5GB
Nov 15 17:06:46 Starting compiler/encoders/arm7/proofs
Nov 15 17:20:32 Finished compiler/encoders/arm7/proofs                        13m44s   5GB
Nov 15 17:20:32 Starting compiler/encoders/arm8/proofs
Nov 15 17:27:34 Finished compiler/encoders/arm8/proofs                         7m02s   1GB
Nov 15 17:27:35 Starting compiler/encoders/mips/proofs
Nov 15 17:38:32 Finished compiler/encoders/mips/proofs                        10m57s   2GB
Nov 15 17:38:32 Starting compiler/encoders/riscv/proofs
Nov 15 17:48:17 Finished compiler/encoders/riscv/proofs                        9m44s   1GB
Nov 15 17:48:18 Starting compiler/encoders/ag32/proofs
Nov 15 17:51:06 Finished compiler/encoders/ag32/proofs                         2m48s 650MB
Nov 15 17:51:07 Starting compiler/backend/x64/proofs
Nov 15 17:51:29 Finished compiler/backend/x64/proofs                             22s   1GB
Nov 15 17:51:29 Starting compiler/backend/arm7/proofs
Nov 15 17:51:51 Finished compiler/backend/arm7/proofs                            22s   1GB
Nov 15 17:51:51 Starting compiler/backend/arm8/proofs
Nov 15 17:52:13 Finished compiler/backend/arm8/proofs                            21s   1GB
Nov 15 17:52:13 Starting compiler/backend/mips/proofs
Nov 15 17:52:35 Finished compiler/backend/mips/proofs                            21s   1GB
Nov 15 17:52:35 Starting compiler/backend/riscv/proofs
Nov 15 17:52:57 Finished compiler/backend/riscv/proofs                           21s   1GB
Nov 15 17:52:57 Starting compiler/backend/ag32/proofs
Nov 15 18:06:39 Finished compiler/backend/ag32/proofs                         13m42s   2GB
Nov 15 18:06:40 Starting compiler/proofs
Nov 15 18:08:19 Finished compiler/proofs                                       1m39s   3GB
Nov 15 18:08:19 Starting candle/set-theory
Nov 15 18:08:48 Finished candle/set-theory                                       28s 786MB
Nov 15 18:08:48 Starting candle/syntax-lib
Nov 15 18:09:00 Finished candle/syntax-lib                                       11s 691MB
Nov 15 18:09:00 Starting candle/standard/syntax
Nov 15 18:10:56 Finished candle/standard/syntax                                1m55s 856MB
Nov 15 18:10:56 Starting candle/standard/semantics
Nov 15 18:12:44 Finished candle/standard/semantics                             1m48s   1GB
Nov 15 18:12:45 Starting candle/standard/monadic
Nov 15 18:14:34 Finished candle/standard/monadic                               1m49s   1GB
Nov 15 18:14:34 Starting candle/standard/ml_kernel
Nov 15 18:20:26 Finished candle/standard/ml_kernel                             5m51s   4GB
Nov 15 18:20:26 Starting candle/overloading/syntax
Nov 15 18:23:44 Finished candle/overloading/syntax                             3m17s   1GB
Nov 15 18:23:44 Starting candle/overloading/semantics
Nov 15 18:36:25 Finished candle/overloading/semantics                         12m41s   4GB
Nov 15 18:36:25 Starting characteristic/examples
Nov 15 18:37:45 Finished characteristic/examples                               1m19s   2GB
Nov 15 18:37:45 Starting tutorial/solutions
Nov 15 18:52:44 Finished tutorial/solutions                                   14m58s   6GB
Nov 15 18:52:44 Starting translator/monadic/examples
Nov 15 18:56:01 Finished translator/monadic/examples                           3m16s   2GB
Nov 15 18:56:01 Starting examples
Nov 15 19:04:50 Finished examples                                              8m48s   4GB
Nov 15 19:04:50 Starting examples/compilation/x64
Nov 15 21:21:31 Finished examples/compilation/x64                           2h16m40s  14GB
Nov 15 21:21:31 Starting examples/compilation/x64/proofs
Nov 15 21:23:13 Finished examples/compilation/x64/proofs                       1m41s   3GB
Nov 15 21:23:13 Starting examples/compilation/ag32
Nov 15 21:55:33 Finished examples/compilation/ag32                            32m19s   6GB
Nov 15 21:55:33 Starting examples/compilation/ag32/proofs
Nov 15 21:56:22 Finished examples/compilation/ag32/proofs                        49s   3GB
Nov 15 21:56:22 Starting examples/cost
Nov 15 22:55:27 Finished examples/cost                                        59m03s   8GB
Nov 15 22:55:27 Starting examples/lpr_checker
Nov 15 22:59:29 Finished examples/lpr_checker                                  4m01s   2GB
Nov 15 22:59:29 Starting examples/lpr_checker/compilation
Nov 15 23:16:58 Finished examples/lpr_checker/compilation                     17m28s  10GB
Nov 15 23:16:58 Starting examples/lpr_checker/compilation/proofs
Nov 15 23:17:38 Finished examples/lpr_checker/compilation/proofs                 39s   2GB
Nov 15 23:17:38 Starting examples/lpr_checker/array
Nov 15 23:33:04 Finished examples/lpr_checker/array                           15m26s   3GB
Nov 15 23:33:05 Starting examples/lpr_checker/array/compilation
Nov 15 23:51:58 Finished examples/lpr_checker/array/compilation               18m53s  11GB
Nov 15 23:51:58 Starting examples/lpr_checker/array/compilation/proofs
Nov 15 23:52:45 Finished examples/lpr_checker/array/compilation/proofs           46s   4GB
Nov 15 23:52:45 Starting examples/opentheory
Nov 16 00:02:42 Finished examples/opentheory                                   9m56s   4GB
Nov 16 00:02:42 Starting examples/opentheory
Nov 16 00:02:44 Finished examples/opentheory                                      1s  26MB
Nov 16 00:02:44 Starting examples/opentheory/compilation
Nov 16 00:35:15 Finished examples/opentheory/compilation                      32m31s  22GB
Nov 16 00:35:15 Starting examples/opentheory/compilation/proofs
Nov 16 00:35:59 Finished examples/opentheory/compilation/proofs                  42s   4GB
Nov 16 00:35:59 Starting examples/opentheory/compilation/ag32
Nov 16 01:11:46 Finished examples/opentheory/compilation/ag32                 35m46s  18GB
Nov 16 01:11:46 Starting examples/opentheory/compilation/ag32/proofs
Nov 16 01:13:26 Finished examples/opentheory/compilation/ag32/proofs           1m40s   6GB
Nov 16 01:13:26 Starting translator/okasaki-examples
Nov 16 01:17:54 Finished translator/okasaki-examples                           4m27s   1GB
Nov 16 01:17:54 Starting translator/other-examples
Nov 16 01:18:37 Finished translator/other-examples                               42s   1GB
Nov 16 01:18:37 Starting compiler/parsing/tests
Nov 16 01:19:03 Finished compiler/parsing/tests                                  25s 595MB
Nov 16 01:19:03 Starting compiler/inference/tests
Nov 16 01:23:48 Finished compiler/inference/tests                              4m44s   3GB
Nov 16 01:23:48 Starting compiler/bootstrap/translation
Nov 16 04:17:59 Finished compiler/bootstrap/translation                     2h54m09s  42GB
Nov 16 04:18:00 Starting unverified/sexpr-bootstrap/x64/64
Nov 16 04:27:29 Finished unverified/sexpr-bootstrap/x64/64                     9m28s   8GB
Nov 16 04:27:29 Starting unverified/sexpr-bootstrap/x64/32
Nov 16 04:35:02 Finished unverified/sexpr-bootstrap/x64/32                     7m31s   8GB
Nov 16 04:35:02 Starting compiler/benchmarks
Nov 16 04:35:04 Finished compiler/benchmarks                                      2s  24MB
Nov 16 04:35:04 Starting compiler/bootstrap/compilation/x64/64
Nov 16 17:30:44 Finished compiler/bootstrap/compilation/x64/64             12h55m36s  64GB
Nov 16 17:30:44 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 16 17:33:56 Finished compiler/bootstrap/compilation/x64/64/proofs          3m11s  13GB
Nov 16 17:33:56 Starting compiler/bootstrap/compilation/x64/32
Nov 17 04:35:20 Finished compiler/bootstrap/compilation/x64/32             11h01m22s  63GB
Nov 17 04:35:20 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 17 04:38:11 Finished compiler/bootstrap/compilation/x64/32/proofs          2m51s  11GB
Nov 17 04:38:11 Starting compiler/bootstrap/compilation/ag32/32
Nov 17 16:16:22 Finished compiler/bootstrap/compilation/ag32/32            11h38m09s  64GB
Nov 17 16:16:22 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 17 16:43:05 Finished compiler/bootstrap/compilation/ag32/32/proofs        26m42s  20GB
Nov 17 16:43:05 SUCCESS