Job 1928

CakeML:711bd65ac2a8de19d34be9a75d09b8b9e91e45b4
  fix Holmakefile [Jun 14 13:20:25]
#890 (pseudo_bool)
Merging into:f7195c3d29d6bd5f389a7ff307f998a45d56552f
  Merge pull request #888 from CakeML/deflate [Jun 09 07:20:45]
HOL:55691be292491aef452ee5e7c56e67b02601f669
  Holmake: fix mlton build [Jun 10 00:41:25]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jun 14 13:50:09 Claimed job
Jun 14 13:50:11 Reusing HOL
Jun 14 13:50:50 Starting developers
Jun 14 13:50:55 Finished developers                                               5s  98MB
Jun 14 13:50:55 Starting developers/bin
Jun 14 13:52:38 Finished developers/bin                                        1m42s   1GB
Jun 14 13:52:38 Starting semantics/ffi
Jun 14 13:52:49 Finished semantics/ffi                                           10s 215MB
Jun 14 13:52:50 Starting semantics
Jun 14 13:55:29 Finished semantics                                             2m39s   1GB
Jun 14 13:55:29 Starting semantics/proofs
Jun 14 14:03:03 Finished semantics/proofs                                      7m33s   1GB
Jun 14 14:03:03 Starting semantics/alt_semantics
Jun 14 14:03:32 Finished semantics/alt_semantics                                 28s 541MB
Jun 14 14:03:33 Starting semantics/alt_semantics/proofs
Jun 14 14:16:04 Finished semantics/alt_semantics/proofs                       12m31s   1GB
Jun 14 14:16:05 Starting basis/pure
Jun 14 14:17:13 Finished basis/pure                                            1m08s 925MB
Jun 14 14:17:13 Starting translator
Jun 14 14:21:10 Finished translator                                            3m56s   1GB
Jun 14 14:21:11 Starting compiler/parsing
Jun 14 14:22:40 Finished compiler/parsing                                      1m28s   3GB
Jun 14 14:22:40 Starting characteristic
Jun 14 14:29:56 Finished characteristic                                        7m16s   2GB
Jun 14 14:29:57 Starting translator/monadic
Jun 14 14:32:04 Finished translator/monadic                                    2m05s   1GB
Jun 14 14:32:04 Starting basis
Jun 14 15:25:50 Finished basis                                                53m45s  15GB
Jun 14 15:25:51 Starting compiler/inference
Jun 14 15:27:28 Finished compiler/inference                                    1m36s   1GB
Jun 14 15:27:28 Starting compiler/backend/reg_alloc
Jun 14 15:29:17 Finished compiler/backend/reg_alloc                            1m49s   1GB
Jun 14 15:29:18 Starting compiler/backend/gc
Jun 14 15:34:03 Finished compiler/backend/gc                                   4m45s   2GB
Jun 14 15:34:04 Starting compiler/backend
Jun 14 15:40:38 Finished compiler/backend                                      6m34s   2GB
Jun 14 15:40:38 Starting compiler/encoders/asm
Jun 14 15:41:10 Finished compiler/encoders/asm                                   31s 661MB
Jun 14 15:41:11 Starting compiler/encoders/x64
Jun 14 15:41:43 Finished compiler/encoders/x64                                   31s   1GB
Jun 14 15:41:43 Starting compiler/encoders/arm7
Jun 14 15:42:40 Finished compiler/encoders/arm7                                  56s   1GB
Jun 14 15:42:40 Starting compiler/encoders/arm8
Jun 14 15:42:59 Finished compiler/encoders/arm8                                  18s 658MB
Jun 14 15:42:59 Starting compiler/encoders/arm8_asl
Jun 14 15:45:57 Finished compiler/encoders/arm8_asl                            2m57s   1GB
Jun 14 15:45:57 Starting compiler/encoders/mips
Jun 14 15:46:20 Finished compiler/encoders/mips                                  22s   1GB
Jun 14 15:46:20 Starting compiler/encoders/riscv
Jun 14 15:46:42 Finished compiler/encoders/riscv                                 21s 915MB
Jun 14 15:46:42 Starting compiler/encoders/ag32
Jun 14 15:47:06 Finished compiler/encoders/ag32                                  23s 806MB
Jun 14 15:47:06 Starting compiler/backend/x64
Jun 14 15:47:30 Finished compiler/backend/x64                                    23s   1GB
Jun 14 15:47:30 Starting compiler/backend/arm7
Jun 14 15:47:55 Finished compiler/backend/arm7                                   24s   1GB
Jun 14 15:47:55 Starting compiler/backend/arm8
Jun 14 15:48:19 Finished compiler/backend/arm8                                   23s   1GB
Jun 14 15:48:20 Starting compiler/backend/mips
Jun 14 15:48:45 Finished compiler/backend/mips                                   24s   1GB
Jun 14 15:48:45 Starting compiler/backend/riscv
Jun 14 15:49:09 Finished compiler/backend/riscv                                  23s   1GB
Jun 14 15:49:09 Starting compiler/backend/ag32
Jun 14 15:50:42 Finished compiler/backend/ag32                                 1m32s   1GB
Jun 14 15:50:42 Starting compiler/parsing/proofs
Jun 14 15:54:45 Finished compiler/parsing/proofs                               4m02s   1GB
Jun 14 15:54:45 Starting compiler/inference/proofs
Jun 14 15:57:41 Finished compiler/inference/proofs                             2m56s   1GB
Jun 14 15:57:42 Starting compiler/backend/semantics
Jun 14 16:35:10 Finished compiler/backend/semantics                           37m28s   2GB
Jun 14 16:35:11 Starting compiler/backend/reg_alloc/proofs
Jun 14 16:39:05 Finished compiler/backend/reg_alloc/proofs                     3m54s   1GB
Jun 14 16:39:05 Starting compiler/backend/proofs
Jun 14 17:39:01 Finished compiler/backend/proofs                              59m55s  17GB
Jun 14 17:39:02 Starting compiler/backend/serialiser
Jun 14 17:40:46 Finished compiler/backend/serialiser                           1m43s   1GB
Jun 14 17:40:46 Starting compiler/encoders/x64/proofs
Jun 14 17:51:02 Finished compiler/encoders/x64/proofs                         10m15s   5GB
Jun 14 17:51:02 Starting compiler/encoders/arm7/proofs
Jun 14 18:05:15 Finished compiler/encoders/arm7/proofs                        14m13s   3GB
Jun 14 18:05:16 Starting compiler/encoders/arm8/proofs
Jun 14 18:12:34 Finished compiler/encoders/arm8/proofs                         7m17s   1GB
Jun 14 18:12:34 Starting compiler/encoders/arm8_asl/proofs
Jun 14 18:29:06 Finished compiler/encoders/arm8_asl/proofs                    16m31s   1GB
Jun 14 18:29:06 Starting compiler/encoders/mips/proofs
Jun 14 18:39:33 Finished compiler/encoders/mips/proofs                        10m26s   2GB
Jun 14 18:39:34 Starting compiler/encoders/riscv/proofs
Jun 14 18:48:58 Finished compiler/encoders/riscv/proofs                        9m24s   1GB
Jun 14 18:48:59 Starting compiler/encoders/ag32/proofs
Jun 14 18:51:49 Finished compiler/encoders/ag32/proofs                         2m49s 665MB
Jun 14 18:51:49 Starting compiler/backend/x64/proofs
Jun 14 18:52:19 Finished compiler/backend/x64/proofs                             30s   1GB
Jun 14 18:52:19 Starting compiler/backend/arm7/proofs
Jun 14 18:52:51 Finished compiler/backend/arm7/proofs                            31s   1GB
Jun 14 18:52:51 Starting compiler/backend/arm8/proofs
Jun 14 18:53:22 Finished compiler/backend/arm8/proofs                            30s   1GB
Jun 14 18:53:22 Starting compiler/backend/arm8_asl
Jun 14 18:53:55 Finished compiler/backend/arm8_asl                               32s   1GB
Jun 14 18:53:55 Starting compiler/backend/mips/proofs
Jun 14 18:54:26 Finished compiler/backend/mips/proofs                            30s   1GB
Jun 14 18:54:26 Starting compiler/backend/riscv/proofs
Jun 14 18:54:57 Finished compiler/backend/riscv/proofs                           30s   1GB
Jun 14 18:54:57 Starting compiler/backend/ag32/proofs
Jun 14 19:09:35 Finished compiler/backend/ag32/proofs                         14m37s   2GB
Jun 14 19:09:35 Starting compiler/proofs
Jun 14 19:11:57 Finished compiler/proofs                                       2m21s   4GB
Jun 14 19:11:57 Starting candle/set-theory
Jun 14 19:12:33 Finished candle/set-theory                                       35s 968MB
Jun 14 19:12:34 Starting candle/syntax-lib
Jun 14 19:12:48 Finished candle/syntax-lib                                       13s 645MB
Jun 14 19:12:48 Starting candle/standard/syntax
Jun 14 19:14:59 Finished candle/standard/syntax                                2m10s   1GB
Jun 14 19:14:59 Starting candle/standard/semantics
Jun 14 19:16:55 Finished candle/standard/semantics                             1m55s   1GB
Jun 14 19:16:55 Starting candle/standard/monadic
Jun 14 19:18:59 Finished candle/standard/monadic                               2m03s   1GB
Jun 14 19:18:59 Starting candle/standard/ml_kernel
Jun 14 19:25:59 Finished candle/standard/ml_kernel                             7m00s   3GB
Jun 14 19:26:00 Starting candle/overloading/syntax
Jun 14 19:29:28 Finished candle/overloading/syntax                             3m27s   1GB
Jun 14 19:29:28 Starting candle/overloading/semantics
Jun 14 19:42:01 Finished candle/overloading/semantics                         12m32s   2GB
Jun 14 19:42:01 Starting candle/overloading/monadic
Jun 14 19:44:49 Finished candle/overloading/monadic                            2m47s   1GB
Jun 14 19:44:50 Starting candle/overloading/ml_kernel
Jun 14 19:52:58 Finished candle/overloading/ml_kernel                          8m08s   3GB
Jun 14 19:52:58 Starting candle/overloading/ml_checker
Jun 14 19:55:27 Finished candle/overloading/ml_checker                         2m28s   3GB
Jun 14 19:55:28 Starting candle/prover
Jun 14 20:06:55 Finished candle/prover                                        11m27s   3GB
Jun 14 20:06:55 Starting pancake
Jun 14 20:10:59 Finished pancake                                               4m03s   4GB
Jun 14 20:10:59 Starting pancake/ffi
Jun 14 20:11:00 Finished pancake/ffi                                              0s  17MB
Jun 14 20:11:00 Starting pancake/semantics
Jun 14 20:13:48 Finished pancake/semantics                                     2m47s   1GB
Jun 14 20:13:48 Starting pancake/proofs
Jun 14 20:26:55 Finished pancake/proofs                                       13m06s   6GB
Jun 14 20:26:55 Starting characteristic/examples
Jun 14 20:28:29 Finished characteristic/examples                               1m32s   3GB
Jun 14 20:28:29 Starting tutorial/solutions
Jun 14 20:46:19 Finished tutorial/solutions                                   17m48s   9GB
Jun 14 20:46:19 Starting translator/monadic/examples
Jun 14 20:50:30 Finished translator/monadic/examples                           4m10s   2GB
Jun 14 20:50:30 Starting examples
Jun 14 21:01:28 Finished examples                                             10m58s   3GB
Jun 14 21:01:28 Starting examples/compilation/x64
Jun 14 23:40:02 Finished examples/compilation/x64                           2h38m33s  17GB
Jun 14 23:40:03 Starting examples/compilation/x64/proofs
Jun 14 23:42:38 Finished examples/compilation/x64/proofs                       2m34s   3GB
Jun 14 23:42:38 Starting examples/compilation/ag32
Jun 15 00:19:44 Finished examples/compilation/ag32                            37m06s   8GB
Jun 15 00:19:45 Starting examples/compilation/ag32/proofs
Jun 15 00:20:44 Finished examples/compilation/ag32/proofs                        58s   3GB
Jun 15 00:20:44 Starting examples/cost
Jun 15 01:25:44 Finished examples/cost                                      1h04m59s   8GB
Jun 15 01:25:44 Starting examples/lpr_checker
Jun 15 01:26:50 Finished examples/lpr_checker                                  1m05s   1GB
Jun 15 01:26:50 Starting examples/lpr_checker/array
Jun 15 01:57:41 Finished examples/lpr_checker/array                           30m50s   6GB
Jun 15 01:57:41 Starting examples/lpr_checker/array/compilation
Jun 15 03:24:47 Finished examples/lpr_checker/array/compilation             1h27m06s  34GB
Jun 15 03:24:48 Starting examples/lpr_checker/array/compilation/proofs
Jun 15 03:26:20 Finished examples/lpr_checker/array/compilation/proofs         1m32s   6GB
Jun 15 03:26:20 Starting examples/opentheory
Jun 15 03:37:30 Finished examples/opentheory                                  11m08s   6GB
Jun 15 03:37:30 Starting examples/opentheory
Jun 15 03:37:32 Finished examples/opentheory                                      1s  28MB
Jun 15 03:37:32 Starting examples/opentheory/compilation
Jun 15 04:20:57 Finished examples/opentheory/compilation                      43m24s  22GB
Jun 15 04:20:58 Starting examples/opentheory/compilation/proofs
Jun 15 04:21:54 Finished examples/opentheory/compilation/proofs                  56s   3GB
Jun 15 04:21:54 Starting examples/opentheory/compilation/ag32
Jun 15 05:02:37 Finished examples/opentheory/compilation/ag32                 40m43s  23GB
Jun 15 05:02:38 Starting examples/opentheory/compilation/ag32/proofs
Jun 15 05:04:32 Finished examples/opentheory/compilation/ag32/proofs           1m53s   5GB
Jun 15 05:04:32 Starting examples/sat_encodings
Jun 15 05:06:40 Finished examples/sat_encodings                                2m07s 739MB
Jun 15 05:06:40 Starting examples/sat_encodings/case_studies
Jun 15 05:08:32 Finished examples/sat_encodings/case_studies                   1m51s 978MB
Jun 15 05:08:32 Starting examples/sat_encodings/translation
Jun 15 05:14:34 Finished examples/sat_encodings/translation                    6m01s   5GB
Jun 15 05:14:34 Starting examples/sat_encodings/translation/compilation
Jun 15 06:09:55 Finished examples/sat_encodings/translation/compilation       55m20s  19GB
Jun 15 06:09:55 Starting examples/deflate
Jun 15 06:10:58 Finished examples/deflate                                      1m02s 790MB
Jun 15 06:10:58 Starting examples/deflate/translation
Jun 15 06:12:39 Finished examples/deflate/translation                          1m41s   2GB
Jun 15 06:12:40 Starting examples/deflate/translation/compilation
Jun 15 06:38:44 Finished examples/deflate/translation/compilation             26m03s  14GB
Jun 15 06:38:44 Starting translator/okasaki-examples
Jun 15 06:44:08 Finished translator/okasaki-examples                           5m24s   1GB
Jun 15 06:44:09 Starting translator/other-examples
Jun 15 06:46:14 Finished translator/other-examples                             2m04s   1GB
Jun 15 06:46:14 Starting compiler/parsing/tests
Jun 15 06:46:45 Finished compiler/parsing/tests                                  30s 605MB
Jun 15 06:46:45 Starting compiler/inference/tests
Jun 15 06:55:37 Finished compiler/inference/tests                              8m51s   3GB
Jun 15 06:55:37 Starting compiler/printing/test
Jun 15 06:59:27 Finished compiler/printing/test                                3m49s   3GB
Jun 15 06:59:28 Starting icing/flover
Jun 15 07:12:54 Finished icing/flover                                         13m25s   1GB
Jun 15 07:12:54 Starting icing/
Jun 15 08:28:23 Finished icing/                                             1h15m28s   6GB
Jun 15 08:28:23 Starting icing/examples
Jun 15 08:29:53 Finished icing/examples                                        1m30s   3GB
Jun 15 08:29:54 Starting compiler/repl
Jun 15 08:44:02 Finished compiler/repl                                        14m08s   7GB
Jun 15 08:44:03 Starting compiler/bootstrap/translation
Jun 15 13:14:13 Finished compiler/bootstrap/translation                     4h30m10s  44GB
Jun 15 13:14:14 Starting unverified/sexpr-bootstrap/x64/64
Jun 15 13:25:59 Finished unverified/sexpr-bootstrap/x64/64                    11m45s   8GB
Jun 15 13:26:00 Starting unverified/sexpr-bootstrap/x64/32
Jun 15 13:34:42 Finished unverified/sexpr-bootstrap/x64/32                     8m41s  10GB
Jun 15 13:34:42 Starting compiler/benchmarks
Jun 15 13:34:45 Finished compiler/benchmarks                                      2s  32MB
Jun 15 13:34:45 Starting compiler/bootstrap/compilation/x64/64
Jun 16 14:13:05 Finished compiler/bootstrap/compilation/x64/64             24h38m19s  64GB
Jun 16 14:13:05 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 16 14:33:08 Finished compiler/bootstrap/compilation/x64/64/proofs         20m02s  42GB
Jun 16 14:33:09 Starting compiler/bootstrap/compilation/x64/32
Jun 17 03:59:20 Finished compiler/bootstrap/compilation/x64/32             13h26m11s  64GB
Jun 17 03:59:21 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 17 04:04:01 Finished compiler/bootstrap/compilation/x64/32/proofs          4m40s  16GB
Jun 17 04:04:01 Starting compiler/bootstrap/compilation/ag32/32
Jun 17 17:33:05 Finished compiler/bootstrap/compilation/ag32/32            13h29m01s  64GB
Jun 17 17:33:05 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 17 17:57:48 Finished compiler/bootstrap/compilation/ag32/32/proofs        24m42s  25GB
Jun 17 17:57:48 SUCCESS