CMS #389: Run 1 - 10M

gistfile1.txt

[cipherboy@cipherboy-recon7 build]$ ./tests/clause_alloc_test
[==========] Running 1 test from 1 test case.
[----------] Global test environment set-up.
[----------] 1 test from clause_allocator
[ RUN      ] clause_allocator.add_1
Added 0M T:0
c [mem] Consolidated memory  old size    440B new size   440B bits of offset:5.78 T: 0.00
Added 0M T:2.97
c [mem] Consolidated memory  old size   119MB new size  119MB bits of offset:23.83 T: 0.11
Added 0M T:6.02
c [mem] Consolidated memory  old size   238MB new size  238MB bits of offset:24.83 T: 0.18
Added 0M T:9.16
c [mem] Consolidated memory  old size   358MB new size  358MB bits of offset:25.42 T: 0.25
Added 0M T:12.35
c [mem] Consolidated memory  old size   477MB new size  477MB bits of offset:25.83 T: 0.34
Added 0M T:15.63
c [mem] Consolidated memory  old size   596MB new size  596MB bits of offset:26.15 T: 0.41
Added 0M T:18.97
c [mem] Consolidated memory  old size   716MB new size  716MB bits of offset:26.42 T: 0.48
Added 0M T:22.41
c [mem] Consolidated memory  old size   835MB new size  835MB bits of offset:26.64 T: 0.57
Added 0M T:25.94
c [mem] Consolidated memory  old size   955MB new size  955MB bits of offset:26.83 T: 0.63
Added 0M T:29.52
c [mem] Consolidated memory  old size  1074MB new size 1074MB bits of offset:27.00 T: 0.73
Added 1M T:33.23
c [mem] Consolidated memory  old size  1193MB new size 1193MB bits of offset:27.15 T: 0.80
Added 1M T:36.98
c [mem] Consolidated memory  old size  1313MB new size 1313MB bits of offset:27.29 T: 0.88
Added 1M T:40.80
c [mem] Consolidated memory  old size  1432MB new size 1432MB bits of offset:27.42 T: 0.95
Added 1M T:44.68
c [mem] Consolidated memory  old size  1552MB new size 1552MB bits of offset:27.53 T: 1.04
Added 1M T:48.65
c [mem] Consolidated memory  old size  1671MB new size 1671MB bits of offset:27.64 T: 1.12
Added 1M T:52.71
c [mem] Consolidated memory  old size  1790MB new size 1790MB bits of offset:27.74 T: 1.23
Added 1M T:56.91
c [mem] Consolidated memory  old size  1910MB new size 1910MB bits of offset:27.83 T: 1.25
Added 1M T:61.12
c [mem] Consolidated memory  old size  2029MB new size 2029MB bits of offset:27.92 T: 1.38
Added 1M T:65.45
c [mem] Consolidated memory  old size  2149MB new size 2149MB bits of offset:28.00 T: 1.41
Added 1M T:69.82
c [mem] Consolidated memory  old size  2268MB new size 2268MB bits of offset:28.08 T: 1.54
Added 2M T:74.28
c [mem] Consolidated memory  old size  2388MB new size 2388MB bits of offset:28.15 T: 1.59
Added 2M T:78.83
c [mem] Consolidated memory  old size  2507MB new size 2507MB bits of offset:28.22 T: 1.69
Added 2M T:83.49
c [mem] Consolidated memory  old size  2626MB new size 2626MB bits of offset:28.29 T: 1.73
Added 2M T:88.17
c [mem] Consolidated memory  old size  2746MB new size 2746MB bits of offset:28.35 T: 1.83
Added 2M T:92.95
c [mem] Consolidated memory  old size  2865MB new size 2865MB bits of offset:28.42 T: 1.89
Added 2M T:97.79
c [mem] Consolidated memory  old size  2984MB new size 2984MB bits of offset:28.48 T: 1.95
Added 2M T:102.70
c [mem] Consolidated memory  old size  3104MB new size 3104MB bits of offset:28.53 T: 2.06
Added 2M T:107.69
c [mem] Consolidated memory  old size  3223MB new size 3223MB bits of offset:28.59 T: 2.20
Added 2M T:112.85
c [mem] Consolidated memory  old size  3342MB new size 3342MB bits of offset:28.64 T: 2.22
Added 2M T:118.01
c [mem] Consolidated memory  old size  3462MB new size 3462MB bits of offset:28.69 T: 2.29
Added 3M T:123.25
c [mem] Consolidated memory  old size  3581MB new size 3581MB bits of offset:28.74 T: 2.42
Added 3M T:128.63
c [mem] Consolidated memory  old size  3701MB new size 3701MB bits of offset:28.79 T: 2.50
Added 3M T:134.11
c [mem] Consolidated memory  old size  3820MB new size 3820MB bits of offset:28.83 T: 2.52
Added 3M T:139.57
c [mem] Consolidated memory  old size  3939MB new size 3939MB bits of offset:28.88 T: 2.59
c [mem] Consolidated memory  old size  3979MB new size 3979MB bits of offset:28.89 T: 2.60
c --> Executing strategy token: sub-impl
c [impl sub] bin: 0 tri: 0 (stamp: 0, cache: 0) T: 0.15 T-out: Y w-visit: 62074
c --> Executing strategy token: scc-vrepl
c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,'
c [clean] T: 2.7832 s
c [scc] new: 0 BP 4M T: 0.05
c --> Executing strategy token: sub-str-cls-with-bin
c [clean] T: 2.7606 s
c [distill-with-bin-ext] stamp-based lit-rem: 0 inv-lit-rem: 0 stamp-cl-rem: 0
c [distill-with-bin-ext] bin-based lit-rem: 0 cl-sub: 0
c [distill-with-bin-ext] cache-based lit-rem: 0 cl-sub: 0
c [distill-with-bin-ext] T: 0.44 T-out: Y T-r: -0.00%
c [distill-with-bin-ext] stamp-based lit-rem: 0 inv-lit-rem: 0 stamp-cl-rem: 0
c [distill-with-bin-ext] bin-based lit-rem: 0 cl-sub: 0
c [distill-with-bin-ext] cache-based lit-rem: 0 cl-sub: 0
c [distill-with-bin-ext] T: 0.36 T-out: Y T-r: -0.14%
c [distill] cache-based irred--  cl tried     2056 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.80 T-out: Y
c [distill] cache-based   red--  cl tried        0 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.00 T-out: N
c [consolidate] T: 0.00
c [extend] Extended 0 var-elim clauses
[       OK ] clause_allocator.add_1 (197036 ms)
[----------] 1 test from clause_allocator (197036 ms total)

[----------] Global test environment tear-down
[==========] 1 test from 1 test case ran. (197036 ms total)
[  PASSED  ] 1 test.