./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--gspca--gspca_main.ko.cil.i


--------------------------------------------------------------------------------


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] Setting "ana.int.interval" to true
[Info] malloc wrapper: ldv_xmalloc
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region, pthreadMutexType"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.380
[Info] vars: 12939, evals: 17201

[Info] |called|=101

Memory statistics: total=20199.80MB, max=174.57MB, minor=20193.86MB, major=570.68MB, promoted=564.74MB
    minor collections=9641  major collections=24 compactions=0


[Info] runtime: 00:00:20.513
[Info] vars: 24400, evals: 31234

[Info] |called|=119

Memory statistics: total=40102.12MB, max=351.13MB, minor=40094.58MB, major=1094.19MB, promoted=1086.66MB
    minor collections=19133  major collections=30 compactions=0


[Info] runtime: 00:00:30.606
[Info] vars: 34543, evals: 44151

[Info] |called|=110

Memory statistics: total=59961.19MB, max=464.37MB, minor=59951.46MB, major=1606.75MB, promoted=1597.03MB
    minor collections=28604  major collections=34 compactions=0


[Info] runtime: 00:00:40.692
[Info] vars: 45972, evals: 57486

[Info] |called|=85

Memory statistics: total=79960.77MB, max=614.13MB, minor=79949.81MB, major=2099.40MB, promoted=2088.43MB
    minor collections=38142  major collections=37 compactions=0


[Info] runtime: 00:00:50.812
[Info] vars: 55494, evals: 69712

[Info] |called|=86

Memory statistics: total=99330.89MB, max=706.25MB, minor=99319.24MB, major=2585.92MB, promoted=2574.27MB
    minor collections=47379  major collections=39 compactions=0


[Info] runtime: 00:01:00.893
[Info] vars: 64216, evals: 80672

[Info] |called|=65

Memory statistics: total=119101.76MB, max=934.02MB, minor=119089.27MB, major=3075.14MB, promoted=3062.65MB
    minor collections=56807  major collections=41 compactions=0

