Job 670

CakeML:9434aff09ca088bf522d189396f236388c2ee215
  Merge 'origin/master' into stats-bootstrap [Jan 09 11:41:41]
#596 (stats-bootstrap)
Merging into:b19ca63f5f4b645ed5c3cc20d17301531d25408d
  Merge pull request #597 from CakeML/lem-194778e [Jan 09 12:16:32]
HOL:06eff940b2821c70b8c73368b6d1218f2c4d53b6
  minor [Jan 07 15:07:51]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Jan 09 12:24:01 Claimed job
Jan 09 12:24:07 Reusing HOL
Jan 09 12:24:23 Starting developers
Jan 09 12:24:24 Finished developers                                               0s  20MB
Jan 09 12:24:25 Starting developers/bin
Jan 09 12:24:55 Finished developers/bin                                          29s 140MB
Jan 09 12:24:56 Starting semantics/ffi
Jan 09 12:25:04 Finished semantics/ffi                                            7s 224MB
Jan 09 12:25:05 Starting semantics
Jan 09 12:26:27 Finished semantics                                             1m21s   1GB
Jan 09 12:26:28 Starting semantics/proofs
Jan 09 12:29:48 Finished semantics/proofs                                      3m19s   1GB
Jan 09 12:29:49 Starting basis/pure
Jan 09 12:30:41 Finished basis/pure                                              51s 837MB
Jan 09 12:30:42 Starting translator
Jan 09 12:32:53 Finished translator                                            2m10s   1GB
Jan 09 12:32:54 Starting compiler/parsing
Jan 09 12:33:59 Finished compiler/parsing                                      1m04s   1GB
Jan 09 12:34:00 Starting characteristic
Jan 09 12:37:16 Finished characteristic                                        3m15s   1GB
Jan 09 12:37:17 Starting translator/monadic
Jan 09 12:38:44 Finished translator/monadic                                    1m26s   1GB
Jan 09 12:38:45 Starting basis
Jan 09 12:58:59 Finished basis                                                20m13s   5GB
Jan 09 12:58:59 Starting compiler/inference
Jan 09 13:00:46 Finished compiler/inference                                    1m45s   1GB
Jan 09 13:00:47 Starting compiler/backend/reg_alloc
Jan 09 13:01:42 Finished compiler/backend/reg_alloc                              54s   1GB
Jan 09 13:01:43 Starting compiler/backend/gc
Jan 09 13:10:55 Finished compiler/backend/gc                                   9m10s   1GB
Jan 09 13:10:56 Starting compiler/backend
Jan 09 13:10:58 Finished compiler/backend                                         1s  16MB
Jan 09 13:10:59 Starting compiler/encoders/asm
Jan 09 13:11:00 Finished compiler/encoders/asm                                    0s  17MB
Jan 09 13:11:00 Starting compiler/encoders/x64
Jan 09 13:11:30 Finished compiler/encoders/x64                                   28s 613MB
Jan 09 13:11:31 Starting compiler/encoders/arm6
Jan 09 13:12:24 Finished compiler/encoders/arm6                                  52s 968MB
Jan 09 13:12:25 Starting compiler/encoders/arm8
Jan 09 13:12:38 Finished compiler/encoders/arm8                                  12s 779MB
Jan 09 13:12:39 Starting compiler/encoders/mips
Jan 09 13:12:56 Finished compiler/encoders/mips                                  16s   1GB
Jan 09 13:12:57 Starting compiler/encoders/riscv
Jan 09 13:13:12 Finished compiler/encoders/riscv                                 14s 959MB
Jan 09 13:13:13 Starting compiler/encoders/ag32
Jan 09 13:13:30 Finished compiler/encoders/ag32                                  16s 796MB
Jan 09 13:13:31 Starting compiler/backend/x64
Jan 09 13:13:48 Finished compiler/backend/x64                                    16s 824MB
Jan 09 13:13:49 Starting compiler/backend/arm6
Jan 09 13:14:09 Finished compiler/backend/arm6                                   19s   1GB
Jan 09 13:14:10 Starting compiler/backend/arm8
Jan 09 13:14:28 Finished compiler/backend/arm8                                   17s 827MB
Jan 09 13:14:29 Starting compiler/backend/mips
Jan 09 13:14:48 Finished compiler/backend/mips                                   18s 956MB
Jan 09 13:14:49 Starting compiler/backend/riscv
Jan 09 13:15:08 Finished compiler/backend/riscv                                  18s   1GB
Jan 09 13:15:08 Starting compiler/backend/ag32
Jan 09 13:16:26 Finished compiler/backend/ag32                                 1m16s   1GB
Jan 09 13:16:26 Starting compiler/bootstrap/translation Jan 09 13:16:26 32417s