[ 0:01] compiling /home/xrockai/src/divine/nightly/test/dios/internal/2.sorted-storage-a.cpp
[ 0:01] /home/xrockai/src/divine/nightly/test/dios/internal/2.sorted-storage-a.cpp:21:5: warning: 'main' is not allowed to be declared variadic
[ 0:02] int main( ... ) {
[ 0:02]     ^
[ 0:02] 1 warning generated.
[ 0:03] loading bitcode … LART … RR … constants … done
[ 0:13] booting … done
[ 0:15] 
[ 0:15] searching: 1 states found in 0:00, averaging 100.0, queued: 0      
[ 0:16] found 4 states in 0:00, averaging 7.8                             
[ 0:16] 
[ 0:16] state count: 4
[ 0:16] states per second: 7.82779
[ 0:16] version: 4.0.15+10085445e9eb
[ 0:16] 
[ 0:16] architecture: Intel(R) Xeon(R) CPU E5-2630 v2 @ 2.60GHz
[ 0:16] memory used: 1037868
[ 0:16] physical memory used: 464956
[ 0:16] user time: 6.750000
[ 0:16] system time: 0.490000
[ 0:16] wall time: 7.503598
[ 0:16] timers:
[ 0:16]   lart: 1.36
[ 0:16]   loader: 2.64
[ 0:16]   boot: 1.71
[ 0:16]   search: 0.511
[ 0:16]   ce: 0.001
[ 0:16] error found: no