Job 1883

CakeML:e6f5d9527fc76a309309e3ddca8157880dcbcc87
  Merge pull request #881 from CakeML/mlmap-additions [Apr 30 15:11:09]
HOL:9ef7738eaecdb725492f0929f6b270d1f4e63a40
  Teach Holmake and Parse.sml about the tmux terminal [Apr 28 21:56:05]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

May 01 13:30:02 Claimed job
May 01 13:30:05 Building HOL
May 01 13:40:30 Starting developers
May 01 13:40:35 Finished developers                                               4s 120MB
May 01 13:40:35 Starting developers/bin
May 01 13:40:45 Finished developers/bin                                           9s   1GB
May 01 13:40:45 Starting semantics/ffi
May 01 13:40:56 Finished semantics/ffi                                           10s 207MB
May 01 13:40:57 Starting semantics
May 01 13:43:15 Finished semantics                                             2m17s   1GB
May 01 13:43:15 Starting semantics/proofs
May 01 13:47:43 Finished semantics/proofs                                      4m27s   3GB
May 01 13:47:43 Starting semantics/alt_semantics
May 01 13:48:09 Finished semantics/alt_semantics                                 25s 579MB
May 01 13:48:09 Starting semantics/alt_semantics/proofs
May 01 13:51:22 Finished semantics/alt_semantics/proofs                        3m13s   1GB
May 01 13:51:23 Starting basis/pure
May 01 13:55:16 Finished basis/pure                                            3m52s 819MB
May 01 13:55:16 Starting translator
May 01 13:58:28 Finished translator                                            3m12s   1GB
May 01 13:58:29 Starting compiler/parsing
May 01 13:59:52 Finished compiler/parsing                                      1m23s   2GB
May 01 13:59:53 Starting characteristic
May 01 14:06:33 Finished characteristic                                        6m40s   1GB
May 01 14:06:34 Starting translator/monadic
May 01 14:08:34 Finished translator/monadic                                    2m00s   1GB
May 01 14:08:34 Starting basis
May 01 14:59:08 Finished basis                                                50m30s  12GB
May 01 14:59:08 Starting compiler/inference
May 01 15:00:42 Finished compiler/inference                                    1m33s   1GB
May 01 15:00:42 Starting compiler/backend/reg_alloc
May 01 15:02:30 Finished compiler/backend/reg_alloc                            1m47s   1GB
May 01 15:02:30 Starting compiler/backend/gc
May 01 15:07:14 Finished compiler/backend/gc                                   4m43s   1GB
May 01 15:07:14 Starting compiler/backend
May 01 15:13:16 Finished compiler/backend                                      6m01s   2GB
May 01 15:13:16 Starting compiler/encoders/asm
May 01 15:13:48 Finished compiler/encoders/asm                                   31s 696MB
May 01 15:13:48 Starting compiler/encoders/x64
May 01 15:15:01 Finished compiler/encoders/x64                                 1m12s   1GB
May 01 15:15:01 Starting compiler/encoders/arm7
May 01 15:17:23 Finished compiler/encoders/arm7                                2m21s   1GB
May 01 15:17:23 Starting compiler/encoders/arm8
May 01 15:18:09 Finished compiler/encoders/arm8                                  45s 612MB
May 01 15:18:09 Starting compiler/encoders/arm8_asl
May 01 17:40:09 Finished compiler/encoders/arm8_asl                         2h21m59s  38GB
May 01 17:40:09 Starting compiler/encoders/mips
May 01 17:41:54 Finished compiler/encoders/mips                                1m44s   1GB
May 01 17:41:54 Starting compiler/encoders/riscv
May 01 17:43:53 Finished compiler/encoders/riscv                               1m59s   1GB
May 01 17:43:53 Starting compiler/encoders/ag32
May 01 17:44:18 Finished compiler/encoders/ag32                                  23s 792MB
May 01 17:44:18 Starting compiler/backend/x64
May 01 17:44:41 Finished compiler/backend/x64                                    22s   1GB
May 01 17:44:41 Starting compiler/backend/arm7
May 01 17:45:06 Finished compiler/backend/arm7                                   25s   1GB
May 01 17:45:07 Starting compiler/backend/arm8
May 01 17:45:30 Finished compiler/backend/arm8                                   22s   1GB
May 01 17:45:30 Starting compiler/backend/mips
May 01 17:45:54 Finished compiler/backend/mips                                   23s   1GB
May 01 17:45:55 Starting compiler/backend/riscv
May 01 17:46:18 Finished compiler/backend/riscv                                  23s   1GB
May 01 17:46:19 Starting compiler/backend/ag32
May 01 17:47:51 Finished compiler/backend/ag32                                 1m31s   1GB
May 01 17:47:51 Starting compiler/parsing/proofs
May 01 17:51:55 Finished compiler/parsing/proofs                               4m03s   1GB
May 01 17:51:55 Starting compiler/inference/proofs
May 01 17:54:41 Finished compiler/inference/proofs                             2m45s   1GB
May 01 17:54:41 Starting compiler/backend/semantics
May 01 18:26:41 Finished compiler/backend/semantics                           31m59s   2GB
May 01 18:26:41 Starting compiler/backend/reg_alloc/proofs
May 01 18:30:40 Finished compiler/backend/reg_alloc/proofs                     3m58s   1GB
May 01 18:30:40 Starting compiler/backend/proofs
May 01 19:28:00 Finished compiler/backend/proofs                              57m19s  16GB
May 01 19:28:01 Starting compiler/backend/serialiser
May 01 19:29:45 Finished compiler/backend/serialiser                           1m44s   2GB
May 01 19:29:46 Starting compiler/encoders/x64/proofs
May 01 19:40:04 Finished compiler/encoders/x64/proofs                         10m18s   4GB
May 01 19:40:04 Starting compiler/encoders/arm7/proofs
May 01 19:54:18 Finished compiler/encoders/arm7/proofs                        14m13s   3GB
May 01 19:54:18 Starting compiler/encoders/arm8/proofs
May 01 20:01:37 Finished compiler/encoders/arm8/proofs                         7m19s   1GB
May 01 20:01:38 Starting compiler/encoders/arm8_asl/proofs
May 01 20:55:27 Finished compiler/encoders/arm8_asl/proofs                    53m48s   5GB
May 01 20:55:27 Starting compiler/encoders/mips/proofs
May 01 21:06:15 Finished compiler/encoders/mips/proofs                        10m47s   2GB
May 01 21:06:15 Starting compiler/encoders/riscv/proofs
May 01 21:15:45 Finished compiler/encoders/riscv/proofs                        9m29s   1GB
May 01 21:15:45 Starting compiler/encoders/ag32/proofs
May 01 21:18:32 Finished compiler/encoders/ag32/proofs                         2m46s 837MB
May 01 21:18:32 Starting compiler/backend/x64/proofs
May 01 21:19:02 Finished compiler/backend/x64/proofs                             29s   1GB
May 01 21:19:02 Starting compiler/backend/arm7/proofs
May 01 21:19:33 Finished compiler/backend/arm7/proofs                            30s   1GB
May 01 21:19:33 Starting compiler/backend/arm8/proofs
May 01 21:20:02 Finished compiler/backend/arm8/proofs                            29s   1GB
May 01 21:20:03 Starting compiler/backend/arm8_asl
May 01 21:20:26 Finished compiler/backend/arm8_asl                               23s   1GB
May 01 21:20:26 Starting compiler/backend/mips/proofs
May 01 21:20:57 Finished compiler/backend/mips/proofs                            30s   2GB
May 01 21:20:58 Starting compiler/backend/riscv/proofs
May 01 21:21:27 Finished compiler/backend/riscv/proofs                           29s   1GB
May 01 21:21:27 Starting compiler/backend/ag32/proofs
May 01 21:35:24 Finished compiler/backend/ag32/proofs                         13m55s   2GB
May 01 21:35:24 Starting compiler/proofs
May 01 21:37:53 Finished compiler/proofs                                       2m28s   3GB
May 01 21:37:54 Starting candle/set-theory
May 01 21:38:30 Finished candle/set-theory                                       36s 959MB
May 01 21:38:30 Starting candle/syntax-lib
May 01 21:38:45 Finished candle/syntax-lib                                       14s 610MB
May 01 21:38:45 Starting candle/standard/syntax
May 01 21:40:55 Finished candle/standard/syntax                                2m09s   1GB
May 01 21:40:55 Starting candle/standard/semantics
May 01 21:42:52 Finished candle/standard/semantics                             1m56s   1GB
May 01 21:42:52 Starting candle/standard/monadic
May 01 21:44:54 Finished candle/standard/monadic                               2m02s   1GB
May 01 21:44:55 Starting candle/standard/ml_kernel
May 01 21:51:35 Finished candle/standard/ml_kernel                             6m40s   2GB
May 01 21:51:36 Starting candle/overloading/syntax
May 01 21:55:02 Finished candle/overloading/syntax                             3m26s   1GB
May 01 21:55:02 Starting candle/overloading/semantics
May 01 22:07:42 Finished candle/overloading/semantics                         12m39s   2GB
May 01 22:07:42 Starting candle/overloading/monadic
May 01 22:10:27 Finished candle/overloading/monadic                            2m45s   2GB
May 01 22:10:27 Starting candle/overloading/ml_kernel
May 01 22:18:10 Finished candle/overloading/ml_kernel                          7m42s   3GB
May 01 22:18:10 Starting candle/overloading/ml_checker
May 01 22:20:39 Finished candle/overloading/ml_checker                         2m28s   4GB
May 01 22:20:39 Starting candle/prover
May 01 22:29:19 Finished candle/prover                                         8m39s   2GB
May 01 22:29:19 Starting pancake
May 01 22:33:13 Finished pancake                                               3m53s   3GB
May 01 22:33:14 Starting pancake/ffi
May 01 22:33:14 Finished pancake/ffi                                              0s  31MB
May 01 22:33:15 Starting pancake/semantics
May 01 22:35:57 Finished pancake/semantics                                     2m41s   1GB
May 01 22:35:58 Starting pancake/proofs
May 01 22:49:05 Finished pancake/proofs                                       13m07s   6GB
May 01 22:49:05 Starting characteristic/examples
May 01 22:50:31 Finished characteristic/examples                               1m25s   3GB
May 01 22:50:31 Starting tutorial/solutions
May 01 23:07:51 Finished tutorial/solutions                                   17m19s   8GB
May 01 23:07:52 Starting translator/monadic/examples
May 01 23:12:00 Finished translator/monadic/examples                           4m08s   2GB
May 01 23:12:00 Starting examples
May 01 23:22:39 Finished examples                                             10m38s   4GB
May 01 23:22:39 Starting examples/compilation/x64
May 02 01:59:56 Finished examples/compilation/x64                           2h37m16s  17GB
May 02 01:59:56 Starting examples/compilation/x64/proofs
May 02 02:02:42 Finished examples/compilation/x64/proofs                       2m45s   3GB
May 02 02:02:42 Starting examples/compilation/ag32
May 02 02:39:09 Finished examples/compilation/ag32                            36m26s   9GB
May 02 02:39:09 Starting examples/compilation/ag32/proofs
May 02 02:40:08 Finished examples/compilation/ag32/proofs                        59s   3GB
May 02 02:40:08 Starting examples/cost
May 02 03:41:30 Finished examples/cost                                      1h01m19s   9GB
May 02 03:41:30 Starting examples/lpr_checker
May 02 03:42:36 Finished examples/lpr_checker                                  1m05s   1GB
May 02 03:42:36 Starting examples/lpr_checker/array
May 02 04:13:38 Finished examples/lpr_checker/array                           31m01s   5GB
May 02 04:13:39 Starting examples/lpr_checker/array/compilation
May 02 05:43:13 Finished examples/lpr_checker/array/compilation             1h29m34s  32GB
May 02 05:43:14 Starting examples/lpr_checker/array/compilation/proofs
May 02 05:44:45 Finished examples/lpr_checker/array/compilation/proofs         1m30s   6GB
May 02 05:44:45 Starting examples/opentheory
May 03 19:11:55 Resuming examples/opentheory
May 03 19:11:57 Finished examples/opentheory                                      1s  25MB
May 03 19:11:57 Starting examples/opentheory
May 03 19:11:59 Finished examples/opentheory                                      1s  22MB
May 03 19:11:59 Starting examples/opentheory/compilation
May 03 19:55:12 Finished examples/opentheory/compilation                      43m13s  24GB
May 03 19:55:12 Starting examples/opentheory/compilation/proofs
May 03 19:56:11 Finished examples/opentheory/compilation/proofs                  58s   4GB
May 03 19:56:11 Starting examples/opentheory/compilation/ag32
May 03 20:36:59 Finished examples/opentheory/compilation/ag32                 40m47s  22GB
May 03 20:37:00 Starting examples/opentheory/compilation/ag32/proofs
May 03 20:38:53 Finished examples/opentheory/compilation/ag32/proofs           1m52s   6GB
May 03 20:38:53 Starting examples/sat_encodings
May 03 20:41:01 Finished examples/sat_encodings                                2m08s 866MB
May 03 20:41:02 Starting examples/sat_encodings/case_studies
May 03 20:42:53 Finished examples/sat_encodings/case_studies                   1m50s 864MB
May 03 20:42:53 Starting examples/sat_encodings/translation
May 03 20:48:52 Finished examples/sat_encodings/translation                    5m58s   3GB
May 03 20:48:52 Starting examples/sat_encodings/translation/compilation
May 03 21:43:48 Finished examples/sat_encodings/translation/compilation       54m54s  20GB
May 03 21:43:48 Starting translator/okasaki-examples
May 03 21:48:57 Finished translator/okasaki-examples                           5m08s   1GB
May 03 21:48:57 Starting translator/other-examples
May 03 21:51:05 Finished translator/other-examples                             2m08s   1GB
May 03 21:51:06 Starting compiler/parsing/tests
May 03 21:51:37 Finished compiler/parsing/tests                                  31s 580MB
May 03 21:51:38 Starting compiler/inference/tests
May 03 22:00:20 Finished compiler/inference/tests                              8m41s   6GB
May 03 22:00:20 Starting compiler/printing/test
May 03 22:04:16 Finished compiler/printing/test                                3m56s   3GB
May 03 22:04:17 Starting compiler/repl
May 03 22:18:00 Finished compiler/repl                                        13m42s   5GB
May 03 22:18:00 Starting compiler/bootstrap/translation
May 04 02:32:40 Finished compiler/bootstrap/translation                     4h14m40s  57GB
May 04 02:32:41 Starting unverified/sexpr-bootstrap/x64/64
May 04 02:43:37 Finished unverified/sexpr-bootstrap/x64/64                    10m51s  13GB
May 04 02:43:37 Starting unverified/sexpr-bootstrap/x64/32
May 04 02:52:27 Finished unverified/sexpr-bootstrap/x64/32                     8m45s  11GB
May 04 02:52:27 Starting compiler/benchmarks
May 04 02:52:30 Finished compiler/benchmarks                                      2s  31MB
May 04 02:52:30 Starting compiler/bootstrap/compilation/x64/64
May 05 01:45:21 Finished compiler/bootstrap/compilation/x64/64             22h52m47s  64GB
May 05 01:45:22 Starting compiler/bootstrap/compilation/x64/64/proofs
May 05 02:04:08 Finished compiler/bootstrap/compilation/x64/64/proofs         18m46s  45GB
May 05 02:04:08 Starting compiler/bootstrap/compilation/x64/32
May 05 15:32:02 Finished compiler/bootstrap/compilation/x64/32             13h27m50s  64GB
May 05 15:32:02 Starting compiler/bootstrap/compilation/x64/32/proofs
May 05 15:36:31 Finished compiler/bootstrap/compilation/x64/32/proofs          4m28s  16GB
May 05 15:36:32 Starting compiler/bootstrap/compilation/ag32/32
May 06 05:19:39 Finished compiler/bootstrap/compilation/ag32/32            13h43m06s  64GB
May 06 05:19:39 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 06 05:37:01 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m21s  28GB
May 06 05:37:01 SUCCESS