Job 704

CakeML:be8c718bd26f8f7df6310ab4c48d33c300c1d23a
  Merge pull request #612 from CakeML/cleanup [Jan 28 07:33:16]
HOL:859a316988c626d010906fe654751d130b1aa2f4
  Reorder examples that depend on finite_maps to follow src/finite_maps [Jan 26 04:08:19]
Machine:oven2 4.15.0-34-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 07:45:09 Claimed job
Jan 28 07:45:16 Building HOL
Jan 28 07:52:41 Starting developers
Jan 28 07:52:42 Finished developers                                               0s  32MB
Jan 28 07:52:43 Starting developers/bin
Jan 28 07:53:15 Finished developers/bin                                          31s 205MB
Jan 28 07:53:16 Starting semantics/ffi
Jan 28 07:53:50 Finished semantics/ffi                                           33s 399MB
Jan 28 07:53:51 Starting semantics
Jan 28 07:55:23 Finished semantics                                             1m30s 930MB
Jan 28 07:55:23 Starting semantics/proofs
Jan 28 07:58:29 Finished semantics/proofs                                      3m05s   1GB
Jan 28 07:58:30 Starting basis/pure
Jan 28 08:02:09 Finished basis/pure                                            3m38s 735MB
Jan 28 08:02:10 Starting translator
Jan 28 08:04:00 Finished translator                                            1m49s   1GB
Jan 28 08:04:01 Starting compiler/parsing
Jan 28 08:05:08 Finished compiler/parsing                                      1m06s   1GB
Jan 28 08:05:08 Starting characteristic
Jan 28 08:09:36 Finished characteristic                                        4m26s   1GB
Jan 28 08:09:37 Starting translator/monadic
Jan 28 08:11:04 Finished translator/monadic                                    1m26s   1GB
Jan 28 08:11:05 Starting basis
Jan 28 08:29:45 Finished basis                                                18m39s   3GB
Jan 28 08:29:46 Starting compiler/inference
Jan 28 08:31:42 Finished compiler/inference                                    1m55s   1GB
Jan 28 08:31:43 Starting compiler/backend/reg_alloc
Jan 28 08:32:45 Finished compiler/backend/reg_alloc                            1m01s   1GB
Jan 28 08:32:46 Starting compiler/backend/gc
Jan 28 08:42:35 Finished compiler/backend/gc                                   9m48s   1GB
Jan 28 08:42:36 Starting compiler/backend
Jan 28 08:42:38 Finished compiler/backend                                         1s  31MB
Jan 28 08:42:39 Starting compiler/encoders/asm
Jan 28 08:42:40 Finished compiler/encoders/asm                                    0s  17MB
Jan 28 08:42:41 Starting compiler/encoders/x64
Jan 28 08:43:43 Finished compiler/encoders/x64                                 1m01s 635MB
Jan 28 08:43:43 Starting compiler/encoders/arm6
Jan 28 08:46:00 Finished compiler/encoders/arm6                                2m16s   1GB
Jan 28 08:46:01 Starting compiler/encoders/arm8
Jan 28 08:46:40 Finished compiler/encoders/arm8                                  38s 691MB
Jan 28 08:46:41 Starting compiler/encoders/mips
Jan 28 08:48:07 Finished compiler/encoders/mips                                1m25s 872MB
Jan 28 08:48:08 Starting compiler/encoders/riscv
Jan 28 08:49:24 Finished compiler/encoders/riscv                               1m15s 947MB
Jan 28 08:49:25 Starting compiler/encoders/ag32
Jan 28 08:49:42 Finished compiler/encoders/ag32                                  16s 776MB
Jan 28 08:49:43 Starting compiler/backend/x64
Jan 28 08:50:02 Finished compiler/backend/x64                                    18s   1GB
Jan 28 08:50:02 Starting compiler/backend/arm6
Jan 28 08:50:21 Finished compiler/backend/arm6                                   17s   1GB
Jan 28 08:50:21 Starting compiler/backend/arm8
Jan 28 08:50:39 Finished compiler/backend/arm8                                   17s 903MB
Jan 28 08:50:40 Starting compiler/backend/mips
Jan 28 08:50:58 Finished compiler/backend/mips                                   17s 900MB
Jan 28 08:50:59 Starting compiler/backend/riscv
Jan 28 08:51:17 Finished compiler/backend/riscv                                  16s 762MB
Jan 28 08:51:17 Starting compiler/backend/ag32
Jan 28 08:52:46 Finished compiler/backend/ag32                                 1m28s   1GB
Jan 28 08:52:47 Starting compiler/parsing/proofs
Jan 28 08:59:38 Finished compiler/parsing/proofs                               6m50s   1GB
Jan 28 08:59:39 Starting compiler/inference/proofs
Jan 28 09:03:22 Finished compiler/inference/proofs                             3m42s   1GB
Jan 28 09:03:22 Starting compiler/backend/semantics
Jan 28 09:14:57 Finished compiler/backend/semantics                           11m34s   1GB
Jan 28 09:14:58 Starting compiler/backend/reg_alloc/proofs
Jan 28 09:18:13 Finished compiler/backend/reg_alloc/proofs                     3m13s 751MB
Jan 28 09:18:14 Starting compiler/backend/proofs
Jan 28 10:01:41 Finished compiler/backend/proofs                              43m26s   3GB
Jan 28 10:01:42 Starting compiler/encoders/x64/proofs
Jan 28 10:12:05 Finished compiler/encoders/x64/proofs                         10m22s   5GB
Jan 28 10:12:05 Starting compiler/encoders/arm6/proofs
Jan 28 10:27:20 Finished compiler/encoders/arm6/proofs                        15m14s   4GB
Jan 28 10:27:21 Starting compiler/encoders/arm8/proofs
Jan 28 10:33:04 Finished compiler/encoders/arm8/proofs                         5m41s   1GB
Jan 28 10:33:04 Starting compiler/encoders/mips/proofs
Jan 28 10:42:49 Finished compiler/encoders/mips/proofs                         9m43s   3GB
Jan 28 10:42:50 Starting compiler/encoders/riscv/proofs
Jan 28 10:50:22 Finished compiler/encoders/riscv/proofs                        7m31s   1GB
Jan 28 10:50:22 Starting compiler/encoders/ag32/proofs
Jan 28 10:52:51 Finished compiler/encoders/ag32/proofs                         2m28s 859MB
Jan 28 10:52:52 Starting compiler/backend/x64/proofs
Jan 28 10:53:12 Finished compiler/backend/x64/proofs                             19s   1GB
Jan 28 10:53:13 Starting compiler/backend/arm6/proofs
Jan 28 10:53:33 Finished compiler/backend/arm6/proofs                            19s 872MB
Jan 28 10:53:34 Starting compiler/backend/arm8/proofs
Jan 28 10:53:53 Finished compiler/backend/arm8/proofs                            18s   1GB
Jan 28 10:53:54 Starting compiler/backend/mips/proofs
Jan 28 10:54:13 Finished compiler/backend/mips/proofs                            18s   1GB
Jan 28 10:54:14 Starting compiler/backend/riscv/proofs
Jan 28 10:54:33 Finished compiler/backend/riscv/proofs                           18s   1GB
Jan 28 10:54:34 Starting compiler/backend/ag32/proofs
Jan 28 11:03:26 Finished compiler/backend/ag32/proofs                          8m51s   2GB
Jan 28 11:03:27 Starting compiler/proofs
Jan 28 11:04:52 Finished compiler/proofs                                       1m24s   2GB
Jan 28 11:04:53 Starting candle/set-theory
Jan 28 11:05:18 Finished candle/set-theory                                       24s 728MB
Jan 28 11:05:19 Starting candle/syntax-lib
Jan 28 11:05:30 Finished candle/syntax-lib                                        9s 553MB
Jan 28 11:05:30 Starting candle/standard/syntax
Jan 28 11:07:13 Finished candle/standard/syntax                                1m41s   1GB
Jan 28 11:07:14 Starting candle/standard/semantics
Jan 28 11:08:48 Finished candle/standard/semantics                             1m34s 900MB
Jan 28 11:08:49 Starting candle/standard/monadic
Jan 28 11:10:23 Finished candle/standard/monadic                               1m33s   1GB
Jan 28 11:10:24 Starting candle/standard/ml_kernel
Jan 28 11:14:10 Finished candle/standard/ml_kernel                             3m45s   3GB
Jan 28 11:14:11 Starting candle/standard/opentheory
Jan 28 11:22:37 Finished candle/standard/opentheory                            8m25s   3GB
Jan 28 11:22:38 Starting candle/standard/opentheory/compilation
Jan 28 11:52:20 Finished candle/standard/opentheory/compilation               29m40s  13GB
Jan 28 11:52:21 Starting candle/standard/opentheory/compilation/proofs
Jan 28 11:53:10 Finished candle/standard/opentheory/compilation/proofs           48s   5GB
Jan 28 11:53:10 Starting characteristic/examples
Jan 28 11:54:40 Finished characteristic/examples                               1m28s   3GB
Jan 28 11:54:41 Starting tutorial/solutions
Jan 28 12:07:47 Finished tutorial/solutions                                   13m05s   6GB
Jan 28 12:07:48 Starting translator/monadic/examples
Jan 28 12:10:03 Finished translator/monadic/examples                           2m14s   2GB
Jan 28 12:10:04 Starting examples
Jan 28 12:17:43 Finished examples                                              7m38s   4GB
Jan 28 12:17:44 Starting examples/compilation/x64
Jan 28 14:10:43 Finished examples/compilation/x64                           1h52m57s  14GB
Jan 28 14:10:43 Starting examples/compilation/x64/proofs
Jan 28 14:12:27 Finished examples/compilation/x64/proofs                       1m43s   4GB
Jan 28 14:12:28 Starting examples/compilation/ag32
Jan 28 14:40:17 Finished examples/compilation/ag32                            27m47s   6GB
Jan 28 14:40:17 Starting examples/compilation/ag32/proofs
Jan 28 14:41:04 Finished examples/compilation/ag32/proofs                        46s   4GB
Jan 28 14:41:05 Starting translator/okasaki-examples
Jan 28 14:45:13 Finished translator/okasaki-examples                           4m06s   1GB
Jan 28 14:45:13 Starting translator/other-examples
Jan 28 14:48:45 Finished translator/other-examples                             3m30s   1GB
Jan 28 14:48:46 Starting compiler/parsing/tests
Jan 28 14:49:12 Finished compiler/parsing/tests                                  25s 574MB
Jan 28 14:49:13 Starting compiler/inference/tests
Jan 28 14:53:25 Finished compiler/inference/tests                              4m10s   3GB
Jan 28 14:53:25 Starting compiler/bootstrap/translation
Jan 28 17:23:31 Finished compiler/bootstrap/translation                     2h30m04s  38GB
Jan 28 17:23:31 Starting unverified/sexpr-bootstrap/x64/64
Jan 28 17:32:08 Finished unverified/sexpr-bootstrap/x64/64                     8m35s  15GB
Jan 28 17:32:09 Starting unverified/sexpr-bootstrap/x64/32
Jan 28 17:37:33 Finished unverified/sexpr-bootstrap/x64/32                     5m21s  20GB
Jan 28 17:37:33 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jan 28 17:38:04 Finished compiler/benchmarks/cakeml_benchmarks/cakeml            29s   1GB
Jan 28 17:38:05 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jan 28 17:38:52 Finished compiler/benchmarks/mlton_benchmarks/cakeml             46s   1GB
Jan 28 17:38:53 Starting compiler/bootstrap/compilation/x64/64
Jan 29 03:45:50 Finished compiler/bootstrap/compilation/x64/64             10h06m55s  64GB
Jan 29 03:45:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 29 03:52:04 Finished compiler/bootstrap/compilation/x64/64/proofs          6m11s  30GB
Jan 29 03:52:05 Starting compiler/bootstrap/compilation/x64/32
Jan 29 13:16:29 Finished compiler/bootstrap/compilation/x64/32              9h24m21s  64GB
Jan 29 13:16:29 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 29 13:22:00 Finished compiler/bootstrap/compilation/x64/32/proofs          5m29s  27GB
Jan 29 13:22:01 SUCCESS