Job 3438

CakeML:ec0149abae05bd870886cf4b5b60a56d5366f5b9
  Replace the fuelled exhaustiveness check by a tail-recursive one [Aug 09 13:46:53]
#1447 (exhaustive-pattern-matching)
Merging into:f738a0c4212ec283895a8f08c43b98a86fcc9e03
  Indent multi-line subgoal blocks one level inwards [Aug 08 14:37:05]
HOL:fac52534ceb43806d35b11f91dafd558266bcbb6
  Remove yet one more same_const instance in Compute.sml [Aug 02 03:13:23]
Machine:timtam

Aug 10 07:57:06 Claimed job
Aug 10 07:57:12 Building HOL
Aug 10 08:10:35 Starting developers
Aug 10 08:10:41 Finished developers                                               4s 233MB
Aug 10 08:10:42 Starting developers/bin
Aug 10 08:10:45 Finished developers/bin                                           2s  93MB
Aug 10 08:10:46 Starting misc
Aug 10 08:11:46 Finished misc                                                    59s   1GB
Aug 10 08:11:47 Starting compiler/proofs
Aug 10 09:25:51 Finished compiler/proofs                                    1h14m02s   9GB
Aug 10 09:25:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 10 15:48:07 Finished compiler/bootstrap/compilation/x64/64/proofs       6h22m14s  73GB
Aug 10 15:48:08 Starting semantics/ffi
Aug 10 15:48:20 Finished semantics/ffi                                           10s 562MB
Aug 10 15:48:20 Starting semantics
Aug 10 15:48:22 Finished semantics                                                0s  87MB
Aug 10 15:48:23 Starting semantics/proofs
Aug 10 15:48:47 Finished semantics/proofs                                        23s 782MB
Aug 10 15:48:48 Starting semantics/alt_semantics
Aug 10 15:49:06 Finished semantics/alt_semantics                                 16s 498MB
Aug 10 15:49:06 Starting semantics/alt_semantics/proofs
Aug 10 15:53:01 Finished semantics/alt_semantics/proofs                        3m53s   2GB
Aug 10 15:53:02 Starting basis/pure
Aug 10 15:53:03 Finished basis/pure                                               0s  80MB
Aug 10 15:53:04 Starting translator
Aug 10 15:54:15 Finished translator                                            1m10s   3GB
Aug 10 15:54:16 Starting compiler/parsing
Aug 10 15:55:02 Finished compiler/parsing                                        44s   2GB
Aug 10 15:55:02 Starting characteristic
Aug 10 15:55:04 Finished characteristic                                           0s 118MB
Aug 10 15:55:05 Starting translator/monadic
Aug 10 15:55:07 Finished translator/monadic                                       0s 121MB
Aug 10 15:55:08 Starting translator/monadic/monad_base
Aug 10 15:55:09 Finished translator/monadic/monad_base                            0s  89MB
Aug 10 15:55:10 Starting profiler
Aug 10 15:55:42 Finished profiler                                                30s   1GB
Aug 10 15:55:43 Starting basis
Aug 10 15:57:32 Finished basis                                                 1m48s   4GB
Aug 10 15:57:33 Starting compiler
Aug 10 15:57:36 Finished compiler                                                 1s 231MB
Aug 10 15:57:36 Starting compiler/inference
Aug 10 15:57:38 Finished compiler/inference                                       0s 115MB
Aug 10 15:57:39 Starting compiler/backend/reg_alloc
Aug 10 15:57:41 Finished compiler/backend/reg_alloc                               0s  90MB
Aug 10 15:57:41 Starting compiler/backend/gc
Aug 10 15:57:43 Finished compiler/backend/gc                                      1s 138MB
Aug 10 15:57:44 Starting compiler/backend
Aug 10 15:57:46 Finished compiler/backend                                         1s 136MB
Aug 10 15:57:47 Starting compiler/encoders/asm
Aug 10 15:57:49 Finished compiler/encoders/asm                                    0s 102MB
Aug 10 15:57:50 Starting compiler/encoders/x64
Aug 10 15:57:51 Finished compiler/encoders/x64                                    0s 103MB
Aug 10 15:57:52 Starting compiler/encoders/arm7
Aug 10 15:57:54 Finished compiler/encoders/arm7                                   0s 104MB
Aug 10 15:57:55 Starting compiler/encoders/arm8
Aug 10 15:57:56 Finished compiler/encoders/arm8                                   0s 101MB
Aug 10 15:57:57 Starting compiler/encoders/arm8_asl
Aug 10 18:25:55 Finished compiler/encoders/arm8_asl                         2h27m56s  38GB
Aug 10 18:25:56 Starting compiler/encoders/mips
Aug 10 18:25:58 Finished compiler/encoders/mips                                   0s 103MB
Aug 10 18:25:58 Starting compiler/encoders/riscv
Aug 10 18:26:00 Finished compiler/encoders/riscv                                  0s 101MB
Aug 10 18:26:01 Starting compiler/encoders/ag32
Aug 10 18:26:02 Finished compiler/encoders/ag32                                   0s 103MB
Aug 10 18:26:03 Starting compiler/encoders/tests
Aug 10 18:26:05 Finished compiler/encoders/tests                                  1s 123MB
Aug 10 18:26:06 Starting compiler/encoders/monadic_enc
Aug 10 18:26:29 Finished compiler/encoders/monadic_enc                           22s   1GB
Aug 10 18:26:30 Starting compiler/backend/x64
Aug 10 18:26:32 Finished compiler/backend/x64                                     1s 139MB
Aug 10 18:26:33 Starting compiler/backend/arm7
Aug 10 18:26:35 Finished compiler/backend/arm7                                    1s 138MB
Aug 10 18:26:36 Starting compiler/backend/arm8
Aug 10 18:26:38 Finished compiler/backend/arm8                                    1s 140MB
Aug 10 18:26:38 Starting compiler/backend/mips
Aug 10 18:26:40 Finished compiler/backend/mips                                    1s 140MB
Aug 10 18:26:41 Starting compiler/backend/riscv
Aug 10 18:26:43 Finished compiler/backend/riscv                                   1s 141MB
Aug 10 18:26:44 Starting compiler/backend/ag32
Aug 10 18:27:47 Finished compiler/backend/ag32                                 1m02s   2GB
Aug 10 18:27:48 Starting compiler/backend/pattern_matching
Aug 10 18:28:04 Finished compiler/backend/pattern_matching                       15s 887MB
Aug 10 18:28:05 Starting compiler/parsing/ocaml
Aug 10 18:30:10 Finished compiler/parsing/ocaml                                2m03s   1GB
Aug 10 18:30:11 Starting compiler/printing
Aug 10 18:31:07 Finished compiler/printing                                       54s   1GB
Aug 10 18:31:08 Starting compiler/parsing/proofs
Aug 10 18:31:09 Finished compiler/parsing/proofs                                  0s  99MB
Aug 10 18:31:10 Starting compiler/inference/proofs
Aug 10 18:31:12 Finished compiler/inference/proofs                                0s 113MB
Aug 10 18:31:13 Starting compiler/backend/semantics
Aug 10 18:34:16 Finished compiler/backend/semantics                            3m02s   4GB
Aug 10 18:34:17 Starting compiler/backend/reg_alloc/proofs
Aug 10 18:34:19 Finished compiler/backend/reg_alloc/proofs                        1s 115MB
Aug 10 18:34:20 Starting compiler/backend/proofs
Aug 10 18:35:05 Finished compiler/backend/proofs                                 44s   2GB
Aug 10 18:35:06 Starting compiler/backend/serialiser
Aug 10 18:35:08 Finished compiler/backend/serialiser                              1s 157MB
Aug 10 18:35:08 Starting compiler/encoders/x64/proofs
Aug 10 18:35:10 Finished compiler/encoders/x64/proofs                             0s 105MB
Aug 10 18:35:11 Starting compiler/encoders/arm7/proofs
Aug 10 18:47:32 Finished compiler/encoders/arm7/proofs                        12m20s   8GB
Aug 10 18:47:33 Starting compiler/encoders/arm8/proofs
Aug 10 18:55:13 Finished compiler/encoders/arm8/proofs                         7m39s   3GB
Aug 10 18:55:14 Starting compiler/encoders/arm8_asl/proofs
Aug 10 19:51:30 Finished compiler/encoders/arm8_asl/proofs                    56m15s  10GB
Aug 10 19:51:31 Starting compiler/encoders/mips/proofs
Aug 10 20:02:08 Finished compiler/encoders/mips/proofs                        10m36s   4GB
Aug 10 20:02:09 Starting compiler/encoders/riscv/proofs
Aug 10 20:11:40 Finished compiler/encoders/riscv/proofs                        9m29s   3GB
Aug 10 20:11:41 Starting compiler/encoders/ag32/proofs
Aug 10 20:14:46 Finished compiler/encoders/ag32/proofs                         3m05s   1GB
Aug 10 20:14:47 Starting compiler/backend/x64/proofs
Aug 10 20:14:50 Finished compiler/backend/x64/proofs                              1s 231MB
Aug 10 20:14:51 Starting compiler/backend/arm7/proofs
Aug 10 20:15:32 Finished compiler/backend/arm7/proofs                            39s   2GB
Aug 10 20:15:33 Starting compiler/backend/arm8/proofs
Aug 10 20:16:11 Finished compiler/backend/arm8/proofs                            37s   2GB
Aug 10 20:16:12 Starting compiler/backend/arm8_asl
Aug 10 20:16:46 Finished compiler/backend/arm8_asl                               33s   1GB
Aug 10 20:16:47 Starting compiler/backend/mips/proofs
Aug 10 20:17:28 Finished compiler/backend/mips/proofs                            40s   2GB
Aug 10 20:17:29 Starting compiler/backend/riscv/proofs
Aug 10 20:18:15 Finished compiler/backend/riscv/proofs                           45s   2GB
Aug 10 20:18:16 Starting compiler/backend/ag32/proofs
Aug 10 20:28:06 Finished compiler/backend/ag32/proofs                          9m49s   5GB
Aug 10 20:28:07 Starting compiler/backend/cv_compute
Aug 10 20:28:39 Finished compiler/backend/cv_compute                             31s   1GB
Aug 10 20:28:40 Starting cv_translator
Aug 10 20:33:59 Finished cv_translator                                         5m18s   4GB
Aug 10 20:34:00 Starting candle
Aug 10 20:34:01 Finished candle                                                   0s   7MB
Aug 10 20:34:02 Starting candle/set-theory
Aug 10 20:34:34 Finished candle/set-theory                                       31s 914MB
Aug 10 20:34:35 Starting candle/syntax-lib
Aug 10 20:34:37 Finished candle/syntax-lib                                        0s  81MB
Aug 10 20:34:37 Starting candle/standard
Aug 10 20:34:38 Finished candle/standard                                          0s   7MB
Aug 10 20:34:39 Starting candle/standard/syntax
Aug 10 20:34:54 Finished candle/standard/syntax                                  13s 806MB
Aug 10 20:34:55 Starting candle/standard/syntax/little_theories
Aug 10 20:36:09 Finished candle/standard/syntax/little_theories                1m13s   1GB
Aug 10 20:36:10 Starting candle/standard/semantics
Aug 10 20:38:27 Finished candle/standard/semantics                             2m16s   2GB
Aug 10 20:38:28 Starting candle/standard/monadic
Aug 10 20:38:30 Finished candle/standard/monadic                                  0s 120MB
Aug 10 20:38:31 Starting candle/standard/ml_kernel
Aug 10 20:40:43 Finished candle/standard/ml_kernel                             2m11s   4GB
Aug 10 20:40:44 Starting candle/overloading
Aug 10 20:40:45 Finished candle/overloading                                       0s   7MB
Aug 10 20:40:46 Starting candle/overloading/syntax
Aug 10 20:44:03 Finished candle/overloading/syntax                             3m16s   1GB
Aug 10 20:44:04 Starting candle/overloading/semantics
Aug 10 20:54:03 Finished candle/overloading/semantics                          9m57s   8GB
Aug 10 20:54:04 Starting candle/overloading/monadic
Aug 10 20:56:08 Finished candle/overloading/monadic                            2m03s   1GB
Aug 10 20:56:09 Starting candle/overloading/ml_kernel
Aug 10 21:03:23 Finished candle/overloading/ml_kernel                          7m12s   7GB
Aug 10 21:03:24 Starting candle/overloading/ml_checker
Aug 10 21:06:08 Finished candle/overloading/ml_checker                         2m42s   6GB
Aug 10 21:06:09 Starting candle/prover
Aug 10 21:06:11 Finished candle/prover                                            1s 180MB
Aug 10 21:06:12 Starting candle/prover/compute
Aug 10 21:06:14 Finished candle/prover/compute                                    1s 162MB
Aug 10 21:06:15 Starting pancake
Aug 10 21:06:17 Finished pancake                                                  1s 144MB
Aug 10 21:06:18 Starting pancake/semantics
Aug 10 21:09:12 Finished pancake/semantics                                     2m53s   2GB
Aug 10 21:09:13 Starting pancake/parser
Aug 10 21:09:53 Finished pancake/parser                                          39s 500MB
Aug 10 21:09:54 Starting pancake/static_checker
Aug 10 21:12:28 Finished pancake/static_checker                                2m33s   1GB
Aug 10 21:12:29 Starting pancake/proofs
Aug 10 21:30:09 Finished pancake/proofs                                       17m38s   6GB
Aug 10 21:30:10 Starting compiler/dafny
Aug 10 21:30:35 Finished compiler/dafny                                          24s 667MB
Aug 10 21:30:36 Starting compiler/dafny/translation
Aug 10 21:41:24 Finished compiler/dafny/translation                           10m46s   6GB
Aug 10 21:41:25 Starting compiler/dafny/compilation
Aug 10 21:43:37 Finished compiler/dafny/compilation                            2m11s   6GB
Aug 10 21:43:38 Starting compiler/dafny/semantics
Aug 10 21:44:17 Finished compiler/dafny/semantics                                38s 503MB
Aug 10 21:44:18 Starting compiler/dafny/proofs
Aug 10 21:45:58 Finished compiler/dafny/proofs                                 1m39s   1GB
Aug 10 21:45:59 Starting compiler/dafny/vcg
Aug 10 21:46:01 Finished compiler/dafny/vcg                                       0s 108MB
Aug 10 21:46:01 Starting compiler/dafny/vcg/examples
Aug 10 21:46:31 Finished compiler/dafny/vcg/examples                             28s   1GB
Aug 10 21:46:31 Starting compiler/scheme
Aug 10 21:46:59 Finished compiler/scheme                                         27s   1GB
Aug 10 21:47:00 Starting compiler/scheme/translation
Aug 10 21:53:54 Finished compiler/scheme/translation                           6m52s   7GB
Aug 10 21:53:55 Starting compiler/scheme/compilation
Aug 10 21:55:34 Finished compiler/scheme/compilation                           1m39s   5GB
Aug 10 21:55:35 Starting compiler/scheme/proofs
Aug 10 22:02:21 Finished compiler/scheme/proofs                                6m44s   2GB
Aug 10 22:02:21 Starting characteristic/examples
Aug 10 22:03:55 Finished characteristic/examples                               1m33s   5GB
Aug 10 22:03:56 Starting tutorial/solutions
Aug 10 22:06:49 Finished tutorial/solutions                                    2m51s   3GB
Aug 10 22:06:50 Starting translator/monadic/examples
Aug 10 22:09:58 Finished translator/monadic/examples                           3m07s   3GB
Aug 10 22:09:59 Starting examples
Aug 10 22:14:29 Finished examples                                              4m29s   3GB
Aug 10 22:14:30 Starting examples/compilation
Aug 10 22:14:31 Finished examples/compilation                                     0s   7MB
Aug 10 22:14:32 Starting examples/compilation/x64
Aug 10 22:23:25 Finished examples/compilation/x64                              8m52s   4GB
Aug 10 22:23:26 Starting examples/compilation/x64/proofs
Aug 10 22:27:09 Finished examples/compilation/x64/proofs                       3m42s   4GB
Aug 10 22:27:10 Starting examples/compilation/ag32
Aug 10 22:29:59 Finished examples/compilation/ag32                             2m48s   3GB
Aug 10 22:30:00 Starting examples/compilation/ag32/proofs
Aug 10 22:31:30 Finished examples/compilation/ag32/proofs                      1m28s   4GB
Aug 10 22:31:31 Starting examples/lpr_checker
Aug 10 22:32:10 Finished examples/lpr_checker                                    38s   1GB
Aug 10 22:32:11 Starting examples/lpr_checker/array
Aug 10 22:45:11 Finished examples/lpr_checker/array                           12m59s   6GB
Aug 10 22:45:12 Starting examples/lpr_checker/array/compilation
Aug 10 22:49:03 Finished examples/lpr_checker/array/compilation                3m49s   6GB
Aug 10 22:49:03 Starting examples/lpr_checker/array/compilation/proofs
Aug 10 22:50:42 Finished examples/lpr_checker/array/compilation/proofs         1m37s   6GB
Aug 10 22:50:43 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 10 22:52:30 Finished examples/lpr_checker/array/compilation/proofsARM8     1m46s   5GB
Aug 10 22:52:31 Starting .
Aug 10 22:52:34 Finished .                                                        2s 338MB
Aug 10 22:52:35 Starting examples/xlrup_checker
Aug 10 22:53:28 Finished examples/xlrup_checker                                  52s   1GB
Aug 10 22:53:29 Starting examples/xlrup_checker/array
Aug 10 23:02:45 Finished examples/xlrup_checker/array                          9m13s   4GB
Aug 10 23:02:46 Starting examples/xlrup_checker/array/compilation
Aug 10 23:04:20 Finished examples/xlrup_checker/array/compilation              1m33s   5GB
Aug 10 23:04:21 Starting examples/xlrup_checker/array/compilation/proofs
Aug 10 23:05:51 Finished examples/xlrup_checker/array/compilation/proofs       1m29s   5GB
Aug 10 23:05:52 Starting examples/cnf
Aug 10 23:06:15 Finished examples/cnf                                            22s 425MB
Aug 10 23:06:16 Starting examples/cnf/array
Aug 10 23:08:44 Finished examples/cnf/array                                    2m27s   2GB
Aug 10 23:08:45 Starting examples/cnf/dist
Aug 10 23:08:51 Finished examples/cnf/dist                                        5s 266MB
Aug 10 23:08:52 Starting examples/cnf/dist/array
Aug 10 23:15:46 Finished examples/cnf/dist/array                               6m53s   6GB
Aug 10 23:15:47 Starting examples/cnf/dist/array/compilation
Aug 10 23:16:44 Finished examples/cnf/dist/array/compilation                     55s   3GB
Aug 10 23:16:45 Starting examples/cnf/dist/array/compilation/proofs
Aug 10 23:18:03 Finished examples/cnf/dist/array/compilation/proofs            1m17s   4GB
Aug 10 23:18:04 Starting examples/scpog_checker
Aug 10 23:18:52 Finished examples/scpog_checker                                  47s   1GB
Aug 10 23:18:53 Starting examples/scpog_checker/array
Aug 10 23:24:39 Finished examples/scpog_checker/array                          5m45s   2GB
Aug 10 23:24:40 Starting examples/scpog_checker/array/compilation
Aug 10 23:27:10 Finished examples/scpog_checker/array/compilation              2m28s   8GB
Aug 10 23:27:11 Starting examples/scpog_checker/array/compilation/proofs
Aug 10 23:28:54 Finished examples/scpog_checker/array/compilation/proofs       1m42s   6GB
Aug 10 23:28:55 Starting examples/pseudo_bool
Aug 10 23:31:11 Finished examples/pseudo_bool                                  2m15s   1GB
Aug 10 23:31:12 Starting examples/pseudo_bool/cnf_encoding
Aug 10 23:31:48 Finished examples/pseudo_bool/cnf_encoding                       34s 973MB
Aug 10 23:31:49 Starting examples/pseudo_bool/graph_encoding
Aug 10 23:32:35 Finished examples/pseudo_bool/graph_encoding                     45s   1GB
Aug 10 23:32:36 Starting examples/pseudo_bool/array
Aug 11 00:16:28 Finished examples/pseudo_bool/array                           43m51s  23GB
Aug 11 00:16:29 Starting examples/pseudo_bool/array/compilation
Aug 11 00:39:59 Finished examples/pseudo_bool/array/compilation               23m28s  21GB
Aug 11 00:40:00 Starting examples/pseudo_bool/array/compilation/proofs
Aug 11 00:47:48 Finished examples/pseudo_bool/array/compilation/proofs         7m47s   9GB
Aug 11 00:47:49 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 11 00:50:30 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m39s   8GB
Aug 11 00:50:31 Starting examples/pseudo_bool/cp_encoding
Aug 11 00:53:49 Finished examples/pseudo_bool/cp_encoding                      3m17s   1GB
Aug 11 00:53:50 Starting examples/pseudo_bool/cp_encoding/array
Aug 11 00:59:57 Finished examples/pseudo_bool/cp_encoding/array                6m06s   4GB
Aug 11 00:59:58 Starting examples/pseudo_bool/cp_encoding/array/compilation
Aug 11 01:17:35 Finished examples/pseudo_bool/cp_encoding/array/compilation    17m36s  38GB
Aug 11 01:17:36 Starting examples/pseudo_bool/cp_encoding/array/compilation/proofs
Aug 11 01:21:35 Finished examples/pseudo_bool/cp_encoding/array/compilation/proofs     3m58s  13GB
Aug 11 01:21:36 Starting examples/opentheory
Aug 11 01:28:46 Finished examples/opentheory                                   7m08s   3GB
Aug 11 01:28:46 Starting examples/opentheory/compilation
Aug 11 01:30:52 Finished examples/opentheory/compilation                       2m04s   6GB
Aug 11 01:30:53 Starting examples/opentheory/compilation/proofs
Aug 11 01:32:33 Finished examples/opentheory/compilation/proofs                1m39s   5GB
Aug 11 01:32:34 Starting examples/opentheory/compilation/ag32
Aug 11 01:34:47 Finished examples/opentheory/compilation/ag32                  2m11s   6GB
Aug 11 01:34:48 Starting examples/opentheory/compilation/ag32/proofs
Aug 11 01:36:43 Finished examples/opentheory/compilation/ag32/proofs           1m54s   7GB
Aug 11 01:36:44 Starting examples/sat_encodings
Aug 11 01:37:53 Finished examples/sat_encodings                                1m07s 695MB
Aug 11 01:37:54 Starting examples/sat_encodings/demo
Aug 11 01:37:55 Finished examples/sat_encodings/demo                              0s   7MB
Aug 11 01:37:56 Starting examples/sat_encodings/case_studies
Aug 11 01:39:42 Finished examples/sat_encodings/case_studies                   1m45s   1GB
Aug 11 01:39:43 Starting examples/sat_encodings/translation
Aug 11 01:43:40 Finished examples/sat_encodings/translation                    3m55s   3GB
Aug 11 01:43:41 Starting examples/sat_encodings/translation/compilation
Aug 11 01:46:22 Finished examples/sat_encodings/translation/compilation        2m40s   5GB
Aug 11 01:46:23 Starting examples/deflate
Aug 11 01:46:47 Finished examples/deflate                                        22s 433MB
Aug 11 01:46:48 Starting examples/deflate/translation
Aug 11 01:47:53 Finished examples/deflate/translation                          1m04s   3GB
Aug 11 01:47:53 Starting examples/deflate/translation/compilation
Aug 11 01:49:01 Finished examples/deflate/translation/compilation              1m06s   4GB
Aug 11 01:49:01 Starting examples/vipr
Aug 11 01:51:38 Finished examples/vipr                                         2m35s   6GB
Aug 11 01:51:38 Starting examples/vipr/compilation
Aug 11 01:52:58 Finished examples/vipr/compilation                             1m18s   4GB
Aug 11 01:52:59 Starting examples/flover/Infra
Aug 11 01:53:34 Finished examples/flover/Infra                                   34s   1GB
Aug 11 01:53:35 Starting examples/flover/semantics
Aug 11 01:55:01 Finished examples/flover/semantics                             1m24s   1GB
Aug 11 01:55:02 Starting examples/flover
Aug 11 02:14:50 Finished examples/flover                                      19m47s   1GB
Aug 11 02:14:51 Starting examples/template
Aug 11 02:14:54 Finished examples/template                                        2s 168MB
Aug 11 02:14:55 Starting examples/template/translation
Aug 11 02:15:20 Finished examples/template/translation                           24s 939MB
Aug 11 02:15:21 Starting examples/template/compilation
Aug 11 02:16:40 Finished examples/template/compilation                         1m18s   4GB
Aug 11 02:16:41 Starting translator/okasaki-examples
Aug 11 02:20:01 Finished translator/okasaki-examples                           3m18s   3GB
Aug 11 02:20:01 Starting translator/other-examples
Aug 11 02:22:47 Finished translator/other-examples                             2m44s   2GB
Aug 11 02:22:48 Starting translator/other-examples/auxiliary
Aug 11 02:22:48 Finished translator/other-examples/auxiliary                      0s  11MB
Aug 11 02:22:49 Starting compiler/parsing/tests
Aug 11 02:23:33 Finished compiler/parsing/tests                                  42s   1GB
Aug 11 02:23:34 Starting compiler/inference/tests
Aug 11 02:24:20 Finished compiler/inference/tests                                45s   3GB
Aug 11 02:24:21 Starting compiler/printing/test
Aug 11 02:27:39 Finished compiler/printing/test                                3m17s  16GB
Aug 11 02:27:40 Starting compiler/repl
Aug 11 02:27:43 Finished compiler/repl                                            2s 273MB
Aug 11 02:27:44 Starting compiler/benchmarks
Aug 11 02:42:33 Finished compiler/benchmarks                                  14m48s   2GB
Aug 11 02:42:34 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Aug 11 02:42:37 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 293MB
Aug 11 02:42:38 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Aug 11 02:42:41 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 280MB
Aug 11 02:42:41 Starting compiler/bootstrap/translation
Aug 11 04:28:07 Finished compiler/bootstrap/translation                     1h45m23s  38GB
Aug 11 04:28:08 Starting compiler/bootstrap/compilation/x64/64
Aug 11 04:33:26 Finished compiler/bootstrap/compilation/x64/64                 5m16s  24GB
Aug 11 04:33:27 Starting compiler/bootstrap/compilation/x64/32
Aug 11 05:09:24 Finished compiler/bootstrap/compilation/x64/32                35m56s  63GB
Aug 11 05:09:25 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 11 05:18:09 Finished compiler/bootstrap/compilation/x64/32/proofs          8m42s  30GB
Aug 11 05:18:10 Starting compiler/bootstrap/compilation/arm8/64
Aug 11 06:12:10 Finished compiler/bootstrap/compilation/arm8/64               53m59s  81GB
Aug 11 06:12:10 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 11 06:23:43 Finished compiler/bootstrap/compilation/arm8/64/proofs        11m32s  40GB
Aug 11 06:23:44 Starting compiler/bootstrap/compilation/ag32/32
Aug 11 07:10:36 Finished compiler/bootstrap/compilation/ag32/32               46m50s  51GB
Aug 11 07:10:36 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 11 07:20:40 Finished compiler/bootstrap/compilation/ag32/32/proofs        10m02s  38GB
Aug 11 07:20:41 Starting unverified/sexpr-bootstrap/x64/64
Aug 11 07:27:22 Finished unverified/sexpr-bootstrap/x64/64                     6m40s  25GB
Aug 11 07:27:23 Starting unverified/sexpr-bootstrap/x64/32
Aug 11 07:33:00 Finished unverified/sexpr-bootstrap/x64/32                     5m36s  22GB
Aug 11 07:33:01 SUCCESS