Job 1221

CakeML:e593088bf68375cf78d006ae9d7819e9c7ad873c
  Pretty print dataLang code into file for cost examples [Apr 27 09:41:00]
HOL:b8cf66f99706b7fe0cb2ca8bf0d05dabc6c5332d
  Enhanced fcpTheory (FCP_FST, FCP_SND, FCP_CONCAT_THM, ...); moved dup [May 01 05:38:59]
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

May 03 11:01:22 Claimed job
May 03 11:01:30 Building HOL
May 03 11:14:30 Starting developers
May 03 11:14:35 Finished developers                                               4s 107MB
May 03 11:14:35 Starting developers/bin
May 03 11:14:43 Finished developers/bin                                           7s   1GB
May 03 11:14:43 Starting semantics/ffi
May 03 11:14:53 Finished semantics/ffi                                           10s 242MB
May 03 11:14:54 Starting semantics
May 03 11:16:26 Finished semantics                                             1m32s 953MB
May 03 11:16:26 Starting semantics/proofs
May 03 11:19:55 Finished semantics/proofs                                      3m29s 875MB
May 03 11:19:56 Starting semantics/alt_semantics
May 03 11:20:04 Finished semantics/alt_semantics                                  8s 282MB
May 03 11:20:04 Starting semantics/alt_semantics/proofs
May 03 11:22:14 Finished semantics/alt_semantics/proofs                        2m09s 836MB
May 03 11:22:14 Starting basis/pure
May 03 11:25:12 Finished basis/pure                                            2m57s 875MB
May 03 11:25:12 Starting translator
May 03 11:27:52 Finished translator                                            2m39s   1GB
May 03 11:27:52 Starting compiler/parsing
May 03 11:29:03 Finished compiler/parsing                                      1m10s   2GB
May 03 11:29:03 Starting characteristic
May 03 11:34:57 Finished characteristic                                        5m53s   2GB
May 03 11:34:57 Starting translator/monadic
May 03 11:36:34 Finished translator/monadic                                    1m36s   1GB
May 03 11:36:34 Starting basis
May 03 12:09:44 Finished basis                                                33m09s  11GB
May 03 12:09:44 Starting compiler/inference
May 03 12:10:54 Finished compiler/inference                                    1m10s   1GB
May 03 12:10:55 Starting compiler/backend/reg_alloc
May 03 12:11:58 Finished compiler/backend/reg_alloc                            1m03s   1GB
May 03 12:11:58 Starting compiler/backend/gc
May 03 12:15:29 Finished compiler/backend/gc                                   3m30s   2GB
May 03 12:15:29 Starting compiler/backend
May 03 12:20:07 Finished compiler/backend                                      4m38s   4GB
May 03 12:20:08 Starting compiler/encoders/asm
May 03 12:20:30 Finished compiler/encoders/asm                                   22s 737MB
May 03 12:20:30 Starting compiler/encoders/x64
May 03 12:21:30 Finished compiler/encoders/x64                                   59s 942MB
May 03 12:21:30 Starting compiler/encoders/arm7
May 03 12:23:18 Finished compiler/encoders/arm7                                1m47s   1GB
May 03 12:23:18 Starting compiler/encoders/arm8
May 03 12:23:52 Finished compiler/encoders/arm8                                  33s 882MB
May 03 12:23:52 Starting compiler/encoders/mips
May 03 12:25:03 Finished compiler/encoders/mips                                1m10s   1GB
May 03 12:25:03 Starting compiler/encoders/riscv
May 03 12:26:28 Finished compiler/encoders/riscv                               1m24s   1GB
May 03 12:26:29 Starting compiler/encoders/ag32
May 03 12:26:47 Finished compiler/encoders/ag32                                  18s 768MB
May 03 12:26:47 Starting compiler/backend/x64
May 03 12:27:05 Finished compiler/backend/x64                                    17s   1GB
May 03 12:27:05 Starting compiler/backend/arm7
May 03 12:27:26 Finished compiler/backend/arm7                                   20s   1GB
May 03 12:27:26 Starting compiler/backend/arm8
May 03 12:27:45 Finished compiler/backend/arm8                                   18s   1GB
May 03 12:27:45 Starting compiler/backend/mips
May 03 12:28:04 Finished compiler/backend/mips                                   18s   1GB
May 03 12:28:04 Starting compiler/backend/riscv
May 03 12:28:23 Finished compiler/backend/riscv                                  18s   1GB
May 03 12:28:23 Starting compiler/backend/ag32
May 03 12:29:34 Finished compiler/backend/ag32                                 1m10s 968MB
May 03 12:29:34 Starting compiler/parsing/proofs
May 03 12:35:25 Finished compiler/parsing/proofs                               5m51s   1GB
May 03 12:35:25 Starting compiler/inference/proofs
May 03 12:37:57 Finished compiler/inference/proofs                             2m31s   1GB
May 03 12:37:57 Starting compiler/backend/semantics
May 03 13:08:07 Finished compiler/backend/semantics                           30m09s   2GB
May 03 13:08:07 Starting compiler/backend/reg_alloc/proofs
May 03 13:11:48 Finished compiler/backend/reg_alloc/proofs                     3m40s 828MB
May 03 13:11:48 Starting compiler/backend/proofs
May 03 14:19:44 Finished compiler/backend/proofs                            1h07m53s  14GB
May 03 14:19:44 Starting compiler/encoders/x64/proofs
May 03 14:29:31 Finished compiler/encoders/x64/proofs                          9m46s   4GB
May 03 14:29:31 Starting compiler/encoders/arm7/proofs
May 03 14:42:37 Finished compiler/encoders/arm7/proofs                        13m06s   3GB
May 03 14:42:38 Starting compiler/encoders/arm8/proofs
May 03 14:49:17 Finished compiler/encoders/arm8/proofs                         6m39s   1GB
May 03 14:49:17 Starting compiler/encoders/mips/proofs
May 03 14:59:21 Finished compiler/encoders/mips/proofs                        10m03s   3GB
May 03 14:59:22 Starting compiler/encoders/riscv/proofs
May 03 15:08:27 Finished compiler/encoders/riscv/proofs                        9m05s 976MB
May 03 15:08:27 Starting compiler/encoders/ag32/proofs
May 03 15:11:07 Finished compiler/encoders/ag32/proofs                         2m39s 913MB
May 03 15:11:07 Starting compiler/backend/x64/proofs
May 03 15:11:29 Finished compiler/backend/x64/proofs                             21s   1GB
May 03 15:11:29 Starting compiler/backend/arm7/proofs
May 03 15:11:51 Finished compiler/backend/arm7/proofs                            21s   1GB
May 03 15:11:51 Starting compiler/backend/arm8/proofs
May 03 15:12:11 Finished compiler/backend/arm8/proofs                            20s   1GB
May 03 15:12:11 Starting compiler/backend/mips/proofs
May 03 15:12:31 Finished compiler/backend/mips/proofs                            20s   1GB
May 03 15:12:32 Starting compiler/backend/riscv/proofs
May 03 15:12:53 Finished compiler/backend/riscv/proofs                           20s   1GB
May 03 15:12:53 Starting compiler/backend/ag32/proofs
May 03 15:26:14 Finished compiler/backend/ag32/proofs                         13m20s   2GB
May 03 15:26:14 Starting compiler/proofs
May 03 15:28:00 Finished compiler/proofs                                       1m45s   3GB
May 03 15:28:00 Starting candle/set-theory
May 03 15:28:28 Finished candle/set-theory                                       28s   1GB
May 03 15:28:28 Starting candle/syntax-lib
May 03 15:28:39 Finished candle/syntax-lib                                       10s 683MB
May 03 15:28:39 Starting candle/standard/syntax
May 03 15:30:31 Finished candle/standard/syntax                                1m51s 894MB
May 03 15:30:32 Starting candle/standard/semantics
May 03 15:32:15 Finished candle/standard/semantics                             1m43s   1GB
May 03 15:32:15 Starting candle/standard/monadic
May 03 15:33:57 Finished candle/standard/monadic                               1m41s   1GB
May 03 15:33:57 Starting candle/standard/ml_kernel
May 03 15:39:26 Finished candle/standard/ml_kernel                             5m29s   6GB
May 03 15:39:27 Starting candle/standard/opentheory
May 03 15:49:04 Finished candle/standard/opentheory                            9m36s   3GB
May 03 15:49:04 Starting candle/standard/opentheory/compilation
May 03 16:20:21 Finished candle/standard/opentheory/compilation               31m17s  12GB
May 03 16:20:21 Starting candle/standard/opentheory/compilation/proofs
May 03 16:21:00 Finished candle/standard/opentheory/compilation/proofs           38s   3GB
May 03 16:21:00 Starting candle/overloading/syntax
May 03 16:24:05 Finished candle/overloading/syntax                             3m04s   1GB
May 03 16:24:05 Starting candle/overloading/semantics
May 03 16:31:09 Finished candle/overloading/semantics                          7m02s   4GB
May 03 16:31:09 Starting characteristic/examples
May 03 16:32:26 Finished characteristic/examples                               1m16s   2GB
May 03 16:32:27 Starting tutorial/solutions
May 03 16:47:21 Finished tutorial/solutions                                   14m54s   7GB
May 03 16:47:21 Starting translator/monadic/examples
May 03 16:50:27 Finished translator/monadic/examples                           3m05s   2GB
May 03 16:50:27 Starting examples
May 03 16:58:57 Finished examples                                              8m30s   3GB
May 03 16:58:58 Starting examples/compilation/x64
May 03 19:16:17 Finished examples/compilation/x64                           2h17m18s  11GB
May 03 19:16:17 Starting examples/compilation/x64/proofs
May 03 19:17:56 Finished examples/compilation/x64/proofs                       1m38s   2GB
May 03 19:17:56 Starting examples/compilation/ag32
May 03 19:48:55 Finished examples/compilation/ag32                            30m58s   6GB
May 03 19:48:55 Starting examples/compilation/ag32/proofs
May 03 19:49:42 Finished examples/compilation/ag32/proofs                        46s   3GB
May 03 19:49:42 Starting examples/cost
May 03 20:31:44 Finished examples/cost                                        42m02s   6GB
May 03 20:31:45 Starting examples/lpr_checker
May 03 20:35:26 Finished examples/lpr_checker                                  3m41s   2GB
May 03 20:35:26 Starting examples/lpr_checker/compilation
May 03 20:52:57 Finished examples/lpr_checker/compilation                     17m30s  11GB
May 03 20:52:57 Starting examples/lpr_checker/compilation/proofs
May 03 20:53:34 Finished examples/lpr_checker/compilation/proofs                 37s   2GB
May 03 20:53:34 Starting examples/lpr_checker/array
May 03 21:01:48 Finished examples/lpr_checker/array                            8m13s   2GB
May 03 21:01:48 Starting examples/lpr_checker/array/compilation
May 03 21:17:40 Finished examples/lpr_checker/array/compilation               15m51s   6GB
May 03 21:17:40 Starting examples/lpr_checker/array/compilation/proofs
May 03 21:18:25 Finished examples/lpr_checker/array/compilation/proofs           44s   2GB
May 03 21:18:25 Starting translator/okasaki-examples
May 03 21:22:49 Finished translator/okasaki-examples                           4m23s   1GB
May 03 21:22:49 Starting translator/other-examples
May 03 21:24:53 Finished translator/other-examples                             2m03s   1GB
May 03 21:24:53 Starting compiler/parsing/tests
May 03 21:25:19 Finished compiler/parsing/tests                                  25s 606MB
May 03 21:25:19 Starting compiler/inference/tests
May 03 21:29:55 Finished compiler/inference/tests                              4m36s   4GB
May 03 21:29:55 Starting compiler/bootstrap/translation
May 04 00:15:11 Finished compiler/bootstrap/translation                     2h45m15s  40GB
May 04 00:15:11 Starting unverified/sexpr-bootstrap/x64/64
May 04 00:29:14 Finished unverified/sexpr-bootstrap/x64/64                    14m00s   5GB
May 04 00:29:14 Starting unverified/sexpr-bootstrap/x64/32
May 04 00:39:12 Finished unverified/sexpr-bootstrap/x64/32                     9m57s   6GB
May 04 00:39:12 Starting compiler/benchmarks
May 04 00:39:15 Finished compiler/benchmarks                                      1s  29MB
May 04 00:39:15 Starting compiler/bootstrap/compilation/x64/64
May 04 15:26:36 Finished compiler/bootstrap/compilation/x64/64             14h47m20s  64GB
May 04 15:26:36 Starting compiler/bootstrap/compilation/x64/64/proofs
May 04 15:29:59 Finished compiler/bootstrap/compilation/x64/64/proofs          3m22s  14GB
May 04 15:29:59 Starting compiler/bootstrap/compilation/x64/32
May 05 05:11:31 Finished compiler/bootstrap/compilation/x64/32             13h41m31s  64GB
May 05 05:11:32 Starting compiler/bootstrap/compilation/x64/32/proofs
May 05 05:14:25 Finished compiler/bootstrap/compilation/x64/32/proofs          2m53s  12GB
May 05 05:14:26 Starting compiler/bootstrap/compilation/ag32/32
May 05 20:33:34 Finished compiler/bootstrap/compilation/ag32/32            15h19m07s  64GB
May 05 20:33:34 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 05 21:00:06 Finished compiler/bootstrap/compilation/ag32/32/proofs        26m31s  29GB
May 05 21:00:06 SUCCESS