dbanas@dbanas-eeepc:~/prj/haskell/RandProc$ ghc --make Data/RandProc.hs test/Test.hs dbanas@dbanas-eeepc:~/prj/haskell/RandProc$ time test/Test +RTS -sstderr test/Test +RTS -sstderr Checking badPointSpace1... Ok. Checking badPointSpace2... Ok. Checking goodPointSpace... Ok. Checking badDie... Ok. Checking goodDie... Ok. Checking badRangeSpace1... Ok. Checking badRangeSpace2... Ok. Checking goodRangeSpace... Ok. 87,886,468 bytes allocated in the heap 2,469,616 bytes copied during GC 207,964 bytes maximum residency (2 sample(s)) 35,752 bytes maximum slop 2 MB total memory in use (0 MB lost due to fragmentation) Generation 0: 166 collections, 0 parallel, 0.04s, 0.04s elapsed Generation 1: 2 collections, 0 parallel, 0.00s, 0.00s elapsed INIT time 0.00s ( 0.00s elapsed) MUT time 0.61s ( 0.62s elapsed) GC time 0.04s ( 0.05s elapsed) EXIT time 0.00s ( 0.00s elapsed) Total time 0.66s ( 0.67s elapsed) %GC time 6.7% (6.8% elapsed) Alloc rate 142,664,500 bytes per MUT second Productivity 92.7% of total user, 91.8% of total elapsed real 0m0.672s user 0m0.664s sys 0m0.012s dbanas@dbanas-eeepc:~/prj/haskell/RandProc$ cat /proc/cpuinfo processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 28 model name : Intel(R) Atom(TM) CPU N280 @ 1.66GHz stepping : 2 cpu MHz : 1000.000 cache size : 512 KB physical id : 0 siblings : 2 core id : 0 cpu cores : 1 apicid : 0 initial apicid : 0 fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 10 wp : yes flags : fpu vme de tsc msr pae mce cx8 apic mtrr pge mca cmov pat clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe nx constant_tsc arch_perfmon pebs bts aperfmperf pni dtes64 monitor ds_cpl est tm2 ssse3 xtpr pdcm movbe lahf_lm bogomips : 3324.69 clflush size : 64 cache_alignment : 64 address sizes : 32 bits physical, 32 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 28 model name : Intel(R) Atom(TM) CPU N280 @ 1.66GHz stepping : 2 cpu MHz : 1000.000 cache size : 512 KB physical id : 0 siblings : 2 core id : 0 cpu cores : 1 apicid : 1 initial apicid : 1 fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 10 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe nx constant_tsc arch_perfmon pebs bts aperfmperf pni dtes64 monitor ds_cpl est tm2 ssse3 xtpr pdcm movbe lahf_lm bogomips : 3324.92 clflush size : 64 cache_alignment : 64 address sizes : 32 bits physical, 32 bits virtual power management: