[ 0:01] compiling /home/xrockai/src/divine/nightly/test/dios/api/2.get-thread-id-a.c
[ 0:01] loading bitcode … LART … RR … constants … done
[ 0:11] booting … done
[ 0:13] 
[ 0:13] searching: 1 states found in 0:00, averaging 76.9, queued: 0      
[ 0:13] found 14 states in 0:00, averaging 27.2                             
[ 0:13] 
[ 0:14] state count: 14
[ 0:14] states per second: 27.2374
[ 0:14] version: 4.0.15+10085445e9eb
[ 0:14] 
[ 0:14] architecture: Intel(R) Xeon(R) CPU E5-2630 v2 @ 2.60GHz
[ 0:14] memory used: 1036500
[ 0:14] physical memory used: 464092
[ 0:14] user time: 6.870000
[ 0:14] system time: 0.380000
[ 0:14] wall time: 7.501163
[ 0:14] timers:
[ 0:14]   lart: 1.32
[ 0:14]   loader: 2.65
[ 0:14]   boot: 1.73
[ 0:14]   search: 0.514
[ 0:14]   ce: 0.001
[ 0:14] error found: no