Job 1304

CakeML:d2e159a13dfa74182a09168ab8f694e443ac7159
  Fix bad include [Jul 06 08:49:25]
#742 (opentheory-reader)
Merging into:ae7402f70b65ed02fb8e2c6752605adc4cc8f432
  Merge pull request #740 from CakeML/io [Jul 05 07:33:00]
HOL:6f28c73ae9284a3419a94804032a979c36154808
  Fix another use of PAT_ASSUM that quotes existing variables [Jul 08 12:09:34]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jul 10 10:17:37 Claimed job
Jul 10 10:17:44 Building HOL
Jul 10 10:29:59 Starting developers
Jul 10 10:30:02 Finished developers                                               2s 110MB
Jul 10 10:30:02 Starting developers/bin
Jul 10 10:30:09 Finished developers/bin                                           6s   1GB
Jul 10 10:30:09 Starting semantics/ffi
Jul 10 10:30:18 Finished semantics/ffi                                            8s 242MB
Jul 10 10:30:18 Starting semantics
Jul 10 10:31:49 Finished semantics                                             1m30s   1GB
Jul 10 10:31:49 Starting semantics/proofs
Jul 10 10:35:02 Finished semantics/proofs                                      3m12s   1GB
Jul 10 10:35:02 Starting semantics/alt_semantics
Jul 10 10:35:10 Finished semantics/alt_semantics                                  7s 339MB
Jul 10 10:35:10 Starting semantics/alt_semantics/proofs
Jul 10 10:37:14 Finished semantics/alt_semantics/proofs                        2m04s 897MB
Jul 10 10:37:15 Starting basis/pure
Jul 10 10:40:03 Finished basis/pure                                            2m48s 870MB
Jul 10 10:40:04 Starting translator
Jul 10 10:42:41 Finished translator                                            2m37s   1GB
Jul 10 10:42:41 Starting compiler/parsing
Jul 10 10:43:49 Finished compiler/parsing                                      1m07s   2GB
Jul 10 10:43:49 Starting characteristic
Jul 10 10:49:34 Finished characteristic                                        5m44s   1GB
Jul 10 10:49:34 Starting translator/monadic
Jul 10 10:51:07 Finished translator/monadic                                    1m32s   1GB
Jul 10 10:51:07 Starting basis
Jul 10 11:23:25 Finished basis                                                32m16s  15GB
Jul 10 11:23:25 Starting compiler/inference
Jul 10 11:24:30 Finished compiler/inference                                    1m05s   1GB
Jul 10 11:24:31 Starting compiler/backend/reg_alloc
Jul 10 11:25:35 Finished compiler/backend/reg_alloc                            1m04s   1GB
Jul 10 11:25:35 Starting compiler/backend/gc
Jul 10 11:28:59 Finished compiler/backend/gc                                   3m23s   2GB
Jul 10 11:28:59 Starting compiler/backend
Jul 10 11:33:31 Finished compiler/backend                                      4m31s   3GB
Jul 10 11:33:31 Starting compiler/encoders/asm
Jul 10 11:33:52 Finished compiler/encoders/asm                                   21s 710MB
Jul 10 11:33:52 Starting compiler/encoders/x64
Jul 10 11:34:49 Finished compiler/encoders/x64                                   56s   1GB
Jul 10 11:34:49 Starting compiler/encoders/arm7
Jul 10 11:36:36 Finished compiler/encoders/arm7                                1m46s   1GB
Jul 10 11:36:36 Starting compiler/encoders/arm8
Jul 10 11:37:11 Finished compiler/encoders/arm8                                  34s 636MB
Jul 10 11:37:11 Starting compiler/encoders/mips
Jul 10 11:38:26 Finished compiler/encoders/mips                                1m15s 862MB
Jul 10 11:38:27 Starting compiler/encoders/riscv
Jul 10 11:39:54 Finished compiler/encoders/riscv                               1m26s   1GB
Jul 10 11:39:54 Starting compiler/encoders/ag32
Jul 10 11:40:10 Finished compiler/encoders/ag32                                  16s 587MB
Jul 10 11:40:10 Starting compiler/backend/x64
Jul 10 11:40:30 Finished compiler/backend/x64                                    18s   1GB
Jul 10 11:40:30 Starting compiler/backend/arm7
Jul 10 11:40:49 Finished compiler/backend/arm7                                   19s   1GB
Jul 10 11:40:50 Starting compiler/backend/arm8
Jul 10 11:41:07 Finished compiler/backend/arm8                                   17s   1GB
Jul 10 11:41:08 Starting compiler/backend/mips
Jul 10 11:41:24 Finished compiler/backend/mips                                   16s 944MB
Jul 10 11:41:24 Starting compiler/backend/riscv
Jul 10 11:41:43 Finished compiler/backend/riscv                                  18s   1GB
Jul 10 11:41:43 Starting compiler/backend/ag32
Jul 10 11:42:52 Finished compiler/backend/ag32                                 1m09s   1GB
Jul 10 11:42:53 Starting compiler/parsing/proofs
Jul 10 11:48:25 Finished compiler/parsing/proofs                               5m32s   1GB
Jul 10 11:48:25 Starting compiler/inference/proofs
Jul 10 11:50:47 Finished compiler/inference/proofs                             2m21s   1GB
Jul 10 11:50:47 Starting compiler/backend/semantics
Jul 10 12:18:24 Finished compiler/backend/semantics                           27m36s   2GB
Jul 10 12:18:24 Starting compiler/backend/reg_alloc/proofs
Jul 10 12:21:42 Finished compiler/backend/reg_alloc/proofs                     3m17s 955MB
Jul 10 12:21:42 Starting compiler/backend/proofs
Jul 10 13:14:47 Finished compiler/backend/proofs                              53m04s  17GB
Jul 10 13:14:47 Starting compiler/encoders/x64/proofs
Jul 10 13:23:57 Finished compiler/encoders/x64/proofs                          9m09s   7GB
Jul 10 13:23:57 Starting compiler/encoders/arm7/proofs
Jul 10 13:36:09 Finished compiler/encoders/arm7/proofs                        12m12s   3GB
Jul 10 13:36:09 Starting compiler/encoders/arm8/proofs
Jul 10 13:42:26 Finished compiler/encoders/arm8/proofs                         6m16s   1GB
Jul 10 13:42:27 Starting compiler/encoders/mips/proofs
Jul 10 13:52:13 Finished compiler/encoders/mips/proofs                         9m46s   3GB
Jul 10 13:52:13 Starting compiler/encoders/riscv/proofs
Jul 10 14:00:40 Finished compiler/encoders/riscv/proofs                        8m26s   1GB
Jul 10 14:00:40 Starting compiler/encoders/ag32/proofs
Jul 10 14:03:08 Finished compiler/encoders/ag32/proofs                         2m28s 678MB
Jul 10 14:03:08 Starting compiler/backend/x64/proofs
Jul 10 14:03:27 Finished compiler/backend/x64/proofs                             18s   1GB
Jul 10 14:03:27 Starting compiler/backend/arm7/proofs
Jul 10 14:03:51 Finished compiler/backend/arm7/proofs                            23s 877MB
Jul 10 14:03:51 Starting compiler/backend/arm8/proofs
Jul 10 14:04:10 Finished compiler/backend/arm8/proofs                            18s   1GB
Jul 10 14:04:10 Starting compiler/backend/mips/proofs
Jul 10 14:04:30 Finished compiler/backend/mips/proofs                            19s   1GB
Jul 10 14:04:30 Starting compiler/backend/riscv/proofs
Jul 10 14:04:50 Finished compiler/backend/riscv/proofs                           19s   1GB
Jul 10 14:04:50 Starting compiler/backend/ag32/proofs
Jul 10 14:17:22 Finished compiler/backend/ag32/proofs                         12m31s   2GB
Jul 10 14:17:23 Starting compiler/proofs
Jul 10 14:19:07 Finished compiler/proofs                                       1m44s   3GB
Jul 10 14:19:07 Starting candle/set-theory
Jul 10 14:19:35 Finished candle/set-theory                                       27s 737MB
Jul 10 14:19:35 Starting candle/syntax-lib
Jul 10 14:19:46 Finished candle/syntax-lib                                       10s 474MB
Jul 10 14:19:46 Starting candle/standard/syntax
Jul 10 14:21:33 Finished candle/standard/syntax                                1m47s 884MB
Jul 10 14:21:34 Starting candle/standard/semantics
Jul 10 14:23:15 Finished candle/standard/semantics                             1m40s   1GB
Jul 10 14:23:15 Starting candle/standard/monadic
Jul 10 14:24:53 Finished candle/standard/monadic                               1m38s   1GB
Jul 10 14:24:54 Starting candle/standard/ml_kernel
Jul 10 14:30:04 Finished candle/standard/ml_kernel                             5m10s   4GB
Jul 10 14:30:04 Starting candle/overloading/syntax
Jul 10 14:33:03 Finished candle/overloading/syntax                             2m58s   1GB
Jul 10 14:33:03 Starting candle/overloading/semantics
Jul 10 14:39:50 Finished candle/overloading/semantics                          6m46s   3GB
Jul 10 14:39:50 Starting characteristic/examples
Jul 10 14:41:05 Finished characteristic/examples                               1m15s   2GB
Jul 10 14:41:05 Starting tutorial/solutions
Jul 10 14:55:25 Finished tutorial/solutions                                   14m19s   7GB
Jul 10 14:55:26 Starting translator/monadic/examples
Jul 10 14:58:37 Finished translator/monadic/examples                           3m11s   2GB
Jul 10 14:58:37 Starting examples
Jul 10 15:06:45 Finished examples                                              8m08s   4GB
Jul 10 15:06:45 Starting examples/compilation/x64
Jul 10 17:19:08 Finished examples/compilation/x64                           2h12m22s  13GB
Jul 10 17:19:08 Starting examples/compilation/x64/proofs
Jul 10 17:20:44 Finished examples/compilation/x64/proofs                       1m35s   2GB
Jul 10 17:20:44 Starting examples/compilation/ag32
Jul 10 17:51:37 Finished examples/compilation/ag32                            30m52s   6GB
Jul 10 17:51:37 Starting examples/compilation/ag32/proofs
Jul 10 17:52:19 Finished examples/compilation/ag32/proofs                        41s   3GB
Jul 10 17:52:19 Starting examples/cost
Jul 10 18:38:27 Finished examples/cost                                        46m07s   7GB
Jul 10 18:38:28 Starting examples/lpr_checker
Jul 10 18:42:06 Finished examples/lpr_checker                                  3m38s   4GB
Jul 10 18:42:07 Starting examples/lpr_checker/compilation
Jul 10 18:58:59 Finished examples/lpr_checker/compilation                     16m52s   9GB
Jul 10 18:58:59 Starting examples/lpr_checker/compilation/proofs
Jul 10 18:59:35 Finished examples/lpr_checker/compilation/proofs                 35s   2GB
Jul 10 18:59:35 Starting examples/lpr_checker/array
Jul 10 19:11:55 Finished examples/lpr_checker/array                           12m19s   3GB
Jul 10 19:11:55 Starting examples/lpr_checker/array/compilation
Jul 10 19:29:42 Finished examples/lpr_checker/array/compilation               17m47s  12GB
Jul 10 19:29:43 Starting examples/lpr_checker/array/compilation/proofs
Jul 10 19:30:30 Finished examples/lpr_checker/array/compilation/proofs           47s   3GB
Jul 10 19:30:30 Starting examples/opentheory
Jul 10 19:39:28 Finished examples/opentheory                                   8m57s   5GB
Jul 10 19:39:28 Starting examples/opentheory
Jul 10 19:39:29 Finished examples/opentheory                                      0s 101MB
Jul 10 19:39:29 Starting examples/opentheory/compilation
Jul 10 20:12:17 Finished examples/opentheory/compilation                      32m47s  18GB
Jul 10 20:12:17 Starting examples/opentheory/compilation/proofs
Jul 10 20:12:56 Finished examples/opentheory/compilation/proofs                  38s   3GB
Jul 10 20:12:56 Starting examples/opentheory/compilation/ag32
Jul 10 20:46:10 Finished examples/opentheory/compilation/ag32                 33m13s  18GB
Jul 10 20:46:10 Starting examples/opentheory/compilation/ag32/proofs
Jul 10 20:47:51 Finished examples/opentheory/compilation/ag32/proofs           1m40s   5GB
Jul 10 20:47:51 Starting translator/okasaki-examples
Jul 10 20:52:05 Finished translator/okasaki-examples                           4m14s   1GB
Jul 10 20:52:05 Starting translator/other-examples
Jul 10 20:54:05 Finished translator/other-examples                             1m59s   1GB
Jul 10 20:54:05 Starting compiler/parsing/tests
Jul 10 20:54:29 Finished compiler/parsing/tests                                  24s 565MB
Jul 10 20:54:29 Starting compiler/inference/tests
Jul 10 20:58:59 Finished compiler/inference/tests                              4m29s   4GB
Jul 10 20:58:59 Starting compiler/bootstrap/translation
Jul 10 23:33:41 Finished compiler/bootstrap/translation                     2h34m41s  45GB
Jul 10 23:33:42 Starting unverified/sexpr-bootstrap/x64/64
Jul 10 23:43:27 Finished unverified/sexpr-bootstrap/x64/64                     9m44s   8GB
Jul 10 23:43:27 Starting unverified/sexpr-bootstrap/x64/32
Jul 10 23:51:17 Finished unverified/sexpr-bootstrap/x64/32                     7m50s   8GB
Jul 10 23:51:18 Starting compiler/benchmarks
Jul 11 00:30:03 Finished compiler/benchmarks                                  38m45s   2GB
Jul 11 00:30:03 Starting compiler/bootstrap/compilation/x64/64
Jul 11 14:51:46 Finished compiler/bootstrap/compilation/x64/64             14h21m41s  64GB
Jul 11 14:51:46 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 11 14:55:03 Finished compiler/bootstrap/compilation/x64/64/proofs          3m17s  13GB
Jul 11 14:55:03 Starting compiler/bootstrap/compilation/x64/32
Jul 12 03:50:09 Finished compiler/bootstrap/compilation/x64/32             12h55m04s  64GB
Jul 12 03:50:09 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 12 03:53:33 Finished compiler/bootstrap/compilation/x64/32/proofs          3m24s  14GB
Jul 12 03:53:34 Starting compiler/bootstrap/compilation/ag32/32
Jul 12 19:06:40 Finished compiler/bootstrap/compilation/ag32/32            15h13m05s  64GB
Jul 12 19:06:40 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 12 19:39:56 Finished compiler/bootstrap/compilation/ag32/32/proofs        33m15s  25GB
Jul 12 19:39:56 SUCCESS