Job 1911

CakeML:e4fb78d3df72f1175c1fb1876360fe22904b639c
  Make REPL use linear scan allocator by default [May 28 09:25:24]
#887 (inc-compiler-emptyffi)
Merging into:4d715a10ff9aaabf64338dfb43240026dbc7db3e
  Merge pull request #886 from CakeML/pancake-frontend [Jun 05 17:09:06]
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 05 17:15:01 Claimed job
Jun 05 17:15:11 Building HOL
Jun 05 17:25:50 Starting developers
Jun 05 17:25:56 Finished developers                                               5s  99MB
Jun 05 17:25:56 Starting developers/bin
Jun 05 17:27:37 Finished developers/bin                                        1m40s   1GB
Jun 05 17:27:37 Starting semantics/ffi
Jun 05 17:27:48 Finished semantics/ffi                                           10s 199MB
Jun 05 17:27:48 Starting semantics
Jun 05 17:30:39 Finished semantics                                             2m50s   1GB
Jun 05 17:30:39 Starting semantics/proofs
Jun 05 17:38:16 Finished semantics/proofs                                      7m36s   1GB
Jun 05 17:38:16 Starting semantics/alt_semantics
Jun 05 17:38:46 Finished semantics/alt_semantics                                 29s 566MB
Jun 05 17:38:46 Starting semantics/alt_semantics/proofs
Jun 05 17:51:18 Finished semantics/alt_semantics/proofs                       12m31s   2GB
Jun 05 17:51:19 Starting basis/pure
Jun 05 17:55:13 Finished basis/pure                                            3m54s 891MB
Jun 05 17:55:13 Starting translator
Jun 05 17:59:15 Finished translator                                            4m01s   1GB
Jun 05 17:59:15 Starting compiler/parsing
Jun 05 18:00:50 Finished compiler/parsing                                      1m35s   4GB
Jun 05 18:00:51 Starting characteristic
Jun 05 18:08:05 Finished characteristic                                        7m14s   2GB
Jun 05 18:08:05 Starting translator/monadic
Jun 05 18:10:12 Finished translator/monadic                                    2m06s   1GB
Jun 05 18:10:12 Starting basis
Jun 05 19:05:34 Finished basis                                                55m21s  17GB
Jun 05 19:05:34 Starting compiler/inference
Jun 05 19:07:17 Finished compiler/inference                                    1m42s   1GB
Jun 05 19:07:17 Starting compiler/backend/reg_alloc
Jun 05 19:09:07 Finished compiler/backend/reg_alloc                            1m49s   1GB
Jun 05 19:09:08 Starting compiler/backend/gc
Jun 05 19:13:56 Finished compiler/backend/gc                                   4m48s   2GB
Jun 05 19:13:57 Starting compiler/backend
Jun 05 19:20:14 Finished compiler/backend                                      6m17s   2GB
Jun 05 19:20:15 Starting compiler/encoders/asm
Jun 05 19:20:47 Finished compiler/encoders/asm                                   31s 735MB
Jun 05 19:20:47 Starting compiler/encoders/x64
Jun 05 19:22:00 Finished compiler/encoders/x64                                 1m12s 768MB
Jun 05 19:22:00 Starting compiler/encoders/arm7
Jun 05 19:24:18 Finished compiler/encoders/arm7                                2m17s   1GB
Jun 05 19:24:18 Starting compiler/encoders/arm8
Jun 05 19:25:04 Finished compiler/encoders/arm8                                  45s 609MB
Jun 05 19:25:04 Starting compiler/encoders/arm8_asl
Jun 05 21:54:20 Finished compiler/encoders/arm8_asl                         2h29m15s  40GB
Jun 05 21:54:20 Starting compiler/encoders/mips
Jun 05 21:56:01 Finished compiler/encoders/mips                                1m40s   1GB
Jun 05 21:56:02 Starting compiler/encoders/riscv
Jun 05 21:58:03 Finished compiler/encoders/riscv                               2m00s 898MB
Jun 05 21:58:03 Starting compiler/encoders/ag32
Jun 05 21:58:27 Finished compiler/encoders/ag32                                  23s 889MB
Jun 05 21:58:27 Starting compiler/backend/x64
Jun 05 21:58:50 Finished compiler/backend/x64                                    23s   1GB
Jun 05 21:58:51 Starting compiler/backend/arm7
Jun 05 21:59:16 Finished compiler/backend/arm7                                   25s   1GB
Jun 05 21:59:16 Starting compiler/backend/arm8
Jun 05 21:59:41 Finished compiler/backend/arm8                                   24s   1GB
Jun 05 21:59:41 Starting compiler/backend/mips
Jun 05 22:00:05 Finished compiler/backend/mips                                   23s   1GB
Jun 05 22:00:05 Starting compiler/backend/riscv
Jun 05 22:00:29 Finished compiler/backend/riscv                                  23s   1GB
Jun 05 22:00:29 Starting compiler/backend/ag32
Jun 05 22:02:02 Finished compiler/backend/ag32                                 1m32s   1GB
Jun 05 22:02:02 Starting compiler/parsing/proofs
Jun 05 22:06:06 Finished compiler/parsing/proofs                               4m04s   1GB
Jun 05 22:06:07 Starting compiler/inference/proofs
Jun 05 22:09:06 Finished compiler/inference/proofs                             2m59s   1GB
Jun 05 22:09:06 Starting compiler/backend/semantics
Jun 05 22:45:17 Finished compiler/backend/semantics                           36m10s   3GB
Jun 05 22:45:17 Starting compiler/backend/reg_alloc/proofs
Jun 05 22:49:18 Finished compiler/backend/reg_alloc/proofs                     4m00s 979MB
Jun 05 22:49:18 Starting compiler/backend/proofs
Jun 05 23:49:28 Finished compiler/backend/proofs                            1h00m09s  15GB
Jun 05 23:49:29 Starting compiler/backend/serialiser
Jun 05 23:51:14 Finished compiler/backend/serialiser                           1m45s   1GB
Jun 05 23:51:14 Starting compiler/encoders/x64/proofs
Jun 06 00:01:31 Finished compiler/encoders/x64/proofs                         10m16s   5GB
Jun 06 00:01:31 Starting compiler/encoders/arm7/proofs
Jun 06 00:15:34 Finished compiler/encoders/arm7/proofs                        14m02s   3GB
Jun 06 00:15:34 Starting compiler/encoders/arm8/proofs
Jun 06 00:22:49 Finished compiler/encoders/arm8/proofs                         7m15s   1GB
Jun 06 00:22:50 Starting compiler/encoders/arm8_asl/proofs
Jun 06 01:16:01 Finished compiler/encoders/arm8_asl/proofs                    53m11s   8GB
Jun 06 01:16:02 Starting compiler/encoders/mips/proofs
Jun 06 01:26:53 Finished compiler/encoders/mips/proofs                        10m51s   2GB
Jun 06 01:26:53 Starting compiler/encoders/riscv/proofs
Jun 06 01:36:22 Finished compiler/encoders/riscv/proofs                        9m28s   1GB
Jun 06 01:36:22 Starting compiler/encoders/ag32/proofs
Jun 06 01:39:13 Finished compiler/encoders/ag32/proofs                         2m51s 686MB
Jun 06 01:39:14 Starting compiler/backend/x64/proofs
Jun 06 01:39:44 Finished compiler/backend/x64/proofs                             29s   1GB
Jun 06 01:39:44 Starting compiler/backend/arm7/proofs
Jun 06 01:40:15 Finished compiler/backend/arm7/proofs                            31s   1GB
Jun 06 01:40:16 Starting compiler/backend/arm8/proofs
Jun 06 01:40:46 Finished compiler/backend/arm8/proofs                            29s   1GB
Jun 06 01:40:46 Starting compiler/backend/arm8_asl
Jun 06 01:41:20 Finished compiler/backend/arm8_asl                               33s   1GB
Jun 06 01:41:20 Starting compiler/backend/mips/proofs
Jun 06 01:41:51 Finished compiler/backend/mips/proofs                            30s   1GB
Jun 06 01:41:51 Starting compiler/backend/riscv/proofs
Jun 06 01:42:22 Finished compiler/backend/riscv/proofs                           30s   1GB
Jun 06 01:42:22 Starting compiler/backend/ag32/proofs
Jun 06 01:57:20 Finished compiler/backend/ag32/proofs                         14m57s   2GB
Jun 06 01:57:20 Starting compiler/proofs
Jun 06 01:59:58 Finished compiler/proofs                                       2m38s   3GB
Jun 06 01:59:58 Starting candle/set-theory
Jun 06 02:00:34 Finished candle/set-theory                                       35s 974MB
Jun 06 02:00:34 Starting candle/syntax-lib
Jun 06 02:00:49 Finished candle/syntax-lib                                       14s 543MB
Jun 06 02:00:49 Starting candle/standard/syntax
Jun 06 02:02:59 Finished candle/standard/syntax                                2m10s   1GB
Jun 06 02:03:00 Starting candle/standard/semantics
Jun 06 02:04:56 Finished candle/standard/semantics                             1m55s   1GB
Jun 06 02:04:56 Starting candle/standard/monadic
Jun 06 02:07:00 Finished candle/standard/monadic                               2m03s   1GB
Jun 06 02:07:00 Starting candle/standard/ml_kernel
Jun 06 02:14:02 Finished candle/standard/ml_kernel                             7m01s   3GB
Jun 06 02:14:03 Starting candle/overloading/syntax
Jun 06 02:17:28 Finished candle/overloading/syntax                             3m25s   1GB
Jun 06 02:17:28 Starting candle/overloading/semantics
Jun 06 02:29:59 Finished candle/overloading/semantics                         12m30s   2GB
Jun 06 02:30:00 Starting candle/overloading/monadic
Jun 06 02:32:45 Finished candle/overloading/monadic                            2m45s   1GB
Jun 06 02:32:45 Starting candle/overloading/ml_kernel
Jun 06 02:40:49 Finished candle/overloading/ml_kernel                          8m03s   3GB
Jun 06 02:40:50 Starting candle/overloading/ml_checker
Jun 06 02:43:18 Finished candle/overloading/ml_checker                         2m28s   3GB
Jun 06 02:43:19 Starting candle/prover
Jun 06 02:54:47 Finished candle/prover                                        11m28s   2GB
Jun 06 02:54:47 Starting pancake
Jun 06 02:58:51 Finished pancake                                               4m03s   4GB
Jun 06 02:58:51 Starting pancake/ffi
Jun 06 02:58:52 Finished pancake/ffi                                              0s  23MB
Jun 06 02:58:52 Starting pancake/semantics
Jun 06 03:01:44 Finished pancake/semantics                                     2m51s   1GB
Jun 06 03:01:44 Starting pancake/proofs
Jun 06 03:14:58 Finished pancake/proofs                                       13m13s   5GB
Jun 06 03:14:59 Starting characteristic/examples
Jun 06 03:16:28 Finished characteristic/examples                               1m29s   3GB
Jun 06 03:16:28 Starting tutorial/solutions
Jun 06 03:34:09 Finished tutorial/solutions                                   17m40s   8GB
Jun 06 03:34:09 Starting translator/monadic/examples
Jun 06 03:38:23 Finished translator/monadic/examples                           4m13s   2GB
Jun 06 03:38:23 Starting examples
Jun 06 03:49:42 Finished examples                                             11m18s   4GB
Jun 06 03:49:43 Starting examples/compilation/x64
Jun 06 06:29:38 Finished examples/compilation/x64                           2h39m55s  18GB
Jun 06 06:29:39 Starting examples/compilation/x64/proofs
Jun 06 06:32:14 Finished examples/compilation/x64/proofs                       2m35s   3GB
Jun 06 06:32:14 Starting examples/compilation/ag32
Jun 06 07:08:37 Finished examples/compilation/ag32                            36m22s   8GB
Jun 06 07:08:38 Starting examples/compilation/ag32/proofs
Jun 06 07:09:40 Finished examples/compilation/ag32/proofs                      1m02s   4GB
Jun 06 07:09:40 Starting examples/cost
Jun 06 08:14:45 Finished examples/cost                                      1h05m03s   9GB
Jun 06 08:14:45 Starting examples/lpr_checker
Jun 06 08:15:50 Finished examples/lpr_checker                                  1m04s   1GB
Jun 06 08:15:50 Starting examples/lpr_checker/array
Jun 06 08:52:01 Finished examples/lpr_checker/array                           36m10s   7GB
Jun 06 08:52:01 Starting examples/lpr_checker/array/compilation
Jun 06 10:22:38 Finished examples/lpr_checker/array/compilation             1h30m36s  30GB
Jun 06 10:22:38 Starting examples/lpr_checker/array/compilation/proofs
Jun 06 10:24:12 Finished examples/lpr_checker/array/compilation/proofs         1m33s   6GB
Jun 06 10:24:12 Starting examples/opentheory
Jun 06 10:35:37 Finished examples/opentheory                                  11m24s   3GB
Jun 06 10:35:38 Starting examples/opentheory
Jun 06 10:35:39 Finished examples/opentheory                                      1s  21MB
Jun 06 10:35:39 Starting examples/opentheory/compilation
Jun 06 11:18:44 Finished examples/opentheory/compilation                      43m04s  23GB
Jun 06 11:18:44 Starting examples/opentheory/compilation/proofs
Jun 06 11:20:06 Finished examples/opentheory/compilation/proofs                1m22s   3GB
Jun 06 11:20:07 Starting examples/opentheory/compilation/ag32
Jun 06 12:00:21 Finished examples/opentheory/compilation/ag32                 40m14s  20GB
Jun 06 12:00:22 Starting examples/opentheory/compilation/ag32/proofs
Jun 06 12:02:23 Finished examples/opentheory/compilation/ag32/proofs           2m00s   7GB
Jun 06 12:02:23 Starting examples/sat_encodings
Jun 06 12:04:30 Finished examples/sat_encodings                                2m06s 732MB
Jun 06 12:04:30 Starting examples/sat_encodings/case_studies
Jun 06 12:06:21 Finished examples/sat_encodings/case_studies                   1m50s 751MB
Jun 06 12:06:21 Starting examples/sat_encodings/translation
Jun 06 12:12:32 Finished examples/sat_encodings/translation                    6m11s   4GB
Jun 06 12:12:32 Starting examples/sat_encodings/translation/compilation
Jun 06 13:07:42 Finished examples/sat_encodings/translation/compilation       55m09s  22GB
Jun 06 13:07:43 Starting translator/okasaki-examples
Jun 06 13:13:07 Finished translator/okasaki-examples                           5m24s   1GB
Jun 06 13:13:07 Starting translator/other-examples
Jun 06 13:15:14 Finished translator/other-examples                             2m06s   1GB
Jun 06 13:15:14 Starting compiler/parsing/tests
Jun 06 13:15:47 Finished compiler/parsing/tests                                  32s 595MB
Jun 06 13:15:47 Starting compiler/inference/tests
Jun 06 13:24:35 Finished compiler/inference/tests                              8m47s   6GB
Jun 06 13:24:35 Starting compiler/printing/test
Jun 06 13:28:34 Finished compiler/printing/test                                3m58s   2GB
Jun 06 13:28:34 Starting icing/flover
Jun 06 13:41:55 Finished icing/flover                                         13m20s   1GB
Jun 06 13:41:55 Starting icing/
Jun 06 14:58:13 Finished icing/                                             1h16m15s   6GB
Jun 06 14:58:13 Starting icing/examples
Jun 06 14:59:47 Finished icing/examples                                        1m33s   7GB
Jun 06 14:59:47 Starting compiler/repl
Jun 06 15:13:45 Finished compiler/repl                                        13m57s   5GB
Jun 06 15:13:45 Starting compiler/bootstrap/translation
Jun 06 19:42:16 Finished compiler/bootstrap/translation                     4h28m30s  32GB
Jun 06 19:42:16 Starting unverified/sexpr-bootstrap/x64/64
Jun 06 19:53:04 Finished unverified/sexpr-bootstrap/x64/64                    10m47s  12GB
Jun 06 19:53:04 Starting unverified/sexpr-bootstrap/x64/32
Jun 06 20:02:07 Finished unverified/sexpr-bootstrap/x64/32                     9m02s  10GB
Jun 06 20:02:07 Starting compiler/benchmarks
Jun 06 20:02:10 Finished compiler/benchmarks                                      2s  34MB
Jun 06 20:02:11 Starting compiler/bootstrap/compilation/x64/64 Jun 06 20:02:11 2641s