Job 2499

CakeML:4de46d296f470dba79d39a93a10a537dd1a5e639
  Merge branch 'CakeML:master' into pan_prec_fix [Jul 23 08:13:42]
#1006 (DoomishGuy:pan_prec_fix)
Merging into:25999ee54372265c76bd999736b6ba31286f4263
  Merge pull request #1026 from CakeML/pancake-explorer [Jul 28 06:38:14]
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser [Jul 15 06:13:45]
Machine:lammmington

Jul 28 13:36:22 Claimed job
Jul 28 13:36:26 Reusing HOL
Jul 28 13:36:37 Starting developers
Jul 28 13:36:41 Finished developers                                               2s 222MB
Jul 28 13:36:42 Starting developers/bin
Jul 28 13:36:53 Finished developers/bin                                          10s   1GB
Jul 28 13:36:54 Starting compiler/proofs
Jul 28 15:29:30 Finished compiler/proofs                                    1h52m34s  38GB
Jul 28 15:29:31 Starting compiler/bootstrap/translation
Jul 28 23:50:44 Finished compiler/bootstrap/translation                     8h21m06s  57GB
Jul 28 23:50:45 Starting semantics/ffi
Jul 28 23:50:53 Finished semantics/ffi                                            7s 657MB
Jul 28 23:50:54 Starting semantics
Jul 28 23:50:55 Finished semantics                                                0s  69MB
Jul 28 23:50:56 Starting semantics/proofs
Jul 28 23:51:35 Finished semantics/proofs                                        37s   1GB
Jul 28 23:51:36 Starting semantics/alt_semantics
Jul 28 23:52:16 Finished semantics/alt_semantics                                 38s   1GB
Jul 28 23:52:17 Starting semantics/alt_semantics/proofs
Jul 29 00:03:26 Finished semantics/alt_semantics/proofs                       11m08s   5GB
Jul 29 00:03:27 Starting basis/pure
Jul 29 00:03:28 Finished basis/pure                                               0s  70MB
Jul 29 00:03:29 Starting translator
Jul 29 00:05:13 Finished translator                                            1m43s   4GB
Jul 29 00:05:14 Starting compiler/parsing
Jul 29 00:05:15 Finished compiler/parsing                                         0s  75MB
Jul 29 00:05:16 Starting characteristic
Jul 29 00:05:18 Finished characteristic                                           0s  96MB
Jul 29 00:05:19 Starting translator/monadic
Jul 29 00:05:20 Finished translator/monadic                                       0s  95MB
Jul 29 00:05:21 Starting basis
Jul 29 00:08:56 Finished basis                                                 3m34s   5GB
Jul 29 00:08:57 Starting compiler/inference
Jul 29 00:08:59 Finished compiler/inference                                       0s  99MB
Jul 29 00:09:00 Starting compiler/backend/reg_alloc
Jul 29 00:09:01 Finished compiler/backend/reg_alloc                               0s  69MB
Jul 29 00:09:02 Starting compiler/backend/gc
Jul 29 00:09:04 Finished compiler/backend/gc                                      0s 143MB
Jul 29 00:09:05 Starting compiler/backend
Jul 29 00:09:24 Finished compiler/backend                                        19s   1GB
Jul 29 00:09:25 Starting compiler/encoders/asm
Jul 29 00:09:27 Finished compiler/encoders/asm                                    0s  92MB
Jul 29 00:09:28 Starting compiler/encoders/x64
Jul 29 00:09:29 Finished compiler/encoders/x64                                    0s 100MB
Jul 29 00:09:30 Starting compiler/encoders/arm7
Jul 29 00:09:32 Finished compiler/encoders/arm7                                   0s 100MB
Jul 29 00:09:33 Starting compiler/encoders/arm8
Jul 29 00:09:34 Finished compiler/encoders/arm8                                   0s 101MB
Jul 29 00:09:35 Starting compiler/encoders/arm8_asl
Jul 29 00:11:49 Finished compiler/encoders/arm8_asl                            2m13s   1GB
Jul 29 00:11:50 Starting compiler/encoders/mips
Jul 29 00:11:52 Finished compiler/encoders/mips                                   0s 101MB
Jul 29 00:11:53 Starting compiler/encoders/riscv
Jul 29 00:11:54 Finished compiler/encoders/riscv                                  0s 101MB
Jul 29 00:11:55 Starting compiler/encoders/ag32
Jul 29 00:11:57 Finished compiler/encoders/ag32                                   0s 100MB
Jul 29 00:11:58 Starting compiler/backend/x64
Jul 29 00:11:59 Finished compiler/backend/x64                                     0s 141MB
Jul 29 00:12:00 Starting compiler/backend/arm7
Jul 29 00:12:02 Finished compiler/backend/arm7                                    0s 141MB
Jul 29 00:12:03 Starting compiler/backend/arm8
Jul 29 00:12:05 Finished compiler/backend/arm8                                    0s 141MB
Jul 29 00:12:06 Starting compiler/backend/mips
Jul 29 00:12:08 Finished compiler/backend/mips                                    0s 141MB
Jul 29 00:12:08 Starting compiler/backend/riscv
Jul 29 00:12:10 Finished compiler/backend/riscv                                   0s 141MB
Jul 29 00:12:11 Starting compiler/backend/ag32
Jul 29 00:13:32 Finished compiler/backend/ag32                                 1m19s   2GB
Jul 29 00:13:33 Starting compiler/parsing/proofs
Jul 29 00:13:34 Finished compiler/parsing/proofs                                  0s  77MB
Jul 29 00:13:35 Starting compiler/inference/proofs
Jul 29 00:13:36 Finished compiler/inference/proofs                                0s  98MB
Jul 29 00:13:37 Starting compiler/backend/semantics
Jul 29 00:17:26 Finished compiler/backend/semantics                            3m47s   4GB
Jul 29 00:17:27 Starting compiler/backend/reg_alloc/proofs
Jul 29 00:17:29 Finished compiler/backend/reg_alloc/proofs                        0s 100MB
Jul 29 00:17:30 Starting compiler/backend/proofs
Jul 29 00:18:39 Finished compiler/backend/proofs                               1m08s   4GB
Jul 29 00:18:40 Starting compiler/backend/serialiser
Jul 29 00:18:42 Finished compiler/backend/serialiser                              0s 152MB
Jul 29 00:18:42 Starting compiler/encoders/x64/proofs
Jul 29 00:27:50 Finished compiler/encoders/x64/proofs                          9m06s   5GB
Jul 29 00:27:51 Starting compiler/encoders/arm7/proofs
Jul 29 00:40:39 Finished compiler/encoders/arm7/proofs                        12m46s   8GB
Jul 29 00:40:39 Starting compiler/encoders/arm8/proofs
Jul 29 00:47:06 Finished compiler/encoders/arm8/proofs                         6m25s   5GB
Jul 29 00:47:07 Starting compiler/encoders/arm8_asl/proofs
Jul 29 01:01:17 Finished compiler/encoders/arm8_asl/proofs                    14m09s   4GB
Jul 29 01:01:18 Starting compiler/encoders/mips/proofs
Jul 29 02:20:43 Finished compiler/encoders/mips/proofs                         9m57s   8GB
Jul 29 02:20:44 Starting compiler/encoders/riscv/proofs
Jul 29 02:29:07 Finished compiler/encoders/riscv/proofs                        8m21s   5GB
Jul 29 02:29:08 Starting compiler/encoders/ag32/proofs
Jul 29 02:31:31 Finished compiler/encoders/ag32/proofs                         2m22s   2GB
Jul 29 02:31:32 Starting compiler/backend/x64/proofs
Jul 29 06:43:07 Resuming compiler/backend/x64/proofs
Jul 29 06:43:09 Finished compiler/backend/x64/proofs                              1s 195MB
Jul 29 06:43:10 Starting compiler/backend/arm7/proofs
Jul 29 06:43:59 Finished compiler/backend/arm7/proofs                            48s   2GB
Jul 29 06:44:00 Starting compiler/backend/arm8/proofs
Jul 29 06:44:42 Finished compiler/backend/arm8/proofs                            40s   3GB
Jul 29 06:44:43 Starting compiler/backend/arm8_asl
Jul 29 06:45:12 Finished compiler/backend/arm8_asl                               28s   2GB
Jul 29 06:45:13 Starting compiler/backend/mips/proofs
Jul 29 06:45:59 Finished compiler/backend/mips/proofs                            45s   3GB
Jul 29 06:46:00 Starting compiler/backend/riscv/proofs
Jul 29 06:46:53 Finished compiler/backend/riscv/proofs                           51s   4GB
Jul 29 06:46:54 Starting compiler/backend/ag32/proofs
Jul 29 07:01:01 Finished compiler/backend/ag32/proofs                         14m06s   6GB
Jul 29 07:01:02 Starting compiler/backend/cv_compute
Jul 29 07:02:46 Finished compiler/backend/cv_compute                           1m43s   4GB
Jul 29 07:02:47 Starting cv_translator
Jul 29 07:22:15 Finished cv_translator                                        19m26s  11GB
Jul 29 07:22:16 Starting candle/set-theory
Jul 29 07:23:04 Finished candle/set-theory                                       47s   1GB
Jul 29 07:23:05 Starting candle/syntax-lib
Jul 29 07:23:07 Finished candle/syntax-lib                                        0s  71MB
Jul 29 07:23:07 Starting candle/standard/syntax
Jul 29 07:23:26 Finished candle/standard/syntax                                  17s   1GB
Jul 29 07:23:27 Starting candle/standard/semantics
Jul 29 07:26:05 Finished candle/standard/semantics                             2m36s   3GB
Jul 29 07:26:06 Starting candle/standard/monadic
Jul 29 07:26:07 Finished candle/standard/monadic                                  0s 105MB
Jul 29 07:26:08 Starting candle/standard/ml_kernel
Jul 29 07:28:01 Finished candle/standard/ml_kernel                             1m52s   5GB
Jul 29 07:28:02 Starting candle/overloading/syntax
Jul 29 07:31:38 Finished candle/overloading/syntax                             3m35s   3GB
Jul 29 07:31:39 Starting candle/overloading/semantics
Jul 29 07:43:16 Finished candle/overloading/semantics                         11m36s   6GB
Jul 29 07:43:17 Starting candle/overloading/monadic
Jul 29 07:45:53 Finished candle/overloading/monadic                            2m35s   2GB
Jul 29 07:45:54 Starting candle/overloading/ml_kernel
Jul 29 07:53:34 Finished candle/overloading/ml_kernel                          7m38s   7GB
Jul 29 07:53:34 Starting candle/overloading/ml_checker
Jul 29 07:56:16 Finished candle/overloading/ml_checker                         2m40s   7GB
Jul 29 07:56:17 Starting candle/prover
Jul 29 08:06:20 Finished candle/prover                                        10m02s   5GB
Jul 29 08:06:21 Starting pancake
Jul 29 08:07:28 Finished pancake                                               1m06s   1GB
Jul 29 08:07:29 Starting pancake/ffi
Jul 29 08:07:30 Finished pancake/ffi                                              0s  23MB
Jul 29 08:07:31 Starting pancake/semantics
Jul 29 08:10:23 Finished pancake/semantics                                     2m50s   2GB
Jul 29 08:10:24 Starting pancake/parser
Jul 29 08:10:58 Finished pancake/parser                                          33s   2GB
Jul 29 08:10:59 Starting pancake/proofs
Jul 29 08:42:02 Finished pancake/proofs                                       31m02s   9GB
Jul 29 08:42:03 Starting characteristic/examples
Jul 29 08:43:40 Finished characteristic/examples                               1m36s   6GB
Jul 29 08:43:41 Starting tutorial/solutions
Jul 29 08:46:14 Finished tutorial/solutions                                    2m31s   4GB
Jul 29 08:46:15 Starting translator/monadic/examples
Jul 29 08:50:15 Finished translator/monadic/examples                           3m59s   5GB
Jul 29 08:50:16 Starting examples
Jul 29 09:04:33 Finished examples                                             14m16s   8GB
Jul 29 09:04:34 Starting examples/compilation/x64
Jul 29 09:13:38 Finished examples/compilation/x64                              9m02s   7GB
Jul 29 09:13:38 Starting examples/compilation/x64/proofs
Jul 29 09:18:08 Finished examples/compilation/x64/proofs                       4m28s   9GB
Jul 29 09:18:09 Starting examples/compilation/ag32
Jul 29 09:20:44 Finished examples/compilation/ag32                             2m34s   5GB
Jul 29 09:20:45 Starting examples/compilation/ag32/proofs
Jul 29 09:22:36 Finished examples/compilation/ag32/proofs                      1m50s   9GB
Jul 29 09:22:37 Starting examples/compilation/to_word
Jul 29 09:26:38 Finished examples/compilation/to_word                          3m59s  13GB
Jul 29 09:26:39 Starting examples/lpr_checker
Jul 29 09:27:58 Finished examples/lpr_checker                                  1m18s   2GB
Jul 29 09:27:59 Starting examples/lpr_checker/array
Jul 29 09:56:58 Finished examples/lpr_checker/array                           28m58s   9GB
Jul 29 09:56:59 Starting examples/lpr_checker/array/compilation
Jul 29 09:59:36 Finished examples/lpr_checker/array/compilation                2m35s   8GB
Jul 29 09:59:37 Starting examples/lpr_checker/array/compilation/proofs
Jul 29 10:01:25 Finished examples/lpr_checker/array/compilation/proofs         1m47s   9GB
Jul 29 10:01:26 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 29 10:03:14 Finished examples/lpr_checker/array/compilation/proofsARM8     1m47s   8GB
Jul 29 10:03:15 Starting examples/xlrup_checker
Jul 29 10:04:29 Finished examples/xlrup_checker                                1m13s   2GB
Jul 29 10:04:30 Starting examples/xlrup_checker/array
Jul 29 10:19:45 Finished examples/xlrup_checker/array                         15m13s   9GB
Jul 29 10:19:46 Starting examples/xlrup_checker/array/compilation
Jul 29 10:21:10 Finished examples/xlrup_checker/array/compilation              1m23s   6GB
Jul 29 10:21:11 Starting examples/xlrup_checker/array/compilation/proofs
Jul 29 10:22:53 Finished examples/xlrup_checker/array/compilation/proofs       1m41s   7GB
Jul 29 10:22:54 Starting examples/pseudo_bool
Jul 29 10:25:05 Finished examples/pseudo_bool                                  2m10s   2GB
Jul 29 10:25:06 Starting examples/pseudo_bool/cnf_encoding
Jul 29 10:25:46 Finished examples/pseudo_bool/cnf_encoding                       39s   1GB
Jul 29 10:25:47 Starting examples/pseudo_bool/graph_encoding
Jul 29 10:26:41 Finished examples/pseudo_bool/graph_encoding                     53s   1GB
Jul 29 10:26:42 Starting examples/pseudo_bool/array
Jul 29 11:32:48 Finished examples/pseudo_bool/array                         1h06m04s  32GB
Jul 29 11:32:49 Starting examples/pseudo_bool/array/compilation
Jul 29 11:45:45 Finished examples/pseudo_bool/array/compilation               12m54s  28GB
Jul 29 11:45:46 Starting examples/pseudo_bool/array/compilation/proofs
Jul 29 11:49:46 Finished examples/pseudo_bool/array/compilation/proofs         3m59s   9GB
Jul 29 11:49:47 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 29 11:51:35 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m46s   9GB
Jul 29 11:51:36 Starting examples/opentheory
Jul 29 12:02:30 Finished examples/opentheory                                  10m53s   7GB
Jul 29 12:02:31 Starting examples/opentheory
Jul 29 12:02:32 Finished examples/opentheory                                      0s 130MB
Jul 29 12:02:33 Starting examples/opentheory/compilation
Jul 29 12:04:35 Finished examples/opentheory/compilation                       2m00s   8GB
Jul 29 12:04:35 Starting examples/opentheory/compilation/proofs
Jul 29 12:06:18 Finished examples/opentheory/compilation/proofs                1m42s   8GB
Jul 29 12:06:19 Starting examples/opentheory/compilation/ag32
Jul 29 12:08:24 Finished examples/opentheory/compilation/ag32                  2m04s   8GB
Jul 29 12:08:25 Starting examples/opentheory/compilation/ag32/proofs
Jul 29 12:10:46 Finished examples/opentheory/compilation/ag32/proofs           2m20s  13GB
Jul 29 12:10:47 Starting examples/sat_encodings
Jul 29 12:13:39 Finished examples/sat_encodings                                2m51s   1GB
Jul 29 12:13:40 Starting examples/sat_encodings/case_studies
Jul 29 12:15:47 Finished examples/sat_encodings/case_studies                   2m05s   1GB
Jul 29 12:15:48 Starting examples/sat_encodings/translation
Jul 29 12:22:12 Finished examples/sat_encodings/translation                    6m23s   7GB
Jul 29 12:22:13 Starting examples/sat_encodings/translation/compilation
Jul 29 12:24:33 Finished examples/sat_encodings/translation/compilation        2m18s   6GB
Jul 29 12:24:34 Starting examples/deflate
Jul 29 12:25:57 Finished examples/deflate                                      1m22s   1GB
Jul 29 12:25:58 Starting examples/deflate/translation
Jul 29 12:27:39 Finished examples/deflate/translation                          1m39s   8GB
Jul 29 12:27:40 Starting examples/deflate/translation/compilation
Jul 29 12:28:43 Finished examples/deflate/translation/compilation              1m01s   5GB
Jul 29 12:28:43 Starting examples/vipr
Jul 29 12:32:50 Finished examples/vipr                                         4m05s   8GB
Jul 29 12:32:51 Starting examples/vipr/compilation
Jul 29 12:34:08 Finished examples/vipr/compilation                             1m16s   6GB
Jul 29 12:34:09 Starting translator/okasaki-examples
Jul 29 12:39:18 Finished translator/okasaki-examples                           5m07s   4GB
Jul 29 12:39:18 Starting translator/other-examples
Jul 29 12:40:30 Finished translator/other-examples                             1m10s   3GB
Jul 29 12:40:31 Starting compiler/parsing/tests
Jul 29 12:41:05 Finished compiler/parsing/tests                                  33s   1GB
Jul 29 12:41:06 Starting compiler/inference/tests
Jul 29 12:41:47 Finished compiler/inference/tests                                39s   3GB
Jul 29 12:41:48 Starting compiler/printing/test
Jul 29 12:43:21 Finished compiler/printing/test                                1m32s   6GB
Jul 29 12:43:22 Starting icing/flover
Jul 29 13:20:28 Finished icing/flover                                         37m05s   4GB
Jul 29 13:20:29 Starting icing/
Jul 29 13:48:33 Finished icing/                                               28m02s  10GB
Jul 29 13:48:34 Starting icing/examples
Jul 29 13:50:20 Finished icing/examples                                        1m44s   9GB
Jul 29 13:50:21 Starting compiler/repl
Jul 29 13:59:14 Finished compiler/repl                                         8m52s  12GB
Jul 29 13:59:15 Starting unverified/sexpr-bootstrap/x64/64
Jul 29 14:10:56 Finished unverified/sexpr-bootstrap/x64/64                    11m39s  18GB
Jul 29 14:10:57 Starting unverified/sexpr-bootstrap/x64/32
Jul 29 14:20:16 Finished unverified/sexpr-bootstrap/x64/32                     9m18s  14GB
Jul 29 14:20:17 Starting compiler/benchmarks
Jul 29 14:21:02 Finished compiler/benchmarks                                     43s 713MB
Jul 29 14:21:03 Starting compiler/bootstrap/compilation/x64/64
Jul 29 15:05:34 Finished compiler/bootstrap/compilation/x64/64                44m30s 140GB
Jul 29 15:05:35 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 29 15:29:05 Finished compiler/bootstrap/compilation/x64/64/proofs         23m29s  54GB
Jul 29 15:29:06 Starting compiler/bootstrap/compilation/x64/32
Jul 29 16:07:51 Finished compiler/bootstrap/compilation/x64/32                38m43s 108GB
Jul 29 16:07:52 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 29 16:12:37 Finished compiler/bootstrap/compilation/x64/32/proofs          4m44s  24GB
Jul 29 16:12:38 Starting compiler/bootstrap/compilation/arm8/64
Jul 29 17:06:45 Finished compiler/bootstrap/compilation/arm8/64               54m06s 121GB
Jul 29 17:06:46 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jul 29 17:12:28 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m41s  31GB
Jul 29 17:12:29 Starting compiler/bootstrap/compilation/ag32/32
Jul 29 17:50:39 Finished compiler/bootstrap/compilation/ag32/32               38m09s 104GB
Jul 29 17:50:40 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 29 17:56:23 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m42s  31GB
Jul 29 17:56:24 SUCCESS