Job 1298

CakeML:cc5ed8c9e8e71417da0d2d8a7867d0e4a3331beb
  comments describing memory layout in basis_ffi.c [Jun 29 14:46:03]
HOL:3f7c783c43f82cb47d9f09e21916f96d3279aa7b
  Fix selftest broken by 5c272847d0d (it wanted to use flip as a var) [Jun 29 23:19:22]
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

Jul 02 13:28:47 Claimed job
Jul 02 13:28:56 Building HOL
Jul 02 13:43:53 Starting developers
Jul 02 13:43:58 Finished developers                                               4s  88MB
Jul 02 13:43:58 Starting developers/bin
Jul 02 13:44:06 Finished developers/bin                                           7s   1GB
Jul 02 13:44:06 Starting semantics/ffi
Jul 02 13:44:19 Finished semantics/ffi                                           12s 232MB
Jul 02 13:44:19 Starting semantics
Jul 02 13:46:05 Finished semantics                                             1m45s   1GB
Jul 02 13:46:05 Starting semantics/proofs
Jul 02 13:49:55 Finished semantics/proofs                                      3m49s   1GB
Jul 02 13:49:55 Starting semantics/alt_semantics
Jul 02 13:50:05 Finished semantics/alt_semantics                                  9s 320MB
Jul 02 13:50:05 Starting semantics/alt_semantics/proofs
Jul 02 13:52:28 Finished semantics/alt_semantics/proofs                        2m22s 877MB
Jul 02 13:52:28 Starting basis/pure
Jul 02 13:55:47 Finished basis/pure                                            3m18s 893MB
Jul 02 13:55:47 Starting translator
Jul 02 13:58:47 Finished translator                                            2m59s   1GB
Jul 02 13:58:47 Starting compiler/parsing
Jul 02 14:00:13 Finished compiler/parsing                                      1m25s   2GB
Jul 02 14:00:13 Starting characteristic
Jul 02 14:06:41 Finished characteristic                                        6m27s   2GB
Jul 02 14:06:41 Starting translator/monadic
Jul 02 14:08:29 Finished translator/monadic                                    1m47s   1GB
Jul 02 14:08:29 Starting basis
Jul 02 14:46:18 Finished basis                                                37m47s  13GB
Jul 02 14:46:19 Starting compiler/inference
Jul 02 14:47:37 Finished compiler/inference                                    1m18s   1GB
Jul 02 14:47:37 Starting compiler/backend/reg_alloc
Jul 02 14:48:51 Finished compiler/backend/reg_alloc                            1m13s   1GB
Jul 02 14:48:51 Starting compiler/backend/gc
Jul 02 14:53:05 Finished compiler/backend/gc                                   4m14s   2GB
Jul 02 14:53:06 Starting compiler/backend
Jul 02 14:58:39 Finished compiler/backend                                      5m32s   4GB
Jul 02 14:58:39 Starting compiler/encoders/asm
Jul 02 14:59:03 Finished compiler/encoders/asm                                   24s 781MB
Jul 02 14:59:04 Starting compiler/encoders/x64
Jul 02 15:00:11 Finished compiler/encoders/x64                                 1m07s 813MB
Jul 02 15:00:11 Starting compiler/encoders/arm7
Jul 02 15:02:17 Finished compiler/encoders/arm7                                2m05s   1GB
Jul 02 15:02:17 Starting compiler/encoders/arm8
Jul 02 15:02:59 Finished compiler/encoders/arm8                                  41s 847MB
Jul 02 15:02:59 Starting compiler/encoders/mips
Jul 02 15:04:27 Finished compiler/encoders/mips                                1m27s   1GB
Jul 02 15:04:27 Starting compiler/encoders/riscv
Jul 02 15:06:09 Finished compiler/encoders/riscv                               1m42s   1GB
Jul 02 15:06:09 Starting compiler/encoders/ag32
Jul 02 15:06:29 Finished compiler/encoders/ag32                                  19s 791MB
Jul 02 15:06:29 Starting compiler/backend/x64
Jul 02 15:06:50 Finished compiler/backend/x64                                    20s 954MB
Jul 02 15:06:50 Starting compiler/backend/arm7
Jul 02 15:07:11 Finished compiler/backend/arm7                                   20s   1GB
Jul 02 15:07:11 Starting compiler/backend/arm8
Jul 02 15:07:32 Finished compiler/backend/arm8                                   20s   1GB
Jul 02 15:07:32 Starting compiler/backend/mips
Jul 02 15:07:54 Finished compiler/backend/mips                                   21s   1GB
Jul 02 15:07:54 Starting compiler/backend/riscv
Jul 02 15:08:15 Finished compiler/backend/riscv                                  20s   1GB
Jul 02 15:08:15 Starting compiler/backend/ag32
Jul 02 15:09:33 Finished compiler/backend/ag32                                 1m18s   1GB
Jul 02 15:09:34 Starting compiler/parsing/proofs
Jul 02 15:15:41 Finished compiler/parsing/proofs                               6m07s 931MB
Jul 02 15:15:42 Starting compiler/inference/proofs
Jul 02 15:18:31 Finished compiler/inference/proofs                             2m48s 977MB
Jul 02 15:18:31 Starting compiler/backend/semantics
Jul 02 15:53:06 Finished compiler/backend/semantics                           34m35s   3GB
Jul 02 15:53:07 Starting compiler/backend/reg_alloc/proofs
Jul 02 15:57:04 Finished compiler/backend/reg_alloc/proofs                     3m57s 983MB
Jul 02 15:57:04 Starting compiler/backend/proofs
Jul 02 17:04:42 Finished compiler/backend/proofs                            1h07m37s  12GB
Jul 02 17:04:42 Starting compiler/encoders/x64/proofs
Jul 02 17:15:21 Finished compiler/encoders/x64/proofs                         10m38s   4GB
Jul 02 17:15:21 Starting compiler/encoders/arm7/proofs
Jul 02 17:29:45 Finished compiler/encoders/arm7/proofs                        14m24s   3GB
Jul 02 17:29:45 Starting compiler/encoders/arm8/proofs
Jul 02 17:37:01 Finished compiler/encoders/arm8/proofs                         7m16s   1GB
Jul 02 17:37:02 Starting compiler/encoders/mips/proofs
Jul 02 17:48:05 Finished compiler/encoders/mips/proofs                        11m03s   3GB
Jul 02 17:48:05 Starting compiler/encoders/riscv/proofs
Jul 02 17:57:46 Finished compiler/encoders/riscv/proofs                        9m40s 936MB
Jul 02 17:57:46 Starting compiler/encoders/ag32/proofs
Jul 02 18:00:40 Finished compiler/encoders/ag32/proofs                         2m53s 617MB
Jul 02 18:00:40 Starting compiler/backend/x64/proofs
Jul 02 18:01:03 Finished compiler/backend/x64/proofs                             22s   1GB
Jul 02 18:01:03 Starting compiler/backend/arm7/proofs
Jul 02 18:01:26 Finished compiler/backend/arm7/proofs                            22s   1GB
Jul 02 18:01:26 Starting compiler/backend/arm8/proofs
Jul 02 18:01:48 Finished compiler/backend/arm8/proofs                            21s   1GB
Jul 02 18:01:48 Starting compiler/backend/mips/proofs
Jul 02 18:02:10 Finished compiler/backend/mips/proofs                            21s   1GB
Jul 02 18:02:10 Starting compiler/backend/riscv/proofs
Jul 02 18:02:33 Finished compiler/backend/riscv/proofs                           22s   1GB
Jul 02 18:02:33 Starting compiler/backend/ag32/proofs
Jul 02 18:17:13 Finished compiler/backend/ag32/proofs                         14m40s   2GB
Jul 02 18:17:14 Starting compiler/proofs
Jul 02 18:19:11 Finished compiler/proofs                                       1m56s   3GB
Jul 02 18:19:11 Starting candle/set-theory
Jul 02 18:19:42 Finished candle/set-theory                                       31s 832MB
Jul 02 18:19:42 Starting candle/syntax-lib
Jul 02 18:19:54 Finished candle/syntax-lib                                       11s 463MB
Jul 02 18:19:54 Starting candle/standard/syntax
Jul 02 18:21:59 Finished candle/standard/syntax                                2m04s   1GB
Jul 02 18:22:00 Starting candle/standard/semantics
Jul 02 18:23:57 Finished candle/standard/semantics                             1m57s   1GB
Jul 02 18:23:57 Starting candle/standard/monadic
Jul 02 18:25:52 Finished candle/standard/monadic                               1m54s   1GB
Jul 02 18:25:52 Starting candle/standard/ml_kernel
Jul 02 18:31:53 Finished candle/standard/ml_kernel                             6m00s   5GB
Jul 02 18:31:53 Starting candle/standard/opentheory
Jul 02 18:42:13 Finished candle/standard/opentheory                           10m19s   4GB
Jul 02 18:42:13 Starting candle/standard/opentheory/compilation
Jul 02 19:20:41 Finished candle/standard/opentheory/compilation               38m27s  12GB
Jul 02 19:20:41 Starting candle/standard/opentheory/compilation/proofs
Jul 02 19:22:03 Finished candle/standard/opentheory/compilation/proofs         1m22s   1GB
Jul 02 19:22:04 Starting candle/overloading/syntax
Jul 02 19:25:32 Finished candle/overloading/syntax                             3m28s   1GB
Jul 02 19:25:32 Starting candle/overloading/semantics
Jul 02 19:33:22 Finished candle/overloading/semantics                          7m49s   2GB
Jul 02 19:33:22 Starting characteristic/examples
Jul 02 19:34:49 Finished characteristic/examples                               1m27s   2GB
Jul 02 19:34:49 Starting tutorial/solutions
Jul 02 19:50:53 Finished tutorial/solutions                                   16m03s   7GB
Jul 02 19:50:53 Starting translator/monadic/examples
Jul 02 19:54:54 Finished translator/monadic/examples                           4m01s   2GB
Jul 02 19:54:54 Starting examples
Jul 02 20:05:26 Finished examples                                             10m31s   3GB
Jul 02 20:05:27 Starting examples/compilation/x64
Jul 02 22:35:44 Finished examples/compilation/x64                           2h30m15s  21GB
Jul 02 22:35:44 Starting examples/compilation/x64/proofs
Jul 02 22:37:39 Finished examples/compilation/x64/proofs                       1m54s   2GB
Jul 02 22:37:39 Starting examples/compilation/ag32
Jul 02 23:11:23 Finished examples/compilation/ag32                            33m43s   6GB
Jul 02 23:11:23 Starting examples/compilation/ag32/proofs
Jul 02 23:12:13 Finished examples/compilation/ag32/proofs                        49s   3GB
Jul 02 23:12:13 Starting examples/cost
Jul 03 00:07:11 Finished examples/cost                                        54m57s   6GB
Jul 03 00:07:11 Starting examples/lpr_checker
Jul 03 00:11:32 Finished examples/lpr_checker                                  4m20s   4GB
Jul 03 00:11:32 Starting examples/lpr_checker/compilation
Jul 03 00:31:55 Finished examples/lpr_checker/compilation                     20m22s   7GB
Jul 03 00:31:55 Starting examples/lpr_checker/compilation/proofs
Jul 03 00:33:09 Finished examples/lpr_checker/compilation/proofs               1m13s   1GB
Jul 03 00:33:09 Starting examples/lpr_checker/array
Jul 03 00:44:27 Finished examples/lpr_checker/array                           11m17s   2GB
Jul 03 00:44:27 Starting examples/lpr_checker/array/compilation
Jul 03 01:04:21 Finished examples/lpr_checker/array/compilation               19m53s  10GB
Jul 03 01:04:21 Starting examples/lpr_checker/array/compilation/proofs
Jul 03 01:05:16 Finished examples/lpr_checker/array/compilation/proofs           54s   3GB
Jul 03 01:05:16 Starting translator/okasaki-examples
Jul 03 01:10:15 Finished translator/okasaki-examples                           4m58s   1GB
Jul 03 01:10:15 Starting translator/other-examples
Jul 03 01:12:45 Finished translator/other-examples                             2m29s   1GB
Jul 03 01:12:45 Starting compiler/parsing/tests
Jul 03 01:13:13 Finished compiler/parsing/tests                                  27s 536MB
Jul 03 01:13:13 Starting compiler/inference/tests
Jul 03 01:18:11 Finished compiler/inference/tests                              4m56s   3GB
Jul 03 01:18:11 Starting compiler/bootstrap/translation
Jul 03 04:31:04 Finished compiler/bootstrap/translation                     3h12m51s  19GB
Jul 03 04:31:05 Starting unverified/sexpr-bootstrap/x64/64
Jul 03 04:40:45 Finished unverified/sexpr-bootstrap/x64/64                     9m39s   8GB
Jul 03 04:40:45 Starting unverified/sexpr-bootstrap/x64/32
Jul 03 04:48:25 Finished unverified/sexpr-bootstrap/x64/32                     7m38s   8GB
Jul 03 04:48:25 Starting compiler/benchmarks
Jul 03 04:48:27 Finished compiler/benchmarks                                      2s  23MB
Jul 03 04:48:27 Starting compiler/bootstrap/compilation/x64/64
Jul 04 00:11:30 Finished compiler/bootstrap/compilation/x64/64             19h23m01s  38GB
Jul 04 00:11:30 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 04 00:14:57 Finished compiler/bootstrap/compilation/x64/64/proofs          3m27s  14GB
Jul 04 00:14:58 Starting compiler/bootstrap/compilation/x64/32
Jul 04 17:13:10 Finished compiler/bootstrap/compilation/x64/32             16h58m10s  30GB
Jul 04 17:13:11 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 04 17:16:55 Finished compiler/bootstrap/compilation/x64/32/proofs          3m43s  13GB
Jul 04 17:16:55 Starting compiler/bootstrap/compilation/ag32/32
Jul 05 19:23:59 Finished compiler/bootstrap/compilation/ag32/32            26h07m03s  36GB
Jul 05 19:23:59 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 05 19:41:58 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m58s  25GB
Jul 05 19:41:58 SUCCESS