Job 1291

CakeML:107033ffe631f1bc87118d7432c551699eabff59
  update several makefiles [Jun 23 05:23:40]
#738 (export_update)
Merging into:e558e892c7e1e214d93bc43b8ad3bfc8dc5f4183
  Make terms greater! (great_tm --> greater_tm) [Jun 23 12:02:34]
HOL:de873d08971c87bcfbbce86cdcd59909ef803929
  Remove some Unicode in src [Jun 22 00:09:18]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jun 23 12:03:10 Claimed job
Jun 23 12:03:13 Reusing HOL
Jun 23 12:03:18 Starting developers
Jun 23 12:03:21 Finished developers                                               2s 138MB
Jun 23 12:03:21 Starting developers/bin
Jun 23 12:03:27 Finished developers/bin                                           6s   1GB
Jun 23 12:03:27 Starting semantics/ffi
Jun 23 12:03:36 Finished semantics/ffi                                            9s 251MB
Jun 23 12:03:36 Starting semantics
Jun 23 12:04:56 Finished semantics                                             1m19s 949MB
Jun 23 12:04:56 Starting semantics/proofs
Jun 23 12:08:04 Finished semantics/proofs                                      3m08s   1GB
Jun 23 12:08:04 Starting semantics/alt_semantics
Jun 23 12:08:12 Finished semantics/alt_semantics                                  7s 313MB
Jun 23 12:08:13 Starting semantics/alt_semantics/proofs
Jun 23 12:10:15 Finished semantics/alt_semantics/proofs                        2m02s 894MB
Jun 23 12:10:15 Starting basis/pure
Jun 23 12:11:04 Finished basis/pure                                              48s 699MB
Jun 23 12:11:04 Starting translator
Jun 23 12:13:36 Finished translator                                            2m32s   2GB
Jun 23 12:13:36 Starting compiler/parsing
Jun 23 12:14:43 Finished compiler/parsing                                      1m06s   2GB
Jun 23 12:14:44 Starting characteristic
Jun 23 12:20:28 Finished characteristic                                        5m43s   2GB
Jun 23 12:20:28 Starting translator/monadic
Jun 23 12:22:02 Finished translator/monadic                                    1m34s   1GB
Jun 23 12:22:02 Starting basis
Jun 23 12:52:57 Finished basis                                                30m54s  14GB
Jun 23 12:52:57 Starting compiler/inference
Jun 23 12:54:02 Finished compiler/inference                                    1m04s   1GB
Jun 23 12:54:02 Starting compiler/backend/reg_alloc
Jun 23 12:55:06 Finished compiler/backend/reg_alloc                            1m02s   1GB
Jun 23 12:55:06 Starting compiler/backend/gc
Jun 23 12:58:32 Finished compiler/backend/gc                                   3m25s   2GB
Jun 23 12:58:32 Starting compiler/backend
Jun 23 13:03:04 Finished compiler/backend                                      4m31s   3GB
Jun 23 13:03:04 Starting compiler/encoders/asm
Jun 23 13:03:25 Finished compiler/encoders/asm                                   21s 864MB
Jun 23 13:03:25 Starting compiler/encoders/x64
Jun 23 13:04:22 Finished compiler/encoders/x64                                   56s 990MB
Jun 23 13:04:22 Starting compiler/encoders/arm7
Jun 23 13:06:10 Finished compiler/encoders/arm7                                1m48s   1GB
Jun 23 13:06:11 Starting compiler/encoders/arm8
Jun 23 13:06:45 Finished compiler/encoders/arm8                                  33s 587MB
Jun 23 13:06:45 Starting compiler/encoders/mips
Jun 23 13:07:58 Finished compiler/encoders/mips                                1m13s   1GB
Jun 23 13:07:58 Starting compiler/encoders/riscv
Jun 23 13:09:26 Finished compiler/encoders/riscv                               1m27s   1GB
Jun 23 13:09:26 Starting compiler/encoders/ag32
Jun 23 13:09:43 Finished compiler/encoders/ag32                                  16s 855MB
Jun 23 13:09:43 Starting compiler/backend/x64
Jun 23 13:10:01 Finished compiler/backend/x64                                    17s   1GB
Jun 23 13:10:01 Starting compiler/backend/arm7
Jun 23 13:10:21 Finished compiler/backend/arm7                                   19s   1GB
Jun 23 13:10:21 Starting compiler/backend/arm8
Jun 23 13:10:40 Finished compiler/backend/arm8                                   18s   1GB
Jun 23 13:10:40 Starting compiler/backend/mips
Jun 23 13:10:57 Finished compiler/backend/mips                                   16s 997MB
Jun 23 13:10:57 Starting compiler/backend/riscv
Jun 23 13:11:16 Finished compiler/backend/riscv                                  18s   1GB
Jun 23 13:11:16 Starting compiler/backend/ag32
Jun 23 13:12:25 Finished compiler/backend/ag32                                 1m09s   1GB
Jun 23 13:12:25 Starting compiler/parsing/proofs
Jun 23 13:18:04 Finished compiler/parsing/proofs                               5m38s   1GB
Jun 23 13:18:04 Starting compiler/inference/proofs
Jun 23 13:20:28 Finished compiler/inference/proofs                             2m24s   2GB
Jun 23 13:20:28 Starting compiler/backend/semantics
Jun 23 13:48:00 Finished compiler/backend/semantics                           27m31s   1GB
Jun 23 13:48:00 Starting compiler/backend/reg_alloc/proofs
Jun 23 13:51:21 Finished compiler/backend/reg_alloc/proofs                     3m20s 910MB
Jun 23 13:51:21 Starting compiler/backend/proofs
Jun 23 14:44:26 Finished compiler/backend/proofs                              53m04s  17GB
Jun 23 14:44:26 Starting compiler/encoders/x64/proofs
Jun 23 14:53:48 Finished compiler/encoders/x64/proofs                          9m22s   4GB
Jun 23 14:53:49 Starting compiler/encoders/arm7/proofs
Jun 23 15:06:28 Finished compiler/encoders/arm7/proofs                        12m38s   3GB
Jun 23 15:06:28 Starting compiler/encoders/arm8/proofs
Jun 23 15:12:48 Finished compiler/encoders/arm8/proofs                         6m19s   1GB
Jun 23 15:12:48 Starting compiler/encoders/mips/proofs
Jun 23 15:22:35 Finished compiler/encoders/mips/proofs                         9m47s   3GB
Jun 23 15:22:35 Starting compiler/encoders/riscv/proofs
Jun 23 15:30:59 Finished compiler/encoders/riscv/proofs                        8m23s   1GB
Jun 23 15:30:59 Starting compiler/encoders/ag32/proofs
Jun 23 15:33:25 Finished compiler/encoders/ag32/proofs                         2m26s 792MB
Jun 23 15:33:26 Starting compiler/backend/x64/proofs
Jun 23 15:33:45 Finished compiler/backend/x64/proofs                             19s   1GB
Jun 23 15:33:45 Starting compiler/backend/arm7/proofs
Jun 23 15:34:07 Finished compiler/backend/arm7/proofs                            21s 896MB
Jun 23 15:34:07 Starting compiler/backend/arm8/proofs
Jun 23 15:34:26 Finished compiler/backend/arm8/proofs                            18s   1GB
Jun 23 15:34:26 Starting compiler/backend/mips/proofs
Jun 23 15:34:46 Finished compiler/backend/mips/proofs                            19s   1GB
Jun 23 15:34:46 Starting compiler/backend/riscv/proofs
Jun 23 15:35:06 Finished compiler/backend/riscv/proofs                           19s   1GB
Jun 23 15:35:06 Starting compiler/backend/ag32/proofs
Jun 23 15:47:22 Finished compiler/backend/ag32/proofs                         12m15s   2GB
Jun 23 15:47:22 Starting compiler/proofs
Jun 23 15:49:05 Finished compiler/proofs                                       1m42s   2GB
Jun 23 15:49:05 Starting candle/set-theory
Jun 23 15:49:33 Finished candle/set-theory                                       27s 908MB
Jun 23 15:49:33 Starting candle/syntax-lib
Jun 23 15:49:43 Finished candle/syntax-lib                                        9s 675MB
Jun 23 15:49:43 Starting candle/standard/syntax
Jun 23 15:51:29 Finished candle/standard/syntax                                1m45s   1GB
Jun 23 15:51:29 Starting candle/standard/semantics
Jun 23 15:53:09 Finished candle/standard/semantics                             1m39s   1GB
Jun 23 15:53:09 Starting candle/standard/monadic
Jun 23 15:54:46 Finished candle/standard/monadic                               1m37s 992MB
Jun 23 15:54:46 Starting candle/standard/ml_kernel
Jun 23 15:59:50 Finished candle/standard/ml_kernel                             5m03s   5GB
Jun 23 15:59:50 Starting candle/standard/opentheory
Jun 23 16:08:49 Finished candle/standard/opentheory                            8m58s   5GB
Jun 23 16:08:49 Starting candle/standard/opentheory/compilation
Jun 23 16:40:22 Finished candle/standard/opentheory/compilation               31m32s  18GB
Jun 23 16:40:22 Starting candle/standard/opentheory/compilation/proofs
Jun 23 16:40:58 Finished candle/standard/opentheory/compilation/proofs           36s   3GB
Jun 23 16:40:58 Starting candle/overloading/syntax
Jun 23 16:43:57 Finished candle/overloading/syntax                             2m58s   1GB
Jun 23 16:43:57 Starting candle/overloading/semantics
Jun 23 16:50:45 Finished candle/overloading/semantics                          6m47s   3GB
Jun 23 16:50:45 Starting characteristic/examples
Jun 23 16:51:59 Finished characteristic/examples                               1m14s   2GB
Jun 23 16:52:00 Starting tutorial/solutions
Jun 23 17:06:02 Finished tutorial/solutions                                   14m02s   7GB
Jun 23 17:06:02 Starting translator/monadic/examples
Jun 23 17:09:10 Finished translator/monadic/examples                           3m07s   2GB
Jun 23 17:09:11 Starting examples
Jun 23 17:17:18 Finished examples                                              8m07s   3GB
Jun 23 17:17:18 Starting examples/compilation/x64
Jun 23 19:32:29 Finished examples/compilation/x64                           2h15m09s  12GB
Jun 23 19:32:29 Starting examples/compilation/x64/proofs
Jun 23 19:34:05 Finished examples/compilation/x64/proofs                       1m35s   2GB
Jun 23 19:34:05 Starting examples/compilation/ag32
Jun 23 20:04:56 Finished examples/compilation/ag32                            30m50s   6GB
Jun 23 20:04:56 Starting examples/compilation/ag32/proofs
Jun 23 20:05:37 Finished examples/compilation/ag32/proofs                        41s   3GB
Jun 23 20:05:38 Starting examples/cost
Jun 23 20:51:25 Finished examples/cost                                        45m46s   6GB
Jun 23 20:51:25 Starting examples/lpr_checker
Jun 23 20:55:05 Finished examples/lpr_checker                                  3m39s   2GB
Jun 23 20:55:05 Starting examples/lpr_checker/compilation
Jun 23 21:12:14 Finished examples/lpr_checker/compilation                     17m09s   9GB
Jun 23 21:12:14 Starting examples/lpr_checker/compilation/proofs
Jun 23 21:12:50 Finished examples/lpr_checker/compilation/proofs                 35s   2GB
Jun 23 21:12:50 Starting examples/lpr_checker/array
Jun 23 21:22:25 Finished examples/lpr_checker/array                            9m34s   3GB
Jun 23 21:22:25 Starting examples/lpr_checker/array/compilation
Jun 23 21:40:32 Finished examples/lpr_checker/array/compilation               18m06s  11GB
Jun 23 21:40:32 Starting examples/lpr_checker/array/compilation/proofs
Jun 23 21:41:20 Finished examples/lpr_checker/array/compilation/proofs           47s   2GB
Jun 23 21:41:20 Starting translator/okasaki-examples
Jun 23 21:45:34 Finished translator/okasaki-examples                           4m13s   1GB
Jun 23 21:45:34 Starting translator/other-examples
Jun 23 21:47:27 Finished translator/other-examples                             1m52s   1GB
Jun 23 21:47:27 Starting compiler/parsing/tests
Jun 23 21:47:52 Finished compiler/parsing/tests                                  24s 620MB
Jun 23 21:47:52 Starting compiler/inference/tests
Jun 23 21:52:16 Finished compiler/inference/tests                              4m23s   4GB
Jun 23 21:52:16 Starting compiler/bootstrap/translation
Jun 24 00:26:30 Finished compiler/bootstrap/translation                     2h34m13s  39GB
Jun 24 00:26:30 Starting unverified/sexpr-bootstrap/x64/64
Jun 24 00:36:06 Finished unverified/sexpr-bootstrap/x64/64                     9m36s   8GB
Jun 24 00:36:06 Starting unverified/sexpr-bootstrap/x64/32
Jun 24 00:43:36 Finished unverified/sexpr-bootstrap/x64/32                     7m29s   8GB
Jun 24 00:43:37 Starting compiler/benchmarks
Jun 24 01:22:22 Finished compiler/benchmarks                                  38m44s   2GB
Jun 24 01:22:22 Starting compiler/bootstrap/compilation/x64/64
Jun 24 16:23:37 Finished compiler/bootstrap/compilation/x64/64             15h01m15s  64GB
Jun 24 16:23:38 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 24 16:27:00 Finished compiler/bootstrap/compilation/x64/64/proofs          3m21s  14GB
Jun 24 16:27:00 Starting compiler/bootstrap/compilation/x64/32
Jun 25 05:26:54 Finished compiler/bootstrap/compilation/x64/32             12h59m53s  64GB
Jun 25 05:26:54 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 25 05:30:03 Finished compiler/bootstrap/compilation/x64/32/proofs          3m09s  13GB
Jun 25 05:30:04 Starting compiler/bootstrap/compilation/ag32/32
Jun 25 20:12:57 Finished compiler/bootstrap/compilation/ag32/32            14h42m53s  64GB
Jun 25 20:12:57 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 25 20:42:51 Finished compiler/bootstrap/compilation/ag32/32/proofs        29m53s  25GB
Jun 25 20:42:51 SUCCESS