x86 update

Stephen Weeks MLton@sourcelight.com
Mon, 8 Jan 2001 10:56:31 -0800 (PST)


> Here's an updated version of the x86-codegen directory.

I integrated it and ran some tests over the weekend.  The self compile failed
during the x86 code gen pass due to running out of memory.  Something really bad 
must have happened, since the max live with the old x86-codegen was about 60M.
I had made some changes to the closure converter, but I can't imagine how they
would have caused this.  Anyways, I'll revert back to the old x86-codegen and
see if I can do a self-compile there.

Matthew, do you want a snapshot?

Here's the log.

--------------------------------------------------------------------------------

cd /home/sweeks/mlton/src/mlton && make
make[1]: Entering directory `/home/sweeks/mlton/src/mlton'
Compiling mlton (takes a while)
time mlton -vv -no-polyvariance mlton.cm
MLton internal (built Sat Jan  6 16:59:37 2001 on eponym.epr.com)
  created this file on Sat Jan  6 17:00:51 2001.
Do not edit this file.
Flag settings: 
   aux: false
   chunk: chunk per function
   contify strategy: Both
   debug: false
   defines: [NODEBUG,MLton_safe=TRUE,MLton_detectOverflow=TRUE]
   detect overflow: true
   fixed heap: None
   indentation: 3
   includes: [mlton.h]
   inline: NonRecursive {product = 320,small = 60}
   input file: mlton.cm
   instrument: false
   instrument Sxml: false
   keep Cps: false
   match: left to right
   native: true
   native commented: 0
   native copy prop: true
   future: 64
   native ieee fp: false
   native live transfer: true
   native move hoist: true
   native optimize: 1
   native split: Some(100000)
   polyvariance: None
   print at fun entry: false
   profile: false
   safe: true
   show types: false
   static: false
   use basis library: true
   verbose: true
   very verbose: true
Compile SML starting
   parse and elaborate starting
   parse and elaborate finished in 39.510
   core-ml size is ~1 bytes
   numPeeks = 14
   average position in property list = 0.000
   numPeeks = 295636
   average position in bucket = 1.503
   lex and parse totals 17.810
   elaborate totals 21.620
   dead starting
   dead finished in 0.320
   basis size is ~1 bytes
   numPeeks = 73962
   average position in property list = 0.000
   numPeeks = 295636
   average position in bucket = 1.503
   size = 189868
   gcc -DNODEBUG -DMLton_safe=TRUE -DMLton_detectOverflow=TRUE \
       -I/home/sweeks/mlton/include -o /tmp/fileq1lDxm /tmp/file7f9jlg.c \
       -L/home/sweeks/mlton/lib -lmlton -lm -lgmp
   /tmp/fileq1lDxm /tmp/fileem2uGw
   infer starting
      unification starting
      unification finished in 17.750
      finish infer starting
      finish infer finished in 55.760
   infer finished in 74.900
   xml.unsimplified size is ~1 bytes
   numPeeks = 1103978
   average position in property list = 0.000
   numPeeks = 436665
   average position in bucket = 1.443
   typeCheck starting
   typeCheck finished in 12.290
   infer simplify starting
   infer simplify finished in 43.440
   xml size is ~1 bytes
   numPeeks = 4137888
   average position in property list = 0.081
   numPeeks = 603862
   average position in bucket = 1.520
   typeCheck starting
   typeCheck finished in 7.780
   size = 123391
   num types in program = 21613
   num distinct types = 38537
   hash table size is ~1 bytes
   mono starting
   mono finished in 62.150
   mono.unsimplified size is ~1 bytes
   numPeeks = 9603461
   average position in property list = 0.035
   numPeeks = 1528144
   average position in bucket = 1.962
   typeCheck starting
   typeCheck finished in 13.550
   mono simplify starting
   mono simplify finished in 56.580
   mono size is ~1 bytes
   numPeeks = 13809561
   average position in property list = 0.067
   numPeeks = 1634783
   average position in bucket = 1.944
   typeCheck starting
   typeCheck finished in 9.700
   size = 208277
   num types in program = 14338
   num distinct types = 73349
   hash table size is ~1 bytes
   implement exceptions starting
   implement exceptions finished in 1.980
   sxml.unsimplified size is ~1 bytes
   numPeeks = 14754204
   average position in property list = 0.062
   numPeeks = 1716999
   average position in bucket = 1.939
   typeCheck starting
   typeCheck finished in 10.260
   implement exceptions simplify starting
   implement exceptions simplify finished in 42.860
   sxml size is ~1 bytes
   numPeeks = 17990842
   average position in property list = 0.071
   numPeeks = 1800704
   average position in bucket = 1.935
   typeCheck starting
   typeCheck finished in 9.260
   polyvariance starting
   polyvariance finished in 0.000
   sxml.poly size is ~1 bytes
   numPeeks = 18578972
   average position in property list = 0.069
   numPeeks = 1880362
   average position in bucket = 1.932
   size = 195297
   num types in program = 13891
   num distinct types = 73825
   hash table size is ~1 bytes
   closure convert starting
      original size is ~1 bytes
      after flow analysis size is ~1 bytes
      free variables starting
      free variables finished in 7.470
      after lambda free size is ~1 bytes
      globalize starting
      globalize finished in 2.290
      after globalize size is ~1 bytes
      convert starting
      convert finished in 113.090
   closure convert finished in 144.740
   cps.unsimplified size is ~1 bytes
   numPeeks = 24806962
   average position in property list = 0.724
   numPeeks = 1948901
   average position in bucket = 1.890
   typeCheck starting
      checkScopes starting
	 inferHandlers starting
	 inferHandlers finished in 7.660
      checkScopes finished in 16.060
   typeCheck finished in 37.760
   closure convert simplify starting
      simplify starting
	 num functions 13566
	 num local functions 152068
	 num primExps 170387
	 removeUnused starting
	 removeUnused finished in 10.650
	 num functions 11725
	 num local functions 88606
	 num primExps 152043
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 4.180
	    checkScopes finished in 9.710
	 typeCheck finished in 25.870
	 leaf-inline starting
	    inline starting
	    inline finished in 29.580
	 leaf-inline finished in 29.580
	 num functions 8874
	 num local functions 62161
	 num primExps 150203
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 3.100
	    checkScopes finished in 7.240
	 typeCheck finished in 21.100
	 raise-to-jump starting
	    inferHandlers starting
	    inferHandlers finished in 2.940
	 raise-to-jump finished in 23.440
	 num functions 8874
	 num local functions 61715
	 num primExps 150177
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 2.900
	    checkScopes finished in 7.080
	 typeCheck finished in 20.970
	 contify starting
	 contify finished in 21.050
	 num functions 3868
	 num local functions 57592
	 num primExps 140659
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 2.790
	    checkScopes finished in 6.550
	 typeCheck finished in 19.040
	 constantPropagation starting
	    inferHandlers starting
	    inferHandlers finished in 2.720
	    fixed point starting
	    fixed point finished in 22.940
	 constantPropagation finished in 49.630
	 num functions 3868
	 num local functions 56924
	 num primExps 103105
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 2.750
	    checkScopes finished in 6.350
	 typeCheck finished in 18.830
	 useless starting
	    analyze starting
	    analyze finished in 41.710
	 useless finished in 79.560
	 num functions 3868
	 num local functions 54012
	 num primExps 93425
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 2.740
	    checkScopes finished in 5.930
	 typeCheck finished in 16.110
	 removeUnused starting
	 removeUnused finished in 3.750
	 num functions 3798
	 num local functions 52600
	 num primExps 90720
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 2.540
	    checkScopes finished in 5.500
	 typeCheck finished in 15.400
	 simplifyTypes starting
	    fixed point starting
	    fixed point finished in 0.200
	 simplifyTypes finished in 22.630
	 num functions 3798
	 num local functions 43839
	 num primExps 87365
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 2.020
	    checkScopes finished in 4.580
	 typeCheck finished in 13.380
	 poly-equal starting
	 poly-equal finished in 0.600
	 num functions 3810
	 num local functions 44491
	 num primExps 87899
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 2.230
	    checkScopes finished in 4.720
	 typeCheck finished in 13.730
	 contify starting
	 contify finished in 12.870
	 num functions 3698
	 num local functions 44456
	 num primExps 87742
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 2.120
	    checkScopes finished in 4.580
	 typeCheck finished in 13.610
	 inline starting
	 inline finished in 35.670
	 num functions 999
	 num local functions 69449
	 num primExps 140001
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 3.560
	    checkScopes finished in 7.490
	 typeCheck finished in 22.220
	 removeUnused starting
	 removeUnused finished in 4.980
	 num functions 999
	 num local functions 67187
	 num primExps 138905
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 3.360
	    checkScopes finished in 9.080
	 typeCheck finished in 23.630
	 raise-to-jump starting
	    inferHandlers starting
	    inferHandlers finished in 3.360
	 raise-to-jump finished in 25.150
	 num functions 999
	 num local functions 67141
	 num primExps 138888
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 3.310
	    checkScopes finished in 7.270
	 typeCheck finished in 21.840
	 contify starting
	 contify finished in 19.850
	 num functions 998
	 num local functions 67139
	 num primExps 138886
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 3.450
	    checkScopes finished in 7.410
	 typeCheck finished in 22.030
	 introduce-loops starting
	 introduce-loops finished in 0.070
	 num functions 998
	 num local functions 67163
	 num primExps 138886
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 4.910
	    checkScopes finished in 8.910
	 typeCheck finished in 23.430
	 loop-invariant starting
	 loop-invariant finished in 21.250
	 num functions 998
	 num local functions 63840
	 num primExps 130741
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 3.220
	    checkScopes finished in 6.980
	 typeCheck finished in 20.560
	 flatten starting
	    analyze starting
	    analyze finished in 1.590
	 flatten finished in 36.690
	 num functions 998
	 num local functions 63922
	 num primExps 89591
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 3.170
	    checkScopes finished in 6.520
	 typeCheck finished in 18.730
	 redundant starting
	 redundant finished in 7.600
	 num functions 998
	 num local functions 63922
	 num primExps 89591
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 3.530
	    checkScopes finished in 7.000
	 typeCheck finished in 19.200
	 removeUnused starting
	 removeUnused finished in 5.830
	 num functions 998
	 num local functions 63602
	 num primExps 87907
	 typeCheck starting
	    checkScopes starting
	       inferHandlers starting
	       inferHandlers finished in 3.140
	    checkScopes finished in 6.610
	 typeCheck finished in 18.770
      simplify finished in 864.350
   closure convert simplify finished in 864.350
   cps size is ~1 bytes
   numPeeks = 98981043
   average position in property list = 0.255
   numPeeks = 4039039
   average position in bucket = 1.837
   typeCheck starting
      checkScopes starting
	 inferHandlers starting
	 inferHandlers finished in 3.070
      checkScopes finished in 8.160
   typeCheck finished in 20.390
   backend starting
      compute representations starting
      compute representations finished in 0.160
      inferHandlers starting
      inferHandlers finished in 3.150
      chunkify starting
      chunkify finished in 0.130
      allocate registers starting
      allocate registers finished in 45.780
   backend finished in 74.910
    size is ~1 bytes
   numPeeks = 109890764
   average position in property list = 0.283
   numPeeks = 4129569
   average position in bucket = 1.841
   x86 code gen starting
      outputC starting
      outputC finished in 1.080
      outputAssembly starting
/usr/local/bin/sml: Error -- unable to map 446103552 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 446431232 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 446562304 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 446758912 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 446889984 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 447021056 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 447086592 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 447217664 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 447283200 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 447414272 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 447545344 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 447610880 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 447741952 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 447873024 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 448004096 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 448069632 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 448200704 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 448331776 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 448397312 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 448528384 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 448659456 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 448724992 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 448856064 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 448987136 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 449118208 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 449183744 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 449314816 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 449445888 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 449511424 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 449642496 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 449773568 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 449839104 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 449970176 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 450101248 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 450232320 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 450297856 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 450428928 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 450494464 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 450625536 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 450756608 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 450887680 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 450953216 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 451084288 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 451215360 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 451346432 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 451411968 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 451543040 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 451608576 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 451739648 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 451870720 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 452001792 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 452067328 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 452198400 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 452329472 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 452460544 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 452526080 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 452657152 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 452722688 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 452853760 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 452984832 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 453115904 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 453181440 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 453312512 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 453443584 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 453509120 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 453640192 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 453705728 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 453836800 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 453967872 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 454098944 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 454164480 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 454295552 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 454426624 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 454557696 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 454623232 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 454754304 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 454819840 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 454950912 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 455081984 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 455147520 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 455278592 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 455409664 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 455540736 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 455606272 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 455737344 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 455802880 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 455933952 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 456065024 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 456196096 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 456261632 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 456392704 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 456523776 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 456589312 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 456720384 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 456851456 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 456916992 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 457048064 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 457179136 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 457310208 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 457375744 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 457506816 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 457637888 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 457703424 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 457834496 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 457965568 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 458031104 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 458162176 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 458293248 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 458424320 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 458489856 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 458620928 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 458752000 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 458817536 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 458948608 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 459079680 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 459145216 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 459276288 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 459407360 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 459538432 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 459603968 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 459735040 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 459800576 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 459931648 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 460062720 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 460193792 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 460259328 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 460390400 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 460521472 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 460652544 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 460718080 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 460783616 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 460914688 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 461045760 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 461176832 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 461242368 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 461373440 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 461504512 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 461635584 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 461701120 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 461832192 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 461897728 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 462028800 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 462159872 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 462225408 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 462356480 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 462487552 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 462618624 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 462684160 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 462815232 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 462880768 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 463011840 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 463142912 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 463273984 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 463339520 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 463470592 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 463601664 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 463732736 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 463798272 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 463929344 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 463994880 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 464125952 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 464257024 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 464388096 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 464453632 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 464584704 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 464715776 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 464846848 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 464912384 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 465043456 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 465108992 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 465240064 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 465371136 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 465502208 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 465567744 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 465698816 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 465829888 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 465895424 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 466026496 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 466157568 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 466223104 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 466354176 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 466485248 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 466616320 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 466681856 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 466812928 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 466944000 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 467009536 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 467140608 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 467271680 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 467337216 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 467468288 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 467599360 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 467730432 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 467795968 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 467927040 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 468058112 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 468123648 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 468254720 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 468320256 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 468451328 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 468582400 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 468713472 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 468779008 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 468910080 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 468975616 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 469106688 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 469237760 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 469368832 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 469434368 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 469565440 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 469696512 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 469762048 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 469893120 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 470024192 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 470089728 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 470220800 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 470351872 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 470417408 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 470548480 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 470679552 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 470810624 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 470876160 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 471007232 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 471138304 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 471203840 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 471334912 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 471465984 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 471531520 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 471662592 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 471793664 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 471924736 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 471990272 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 472121344 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 472186880 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 472317952 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 472449024 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 472580096 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 472645632 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 472776704 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 472907776 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 473038848 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 473104384 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 473235456 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 473300992 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 473432064 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 473563136 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 473694208 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 473759744 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 473890816 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 474021888 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 474152960 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 474218496 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 474349568 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 474415104 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 474546176 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 474677248 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 474808320 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 474873856 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 475004928 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 475136000 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 475201536 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 475332608 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 475398144 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 475529216 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 475660288 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 475791360 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 475856896 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 475987968 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 476119040 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 476250112 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 476315648 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 476446720 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 476512256 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 476643328 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 476774400 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 476905472 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 476971008 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 477102080 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 477233152 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 477298688 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 477429760 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 477495296 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 477626368 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 477757440 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 477888512 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 477954048 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 478085120 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 478216192 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 478281728 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 478412800 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 478543872 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 478609408 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 478740480 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 478871552 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 479002624 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 479068160 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 479199232 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 479330304 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 479395840 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 479526912 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 479657984 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 479723520 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 479854592 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 479985664 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 480116736 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 480182272 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 480313344 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 480444416 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 480509952 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 480641024 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 480772096 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 480837632 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 480968704 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 481099776 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 481230848 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 481296384 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 481427456 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 481492992 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 481624064 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 481755136 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 481886208 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 481951744 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 482082816 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 482213888 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 482344960 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 482410496 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 482476032 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 482607104 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 482738176 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 482869248 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 482934784 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 483065856 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 483196928 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 483328000 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 483393536 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 483524608 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 483590144 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 483721216 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 483852288 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 483983360 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 484048896 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 484179968 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 484311040 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 484376576 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 484507648 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 484573184 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 484704256 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 484835328 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 484966400 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 485031936 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 485163008 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 485294080 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 485425152 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 485490688 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 485621760 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 485687296 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 485818368 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 485949440 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 486080512 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 486146048 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 486277120 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 486408192 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 486539264 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 486604800 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 486735872 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 486801408 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 486932480 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 487063552 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 487194624 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 487260160 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 487391232 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 487522304 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 487587840 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 487718912 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 487849984 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 487915520 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 488046592 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 488177664 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 488308736 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 488374272 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 488505344 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 488636416 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 488701952 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 488833024 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 488964096 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 489029632 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 489160704 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 489291776 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 489422848 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 489488384 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 489619456 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 489750528 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 489816064 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 489947136 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 490012672 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 490143744 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 490274816 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 490405888 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 490471424 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 490602496 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 490668032 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 490799104 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 490930176 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 491061248 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 491126784 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 491257856 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 491388928 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 491520000 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 491585536 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 491716608 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 491782144 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 491913216 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 492044288 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 492109824 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 492240896 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 492371968 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 492503040 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 492568576 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 492699648 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 492830720 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 492896256 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 493027328 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 493158400 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 493223936 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 493355008 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 493486080 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 493617152 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 493682688 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 493813760 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 493879296 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 494010368 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 494141440 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 494272512 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 494338048 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 494469120 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 494600192 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 494731264 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 494796800 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 494927872 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 494993408 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 495124480 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 495255552 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 495386624 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 495452160 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 495583232 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 495714304 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 495845376 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 495910912 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 496041984 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 496107520 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 496238592 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 496369664 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 496500736 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 496566272 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 496697344 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 496828416 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 496893952 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 497025024 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 497090560 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 497221632 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 497352704 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 497483776 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 497549312 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 497680384 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 497811456 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 497942528 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 498008064 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 498139136 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 498204672 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 498335744 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 498466816 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 498597888 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 498663424 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 498794496 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 498925568 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 498991104 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 499122176 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 499187712 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 499318784 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 499449856 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 499580928 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 499646464 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 499777536 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 499908608 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 499974144 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 500105216 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 500236288 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 500301824 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 500432896 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 500563968 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 500695040 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 500760576 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 500891648 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 501022720 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 501088256 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 501219328 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 501350400 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 501415936 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 501547008 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 501678080 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 501809152 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 501874688 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 502005760 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 502136832 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 502202368 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 502333440 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 502464512 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 502530048 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 502661120 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 502792192 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 502923264 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 502988800 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 503119872 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 503185408 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 503316480 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 503447552 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 503578624 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 503644160 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 503775232 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 503906304 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 504037376 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 504102912 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 504168448 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 504299520 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 504430592 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 504561664 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 504627200 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 504758272 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 504889344 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 505020416 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 505085952 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 505217024 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 505282560 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 505413632 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 505544704 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 505675776 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 505741312 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 505872384 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 506003456 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 506134528 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 506200064 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 506265600 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 506396672 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 506527744 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 506658816 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 506724352 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 506855424 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 506986496 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 507117568 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 507183104 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 507314176 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 507379712 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 507510784 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 507641856 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 507772928 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 507838464 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 507969536 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 508100608 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 508231680 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 508297216 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 508428288 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 508493824 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 508624896 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 508755968 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 508887040 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 508952576 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 509083648 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 509214720 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 509280256 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 509411328 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 509542400 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 509607936 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 509739008 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 509870080 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 510001152 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 510066688 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 510197760 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 510328832 bytes, errno = 12
/usr/local/bin/sml: Error -- unable to allocate to-space for generation 5; trying smaller size
/usr/local/bin/sml: Error -- unable to map 354222080 bytes, errno = 12
/usr/local/bin/sml: Fatal error -- unable to allocate minimum size

Command exited with non-zero status 1
17816.92user 5704.59system 13:45:45elapsed 47%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (16038326major+84405751minor)pagefaults 23589632swaps
make[1]: *** [mlton] Error 1
make[1]: Leaving directory `/home/sweeks/mlton/src/mlton'
make: *** [/home/sweeks/mlton/src/mlton/mlton] Error 2