Job 1973

CakeML:f3908e0083bea5ee09ba3c46c6657e7412ac8606
  Merge remote-tracking branch 'origin/candle-compute-v4' into candle-f [Aug 23 08:35:35]
#906 (candle-features)
Merging into: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

Aug 23 08:45:31 Claimed job
Aug 23 08:45:36 Reusing HOL
Aug 23 08:46:17 Starting developers
Aug 23 08:46:22 Finished developers                                               5s  72MB
Aug 23 08:46:22 Starting developers/bin
Aug 23 08:48:08 Finished developers/bin                                        1m45s   1GB
Aug 23 08:48:08 Starting semantics/ffi
Aug 23 08:48:18 Finished semantics/ffi                                            9s 201MB
Aug 23 08:48:18 Starting semantics
Aug 23 08:50:51 Finished semantics                                             2m32s   1GB
Aug 23 08:50:51 Starting semantics/proofs
Aug 23 08:58:30 Finished semantics/proofs                                      7m38s   1GB
Aug 23 08:58:30 Starting semantics/alt_semantics
Aug 23 08:58:58 Finished semantics/alt_semantics                                 27s 553MB
Aug 23 08:58:58 Starting semantics/alt_semantics/proofs
Aug 23 09:11:31 Finished semantics/alt_semantics/proofs                       12m32s   1GB
Aug 23 09:11:31 Starting basis/pure
Aug 23 09:12:36 Finished basis/pure                                            1m05s 927MB
Aug 23 09:12:36 Starting translator
Aug 23 09:16:34 Finished translator                                            3m56s   1GB
Aug 23 09:16:34 Starting compiler/parsing
Aug 23 09:18:02 Finished compiler/parsing                                      1m28s   3GB
Aug 23 09:18:03 Starting characteristic
Aug 23 09:25:09 Finished characteristic                                        7m06s   1GB
Aug 23 09:25:09 Starting translator/monadic
Aug 23 09:27:10 Finished translator/monadic                                    1m58s   1GB
Aug 23 09:27:10 Starting basis
Aug 23 10:22:17 Finished basis                                                55m07s  14GB
Aug 23 10:22:18 Starting compiler/inference
Aug 23 10:23:51 Finished compiler/inference                                    1m32s   1GB
Aug 23 10:23:51 Starting compiler/backend/reg_alloc
Aug 23 10:25:37 Finished compiler/backend/reg_alloc                            1m46s   1GB
Aug 23 10:25:38 Starting compiler/backend/gc
Aug 23 10:30:11 Finished compiler/backend/gc                                   4m31s   2GB
Aug 23 10:30:11 Starting compiler/backend
Aug 23 10:36:12 Finished compiler/backend                                      6m00s   2GB
Aug 23 10:36:13 Starting compiler/encoders/asm
Aug 23 10:36:43 Finished compiler/encoders/asm                                   30s 739MB
Aug 23 10:36:44 Starting compiler/encoders/x64
Aug 23 10:37:14 Finished compiler/encoders/x64                                   29s 752MB
Aug 23 10:37:14 Starting compiler/encoders/arm7
Aug 23 10:38:16 Finished compiler/encoders/arm7                                1m01s 827MB
Aug 23 10:38:16 Starting compiler/encoders/arm8
Aug 23 10:38:34 Finished compiler/encoders/arm8                                  17s 618MB
Aug 23 10:38:34 Starting compiler/encoders/arm8_asl
Aug 23 10:41:32 Finished compiler/encoders/arm8_asl                            2m57s   1GB
Aug 23 10:41:32 Starting compiler/encoders/mips
Aug 23 10:41:54 Finished compiler/encoders/mips                                  22s   1GB
Aug 23 10:41:55 Starting compiler/encoders/riscv
Aug 23 10:42:13 Finished compiler/encoders/riscv                                 18s 876MB
Aug 23 10:42:14 Starting compiler/encoders/ag32
Aug 23 10:42:36 Finished compiler/encoders/ag32                                  21s 566MB
Aug 23 10:42:36 Starting compiler/backend/x64
Aug 23 10:42:58 Finished compiler/backend/x64                                    22s   1GB
Aug 23 10:42:58 Starting compiler/backend/arm7
Aug 23 10:43:22 Finished compiler/backend/arm7                                   23s   1GB
Aug 23 10:43:22 Starting compiler/backend/arm8
Aug 23 10:43:44 Finished compiler/backend/arm8                                   21s   1GB
Aug 23 10:43:44 Starting compiler/backend/mips
Aug 23 10:44:06 Finished compiler/backend/mips                                   22s   1GB
Aug 23 10:44:07 Starting compiler/backend/riscv
Aug 23 10:44:29 Finished compiler/backend/riscv                                  22s   1GB
Aug 23 10:44:29 Starting compiler/backend/ag32
Aug 23 10:45:59 Finished compiler/backend/ag32                                 1m29s   1GB
Aug 23 10:45:59 Starting compiler/parsing/proofs
Aug 23 10:50:05 Finished compiler/parsing/proofs                               4m05s   1GB
Aug 23 10:50:06 Starting compiler/inference/proofs
Aug 23 10:52:58 Finished compiler/inference/proofs                             2m52s   1GB
Aug 23 10:52:58 Starting compiler/backend/semantics
Aug 23 11:23:03 Finished compiler/backend/semantics                           30m04s   2GB
Aug 23 11:23:03 Starting compiler/backend/reg_alloc/proofs
Aug 23 11:27:02 Finished compiler/backend/reg_alloc/proofs                     3m58s   1GB
Aug 23 11:27:02 Starting compiler/backend/proofs
Aug 23 12:28:50 Finished compiler/backend/proofs                            1h01m47s  15GB
Aug 23 12:28:50 Starting compiler/backend/serialiser
Aug 23 12:30:21 Finished compiler/backend/serialiser                           1m30s   1GB
Aug 23 12:30:21 Starting compiler/encoders/x64/proofs
Aug 23 12:40:54 Finished compiler/encoders/x64/proofs                         10m31s   4GB
Aug 23 12:40:54 Starting compiler/encoders/arm7/proofs
Aug 23 12:55:43 Finished compiler/encoders/arm7/proofs                        14m49s   3GB
Aug 23 12:55:43 Starting compiler/encoders/arm8/proofs
Aug 23 13:03:11 Finished compiler/encoders/arm8/proofs                         7m27s   1GB
Aug 23 13:03:11 Starting compiler/encoders/arm8_asl/proofs
Aug 23 13:19:52 Finished compiler/encoders/arm8_asl/proofs                    16m40s   2GB
Aug 23 13:19:52 Starting compiler/encoders/mips/proofs
Aug 23 13:31:07 Finished compiler/encoders/mips/proofs                        11m13s   2GB
Aug 23 13:31:07 Starting compiler/encoders/riscv/proofs
Aug 23 13:40:45 Finished compiler/encoders/riscv/proofs                        9m37s   1GB
Aug 23 13:40:45 Starting compiler/encoders/ag32/proofs
Aug 23 13:43:36 Finished compiler/encoders/ag32/proofs                         2m50s 696MB
Aug 23 13:43:36 Starting compiler/backend/x64/proofs
Aug 23 13:44:02 Finished compiler/backend/x64/proofs                             25s   1GB
Aug 23 13:44:03 Starting compiler/backend/arm7/proofs
Aug 23 13:44:31 Finished compiler/backend/arm7/proofs                            27s   1GB
Aug 23 13:44:31 Starting compiler/backend/arm8/proofs
Aug 23 13:44:58 Finished compiler/backend/arm8/proofs                            26s   1GB
Aug 23 13:44:58 Starting compiler/backend/arm8_asl
Aug 23 13:45:27 Finished compiler/backend/arm8_asl                               29s   1GB
Aug 23 13:45:28 Starting compiler/backend/mips/proofs
Aug 23 13:45:54 Finished compiler/backend/mips/proofs                            26s   1GB
Aug 23 13:45:54 Starting compiler/backend/riscv/proofs
Aug 23 13:46:20 Finished compiler/backend/riscv/proofs                           25s   1GB
Aug 23 13:46:21 Starting compiler/backend/ag32/proofs
Aug 23 14:00:48 Finished compiler/backend/ag32/proofs                         14m26s   2GB
Aug 23 14:00:48 Starting compiler/proofs
Aug 23 14:02:56 Finished compiler/proofs                                       2m08s   3GB
Aug 23 14:02:57 Starting candle/set-theory
Aug 23 14:03:32 Finished candle/set-theory                                       35s 972MB
Aug 23 14:03:32 Starting candle/syntax-lib
Aug 23 14:03:46 Finished candle/syntax-lib                                       13s 623MB
Aug 23 14:03:46 Starting candle/standard/syntax
Aug 23 14:05:52 Finished candle/standard/syntax                                2m05s   1GB
Aug 23 14:05:53 Starting candle/standard/semantics
Aug 23 14:07:42 Finished candle/standard/semantics                             1m48s 945MB
Aug 23 14:07:42 Starting candle/standard/monadic
Aug 23 14:09:41 Finished candle/standard/monadic                               1m59s   1GB
Aug 23 14:09:42 Starting candle/standard/ml_kernel
Aug 23 14:16:49 Finished candle/standard/ml_kernel                             7m07s   3GB
Aug 23 14:16:49 Starting candle/overloading/syntax
Aug 23 14:20:12 Finished candle/overloading/syntax                             3m22s 996MB
Aug 23 14:20:12 Starting candle/overloading/semantics
Aug 23 14:32:48 Finished candle/overloading/semantics                         12m34s   2GB
Aug 23 14:32:49 Starting candle/overloading/monadic
Aug 23 14:35:35 Finished candle/overloading/monadic                            2m46s   1GB
Aug 23 14:35:36 Starting candle/overloading/ml_kernel
Aug 23 14:43:35 Finished candle/overloading/ml_kernel                          7m59s   3GB
Aug 23 14:43:36 Starting candle/overloading/ml_checker
Aug 23 14:46:19 Finished candle/overloading/ml_checker                         2m43s   4GB
Aug 23 14:46:19 Starting candle/prover
Aug 23 15:02:20 Finished candle/prover                                        16m00s   4GB
Aug 23 15:02:20 Starting pancake
Aug 23 15:05:27 Finished pancake                                               3m06s   3GB
Aug 23 15:05:27 Starting pancake/ffi
Aug 23 15:05:28 Finished pancake/ffi                                              0s   9MB
Aug 23 15:05:28 Starting pancake/semantics
Aug 23 15:08:04 Finished pancake/semantics                                     2m36s   1GB
Aug 23 15:08:04 Starting pancake/proofs
Aug 23 15:21:34 Finished pancake/proofs                                       13m29s   6GB
Aug 23 15:21:34 Starting characteristic/examples
Aug 23 15:23:02 Finished characteristic/examples                               1m27s   3GB
Aug 23 15:23:02 Starting tutorial/solutions
Aug 23 15:39:17 Finished tutorial/solutions                                   16m14s  13GB
Aug 23 15:39:18 Starting translator/monadic/examples
Aug 23 15:43:15 Finished translator/monadic/examples                           3m56s   3GB
Aug 23 15:43:15 Starting examples
Aug 23 15:54:08 Finished examples                                             10m53s   3GB
Aug 23 15:54:09 Starting examples/compilation/x64
Aug 23 18:02:09 Finished examples/compilation/x64                           2h07m59s  13GB
Aug 23 18:02:09 Starting examples/compilation/x64/proofs
Aug 23 18:04:31 Finished examples/compilation/x64/proofs                       2m21s   3GB
Aug 23 18:04:32 Starting examples/compilation/ag32
Aug 23 18:38:55 Finished examples/compilation/ag32                            34m23s   7GB
Aug 23 18:38:55 Starting examples/compilation/ag32/proofs
Aug 23 18:39:48 Finished examples/compilation/ag32/proofs                        52s   4GB
Aug 23 18:39:48 Starting examples/lpr_checker
Aug 23 18:40:48 Finished examples/lpr_checker                                    59s   1GB
Aug 23 18:40:48 Starting examples/lpr_checker/array
Aug 23 19:17:57 Finished examples/lpr_checker/array                           37m08s   4GB
Aug 23 19:17:58 Starting examples/lpr_checker/array/compilation
Aug 23 19:58:59 Finished examples/lpr_checker/array/compilation               41m01s  22GB
Aug 23 19:58:59 Starting examples/lpr_checker/array/compilation/proofs
Aug 23 20:00:21 Finished examples/lpr_checker/array/compilation/proofs         1m21s   6GB
Aug 23 20:00:22 Starting examples/opentheory
Aug 23 20:11:17 Finished examples/opentheory                                  10m55s   5GB
Aug 23 20:11:18 Starting examples/opentheory
Aug 23 20:11:20 Finished examples/opentheory                                      1s  21MB
Aug 23 20:11:20 Starting examples/opentheory/compilation
Aug 23 20:50:42 Finished examples/opentheory/compilation                      39m21s  20GB
Aug 23 20:50:42 Starting examples/opentheory/compilation/proofs
Aug 23 20:51:41 Finished examples/opentheory/compilation/proofs                  58s   3GB
Aug 23 20:51:42 Starting examples/opentheory/compilation/ag32
Aug 23 21:27:10 Finished examples/opentheory/compilation/ag32                 35m27s  25GB
Aug 23 21:27:10 Starting examples/opentheory/compilation/ag32/proofs
Aug 23 21:29:08 Finished examples/opentheory/compilation/ag32/proofs           1m58s   6GB
Aug 23 21:29:09 Starting examples/sat_encodings
Aug 23 21:30:58 Finished examples/sat_encodings                                1m49s 755MB
Aug 23 21:30:58 Starting examples/sat_encodings/case_studies
Aug 23 21:32:42 Finished examples/sat_encodings/case_studies                   1m43s 916MB
Aug 23 21:32:42 Starting examples/sat_encodings/translation
Aug 23 21:38:39 Finished examples/sat_encodings/translation                    5m56s   3GB
Aug 23 21:38:39 Starting examples/sat_encodings/translation/compilation
Aug 23 22:31:09 Finished examples/sat_encodings/translation/compilation       52m29s  19GB
Aug 23 22:31:09 Starting examples/deflate
Aug 23 22:32:03 Finished examples/deflate                                        53s 733MB
Aug 23 22:32:03 Starting examples/deflate/translation
Aug 23 22:33:44 Finished examples/deflate/translation                          1m40s   3GB
Aug 23 22:33:44 Starting examples/deflate/translation/compilation
Aug 23 22:58:03 Finished examples/deflate/translation/compilation             24m18s  10GB
Aug 23 22:58:03 Starting translator/okasaki-examples
Aug 23 23:03:17 Finished translator/okasaki-examples                           5m13s   1GB
Aug 23 23:03:17 Starting translator/other-examples
Aug 23 23:04:06 Finished translator/other-examples                               48s   1GB
Aug 23 23:04:06 Starting compiler/parsing/tests
Aug 23 23:04:37 Finished compiler/parsing/tests                                  30s 629MB
Aug 23 23:04:37 Starting compiler/inference/tests
Aug 23 23:13:31 Finished compiler/inference/tests                              8m53s   4GB
Aug 23 23:13:31 Starting compiler/printing/test
Aug 23 23:17:21 Finished compiler/printing/test                                3m48s   3GB
Aug 23 23:17:21 Starting icing/flover
Aug 24 00:09:29 Finished icing/flover                                         52m07s 997MB
Aug 24 00:09:29 Starting icing/
Aug 24 01:26:36 Finished icing/                                             1h17m05s   5GB
Aug 24 01:26:36 Starting icing/examples
Aug 24 01:28:10 Finished icing/examples                                        1m33s   5GB
Aug 24 01:28:10 Starting compiler/repl
Aug 24 04:05:59 Finished compiler/repl                                      2h37m48s  24GB
Aug 24 04:05:59 Starting compiler/bootstrap/translation
Aug 24 08:56:46 Finished compiler/bootstrap/translation                     4h50m46s  48GB
Aug 24 08:56:47 Starting unverified/sexpr-bootstrap/x64/64
Aug 24 09:07:38 Finished unverified/sexpr-bootstrap/x64/64                    10m51s  12GB
Aug 24 09:07:39 Starting unverified/sexpr-bootstrap/x64/32
Aug 24 09:16:29 Finished unverified/sexpr-bootstrap/x64/32                     8m49s  11GB
Aug 24 09:16:29 Starting compiler/benchmarks
Aug 24 09:16:32 Finished compiler/benchmarks                                      3s  29MB
Aug 24 09:16:32 Starting compiler/bootstrap/compilation/x64/64
Aug 24 21:14:14 Finished compiler/bootstrap/compilation/x64/64             11h57m41s  64GB
Aug 24 21:14:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 24 21:33:44 Finished compiler/bootstrap/compilation/x64/64/proofs         19m29s  31GB
Aug 24 21:33:44 Starting compiler/bootstrap/compilation/x64/32
Aug 25 04:17:32 Finished compiler/bootstrap/compilation/x64/32              6h43m47s  62GB
Aug 25 04:17:33 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 25 04:20:58 Finished compiler/bootstrap/compilation/x64/32/proofs          3m25s  11GB
Aug 25 04:20:58 Starting compiler/bootstrap/compilation/ag32/32
Aug 25 11:21:43 Finished compiler/bootstrap/compilation/ag32/32             7h00m44s  64GB
Aug 25 11:21:44 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 25 11:29:48 Finished compiler/bootstrap/compilation/ag32/32/proofs         8m04s  16GB
Aug 25 11:29:48 SUCCESS