2003-11-26.08:00:00 [BUILD] type prodcons.smlnj | c:\smlnj\bin\sml.bat
GC #0.0.0.0.1.16:   (10 ms)
GC #0.0.0.1.2.34:   (10 ms)
GC #0.0.0.1.3.57:   (10 ms)
GC #0.0.0.1.4.70:   (0 ms)
GC #0.0.0.1.5.92:   (10 ms)
GC #0.0.0.1.6.93:   (0 ms)
GC #0.0.0.1.7.140:   (0 ms)
GC #1.1.1.2.8.142:   (10 ms)
write 1,0: 216 bytes [0x19a0000..0x19a00d8) @ 0x1000
write 1,1: 72 bytes [0x19f0008..0x19f0050) @ 0x2000
write 1,2: 24 bytes [0x1a40000..0x1a40018) @ 0x3000
write 1,3: 32 bytes [0x1ab0000..0x1ab0020) @ 0x4000
write 2,0: 0 bytes [0x1e80000..0x1e80000) @ 0x5000
write 2,1: 0 bytes [0x1ea0008..0x1ea0008) @ 0x5000
write 2,2: 0 bytes [0x1ee0000..0x1ee0000) @ 0x5000
write 2,3: 0 bytes [0x1ef0000..0x1ef0000) @ 0x5000
write 2,0: 1 big objects (14 pages) @ 0x5000
write 3,0: 760 bytes [0x1f20000..0x1f202f8) @ 0x8810
write 3,1: 280 bytes [0x1f40008..0x1f40120) @ 0x9810
write 3,2: 11092 bytes [0x1f80000..0x1f82b54) @ 0xa810
write 3,3: 164 bytes [0x1fa0000..0x1fa00a4) @ 0xd810
write 4,0: 0 bytes [0x1fd0000..0x1fd0000) @ 0xe810
write 4,1: 0 bytes [0x2060008..0x2060008) @ 0xe810
write 4,2: 0 bytes [0x2120000..0x2120000) @ 0xe810
write 4,3: 0 bytes [0x2150000..0x2150000) @ 0xe810
write 5,0: 2676 bytes [0x21a0000..0x21a0a74) @ 0xe810
write 5,1: 1320 bytes [0x23b0008..0x23b0530) @ 0xf810
write 5,2: 18432 bytes [0x2710000..0x2714800) @ 0x10810
write 5,3: 432 bytes [0x2800000..0x28001b0) @ 0x15810
write 5,0: 32 big objects (254 pages) @ 0x16810
Standard ML of New Jersey, Version 110.0.7, September 28, 2000 [CM&CMB]
 - [RUN] c:\smlnj\bin\sml.bat 10000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 10000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 10000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 30000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 30000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 30000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 70000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 70000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 70000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 100000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 100000 @SMLload=prodcons -- OK
[RUN] c:\smlnj\bin\sml.bat 100000 @SMLload=prodcons -- OK