Job 2755

CakeML:643203b08e49a0e69a6c4659ddf5b0aec3bda8f2
  fix dependency-order again, add missing flag [Dec 15 16:03:36]
#1114 (issue427)
Merging into:3f6d27d17c58e4c14f23eb5148f2e682bdf82aef
  Merge pull request #1111 from CakeML/parsingCompute [Dec 12 23:25:46]
HOL:1c3270d819e95cdf222b564e34d657a2dfd38a0e
  fix #1371 [Dec 12 01:36:54]
Machine:lammmington

Dec 15 21:52:20 Claimed job
Dec 15 21:52:25 Reusing HOL
Dec 15 21:52:36 Starting developers
Dec 15 21:52:40 Finished developers                                               3s 177MB
Dec 15 21:52:41 Starting developers/bin
Dec 15 21:52:47 Finished developers/bin                                           5s 746MB
Dec 15 21:52:48 Starting compiler/proofs
Dec 15 23:32:14 Finished compiler/proofs                                    1h39m25s  42GB
Dec 15 23:32:15 Starting compiler/bootstrap/translation
Dec 16 05:29:38 Finished compiler/bootstrap/translation                     5h57m20s  92GB
Dec 16 05:29:39 Starting semantics/ffi
Dec 16 05:29:49 Finished semantics/ffi                                            9s 601MB
Dec 16 05:29:50 Starting semantics
Dec 16 05:29:51 Finished semantics                                                0s  53MB
Dec 16 05:29:52 Starting semantics/proofs
Dec 16 05:30:15 Finished semantics/proofs                                        22s 669MB
Dec 16 05:30:16 Starting semantics/alt_semantics
Dec 16 05:30:36 Finished semantics/alt_semantics                                 19s 606MB
Dec 16 05:30:37 Starting semantics/alt_semantics/proofs
Dec 16 05:40:57 Finished semantics/alt_semantics/proofs                       10m18s   2GB
Dec 16 05:40:58 Starting basis/pure
Dec 16 05:40:59 Finished basis/pure                                               0s  61MB
Dec 16 05:41:00 Starting translator
Dec 16 05:42:32 Finished translator                                            1m30s   3GB
Dec 16 05:42:32 Starting compiler/parsing
Dec 16 05:42:34 Finished compiler/parsing                                         0s  59MB
Dec 16 05:42:35 Starting characteristic
Dec 16 05:42:36 Finished characteristic                                           0s  85MB
Dec 16 05:42:37 Starting translator/monadic
Dec 16 05:42:39 Finished translator/monadic                                       0s  86MB
Dec 16 05:42:40 Starting basis
Dec 16 05:45:04 Finished basis                                                 2m23s   4GB
Dec 16 05:45:05 Starting compiler/inference
Dec 16 05:45:07 Finished compiler/inference                                       0s  85MB
Dec 16 05:45:08 Starting compiler/backend/reg_alloc
Dec 16 05:45:09 Finished compiler/backend/reg_alloc                               0s  53MB
Dec 16 05:45:10 Starting compiler/backend/gc
Dec 16 05:45:12 Finished compiler/backend/gc                                      1s 127MB
Dec 16 05:45:13 Starting compiler/backend
Dec 16 05:45:18 Finished compiler/backend                                         4s 269MB
Dec 16 05:45:19 Starting compiler/encoders/asm
Dec 16 05:45:20 Finished compiler/encoders/asm                                    0s  86MB
Dec 16 05:45:21 Starting compiler/encoders/x64
Dec 16 05:45:23 Finished compiler/encoders/x64                                    0s  92MB
Dec 16 05:45:24 Starting compiler/encoders/arm7
Dec 16 05:45:26 Finished compiler/encoders/arm7                                   0s  85MB
Dec 16 05:45:26 Starting compiler/encoders/arm8
Dec 16 05:45:28 Finished compiler/encoders/arm8                                   0s  86MB
Dec 16 05:45:29 Starting compiler/encoders/arm8_asl
Dec 16 05:46:26 Finished compiler/encoders/arm8_asl                              55s  20GB
Dec 16 05:46:27 Starting compiler/encoders/mips
Dec 16 05:46:28 Finished compiler/encoders/mips                                   0s  86MB
Dec 16 05:46:29 Starting compiler/encoders/riscv
Dec 16 05:46:31 Finished compiler/encoders/riscv                                  0s  86MB
Dec 16 05:46:32 Starting compiler/encoders/ag32
Dec 16 05:46:33 Finished compiler/encoders/ag32                                   0s  85MB
Dec 16 05:46:34 Starting compiler/backend/x64
Dec 16 05:46:36 Finished compiler/backend/x64                                     1s 126MB
Dec 16 05:46:37 Starting compiler/backend/arm7
Dec 16 05:46:39 Finished compiler/backend/arm7                                    1s 126MB
Dec 16 05:46:40 Starting compiler/backend/arm8
Dec 16 05:46:42 Finished compiler/backend/arm8                                    1s 126MB
Dec 16 05:46:43 Starting compiler/backend/mips
Dec 16 05:46:45 Finished compiler/backend/mips                                    1s 126MB
Dec 16 05:46:46 Starting compiler/backend/riscv
Dec 16 05:46:48 Finished compiler/backend/riscv                                   1s 126MB
Dec 16 05:46:49 Starting compiler/backend/ag32
Dec 16 05:47:55 Finished compiler/backend/ag32                                 1m04s   2GB
Dec 16 05:47:56 Starting compiler/parsing/proofs
Dec 16 05:47:57 Finished compiler/parsing/proofs                                  0s  65MB
Dec 16 05:47:58 Starting compiler/inference/proofs
Dec 16 05:48:00 Finished compiler/inference/proofs                                0s  84MB
Dec 16 05:48:01 Starting compiler/backend/semantics
Dec 16 05:51:09 Finished compiler/backend/semantics                            3m06s   3GB
Dec 16 05:51:09 Starting compiler/backend/reg_alloc/proofs
Dec 16 05:51:11 Finished compiler/backend/reg_alloc/proofs                        0s  84MB
Dec 16 05:51:12 Starting compiler/backend/proofs
Dec 16 05:51:59 Finished compiler/backend/proofs                                 45s   2GB
Dec 16 05:52:00 Starting compiler/backend/serialiser
Dec 16 05:52:02 Finished compiler/backend/serialiser                              1s 136MB
Dec 16 05:52:03 Starting compiler/encoders/x64/proofs
Dec 16 06:02:30 Finished compiler/encoders/x64/proofs                         10m26s   5GB
Dec 16 06:02:31 Starting compiler/encoders/arm7/proofs
Dec 16 06:15:33 Finished compiler/encoders/arm7/proofs                        13m00s   5GB
Dec 16 06:15:34 Starting compiler/encoders/arm8/proofs
Dec 16 06:22:33 Finished compiler/encoders/arm8/proofs                         6m58s   4GB
Dec 16 06:22:34 Starting compiler/encoders/arm8_asl/proofs
Dec 16 06:37:52 Finished compiler/encoders/arm8_asl/proofs                    15m16s   3GB
Dec 16 06:37:53 Starting compiler/encoders/mips/proofs
Dec 16 06:48:15 Finished compiler/encoders/mips/proofs                        10m20s   7GB
Dec 16 06:48:16 Starting compiler/encoders/riscv/proofs
Dec 16 06:56:27 Finished compiler/encoders/riscv/proofs                        8m10s   6GB
Dec 16 06:56:28 Starting compiler/encoders/ag32/proofs
Dec 16 06:59:19 Finished compiler/encoders/ag32/proofs                         2m50s   1GB
Dec 16 06:59:20 Starting compiler/backend/x64/proofs
Dec 16 06:59:51 Finished compiler/backend/x64/proofs                             30s   2GB
Dec 16 06:59:52 Starting compiler/backend/arm7/proofs
Dec 16 07:00:24 Finished compiler/backend/arm7/proofs                            30s   2GB
Dec 16 07:00:25 Starting compiler/backend/arm8/proofs
Dec 16 07:00:54 Finished compiler/backend/arm8/proofs                            28s   1GB
Dec 16 07:00:55 Starting compiler/backend/arm8_asl
Dec 16 07:01:14 Finished compiler/backend/arm8_asl                               18s   1GB
Dec 16 07:01:15 Starting compiler/backend/mips/proofs
Dec 16 07:01:46 Finished compiler/backend/mips/proofs                            29s   2GB
Dec 16 07:01:47 Starting compiler/backend/riscv/proofs
Dec 16 07:02:18 Finished compiler/backend/riscv/proofs                           30s   2GB
Dec 16 07:02:19 Starting compiler/backend/ag32/proofs
Dec 16 07:16:10 Finished compiler/backend/ag32/proofs                         13m50s   5GB
Dec 16 07:16:11 Starting compiler/backend/cv_compute
Dec 16 07:17:20 Finished compiler/backend/cv_compute                           1m07s   2GB
Dec 16 07:17:21 Starting cv_translator
Dec 16 07:34:49 Finished cv_translator                                        17m27s   8GB
Dec 16 07:34:50 Starting candle/set-theory
Dec 16 07:35:25 Finished candle/set-theory                                       34s   1GB
Dec 16 07:35:26 Starting candle/syntax-lib
Dec 16 07:35:27 Finished candle/syntax-lib                                        0s  59MB
Dec 16 07:35:28 Starting candle/standard/syntax
Dec 16 07:35:40 Finished candle/standard/syntax                                  11s 773MB
Dec 16 07:35:41 Starting candle/standard/semantics
Dec 16 07:37:42 Finished candle/standard/semantics                             1m59s   2GB
Dec 16 07:37:42 Starting candle/standard/monadic
Dec 16 07:37:44 Finished candle/standard/monadic                                  0s  94MB
Dec 16 07:37:45 Starting candle/standard/ml_kernel
Dec 16 07:39:30 Finished candle/standard/ml_kernel                             1m42s   4GB
Dec 16 07:39:31 Starting candle/overloading/syntax
Dec 16 07:42:41 Finished candle/overloading/syntax                             3m09s   2GB
Dec 16 07:42:42 Starting candle/overloading/semantics
Dec 16 07:53:44 Finished candle/overloading/semantics                         11m00s   2GB
Dec 16 07:53:45 Starting candle/overloading/monadic
Dec 16 07:56:02 Finished candle/overloading/monadic                            2m15s   2GB
Dec 16 07:56:03 Starting candle/overloading/ml_kernel
Dec 16 08:03:10 Finished candle/overloading/ml_kernel                          7m06s   6GB
Dec 16 08:03:11 Starting candle/overloading/ml_checker
Dec 16 08:05:16 Finished candle/overloading/ml_checker                         2m03s   5GB
Dec 16 08:05:17 Starting candle/prover
Dec 16 08:14:54 Finished candle/prover                                         9m36s   5GB
Dec 16 08:14:55 Starting pancake
Dec 16 08:15:17 Finished pancake                                                 20s 820MB
Dec 16 08:15:18 Starting pancake/ffi
Dec 16 08:15:19 Finished pancake/ffi                                              0s  11MB
Dec 16 08:15:20 Starting pancake/semantics
Dec 16 08:17:28 Finished pancake/semantics                                     2m06s   1GB
Dec 16 08:17:29 Starting pancake/parser
Dec 16 08:17:52 Finished pancake/parser                                          22s 473MB
Dec 16 08:17:53 Starting pancake/proofs
Dec 16 08:33:56 Finished pancake/proofs                                       16m02s   7GB
Dec 16 08:33:57 Starting compiler/dafny
Dec 16 08:36:36 Finished compiler/dafny                                        2m37s   9GB
Dec 16 08:36:37 Starting compiler/dafny/translation
Dec 16 08:54:39 Finished compiler/dafny/translation                           18m01s  17GB
Dec 16 08:54:40 Starting compiler/dafny/compilation
Dec 16 08:57:05 Finished compiler/dafny/compilation                            2m24s   8GB
Dec 16 08:57:06 Starting compiler/dafny/semantics
Dec 16 08:57:42 Finished compiler/dafny/semantics                                34s   1GB
Dec 16 08:57:43 Starting characteristic/examples
Dec 16 08:59:07 Finished characteristic/examples                               1m23s   5GB
Dec 16 08:59:08 Starting tutorial/solutions
Dec 16 09:01:29 Finished tutorial/solutions                                    2m20s   3GB
Dec 16 09:01:30 Starting translator/monadic/examples
Dec 16 09:04:21 Finished translator/monadic/examples                           2m50s   3GB
Dec 16 09:04:22 Starting examples
Dec 16 09:10:12 Finished examples                                              5m49s   4GB
Dec 16 09:10:13 Starting examples/compilation/x64
Dec 16 09:16:42 Finished examples/compilation/x64                              6m28s   4GB
Dec 16 09:16:43 Starting examples/compilation/x64/proofs
Dec 16 09:19:02 Finished examples/compilation/x64/proofs                       2m18s   3GB
Dec 16 09:19:03 Starting examples/compilation/ag32
Dec 16 09:20:50 Finished examples/compilation/ag32                             1m45s   3GB
Dec 16 09:20:50 Starting examples/compilation/ag32/proofs
Dec 16 09:21:49 Finished examples/compilation/ag32/proofs                        57s   4GB
Dec 16 09:21:50 Starting examples/lpr_checker
Dec 16 09:22:20 Finished examples/lpr_checker                                    28s   1GB
Dec 16 09:22:21 Starting examples/lpr_checker/array
Dec 16 09:48:16 Finished examples/lpr_checker/array                           25m54s  24GB
Dec 16 09:48:17 Starting examples/lpr_checker/array/compilation
Dec 16 09:50:05 Finished examples/lpr_checker/array/compilation                1m47s   7GB
Dec 16 09:50:06 Starting examples/lpr_checker/array/compilation/proofs
Dec 16 09:51:13 Finished examples/lpr_checker/array/compilation/proofs         1m06s   6GB
Dec 16 09:51:14 Starting examples/lpr_checker/array/compilation/proofsARM8
Dec 16 09:52:19 Finished examples/lpr_checker/array/compilation/proofsARM8     1m04s   6GB
Dec 16 09:52:20 Starting .
Dec 16 09:52:23 Finished .                                                        2s 282MB
Dec 16 09:52:24 Starting examples/xlrup_checker
Dec 16 09:52:58 Finished examples/xlrup_checker                                  32s   1GB
Dec 16 09:52:59 Starting examples/xlrup_checker/array
Dec 16 10:05:55 Finished examples/xlrup_checker/array                         12m55s   9GB
Dec 16 10:05:56 Starting examples/xlrup_checker/array/compilation
Dec 16 10:06:53 Finished examples/xlrup_checker/array/compilation                56s   4GB
Dec 16 10:06:54 Starting examples/xlrup_checker/array/compilation/proofs
Dec 16 10:07:52 Finished examples/xlrup_checker/array/compilation/proofs         57s   4GB
Dec 16 10:07:53 Starting examples/pseudo_bool
Dec 16 10:09:24 Finished examples/pseudo_bool                                  1m29s   2GB
Dec 16 10:09:25 Starting examples/pseudo_bool/cnf_encoding
Dec 16 10:09:55 Finished examples/pseudo_bool/cnf_encoding                       28s   1GB
Dec 16 10:09:56 Starting examples/pseudo_bool/graph_encoding
Dec 16 10:10:39 Finished examples/pseudo_bool/graph_encoding                     42s   1GB
Dec 16 10:10:40 Starting examples/pseudo_bool/array
Dec 16 11:18:40 Finished examples/pseudo_bool/array                         1h07m58s  41GB
Dec 16 11:18:41 Starting examples/pseudo_bool/array/compilation
Dec 16 11:27:11 Finished examples/pseudo_bool/array/compilation                8m29s  16GB
Dec 16 11:27:12 Starting examples/pseudo_bool/array/compilation/proofs
Dec 16 11:29:43 Finished examples/pseudo_bool/array/compilation/proofs         2m29s   6GB
Dec 16 11:29:44 Starting examples/pseudo_bool/array/compilation/proofsARM8
Dec 16 11:30:58 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m13s   6GB
Dec 16 11:30:59 Starting examples/opentheory
Dec 16 11:39:33 Finished examples/opentheory                                   8m33s   6GB
Dec 16 11:39:34 Starting examples/opentheory
Dec 16 11:39:36 Finished examples/opentheory                                      1s 123MB
Dec 16 11:39:37 Starting examples/opentheory/compilation
Dec 16 11:41:00 Finished examples/opentheory/compilation                       1m22s   5GB
Dec 16 11:41:01 Starting examples/opentheory/compilation/proofs
Dec 16 11:41:56 Finished examples/opentheory/compilation/proofs                  53s   4GB
Dec 16 11:41:57 Starting examples/opentheory/compilation/ag32
Dec 16 11:43:22 Finished examples/opentheory/compilation/ag32                  1m24s   6GB
Dec 16 11:43:23 Starting examples/opentheory/compilation/ag32/proofs
Dec 16 11:44:55 Finished examples/opentheory/compilation/ag32/proofs           1m30s   7GB
Dec 16 11:44:56 Starting examples/sat_encodings
Dec 16 11:45:56 Finished examples/sat_encodings                                  58s 778MB
Dec 16 11:45:57 Starting examples/sat_encodings/case_studies
Dec 16 11:47:42 Finished examples/sat_encodings/case_studies                   1m44s   1GB
Dec 16 11:47:43 Starting examples/sat_encodings/translation
Dec 16 11:51:22 Finished examples/sat_encodings/translation                    3m38s   3GB
Dec 16 11:51:23 Starting examples/sat_encodings/translation/compilation
Dec 16 11:53:10 Finished examples/sat_encodings/translation/compilation        1m45s   4GB
Dec 16 11:53:11 Starting examples/deflate
Dec 16 11:53:38 Finished examples/deflate                                        26s 740MB
Dec 16 11:53:39 Starting examples/deflate/translation
Dec 16 11:54:43 Finished examples/deflate/translation                          1m02s   4GB
Dec 16 11:54:44 Starting examples/deflate/translation/compilation
Dec 16 11:55:30 Finished examples/deflate/translation/compilation                44s   3GB
Dec 16 11:55:30 Starting examples/vipr
Dec 16 11:58:56 Finished examples/vipr                                         3m24s   3GB
Dec 16 11:58:57 Starting examples/vipr/compilation
Dec 16 11:59:49 Finished examples/vipr/compilation                               51s   4GB
Dec 16 11:59:50 Starting translator/okasaki-examples
Dec 16 12:03:50 Finished translator/okasaki-examples                           3m59s   3GB
Dec 16 12:03:51 Starting translator/other-examples
Dec 16 12:04:43 Finished translator/other-examples                               50s   2GB
Dec 16 12:04:44 Starting compiler/parsing/tests
Dec 16 12:05:19 Finished compiler/parsing/tests                                  33s   1GB
Dec 16 12:05:19 Starting compiler/inference/tests
Dec 16 12:05:55 Finished compiler/inference/tests                                34s   2GB
Dec 16 12:05:56 Starting compiler/printing/test
Dec 16 12:07:07 Finished compiler/printing/test                                1m10s   5GB
Dec 16 12:07:08 Starting icing/flover
Dec 16 12:41:13 Finished icing/flover                                         34m02s   2GB
Dec 16 12:41:14 Starting icing/
Dec 16 13:08:50 Finished icing/                                               27m35s   4GB
Dec 16 13:08:51 Starting icing/examples
Dec 16 13:10:17 Finished icing/examples                                        1m24s   5GB
Dec 16 13:10:18 Starting compiler/repl
Dec 16 13:18:14 Finished compiler/repl                                         7m55s   6GB
Dec 16 13:18:15 Starting unverified/sexpr-bootstrap/x64/64
Dec 16 13:22:04 Finished unverified/sexpr-bootstrap/x64/64                     3m47s  18GB
Dec 16 13:22:05 Starting unverified/sexpr-bootstrap/x64/32
Dec 16 13:25:25 Finished unverified/sexpr-bootstrap/x64/32                     3m19s  13GB
Dec 16 13:25:26 Starting compiler/benchmarks
Dec 16 13:26:12 Finished compiler/benchmarks                                     44s 711MB
Dec 16 13:26:12 Starting compiler/bootstrap/compilation/x64/64
Dec 16 13:50:08 Finished compiler/bootstrap/compilation/x64/64                23m53s  82GB
Dec 16 13:50:09 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 16 14:13:54 Finished compiler/bootstrap/compilation/x64/64/proofs         23m44s  45GB
Dec 16 14:13:55 Starting compiler/bootstrap/compilation/x64/32
Dec 16 14:38:41 Finished compiler/bootstrap/compilation/x64/32                24m44s  71GB
Dec 16 14:38:42 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 16 14:43:08 Finished compiler/bootstrap/compilation/x64/32/proofs          4m24s  24GB
Dec 16 14:43:08 Starting compiler/bootstrap/compilation/arm8/64
Dec 16 15:18:24 Finished compiler/bootstrap/compilation/arm8/64               35m14s  87GB
Dec 16 15:18:25 Starting compiler/bootstrap/compilation/arm8/64/proofs
Dec 16 15:24:03 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m37s  30GB
Dec 16 15:24:04 Starting compiler/bootstrap/compilation/ag32/32
Dec 16 15:49:29 Finished compiler/bootstrap/compilation/ag32/32               25m23s  77GB
Dec 16 15:49:30 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 16 15:54:23 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m52s  32GB
Dec 16 15:54:24 SUCCESS