Job 1907

CakeML:e4fb78d3df72f1175c1fb1876360fe22904b639c
  Make REPL use linear scan allocator by default [May 28 09:25:24]
#887 (inc-compiler-emptyffi)
Merging into:7c4f5d1ea435d9c438fa5c6f782526b8154e7f1e
  Merge pull request #865 from CakeML/Iced_cake [May 24 14:01:13]
HOL:6a1ba20cc9ca0bffba3c7aa005b4699fa8fd2da2
  Congruence rule for composition of functions. Prompted by example fro [May 25 19:48:20]
Machine:oven3

May 29 11:14:28 Claimed job
May 29 11:14:30 Reusing HOL
May 29 11:15:23 Starting developers
May 29 11:15:33 Finished developers                                               9s 130MB
May 29 11:15:33 Starting developers/bin
May 29 11:15:46 Finished developers/bin                                          12s   1GB
May 29 11:15:46 Starting semantics/ffi
May 29 11:16:11 Finished semantics/ffi                                           24s 242MB
May 29 11:16:11 Starting semantics
May 29 11:21:29 Finished semantics                                             5m17s   1GB
May 29 11:21:29 Starting semantics/proofs
May 29 11:36:45 Finished semantics/proofs                                     15m15s   1GB
May 29 11:36:46 Starting semantics/alt_semantics
May 29 11:37:46 Finished semantics/alt_semantics                               1m00s 511MB
May 29 11:37:47 Starting semantics/alt_semantics/proofs
May 29 12:03:11 Finished semantics/alt_semantics/proofs                       25m24s   2GB
May 29 12:03:12 Starting basis/pure
May 29 12:10:51 Finished basis/pure                                            7m39s 952MB
May 29 12:10:51 Starting translator
May 29 12:18:45 Finished translator                                            7m53s   1GB
May 29 12:18:45 Starting compiler/parsing
May 29 12:21:46 Finished compiler/parsing                                      3m00s   4GB
May 29 12:21:46 Starting characteristic
May 29 12:36:36 Finished characteristic                                       14m50s   2GB
May 29 12:36:36 Starting translator/monadic
May 29 12:40:45 Finished translator/monadic                                    4m08s   1GB
May 29 12:40:46 Starting basis
May 29 14:33:10 Finished basis                                              1h52m24s  13GB
May 29 14:33:10 Starting compiler/inference
May 29 14:36:36 Finished compiler/inference                                    3m25s   1GB
May 29 14:36:36 Starting compiler/backend/reg_alloc
May 29 14:39:51 Finished compiler/backend/reg_alloc                            3m14s   2GB
May 29 14:39:51 Starting compiler/backend/gc
May 29 14:48:23 Finished compiler/backend/gc                                   8m31s   2GB
May 29 14:48:23 Starting compiler/backend
May 29 14:59:53 Finished compiler/backend                                     11m29s   2GB
May 29 14:59:53 Starting compiler/encoders/asm
May 29 15:00:58 Finished compiler/encoders/asm                                 1m05s 710MB
May 29 15:00:59 Starting compiler/encoders/x64
May 29 15:03:34 Finished compiler/encoders/x64                                 2m34s 712MB
May 29 15:03:34 Starting compiler/encoders/arm7
May 29 15:08:20 Finished compiler/encoders/arm7                                4m45s   1GB
May 29 15:08:20 Starting compiler/encoders/arm8
May 29 15:09:57 Finished compiler/encoders/arm8                                1m37s 770MB
May 29 15:09:57 Starting compiler/encoders/arm8_asl
May 29 19:28:07 Finished compiler/encoders/arm8_asl                         4h18m08s  28GB
May 29 19:28:07 Starting compiler/encoders/mips
May 29 19:31:28 Finished compiler/encoders/mips                                3m20s   1GB
May 29 19:31:28 Starting compiler/encoders/riscv
May 29 19:35:24 Finished compiler/encoders/riscv                               3m56s 881MB
May 29 19:35:25 Starting compiler/encoders/ag32
May 29 19:36:13 Finished compiler/encoders/ag32                                  48s 914MB
May 29 19:36:13 Starting compiler/backend/x64
May 29 19:37:04 Finished compiler/backend/x64                                    50s   1GB
May 29 19:37:04 Starting compiler/backend/arm7
May 29 19:37:54 Finished compiler/backend/arm7                                   49s   1GB
May 29 19:37:54 Starting compiler/backend/arm8
May 29 19:38:41 Finished compiler/backend/arm8                                   46s   1GB
May 29 19:38:41 Starting compiler/backend/mips
May 29 19:39:32 Finished compiler/backend/mips                                   50s   1GB
May 29 19:39:32 Starting compiler/backend/riscv
May 29 19:40:26 Finished compiler/backend/riscv                                  53s   1GB
May 29 19:40:26 Starting compiler/backend/ag32
May 29 19:43:26 Finished compiler/backend/ag32                                 2m59s   1GB
May 29 19:43:26 Starting compiler/parsing/proofs
May 29 19:51:57 Finished compiler/parsing/proofs                               8m30s   1GB
May 29 19:51:57 Starting compiler/inference/proofs
May 29 19:58:09 Finished compiler/inference/proofs                             6m12s   1GB
May 29 19:58:10 Starting compiler/backend/semantics
May 29 21:08:49 Finished compiler/backend/semantics                         1h10m38s   2GB
May 29 21:08:49 Starting compiler/backend/reg_alloc/proofs
May 29 21:16:52 Finished compiler/backend/reg_alloc/proofs                     8m02s 860MB
May 29 21:16:52 Starting compiler/backend/proofs
May 29 23:05:37 Finished compiler/backend/proofs                            1h48m44s  16GB
May 29 23:05:37 Starting compiler/backend/serialiser
May 29 23:08:55 Finished compiler/backend/serialiser                           3m17s   2GB
May 29 23:08:55 Starting compiler/encoders/x64/proofs
May 29 23:30:11 Finished compiler/encoders/x64/proofs                         21m15s   4GB
May 29 23:30:12 Starting compiler/encoders/arm7/proofs
May 29 23:59:57 Finished compiler/encoders/arm7/proofs                        29m44s   3GB
May 29 23:59:57 Starting compiler/encoders/arm8/proofs
May 30 00:15:20 Finished compiler/encoders/arm8/proofs                        15m22s   1GB
May 30 00:15:20 Starting compiler/encoders/arm8_asl/proofs
May 30 02:10:20 Finished compiler/encoders/arm8_asl/proofs                  1h54m59s   6GB
May 30 02:10:21 Starting compiler/encoders/mips/proofs
May 30 02:32:36 Finished compiler/encoders/mips/proofs                        22m15s   2GB
May 30 02:32:37 Starting compiler/encoders/riscv/proofs
May 30 02:52:40 Finished compiler/encoders/riscv/proofs                       20m03s   1GB
May 30 02:52:41 Starting compiler/encoders/ag32/proofs
May 30 02:58:32 Finished compiler/encoders/ag32/proofs                         5m50s   1GB
May 30 02:58:32 Starting compiler/backend/x64/proofs
May 30 02:59:35 Finished compiler/backend/x64/proofs                           1m02s   1GB
May 30 02:59:35 Starting compiler/backend/arm7/proofs
May 30 03:00:38 Finished compiler/backend/arm7/proofs                          1m03s   1GB
May 30 03:00:38 Starting compiler/backend/arm8/proofs
May 30 03:01:41 Finished compiler/backend/arm8/proofs                          1m02s   1GB
May 30 03:01:41 Starting compiler/backend/arm8_asl
May 30 03:02:34 Finished compiler/backend/arm8_asl                               52s   1GB
May 30 03:02:34 Starting compiler/backend/mips/proofs
May 30 03:03:35 Finished compiler/backend/mips/proofs                          1m00s   1GB
May 30 03:03:35 Starting compiler/backend/riscv/proofs
May 30 03:04:37 Finished compiler/backend/riscv/proofs                         1m02s   1GB
May 30 03:04:38 Starting compiler/backend/ag32/proofs
May 30 03:35:03 Finished compiler/backend/ag32/proofs                         30m24s   2GB
May 30 03:35:03 Starting compiler/proofs
May 30 03:40:38 Finished compiler/proofs                                       5m34s   5GB
May 30 03:40:38 Starting candle/set-theory
May 30 03:41:48 Finished candle/set-theory                                     1m10s   1GB
May 30 03:41:49 Starting candle/syntax-lib
May 30 03:42:17 Finished candle/syntax-lib                                       28s 632MB
May 30 03:42:17 Starting candle/standard/syntax
May 30 03:46:41 Finished candle/standard/syntax                                4m23s   1GB
May 30 03:46:41 Starting candle/standard/semantics
May 30 03:50:44 Finished candle/standard/semantics                             4m02s   1GB
May 30 03:50:44 Starting candle/standard/monadic
May 30 03:54:45 Finished candle/standard/monadic                               4m01s   1GB
May 30 03:54:46 Starting candle/standard/ml_kernel
May 30 04:08:48 Finished candle/standard/ml_kernel                            14m02s   3GB
May 30 04:08:49 Starting candle/overloading/syntax
May 30 04:15:38 Finished candle/overloading/syntax                             6m49s   1GB
May 30 04:15:38 Starting candle/overloading/semantics
May 30 04:41:41 Finished candle/overloading/semantics                         26m02s   2GB
May 30 04:41:41 Starting candle/overloading/monadic
May 30 04:47:16 Finished candle/overloading/monadic                            5m34s   1GB
May 30 04:47:17 Starting candle/overloading/ml_kernel
May 30 05:03:13 Finished candle/overloading/ml_kernel                         15m56s   3GB
May 30 05:03:14 Starting candle/overloading/ml_checker
May 30 05:08:32 Finished candle/overloading/ml_checker                         5m18s   3GB
May 30 05:08:33 Starting candle/prover
May 30 05:33:02 Finished candle/prover                                        24m29s   3GB
May 30 05:33:03 Starting pancake
May 30 05:40:55 Finished pancake                                               7m52s   3GB
May 30 05:40:55 Starting pancake/ffi
May 30 05:40:56 Finished pancake/ffi                                              0s  30MB
May 30 05:40:56 Starting pancake/semantics
May 30 05:46:33 Finished pancake/semantics                                     5m36s   1GB
May 30 05:46:33 Starting pancake/proofs
May 30 06:13:24 Finished pancake/proofs                                       26m50s   6GB
May 30 06:13:24 Starting characteristic/examples
May 30 06:16:27 Finished characteristic/examples                               3m02s   2GB
May 30 06:16:27 Starting tutorial/solutions
May 30 06:52:57 Finished tutorial/solutions                                   36m29s   9GB
May 30 06:52:58 Starting translator/monadic/examples
May 30 07:00:00 Finished translator/monadic/examples                           7m02s   2GB
May 30 07:00:00 Starting examples
May 30 07:19:29 Finished examples                                             19m28s   3GB
May 30 07:19:30 Starting examples/compilation/x64
May 30 12:59:44 Finished examples/compilation/x64                           5h40m13s  27GB
May 30 12:59:44 Starting examples/compilation/x64/proofs
May 30 13:04:23 Finished examples/compilation/x64/proofs                       4m39s   3GB
May 30 13:04:23 Starting examples/compilation/ag32
May 30 14:22:58 Finished examples/compilation/ag32                          1h18m34s   8GB
May 30 14:22:59 Starting examples/compilation/ag32/proofs
May 30 14:24:54 Finished examples/compilation/ag32/proofs                      1m55s   3GB
May 30 14:24:55 Starting examples/cost
May 30 16:30:27 Finished examples/cost                                      2h05m32s   7GB
May 30 16:30:27 Starting examples/lpr_checker
May 30 16:32:46 Finished examples/lpr_checker                                  2m18s   1GB
May 30 16:32:46 Starting examples/lpr_checker/array
May 30 17:47:38 Finished examples/lpr_checker/array                         1h14m51s   5GB
May 30 17:47:38 Starting examples/lpr_checker/array/compilation
May 30 20:45:22 Finished examples/lpr_checker/array/compilation             2h57m43s  31GB
May 30 20:45:22 Starting examples/lpr_checker/array/compilation/proofs
May 30 20:48:26 Finished examples/lpr_checker/array/compilation/proofs         3m03s   7GB
May 30 20:48:27 Starting examples/opentheory
May 30 21:11:21 Finished examples/opentheory                                  22m53s   4GB
May 30 21:11:21 Starting examples/opentheory
May 30 21:11:24 Finished examples/opentheory                                      2s  33MB
May 30 21:11:24 Starting examples/opentheory/compilation
May 30 22:39:22 Finished examples/opentheory/compilation                    1h27m57s  30GB
May 30 22:39:22 Starting examples/opentheory/compilation/proofs
May 30 22:41:21 Finished examples/opentheory/compilation/proofs                1m58s   4GB
May 30 22:41:21 Starting examples/opentheory/compilation/ag32
May 31 00:11:22 Finished examples/opentheory/compilation/ag32               1h30m01s  39GB
May 31 00:11:23 Starting examples/opentheory/compilation/ag32/proofs
May 31 00:15:22 Finished examples/opentheory/compilation/ag32/proofs           3m59s   6GB
May 31 00:15:23 Starting examples/sat_encodings
May 31 00:19:49 Finished examples/sat_encodings                                4m25s 888MB
May 31 00:19:49 Starting examples/sat_encodings/case_studies
May 31 00:23:29 Finished examples/sat_encodings/case_studies                   3m40s 821MB
May 31 00:23:30 Starting examples/sat_encodings/translation
May 31 00:35:26 Finished examples/sat_encodings/translation                   11m55s   4GB
May 31 00:35:26 Starting examples/sat_encodings/translation/compilation
May 31 02:05:36 Finished examples/sat_encodings/translation/compilation     1h30m09s  27GB
May 31 02:05:36 Starting translator/okasaki-examples
May 31 02:16:00 Finished translator/okasaki-examples                          10m23s   1GB
May 31 02:16:00 Starting translator/other-examples
May 31 02:19:39 Finished translator/other-examples                             3m39s   2GB
May 31 02:19:40 Starting compiler/parsing/tests
May 31 02:20:46 Finished compiler/parsing/tests                                1m06s 572MB
May 31 02:20:46 Starting compiler/inference/tests
May 31 02:37:33 Finished compiler/inference/tests                             16m46s   3GB
May 31 02:37:33 Starting compiler/printing/test
May 31 02:45:20 Finished compiler/printing/test                                7m46s   3GB
May 31 02:45:20 Starting icing/flover
May 31 03:12:35 Finished icing/flover                                         27m14s   1GB
May 31 03:12:35 Starting icing/
May 31 05:24:13 Finished icing/                                             2h11m37s   7GB
May 31 05:24:14 Starting icing/examples
May 31 05:27:16 Finished icing/examples                                        3m02s   3GB
May 31 05:27:17 Starting compiler/repl
May 31 05:53:27 Finished compiler/repl                                        26m09s   5GB
May 31 05:53:27 Starting compiler/bootstrap/translation
May 31 15:10:35 Finished compiler/bootstrap/translation                     9h17m07s  39GB
May 31 15:10:35 Starting unverified/sexpr-bootstrap/x64/64
May 31 15:33:49 Finished unverified/sexpr-bootstrap/x64/64                    23m14s  12GB
May 31 15:33:50 Starting unverified/sexpr-bootstrap/x64/32
May 31 15:52:39 Finished unverified/sexpr-bootstrap/x64/32                    18m49s  10GB
May 31 15:52:39 Starting compiler/benchmarks
May 31 15:52:44 Finished compiler/benchmarks                                      5s  50MB
May 31 15:52:45 Starting compiler/bootstrap/compilation/x64/64
Jun 02 11:00:31 Finished compiler/bootstrap/compilation/x64/64             43h07m46s 109GB
Jun 02 11:00:32 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 02 11:41:27 Finished compiler/bootstrap/compilation/x64/64/proofs         40m54s  29GB
Jun 02 11:41:27 Starting compiler/bootstrap/compilation/x64/32
Jun 03 14:09:02 Finished compiler/bootstrap/compilation/x64/32             26h27m33s  81GB
Jun 03 14:09:02 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 03 14:16:00 Finished compiler/bootstrap/compilation/x64/32/proofs          6m57s  23GB
Jun 03 14:16:00 Starting compiler/bootstrap/compilation/ag32/32
Jun 04 19:23:36 Finished compiler/bootstrap/compilation/ag32/32            29h07m35s 108GB
Jun 04 19:23:36 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 04 19:49:31 Finished compiler/bootstrap/compilation/ag32/32/proofs        25m53s  67GB
Jun 04 19:49:31 SUCCESS