Job 2384

CakeML:35327df6c08079832abb4e016135c20bfc96e04c
  Fix line number increment after token + comment parse examples [May 06 05:22:54]
#993 (pan_errors)
Merging into:d4f0662af8596e6f964e54519b206be44e5b9f71
  Merge pull request #992 from CakeML/cf-fixes [Apr 28 06:49:36]
HOL:e006edd4c63dd1e725e8e19b18807bb13f96db1e
  Fix bug in cv_typeLib (translation failed in limited grammar ctxts) [Apr 30 05:56:04]
Machine:lammmington

May 06 06:04:28 Claimed job
May 06 06:04:34 Reusing HOL
May 06 06:04:44 Starting developers
May 06 06:04:48 Finished developers                                               2s 211MB
May 06 06:04:49 Starting developers/bin
May 06 06:05:01 Finished developers/bin                                          10s   1GB
May 06 06:05:02 Starting compiler/proofs
May 06 07:53:44 Finished compiler/proofs                                    1h48m41s  44GB
May 06 07:53:45 Starting compiler/bootstrap/translation
May 06 16:00:46 Finished compiler/bootstrap/translation                     8h06m59s  94GB
May 06 16:00:47 Starting semantics/ffi
May 06 16:00:55 Finished semantics/ffi                                            7s 649MB
May 06 16:00:56 Starting semantics
May 06 16:00:57 Finished semantics                                                0s  67MB
May 06 16:00:58 Starting semantics/proofs
May 06 16:01:32 Finished semantics/proofs                                        33s   1GB
May 06 16:01:33 Starting semantics/alt_semantics
May 06 16:02:11 Finished semantics/alt_semantics                                 36s   1GB
May 06 16:02:12 Starting semantics/alt_semantics/proofs
May 06 16:13:18 Finished semantics/alt_semantics/proofs                       11m04s   5GB
May 06 16:13:24 Starting basis/pure
May 06 16:13:27 Finished basis/pure                                               0s  70MB
May 06 16:13:29 Starting translator
May 06 16:15:16 Finished translator                                            1m45s   4GB
May 06 16:15:17 Starting compiler/parsing
May 06 16:15:18 Finished compiler/parsing                                         0s  72MB
May 06 16:15:19 Starting characteristic
May 06 16:15:20 Finished characteristic                                           0s  90MB
May 06 16:15:21 Starting translator/monadic
May 06 16:15:23 Finished translator/monadic                                       0s  92MB
May 06 16:15:24 Starting basis
May 06 16:18:59 Finished basis                                                 3m34s   6GB
May 06 16:19:00 Starting compiler/inference
May 06 16:19:01 Finished compiler/inference                                       0s  82MB
May 06 16:19:02 Starting compiler/backend/reg_alloc
May 06 16:19:03 Finished compiler/backend/reg_alloc                               0s  67MB
May 06 16:19:04 Starting compiler/backend/gc
May 06 16:19:06 Finished compiler/backend/gc                                      0s 141MB
May 06 16:19:07 Starting compiler/backend
May 06 16:19:25 Finished compiler/backend                                        17s   1GB
May 06 16:19:26 Starting compiler/encoders/asm
May 06 16:19:28 Finished compiler/encoders/asm                                    0s  87MB
May 06 16:19:29 Starting compiler/encoders/x64
May 06 16:19:30 Finished compiler/encoders/x64                                    0s  99MB
May 06 16:19:31 Starting compiler/encoders/arm7
May 06 16:19:32 Finished compiler/encoders/arm7                                   0s 100MB
May 06 16:19:33 Starting compiler/encoders/arm8
May 06 16:19:35 Finished compiler/encoders/arm8                                   0s  98MB
May 06 16:19:36 Starting compiler/encoders/arm8_asl
May 06 18:42:42 Finished compiler/encoders/arm8_asl                         2h23m05s  42GB
May 06 18:42:43 Starting compiler/encoders/mips
May 06 18:42:45 Finished compiler/encoders/mips                                   0s  95MB
May 06 18:42:46 Starting compiler/encoders/riscv
May 06 18:42:47 Finished compiler/encoders/riscv                                  0s  98MB
May 06 18:42:48 Starting compiler/encoders/ag32
May 06 18:42:50 Finished compiler/encoders/ag32                                   0s  89MB
May 06 18:42:50 Starting compiler/backend/x64
May 06 18:42:52 Finished compiler/backend/x64                                     0s 131MB
May 06 18:42:53 Starting compiler/backend/arm7
May 06 18:42:55 Finished compiler/backend/arm7                                    0s 131MB
May 06 18:42:56 Starting compiler/backend/arm8
May 06 18:42:58 Finished compiler/backend/arm8                                    0s 131MB
May 06 18:42:58 Starting compiler/backend/mips
May 06 18:43:00 Finished compiler/backend/mips                                    0s 131MB
May 06 18:43:01 Starting compiler/backend/riscv
May 06 18:43:03 Finished compiler/backend/riscv                                   0s 131MB
May 06 18:43:04 Starting compiler/backend/ag32
May 06 18:44:25 Finished compiler/backend/ag32                                 1m20s   4GB
May 06 18:44:26 Starting compiler/parsing/proofs
May 06 18:44:27 Finished compiler/parsing/proofs                                  0s  74MB
May 06 18:44:28 Starting compiler/inference/proofs
May 06 18:44:30 Finished compiler/inference/proofs                                0s  92MB
May 06 18:44:30 Starting compiler/backend/semantics
May 06 18:48:12 Finished compiler/backend/semantics                            3m40s   3GB
May 06 18:48:13 Starting compiler/backend/reg_alloc/proofs
May 06 18:48:15 Finished compiler/backend/reg_alloc/proofs                        0s  98MB
May 06 18:48:16 Starting compiler/backend/proofs
May 06 18:49:17 Finished compiler/backend/proofs                               1m00s   3GB
May 06 18:49:18 Starting compiler/backend/serialiser
May 06 18:49:21 Finished compiler/backend/serialiser                              1s 187MB
May 06 18:49:21 Starting compiler/encoders/x64/proofs
May 06 18:59:01 Finished compiler/encoders/x64/proofs                          9m38s   5GB
May 06 18:59:02 Starting compiler/encoders/arm7/proofs
May 06 19:11:50 Finished compiler/encoders/arm7/proofs                        12m46s   9GB
May 06 19:11:50 Starting compiler/encoders/arm8/proofs
May 06 19:18:14 Finished compiler/encoders/arm8/proofs                         6m23s   5GB
May 06 19:18:15 Starting compiler/encoders/arm8_asl/proofs
May 06 20:05:54 Finished compiler/encoders/arm8_asl/proofs                    47m37s   6GB
May 06 20:05:55 Starting compiler/encoders/mips/proofs
May 06 20:16:10 Finished compiler/encoders/mips/proofs                        10m13s   7GB
May 06 20:16:11 Starting compiler/encoders/riscv/proofs
May 06 20:24:42 Finished compiler/encoders/riscv/proofs                        8m29s   5GB
May 06 20:24:42 Starting compiler/encoders/ag32/proofs
May 06 20:27:08 Finished compiler/encoders/ag32/proofs                         2m24s   2GB
May 06 20:27:09 Starting compiler/backend/x64/proofs
May 06 20:27:49 Finished compiler/backend/x64/proofs                             39s   3GB
May 06 20:27:49 Starting compiler/backend/arm7/proofs
May 06 20:28:32 Finished compiler/backend/arm7/proofs                            42s   2GB
May 06 20:28:33 Starting compiler/backend/arm8/proofs
May 06 20:29:13 Finished compiler/backend/arm8/proofs                            38s   3GB
May 06 20:29:14 Starting compiler/backend/arm8_asl
May 06 20:29:44 Finished compiler/backend/arm8_asl                               28s   2GB
May 06 20:29:44 Starting compiler/backend/mips/proofs
May 06 20:30:29 Finished compiler/backend/mips/proofs                            44s   3GB
May 06 20:30:30 Starting compiler/backend/riscv/proofs
May 06 20:31:19 Finished compiler/backend/riscv/proofs                           48s   3GB
May 06 20:31:20 Starting compiler/backend/ag32/proofs
May 06 20:45:11 Finished compiler/backend/ag32/proofs                         13m50s   6GB
May 06 20:45:12 Starting candle/set-theory
May 06 20:45:55 Finished candle/set-theory                                       42s   1GB
May 06 20:45:56 Starting candle/syntax-lib
May 06 20:45:58 Finished candle/syntax-lib                                        0s  69MB
May 06 20:45:59 Starting candle/standard/syntax
May 06 20:46:15 Finished candle/standard/syntax                                  15s   1GB
May 06 20:46:15 Starting candle/standard/semantics
May 06 20:48:38 Finished candle/standard/semantics                             2m21s   2GB
May 06 20:48:39 Starting candle/standard/monadic
May 06 20:48:40 Finished candle/standard/monadic                                  0s 103MB
May 06 20:48:41 Starting candle/standard/ml_kernel
May 06 20:50:35 Finished candle/standard/ml_kernel                             1m52s   6GB
May 06 20:50:36 Starting candle/overloading/syntax
May 06 20:53:58 Finished candle/overloading/syntax                             3m21s   3GB
May 06 20:53:59 Starting candle/overloading/semantics
May 06 21:05:15 Finished candle/overloading/semantics                         11m14s   7GB
May 06 21:05:16 Starting candle/overloading/monadic
May 06 21:07:46 Finished candle/overloading/monadic                            2m29s   3GB
May 06 21:07:47 Starting candle/overloading/ml_kernel
May 06 21:15:18 Finished candle/overloading/ml_kernel                          7m30s   6GB
May 06 21:15:19 Starting candle/overloading/ml_checker
May 06 21:17:52 Finished candle/overloading/ml_checker                         2m31s   6GB
May 06 21:17:53 Starting candle/prover
May 06 21:28:26 Finished candle/prover                                        10m31s   5GB
May 06 21:28:26 Starting pancake
May 06 21:29:32 Finished pancake                                               1m04s   1GB
May 06 21:29:33 Starting pancake/ffi
May 06 21:29:33 Finished pancake/ffi                                              0s  20MB
May 06 21:29:34 Starting pancake/semantics
May 06 21:32:16 Finished pancake/semantics                                     2m40s   2GB
May 06 21:32:17 Starting pancake/parser
May 06 21:32:45 Finished pancake/parser                                          27s   2GB
May 06 21:32:46 Starting pancake/proofs
May 06 22:03:35 Finished pancake/proofs                                       30m47s   8GB
May 06 22:03:36 Starting characteristic/examples
May 06 22:05:11 Finished characteristic/examples                               1m34s   6GB
May 06 22:05:12 Starting tutorial/solutions
May 06 22:20:58 Finished tutorial/solutions                                   15m45s  17GB
May 06 22:20:59 Starting translator/monadic/examples
May 06 22:24:47 Finished translator/monadic/examples                           3m47s   5GB
May 06 22:24:48 Starting examples
May 06 22:39:24 Finished examples                                             14m34s   7GB
May 06 22:39:24 Starting examples/compilation/x64
May 07 00:38:23 Finished examples/compilation/x64                           1h58m57s  35GB
May 07 00:38:24 Starting examples/compilation/x64/proofs
May 07 00:42:13 Finished examples/compilation/x64/proofs                       3m48s   6GB
May 07 00:42:14 Starting examples/compilation/ag32
May 07 01:12:28 Finished examples/compilation/ag32                            30m13s  12GB
May 07 01:12:29 Starting examples/compilation/ag32/proofs
May 07 01:14:19 Finished examples/compilation/ag32/proofs                      1m49s   7GB
May 07 01:14:20 Starting examples/compilation/to_word
May 07 01:18:14 Finished examples/compilation/to_word                          3m52s  11GB
May 07 01:18:15 Starting examples/lpr_checker
May 07 01:19:29 Finished examples/lpr_checker                                  1m13s   2GB
May 07 01:19:29 Starting examples/lpr_checker/array
May 07 01:48:14 Finished examples/lpr_checker/array                           28m43s  22GB
May 07 01:48:14 Starting examples/lpr_checker/array/compilation
May 07 02:27:49 Finished examples/lpr_checker/array/compilation               39m33s  63GB
May 07 02:27:50 Starting examples/lpr_checker/array/compilation/proofs
May 07 02:29:34 Finished examples/lpr_checker/array/compilation/proofs         1m43s   8GB
May 07 02:29:35 Starting examples/lpr_checker/array/compilation/proofsARM8
May 07 02:41:31 Finished examples/lpr_checker/array/compilation/proofsARM8    11m55s  37GB
May 07 02:41:32 Starting examples/xlrup_checker
May 07 02:42:39 Finished examples/xlrup_checker                                1m06s   2GB
May 07 02:42:40 Starting examples/xlrup_checker/array
May 07 02:57:35 Finished examples/xlrup_checker/array                         14m54s   8GB
May 07 02:57:36 Starting examples/xlrup_checker/array/compilation
May 07 03:18:54 Finished examples/xlrup_checker/array/compilation             21m17s  38GB
May 07 03:18:55 Starting examples/xlrup_checker/array/compilation/proofs
May 07 03:20:24 Finished examples/xlrup_checker/array/compilation/proofs       1m28s   6GB
May 07 03:20:25 Starting examples/pseudo_bool
May 07 03:22:26 Finished examples/pseudo_bool                                  2m00s   1GB
May 07 03:22:27 Starting examples/pseudo_bool/cnf_encoding
May 07 03:23:05 Finished examples/pseudo_bool/cnf_encoding                       36s   1GB
May 07 03:23:06 Starting examples/pseudo_bool/graph_encoding
May 07 03:23:53 Finished examples/pseudo_bool/graph_encoding                     46s   1GB
May 07 03:23:54 Starting examples/pseudo_bool/array
May 07 04:32:04 Finished examples/pseudo_bool/array                         1h08m08s  42GB
May 07 04:32:05 Starting examples/pseudo_bool/array/compilation
May 07 12:39:07 Finished examples/pseudo_bool/array/compilation             8h07m01s 145GB
May 07 12:39:08 Starting examples/pseudo_bool/array/compilation/proofs
May 07 12:42:34 Finished examples/pseudo_bool/array/compilation/proofs         3m25s   8GB
May 07 12:42:35 Starting examples/opentheory
May 07 12:53:10 Finished examples/opentheory                                  10m34s   8GB
May 07 12:53:11 Starting examples/opentheory
May 07 12:53:12 Finished examples/opentheory                                      0s 132MB
May 07 12:53:13 Starting examples/opentheory/compilation
May 07 13:29:38 Finished examples/opentheory/compilation                      36m23s  50GB
May 07 13:29:39 Starting examples/opentheory/compilation/proofs
May 07 13:31:09 Finished examples/opentheory/compilation/proofs                1m29s   6GB
May 07 13:31:10 Starting examples/opentheory/compilation/ag32
May 07 14:03:06 Finished examples/opentheory/compilation/ag32                 31m55s  41GB
May 07 14:03:07 Starting examples/opentheory/compilation/ag32/proofs
May 07 14:05:36 Finished examples/opentheory/compilation/ag32/proofs           2m28s  11GB
May 07 14:05:37 Starting examples/sat_encodings
May 07 14:08:15 Finished examples/sat_encodings                                2m36s   1GB
May 07 14:08:16 Starting examples/sat_encodings/case_studies
May 07 14:10:13 Finished examples/sat_encodings/case_studies                   1m56s   2GB
May 07 14:10:14 Starting examples/sat_encodings/translation
May 07 14:16:27 Finished examples/sat_encodings/translation                    6m11s   7GB
May 07 14:16:28 Starting examples/sat_encodings/translation/compilation
May 07 14:52:27 Finished examples/sat_encodings/translation/compilation       35m58s  36GB
May 07 14:52:27 Starting examples/deflate
May 07 14:53:45 Finished examples/deflate                                      1m16s   1GB
May 07 14:53:46 Starting examples/deflate/translation
May 07 14:55:24 Finished examples/deflate/translation                          1m37s   7GB
May 07 14:55:25 Starting examples/deflate/translation/compilation
May 07 15:12:27 Finished examples/deflate/translation/compilation             17m00s  26GB
May 07 15:12:28 Starting examples/vipr
May 07 15:16:30 Finished examples/vipr                                         4m01s   7GB
May 07 15:16:31 Starting examples/vipr/compilation
May 07 15:36:53 Finished examples/vipr/compilation                            20m21s  41GB
May 07 15:36:54 Starting translator/okasaki-examples
May 07 15:41:58 Finished translator/okasaki-examples                           5m02s   4GB
May 07 15:41:59 Starting translator/other-examples
May 07 15:46:43 Finished translator/other-examples                             4m43s   3GB
May 07 15:46:44 Starting compiler/parsing/tests
May 07 15:47:18 Finished compiler/parsing/tests                                  32s   1GB
May 07 15:47:18 Starting compiler/inference/tests
May 07 15:54:50 Finished compiler/inference/tests                              7m30s   8GB
May 07 15:54:51 Starting compiler/printing/test
May 07 15:58:22 Finished compiler/printing/test                                3m30s   6GB
May 07 15:58:23 Starting icing/flover
May 07 16:34:22 Finished icing/flover                                         35m57s   4GB
May 07 16:34:23 Starting icing/
May 07 17:29:30 Finished icing/                                               55m06s  21GB
May 07 17:29:31 Starting icing/examples
May 07 17:31:16 Finished icing/examples                                        1m43s   8GB
May 07 17:31:17 Starting compiler/repl
May 07 17:39:59 Finished compiler/repl                                         8m40s   9GB
May 07 17:40:00 Starting unverified/sexpr-bootstrap/x64/64
May 07 17:51:05 Finished unverified/sexpr-bootstrap/x64/64                    11m03s  17GB
May 07 17:51:06 Starting unverified/sexpr-bootstrap/x64/32
May 07 17:59:59 Finished unverified/sexpr-bootstrap/x64/32                     8m51s  13GB
May 07 17:59:59 Starting compiler/benchmarks
May 07 18:00:44 Finished compiler/benchmarks                                     43s 713MB
May 07 18:00:45 Starting compiler/bootstrap/compilation/x64/64
May 08 09:09:20 Finished compiler/bootstrap/compilation/x64/64             15h08m34s 187GB
May 08 09:09:21 Starting compiler/bootstrap/compilation/x64/64/proofs
May 08 09:30:33 Finished compiler/bootstrap/compilation/x64/64/proofs         21m10s  42GB
May 08 09:30:34 Starting compiler/bootstrap/compilation/x64/32
May 08 16:47:32 Finished compiler/bootstrap/compilation/x64/32              7h16m57s 118GB
May 08 16:47:33 Starting compiler/bootstrap/compilation/x64/32/proofs
May 08 16:51:21 Finished compiler/bootstrap/compilation/x64/32/proofs          3m46s  19GB
May 08 16:51:22 Starting compiler/bootstrap/compilation/ag32/32
May 09 00:45:43 Finished compiler/bootstrap/compilation/ag32/32             7h54m15s 128GB
May 09 00:45:47 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 12 22:02:41 Resuming compiler/bootstrap/compilation/ag32/32/proofs
May 12 22:02:44 Finished compiler/bootstrap/compilation/ag32/32/proofs            2s 305MB
May 12 22:02:45 SUCCESS