Job 1596

CakeML:4dc196c16fbe5249ee0663abde66fae5016439cb
  fix ramsey example [Sep 30 16:32:41]
#839 (lpr_transform)
Merging into:93a43c51f337a845a8696f031d3fc712c62dd2da
  Merge pull request #835 from CakeML/enc-dec [Sep 29 09:23:45]
HOL:424885cd3abe129d536c979db549b5efe69b23fa
  Fix Unicode violation in topologyScript.sml [Sep 20 06:39:34]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Sep 30 16:41:10 Claimed job
Sep 30 16:41:12 Reusing HOL
Sep 30 16:41:52 Starting developers
Sep 30 16:41:57 Finished developers                                               4s 140MB
Sep 30 16:41:57 Starting developers/bin
Sep 30 16:42:04 Finished developers/bin                                           6s   1GB
Sep 30 16:42:04 Starting semantics/ffi
Sep 30 16:42:15 Finished semantics/ffi                                           10s 251MB
Sep 30 16:42:15 Starting semantics
Sep 30 16:43:38 Finished semantics                                             1m22s   1GB
Sep 30 16:43:38 Starting semantics/proofs
Sep 30 16:47:13 Finished semantics/proofs                                      3m35s   1GB
Sep 30 16:47:13 Starting semantics/alt_semantics
Sep 30 16:47:25 Finished semantics/alt_semantics                                 11s 484MB
Sep 30 16:47:25 Starting semantics/alt_semantics/proofs
Sep 30 16:49:49 Finished semantics/alt_semantics/proofs                        2m24s   1GB
Sep 30 16:49:49 Starting basis/pure
Sep 30 16:50:42 Finished basis/pure                                              52s 876MB
Sep 30 16:50:42 Starting translator
Sep 30 16:53:59 Finished translator                                            3m16s   1GB
Sep 30 16:53:59 Starting compiler/parsing
Sep 30 16:55:12 Finished compiler/parsing                                      1m12s   3GB
Sep 30 16:55:12 Starting characteristic
Sep 30 17:00:53 Finished characteristic                                        5m41s   1GB
Sep 30 17:00:53 Starting translator/monadic
Sep 30 17:02:37 Finished translator/monadic                                    1m43s   1GB
Sep 30 17:02:37 Starting basis
Sep 30 17:47:48 Finished basis                                                45m09s  19GB
Sep 30 17:47:48 Starting compiler/inference
Sep 30 17:48:55 Finished compiler/inference                                    1m07s   1GB
Sep 30 17:48:55 Starting compiler/backend/reg_alloc
Sep 30 17:50:05 Finished compiler/backend/reg_alloc                            1m08s   1GB
Sep 30 17:50:05 Starting compiler/backend/gc
Sep 30 17:53:29 Finished compiler/backend/gc                                   3m24s   2GB
Sep 30 17:53:29 Starting compiler/backend
Sep 30 17:58:32 Finished compiler/backend                                      5m02s   4GB
Sep 30 17:58:32 Starting compiler/encoders/asm
Sep 30 17:58:56 Finished compiler/encoders/asm                                   23s 697MB
Sep 30 17:58:56 Starting compiler/encoders/x64
Sep 30 17:59:21 Finished compiler/encoders/x64                                   25s   1GB
Sep 30 17:59:21 Starting compiler/encoders/arm7
Sep 30 18:00:13 Finished compiler/encoders/arm7                                  51s 769MB
Sep 30 18:00:13 Starting compiler/encoders/arm8
Sep 30 18:00:26 Finished compiler/encoders/arm8                                  13s 640MB
Sep 30 18:00:26 Starting compiler/encoders/mips
Sep 30 18:00:45 Finished compiler/encoders/mips                                  18s   1GB
Sep 30 18:00:45 Starting compiler/encoders/riscv
Sep 30 18:01:02 Finished compiler/encoders/riscv                                 16s 996MB
Sep 30 18:01:02 Starting compiler/encoders/ag32
Sep 30 18:01:21 Finished compiler/encoders/ag32                                  18s 899MB
Sep 30 18:01:21 Starting compiler/backend/x64
Sep 30 18:01:39 Finished compiler/backend/x64                                    17s   1GB
Sep 30 18:01:39 Starting compiler/backend/arm7
Sep 30 18:02:00 Finished compiler/backend/arm7                                   20s   1GB
Sep 30 18:02:00 Starting compiler/backend/arm8
Sep 30 18:02:19 Finished compiler/backend/arm8                                   19s   1GB
Sep 30 18:02:20 Starting compiler/backend/mips
Sep 30 18:02:39 Finished compiler/backend/mips                                   19s   1GB
Sep 30 18:02:39 Starting compiler/backend/riscv
Sep 30 18:02:59 Finished compiler/backend/riscv                                  19s   1GB
Sep 30 18:02:59 Starting compiler/backend/ag32
Sep 30 18:04:08 Finished compiler/backend/ag32                                 1m08s   1GB
Sep 30 18:04:08 Starting compiler/parsing/proofs
Sep 30 18:10:53 Finished compiler/parsing/proofs                               6m45s 882MB
Sep 30 18:10:53 Starting compiler/inference/proofs
Sep 30 18:13:23 Finished compiler/inference/proofs                             2m29s   1GB
Sep 30 18:13:24 Starting compiler/backend/semantics
Sep 30 18:42:30 Finished compiler/backend/semantics                           29m05s   2GB
Sep 30 18:42:30 Starting compiler/backend/reg_alloc/proofs
Sep 30 18:45:58 Finished compiler/backend/reg_alloc/proofs                     3m27s 783MB
Sep 30 18:45:58 Starting compiler/backend/proofs
Sep 30 19:36:53 Finished compiler/backend/proofs                              50m54s  15GB
Sep 30 19:36:54 Starting compiler/backend/serialiser
Sep 30 19:38:02 Finished compiler/backend/serialiser                           1m08s   1GB
Sep 30 19:38:02 Starting compiler/encoders/x64/proofs
Sep 30 19:47:41 Finished compiler/encoders/x64/proofs                          9m39s   4GB
Sep 30 19:47:41 Starting compiler/encoders/arm7/proofs
Sep 30 20:00:39 Finished compiler/encoders/arm7/proofs                        12m57s   3GB
Sep 30 20:00:39 Starting compiler/encoders/arm8/proofs
Sep 30 20:07:31 Finished compiler/encoders/arm8/proofs                         6m51s   1GB
Sep 30 20:07:31 Starting compiler/encoders/mips/proofs
Sep 30 20:17:28 Finished compiler/encoders/mips/proofs                         9m57s   3GB
Sep 30 20:17:29 Starting compiler/encoders/riscv/proofs
Sep 30 20:26:22 Finished compiler/encoders/riscv/proofs                        8m53s   1GB
Sep 30 20:26:22 Starting compiler/encoders/ag32/proofs
Sep 30 20:28:57 Finished compiler/encoders/ag32/proofs                         2m34s 722MB
Sep 30 20:28:57 Starting compiler/backend/x64/proofs
Sep 30 20:29:20 Finished compiler/backend/x64/proofs                             22s   1GB
Sep 30 20:29:20 Starting compiler/backend/arm7/proofs
Sep 30 20:29:44 Finished compiler/backend/arm7/proofs                            24s   1GB
Sep 30 20:29:44 Starting compiler/backend/arm8/proofs
Sep 30 20:30:07 Finished compiler/backend/arm8/proofs                            23s   1GB
Sep 30 20:30:08 Starting compiler/backend/mips/proofs
Sep 30 20:30:30 Finished compiler/backend/mips/proofs                            22s   1GB
Sep 30 20:30:30 Starting compiler/backend/riscv/proofs
Sep 30 20:30:54 Finished compiler/backend/riscv/proofs                           23s   1GB
Sep 30 20:30:54 Starting compiler/backend/ag32/proofs
Sep 30 20:43:30 Finished compiler/backend/ag32/proofs                         12m35s   3GB
Sep 30 20:43:30 Starting compiler/proofs
Sep 30 20:45:15 Finished compiler/proofs                                       1m45s   3GB
Sep 30 20:45:15 Starting candle/set-theory
Sep 30 20:45:45 Finished candle/set-theory                                       29s 749MB
Sep 30 20:45:45 Starting candle/syntax-lib
Sep 30 20:45:56 Finished candle/syntax-lib                                       11s 762MB
Sep 30 20:45:56 Starting candle/standard/syntax
Sep 30 20:47:47 Finished candle/standard/syntax                                1m50s   1GB
Sep 30 20:47:47 Starting candle/standard/semantics
Sep 30 20:49:34 Finished candle/standard/semantics                             1m46s   1GB
Sep 30 20:49:34 Starting candle/standard/monadic
Sep 30 20:51:17 Finished candle/standard/monadic                               1m43s   1GB
Sep 30 20:51:17 Starting candle/standard/ml_kernel
Sep 30 20:56:47 Finished candle/standard/ml_kernel                             5m29s   6GB
Sep 30 20:56:47 Starting candle/overloading/syntax
Sep 30 20:59:55 Finished candle/overloading/syntax                             3m07s   1GB
Sep 30 20:59:55 Starting candle/overloading/semantics
Sep 30 21:11:56 Finished candle/overloading/semantics                         12m00s   4GB
Sep 30 21:11:56 Starting pancake
Sep 30 21:13:49 Finished pancake                                               1m53s   2GB
Sep 30 21:13:49 Starting pancake/ffi
Sep 30 21:13:50 Finished pancake/ffi                                              0s   8MB
Sep 30 21:13:50 Starting pancake/semantics
Sep 30 21:16:08 Finished pancake/semantics                                     2m16s   1GB
Sep 30 21:16:10 Starting pancake/proofs
Sep 30 21:28:53 Finished pancake/proofs                                       12m36s   6GB
Sep 30 21:28:53 Starting characteristic/examples
Sep 30 21:30:16 Finished characteristic/examples                               1m23s   2GB
Sep 30 21:30:16 Starting tutorial/solutions
Sep 30 21:46:29 Finished tutorial/solutions                                   16m10s  10GB
Sep 30 21:46:29 Starting translator/monadic/examples
Sep 30 21:49:49 Finished translator/monadic/examples                           3m17s   2GB
Sep 30 21:49:49 Starting examples
Sep 30 21:58:50 Finished examples                                              9m00s   3GB
Sep 30 21:58:50 Starting examples/compilation/x64
Oct 01 00:28:19 Finished examples/compilation/x64                           2h29m25s  18GB
Oct 01 00:28:19 Starting examples/compilation/x64/proofs
Oct 01 00:30:07 Finished examples/compilation/x64/proofs                       1m48s   3GB
Oct 01 00:30:07 Starting examples/compilation/ag32
Oct 01 01:04:50 Finished examples/compilation/ag32                            34m42s   9GB
Oct 01 01:04:50 Starting examples/compilation/ag32/proofs
Oct 01 01:05:46 Finished examples/compilation/ag32/proofs                        55s   3GB
Oct 01 01:05:46 Starting examples/cost
Oct 01 14:09:48 Resuming examples/cost
Oct 01 14:41:12 Finished examples/cost                                        31m23s   7GB
Oct 01 14:41:12 Starting examples/lpr_checker
Oct 01 14:42:01 Finished examples/lpr_checker                                    48s   1GB
Oct 01 14:42:01 Starting examples/lpr_checker/array
Oct 01 15:09:51 Finished examples/lpr_checker/array                           27m48s   6GB
Oct 01 15:09:51 Starting examples/lpr_checker/array/compilation
Oct 01 16:32:13 Finished examples/lpr_checker/array/compilation             1h22m19s  26GB
Oct 01 16:32:13 Starting examples/lpr_checker/array/compilation/proofs
Oct 01 16:33:26 Finished examples/lpr_checker/array/compilation/proofs         1m13s   6GB
Oct 01 16:33:26 Starting examples/opentheory
Oct 01 16:43:04 Finished examples/opentheory                                   9m37s   5GB
Oct 01 16:43:04 Starting examples/opentheory
Oct 01 16:43:06 Finished examples/opentheory                                      1s  30MB
Oct 01 16:43:06 Starting examples/opentheory/compilation
Oct 01 17:20:50 Finished examples/opentheory/compilation                      37m44s  45GB
Oct 01 17:20:50 Starting examples/opentheory/compilation/proofs
Oct 01 17:21:38 Finished examples/opentheory/compilation/proofs                  47s   4GB
Oct 01 17:21:38 Starting examples/opentheory/compilation/ag32
Oct 01 18:00:28 Finished examples/opentheory/compilation/ag32                 38m46s  29GB
Oct 01 18:00:29 Starting examples/opentheory/compilation/ag32/proofs
Oct 01 18:02:05 Finished examples/opentheory/compilation/ag32/proofs           1m35s   6GB
Oct 01 18:02:05 Starting examples/sat_encodings
Oct 01 18:03:54 Finished examples/sat_encodings                                1m48s 897MB
Oct 01 18:03:54 Starting examples/sat_encodings/case_studies
Oct 01 18:05:27 Finished examples/sat_encodings/case_studies                   1m32s 802MB
Oct 01 18:05:27 Starting examples/sat_encodings/translation
Oct 01 18:11:06 Finished examples/sat_encodings/translation                    5m39s   5GB
Oct 01 18:11:06 Starting examples/sat_encodings/translation/compilation
Oct 01 18:59:50 Finished examples/sat_encodings/translation/compilation       48m43s  20GB
Oct 01 18:59:50 Starting translator/okasaki-examples
Oct 01 19:04:18 Finished translator/okasaki-examples                           4m25s   1GB
Oct 01 19:04:18 Starting translator/other-examples
Oct 01 19:05:00 Finished translator/other-examples                               42s   1GB
Oct 01 19:05:00 Starting compiler/parsing/tests
Oct 01 19:05:30 Finished compiler/parsing/tests                                  29s 602MB
Oct 01 19:05:30 Starting compiler/inference/tests
Oct 01 19:13:35 Finished compiler/inference/tests                              8m04s   5GB
Oct 01 19:13:35 Starting compiler/bootstrap/translation
Oct 01 21:44:24 Finished compiler/bootstrap/translation                     2h30m48s  31GB
Oct 01 21:44:25 Starting unverified/sexpr-bootstrap/x64/64
Oct 01 21:56:40 Finished unverified/sexpr-bootstrap/x64/64                    12m15s   8GB
Oct 01 21:56:40 Starting unverified/sexpr-bootstrap/x64/32
Oct 01 22:07:16 Finished unverified/sexpr-bootstrap/x64/32                    10m35s   8GB
Oct 01 22:07:16 Starting compiler/benchmarks
Oct 01 22:07:19 Finished compiler/benchmarks                                      2s  35MB
Oct 01 22:07:19 Starting compiler/bootstrap/compilation/x64/64
Oct 02 11:21:51 Finished compiler/bootstrap/compilation/x64/64             13h14m31s  64GB
Oct 02 11:21:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 02 11:25:00 Finished compiler/bootstrap/compilation/x64/64/proofs          3m08s  12GB
Oct 02 11:25:00 Starting compiler/bootstrap/compilation/x64/32
Oct 02 22:35:54 Finished compiler/bootstrap/compilation/x64/32             11h10m53s  64GB
Oct 02 22:35:54 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 02 22:39:04 Finished compiler/bootstrap/compilation/x64/32/proofs          3m09s  13GB
Oct 02 22:39:04 Starting compiler/bootstrap/compilation/ag32/32
Oct 03 09:55:11 Finished compiler/bootstrap/compilation/ag32/32            11h16m04s  64GB
Oct 03 09:55:11 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 03 10:15:25 Finished compiler/bootstrap/compilation/ag32/32/proofs        20m13s  20GB
Oct 03 10:15:25 SUCCESS