Job 1972

CakeML:cf77a10a9b936eb2f92aa2f9f1951b2f299bfd70
  Merge pull request #904 from CakeML/candle_boot-fixes [Aug 20 05:11:02]
HOL:2760fe927ddeb4f3149e8ece6018c9d49086ad77
  Tweak custom string-literal p/printing to not insert extra spaces [Aug 16 00:30:34]
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

Aug 20 14:00:01 Claimed job
Aug 20 14:00:05 Reusing HOL
Aug 20 14:00:45 Starting developers
Aug 20 14:00:51 Finished developers                                               5s 126MB
Aug 20 14:00:51 Starting developers/bin
Aug 20 14:02:33 Finished developers/bin                                        1m42s   1GB
Aug 20 14:02:34 Starting semantics/ffi
Aug 20 14:02:43 Finished semantics/ffi                                            9s 200MB
Aug 20 14:02:43 Starting semantics
Aug 20 14:05:16 Finished semantics                                             2m32s   1GB
Aug 20 14:05:16 Starting semantics/proofs
Aug 20 14:12:45 Finished semantics/proofs                                      7m29s   1GB
Aug 20 14:12:46 Starting semantics/alt_semantics
Aug 20 14:13:14 Finished semantics/alt_semantics                                 28s 562MB
Aug 20 14:13:14 Starting semantics/alt_semantics/proofs
Aug 20 14:25:48 Finished semantics/alt_semantics/proofs                       12m33s   2GB
Aug 20 14:25:48 Starting basis/pure
Aug 20 14:26:53 Finished basis/pure                                            1m04s 929MB
Aug 20 14:26:54 Starting translator
Aug 20 14:30:48 Finished translator                                            3m53s   2GB
Aug 20 14:30:48 Starting compiler/parsing
Aug 20 14:32:19 Finished compiler/parsing                                      1m30s   4GB
Aug 20 14:32:19 Starting characteristic
Aug 20 14:39:24 Finished characteristic                                        7m04s   1GB
Aug 20 14:39:24 Starting translator/monadic
Aug 20 14:41:23 Finished translator/monadic                                    1m58s   1GB
Aug 20 14:41:23 Starting basis
Aug 20 15:36:56 Finished basis                                                55m32s  18GB
Aug 20 15:36:56 Starting compiler/inference
Aug 20 15:38:30 Finished compiler/inference                                    1m33s   1GB
Aug 20 15:38:30 Starting compiler/backend/reg_alloc
Aug 20 15:40:15 Finished compiler/backend/reg_alloc                            1m45s   1GB
Aug 20 15:40:16 Starting compiler/backend/gc
Aug 20 15:44:51 Finished compiler/backend/gc                                   4m34s   2GB
Aug 20 15:44:51 Starting compiler/backend
Aug 20 15:50:47 Finished compiler/backend                                      5m55s   2GB
Aug 20 15:50:47 Starting compiler/encoders/asm
Aug 20 15:51:18 Finished compiler/encoders/asm                                   31s   1GB
Aug 20 15:51:19 Starting compiler/encoders/x64
Aug 20 15:51:49 Finished compiler/encoders/x64                                   29s 782MB
Aug 20 15:51:49 Starting compiler/encoders/arm7
Aug 20 15:52:50 Finished compiler/encoders/arm7                                1m01s 827MB
Aug 20 15:52:51 Starting compiler/encoders/arm8
Aug 20 15:53:08 Finished compiler/encoders/arm8                                  16s   1GB
Aug 20 15:53:08 Starting compiler/encoders/arm8_asl
Aug 20 15:56:07 Finished compiler/encoders/arm8_asl                            2m59s   1GB
Aug 20 15:56:08 Starting compiler/encoders/mips
Aug 20 15:56:30 Finished compiler/encoders/mips                                  21s   1GB
Aug 20 15:56:30 Starting compiler/encoders/riscv
Aug 20 15:56:50 Finished compiler/encoders/riscv                                 19s 831MB
Aug 20 15:56:50 Starting compiler/encoders/ag32
Aug 20 15:57:12 Finished compiler/encoders/ag32                                  21s 740MB
Aug 20 15:57:12 Starting compiler/backend/x64
Aug 20 15:57:34 Finished compiler/backend/x64                                    21s   1GB
Aug 20 15:57:34 Starting compiler/backend/arm7
Aug 20 15:57:57 Finished compiler/backend/arm7                                   22s   1GB
Aug 20 15:57:57 Starting compiler/backend/arm8
Aug 20 15:58:19 Finished compiler/backend/arm8                                   21s   1GB
Aug 20 15:58:19 Starting compiler/backend/mips
Aug 20 15:58:40 Finished compiler/backend/mips                                   21s   1GB
Aug 20 15:58:40 Starting compiler/backend/riscv
Aug 20 15:59:03 Finished compiler/backend/riscv                                  22s   1GB
Aug 20 15:59:04 Starting compiler/backend/ag32
Aug 20 16:00:34 Finished compiler/backend/ag32                                 1m29s   1GB
Aug 20 16:00:34 Starting compiler/parsing/proofs
Aug 20 16:04:41 Finished compiler/parsing/proofs                               4m07s   1GB
Aug 20 16:04:41 Starting compiler/inference/proofs
Aug 20 16:07:35 Finished compiler/inference/proofs                             2m52s   1GB
Aug 20 16:07:35 Starting compiler/backend/semantics
Aug 20 16:37:23 Finished compiler/backend/semantics                           29m45s   2GB
Aug 20 16:37:23 Starting compiler/backend/reg_alloc/proofs
Aug 20 16:41:21 Finished compiler/backend/reg_alloc/proofs                     3m58s 788MB
Aug 20 16:41:21 Starting compiler/backend/proofs
Aug 20 17:43:21 Finished compiler/backend/proofs                            1h01m58s  14GB
Aug 20 17:43:22 Starting compiler/backend/serialiser
Aug 20 17:44:53 Finished compiler/backend/serialiser                           1m30s   1GB
Aug 20 17:44:53 Starting compiler/encoders/x64/proofs
Aug 20 17:55:25 Finished compiler/encoders/x64/proofs                         10m31s   5GB
Aug 20 17:55:25 Starting compiler/encoders/arm7/proofs
Aug 20 18:10:15 Finished compiler/encoders/arm7/proofs                        14m49s   3GB
Aug 20 18:10:15 Starting compiler/encoders/arm8/proofs
Aug 20 18:17:42 Finished compiler/encoders/arm8/proofs                         7m26s   1GB
Aug 20 18:17:42 Starting compiler/encoders/arm8_asl/proofs
Aug 20 18:34:45 Finished compiler/encoders/arm8_asl/proofs                    17m02s   2GB
Aug 20 18:34:45 Starting compiler/encoders/mips/proofs
Aug 20 18:45:58 Finished compiler/encoders/mips/proofs                        11m10s   2GB
Aug 20 18:45:58 Starting compiler/encoders/riscv/proofs
Aug 20 18:55:41 Finished compiler/encoders/riscv/proofs                        9m42s   1GB
Aug 20 18:55:41 Starting compiler/encoders/ag32/proofs
Aug 20 18:58:34 Finished compiler/encoders/ag32/proofs                         2m52s 741MB
Aug 20 18:58:34 Starting compiler/backend/x64/proofs
Aug 20 18:59:00 Finished compiler/backend/x64/proofs                             25s   1GB
Aug 20 18:59:00 Starting compiler/backend/arm7/proofs
Aug 20 18:59:27 Finished compiler/backend/arm7/proofs                            26s   1GB
Aug 20 18:59:28 Starting compiler/backend/arm8/proofs
Aug 20 18:59:54 Finished compiler/backend/arm8/proofs                            26s   1GB
Aug 20 18:59:54 Starting compiler/backend/arm8_asl
Aug 20 19:00:16 Finished compiler/backend/arm8_asl                               21s   1GB
Aug 20 19:00:16 Starting compiler/backend/mips/proofs
Aug 20 19:00:42 Finished compiler/backend/mips/proofs                            25s   1GB
Aug 20 19:00:42 Starting compiler/backend/riscv/proofs
Aug 20 19:01:09 Finished compiler/backend/riscv/proofs                           26s   1GB
Aug 20 19:01:09 Starting compiler/backend/ag32/proofs
Aug 20 19:15:37 Finished compiler/backend/ag32/proofs                         14m27s   3GB
Aug 20 19:15:37 Starting compiler/proofs
Aug 20 19:17:44 Finished compiler/proofs                                       2m06s   3GB
Aug 20 19:17:44 Starting candle/set-theory
Aug 20 19:18:20 Finished candle/set-theory                                       35s 974MB
Aug 20 19:18:20 Starting candle/syntax-lib
Aug 20 19:18:33 Finished candle/syntax-lib                                       12s 622MB
Aug 20 19:18:33 Starting candle/standard/syntax
Aug 20 19:20:39 Finished candle/standard/syntax                                2m05s   1GB
Aug 20 19:20:40 Starting candle/standard/semantics
Aug 20 19:22:27 Finished candle/standard/semantics                             1m46s   1GB
Aug 20 19:22:27 Starting candle/standard/monadic
Aug 20 19:24:29 Finished candle/standard/monadic                               2m01s   2GB
Aug 20 19:24:29 Starting candle/standard/ml_kernel
Aug 20 19:31:24 Finished candle/standard/ml_kernel                             6m54s   3GB
Aug 20 19:31:24 Starting candle/overloading/syntax
Aug 20 19:34:48 Finished candle/overloading/syntax                             3m24s 971MB
Aug 20 19:34:48 Starting candle/overloading/semantics
Aug 20 19:47:25 Finished candle/overloading/semantics                         12m36s   2GB
Aug 20 19:47:25 Starting candle/overloading/monadic
Aug 20 19:50:10 Finished candle/overloading/monadic                            2m44s   1GB
Aug 20 19:50:10 Starting candle/overloading/ml_kernel
Aug 20 19:58:08 Finished candle/overloading/ml_kernel                          7m58s   3GB
Aug 20 19:58:09 Starting candle/overloading/ml_checker
Aug 20 20:00:42 Finished candle/overloading/ml_checker                         2m33s   2GB
Aug 20 20:00:42 Starting candle/prover
Aug 20 20:11:56 Finished candle/prover                                        11m13s   3GB
Aug 20 20:11:57 Starting pancake
Aug 20 20:15:04 Finished pancake                                               3m06s   3GB
Aug 20 20:15:04 Starting pancake/ffi
Aug 20 20:15:05 Finished pancake/ffi                                              0s   9MB
Aug 20 20:15:05 Starting pancake/semantics
Aug 20 20:17:40 Finished pancake/semantics                                     2m35s   1GB
Aug 20 20:17:41 Starting pancake/proofs
Aug 20 20:30:52 Finished pancake/proofs                                       13m11s   5GB
Aug 20 20:30:52 Starting characteristic/examples
Aug 20 20:32:22 Finished characteristic/examples                               1m29s   2GB
Aug 20 20:32:22 Starting tutorial/solutions
Aug 20 20:48:55 Finished tutorial/solutions                                   16m29s   8GB
Aug 20 20:48:55 Starting translator/monadic/examples
Aug 20 20:52:55 Finished translator/monadic/examples                           4m00s   2GB
Aug 20 20:52:56 Starting examples
Aug 20 21:03:46 Finished examples                                             10m50s   3GB
Aug 20 21:03:47 Starting examples/compilation/x64
Aug 20 23:11:27 Finished examples/compilation/x64                           2h07m40s  13GB
Aug 20 23:11:28 Starting examples/compilation/x64/proofs
Aug 20 23:13:53 Finished examples/compilation/x64/proofs                       2m25s   3GB
Aug 20 23:13:54 Starting examples/compilation/ag32
Aug 20 23:48:29 Finished examples/compilation/ag32                            34m34s   8GB
Aug 20 23:48:29 Starting examples/compilation/ag32/proofs
Aug 20 23:49:22 Finished examples/compilation/ag32/proofs                        53s   2GB
Aug 20 23:49:23 Starting examples/lpr_checker
Aug 20 23:50:22 Finished examples/lpr_checker                                    59s   1GB
Aug 20 23:50:23 Starting examples/lpr_checker/array
Aug 21 00:27:13 Finished examples/lpr_checker/array                           36m49s   6GB
Aug 21 00:27:13 Starting examples/lpr_checker/array/compilation
Aug 21 01:08:55 Finished examples/lpr_checker/array/compilation               41m41s  29GB
Aug 21 01:08:55 Starting examples/lpr_checker/array/compilation/proofs
Aug 21 01:10:16 Finished examples/lpr_checker/array/compilation/proofs         1m20s   5GB
Aug 21 01:10:16 Starting examples/opentheory
Aug 21 01:21:12 Finished examples/opentheory                                  10m55s   6GB
Aug 21 01:21:12 Starting examples/opentheory
Aug 21 01:21:14 Finished examples/opentheory                                      1s  19MB
Aug 21 01:21:14 Starting examples/opentheory/compilation
Aug 21 02:01:19 Finished examples/opentheory/compilation                      40m04s  23GB
Aug 21 02:01:19 Starting examples/opentheory/compilation/proofs
Aug 21 02:02:17 Finished examples/opentheory/compilation/proofs                  57s   3GB
Aug 21 02:02:18 Starting examples/opentheory/compilation/ag32
Aug 21 02:38:24 Finished examples/opentheory/compilation/ag32                 36m06s  18GB
Aug 21 02:38:24 Starting examples/opentheory/compilation/ag32/proofs
Aug 21 02:40:14 Finished examples/opentheory/compilation/ag32/proofs           1m49s   7GB
Aug 21 02:40:14 Starting examples/sat_encodings
Aug 21 02:42:04 Finished examples/sat_encodings                                1m49s 747MB
Aug 21 02:42:04 Starting examples/sat_encodings/case_studies
Aug 21 02:43:50 Finished examples/sat_encodings/case_studies                   1m45s 785MB
Aug 21 02:43:50 Starting examples/sat_encodings/translation
Aug 21 02:49:47 Finished examples/sat_encodings/translation                    5m56s   5GB
Aug 21 02:49:47 Starting examples/sat_encodings/translation/compilation
Aug 21 03:42:41 Finished examples/sat_encodings/translation/compilation       52m51s  19GB
Aug 21 03:42:41 Starting examples/deflate
Aug 21 03:43:34 Finished examples/deflate                                        52s 749MB
Aug 21 03:43:34 Starting examples/deflate/translation
Aug 21 03:45:14 Finished examples/deflate/translation                          1m39s   3GB
Aug 21 03:45:14 Starting examples/deflate/translation/compilation
Aug 21 04:10:02 Finished examples/deflate/translation/compilation             24m47s  11GB
Aug 21 04:10:02 Starting translator/okasaki-examples
Aug 21 04:15:16 Finished translator/okasaki-examples                           5m13s   1GB
Aug 21 04:15:16 Starting translator/other-examples
Aug 21 04:16:04 Finished translator/other-examples                               47s   1GB
Aug 21 04:16:04 Starting compiler/parsing/tests
Aug 21 04:16:35 Finished compiler/parsing/tests                                  30s 667MB
Aug 21 04:16:36 Starting compiler/inference/tests
Aug 21 04:25:17 Finished compiler/inference/tests                              8m41s   4GB
Aug 21 04:25:17 Starting compiler/printing/test
Aug 21 04:29:04 Finished compiler/printing/test                                3m46s   3GB
Aug 21 04:29:04 Starting icing/flover
Aug 21 05:20:57 Finished icing/flover                                         51m52s   1GB
Aug 21 05:20:57 Starting icing/
Aug 21 06:37:39 Finished icing/                                             1h16m40s   6GB
Aug 21 06:37:40 Starting icing/examples
Aug 21 06:39:15 Finished icing/examples                                        1m35s   5GB
Aug 21 06:39:15 Starting compiler/repl
Aug 21 06:52:50 Finished compiler/repl                                        13m34s   8GB
Aug 21 06:52:50 Starting compiler/bootstrap/translation
Aug 21 11:31:49 Finished compiler/bootstrap/translation                     4h38m58s  51GB
Aug 21 11:31:49 Starting unverified/sexpr-bootstrap/x64/64
Aug 21 11:42:58 Finished unverified/sexpr-bootstrap/x64/64                    11m06s   8GB
Aug 21 11:42:58 Starting unverified/sexpr-bootstrap/x64/32
Aug 21 11:51:35 Finished unverified/sexpr-bootstrap/x64/32                     8m35s   9GB
Aug 21 11:51:36 Starting compiler/benchmarks
Aug 21 11:51:39 Finished compiler/benchmarks                                      3s  29MB
Aug 21 11:51:39 Starting compiler/bootstrap/compilation/x64/64
Aug 21 23:42:29 Finished compiler/bootstrap/compilation/x64/64             11h50m48s  64GB
Aug 21 23:42:30 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 22 00:00:47 Finished compiler/bootstrap/compilation/x64/64/proofs         18m16s  27GB
Aug 22 00:00:47 Starting compiler/bootstrap/compilation/x64/32
Aug 22 06:34:06 Finished compiler/bootstrap/compilation/x64/32              6h33m17s  55GB
Aug 22 06:34:06 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 22 06:36:42 Finished compiler/bootstrap/compilation/x64/32/proofs          2m35s  14GB
Aug 22 06:36:42 Starting compiler/bootstrap/compilation/ag32/32
Aug 22 13:21:55 Finished compiler/bootstrap/compilation/ag32/32             6h45m10s  64GB
Aug 22 13:21:55 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 22 13:31:00 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m04s  16GB
Aug 22 13:31:00 SUCCESS