Job 752

CakeML:2d7716e211a3e687d5ba9f237de202f78cbc253b
  Merge pull request #619 from CakeML/reader-jlamp [Mar 05 06:58:18]
HOL:9bb1d3c9ffb66cbe008e1e33f62a03c46430be07
  Turn off Travis CI notifications to the IRC #hol channel [Mar 10 09:44:34]
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

Mar 12 05:45:18 Claimed job
Mar 12 05:45:47 Building HOL
Mar 12 05:53:32 Starting developers
Mar 12 05:53:33 Finished developers                                               0s  22MB
Mar 12 05:53:34 Starting developers/bin
Mar 12 05:54:07 Finished developers/bin                                          32s 142MB
Mar 12 05:54:08 Starting semantics/ffi
Mar 12 05:54:42 Finished semantics/ffi                                           33s 479MB
Mar 12 05:54:43 Starting semantics
Mar 12 05:56:13 Finished semantics                                             1m29s   1GB
Mar 12 05:56:14 Starting semantics/proofs
Mar 12 05:59:09 Finished semantics/proofs                                      2m54s   1GB
Mar 12 05:59:10 Starting basis/pure
Mar 12 06:02:40 Finished basis/pure                                            3m29s 693MB
Mar 12 06:02:41 Starting translator
Mar 12 06:04:19 Finished translator                                            1m36s   1GB
Mar 12 06:04:19 Starting compiler/parsing
Mar 12 06:05:16 Finished compiler/parsing                                        55s   1GB
Mar 12 06:05:17 Starting characteristic
Mar 12 06:09:28 Finished characteristic                                        4m10s   1GB
Mar 12 06:09:28 Starting translator/monadic
Mar 12 06:10:52 Finished translator/monadic                                    1m22s   1GB
Mar 12 06:10:53 Starting basis
Mar 12 06:26:58 Finished basis                                                16m04s   2GB
Mar 12 06:26:59 Starting compiler/inference
Mar 12 06:28:45 Finished compiler/inference                                    1m45s   1GB
Mar 12 06:28:46 Starting compiler/backend/reg_alloc
Mar 12 06:29:36 Finished compiler/backend/reg_alloc                              49s   1GB
Mar 12 06:29:37 Starting compiler/backend/gc
Mar 12 06:38:22 Finished compiler/backend/gc                                   8m44s   1GB
Mar 12 06:38:23 Starting compiler/backend
Mar 12 06:38:24 Finished compiler/backend                                         0s  42MB
Mar 12 06:38:25 Starting compiler/encoders/asm
Mar 12 06:38:26 Finished compiler/encoders/asm                                    0s  32MB
Mar 12 06:38:27 Starting compiler/encoders/x64
Mar 12 06:39:22 Finished compiler/encoders/x64                                   55s 959MB
Mar 12 06:39:23 Starting compiler/encoders/arm6
Mar 12 06:40:58 Finished compiler/encoders/arm6                                1m34s   1GB
Mar 12 06:40:59 Starting compiler/encoders/arm8
Mar 12 06:41:28 Finished compiler/encoders/arm8                                  27s 876MB
Mar 12 06:41:29 Starting compiler/encoders/mips
Mar 12 06:42:30 Finished compiler/encoders/mips                                1m00s 819MB
Mar 12 06:42:31 Starting compiler/encoders/riscv
Mar 12 06:43:34 Finished compiler/encoders/riscv                               1m02s 777MB
Mar 12 06:43:34 Starting compiler/encoders/ag32
Mar 12 06:43:50 Finished compiler/encoders/ag32                                  14s 773MB
Mar 12 06:43:50 Starting compiler/backend/x64
Mar 12 06:44:06 Finished compiler/backend/x64                                    14s 785MB
Mar 12 06:44:06 Starting compiler/backend/arm6
Mar 12 06:44:24 Finished compiler/backend/arm6                                   16s   1GB
Mar 12 06:44:25 Starting compiler/backend/arm8
Mar 12 06:44:40 Finished compiler/backend/arm8                                   14s 846MB
Mar 12 06:44:41 Starting compiler/backend/mips
Mar 12 06:44:56 Finished compiler/backend/mips                                   14s 769MB
Mar 12 06:44:57 Starting compiler/backend/riscv
Mar 12 06:45:13 Finished compiler/backend/riscv                                  15s   1GB
Mar 12 06:45:14 Starting compiler/backend/ag32
Mar 12 06:46:19 Finished compiler/backend/ag32                                 1m04s   1GB
Mar 12 06:46:20 Starting compiler/parsing/proofs
Mar 12 06:51:57 Finished compiler/parsing/proofs                               5m35s   1GB
Mar 12 06:51:57 Starting compiler/inference/proofs
Mar 12 06:54:36 Finished compiler/inference/proofs                             2m38s   1GB
Mar 12 06:54:37 Starting compiler/backend/semantics
Mar 12 07:01:29 Finished compiler/backend/semantics                            6m51s   2GB
Mar 12 07:01:30 Starting compiler/backend/reg_alloc/proofs
Mar 12 07:04:11 Finished compiler/backend/reg_alloc/proofs                     2m40s   1GB
Mar 12 07:04:12 Starting compiler/backend/proofs
Mar 12 07:41:08 Finished compiler/backend/proofs                              36m55s   3GB
Mar 12 07:41:09 Starting compiler/encoders/x64/proofs
Mar 12 07:51:09 Finished compiler/encoders/x64/proofs                          9m58s   4GB
Mar 12 07:51:10 Starting compiler/encoders/arm6/proofs
Mar 12 08:04:45 Finished compiler/encoders/arm6/proofs                        13m34s   3GB
Mar 12 08:04:45 Starting compiler/encoders/arm8/proofs
Mar 12 08:10:23 Finished compiler/encoders/arm8/proofs                         5m36s   1GB
Mar 12 08:10:24 Starting compiler/encoders/mips/proofs
Mar 12 08:20:29 Finished compiler/encoders/mips/proofs                        10m04s   2GB
Mar 12 08:20:29 Starting compiler/encoders/riscv/proofs
Mar 12 08:28:03 Finished compiler/encoders/riscv/proofs                        7m33s 967MB
Mar 12 08:28:04 Starting compiler/encoders/ag32/proofs
Mar 12 08:30:30 Finished compiler/encoders/ag32/proofs                         2m24s 658MB
Mar 12 08:30:31 Starting compiler/backend/x64/proofs
Mar 12 08:30:47 Finished compiler/backend/x64/proofs                             16s   1GB
Mar 12 08:30:48 Starting compiler/backend/arm6/proofs
Mar 14 13:15:12 Resuming compiler/backend/arm6/proofs
Mar 14 13:15:14 Finished compiler/backend/arm6/proofs                             0s  53MB
Mar 14 13:15:14 Starting compiler/backend/arm8/proofs
Mar 14 13:15:31 Finished compiler/backend/arm8/proofs                            16s   1GB
Mar 14 13:15:32 Starting compiler/backend/mips/proofs
Mar 14 13:15:49 Finished compiler/backend/mips/proofs                            16s 891MB
Mar 14 13:15:50 Starting compiler/backend/riscv/proofs
Mar 14 13:16:10 Finished compiler/backend/riscv/proofs                           18s 816MB
Mar 14 13:16:10 Starting compiler/backend/ag32/proofs
Mar 14 13:25:30 Finished compiler/backend/ag32/proofs                          9m18s   2GB
Mar 14 13:25:30 Starting compiler/proofs
Mar 14 13:26:52 Finished compiler/proofs                                       1m20s   3GB
Mar 14 13:26:53 Starting candle/set-theory
Mar 14 13:27:20 Finished candle/set-theory                                       26s 670MB
Mar 14 13:27:20 Starting candle/syntax-lib
Mar 14 13:27:30 Finished candle/syntax-lib                                        8s 551MB
Mar 14 13:27:31 Starting candle/standard/syntax
Mar 14 13:29:22 Finished candle/standard/syntax                                1m50s   1GB
Mar 14 13:29:23 Starting candle/standard/semantics
Mar 14 13:30:59 Finished candle/standard/semantics                             1m35s   1GB
Mar 14 13:31:00 Starting candle/standard/monadic
Mar 14 13:33:05 Finished candle/standard/monadic                               2m04s   1GB
Mar 14 13:33:06 Starting candle/standard/ml_kernel
Mar 14 13:37:23 Finished candle/standard/ml_kernel                             4m16s   2GB
Mar 14 13:37:24 Starting candle/standard/opentheory
Mar 14 13:45:56 Finished candle/standard/opentheory                            8m31s   4GB
Mar 14 13:45:57 Starting candle/standard/opentheory/compilation
Mar 14 14:17:36 Finished candle/standard/opentheory/compilation               31m38s  23GB
Mar 14 14:17:37 Starting candle/standard/opentheory/compilation/proofs
Mar 14 14:18:20 Finished candle/standard/opentheory/compilation/proofs           42s   2GB
Mar 14 14:18:21 Starting characteristic/examples
Mar 14 14:19:40 Finished characteristic/examples                               1m18s   1GB
Mar 14 14:19:41 Starting tutorial/solutions
Mar 14 14:32:52 Finished tutorial/solutions                                   13m10s   6GB
Mar 14 14:32:53 Starting translator/monadic/examples
Mar 14 14:35:15 Finished translator/monadic/examples                           2m20s   2GB
Mar 14 14:35:15 Starting examples
Mar 14 14:42:38 Finished examples                                              7m21s   4GB
Mar 14 14:42:39 Starting examples/compilation/x64
Mar 14 16:37:20 Finished examples/compilation/x64                           1h54m41s  14GB
Mar 14 16:37:21 Starting examples/compilation/x64/proofs
Mar 14 16:38:40 Finished examples/compilation/x64/proofs                       1m18s   2GB
Mar 14 16:38:41 Starting examples/compilation/ag32
Mar 14 17:06:20 Finished examples/compilation/ag32                            27m38s   6GB
Mar 14 17:06:21 Starting examples/compilation/ag32/proofs
Mar 14 17:07:16 Finished examples/compilation/ag32/proofs                        54s   2GB
Mar 14 17:07:17 Starting translator/okasaki-examples
Mar 14 17:11:20 Finished translator/okasaki-examples                           4m01s   1GB
Mar 14 17:11:21 Starting translator/other-examples
Mar 14 17:14:38 Finished translator/other-examples                             3m17s   1GB
Mar 14 17:14:39 Starting compiler/parsing/tests
Mar 14 17:15:04 Finished compiler/parsing/tests                                  24s 558MB
Mar 14 17:15:05 Starting compiler/inference/tests
Mar 14 17:19:11 Finished compiler/inference/tests                              4m05s   3GB
Mar 14 17:19:12 Starting compiler/bootstrap/translation
Mar 14 19:41:32 Finished compiler/bootstrap/translation                     2h22m18s  45GB
Mar 14 19:41:32 Starting unverified/sexpr-bootstrap/x64/64
Mar 14 19:48:55 Finished unverified/sexpr-bootstrap/x64/64                     7m20s   2GB
Mar 14 19:48:56 Starting unverified/sexpr-bootstrap/x64/32
Mar 14 19:53:25 Finished unverified/sexpr-bootstrap/x64/32                     4m27s   6GB
Mar 14 19:53:26 Starting compiler/benchmarks
Mar 14 20:29:57 Finished compiler/benchmarks                                  36m30s   2GB
Mar 14 20:29:58 Starting compiler/bootstrap/compilation/x64/64
Mar 15 06:46:55 Finished compiler/bootstrap/compilation/x64/64             10h16m55s  64GB
Mar 15 06:46:55 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 15 06:49:23 Finished compiler/bootstrap/compilation/x64/64/proofs          2m26s  10GB
Mar 15 06:49:24 Starting compiler/bootstrap/compilation/x64/32
Mar 15 16:06:21 Finished compiler/bootstrap/compilation/x64/32              9h16m55s  64GB
Mar 15 16:06:22 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 15 16:10:32 Finished compiler/bootstrap/compilation/x64/32/proofs          4m09s   4GB
Mar 15 16:10:33 Starting compiler/bootstrap/compilation/ag32/32
Mar 16 02:04:15 Finished compiler/bootstrap/compilation/ag32/32             9h53m41s  64GB
Mar 16 02:04:16 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 16 02:16:45 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m28s  12GB
Mar 16 02:16:46 SUCCESS