Job 1297

CakeML:0f7dd86ebf3ea5a0d16b11ebbfd9426f889b5116
  missed a string update [Jul 02 07:41:52]
#740 (io)
Merging into: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:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jul 02 07:43:10 Claimed job
Jul 02 07:43:12 Reusing HOL
Jul 02 07:43:23 Starting developers
Jul 02 07:43:25 Finished developers                                               2s  93MB
Jul 02 07:43:26 Starting developers/bin
Jul 02 07:43:32 Finished developers/bin                                           6s   1GB
Jul 02 07:43:32 Starting semantics/ffi
Jul 02 07:43:41 Finished semantics/ffi                                            8s 258MB
Jul 02 07:43:41 Starting semantics
Jul 02 07:45:02 Finished semantics                                             1m20s   1GB
Jul 02 07:45:02 Starting semantics/proofs
Jul 02 07:48:14 Finished semantics/proofs                                      3m11s   1GB
Jul 02 07:48:14 Starting semantics/alt_semantics
Jul 02 07:48:22 Finished semantics/alt_semantics                                  7s 320MB
Jul 02 07:48:22 Starting semantics/alt_semantics/proofs
Jul 02 07:50:25 Finished semantics/alt_semantics/proofs                        2m02s 938MB
Jul 02 07:50:25 Starting basis/pure
Jul 02 07:51:13 Finished basis/pure                                              48s 876MB
Jul 02 07:51:13 Starting translator
Jul 02 07:53:46 Finished translator                                            2m32s   1GB
Jul 02 07:53:46 Starting compiler/parsing
Jul 02 07:54:53 Finished compiler/parsing                                      1m06s   2GB
Jul 02 07:54:53 Starting characteristic
Jul 02 08:00:40 Finished characteristic                                        5m47s   1GB
Jul 02 08:00:41 Starting translator/monadic
Jul 02 08:02:18 Finished translator/monadic                                    1m36s   1GB
Jul 02 08:02:18 Starting basis
Jul 02 08:35:10 Finished basis                                                32m52s  22GB
Jul 02 08:35:11 Starting compiler/inference
Jul 02 08:36:11 Finished compiler/inference                                    1m00s   1GB
Jul 02 08:36:11 Starting compiler/backend/reg_alloc
Jul 02 08:37:14 Finished compiler/backend/reg_alloc                            1m02s   1GB
Jul 02 08:37:14 Starting compiler/backend/gc
Jul 02 08:40:29 Finished compiler/backend/gc                                   3m14s   2GB
Jul 02 08:40:29 Starting compiler/backend
Jul 02 08:45:01 Finished compiler/backend                                      4m31s   3GB
Jul 02 08:45:01 Starting compiler/encoders/asm
Jul 02 08:45:23 Finished compiler/encoders/asm                                   21s 683MB
Jul 02 08:45:23 Starting compiler/encoders/x64
Jul 02 08:45:47 Finished compiler/encoders/x64                                   23s 820MB
Jul 02 08:45:47 Starting compiler/encoders/arm7
Jul 02 08:46:34 Finished compiler/encoders/arm7                                  46s 781MB
Jul 02 08:46:34 Starting compiler/encoders/arm8
Jul 02 08:46:47 Finished compiler/encoders/arm8                                  12s 907MB
Jul 02 08:46:47 Starting compiler/encoders/mips
Jul 02 08:47:04 Finished compiler/encoders/mips                                  16s   1GB
Jul 02 08:47:04 Starting compiler/encoders/riscv
Jul 02 08:47:18 Finished compiler/encoders/riscv                                 13s 769MB
Jul 02 08:47:18 Starting compiler/encoders/ag32
Jul 02 08:47:35 Finished compiler/encoders/ag32                                  16s 776MB
Jul 02 08:47:35 Starting compiler/backend/x64
Jul 02 08:47:53 Finished compiler/backend/x64                                    18s 966MB
Jul 02 08:47:53 Starting compiler/backend/arm7
Jul 02 08:48:13 Finished compiler/backend/arm7                                   18s   1GB
Jul 02 08:48:13 Starting compiler/backend/arm8
Jul 02 08:48:31 Finished compiler/backend/arm8                                   17s   1GB
Jul 02 08:48:31 Starting compiler/backend/mips
Jul 02 08:48:49 Finished compiler/backend/mips                                   18s   1GB
Jul 02 08:48:50 Starting compiler/backend/riscv
Jul 02 08:49:09 Finished compiler/backend/riscv                                  19s   1GB
Jul 02 08:49:09 Starting compiler/backend/ag32
Jul 02 08:50:19 Finished compiler/backend/ag32                                 1m09s 962MB
Jul 02 08:50:19 Starting compiler/parsing/proofs
Jul 02 08:55:52 Finished compiler/parsing/proofs                               5m32s   1GB
Jul 02 08:55:52 Starting compiler/inference/proofs
Jul 02 08:58:14 Finished compiler/inference/proofs                             2m22s   1GB
Jul 02 08:58:14 Starting compiler/backend/semantics
Jul 02 09:25:54 Finished compiler/backend/semantics                           27m39s   2GB
Jul 02 09:25:54 Starting compiler/backend/reg_alloc/proofs
Jul 02 09:29:15 Finished compiler/backend/reg_alloc/proofs                     3m20s 877MB
Jul 02 09:29:15 Starting compiler/backend/proofs
Jul 02 10:22:28 Finished compiler/backend/proofs                              53m12s  14GB
Jul 02 10:22:28 Starting compiler/encoders/x64/proofs
Jul 02 10:31:42 Finished compiler/encoders/x64/proofs                          9m13s   4GB
Jul 02 10:31:42 Starting compiler/encoders/arm7/proofs
Jul 02 10:44:31 Finished compiler/encoders/arm7/proofs                        12m48s   4GB
Jul 02 10:44:31 Starting compiler/encoders/arm8/proofs
Jul 02 10:50:54 Finished compiler/encoders/arm8/proofs                         6m22s   1GB
Jul 02 10:50:54 Starting compiler/encoders/mips/proofs
Jul 02 11:00:32 Finished compiler/encoders/mips/proofs                         9m37s   1GB
Jul 02 11:00:32 Starting compiler/encoders/riscv/proofs
Jul 02 11:08:56 Finished compiler/encoders/riscv/proofs                        8m24s   1GB
Jul 02 11:08:56 Starting compiler/encoders/ag32/proofs
Jul 02 11:11:22 Finished compiler/encoders/ag32/proofs                         2m25s 773MB
Jul 02 11:11:22 Starting compiler/backend/x64/proofs
Jul 02 11:11:41 Finished compiler/backend/x64/proofs                             18s   1GB
Jul 02 11:11:41 Starting compiler/backend/arm7/proofs
Jul 02 11:12:03 Finished compiler/backend/arm7/proofs                            21s 912MB
Jul 02 11:12:03 Starting compiler/backend/arm8/proofs
Jul 02 11:12:23 Finished compiler/backend/arm8/proofs                            19s   1GB
Jul 02 11:12:23 Starting compiler/backend/mips/proofs
Jul 02 11:12:43 Finished compiler/backend/mips/proofs                            19s   1GB
Jul 02 11:12:43 Starting compiler/backend/riscv/proofs
Jul 02 11:13:02 Finished compiler/backend/riscv/proofs                           19s   1GB
Jul 02 11:13:02 Starting compiler/backend/ag32/proofs
Jul 02 11:25:24 Finished compiler/backend/ag32/proofs                         12m19s   2GB
Jul 02 11:25:24 Starting compiler/proofs
Jul 02 11:26:50 Finished compiler/proofs                                       1m26s   2GB
Jul 02 11:26:51 Starting candle/set-theory
Jul 02 11:27:17 Finished candle/set-theory                                       26s 748MB
Jul 02 11:27:17 Starting candle/syntax-lib
Jul 02 11:27:28 Finished candle/syntax-lib                                       10s 502MB
Jul 02 11:27:28 Starting candle/standard/syntax
Jul 02 11:29:16 Finished candle/standard/syntax                                1m47s   1GB
Jul 02 11:29:16 Starting candle/standard/semantics
Jul 02 11:30:58 Finished candle/standard/semantics                             1m41s   1GB
Jul 02 11:30:58 Starting candle/standard/monadic
Jul 02 11:32:35 Finished candle/standard/monadic                               1m37s   1GB
Jul 02 11:32:36 Starting candle/standard/ml_kernel
Jul 02 11:37:51 Finished candle/standard/ml_kernel                             5m15s   5GB
Jul 02 11:37:51 Starting candle/standard/opentheory
Jul 02 11:46:56 Finished candle/standard/opentheory                            9m04s   4GB
Jul 02 11:46:56 Starting candle/standard/opentheory/compilation
Jul 02 12:18:46 Finished candle/standard/opentheory/compilation               31m50s  18GB
Jul 02 12:18:46 Starting candle/standard/opentheory/compilation/proofs
Jul 02 12:19:23 Finished candle/standard/opentheory/compilation/proofs           36s   3GB
Jul 02 12:19:23 Starting candle/overloading/syntax
Jul 02 12:22:22 Finished candle/overloading/syntax                             2m58s   1GB
Jul 02 12:22:22 Starting candle/overloading/semantics
Jul 02 12:29:09 Finished candle/overloading/semantics                          6m46s   3GB
Jul 02 12:29:09 Starting characteristic/examples
Jul 02 12:30:22 Finished characteristic/examples                               1m11s   3GB
Jul 02 12:30:22 Starting tutorial/solutions
Jul 02 12:44:45 Finished tutorial/solutions                                   14m22s   7GB
Jul 02 12:44:45 Starting translator/monadic/examples
Jul 02 12:47:56 Finished translator/monadic/examples                           3m10s   2GB
Jul 02 12:47:56 Starting examples
Jul 02 12:56:11 Finished examples                                              8m14s   3GB
Jul 02 12:56:11 Starting examples/compilation/x64
Jul 02 15:09:58 Finished examples/compilation/x64                           2h13m47s  12GB
Jul 02 15:09:59 Starting examples/compilation/x64/proofs
Jul 02 15:11:31 Finished examples/compilation/x64/proofs                       1m32s   2GB
Jul 02 15:11:32 Starting examples/compilation/ag32
Jul 02 15:42:08 Finished examples/compilation/ag32                            30m36s   6GB
Jul 02 15:42:08 Starting examples/compilation/ag32/proofs
Jul 02 15:42:54 Finished examples/compilation/ag32/proofs                        45s   3GB
Jul 02 15:42:54 Starting examples/cost
Jul 02 16:29:00 Finished examples/cost                                        46m05s   6GB
Jul 02 16:29:01 Starting examples/lpr_checker
Jul 02 16:32:45 Finished examples/lpr_checker                                  3m44s   4GB
Jul 02 16:32:45 Starting examples/lpr_checker/compilation
Jul 02 16:49:40 Finished examples/lpr_checker/compilation                     16m55s  10GB
Jul 02 16:49:40 Starting examples/lpr_checker/compilation/proofs
Jul 02 16:50:17 Finished examples/lpr_checker/compilation/proofs                 36s   2GB
Jul 02 16:50:17 Starting examples/lpr_checker/array
Jul 02 17:02:38 Finished examples/lpr_checker/array                           12m21s   3GB
Jul 02 17:02:38 Starting examples/lpr_checker/array/compilation
Jul 02 17:20:48 Finished examples/lpr_checker/array/compilation               18m09s  11GB
Jul 02 17:20:48 Starting examples/lpr_checker/array/compilation/proofs
Jul 02 17:21:39 Finished examples/lpr_checker/array/compilation/proofs           51s   3GB
Jul 02 17:21:40 Starting translator/okasaki-examples
Jul 02 17:25:54 Finished translator/okasaki-examples                           4m14s   1GB
Jul 02 17:25:54 Starting translator/other-examples
Jul 02 17:27:54 Finished translator/other-examples                             2m00s   1GB
Jul 02 17:27:55 Starting compiler/parsing/tests
Jul 02 17:28:19 Finished compiler/parsing/tests                                  24s 558MB
Jul 02 17:28:19 Starting compiler/inference/tests
Jul 02 17:32:47 Finished compiler/inference/tests                              4m27s   4GB
Jul 02 17:32:47 Starting compiler/bootstrap/translation
Jul 02 20:07:06 Finished compiler/bootstrap/translation                     2h34m17s  39GB
Jul 02 20:07:06 Starting unverified/sexpr-bootstrap/x64/64
Jul 02 20:16:53 Finished unverified/sexpr-bootstrap/x64/64                     9m47s   8GB
Jul 02 20:16:53 Starting unverified/sexpr-bootstrap/x64/32
Jul 02 20:24:39 Finished unverified/sexpr-bootstrap/x64/32                     7m45s   8GB
Jul 02 20:24:39 Starting compiler/benchmarks
Jul 02 21:03:24 Finished compiler/benchmarks                                  38m45s   2GB
Jul 02 21:03:25 Starting compiler/bootstrap/compilation/x64/64
Jul 03 11:28:31 Finished compiler/bootstrap/compilation/x64/64             14h25m05s  64GB
Jul 03 11:28:31 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 03 11:31:55 Finished compiler/bootstrap/compilation/x64/64/proofs          3m23s  14GB
Jul 03 11:31:55 Starting compiler/bootstrap/compilation/x64/32
Jul 04 00:42:53 Finished compiler/bootstrap/compilation/x64/32             13h10m56s  64GB
Jul 04 00:42:53 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 04 00:46:09 Finished compiler/bootstrap/compilation/x64/32/proofs          3m15s  14GB
Jul 04 00:46:09 Starting compiler/bootstrap/compilation/ag32/32
Jul 04 15:48:08 Finished compiler/bootstrap/compilation/ag32/32            15h01m58s  64GB
Jul 04 15:48:08 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 04 16:17:15 Finished compiler/bootstrap/compilation/ag32/32/proofs        29m07s  25GB
Jul 04 16:17:15 SUCCESS