Job 637

CakeML:c1f661fc610e2d2ff3e48daa02ec5b293fbf126d
  add windows_ffi_asm translation [Dec 19 22:55:08]
#585 (x64_windows)
Merging into:9b366aa092a1e2c8100d95bbe3fa77b5fe513dc9
  Merge pull request #582 from CakeML/cleanup [Dec 14 06:05:52]
HOL:33d2e119b43635d947a09dc50499e1d856d24fe3
  Merge remote-tracking branch 'origin/master' into develop [Dec 16 11:37:23]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Dec 20 07:49:29 Claimed job
Dec 20 07:50:08 Reusing HOL
Dec 20 07:50:19 Starting developers
Dec 20 07:50:20 Finished developers                                               0s  19MB
Dec 20 07:50:21 Starting developers/bin
Dec 20 07:50:52 Finished developers/bin                                          29s 140MB
Dec 20 07:50:53 Starting semantics/ffi
Dec 20 07:51:02 Finished semantics/ffi                                            8s 222MB
Dec 20 07:51:03 Starting semantics
Dec 20 07:52:23 Finished semantics                                             1m19s   1GB
Dec 20 07:52:24 Starting semantics/proofs
Dec 20 07:55:26 Finished semantics/proofs                                      3m01s   1GB
Dec 20 07:55:27 Starting basis/pure
Dec 20 07:56:19 Finished basis/pure                                              51s 645MB
Dec 20 07:56:20 Starting translator
Dec 20 07:57:36 Finished translator                                            1m15s 945MB
Dec 20 07:57:37 Starting compiler/parsing
Dec 20 07:58:57 Finished compiler/parsing                                      1m19s   2GB
Dec 20 07:58:58 Starting characteristic
Dec 20 08:01:32 Finished characteristic                                        2m33s   1GB
Dec 20 08:01:33 Starting translator/monadic
Dec 20 08:03:01 Finished translator/monadic                                    1m27s   1GB
Dec 20 08:03:02 Starting basis
Dec 20 08:19:36 Finished basis                                                16m33s   2GB
Dec 20 08:19:37 Starting compiler/inference
Dec 20 08:21:19 Finished compiler/inference                                    1m41s   1GB
Dec 20 08:21:20 Starting compiler/backend/reg_alloc
Dec 20 08:22:09 Finished compiler/backend/reg_alloc                              48s   1GB
Dec 20 08:22:10 Starting compiler/backend/gc
Dec 20 08:28:38 Finished compiler/backend/gc                                   6m26s   1GB
Dec 20 08:28:38 Starting compiler/backend
Dec 20 08:28:41 Finished compiler/backend                                         1s  30MB
Dec 20 08:28:41 Starting compiler/encoders/asm
Dec 20 08:28:43 Finished compiler/encoders/asm                                    0s  18MB
Dec 20 08:28:44 Starting compiler/encoders/x64
Dec 20 08:28:59 Finished compiler/encoders/x64                                   14s 463MB
Dec 20 08:28:59 Starting compiler/encoders/arm6
Dec 20 08:29:42 Finished compiler/encoders/arm6                                  41s 440MB
Dec 20 08:29:43 Starting compiler/encoders/arm8
Dec 20 08:29:52 Finished compiler/encoders/arm8                                   7s 357MB
Dec 20 08:29:52 Starting compiler/encoders/mips
Dec 20 08:30:03 Finished compiler/encoders/mips                                   9s 495MB
Dec 20 08:30:03 Starting compiler/encoders/riscv
Dec 20 08:30:13 Finished compiler/encoders/riscv                                  8s 419MB
Dec 20 08:30:13 Starting compiler/encoders/ag32
Dec 20 08:30:30 Finished compiler/encoders/ag32                                  16s 617MB
Dec 20 08:30:31 Starting compiler/backend/x64
Dec 20 08:30:48 Finished compiler/backend/x64                                    16s 815MB
Dec 20 08:30:49 Starting compiler/backend/arm6
Dec 20 08:31:08 Finished compiler/backend/arm6                                   18s   1GB
Dec 20 08:31:09 Starting compiler/backend/arm8
Dec 20 08:31:26 Finished compiler/backend/arm8                                   16s 872MB
Dec 20 08:31:27 Starting compiler/backend/mips
Dec 20 08:31:46 Finished compiler/backend/mips                                   18s   1GB
Dec 20 08:31:47 Starting compiler/backend/riscv
Dec 20 08:32:05 Finished compiler/backend/riscv                                  17s   1GB
Dec 20 08:32:06 Starting compiler/backend/ag32
Dec 20 08:33:22 Finished compiler/backend/ag32                                 1m14s   1GB
Dec 20 08:33:23 Starting compiler/parsing/proofs
Dec 20 08:39:37 Finished compiler/parsing/proofs                               6m12s 927MB
Dec 20 08:39:37 Starting compiler/inference/proofs
Dec 20 08:42:32 Finished compiler/inference/proofs                             2m53s   1GB
Dec 20 08:42:32 Starting compiler/backend/semantics
Dec 20 08:50:56 Finished compiler/backend/semantics                            8m22s   2GB
Dec 20 08:50:57 Starting compiler/backend/reg_alloc/proofs
Dec 20 08:53:43 Finished compiler/backend/reg_alloc/proofs                     2m45s 496MB
Dec 20 08:53:43 Starting compiler/backend/proofs
Dec 20 09:36:16 Finished compiler/backend/proofs                              42m31s   3GB
Dec 20 09:36:17 Starting compiler/encoders/x64/proofs
Dec 20 09:45:50 Finished compiler/encoders/x64/proofs                          9m32s 888MB
Dec 20 09:45:51 Starting compiler/encoders/arm6/proofs
Dec 20 09:59:44 Finished compiler/encoders/arm6/proofs                        13m51s   1GB
Dec 20 09:59:45 Starting compiler/encoders/arm8/proofs
Dec 20 10:05:47 Finished compiler/encoders/arm8/proofs                         6m01s   1GB
Dec 20 10:05:48 Starting compiler/encoders/mips/proofs
Dec 20 10:15:56 Finished compiler/encoders/mips/proofs                        10m07s   2GB
Dec 20 10:15:57 Starting compiler/encoders/riscv/proofs
Dec 20 10:24:01 Finished compiler/encoders/riscv/proofs                        8m03s 858MB
Dec 20 10:24:01 Starting compiler/encoders/ag32/proofs
Dec 20 10:26:46 Finished compiler/encoders/ag32/proofs                         2m44s 622MB
Dec 20 10:26:47 Starting compiler/backend/x64/proofs
Dec 20 10:27:07 Finished compiler/backend/x64/proofs                             19s   1GB
Dec 20 10:27:08 Starting compiler/backend/arm6/proofs
Dec 20 10:27:32 Finished compiler/backend/arm6/proofs                            22s   1GB
Dec 20 10:27:33 Starting compiler/backend/arm8/proofs
Dec 20 10:27:53 Finished compiler/backend/arm8/proofs                            18s 861MB
Dec 20 10:27:53 Starting compiler/backend/mips/proofs
Dec 20 10:28:14 Finished compiler/backend/mips/proofs                            19s   1GB
Dec 20 10:28:15 Starting compiler/backend/riscv/proofs
Dec 20 10:28:36 Finished compiler/backend/riscv/proofs                           20s   1GB
Dec 20 10:28:36 Starting compiler/backend/ag32/proofs
Dec 20 10:38:06 Finished compiler/backend/ag32/proofs                          9m29s   3GB
Dec 20 10:38:07 Starting compiler/proofs
Dec 20 10:39:27 Finished compiler/proofs                                       1m19s   2GB
Dec 20 10:39:28 Starting candle/set-theory
Dec 20 10:39:54 Finished candle/set-theory                                       25s 648MB
Dec 20 10:39:55 Starting candle/syntax-lib
Dec 20 10:40:06 Finished candle/syntax-lib                                        9s 684MB
Dec 20 10:40:06 Starting candle/standard/syntax
Dec 20 10:41:40 Finished candle/standard/syntax                                1m33s 693MB
Dec 20 10:41:41 Starting candle/standard/semantics
Dec 20 10:43:01 Finished candle/standard/semantics                             1m19s 973MB
Dec 20 10:43:02 Starting candle/standard/monadic
Dec 20 10:44:39 Finished candle/standard/monadic                               1m36s   1GB
Dec 20 10:44:40 Starting candle/standard/ml_kernel
Dec 20 11:00:01 Finished candle/standard/ml_kernel                            15m19s   3GB
Dec 20 11:00:02 Starting candle/standard/opentheory
Dec 20 11:07:57 Finished candle/standard/opentheory                            7m53s   2GB
Dec 20 11:07:57 Starting candle/standard/opentheory/compilation
Dec 20 11:38:11 Finished candle/standard/opentheory/compilation               30m12s  13GB
Dec 20 11:38:12 Starting candle/standard/opentheory/compilation/proofs
Dec 20 11:38:49 Finished candle/standard/opentheory/compilation/proofs           36s   4GB
Dec 20 11:38:50 Starting characteristic/examples
Dec 20 11:40:20 Finished characteristic/examples                               1m29s   1GB
Dec 20 11:40:21 Starting tutorial/solutions
Dec 20 11:53:13 Finished tutorial/solutions                                   12m51s   5GB
Dec 20 11:53:14 Starting translator/monadic/examples
Dec 20 11:55:07 Finished translator/monadic/examples                           1m51s   2GB
Dec 20 11:55:08 Starting examples
Dec 20 12:01:34 Finished examples                                              6m25s   1GB
Dec 20 12:01:34 Starting examples/compilation/x64
Dec 20 13:57:29 Finished examples/compilation/x64                           1h55m54s   9GB
Dec 20 13:57:30 Starting examples/compilation/x64/proofs
Dec 20 13:59:22 Finished examples/compilation/x64/proofs                       1m51s   3GB
Dec 20 13:59:23 Starting examples/compilation/ag32
Dec 20 14:26:17 Finished examples/compilation/ag32                            26m52s   3GB
Dec 20 14:26:18 Starting examples/compilation/ag32/proofs
Dec 20 14:26:42 Finished examples/compilation/ag32/proofs                        23s   2GB
Dec 20 14:26:43 Starting compiler/benchmarks
Dec 20 14:26:44 Finished compiler/benchmarks                                      0s   4MB
Dec 20 14:26:45 Starting translator/okasaki-examples
Dec 20 14:30:20 Finished translator/okasaki-examples                           3m34s   1GB
Dec 20 14:30:21 Starting translator/other-examples
Dec 20 14:30:52 Finished translator/other-examples                               30s   1GB
Dec 20 14:30:53 Starting compiler/parsing/tests
Dec 20 14:31:19 Finished compiler/parsing/tests                                  24s 338MB
Dec 20 14:31:20 Starting compiler/inference/tests
Dec 20 14:35:25 Finished compiler/inference/tests                              4m04s   3GB
Dec 20 14:35:25 Starting compiler/bootstrap/translation
Dec 20 17:47:37 Finished compiler/bootstrap/translation                     3h12m10s  50GB
Dec 20 17:47:38 Starting unverified/sexpr-bootstrap/x64/64
Dec 20 17:55:56 Finished unverified/sexpr-bootstrap/x64/64                     8m17s  15GB
Dec 20 17:55:57 Starting unverified/sexpr-bootstrap/x64/32
Dec 20 18:01:36 Finished unverified/sexpr-bootstrap/x64/32                     5m38s  19GB
Dec 20 18:01:36 Starting compiler/bootstrap/compilation/x64/64 Dec 20 18:01:36 2663s