Job 1413

CakeML:6366cd3e7be7daec69d232b5ea3f78076e9b1220
  Merge remote-tracking branch 'origin/master' into issue797 [Dec 08 14:58:30]
#807 (issue797)
Merging into:f764c1753bc2c08737171f9607379649bb54db6c
  Merge pull request #808 from CakeML/ord-chr-word8 [Dec 08 14:57:51]
HOL:79c2f6fae3338794b0290aeb7fed338be456efcd
  Change term_pp to print quantifier blocks together and indent less [Dec 07 07:21:56]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Dec 08 14:59:01 Claimed job
Dec 08 14:59:09 Building HOL
Dec 08 15:12:59 Starting developers
Dec 08 15:12:59 Finished developers                                               0s  35MB
Dec 08 15:12:59 Starting developers/bin
Dec 08 15:13:06 Finished developers/bin                                           5s   1GB
Dec 08 15:13:06 Starting semantics/ffi
Dec 08 15:13:16 Finished semantics/ffi                                            9s 286MB
Dec 08 15:13:16 Starting semantics
Dec 08 15:14:51 Finished semantics                                             1m34s   1GB
Dec 08 15:14:51 Starting semantics/proofs
Dec 08 15:18:09 Finished semantics/proofs                                      3m17s   1GB
Dec 08 15:18:09 Starting semantics/alt_semantics
Dec 08 15:18:17 Finished semantics/alt_semantics                                  8s 397MB
Dec 08 15:18:17 Starting semantics/alt_semantics/proofs
Dec 08 15:20:25 Finished semantics/alt_semantics/proofs                        2m07s   1GB
Dec 08 15:20:25 Starting basis/pure
Dec 08 15:23:07 Finished basis/pure                                            2m42s   1GB
Dec 08 15:23:07 Starting translator
Dec 08 15:25:45 Finished translator                                            2m37s   2GB
Dec 08 15:25:45 Starting compiler/parsing
Dec 08 15:26:51 Finished compiler/parsing                                      1m05s   2GB
Dec 08 15:26:51 Starting characteristic
Dec 08 15:32:45 Finished characteristic                                        5m53s   3GB
Dec 08 15:32:45 Starting translator/monadic
Dec 08 15:34:27 Finished translator/monadic                                    1m42s   2GB
Dec 08 15:34:27 Starting basis
Dec 08 16:07:27 Finished basis                                                32m59s  24GB
Dec 08 16:07:27 Starting compiler/inference
Dec 08 16:08:33 Finished compiler/inference                                    1m06s   2GB
Dec 08 16:08:33 Starting compiler/backend/reg_alloc
Dec 08 16:09:37 Finished compiler/backend/reg_alloc                            1m02s   1GB
Dec 08 16:09:37 Starting compiler/backend/gc
Dec 08 16:13:08 Finished compiler/backend/gc                                   3m31s   4GB
Dec 08 16:13:09 Starting compiler/backend
Dec 08 16:18:02 Finished compiler/backend                                      4m53s   5GB
Dec 08 16:18:02 Starting compiler/encoders/asm
Dec 08 16:18:24 Finished compiler/encoders/asm                                   21s   1GB
Dec 08 16:18:24 Starting compiler/encoders/x64
Dec 08 16:19:26 Finished compiler/encoders/x64                                 1m01s   1GB
Dec 08 16:19:26 Starting compiler/encoders/arm7
Dec 08 16:21:27 Finished compiler/encoders/arm7                                2m00s   1GB
Dec 08 16:21:27 Starting compiler/encoders/arm8
Dec 08 16:22:06 Finished compiler/encoders/arm8                                  38s   1GB
Dec 08 16:22:06 Starting compiler/encoders/mips
Dec 08 16:23:30 Finished compiler/encoders/mips                                1m24s   1GB
Dec 08 16:23:30 Starting compiler/encoders/riscv
Dec 08 16:25:06 Finished compiler/encoders/riscv                               1m35s   1GB
Dec 08 16:25:06 Starting compiler/encoders/ag32
Dec 08 16:25:25 Finished compiler/encoders/ag32                                  18s 924MB
Dec 08 16:25:25 Starting compiler/backend/x64
Dec 08 16:25:44 Finished compiler/backend/x64                                    19s   1GB
Dec 08 16:25:44 Starting compiler/backend/arm7
Dec 08 16:26:05 Finished compiler/backend/arm7                                   20s   1GB
Dec 08 16:26:05 Starting compiler/backend/arm8
Dec 08 16:26:25 Finished compiler/backend/arm8                                   19s   1GB
Dec 08 16:26:25 Starting compiler/backend/mips
Dec 08 16:26:46 Finished compiler/backend/mips                                   20s   1GB
Dec 08 16:26:46 Starting compiler/backend/riscv
Dec 08 16:27:07 Finished compiler/backend/riscv                                  20s   1GB
Dec 08 16:27:07 Starting compiler/backend/ag32
Dec 08 16:28:17 Finished compiler/backend/ag32                                 1m09s   1GB
Dec 08 16:28:17 Starting compiler/parsing/proofs
Dec 08 16:33:52 Finished compiler/parsing/proofs                               5m34s   2GB
Dec 08 16:33:52 Starting compiler/inference/proofs
Dec 08 16:36:22 Finished compiler/inference/proofs                             2m29s   2GB
Dec 08 16:36:23 Starting compiler/backend/semantics
Dec 08 17:03:17 Finished compiler/backend/semantics                           26m54s   4GB
Dec 08 17:03:17 Starting compiler/backend/reg_alloc/proofs
Dec 08 17:06:32 Finished compiler/backend/reg_alloc/proofs                     3m14s   1GB
Dec 08 17:06:32 Starting compiler/backend/proofs
Dec 08 18:00:09 Finished compiler/backend/proofs                              53m36s  18GB
Dec 08 18:00:09 Starting compiler/encoders/x64/proofs
Dec 08 18:09:25 Finished compiler/encoders/x64/proofs                          9m15s   9GB
Dec 08 18:09:25 Starting compiler/encoders/arm7/proofs
Dec 08 18:21:50 Finished compiler/encoders/arm7/proofs                        12m25s   8GB
Dec 08 18:21:50 Starting compiler/encoders/arm8/proofs
Dec 08 18:28:04 Finished compiler/encoders/arm8/proofs                         6m13s   3GB
Dec 08 18:28:05 Starting compiler/encoders/mips/proofs
Dec 08 18:37:48 Finished compiler/encoders/mips/proofs                         9m43s   3GB
Dec 08 18:37:48 Starting compiler/encoders/riscv/proofs
Dec 08 18:46:11 Finished compiler/encoders/riscv/proofs                        8m22s   3GB
Dec 08 18:46:11 Starting compiler/encoders/ag32/proofs
Dec 08 18:48:31 Finished compiler/encoders/ag32/proofs                         2m19s   1GB
Dec 08 18:48:31 Starting compiler/backend/x64/proofs
Dec 08 18:48:53 Finished compiler/backend/x64/proofs                             21s   1GB
Dec 08 18:48:54 Starting compiler/backend/arm7/proofs
Dec 08 18:49:17 Finished compiler/backend/arm7/proofs                            23s   1GB
Dec 08 18:49:17 Starting compiler/backend/arm8/proofs
Dec 08 18:49:37 Finished compiler/backend/arm8/proofs                            19s   1GB
Dec 08 18:49:37 Starting compiler/backend/mips/proofs
Dec 08 18:49:59 Finished compiler/backend/mips/proofs                            22s   1GB
Dec 08 18:49:59 Starting compiler/backend/riscv/proofs
Dec 08 18:50:22 Finished compiler/backend/riscv/proofs                           22s   2GB
Dec 08 18:50:22 Starting compiler/backend/ag32/proofs
Dec 08 19:02:31 Finished compiler/backend/ag32/proofs                         12m08s   4GB
Dec 08 19:02:31 Starting compiler/proofs
Dec 08 19:04:25 Finished compiler/proofs                                       1m53s   6GB
Dec 08 19:04:25 Starting candle/set-theory
Dec 08 19:04:55 Finished candle/set-theory                                       29s   1GB
Dec 08 19:04:55 Starting candle/syntax-lib
Dec 08 19:05:06 Finished candle/syntax-lib                                       10s 805MB
Dec 08 19:05:06 Starting candle/standard/syntax
Dec 08 19:06:56 Finished candle/standard/syntax                                1m50s   1GB
Dec 08 19:06:56 Starting candle/standard/semantics
Dec 08 19:08:43 Finished candle/standard/semantics                             1m46s   2GB
Dec 08 19:08:43 Starting candle/standard/monadic
Dec 08 19:10:24 Finished candle/standard/monadic                               1m40s   1GB
Dec 08 19:10:24 Starting candle/standard/ml_kernel
Dec 08 19:15:34 Finished candle/standard/ml_kernel                             5m09s   6GB
Dec 08 19:15:34 Starting candle/overloading/syntax
Dec 08 19:18:42 Finished candle/overloading/syntax                             3m08s   1GB
Dec 08 19:18:42 Starting candle/overloading/semantics
Dec 08 19:30:45 Finished candle/overloading/semantics                         12m02s   8GB
Dec 08 19:30:45 Starting characteristic/examples
Dec 08 19:32:01 Finished characteristic/examples                               1m15s   4GB
Dec 08 19:32:01 Starting tutorial/solutions
Dec 08 19:47:15 Finished tutorial/solutions                                   15m13s  12GB
Dec 08 19:47:15 Starting translator/monadic/examples
Dec 08 19:50:34 Finished translator/monadic/examples                           3m18s   3GB
Dec 08 19:50:34 Starting examples
Dec 08 19:59:10 Finished examples                                              8m35s   7GB
Dec 08 19:59:10 Starting examples/compilation/x64
Dec 08 22:18:35 Finished examples/compilation/x64                           2h19m23s  53GB
Dec 08 22:18:35 Starting examples/compilation/x64/proofs
Dec 08 22:20:28 Finished examples/compilation/x64/proofs                       1m53s   3GB
Dec 08 22:20:28 Starting examples/compilation/ag32
Dec 08 22:53:17 Finished examples/compilation/ag32                            32m48s  11GB
Dec 08 22:53:17 Starting examples/compilation/ag32/proofs
Dec 08 22:54:07 Finished examples/compilation/ag32/proofs                        50s   4GB
Dec 08 22:54:08 Starting examples/cost
Dec 08 23:47:32 Finished examples/cost                                        53m22s  12GB
Dec 08 23:47:32 Starting examples/lpr_checker
Dec 08 23:51:15 Finished examples/lpr_checker                                  3m42s   3GB
Dec 08 23:51:15 Starting examples/lpr_checker/compilation
Dec 09 00:09:18 Finished examples/lpr_checker/compilation                     18m02s  17GB
Dec 09 00:09:18 Starting examples/lpr_checker/compilation/proofs
Dec 09 00:10:01 Finished examples/lpr_checker/compilation/proofs                 43s   3GB
Dec 09 00:10:02 Starting examples/lpr_checker/array
Dec 09 00:23:49 Finished examples/lpr_checker/array                           13m47s   5GB
Dec 09 00:23:49 Starting examples/lpr_checker/array/compilation
Dec 09 00:42:53 Finished examples/lpr_checker/array/compilation               19m03s  16GB
Dec 09 00:42:53 Starting examples/lpr_checker/array/compilation/proofs
Dec 09 00:43:41 Finished examples/lpr_checker/array/compilation/proofs           48s   4GB
Dec 09 00:43:41 Starting examples/opentheory
Dec 09 00:52:52 Finished examples/opentheory                                   9m09s   6GB
Dec 09 00:52:52 Starting examples/opentheory
Dec 09 00:52:53 Finished examples/opentheory                                      0s  95MB
Dec 09 00:52:53 Starting examples/opentheory/compilation
Dec 09 01:23:25 Finished examples/opentheory/compilation                      30m32s  26GB
Dec 09 01:23:25 Starting examples/opentheory/compilation/proofs
Dec 09 01:24:09 Finished examples/opentheory/compilation/proofs                  43s   4GB
Dec 09 01:24:09 Starting examples/opentheory/compilation/ag32
Dec 09 01:56:30 Finished examples/opentheory/compilation/ag32                 32m20s  25GB
Dec 09 01:56:30 Starting examples/opentheory/compilation/ag32/proofs
Dec 09 01:58:06 Finished examples/opentheory/compilation/ag32/proofs           1m35s   9GB
Dec 09 01:58:07 Starting translator/okasaki-examples
Dec 09 02:02:13 Finished translator/okasaki-examples                           4m06s   2GB
Dec 09 02:02:14 Starting translator/other-examples
Dec 09 02:04:16 Finished translator/other-examples                             2m01s   2GB
Dec 09 02:04:16 Starting compiler/parsing/tests
Dec 09 02:04:40 Finished compiler/parsing/tests                                  23s 661MB
Dec 09 02:04:40 Starting compiler/inference/tests
Dec 09 02:11:50 Finished compiler/inference/tests                              7m09s   5GB
Dec 09 02:11:50 Starting compiler/bootstrap/translation
Dec 09 04:56:26 Finished compiler/bootstrap/translation                     2h44m33s  48GB
Dec 09 04:56:26 Starting unverified/sexpr-bootstrap/x64/64
Dec 09 05:08:35 Finished unverified/sexpr-bootstrap/x64/64                    12m09s   8GB
Dec 09 05:08:35 Starting unverified/sexpr-bootstrap/x64/32
Dec 09 05:18:58 Finished unverified/sexpr-bootstrap/x64/32                    10m23s   8GB
Dec 09 05:18:59 Starting compiler/benchmarks
Dec 09 05:56:45 Finished compiler/benchmarks                                  37m45s   2GB
Dec 09 05:56:45 Starting compiler/bootstrap/compilation/x64/64
Dec 09 22:32:51 Finished compiler/bootstrap/compilation/x64/64             16h36m05s  64GB
Dec 09 22:32:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 09 22:35:07 Finished compiler/bootstrap/compilation/x64/64/proofs          2m16s  15GB
Dec 09 22:35:07 Starting compiler/bootstrap/compilation/x64/32
Dec 10 13:10:43 Finished compiler/bootstrap/compilation/x64/32             14h35m35s  64GB
Dec 10 13:10:43 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 10 13:12:51 Finished compiler/bootstrap/compilation/x64/32/proofs          2m08s  13GB
Dec 10 13:12:52 Starting compiler/bootstrap/compilation/ag32/32
Dec 11 05:19:07 Finished compiler/bootstrap/compilation/ag32/32            16h06m15s  64GB
Dec 11 05:19:07 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 11 05:28:40 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m32s  56GB
Dec 11 05:28:40 SUCCESS