Job 1914

CakeML:ae132ef651962a1d7c2e09a631d6d3e7c7ed5f09
  Merge pull request #887 from CakeML/inc-compiler-emptyffi [Jun 05 17:19:17]
HOL:2a613a00942c98a3ee501ee41b37da079ca23fa3
  vimhol: better feature detection for neovim [Jun 01 07:55:11]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jun 07 12:37:26 Claimed job
Jun 07 12:38:55 Reusing HOL
Jun 07 12:39:35 Starting developers
Jun 07 12:39:40 Finished developers                                               5s 110MB
Jun 07 12:39:40 Starting developers/bin
Jun 07 12:41:25 Finished developers/bin                                        1m44s   1GB
Jun 07 12:41:26 Starting semantics/ffi
Jun 07 12:41:37 Finished semantics/ffi                                           10s 204MB
Jun 07 12:41:37 Starting semantics
Jun 07 12:44:16 Finished semantics                                             2m38s   1GB
Jun 07 12:44:16 Starting semantics/proofs
Jun 07 12:51:54 Finished semantics/proofs                                      7m37s   1GB
Jun 07 12:51:54 Starting semantics/alt_semantics
Jun 07 12:52:24 Finished semantics/alt_semantics                                 29s 493MB
Jun 07 12:52:24 Starting semantics/alt_semantics/proofs
Jun 07 13:04:58 Finished semantics/alt_semantics/proofs                       12m33s   1GB
Jun 07 13:04:58 Starting basis/pure
Jun 07 13:06:07 Finished basis/pure                                            1m08s 861MB
Jun 07 13:06:07 Starting translator
Jun 07 13:10:05 Finished translator                                            3m57s   1GB
Jun 07 13:10:05 Starting compiler/parsing
Jun 07 13:11:35 Finished compiler/parsing                                      1m29s   4GB
Jun 07 13:11:35 Starting characteristic
Jun 07 13:18:53 Finished characteristic                                        7m17s   1GB
Jun 07 13:18:53 Starting translator/monadic
Jun 07 13:21:01 Finished translator/monadic                                    2m08s   1GB
Jun 07 13:21:02 Starting basis
Jun 07 14:16:58 Finished basis                                                55m54s  19GB
Jun 07 14:16:58 Starting compiler/inference
Jun 07 14:18:35 Finished compiler/inference                                    1m36s   1GB
Jun 07 14:18:35 Starting compiler/backend/reg_alloc
Jun 07 14:20:25 Finished compiler/backend/reg_alloc                            1m49s   1GB
Jun 07 14:20:25 Starting compiler/backend/gc
Jun 07 14:25:09 Finished compiler/backend/gc                                   4m44s   2GB
Jun 07 14:25:10 Starting compiler/backend
Jun 07 14:31:27 Finished compiler/backend                                      6m17s   2GB
Jun 07 14:31:28 Starting compiler/encoders/asm
Jun 07 14:32:01 Finished compiler/encoders/asm                                   33s 920MB
Jun 07 14:32:01 Starting compiler/encoders/x64
Jun 07 14:32:33 Finished compiler/encoders/x64                                   31s 761MB
Jun 07 14:32:33 Starting compiler/encoders/arm7
Jun 07 14:33:32 Finished compiler/encoders/arm7                                  58s 771MB
Jun 07 14:33:32 Starting compiler/encoders/arm8
Jun 07 14:33:51 Finished compiler/encoders/arm8                                  18s   1GB
Jun 07 14:33:51 Starting compiler/encoders/arm8_asl
Jun 07 14:36:52 Finished compiler/encoders/arm8_asl                            3m00s   1GB
Jun 07 14:36:52 Starting compiler/encoders/mips
Jun 07 14:37:14 Finished compiler/encoders/mips                                  22s   1GB
Jun 07 14:37:14 Starting compiler/encoders/riscv
Jun 07 14:37:35 Finished compiler/encoders/riscv                                 20s   1GB
Jun 07 14:37:35 Starting compiler/encoders/ag32
Jun 07 14:37:59 Finished compiler/encoders/ag32                                  23s 695MB
Jun 07 14:37:59 Starting compiler/backend/x64
Jun 07 14:38:22 Finished compiler/backend/x64                                    23s   1GB
Jun 07 14:38:22 Starting compiler/backend/arm7
Jun 07 14:38:48 Finished compiler/backend/arm7                                   25s   1GB
Jun 07 14:38:48 Starting compiler/backend/arm8
Jun 07 14:39:11 Finished compiler/backend/arm8                                   22s   1GB
Jun 07 14:39:11 Starting compiler/backend/mips
Jun 07 14:39:36 Finished compiler/backend/mips                                   23s   1GB
Jun 07 14:39:36 Starting compiler/backend/riscv
Jun 07 14:40:00 Finished compiler/backend/riscv                                  23s   1GB
Jun 07 14:40:00 Starting compiler/backend/ag32
Jun 07 14:41:31 Finished compiler/backend/ag32                                 1m30s   1GB
Jun 07 14:41:31 Starting compiler/parsing/proofs
Jun 07 14:45:34 Finished compiler/parsing/proofs                               4m01s   1GB
Jun 07 14:45:34 Starting compiler/inference/proofs
Jun 07 14:48:32 Finished compiler/inference/proofs                             2m58s   1GB
Jun 07 14:48:33 Starting compiler/backend/semantics
Jun 07 15:24:36 Finished compiler/backend/semantics                           36m02s   2GB
Jun 07 15:24:36 Starting compiler/backend/reg_alloc/proofs
Jun 07 15:28:38 Finished compiler/backend/reg_alloc/proofs                     4m02s 753MB
Jun 07 15:28:39 Starting compiler/backend/proofs
Jun 07 16:29:03 Finished compiler/backend/proofs                            1h00m21s  16GB
Jun 07 16:29:03 Starting compiler/backend/serialiser
Jun 07 16:30:49 Finished compiler/backend/serialiser                           1m45s   2GB
Jun 07 16:30:49 Starting compiler/encoders/x64/proofs
Jun 07 16:41:08 Finished compiler/encoders/x64/proofs                         10m18s   5GB
Jun 07 16:41:08 Starting compiler/encoders/arm7/proofs
Jun 07 16:55:23 Finished compiler/encoders/arm7/proofs                        14m14s   3GB
Jun 07 16:55:24 Starting compiler/encoders/arm8/proofs
Jun 07 17:02:41 Finished compiler/encoders/arm8/proofs                         7m16s   1GB
Jun 07 17:02:41 Starting compiler/encoders/arm8_asl/proofs
Jun 07 17:18:45 Finished compiler/encoders/arm8_asl/proofs                    16m03s   2GB
Jun 07 17:18:45 Starting compiler/encoders/mips/proofs
Jun 07 17:29:39 Finished compiler/encoders/mips/proofs                        10m50s   2GB
Jun 07 17:29:39 Starting compiler/encoders/riscv/proofs
Jun 07 17:39:10 Finished compiler/encoders/riscv/proofs                        9m30s   1GB
Jun 07 17:39:10 Starting compiler/encoders/ag32/proofs
Jun 07 17:41:59 Finished compiler/encoders/ag32/proofs                         2m48s 687MB
Jun 07 17:41:59 Starting compiler/backend/x64/proofs
Jun 07 17:42:29 Finished compiler/backend/x64/proofs                             30s   1GB
Jun 07 17:42:30 Starting compiler/backend/arm7/proofs
Jun 07 17:43:00 Finished compiler/backend/arm7/proofs                            30s   1GB
Jun 07 17:43:01 Starting compiler/backend/arm8/proofs
Jun 07 17:43:30 Finished compiler/backend/arm8/proofs                            29s   1GB
Jun 07 17:43:31 Starting compiler/backend/arm8_asl
Jun 07 17:43:56 Finished compiler/backend/arm8_asl                               25s   1GB
Jun 07 17:43:56 Starting compiler/backend/mips/proofs
Jun 07 17:44:27 Finished compiler/backend/mips/proofs                            30s   1GB
Jun 07 17:44:27 Starting compiler/backend/riscv/proofs
Jun 07 17:44:57 Finished compiler/backend/riscv/proofs                           29s   1GB
Jun 07 17:44:58 Starting compiler/backend/ag32/proofs
Jun 07 17:59:47 Finished compiler/backend/ag32/proofs                         14m49s   2GB
Jun 07 17:59:47 Starting compiler/proofs
Jun 07 18:02:09 Finished compiler/proofs                                       2m21s   4GB
Jun 07 18:02:10 Starting candle/set-theory
Jun 07 18:02:46 Finished candle/set-theory                                       35s 980MB
Jun 07 18:02:46 Starting candle/syntax-lib
Jun 07 18:03:01 Finished candle/syntax-lib                                       14s 541MB
Jun 07 18:03:01 Starting candle/standard/syntax
Jun 07 18:05:11 Finished candle/standard/syntax                                2m10s   1GB
Jun 07 18:05:12 Starting candle/standard/semantics
Jun 07 18:07:07 Finished candle/standard/semantics                             1m54s   1GB
Jun 07 18:07:07 Starting candle/standard/monadic
Jun 07 18:09:11 Finished candle/standard/monadic                               2m03s   1GB
Jun 07 18:09:11 Starting candle/standard/ml_kernel
Jun 07 18:16:16 Finished candle/standard/ml_kernel                             7m04s   3GB
Jun 07 18:16:17 Starting candle/overloading/syntax
Jun 07 18:19:41 Finished candle/overloading/syntax                             3m24s   1GB
Jun 07 18:19:41 Starting candle/overloading/semantics
Jun 07 18:32:16 Finished candle/overloading/semantics                         12m34s   2GB
Jun 07 18:32:16 Starting candle/overloading/monadic
Jun 07 18:35:05 Finished candle/overloading/monadic                            2m48s   1GB
Jun 07 18:35:05 Starting candle/overloading/ml_kernel
Jun 07 18:43:10 Finished candle/overloading/ml_kernel                          8m04s   3GB
Jun 07 18:43:11 Starting candle/overloading/ml_checker
Jun 07 18:45:38 Finished candle/overloading/ml_checker                         2m26s   3GB
Jun 07 18:45:38 Starting candle/prover
Jun 07 18:57:03 Finished candle/prover                                        11m24s   2GB
Jun 07 18:57:03 Starting pancake
Jun 07 19:01:08 Finished pancake                                               4m04s   3GB
Jun 07 19:01:08 Starting pancake/ffi
Jun 07 19:01:09 Finished pancake/ffi                                              0s  16MB
Jun 07 19:01:09 Starting pancake/semantics
Jun 07 19:04:02 Finished pancake/semantics                                     2m52s   1GB
Jun 07 19:04:02 Starting pancake/proofs
Jun 07 19:17:15 Finished pancake/proofs                                       13m12s   5GB
Jun 07 19:17:16 Starting characteristic/examples
Jun 07 19:18:47 Finished characteristic/examples                               1m31s   2GB
Jun 07 19:18:47 Starting tutorial/solutions
Jun 07 19:35:58 Finished tutorial/solutions                                   17m10s  10GB
Jun 07 19:35:59 Starting translator/monadic/examples
Jun 07 19:40:13 Finished translator/monadic/examples                           4m13s   3GB
Jun 07 19:40:13 Starting examples
Jun 07 19:51:11 Finished examples                                             10m57s   4GB
Jun 07 19:51:11 Starting examples/compilation/x64
Jun 07 22:29:16 Finished examples/compilation/x64                           2h38m04s  17GB
Jun 07 22:29:16 Starting examples/compilation/x64/proofs
Jun 07 22:31:52 Finished examples/compilation/x64/proofs                       2m35s   3GB
Jun 07 22:31:52 Starting examples/compilation/ag32
Jun 07 23:08:32 Finished examples/compilation/ag32                            36m39s   7GB
Jun 07 23:08:32 Starting examples/compilation/ag32/proofs
Jun 07 23:09:31 Finished examples/compilation/ag32/proofs                        59s   2GB
Jun 07 23:09:32 Starting examples/cost
Jun 08 00:14:34 Finished examples/cost                                      1h05m02s   7GB
Jun 08 00:14:34 Starting examples/lpr_checker
Jun 08 00:15:40 Finished examples/lpr_checker                                  1m05s 971MB
Jun 08 00:15:40 Starting examples/lpr_checker/array
Jun 08 00:51:47 Finished examples/lpr_checker/array                           36m06s   7GB
Jun 08 00:51:47 Starting examples/lpr_checker/array/compilation
Jun 08 02:18:23 Finished examples/lpr_checker/array/compilation             1h26m32s  33GB
Jun 08 02:18:23 Starting examples/lpr_checker/array/compilation/proofs
Jun 08 02:19:55 Finished examples/lpr_checker/array/compilation/proofs         1m32s   6GB
Jun 08 02:19:55 Starting examples/opentheory
Jun 08 02:31:12 Finished examples/opentheory                                  11m16s   6GB
Jun 08 02:31:12 Starting examples/opentheory
Jun 08 02:31:13 Finished examples/opentheory                                      1s  27MB
Jun 08 02:31:14 Starting examples/opentheory/compilation
Jun 08 03:14:40 Finished examples/opentheory/compilation                      43m25s  26GB
Jun 08 03:14:40 Starting examples/opentheory/compilation/proofs
Jun 08 03:15:40 Finished examples/opentheory/compilation/proofs                  59s   4GB
Jun 08 03:15:40 Starting examples/opentheory/compilation/ag32
Jun 08 03:55:49 Finished examples/opentheory/compilation/ag32                 40m06s  25GB
Jun 08 03:55:49 Starting examples/opentheory/compilation/ag32/proofs
Jun 08 03:57:46 Finished examples/opentheory/compilation/ag32/proofs           1m56s   6GB
Jun 08 03:57:46 Starting examples/sat_encodings
Jun 08 03:59:55 Finished examples/sat_encodings                                2m08s   1GB
Jun 08 03:59:55 Starting examples/sat_encodings/case_studies
Jun 08 04:01:49 Finished examples/sat_encodings/case_studies                   1m53s 971MB
Jun 08 04:01:49 Starting examples/sat_encodings/translation
Jun 08 04:07:57 Finished examples/sat_encodings/translation                    6m06s   3GB
Jun 08 04:07:57 Starting examples/sat_encodings/translation/compilation
Jun 08 05:02:40 Finished examples/sat_encodings/translation/compilation       54m42s  20GB
Jun 08 05:02:40 Starting translator/okasaki-examples
Jun 08 05:08:04 Finished translator/okasaki-examples                           5m23s   2GB
Jun 08 05:08:04 Starting translator/other-examples
Jun 08 05:08:58 Finished translator/other-examples                               53s   1GB
Jun 08 05:08:58 Starting compiler/parsing/tests
Jun 08 05:09:30 Finished compiler/parsing/tests                                  31s 545MB
Jun 08 05:09:30 Starting compiler/inference/tests
Jun 08 05:18:21 Finished compiler/inference/tests                              8m50s   5GB
Jun 08 05:18:21 Starting compiler/printing/test
Jun 08 05:22:17 Finished compiler/printing/test                                3m56s   3GB
Jun 08 05:22:18 Starting icing/flover
Jun 08 05:35:38 Finished icing/flover                                         13m19s   1GB
Jun 08 05:35:38 Starting icing/
Jun 08 06:52:17 Finished icing/                                             1h16m38s   6GB
Jun 08 06:52:17 Starting icing/examples
Jun 08 06:53:47 Finished icing/examples                                        1m29s   3GB
Jun 08 06:53:47 Starting compiler/repl
Jun 08 07:07:43 Finished compiler/repl                                        13m55s   5GB
Jun 08 07:07:43 Starting compiler/bootstrap/translation
Jun 08 11:35:52 Finished compiler/bootstrap/translation                     4h28m08s  40GB
Jun 08 11:35:52 Starting unverified/sexpr-bootstrap/x64/64
Jun 08 11:46:44 Finished unverified/sexpr-bootstrap/x64/64                    10m46s  12GB
Jun 08 11:46:44 Starting unverified/sexpr-bootstrap/x64/32
Jun 08 11:55:39 Finished unverified/sexpr-bootstrap/x64/32                     8m50s  10GB
Jun 08 11:55:39 Starting compiler/benchmarks
Jun 08 11:55:42 Finished compiler/benchmarks                                      2s  36MB
Jun 08 11:55:42 Starting compiler/bootstrap/compilation/x64/64
Jun 09 12:08:53 Finished compiler/bootstrap/compilation/x64/64             24h13m05s  64GB
Jun 09 12:08:53 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 09 12:28:24 Finished compiler/bootstrap/compilation/x64/64/proofs         19m30s  46GB
Jun 09 12:28:24 Starting compiler/bootstrap/compilation/x64/32
Jun 10 02:00:25 Finished compiler/bootstrap/compilation/x64/32             13h31m56s  64GB
Jun 10 02:00:25 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 10 02:04:50 Finished compiler/bootstrap/compilation/x64/32/proofs          4m24s  15GB
Jun 10 02:04:51 Starting compiler/bootstrap/compilation/ag32/32
Jun 10 15:45:01 Finished compiler/bootstrap/compilation/ag32/32            13h40m09s  64GB
Jun 10 15:45:01 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 10 16:02:02 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m01s  29GB
Jun 10 16:02:03 SUCCESS