Job 672

CakeML:b19ca63f5f4b645ed5c3cc20d17301531d25408d
  Merge pull request #597 from CakeML/lem-194778e [Jan 09 12:16:32]
HOL:06eff940b2821c70b8c73368b6d1218f2c4d53b6
  minor [Jan 07 15:07:51]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 09 16:29:48 Claimed job
Jan 09 16:29:53 Reusing HOL
Jan 09 21:43:12 Restarting task.
Jan 09 21:44:06 Starting developers
Jan 09 21:44:09 Finished developers                                               2s  20MB
Jan 09 21:44:10 Starting developers/bin
Jan 09 21:45:23 Finished developers/bin                                        1m12s 916MB
Jan 09 21:45:24 Starting semantics/ffi
Jan 09 21:45:35 Finished semantics/ffi                                           10s 230MB
Jan 09 21:45:35 Starting semantics
Jan 09 21:47:00 Finished semantics                                             1m24s   1GB
Jan 09 21:47:01 Starting semantics/proofs
Jan 09 21:50:20 Finished semantics/proofs                                      3m19s   1GB
Jan 09 21:50:21 Starting basis/pure
Jan 09 21:51:15 Finished basis/pure                                              53s 628MB
Jan 09 21:51:16 Starting translator
Jan 09 21:52:57 Finished translator                                            1m40s   1GB
Jan 09 21:52:58 Starting compiler/parsing
Jan 09 21:54:04 Finished compiler/parsing                                      1m05s   1GB
Jan 09 21:54:05 Starting characteristic
Jan 09 21:57:24 Finished characteristic                                        3m18s   1GB
Jan 09 21:57:25 Starting translator/monadic
Jan 09 21:58:54 Finished translator/monadic                                    1m28s   1GB
Jan 09 21:58:55 Starting basis
Jan 09 22:14:58 Finished basis                                                16m02s   3GB
Jan 09 22:14:59 Starting compiler/inference
Jan 09 22:16:36 Finished compiler/inference                                    1m37s   2GB
Jan 09 22:16:37 Starting compiler/backend/reg_alloc
Jan 09 22:17:30 Finished compiler/backend/reg_alloc                              52s   1GB
Jan 09 22:17:31 Starting compiler/backend/gc
Jan 09 22:25:31 Finished compiler/backend/gc                                   7m59s   1GB
Jan 09 22:25:32 Starting compiler/backend
Jan 09 22:25:35 Finished compiler/backend                                         2s  21MB
Jan 09 22:25:35 Starting compiler/encoders/asm
Jan 09 22:25:37 Finished compiler/encoders/asm                                    1s  20MB
Jan 09 22:25:38 Starting compiler/encoders/x64
Jan 09 22:26:05 Finished compiler/encoders/x64                                   26s 989MB
Jan 09 22:26:05 Starting compiler/encoders/arm6
Jan 09 22:27:03 Finished compiler/encoders/arm6                                  56s 751MB
Jan 09 22:27:03 Starting compiler/encoders/arm8
Jan 09 22:27:18 Finished compiler/encoders/arm8                                  13s 527MB
Jan 09 22:27:18 Starting compiler/encoders/mips
Jan 09 22:27:36 Finished compiler/encoders/mips                                  16s 817MB
Jan 09 22:27:36 Starting compiler/encoders/riscv
Jan 09 22:27:52 Finished compiler/encoders/riscv                                 14s 693MB
Jan 09 22:27:52 Starting compiler/encoders/ag32
Jan 09 22:28:11 Finished compiler/encoders/ag32                                  18s 525MB
Jan 09 22:28:12 Starting compiler/backend/x64
Jan 09 22:28:31 Finished compiler/backend/x64                                    18s   1GB
Jan 09 22:28:31 Starting compiler/backend/arm6
Jan 09 22:28:53 Finished compiler/backend/arm6                                   20s   1GB
Jan 09 22:28:54 Starting compiler/backend/arm8
Jan 09 22:29:13 Finished compiler/backend/arm8                                   18s   1GB
Jan 09 22:29:13 Starting compiler/backend/mips
Jan 09 22:29:33 Finished compiler/backend/mips                                   19s 900MB
Jan 09 22:29:34 Starting compiler/backend/riscv
Jan 09 22:29:52 Finished compiler/backend/riscv                                  17s 961MB
Jan 09 22:29:53 Starting compiler/backend/ag32
Jan 09 22:31:06 Finished compiler/backend/ag32                                 1m12s   1GB
Jan 09 22:31:07 Starting compiler/parsing/proofs
Jan 09 22:37:23 Finished compiler/parsing/proofs                               6m15s 867MB
Jan 09 22:37:23 Starting compiler/inference/proofs
Jan 09 22:40:19 Finished compiler/inference/proofs                             2m54s   1GB
Jan 09 22:40:19 Starting compiler/backend/semantics
Jan 09 22:47:50 Finished compiler/backend/semantics                            7m29s   1GB
Jan 09 22:47:50 Starting compiler/backend/reg_alloc/proofs
Jan 09 22:50:35 Finished compiler/backend/reg_alloc/proofs                     2m43s 964MB
Jan 09 22:50:35 Starting compiler/backend/proofs
Jan 09 23:29:20 Finished compiler/backend/proofs                              38m43s   2GB
Jan 09 23:29:20 Starting compiler/encoders/x64/proofs
Jan 09 23:39:08 Finished compiler/encoders/x64/proofs                          9m46s   4GB
Jan 09 23:39:08 Starting compiler/encoders/arm6/proofs
Jan 09 23:53:07 Finished compiler/encoders/arm6/proofs                        13m57s   4GB
Jan 09 23:53:07 Starting compiler/encoders/arm8/proofs
Jan 09 23:59:06 Finished compiler/encoders/arm8/proofs                         5m57s   1GB
Jan 09 23:59:06 Starting compiler/encoders/mips/proofs
Jan 10 00:09:36 Finished compiler/encoders/mips/proofs                        10m29s   2GB
Jan 10 00:09:37 Starting compiler/encoders/riscv/proofs
Jan 10 00:17:28 Finished compiler/encoders/riscv/proofs                        7m50s   1GB
Jan 10 00:17:28 Starting compiler/encoders/ag32/proofs
Jan 10 00:20:14 Finished compiler/encoders/ag32/proofs                         2m44s 685MB
Jan 10 00:20:15 Starting compiler/backend/x64/proofs
Jan 10 00:20:36 Finished compiler/backend/x64/proofs                             20s   1GB
Jan 10 00:20:37 Starting compiler/backend/arm6/proofs
Jan 10 00:20:59 Finished compiler/backend/arm6/proofs                            21s 946MB
Jan 10 00:21:00 Starting compiler/backend/arm8/proofs
Jan 10 00:21:20 Finished compiler/backend/arm8/proofs                            19s 746MB
Jan 10 00:21:20 Starting compiler/backend/mips/proofs
Jan 10 00:21:41 Finished compiler/backend/mips/proofs                            20s   1GB
Jan 10 00:21:42 Starting compiler/backend/riscv/proofs
Jan 10 00:22:03 Finished compiler/backend/riscv/proofs                           20s   1GB
Jan 10 00:22:04 Starting compiler/backend/ag32/proofs
Jan 10 00:31:17 Finished compiler/backend/ag32/proofs                          9m12s   1GB
Jan 10 00:31:17 Starting compiler/proofs
Jan 10 00:32:43 Finished compiler/proofs                                       1m24s   3GB
Jan 10 00:32:43 Starting candle/set-theory
Jan 10 00:33:10 Finished candle/set-theory                                       26s 791MB
Jan 10 00:33:11 Starting candle/syntax-lib
Jan 10 00:33:22 Finished candle/syntax-lib                                       10s 558MB
Jan 10 00:33:23 Starting candle/standard/syntax
Jan 10 00:35:14 Finished candle/standard/syntax                                1m50s 871MB
Jan 10 00:35:14 Starting candle/standard/semantics
Jan 10 00:36:58 Finished candle/standard/semantics                             1m42s   1GB
Jan 10 00:36:59 Starting candle/standard/monadic
Jan 10 00:38:44 Finished candle/standard/monadic                               1m44s   1GB
Jan 10 00:38:44 Starting candle/standard/ml_kernel
Jan 10 00:42:31 Finished candle/standard/ml_kernel                             3m46s   3GB
Jan 10 00:42:32 Starting candle/standard/opentheory
Jan 10 00:51:12 Finished candle/standard/opentheory                            8m39s   4GB
Jan 10 00:51:13 Starting candle/standard/opentheory/compilation
Jan 10 01:20:05 Finished candle/standard/opentheory/compilation               28m51s  23GB
Jan 10 01:20:05 Starting candle/standard/opentheory/compilation/proofs
Jan 10 01:20:56 Finished candle/standard/opentheory/compilation/proofs           50s   5GB
Jan 10 01:20:57 Starting characteristic/examples
Jan 10 01:22:27 Finished characteristic/examples                               1m29s   2GB
Jan 10 01:22:27 Starting tutorial/solutions
Jan 10 01:35:31 Finished tutorial/solutions                                   13m02s   5GB
Jan 10 01:35:31 Starting translator/monadic/examples
Jan 10 01:37:44 Finished translator/monadic/examples                           2m12s   2GB
Jan 10 01:37:45 Starting examples
Jan 10 01:45:23 Finished examples                                              7m38s   3GB
Jan 10 01:45:24 Starting examples/compilation/x64
Jan 10 03:46:35 Finished examples/compilation/x64                           2h01m10s  17GB
Jan 10 03:46:36 Starting examples/compilation/x64/proofs
Jan 10 03:48:27 Finished examples/compilation/x64/proofs                       1m50s   4GB
Jan 10 03:48:28 Starting examples/compilation/ag32
Jan 10 04:16:19 Finished examples/compilation/ag32                            27m50s   5GB
Jan 10 04:16:20 Starting examples/compilation/ag32/proofs
Jan 10 04:17:08 Finished examples/compilation/ag32/proofs                        47s   4GB
Jan 10 04:17:09 Starting translator/okasaki-examples
Jan 10 04:21:11 Finished translator/okasaki-examples                           4m01s   1GB
Jan 10 04:21:12 Starting translator/other-examples
Jan 10 04:24:47 Finished translator/other-examples                             3m34s   1GB
Jan 10 04:24:48 Starting compiler/parsing/tests
Jan 10 04:25:15 Finished compiler/parsing/tests                                  27s 551MB
Jan 10 04:25:16 Starting compiler/inference/tests
Jan 10 04:29:19 Finished compiler/inference/tests                              4m02s   3GB
Jan 10 04:29:20 Starting compiler/bootstrap/translation
Jan 10 06:59:35 Finished compiler/bootstrap/translation                     2h30m13s  42GB
Jan 10 06:59:35 Starting unverified/sexpr-bootstrap/x64/64
Jan 10 07:08:05 Finished unverified/sexpr-bootstrap/x64/64                     8m28s  15GB
Jan 10 07:08:06 Starting unverified/sexpr-bootstrap/x64/32
Jan 10 07:12:56 Finished unverified/sexpr-bootstrap/x64/32                     4m47s  20GB
Jan 10 07:12:56 Starting compiler/bootstrap/compilation/x64/64
Jan 10 17:05:21 Finished compiler/bootstrap/compilation/x64/64              9h52m21s  64GB
Jan 10 17:05:21 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 10 17:11:46 Finished compiler/bootstrap/compilation/x64/64/proofs          6m24s  32GB
Jan 10 17:11:47 Starting compiler/bootstrap/compilation/x64/32
Jan 11 01:59:27 Finished compiler/bootstrap/compilation/x64/32              8h47m38s  63GB
Jan 11 01:59:27 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 11 02:05:07 Finished compiler/bootstrap/compilation/x64/32/proofs          5m38s  26GB
Jan 11 02:05:07 SUCCESS