Job 502

CakeML:06ed260af9472c0513a9e22e9c2af4e3a38e38a0
  Add optional timnig in ml_translatorLib [Sep 22 21:45:33]
#528 (fix-master)
Merging into:306e73e0ef0314393ecdbb996b50cf799375f15d
  Use Git's -C option [Sep 14 21:28:55]
HOL:5598c695d7633d13ff51408a8bcecbbb7cab7357
  Make minor tweaks to regular-play example README text [Sep 24 06:44:36]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Sep 24 11:29:24 Claimed job
Sep 24 11:29:33 Building HOL
Sep 24 11:37:14 Starting developers/bin
Sep 24 11:37:18 Finished developers/bin                                           3s 196MB
Sep 24 11:37:19 Starting semantics/ffi
Sep 24 11:37:54 Finished semantics/ffi                                           34s 391MB
Sep 24 11:37:54 Starting semantics
Sep 24 11:39:14 Finished semantics                                             1m18s 948MB
Sep 24 11:39:14 Starting semantics/proofs
Sep 24 11:41:54 Finished semantics/proofs                                      2m39s   1GB
Sep 24 11:41:55 Starting basis/pure
Sep 24 11:45:24 Finished basis/pure                                            3m27s 610MB
Sep 24 11:45:24 Starting translator
Sep 24 11:46:29 Finished translator                                            1m03s 992MB
Sep 24 11:46:30 Starting compiler/parsing
Sep 24 11:48:02 Finished compiler/parsing                                      1m31s   1GB
Sep 24 11:48:03 Starting characteristic
Sep 24 11:50:24 Finished characteristic                                        2m20s   1GB
Sep 24 11:50:24 Starting translator/monadic
Sep 24 11:51:48 Finished translator/monadic                                    1m23s   1GB
Sep 24 11:51:49 Starting basis
Sep 24 12:08:14 Finished basis                                                16m24s   3GB
Sep 24 12:08:15 Starting compiler/inference
Sep 24 12:09:54 Finished compiler/inference                                    1m38s   1GB
Sep 24 12:09:55 Starting compiler/backend/reg_alloc
Sep 24 12:10:41 Finished compiler/backend/reg_alloc                              45s 914MB
Sep 24 12:10:42 Starting compiler/backend/gc
Sep 24 12:19:24 Finished compiler/backend/gc                                   8m41s   3GB
Sep 24 12:19:25 Starting compiler/backend
Sep 24 12:19:28 Finished compiler/backend                                         2s  17MB
Sep 24 12:19:29 Starting compiler/encoders/asm
Sep 24 12:19:30 Finished compiler/encoders/asm                                    0s  11MB
Sep 24 12:19:31 Starting compiler/encoders/x64
Sep 24 12:20:19 Finished compiler/encoders/x64                                   47s 596MB
Sep 24 12:20:20 Starting compiler/encoders/arm6
Sep 24 12:22:00 Finished compiler/encoders/arm6                                1m39s   1GB
Sep 24 12:22:01 Starting compiler/encoders/arm8
Sep 24 12:22:26 Finished compiler/encoders/arm8                                  24s 446MB
Sep 24 12:22:26 Starting compiler/encoders/mips
Sep 24 12:23:22 Finished compiler/encoders/mips                                  55s 733MB
Sep 24 12:23:23 Starting compiler/encoders/riscv
Sep 24 12:24:22 Finished compiler/encoders/riscv                                 58s 661MB
Sep 24 12:24:23 Starting compiler/backend/x64
Sep 24 12:24:41 Finished compiler/backend/x64                                    16s   1GB
Sep 24 12:24:41 Starting compiler/backend/arm6
Sep 24 12:25:01 Finished compiler/backend/arm6                                   18s   1GB
Sep 24 12:25:01 Starting compiler/backend/arm8
Sep 24 12:25:20 Finished compiler/backend/arm8                                   17s   1GB
Sep 24 12:25:20 Starting compiler/backend/mips
Sep 24 12:25:38 Finished compiler/backend/mips                                   17s   1GB
Sep 24 12:25:39 Starting compiler/backend/riscv
Sep 24 12:25:58 Finished compiler/backend/riscv                                  17s   1GB
Sep 24 12:25:58 Starting compiler/parsing/proofs
Sep 24 12:31:58 Finished compiler/parsing/proofs                               5m58s   1GB
Sep 24 12:31:58 Starting compiler/inference/proofs
Sep 24 12:34:46 Finished compiler/inference/proofs                             2m47s   1GB
Sep 24 12:34:47 Starting compiler/backend/semantics
Sep 24 12:43:41 Finished compiler/backend/semantics                            8m52s   2GB
Sep 24 12:43:41 Starting compiler/backend/reg_alloc/proofs
Sep 24 12:51:01 Finished compiler/backend/reg_alloc/proofs                     7m19s 612MB
Sep 24 12:51:02 Starting compiler/backend/proofs
Sep 24 13:26:55 Finished compiler/backend/proofs                              35m52s   3GB
Sep 24 13:26:56 Starting compiler/encoders/x64/proofs
Sep 24 13:34:12 Finished compiler/encoders/x64/proofs                          7m15s   4GB
Sep 24 13:34:13 Starting compiler/encoders/arm6/proofs
Sep 24 13:41:44 Finished compiler/encoders/arm6/proofs                         7m30s   3GB
Sep 24 13:41:45 Starting compiler/encoders/arm8/proofs
Sep 24 13:47:10 Finished compiler/encoders/arm8/proofs                         5m23s   1GB
Sep 24 13:47:10 Starting compiler/encoders/mips/proofs
Sep 24 13:54:28 Finished compiler/encoders/mips/proofs                         7m16s   2GB
Sep 24 13:54:29 Starting compiler/encoders/riscv/proofs
Sep 24 14:02:24 Finished compiler/encoders/riscv/proofs                        7m54s 915MB
Sep 24 14:02:24 Starting compiler/backend/x64/proofs
Sep 24 14:02:44 Finished compiler/backend/x64/proofs                             19s   1GB
Sep 24 14:02:45 Starting compiler/backend/arm6/proofs
Sep 24 14:03:06 Finished compiler/backend/arm6/proofs                            20s 975MB
Sep 24 14:03:07 Starting compiler/backend/arm8/proofs
Sep 24 14:03:27 Finished compiler/backend/arm8/proofs                            18s   1GB
Sep 24 14:03:27 Starting compiler/backend/mips/proofs
Sep 24 14:03:47 Finished compiler/backend/mips/proofs                            19s 916MB
Sep 24 14:03:48 Starting compiler/backend/riscv/proofs
Sep 24 14:04:08 Finished compiler/backend/riscv/proofs                           19s   1GB
Sep 24 14:04:09 Starting compiler/proofs
Sep 24 14:05:26 Finished compiler/proofs                                       1m16s   2GB
Sep 24 14:05:27 Starting candle/set-theory
Sep 24 14:05:55 Finished candle/set-theory                                       28s 625MB
Sep 24 14:05:56 Starting candle/syntax-lib
Sep 24 14:06:06 Finished candle/syntax-lib                                        9s 560MB
Sep 24 14:06:07 Starting candle/standard/syntax
Sep 24 14:07:37 Finished candle/standard/syntax                                1m29s 595MB
Sep 24 14:07:38 Starting candle/standard/semantics
Sep 24 14:08:56 Finished candle/standard/semantics                             1m17s   1GB
Sep 24 14:08:56 Starting candle/standard/monadic
Sep 24 14:10:30 Finished candle/standard/monadic                               1m32s 989MB
Sep 24 14:10:30 Starting candle/standard/ml_kernel
Sep 24 14:26:37 Finished candle/standard/ml_kernel                            16m05s   6GB
Sep 24 14:26:37 Starting candle/standard/opentheory
Sep 24 14:35:17 Finished candle/standard/opentheory                            8m38s   4GB
Sep 24 14:35:18 Starting characteristic/examples
Sep 24 14:36:52 Finished characteristic/examples                               1m33s   2GB
Sep 24 14:36:52 Starting tutorial/solutions
Sep 24 14:50:32 Finished tutorial/solutions                                   13m38s   6GB
Sep 24 14:50:32 Starting translator/monadic/examples
Sep 24 14:52:16 Finished translator/monadic/examples                           1m42s   2GB
Sep 24 14:52:16 Starting examples
Sep 24 14:57:57 Finished examples                                              5m39s   3GB
Sep 24 14:57:58 Starting examples/compilation
Sep 24 16:52:37 Finished examples/compilation                               1h54m38s  11GB
Sep 24 16:52:38 Starting examples/compilation/proofs
Sep 24 16:54:28 Finished examples/compilation/proofs                           1m49s   3GB
Sep 24 16:54:28 Starting compiler/benchmarks
Sep 24 16:54:29 Finished compiler/benchmarks                                      0s   4MB
Sep 24 16:54:30 Starting translator/okasaki-examples
Sep 24 16:57:57 Finished translator/okasaki-examples                           3m26s   2GB
Sep 24 16:57:58 Starting translator/other-examples
Sep 24 17:01:19 Finished translator/other-examples                             3m20s   1GB
Sep 24 17:01:20 Starting compiler/parsing/tests
Sep 24 17:01:44 Finished compiler/parsing/tests                                  23s 332MB
Sep 24 17:01:45 Starting compiler/inference/tests
Sep 24 17:05:47 Finished compiler/inference/tests                              4m01s   3GB
Sep 24 17:05:48 Starting compiler/bootstrap/translation
Sep 24 22:37:00 Finished compiler/bootstrap/translation                     5h31m11s  48GB
Sep 24 22:37:01 Starting unverified/sexpr-bootstrap/x64/64
Sep 24 22:44:32 Finished unverified/sexpr-bootstrap/x64/64                     7m30s  13GB
Sep 24 22:44:33 Starting unverified/sexpr-bootstrap/x64/32
Sep 24 22:49:36 Finished unverified/sexpr-bootstrap/x64/32                     5m01s  14GB
Sep 24 22:49:37 Starting compiler/bootstrap/compilation/x64/64
Sep 25 14:12:43 Finished compiler/bootstrap/compilation/x64/64             15h23m05s  57GB
Sep 25 14:12:44 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 25 14:15:43 Finished compiler/bootstrap/compilation/x64/64/proofs          2m58s  23GB
Sep 25 14:15:44 Starting compiler/bootstrap/compilation/x64/32
Sep 26 00:59:28 Finished compiler/bootstrap/compilation/x64/32             10h43m43s  64GB
Sep 26 00:59:29 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 26 01:02:09 Finished compiler/bootstrap/compilation/x64/32/proofs          2m39s  20GB
Sep 26 01:02:10 SUCCESS