Job 1569

CakeML:961ea28a878fdb9ebbf83355b31330ddbe75d2bd
  Update README.md [Aug 10 07:29:33]
#831 (pancake)
Merging into:76ed0b05089a77059dee72d197fc56c3dae661e8
  Merge pull request #829 from CakeML/help [Jun 18 08:39:57]
HOL:1dfda82edf04a50d842dac582fd1231a6d07239a
  Remove .HOLMK directories before doing a build [Aug 08 23:49:27]
Machine:oven3 4.19.67.1.amd64-smp

Aug 10 21:07:03 Claimed job
Aug 10 21:07:12 Reusing HOL
Aug 10 21:08:25 Starting developers
Aug 10 21:08:33 Finished developers                                               7s 142MB
Aug 10 21:08:33 Starting developers/bin
Aug 10 21:08:46 Finished developers/bin                                          12s   1GB
Aug 10 21:08:46 Starting semantics/ffi
Aug 10 21:09:11 Finished semantics/ffi                                           24s 261MB
Aug 10 21:09:11 Starting semantics
Aug 10 21:12:09 Finished semantics                                             2m57s   1GB
Aug 10 21:12:09 Starting semantics/proofs
Aug 10 21:19:54 Finished semantics/proofs                                      7m44s   1GB
Aug 10 21:19:55 Starting semantics/alt_semantics
Aug 10 21:20:16 Finished semantics/alt_semantics                                 20s 352MB
Aug 10 21:20:16 Starting semantics/alt_semantics/proofs
Aug 10 21:25:16 Finished semantics/alt_semantics/proofs                        4m59s   1GB
Aug 10 21:25:16 Starting basis/pure
Aug 10 21:27:03 Finished basis/pure                                            1m46s 700MB
Aug 10 21:27:03 Starting translator
Aug 10 21:33:54 Finished translator                                            6m50s   1GB
Aug 10 21:33:54 Starting compiler/parsing
Aug 10 21:36:24 Finished compiler/parsing                                      2m29s   2GB
Aug 10 21:36:24 Starting characteristic
Aug 10 21:48:22 Finished characteristic                                       11m57s   2GB
Aug 10 21:48:22 Starting translator/monadic
Aug 10 21:51:48 Finished translator/monadic                                    3m25s   1GB
Aug 10 21:51:48 Starting basis
Aug 10 23:27:17 Finished basis                                              1h35m28s  16GB
Aug 10 23:27:18 Starting compiler/inference
Aug 10 23:29:45 Finished compiler/inference                                    2m26s   1GB
Aug 10 23:29:45 Starting compiler/backend/reg_alloc
Aug 10 23:31:54 Finished compiler/backend/reg_alloc                            2m09s   1GB
Aug 10 23:31:54 Starting compiler/backend/gc
Aug 10 23:38:33 Finished compiler/backend/gc                                   6m38s   2GB
Aug 10 23:38:33 Starting compiler/backend
Aug 10 23:48:04 Finished compiler/backend                                      9m30s   4GB
Aug 10 23:48:04 Starting compiler/encoders/asm
Aug 10 23:48:53 Finished compiler/encoders/asm                                   48s 707MB
Aug 10 23:48:53 Starting compiler/encoders/x64
Aug 10 23:49:50 Finished compiler/encoders/x64                                   56s   1GB
Aug 10 23:49:50 Starting compiler/encoders/arm7
Aug 10 23:51:42 Finished compiler/encoders/arm7                                1m51s 805MB
Aug 10 23:51:42 Starting compiler/encoders/arm8
Aug 10 23:52:11 Finished compiler/encoders/arm8                                  28s 996MB
Aug 10 23:52:11 Starting compiler/encoders/mips
Aug 10 23:52:48 Finished compiler/encoders/mips                                  36s   1GB
Aug 10 23:52:48 Starting compiler/encoders/riscv
Aug 10 23:53:23 Finished compiler/encoders/riscv                                 33s 778MB
Aug 10 23:53:23 Starting compiler/encoders/ag32
Aug 10 23:54:00 Finished compiler/encoders/ag32                                  36s 893MB
Aug 10 23:54:00 Starting compiler/backend/x64
Aug 10 23:54:41 Finished compiler/backend/x64                                    41s   1GB
Aug 10 23:54:41 Starting compiler/backend/arm7
Aug 10 23:55:27 Finished compiler/backend/arm7                                   46s   1GB
Aug 10 23:55:28 Starting compiler/backend/arm8
Aug 10 23:56:09 Finished compiler/backend/arm8                                   41s   1GB
Aug 10 23:56:09 Starting compiler/backend/mips
Aug 10 23:56:55 Finished compiler/backend/mips                                   45s   1GB
Aug 10 23:56:56 Starting compiler/backend/riscv
Aug 10 23:57:37 Finished compiler/backend/riscv                                  41s   1GB
Aug 10 23:57:37 Starting compiler/backend/ag32
Aug 11 00:00:07 Finished compiler/backend/ag32                                 2m29s   1GB
Aug 11 00:00:07 Starting compiler/parsing/proofs
Aug 11 00:12:51 Finished compiler/parsing/proofs                              12m44s   1GB
Aug 11 00:12:51 Starting compiler/inference/proofs
Aug 11 00:18:23 Finished compiler/inference/proofs                             5m31s   1GB
Aug 11 00:18:24 Starting compiler/backend/semantics
Aug 11 01:19:44 Finished compiler/backend/semantics                         1h01m19s   2GB
Aug 11 01:19:44 Starting compiler/backend/reg_alloc/proofs
Aug 11 01:27:32 Finished compiler/backend/reg_alloc/proofs                     7m47s   1GB
Aug 11 01:27:32 Starting compiler/backend/proofs
Aug 11 03:09:53 Finished compiler/backend/proofs                            1h42m20s  23GB
Aug 11 03:09:53 Starting compiler/encoders/x64/proofs
Aug 11 03:31:18 Finished compiler/encoders/x64/proofs                         21m24s   4GB
Aug 11 03:31:18 Starting compiler/encoders/arm7/proofs
Aug 11 04:00:59 Finished compiler/encoders/arm7/proofs                        29m40s   3GB
Aug 11 04:01:00 Starting compiler/encoders/arm8/proofs
Aug 11 04:16:06 Finished compiler/encoders/arm8/proofs                        15m05s   1GB
Aug 11 04:16:06 Starting compiler/encoders/mips/proofs
Aug 11 04:38:49 Finished compiler/encoders/mips/proofs                        22m42s   2GB
Aug 11 04:38:49 Starting compiler/encoders/riscv/proofs
Aug 11 04:58:45 Finished compiler/encoders/riscv/proofs                       19m56s   1GB
Aug 11 04:58:45 Starting compiler/encoders/ag32/proofs
Aug 11 05:04:23 Finished compiler/encoders/ag32/proofs                         5m37s 893MB
Aug 11 05:04:23 Starting compiler/backend/x64/proofs
Aug 11 05:05:11 Finished compiler/backend/x64/proofs                             47s   1GB
Aug 11 05:05:11 Starting compiler/backend/arm7/proofs
Aug 11 05:06:10 Finished compiler/backend/arm7/proofs                            58s   1GB
Aug 11 05:06:10 Starting compiler/backend/arm8/proofs
Aug 11 05:07:00 Finished compiler/backend/arm8/proofs                            49s   1GB
Aug 11 05:07:00 Starting compiler/backend/mips/proofs
Aug 11 05:07:48 Finished compiler/backend/mips/proofs                            48s   1GB
Aug 11 05:07:49 Starting compiler/backend/riscv/proofs
Aug 11 05:08:37 Finished compiler/backend/riscv/proofs                           48s   1GB
Aug 11 05:08:38 Starting compiler/backend/ag32/proofs
Aug 11 05:35:58 Finished compiler/backend/ag32/proofs                         27m19s   3GB
Aug 11 05:35:59 Starting compiler/proofs
Aug 11 05:39:32 Finished compiler/proofs                                       3m33s   5GB
Aug 11 05:39:33 Starting candle/set-theory
Aug 11 05:40:32 Finished candle/set-theory                                       59s 909MB
Aug 11 05:40:32 Starting candle/syntax-lib
Aug 11 05:40:56 Finished candle/syntax-lib                                       22s 630MB
Aug 11 05:40:56 Starting candle/standard/syntax
Aug 11 05:44:48 Finished candle/standard/syntax                                3m51s   1GB
Aug 11 05:44:48 Starting candle/standard/semantics
Aug 11 05:48:38 Finished candle/standard/semantics                             3m50s   1GB
Aug 11 05:48:39 Starting candle/standard/monadic
Aug 11 05:52:22 Finished candle/standard/monadic                               3m43s   1GB
Aug 11 05:52:23 Starting candle/standard/ml_kernel
Aug 11 06:04:35 Finished candle/standard/ml_kernel                            12m12s   3GB
Aug 11 06:04:35 Starting candle/overloading/syntax
Aug 11 06:11:14 Finished candle/overloading/syntax                             6m38s   1GB
Aug 11 06:11:14 Starting candle/overloading/semantics
Aug 11 06:37:16 Finished candle/overloading/semantics                         26m01s   5GB
Aug 11 06:37:17 Starting pancake
Aug 11 06:39:03 Finished pancake                                               1m46s 823MB
Aug 11 06:39:03 Starting pancake/ffi
Aug 11 06:39:04 Finished pancake/ffi                                              0s   7MB
Aug 11 06:39:04 Starting pancake/semantics
Aug 11 06:43:57 Finished pancake/semantics                                     4m52s   1GB
Aug 11 06:43:58 Starting pancake/proofs
Aug 11 07:11:09 Finished pancake/proofs                                       27m11s   7GB
Aug 11 07:11:09 Starting characteristic/examples
Aug 11 07:13:58 Finished characteristic/examples                               2m48s   3GB
Aug 11 07:13:58 Starting tutorial/solutions
Aug 11 07:49:28 Finished tutorial/solutions                                   35m29s   7GB
Aug 11 07:49:28 Starting translator/monadic/examples
Aug 11 07:55:26 Finished translator/monadic/examples                           5m56s   2GB
Aug 11 07:55:26 Starting examples
Aug 11 08:12:03 Finished examples                                             16m36s   3GB
Aug 11 08:12:03 Starting examples/compilation/x64
Aug 11 13:31:51 Finished examples/compilation/x64                           5h19m47s  15GB
Aug 11 13:31:51 Starting examples/compilation/x64/proofs
Aug 11 13:35:21 Finished examples/compilation/x64/proofs                       3m30s   3GB
Aug 11 13:35:22 Starting examples/compilation/ag32
Aug 11 14:51:12 Finished examples/compilation/ag32                          1h15m50s   8GB
Aug 11 14:51:13 Starting examples/compilation/ag32/proofs
Aug 11 14:52:50 Finished examples/compilation/ag32/proofs                      1m37s   3GB
Aug 11 14:52:50 Starting examples/cost
Aug 11 16:46:28 Finished examples/cost                                      1h53m37s   8GB
Aug 11 16:46:28 Starting examples/lpr_checker
Aug 11 16:55:12 Finished examples/lpr_checker                                  8m43s   3GB
Aug 11 16:55:12 Starting examples/lpr_checker/compilation
Aug 11 17:32:12 Finished examples/lpr_checker/compilation                     36m59s  10GB
Aug 11 17:32:12 Starting examples/lpr_checker/compilation/proofs
Aug 11 17:33:39 Finished examples/lpr_checker/compilation/proofs               1m26s   3GB
Aug 11 17:33:39 Starting examples/lpr_checker/array
Aug 11 18:05:35 Finished examples/lpr_checker/array                           31m55s   4GB
Aug 11 18:05:35 Starting examples/lpr_checker/array/compilation
Aug 11 18:48:47 Finished examples/lpr_checker/array/compilation               43m11s  12GB
Aug 11 18:48:47 Starting examples/lpr_checker/array/compilation/proofs
Aug 11 18:50:37 Finished examples/lpr_checker/array/compilation/proofs         1m48s   3GB
Aug 11 18:50:37 Starting examples/opentheory
Aug 11 19:11:35 Finished examples/opentheory                                  20m58s   5GB
Aug 11 19:11:36 Starting examples/opentheory
Aug 11 19:11:38 Finished examples/opentheory                                      2s  33MB
Aug 11 19:11:38 Starting examples/opentheory/compilation
Aug 11 20:19:39 Finished examples/opentheory/compilation                    1h08m00s  17GB
Aug 11 20:19:39 Starting examples/opentheory/compilation/proofs
Aug 11 20:21:10 Finished examples/opentheory/compilation/proofs                1m30s   4GB
Aug 11 20:21:10 Starting examples/opentheory/compilation/ag32
Aug 11 21:34:47 Finished examples/opentheory/compilation/ag32               1h13m36s  18GB
Aug 11 21:34:47 Starting examples/opentheory/compilation/ag32/proofs
Aug 11 21:38:13 Finished examples/opentheory/compilation/ag32/proofs           3m25s   6GB
Aug 11 21:38:13 Starting examples/sat_encodings
Aug 11 21:42:06 Finished examples/sat_encodings                                3m52s   1GB
Aug 11 21:42:06 Starting examples/sat_encodings/case_studies
Aug 11 21:45:35 Finished examples/sat_encodings/case_studies                   3m29s 807MB
Aug 11 21:45:36 Starting examples/sat_encodings/translation
Aug 11 21:57:06 Finished examples/sat_encodings/translation                   11m30s   5GB
Aug 11 21:57:07 Starting examples/sat_encodings/translation/compilation
Aug 11 23:15:14 Finished examples/sat_encodings/translation/compilation     1h18m06s  11GB
Aug 11 23:15:14 Starting translator/okasaki-examples
Aug 11 23:24:27 Finished translator/okasaki-examples                           9m12s   1GB
Aug 11 23:24:27 Starting translator/other-examples
Aug 11 23:28:30 Finished translator/other-examples                             4m02s   1GB
Aug 11 23:28:31 Starting compiler/parsing/tests
Aug 11 23:29:31 Finished compiler/parsing/tests                                1m00s 622MB
Aug 11 23:29:31 Starting compiler/inference/tests
Aug 11 23:45:00 Finished compiler/inference/tests                             15m27s   5GB
Aug 11 23:45:00 Starting compiler/bootstrap/translation
Aug 12 05:09:29 Finished compiler/bootstrap/translation                     5h24m28s  24GB
Aug 12 05:09:30 Starting unverified/sexpr-bootstrap/x64/64
Aug 12 05:33:57 Finished unverified/sexpr-bootstrap/x64/64                    24m27s   8GB
Aug 12 05:33:58 Starting unverified/sexpr-bootstrap/x64/32
Aug 12 05:54:38 Finished unverified/sexpr-bootstrap/x64/32                    20m40s   8GB
Aug 12 05:54:38 Starting compiler/benchmarks
Aug 12 05:54:42 Finished compiler/benchmarks                                      3s  32MB
Aug 12 05:54:42 Starting compiler/bootstrap/compilation/x64/64
Aug 13 10:54:00 Finished compiler/bootstrap/compilation/x64/64             28h59m17s 110GB
Aug 13 10:54:00 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 13 10:58:30 Finished compiler/bootstrap/compilation/x64/64/proofs          4m29s  15GB
Aug 13 10:58:30 Starting compiler/bootstrap/compilation/x64/32
Aug 14 14:06:23 Finished compiler/bootstrap/compilation/x64/32             27h07m52s 111GB
Aug 14 14:06:23 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 14 14:10:46 Finished compiler/bootstrap/compilation/x64/32/proofs          4m22s  19GB
Aug 14 14:10:46 Starting compiler/bootstrap/compilation/ag32/32
Aug 15 16:53:32 Finished compiler/bootstrap/compilation/ag32/32            26h42m45s 110GB
Aug 15 16:53:33 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 15 17:13:57 Finished compiler/bootstrap/compilation/ag32/32/proofs        20m24s  43GB
Aug 15 17:13:58 SUCCESS