Job 970

CakeML:aa80728fd5a0d4226b3865fe25daff76a8eb6c69
  Merge branch 'master' into fp_basis [Jul 29 10:43:22]
#671 (fp_basis)
Merging into:112863b9cb5837f7731f07322f6a70494471f50d
  Merge pull request #674 from CakeML/zero-byte [Jul 28 19:21:00]
HOL:12e8779ae1581f202331ad1e6dc5e3fbf0d85028
  Fix generic_finite_graphs to properly record incoming edges [Jul 27 01:16:52]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jul 29 11:10:43 Claimed job
Jul 29 11:10:50 Building HOL
Jul 29 11:20:12 Starting developers
Jul 29 11:20:15 Finished developers                                               2s  20MB
Jul 29 11:20:15 Starting developers/bin
Jul 29 11:20:22 Finished developers/bin                                           6s 960MB
Jul 29 11:20:22 Starting semantics/ffi
Jul 29 11:21:00 Finished semantics/ffi                                           38s 590MB
Jul 29 11:21:00 Starting semantics
Jul 29 11:22:36 Finished semantics                                             1m35s   1GB
Jul 29 11:22:36 Starting semantics/proofs
Jul 29 11:25:33 Finished semantics/proofs                                      2m56s   1GB
Jul 29 11:25:33 Starting semantics/alt_semantics
Jul 29 11:25:41 Finished semantics/alt_semantics                                  8s 275MB
Jul 29 11:25:41 Starting semantics/alt_semantics/proofs
Jul 29 11:27:29 Finished semantics/alt_semantics/proofs                        1m47s 864MB
Jul 29 11:27:30 Starting basis/pure
Jul 29 11:31:05 Finished basis/pure                                            3m34s 634MB
Jul 29 11:31:05 Starting translator
Jul 29 11:32:51 Finished translator                                            1m46s   1GB
Jul 29 11:32:51 Starting compiler/parsing
Jul 29 11:33:49 Finished compiler/parsing                                        57s   1GB
Jul 29 11:33:49 Starting characteristic
Jul 29 11:39:05 Finished characteristic                                        5m15s   2GB
Jul 29 11:39:05 Starting translator/monadic
Jul 29 11:40:33 Finished translator/monadic                                    1m27s   1GB
Jul 29 11:40:33 Starting basis
Jul 29 11:58:35 Finished basis                                                18m01s   2GB
Jul 29 11:58:35 Starting compiler/inference
Jul 29 12:00:32 Finished compiler/inference                                    1m56s   1GB
Jul 29 12:00:32 Starting compiler/backend/reg_alloc
Jul 29 12:01:32 Finished compiler/backend/reg_alloc                              59s   1GB
Jul 29 12:01:33 Starting compiler/backend/gc
Jul 29 12:10:48 Finished compiler/backend/gc                                   9m15s   2GB
Jul 29 12:10:49 Starting compiler/backend
Jul 29 12:10:51 Finished compiler/backend                                         2s  16MB
Jul 29 12:10:51 Starting compiler/encoders/asm
Jul 29 12:10:53 Finished compiler/encoders/asm                                    1s  15MB
Jul 29 12:10:53 Starting compiler/encoders/x64
Jul 29 12:11:54 Finished compiler/encoders/x64                                 1m00s 722MB
Jul 29 12:11:54 Starting compiler/encoders/arm7
Jul 29 12:13:34 Finished compiler/encoders/arm7                                1m40s   1GB
Jul 29 12:13:35 Starting compiler/encoders/arm8
Jul 29 12:14:08 Finished compiler/encoders/arm8                                  33s 567MB
Jul 29 12:14:08 Starting compiler/encoders/mips
Jul 29 12:15:15 Finished compiler/encoders/mips                                1m06s   1GB
Jul 29 12:15:15 Starting compiler/encoders/riscv
Jul 29 12:16:35 Finished compiler/encoders/riscv                               1m19s   1GB
Jul 29 12:16:35 Starting compiler/encoders/ag32
Jul 29 12:16:52 Finished compiler/encoders/ag32                                  16s 837MB
Jul 29 12:16:52 Starting compiler/backend/x64
Jul 29 12:17:11 Finished compiler/backend/x64                                    18s 964MB
Jul 29 12:17:11 Starting compiler/backend/arm7
Jul 29 12:17:32 Finished compiler/backend/arm7                                   20s   1GB
Jul 29 12:17:32 Starting compiler/backend/arm8
Jul 29 12:17:51 Finished compiler/backend/arm8                                   18s   1GB
Jul 29 12:17:51 Starting compiler/backend/mips
Jul 29 12:18:11 Finished compiler/backend/mips                                   19s   1GB
Jul 29 12:18:11 Starting compiler/backend/riscv
Jul 29 12:18:30 Finished compiler/backend/riscv                                  19s   1GB
Jul 29 12:18:31 Starting compiler/backend/ag32
Jul 29 12:19:38 Finished compiler/backend/ag32                                 1m07s   1GB
Jul 29 12:19:38 Starting compiler/parsing/proofs
Jul 29 12:25:21 Finished compiler/parsing/proofs                               5m42s   1GB
Jul 29 12:25:21 Starting compiler/inference/proofs
Jul 29 12:28:06 Finished compiler/inference/proofs                             2m44s   1GB
Jul 29 12:28:06 Starting compiler/backend/semantics
Jul 29 12:35:15 Finished compiler/backend/semantics                            7m08s   2GB
Jul 29 12:35:15 Starting compiler/backend/reg_alloc/proofs
Jul 29 12:38:31 Finished compiler/backend/reg_alloc/proofs                     3m15s 836MB
Jul 29 12:38:31 Starting compiler/backend/proofs
Jul 29 13:17:32 Finished compiler/backend/proofs                              39m01s   5GB
Jul 29 13:17:32 Starting compiler/encoders/x64/proofs
Jul 29 13:27:30 Finished compiler/encoders/x64/proofs                          9m57s   4GB
Jul 29 13:27:31 Starting compiler/encoders/arm7/proofs
Jul 29 13:40:53 Finished compiler/encoders/arm7/proofs                        13m21s   3GB
Jul 29 13:40:53 Starting compiler/encoders/arm8/proofs
Jul 29 13:47:38 Finished compiler/encoders/arm8/proofs                         6m44s   1GB
Jul 29 13:47:38 Starting compiler/encoders/mips/proofs
Jul 29 13:57:34 Finished compiler/encoders/mips/proofs                         9m56s   1GB
Jul 29 13:57:34 Starting compiler/encoders/riscv/proofs
Jul 29 14:05:44 Finished compiler/encoders/riscv/proofs                        8m09s   1GB
Jul 29 14:05:44 Starting compiler/encoders/ag32/proofs
Jul 29 14:08:11 Finished compiler/encoders/ag32/proofs                         2m26s 754MB
Jul 29 14:08:11 Starting compiler/backend/x64/proofs
Jul 29 14:08:30 Finished compiler/backend/x64/proofs                             18s 816MB
Jul 29 14:08:30 Starting compiler/backend/arm7/proofs
Jul 29 14:08:51 Finished compiler/backend/arm7/proofs                            20s   1GB
Jul 29 14:08:51 Starting compiler/backend/arm8/proofs
Jul 29 14:09:10 Finished compiler/backend/arm8/proofs                            19s   1GB
Jul 29 14:09:11 Starting compiler/backend/mips/proofs
Jul 29 14:09:30 Finished compiler/backend/mips/proofs                            19s 980MB
Jul 29 14:09:31 Starting compiler/backend/riscv/proofs
Jul 29 14:09:50 Finished compiler/backend/riscv/proofs                           19s   1GB
Jul 29 14:09:51 Starting compiler/backend/ag32/proofs
Jul 29 14:18:24 Finished compiler/backend/ag32/proofs                          8m32s   2GB
Jul 29 14:18:24 Starting compiler/proofs
Jul 29 14:19:57 Finished compiler/proofs                                       1m32s   3GB
Jul 29 14:19:57 Starting candle/set-theory
Jul 29 14:20:24 Finished candle/set-theory                                       27s 685MB
Jul 29 14:20:24 Starting candle/syntax-lib
Jul 29 14:20:35 Finished candle/syntax-lib                                       10s 600MB
Jul 29 14:20:35 Starting candle/standard/syntax
Jul 29 14:22:19 Finished candle/standard/syntax                                1m43s 821MB
Jul 29 14:22:19 Starting candle/standard/semantics
Jul 29 14:23:56 Finished candle/standard/semantics                             1m36s   1GB
Jul 29 14:23:57 Starting candle/standard/monadic
Jul 29 14:25:30 Finished candle/standard/monadic                               1m33s   1GB
Jul 29 14:25:30 Starting candle/standard/ml_kernel
Jul 29 14:29:19 Finished candle/standard/ml_kernel                             3m48s   3GB
Jul 29 14:29:19 Starting candle/standard/opentheory
Jul 29 14:37:54 Finished candle/standard/opentheory                            8m35s   3GB
Jul 29 14:37:55 Starting candle/standard/opentheory/compilation
Jul 29 15:06:37 Finished candle/standard/opentheory/compilation               28m42s  11GB
Jul 29 15:06:37 Starting candle/standard/opentheory/compilation/proofs
Jul 29 15:07:18 Finished candle/standard/opentheory/compilation/proofs           40s   3GB
Jul 29 15:07:18 Starting characteristic/examples
Jul 29 15:08:45 Finished characteristic/examples                               1m26s   2GB
Jul 29 15:08:45 Starting tutorial/solutions
Jul 29 15:21:48 Finished tutorial/solutions                                   13m03s   6GB
Jul 29 15:21:49 Starting translator/monadic/examples
Jul 29 15:24:44 Finished translator/monadic/examples                           2m54s   2GB
Jul 29 15:24:44 Starting examples
Jul 29 15:33:31 Finished examples                                              8m46s   3GB
Jul 29 15:33:31 Starting examples/compilation/x64
Jul 29 17:36:48 Finished examples/compilation/x64                           2h03m15s  23GB
Jul 29 17:36:48 Starting examples/compilation/x64/proofs
Jul 29 17:38:19 Finished examples/compilation/x64/proofs                       1m30s   2GB
Jul 29 17:38:19 Starting examples/compilation/ag32
Jul 29 18:06:20 Finished examples/compilation/ag32                            28m00s   6GB
Jul 29 18:06:20 Starting examples/compilation/ag32/proofs
Jul 29 18:07:10 Finished examples/compilation/ag32/proofs                        50s   3GB
Jul 29 18:07:10 Starting translator/okasaki-examples
Jul 29 18:11:16 Finished translator/okasaki-examples                           4m05s   1GB
Jul 29 18:11:16 Starting translator/other-examples
Jul 29 18:14:53 Finished translator/other-examples                             3m36s   1GB
Jul 29 18:14:53 Starting compiler/parsing/tests
Jul 29 18:15:19 Finished compiler/parsing/tests                                  26s 532MB
Jul 29 18:15:19 Starting compiler/inference/tests
Jul 29 18:19:27 Finished compiler/inference/tests                              4m07s   4GB
Jul 29 18:19:27 Starting compiler/bootstrap/translation
Jul 29 20:47:43 Finished compiler/bootstrap/translation                     2h28m15s  42GB
Jul 29 20:47:43 Starting unverified/sexpr-bootstrap/x64/64
Jul 29 20:59:56 Finished unverified/sexpr-bootstrap/x64/64                    12m12s   2GB
Jul 29 20:59:56 Starting unverified/sexpr-bootstrap/x64/32
Jul 29 21:08:31 Finished unverified/sexpr-bootstrap/x64/32                     8m34s   5GB
Jul 29 21:08:31 Starting compiler/benchmarks
Jul 29 21:08:38 Finished compiler/benchmarks                                      6s  23MB
Jul 29 21:08:38 Starting compiler/bootstrap/compilation/x64/64
Jul 30 09:44:45 Finished compiler/bootstrap/compilation/x64/64             12h36m06s  64GB
Jul 30 09:44:45 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 30 09:48:10 Finished compiler/bootstrap/compilation/x64/64/proofs          3m24s   5GB
Jul 30 09:48:10 Starting compiler/bootstrap/compilation/x64/32
Jul 30 20:33:05 Finished compiler/bootstrap/compilation/x64/32             10h44m54s  64GB
Jul 30 20:33:05 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 30 20:35:39 Finished compiler/bootstrap/compilation/x64/32/proofs          2m34s  10GB
Jul 30 20:35:39 Starting compiler/bootstrap/compilation/ag32/32
Jul 31 09:02:24 Finished compiler/bootstrap/compilation/ag32/32            12h26m44s  65GB
Jul 31 09:02:24 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 31 09:31:54 Finished compiler/bootstrap/compilation/ag32/32/proofs        29m29s  26GB
Jul 31 09:31:54 SUCCESS