Job 1908

CakeML:3cd46353a7700cb373af75d19ca557f1fc98f432
  [Pancake] Remove docs sub-directory (hopefully fixes regression error). [May 31 06:14:20]
#886 (pancake-frontend)
Merging into:7c4f5d1ea435d9c438fa5c6f782526b8154e7f1e
  Merge pull request #865 from CakeML/Iced_cake [May 24 14:01:13]
HOL:6a1ba20cc9ca0bffba3c7aa005b4699fa8fd2da2
  Congruence rule for composition of functions. Prompted by example fro [May 25 19:48:20]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jun 02 11:09:52 Claimed job
Jun 02 11:11:22 Building HOL
Jun 02 11:22:02 Starting developers
Jun 02 11:22:07 Finished developers                                               5s 110MB
Jun 02 11:22:07 Starting developers/bin
Jun 02 11:23:52 Finished developers/bin                                        1m44s   1GB
Jun 02 11:23:52 Starting semantics/ffi
Jun 02 11:24:03 Finished semantics/ffi                                           10s 208MB
Jun 02 11:24:03 Starting semantics
Jun 02 11:26:54 Finished semantics                                             2m50s   1GB
Jun 02 11:26:54 Starting semantics/proofs
Jun 02 11:34:40 Finished semantics/proofs                                      7m45s   1GB
Jun 02 11:34:41 Starting semantics/alt_semantics
Jun 02 11:35:11 Finished semantics/alt_semantics                                 29s 514MB
Jun 02 11:35:11 Starting semantics/alt_semantics/proofs
Jun 02 11:47:38 Finished semantics/alt_semantics/proofs                       12m26s   2GB
Jun 02 11:47:38 Starting basis/pure
Jun 02 11:51:33 Finished basis/pure                                            3m54s 944MB
Jun 02 11:51:33 Starting translator
Jun 02 11:55:31 Finished translator                                            3m57s   2GB
Jun 02 11:55:31 Starting compiler/parsing
Jun 02 11:57:10 Finished compiler/parsing                                      1m38s   5GB
Jun 02 11:57:10 Starting characteristic
Jun 02 12:04:29 Finished characteristic                                        7m18s   1GB
Jun 02 12:04:29 Starting translator/monadic
Jun 02 12:06:33 Finished translator/monadic                                    2m03s   1GB
Jun 02 12:06:34 Starting basis
Jun 02 13:01:56 Finished basis                                                55m19s  14GB
Jun 02 13:01:56 Starting compiler/inference
Jun 02 13:03:41 Finished compiler/inference                                    1m44s   1GB
Jun 02 13:03:41 Starting compiler/backend/reg_alloc
Jun 02 13:05:30 Finished compiler/backend/reg_alloc                            1m48s   1GB
Jun 02 13:05:30 Starting compiler/backend/gc
Jun 02 13:10:21 Finished compiler/backend/gc                                   4m50s   2GB
Jun 02 13:10:21 Starting compiler/backend
Jun 02 13:16:42 Finished compiler/backend                                      6m20s   2GB
Jun 02 13:16:42 Starting compiler/encoders/asm
Jun 02 13:17:14 Finished compiler/encoders/asm                                   31s 725MB
Jun 02 13:17:14 Starting compiler/encoders/x64
Jun 02 13:18:28 Finished compiler/encoders/x64                                 1m13s   1GB
Jun 02 13:18:28 Starting compiler/encoders/arm7
Jun 02 13:20:47 Finished compiler/encoders/arm7                                2m18s   1GB
Jun 02 13:20:47 Starting compiler/encoders/arm8
Jun 02 13:21:32 Finished compiler/encoders/arm8                                  44s 825MB
Jun 02 13:21:33 Starting compiler/encoders/arm8_asl
Jun 02 15:50:50 Finished compiler/encoders/arm8_asl                         2h29m16s  33GB
Jun 02 15:50:50 Starting compiler/encoders/mips
Jun 02 15:52:32 Finished compiler/encoders/mips                                1m41s   1GB
Jun 02 15:52:32 Starting compiler/encoders/riscv
Jun 02 15:54:32 Finished compiler/encoders/riscv                               1m59s   1GB
Jun 02 15:54:32 Starting compiler/encoders/ag32
Jun 02 15:54:56 Finished compiler/encoders/ag32                                  23s 681MB
Jun 02 15:54:56 Starting compiler/backend/x64
Jun 02 15:55:20 Finished compiler/backend/x64                                    23s   1GB
Jun 02 15:55:21 Starting compiler/backend/arm7
Jun 02 15:55:47 Finished compiler/backend/arm7                                   25s   1GB
Jun 02 15:55:47 Starting compiler/backend/arm8
Jun 02 15:56:11 Finished compiler/backend/arm8                                   24s   1GB
Jun 02 15:56:12 Starting compiler/backend/mips
Jun 02 15:56:35 Finished compiler/backend/mips                                   23s   1GB
Jun 02 15:56:36 Starting compiler/backend/riscv
Jun 02 15:56:59 Finished compiler/backend/riscv                                  23s   1GB
Jun 02 15:57:00 Starting compiler/backend/ag32
Jun 02 15:58:33 Finished compiler/backend/ag32                                 1m33s   1GB
Jun 02 15:58:33 Starting compiler/parsing/proofs
Jun 02 16:02:40 Finished compiler/parsing/proofs                               4m06s   1GB
Jun 02 16:02:40 Starting compiler/inference/proofs
Jun 02 16:05:38 Finished compiler/inference/proofs                             2m56s   1GB
Jun 02 16:05:38 Starting compiler/backend/semantics
Jun 02 16:43:16 Finished compiler/backend/semantics                           37m37s   2GB
Jun 02 16:43:16 Starting compiler/backend/reg_alloc/proofs
Jun 02 16:47:17 Finished compiler/backend/reg_alloc/proofs                     4m01s   1GB
Jun 02 16:47:18 Starting compiler/backend/proofs
Jun 02 17:47:11 Finished compiler/backend/proofs                              59m52s  16GB
Jun 02 17:47:11 Starting compiler/backend/serialiser
Jun 02 17:48:55 Finished compiler/backend/serialiser                           1m43s   2GB
Jun 02 17:48:56 Starting compiler/encoders/x64/proofs
Jun 02 17:59:11 Finished compiler/encoders/x64/proofs                         10m14s   5GB
Jun 02 17:59:11 Starting compiler/encoders/arm7/proofs
Jun 02 18:13:18 Finished compiler/encoders/arm7/proofs                        14m07s   3GB
Jun 02 18:13:18 Starting compiler/encoders/arm8/proofs
Jun 02 18:20:30 Finished compiler/encoders/arm8/proofs                         7m11s   1GB
Jun 02 18:20:30 Starting compiler/encoders/arm8_asl/proofs
Jun 02 19:14:37 Finished compiler/encoders/arm8_asl/proofs                    54m05s   6GB
Jun 02 19:14:37 Starting compiler/encoders/mips/proofs
Jun 02 19:25:18 Finished compiler/encoders/mips/proofs                        10m40s   2GB
Jun 02 19:25:18 Starting compiler/encoders/riscv/proofs
Jun 02 19:34:48 Finished compiler/encoders/riscv/proofs                        9m29s   1GB
Jun 02 19:34:48 Starting compiler/encoders/ag32/proofs
Jun 02 19:37:38 Finished compiler/encoders/ag32/proofs                         2m49s 739MB
Jun 02 19:37:38 Starting compiler/backend/x64/proofs
Jun 02 19:38:08 Finished compiler/backend/x64/proofs                             29s   1GB
Jun 02 19:38:09 Starting compiler/backend/arm7/proofs
Jun 02 19:38:40 Finished compiler/backend/arm7/proofs                            30s   1GB
Jun 02 19:38:40 Starting compiler/backend/arm8/proofs
Jun 02 19:39:11 Finished compiler/backend/arm8/proofs                            30s   1GB
Jun 02 19:39:11 Starting compiler/backend/arm8_asl
Jun 02 19:39:35 Finished compiler/backend/arm8_asl                               23s   1GB
Jun 02 19:39:35 Starting compiler/backend/mips/proofs
Jun 02 19:40:05 Finished compiler/backend/mips/proofs                            29s   1GB
Jun 02 19:40:05 Starting compiler/backend/riscv/proofs
Jun 02 19:40:36 Finished compiler/backend/riscv/proofs                           30s   1GB
Jun 02 19:40:36 Starting compiler/backend/ag32/proofs
Jun 02 19:55:13 Finished compiler/backend/ag32/proofs                         14m36s   2GB
Jun 02 19:55:13 Starting compiler/proofs
Jun 02 19:57:48 Finished compiler/proofs                                       2m34s   3GB
Jun 02 19:57:48 Starting candle/set-theory
Jun 02 19:58:24 Finished candle/set-theory                                       36s 890MB
Jun 02 19:58:25 Starting candle/syntax-lib
Jun 02 19:58:39 Finished candle/syntax-lib                                       13s 604MB
Jun 02 19:58:39 Starting candle/standard/syntax
Jun 02 20:00:48 Finished candle/standard/syntax                                2m09s   1GB
Jun 02 20:00:48 Starting candle/standard/semantics
Jun 02 20:02:47 Finished candle/standard/semantics                             1m58s   1GB
Jun 02 20:02:47 Starting candle/standard/monadic
Jun 02 20:04:51 Finished candle/standard/monadic                               2m03s   1GB
Jun 02 20:04:51 Starting candle/standard/ml_kernel
Jun 02 20:11:59 Finished candle/standard/ml_kernel                             7m07s   2GB
Jun 02 20:11:59 Starting candle/overloading/syntax
Jun 02 20:15:27 Finished candle/overloading/syntax                             3m27s   1GB
Jun 02 20:15:27 Starting candle/overloading/semantics
Jun 02 20:27:59 Finished candle/overloading/semantics                         12m31s   2GB
Jun 02 20:27:59 Starting candle/overloading/monadic
Jun 02 20:30:48 Finished candle/overloading/monadic                            2m48s   2GB
Jun 02 20:30:48 Starting candle/overloading/ml_kernel
Jun 02 20:38:51 Finished candle/overloading/ml_kernel                          8m02s   3GB
Jun 02 20:38:51 Starting candle/overloading/ml_checker
Jun 02 20:41:18 Finished candle/overloading/ml_checker                         2m26s   3GB
Jun 02 20:41:18 Starting candle/prover
Jun 02 20:52:41 Finished candle/prover                                        11m22s   2GB
Jun 02 20:52:41 Starting pancake
Jun 02 20:56:42 Finished pancake                                               4m01s   3GB
Jun 02 20:56:43 Starting pancake/ffi
Jun 02 20:56:43 Finished pancake/ffi                                              0s  30MB
Jun 02 20:56:44 Starting pancake/semantics
Jun 02 20:59:34 Finished pancake/semantics                                     2m50s   1GB
Jun 02 20:59:34 Starting pancake/proofs
Jun 02 21:12:44 Finished pancake/proofs                                       13m10s   6GB
Jun 02 21:12:45 Starting characteristic/examples
Jun 02 21:14:14 Finished characteristic/examples                               1m29s   3GB
Jun 02 21:14:14 Starting tutorial/solutions
Jun 02 21:32:04 Finished tutorial/solutions                                   17m49s   9GB
Jun 02 21:32:04 Starting translator/monadic/examples
Jun 02 21:36:16 Finished translator/monadic/examples                           4m11s   3GB
Jun 02 21:36:16 Starting examples
Jun 02 21:47:33 Finished examples                                             11m16s   4GB
Jun 02 21:47:33 Starting examples/compilation/x64
Jun 03 00:25:30 Finished examples/compilation/x64                           2h37m56s  16GB
Jun 03 00:25:30 Starting examples/compilation/x64/proofs
Jun 03 00:28:29 Finished examples/compilation/x64/proofs                       2m58s   3GB
Jun 03 00:28:29 Starting examples/compilation/ag32
Jun 03 01:05:20 Finished examples/compilation/ag32                            36m50s   8GB
Jun 03 01:05:20 Starting examples/compilation/ag32/proofs
Jun 03 01:06:21 Finished examples/compilation/ag32/proofs                      1m00s   2GB
Jun 03 01:06:21 Starting examples/cost
Jun 03 02:11:08 Finished examples/cost                                      1h04m44s   9GB
Jun 03 02:11:08 Starting examples/lpr_checker
Jun 03 02:12:14 Finished examples/lpr_checker                                  1m05s 905MB
Jun 03 02:12:14 Starting examples/lpr_checker/array
Jun 03 02:48:18 Finished examples/lpr_checker/array                           36m03s   6GB
Jun 03 02:48:18 Starting examples/lpr_checker/array/compilation
Jun 03 04:16:30 Finished examples/lpr_checker/array/compilation             1h28m08s  31GB
Jun 03 04:16:30 Starting examples/lpr_checker/array/compilation/proofs
Jun 03 04:18:03 Finished examples/lpr_checker/array/compilation/proofs         1m32s   6GB
Jun 03 04:18:03 Starting examples/opentheory
Jun 03 04:29:21 Finished examples/opentheory                                  11m18s   5GB
Jun 03 04:29:22 Starting examples/opentheory
Jun 03 04:29:23 Finished examples/opentheory                                      1s  28MB
Jun 03 04:29:23 Starting examples/opentheory/compilation
Jun 03 05:12:19 Finished examples/opentheory/compilation                      42m54s  24GB
Jun 03 05:12:19 Starting examples/opentheory/compilation/proofs
Jun 03 05:13:38 Finished examples/opentheory/compilation/proofs                1m19s   3GB
Jun 03 05:13:38 Starting examples/opentheory/compilation/ag32
Jun 03 05:53:28 Finished examples/opentheory/compilation/ag32                 39m48s  23GB
Jun 03 05:53:28 Starting examples/opentheory/compilation/ag32/proofs
Jun 03 05:55:25 Finished examples/opentheory/compilation/ag32/proofs           1m56s   6GB
Jun 03 05:55:25 Starting examples/sat_encodings
Jun 03 05:57:31 Finished examples/sat_encodings                                2m06s 840MB
Jun 03 05:57:31 Starting examples/sat_encodings/case_studies
Jun 03 05:59:25 Finished examples/sat_encodings/case_studies                   1m53s 729MB
Jun 03 05:59:25 Starting examples/sat_encodings/translation
Jun 03 06:05:29 Finished examples/sat_encodings/translation                    6m02s   3GB
Jun 03 06:05:29 Starting examples/sat_encodings/translation/compilation
Jun 03 07:01:09 Finished examples/sat_encodings/translation/compilation       55m39s  22GB
Jun 03 07:01:10 Starting translator/okasaki-examples
Jun 03 07:06:38 Finished translator/okasaki-examples                           5m28s   1GB
Jun 03 07:06:38 Starting translator/other-examples
Jun 03 07:08:47 Finished translator/other-examples                             2m08s   1GB
Jun 03 07:08:47 Starting compiler/parsing/tests
Jun 03 07:09:20 Finished compiler/parsing/tests                                  32s 586MB
Jun 03 07:09:20 Starting compiler/inference/tests
Jun 03 07:18:01 Finished compiler/inference/tests                              8m40s   6GB
Jun 03 07:18:01 Starting compiler/printing/test
Jun 03 07:21:55 Finished compiler/printing/test                                3m53s   3GB
Jun 03 07:21:55 Starting icing/flover
Jun 03 07:35:09 Finished icing/flover                                         13m13s   1GB
Jun 03 07:35:09 Starting icing/
Jun 03 08:51:58 Finished icing/                                             1h16m47s   6GB
Jun 03 08:51:58 Starting icing/examples
Jun 03 08:53:26 Finished icing/examples                                        1m27s   3GB
Jun 03 08:53:26 Starting compiler/repl
Jun 03 09:07:19 Finished compiler/repl                                        13m52s   4GB
Jun 03 09:07:20 Starting compiler/bootstrap/translation
Jun 03 13:35:10 Finished compiler/bootstrap/translation                     4h27m50s  36GB
Jun 03 13:35:11 Starting unverified/sexpr-bootstrap/x64/64
Jun 03 13:46:01 Finished unverified/sexpr-bootstrap/x64/64                    10m49s  12GB
Jun 03 13:46:01 Starting unverified/sexpr-bootstrap/x64/32
Jun 03 13:54:56 Finished unverified/sexpr-bootstrap/x64/32                     8m54s  10GB
Jun 03 13:54:56 Starting compiler/benchmarks
Jun 03 13:54:59 Finished compiler/benchmarks                                      2s  31MB
Jun 03 13:55:00 Starting compiler/bootstrap/compilation/x64/64
Jun 04 13:15:13 Finished compiler/bootstrap/compilation/x64/64             23h20m12s  64GB
Jun 04 13:15:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 04 13:35:00 Finished compiler/bootstrap/compilation/x64/64/proofs         19m46s  47GB
Jun 04 13:35:00 Starting compiler/bootstrap/compilation/x64/32
Jun 05 03:03:49 Finished compiler/bootstrap/compilation/x64/32             13h28m48s  64GB
Jun 05 03:03:50 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 05 03:08:16 Finished compiler/bootstrap/compilation/x64/32/proofs          4m26s  16GB
Jun 05 03:08:16 Starting compiler/bootstrap/compilation/ag32/32
Jun 05 16:46:58 Finished compiler/bootstrap/compilation/ag32/32            13h38m41s  64GB
Jun 05 16:46:58 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 05 17:08:00 Finished compiler/bootstrap/compilation/ag32/32/proofs        21m01s  30GB
Jun 05 17:08:00 SUCCESS