[ 0:01] --symbolic
[ 0:01] compiling /home/xrockai/src/divine/nightly/test/abstract/2.sym-struct-c.cpp
[ 0:01] symbolic: 1loading bitcode … LART … RR … constants … done
[ 0:11] booting … done
[ 0:13] 
[ 0:13] searching: 1 states found in 0:00, averaging 200.0, queued: 0      
[ 0:13] found 4 states in 0:00, averaging 7.9                             
[ 0:13] 
[ 0:13] state count: 4
[ 0:13] states per second: 7.92079
[ 0:13] version: 4.0.13+8316a51de34d
[ 0:13] 
[ 0:13] architecture: Intel(R) Xeon(R) CPU E5-2630 v2 @ 2.60GHz
[ 0:13] memory used: 1058624
[ 0:13] physical memory used: 462304
[ 0:13] user time: 7.000000
[ 0:13] system time: 0.370000
[ 0:13] wall time: 7.538739
[ 0:13] timers:
[ 0:13]   lart: 1.44
[ 0:13]   loader: 2.6
[ 0:13]   boot: 1.71
[ 0:13]   search: 0.505
[ 0:13]   ce: 0.002
[ 0:13] error found: no