Job 394

CakeML:1b0dbd2c9a766be60ba0bcc0f671d2186b25550d
  Dummy commit to test ulimit on regression servers [Aug 01 07:48:35]
#505 (test-ulimit)
Merging into:e91e2816b226d3e2a4f7324a41ca468cc48c4e9b
  map `unknown_loc` to Isabelle [Aug 01 04:34:54]
HOL:d957bf561f9b80133ee4e51cf739610cb249c06a
  Merge branch 'master' of https://github.com/HOL-Theorem-Prover/HOL [Jul 26 14:33:08]
Machine:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux

Aug 01 07:59:07 Claimed job
Aug 01 07:59:17 Building HOL
Aug 01 08:11:52 Starting developers/bin
Aug 01 08:12:03 Finished developers/bin                                           8s 224MB
Aug 01 08:12:04 Starting semantics/ffi
Aug 01 08:13:04 Finished semantics/ffi                                           57s 443MB
Aug 01 08:13:06 Starting semantics
Aug 01 08:15:27 Finished semantics                                             2m18s   1GB
Aug 01 08:15:29 Starting semantics/proofs
Aug 01 08:18:46 Finished semantics/proofs                                      3m15s   1GB
Aug 01 08:18:48 Starting basis/pure
Aug 01 08:24:35 Finished basis/pure                                            5m45s 716MB
Aug 01 08:24:37 Starting translator
Aug 01 08:31:20 Finished translator                                            6m41s 990MB
Aug 01 08:31:22 Starting compiler/parsing
Aug 01 08:33:33 Finished compiler/parsing                                      2m08s   2GB
Aug 01 08:33:34 Starting characteristic
Aug 01 08:38:00 Finished characteristic                                        4m23s   1GB
Aug 01 08:38:02 Starting basis
Aug 01 09:07:15 Finished basis                                                29m10s   2GB
Aug 01 09:07:17 Starting translator/monadic
Aug 01 09:07:21 Finished translator/monadic                                       1s  18MB
Aug 01 09:07:23 Starting compiler/inference
Aug 01 09:10:04 Finished compiler/inference                                    2m39s   1GB
Aug 01 09:10:06 Starting compiler/backend/reg_alloc
Aug 01 09:11:03 Finished compiler/backend/reg_alloc                              54s   1GB
Aug 01 09:11:05 Starting compiler/backend/gc
Aug 01 09:26:11 Finished compiler/backend/gc                                  15m04s   5GB
Aug 01 09:26:13 Starting compiler/backend
Aug 01 09:26:18 Finished compiler/backend                                         3s  20MB
Aug 01 09:26:20 Starting compiler/encoders/asm
Aug 01 09:26:23 Finished compiler/encoders/asm                                    0s  11MB
Aug 01 09:26:25 Starting compiler/encoders/x64
Aug 01 09:27:52 Finished compiler/encoders/x64                                 1m24s 515MB
Aug 01 09:27:54 Starting compiler/encoders/arm6
Aug 01 09:30:56 Finished compiler/encoders/arm6                                2m59s   1GB
Aug 01 09:30:58 Starting compiler/encoders/arm8
Aug 01 09:31:42 Finished compiler/encoders/arm8                                  41s 377MB
Aug 01 09:31:44 Starting compiler/encoders/mips
Aug 01 09:33:19 Finished compiler/encoders/mips                                1m33s 702MB
Aug 01 09:33:21 Starting compiler/encoders/riscv
Aug 01 09:34:57 Finished compiler/encoders/riscv                               1m33s 478MB
Aug 01 09:34:59 Starting compiler/backend/x64
Aug 01 09:35:30 Finished compiler/backend/x64                                    29s 921MB
Aug 01 09:35:32 Starting compiler/backend/arm6
Aug 01 09:36:08 Finished compiler/backend/arm6                                   34s   1GB
Aug 01 09:36:10 Starting compiler/backend/arm8
Aug 01 09:36:44 Finished compiler/backend/arm8                                   32s   1GB
Aug 01 09:36:46 Starting compiler/backend/mips
Aug 01 09:37:22 Finished compiler/backend/mips                                   33s 954MB
Aug 01 09:37:24 Starting compiler/backend/riscv
Aug 01 09:37:57 Finished compiler/backend/riscv                                  30s   1GB
Aug 01 09:37:58 Starting compiler/parsing/proofs
Aug 01 09:42:00 Finished compiler/parsing/proofs                               3m59s 747MB
Aug 01 09:42:02 Starting compiler/inference/proofs
Aug 01 09:46:02 Finished compiler/inference/proofs                             3m57s   1GB
Aug 01 09:46:04 Starting compiler/backend/semantics
Aug 01 10:00:17 Finished compiler/backend/semantics                           14m11s   3GB
Aug 01 10:00:19 Starting compiler/backend/reg_alloc/proofs
Aug 01 10:01:45 Finished compiler/backend/reg_alloc/proofs                     1m23s 557MB
Aug 01 10:01:47 Starting compiler/backend/proofs
Aug 01 10:57:42 Finished compiler/backend/proofs                              55m52s   4GB
Aug 01 10:57:43 Starting compiler/encoders/x64/proofs
Aug 01 11:09:20 Finished compiler/encoders/x64/proofs                         11m33s   1GB
Aug 01 11:09:22 Starting compiler/encoders/arm6/proofs
Aug 01 11:21:37 Finished compiler/encoders/arm6/proofs                        12m12s   3GB
Aug 01 11:21:39 Starting compiler/encoders/arm8/proofs
Aug 01 11:29:52 Finished compiler/encoders/arm8/proofs                         8m10s   1GB
Aug 01 11:29:54 Starting compiler/encoders/mips/proofs
Aug 01 11:41:33 Finished compiler/encoders/mips/proofs                        11m37s   2GB
Aug 01 11:41:35 Starting compiler/encoders/riscv/proofs
Aug 01 11:54:08 Finished compiler/encoders/riscv/proofs                       12m30s 846MB
Aug 01 11:54:10 Starting compiler/backend/x64/proofs
Aug 01 11:54:47 Finished compiler/backend/x64/proofs                             35s   1GB
Aug 01 11:54:49 Starting compiler/backend/arm6/proofs
Aug 01 11:55:30 Finished compiler/backend/arm6/proofs                            38s   1GB
Aug 01 11:55:32 Starting compiler/backend/arm8/proofs
Aug 01 11:56:09 Finished compiler/backend/arm8/proofs                            34s   1GB
Aug 01 11:56:11 Starting compiler/backend/mips/proofs
Aug 01 11:56:49 Finished compiler/backend/mips/proofs                            36s   1GB
Aug 01 11:56:51 Starting compiler/backend/riscv/proofs
Aug 01 11:57:28 Finished compiler/backend/riscv/proofs                           34s   1GB
Aug 01 11:57:30 Starting compiler/proofs
Aug 01 11:59:52 Finished compiler/proofs                                       2m20s   2GB
Aug 01 11:59:54 Starting candle/set-theory
Aug 01 12:00:50 Finished candle/set-theory                                       53s 581MB
Aug 01 12:00:52 Starting candle/syntax-lib
Aug 01 12:01:11 Finished candle/syntax-lib                                       17s 585MB
Aug 01 12:01:13 Starting candle/standard/syntax
Aug 01 12:03:57 Finished candle/standard/syntax                                2m42s 715MB
Aug 01 12:03:59 Starting candle/standard/semantics
Aug 01 12:06:16 Finished candle/standard/semantics                             2m15s 867MB
Aug 01 12:06:18 Starting candle/standard/monadic
Aug 01 12:08:45 Finished candle/standard/monadic                               2m24s 954MB
Aug 01 12:08:47 Starting candle/standard/ml_kernel
Aug 01 12:19:03 Finished candle/standard/ml_kernel                            10m13s   2GB
Aug 01 12:19:05 Starting candle/standard/opentheory
Aug 01 12:19:32 Finished candle/standard/opentheory                              25s 589MB
Aug 01 12:19:34 Starting characteristic/examples
Aug 01 12:21:59 Finished characteristic/examples                               2m23s   2GB
Aug 01 12:22:01 Starting tutorial/solutions
Aug 01 12:58:32 Finished tutorial/solutions                                   36m27s  11GB
Aug 01 12:58:34 Starting translator/monadic/examples
Aug 01 13:01:32 Finished translator/monadic/examples                           2m56s   2GB
Aug 01 13:01:34 Starting examples
Aug 01 13:09:42 Finished examples                                              8m05s   3GB
Aug 01 13:09:44 Starting examples/compilation
Aug 01 19:04:44 Finished examples/compilation                               5h54m58s  13GB
Aug 01 19:04:46 Starting examples/compilation/proofs
Aug 01 19:10:33 Finished examples/compilation/proofs                           5m45s   5GB
Aug 01 19:10:35 Starting compiler/benchmarks
Aug 01 19:10:37 Finished compiler/benchmarks                                      0s   4MB
Aug 01 19:10:39 Starting translator/okasaki-examples
Aug 01 19:17:16 Finished translator/okasaki-examples                           6m34s   1GB
Aug 01 19:17:18 Starting translator/other-examples
Aug 01 19:23:42 Finished translator/other-examples                             6m22s 817MB
Aug 01 19:23:44 Starting compiler/parsing/tests
Aug 01 19:24:27 Finished compiler/parsing/tests                                  40s 360MB
Aug 01 19:24:29 Starting compiler/bootstrap/translation
Aug 02 03:36:16 Finished compiler/bootstrap/translation                     8h11m45s  49GB
Aug 02 03:36:18 Starting unverified/sexpr-bootstrap/x64/64
Aug 02 03:47:52 Finished unverified/sexpr-bootstrap/x64/64                    11m31s  17GB
Aug 02 03:47:54 Starting unverified/sexpr-bootstrap/x64/32
Aug 02 03:57:10 Finished unverified/sexpr-bootstrap/x64/32                     9m11s  14GB
Aug 02 03:57:12 Starting compiler/bootstrap/compilation/x64/64
Aug 03 14:59:32 Finished compiler/bootstrap/compilation/x64/64             35h02m18s  52GB
Aug 03 14:59:34 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 03 15:03:50 Finished compiler/bootstrap/compilation/x64/64/proofs          4m13s  36GB
Aug 03 15:03:52 Starting compiler/bootstrap/compilation/x64/32 Aug 03 15:03:52 2446s